Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Series de Fourier.
Índice
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.
Tema 11 Serie de Fourier
11.1 Introducción
En este tema vamos a introducir las series de Fourier las cuales constituyen la he-
rramienta matemática básica del análisis de Fourier empleado para analizar funciones
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 realizó un
estudio detallado de las series trigonométricas las cuales utilizó para resolver varios pro-
blemas 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 angular fundamental. Los argu-
mentos 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óricamente
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.- Una función f se dice que es continua a trozos en un intervalo [a, b] si existe
una partición a = x0 < x1 < x2 < · · · < xn−1 < xn = b del intervalo [a, b] de forma que:
(1) f es continua en cada intervalo (xi , xi+1 ) ∀i = 1, 2, 3, · · · , n.
(2) f tiene límites laterales en los puntos xi ∀i = 1, 2, 3, · · · , n.
Denición.- Diremos que una función f es derivable a trozos en un intervalo [a, b] si
existe una partición a = x0 < x1 < x2 < · · · < xn−1 < xn = b del intervalo [a, b] de forma
que:
(1) f es derivable en cada intervalo (xi , xi+1 ) ∀i = 1, 2, 3, · · · , n.
(2) La función f 0 tiene límites laterales en los puntos xi ∀i = 1, 2, 3, · · · , n.
Proposición. Toda función derivable a trozos en un intervalo también es continua a
trozos en dicho en dicho intervalo. Las funciones continuas a trozos en un intervalo son
integrables en dicho intervalo. Además la integral la podemos calcular como suma de in-
tegrales en cada uno de los intervalos donde la función es continua.
2
Tema 11 Serie de Fourier
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
3
Tema 11 Serie de Fourier
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).
En la teoría de funciones hay muchas familias de funciones ortogonales. Para la teoría
de Fourier hay una familia particularmente importante, que es la familia de funciones
sinusoidales, es decir:
{1, sen ω0 t, sen 2ω0 t, sen 3ω0 t, · · · , cos ω0 t, cos 2ω0 t, cos 3ω0 t, · · · }
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 (1)
−T /2 −T /2 −T /2
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)
Para determinar la fórmula del coeciente a0 integramos (3) y aplicando (1) obtenemos:
Z π Z π ∞ Z π ∞ Z π
a0 X X
f (t) dt = dt + an cos(nt) dt + bn sen(nt) dt = πa0
−π −π 2 n=1 −π n=1 −π
Z π
1
⇒ a0 = f (t) dt.
π −π
4
Tema 11 Serie de Fourier
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 + b n :
p
2 2
!
a bn
p n (5)
p
a2n + b2n cos(nω0 t) + p sen(nω0 t)
a2n + b2n a2n + b2n
y consideramos el triángulo rectángulo:
donde:
bn an
sen θn = p
2 + b2
; cos θn = p
2 + b2
;
a
n n a n n
θn = arctan abnn
5
Tema 11 Serie de Fourier
θn es la fase.
Queda como ejercicio para el estudiante denir correctamente A0 , An y θn para este caso.
Ejemplo. Si calculamos los coecientes de Fourier de f (t) = t denida sobre [−π, π],
obtenemos
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.
Proposición. Si la función f denida en el intervalo [t0 , t0 + T ] es periódica, la repre-
sentación de la función en serie de Fourier es válida para toda la recta real puesto que las
2π
funciones sen(nω0 t) y cos(nω0 t) son periódicas de periodo T = .
ω0
6
Tema 11 Serie de Fourier
−T T
Proposición. Sea f : , −→ R:
2 2
7
Tema 11 Serie de Fourier
∞
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 un
2
desarrollo en serie de Fourier de solo cosenos
(o
de solo senos) que la represente? Para ello
−T
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 función
2
−T T
f1 : , −→ R denida como:
2 2
(
−f (−t) − T /2 ≤ t < 0
f1 (t)
f (t) 0 ≤ t ≤ T /2
El desarrollo en serie de Fourier de f1 , dado que es una función impar, verica que
a0 = an = 0, por lo que se le denomina serie de Fourier de senos de f y viene dada por:
∞
X
f (t) v bn sen(nω0 t)
n=1
8
Tema 11 Serie de Fourier
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
∞
X
Cn enω0 ti + Cn e−nω0 ti
f (t) = C0 +
n=1
9
Tema 11 Serie de Fourier
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=−∞
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.
10
Tema 11 Serie de Fourier
Cn = |Cn |eφn i
1
donde, teniendo en cuenta que Cn = [an − bn i],
2
1p 2 bn
|Cn | = an + b2n and φn = arctan − ∀n 6= 0
2 an
a
Para n = 0, C0 es un número real, con lo que |C0 | = | 0 | y φ0 = 0.
2
Por ello, la representación de los coecientes complejos Cn frente a la variable nω0
especica la función periódica f en el dominio frecuencia al igual que la representación
(t, f (t)) especica la función en el dominio tiempo.
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 espectrales)
regularmente espaciadas.
11
Tema 11 Serie de Fourier
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 la integral de f 2 (t) mediante los coeciente 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
2
f (t)dt = a20 + (an + b2n )
T −T /2 4 2 n=1
12
Tema 11 Serie de Fourier
(
sen t si 0 < t < π
c) f (t + 2π) = f (t) =
0 si π < t < 2π
d) f (t + 4) = f (t) = 4t − t2 0<t<4
6. Dada la señal :
f (t) = f (t + 2) = |t| −1≤t≤1
Se pide:
13
Tema 11 Serie de Fourier
Ayuda : En este caso es conveniente sustituir la función seno por su expresión expo-
nencial.
11. Representa el espectro de amplitud de la señal:
(
A sen t si 0 < t < T /2
f (t) = f (t + 2π) =
0 si T /2 < t < T
n=1
(2n − 1)6
14
Tema 11 Serie de Fourier
n=1
n2
15