Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Serie de Fourier PDF
Serie de Fourier PDF
CURSO: CLCULO 4
1. Serie de Fourier.
1.1. Introduccion.
Las series de Fourier surgieron durante el siglo XVIII como una solucion formal a la
ecuacion de onda clasica. Mas tarde, fueron utilizadas para describir los procesos fsicos en los
que los acontecimientos se repiten en un patron regular. Por ejemplo, una nota musical por lo
general consiste de una simple nota, llamada fundamental, y una serie de vibraciones auxiliares,
llamados sobretonos. El Teorema de Fourier proporciona el lenguaje matematico que nos permite
describir con precision esta compleja estructura.
a0 X nt nt
f (t) = + an cos + bn sen (1)
2 L L
n=1
puede representar una funcion f (t) bajo ciertas condiciones generales. Estas series, llamadas
series de Fourier, convergen hacia la funcion f (t) en cada punto del intervalo [L, L] con posible
excepcion de puntos de discontinuidad y puntos extremos del intervalo. Debido a que cada
termino tiene un perodo de 2L, la suma de la serie tambien tiene el mismo perodo. El termino
fundamental de la funcion periodica f (t) es el termino para n = 1, mientras que los armonicos
son el resto de los terminos cuyas frecuencias son multiplos enteros del termino fundamental.
Ahora tenemos que encontrar algun metodo sencillo para calcular los coeficientes an y bn
para un funcion f (t) dada. Como un primer intento, podemos integrar (1) termino a termino
desde L a L. En el lado derecho, todas las integrales multiplicadas por an y bn desaparecen
debido a que el promedio de cos (nt/L) y sen (nt/L) es cero. Por lo tanto, nos quedamos con,
1
N UNIVERSIDAD
PRIVADA DEL NORTE
L
1
Z
a0 = f (t) dt (2)
L L
A continuacion multiplicamos cada lado de (1) por cos (mt/L), en donde m es un entero
prefijado.
Integrando de L a L,
L
a0 L
mt mt
Z Z
f (t) cos dt = cos dt+
L L 2 L L
Z L
X nt mt
+ an cos cos dt+ (3)
L L L
n=1
L
nt mt
X Z
+ bn sen cos dt
L L L
n=1
Los terminos a0 y bn desaparecen por integracion directa. Finalmente todas las integrales an
desaparecen cuando n 6= m. Consecuentemente (3) se reduce a,
L
1 nt
Z
an = f (t) cos dt (4)
L L L
RL
porque L cos2 (nt/L)dt = L. Ahora, multiplicando ambos lados de (1) por sen (mt/L) (m
es nuevamente un entero prefijado), e integrando de L a L,
L
1 nt
Z
bn = f (t) sen dt (5)
L L L
Aunque (2), (4) y (5) nos dan a0 , an y bn , para funciones periodicas sobre el intervalo
[L, L], en ciertas situaciones es conveniente considerar el intervalo [, + 2L], en donde es
cierto numero real. En este caso, (1) todava ofrece la serie de Fourier de f (t) y,
2
N UNIVERSIDAD
PRIVADA DEL NORTE
1 +2L
Z
a0 = f (t)dt
L
1 +2L
nt
Z
an = f (t) cos dt (6)
L L
1 +2L
nt
Z
bn = f (t) sen dt
L L
Estos resultados se mantienen para una funcion f (t) periodica extendida desde el menos infinito
al mas infinito. Por lo tanto, los resultados deben permanecer inalterados, al pasar del intervalo
[L, L] al nuevo intervalo [, + 2L].
Ahora nos formulamos las siguientes interrogantes: que tipo de funciones tienen series de
Fourier?; si la funcion es discontinua en un punto que valor tendra su serie de Fourier?. Estas
interrogantes fueron respondidas por Dirichlet en la primera mitad del siglo XIX. Sus resultados
pueden resumirse como sigue,
N
a0 X nt nt
f (t) = + an cos + bn sen (7)
2 L L
n=1
converge a f (t) para N en los valores de t para los que f (t) es continua, y a 12 [f (t+ ) + f (t )]
en los puntos de discontinuidad.
3
N UNIVERSIDAD
PRIVADA DEL NORTE
Figura 1: Un producto de la Revolucion Francesa, (Jean Baptiste) Joseph Fourier (1768-1830) ocupo cargos
en el Imperio Napoleonico durante su temprana carrera. Despues de la cada de Napoleon en el poder, Fourier
dedico su talento exclusivamente a la ciencia. A pesar que gano el premio del Instituto de Francia en 1811 por su
trabajo en difusion del calor, la crtica a su rigor matematico y generalizacion, le llevo a publicar el libro clasico
Theorie analytique de la chaleur en 1823. En este libro presento al mundo la serie que lleva su nombre.
(
0, < t 0
f (t) = (8)
t, 0t<
1 1
Z Z
a0 = f (t)dt = tdt = (9)
0 2
1 t sen (nt) cos (nt)
1
Z
an = t cos (nt)dt = + (10)
0 n n2 0
1 t cos (nt) sen (nt)
1
Z
bn = t sen (nt)dt = + = (12)
0 n n2 0
4
N UNIVERSIDAD
PRIVADA DEL NORTE
cos n (1)n+1
= = (13)
n n
X (1)n 1 (1)n+1
f (t) = + cos (nt) + sen (nt) = (14)
4 n2 n
n=1
5
N UNIVERSIDAD
PRIVADA DEL NORTE
En los demas puntos la serie converge a f (t). Como muestra la figura 2, las correcciones suce-
sivas han sido hechas para el valor medio de la serie, /2. Como cada harmonico es adicionado,
la serie de Fourier se ajusta mejor a la funcion en el sentido del mnimo cuadrado:
Z +2L
[f (x) fN (x)]2 dx = minimum (16)
Ejemplo 2 Calculemos la serie de Fourier para la funcion f (t) = |t|, la cual es definida sobre
el rango t .
Z 0
1
Z
a0 = tdt + tdt = + = (17)
0 2 2
Z 0
1
Z
an = t cos (nt)dt + t cos (nt)dt = (18)
0
2
= 2
[(1)n 1] (20)
n
Z 0
1
Z
bn = t sen (nt)dt + t sen (nt)dt = (21)
0
para n = 1, 2, 3, . . ..
6
N UNIVERSIDAD
PRIVADA DEL NORTE
Consecuentemente,
2 X [(1)n 1]
4 X cos [(2m 1) t]
|t| = + cos (nt) = (23)
2
n=1
n2 2
m=0
(2m 1)2
para t .
Ejemplo 3 Algunas veces la funcion f (t) es par o impar. Podemos usar esta propiedad para
simplificar nuestro trabajo?. La respuesta es s.
L L
1 2
Z Z
a0 = f (t)dt = f (t)dt (24)
L L L 0
L
2 L
1 nt nt
Z Z
an = f (t) cos dt = f (t) cos dt (25)
L L L L 0 L
mientras que,
L
1 nt
Z
bn = f (t) sen dt = 0 (26)
L L L
RL RL RL
Aqu hemos utilizado las propiedades: L fp (x)dx =2 0 fp (x)dx y L fi (x)dx = 0.
Por lo tanto, si tenemos una funcion par, simplemente calcularemos a0 y an con (24) y (25) y
bn = 0. Dado que la correspondiente serie contiene solo terminos coseno, a menudo es llamada
serie coseno de Fourier.
L
2 nt
Z
a0 = an = 0, y bn = f (t) sen dt (27)
L 0 L
7
N UNIVERSIDAD
PRIVADA DEL NORTE
Ejemplo 4 En el caso que f (x) sea una funcion constante y/o trigonometrica, es mas facil
encontrar la correspondiente serie de Fourier por inspeccion antes de usar (6).
Por ejemplo, encontremos la serie de Fourier para la funcion f (x) = sen2 (x), definida sobre el
rango x .
Comenzamos reescribiendo f (x) = sen2 (x) como f (x) = 12 [1 cos (2x)]. Notamos que cual-
quier funcion definida sobre el rango x tiene la serie de Fourier
a0 X
f (x) = + an cos (nx) + bn sen (nx) = (28)
2
n=1
a0
= + a1 cos (x) + b1 sen (x) + a2 cos (2x) + b2 sen (2x) + . . . (29)
2
De otro lado,
1 1
f (x) = cos (2x) (30)
2 2
1 1
= + 0 cos (x) + 0 sen (x) cos (2x) + 0 sen (2x) + . . . (31)
2 2
1
a0 = 1, a1 = b1 = 0, a2 = , b2 = 0, an = bn = 0, n 3. (32)
2
De tal modo que en lugar de la expansion usual que envuelve a un numero infinito de terminos
seno y coseno, nuestra serie de Fourier contiene solo dos terminos y es simple:
1 1
f (x) = cos (2x), x (33)
2 2
8
N UNIVERSIDAD
PRIVADA DEL NORTE
Figura 3: Espaciamiento temporal (sobre dos periodos) y espectro de frecuencias de los pasos del neumatico de
nieve uniformemente espaciados.
9
N UNIVERSIDAD
PRIVADA DEL NORTE
"Z #
/2+ /2+
1
Z
an = cos (nt)dt + cos (nt)dt = (35)
/2 /2
1 h /2+ /2+
i
= sen (nt) |/2 + sen (nt) |/2 = (36)
n
1 h n n
= sen + n sen n +
n 2 2
n n
+ sen + n sen n ] (37)
2 2
1 h n n i
= 2 cos + 2 cos sen (n) = (38)
n 2 2
4 n
= cos sen (n) (39)
n 2
Ahora surge la pregunta sobre como ilustrar mejor los coeficientes de Fourier. Luego mostraremos
que cualquier harmonico puede ser representado como
p una simple onda An cos (nt/L + n ) o
An sen (nt/L + n ), en donde la amplitud An = a2n + b2n
10
N UNIVERSIDAD
PRIVADA DEL NORTE
Variemos ahora el intervalo entre las pisadas de modo que la distancia entre cualquier pisada
y su vecino mas cercano no sea igual que el ilustrado en la Figura 4. Otra vez realizamos su
analisis Fourier y obtenemos lo siguiente:
Figura 4: Espacio temporal y espectro de frecuencias del sonido interespaciado nouniforme de la banda de
rodadura.
"Z #
/2+ /4+
1 4
Z
a0 = 1dt + 1dt = , (40)
/2 /4
"Z #
/2+ /4+
1
Z
an = cos (nt)dt + cos (nt)dt (41)
/2 /4
1 /2+ 1 /4+
an = sen (nt) |/2 + sen (nt) |/4 (42)
n n
1 h n n i
= sen n sen + n +
n 2 2
11
N UNIVERSIDAD
PRIVADA DEL NORTE
1 h n n i
+ sen + n sen n (43)
n 2 2
y
"Z #
/2+ /4+
1
Z
bn = sen (nt)dt + sen (nt)dt = (44)
/2 /4
1 h n n i
= cos n cos + n
n 2 2
1 h n n i
cos + n cos n (45)
n 2 2
2 h n n i
bn = sen sen sen (n) (46)
n 4 2
Se utilizo un script de MatLab para calcular la amplitud de cada armonico en funcion de n y los
resultados fueron trazados en la Figura 4. El punto importante es que nuestra nueva eleccion para
el espaciamiento de las bandas de rodadura ha reducido o eliminado algunos de los armonicos
en comparacion con el caso de bandas de rodadura equidistantes. En cuanto al lado negativo
notamos algunos de los armonicos que anteriormente estaban ausentes. Sin embargo, el efecto
neto es ventajoso porque las bandas de rodadura producen menos ruido con mayor frecuencias
en lugar de un fuerte ruido con menor frecuencias.
Si extendiesemos esta tecnica para bandas de rodadura ubicadas completamente al azar, se pro-
ducira muy poco ruido a altas frecuencias y el ruido total sera comparable a la que se genera
por otras fuentes dentro del coche. Para encontrar la distribucion de las bandas de rodadura
con el ruido mas blanco, se utiliza el proceso de ensayo y error. Asumiendo una distribucion,
podemos realizar un analisis de Fourier para obtener el espectro de frecuencias. Si en el espectro
hay picos, podemos ajustar los elementos de la distribucion de la banda de rodadura influyentes
y analizar la distribucion obtenida. Estara listo cuando no aparecen los picos.
12
N UNIVERSIDAD
PRIVADA DEL NORTE
Considerar la function f (t) de periodo 2L con derivada f (t). Supongamos que podemos extender
f (t) como una serie de Fourier. Esto implica que f (t) es continua excepto en un numero finito
de puntos y f (t) es continua sobre el intervalo que empieza en t = y finaliza en t = + 2L.
Entonces
a X nt nt
f (t) = 0 +
an cos + bn sen , (47)
2 L L
n=1
en donde se han denotado los coeficientes de Fourier de f (t) con apostrofos. Calculamos los
coeficientes de Fourier,
+2L
1 1
Z
a0 = f (t) dt = [f ( + 2L) f ( )] = 0, (48)
L L
+2L
1 nt
Z
an =
f (t) cos dt (49)
L L
n +2L
1 nt nt
Z
+2L
= f (t) cos | + 2 f (t) sen dt (50)
L L L L
nbn
= (51)
L
y
+2L
1 nt
Z
bn =
f (t) sen dt (52)
L L
13
N UNIVERSIDAD
PRIVADA DEL NORTE
n +2L
1 nt nt
Z
+2L
= f (t) sen | 2 f (t) cos dt (53)
L L L L
nan
= . (54)
L
X n nt nt
f (t) = bn cos an sen . (55)
L L L
n=1
Es decir, la derivada de f (t) esta dada por una diferenciacion termino a termino de la serie de
Fourier de f (t).
es
Esta es la misma serie de Fourier que se obtendra mediante el calculo de la serie de Fourier
para:
14
N UNIVERSIDAD
PRIVADA DEL NORTE
0 t 0,
f (t) = 1 0 t /2, f (t) = f (t + 2) (59)
1 /2 t ,
Z th
a0 i
F (t) = f ( ) d (60)
0 2
Ahora
Z th t+2L h
a0 i a0 i
Z
F (t + 2L) = f ( ) d + f ( ) d (61)
0 2 t 2
L
a0 i
Z h
= F (t) + f ( ) d (62)
L 2
Z L
= F (t) + f ( ) d La0 = F (t) , (63)
L
de modo que F (t) tiene un periodo de 2L. Por consiguiente, podemos expander F (t) como la
serie de Fourier:
A0 X nt nt
F (t) = + An cos + Bn sen . (64)
2 L L
n=1
Para An ,
L
1 nt
Z
An = F (t) cos dt (65)
L L L
15
N UNIVERSIDAD
PRIVADA DEL NORTE
Z Lh
1 sen (nt/L) L 1 a0 i nt
= F (t) |L f (t) sen dt (66)
L n/L n L 2 L
bn
= . (67)
n/L
Similarmente,
an
Bn = . (68)
n/L
Por lo tanto,
t
a0 t A0 X an sen (nt/L) bn cos (nt/L)
Z
f ( ) d = + + (69)
0 2 2 n/L
n=1
Esto es identico a una integracion termino a termino de la serie de Fourier de f (t). Por lo
tanto, siempre podemos encontrar la integral de f (t) por una integracion termino a termino de
su serie de Fourier.
(1)n
X
f (t) = 2 sen (nt) . (70)
n
n=1
Para encontrar la serie de Fourier de f (t) = t2 , integramos (70) termino a termino y encontra-
mos que,
2 t X (1)n
|0 = 2 cos (nt) . (71)
2 n2
n=1
16
N UNIVERSIDAD
PRIVADA DEL NORTE
Recordemos como en el Ejemplo 3 vimos que si f (x) es una funcion par, entonces bn = 0 para
todo n. Similarmente, si f (x) es una funcion impar, entonces a0 = an = 0 para todo n. Nosotros
usaremos estos resultados para encontrar la expansion de Fourier en rango medio mediante la
extension de la funcion definida en el intervalo (0, L) ya sea como una funcion par o impar
en el intervalo de (L, 0). Si extendemos f (x) como una funcion par, tendremos una serie de
cosenos en rango medio; y si extendemos f (x) como una funcion impar, obtendremos una serie
de senos en rango medio.
Es importante recordar que la expansion en rango medio es un caso especial de la serie general
de Fourier. Para una funcion f (x) se puede construir ya sea una serie seno de Fourier o una
serie coseno de Fourier sobre el intervalo (L, L). Ambas series dan un resultado correcto sobre
el intervalo (0, L). Cual elegir?, depende de si queremos trabajar con una serie de Fourier de
senos o de cosenos.
(
1 < x < 0
f (x) (73)
1 0<x<
2 2
Z
bn = 1 sen (nx) dx = cos (nx) |0 (74)
0 n
2 2
= [cos (n) 1] = [(1)n 1] . (75)
n n
17
N UNIVERSIDAD
PRIVADA DEL NORTE
2 X [1 (1)n ]
4 X sen [(2m 1) x]
f (x) = sen (nx) = (76)
n 2m 1
n=1 m=1
2
Z
a0 = 1dx = 2, (77)
0
y
2 2
Z
an = cos (nx) dx = sen (nx) |0 = 0, (78)
0 n
Por lo tanto la expansion en rango medio de la serie coseno de Fourier es igual al unico termino:
Esto es perfectamente razonable. Para formar una expansion coseno en rango medio, extendemos
f (x) como una funcion par en el intervalo (, 0). En este caso, obtendramos f (x) = 1
para < x < . Por ultimo, tomamos nota de que la serie de Fourier de una constante es
simplemente la constante. En la practica es imposible calcular (76) en forma exacta y se suman
solamente los primeros N terminos.
18
N UNIVERSIDAD
PRIVADA DEL NORTE
Indice
1. Serie de Fourier. 1
1.1. Introduccion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Series de Fourier. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.3. Teorema de Dirichlet. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
19