Beruflich Dokumente
Kultur Dokumente
y p( x ) y q( x ) y 0
en forma cannica :
Definiciones.
Un punto x0
q( x )
Q( x )
P( x )
R( x )
son analticas en x0 (es decir, si p(x) y q(x) tienen desarrollos en serie de Taylor
P( x )
En caso afirmativo :
Cmo se obtienen los coeficientes an?
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.
Las respuestas a estas preguntas las da el siguiente teorema, que ser enunciado, pero no
demostrado.
Teorema:
Si x0 es un punto ordinario de 1 ( 1 ) entonces la solucin general de 1 en un
cierto entorno de x0 puede escribirse en la forma 2 y a su vez :
y
an ( x x0 )n
n 0
a0 y1 ( x ) a1 y2 ( x )
n 0
e) Es claro que podra usarse un mtodo semejante para ecuaciones diferenciales lineales, de
primer orden.
2. EJEMPLOS
Ejemplo 1
Hallar la solucin general de la ecuacin diferencial y xy y 0 , 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( x) x
q( x) 1
R1
desarrollos
R2
a n x n . Por tanto :
n0
n a n x n 1 ,
n 1
n (n 1) a n x n2
n2
En la ecuacin diferencial :
n2
n1
n 0
n (n 1) a n x n 2 - n a n x n - a n x n 0
Trmino independiente :
2 1 a2 a0 0
Coeficiente de x :
3 2 a 3 a1 a1 0
............................
.................................
Coeficiente de xn :
n 2 n 1 a n2 n 1 a n
Ley de recurrencia :
an
en
a0
2
a
a3 1
3
.................
a
a n 2 n
n2
a2
a n2
n2
n
a0
a
2n (2n)!!
a a1
2n1 (2n 1)!!
Por tanto :
x2 x4
x 2n
x 3 x5
x 2 n 1
y ( x ) a 0 1 ...
... a1 x ...
...
(2n)!!
3!! 5!!
(2n 1)!!
2!! 4!!
a 0 y1 ( x ) a1 y 2 ( x )
x
Solucin particular:
y()0 1 a0 1
y()0 0 a1 0
y( x)
Luego
2n
(2n)!!
0
x 2n
y( x) n
0 2 n!
0
x2
n!
y( x)
x2
e 2
Ejemplo 2
Hallar, por el mtodo de series de potencias en torno a x 0 = 0, la solucin general de la
ecuacin diferencial: (1 x 2 )y 2xy 2y 0
_____________
Es
2x
p(
x
)
1 x2
q( x) 2
1 x2
x 1.
y anxn
Sustituyendo
en la ecuacin diferencial:
n 0
n2
n2
n1
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
Trmino independiente :
Coeficiente de x :
2a 2 2a 0 0
............................
Coeficiente de xn :
.................................
Luego a0 y a1 libres,
a n2
a 2 a0
6a 3 2a1 2a1 0
a3 0
.................
n 2 n 1 a n2 n n 1 a n 2n a n 2a n 0
a2 = a0 , a3 = 0,
n(n 1) 2n 2
(n 1)(n 2)
n3
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 2 n 2 ... ( 1) n
... a 0
a0
2n 1
2n 1 2 n 3
5 3 1
2n 1
Por tanto :
x2
x4
x6
( 1) n1
x 2n ... a1 x
y = a 0 1 ...
1
3
5
2
n
x 1
x3 x5 x7
a
1
...
y = 0
3
5
7
1
a1 x
y a 0 1 x arctg x a 1 x
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.
Ejemplo 3
x - 1 = t x = t + 1.
Entonces y
dy dy dt
y , y y
dx dt dx
t 1
p(
t
)
q(t ) 1
2 y ( t 1) y y 0 ,
t0 = 0
an t n
n0
en la ecuacin diferencial :
2 n (n 1) a n t n 2 +
n2
n1
n 1
n 0
n a n t n + n a n t n 1 + a n t n
Trmino independiente :
2 2 1 a 2 a1 a 0 0
Coeficiente de t :
2 3 2 a 3 a1 2 a 2 a 1 0
............................
Coeficiente de tn :
.................................
a n 2
Luego :
a 0 a1
4
a a
a3 1 2
6
a2
..........................
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
n 1 n a n n 2 n 1
2(n 1)(n 2)
2( n 2)
2n
a 0 a1
4 3a1 a 0
6
24
a 0 a1 3a1 a 0
a2 a3
24 6a 0 6a1 3a1 a 0 5a 0 9a1
a4
4
8
8
192
192
a a
a1
a2 0 1 ;
a3
4
( 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 ...
4
8
192
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.
Sustituyendo
y anxn
en la ecuacin diferencial:
n 0
n (n 1) a n x n 2 - 2
n2
n an x n + 8
n1
Trmino independiente :
Coeficiente de x :
............................
Coeficiente de xn :
Luego :
a n 2
an x n 0
n 0
2 a 2 8 a0 0
a 2 4 a0
6 a 3 2 a1 8 a1 0
a 3 a1
.................................
n 2 n 1 a n2 2n a n 8 a n 0
2( n 4 )
2( n 6 )
a n . De donde: a n
a n2
n( n 1 )
( n 1 )( n 2 )
.................
n2
a0 3
a1 0
a 2 12
a 3 a 5 ...... 0
Luego:
Por tanto:
y = 3 12 x2 + 4 x4
4a2
4
12
a6 0 a 8 a10 ..... 0
a4
Es
2x
p
(
x
)
1 x2
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
Sea y
anxn
n 0
. Sustituyendo en la ecuacin :
n (n 1)a n x n 2
n 2
x 1.
n (n 1)a n x n
n 2
-2 n a n x
n 1
m(m 1)a n x n
n 0
m(m 1)
a0
2 1
m(m 1) 2
(m 1)(m 2)
a3
a1
a1
3 2
3!
x0 :
2 1 a 2 m(m 1)a 0 0
x1 :
3 2 a 3 2a 1 m(m 1)a 1 0
.....
............................................................................................
x :
a2
n 2 n 1 a n 2 n n 1 a n 2n a n m(m 1)a n 0
a n 2
an
( m n )(m n 1)
an
(n 2)( n 1)
(m n 2)(m n 1)
a n 2
n ( n 1)
n 2
Luego :
m( m 1) 2 ( m 2) m(m 1)(m 3) 4
y a0 1
x
x ...
2!
4!
a1 x
x
x ...
3!
5!
Es decir :
x 1
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 :
p0 = 1
p1(x) = x
p2(x) = 1 - 3 x2
p3(x) = x -
5 3
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
Algunas propiedades :
P2 ( x )
3 2 1
x
2
2
P3 ( x )
5 3 3
x x
2
2
.........
(Sin demostraciones)
Pn ( x )
1
dn
( 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
x Pn ( x )
Pn 1 ( x )
n1
n1
Pn 1 Pn 1 2( n 1 ) Pn
Pn 1 ( x )
mn
Pm ( x )Pn ( x )d x 2
1
2n 1 m n
y 2 x y 2 y 0
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 x 0= 0.
El x0 = 0 es un punto ordinario de la ecuacin 5, pues p(x) = -2x
Adems los radios de convergencia de los respectivos desarrollos, son ambos infinitos. Luego existe solucin de
5 , de la forma y
x real.
n 0
Sustituyendo en la 5 :
n2
n2
n2
n( n 1 )an x n 2 2 nan x n 2 an x n
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
Relacin de recurrencia : a n
2( 2 n )a n 2
n( n 1 )
n 2
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 ...
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 :
h0 ( x ) 1,
h2 ( x ) = 1 - 2 x 2 ,
h1 ( x ) x ,
h3 ( x ) = x -
2 3
x , ...
3
H 2 ( x ) = 4 x 2 - 2,
H 1( x ) 2 x,
H 3 ( x ) = 8 x 3 - 12 x , ...
H n ( x ) ( 1 )n e x
dn
dx
e x
e 2 tx t
Hn( x ) n
t
n!
n 0
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 )
0 m n
x2
H m ( x )H n ( x )d x n
2 n! m n
13