UNIVERSIDAD DE CONCEPCIN

CAPITULO III ORTOGONALIDAD Y SISTEMAS DE STURM LIOUVILLE

Una transformacin lineal L: C n [ a, b] C [a,b] es un operador diferencial lineal de orden n (en el

intervalo [a,b]) si puede expresarse en la forma :

L = an (x)D n + - - - - +a1(x)D + a 0 (x)

donde D=d/dx y los coeficientes aj(x) , j{1,---,n} son funciones continuas en [a,b], con an(x) no
idnticamente nula en [a,b]. En particular si f C n ([ a, b]) , entonces
dn
L[f ]( x) = an ( x) f ( x) + + a 0 ( x)f ( x)
dxn

DEFINICION 1.-Se dice que un operador diferencial lineal de segundo orden L definido en un
intervalo [a,b] esta en forma autoadjunta, si:

L = D( p( x)D) + q( x)

donde p es cualquier funcin en C1[a,b] tal que p(x) > 0 ( o bien p(x) < 0 ) para todo x[a,b] y
q es una funcin arbitraria en C[a,b] .

Consideremos la EDO lineal de 2 orden

d2 y dy
(1) a 2 ( x) 2 + a1( x) + a 0 ( x) = 0 ; a 2 ( x) 0.; x I
dx dx
y sea
a ( x)
p( x) = exp 1 dx .
a 2 ( x)
Como
d dy d2 y a ( x) dy
p( x) = p( x) 2 + 1 p( x)
dx dx dx a 2 ( x) dx

entonces la ecuacin (1) se puede escribir

d dy a ( x)
p( x) + 0 p( x)y = 0
dx dx a2 ( x)
o ms simple

d dy
(2) p( x) + q( x) y = 0
dx dx

donde
a 0 ( x)
q( x) = p( x)
a2 ( x)

30

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

La ecuacin (2) se conoce como la forma autoadjunta de la ecuacin (1)

EJEMPLO 1.- La forma autoadjunta de la ecuacin de Legendre

(1 x ) y 2xy + n(n + 1)y = 0

2
es
d
dx
[ ( 1 x )]
2 dy
dx
+ n(n + 1) y = 0

EJERCICIOS 1 : Expresar cada unas de las ecuaciones siguientes en forma autoadjunta

a) ( 1-x2 )y - 2xy+ 6y=0 , I= (-1,1)

b) x2y - 2x3y- (4-x2)y =0 , I = +
c) (x3-2)y- x2y-3y =0 , I =] 3 2 , [

DEFINICION 2.- Un problema con valores en la frontera (PVF o PVC) para ecuaciones
diferenciales lineales de 2 orden consiste en :

1 .- Una ecuacin del tipo

(3) Ly=h

en que L es un operador diferencial lineal de 2 orden definido en [a,b] y h C [a,b], y

2 Un par de condiciones de frontera de la forma :

1y( a) + 2 y( b) + 3 y( a) + 4 y( b) = 1
(4)
1y( a) + 2 y( b) + 3 y( a) + 4 y( b) = 1

donde i , i , j son constantes. Al menos una de las i y una de las i debe ser no nula y (4) debe
contener trminos no nulos incluyendo a cada uno de los extremos.

NOTAS. 1.- Se dir que las condiciones de fronteras dadas son homogneas si
1 = 2 = 0.

2.- Se puede probar que el conjunto S de las funciones dos veces diferenciables en [a,b]
que satisfacen condiciones de frontera homogneas (4) es un subespacio de C2[a,b].

En este captulo aprenderemos a resolver PVF de la forma:

Ly = h

(5) 1y( a) 2 y( b) + 3 y( a) + 4 y( b) = 0

1y( a) + 2 y( b) + 3 y( a) + 4 y( b) = 0
donde L es un operador diferencial lineal L: SC[a,b].

Las soluciones del PVF (5) estn ntimamente ligadas a las soluciones del sistema:

31

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

Ly = y

(6) 1y( a) 2 y( b) + 3 y( a) + 4 y( b) = 0

1y( a) + 2 y( b) + 3 y( a) + 4 y( b) = 0
donde es un parmetro.
Observe que el PVF (6) admite siempre como solucin la funcin nula, y que adems no satisface el
teorema de unicidad de soluciones. Nuestro inters est precisamente en encontrar las soluciones no
nulas del PVF (6).
Los valores de para los cuales la ecuacin Ly=y tiene soluciones no nulas en el subespacio S de
C2[a,b], son llamados valores propios ( o valores caractersticos ) de L, y para cada valor propio ,
las funciones no nulos en S que satisfacen Ly=y se llaman funciones propias de L,
correspondientes a ese .
La ecuacin diferencial en (6) tambin suele escribese en la forma

Ly +y=0

En este caso los valores de tienen signo opuesto a los hallados en (6).

EJEMPLO 2 .- Hallar los VP y las FP del siguiente problema diferencial:

y " +y =0 , 0<x<
y(0) = y '() = 0

SOL.:La ecuacin caracterstica asociada a la EDO y " +y =0 es r2+ = 0, de donde se obtiene que
r = . As se distinguen tres situaciones para la correspondiente solucin general

1ra situacin :<0

La solucin general de la EDO y " +y =0 es:

x
y( x) = c1e x + c 2 e ,
de donde obtenemos
x x
y( x) = ( c1e c2e ).

Aplicando las condiciones de contorno (CC), resulta:

y(0) = 0 0 = c1+c2 c1 = c 2

y '()= 0 0 = -c2( c1e + c 2 e
) c1 = c 2 = 0.

Por lo tanto no hay VP negativos.

2da situacin =0 :

La solucin general ahora es: y( x) = C1x + C 2 . Luego, y'( x) = C1 . Aplicando las condiciones de
contorno se obtiene C1=C2=0. Por lo tanto = 0 no es VP.

3rasituacin >0 :

32

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

La solucin general ahora es: y( x) = A cos x + B sen x .

Luego, y'( x) = A sen x + B cos x .
Aplicando la primera CC, resulta : y(0) = 0 A= 0
Por lo tanto y '(x) = B cos x .
Aplicando la segunda CC: y '()= 0 B cos = 0 cos = 0,B 0
( 2n 1)
= , n = 12, ,3,...
2
( 2n 1) 2
VP: n = , n = 12
, ,3,...
4
2n 1
y as FP: y n = sen x n = 12, ,3,...
2

EJEMPLO 3. Consideremos la ecuacin de Euler:

(7) x2y" + xy' + y = 0 , 1 < x < e 2 , 0 con las CC :

y '(1) = y '(e2) = 0.

SOL.: Observamos que la forma autoadjunta de (7) es

d dy
(8) x + y = 0
dx dx x

Por hiptesis, 0 ; luego discutimos slo dos casos:

i) =0 : La ecuacin de Euler toma la forma

d2 y dy
x 2 + = 0, 1 < x < e2 ( x > 0 )
dx dx
y(x) = c1lnx+c2 e y '(x) = c1/x

CC : y'(1) = 0 c1 = 0 y( x) = c 2 , c2 cte. arbitraria no nula.

y '( e 2 ) = 0 y '( x) = 0 x .
Luego = 0 es valor propio y la correspondiente funcin propia es y0 (x)=c2.

ii) > 0: De (8) se obtiene xy"+ y'+ y = 0 , y dividiendo ambos miembros por x ( x 0 ) resulta :
x
x2 y "+ xy '+ y = 0

que es la forma ms conocida ecuacin de Euler. La sustitucin x = e t transforman esta ecuacin

en su equivalente:

y"(t)+y(t)=0

Como >0, la solucin general es : y( t) = c1 sen t + c 2 cos t,

es decir
y( x) = c1 sen( ln x) + c 2 cos( ln x)
33

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

c1 c2
y'( x) = cos( ln x) sen( ln x), x>0
x x
c2
+CC: y '(1)=0 c1 =0 c1=0 y'( x) = sen( ln x), x > 0.
x
c2
+CC: y'( e2 ) = 0 0 = 2 sen( ln e2 ),
e
C2 0
e.d. c 2 e 2 sen( 2 ) = 0 sen( 2 ) = 0 2 = n , n=1,2,3,...

n
=
2
e.d.
n2 n
VP: n = , n = 12
, ,.. FP: y ( x) = cos ln x , n=1,2,...
4 2

DEFINICION 3. .- Sea L:S V, donde S y V son espacios euclidianos , y S es un subespacio de

V. Se dice que L es simtrico con respecto al producto interior en V si :

(9) Lx,y =x,Ly ; x , y S

Propiedades :
a ) Todos los valores propios para una transformacin lineal simtrica , sobre un
subespacio V son reales
b) Cada par de vectores propios , correspondientes a diferentes valores propios, para
una transformacin lineal simtrica L: S V son ortogonales en V

TEOREMA 1. .-Sea S un subespacio de C2[a,b] determinado por las funciones que verifican las
condiciones de fronteras homogneas :

1y( a) + 2 y(b) + 3 y ( a) + 4 y(b) = 0

1y( a) + 2 y(b) + 3 y ( a) + 4 y(b) = 0

y sea L cualquier operador diferencial lineal autoadjunto, que transforma S en C[a,b]. Entonces L
es simtrico con respecto al producto interior en C [a,b] si y solo si :

(10) p( x)[ y1( x) y2 y 2 ( x) y1( x)] b

a =0 y1, y 2 S.

Observacines.
a ) Si y(a) = y(b) =0 entonces (10) se satisface sin restriccin, y as podemos escribir
S = C2[a,b] .
b) Sea S el conjunto de todas las funciones y en C[a,b] tales que :

1y(a) + 2 y(a) = 0
34

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

(11)
1y(b) + 2 y (b) = 0

con 1 + 2 0 , 1 + 2 0 . Entonces (10) se verifica de inmediato. En efecto,

si y1 , y 2 son dos funciones cualquiera en S , se tiene :

y1( a) y2 ( a) y 2 ( a) y1( a) = 0
(12)
y1( b) y2 ( b) y 2 ( b) y1 ( b) = 0

NOTA. Una condicin de frontera de forma anterior, que involucra valores de y , y' slo en uno de
los extremos del intervalo, se conoce con el nombre de: CONDICION DE FRONTERA NO MIXTA.

c) Si S es el subespacio de C2[a,b] que consiste de todas las funciones y tales que :

(13) y(a)=y(b) , y(a) = y(b)

y adems
p(a) = p(b) (condicion de compatibilidad)

entonces (10) se verifica para toda y1, y 2 en S .

NOTA . Esta situacin (13) se conoce con el nombre de: "CONDICIONES DE FRONTERA
PERIDICAS ".

EJEMPLO 4: Sea L=-D2 definido en el intervalo [0,2] y sea S el subespacio de C2[0,2] descrito
por las condiciones de fronteras :
y( 0 ) = y( 2 )
y ( 0 ) = y ( 2 )
Como -D2 = D(-D), entonces p( x) = 1 , x [ 0,2] y p( 0) = p( 2 ) . Entonces L es simtrico en el
subespacio de C2[0,2] descrito por las condiciones de frontera anteriores.
Para encontrar los valores propios y los funciones propias respectivas, se debe resolver la ecuacin
diferencial
y + y = 0

con las condiciones de frontera y( 0 ) = y( 2 ) ; y ( 0 ) = y ( 2 ) .

Puesto que L es simtrico entonces sus valores propios son reales y sus funciones propias son
ortogonales. Luego,
i) Si < 0 , entonces se obtienen slo soluciones triviales
ii) Si = 0, entonces la solucin general de la EDO. es y( x) = c1 + c 2 x
Aplicando las condiciones de fronteras, se obtiene las soluciones y(x)=Cte. As , = 0 es valor
propio para L sobre S .
iii) Si > 0 la solucin general de la E.D. es: y( x) = C1 sen x + C 2 cos x .
Aplicando las condiciones de fronteras, se obtiene el siguiente sistema de ecuaciones
algebraicas:

( )
C 2 1 cos 2 = C1 sen 2
(14)
35

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

( )
C1 1 cos 2 = C 2 sen 2

Ahora, si = 1,2,3,... se tiene que para cualesquier C1, C 2 se satisface (14) , y los
enteros 1, 4, 9, ... son valores propios para L. As, las funciones propias son :

yn ( x) = C1 sen nx + C 2 cos nx .

EJEMPLO 5. Como se ver ms adelante, el siguiente PVC aparece en el estudio de la conduccin

del calor en un anillo.

y "+y=0 ,-<x<
y(-)=y()
y '(-)=y '()

Sol.: Se trata de un PVC peridico. Antes de resolverlo, debemos verificar si se cumple la "condicin
de compatibilidad" . En efecto,
p(x)1 p(-)=p().
De la ecuacin caracterstica, deducimos que debemos analizar el PVC para = 0 ; < 0 y >
0.

=0 : y "=0 y(x)= c1+c2x.

+CC: y(-)=y() c1 - c2 = c1+c2 2c2=0 c2 =0
y(x)=c1 e y '(x)=0.
+CC: y '(-)=y '() , que siempre es vlida. Por lo tanto =0 es VP, y la FP asociada es y0(x) =
cte.arbitraria, digamos K0.

<0 : y "+y = 0 ecuacin caracterstica: m2 + =0 m = (races reales y distintas).

Podemos definir = + , = , y as la solucin general ser
x x
y( x) = c1e + c 2 e

+CC: y(-)=y() c1e + c 2 e = c1e + c 2 e

c1( e e ) = c 2 ( e e ) c1 c 2 .
Por otro lado,
y'( x) = c1ex c 2 e x = ( c1ex c 2 e x )
+CC: ( ) (
y'( ) = y '( ) c1e c 2 e = c1e c 2 e ) ,0.

Como c1 = c2 entonces
2c1( e e ) = 0 c1 = c 2 0

No hay VP negativos.

>0 : La solucin general es y( x) = A cos x + B sen x

y'( x) = A sen x + B cos x .

36

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

+CC: y(-)=y() A cos () + B sen () = A cos + B sen

(15) 2B sen = 0

+CC: y'(-)=y'() A sen + B cos = A sen + B cos

(16) 2A sen = 0 .

Luego en (9) y (10), si A y B son no nulas, entonces

sen = 0 = n, n = 1,2,...

Los VP son n = n 2 , n = 12
, ,3,... As, para un mismo VP tenemos dos soluciones l.i.: sen(nx),
cos(nx), es decir,

VP={0,1,4,9,....} ; FP ={K0, An cosnx+Bn senx} , n=1,2,3,...

DEFINICION 4. Un problema, o sistema, de Sturm-Liouville esta formado por una ecuacin

diferencial lineal homognea de segundo orden de la forma

d dy
p( x) + ( q( x) ) y = 0
dx dx

con p una funcin cualquiera en C1[a,b] tal que p(x)>0 , o bien p(x)<0 , x(a,b) , y q es una
funcin arbitraria en C[a,b], junto con un par de condiciones de fronteras (homogneas) escogidas en
forma tal que las funciones propias correspondientes a diferentes valores propios para el operador
D( p( x)D) + q( x) , son ortogonales

EJEMPLO 6 : Resolver el PVC.

y +y =0, 0<x<1
y(0)=0
y(1)+hy(1) = 0
siendo h una constante positiva .

SOL: Obviamente L es autoadjunto con p=1; q=0; =1. Los VP son positivos y la solucin de la EDO
es:
y( x) = c1 cos x + c 2 sen x

CC: y(0)=0 c1= 0 y(x) = c2sen x y '(x) = c 2 cos x

CC: y(1)+hy'(1)=0 c 2 (sen + h cos ) =0.

37

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

Si c 2 0 , entonces
sen + h cos = 0 tg + h = 0 .
Luego, tg = h . Si hacemos = tenemos
una ecuacin trigonomtrica: tg = h que no
posee solucin explcita, pero podemos resolverla
grficamente, como se muestraen la Figura 1, en
un sistema ( , ( ) ),=tg.
Figura 1.

Observamos que existen infinitas races n , n=1,2,... A cada raz n le corresponde un VP : n = 2n ,

n=1,2,..

Por lo tanto existe una sucesin de VP:

1 < 2 < 3 <...con lmn n =

y las correspondientes funciones propias son : yn(x)=sen n x.

EJERCICIOS 2: i) Compruebe que los VP y las FP del PVF:

y + y = 0 0<x<L
y( 0 ) = 0 ; y( L) = 0
n2 2 n x
son n = 2
, y n ( x) = sen ,respectivamente para n=1,2,3,... y que los VP y FP de:
L L

y + y = 0 0<x<L
y (0)=y (L)=0

n2 2 n x
son n = 2
, y n ( x) = cos , respectivamente para n=0,1,2,3,...
L L

ii) Sin realizar clculos, escriba los VP y FP de los siguientes PVC.

a) y + y = 0 0<x<1 b) y + y = 0 0<x<
y( 0) = 0 ; y( 1) = 0 y( 0) = 0 ; y( ) = 0

c) y + y = 0 0<x<1 d) y + y = 0 0<x<
y (0)=y (1)=0 y (0)=y ()=0

Hasta el momento hemos visto que ciertos PVC generan valores propios reales y funciones
propias ortogonales, pero nada sabemos sobre posibles bases conformadas por estas funciones
propias. El siguiente teorema da una agradable respuesta, su demostracin cae fuera del inters del
curso.

38

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

TEOREMA 2. Sea L un operador diferencial lineal de segundo orden definido en un intervalo cerrado
[a,b], y sea S un subespacio de C2[a,b] determinado por un par de condiciones de fronteras no
mixtas. Entonces :
1.- L tiene una sucesin infinita de valores propios reales {n}, donde n =0,1,2,...tal que

0 < 1 < 2 <.....

lim n =.
n
2.- Los subespacios propios de C[a,b] correspondientes a diferentes valores propios son
unidimensionales.
3.- Cualquier conjunto completo de funciones propias para L, una por cada valor propio, es una
base para C[a,b].
4.-El desarrollo en serie, de cualquier funcin h suave por tramos en [a,b], relativa a tal base
converge uniformemente y absolutamente en cualquier intervalo cerrado donde h es continua.

APLICACIN DE LA TEORIA DE STURM-LIOUVILLE A LA RESOLUCION DE PVC.

Consideremos la ecuacin diferencial

(17) Ly =h

en que h es una funcin conocida en C[a,b] ; L un operador diferencial lineal autoadjuntode

segundo orden, actuando sobre el subespacio S de C2[a,b] definido por un par de condiciones de
fronteras homogneas.
Para resolver este PVC podemos aplicar el mtodo de los valores propios para espacios
euclidianos de dimensin infinita .
En efecto, supongamos que 0 , 1,... , k ,...son valores propios para L sobre S , y sean
0 ( x), 1( x),..., el conjunto de funciones propias correspondientes a los n nIN .
Supongamos que dicho conjunto de funciones propias forman una base para C[a,b]. Luego,
podemos escribir la serie generalizada de Fourier para un elemento h cualquiera de ese espacio en la
forma:

(18) h( x) = c ( x)
n n (convergencia en media )
n= 0

donde los coeficientes generalizados de Fourier estn definidos por:

h( x) ( x) dx
b
h,n n
(19) cn = = a
.
[ ( x)] dx
2 2
n
b

a n

39

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

Si suponemos que la solucin buscada tiene la forma:

(20) y( x) = ( x)
n n
n= 0

entonces, el problema est resuelto si hallamos los coeficientes n.

Sustituyendo (20) en (17), resulta:

(21)
L n n ( x) =
n= 0 n= 0

c n n ( x) .

Ahora, si L puede aplicarse a (20) termino a termino , se tiene :

(22) n n n ( x) = c n n ( x)
n= 0 n= 0

de donde se deduce que (20) es una solucin de (17) siempre que :

i) (23) n n = c n , n IN

ii) (24) ( x) n n
n= 0

defina una funcin en C2[a,b], cuyas primeras dos derivadas puedan calcularse por derivacin termino
a termino de la serie.

OBSERVACIONES IMPORTANTES:

cn
1. Respecto de (23) ; claramente n = , n 0 n ( y as existe una nica solucin). Pero si
n
uno de los n , digamos 0 es cero, el problema no tiene solucin si c00, y tiene infinitas soluciones si
c0=0.

2. El anlisis completo es ms complicado pues debemos investigar la convergencia de la serie

cn
( x). Esta convergencia depende de las propiedades de h y de las constantes cn , que resultan
n n
del sistema OG particular {n(x)}. Luego, cada caso deber examinarse individualmente. En general,
para que la solucin-serie sea "buena" (e.d. de clase C2), se requiere que h sea "buena".

EJEMPLO 7. Resuelva el PVC: y = x x 2 , 0 < x <

y( 0 ) = y( ) = 0
usando las FP del SSL asociado .

SOL.: Sabemos que el SSL asociado es y = y , 0<x<

40

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

y(0) = y() = 0

cuyas FP, de acuerdo a EJERCICIOS 2, son n ( x) = sen nx, y los correspondientes VP son :
n = n 2 n = 12
, ,...

2 4
el sistema ON ser: n ( x) = sen nx y cn = 3 (1 (1)n ) .
n =1 n
Adems

sen(2n 1)x

8
h( x) = , x [0, ]
n=1
(2n 1)3
4
c n n 3 (1 (1) ) 8
n

Sea y( x) = an sen nx , entonces n =
n
=
n2
= 5 , n impar.
n
n=1

sen(2n 1)x

8
y( x) = .
n=1 (2n 1)5
EJERCICIO 3.

Determinar la solucin formal de la ecuacin y = x sujeta a las condiciones de fronteras

y( 0 ) = y( ) = 0 .

ORTOGONALIDAD CON RESPECTO A UNA FUNCION PESO

Una generalizacin parcial e importante para problemas con valores en la frontera consiste de :

a) Una ecuacin diferencial lineal lineal homognea de 2 orden de la forma

d dy
p( x) + ( q( x) r ( x)) y = 0 , x[a,b]
dx dx

b) Un par de condiciones de fronteras homogneas que definen el espacio dominio S para el

operador
L = D[ p( x)D] + q( x)

donde p y q son funciones en C1[a,b] y en C[a,b] respectivamente , y p(x) no se anule en (a,b) , y

adems r es una funcin continua, no negativa en [a,b] que se anula a lo ms en un nmero finito
de puntos, llamada funcin ponderadora.

TEOREMA 3. Sea L un operador diferencial lineal verificando las hiptesis anteriores, r una
funcin ponderadora cualquiera en[a,b] y sea S un subespacio de C2[a,b] tal que

p( x)[ y1( x) y2 ( x) y 2 ( x) y1 ( x)] b

a =0

para cada par de funciones y1 , y 2 en S. Entonces, cualesquier conjunto de funciones propias

correspondientes a diferentes valores propios para L sobre S es ortogonal en C[a,b] con respecto a
la funcin r.

41

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

NOTA.- Debemos observar que en general el operador L no es simetrico en S con respecto al

producto interior anterior, pero el teorema afirma que las funciones propias correspondientes a
diferentes valores propios son an ortogonales.

Puede probarse que si : a) L: S C [a,b] es uno a uno

b) r( x) > 0, x [a,b]

entonces C[a,b] tiene una base (conjunto ortogonal completo) compuesta de las funciones propias
para L.
Para este resultado son importantes las siguientes propiedades:

a) Si S es el subespacio de C2[a,b] determinado por condiciones de fronteras no mixtas , y si y1 ,

y2 son soluciones l.i. de la ecuacin Ly=0, entonces L es uno a uno cuando se restringe a S si, y
solamente si , el determinante

1y1( a) + 2 y1 ( a) 1y 2 ( a) + 2 y2 ( a)
0
1y1( b) + 2 y1( b) 1y 2 ( b) + 2 y2 ( b)

b) Si S es el subespacio de C2[a,b] determinado por condiciones de fronteras periodicas, y si y1 ,

y2 son soluciones l.i. de la ecuacin Ly=0, entonces L es uno a uno cuando se restringe a S si, y
solamente si , el determinante

y1( a) y1( b) y 2 ( a) y 2 ( b)
0
y1( a) y1 ( b) y2 ( a) y2 ( b)

EJEMPLO. 8. Hallar los VP y las FP del SSL:

4 y"4 y'+(1 + )y = 0
y(1) = 0, y(1) = 0

y discutir la ortogonalidad de la FP en C[-1,1].

1 1
SOL.: Forma autoadjunta: p( x) = e x , q( x) = e x , r ( x) = e x
4 4
d x dy 1 x 1
4y "-4y '+(1+)y=0 e + e + e x y = 0 /.4
dx dx 4 4
d x dy
4e
dx dx
(
+ e x + e x y = 0 . )

Redefinimos p( x) = 4 e x , q( x) = e x , r ( x) = e x .

De las CC, resulta: p( x)( y1y 2 ' y 2 y1 ') 11 = 0 .

Las FP sern OG con respecto a la funcin peso r(x) = e-x en C[-1,1].

42

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

1 1
La ecuacin caracterstica es: 4m 2 4m + (1 + ) = 0 m =
2 2
1 caso: <0 Sol. gral. y( x) = e x/ 2 c 1e x [ /2
+ c 2e x /2
] + CC c1 = c 2 = 0

2 caso: =0 Sol. gral. y( x) = e x/ 2 [ c 1 + c 2 x ] + CC c1 = c 2 = 0

3 caso: >0 Sol. gral. y( x) = e x / 2 c1 cos + c 2 sen x .
2 2

+ CC y(-1)=0 0 = e1/ 2 c1 cos c 2 sen c1 cos c 2 sen = 0 (*)
2 2 2 2

CC y(1)=0 0 = e1/ 2 c1 cos + c 2 sen c1 cos + c 2 sen = 0 (**)
2 2 2 2

Restando y sumando (*) y (**), resulta:

c2 0
2c 2 sen = 0 sen =0 = n n = 4n 2 2 , n=1,2,3,...
2 2 2
c1 0
2c1 cos = 0 cos =0 = ( 2n 1) n = ( 2n 1) 2 2 , n=1,2,3,...
2 2 2

{ e x/2 cos nx, e x/ 2 sen nx } n=1.

FP :

EJEMPLO 9.
-2x
a) Hallar la SGF para f(x)=xe , en trminos de las FP del SSL :

y "+4y '+(5-)y=0
y(0)=y(1)=0

y"+4 y'+5 y = xe 2 x
b) Hallar la solucin formal del PVC :
y( 0) = 0; y(1) = 0

SOL.: Forma autoadjunta: p( x) = 4 e 4 x ; q( x) = 5 e 4 x ; ( x) = e 4 x

4 2 1
a) Ecuacin caracterstica: r 2 + 4r + 5 = 0 r = r =-2 1.
2

(
i) >1 : y(x)= e 2 x c 1e 1x
+ c 2 e 1x
) + CC y(0)=0 c =-c 2 1

(
y(x)= e 2 x c 1 e 1x
e 1x
) + CC y(1)=0 c1=0 c2=0
e.d. No hay VP mayores que 1.

43

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

ii) =1 : y(x)= e 2 x ( c1 + c 2 x ) + CC y(0)=0 c1=0 y(x)= e 2 x c 2 x

+ CC y(1)=0 c2=0
e.d. 1 no es VP.

2 x
iii) <1 : y( x) = e (c1 cos 1 x + c 2 sen 1 x) + CC y(0)=0 c1=0

2 x 2
y( x) = c 2 e sen 1 x + CC y(1)=0 c 2 e sen 1 = 0 1 = n

VP n = 1 n ;
2 2
n = 1,2,3,... FP n ( x) = e 2 x sen nx n = 12
, ,3,..

{ e 2 x sen nx } n=1forma

El conjunto un conjunto ON completo con respecto a la funcin
ponderadora r (x)=e4x, en C[0,1].

2 1 1
Luego, n ( x) = e4 x e 4 x sen 2 nxdx = .
0 2

c e
1
Sea f ( x) = xe2 x = n
2 x
sen nx , con c n = 2 xe 2 x e 2 x e4 x sen nxdx
0
n =1

( 1)n+1
cn = 2
n

2( 1)n+1
y as xe 2 x = n
e 2 x sen nx
n =1

b) Sea y( x) = e n
2 x
sen nx la solucin del problema con n por determinar.
n=1

2(1)n+1
Luego, L[y] = xe2 x L ne2 x sen nx =
n=1
n
e2 x sen nx
n=1

2(1)n+1
2 x
nL(e sen nx) =
n=1
n
e2 x sen nx
n=1

2( 1)n+1 2( 1)n+1
e.d. e n n
2 x
sen nx = n
e2 x sen nx n =
n(1 n2 2 )
n =1 n=1

2( 1)n+1
Luego, la solucin del PVC es: y( x) = n(1 n 2 2
)
e 2 x sen nx
n =1

EJERCICIOS 4.

1. Exprese cada uno los siguientes operadores diferenciales lineales en forma autoadjunta:

44

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

1
a) D 2 + D + 1, x>0
x

b)(cos s)D 2 + (sen x)D 1 , < x<
2 2
c) x D + xD + ( x p ) , x>0, siendo p un nmero real.
2 2 2 2

d)(1 x2 )D 2 2 xD + n(n + 1) , -1<x<1 , siendo n un entero no negativo.

2. Hallar todos los VP y las FP de los SSL regulares

y"+ y = 0 y"+ y = 0
a) b)
y(0) = y() = 0 y( 0) = y'(1) = 0

y"+ y = 0 y"+ y = 0
c) d)
y'(0) = y'( ) = 0 y(1) = y(0) + y'(0) = 0

y"+ y = 0 y"+ y = 0
e) f)
y(1) = y(1), y'(1) = y'(1) y(0) = y(2 ), y'(0) = y'(2 )

y"+ y = 0 y"+ y'+(1 + )y = 0

g) h)
y(0) = y( ), y'(0) = y'( ) y(0) = y(1) = 0

y"+2y'+(1 ) y = 0 y"3 y'+3(1 + )y = 0

i) j)
y( 0) = y'(1) = 0 y'(0) = y'( ) = 0

[(2 + x)2 y'] + y = 0

x2 y"+3 xy'+y = 0 d
k) l) dx
y(1) = 0, y(e) = 0 y(1) = 0, y(1) = 0

(1 + x2 )y"+2(1 + x)y'+3y = 0
m)
y(0) = 0, y(1) = 0

SOLS.:
a) n = n 2 , n ( x) = sen nx n = 12
, ,3,..
2n 1 2n 1
2

b) n = , n ( x) = sen x n = 12
, ,3,..
2 2
c) n = n 2 , n ( x) = cos nx n = 0,12
, ,3,..
e) n = 0, n , n ( x) = 1,sen nx,cos nx n = 12
2 2
, ,3,..
f) n = 0, n , n ( x) = 1,sen nx,cos nx
2
n = 1,2,3,..
g) n = 0,4n2 , n ( x) = 1,sen 2nx,cos 2nx n = 12
, ,3,..

45

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

x
2
3
h) n = + n 2 2 , n ( x) = e 2 sen nx n = 12 , ,3,..
4
1
k) n = 1 + n2 2 , n ( x) = sen(n ln x), n = 12 , ,3,..
x
1 n
2
1 n
l) n = + , n ( x) = 1/ 2 sen
ln( x + 2) , n
4 ln 3 ( x + 2) ln 3

1 2n n
2
1
m) n = 1 + , n ( x) = 1/ 2 sen
ln(1 + x) , n
12 ln 2 (1 + x) ln 2

3. Determinar todos los VP y las FP de los SSL:

a) x2 y"+ xy'+ y = 0 , y(1)=0 ; y e y ' son acotadas en x=0

b) y "+y=0 ; y(0) = 0; y e y ' son acotadas al infinito.

d4 y
Probar que el PVC dx4 y = 0
2
4. a)
y(0) = y(1) = 0
y '(0)=y '(1)=0
1
tiene soluciones no triviales s y slo si cos = .
cosh
b) Usar la tcnica de hallar grficamente los VP, para demostrar que ste PVC tiene
infinitos VP no negativos n, donde n=0,1,2,..Cmo se comportan estos VP cuando n?
c) Cul es la solucin general del PVC correspondiente al VP n ?

5. L indica el operador diferencial de cuarto orden D4, y S indica el subespacio de C4[a,b] que
consiste de todas las funciones y tales que
y(a) = y "(a) = y(b) = y "(b) = 0.
a) Demostrar que
y1(Ly 2 ) y 2 (Ly1) = [ y1y 2 ' '' y 2 y1' ' ' y1 ' y 2 "+ y 2 ' y1 " ]' y1, y 2 S.

b) Usar el resultado en a) para probar que las FP correspondientes a diferentes VP para el PVC
L:SC[a,b] , son OG.

6. Transforme cada una de las siguientes EDO en la forma autoadjunta equivalente:

a) La ecuacin de Laguerre: xy "+(1-x)y '+ny=0 , n=0,1,2,3,...

b) La ecuacin de Hermite : y "-2xy '+2ny=0 , n=0,1,2,3...
c) La ecuacin de Tchebycheff : (1-x2)y "-xy '+n2y=0 , n=0,1,2,3...

7. Pruebe que: Si q(x) y (x) son continuas y p(x) es dos veces continuamente diferenciable en
[a,b], entonces las soluciones del SSL de cuarto orden

46

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

[p( x)y" ( x)]"+[q( x) + ( x)]y( x) = 0

[a1y + a2 (py" )' ] x= a = 0,[b1y + b2 (py" )' ] x=b = 0
[c1y'+ c 2 (py" )] x= a = 0,[d1y'+ d2 (py" )] x=b = 0

con a12 + a 22 0, b12 + b 22 0, c12 + c 22 0, d12 + d22 0 son OG con respecto a la funcin peso en [a,b].

8. En cada uno de los siguientes PVC, hallar las FP, los VP y determine en cada caso un espacio
euclidiano en el que un conjunto completo de FP para el problema dado, sea un conjunto ortogonal.

a) y"+(1 + ) y = 0; y( 0 ) = y( ) = 0
b) y"+(1 ) y = 0; y'( 0 ) = y'(1) = 0
c) y"+2 y'+(1 ) y = 0; y( 0 ) = y(1) = 0
d) y"4 y'+( 4 ) y = 0; y( 0 ) = y( ) = 0
e) 4 y"4 y'+(1 + ) y = 0; y( 1) = y(1) = 0
f) y"+(1 ) y = 0; y( 0 ) + y'( 0 ) = 0, y(1) + y'(1) = 0
g) y"+2 y'+(1 ) y = 0; y'( 0 ) = y'( ) = 0
h) y"3 y'+2(1 + ) y = 0; y( 0 ) = y(1) = 0
i) y "+4y '+(4-9)y=0 ; y(0)=y(a)=0.

SOLS:

a) n = n 2 , n ( x) = sen nx, n = 12
, ,3,..; Ortogonal en C[0,]
x
c) n = n , n ( x) = e sen nx,n = 12
2 2
, ,3,..;Ortogonal en C[0,1] con respecto a la funcin peso
e2x.
x/ 2 n x
e sen 2 ,n = 2,4,6,..
e) n = n , n ( x) =
2 2
; Ortogonal en C[-1,1] con respecto a la funcin peso e-
e x/ 2 cos nx , n = 13
, ,5,..
2
x

g) n = n 2 , n ( x) = e x (n cos nx + sen nx), n = 12

, ,3,..; = 1,( x) = 1; Ortogonal en C[0,] con
2x
respecto a la funcin peso e .

1 d
r dr (ry') + y = 0, 0 < r < a

9. Si las funciones propias del problema: c 1y( a) + c 2 y'( a) = 0

lm r 0 + y(r ) <

satisfacen lmr 0 + ry'(r ) = 0 , muestre que todos los VP son reales para c1 y c2 reales.

10. Hallar el desarrollo formal en serie de la solucin de los siguientes PVC, en trminos de
las FP del SSL asociado:

47

Prof. Dr. Ral F Jimnez

 UNIVERSIDAD DE CONCEPCIN

128 2n + 1

1
a) y "=x(x-2) , y(0)=0 , y '()=0 SOL: y = sen x
n= 0 (2n + 1) 5 2

b) y "=x2-2 , y '(0)=0 , y()=0.

nx 2
c) y "=sen , y'(0) = 0, y'(L) = 0 SOL.: No hay solucin; 0 = 0,c 0 = 0
L
n x
d) y "=sen , y(0) = 0, y'(L) = 0
L
x,0 x < / 2
e) y "= , y(0)=0 , y ()=0
x / 2, / 2 < x

(1)k +1 4
1 + ( 1)k +1

1
SOL.: y= sen(2k 1)x + sen 2kx
k =1 ( 2k 1) (2k 1) 3 8k
4 3

f) y "+y=1 ; y(0)=y(1)=0

g) y "+4y=ex ; y(0)=y '(1)=0

h) y "=senx ; y(0)=0; y(1)+2y '(1)=0

i) y "=-h(x) ; y(0)=y(2) , y '(0)=y '(2) , considerando que hC[0,2].

Sugerencia: considear los casos :

h( x)dx 0
2 2
h( x)dx = 0 y separadamente.
0 0

SOL.: Si la integral de h es distinta de cero, no hay solucin. Si es cero, entonces

y=c+ a n cos nx + bn sen nx,
n=1

1 2 1 2
donde an = h( x) cos nxdx, bn = h( x) sen nxdx y c es una cte. arbitraria.
0 0

11. Hallar todos los VP y las FP del SSL "singular" x2y "-xy '+(1+)y=0 considerando que y(1)=0,
y lm x 0 + y( x) < .
Cmo difieren los VP de otros problemas propuestos?
[Sugerencia: Note que se trata de la ecuacin de Euler y recuerde que cuando el polinomio
caracterstico tiene raices complejas, el espacio solucin en (0,) est generado por las

funciones x sen( ln x), x cos( ln x) ].
n
2 2
n x
SOL: VP n = 2 n=1,2,3,... FP n ( x) = e2 x sen n=1,2,3,...
9a a

48

Prof. Dr. Ral F Jimnez