Funciones Ortogonales y

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

El producto interior de dos funciones f
1
y f
2
en un
intervalo [a, b] es el nmero

DEFINICIN 12.1
Productos Interiores de Funciones
}
=
b
a
dx x f x f f f ) ( ) ( ) , (
2 1 2 1

Dos funciones f
1
y f
2
son ortogonales en un
intervalo [a, b] si

DEFINICIN 12.2
Funciones Ortogonales
0 ) ( ) ( ) , (
2 1 2 1
= =
}
b
a
dx x f x f f f
Ejemplo
Las funciones f
1
(x) = x
2
, f
2
(x) = x
3
son
ortogonales en el intervalo [1, 1] puesto que

0
6
1
) , (
1
1
6 3
1
1
2
2 1
= = =

}
x x d x x f f

Se dice que un conjunto de funciones de valores reales
{|
0
(x), |
1
(x), |
2
(x), } es ortogonal en un intervalo [a, b]
si
(2)

DEFINICIN 12.3
Conjunto Ortogonal
n m dx x x
b
a
n m n m
= = =
}
, 0 ) ( ), ( ) , ( | | | |
Conjuntos Ortonormales
La expresin (u, u) = ||u||
2
se llama norma
cuadrada. Por tanto podemso definir la norma
cuadrada de una funcin como

(3)

Si {|
n
(x)} es un conjunto ortogonal en [a, b]
con la propiedad de que |||
n
(x)|| = 1 para
todo n, entonces se llama conjunto
ortonormal en [a, b].
, ) (
2
2
}
=
b
a
n n
dx x | |
}
=
b
a
n n
dx x x ) ( ) (
2
| |
Ejemplo 1
Demuestre que el conjunto {1, cos x, cos 2x, }
es ortogonal en [t, t].
Solucin
Sea |
0
(x) = 1, |
n
(x) = cos nx, comprobamos que


0 , 0 sin
1
cos ) ( ) ( ) , (
0 0
= = =
= =

} }
n for nx
n
nxdx dx x x
n n
t
t
t
t
t
t
| | | |
Ejemplo 1 (2)
y
n m
n m
x n m
n m
x n m
dx x n m x n m
nxdx mx dx x x
n m n m
= =
(

+
+
+
=
+ + =
= =

}
} }
, 0
) sin( ) sin(
2
1
] ) cos( ) [cos(
2
1
cos cos ) ( ) ( ) , (
t
t
t
t
t
t
t
t
| | | |
Ejemplo 2
Determine la norma de cada funcin del Ejemplo 1.
Solucin
0 , || ||
) 2 cos 1 (
2
1
cos || ||
, cos
2 2
> =
= + = =
=
} }

n
dx nx nxdx
nx
n
n
n
t |
t |
|
t
t
t
t
t | t | |
t
t
2 2 , 1
0
2
0 0
= = = =
}

dx
Analoga con Vectores
Recordando de la teora de vectores en 3
dimensiones que
(4)
tenemos

(5)

As podemos hacer una analoga entre funciones y
vectores.

,
3 3 2 2 1 1
v v v u c c c + + =

=
= + + =
3
1
2
3
2
3
3
2
2
2
2
1
2
1
1
|| ||
) , (
|| ||
) , (
|| ||
) , (
|| ||
) , (
n
n
n
n
v
v
v u
v
v
v u
v
v
v u
v
v
v u
u
Desarrollo en Series Ortogonales
Suponga que {|
n
(x)} es un conjunto ortogonal en [a,
b]. Si f(x) est definida en [a, b], escribimos primero

(6)
Then
? ) ( ) ( ) ( ) (
1 1 0 0
+ + + + = x c x c x c x f
n n
| | |

+ + + + =
+ +
+ + =
}
} }
}
) , ( ) , ( ) , (
) ( ) (
) ( ) ( ) ( ) (
) ( ) (
1 1 0 0
1 1 0 0
m n n m m
b
a
m n n
b
a
m
b
a
m
b
a
m
c c c
dx x x c
dx x x c dx x x c
dx x x f
| | | | | |
| |
| | | |
|
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
,... 2 , 1 , 0 ,
) (
) ( ) (
) ( ) , ( ) ( ) (
2
2
= =
= =
}
}
} }
n
dx x
dx x x f
c
dx x c c dx x x f
b
a
n
b
a
n
n
b
a
n n n n n
b
a
n
|
|
| | | |
En otras palabras,

(7)


(8)

Entonces (7) se transforma en

(9)

=
=
0
), ( ) (
n
n n
x c x f |
2
|| ) ( ||
) ( ) (
x
dx x x f
c
n
b
a
n
n
|
|
}
=

=
=
0
2
) (
|| ) ( ||
) , (
) (
n
n
n
n
x
x
f
x f |
|
|
Bajo la condicin de la definicin anterior, tenemos

(10)

(11)

Se dice que un conjunto de funciones de valores reales
{|
0
(x), |
1
(x), |
2
(x), } es ortogonal con respecto a una
funcin peso w(x) en [a, b], si


DEFINICIN 12.4
Conjunto Ortogonal y Funcin Peso
n m dx x x x w
b
a
n m
= =
}
, 0 ) ( ) ( ) ( | |
2
|| ) ( ||
) ( ) ( ) (
x
dx x x w x f
c
n
b
a
n
n
|
|
}
=
}
=
b
a
n n
dx x x w x ) ( ) ( || ) ( ||
2 2
| |
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

(1)

es orthogonal en [p, p]. As una funcin f
definida en *p, p] puede escribirse como


(2)
)
`

,
3
sin ,
2
sin , sin , ,
3
cos ,
2
cos , cos , 1 x
p
x
p
x
p
x
p
x
p
x
p
t t t t t t

=
|
.
|

\
|
+ + =
1
0
sin cos
2
) (
n
n n
x
p
n
b x
p
n
a
a
x f
t t
Ahora calculamos los coeficientes.

(3)

Como cos(ntx/p) y sin(ntx/p) son ortogonales a 1
en este intervalo, entonces (3) se transforma en



As tenemos

(4)

} } } }

=

|
.
|

\
|
+ + =
1
0
sin cos
2
) (
n
p
p
n
p
p
n
p
p
p
p
dx x
p
n
b dx x
p
n
a dx
a
dx x f
t t
0
0 0
2 2
) ( pa x
a
dx
a
dx x f
p
p
p
p
p
p
= = =

} }
}

=
p
p
dx x f
p
a ) (
1
0
Adems,


(5)



por ortogonalidad tenemos

} }
}
}

|
.
|

\
|
+
+ =
1
0
sin cos cos cos
cos
2
cos ) (
n
p
p
n
p
p
n
p
p
p
p
dx x
p
n
x
p
m
b dx x
p
m
x
p
m
a
dx x
p
m a
dx x
p
m
x f
t t t t
t
t
0 sin cos
0 , 0 cos
=
> =
}
}

p
p
p
p
xdx
p
n
x
p
m
m xdx
p
m
t t
t
y


As (5) se reduce a


y por tanto

(6)

=
=
=
}

n m p
n m
xdx
p
n
x
p
m
p
p
,
0,
cos cos
t t
p a xdx
p
n
x f
n
p
p
=
}

t
cos ) (
}

=
p
p
n
dx x
p
n
x f
p
a
t
cos ) (
1
Finalmente, si multiplicamos (2) por sin(mtx/p)
y usamos




y


obtenemos que

(7)
0 sin sin
0 , 0 sin
=
> =
}
}

p
p
p
p
xdx
p
n
x
p
m
m xdx
p
m
t t
t

=
=
=
}

n m p
n m
xdx
p
n
x
p
m
p
p
,
0,
sin sin
t t
}

=
=
=
p
p
n m p
n m
dx x
p
n
x
p
m
,
, 0
sin sin
t t

La serie de Fourier de una funcin f definida en el
intervalo (p, p) se determina mediante

(8)
donde
(9)

(10)

(11)

DEFINICIN 12.5
Series de Fourier

=
+ + =
1
0
) sin cos (
2
) (
n
n n
x
p
n
b x
p
n
a
a
x f
t t
}

=
p
p
dx x f
p
a ) (
1
0
}

=
p
p
n
dx x
p
n
x f
p
a
t
cos ) (
1
}

=
p
p
n
dx x
p
n
x f
p
b
t
sin ) (
1
Ejemplo 1
Desarrolle (12)

en una serie de Fourier.
Solucin
La grfica de f se muestra en la Fig 12.1 con p = t.

< s
< <
=
t t
t
x x
x
x f
0 ,
0 , 0
) (
| |
2 2
1
) ( 0
1
) (
1
0
2
0
0
0
t
t
t
t
t t
t
t
t
t
t
=
(

=
+ = =
} } }

x
x
dx x dx dx x f a
Ejemplo 1 (2)
| |
t t
t
t
t
t
t
t
t
t
t
t
t
t
t
t
2 2
0
0
0
0
0
) 1 ( 1 1 cos
cos 1
sin
1 sin
) (
1
cos ) ( 0
1
cos ) (
1
n n
n
n
nx
n
dx nx
n n
nx
x
dx nx x dx
dx nx x f a
n
n

=
+
=
=
(

+ =
+ =
=
}
} }
}

cos nt = (-1)
n
Ejemplo 1 (3)
De (11) tenemos



Po tanto

(13)

n
nxdx x b
n
1
sin ) (
1
0
= =
}
t
t
t

= )
`

+

+ =
1
2
sin
1
cos
) 1 ( 1
4
) (
n
n
nx
n
nx
n
x f
t
t
Fig 12.1

Sean f y f continuas por partes en el intervalo (p, p); esto es,
sean f y f continuas excepto en un nmero finito de puntos en
el intervalo y discontinuidades finitas slo en estos puntos.
Entonces al serie de Fourier de f en el intervalo converge a f(x)
en un punto de continuidad. En un punto de discontinuidad, la
serie de Fourier converge al promedio


donde f(x+) y f(x) denotan el limite de f en x por la derecha y
por la izquierda, respectivamente.
TEOREMA 12.1
Condiciones de Convergencia
2
) ( ) ( + + x f x f
Ejemplo 2
La funcin f en el Ejemplo 1, es continua en
(t, t) excepto en x = 0. As que la serie (13)
converge a


en x = 0.
2 2
0
2
) 0 ( ) 0 ( t t
=
+
=
+ + f f
Extensin Peridica
Fig 12.2 es la extensin peridica de la funcin
f del Ejemplo 1. As que la discontinuidad en
x = 0, 2t, 4t, converge a


y en x = t, 3t, converge a
2 2
) 0 ( ) 0 ( t
=
+ + f f
0
2
) 0 ( ) (
=
+ + f f t
Ch12_29
Fig 12.2
Secuencia de Sumas Parciales
Secuencia de Sumas Parciales
Para (13), escribimos las sums parciales como





Fig 12.3.
x x x S
x x S S
2 sin
2
1
sin cos
2
4
, sin cos
2
4
,
4
3
2 1
+ + + =
+ + = =
t
t
t
t t
Fig 12.3










12.3 Series de Fourier de Coseno y Seno
Funciones Pares e Impares

par si f(x) = f(x)

impar si f(x) = f(x)

Fig 12.4 Funcin Par
Fig 12.5 Funcin Impar

(a) El producto de dos funciones pares es par.
(b) El producto de dos funciones impares es impar.
(c) El producto de una funcin par y uan funcin impar
es impar.
(d) La suma (diferencia) de dos funciones pares es par.
(e) La suma (diferencia) de dos funciones impares es
impar.
(f) Si f es par, entonces
(g) Si f es impar, entonces
TEOREMA 12.2
Propiedades de Funciones Pares
e Impares
0 ) (
) ( 2 ) (
0
=
=
}
} }

a
a
a a
a
dx x f
dx x f dx x f
Series de Cosenos y Senos
Si f es par en (p, p) entonces







De manera similar, si f es impar en (p, p) entonces
0 sin ) (
1
cos ) (
2
cos ) (
1
) (
2
) (
1
0
0
0
= =
= =
= =
}
} }
} }

p
p
n
p p
p
n
p p
p
xdx
p
n
x f
p
b
xdx
p
n
x f
p
xdx
p
n
x f
p
a
dx x f
p
dx x f
p
a
t
t t
}
= = =
p
n n
xdx
p
n
x f
p
b n a
0
sin ) (
2
,... 2 , 1 , 0 , 0
t

(i) La serie de Fourier de una funcin par f en el
intervalo (p, p) es la serie de cosenos

(1)
donde

(2)

(3)
DEFINICIN 12.6
Series de Fourier de Cosenos y Senos

=
+ =
1
0
cos
2
) (
n
n
x
p
n
a
a
x f
t
}
=
p
dx x f
p
a
0
0
) (
2
}
=
p
n
dx x
p
n
x f
p
a
0
cos ) (
2 t
(continuacin)

(ii) La serie de Fourier de una funcin impar f en el
intervalo (p, p) es la serie de senos

(4)
donde

(5)
DEFINICIN 12.6
Series de Fourier de Cosenos y Senos

=
=
1
sin ) (
i
n
x
p
n
b x f
t
}
=
p
n
dx x
p
n
x f
p
b
0
sin ) (
2 t
Ejemplo 1
Desarrolle f(x) = x, 2 < x < 2 en una serie de Fourier.
Solucin
Estudio de la Fig 12.6, muestra que es una funcin
par en (2, 2) y p = 2.


As

(6)

Fig 12.7 es la extensin peridica de la funcin del
Ejemplo 1.
t
t
n
dx x
n
x b
n
n
1
2
0
) 1 ( 4
2
sin
+

= =
}

=
+

=
1
1
2
sin
) 1 ( 4
) (
n
n
x
n
n
x f
t
t
Fig 12.6
Fig 12.7
Ejemplo 2
L afuncin


representada en la Fig 12.8 es impar en (t, t)
con p = t.
De (5),



y por tanto

(7)

< s
< <
=
t
t
x
x
x f
0 , 1
0 , 1
) (
n
dx nx b
n
n
) 1 ( 1 2
sin ) 1 (
2
0

= =
}
t t
t
nx
n
x f
n
n
sin
) 1 ( 1 2
) (
1

=

=
t
Fig 12.8
Fenmeno de Gibbs
Fig 12.9 muestra las sumas parciales de (7).
Podemos ver qeu la grfica tiene picos
pronunciados cerca de las discontinuidades.
Este exceso S
N
no se alisa sino que
permanece constante aun cuando el valor de
N sea grande. Este comportamiento se conoce
como el fenmeno de Gibbs.
Fig 12.9
Desarrollos en Semiintervalos
Si una funcin f est definida slo para 0 < x < L,
podemos suministrar una funcin arbitraria para
L < x < 0.
Si y = f(x) est definida para 0 < x < L,
(i) Reflejar al grfica respecto al eje y en L < x < 0;
la funcin hora es par. Fig 12.10.
(ii) Reflejar la grfica por el origen sobre L < x < 0;
la funcin ahora es impar. Fig 12.11.
(iii) definir f en L < x < 0 mediante f(x) = f(x + L).
Fig 12.12.
Fig 12.10
Fig 12.11
Fig 12.12
Ejemplo 3
Desarrolle f(x) = x
2
, 0 < x < L, (a) en una serie de
cosenos, (b) en una serie de senos (c) en una serie de
Fourier.
Solucin
La grfica est representada en la Fig 12.13.

Ejemplo 3 (2)
(a)




Entonces

(8)

2 2
2
0
2
2
0
2
0
) 1 ( 4
cos
2
,
3
2 2
t
t
n
L
dx x
L
n
x
L
a
L dx x
L
a
n
L
n
L

= =
= =
}
}

+ =
1
2 2
2 2
cos
) 1 ( 4
3
) (
n
n
x
L
n
n
L L
x f
t
t
Ejemplo 3 (3)
(b)



De ah que

(9)
] 1 ) 1 [(
4 ) 1 ( 2
sin
2
3 3
2 1 2
0
2
+

= =
+
}
n
n
L
n
n
L
n
L
dx x
L
n
x
L
b
t t
t

=
+
)
`

=
1
2 3
1 2
sin ] 1 ) 1 [(
2 ) 1 ( 2
) (
n
n
n
x
L
n
n n
L
x f
t
t t
Ejemplo 3 (4)
(c) Con p = L/2, nt/p = 2nt/L, tenemos





Por tanto

(10)
La grfica de esta extensin se muestra en la
Fig 12.14.
t
t
t
t
n
L
xdx
L
n
x
L
b
n
L
xdx
L
n
x
L
a L dx x
L
a
L
n
L
n
L
2
0
2
2 2
2
0
2 2
0
2
0
2
sin
2
2
cos
2
,
3
2 2

= =
= = = =
}
} }

=
)
`

+ =
1
2
2 2
2
sin
1 2
cos
1
3
) (
n
x
L
n
n
x
L
n
n
L L
x f
t t
t t
Fig 12.14
Fuerza Impulsora Peridica
Considere el siguiente sistema fsico

(11)

donde

(12)

es un desarrollo en serie de senos en un
semiintervalo.
) (
2
2
t f x k
dt
x d
m = +

=
=
1
sin ) (
n
n p
t
p
n
B t x
t
Ejemplo 4
Recurriendo a (11), m = 1/16 de slug, k = 4 lb/pie, la
fuerza f(t) con perodo 2 se muestra en la Fig 12.15.
Aunque f(t) acta en el sistema para t > 0, podemos
ampliar al grfica con perodo 2 al eje t negativo para
obtener una funcin impar. Con p = 1, de (5)
obtenemos


De (11) obtenemos

(13)

n
tdt n t b
n
n
1
1
0
) 1 ( 2
sin 2
+

= =
}
t t
t n
n
x
dt
x d
n
n
t sin
) 1 ( 2
4
16
1
1
1
2
2

=
+

= +
Ejemplo 4 (1)
Para hallar la solucin particular x
p
(t),
sustituimos (12) en (13). As





Por tanto

(14)
) 64 (
) 1 ( 32
) 1 ( 2
) 4
16
1
(
2 2
1
1
2 2
t
t
n n
B
n
B n
n
n
n
n

= +
+
+
t n
n n
t x
n
n
p
t
t
sin
) 64 (
) 1 ( 32
) (
1
2 2
1

=
+

=
12.4 Series de Fourier Complejas
Formula de Euler
e
ix
= cos x + i sin x
e
-ix
= cos x i sin x (1)
Series de Fourier Complejas
De (1), tenemos

(2)

Usando (2) para remplazar cos(ntx/p) y sin(ntx/p),
se tiene






(3)
,
2
cos
ix ix
e e
x

+
=
i
e e
x
ix ix
2
sin

=

(

+
+
+
+
1
/ / / /
0
2 2 2
n
p x in p x in
n
p x in p x in
n
e e
b
e e
a
a
t t t t

+ + + =
1
/ /
0
) (
2
1
) (
2
1
2
n
p x in
n n
p x in
n n
e ib a e ib a
a
t t


=

=
+ + =
1
/
1
/
0
n
p x in
n
n
p x in
n
e c e c c
t t
donde c
0
= a
0
/2, c
n
= (a
n
ib
n
)/2, c
-n
= (a
n
+ ib
n
)/2.
Donde la funcin f es real, c
n
y c
-n
son nmeros
complejos conjugados.
Tenemos

(4)
}

=
p
p
dx x f
p
c ) (
1
2
1
0








(5)
}
}
} }

=
(

=
|
.
|

\
|
=
=
p
p
p x in
p
p
p
p
p
p
n n n
dx e x f
dx x
p
n
i x
p
n
x f
p
dx x
p
n
x f
p
i dx x
p
n
x f
p
ib a c
/
) (
2
1
sin cos ) (
2
1
sin ) (
1
cos ) (
1
2
1
) (
2
1
t
t t
t t







(6)
}
}
} }

=
(

+ =
|
.
|

\
|
+ =
+ =
p
p
p x in
p
p
p
p
p
p
n n n
dx e x f
dx
p
n
i x
p
n
x f
p
dx x
p
n
x f
p
i dx x
p
n
x f
p
ib a c
/
) (
2
1
sin cos ) (
2
1
sin ) (
1
cos ) (
1
2
1
) (
2
1
t
t t
t t

Las Series de Fourier Complejas de funcin f definida
en un intervalo (p, p) estn dadas por

(7)

donde
(8)
DEFINICIN 12.7
Series de Fourier Complejas

=
=
n
p x in
n
e c x f
/
) (
t
, 2 , 1 , 0 , ) (
2
1
/
= =
}

n dx e x f
p
c
p
p
p x in
n
t
Si f satisface la hoptesis del Teorema 12.1,
una serie d eFourier compleja converge a f(x)
en un punto de continuidad y al promedio



en un punto de discontinuidad.


2
) ( ) ( + + x f x f
Ejemplo 1
Desarrolle f(x) = e
-x
, t < x <t, en una serie de
Fourier compleja.
Solucin
con p = t, (8) se obtiene

] [
) 1 ( 2
1
2
1
2
1
) 1 ( ) 1 (
) 1 (
t t
t
t
t
t
t
t t
+ +

+
=
= =
} }
in in
x in inx x
n
e e
in
dx e dx e e c
Ejemplo 1 (2)
Empleando la frmula de Euler



De ah se tiene que


(9)

t t t
t t t
t t
t t
e n i n e e
e n i n e e
n in
n in
) 1 ( ) sin (cos
) 1 ( ) sin (cos
) 1 (
) 1 (
= + =
= =
+
+
1
1 sinh
) 1 (
) 1 ( 2
) (
) 1 (
2
+

=
+

=

n
in
in
e e
c
n n
n
t
t
t
t t
Ejemplo 1 (3)
Entonces la serie de Fourier compleja es

(10)

La serie (10) converge al desarrollo de perodo
2t de f.

=
+

=
n
inx n
e
n
in
x f
1
1
) 1 (
sinh
) (
2
t
t
Frecuencia Fundamental
El perodo fundamental es T = 2p y por tanto
p = T/2.
La serie de Fourier se transforma en


(11)


donde e = 2t/T se llama frecuencai angular
fundamental.

=
+ +
1
0
) sin cos (
2
n
n n
x n b x n a
a
e e

= n
x in
n
e c
e
Espectro de Frecuencias
Si f es peridica y tiene perodo fundamental T,
el conjunto de puntos (ne, |c
n
|) se llama
espectro de frecuencias de f.
Ejemplo 2
En el Ejemplo 1, e = 1, por lo cual ne ecibe
valores de 0, 1, 2,
Usando , vemos de (9) que


Fig 12.17.
1
1 sinh
| |
2
2 2
+
=
+ = +
n
c
i
n
t
t
| o | o
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:
2
1
4
1
4
1
4
1
4
1
2
1

, 0
, 1
, 0
) (
< <
< <
< <

=
x
x
x
x f
Ejemplo 3 (2)
Solucin
Aqu T = 1 = 2p so p = . Como f es 0 en (, ) y (,
), (8) se transforma en
2
sin
1
2
1
4 1
4 1
2
) 1 ( ) (
2 / 2 / 2
4 1
4 1
2
2 1
2 1
2
t
t
t t
t t t
t t
n
n
c
i
e e
n in
e
dx e dx e x f c
n
in in x in
x in x in
n
=

=
= =

} }
Ejemplo 3 (3)
Es fcil de comprobar que



Fig 12.19 ilustra el espectro de frecuencias de f.
2
1
4 1
4 1
0
= =
}

dx c
Fig 12.19
12.5 Problema de Sturm-Liouville
Valores propios y funciones propias
Recuerde el ejemplo Ejemplo 2, Sec 3.9

(1)

Esta ecuacin posee soluciones no triviales slo
cuando toma valores
n
= n
2
t
2
/L
2
, n = 1, 2, 3,
llamados valores propios. Las soluciones no triviales
correspondientes y = c
2
sin(ntx/L) o simplemente y
= sin(ntx/L) se llaman funciones propias.
0 ) ( , 0 ) 0 ( , 0 = = = +
' '
L y y y y
Ejemplo 1
Se deja como ejercicio demostrar que los tres
casos posibles: = 0, = o
2
< 0, = o
2
> 0,
(o > 0), que los valores propios y las funciones
propias para

(2)

son respectivamente
n
= o
n
2
= n
2
t
2
/L
2
, n = 0,
1, 2, y y = c
1
cos(ntx/L), c
1
= 0.
0 ) ( , 0 ) 0 ( , 0 =
'
=
'
= +
' '
L y y y y
Problema Regular de Sturm-Liouville
Sean p, q, r y r' funciones de valores reales
continuas en [a, b], y sea r(x) > 0 y p(x) > 0 para
todo x en el intervalo. Entonces se dice que

Resolver (3)

Sujeta a
(4)
(5)
es un problema regular de Sturm-Liouville. Los
coeficientes en (4), (5) se suponen reales e
independientes de .
0 )) ( ) ( ( ] ) ( [ = + +
'
y x p x q y x r
dx
d

0 ) ( ) (
1 1
=
'
+ a y a y | o
0 ) ( ) (
2 2
=
'
+ a y a y | o
Ch12_79

(a) Existe un nmero infinito de valores propios reales
que se pueden arreglar en orden creciente

1
<
2
<
3
< <
n
< tal que
n
cuando n .
(b) Para cada vlor propio hay slo uan funcin propia
(excepto para multiplos constantes no nulos).
(c) Las funciones propias que corresponden a diferentes
valores propios son linealmente independientes.
(d) El conunto d efunciones propias que corresponden
al conjunto de valores propios es ortogonal con
respecto a la funcin pesop(x) en el intervalo [a, b].
TEOREMA12.3
Propiedades del Problema Regular
de Strum-Liouville
Demostracin de(d)
Sean y
m
e y
n
be funciones propias correspondientes a
valores propios
m
y
n
. Entonces

(6)

(7)

De (6)y
n
(7)y
m
tenemos


0 )) ( ) ( ( ] ) ( [ = + +
'
m m m
y x p x q y x r
dx
d

0 )) ( ) ( ( ] ) ( [ = + +
'
n n n
y x p x q y x r
dx
d

| | | | ' ) ( ' ) ( ) ( ) (
m n n m n m n m
y x r
dx
d
y y x r
dx
d
y y y x p =
Integrando la ecuacin anterior de a a b, se tiene

(8)



Como todas las soluciones deben satisfacer las
condiciones de frontera (4) y (5), de (4) tenemos

0 ) ( ' ) (
0 ) ( ' ) (
1 1
1 1
= +
= +
a y B a y A
a y B a y A
n n
m m
)] ( ) ( ) ( ) ( )[ (
)] ( ) ( ) ( ) ( )[ (
) ( ) (
a y a y a y a y a r
b y b y b y b y b r
dx y y x p
m n n m
m n n m
b
a
n m n m
'

'

'

'
=

}

Para que A
1
y B
1
no nulas ambas, satisfagan el
sistema, el determinante de los coeficientes debe
valer cero


De manera similar de (5), tenemos


As el lado derecho de (8) vale cero.
De ah tenemos la relacin de ortogonalidad

(9)
0 ) ( ' ) ( ) ( ' ) (
0 ) ( ' ) ( ) ( ' ) (
=
=
b y b y b y b y
a y a y a y a y
m n n m
m n n m
n m
b
a
n m
dx x y x y x p = =
}
, 0 ) ( ) ( ) (
Ejemplo 2
Resolver
(10)
Solucin
Se debera verificar que para = 0 y < 0, (10) slo
posee la solucin trivial. Para = o
2
> 0, o > 0, la
solucin general es y = c
1
cos ox + c
2
sin ox. Ahora la
condicin y(0) = 0 implica c
1
= 0, as que y = c
2
sin ox.
La segunda condicin y(1) + y'(1) = 0 implica c
2
sin o +
c
2
o coso. = 0.

0 ) 1 ( ) 1 ( , 0 ) 0 ( , 0 =
'
+ = = +
' '
y y y y y
Ejemplo 2 (2)
Escogiendo c
2
= 0, tenemos
(11)
De Fig 12.20, vemos que hay infinitas soluciones para o
> 0. Es fcil obtener los valores de o > 0. As que los
valores propios son
n
= o
n
2
, n = 1, 2, 3,
y las funciones propias correspondientes son
y
n
= sin o
n
x.

o o = tan
Fig 12.20





Problema Singular de Sturm-Liouville
Existen varias condiciones para (3)
r(a) = y se especifica una condicin de frontera
del tipo provisto en (5) en x = b; (12)
r(b) = 0 y se especifica una condicin de frontera
del tipo provisto en (4) en x = a. (13)
r(a) = r(b) = 0 y no se especifica ninguna condicin
de frontera en x = a ni en x = b; (14)
r(a) = r(b) y las condiciones de frontera y(a) = y(b),
y(a) = y(b). (15)
Observaciones:
La ecuacin (3) que satisface (12) y (13) es un
problema singular de valores en la frontera.
La ecuacin (3) que satisface (15) es un problema
peridico de valores en la frontera.


Al suponer que las soluciones de (3) estn
acotadas en [a, b], de (8) se tiene
Si r(a) = 0, entonces la relacin de ortogonalidad
(9) se cumple sin ninguna condicin en la frontera
en x = a; (16)
Si r(b) = 0 , entonces la relacin de ortogonalidad
(9) se cumple sin ninguna condicin en la frontera
en x = b; (17)
Si r(a) = r(b) = 0, entonces la relacin de
ortogonalidad (9) se cumple sin ninguna condicin
en la frontera en x = a ni en x = b; (18)
Si r(a) = r(b), entonces la relacin de
ortogonalidad (9) se cumple con las condiciones
de frontera peridicas y(a) = y(b), y(a) = y(b). (19)
Forma Autoconjunta
En realidad (3) es al misma que
(20)
As podemos escribir la ecuacin diferencial
de Legendre como

(21)

Aqu hallamos que el coeficiente de y' es al
derivada del coeficiente de y.
0 ) 1 ( ' 2 " ) 1 (
2
= + + y n n xy y x
0 )) ( ) ( ( ) ( ) ( = + +
' '
+
' '
y x p x q y x r y x r
0 ) 1 ( ] ) 1 [(
2
= + +
'
y n n y x
dx
d
Adems, si los coeficientes son continuos y a(x) = 0
para todo x en un intervalo, entonces cualquier
eduacin diferencial de segundo orden

(22)
swe puede reformular en la llamada forma
autoadjunta (3).
Para entender el hecho anterior, empezamos desde
a
1
(x)y' + a
0
(x)y = 0
Sea P = a
0
/a
1
, = exp(} Pdx), ' = P, entonces
y' + Py = 0, y' + Py = 0,
As d(y)/dx = 0.

0 )) ( ) ( ( ) ( ) ( = + +
'
+
' '
y x d x c y x b y x a
Ahora para (22), sea Y = y', el factor de integracin
e
} [b(x)/a(x)] dx
.
En este caso (22) se transforma en



En resumen, (22) puede transformarse en
... ...
) (
) (
'
) ( / ) ( ) ( / ) ( ) ( / ) (
+
(

}
= +
}
+
}
Y e
dx
d
Y e
x a
x b
Y e
dx x a x b dx x a x b dx x a x b
(23) 0
) (
) (
) (
) (
'
) (
) (
"
) / ( ) / (
) / ( ) / (
=
|
.
|

\
|
}
+
}
+
}
+
}
y e
x a
x d
e
x a
x c
y e
x a
x b
y e
dx a b dx a b
dx a b dx a b

Adems, (23) es la misma que (3)

}
=
}
=
}
=
=
|
|
.
|

\
|
}
+
}
+
(

}
dx a b dx a b dx a b
dx a b dx a b dx a b
e
x a
x d
x p e x q e x r
y e
x a
x d
e y e
dx
d
) / ( ) / ( ) / (
) / ( ) / ( ) / (
) (
) (
) ( , ) ( , ) ( donde
0
) (
) (
'

Ejemplo 3
En la Sec 5.3, vimos que la solucin general de al
ecuacin diferencial paramtrica de Bessel



Dividiendo la ecuacin de Bessel entre x
2
y
multiplicando la ecuacin resultante por el factor de
integracin e
} [(1/x)] dx
= e
ln x
= x, tenemos
) ( ) ( es
... , 2 , 1 , 0 , 0 ) ( ' "
2 1
2 2 2 2
x Y c x J c y
n y n x xy y x
n n
o o
o
+ =
= = + +
| |
2 2
2
2
2
2
, , / , donde
0 ) ( ' or , 0 ) ( ' "
o
o o
= = = =
= + = + +
x p x n q x r
y
x
n
x xy
dx
d
y
x
n
x y xy
Ejemplo 3 (2)
Ahora r(0) = 0, y de las dos soluciones J
n
(ox) y Y
n
(ox)
slo J
n
(ox) est acotada en x = 0. De (16), el
conjunto {J
n
(o
i
x)}, i = 1, 2, 3, , es ortogonal con
respecto a la funcin peso p(x) = x en [0, b].
As
(24)

Siempre queo
i
y por consiguiente los valores
propios
i
= o
i
2
se definen por medio de un
acondicin lmite en x = b del tipo provisto en (5):
A
2
J
n
(b) + B
2
oJ
n
'(ob) = 0 (25)
, , 0 ) ( ) (
0
j i
b
j n i n
dx x J x xJ = =
}
Ejemplo 4
De (21), identificamos q(x) = 0, p(x) = 1 y = n(n + 1).
Recuerde de la Sec 5.3 que cuando n = 0, 1, 2, , la
ED de Legendre posee soluciones polinomiales P
n
(x).
Observamos que r(1) = r(1) = 0 junto con el hecho
de que P
n
(x) son las nicas soluciones de (21) que
estn acotadas en *1, 1+, para concluir que el
conjunto {P
n
(x)}, n = 0, 1, 2, , es ortogonal con
respecto a la funcin peso p(x) = 1 en *1, 1+. As
n m dx x P x P
n m
= =
}
, 0 ) ( ) (
1
1 -
12.6 Series de Bessel y Legendre
Series de Fourier-Bessel
Hemos demostrado que{J
n
(o
i
x)}, i = 1, 2, 3, es
ortogonal con respecto a p(x) = x en [0, b] cuando o
i

est definida por medio de
(1)
Esta serie ortogonal, o serie de Fourierde generalizada,
el desarrollo de una funcin f definida en (0, b) en
trminos de este conjunto ortogonal es
(2)

donde
(3)
0 ) ( ) (
2 2
=
'
+ b J B b J A
n n
o o o

=
=
1
) ( ) (
i
i n i
x J c x f o
2
0
) (
) ( ) (
x J
dx x f x J x
c
i n
b
i n
i
o
o
}
=
La norma cuadrada J
n
(o
i
x) se define mediante

(4)

Esta serie (2) se llama series de Fourier-Bessel.
}
=
b
i n i n
dx x xJ x J
0
2
2
) ( ) ( o o
Relaciones de Recurrencia Diferenciales
Recordando (20) y (21) da la Sec 5.3, tenemos
las relaciones de recurrencia diferenciales
como

(5)

(6)
) ( )] ( [
1
x J x x J x
dx
d
n
n
n
n

=
), ( )] ( [
1
x J x x J x
dx
d
n
n
n
n
+

=
Norma Cuadrada
El valor de (4) depende de
i
= o
i
2
. Si y = J
n
(ox)
tenemos que



Al multiplicar por 2xy, se tiene
| |
| | ( ) 0 ] [ '
0 '
2 2 2 2
2
2
2
= +
=
|
|
.
|

\
|
+
y
dx
d
n x xy
dx
d
y
x
n
x xy
dx
d
o
o
Integrandopor partes [0, b], se obtiene



Como y = J
n
(ox), el lmite inferior es 0 para n > 0,
porque J
n
(0) = 0. Para n = 0,
en x = 0. As

(7)


donde y' = oJ
n
'(ox).
| | ( )
0
2 2 2 2
2
0
2 2
) ( ' 2
b b
y n x xy dx xy + =
}
o o
, )] )[ ( )] ( [
) ( 2
2 2 2 2 2 2 2
0
2 2
b J n b b J b
dx x xJ
n n
b
n
o o o o
o o
( +
'
=
}
Ahora se consideran tres casos de (1).
Caso I: Si se elige A
2
= 1 y B
2
= 0, entonces (1) es
(8)
Hay un nmero infinito de races positivas x
i
= o
i
b
de (8) (see Fig 5.3), que definen o
i
= x
i
/b.
Los valores propios son positivos y
i
= o
i
2
= (x
i
/b)
2
.
De las races negativas de (8) no resulta ningn
nuevo valor propio puesto que J
n
(x) = (1)
n
J
n
(x).
0 ) ( = b J
n
o
El nmero 0 no es un valor propio de para ningn
n puesto que J
n
(0) = 0, n= 1, 2, 3, y J
0
(0) = 1.
Cuando (6) se escribe como xJ
n
'(x) = nJ
n
(x)
xJ
n+1
(x), de (7) y (8) se deduce

(9)


). (
2
|| ) ( ||
2
1
2
2
b J
b
x J
i n i n
o o
+
=
Caso II: Si se elige A
2
= h > 0 y B
2
= b, entonces (1)
es
(10)
Hya un nmero infinito de races positvas x
i
= o
i
b
para n = 1, 2, 3, . Como antes,
i
= o
i
2
= (x
i
/b)
2
.
= 0 no es un valor propio para n = 1, 2, 3, .
Sustituyendo o
i
bJ
n
'(o
i
b) = hJ
n
(o
i
b) en (7), se
tiene

(11)
. 0 ) ( ) ( =
'
+ b J b b hJ
n n
o o o
). (
2
|| ) ( ||
2
2
2 2 2 2
2
b J
h n b
x J
i n
i
i
i n
o
o
o
o
+
=
Caso III: Si h = 0 y n = 0 en (10), o
i
se definen da
las races
(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
J
0
'(ob) = 0 es equivalente a J
1
(ob) = 0.
0 ) (
0
=
'
b J o
Como x
1
= o
1
b = 0 es una raz de la ltima
ecuacin y puesto que J
0
(0) = 1 no es trivial,
deducimos de
1
= o
1
2
= (x
1
/b)
2
que
1
es un valor
propio. Pero no podemso utilizar (11) cuando
o
1

= 0, h = 0, n = 0, y n = 0. Sin embargo de (4)
tenemos

(13)
Para o
i

> 0 podemos usar (11) con h = 0 y n = 0:

(14)
2
|| 1 ||
2
0
2
b
dx x
b
= =
}
). (
2
|| ) ( ||
2
0
2
2
0
b J
b
x J
i i
o o =

La serie de Fourier-Bessel de una funcin f definida en
el intervalo (0, b) se expresa mediante
(i)
(15)

(16)
donde o
i
se definen mediante J
n
(ob) = 0.
DEFINICIN 12.8
Serie de Fourier-Bessel

=
=
1
) ( ) (
i
i n i
x J c x f o
}
+
=
b
i n
i n
i
dx x f x J x
b J b
c
0
2
1
2
) ( ) (
) (
2
o
o
(continuacin)

(ii)
(17)

(18)

donde o
i
se definen mediante hJ
n
(ob) + obJ
n
(ob) = 0.
DEFINICIN 12.8
Serie de Fourier-Bessel

=
=
1
) ( ) (
i
i n i
x J c x f o
}
+
=
b
i n
i n i
i
i
dx x f x J x
b J h n b
c
0
2 2 2 2 2
2
) ( ) (
) ( ) (
2
o
o o
o
(continuacin)

(iii)
(19)

(20)

donde the o
i
se definen mediante J
0
(ob) = 0.
DEFINICIN 12.8
Serie de Fourier-Bessel

=
+ =
2
0 1
) ( ) (
i
i i
x J c c x f o
, ) (
2
0
2
1
}
=
b
dx x f x
b
c
}
=
b
i
i
i
dx x f x J x
b J b
c
0
0
2
0
2
) ( ) (
) (
2
o
o

Si f y f son continuas por partes en el intervalo abierto
(0, b), entonces un desarrollo de Fourier-Bessel de f
converge a f(x) en algn punto donde f es continua y
al promedio [f(x+) + f(x-)] / 2 en algn punto donde
f es discontinua.
TEOREMA 12.4
Condiciones para Convergencia
Ejemplo 1
Desarrolle f(x) = x, 0 < x < 3, enn una serie de
Fourier-Bessel , usando funcin de Bessel de
orden uno que satisfacen la condicin lmite
J
1
(3o) = 0.
Solucin
Empleamos (15) donde c
i
se expresan mediante
(16) con b = 3:

}
=
3
0
1
2
2
2
2
) (
) 3 ( 3
2
dx x J x
J
c
i
i
i
o
o
Ejemplo 1 (2)
Sea t = o
i

x, dx = dt/o
i
, x
2
= t
2
/o
i
2
, y use (5) en la
forma d[t
2
J
2
(t)]/dt = t
2
J
1
(t):


) (
) 3 (
2
2 ) (
es desarrollo el Por tanto
) 3 (
2
)] ( [
) 3 ( 9
2
1
1
2
2
3
0
2
2
2
2
3
x J
J
x f
J
dt t J t
dt
d
J
c
i
i
i i
i i
i i
i
i
o
o o
o o
o o
o

=
=
= =
Ejemplo 2
Si las o
i
del Ejemplo 1 se definen mediante
J
1
(3o) + oJ
1
'(3o) = 0, lo nico que cambia en el
desarrollo es el valor de la norma cuadrada. Como
3J
1
(3o) + 3oJ
1
'(3o) = 0 que concuerda con (10)
cuando h = 3, b = 3 y n = 1. As (18) y (17) producen a
su vez
) (
) 3 ( ) 8 9 (
) 3 (
18 ) (
) 3 ( ) 8 9 (
) 3 ( 18
1
1
2
1
2
2
2
1
2
2
x J
J
J
x f
J
J
c
i
i
i i
i i
i i
i i
i
o
o o
o o
o o
o o

=
+
=
+
=

La serie de Fourier-Legendre de una funcin f definida
en el intervalo (1, 1) se expresa mediante
(i)
(21)

(22)
donde o
i
se definen mediante J
n
(ob) = 0.
DEFINICIN 12.9
Serie de Fourier-Legendre

=
=
0
) ( ) (
n
n n
x P c x f
}

+
=
1
1
) ( ) (
2
1 2
dx x P x f
n
c
n n

Si f y f son continuas por partes en el intervalo abierto
(1, 1), entonces un desarrollo en serie de
Fourier-Legendre (21) converge a f(x) en algn punto
donde f es continua y al promedio [f(x+) + f(x-) / 2 en un
punto donde f es discontinua.
TEOREMA 12.5
Condiciones de Convergencia
Ejemplo 3
Escriba los cuatro primeros trminos no nulos del
desarrollo de Fourier-Legendre de


Solucin
De la pgina 269 y (22):


1 0
0 1
, 1
, 0
) (
< s
< <

=
x
x
x f
4
3
1
2
3
) ( ) (
2
3
2
1
1 1
2
1
) ( ) (
2
1
1
0
1
1
1 1
1
0
1
1
0 0
= = =
= = =
} }
} }

xdx dx x P x f c
dx dx x P x f c
Ejemplo 3 (2)
0 ) 1 3 (
2
1
1
2
5
) ( ) (
2
5
1
0
2
1
1
2 2
= = =
} }

dx x dx x P x f c
12.22. Fig Vase
... ) (
32
11
) (
16
7
) (
4
3
) (
2
1
) (
que ah De
32
11
) 15 70 63 (
8
1
1
2
11
) ( ) (
2
11
0 ) 3 30 35 (
8
1
1
2
9
) ( ) (
2
9
16
7
) 3 5 (
2
1
1
2
7
) ( ) (
2
7
5 3 1 0
1
0
3 5
1
1
5 5
1
0
2 4
1
1
4 4
1
0
3
1
1
3 3
+ + + =
= + = =
= + = =
= = =
} }
} }
} }

x P x P x P x P x f
dx x x x dx x P x f c
dx x x dx x P x f c
dx x x dx x P x f c
Fig 12.22







Otra Forma de la Serie
Si se establece x = cos u, x = 1 implica que u = 0,
x = 1 implica que u = t. Como dx = sin u du, (21) y
(22) se transforma, respectivamente, en

(23)

(24)

donde f(cos u) se ha remplazado por F(u).

=
=
0
) (cos ) (
n
n n
P c F u u
, sin ) (cos ) (
2
1 2
0
}
+
=
t
u u u u d P F
n
c
n n