Unidad 2: ECUACIONES

DIFERENCIALES DE
ORDEN SUPERIOR
SOLUCIN MEDIANTE
SERIES DE POTENCIAS
Introduccin
La teora necesaria para resolver
ecuaciones diferenciales de primer orden
fue presentada en las secciones Repaso
de series de potencias y Solucin de
ecuaciones mediante series de potencias
de la Unidad II. Se presentarn ahora
algunos conceptos necesarios para la
solucin de ED de orden dos y superior.
Ecuacin diferencial de segundo
orden en forma estndar
Suponga que la ecuacin diferencial lineal
de segundo orden
se escribe en forma estndar
al dividir entre a
2
(x).
0
0 1 2
= + + y x a y x a y x a ) ( ) ( ) (
0 = + + y x Q y x P y ) ( ) (
Puntos ordinarios y
singulares
Se dice que un punto x
0
es un punto
ordinario de la ecuacin diferencial

si P(x) y Q(x) en la forma estndar son

analticas en x
0
.
Un punto que no es un punto ordinario es
un punto singular de la ecuacin.
0
0 1 2
= + + y x a y x a y x a ) ( ) ( ) (
0 = + + y x Q y x P y ) ( ) (
Soluciones respecto a
puntos ordinarios
Si x=x
0
es un punto ordinario de la
ecuacin diferencial ,
siempre es posible hallar dos soluciones
linealmente independientes en la forma de
una serie de potencias centrada en x
0
, es
decir . Una solucin en serie
converge por lo menos en un intervalo
definido por |x-x
0
|<R, donde R es la
distancia desde x
0
al punto singular ms
prximo.
0 = + + y x Q y x P y ) ( ) (

+
=
=
0
0
n
n
n
x x C y ) (
Soluciones respecto a
puntos ordinarios
Se dice que una solucin de la forma:


Es una solucin respecto a un punto
ordinario x
0
.

+
=
=
0
0
n
n
n
x x C y ) (
Soluciones respecto a
puntos singulares
Un punto singular x
0
de una ecuacin
diferencial lineal
se clasifica como regular o irregular. La
clasificacin depende de las funciones P(x) y
Q(x) en la forma estndar
Se dice que un punto singular x
0
es un punto
singular regular de la ecuacin diferencial si
ambas funciones: p(x)=(x-x
0
)P(x) y q(x)=(x-x
0
)Q(x)
son analticas en x
0
. Un punto que no es
regular es un punto singular irregular de la
ecuacin.
0
0 1 2
= + + y x a y x a y x a ) ( ) ( ) (
. ) ( ) ( 0 = + + y x Q y x P y
Soluciones respecto a
puntos singulares
Teorema de Frobenius:
Si x=x
0
es un punto singular de la ecuacin
diferencial, entonces por
lo menos existe una solucin de la forma:


donde el nmero r es una constante por
determinar. La serie converge por lo menos en
algn intervalo 0<x-x
0
<R.
0
0 1 2
= + + y x a y x a y x a ) ( ) ( ) (

+
=
+
+
=
= =
0 0
0
n
r n
o n
n
n
o n
r
x x C x x C x x y ) ( ) ( ) (
Soluciones respecto a
puntos singulares
En el teorema de Frobenius, las palabras por lo menos significa que
no garantiza la posibilidad de hallar dos soluciones en serie del tipo
indicado.
El mtodo de Frobenius es similar al mtodo de coeficientes
indeterminados de series en la que se sustituye


en la ecuacin diferencial dada y se determinan los coeficientes
desconocidos cn mediante una relacin de recurrencia. Sin
embargo, se tiene una tarea ms en este procedimiento: antes de
determinar los coeficientes, se debe encontrar el exponente
desconocido r. Si se encuentra que r es un nmero que no es un
entero negativo, entonces la solucin de la correspondiente no es
una serie de potencias.

+
=
+
=
0 n
r n
o n
x x C y ) (
Ejemplo 1
Resuelva la ED 3xy+y-y=0

Debido a que x=0 es un punto singular de
la ecuacin diferencial, se intenta encontrar
una solucin de la forma:

Con ella:

+
=
+
=
0 n
r n
n
x C y

+
=
+
+
=
+
+ + = + =
0
2
0
1
1
n
r n
n
n
r n
n
x C r n r n y x C r n y ) )( ( ) ( y
Ejemplo 1...
...
y
: que significa que lo






, , , , k C C r k r k
C r r
x C C r k r k x C r r x
x C x C r k r k x C r r x
x C x C r n r n x C r r x
x C x C r n r n
x C x C r n x C r n r n
x C x C r n x C r n r n
x C x C r n x C r n r n x y y xy
k k
k
n
k k
r
k
k
k
k
k
k
r
n
n
n
n
n
n
r
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
3 2 1 0 0 1 3 3 1
0 2 3
0 1 3 3 1 2 3
1 3 3 1 2 3
2 3 3 2 3
2 3 3
3 3 3
1 3
1 3 3
1
0
0
1
1
1
0
0 0
1
1
0
0 1
1 1
0
0 0
1
0 0
1
0
1
0 0
1
0
1
0 0
1
0
2
= = + + + +
=
= + + + + + =
+ + + + + =
+ + + =
+ + =
+ + + + =
+ + + + =
+ + + + = +
+
+
=

+
=
+
=
+

+
=
+
=

+
=
+
+
=
+
+
=
+
+
=
+
+
=
+
+
=
+
+
=
+
+
=
+
+
=
+
+
=
+
+
=
+

) )( (
) (
] ] ) )( [( ) ( [
] ) )( ( ) ( [
] ) )( ( ) ( [
) )( (
) ( ) )( (
) ( ) )( (
) ( ) )( (
Ejemplo 1...
, ... , , , k
k k
C
C r
, ... , , , k
k k
C
C r
r r r
r k r k
C
C
r r
r
r r
C
k
k
k
k
k
k
3 2 1 0
1 3 1
0
3 2 1 0
1 5 3
3 2
0 2 3
1 3 3 1
0 3 2
0 2 3
1 1
1 1
1
2 1
0
=
+ +
= =
=
+ +
= =
=
+ + + +
=
= =
=
=
+
+
+


: diferentes a recurrenci de ecuaciones dos
obtienen se ecuacin la satisfacen que de valores
dos los en sustituye se Cuando
y
: son ecuacin la satisfacen que de valores dos Los
: tener debe se
entonces 0, haciendo nada gana se no que a Debido
) )( (
,
) )( (
, /
) (
) )( (
/
) (
Ejemplo 1...
, ... , , , k
k k
C
C r
, ... , , , k
k k
C
C r
r r r
r k r k
C
C
r r
r
r r
C
k
k
k
k
k
k
3 2 1 0
1 3 1
0
3 2 1 0
1 5 3
3 2
0 2 3
1 3 3 1
0 3 2
0 2 3
1 1
1 1
1
2 1
0
=
+ +
= =
=
+ +
= =
=
+ + + +
=
= =
=
=
+
+
+


: diferentes a recurrenci de ecuaciones dos
obtienen se ecuacin la satisfacen que de valores
dos los en sustituye se Cuando
y
: son ecuacin la satisfacen que de valores dos Los
: tener debe se
entonces 0, haciendo nada gana se no que a Debido
) )( (
,
) )( (
, /
) (
) )( (
/
) (
Ejemplo 1...
) ( * * ) )( )( ! * (
) )( )( )( ! * ( ) )( (
) )( )( ! * ( ) )( (
) )( ! * ( ) )( (
) )( (
) )( (
2 3 11 8 5
14 11 8 5 4 4 14
11 8 5 3 3 11
8 5 2 2 8
1 5
1 5 3
0
0 3
4
0 2
3
0 1
2
0
1
1
+
=
= =
= =
= =
=
+ +
=
+
n n
C
C
C C
C
C C
C
C C
C
C
C
k k
C
C Con:
n
k
k

) ( * * ) )( )( ! * (
) )( )( )( ! * ( ) )( (
) )( )( ! * ( ) )( (
) )( ! * ( ) )( (
) )( (
) )( (
2 3 7 4 1
10 7 4 1 4 10 4
7 4 1 3 7 3
4 1 2 4 2
1 1
1 3 1
0
0 3
4
0 2
3
0 1
2
0
1
1

=
= =
= =
= =
=
+ +
=
+
n n
C
C
C C
C
C C
C
C C
C
C
C
k k
C
C Con:
n
k
k

Ejemplo 1
Aqu se encuentra algo que no sucedi cuando se
obtuvieron soluciones respecto a un punto ordinario;
se tiene lo que parecen ser dos conjuntos de
coeficientes diferentes, pero cada conjunto contiene al
mismo mltiplo C
0
. Si se omite este trmino, las
soluciones en serie son:
(

+ =
(

+
+ =

+
=
+
=
n
n
n
n
x
n n
x x y
x
n n
x x y
1
0
2
1
3 2
1
2 3 7 4 1
1
1
2 3 11 8 5
1
1
) ( * * * * ) !* (
) (
) ( * * * * ) !* (
) (
/

Ejemplo 1
Es evidente que ninguna de estas
soluciones es mltiplo de la otra y por lo
tanto y
1
y y
2
son linealmente
independientes, as por el principio de
superposicin y = c
1
y
1
+c
2
y
2
, as, la
solucin general de la ecuacin diferencial
es:
(

+ +
(

+
+ =

+
=
+
=
n
n
n
n
x
n n
x c x
n n
x c y
1
0
2
1
3 2
1
2 3 7 4 1
1
1
2 3 11 8 5
1
1
) ( * * * * ) !* ( ) ( * * * * ) !* (
/

Ecuacin indicial
En la ecuacin diferencial anterior, el
trmino: r(3r-2) de denomina ecuacin
indicial y r=2/3 y r=0 se llaman races
indiciales o exponentes de la singularidad
x=0.
Tres casos posibles
Al utilizar el mtodo de Frobenuis para
resolver la ecuacin diferencial de segundo
orden se distinguen
tres casos que corresponden a la
naturaleza de las races indiciales r
1
y r
2
.

r
1
y r
2
son reales y la diferencia r
1
- r
2
no es
un entero positivo.
r
1
y r
2
son reales y la diferencia r
1
- r
2
es un
entero positivo.
r
1
y r
2
son reales e iguales.

0
0 1 2
= + + y x a y x a y x a ) ( ) ( ) (
CASO I
Si r
1
y r
2
son reales y la diferencia r
1
- r
2
no
es un entero positivo.
En este caso existen dos soluciones
linealmente independientes de la ecuacin
de la forma:

0
0 1 2
= + + y x a y x a y x a ) ( ) ( ) (
0
0
0
0
2
0
0
1
2
1
= =
= =
+
+
=
+
+
=

b x b x y
c x c x y
r n
n
n
r n
n
n


) (
) (
CASO II
Si r
1
y r
2
son reales y la diferencia r
1
- r
2
es
un entero positivo.
En este caso existen dos soluciones
linealmente independientes de la ecuacin
de la forma:




Donde C es una constante que podra ser
cero.

0
0 1 2
= + + y x a y x a y x a ) ( ) ( ) (
0
0
0
0
1 2
0
0
1
2
1
= + =
= =
+
+
=
+
+
=

b x b x x Cy x y
c x c x y
r n
n
n
r n
n
n


ln ) ( ) (
) (
CASO III
Si r
1
y r
2
son reales e iguales.
En este caso existen dos soluciones
linealmente independientes de la ecuacin
de la forma:
0
0 1 2
= + + y x a y x a y x a ) ( ) ( ) (
r n
n
n
r n
n
n
x b x x y x y
c x c x y
+
+
=
+
+
=

+ =
= =
1
1 2
0
0
1
0
ln ) ( ) (
) (
Ejemplo 2
Encontrar la solucin general de la
ecuacin: 2xy-y+2y=0


Partiendo de la sustitucin de


en la ecuacin diferencial, tenemos:

+
=
+
=
0 n
r n
n
x C y

+
=
+
+
=
+
+ + = + =
0
2
0
1
1
n
r n
n
n
r n
n
x C r n r n y x C r n y ) )( ( ) ( y
Ejemplo 2
0
2
3
0 0 3 2
0 1 2
0 2 1 2
0 2 1 2
0 2 1 2
2 1 2 2 2
2 1
0
2
0
0 0
1
1
0 0
1
0
1
0 0
0 0
1
0
1
0 0
1
0
2
= =
= =
=
= + + + +
= + + +
= + + + + =
+ + + + = +




+
=
+

+
+
=
+
+
=
+ =
+
=
+ +
=
+
=
+
=
+
=
+
+
=
+
+
=
+
+
=
+
+
=
+
+
=
+
+
=
+
r r entonces
C Como r r C
rC C r r
x C x C r k x C r k r k
x C x C r n x C r n r n
x C x C r n x C r n r n
x C x C r n x C r n r n x y y xy
indicial Ecuacin
k
r k
k
r k
k
k
r k
k
k
n k
n
r n
n
n k
n
r n
n
n k
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
, :
) (
] ) ( [
) ( ) )( (
) ( ) )( (
) ( ) )( (
) ( ) )( (


: ndices los igualar para sumatorias primeras dos las de trmino un Tomando


: ecuacin la de lados ambos x por ndo Multiplica

Ejemplo 2
Como las races no difieren en un entero
(Caso I) la soluciones deben ser de la
forma:



La ecuacin de recurrencia para k=1,2,3,
es:
0
0
0
0
2
0
0
1
2
1
= =
= =
+
+
=
+
+
=

b x b x y
c x c x y
r n
n
n
r n
n
n


) (
) (
) )( ( 3 2 2
2
1
+ +

=

r k r k
C
C
k
k
Ejemplo 2

(

+ + + + =
+ + + + =
+ + + + + =
=

= =
=

= =
=

= =

= =
+

=
+

=
+ +

=
=

4 3 2
0 1
4
0
3
0
2
0 0 0 1
4
4
3
3
2
2 1 0
0
3
4
0
2
3
0
1
2
0
1
1 1 1
10395
2
945
2
35
2
5
2
1
10395
2
945
2
35
2
5
2
10395
2
44
2
4
945
2
27
2
3
35
2
14
2
2
5
2
1
3 2
2
2
2
3
2
3
2
3
2 2
2
3
2
2
3
x x x x C y
x C x C x C x C C y
x C x C x C x C C y Si
C
C
C k
C
C
C k
C
C
C k
C
C k Para
k k
C
k k
C
k k
C
C
r Con
k k k
k
:
) )( (
) )( ( ) )( (
:
Ejemplo 2

(

+ + + =
+ + + =
+ + + + + =
=

= =
=

= =
=

= =
=

= =

=
+ +

=
=

4 3 2
0 2
4
0
3
0
2
0 0 0 2
4
4
3
3
2
2 1 0
0
3
4
0
2
3
0
1
2
0
0
1
1 1
45
2
9
4
2 2 1
45
2
9
4
2 2
45
2
20
2
4
9
4
9
2
3
2
2
2
2
2
1
2
1
3 2
2
3 0 2 2 0
2
0
x x x x b y
x b x b x b x b b y
x b x b x b x b b y Si
b
b
b k
b
b
b k
b
b
b k
b
b
b k Para
k k
b
k k
b
b
r Con
k k
k
:
) )( ( ) ) ( )( (
:
Ejemplo 2

.
: ,
indicada te inicialmen f orma la a e correspond que
x x x x b x x x x C y
y y y
es l dif erencia ecuacin la de solucin la ello Con
(

+ + + +
(

+ + + + =
+ =

4 3 2
0
4 3 2
0
2 1
45
2
9
4
2 2 1
10395
2
945
2
35
2
5
2
1
Ejemplo 3
Encontrar la solucin general de la
ecuacin: x
3
y-x
2
(1+x)y+xy=0

Partiendo de la sustitucin de


en la ecuacin diferencial, tenemos:

+
=
+
=
0 n
r n
n
x C y

+
=
+
+
=
+
+ + = + =
0
2
0
1
1
n
r n
n
n
r n
n
x C r n r n y x C r n y ) )( ( ) ( y
Ejemplo 3
iguales. reales races dos Obtenemos

: 0 n para que tenemos x, las en exponente menor de sumatorias las Tomando

1
0 1 1 2
0 0 1 2
0 1
0 1
1 1
2 1
2 2
0
2
0
0 0 0
0
1
0 0
2 1
0
1
0 0
1 3 2
0
2 3 2 3
= = =
= = +
= = +
= +
=
= + + + + + =
+ + + + + = + +


+
=
+ +
+
=
+
=
+ + + +
+
=
+ +
+
=
+
+
=
+
+
=
+
r r r
r r r entonces
C Como r r C
C rC C r r
x C x C r n x C r n x C r n r n
x C x x C r n x x x C r n r n x xy y x x y x
indicial Ecuacin
n
r n
n
n n
r n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
) ( :
) (
] ) (
) ( ) ( ) )( (
) ( ) ( ) )( ( ) (

Ejemplo 3
Como las races son reales e iguales (Caso
III) la soluciones deben ser de la forma:




La ecuacin de recurrencia con r=1 para los
valores de k=2,3,4, es:
1
2
1

k
C
C
k
k
r n
n
n
r n
n
n
x b x x y x y
c x c x y
+
+
=
+
+
=

+ =
= =
1
1 2
0
0
1
0
ln ) ( ) (
) (
Ejemplo 3

+
=
+
+
=

= =
= =
(

+ + + + + + =
+ + + + + + =
+ + + + + =
= = =
= = =
= = =
= = =
= =

= =
0
1
0 1 0 1
0
0
0
5 4 3 2
0
5 0 4 0 3 0 2 0 0
0
4
4
3
3
2
2 1 0
0 4
5
0 3
4
0 2
3
0 1
2
0
1
2
1 0 0
5 4 3 2
1
120 24 6 2 1
120 5
6
24 4
5
6 3
4
2 2
3
1
2
1
m
m
x
x
m
m
k
k
m
x
C y o xe C y
e C
m
x
C
x x x x
x C y
x
C
x
C
x
C
x
C
x
C
C y
x C x C x C x C C y Si
C C
C k
C C
C k
C C
C k
C C
C k
C
C k Para
k
C
C y C C Con
!
! ! ! ! !
:

Ejemplo 3
Para encontrar y
2
, utilizaremos:


Con:


dx
y
e
x y y
Pdx
}
}
=

2
1
1 2
) (
1
1 1 1
3
2
1
=
+
=
+
= =
x x
x
x
x x
x P y xe y
x
) ( ) (
) (
Ejemplo 3

( )

}
} } }
} } }
+
=
+
+
|
.
|

\
|

+ =
+ + + + =
+ + + + =
+ + + =
+ + + + +
= = =
= =
}
=
1
1
5 4 3 2
1
5 4 3 2
1 1
4 3 2
1
5 4 3
2
1 1
2 2
1
2 2
1 2 1
2
1
1
1
1 2
1
120 5 24 4 6 3 2 2
120 5 24 4 6 3 2 2
120 24 6 2
1
1
4 3 2
1 1
m
m m
x
x
x x
x
x
x x
x
x x
dx
x
m m
x
xe x y
x x x x
x xe x y
x x x x
x y x y
dx
x x x x
x
y
Dividiendo
dx
x x x
x x
y dx
xe
y dx
e x
xe
y
dx
e x
e
y dx
xe
e
y dx
y
e
y y
! ) (
) (
ln
)
* * * *
( ln
)
* * * *
( ln
) (
:
! ! !
ln
ln

. indicada te inicialmen forma la a e correspond que

Ejemplo 4
Encontrar la solucin general de la
ecuacin: y+2y+xy=0

Partiendo de la sustitucin de


en la ecuacin diferencial, tenemos:

+
=
+
=
0 n
r n
n
x C y

+
=
+
+
=
+
+ + = + =
0
2
0
1
1
n
r n
n
n
r n
n
x C r n r n y x C r n y ) )( ( ) ( y
Ejemplo 4
entero. nmero un en difieren que reales races dos Obtenemos

: 0 n para que tenemos x, las en exponente menor de sumatorias las Tomando

1
0
0 1 1 2
0 0 1
0 2 1
0 2 1
2 1 2
2
1
2 2
0 0
0 0
0
1
0
1
0
1
0 0
1
0
2
=
=
= = +
= = +
= +
=
= + + + + =
+ + + + + = + +


+
=
+ +
+
=
+
+
=
+
+
=
+
+
=
+
+
=
+
r
r
r r r entonces
C Como r r C
rC C r r
x C x C r n x C r n r n
x C x x C r n x C r n r n x xy y xy
indicial Ecuacin
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
n
r n
n
) ( :
) ( (
) (
) ( ) )( (
) ( ) )( (

Ejemplo 4
Como las races son reales y la diferencia
es un entero (Caso II) la soluciones deben
ser de la forma:




La ecuacin de recurrencia para r=0 y los
valores de k=2,3,4, es: ya
que para k=0 obtenemos la ecuacin
indicial y para k=1 C
1
=0.
) ( 1
2
+

=

k k
C
C
k
k
0
0
0
0
1 2
0
0
1
2
1
= + =
= =
+
+
=
+
+
=

b x b x x Cy x y
c x c x y
r n
n
n
r n
n
n


ln ) ( ) (
) (
Ejemplo 4

x
Senx
C y
x x x
x
Senx
Entonces
x x x
x Senx Como
x
C
x
C
x
C
C x C x C x C x C C y Si
C C
C k
C
C k
C C
C k
C
C k
C
C k Para
k k
C
C y C con r Para
k
k k
0 1
6 4 2 7 5 3
6 0 4 0 2 0
0
4
4
3
3
2
2 1 0
0 4
6
3
5
0 2
4
1
3
0
2
2
7 5 3
1
7 5 3
7 5 3
5040 5
6
0
4
5
120 20
4
0
12
3
6
2
1
0 0
=
+ + = + + =
+ + + + = + + + + + =
=

= =
= = =
=

= =
=

= =

= =
+

= = =



! ! !
:
! ! !
! ! !
:
) (
Ejemplo 4
Cosx b x x y
Cosx b
x x x
b x b x b x b x b b y Si
b b
b k
b
b k
b b
b k
b
b k
b
b k Para
k k
b
b y b b con r Para
k
k
0
1
2
0
6 4 2
0
4
4
3
3
2
2 1 0
0 4
6
3
5
0 2
4
1
3
0
2
2
1 0
0
6 4 2
1
720 30
6
0
120
5
24 12
4
0
6
3
2
2
1
0 0 1

+ =
= + + = + + + + + =

= =
= = =
=

= =
=

= =

= =

= = = =
ln
)
! ! !
(
:
) (
, ,

Ejemplo 4
.
: ,
indicada te inicialmen f orma la a e correspond f orma esta
x
Cosx
b
x
Senx
C y
y y y
es l dif erencia ecuacin la de solucin la ello Con
0 0
2 1
+ =
+ =