Series de Fourier

Rodrigo Henrquez Auba

9 de octubre de 2010
1. Funciones Peri odicas y Series Trigonometricas
Se dice que una funcion f(x) es peri odica si est a denida para toda x real y si existe
alg un n umero positivo T de manera que:
f(x + T) = f(x) (1.1)
El n umero T recibe el nombre de periodo de f(x). La gr aca de una funci on de este tipo se
obtiene mediante una repetici on periodica de la gr aca correspondiente a un periodo T.
Figura 1: Una funci on peri odica de periodo T
De la ecuaci on (1.1) se sigue que, si n es un n umero entero cualquiera se cumple que:
f(x + nT) = f(x) (1.2)
de modo que nT tambien es periodo de la funcion f(x). Adem as si f(x) y g(x) tienen periodo
T entonces la funcion:
h(x) = f(x) + g(x) (1.3)
tambien tiene periodo T.
Ejemplos familiares de las funciones periodicas son las funciones seno y coseno. Note
tambien que la funci on f(x) = c = cte tambien es una funci on peri odica de acuerdo a la
denici on dada en (1.1).
1
Una serie trigonometrica es la sumatoria de funciones seno y coseno de la siguiente
forma:
a
0
+ a
1
cos(x) + b
1
sin(x) + a
2
cos(2x) + b
2
sin(2x) + . . . (1.4)
donde a
0
, a
1
, a
2
, . . . , b
1
, b
2
, . . . son constantes reales que reciben el nombre coecientes de la
serie. Se puede observar que los terminos de la serie (1.4) tienen periodo 2, por lo tanto,
si la serie converge, su suma sera una funci on periodica con periodo 2. El proceso para
hallar los coecientes de la serie (1.4) para representar funciones de periodo 2 se explicara
en la siguiente seccion, mientras que el procedimiento para representar funciones de periodo
arbitrario se presentara en una seccion posterior.
2. Ortogonalidad de las Funciones Trigonometricas y
F ormulas de Euler
Se dice que dos funciones reales g
m
(x) y g
n
(x) son ortogonales en un intervalo a x b,
si la integral del producto g
m
(x)g
n
(x) sobre ese intervalo es igual a cero si m = n es decir:
_
b
a
g
m
(x)g
n
(x)dx = 0, m = n (2.1)
El conjunto de funciones g
0
, g
1
, g
2
, . . . que satisfacen (2.1) para todos los pares de funciones
distintas en el conjunto, es un conjunto ortogonal de funciones en ese intervalo. La integral
N(g
m
) =
_
b
a
g
2
m
(x)dx (2.2)
se conoce como la norma de la funcion g
m
(x) en el intervalo [a, b].
Las funciones g
m
(x) = cos(mx) forman un conjunto ortogonal en el intervalo x ,
puesto que:
_

cos(mx) cos(nx)dx = 0, m = n (2.3)

La norma de este grupo de funciones es:
N(cos(mx)) =
_

cos
2
(mx)dx =
_
2, m = 0
, m = 1, 2 . . .
(2.4)
La ortogonalidad de estas funciones es facil de probar usando identidades trigonometricas de paso de
producto a suma y conociendo que la integral de una funcion periodica en un periodo o m ultiplo de este es
0.
2
De forma similar, si se considera el conjunto de funciones g
m
(x) = sin(mx) forman un
conjunto ortogonal en el intervalo x debido a que:
_

sin(mx) sin(nx)dx = 0, m = n (2.5)

y con norma:
N(sin(mx)) =
_

sin
2
(mx)dx =
_
0, m = 0
, m = 1, 2 . . .
(2.6)
Por ultimo, se considera la siguiente integral:
_

cos(mx) sin(nx)dx = 0, m, n = 0, 1, 2, . . . (2.7)

Otros conjuntos de funciones ortogonales se analizaran mas adelante. Las relaciones (2.3) -
(2.7) se utilizaran para hallar los coecientes de la serie trigonometrica o de Fourier.
Si se quiere representar una funci on peri odica f(x), con periodo 2, mediante una serie
de Fourier, se tiene que:
f(x) = a
0
+

n=1
a
n
cos(nx) + b
n
sin(nx) (2.8)
en donde los coecientes a
0
, a
1
, a
2
, . . . , b
1
, b
2
, . . . son constantes reales desconocidas. Si se
integra la ecuacion (2.8) con respecto a la variable x desde hasta se tiene que:
_

f(x)dx = a
0
_

dx +

n=1
_
a
n
_

cos(nx)dx + b
n
_

sin(nx)dx
_
(2.9)
Gracias a la ecuaciones (2.3) y (2.5) con m = 0 tenemos entonces:
_

f(x)dx = a
0
_

dx = a
0
2 (2.10)
Ahora si la ecuaci on (2.8) se multiplica por cos(mx) y se integra desde hasta se tiene
que:
_

f(x) cos(mx)dx = a
0
_

cos(mx)dx
+

n=1
_
a
n
_

cos(mx) cos(nx)dx + b
n
_

cos(mx) sin(nx)dx
_
(2.11)
El primer termino del lado derecho de la ecuaci on anterior es igual a cero debido a (2.3); el
ultimo termino tambien es igual a cero debido a (2.7); mientras que el segundo termino es
3
igual a cero si m = n y es igual a para m = n. Por lo tanto, para cada valor m el unico
termino de la sumatoria que es diferente de cero se obtiene cuando m = n. Por lo tanto de
(2.11) se tiene que:
_

f(x) cos(mx)dx = a
m
(2.12)
De forma similar, si se multiplica la ecuaci on (2.8) por sin(mx) y se integra desde hasta
se obtiene que:
_

f(x) sin(mx)dx = a
0
_

sin(mx)dx
+

n=1
_
a
n
_

sin(mx) cos(nx)dx + b
n
_

sin(mx) sin(nx)dx
_
(2.13)
Mediante las relaciones (2.5), (2.6) y (2,7) se tiene:
_

f(x) sin(mx)dx = b
m
(2.14)
As de las ecuaciones (2.10), (2.12) y (2.14) y haciendo el cambio m n se obtienen las
f ormulas de Euler que nos sirven para calcular los coecientes de Fourier.
a
0
=
1
2
_

f(x)dx (2.15)
a
n
=
1

f(x) cos(nx)dx (2.16)

b
n
=
1

f(x) sin(nx)dx (2.17)

La clase de funciones que pueden representarse mediante series de Fourier es sorprendente-
mente grande y general. Las condiciones sucientes se dan en el siguiente teorema:
Teorema: Condiciones de Dirichlet. Si una funcion periodica f(x) es seccionalmente
continua y tiene derivada por la izquierda y por la derecha en cada punto del intervalo,
entonces la serie de Fourier correspondiente es convergente. Su suma es igual a f(x), excepto
en un punto x
0
, en el cual f(x) es discontinua, donde la serie converge al promedio de los
lmites desde la derecha y desde la izquierda de f(x) en x
0
.
La demostracion de este teorema puede encontrarse en libros especializados.
El intervalo de integracion no debe ser necesariamente desde hasta , simplemente debe ser uno de
largo 2.
4
Ejemplo 1: Encuentre los coecientes de la serie de Fourier para la funcion:
f(x) = x
2
para x con f(x + 2) = f(x)
Soluci on: Aplicando las f ormulas de Euler se tiene:
Figura 2: Gr aco de f(x)
a
0
=
1
2
_

x
2
dx =
1
2
x
3
3

=

2
3
a
n
=
1

x
2
cos(nx)dx
=
1

_
x
2
sin(nx)
n

2
_

x sin(nx)
m
dx
_
=
1

_
x
2
sin(nx)
n

2
_

x cos(nx)
n
2

+
_

cos(nx)
n
2
dx
__
Luego el primer y tercer termino son 0, y lo anterior se puede reescribir como:
a
n
=
1

_
4 cos(n)
n
2
_
=
4(1)
n
n
2
Ahora para b
n
:
b
n
=
1

x
2
sin(nx)dx = 0
Esto ultimo dado a la imparidad de la funci on. Con lo que tenemos nalmente:
f(x) =

2
3
+

n=1
4(1)
n
n
2
cos(nx)
La paridad e imparidad se explicara en la siguiente seccion
5
Si consideramos solo 3 terminos de la serie de Fourier, podemos notar la aproximacion, que
se ve en la siguiente gura.
Figura 3: Comparacion de la funci on con su serie de Fourier (3 terminos).
3. Paridad e Imparidad
En el ejemplo anterior se explico que b
n
era igual a 0, dado que se estaba calculando una
integral de una funci on impar. Se dice que una funci on es par cuando:
g(x) = g(x) (3.1)
es decir es simetrica con respecto al eje de las ordenadas.
Una funcion es impar si:
g(x) = g(x) (3.2)
Figura 4: Funci on par y funcion impar.
6
El producto (x) = g(x)h(x) donde g es funci on par y h es impar, nos dice que es impar,
en efecto:
(x) = g(x)h(x) = g(x)(h(x)) = (x) (3.3)
De igual forma es posible mostrar que el producto de 2 funciones pares o 2 funciones impares
entrega una funcion par.
En el caso de tener integrales denidas en lmites simetricos tenemos en una funcion par:
_
a
a
g(x)dx =
_
0
a
g(x)dx +
_
a
0
g(x)dx
=
_
a
0
g(x)dx +
_
a
0
g(x)dx
= 2
_
a
0
g(x)dx (3.4)
An alogamente para una funci on impar:
_
a
a
h(x)dx =
_
0
a
h(x)dx +
_
a
0
h(x)dx
=
_
a
0
h(x)dx +
_
a
0
h(x)dx
= 0 (3.5)
As notando las formulas de Euler y usando que cos(x) es par y sin(x) es impar podemos
notar que dependiendo si el tipo de funcion, se anularan coecientes.
Por lo tanto si f(x) es par se tendra b
n
= 0 y por lo tanto:
f(x) = a
0
+

n=1
a
n
cos(nx) (3.6)
con coecientes:
a
0
=
1

_

0
f(x)dx (3.7)
a
n
=
2

_

0
f(x) cos(nx)dx (3.8)
De la misma forma si f(x) es impar se tendra a
0
= a
n
= 0 y por lo tanto:
f(x) =

n=1
b
n
sin(nx) (3.9)
con coecientes:
b
n
=
2

_

0
f(x) sin(nx)dx (3.10)
7
Ejemplo 2: Encontrar la serie de Fourier de la funcion f(x) = x + para x .
Figura 5: Gr aco de f(x)
Soluci on: Al observar la gura notamos que no es par ni impar, pero f(x) = g(x)+, donde
g(x) = x es una funci on impar, por lo que simplemente calculamos la serie de Fourier a g y
sumamos . De esta forma, a
0
= a
n
= 0 y ademas:
b
n
=
2

_

0
x sin(nx)dx
=
2

x cos(nx)
n

0
+
_

0
cos nxdx
_
=
2

x cos(nx)
n

0
+
sin(nx)
n

0
_
=
2(1)
n+1
n
Por lo tanto su representaci on en serie de Fourier queda:
f(x) = +

n=1
2(1)
n+1
n
sin(nx)
La sumatoria de la constante y los tres primeros terminos de la serie se pueden observar en
la gura 6.
8
Figura 6: Comparacion de f(x) con su serie de Fourier
4. Funciones de periodo arbitrario
Hasta el momento se ha trabajado con funciones de periodo 2. La transicion a funciones
de periodo arbitrario T se realiza mediante un cambio de escala.
Suponga que f(t) tiene periodo T. Entonces puede introducirse una nueva variable x de
manera que f(t) se convierta en una funcion de periodo 2. Es decir:
t =
T
2
x (4.1)
f(t) = f
_
T
2
x
_
(4.2)
como la funcion f(x) tiene periodo 2 podemos utilizar la ecuaci on (2.8) para determinar
su serie de Fourier:
f
_
T
2
x
_
= a
0
+

n=1
a
n
cos(nx) + b
n
sin(nx) (4.3)
9
y con coecientes:
a
0
=
1
2
_

f
_
T
2
x
_
dx (4.4)
a
n
=
1

f
_
T
2
x
_
cos(nx)dx (4.5)
b
n
=
1

f
_
T
2
x
_
sin(nx)dx (4.6)
Ahora mediante el cambio de variable inverso:
x =
2
T
t (4.7)
dx =
2
T
dt (4.8)
tenemos las series de Fourier con periodo arbitrario:
f(t) = a
0
+

n=1
a
n
cos
_
2n
T
t
_
+ b
n
sin
_
2n
T
t
_
(4.9)
con coecientes:
a
0
=
1
T
_
T/2
T/2
f(t)dt (4.10)
a
n
=
2
T
_
T/2
T/2
f(t) cos
_
2n
T
t
_
dt (4.11)
b
n
=
2
T
_
T/2
T/2
f(t) sin
_
2n
T
t
_
dt (4.12)
Es com un, dada la alta utilidad en analisis de se nales, utilizar la frecuencia natural de una
funci on f(x) de periodo T dada por:

0
=
2
T
(4.13)
y con esto tener representar la serie de Fourier de una forma mas reducida:
f(x) = a
0
+

n=1
a
n
cos(n
0
x) + b
n
sin(n
0
x) (4.14)
con coecientes:
a
0
=
1
T
_
T
f(x)dx (4.15)
a
n
=
2
T
_
T
f(x) cos(n
0
x)dx (4.16)
b
n
=
2
T
_
T
f(x) sin(n
0
x)dx (4.17)
10
donde
_
T
representa integrar en un periodo T cualquiera.
Por otra parte el analisis de paridad e imparidad sigue siendo valido, por lo que si f(x) es
una funcion par de periodo T su serie de Fourier es:
f(x) = a
0
+

n=1
a
n
cos(n
0
x) (4.18)
y con coecientes:
a
0
=
2
T
_
T/2
0
f(x)dx (4.19)
a
n
=
4
T
_
T/2
0
f(x) cos(n
0
x)dx (4.20)
As mismo si f(x) es funci on impar con periodo T su serie de Fourier es:
f(x) =

n=1
b
n
sin(n
0
x) (4.21)
con coecientes:
b
n
=
4
T
_
T/2
0
f(x) sin(n
0
x)dx (4.22)
Ejemplo 3: Halle la serie de Fourier para la funci on f(x) = x x
2
para 0 x 1.
Soluci on: Como la funcion anterior solo esta denida en el intervalo 0 x 1 se puede
hacer una funcion f(x) periodica repitiendo la funci on como se ve en la gura:
Figura 7: Gr aco de f(x)
Por lo tanto la funci on resultante f(x) es par y de periodo T = 2. Por consiguiente, los
coecientes b
n
ser an iguales a cero. Los coecientes a
0
y a
n
se hallan mediante las ecuaciones
(4.19) y (4.20) de la siguiente manera:
a
0
=
_
1
0
(x x
2
)dx =
_
x
2
2

x
3
3
_

1
0
=
1
6
11
a
n
= 2
_
1
0
(x x
2
) cos(nx)dx
= 2
__
cos(nx)
n
2

2
+
x sin(nx)
n
_

_
2x cos(nx)
n
2

2

2 sin(nx)
n
3

3
+
x
2
sin(nx)
n
__

1
0
= 2
_
cos(n) 1
n
2

2

2 cos(n)
n
2

2
_
=
2(1 + cos(n))
n
2

2
Por lo que su serie de Fourier corresponde:
f(x) =
1
6

n=1
2(1 + cos(n))
n
2

2
cos nx
Si se toman 3 terminos de la serie de Fourier se puede ver la aproximaci on en la gura 8:
Figura 8: Comparacion de la funci on con su serie de Fourier (3 terminos).
Los desarrollos en series de Fourier de los ejemplos 2 y 3 muestran un hecho interesante e
importante. En el ejemplo 2 la funci on f(x) no era continua y los coecientes de la serie de-
crecen con una rapidez proporcional a 1/n. Por otra parte, en el ejemplo 3 la funcion f(x) era
continua pero su derivada no y los coecientes decrecen con una rapidez proporcional a 1/n
2
.
Si en el ejemplo anterior se hubiera escogido una funci on impar, esta hubiera sido continua
en la primera derivada y los coecientes hubieran decrecido con una rapidez proporcional a
1/n
3
.
12
5. Formas alternativas de la Serie de Fourier
5.1. Forma de Laboratorio
Se conoce la identidad trigonometrica:
r cos( + ) = p cos() + q sin() (5.1)
donde:
r =
_
p
2
+ q
2
tan() =
q
p
(5.2)
As utilizando dicha identidad sobre cada par seno-coseno de la serie (4.14) se tiene:
f(x) = A
0
+

n=1
A
n
cos(n
0
x +
n
) (5.3)
A esta expresi on se conoce a veces como forma de laboratorio de la serie de Fourier, donde:
A
0
= a
0
(5.4)
A
n
=
_
a
2
n
+ b
2
n
(5.5)
tan(
n
) =
b
n
a
n
(5.6)
5.2. Forma Exponencial Compleja
Utilizando las siguientes igualdades:
cos(n
0
x) =
e
in
0
x
+ e
in
0
x
2
(5.7)
sin(n
0
x) =
e
in
0
x
e
in
0
x
2i
(5.8)
Donde i
2
= 1. As la sustituci on de estas igualdades en la ecuacion (4.14) da como resultado:
f(x) = a
0
+

n=1
a
n
e
in
0
x
+ e
in
0
x
2
+ b
n
e
in
0
x
e
in
0
x
2i
(5.9)
teniendo en cuenta que 1/i = i, se puede organizar la ecuacion de la siguiente manera:
f(x) = a
0
+

n=1
a
n
ib
n
2
e
in
0
x
+
a
n
+ ib
n
2
e
in
0
x
(5.10)
13
Si ahora denimos:
C
0
= a
0
(5.11)
C
n
=
a
n
ib
n
2
(5.12)
C
n
=
a
n
+ ib
n
2
(5.13)
y se reemplazan en (5.10) se obtiene:
f(x) = C
0
+

n=1
C
n
e
in
0
x
+

n=1
C
n
e
in
0
x
(5.14)
Si notamos que C
0
= C
0
e
i0
entonces podemos agrupar los terminos para obtener:
f(x) =

n=
C
n
e
in
0
x
=

n=
C
n
e
i2nx/T
(5.15)
Lo anterior se conoce como la forma compleja de la serie de Fourier. Dichos coecientes est an
dados por:
C
n
=
1
T
_
T
f(x)e
in
0
x
dx =
1
T
_
T
f(x)e
i2nx/T
dx (5.16)
Ejemplo 4: Encuentre los coecientes C
n
de la funci on: f(x) = cos
2
(x)
Soluci on: Aprovechando la identidad trigonometrica:
cos
2
(x) =
1 + cos(2x)
2
Con esto ya tenemos una funci on peri odica con periodo , por lo que su serie de Fourier es:
cos
2
(x) =
1
2
+
1
2
cos(2x)
Es decir:
a
0
=
1
2
a
1
=
1
2
y a
n
= 0 para todo n = 2, 3 . . . y b
n
= 0 para todo n = 1, 2 . . . , luego usando (5.11), (5.12)
y (5.13) se tiene:
C
0
=
1
2
C
1
=
1
4
C
1
=
1
4
y C
n
= 0 para los otros casos.
14