Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Series de Fourier
Series de Fourier
Series de Fourier
CAPTULO 12
Contenidos
12.1 Funciones Ortogonales
12.2 Series de Fourier
12.3 Series de Fourier de Cosenos y
Senos
12.4 Series d eFourier Complejas
12.5 Problema de Sturm-Liouville
12.6 Series de Bessel y Legendre
12.1 Funciones Ortogonales
DEFINICIN 12.1
Productos Interiores de Funciones
El producto interior de dos funciones f1 y f2 en
intervalo [a, b] es elb nmero
( f1, f 2 ) f1 ( x) f 2 ( x)dx
a
DEFINICIN 12.2
Funciones Ortogonales
Dos funciones f1 y f2 son ortogonales en un
intervalo [a, b] si
b
( f1 , f 2 ) f1 ( x) f 2 ( x) dx 0
a
Ejemplo
Las funciones f1(x) = x2, f2(x) = x3
son ortogonales en el intervalo [1,
1] puesto que
1 2 1 6
1
( f1 , f 2 ) x x d x
3
x 0
1 6 1
DEFINICIN 12.3
Conjunto Ortogonal
Se dice que un conjunto de funciones de valores
{0(x), 1(x), 2(x), } es ortogonal en un inter
si
b
(m , n ) m ( x), n ( x) dx 0, m n (2)
a
Conjuntos Ortonormales
c0 (0 , m ) c1 (1 , m ) cn (n , m )
Como {n(x)} es un conjunto ortogonal en
[a, b], cada trmino en el lado derecho es
nulo, excepto m = n. En este caso
tenemos
b b
a f ( x)n ( x)dx cn (n ,n ) cn n ( x)dx
2
a
b
f ( x)n ( x)dx
cn a b , n 0,1,2,...
a n ( x)dx
2
En otras palabras,
f ( x) cnn ( x), (7)
n 0
b
cn
a
f ( x)n ( x) dx
(8)
|| n ( x) ||
2
cn
a
f ( x) w( x)n ( x) dx
(10) || n ( x) ||2
b
(11) || n ( x) || w( x)n2 ( x) dx
2
a
Conjuntos Completos
Un conjunto ortogonal es completo
si la nica funcin ortogonal continua
a cada miembro del conjunto es
funcin nula.
12.2 Series de Fourier
Una Serie Trigonomtrica
Podemos demostrar que el conjunto
2 3 2 3
1, cos (1)
x , cos x , cos x , , sin x , sin x , sin x ,
p p p p p p
es orthogonal en [p, p]. As una funcin
f definida en [p, p] puede escribirse
como
a0 n n
f ( x) an cos x bn sin x
2 n1 p p
(2)
Ahora calculamos los coeficientes.
p a0 p
p n p n
p dx an cos
f ( x)dx(3) xdx bn sin xdx
2 p n 1
p p p p
Como cos(nx/p) y sin(nx/p) son
ortogonales a 1 en este intervalo,
entonces (3) se transforma en p
p a0 p a0
p f ( x)dx 2 p dx 2 x p pa0
As tenemos 1 p
a0 f ( x)dx
p p
(4)
Adems,
p m
p f ( x) cos p xdx
a0 p m (5)
cos xdx
2 p p
p m m p m n
n p p
a cos x cos
p
x dx bn p cos
p
x sin
p
x dx
n 1
p m n 0, m n (7)
p sin p x sin p x dx p, m n
DEFINICIN 12.5
Series de Fourier
La serie de Fourier de una funcin f definida e
intervalo (p, p) se determina mediante
a0 n n
f ( x) (an cos x bn sin x) (8)
2 n1 p p
donde
1 p
a0 f ( x) dx (9)
p p
1 p n
an f ( x) cos x dx (10)
p p p
1 p n (11)
bn f ( x) sin x dx
p p p
Ejemplo 1
0, x 0
Desarrolle f ( x)
(12) x, 0 x
cos n 1 1 (1) n
n
2
n2
Ejemplo 1 (3)
De (11) tenemos
1 1
bn ( x ) sin nxdx
0 n
Po tanto
1 (1) n 1
f ( x) cos nx sin nx
4 n1 n 2
n
(13)
Fig 12.1
TEOREMA 12.1
Condiciones de Convergencia
Sean f y f continuas por partes en el intervalo (p, p); e
sean f y f continuas excepto en un nmero finito de pun
el intervalo y discontinuidades finitas slo en estos punt
Entonces al serie de Fourier de f en el intervalo converg
en un punto de continuidad. En un punto de discontinuid
serie de Fourier converge al promedio
f ( x ) f ( x )
2
donde f(x+) y f(x ) denotan el limite de f en x por la d
por la izquierda, respectivamente.
Ejemplo 2
La funcin f en el Ejemplo 1, es
continua en (, ) excepto en x = 0.
As que la serie (13) converge a
f (0 ) f (0 ) 0
2 2 2
en x = 0.
Extensin Peridica
Fig 12.2 es la extensin peridica de
la funcin f del Ejemplo 1. As que la
discontinuidad en x = 0, 2, 4,
converge af (0) f (0)
2 2
y en x = , 3, converge a
f ( ) f (0)
0
2
Fig 12.2
Ch12_29
Secuencia de Sumas
Parciales
Secuencia de Sumas Parciales
Para (13), escribimos las sums
parciales
como 2
S1 , S2
cos x sin x,
4 4
2 1
S3 cos x sin x sin 2 x
4 2
Fig 12.3.
Fig 12.3
12.3 Series de Fourier de Coseno y
Seno
Funciones Pares e Impares
Entonces
L2 4 L2 (1) n n
f ( x) 2 2 cos x (8)
3 n1 n L
Ejemplo 3 (3)
(b)
2 L 2 n 2 L2 (1) n1 4 L2
bn x sin x dx 3 3 [(1) n 1]
L 0 L n n
De ah que
2 L2 (1) n1 2 n
f ( x)
n1
n n
n
3 2 [(1) 1] sin
L
x (9)
Ejemplo 3 (4)
(c) Con p = L/2, n/p = 2n/L, tenemos
2 L 2 2 2 2 L 2 2n L2
a0 x dx L , an x cos xdx 2 2
L 0 3 L 0 L n
2 L 2 2n L2
bn x sin xdx
L 0 L n
Por tanto
L2 L2 1 2 n 1 2 n
f ( x) 2 cos x sin x
3 n1 n L n L (10)
La grfica de esta extensin se muestra en
la Fig 12.14.
Fig 12.14
Fuerza Impulsora Peridica
Considere el siguiente sistema fsico
2
(11) d x
m 2 k x f (t )
dt
donde
n
x p (t ) Bn sin t
(12) n 1 p
(13) 2 n 1
1d x 2(1)
2
4x sin n t
16 dt n 1 n
Ejemplo 4 (1)
Para hallar la solucin particular xp(t),
sustituimos (12) en (13). As
1 2 2 2(1) n1
( n 4) Bn
16 n
32(1) n1
Bn
n(64 n 2 2 )
Por tanto
32(1) n1
(14) x p (t ) sin nt
n 1 n(64 n )
2 2
12.4 Series de Fourier
Complejas
Formula de Euler
eix = cos x + i sin x
e-ix = cos x i sin x
(1)
Series de Fourier Complejas
De (1), tenemos
eix e ix eix e ix
cos x , sin x (2)
2 2i
Usando (2) para remplazar cos(nx/p) y
sin(nx/p), se tiene
a0 ein x/p e in x/p ein x/p e in x/p
an bn
2 n1 2 2
a0 1 1
(an ibn )e in x/p
(an ibn )e in x/p
2 n1 2 2
(3)
c0 cne in x/p
cne in x/p
n 1 n 1
donde c0 = a0/2, cn = (an ibn)/2, c-n =
(an + ibn)/2. Donde la funcin f es real,
cn y c-n son nmeros complejos
conjugados.
Tenemos 1 1 p
c0 f ( x) dx
2 p p
(4)
1
cn ( an ibn )
2
1 1 p n 1 p n
f ( x) cos x dx i f ( x) sin x dx
2 p p p p p p
1 p n n
2 p p
f ( x) cos
p
x i sin
p
x dx
1 p
f ( x)e in x / p dx
2 p
(5)
1
cn (an ibn )
2
1 1 p n 1 p n
f ( x) cos x dx i f ( x) sin x dx
2 p p p p p p
1 p n n
2 p p
f ( x) cos
p
x i sin dx
p
1 p
f ( x)ein x / p dx
2 p
(6)
DEFINICIN 12.7
Series de Fourier Compleja
Las Series de Fourier Complejas de funcin f
en un intervalo (p, p) estn dadas por
f ( x) n
c e in x / p
(7)
n
donde 1 p in x / p
cn
2 p p
f ( x ) e dx, n 0, 1, 2, (8)
Si f satisface la hoptesis del
Teorema 12.1, una serie d eFourier
compleja converge a f(x) en un punto
de continuidad
f ( x )y al
f ( xpromedio
)
2
en un punto de discontinuidad.
Ejemplo 1
Desarrolle f(x) = e-x, < x <, en una
serie de Fourier compleja.
Solucin
con p = , (8) se obtiene
1 1
x inx
cn e e dx e (in1) x dx
2 2
1
[e (in1) e(in1) ]
2 (in 1)
Ejemplo 1 (2)
Empleando la frmula de Euler
e (in1) e (cos n i sin n ) (1) n e
e(in1) e (cos n i sin n ) (1) n e
De ah se tiene que
n ( e e ) n sinh 1 in
cn (1) (1) (9)
2(in 1) n2 1
Ejemplo 1 (3)
Entonces la serie de Fourier compleja
es sinh n 1 in inx
f ( x)
(1) 2
n 1
e
n
(10)
Fig 12.17.
Fig 12.17
Ejemplo 3
Halle el espectro de la onda mostrada en
Fig12.18. La onda es la extensin peridica
de la funcin f:
0, 12 x 14
f ( x) 1, 14 x 14
0, 1 x 1
4 2
Ejemplo 3 (2)
Solucin
Aqu T = 1 = 2p so p = . Como f es 0 en
(, ) y (, ), (8) se transforma en
12 2inx 14 2 inx
cn f ( x )e dx (1)e dx
1 2 1 4
e 2inx 1 4 1 ein / 2 e in / 2
2in 1 4 n 2i
1 n
cn sin
n 2
Ejemplo 3 (3)
Es fcil de comprobar que
14 1
c0 dx
1 4 2
(1)y y 0 , y ( 0) 0 , y ( L) 0
(2)y y 0 , y(0) 0 , y( L) 0
d
(21) [(1 x 2 ) y] n(n 1) y 0
dx
b ( x ) / a ( x ) dx b( x) b ( x ) / a ( x ) dx d b ( x ) / a ( x ) dx
e Y ' e Y ... e Y ...
a( x) dx
En resumen, (22) puede transformarse en
( b / a ) dx b( x) (b / a ) dx
e y" e y'
a( x)
c( x) (b / a ) dx d ( x) (b / a ) dx
e e y0 (23)
a( x) a( x)
Adems, (23) es la misma que (3)
d (b / a ) dx (b / a ) dx d ( x) (b / a ) dx
e y ' e e y 0
dx a ( x)
( b / a ) dx ( b / a ) dx d ( x) (b / a ) dx
donde r ( x) e , q( x) e , p( x) e
a( x)
Ejemplo 3
En la Sec 5.3, vimos que la solucin
general de al ecuacin diferencial
paramtrica
x 2y" xyde
'(Bessel
x n 2 ) y 0, n 0, 1, 2, ...
2 2
As b
(24)0 xJ n (i x ) J n ( j x ) dx 0, i j ,
donde ci
0
x J n ( i x) f ( x) dx
(3) J n ( i x)
2
La norma cuadrada Jn(ix) se define
mediante 2 b
J n ( i x) xJ n2 ( i x)dx
0
(4)
0 xy dx xy'
2 b 2 2 b
2 2
( x n ) y
2 2 2
0
2b 2 [ J n (b)]2 ( 2b 2 n 2 )[ J n b)]2 ,
donde y = Jn(x).
Ahora se consideran tres casos de (1).
Caso I: Si se elige A2 = 1 y B2 = 0, entonces
(1) es J n (b) 0
(8)
Hay un nmero infinito de races positivas xi =
ib de (8) (see Fig 5.3), que definen i = xi/b.
Los valores propios son positivos y i = i2 =
(xi/b)2.
De las races negativas de (8) no resulta
ningn nuevo valor propio puesto que Jn(x) =
(1)nJn(x).
El nmero 0 no es un valor propio de
para ningn n puesto que Jn(0) = 0, n=
1, 2, 3, y J0(0) = 1.
Cuando (6) se escribe como xJn(x) =
nJn(x) xJn+1(x),2deb 2(7)2 y (8) se deduce
|| J n i ( x) || J n1 ( ib).
2
(9)
Caso II: Si se elige A2 = h 0 y B2 = b,
entonces (1) es
(10) hJ n (b) bJ n (b) 0.
Hya un nmero infinito de races positvas xi
= ib para n = 1, 2, 3, . Como antes, i =
i2 = (xi/b)2.
= 0 no es un valor propio para n = 1, 2, 3,
. Sustituyendo ibJn(ib) = hJn(ib) en (7),
se tiene
2 2
b n 2
h 2
|| J n ( i x) ||
2 i
J n ( ib).
2
(11) 2 i2
Caso III: Si h = 0 y n = 0 en (10), i se
definen da las races
J 0 ( b) 0 (12)
Aunque (12) es slo un caso especial de
(10), es la nica solucin para la cual
= 0 es un valor propio. Para n = 0, el
resultado en (6) implica que J0(b) =
0 es equivalente a J1(b) = 0.
Como x1 = 1b = 0 es una raz de la ltima
ecuacin y puesto que J0(0) = 1 no es trivial,
deducimos de 1 = 12 = (x1/b)2 que 1 es un
valor propio. Pero no podemso utilizar (11)
cuando 1 = 0, h = 0, n = 0, y n = 0. Sin
embargo de (4) tenemos
2
b b
(13) || 1 ||2 x dx
0
Para i > 0 podemos usar (11) 2 con h = 0 y n
= 0:
2
b 2
(14) || J 0 ( i x) || J 0 ( ib).
2
2
DEFINICIN 12.8
Serie de Fourier-Bessel
La serie de Fourier-Bessel de una funcin f d
el intervalo (0, b) se expresa mediante
(i)
f ( x ) ci J n ( i x)
i 1 (15)
2 b
ci 2 2
b J n1 ( ib) 0
x J n ( i x) f ( x) dx
(16)
donde i se definen mediante Jn(b) = 0.
(continuacin)
DEFINICIN 12.8
Serie de Fourier-Bessel
(ii)
f ( x ) ci J n ( i x)
i 1
(17)
2 2
b
ci 2 2 i
( i b n h ) J n ( ib)
2 2 2 0
x J n ( i x) f ( x) dx (18)
(iii)
f ( x) c1 ci J 0 ( i x) (19)
i 2
2 b 2 b
c1 2 x f ( x) dx, ci 2 2 x J 0 ( i x) f ( x) dx (20)
b 0 b J 0 ( ib) 0
2 1 2 0 2 16
9 1 9 1 1
c4 f ( x) P4 ( x)dx 1 (35 x 4 30 x 2 3)dx 0
2 1 2 0 8
11 1 11 1 1 11
c5 f ( x) P5 ( x)dx 1 (63x 70 x 15 x)dx
5 3
2 1 2 0 8 32
De ah que
1 3 7 11
f ( x) P0 ( x) P1 ( x) P3 ( x) P5 ( x) ...
2 4 16 32
Vase Fig 12.22.
Fig 12.22
Otra Forma de la Serie
Si se establece x = cos , x = 1 implica
que = 0, x = 1 implica que = .
Como dx = sin d, (21) y (22) se
transforma, respectivamente,
en
F ( ) cn Pn (cos )
n 0 (23)
2n 1
cn
2 0 F ( ) Pn (cos ) sin d ,
(24)