Académique Documents
Professionnel Documents
Culture Documents
y
q( )
R( )
P( )
x
x
x
son analticas en x
0
(es decir, si p(x) y q(x) tienen desarrollos en serie de
Taylor en torno a x
0
con radios respectivos de convergencia R
1
y R
2
no nulos)
Si P(x), Q(x), R(x) son polinomios, entonces x
0
es punto ordinario de [ 1 ] si y slo si P(x
0
) 0
( siendo [1] no simplificable ).
Si x
0
no es punto ordinario, se llama punto singular de la ecuacin [ 1 ] [ 1 ] .
______________
Segn el estudio de las ecuaciones diferenciales lineales homogneas, la simple continuidad
de p(x) y q(x) en un entorno I de un x
0
, es suficiente para garantizar la existencia de dos
soluciones linealmente independientes de la ecuacin [1] en dicho entorno, as como para
garantizar la existencia y unicidad de solucin del problema de valor inicial definido por [1]
y las condiciones: y(x
0
) = y
0
, y(x
0
) = b
0
con x
0
I
Pero si adems es x
0
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 x
0
es un punto ordinario de [1] , surgen las preguntas siguientes:
Existen soluciones analticas de [1] en un entorno de x
0
, es decir, soluciones de la
forma :
... ) x x ( a ... ) x x ( a ) x x ( a a y
n
0 n
2
0 2 0 1 0
+ + + + +
[2]
En caso afirmativo :
Cmo se obtienen los coeficientes a
n
?
Dnde converge la serie [2] ?
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.
2
Las respuestas a estas preguntas las da el siguiente teorema, que ser enunciado, pero no
demostrado.
Teorema:
Si x
0
es un punto ordinario de [1] ( [1] ) entonces la solucin general de [1] en un
cierto entorno de x
0
puede escribirse en la forma [2] y a su vez :
) x ( y a ) x ( y a ) x x ( a y
2 1 1 0
0 n
n
0 n
+
siendo a
0
, a
1
ctes arbitrarias e y
1
(x), y
2
(x) analticas en un entorno I de x
0
, y
linealmente independientes en I.
El radio de convergencia de las series y
1
(x) e y
2
(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)
Los coeficientes a
n
de la serie [2] se obtienen en trminos de a
0
y a
1
, sustituyendo la
serie genrica
0 n
n
0 n
) x x ( a y
en [1], (as como los desarrollos de p(x) y q(x) si P(x),
Q(x), R(x) no son polinomios) y procediendo por coeficientes indeterminados.
Observaciones:
a) La serie solucin puede converger con radio mayor que el indicado en el teorema.
b) Si el punto ordinario es x
0
0, pueden simplificarse las notaciones trasladando x
0
al
origen, mediante el cambio x - x
0
= t.
c) Segn el teorema de existencia y unicidad, cada solucin est determinada de manera nica
por los valores y(x
0
) e y(x
0
), es decir por a
0
y a
1
. Por eso, todos los coeficientes se obtienen
en trminos de a
0
y a
1
.
d) El mtodo para resolver una ecuacin completa :
+ + y x y x y x p( ) q( ) h( )
, siendo x
0
punto ordinario y h(x) analtica en x
0
, es anlogo. En este caso, tambin hay que desarrollar
h(x) en serie de potencias en torno a x
0
, antes de proceder por coeficientes indeterminados.
3
Tambin podra resolverse en primer lugar la ecuacin homognea y actuar luego por
variacin de constantes, o por reduccin de orden.
e) Es claro que podra usarse un mtodo semejante para ecuaciones diferenciales lineales, de
primer orden.
EJEMPLOS
Ejemplo 1
Hallar la solucin general de la ecuacin diferencial
0 y y x y
, determinando
dos soluciones linealmente independientes en serie de potencias de x . Campo de validez
de las mismas. En particular obtener la solucin tal que y(0) = 1 y(0) = 0.
_____________
Es
p ()
q ()
x x
x
'
1
. Ambas analticas en x
0
= 0, con radios de convergencia de sus respectivos
desarrollos
R
R
1
2
'
, es decir x
0
= 0 es punto ordinario..
Luego, segn el teorema anterior, existe solucin de la ecuacin en serie de potencias de x,
vlida para todo x R .
Sea
y a x
n
n
n
0
. Por tanto :
y n a x
n
n
n
1
1
,
y n n a x
n
n
n
( ) 1
2
2
En la ecuacin diferencial :
n n a x
n
n
n
( )
1
2
2
-
n a x
n
n
n
1
-
a x
n
n
n
0
0 en
Trmino independiente :
2 1 0
2 0
a a a
a
2
0
2
Coeficiente de x :
3 2 0
3 1 1
a a a a
a
3
1
3
............................ ................................. .................
Coeficiente de x
n
: ( ) ( ) ( ) n n a n a
n n
+ + +
+
2 1 1 0
2
+
+
a
a
n
n
n
2
2
4
Ley de recurrencia : a
a
n
n
n
n
2
2
Luego a
0
y a
1
son libres y
a
a
n
a
a
n
n
n
2
0
2 1
1
2
2 1
'
+
( )! !
( )! !
Por tanto :
y x a
x x x
n
a x
x x x
n
a y x a y x x
n n
( )
!! !!
...
( )!!
...
!! !!
...
( )!!
...
( ) ( )
+ + + + +
1
]
1
+ + + + +
+
+
1
]
1
+
+
0
2 4 2
1
3 5 2 1
0 1 1 2
1
2 4 2 3 5 2 1
Solucin particular:
y
y
a
a
( )
( )
0 1
0 0
1
0
0
1
'
Luego y x
x
n
n
( )
( )!!
2
0
2
_
,
y x
x
n
x
n
n
n
n
( )
! !
2
0
2
0
2
2
2
x
2
e ) x ( y
Ejemplo 2
Hallar, por el mtodo de series de potencias en torno a x
0
= 0, la solucin general de la
ecuacin diferencial: 0 y 2 y x 2 y ) x 1 (
2
+ +
_____________
5
Es
p ( )
q ( )
x
x
x
x
x
'
2
1
2
1
2
2
Ambas analticas en x
0
= 0 con R
1
= R
2
= 1
Luego existe solucin analtica en x
0
= 0, vlida al menos para
x <1
.
Sustituyendo y a x
n
n
n
0
en la ecuacin diferencial:
n n a x
n
n
n
( )
1
2
2
+
n n a x
n
n
n
( )
1
2
+2
n a x
n
n
n
1
- 2
a x
n
n
n
0
0
Trmino independiente :
2 2 0
2 0
a a a a
2 0
Coeficiente de x :
6 2 2 0
3 1 1
a a a + a
3
0
............................ ................................. .................
Coeficiente de x
n
: ( ) ( ) ( ) n n a n n a n a a
n n n n
+ + + +
+
2 1 1 2 2 0
2
Luego a
0
y a
1
libres, a
2
= a
0
, a
3
= 0,
a
n n n
n n
a
n n
n n
a
n n n +
+
+ +
+
+ +
2
1 2 2
1 2
1 2
1 2
( )
( )( )
( )( )
( )( )
a
n
n
a
n n
3
1
2 n 2
Como a
3
= 0 a
5
= a
7
= ... = a
2n+1
= ... = 0
a
n 2
=
_
,
2 3
2 1
1
2 3
2 1
2 5
2 3
3
5
1
3
1
1
2 2 0
n
n
a
n
n
n
n
a
n
n
... ( ) ...
( )
+
1
2 1
1
0
n
n
a
Por tanto :
y =
a
x x x
n
x a x x
n
n
0
2 4 6 1
2
1
1
1 3 5
1
2 1
1 + + + +
1
]
1
+ <
+
...
( )
...
En este caso puede sumarse la serie :
y =
a x
x x x x
a x
0
3 5 7
1
1
1 3 5 7
+ + +
_
,
1
]
1
1
+ ...
[ ] x a x arctg x 1 a y
1 0
+ +
6
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 a
n
. 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 a
n.
Entonces slo podrn obtenerse algunos trminos.
Ejemplo 3
Hallar por el mtodo de series de potencias en torno a x
0
= 1 los trminos hasta la
potencia de grado 4, correspondientes a la solucin general de la ecuacin diferencial:
0 y y x y 2 + +
Se efecta el cambio de variable : x - 1 = t x = t + 1.
Entonces y y , y
x d
t d
t d
y d
x d
y d
y 2 1 0 ( ) y t y y + + +
, t
0
= 0
p ()
q ( )
t
t
t
'
1
2
1
2
Ambas analticas en t
= 0 con R
1
= R
2
=
Luego existe solucin analtica en t
= 0, vlida para todo t.
Sustituyendo
y a t
n
n
n
0
en la ecuacin diferencial :
2 1
2
2
n n a t
n
n
n
( )
+
n a t
n
n
n
1
+
n a t
n
n
n
1
1
+
a t
n
n
n
0
0
Trmino independiente :
2 2 1 0
2 1 0
+ + a a a
+
a
a a
2
0 1
4
Coeficiente de t :
2 3 2 2 0
3 1 2 1
+ + + a a a a
+
a
a a
3
1 2
6
............................ ................................. ..........................
Coeficiente de t
n
: ( ) ( ) 2 2 1 1 0
2 1
n n a n a n a a
n n n n
+ + + + + +
+ +
( )
a
n a n a
n n
a a
n
a
a a
n
n
n n n n
n
n n
+
+ +
+ + +
+ +
+
+
+
2
1 1 2 1
1 1
2 1 2 2 2 2
( ) ( )
( )( ) ( )
7
Luego : a
a a
2
0 1
4
+
;
a
a
a a
a a
3
1
0 1
1 0 4
6
3
24
+
a
a a
a a a a
a a a a a a
4
2 3
0 1 1 0
0 1 1 0 0 1
8
4
3
24
8
6 6 3
192
5 9
192
+
+
+
+
+ +
+
x ... ) 1 x (
192
9
8
) 1 x (
4
) 1 x (
) 1 x ( a
... ) 1 x (
192
5
24
) 1 x (
4
) 1 x (
1 a ) x ( y
4
3 2
1
4
3 2
0
1
1
]
1
+ +
+
1
1
]
1
+ +
Ejemplo 4
Hallar, por el mtodo de series, la solucin del problema de valor inicial:
y 2xy + 8y = 0 ; y(0) = 3 , y(0) = 0.
Son p(x) = -2x y q(x) = 8 , ambas analticas en x
o
= 0 , con R
1
= R
2
=
Por tanto, existe solucin y = y(x), analtica en x
o
= 0, vlida para todo x.
Sustituyendo y a x
n
n
n
0
en la ecuacin diferencial:
n n a x
n
n
n
( )
1
2
2
- 2
n a x
n
n
n
1
+ 8
a x
n
n
n
0
0
Trmino independiente :
0 a 8 a 2
0 2
+
0 2
a 4 a
Coeficiente de x :
0 a 8 a 2 a 6
1 1 3
+
1 3
a a
............................ ................................. .................
Coeficiente de x
n
:
( )( ) 0 a 8 a n 2 a 1 n 2 n
n n 2 n
+ + +
+
Luego : n 2 n
a
) 2 n )( 1 n (
) 4 n ( 2
a
+ +
+ . De donde:
2 n n
a
) 1 n ( n
) 6 n ( 2
a
n 2
Se pide la solucin tal que : y(0) = 3 e y(0) = 0 , es decir, tal que a
o
= 3 y a
1
= 0.
8
Luego:
'
0 ..... a a 0 a
4
12
a 4
a
0 ...... a a
12 a
0 a
3 a
10 8 6
2
4
5 3
2
1
0
Por tanto: y = 3 12 x
2
+ 4 x
4
Ejemplo 5: Ecuacin y polinomios de Legendre (1752-1833)
La ecuacin de Legendre de parmetro m 0 es :
0 y ) 1 m ( m y x 2 y ) x 1 (
2
+ +
[3]
Se trata de hallar soluciones en serie de potencias de x, es decir en torno a x0= 0.
Es
'
2
2
x 1
) 1 m ( m
) x ( q
x 1
x 2
) x ( p
Ambas analticas en x0 = 0 con radio de convergencia de los respectivos
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
0 n
n
n
x a y . Sustituyendo en la ecuacin :
2 n
2 n
n
x a ) 1 n ( n
-
2 n
n
n
x a ) 1 n ( n
-2
1 n
n
n
x a n
+
+
0 n
n
n
x a ) 1 m ( m
0
Habrn de ser nulos los coeficientes de todas las potencias de x.
9
x
0
: 0 a ) 1 m ( m a 1 2
0 2
+ +
0 2
a
1 2
) 1 m ( m
a
+
x
1
: 0 a ) 1 m ( m a 2 a 2 3
1 1 3
+ +
1 1 3
a
! 3
) 2 m )( 1 m (
a
2 3
2 ) 1 m ( m
a
+
+
..... ............................................................................................
x
n
: ( )( ) ( ) 0 a ) 1 m ( m a n 2 a 1 n n a 1 n 2 n
n n n 2 n
+ + + +
+
+ +
+ +
+ n 2 n
a
) 1 n )( 2 n (
) 1 n m )( n m (
a
2 n a
) 1 n ( n
) 1 n m )( 2 n m (
a
2 n n
+ +
Luego :
1 x ... x
! 5
) 4 m )( 2 m )( 1 m )( 3 m (
x
! 3
) 2 m )( 1 m (
x a
... x
! 4
) 3 m )( 1 m ( m ) 2 m (
x
! 2
) 1 m ( m
1 a y
5 3
1
4 2
0
<
1
]
1
+ +
+
+
1
]
1
+ +
+
+
Es decir : ) x ( y a ) x ( y a y
2 1 1 0
+
Si m = 0, 1, 2, ... una de las dos series es un polinomio de grado m. Dichos polinomios pn(x) son
respectivamente :
p0 = 1 p1(x) = x p2(x) = 1 - 3 x
2
p3(x) = x -
3
5
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:
P0(x) = 1 P1(x) = x
2
1
x
2
3
) x ( P
2
2
x
2
3
x
2
5
) x ( P
3
3
.........
Algunas propiedades : (Sin demostraciones)
Los polinomios de Legendre pueden darse mediante la frmula de Rodrigues :
n 2
n
n
n
) 1 x (
x d
d
! )! n 2 (
1
) x ( P
O mediante una funcin generadora, debida a Legendre :
10
( ) ... t ) x ( P t ) x ( P ) x ( P t xt 2 1
2
2 1 0
2 2
1
+ + + +
Tambin mediante frmulas de recurrencia :
n 1 n 1 n
1 n n 1 n
P ) 1 n ( 2 P P
) x ( P
1 n
n
) x ( P x
1 n
1 n 2
) x ( P
+
+
+
+
+
+
Cumplen la relacin de ortogonalidad :
'
n m
1 n 2
2
n m 0
x d ) x ( P ) x ( P
1
1
n m
[4]
La ecuacin de Legendre aparece en varios problemas de la Fsica dotados de simetra esfrica.
Ejemplo 6: Ecuacin y polinomios de Hermite (1822 -1901)
La ecuacin de Hermite es :
0 y 2 y x 2 y +
[5]
Aparece esta ecuacin, por ejemplo en la mecnica cuntica, a partir de la ecuacin de Schrdinger para un
oscilador armnico.
Se trata ahora de obtener su solucin por el mtodo de series, en torno a x0= 0.
El x0 = 0 es un punto ordinario de la ecuacin [5], pues p(x) = -2x y q(x) = 2 son analticas en x = 0.
Adems los radios de convergencia de los respectivos desarrollos, son ambos infinitos. Luego existe solucin
de [5] , de la forma
0 n
n
n
x a y , vlida para todo x real.
Sustituyendo en la [5] :
11
x 0 x a 2 x na 2 x a ) 1 n ( n
2 n
n
n
2 n
n
n
2 n
2 n
n
Luego :
Coeficiente de 1 : 0 a 2 a 2
0 2
+
0 2
a a
--------------------------------------------------------------------------------------
Coeficiente de x
n-2
: n(n-1)an-2(n-2)an-2+2an= 0
Relacin de recurrencia :
) 1 n ( n
a ) n 2 ( 2
a
2 n
n
n 2
Luego :
x ... x
! 7
) 5 )( 3 )( 1 ( 2
x
! 5
) 3 )( 1 ( 2
x
! 3
) 1 ( 2
x a
... x
! 6
) 4 )( 2 ( 2
x
! 4
) 2 ( 2
x
! 2
2
1 a ) x ( y
7
3
5
2
3
1
6
3
4
2
2
0
1
1
]
1
1
1
]
1
+
Para = 0,1,2, ... una de las dos series es un polinomio. Dichos polinomios hn(x), para = n =
0,1,2,... son respectivamente :
... , x
3
2
- x = ) x ( h , x 2 - 1 = ) x ( h , x ) x ( h , 1 ) x ( h
3
3
2
2 1 0
Se llama polinomio de Hermite de grado n , y se designa Hn(x), a la solucin polinmica de la ecuacin de
Hermite de parmetro = n ( o sea el mltiplo de hn(x)), cuyo coeficiente de x
n
es 2
n
. Ser por tanto :
... , x 12 - x 8 = ) x ( H 2, - x 4 = ) x ( H , x 2 ) x ( H , 1 ) x ( H
3
3
2
2 1 0
Algunas propiedades: (sin demostracin)
Los polinomios de Hermite pueden darse mediante la frmula de Rodrigues :
2 2
x
n
n
x n
n
e e
x d
d
) 1 ( ) x ( H
Tambin por medio de la funcin generadora :
12
0 n
n n t tx 2
t
! n
) x ( H
2
e
O mediante las frmulas de recurrencia :
) x ( H n 2 ) x ( H
) x ( H n 2 ) x ( H x 2 ) x ( H
1 n
'
n
1 n n 1 n
Cumplen la relacin de ortogonalidad:
'
n m ! n 2
n m 0
x d ) x ( H ) x ( H
n
n m
x
2
e
13