Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Series Fourier
Series Fourier
Anlisis de Fourier
72
Un objeto matemtico relacionado con las series es la transformada, introducida por Fourier al estudiar la conduccin del calor en una barra de longitud infinita. Se ha aplicado en
rea tales como conduccin de calor, ptica, procesamiento de seales y probabilidad, y
recibi importantes contribuciones de N. Wiener, quien desarroll lo que hoy en da se
conoce como anlisis armnico generalizado. Tambin se ha vuelto ms abstracta en una rama de la matemtica conocida como anlisis armnico, algunas de las principales figuras
fueron E. Cartan, H. Weyl, y Harish-Chandra.
Las series de Fourier fueron ideadas para estudiar un problema fsico; no sorprende entonces que hayan encontrado tantas aplicaciones. Como muestra esta breve resea, los
intentos para comprender el comportamiento de estas series sentaron las bases del anlisis riguroso.
Una de las ramas ms tericas de la matemtica es la teora de nmeros, y a primera
vista parecera que no tiene puntos de contacto con las series de Fourier. Sin embargo,
H. Weyl utiliz los resultados de convergencia de Fjer para probar uno de sus teoremas
ms relevantes.
Otra de las reas de aplicacin de las series de Fourier es la cristalografa. En 1985 H.
A. Hauptman y J. Karle ganaron el premio Nobel de Qumica por desarrollar un nuevo
mtodo de clculo de las constantes cristalogrficas a partir de sus coeficientes de Fourier,
que pueden inferirse por mediciones. Dos ingredientes fundamentales de su desarrollo
son el teorema de Weyl comentado ms arriba, y los teoremas de Toeplitz sobre las series
de Fourier de funciones no negativas.
Recientemente, el desarrollo de mtodos computacionales rpidos para el clculo de una
versin discreta de la transformada de Fourier, iniciado por J. Cooley y J. Tukey en 1965,
aumentaron enormemente su rango de aplicacin. La transformada rpida de Fourier
(FFT) tuvo una difusin tan masiva que en 1993 se estim que casi la mitad de todo el
tiempo de clculo de las supercomputadoras se gastaba calculando FFT, an para tareas
tales como la multiplicacin de grandes nmeros.
Otro desarrollo reciente que ha recibido gran atencin es la teora de onditas (wavelets).
En este caso las funciones no se expanden en series de Fourier, sino utilizando otras bases
ortogonales que son apropiadas para clculos eficientes, lo que dio lugar a nuevos algoritmos utilizados en procesamiento de seales y para la solucin numrica de ecuaciones.
2.2.
Series de Fourier
Una seal x (t) es peridica de perodo T0 si x (t) = x (t + kT0 ) para todo k entero. La
expansin en series de Fourier consiste en expresarla como una suma infinita de trminos
seno y coseno, que habitualmente se escribe como
x (t) = a0 +
k =1
ak cos
2
kt + bk sin
T0
k =1
2
kt .
T0
(2.10)
Los coeficientes ak y bk representan las amplitudes de los trminos coseno y seno, respectivamente. La cantidad 2/T0 =
0 es la frecuencia angular fundamental de la seal,
y en consecuencia, la cantidad k(2/T0 ) =
k0 representa el k-simo armnico de la
frecuencia fundamental. Cada una de las funciones seno y coseno de la expresin (2.10)
U.N.S. 2011
73
Fig. 2.3. Vericacin grca de las ecuaciones (2.11) y (2.13), para m 6= n, y de la ecuacin
(2.12).
Z T0
0
cos m0 t sen n0 t dt =
sen m0 t sen n0 t dt =
0,
para todo m, n,
T0 /2,
m = n,
0,
m 6= n.
(2.12)
(2.13)
Estas relaciones pueden verificarse analticamente (calculando la integral) o bien estudiando grficamente el producto de dos seales de diferentes frecuencias, tal como se
ve en la Fig. 2.3: el producto de dos armnicos de distinta frecuencia, en el lapso de un
perodo fundamental de la seal genera una funcin con idntica rea por encima y por
debajo del eje de las abscisas, y por lo tanto el rea neta (la integral) es nula.
Para determinar el coeficiente a0 , se integran ambos miembros de la ecuacin (2.10) sobre
un perodo completo:
"
#
Z T0 /2
Z T0 /2
Z T0 /2
2
2
x (t) dt =
a0 dt +
ak cos k T0 t + bk sin k T0 t dt = a0 T0 ,
T0 /2
T0 /2
T0 /2 k =1
ya que las integrales sobre un perodo de tiempo de los trminos cos k0 t y sen k0 t son
nulas. Se encuentra entonces que a0 es el valor medio de la seal peridica x (t) sobre un
perodo, es decir
Z
1 T0 /2
x (t) dt.
(2.14)
a0 =
T0 T0 /2
Para determinar los coeficientes ak se multiplican ambos miembros de la ecuacin (2.10)
por la funcin cos k0 t, y se integra sobre un perodo completo. Es indistinto integrar
sobre el intervalo T0 /2
t < T0 /2 o sobre el intervalo 0
t
T0 , como se ver en la
U.N.S. 2011
2. Anlisis de Fourier
74
Seccin 2.4 (Ejemplo 2.14). Utilizando las identidades (2.11) y (2.12), se encuentra que
Z T0 /2
2
T0
ak =
T0/2
k = 1, 2, . . .
(2.15)
2.2.1.
2
T0
Z T0 /2
T0 /2
k = 1, 2, . . .
(2.16)
1 jk0 t
e
+e
2
1
e jk0 t e
2j
jk0 t
jk0 t
=j
1
2
e jk0 t + e
jk0 t
Se obtiene entonces
x (t) = a0 +
k =1
ak
jbk
2
e jk0 t +
ak + jbk
2
jk0 t
(2.17)
(2.18)
x (t) =
ck e jk0 t ,
(2.19)
k=
donde
1 T0 /2
x (t) e jk0 t dt, k = 0, 1, 2, . . .
(2.20)
T0 T0 /2
La expansin en series (2.19) se conoce como serie de Fourier compleja. Los coeficientes ck
dados por (2.20) son los coeficientes complejos de Fourier3 .
ck =
La ecuacin (2.20) explica cmo calcular todos los coeficientes complejos de Fourier a
partir de una seal peridica x (t) dada. Por ello se la suele denominar ecuacin de anlisis.
Por otra parte, la ecuacin (2.19) indica cmo reconstruir la seal x (t) a partir de un
conjunto de coeficientes ck dados, y por tal motivo se la suele denominar ecuacin de
sntesis.
3 La
U.N.S. 2011
75
Algunas propiedades
El anlisis de (2.18) y (2.20) revela que:
1. Si la funcin x (t) es par los coeficientes ck son reales. En efecto, si x (t) es par, esto es
x (t) = x ( t), la serie (2.10) es una serie de cosenos (los coeficientes bk son nulos).
De (2.18) se observa que ck = c( k) 2 R (k 0).
2. Si x (t) es impar, i.e. x (t) = x ( t) , los coeficientes ck son imaginarios. En este
caso la serie (2.10) es una serie de senos (los coeficientes ak son nulos), y de (2.18) se
desprende que ck = c( k) 2 I (k 0).
3. Si x (t) es real
ck = c
k,
(2.21)
2.2.2.
U.N.S. 2011
2. Anlisis de Fourier
76
2.2.3.
Espectro discreto
La representacin de una seal peridica por medio de una serie de Fourier es equivalente a resolver la seal en sus diferentes componentes armnicos. La expresin de la serie
de Fourier compleja (2.19) indica que una seal peridica x (t) de perodo T0 tiene componentes de frecuencia 0, f 0 , 2 f 0 , 3 f 0 , . . ., donde f 0 = 1/T0 es la frecuencia fundamental. Mientras que x (t) pertenece al dominio tiempo, donde t es una variable definida
continuamente sobre un intervalo finito o infinito, su descripcin en el dominio de la frecuencia consta de componentes ck concentrados en las frecuencias k f 0 , k = 0, 1, 2, . . . . El
grfico de ck en funcin de la frecuencia f = k f 0 = k/T0 se denomina espectro4 de la seal.
Dada una seal x (t) se puede determinar su espectro utilizando la ecuacin de anlisis
(2.20); recprocamente, si se especifica el espectro, es posible determinar la seal temporal
asociada utilizando la ecuacin de sntesis (2.19). Esto implica que la seal peridica x (t)
puede especificarse de dos formas equivalentes:
1. en el dominio tiempo, donde se representa x (t) como una funcin de la variable real
tiempo;
2. en el dominio frecuencia, donde la seal es descrita por su espectro en funcin de las
frecuencias armnicas de f 0 .
Ambas representaciones son aspectos diferentes de un mismo fenmeno, y no son independientes una de otra, sino que estn fuertemente relacionadas entre s por las ecuaciones de sntesis y anlisis (2.19) y (2.20), respectivamente.
En general, el coeficiente de Fourier ck es un nmero complejo, de modo que se puede
expresar en la forma polar
ck = jck j e j arg(ck ) .
k)
= jck j = jck j ,
y
arg (c
k)
= arg (ck ) =
arg (ck ) .
Esto significa que el espectro de amplitud de una seal peridica x (t) que tome valores
reales es simtrico (una funcin par de la frecuencia), y que el espectro de fase es antisimtrico (una funcin impar de la frecuencia) respecto de un eje vertical que pase por el
origen.
4 El trmino espectro proviene del latn spectrum, o imagen. Fue utilizado originariamente por Newton
en sus investigaciones sobre la naturaleza de la luz.
U.N.S. 2011
77
=
=
=
1,
2,
Z
1 T0 /2
T0
T0 /2
1
T0
Z T0 /2
T0 /2
x (t) dt =
1
T0
Z T0 /2
T0 /2
A dt = A,
3, . . .
x (t) e
jk0 t
dt =
A
e jk0 T0 /2
jk0 T0
A
sen k = 0.
k
1
T0
1
Ae
jk0
e jk0 T0 /2 =
jk0 t
T0 /2
T0 /2
A
[ 2j sen (k0 T0 /2)]
jk0 T0
(2.22)
(En el desarrollo del ltimo trmino de (2.22) se tuvo en cuenta que 0 T0 = 2 ). En consecuencia,
el espectro discreto de una seal constante x (t) = A consta de un nico valor A para la frecuencia
f = 0, asociada a k = 0. En este caso no tiene sentido hablar de los armnicos superiores.
=
=
A cos 0 t
A j0 t A
e
+ e
2
2
j0 t
Una comparacin con la ecuacin (2.19) revela que esta expresin coincide con la serie de Fourier;
por lo tanto, los nicos coecientes complejos no nulos son c( 1) y c1 , y su valor es
c(
1)
= c1 =
A
.
2
U.N.S. 2011
2. Anlisis de Fourier
78
Fig. 2.5. Espectro discreto de x (t) = A sen 0 t: mdulo-fase ( a) y parte real-parte imaginaria (b) .
De modo que el espectro discreto de una seal tipo coseno es real, y slo tiene dos valores no nulos,
correspondientes a la primera armnica k = 1, o bien a las frecuencias 0 , tal como se muestra
en la Fig. 2.4, en donde el espectro discreto ha sido gracado en las dos formas tpicas: mdulo y
fase o parte real-parte imaginaria.
=
=
1
e
2j
j
e
2
j0 t
j0 t
1 j0 t
e
2j
j j0 t
e
2
se deduce que el espectro discreto consta solamente de dos valores no nulos, correspondientes a la
primera armnica (frecuencia 0 ), para k = 1 y cuyos valores son
c(
1)
=j
A
,
2
c1 =
A
.
2
Este espectro es imaginario puro, como muestra la Fig. 2.5 tanto en mdulo y fase como en la forma
parte real-parte imaginaria.
U.N.S. 2011
79
El espectro discreto de x (t) formado por los coecientes complejos ck se calcula a partir de la
ecuacin (2.20). Se encuentra que5
ck
=
=
Z /2
1 T0 /2
1
x (t) e jk0 t dt =
T0
T
T0 /2
0
A
k
sen
, k = 0, 1,
k
T0
Ae
jk0 t
dt
/2
2, . . .
que, por motivos que sern evidentes ms adelante, tambin puede escribirse como
k
sen T0
ck = A
,
T0
Tk
k = 0,
1,
2, . . .
(2.23)
El espectro de amplitud jck j y de fase arg (ck ) en funcin de los valores discretos de frecuencia
f k = k/T0, para un ciclo de trabajo /T0 = 1/5, se ha gracado en la Fig. 2.7. Se observa que:
1. El espaciado entre las lneas del espectro de la Fig. 2.7 est determinado por la frecuencia
fundamental f 0 de la seal, que es la inversa del perodo T0 , f 0 = 1/T0 .
2. La envolvente de la magnitud del espectro est determinada por la amplitud A y la duracin
del pulso, y sigue una forma tipo (sen x ) /x. El valor del espectro a la frecuencia f = 0 es
precisamente el valor medio o de continua de la seal x (t) , que vale A/T0 (como se deduce
de la Fig. 2.6).
3. La envolvente del espectro de amplitud cruza por cero en frecuencias que son mltiplos de
1/ (el ancho del pulso), y que pueden o no coincidir con las lneas espectrales separadas
k/T0 . En este caso particular, como /T0 = 1/5 los ceros de la envolvente del espectro se
anulan para los mltiplos de 5 veces la frecuencia fundamental, como revela la Fig. 2.7( a).
4. El espectro de fase toma los valores 0 y , segn sea el signo de [sen (k/T0 )] / (k/T0 ).
La eleccin del signo de (positivo o negativo) es irrelevante; en la gura se han elegido de
forma de preservar la antisimetra. Debe resaltarse que el valor de la fase es indenido para
aquellos armnicos en donde se anula ck (en este caso, los mltiplos de 5 f 0 ); esta indenicin
en la fase se ha indicado con cruces en la Fig. 2.7(b).
aunque matemticamente diferentes, suelen ser representaciones equivalentes de un mismo fenmeno fsico.
U.N.S. 2011
2. Anlisis de Fourier
80
Fig. 2.7. Espectro discreto del tren peridico de pulsos rectangulares para un ciclo de trabajo
/T0 = 1/5; amplitud ( a) y fase (b) .
2.2.4.
La funcin sinc( )
sen(xk ) = 0,
o bien
tan(xk )
xk = 0.
Esta es una ecuacin trascendente, y no puede resolverse de forma analtica. Los primeros
extremos relativos y los valores de la funcin en estos puntos se listan en la Tabla 2.2. Esta
tabla muestra que la abscisa del extremo y su mdulo son aproximadamente k + 1/2, y
[ (n + 1/2)] 1 para el k-simo lbulo, cuando k ! .
Aunque no es trivial, puede demostrarse que el rea encerrada por la funcin sinc( ) es
finita:
Z
sinc( x ) dx = 1,
U.N.S. 2011
81
0,000
1,430
2,459
3,471
4,477
5,482
6,484
7,486
8,488
sinc( xk )
1,000
0,217
0,128
0,091
0,071
0,058
0,049
0,042
0,037
y en forma general,
sinc( ax )dx =
1
,
j aj
Z 1
sinc( x ) dx =
2
Si( ) = 1,17898,
Rx
donde Si( x ) = 0 sen() d es la funcin seno integral, cuyos valores estn tabulados. Si
Ak indica el rea del k-simo lbulo, se encuentra que
Ak =
1
Si[(k + 1) ]
1
Si(k ).
Algunos valores de las reas de los lbulos laterales expresados en porcentajes del rea
total se listan en la Tabla 2.3, y se representan en la Fig. 2.9( a). En la Fig. 2.9(b) se muestra
que el rea es muy aproximadamente inversamente proporcional al nmero de lbulo.
Tabla 2.3: rea relativa de los lbulos laterales.
lbulo
rea ( %)
0
118
1
13,8
2
8,2
3
5,8
4
4,5
5
3,7
6
3,1
7
2,7
8
2,4
9
2,1
Si bien la funcin sinc( ) tiene rea acotada, esto no ocurre para j sinc( )j, lo que se
demuestra fcilmente separando el intervalo de integracin en segmentos de longitud
1/a (la distancia entre ceros sucesivos del sinc), y notando que jsen(ax )/(ax )j
U.N.S. 2011
2. Anlisis de Fourier
82
ax
Z 1/a
dx
1)/a
sen(ax )
1
n
n =1
Z n/a
n/a. Entonces
dx +
Z 2/a
1/a
(n 1)/a
sen(ax )
2
dx +
jsen(ax )j dx =
Z n/a
(n 1)/a
sen(ax )
n
2
1
n jcos(n )j =
n =1
dx +
1
.
n
n =1
La serie del ltimo trmino, conocida como serie armnica, no converge. Por lo tanto,
lm
T !
Z T
jsinc( ax )j dx ! .
, k = 0, 1, 2, . . . .
ck = A sinc
T0
T0
2.3.
La transformada de Fourier
La transformada de Fourier juega un papel importante en muchas ramas de la ciencia. Si bien puede ser pensada de manera estrictamente funcional, como es comn en
el tratamiento de otras transformadas, tambin asume en muchos casos un significado
fsico tan preciso como el de las funciones de las cuales se deriva. Una forma de onda
ptica, elctrica o acstica y su espectro son apreciados igualmente como representacin
matemtica o entidades medibles: un osciloscopio nos muestra la forma de onda, y un
espectrmetro (un prisma!) o un analizador de espectro revela el espectro ptico o elctrico. La apreciacin acstica es ms directa, ya que el odo oye el espectro. Las formas
de onda y los espectros son transformadas unas de los otros; la transformada de Fourier
es entonces una relacin eminentemente fsica.
En muchas ramas de la ciencia se conoca la teora de Fourier no en forma matemtica,
sino como un conjunto de proposiciones acerca de un fenmeno fsico. Frecuentemente,
la interpretacin fsica de un teorema es un hecho experimentalmente comprobable, y
esto permite al cientfico mantenerse alejado de lo que matemticamente puede ser muy
abstracto. El nfasis en la interpretacin fsica permite tratar de manera natural con tpicos que normalmente se consideraran mas avanzados.
U.N.S. 2011