CONVERGENCIA DE LAS SERIES DE FOURIER

Sea f (x) una funcion definida para todo x, con periodo 2. Entonces, bajo condiciones muy
generales, la serie de Fourier de f converge a f (x) para todo x. Describiremos un conjunto
de condiciones que asegura dicha convergencia, estas se ilustran en la figura de abajo. Damos
tambien algunas indicaciones acerca de por que debe esperarse la convergencia. La funcion f
es continua en cada intervalo de longitud 2 excepto en un n
umero finito de discontinuidades
de salto, donde el valor de f es el promedio de sus lmites por la izquierda y por la derecha.
Ademas, en cada intervalo de longitud 2, la funcion f tiene una derivada continua, excepto en
los puntos de salto y en un n
umero finito de esquinas. En los puntos de salto y en las esquinas
hay un valor lmite para la derivada por la derecha y por la izquierda (sugerida por las lneas
tangentes dibujadas). La funcion f que satisfaga estas condiciones se llama una funci
on continua
a trozos. As,la serie de Fourier de una funci
on f(x) continua a trozos, de periodo 2
converge a f(x) para todo x.

Convergencia uniforme.
Para una funcion como la anterior, es demasiado esperar que la serie de Fourier de f converja
uniformemente cuando 0 x 2, ya que la suma de una serie uniformemente convergente
de funciones continuas debe ser continua, mientras que la funcion de la figura anterior, tiene
discontinuidades de salto. Sin embargo, si f no tiene discontinuidades de salto (aunque
tenga esquinas) entonces la convergencia debe ser uniforme. Ademas, aun cuando
f tenga salto, la convergencia es uniforme en cada intervalo cerrado a x b que no contenga
puntos de salto.

Idea de la demostraci
on de la convergencia. Nos basamos en el concepto de la funcion
delta de Dirac (t). Esta funcion surge al estudiar la densidad. Para la masa distribuida a lo
largo del eje x, habra una densidad (x) tal que
Z b
(x)dx = masa entre a y b.
a

Supongamos que la masa total es 1 y sigamos un proceso de lmite, concentrando la masa mas
y mas cerca de x = 0. Entonces, la densidad correspondiente es como la figura de abajo. La
funcion (x) se define como la densidad lmite cuando la masa tiende a concentrarse en el punto

x = 0. Como el total de masa es 1, para a < 0 < b debemos tener

Z b
(x)dx = 1.
a

Sin embargo, (x) = 0 para todo x excepto 0 y (0) = +. Es posible fundamentar de manera
razonable estas propiedades en cierto modo notables. Podemos pensar en (x) como la densidad
de una partcula de masa unitaria en x = 0 o como el caso limite de la densidad (x) cuando la
amplitud del pulso tiende a 0.
Para una partcula de masa unitaria en x0 , la densidad correspondiente es (x x0 ). Para
varias partculas de masa m1 , . . . , mn en x1 , . . . , xn , respectivamente, la densidad es m1 (x
x1 ) + . . . + mn (x xn ).

Definici
on 1. Momentos de las distribuciones.- Llamamos k esimo momento alrededor del
origen a la integral

xk (x)dx.

En general, requerimos integrales del tipo

Z

f (x)(x)dx
a

con f continua.

Si ahora tenemos una solo partcula de unidad de masa en x0 , en el intervalo x0 c < x < x0 +c,
entonces (x) = (x x0 ) y el k-esimo momento alrededor de 0 es simplemente xk0 ; As:
Z x0 +c
xk (x x0 )dx = xk0 .
x0 c

Analogamente, para una funcion continua f (x) en general y cada c > 0, tenemos
Z x0 +c
f (x)(x x0 )dx = f (x0 )
x0 c

o, si hacemos t = x x0 ,

f (x0 + t)(t)dt = f (x0 ).

c

Volvamos a las series de Fourier. Usemos el hecho de que la funcion

1
1
1
+ cost + . . . + cosnt
2

puede considerarse que tiene a (t) como lmite, para t , cuando n .

Pn (t) =

lm Pn (t) = (t)

Podemos demostrar que

lm

f (x + t)Pn (t)dt =

f (x + t)(t)dt = f (x),

siempre que f sea continua en x y exista f 0 (x).

La n-esima suma parcial de la serie de Fourier de f es
a0
Sn (x) =
+ a1 cosx + b1 senx + . . . + an cosnx + bn sennx =
2
Z
Z
1
cosx
=
f (u)du +
f (u)cosudu + . . . =
2

Z
1
1
=
f (u)( + cosxcosu + senxsenu + . . .)du =

2
Z
1
1
=
f (u)[ + cos(u x) + cos2(u x) + . . . + cosn(u x)]du.

2
Por tanto,
Z

Sn (x) =

f (u)Pn (u x)du.

Si hacemos u = x + t y aprovechamos la periodicidad, concluimos que

Z
Sn (x) =
f (x + t)Pn (t)dt.

Tomando lmites tenemos que

lm Sn (x) =

f (x + t)(t)dt = f (x)

Esto asegura la convergencia mencionada, al menos cuando f es continua y existe f 0 (x).

Un indicio de que Pn (t) tiende en realidad a (t) como lmite, para t , lo proporciona
el siguiente calculo formal. Buscamos los coeficientes de Fourier de la funcion igual a (t) para
t . (Con x0 = 0 )
a0 =
an =

1
bn =

(t)dt =

(t)cosntdt =

1
,

1
, n = 1, 2, . . . ,

(t)senntdt = 0, n = 1, 2, . . .

Entonces podemos esperar que:

1
1
1
+ cost + cos2t + . . . =
2

1
1
1
= lm (
+ cost + . . . + cosnt) = limn Pn (t).
n 2

(t) =

Observacion.- Como Pn (t) tiene periodo 2, su lmite debe ser una funcion delta periodica
que coincide con (t) para t .
Serie coseno de Fourier, serie seno de Fourier
Sea f (x) una funcion definida solamente para 0 x y sea f continua a trozos en este
intervalo. Reflejando la grafica de f en el eje y, obtenemos una funcion par definida en el intervalo
x , que coincide con f para 0 x . Mediante la periodicidad extendemos la nueva
funcion para todo x y obtenemos una funcion f1 que es par, tiene periodo 2 y coincide con f
para 0 x . A f1 le llamamos la extension periodica par de f .
La funcion f1 satisface las condiciones de la convergencia vistas anteriormente. Por tanto, la
serie de Fourier de f1 converge a f1 para todo x. Como f1 es par, bn = 0 para todo n y
Z
2
an =
f1 (x)cosnxdx, n = 0, 1, 2, . . .
0

f1 (x) =

a0 X
+
an cosnx, para todo x.
2
n=1

En la formula para an podemos reemplazas la funcion f1 por f , ya que f1 = f para 0 x .

Tambien por la misma razon:

f (x) = f1 (x) =

a0 X
+
an cosnx, para 0 x
2
n=1

Por tanto, concluimos que cada funcion f (x) definida en 0 x y continua a trozos, podemos
desarrollarla en una serie que incluya solamente cosenos:

f (x) =

a0 X
+
an cosnx,
2
n=1

0x

Z
2
f (x)cosnxdx, n = 0, 1, 2, . . .
0
Esta serie se llama la serie coseno de Fourier de f. La serie converge a f para 0 x y
an =

converge a la extension periodica PAR de f fuera del intervalo.

Igualmente podemos desarrollar la misma funcion f en una serie que incluye solamente senos:
f (x) =

bn sennxdx, n = 1, 2, . . .

n=1

Esta serie se llama serie seno de Fourier de f. La serie converge a f (x) para 0 x y converge
a la extension periodica IMPAR de f fuera de este intervalo.

Nota.- Pueden aparecer saltos en 0 y +, lo cual nos obliga a usar un nuevo valor en estos
puntos. Dado que la funcion es impar y periodica, el nuevo valor es 0. Tambien nos obliga a dar
P
ese valor a la forma de la serie
bn sennx que converge a 0 para x = 0, o .
Ejemplo. Sea f (x) = x para 0 x . Calcular la extensi
on peri
odica par de f y su
serie de Fourier.

Cambio de periodo
Si f (x) tiene periodo T, y no necesariamente 2, podemos reducir f a una funcion de periodo
2 mediante un cambio de escala:
2
2
x = x, =
,
T
T
y expresar f en terminos de x1 : f (x) = f ( x1 ). Obtenemos una serie de Fourier:
a0
a0
+ a1 cosx1 + b1 senx1 + . . . =
+ a1 cosx + b1 senx + . . .
2
2
Aqu:
Z
Z
1
x1
1
x1
an =
f ( )cosnx1 dx1 , bn =
f ( )sennx1 dx1 .

Podemos tambien usar que x = x1 como variable de integracion:

Z
Z
/
2 T /2
an =
f (x)cosnxdx =
f (x)cosnxdx,
/
T T /2
x1 =

y hay una formula analoga para bn . As, definimos la serie de Fourier de f, con periodo T, como
la serie:

a0
+ a1 cosx + b1 senx + . . . + an cos nx + bn sen nx + . . . ,
2
donde = 2
T , y
Z
Z
2 T /2
2 T /2
f (x)cos nxdx, bn =
f (x)sen ndx.
an =
T T /2
T T /2
Como la integral de una funcion de periodo T, calculada en un intervalo de longitud T, tiene el
mismo valor para cada uno de dichos intervalos, podemos integrar (en an , bn ) de 0 a T o sobre
cualquier intervalo de longitud T. As, podemos reemplazar las ecuaciones anteriores por:
Z
Z
2 T
2nx
2 T
2nx
an =
f (x)cos
dx, bn =
f (x)sen
dx.
T 0
T
T 0
T

Ejemplo.- Sea f (x) = x para 0 < x < y f con periodo . Obtener la serie de Fourier.

Convergencia en media (cuadr

atica). Desigualdad de Bessel. Relaci
on de Paserval
Definimos la convergencia en media cuadratica del siguiente modo: Si {fn } y f son integrables
Riemann en [a, b], se dice que {fn } converge a f en media cuadratica si
Z
!
b
2
limn
|fn f |
= 0.
a

Sea f (x) una funcion real continua a trozos en [, ] y que se extiende a todo R por
periodicidad. Consideremos la suma parcial n-esima de la serie de Fourier asociada
n

sn (x) =

a0 X
+
(ak coskx + bk senkx),
2
k=1

donde {ak , bk } son los coeficientes de Fourier de f (x).

Definici
on.- Diremos que la serie de Fourier de f (x) convergen en media a f (x) si
Z
limn
[f (x) sn (x)]2 dx = 0.

Es inmediato ver que

Z
Z
2
0
[f (x) sn (x)] dx =

f (x)dx 2

f (x)sn (x)dx +

s2n (x)dx.

Usando quien es sn (x) y la definicion de los coeficientes de Fourier:

n

sn (x) =

a0 X
+
(ak coskx + bk senkx),
2
k=1

y
1
ak =

f (x)coskxdx,

tenemos lo siguiente:
Z
Z
f (x)sn (x)dx =

a0
2

a0
2
Z

f (x)dx +

f (x)dx +

a0
2

n
X

n
X

f (x)senkxdx

ak

f (x)coskxdx + bk

k=1

f (x)dx +

!
n
a0 X
f (x)
+
(ak coskx + bk senkx) =
2

k=1
Z
!
Z

ak

k=1

1
bk =

n
X

k=1

f (x)senkxdx

f (x)coskxdx +

a2k +

n
X
k=1

n
X

b2k =

k=1

bk

f (x)senkxdx =

n
a20
+
(a2k + b2k ) .
2
k=1

Por otro lado,

Z

s2n (x)dx

!2
n
a0 X
(ak coskx + bk senkx) dx =
+
2
k=1

a0
= 2
2

2
+

n
X

(a2k + b2k ).

k=1

Teniendo en cuenta estos dos resultados previos, la desigualdad de arriba la podemos reescribir
como:
!
2
n
n
X
X
a20
a0
2
2
0
f (x)dx 2
+
(ak + bk ) + 2
+
(a2k + b2k ),
2
2

k=1

k=1

por tanto
n

1
a20 X 2
+
(ak + b2k )
2

k=1

f 2 (x)dx, n N

Como la sucesion que aparece en el termino de la izquierda esta acotada, en el lmite n ,

tenemos que:

a20 X 2
1
+
(ak + b2k )
2

k=1

f 2 (x)dx,

expresion que se conoce con el nombre de DESIGUALDAD DE BESSEL. Esta desigualdad, nos
permite enunciar el siguiente resultado:
Teorema.- Para toda funcion f (x) L2 ([, ]) la suma de los cuadrados de sus coeficientes
de Fourier es una serie convergente.
Demostraci
on.- Es inmediata de la desigualdad de Bessel.
Corolario.lm |ak | = lm |bk | = 0.

De la demostracion de la desigualdad de Bessel, se sigue que si la serie de Fourier converge en me

dia a f (x), entonces en lugar de una desigualdad, tenemos una igualdad estricta, la RELACION
DE PASERVAL:

1
a20 X 2
(ak + b2k ) =
+
2

k=1

f 2 (x)dx,

Teorema.- La serie de Fourier de una funcion f (x) L2 ([, ]) converge en media, y por
tanto verifica la relacion de Paserval.
(No damos la demostracion)

Convergencia uniforme
Teorema Sea f (x) una funcion continua de < a C de periodo 2 y sea f 0 (x) continua a trozos
en [, ]. La serie de Fourier de f (x) converge absoluta y uniformemente.
(El mismo resultado es valido si f (x) solo esta definida en el intervalo [, ) y f () = f (),
ya que esto permite extender la funcion de forma periodica y continua a todo <.
Demostraci
on.- Haremos uso del criterio M de Weierstrass. Tenemos que analizar la convergencia uniforme de la serie
n

a0 X
+
(ak coskx + bk senkx).
2
k=1

El criterio M de Weierstrass nos dice que esta serie converge absoluta y uniformemente en
[, ] (y por tanto tambien puntualmente) si podemos encontrar unas constantes positivas
Mk , k = 1, 2, . . . tales que
|ak coskx + bk senkx| Mk , x [, ],
siendo, ademas M1 + M2 + M3 + . . . una serie convergente. Veamos que, en efecto, podemos
construir esta serie numerica convergente. En primer lugar consideremos las series de Fourier de
f (x) y f 0 (x):
n

f (x)

a0 X
+
(ak coskx + bk senkx),
2
k=1
n

f 0 (x)

ab0 X
+
(c
ak coskx + bbk senkx).
2
k=1

Los coeficientes de cada serie se calculan usando las formulas ya conocidas:

Z
1 0
1
1
ab0 =
f (x)dx = [f (x)] = [f () f ()] = 0,

ya que f (x) es continua en [, ] y periodica.

Los otros coeficientes se calculan analogamente:
(
)
Z
Z
1 0
1

[f (x)coskx] + k
f (x)senkxdx =
a
ck =
f (x)coskxdx =

1
bbk =

1
[f ()cosk f ()cosk + kk ] = kbk ;

(
)
Z
1

f (x)senkxdx =
[f (x)senkx] k
f (x)coskxdx = kak .

Asi pues, podemos acotar de manera trivial utilizando estos resultados y obtenemos:
|ak coskx + bk senkx| |ak | + |bk | =

|c
ak | |bbk |
+
:= Mk .
k
k

Falta probar que la suma de estas constantes Mk converge. Esto se sigue con facilidad de lo
siguiente:

1
|c
ak |
k

!2
= |c
ak |2 +

1
2|c
ak |

,
k2
k

de modo que:
|c
ak |

k
Lo mismo es valido con bbk en lugar

1
1 1
1
1 1
|c
ak |2 +
= (c
ak )2 +
2
2
2k
2
2 k2
de a
ck , de modo que

Mk

1 1
1
1 1
1
(c
ak )2 +
+ (bbk )2 +
2
2
2k
2
2 k2

Mk

X 1
1X
[(c
ak )2 + (bbk )2 ] +
< ,
2
k2

pero entonces:

k=1

k=1

pues la segundo de las series tiene suma

2
6

k=1

y la primera converge en virtud de la desigualdad de

Bessel. Observa que se verifica la desigualdad de Bessel porque como f 0 (x) es continua a trozos
en [, ] entonces tambien lo es (f 0 (x))2 , y en consecuencia, f 0 (x) L2 ([, ]), con lo que se
le puede aplicar el resultado del teorema anterior.

Forma compleja de las series de Fourier

Usando la formula de Euler:
ei = cos + isen
y
ei = cos isen
, podemos escribir
ei + ei
ei ei
, sen =
2
2i
De manera que podemos escribir la serie de Fourier
cos =

a0 X
+
(an cosnx + bn sennx)
2
n=1
como

"
#

a0 X an (einx einx ) bn (einx einx )

+
+
2
2
2i
n=1
=

a0 X an ibn inx X an + ibn inx

+
e
+
e
.
2
2
2
n=1
n=1

Podemos combinar estas dos expresiones en una serie:

cn einx ,

n=1

donde
c0 =

an ibn
an + ibn
a0
, cn =
para n 1 , cn =
para n 1.
2
2
2

10

La serie anterior se conoce como la forma compleja de la serie de Fourier. Es posible calcular los
coeficientes cn directamente de f:
cn =

1
2

f (x)einx dx, n = 0, 1, 2, . . .

Como de costumbre, podemos integrar de 0 a 2 o en cualquier otro intervalo de longitud 2.

Nuestra suma parcial original sn (x) corresponde a los terminos de ndice 0, 1, 2, . . . , n,
en la serie compleja y, por tanto, esta serie debe considerarse como
n
X

limn

ck eikx

k=n

Ejemplo.- Sea f (x) = x2 para 0 x 2 y sea f con periodo 2. Entonces, mediante

integracion por partes,
1
cn =
2

2 inx

x e
0

"
#
Z 2
1 x2 einx 2
2
inx
| +
xe
dx =
dx
2
in 0
in 0
.
= .pag145
.

Podemos extender la forma compleja de la serie de Fourier a las funciones de periodo general
. Sustituyendo =

la serie se convierte en

cn einx ,

n=

donde
cn =
Podemos integrar de

f (x)einx dx, n = 0, 1, 2, . . .

o en cualquier otro intervalo de longitud .

Observaci
on.- En todo el estudio, f (x) puede ser una funcion con valores complejos. si f (x)
tiene valores reales, entonces cn = cn en las ecuaciones de arriba.

Aplicaci
on de las series de Fourier a la respuesta de frecuencia
Ya hemos visto la aplicacion de las ecuaciones diferenciales de segundo orden al estudio de
las oscilaciones de fuerza en sistemas mecanicos o electricos. Extenderemos este analisis a las
ecuaciones diferenciales de m-esimo orden aprovechando las series de Fourier. Consideremos la
ecuaci
on diferencial:
a0

dm x
dm1 x
dx
+ a1 m1 + . . . + am1
+ zm x = f (t)
m
dt
dt
dt

11

y supongamos que los coeficientes a0 , a1 , . . . , am son constantes reales, con a0 6= 0. La solucion

general de la ecuacion diferencial es de la forma:
x(t) = xH (t) + xP (t).
Siendo xH (t) solucion general de la ecuacion homogenea (que se encuentra con la ayuda de
la ecuacion caracterstica: a0 m + a1 m1 + . . . + am1 + am = 0. La funcion xP (t) es una
solucion particular de la ecuacion dada. Solo consideraremos el caso en el que todas las races
caractersticas tengan parte real negativa Re < 0 (En este caso se dice que el sistema es
estable, y las soluciones son TRANSITORIAS (pues tienden a 0 si t )).
Sea f (t) periodica, de periodo , y sea f continua a trozos, de manera que quede representada
por su serie de Fourier, escribamosla en su forma completa:

f (t) =

cn eint , =

n=

Para obtener una solucion particular xP (t) de la ecuacion diferencial anterior, usaremos la idea
de la superposicion. Para cada termino cn eint de f (t), encontramos una solucion de la ecuacion:
dm x
+ . . . + an x = cm eint .
dtm
Por coeficientes indeterminados, encontramos que
a0

x(t) =

cn eint
.
a0 (in)m + . . . + am

Aqu el denominador es distinto de cero, ya que por hipotesis nuestra ecuacion es estable, de
manera que in no es una raz caracterstica. Escribimos:
Y (s) =

a0

sm

1
.
+ . . . + am

DE TRANSFERENCIA del sistema considerado. Para real,

Esta funcion es la FUNCION
DE RESPUESTA DE FRECUENCIA del sistema. Podemos
la funcion Y (i) es la FUNCION
escribir nuestra solucion particular como
x = cn Y (in)eint .
Por consiguiente, por la superposicion, una solucion de la ecuacion:
a0

X
dm
+
.
.
.
+
a
x
=
f
(t)
=
cn eint
m
dtm
n=

esta dada por

xP (t) =

cn Y (in)eint .

n=

EJEMPLO.- Sea f (t) = 0 para

t<

2 ,

f (t) = 1 para

t < , y sea f con periodo 2. Observa que = 2, = 1 y

cn =

1
...p
ag 148
2

12

t<

1
2 ,

f (t) = 0 para

Resumen
Definici
on. Serie de Fourier
Dada una funcion integrable, periodica de periodo 2, se llama serie de Fourier asociada a f
a la serie de funciones

a0 X
+
(an cosnx + bn sennx),
2
n=1

donde
1
an =

2
0

1
f (x)cosnxdx en particular a0 =

f (x)dx
0

Z
1 2
f (x)sennxdx.
0
Los coeficientes a0 , an , bn reciben el nombre de coeficientes de fourier asociados a f , o coeficientes
bn =

de Fourier de f .
Teorema de Dirichlet
Sea f una funcion 2-periodica acotada y derivable a trozos. Entonces, la serie de Fourier de
f converge en cada punto a hacia

!
1
limxa+ f (x) + limxa f (x) .
2
Si f es continua en a, su serie de Fourier converge a f (a).
Propiedades
a)Los coeficientes de la serie de Fourier de f pueden calcularse en cualquier intervalo de longitud
2. Habitualmente se tomaran como intervalos de referencia para calcular los coeficientes los
intervalos [, ] o [0, 2].
b) Si f (x) es impar, an = 0 para todo n. Si f (x) es par, bn = 0 para todo n.
Definici
on
Si f es una funcion periodica de periodo 2l 6= 2, se llama serie de Fourier asociada a f a la
serie:

a0 X
nx
nx
an cos
,
+
+ bn sen
2
l
l
n=1

siendo
an =

1
l

f (x)cos
l

nx
1
dx, en particular a0 =
l
l

f (x)dx
l

Z
nx
1 l
f (x)sen
dx.
l l
l
En estas condiciones tambien se verifica el Teorema de Dirichlet con las modificaciones oportunas.
bn =

Una ventaja importante de las series de Fourier es que son capaces de repreOBSERVACION:
sentar funciones muy generales, con muchas discontinuidades, del tipo de funciones discontinuas

13

de impulso, muy usuales en diversos aspectos de ingeniera, mientras que las series de potencias
solo pueden representar funciones continuas con derivadas de cualquier orden.
Series de Fourier tipo seno
Dada una funcion f definida en el intervalo [0, ] derivable a trozos en dicho intervalo, puede
desarrollarse en una serie de Fourier tipo seno (es decir con an = 0 para todo n) extendiendola
al intervalo [, 0] de modo que la funcion extendida sea impar.
Series de Fourier tipo coseno
Dada una funcion f definida en el intervalo [0, ] derivable a trozos en dicho intervalo, puede
desarrollarse en una serie de Fourier de tipo coseno (es decir con bn = 0 para todo n) extendiendola al intervalo [, 0] de modo que la funcion extendida sea par.

14