=
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.
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
5
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. 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.
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
6
2. 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 e 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 9
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
............................ ................................. .................
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
7
Coeficiente de x
n
: ( )( ) ( ) n n a n a
n n
+ + + =
+
2 1 1 0
2
=
+
+
a
a
n
n
n
2
2
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
( )
!! !!
...
( )!!
...
!! !!
...
( )!!
...
( ) ( )
= + + + + +
(
+ + + + +
+
+
(
= + e9
+
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
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
8
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
= ' + ' ' +
_____________
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,
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
9
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 + + + +
(
+ <
+
...
( )
...
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
+ + +
|
\
|
.
|
(
(
+ ... | | x a x arctg x 1 a y
1 0
+ + =
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
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
10
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
+ + + + + + =
+ +
( )
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
11
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
( ) ( )
( )( ) ( )
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
(
(
+ +
+
(
(
+ +
=
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.
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
12
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.
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:
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
13
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 x
0
= 0.
Es
+
=
=
2
2
x 1
) 1 m ( m
) x ( q
x 1
x 2
) x ( p
Ambas analticas en x
0
= 0 con radio de convergencia de los
respectivos desarrollos: R
1
= R
2
= 1
Luego x
0
= 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.
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
= + + + +
+
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
14
+ +
+ +
=
+ 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
<
(
+ +
+
+
+ +
+
+
=
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
p
n
(x) son respectivamente :
p
0
= 1 p
1
(x) = x p
2
(x) = 1 - 3 x
2
p
3
(x) = x -
3
5
x
3
......
Se llama polinomio de Legendre de orden m y se designa con P
m
(x), a la solucin
polinmica de la ecuacin de Legendre de parmetro m (o sea, el mltiplo de p
n
(x), tal que
P
m
(1) = 1.
Ser:
P
0
(x) = 1 P
1
(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 Rodrguez :
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
15
n 2
n
n
n
) 1 x (
x d
d
! )! n 2 (
1
) x ( P =
- O mediante una funcin generadora, debida a Legendre :
( ) ... 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|
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
16
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 x
0
= 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| :
9 e =
=
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)a
n
-2(n-2)a
n-2
+2a
n
= 0
Relacin de recurrencia:
) 1 n ( n
a ) n 2 ( 2
a
2 n
n
+
=
n> 2
Luego:
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
17
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
(
(
(
(
+ =
Para = 0, 1,2,... una de las dos series es un polinomio. Dichos polinomios h
n
(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 H
n
(x), a la solucin polinmica de
la ecuacin de Hermite de parmetro = n ( o sea el mltiplo de h
n
(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 :
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
18
=
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
t
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
19
Solucin de ecuaciones diferenciales mediante Series de Taylor
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
20
Ejemplos de Series de Potencias
La forma de resolver las ecuaciones diferenciales aplicando el mtodo de las
series de potencias es el siguiente:
Primero se tiene que una serie de potencias es una serie infinita (en potencia de x-
a) de la forma:
donde c
0
, c
1
, son constantes, llamadas coeficientes de la serie, la a es una
constante, llamada centro y x es una variable.
Si en particular a=0, se obtiene una serie de potencias de x
Las series de potencias muy familiares son:
La series de Maclaurin:
Para resolver una ecuacin diferencial por medio de series de potencia, primero se
representan las funciones dadas en la ecuacin por medios de series de potencias
de x (o en potencias de x-a).
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
21
Por lo tanto debemos saber cmo derivar una serie:
Suponga que tenemos la serie
Entonces la primera derivada es:
La segunda derivada es:
Y as sucesivamente.
Ejemplo
Resolver la ecuacin diferencial y y = 0
Sustituimos la primera derivada y y la funcin y, se tiene:
Se agrupan las potencias iguales de x y se encuentra:
Igualando a cero los coeficientes de cada potencia de x, se tiene
Resolviendo estas ecuaciones, se pueden expresar c
1
, c
2
, en trminos de c
0
,
entonces:
, , ;
ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
Cdigo del Curso- Ecuaciones Diferenciales
Act 12: Leccin Evaluativa Unidad 3
22
Con estos valores la ecuacin , se transforma en:
Si despejamos c
0
y tenemos como solucin:
Bibliografia
Edwards J, P. D. (1986). Ecuaciones Diferenciales elementales con aplicaciones.
Mexico: Calypso S.A.
SHEPLEY, R. (1979). Ecuaciones Diferenciales. Barcelona: Revert S.A.
Simmons, G. F. (1993). ECUACIONES DIFERENCIALES, Con aplicaciones y
notas historicas. Mexico: McGrawHill.
ZILL, D. G. (1997). Ecuaciones Diferenciales con Aplicaciones de Modelado.
Mexico: Thomson Editores.