Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Series de Potencia
Series de Potencia
y p( x ) y q( x ) y 0
en forma cannica :
Definiciones.
se llama punto ordinario de 1 o 1 si las funciones p( x )
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 )
y(x0) = y0 ,
y(x0) = b0
con x0 I
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:
Existen soluciones analticas de 1 en un entorno de x0 , es decir, soluciones de la
forma :
y a0 a 1 ( x x 0 ) a 2 ( x x 0 ) 2 ... a n ( x x 0 ) n ... 2
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 :
an ( x x0 )n a0 y1 ( x ) a1 y2 ( x )
n0
an ( x x0 )n
n0
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.
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.
p( x ) x
Es
. Ambas analticas en x0 = 0, con radios de convergencia de sus respectivos
q( x ) 1
R 1
desarrollos
, es decir x0 = 0 es punto ordinario..
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 an x n1
n 1
n0
n (n 1) an x n2
n2
En la ecuacin diferencial :
n (n 1) an x n2 -
n2
n an x n -
an x n 0
n1
n 0
en
Trmino independiente :
2 1 a2 a0 0
Coeficiente de x :
3 2 a3 a1 a1 0
............................
.................................
Coeficiente de xn :
n 2n 1an2 n 1an 0
a0
2
a1
a3
3
.................
a
an2 n
n2
a2
a n 2
n
Ley de recurrencia :
an
a0
a 2 n (2n)!!
a1
a
2 n 1
(2n 1)!!
n2
Por tanto :
x2 x4
x 2n
x3 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
y (0) 1
y (0) 0
Solucin particular:
y( x)
Luego
2n
x
(2n)!!
a0 1
a1 0
x2
2
x 2n
y( x) n
n!
0 2 n!
0
x2
y( x) e 2
Ejemplo 2
Hallar, por el mtodo de series de potencias en torno a x0 = 0, la solucin general de la
(1 x 2 )y 2xy 2y 0
ecuacin diferencial:
_____________
Es
2x
p( x ) 1 x 2
q( x ) 2
1 x2
Sustituyendo
y an xn
en la ecuacin diferencial:
n 0
n (n 1) an x n2 +
n2
n2
n1
n 0
n (n 1) an x n +2 n a n x n - 2 a n x n 0
5
Trmino independiente :
Coeficiente de x :
2a2 2a0 0
a2 a0
a3 0
............................
Coeficiente de xn :
.................................
.................
n 2n 1an2 nn 1an 2n an 2an 0
Luego a0 y a1 libres,
a n2
a2 = a0 , a3 = 0,
n(n 1) 2n 2
(n 1)(n 2)
n3
an
an an
a n 2
n 1
(n 1)(n 2)
(n 1)(n 2)
n2
(1) n 1
2n 3
2 n 3 2n 5
3 1 1
a0
a 2n2 ... ( 1) n
... a0
2n 1
2n 1
2n 1 2n 3
5 3 1
Por tanto :
x2 x4 x6
( 1) n1 2 n
...
x ... a1 x
y = a 0 1
1
3
5
2n 1
x 1
x3 x5 x7
y = a 0 1 x
... a1 x
3
5
7
1
y a 0 1 x arctg x a1 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
p(t )
q(t )
x - 1 = t x = t + 1.
dy dy dt
y , y y
dx dt dx
2
y (t 1) y y 0 ,
t0 = 0
t 1
2
Ambas analticas en t = 0 con R1 = R2 =
1
2
an t n
Sustituyendo y
n0
en la ecuacin diferencial :
2 n (n 1) a n t n 2 +
n2
............................
Coeficiente de tn :
a n2
Luego :
n an t n +
n1
Trmino independiente :
Coeficiente de t :
n a n t n1 +
n 1
an t n
n 0
a 0 a1
4
a1 a 2
a3
2 3 2 a3 a1 2a2 a1 0
6
.................................
..........................
2n 2n 1an2 n an (n 1)an1 an 0
2 2 1 a2 a1 a0 0
a2
(n 1)a n 1 (n 1)a n
a an
a
a n 1
n 1
a n n2
2(n 1)(n 2)
2 ( n 2)
2n
a a1
a1 0
3a a 0
a 0 a1
4
1
; a3
a2
6
24
4
a 0 a1 3a1 a 0
a2 a3
6a 6a1 3a1 a 0 5a 0 9a1
4
24
a4
8
8
192
192
( 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 an xn
en la ecuacin diferencial:
n 0
n (n 1) an x n2 - 2
n2
n an x n + 8
an x n 0
n1
n 0
a 2 4a0
a3 a1
Trmino independiente :
Coeficiente de x :
2a 2 8a0 0
6 a3 2a1 8a1 0
............................
Coeficiente de xn :
.................................
n 2n 1an2 2n an 8an 0
Luego :
a n 2
2( n 4 )
an .
( n 1 )( n 2 )
De donde: a n
.................
2( n 6 )
a n 2
n( n 1 )
n2
a0 3
a1 0
a 2 12
Luego: a 3 a 5 ...... 0
4a2
a 4
4
12
a6 0 a 8 a10 ..... 0
Por tanto:
y = 3 12 x2 + 4 x4
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
x 1.
a n x n . Sustituyendo en la ecuacin :
n 0
n 2
n 2
n 1
n 0
m(m 1)
a0
2 1
m(m 1) 2
(m 1)( m 2)
a3
a1
a1
3 2
3!
a2
x0 :
2 1 a 2 m(m 1)a 0 0
x1 :
.....
............................................................................................
xn :
n 2n 1a n2 nn 1a n 2n a n m(m 1)a n 0
a n 2
(m n )( m n 1)
an
(n 2)( n 1)
an
(m n 2)( m n 1)
a n 2
n (n 1)
n 2
Luego :
y a 0 1
x
x ...
2!
4!
a1 x
x
x ...
3
!
5
!
Es decir :
x 1
y a 0 y1 (x) a1 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
P2 ( x )
P1(x) = x
Algunas propiedades :
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 ...
2n 1
n
x Pn ( x )
Pn 1 ( x )
n1
n1
Pn 1 Pn 1 2( n 1 ) Pn
Pn 1 ( x )
P
(
x
)
P
(
x
)
d
x
2
1 m n
2n 1
1
mn
mn
10
La ecuacin de Hermite es :
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.
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 y
x real.
n0
Sustituyendo en la 5 :
n2
n2
n2
Luego :
Coeficiente de 1 :
2a 2 2a0 0
a2 a0
-------------------------------------------------------------------------------------Coeficiente de xn-2 :
Relacin de recurrencia : a n
n(n-1)an-2(n-2)an-2+2an= 0
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 ... 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 :
11
h0 ( x ) 1,
h1 ( x ) x ,
h2 ( x ) = 1 - 2 x 2 ,
h3 ( x ) = x -
2 3
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 , ...
H n ( x ) ( 1 )n e x
dn
dx
e x
n
e 2 tx t
Hn( x ) n
t
n!
n0
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
H m ( x )H n ( x )d x n
2 n! m n
12