Lectura 4

Ampliacin de Matemticas. Grado en

Ingeniera Civil

Curso Acadmico 2011-2012

1 / 20

Series de Fourier

Motivacin: las series de Fourier constituyen una

importante herramienta para la obtencin de soluciones de
ecuaciones diferenciales. Su teora bsica concierne a la
expresin de una funcin como una superposicin de
senos y cosenos.

2 / 20

Series de Fourier
Comencemos con una definicin que ya conocemos ...
Funcin peridica: definicin
Una funcin f : R R se dice que es peridica de periodo T
si satisface la relacin
f (t + T ) = f (t), para todo t R.
Ejemplo: la funcin f (t) = sin(t) es (trivialmente) peridica de
periodo 2.
de esto es fcil comprobar que la funcin
 A partir

2t
f (t) = sin
es peridica de periodo T puesto que:
T






2(t + T )
2t
2t
sin
= sin
+ 2 = sin
.
T
T
T

3 / 20

Series de Fourier
Ms generalmente, si k es cualquier entero positivo, las
funciones




2k t
2k t
y sin
cos
T
T
son tambin peridicas de periodo T .
Necesitamos tambin otra definicin ..
Funcin suave a trozos: definicin
Una funcin f (t) peridica de periodo T se dice que es suave a
trozos si es continua y tiene derivada continua f 0 (t) excepto a
lo sumo en un nmero finito de puntos de discontinuidad de
tipo salto finito.

4 / 20

Series de Fourier
Con estas definiciones previas, ya estamos en condiciones de
establecer el siguiente resultado:
Serie de Fourier de una funcin f (t)
Si f (t) es una funcin peridica de periodo T suave a trozos,
se verifica que f (t) puede expresarse como una combinacin
de senos y cosenos,




a0
+ a1 cos 2t + a2 cos 4t + ...
f (t) =
2

T

T
(1)
+b1 sin 2t + b2 sin 4t + ...
T
T
donde los coeficientes ak s y bk s son constantes. En esta
expresin la igualdad quiere decir que la suma infinita del lado
derecho converge a f (t) en los puntos de continuidad de la
funcin. Si la funcin es discontinua en t0 , su serie de Fourier
converger al promedio de los lmites laterales de f (t) cuando
t t0 .
5 / 20

Series de Fourier
Veamos cmo se calculan los coeficientes de la serie de Fourier:
Por simplicidad, restringiremos nuestra atencin al caso en el que el
periodo T es 2, de modo que

f (t) =

a0
+ a1 cos t + a2 cos 2t + ... + b1 sin t + b2 sin 2t + ...
2

(2)

Las frmulas que se obtienen para un periodo T general son s olo

ligeramente ms complicadas y se basan exactamente en las
mismas ideas.
El coeficiente a0 es particularmente sencillo de evaluar. Integrando
simplemente ambos lados de (2) de a :
Z
Z
Z
a0
f (t) dt =
dt +
a1 cos t dt + ...

Z
Z 2

+
b1 sin t dt +
b2 sin 2t dt + ...

6 / 20

Series de Fourier
Puesto que la integral de cos kt o sin kt en el intervalo a se
anula, concluimos que
a0 =

f (t) dt.

Para obtener el resto de coeficientes de Fourier, necesitamos utilizar

otras frmulas integrales:

Z
, para m = n,
cos nt cos mt dt =
(3)
0, para m 6= n,


Z
, para m = n,
sin nt sin mt dt =
(4)
0, para m 6= n,

Z
sin nt cos mt dt = 0.
(5)

7 / 20

Series de Fourier

Para obtener ahora las expresiones para los coeficientes de Fourier

ak , k > 0, multiplicamos ambos lados de (2) por cos kt e integramos
desde a . De acuerdo con las anteriores expresiones integrales,
slo hay un trmino que sobrevive:
Z
Z
f (t) cos kt dt =
ak cos kt cos kt dt = ak .

De este modo, obtenemos la siguiente expresin para ak :

1
ak =

f (t) cos kt dt.

y un argumento muy similar nos lleva a:

8 / 20

Series de Fourier
1
bk =

f (t) sin kt dt.

Ejemplo: Determinar los coeficientes de Fourier de la funcin

, para < t < 0,

, para 0 < t < ,
f (t) =

0, para t = 0, ,
para un periodo T = 2.
Solucin:
Trivialmente, a0 = 0. Por otra parte,

Z
1
f (t) cos mt dt =
am =
"Z
#
Z
0
1
1
=
cos mt dt +


cos mt dt =

1
1
m sin mt| + m sin mt|0 = 0,
9 / 20

Series de Fourier
y

bm

=
=
=
=

Z

"Z
0


f (t) sin mt dt =
#
1
sin mt dt +

Z


sin mt dt =

2
1
1
2
0

m cos mt| + ( m cos mt|0 = m m cos m =

4
2
m
m , si m es impar,
m (1 (1) ) =
0, si m es par.

De modo que la serie de Fourier de f(t) es:

f (t) = 4 sin t +

4
4
sin 3t + sin 5t + ...
3
5

10 / 20

Series de Fourier
Los polinomios trigonomtricos
4
4
4
1 (t) = 4 sin t, 2 (t) = 4 sin t+ sin 3t, 3 (t) = 4 sin t+ sin 3t+ sin 5t
3
3
5
son aproximaciones a f (t) que son progresivamente mejores segn
va creciendo el nmero de trminos.
En la figura se muestra la aproximacin de 3 (t) a f (t).
4
3
2
1
0
1
2
3
4

Comentario: Cerca de los puntos de discontinuidad de la funcin se

hace evidente el denominado fenmeno de Gibbs.

11 / 20

Series de Fourier seno y coseno

Veamos ahora que, bajo ciertas condiciones, una funcin f (t)
puede expresarse como superposicin nicamente de
funciones seno (coseno), lo que da origen a las denominadas
series de Fourier seno (coseno).
Sea f : [0, L] R una funcin suave a trozos que se anula en 0 y
en L. Se verifica entonces que f puede expresarse como una
superposicin de funciones seno:
Serie de Fourier seno de f (t)
 




t
2t
nt
f (t) = b1 sin
+ b2 sin
+ ... + bn sin
+ ...
L
L
L
Los coeficientes bn vendrn dados por:
2
bn =
L


f (t) sin

nt
L


, dt.

12 / 20

Series de Fourier seno y coseno

La justificacin de esta propiedad es sencilla haciendo uso de
las correspondientes propiedades de las funciones pares e
impares: evidentemente f (t) puede extenderse a una funcin
impar f : [L, L] R definiendo

f (t), si t [0, L],
f (t) =
f (t), si t [L, 0],
y a partir de aqu puede ampliarse esta extensin a una funcin
peridica de periodo 2L exigiendo que:
f (t + 2L) = f (t), para todo t R.
Esta funcin peridica pertenece al subespacio lineal de las
funciones impares. Por lo visto en la seccin anterior, f posee una
expansin en series de Fourier y dado que f es impar, todos los
coeficientes an de su expansin (los que van con las funciones
coseno) son cero.
13 / 20

Series de Fourier seno y coseno

En el intervalo [0, L], f (t) se restringe a la funcin f (t) y la expansin
en series de Fourier de f se restringe a una expansin de f en
trminos exclusivamente de funciones seno. Llamaremos entonces a
esta expansin la serie de Fourier seno de f (t).
Un argumento similar (pero ahora relacionado con las funciones
pares!) puede utilizarse para expresar una funcin suave a trozos
f : [0, L] R como una superposicin de funciones coseno,
Serie de Fourier coseno de f (t)
a0
f (t) =
+ a1 cos
2

t
L


+ a2 cos

2t
L


+ ... + an cos

nt
L


+ ...

Los coeficientes an vendrn dados por:

an =

2
L


f (t) cos

nt
L


, dt.

14 / 20

Series de Fourier seno y coseno

Ejercicio: Determinar las series de Fourier seno y coseno

de la funcin

t, para 0 t /2,
f (t) =
t, para /2 < t .

15 / 20

Series de Fourier: versin compleja

La expresin que hemos visto anteriormente de la serie de

Fourier de una funcin, se dice que es la forma real de la
serie. Sin embargo, a veces resulta bastante ms cmodo
trabajar con la forma compleja de la serie. La obtencin de
esta forma supone, esencialmente, hacer uso de la frmula
de Euler
ei = cos + i sin .

16 / 20

Series de Fourier: versin compleja

La frmula de Euler nos permite obtener las siguientes
relaciones:
ei + ei
ei ei
, sin =
,
2
2i
de modo que la expansin en series de Fourier de una
funcin f (t) peridica, de periodo 2, puede reescribirse
como:
cos =

f (t) =

(eit + eit )
(ei2t + ei2t )
a0
+ a1
+ a2
+ ...+
2
2
2
it
it
i2t
i2t
(e e )
(e e
)
+b1
+ b2
+ ...
2i
2i

Agrupando trminos, llegamos a:

17 / 20

Series de Fourier: versin compleja

Forma compleja de la serie de Fourier
f (t) = ... + c2 e2it + c1 eit + c0 + c1 eit + c2 e2it + ...
La relacin de los coeficientes ak y bk (k 6= 0) con los
coeficientes ck que aparecen en esta expresin es
ak = ck + ck , bk = i(ck ck ).
Y el clculo directo de estos coeficientes se hace a travs
de:
Z
1
f (t)eikt dt.
ck =
2

18 / 20

Series de Fourier: versin compleja

Ejemplo: Obtener los coeficientes complejos de la serie de

Fourier de
f (t) = t, < t ,
extendida para ser peridica de periodo 2. A partir de los
coeficientes complejos, obtener los coeficientes de la
forma real de la serie de Fourier.
Tendremos que
Z
1
teikt dt.
ck =
2
Haciendo uso de integracin por partes,

19 / 20

Series de Fourier: versin compleja

ck



Z
ikt
1
ikt

=
(it/k )e |
(i/k )e
dt =
2

h
i
= 1 i eik i eik =
2 k
k
(1)k
.
= i
k

Por tanto,
(1)k +1
.
k
Comentario: Este ejemplo ilustra como en un buen nmero
de ocasiones trabajar con la forma compleja de la serie de
Fourier es bastante menos complejo que trabajar con la
forma real (valga la paradoja).
ak = ck + ck = 0, bk = i(ck ck ) = 2

20 / 20