Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Edtema 11
Edtema 11
Se ha visto en temas anteriores cmo resolver algunas ecuaciones lineales de 2 orden: las de
coeficientes constantes y algunas de coeficientes variables, como las de Euler o aquellas de las
que se conoce una solucin particular de la correspondiente homognea.
Pero, en general, no se ha visto cmo resolver las ecuaciones lineales con coeficientes
variables, algunas de las cuales aparecen ligadas a importantes problemas de la Fsica, como las
ecuaciones de Legendre, Hermite, Airy, Bessel, etc. que son de coeficientes polinmicos.
Adems, las ecuaciones hasta ahora vistas, generalmente tienen soluciones expresables en
trminos de un n finito de funciones elementales (polinomios, exponenciales, trigonomtricas,
etc., o inversas de stas). Otras veces, an sabiendo resolver la ecuacin, haba que expresar la
solucin por medio de una integral. Pero en general, las soluciones no pueden expresarse tan
fcilmente.
Es necesario por tanto, buscar otros modos de expresar las soluciones de ecuaciones lineales
de 2 orden, que propicien a su vez nuevos mtodos de resolucin de las mismas.
P( x ) y Q( x ) y R( x ) y 0 1
en forma cannica :
y p( x ) y q( x ) y 0 1
1
Definiciones.
Q( x )
Un punto x0 se llama punto ordinario de 1 o 1 si las funciones p( x ) y
P( x )
R( x )
q( x ) son analticas en x0 (es decir, si p(x) y q(x) tienen desarrollos en serie de Taylor
P( x )
en torno a x0 con radios respectivos de convergencia R1 y R2 no nulos)
Si P(x), Q(x), R(x) son polinomios, entonces x0 es punto ordinario de 1 si y slo si P(x0) 0
( siendo 1 no simplificable ).
Pero si adems es x0 un punto ordinario de 1 1, las p(x) y q(x) no slo son continuas en
I , sino analticas. Y cabe preguntarse entonces si las soluciones de tal ecuacin heredarn
dicha propiedad. Por tanto, si x0 es un punto ordinario de 1 , surgen las preguntas siguientes:
En caso afirmativo :
Es importante poder responder a estas preguntas, pues sera absurdo intentar buscar soluciones
de la forma 2, si no existen. Si existen en I, pueden adems derivarse trmino a trmino en I.
Las respuestas a estas preguntas las da el siguiente teorema, que ser enunciado, pero no
demostrado.
2
Teorema:
y an ( x x0 )n a0 y1 ( x ) a1 y2 ( x )
n 0
El radio de convergencia de las series y 1(x) e y2(x) es al menos tan grande como el mnimo
de los radios de convergencia de los desarrollos en serie de p(x) y q(x) en torno a x 0 (es
decir, al menos igual a la distancia de x 0 al punto singular ms prximo de la ecuacin
1, sea dicho punto real o complejo)
Observaciones:
a) La serie solucin puede converger con radio mayor que el indicado en el teorema.
c) Segn el teorema de existencia y unicidad, cada solucin est determinada de manera nica
por los valores y(x0) e y(x0), es decir por a0 y a1 . Por eso, todos los coeficientes se obtienen en
trminos de a0 y a1.
3
e) Es claro que podra usarse un mtodo semejante para ecuaciones diferenciales lineales, de
primer orden.
2. EJEMPLOS
Ejemplo 1
p( x) x
Es . Ambas analticas en x0 = 0, con radios de convergencia de sus respectivos
q( x) 1
R 1
desarrollos , es decir x = 0 es punto ordinario..
0
R 2
Luego, segn el teorema anterior, existe solucin de la ecuacin en serie de potencias de x,
vlida para todo x R .
Sea y a n x n . Por tanto : y n a n x n 1 , y n (n 1) a n x n 2
n0 n 1 n2
En la ecuacin diferencial :
n (n 1) a n x n 2 - n an x n - an x n 0 en
n2 n1 n 0
a0
Trmino independiente : 2 1 a2 a0 0 a2
2
a
Coeficiente de x : 3 2 a 3 a1 a1 0 a3 1
3
............................ ................................. .................
a
Coeficiente de xn : n 2 n 1 an 2 n 1 a n 0 a n 2 n
n2
4
an2
Ley de recurrencia : an n2
n
a0
a
2n (2n)!!
Luego a0 y a1 son libres y
a a1
2n1 (2n 1)!!
Por tanto :
x2 x4 x 2n x 3 x5 x 2 n1
y ( x ) a 0 1 ... ... a1 x ... ...
2!! 4!! (2n)!! 3!! 5!! (2n 1)!!
a 0 y1 ( x ) a1 y2 ( x ) x
y()0 1 a0 1
Solucin particular:
y()0 0 a1 0 n
x2
x 2n x2
Luego y( x) x 2n 2
y( x) n y( x) e 2
0 ( 2n )!!
0 2 n! 0 n!
Ejemplo 2
2x
p( x )
1 x2
Es Ambas analticas en x0 = 0 con R1 = R2 = 1
q( x) 2
1 x2
5
Sustituyendo y anxn en la ecuacin diferencial:
n 0
n (n 1) a n x n 2 + n (n 1) a n x n +2 n a n x n - 2 a n x n 0
n2 n2 n1 n 0
Trmino independiente : 2a 2 2a 0 0 a2 a0
Coeficiente de x : 6a 3 2a1 2a1 0 a3 0
............................ ................................. .................
Coeficiente de xn : n 2 n 1 a n2 n n 1 a n 2n a n 2a n 0
Luego a0 y a1 libres, a2 = a0 , a3 = 0,
n(n 1) 2n 2 (n 1)( n 2) n3
a n 2 an an an a n 2 n 2
(n 1)(n 2) (n 1)(n 2) n 1
2n 3 2n 3 2n 5 3 1 1 (1) n 1
a 2n = a 2 n 2 ... ( 1) n ... a 0 a0
2n 1 2n 1 2n 3 5 3 1 2n 1
Por tanto :
x2 x4 x6 ( 1) n 1
y = a0 1 ... x 2 n ... a1 x x 1
1 3 5 2 n 1
x x3 x5 x7
y = a 0 1 x ... a1 x y a 0 1 x arctg x a 1 x
1 3 5 7
Nota
En los dos primeros ejemplos, la relacin de recurrencia ha consistido nicamente en dos
trminos y adems poda deducirse fcilmente de ella, la forma general de an . Pero, pueden
aparecer relaciones con dos o ms trminos (Con 3 en el Ejemplo 3), que sean ms
complicadas, tales que no pueda determinarse la forma general de los coeficientes an. Entonces
slo podrn obtenerse algunos trminos.
6
Ejemplo 3
dy dy dt
Entonces y y , y y 2 y ( t 1) y y 0 , t0 = 0
dx dt dx
t 1
p( t )
2
Ambas analticas en t = 0 con R1 = R2 =
q(t ) 1
2
Luego existe solucin analtica en t = 0, vlida para todo t.
Sustituyendo y an t n en la ecuacin diferencial :
n0
2 n ( n 1) a n t n 2 + n a n t n + n a n t n 1 + a n t n 0
n2 n1 n 1 n 0
a 0 a1
Trmino independiente : 2 2 1 a 2 a1 a 0 0 a2
4
a a
Coeficiente de t : 2 3 2 a 3 a1 2 a 2 a1 0 a3 1 2
6
............................ ................................. ..........................
Coeficiente de tn : 2 n 2 n 1 a n 2 n a n (n 1) a n 1 a n 0
(n 1)a n 1 (n 1)a n a a a a
a n2 n 1 n a n n 2 n 1
2(n 1)(n 2) 2 ( n 2) 2n
a 0 a1
a a a1
Luego : a2 0 1 ;
a3 4 3a1 a 0
4
6 24
a0 a1 3a1 a 0
a2 a3 4 24 6a 0 6a1 3a1 a 0 5a 0 9a1
a4
8 8 192 192
7
( x 1) 2 ( x 1) 3 5
y ( x ) a 0 1 ( x 1) 4 ...
4 24 192
( x 1) 2 ( x 1) 3 9
a 1 ( x 1) ( x 1) 4 ... x
4 8 192
Ejemplo 4
Sustituyendo y anxn en la ecuacin diferencial:
n 0
n (n 1) a n x n 2 - 2 n an x n + 8 an x n 0
n2 n1 n 0
Trmino independiente : 2 a 2 8 a0 0 a 2 4 a0
Coeficiente de x : 6 a 3 2 a1 8 a 1 0 a 3 a1
............................ ................................. .................
Coeficiente de xn : n 2 n 1 a n2 2n a n 8 a n 0
2( n 4 ) 2( n 6 )
Luego : a n 2 a n . De donde: a n a n2 n2
( n 1 )( n 2 ) n( n 1 )
a0 3
a1 0
a 2 12
Luego: a 3 a 5 ...... 0 Por tanto: y = 3 12 x2 + 4 x4
4a2
a 4 4
12
a6 0 a 8 a10 ..... 0
8
Ejemplo 5: Ecuacin y polinomios de Legendre (1752-1833)
2x
p ( x )
1 x2
Es Ambas analticas en x0 = 0 con radio de convergencia de los respectivos
q( x ) m(m 1)
1 x2
desarrollos : R1 = R2 = 1
Luego x0 = 0 es punto ordinario, existiendo solucin en serie de potencias de x, vlida, al menos para x 1.
Sea y anxn . Sustituyendo en la ecuacin :
n 0
n (n 1)a n x n 2 - n (n 1)a n x n -2 n a n x
n
+ m(m 1)a n x n 0
n 2 n 2 n 1 n 0
m( m 1)
x0 : 2 1 a 2 m(m 1)a 0 0 a2 a0
2 1
m(m 1) 2 (m 1)(m 2)
x1 : 3 2 a 3 2a 1 m(m 1)a 1 0 a3 a1 a1
3 2 3!
..... ............................................................................................
x :
n
n 2 n 1 a n 2 n n 1 a n 2n a n m(m 1)a n 0
9
( m n )(m n 1)
a n 2 an
(n 2)(n 1)
( m n 2)(m n 1)
an a n 2 n2
n (n 1)
Luego :
m( m 1) 2 ( m 2) m( m 1)(m 3) 4
y a 0 1 x x ...
2! 4!
( m 1)(m 2) 3 (m 3)(m 1)(m 2)(m 4) 5
a1 x x x ... x 1
3! 5!
Es decir : y a 0 y1 ( x ) a 1 y 2 ( x )
Si m = 0, 1, 2, ... una de las dos series es un polinomio de grado m. Dichos polinomios p n(x) son
respectivamente :
5 3
p0 = 1 p1(x) = x p2(x) = 1 - 3 x2 p3(x) = x - x ......
3
Se llama polinomio de Legendre de orden m y se designa con Pm(x), a la solucin polinmica de la ecuacin
de Legendre de parmetro m ( o sea, el mltiplo de pn(x), tal que Pm(1) = 1.
Ser:
3 2 1 5 3 3
P0(x) = 1 P1(x) = x P2 ( x ) x P3 ( x ) x x .........
2 2 2 2
1 dn
Pn ( x ) ( x 2 1 )n
( 2 n )! ! d x n
1 2 xt t 1
2 2
P0 ( x ) P1 ( x )t P2 ( x )t 2 ...
10
2n 1 n
Pn 1 ( x ) x Pn ( x ) Pn 1 ( x )
n1 n1
Pn 1 Pn 1 2( n 1 ) Pn
0 mn
1
1
Pm ( x )Pn ( x )d x 2
2n 1 m n
4
La ecuacin de Hermite es :
y 2 x y 2 y 0 5
Aparece esta ecuacin, por ejemplo en la mecnica cuntica, a partir de la ecuacin de Schrdinger para un
oscilador armnico.
Sustituyendo en la 5 :
n( n 1 )an x n 2 2 nan x n 2 an x n 0 x
n2 n2 n2
Luego :
Coeficiente de 1 : 2a 2 2a0 0 a2 a0
11
--------------------------------------------------------------------------------------
Coeficiente de xn-2 : n(n-1)an-2(n-2)an-2+2an= 0
2( 2 n )a n 2
Relacin de recurrencia : a n n 2
n( n 1 )
Luego :
2 2 2 2 ( 2 ) 4 2 3 ( 2 )( 4 ) 6
y ( x ) a0 1 x x x ...
2! 4! 6!
2( 1 ) 3 2 2 ( 1 )( 3 ) 5 2 3 ( 1 )( 3 )( 5 ) 7
a1 x x x x ... x
3! 5 ! 7 !
Para = 0,1,2, ... una de las dos series es un polinomio. Dichos polinomios h n(x), para = n =
0,1,2,... son respectivamente :
2 3
h0 ( x ) 1, h1 ( x ) x , h2 ( x ) = 1 - 2 x 2 , h3 ( x ) = x - x , ...
3
H 0 ( x ) 1, H 1( x ) 2 x, H 2 ( x ) = 4 x 2 - 2, H 3 ( x ) = 8 x 3 - 12 x , ...
2 dn 2
H n ( x ) ( 1 )n e x n
e x
dx
2 Hn( x ) n
e 2 tx t n!
t
n0
12
H n 1 ( x ) 2 x H n ( x ) 2 n H n 1 ( x )
H 'n ( x ) 2 n H n 1 ( x )
x2 0 m n
e
H m ( x )H n ( x )d x n
2 n! m n
13