T11 Series Fourier
T11 Series Fourier
T11 Series Fourier
11.1 Introducción.
11.2 Nociones previas.
11.3 Serie trigonométrica de Fourier.
11.4 Forma Amplitud-Fase de la serie de Fourier.
11.5 Convergencia de la serie de Fourier.
11.6 Serie de Fourier en senos y cosenos.
11.7 Serie exponencial de Fourier.
11.7.1 Fórmulas de paso.
11.7.2 Espectro de frecuencias.
11.8 Identidad de Parseval.
11.9 Ejercicios propuestos.
11.1 Introducción
En este tema vamos a introducir las series de Fourier las cuales constituyen la
herramienta matemática básica del análisis de Fourier empleado para analizar fun-
ciones periódicas a través de la descomposición de dicha función en una suma innita
de senos y cosenos.
Fue el matemático francés J.B.J. Fourier (1758- 1830) quien, en diciembre de 1807
escribió Théorie Analytique de la Chaleur (Teoría Analítica del Calor), donde reali-
zó un estudio detallado de las series trigonométricas las cuales utilizó para resolver
varios problemas relacionados con la conducción de calor. Demostró que cualquier
función periódica se puede representar como una serie innita de funciones senos y
cosenos, cada una con frecuencias angulares múltiplos enteros de la frecuencia angu-
lar fundamental. Los argumentos establecidos por Fourier eran imprecisos y en 1829
P.G.L. Dirichlet proporcionó las condiciones precisas para que una señal periódica
pueda ser representada por una serie de Fourier.
Hoy en día las series de Fourier son importantes, tanto práctica como teórica-
mente y siguen siendo objeto de investigación. Es una herramienta usada en muchas
ramas de la ingeniería: análisis vibratorio, acústica, óptica, procesamiento de imá-
genes y señales, y compresión de datos.
Denición.-Sea f : R −→ R:
Decimos que la función f es función par si f (−t) = f (t).
Decimos que la función f es función impar si f (−t) = −f (t).
Proposición.
El producto de dos funciones pares es par.
El producto de dos funciones impares es par.
El producto de una función par por otra impar es impar.
Z a Z a
Si f es par ⇒ f (t)dt = 2 f (t)dt.
−a 0
Z a
Si f es impar ⇒ f (t)dt = 0
−a
Denición.- Se dice que las funciones {fk (t)} son ortogonales en el intervalo (a, b)
si dos funciones cualesquiera de dicho conjunto cumple:
Z b
fm (t)fn (t) dt = 0 m 6= n
a
Ejemplo.
La funciones f1 (t) = t y f2 (t) = t2 son ortogonales en (−1, 1).
La funciones f1 (t) = sen t y f2 (t) = cos t son ortogonales en (−π/2, π/2).
Por tanto:
Z T /2 Z T /2 Z T /2
cos(nω0 t) dt = sen(nω0 t) dt = cos(nω0 t) sen(nω0 t) dt = 0 ∀n ∈ N
−T /2 −T /2 −T /2
(1)
y ∀n, m ∈ N, m 6= n
Z T /2 Z T /2 Z T /2
cos(nω0 t) cos(mω0 t) dt = sen(nω0 t) sen(mω0 t) dt = cos(nω0 t) sen(mω0 t) dt = 0
−T /2 −T /2 −T /2
(2)
Z π
1
⇒ a0 = f (t) dt.
π −π
2π
siendo ω0 = la frecuencia angular.
T
a0 , an y bn reciben el nombre de coecientes de Fourier y se determinan:
Z t0 +T
2
a0 = f (t) dt.
T t0
Z t0 +T
2
an = f (t) cos(nω0 t) dt.
T t0
Z t0 +T
2
bn = f (t) sen(nω0 t) dt.
T t0
Podemos escribir el desarrollo en serie (4) con una expresión más simplicada de
la siguiente manera: multiplicamos y dividimos el término an cos(nω0 t)+bn sen(nω0 t)
por an + b2n :
p
2
!
an bn
(5)
p
a2n + b2n p cos(nω0 t) + p sen(nω0 t)
a2n + b2n a2n + b2n
donde:
bn a
sen θn = p
2 2
; cos θn = p 2 n 2 ;
an + bn an + b n
θn = arctan abnn
An es la amplitud.
θn es la fase.
2(−1)n+1 π
a0 = 0; an = 0; bn = ; θn =
n 2
Por lo que
∞ ∞
X 2(−1)n+1 π X 2(−1)n+1
f (t) v cos(nt − ) = sen(nt)
n=1
n 2 n=1
n
Representamos f y algunas de sus sumas parciales (ver Figura 2). Podemos ver
como según aumentamos los términos en las sumas parciales, la aproximación es
cada vez mejor a la función original. Sin embargo, en los extremos de denición,
que se corresponden con los puntos en que es discontinua la extensión periódica de
la función, parece que la serie de Fourier no aproxima bien a la función original.
Tal fenómeno se conoce como el fenómeno de Gibbs.
Nota.- Las condiciones anteriores son sucientes, por lo que puede haber funcio-
nes que aun no cumpliendolas sean convergentes. En la práctica, por lo general, se
cumplen.
−T T
Proposición. Sea f : , −→ R:
2 2
∞
X
f (t) v bn sen(nω0 t)
n=1
∞
a0 X
f (t) v + an cos(nω0 t)
2 n=1
T
¾Qué hacer si f es una función denida en el intervalo 0, , y se busca obtener
2
un desarrollo en serie de Fourier de solo cosenos (o de solo senos) que la represente?
−T
Para ello extenderemos la función al intervalo , 0 . Veamos cómo.
2
T
Denición.- Sea f : 0, → R, se llama extensión periódica impar de f a la
2
−T T
función f1 : , −→ R denida como:
2 2
(
−f (−t) − T /2 ≤ t < 0
f1 (t)
f (t) 0 ≤ t ≤ T /2
T
Denición.- Sea f : 0, → R, se llama extensión periódica par de f a la función
2
−T T
f2 : , −→ R denida como:
2 2
(
f (−t) − T /2 ≤ t < 0
f2 (t)
f (t) 0 ≤ t ≤ T /2
El desarrollo en serie de Fourier de f2 , dado que es una función par, verica que
bn = 0, por lo que se le denomina serie de Fourier de cosenos de f y viene dada por:
∞
a0 X
f (t) v + an cos(nω0 t)
2 n=1
∞
a0 X einω0 t + e−inω0 t einω0 t − e−inω0 t
f (t) = + an + bn =
2 n=1
2 2i
∞
X
Cn enω0 ti + Cn e−nω0 ti
f (t) = C0 +
n=1
Z t0 +T
1
C0 = f (t) dt.
T t0
1 2 t0 +T 2 t0 +T
Z Z
1
Cn = [an − ibn ] = f (t) cos(nω0 t)dt − i f (t) sen(nω0 t)dt =
2 2 T t0 T t0
1 t0 +T 1 t0 +T
Z Z
= f (t) [cos(nω0 t) − i sen(nω0 t)] dt = f (t)e−nω0 ti dt
T t0 T t0
Z t0 +T
1
=⇒ Cn = f (t)e−inω0 t dt
T t0
Z t0 +T
1 1
Cn = [an + ibn ] = f (t)enω0 ti dt = C−n .
2 T t0
Así:
X∞ X∞ X∞ −1
X ∞
X
inω0 t −inω0 t inω0 t inω0 t
f (t) = C0 + Cn e + C−n e = C0 + Cn e + Cn e = Cn einω0 t
n=1 n=1 n=1 n=−∞ n=−∞
∞
X
f (t) = Cn einω0 t
n=−∞
Nota.- Puesto que la serie exponencial de Fourier no es más que otra manera de
escribir la serie trigonométrica de Fourier, los teoremas de convergencia se aplican
sin necesidad de ninguna adaptación.
Trigonométrica a exponencial
a0
C0 = .
2
1
Cn = [an − ibn ]
2
Exponencial a trigonométrica
a0 = 2C0
an = Cn + C−n = 2Re(Cn )
bn = i (Cn − C−n ) = −2Im(Cn )
Dado que n solo toma valores enteros, nω0 es una variable discreta y por tanto
el espectro es una gráca discreta formada por líneas verticales (componentes espec-
trales) regularmente espaciadas.
y representa la energía disipada por una resistencia de un ohm cuando se aplica una
onda f (t) de voltaje o corriente.
El siguiente teorema nos permite calcular la integral de f 2 (t) mediante los coe-
ciente de Fourier o mediante los coecientes complejos.
Teorema. (Identidad de Parseval)
En términos de los coecientes de Fourier:
Z T /2 ∞
1 1 1X 2
f (t)dt = a20 +
2
(an + b2n )
T −T /2 4 2 n=1
6. Dada la señal :
Se pide:
f (t) = f (t + 2π) = et 0 ≤ t ≤ 2π
f (t) = f (t + T ) = sen2 t 0 ≤ t ≤ 2π
n=1
(2n − 1)6
n=1
n2