Series de Fourier

SERIES DE FOURIER

Cuestiones previas: la Serie de Fourier es un tipo especial de series funcionales en

las que sus trminos son funciones trigonomtricas (sen y cos) de variable real (x).
Se las utiliza especialmente en el estudio de fenmenos peridicos porque este tipo
de series permiten representar funciones peridicas y por eso y por eso utilizaremos
funciones de este tipo.

Definicin de Funciones Peridicas: una funcin f(x) se dice peridica si

pertenece a un nmero real T0, tal que se verifique que f(x)=f(x+T) para todo x del
dominio de definicin f(x). T se denomina perodo de f(x).

Propiedades de las funciones peridicas:

1) Si T es un perodo de f(x), entonces cualquier mltiplo entero de T es un perodo
de f(x). T perodo
(n.T) perodo, n N.
2) La suma, resta, producto y cociente de funciones peridicas que tienen el mismo
perodo T, es tambin una funcin peridica del mismo perodo.
3) Si f(x) es una constante, entonces cualquier nmero real es un perodo de ella.

k
f(x)=k

X
x x+T
T

4) El producto de una constante por una f(x) peridica de perodo T, es tambin

peridica y de perodo T. Ejemplo: sen x y 2 sen x. ojo!
sen x y sen (2x)

SI NO

Las funciones peridicas ms sencillas son las trigonomtricas (seno, coseno,

tangente)
En trigonometra se demuestra que sen x = sen (x+2)
T = 2

Perodo
Tambin se determina que:
cos x = cos (x+2)
T = 2
tg x = tg (x+)
T =

Se denomina perodo de una funcin peridica al menor perodo de dicha funcin.

Por ejemplo de sen x
T = 2

1
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

Grfica de una funcin peridica: dada la definicin, de ella se deduce que para
trazar la grfica de una funcin peridica basta con trazar la parte de ella que
corresponde a un intervalo de longitud igual al perodo y luego se repite ese trazado
en intervalos consecutivos de lo longitud igual al perodo.

Y Y

X X
a a+T a a+T a+2T

T T T

Integral definida de una funcin peridica: si una funcin f(x) es peridica y

dems es integrable sobre un intervalo cualquiera de longitud igual al perodo,
entonces es integrable sobre cualquier otro intervalo de la misma longitud y el valor
de la integral sobre cualquiera de los intervalos es el mismo.
Y

a+ T b+T
f H xL x = f H xL x
a b
a b a b X

Sistema trigonomtrico fundamental: se denomina sistema trigonomtrico

fundamental al conjunto de infinitas funciones siguientes.

{ 1, cos x, sen x, cos 2x, sen 2x,cos nx, sen nx } n N

Este conjunto tiene la particularidad siguiente: todas las funciones que son sus
elementos tienen perodo comn T = 2
En efecto:
f(x) = 1 T R es un perodo
T = 2 es un perodo

Para analizar las dems veamos que:

2p
sen nx, n R, tiene perodo fundamental Tn=
n
2p
porque sen n J x + N = sen Hnx + 2 p L = sen nx
n

2
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

Entonces para todas estas funciones senoidales podemos ver que 2 es mltiplo del
perodo fundamental comn de sen nx para todo n. De la misma manera puede
demostrarse para el cos nx. Todos los elementos tienen como perodo 2.
Y
sen 2x
Y
sen x

3 sen 4x sen x
2 2
X
2
X
2

Propiedades del sistema trigonomtrico fundamental:

1) Goza de la propiedad de ser ortogonal sobre cualquier intervalo de longitud
T = 2. Dado un sistema de funciones: {Q0(x),Q1(x),Q2(x),Q3(x),Qn(x); n R
tal que todas ellas son integrables sobre un intervalo comn [a,b], se dice que ese
sistema es ortogonal sobre el intervalo [a,b] si y slo si se verifica que la integral
definida:
b
(I) Qi H xL .Qj H xL . x = 0 para todo i j
a
b
y que adems la integral: a Qi H xL . x 0 para todo i j

b
(II) Qi H xL .Qj H xL . x 0 para todo i = j
a

En efecto, el sistema trigonomtrico fundamental {1, cos x, sen x, cos 2x, sen
2x,cos nx, sen nx } n N es tal que:
2p 2p
(1) cosnx . x = 0 n 0 Hi j L sen nx . x = 0 n 0 Hi j L para todo n 0
0 0

Adems:
2p 2p
Hi = j L Hi = j L para todo n 0
2 2
(2) cos nx . x = p sen nx . x = p n= m
0 0

Adems tambin se cumplen:

2p
(3) cosmx .sen mx. x = 0 para todo n ym
0

2p 2p
(4) cosmx .cosmx. x = 0 para todo n y m
sen mx .sen mx. x = 0
0 0

(1), (2), (3) y (4) verifican la propiedad enunciada.

(1), (2), (3) y (4) tambin se verifican en intervalos [a, a+2] a R.

Luego utilizaremos estas propiedades en la Serie de Fourier.

3
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

Polinomio trigonomtrico de orden n: recibe este nombre la expresin

siguiente:
a0
Sn H xL = + a1.cosx + b 1.senx + a2.cos 2 x + b 2.sen 2 x + ... + an.cosnx + b n.sen nx
2

Podemos observar en esta expresin:

a0,a1,a2,,an
b0,b1,b2,,bn

Las funciones que componen este polinomio trigonomtrico son todas funciones
trigonomtricas de perodo 2. Por lo tanto el polinomio es una funcin peridica del
tipo T = 2

Serie trigonomtrica: se denomina as a la serie fundamental siguiente:

a0
+ a1.cosx + b 1.senx + a2.cos2 x + b 2.sen 2 x + ... + an.cosnx + b n.sen nx =
2

a0
= + an .cosnx + b n .sen nx (2)
2 n:1

Puede observarse que la suma parcial ensima de esta serie es el polinomio

trigonomtrico de orden n (Sn(x)); y como este, dijimos que es una funcin peridica
de perodo 2. Si suponemos que esa serie es convergente, entonces su suma
debera tambin ser una funcin peridica de perodo 2. Llamaremos f(x) a esa
suma. Podemos escribir:

f H xL = Lim Sn H xL; f H x L = f H x + 2 p L;
x

Podemos escribir tambin:

a0
f H xL = + an .cosnx + b n .sen nx
2 n:1
Hemos dicho que f(x) deba ser peridica de perodo 2. Como conclusin podemos
decir que:
Si una serie trigonomtrica representa una funcin f(x), entonces necesariamente
esa funcin debe ser peridica de perodo2.

Serie de Fourier de una funcin peridica f(x)=f(x+2):

Definicin: sea f(x) una funcin integrable en un intervalo de longitud 2, y adems
peridica de perodo 2. La serie trigonomtrica:

a0
(1) + an .cosnx + b n .sen nx
2 n:1
es la serie de Fourier de f(x), y sus coeficientes son calculados con las frmulas
siguientes:

4
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

1 2p
(1) an = f H xL .cosnx . x; n = 0, 1, 2, ....
p 0

1 2p
(2) bn = f H xL .sen nx . x; n = 0, 1, 2, ....
p 0

Puede observarse que los coeficientes calculados con frmulas (2) y (3), dado la
periodicidad del integrando, tambin pueden ser calculados integrando sobre
cualquier intervalo de longitud 2.
p
En prctica usaremos:
-p

Los coeficientes calculados con (2) y (3) reciben el nombre de coeficientes de

Fourier de la funcin f(x).
El hecho de que la serie (1) sea la serie de Fourier de la funcin f(x) se indica de la
siguiente manera:

a0
f H xL ~ + an .cosnx + b n .sen nx (4)
2 n:1

y nicamente podr sustituirse ~ por = cuando la serie del segundo miembro sea
convergente, y su suma sea la funcin f(x). En tal caso se dir que la funcin esta
desarrollada en serie de Fourier para ciertos valores del intervalo.
Para analizar esto, se han establecido condiciones.

Condicin suficiente para que una serie trigonomtrica sea la serie de Fourier
de f(x):
Supongamos que f(x) es una funcin peridica de perodo 2 y que f(x) esta
representada por la serie (4). Si dicha serie es integrable trmino a trmino sobre el
intervalo [-, ] y tambin son integrables trmino a trmino las series de ellas
multiplicndolas por sen nx y cos mx respectivamente, entonces la serie (4) es la
serie de Fourier de la funcin f(x).
Bajo la hiptesis de integrabilidad que hemos denotado que los coeficientes an y bn
de (4) son calculados con la frmula (2) y (3) de acuerdo con la definicin de serie
de Fourier, se parte de la (4) y se integra trmino a trmino se llega a an y bn.
Para demostrarlo integraremos miembro a miembro la serie (4).

a0
f H xL . x = . x + B b n.sen nx. xF
p p p p
an.cosnx. x +
-p -p 2 n:1 -p -p

= 0 por propiedad anterior para todo n

a0
f H xL . x =
p
.2 p
-p 2

a0 1
=B .xF f H xL . x
p

p
a0 = (5)
2 -p p -p

5
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

Multipliquemos miembro a miembro la (4) por sen mx m: 1,2,3,

a0
f H xL.sen mx = .sen mx + an .cosmx .sen mx + b n.sen nx .sen mx
2 n= 1

Integramos miembro a miembro la expresin anterior

f H xL .sen mx . x =
p

-p

a0
sen mx . x + Ban cosmx .sen mx x + an sen nx .sen mx . xF
p p p
=
2 -p
n:1 -p -p

= 0 para todo m 0 = 0 para todo m = 0 si n m

= si n = m
1
f H xL .cosmx . x
p
f H x L .sen mx . x = b m.p
p

b m= m = 1, 2, 3, ... (6)
-p p -p

Para obtener los coeficientes am multiplicamos miembro a miembro la (4) por cos mx
y luego integramos entre y . As tenemos:
1 p
am= f H xL .cosmx . x m = 1, 2, 3, ... (7)
p -p
con lo que queda demostrado que las frmulas (5), (6) y (7) son los coeficientes de
la serie (4) y tambin son los coeficientes de Fourier de la funcin f(x).

Convergencia de la serie de Fourier:

Antes hemos demostrado condiciones slo suficientes, el problema que planteamos
ahora es el siguiente: ante qu condiciones f(x) es tal que su serie de Fourier es
convergente y representa la funcin?
Se han enunciado diversos criterios para determinar la convergencia de Fourier. El
ms general y til es el denominado Criterio de Convergencia de Dirichlet, que
dice: Sea f(x) una funcin acotada de perodo 2 tal que en un intervalo cualquiera
de longitud igual al perodo 2, tiene un nmero finito de mximos y mnimos, y un
nmero finito de discontinuidades. Entonces su serie de Fourier converge para todo
valor real de x; su suma es igual a f(x) en los puntos de continuidad de f(x); y su
suma es igual a la semi-suma de lmites laterales en los puntos de discontinuidad.
Se puede observar que por ser acotada la funcin f(x) y tener en un intervalo finitas
discontinuidades, entonces esas discontinuidades necesariamente deben ser finitas.
Es decir en esas discontinuidades f(x) tiene lmite laterales distintos.
Por ejemplo:
f(x) = |x| -<x< f(x) = f(x + 2 )

x si 0 < x p
x= :
- x si - p x 0

6
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

X
- 2 3 4
T = 2

como f(x) es continua para todo x, entones Serie de Furrier es convergente a f(x)
para todo x.

a0
f H xL = + an .cosnx + bn .sen nx, para todo x
2 n:1

1
f H xL .cosnx . x
p
an = n :0, 1, 2, ....
p -p

1
f H xL .sen nx . x
p
bn = n :1, 2, ....
p -p

1 0 1 p
an = - x .cosnx . x + x .cosnx . x
p -p p 0

1 sen nx 0 sen nx 1 sen nx sen nx

:B x F x> + :B x F - x> =
p p
=- -
p n -p n p n 0 0 n

1 p 1 0 1 p 1 p
=- :- sen H- np L + @cosnxD >+ : sen np + @cosnxD > =
p n n2 -p p n n2 0

cero cero
x cosnx x
1 1 1 1
=- @cos0 - cos H- np LD + @cosnp - cos0 D =
p n2 p n2 Por Parte

1 cosnp cos np 1 u v = u.v - v. u

=- + + - =
n2 p p n2 n2 p n2 p u= x u= x
v = cosnx . x
2 2 cosnp sen nx
=-
n2 p
+
n2 p
para todo n 0 v = cosnx x =
n
1 1 0 1
f H xL x =
p p
a0 = -x . x + x . x = p a0 = p
p -p p -p p 0

1 0 1 p
bn = - x .sen nx . x + x .sen nx . x = 0 bn = 0
p -p p 0

7
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

a0 an bn

i 2 .cosnp yz
+ jj-
p 2 2
f H xL = + z .cosnp - J cos np N .sen np
2 k n2 p n p {
2 n
n:1

para x=1
f(x)= {1} = 1

Serie de Fourier de funciones peridicas de perodo arbitrario T=2l

Sea f(x) = f(x+2l)
Para aplicar a estas funciones la teora anteriormente vista para funciones de
perodo 2 , efectuaremos un cambio de variable, el que conduce a una nueva
funcin tal que la nueva variable es de perodo 2.
lt (1)
x=
p

En efecto: lt
f H xL = f J N = Q HtL (2)
p
Mostremos que esta Q(t) es de perodo2
Q(t)=Q(t+2)
l Ht + 2 p L lt lt
Q Ht + 2 p L = f B F = fB + 2 lF
fJ N = Q Ht L
p p p

Luego: para la funcin Q(t) podemos usar los conceptos de Fourier para funciones
de perodo 2. a0
Podemos escribir
Q HtL ~ + an .cosnt + b n .sen nt
2 n:1
siendo sus coeficientes:

1
Q HtL .cosnt . t
p
an = n : 0, 1, 2, 3...
p -p

1
Q HtL .sen nt . t
p
bn = n : 1, 2, 3...
p -p

px p t= p x= l
f H t L = f H x L = Q Ht L t= t= . t : > Extremos
l l t = - p x = -l

a0 npx npx
f HtL ~ + an .cos + b n .sen
2 l l (6)
n:1

8
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

nt dt

1 npx p
f H xL .cos
l
an = . . x
p -l l l

1 cosnpx
f H xL .
l (7)
an = . x n :0, 1, 2...
p -l l

nt dt

1 npx p
f HtL .sen
p
bn = . . x
p -p l l

1 npx
f H xL .sen
l (8)
bn = . x n :1, 2...
p -l l

(6)
serie de Fourier de la funcin f(x) de perodo arbitrario T = 2l se sus

coeficientes son calculados por (7) y (8).

Series de Fourier de funciones pares e impares.

Cuestiones previas:
Y
Definicin de f(x) par sobre [-l,l]:
f(x) es par para el [-l,l] si y slo si: f(x)=f(-x)

La grfica tiene simetra respecto del eje y:

X
-l -x x l

Definicin de f(x) impar sobre [-l,l]:

f(x) es impar sobre [-l,l] si y slo si: f(x)= - f(-x) para todo x perteneciente a [-l,l]

Se grfica tiene simetra respecto al origen de Y

coordenadas:

-l -x
X
x l

9
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

Propiedades de las funciones pares e impares:

Y
1) Integral definida de una funcin par sobre [-l,l]:

f H xL . x = 2 . f H xL . x
l l

-l l
X Si f(x) es par sobre [-l,l]
-l 0
entonces:
Y

2) Integral definida de una funcin impar sobre [-l,l]:

f H xL . x = 0
l
Si f(x) es impar sobre [-l,l] entonces: -l
-l X
l
3) El producto de dos funciones pares y el de dos funciones
impares es siempre una funcin par sobre el intervalo.

a) Si f(x) es par, y g(x) es par sobre [-l,l]

F(x) = f(x).g(x) = f(-x).g(-x) = F(-x)
F(x) es par

b) Si f(x) es impar, y g(x) es impar sobre [-l,l]

F(x)=f(x).g(x)
F(-x) = f(-x).g(-x) = [-f(x)].[-g(x)] = f(x).g(x) = F(x)
F(x) es par sobre [-l,l]

4) El producto de una funcin par por una impar siempre es una impar sobre dicho
intervalo.
Si f(x) es par, y g(x) es impar sobre [-l,l]
F(x) = f(x).g(x)
F(-x) = f(-x).g(-x) = f(x).[-g(x)] = -f(x).g(x) = -F(x)

Serie de Fourier de una funcin par:

Si f(x) es par sobre [-l,l], entonces le corresponde una funcin cosenoidal de la
siguiente forma con T = 2l.

npx
f H xL ~ a0 + an .cos
n:1 l

2 l npx
Siendo sus coeficientes: an = f H xL .cos x n :0, 1, 2...
l 0 l

Series de funciones impares:

Si f(x) es impar sobre [-l,l], entonces le corresponde una funcin senoidal de la
siguiente forma:

npx
f H xL ~ b n .sen
n:1 l

2 l npx
y sus coeficientes: bn = f H xL .sen x n :1, 2...
l 0 l

10
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

Demostracin para f(x) par:

f(x) = f(x+2l) y f(x) es par en [-l,l].

a0 npx
H) f H xL ~ + an .cos
2 n=1 l

2 l npx
T) an = f H xL .cos . x; n :0, 1, 2...
l -l l

como por H) f(x) es peridica de perodo 2l, la serie de Fourier que le corresponde
es:
a0 npx npx
(1) f H x L ~ + an .cos + b n. sen
2 n=1 l l

1 l npx
(2) an = f H xL .cos . x; n :0, 1, 2...
l -l l

1 l npx
f H xL .sen
(3) bn = . x; n :0, 1, 2...
l -l l

como por H) f(x) es par. Se observamos los integrando de la frmula (2) y (3)

npx npx npx

f H xL .cos es par en @- l, lD f H xL .cos . x = 2 . f H xL .cos
l l
. x
l -l l 0 l

reemplazamos en (2)
2 l npx
an = f H xL .cos . x; n :0, 1, 2... (4)
l -l l

en (3)

npx npx
f H xL .sen es una funcin impar f H xL .sen
l
. x = 0
l -l l

reemplazamos en (3)
1
bn = .0 = 0 para todo n = 1,2,3 (5)
l

con (4) y (5) reemplazamos en (1)

a0 npx
f H xL ~ + an .cos
2 n=1 l

11
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

Serie de Fourier de f(x) impar:

H) f(x) = f(x+2l) y f(x) es impar en [-l,l]

npx
T) f H xL ~ b n.sen
n:1 l

2 l npx
bn = f H xL .sen . x n : 0, 1, 2...
l 0 l

Demostracin T = 2l
(1), (2) y (3) son vlidas para esta demostracin.
Como f(x) por H) es impar: impar

npx
f H xL .cos
l
npx
en (2) f H x L .cos es impar en [-l,l]

-l l
. x =
l
npx
= 2 f H xL .sen
l
. x
par impar 0 l
2 l npx
reemplazamos en (3) bn = f H xL .sen . x = para todo n = 1,2,3
l 0 l

npx
con (4) y (5) en (1) f H xL ~ b n.sen (6) (6)
n:1 l

Casos particulares:

(I) f(x) = f(x+2l); f(x) par en [-,] T = 2

a0
T) f H xL ~ + an .cosnx
2 n=1

2 p
an = f H xL .cosnx . x; n :0, 1, 2...
p 0

(II) f(x) = f(x+2l); f(x) impar en [-,] T = 2

T) f H xL ~ b n .sen nx
n=1

2 p
bn = f H xL .sen nx . x n : 1, 2...
p 0

12
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

Desarrollos de medio rango:

X
-l 0 l

f(x) definida slo en el intervalo [0,l]

Demostraremos que una funcin definida as, que es seccionalmente continua, de

0 a l le corresponde tanto una serie cosenoidal de Fourier como una serie
senoidal de Fourier en todo ese intervalo.

(I) Desarrollo de f(x) definida en [0,l], seccin continua en [0,l] en la serie

senoidal de Fourier.
Efectuamos una extensin peridica de f(x) a partir del intervalo [0,l], sobre el [-l,0]
siendo esa extensin impar. Grficamente:

X
-2l -l 0 l 2l 3l

f(x) ; 0 < x < l

F(x) F(x) = F(x + 2l)
-f(-x) ; -l < x < 0

F(x) por ser peridica e impar le corresponde:

npx
F H xL ~ b n .sen (1)
n=1 l

2 l npx
bn = f H xL .sen . x n : 1, 2...
l 0 l

Como segunda parte demostraremos que le corresponded una serie cosenoidal.

13
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

(II) Desarrollo de f(x) definida en [0,l], seccin continua en [0,l] en la serie

cosenoidal de Fourier.
Para obtenerlo efectuamos una extensin peridica par de f(x) a partir del intervalo
[0,l] sobre el intervalo [-l,0].

X
-2l -l 0 l 2l 3l

f(x) ; 0 < x < l

F(x) F(x) = F(x + 2l) F(x) par en [-l,l]
f(-x) ; -l < x < 0

por ser peridica par le corresponde:

a0 npx
F H xL ~ + an . (1)
2 n=1 l

2 l npx
an = F H xL .cos . x; n :0, 1, 2...
l 0 l

En todos los puntos de continuidad F(x) le corresponde esa serie como F(x) = f(x)
en 0 < x < l.

a0 npx

F H xL ~ + an .cos 0<x<l
2 n=1 l

2 l npx
an = F H xL .cos . x
l 0 l

Ejemplo: obtener los desarrollos de medio rango de: f(x) = x 0<x<l

(I) Desarrollo en serie senoidal de Fourier:

Y

npx
f H xL = b n .sen
n=1 l
X
-4 -2 0 2 4
T = 2l = 4

2 l npx
bn = f H xL .sen . x
l 0 l
14
UTN
Matemtica para Ingeniera Electromecnica
UAR
 Series de Fourier

2 2 npx 2x npx 2 2 2 npx

bn = x .sen . x = B- .cos F + cos . x =
2 0 2 np 2 0 np 0 2

4 22 npx 2
=- . cosnp + B .sen F =
np n2 p 2 2 0

4 22 npx 2 4 4
=- . cosnp + B .sen F = =- . cosnp + .sen np =
np n2 p 2 2 0 np n2 p 2

4 0
bn = - . cosnp
np

La serie que le corresponde es:

4 npx para todo x tal que 0 < x < 2
f H xL = - .cos np .sen cos n = 1 para todo n = 1,2,
n=1 np 2

4 px 2 1 3 px
f H xL = .sen - .sen px + .sen - ...
p 2 p 3p 2

para x = 1

4 p 2 4 3p
1= .sen - .sen p + .sen - ...
p 2 p 3p 2

(II) Desarrollamos en serie cosenoidal de Fourier:

npx
a0 npx v= x v = cos x
f H xL = + an .cos ; 0< x<2 2
2 n=1 l
2 npx
2 l npx dv = dx v= .sen
an = f H xL .cos . x; n = 0, 1, 2... np 2
l 0 l

2 2 npx 2x npx 2 2 2 npx

an = f H xL .cos . x = B .sen F = sen . x =
2 0 2 np 2 0 npx 0 2

4 22 npx 2 4 4
=B .sen 2 p + .cos F = .cosnp - .cos0 para todo x 0
np n2 p 2 2 0 2
n p 2 n p2
2

2 2 2 2 x2 2
a0 = f H xL . x = x . x = B F = 2
l 0 2 0 2 0

2 4 npx
f H xL = + Hcosnp - 1L .cos
para todo x tal que 0 < x < 2
2 n=1 n2 p 2 2
15
UTN
Matemtica para Ingeniera Electromecnica
UAR