TEMA 3
Series de Fourier
Motivacin y definicin de la serie de Fourier. Ortogonalidad de
las funciones de Fourier y Base de Fourier. Coeficientes de
Fourier.
Definicin 3.1
f ( x )f
1
( x )dx 0
Definicin 3.2
Al nmero positivo n ( x )
2
n
11dx dx x
(p ( p)) 2p 0
nx
nx
p
nx
p1 cos p dx pcos p dx n sen p
p
1 cos
p
np
n(p) p
sen
sen
(sen (n) sen ( n))
n
p
p n
nx
dx 0
p
63
nx
nx
p
nx
p1 sen p dx psen p dx n cos p
p
np
n( p)
p
cos
(cos(n) cos( n))
cos
n
p
p
n
como la funcin coseno es par
p
p
nx
p1 sen p dx n (cos(n) cos(n))
1 sen
nx
dx 0
p
cos
nx
mx
con cos
p
p
nx
mx
cos
dx
p
p
cos
cos
cos
p
p
p
2 p
p
p
tenemos
p
p
nx mx
nx
mx
1 nx mx
cos
dx
cos
cos
dx
cos
p p
p
2
p
p
p
p
p
p
p
nx mx
nx mx
1
dx cos
dx
cos
2 p p
p
p
p
p
p
p
1
(n m)x
(n m)x
cos
dx
cos
dx
p
2 p
p
p
si n = m
p
cos
p
p
nx
nx
1
(n n )x
(n n )x
dx cos
dx cos
dx
cos
p
p
2 p
p
p
p
p
p
p
1 p
1
2nx
2nx
p
dx 1dx
sen
cos
x p
2 p
p
p p
p
2 2n
1 p
2np
2n(p)
sen
(p ( p))
sen
2 2n
p
p
1 p
sen (2n) sen (2n) 2p
2 2n
64
cos
nx
nx
cos
dx p 0
p
p
si n m
p
p
nx
mx
1
(n m)x
(n m)x
cos
cos
dx
cos
dx
cos
dx
p
2 p
p
p
p
p
1
p
(n m)x
p
(n m)x
sen
sen
2 ( n m)
p
p
( n m)
p
p
(n m)p
(n m)( p)
sen
sen
2(n m)
p
p
cos
p
(n m)p
(n m)( p)
sen
sen
2(n m)
p
p
p
sen (n m) sen ((n m))
2(n m)
p
sen (n m) sen ((n m))
2(n m)
nx
mx
cos
dx 0
p
p
entonces
p
cos
0 si n m
nx
mx
cos
dx
p
p
p si n m
cos
nx
mx
con sen
p
p
nx
mx
sen
dx
p
p
sen
cos
sen
p
p
2 p
p
p
p
tenemos
p
p
nx mx
nx
mx
1 nx mx
dx
cos
sen
dx
sen
sen
p
2 p
p
p
p
p
p
p
p
nx
mx
1
(n m)x
(n m)x
cos p sen p dx 2 sen p sen p dx
p
p
si n = m
p
cos
nx
mx
1
(n n )x
(n n )x
sen
dx sen
sen
dx
p
p
2 p
p
p
65
cos
nx
mx
1
2nx
p
2nx
sen
dx sen
dx
cos
p
p
2 p
p
4n
p p
p
2np
2n( p)
p
cos
cos
(cos 2n cos(2n))
4n
p
p
4n
si n m
p
cos
nx
mx
1
(n m)x
(n m)x
sen
dx sen
sen
dx
p
p
2 p
p
p
1
p
(n m)x
cos
2 ( n m)
p
p
(n m)x
cos
( n m)
p
p
1
p
(n m)p
(n m)( p)
cos
cos
2 ( n m)
p
p
1
p
(n m)p
(n m)( p)
cos
cos
2 ( n m)
p
p
1
p
cos(n m) cos((n m))
2 ( n m)
1
p
cos(n m) cos((n m))
2 ( n m)
nx
mx
1
p
pcos p sen p dx 2 (n m) cos(n m) cos(n m)
1
p
cos(n m) cos(n m)
2 (n m)
cos
nx
mx
sen
dx 0
p
p
sen
nx
mx
con sen
p
p
nx
mx
dx
sen
p
p
sen
sen
cos
p
p
2 p
p
p
p
66
tenemos
nx mx
nx
mx
1 nx mx
psen p sen p dx p 2 cos p p cos p p dx
p
1
(n m)x
(n m)x
cos
cos
dx
2 p
p
p
si n = m
p
nx
nx
1
(n n )x
(n n )x
psen p sen p dx 2 pcos p cos p dx
p
p
1
2nx
1 p
p
2nx
1 cos
dx x p
sen
2 p
p
2
2 n
p p
1
p
2np
2 n ( p )
sen
(p ( p))
sen
2
2n
p
p
1
p
sen 2n sen (2n)
2p
2
2 n
sen
nx
nx
sen
dx p
p
p
si n m
p
p
(n m)x
p
(n m)x
nx
mx
1
p
sen
sen p sen p dx 2 (n m) sen p
(
n
m
)
p
p
p
p
p
(n m)p
( n m ) ( p )
sen
sen
2( n m )
p
p
p
(n m)p
( n m ) ( p )
sen
sen
2( n m )
p
p
p
sen (n m) sen ((n m))
2( n m )
p
sen (n m) sen ((n m))
2( n m )
p
sen
nx
mx
sen
dx 0
p
p
f (x) C n n (x)
n 0
67
donde
b
Cn
f ( x )
( x )dx
n (x)
2x
2x
x
x
, cos
, ..., sen , sen
, ...,
p
p
p
p
es ortogonal en el intervalo p x p .
1, cos
Definicin 3.3
f (x)
a0
nx
nx
an cos
b n sen
p
p
2 n 1
donde
a0
f (x)dx ,
p p
an
nx
1
dx ,
f ( x ) cos
p
p p
bn
nx
1
dx
f ( x )sen
p
p p
a
n
n a
2 n 1
donde
1
1
1
a0 f ( x )dx ,
an f ( x ) cos nxdx ,
b n f ( x )sennxdx
calculamos los coeficientes
1
1
1
1
1
1 3 2 3
2
3
4
a0 2
3
68
an
2
( 2 x 2 ) cos nxdx
dv
cos nx
1
sennx
2x
n
1
2
2
n cos nx
1
3 sennx
0
n
1 1 2
2
2
2
an ( x )sennx 2 x cos nx 3 sennx
n
n
n
1 1 2
2
2
n
n
n
1 1 2
2
2
( () 2 )senn () 2 () cos n () 3
n
n senn ()
n
1 2
2
n
(
1
)
(1) n
2
2
n
n
4
an 2 (1) n
n
1
b n (2 x 2 )sen nxdx
integramos por partes
u
dv
2
2
sen
nx
x
1
cos nx
2x
n
1
2 sen nx
2
n
1
cos nx
0
n3
bn
1 1 2
2
2
n
n
n
1 1 2
2
2
n
n
n
1 1 2
2
2
n
n
n
1 2
2
3 (1) n 3 (1) n 0
n
n
69
2
4
f ( x ) 2 2 (1) n 1 cos nx
3
n 1 n
b) De la definicin del valor absoluto, la funcin la podemos reescribir como
x 2 , 1 x 0
f (x) x x 2
0 x 1
x ,
El perodo es p = 1, la serie de Fourier es
a
n
n a
a0 f ( x )dx ,
an f ( x ) cos nxdx ,
b n f ( x )sen nxdx
1 0 1 1
a0 f ( x )dx f ( x )dx f ( x )dx x 2dx x 2dx x 3 x 3
3 1 3 0
1
1
1
0
0
1 1
1
1
(0)3 (1)3 (1)3 (0)3 0
3 3
3
3
a0 0
1
dv
cos nx
1
sen nx
n
1
2 2 cos nx
n
1
3 3 sen nx
n
0
2
2
1
2
2
1
70
2
2
1
2
2
1
2
2
1
2
2
1
2
2
an 2 2 (1) n 2 2 (1) n
n
n
an 0
1
dv
sen nx
1
cos nx
2x
n
1
2 2 sen nx
2
n
1
cos nx
0
3 3
n
0
2
2
1 2
b n
x cos nx 2 2 xsen nx 3 3 cos nx
n
n
n
1
1
2
2
1 2
x cos nx 2 2 xsen nx 3 3 cos nx
n
n
n
0
2
2
1
2
2
1
n
n
n
2
2
1
2
2
1
2
1
2
1
2
2
b n 3 3 (1) n 3 3 (1) n (1) n 3 3 (1) n 3 3
n n
n
n
n
n
71
4
4
2
(1) n 3 3 (1) n
3
n
n n
As, la serie de Fourier de la funcin f ( x ) x x en el intervalo 1 x 1 es
bn
4
4
2
n 1 n
Convergencia
Teorema 3.1
En forma general, si se satisfacen las condiciones del teorema 3.1 la serie de Fourier
siempre converge a
f ( x ) f ( x )
2
Unicidad
Las condiciones de Dirichlet
72
f (t ) dt finita
T
2
Una funcin que satisface las condiciones de Dirichlet tiene una representacin nica.
impar si f ( x ) f ( x )
6)
Si f es par
f (x)dx 2 f (x)dx
a
7)
Si f es impar
f (x)dx 0
a
nx
f ( x ) 0 an cos
2 n 1
p
donde
p
p
2
2
nx
a0 f ( x )dx ,
an f ( x ) cos
dx
p0
p0
p
Ejemplo. Encontrar la serie de Fourier para la funcin f ( t ) par definida por
x
1 p , p x 0
f (t )
x
1 , 0 x p
p
Solucin
La funcin f ( t ) es par, entonces la serie de Fourier es:
73
f (x)
a0
nx
an cos
2 n 1
p
donde
p
p
2 x
2
x2
2
p2
(0) 2
1
0
a0 1 dx x p
p 0 p
p
2p 0 p
2p
2p
y
p
an
2 x
nx
1 cos
dx
p 0 p
p
dv
nx
cos
p
p
nx
sen
n
p
x
1
p
1
p2
nx
cos
2 2
n
p
p
2 x
nx
2 x p
nx
p
nx
dx 1 sen
an 1 cos
2 2 cos
p 0 p
p
p p n
p
n
p 0
p
2 p p
np
p
np
2 2 cos
1 sen
p p n
p
n
p
2 0 p
n(0)
p
n(0)
2 2 cos
1 sen
p p n
p
n
p
1
1
cos n 2 2
2 2
2n
2n
1
an 2 2 [1 (1) n ]
2n
la serie de Fourier es
1 1
nx
f ( x ) 2 2 [1 (1) n ] cos
2 n 1 2n
p
nx
f ( x ) b n sen
p
n 1
donde
p
2
nx
b n f ( x )sen
dx
p0
p
74
nx
f ( x ) b n sen
p
n 1
donde
p
2 x
nx
b n sen
dx
p0p
p
integramos por partes
u
dv
x
nx
sen
p
p
p
1
nx
cos
n
p
p
0
p2
nx
sen
2 2
n
p
p
2 x
nx
p
nx
b n
cos
2 2 sen
p n
p
n
p 0
2 p
np
p
np 2 0
n(0)
p
n(0)
cos
cos
2 2 sen
2 2 sen
p n
p
n
p p n
p
n
p
2
2
cos n (1) n
n
n
2
bn
(1) n 1
n
la serie de Fourier es
2
nx
f ( x ) (1) n 1 sen
p
n 1 n
3
a0 (1 x )dx x x 2 (2) 4 0 (0) 4 2
20
4 0
4
4
2
nx
an (1 x 3 ) cos
dx
20
2
integramos por partes
u
3
1 x
3x 2
6x
6
dv
nx
cos
2
2
nx
sen
n
2
4
nx
2 2 cos
n
2
8
nx
3 3 sen
n
2
16
nx
cos
4 4
n
2
an
2
nx
(1 x 3 ) cos
dx
20
2
2
nx
12
nx
48
nx
96
nx
2
4 4 cos
3 3 xsen
(1 x 3 )sen
2 2 x 2 cos
2
n
2
n
2
n
2 0
n
2
n(2) 12
n(2)
48
n(2)
96
n(2)
(1 (2)3 )sen
4 4 cos
3 3 (2)sen
2 2 (2) 2 cos
n
2
n
2
n
2
n
2
n(0) 12
n(0)
48
n(0)
96
n(0)
2
4 4 cos
3 3 (0)sen
(1 (0)3 )sen
2 2 (0) 2 cos
2
n
2
n
2
n
2
n
48
96
96
48
96
96
2 2 cos n 4 4 cos n 4 4 2 2 (1) n 4 4 (1) n 4 4
n
n
n
n
n
n
48
96
an 2 2 (1) n 4 4 (1) n 1
n
n
96
nx
48
n 1 n
b sen
n 1
nx
2
76
donde
2
2
nx
b n (1 x 3 )sen
dx
20
2
dv
nx
2
2
nx
cos
n
2
4
nx
2 2 sen
n
2
8
nx
cos
3 3
n
2
16
nx
sen
4 4
n
2
sen
3x 2
6x
6
0
2
bn
2
nx
(1 x 3 )sen
dx
20
2
2
nx 12 2
nx
48
nx
96
nx
2
(1 x 3 ) cos
2 2 x sen
3 3 x cos
4 4 sen
2
n
2
n
2
n
2 0
n
2
n(2) 12
n(2) 48
n(2) 96
n(2)
(1 (2)3 ) cos
2 2 (2) 2 sen
3 3 (2) cos
4 4 sen
n
2
n
2
n
2
n
2
n(0) 12
n(0) 48
n(0) 96
n(0)
2
(1 (0)3 ) cos
2 2 (0) 2 sen
3 3 (0) cos
4 4 sen
2
n
2
n
2
n
2
n
14
96
2 14
96
2
cos n 3 3 cos n
(1) n 3 3 (1) n
n
n
n n
n
n
2
96
bn
(1 7( 1) n ) 3 3 ( 1) n
n
n
La serie de Fourier en senos de f ( x ) 1 x 3 es
96
nx
2
n
n
k 1
0
77
Identidad de Parseval
Sea f una funcin seccionalmente continua en [L, L] y tal que f ' es tambin
seccionalmente continua en [L, L] . Si
a0
nx
nx
a n cos
b n sen
2 n 1
L
L
es la serie de Fourier de f, entonces
L
1
(a 0 ) 2
2
f
(
x
)
dx
(a n ) 2 ( b n ) 2
L L
2
n 1
se conoce como la identidad de Parseval
f (x)
e ix cos x isenx
despejamos el seno y el coseno
eix e ix
eix e ix
y cos x
2i
2
sustituimos en la serie de Fourier
nx
nx
nx
nx
i
i
i
i
nx
nx
p
p
p
i
i
e
e p a0 1
a0
e
1
e
p
p
an
bn
(
a
ib
)
e
(
a
ib
)
e
n
n
n
2 2 n
2 n 1
2
2i
2
n 1
senx
nx
i
i npx
c 0 c n e
c n e p
n 1
1
1
a
donde c0 0 , c n (an ib n ) y c n (an ib n ) . Los coeficientes a0 , an y b n son los
2
2
2
coeficientes de la definicin 3.3. Cuando la funcin f es real, c n y c n son complejos
conjugados y pueden escribirse tambin en trminos de las funciones exponenciales
complejas
c e
n
p
i
1
donde c n
f
(
x
)
e
2p p
nx
p
nx
p
dx , n 0, 1, 2,
78
Si f satisface la hiptesis del teorema 3.1 una serie compleja de Fourier converge hacia
f ( x ) en un punto de continuidad y hacia el promedio
f ( x ) f ( x )
en un punto de discontinuidad
2
donde f ( x ) y f ( x ) denotan el lmite de f en x de derecha a izquierda, respectivamente.
x
f (x)
c e
inx
donde
cn
1
1
1 x inx
1 x
1 x
e e
dx e e inx dx e e inx dx e x e inx dx e x e inx dx
2 1
20
2 1
2 1
20
0
1
1
1
1
1
e (in 1) x dx e(1 in ) x dx
e ( in 1) x
e(1 in) x
1
0
2 1
20
2(in 1)
2(1 in)
1
1
e ( in 1) 0 ein 1
e1 in e(1 in) 0
2(in 1)
2(1 in)
1
1
1
1
ein 1
e1 in
2(in 1) 2(in 1)
2(1 in)
2(1 in)
in 1 1 in
1 1
1
ein 1
e1 in
2(in 1)(1 in) 2 in 1
1 in
2
in 1
1 in
1
e cos n cos n
1
e cos n 1
1
2 2
2 2
1 n
2 in 1 1 in
1 n
2
in 1 1 in
1
e cos n 1 in in 1
1
e cos n 2
2 2
2 2
1 n 2 2
1 n
2
1 n
2
(in 1)(1 in)
1
1
1
1
e cos n
e(1) n
2 2
2 2
2 2
2 2
1 n
1 n
1 n
1 n
1
cn
(1) n e 1
2 2
1 n
1
(1) n e 1 einx
f (x )
2 2
n 1 n
79
Espectro de Amplitud
El espectro de amplitud de la serie de Fourier compleja de una funcin peridica es la
grfica de los puntos n0 , c n , en donde c n es la magnitud del coeficiente complejo c n y
80