Ecuaciones diferenciales homogneas y reducibles a ellas

Una ecuacin diferencial homognea es aquella en la cual todos sus trminos tienen el
mismo grado y/o se pueden acomodar a la forma

dy y
f
dx x
| |
=
|
\ .
(1)
La sustitucin y vx = , en donde v es una nueva variable, reduce a la ecuacin diferencial
homognea a una de variables separables, como se muestra enseguida;
Si ,
dy dv
y vx v x
dx dx
= = + , luego
( )
dv
v x f v
dx
+ =
Separando variables se obtiene

( )
dv dx
f v v x
=

} }

Ejemplo
Resolver la ecuacin

2 2
dy
x x y y
dx
= +
Notar que todos los trminos tienen grado uno, y adems la e.d. se puede dividir por x, para
obtener

2
1
dy y y
dx x x
| |
= +
|
\ .

La cual tiene la forma (1), por lo tanto sea
, y de donde
dy dv
y vx v x
dx dx
= = +
Sustituyendo en la ecuacin diferencial se obtiene
( )
2
1
dv
v x v v
dx
+ = +
Simplificando y separando variables se obtiene

2
1
dv dx
x
v
=

} }

Integrando se llega a

1
sin ln ln v x C

= +
Sustituyendo el valor de v se llega a la solucin

1
sin ln
y
Cx
x

= .
Ejemplo


( )
2 2 2 2
4 4 0
dy
x xy y x xy y
dx
+ + + =
Es visible que el grado de todos los trminos es dos
Por lo tanto es homognea y
, y de donde
dy dv
y vx v x
dx dx
= = +
Sustituyendo en la ecuacin diferencial se obtiene

( )
2 2 2 2 2 2 2 2
4 4 0
dv
x x v x v v x x x v x v
dx
| |
+ + + + =
|
\ .

O

( ) ( )
2 2 2 2
4 1 4 0
dv
x v v v x x v v
dx
| |
+ + + + =
|
\ .

Dividiendo por x2 se tiene

( ) ( )
2 2
4 1 4 0
dv
v v v x v v
dx
| |
+ + + + =
|
\ .

Reacomodando
( ) ( )
2 2 3 2
4 4 1 4 0
dv
v v v v v x v v
dx
+ + + + + =
Separando variables

( )
2
3
1 4
0
4 1
dx v v
dv
x v
+
+ =
+
} }


( )( )
2
2
1 1 4
0
4 1 1
dx v v
dv
x v v v
+
+ =
+ +
} }

( )( )
2
2 2
1 4
1 1 1 1
v v A Bv C
v v v v v v
+ +
= +
+ + + +

( ) ( )( )
2 2
1 4 1 1 v v A v v Bv C v + = + + + +
Si v = -1
( ) 6 3 A = , de donde A = 2
Si v = 0 1 = 2 + C, de donde C = - 1
Si v = 1 4 = 2 + (B - 1)2 de donde B = 2
Luego,

2
1 1 2 1
0
2 1 4 1
dx dv v
dv
x v v v

++ + =
+ +
} } }

Integrando se obtiene

2
1 1 1
ln ln 1 ln 1 ln
2 4 4
x v v v C + + + + =
Multiplicando por 4 y aplicando las leyes de los logaritmos se tienen

( )( )
2
4 2
ln 1 1 ln x v v v C + + =
De donde

( )( )
2
4 2
1 1 x v v v C + + =
2
2
4
2
1 1
y y y
x C
x x x
| |
| |
+ + =
| |
\ .
\ .

( )
2
2 2
4
2 2
y x
x xy y
x C
x x
+ | | +
=
|
\ .


( )( )
2
2 2
x xy y y x C + + =
Pero
( )( )
3 3 2 2
x y x y x xy y + = + +
Luego
( )
( )
3 3
2
x y
y x C
x y
+
+ =
+

( )( )
3 3
x y y x C + + = .
Mtodo z
o
(ecuaciones reducibles a homogneas)
En algunas ocasiones de la e.d. con pocos trminos se puede transformar en e.d.h.
sustituyendo una de las dos variables por z
o
, como se muestra en el siguiente
KKM 159
( )
2 4
1 2 0 y y x y dx xdy + + + =
Sea y z
o
= , de donde
1
dy
z
dx
o
o

=
Sustituyendo en la e.d. tiene

( )
2 4 1
1 2 0 z z x z dx x z dz
o o o o
o

+ + + =
Para hacer homognea la e.d. es necesario que los exponentes de todos los trminos sean
iguales, luego

2 4
1 1
2
o
o o o o
+
= + = = +
Las igualdades se cumplen para
1
2
o = , en consecuencia

1 1 3
2 2
2 2 2
1 0 z z x z dx xz dz

| |
+ + =
|
\ .

Multiplicando por
3
2
z se obtiene

( )
2 2
0 z x z dx xdz + + =
La anterior es una ecuacin diferencial homognea, por lo cual se propone que
z vx = , de donde dz vdx xdv = +
Sustituyendo en la e.d.h. se obtiene

( )
( )
2 2 2
0 vx x v x dx x vdx xdv + + + =

( )
( )
2
1 0 vx x v dx x vdx xdv + + + =
Dividiendo por x

( )
( )
2
1 0 v v dx vdx xdv + + + =

2
1 0 v dx xdv + =

2
0
1
dx dv
x
v
=
+
} }

Integrando se obtiene

( )
2
ln ln 1 ln x v v C + + =

2
1 Cx v v = + +
Pero v = z/x, luego

2
2
1
z z
Cx
x x
= + +
Adems
2
z y

=

2 2 4
1 1
1 Cx
xy x y
= + +

2 4 2 4
1 1 x y Cx y + = .
Ecuaciones que contienen trminos lineales (reduccin a homogneas)
Las ecuaciones con la forma

( ) ( ) 0 ax by c dx ex fy g dy + + + + + =
En donde a,b,c,d,e y f son constantes pueden ser reducidas a homogneas con un cambio de
coordenadas definiendo dos nuevas variables
0
x z x = + y
0
y w y = + , donde
0
x y
0
y son
las races de las ecuaciones simultaneas
0 ax by c + + =
0 ex fy g + + =
Ejemplo: ( ) 3 2 1 0
dy
x y x
dx
+ + =
De los coeficientes se obtienen
3x + y 2 = 0
x 1 = 0
De donde xo = 1 yo = - 1
Luego x = z + 1 y y = w 1
Diferenciando las anteriores se tiene que dx = dz y dy = dw, sustituyendo se obtiene
3 0
dw
z w z
dz
+ + =
La anterior ya es una e.d.h. por lo cual sea w = v z, sustituyendo en la anterior se obtiene
3 0
dv
z vz v z z
dz
| |
+ + + =
|
\ .

3 2 0
dv
v z
dz
+ + =
0
2 3
dz dv
z v
+ =
+
} }

( )
1 1
ln ln 2 3 ln
2 2
z v C + + =
Multiplicando por 2 se obtiene

( )
2
2 3 z v C + =
Pero v = w/x, por lo tanto

2
2 3
w
z C
z
| |
+ =
|
\ .


( ) 2 3 z w z C + =
Adems, z = x 1 y w = y + 1, por lo tanto

( )( ) 1 2 2 3 3 x y x C + + =

( )( ) 1 3 2 1 x x y C + = .
Ecuacin diferencial con coeficientes lineales, cuando el sistema de ecuaciones simultaneas
no tiene solucin
En ese caso se propone y sustituye una nueva variable z = ax + by, con lo cual la ecuacin
diferencial se convertir a e.d.v.s.
Ejemplo (x 2y 1)dx + (3x - 6y + 2)dy = 0
Sea z = x - 2y, de donde x = z + 2y y dx = dz + 2dy, luego sustituyendo en la e.d. se
obtiene
(z - 1)(dz + 2dy) + (3z + 2)dy = 0
(z 1)dz + (2z 2 + 3z +2)dy = 0
(z 1)dz + 5zdy = 0
Separando variables se tiene

( ) 1
5 0
z dz
dy
z

+ =
} }

Integrando se tiene
ln 5 ln z z y C + =
ln 5
z
z y
C
= +
Pero z = x 2y, sustituyendo se obtiene

3
2
x y
x y Ce
+
=
.
Ecuaciones Diferenciales Exactas y Reducibles a Ellas
Una ecuacin diferencial con la forma


( ) ( ) , , 0 M x y dx N x y dy + =
(1)
en donde M(x,y) y N(x,y) son funciones de x y y, pueden ser el resultado de la
diferenciacin de
f(x,y) = 0 (2)
luego, la ecuacin (2) es la solucin de la ecuacin (1) y se dice que la ecuacin (1) es
exacta. Para obtener una prueba de exactitud se puede encontrar la diferencial total de (2)
( ) ( ) , ,
0
f x y f x y
dx dy
x y
c c
+ =
c c
(3)
luego, comparando (2) y (3) se concluye que
( )
( ) ,
,
f x y
M x y
x
c
=
c
(4)
Y
( )
( ) ,
,
f x y
N x y
y
c
=
c
(5)
Ahora, derivando (4) con respecto a y y (5) con respecto a x se obtiene

( ) ( )
2
, , M x y f x y
y y x
c c
=
c c c
(6)
Y
( ) ( )
2
, , N x y f x y
x x y
c c
=
c c c
(7)
Pero
( ) ( )
2 2
, , f x y f x y
x y y x
c c
=
c c c c
(8)
De acuerdo a la anterior los lados derechos de (6) y (7) son icuales y por lo tanto los lados
izquierdos de las dos ecuaciones deben ser iguales o sea

( ) ( ) , , M x y N x y
y x
c c
=
c c
(9)
La anterior ecuacin es la prueba de que la ecuacin diferencial con la forma (1) es exacta.
Solucin de ecuaciones diferenciales exactas
Mtodo 1 (Mtodo formal)
Ejemplo
( ) ( )
3 2 2 3
0 x xy dx x y y dy + + + =

( ) ( )
( )
3 2
,
, , de donde 2
M x y
M x y x xy xy
y
c
= + =
c


( ) ( )
( )
2 3
,
, , de donde 2
N x y
N x y x y y xy
x
c
= + =
c

A causa de que se cumple la ecuacin (9) la ecaucin diferencial es exacta (notar que la e.d.
tambin es homognea)
De acuerdo a

( )
( )
3 2
,
,
f x y
M x y x xy
x
c
= = +
c


( ) ( ) ( )
4 2 2
3 2
,
4 2
x
x x y
f x y x xy x K y = + c = + +
}
Donde K(y) es una constante de integracin, la solucin se obtiene una vez que se conoce
K(y). Para conocer K(y) se deriva la anterior con respecto a y

( ) ( )
2
, f x y K y
x y
y y
c c
= +
c c

Pero de (5) se sabe que

( )
( )
2 3
,
,
f x y
N x y x y y
y
c
= = +
c

Por lo tanto igualando los anteriores se obtiene

( )
3
dK y
y
dy
=

Integrando la anterior

( )
4
4
y
K y C = +

En consecuencia
( )
4 2 2 4
,
4 2 4
x x y y
f x y C = + + +

Mtodo 2 (Bsqueda diferenciales integrables separando variables)
Ejemplo
( ) ( )
3 2 2 3
0 x xy dx x y y dy + + + =

3 2 2 3
0 x dx xy dx x ydy y dy + + + =

Aqu hay que notar que los trminos medios que contienen x y y son eneste caso la
derivada de un producto y que la anterior se puede escribir

( )
3 2 2 3
1
0
2
x dx d x y y dy + + =

Integrando la anterior se llega a

( )
4 2 2 4
,
4 2 4
x x y y
f x y C = + + +
.
Mtodo 3. Uso de la formula
( ) ( )
0 0
0
, , 0
x y
x y
M x y dx N x y dy + =
} }
Donde x0 y y0 son constantes.
Para la ecuacin utilizada en los dos ejemplos anteriores se tiene

( ) ( )
0 0
3 2 2 3
0
0
x y
x y
x xy dx x y y dy + + + =
} }
0 0
2 2 4 2 2 4
0
0
4 2 2 4
y x
x y
x y x x y y ( (
+ + + =
( (


4 2 2 2 2 2 2 4 4 2 2 4
0 0 0 0 0 0
0
4 2 4 2 2 4 2 4
x x y x y x y y x x y y ( ( ( (
+ + + + + =
( ( ( (


4 2 2 2 2 2 2 4 4 2 2 4
0 0 0 0 0 0
0
4 2 4 2 2 4 2 4
x x y x y x y y x x y y
+ + + =

4 2 2 2 2 2 2 4 4 2 2 4
0 0 0 0 0 0
0
4 2 4 4 2 2 2 4
x x y x y x y y x x y y
+ + + =

O
4 2 2 4
0
4 2 4
x x y y
C + + + =

Donde

4 2 2 4
0 0 0 0
4 2 4
x x y y
C = +
.
Ejemplo.

3 2
2 3 2 3
3 2
2 3
3 tan sec 4 0
y y
x y dx x y y dy
x x
| | | |
+ + + =
| |
\ . \ .

De la anterior

3 2
2 2 2
3 3
2 6
3 tan 3 sec
M y y
x y x y
y y x x
| | c c
= =
|
c c
\ .


2 2
3 2 3 2 2
2 2
3 6
sec 4 3 sec
N y y
x y y x y
x x x x
| | c c
= + + =
|
c c
\ .

Luego la ecuacin diferencial es exacta.
( )
3
2
3
2
, 3 tan
y
f x y x y x
x
| |
c = c
|
\ .
} }

( ) ( )
3
3
2
, tan
y
f x y x y K y
x
= + +
Derivando la anterior con respecto a y se obtiene

( ) ( )
2
3 2
2
,
3
sec
f x y K y
y
x y
y x y
c c
= + +
c c

Igualando la anterior al valor de N se tiene

( )
3
4
dK y
y
dy
=
Integrando la anterior se determina que
( )
4
K y y C = + ,
por lo tanto
( )
3
3 4
2
, tan
y
f x y x y y C
x
= + + + .
Mtodo 2

3 2
2 3 2 3
3 2
2 3
3 tan sec 4 0
y y
x ydx x ydy dx dy y dy
x x
+ + + =

Observando los trminos se obtiene

( )
3
3 3
2
tan 4 0
y
d x y d y dy
x
| |
+ + =
|
\ .
} } }
Integrando se llega a la solucin

3
3 4
2
tan 0
y
x y y C
x
+ + + =

Mtodo 3
0 0
3 2
2 3 2 3
0 3 2
0
2 3
3 tan sec 4 0
x y
x y
y y
x y dx x y y dy
x x
| | | |
+ + + =
| |
\ . \ .
} }
3 3 3 3
3 3 3 4 3 4 0
0 0 0 0 0 2 2 2 2
0 0 0
3
tan tan tan tan 0
y y y y
x y x y x y y x y y
x x x x
( ( ( (
+ + + + + + + =
( ( ( (


3 3 3 3
3 3 3 4 3 4 0
0 0 0 0 0 2 2 2 2
0 0 0
3
tan tan tan tan 0
y y y y
x y x y x y y x y y
x x x x
+ + + + =

3 3
3 4 3 4 0
0 0 0 2 2
0
3
tan tan 0
y y
x y y x y y
x x
+ + =

O
3
3 4
2
tan 0
y
x y y C
x
+ + + =

Factor de integracin para las ecuaciones no exactas
La ecuacin diferencial

( ) ( ) , , 0 M x y dx N x y dy + =
(10)
Cuando no es excata, es decir cuando

( ) ( ) , , M x y N x y
y x
c c
=
c c

Puede ser transformada a exacta Multiplicando la e.d. (10) por un factor de integracin
( ) , x y
, que es

( ) ( ) ( ) ( ) , , , , 0 x y M x y dx x y N x y dy + =

Con lo cual se transforme en exacta y por tanto se cumpla que

( ) ( ) ( ) ( ) , , , , x y M x y x y N x y
y x
c c
=
c c

Desarrollando la anterior se tiene

( )
( )
( )
( )
( )
( )
( )
( ) , , , ,
, , , ,
M x y x y N x y x y
x y M x y x y N x y
y y x x


c c c c
+ = +
c c c c


( )
( ) ( )
( )
( )
( )
( ) , , , ,
, , ,
M x y N x y x y x y
x y N x y M x y
y x x y

( c c c c
=
(
c c c c



( )
( )
( )
( ) ( ) ( ) ln , ln , , ,
, ,
x y x y M x y N x y
N x y M x y
x y y x
c c c c
=
c c c c
(11)


existen tres factores de integracin
1.- Factor de integracin que depende solo de x,
( ) x =
y
( )
0
x
y
c
=
c
y (11) se reduce a

( )
( ) ( ) ( ) ln , ,
,
d x M x y N x y
N x y
dx y x
c c
=
c c

O
( )
( ) ( )
( )
, ,
ln
,
M x y N x y
y x
d x dx
N x y

c c

c c
=
} }
De donde
( )
( ) ( )
( )
, ,
exp
,
M x y N x y
y x
x dx
N x y

c c

c c
=
} (12)
El factor de integracin es solo funcin de x, si y solo si, el integrando es nicamente
funcin de x.
Ejemplo
(x + y2) dx - 2yx dy = 0
Por lo tanto

( ) ,
2
M x y
y
y
c
=
c
,
( ) ,
2
N x y
y
x
c
=
c

Utilizando la ecuacin (13) se obtiene


( )
( )
2
2
2 2
1
exp exp 2 exp( 2ln ) expln
2
y y
dx
x dx x x
xy x x

| |
= = = = =
|
\ .
} }

Multiplicando la ecuacin diferencial por el factor de integracin

2
2
1
2 0
y y
dx dy
x x x
| |
+ =
|
\ .


2
2
2 0
dx y y
dx dy
x x x
| |
+ =
|
\ .


2
0
dx y
d dx
x x
| |
=
|
\ .
} }


2
ln ln
y
x C
x
=

2
ln
x y
C x
=

2
y
x
x Ce =
.
2.- Factor de integracin solo funcin de y,
( ) y =
y
( )
0
y
x
c
=
c
, siguiendo el
procedimiento anterior se llega a

( )
( ) ( )
( )
, ,
exp
,
M x y N x y
y x
y dx
M x y

c c

c c
=

} (13)
Tambin en este caso el factor de integracin resulta ser solo funcin de y si el integrando
es nicamente funcin de y.
Ejemplo

( )
2 2 2
2 ln 1 0 xy y dx x y y dy + + + =

( )
( )
,
2 1 ln
M x y
x y
y
c
= +
c
y
( ) ,
2
N x y
x
x
c
=
c

Sustituyendo en (13) se obtiene
( )
( )
( )
2 1 ln 2
1
exp exp exp ln
2 ln
x y x
dy
y dy y
xy y y y

+ | |
= = = =
|

\ .
} }

Multiplicandoi la e.d. no exacta por el factor de integracin se tiene

2
2
2 ln 1 0
x
x y dx y y dy
y
| |
+ + + =
|
\ .

o

( ) ( )
2 2
1
ln 1 2 0
2
d x y y y dy + + =
} }

( )
3
2 2
2
1
ln 1
3
x y y C + + =
.
3.- Factor de integracin funcin de x y y,
( ) z =
, este factor se puede obtener si se
conoce la combinacin de x y y especifica z, z = x/y, z = yx, z = ey2x, etc.
Para determinar el factor de integracin se se obtiene
( ) ( ) ( ) ln ln ln z z d z
dz dz
x x dz dz dx
c c
= =
c c

( ) ( ) ( ) ln ln ln z z d z
dz dz
y y dz dz dy
c c
= =
c c

Luego, sustituyendo en (11) se obtiene
( )
( )
( )
( ) ( ) ( ) ln ln , ,
, ,
d z d z M x y N x y
z z
N x y M x y
dz x dz y y x
c c
c c
=
c c c c

De donde
( )
( ) ( )
( ) ( )
, ,
ln
, ,
M x y N x y
d z
y x
z z
dz
N x y M x y
x y

c c

c c
=
c c

c c

Separando variables e integrando se obtiene

( )
( ) ( )
( ) ( )
, ,
exp
, ,
M x y N x y
y x
z dz
z z
N x y M x y
x y

c c

c c
=
c c

c c
} (14)
Ejemplo
(3x + 2y + y2)dx + (x + 4xy + 5y2)dy = 0,
con
2
z x y = +
De donde

2 2
M
y
y
c
= +
c
,
1 4
N
y
x
c
= +
c
,
1
z
x
c
=
c
y
2
z
y
y
c
=
c

Sustituyendo en el integrando de (14) se obtiene

( ) ( )
( ) ( )
( ) ( )
2 3 2 2
, ,
2 2 1 4 1 2
x 2xy y 2 x 4xy 5y 2 3x 2y y
, ,
M x y N x y
y y y y x
z z
y y
N x y M x y
x y
c c

+ c c
= =
c c
+ + + + +

c c

( )
( )( )
2 2
1 2
1 1
1 2
y
x y z y x y

= = =
+ +

Luego
( )
2
exp expln
dz
z z z x y
z
= = = = +
}

Multiplicando toda la ecuacin diferencial por x + y2 se tiene
(x + y2)(3x + 2y + y2)dx + (x + y2)(x + 4xy + 5y2)dy = 0
(3x2 + 2xy + xy2 + 3xy2 + 2y3 + y4)dx + (x2 + 4x2y + 5xy2 + xy2 + 4xy3 +
5y4)dy = 0
3x2 dx + 2xydx + 4xy2dx + 2y3dx + y4dx + x2dy + 4x2ydy + 6xy2dy + 4xy3 dy + 5y4dy
= 0
Ahora, separando pares de monomios que se creen forman la derivada de un producto se
tiene
3x2dx + (2xydx + x2dy) + (4xy2dx + 4x2ydy) + (2y3dx + 6xy2dy) + (y4dx +
4xy3dy) +
+5y4dy = 0
o
( ) ( ) ( ) ( )
2 2 2 2 3 4 4
3 2 2 5 0 x dx d x y d x y d y x d y x y dy + + + + + =
} } } } } }

3 2 2 2 3 4 5
3 2 2 C x x y x y y x y x y + + + + + =
.
Ecuaciones diferenciales de primer orden no resueltas con respecto a la derivada
Una ecuacin diferencial con la forma
( ) ( )( ) ( )( ) ( )( ) ( )
1 2
1 2 1 1
' , ' , ' , ' , 0
n n n
n n
y p x y y p x y y p x y y p x y


+ + + + + =
(1)
Tiene n soluciones
( )
1
' , y f x y =
,

( )
2
' , y f x y =
,,
( )
1
' ,
n
y f x y

=
,
( ) ' ,
n
y f x y =


Cutas integrales

( )
1
, 0 F x y =
,

( )
2
, 0 F x y =
,,
( )
1
, 0
n
F x y

=
,
( ) , 0
n
F x y =

satisfacen la ecuacin diferencial (1)
Ejemplo

2 2
' 2 ' ( 1)
x
y yy y e =

La anterior cuadrtica tiene soluciones

( )
2 2
2
2 4 4 1
'
2
x
x
y y y e
y y ye
+
= =

de al anterior se tienen dos ecuaciones diferenciales

2
1
x
dy
y e
dx
| |
= +
|
\ .

y

2
1
x
dy
y e
dx
| |
=
|
\ .

La solucin

2
1
x
dy
e dx
y
| |
=
|
\ .
} }


2
ln 2
x
Cy x e = +

y

2
ln 2
x
Cy x e =
.
Ecuaciones diferenciales de Lagrange y Clairaut
La ecuacin de Lagrange tiene la forma:
( ) ( ) ' ' y x y y = +
Haciendo y' = p, diferenciando y sustituyendo dy por p dx, se reduce esta ecuacin a una
lineal. Resolviendo se obtiene la solucin general de la ecuacin en forma paramtrica:
x= r(p, C)
( ) ( ) ( ) , y r p c p p = +
Donde p es un parmetro.
Ejemplo. Integrar la ecuacin
2 ' ln ' y xy y = +
(A)

Sea y= p
De donde dy = pdx, en consecuencia
2 ln y xp p = +

Diferenciando la anterior se tiene

2 2
dp
dy pdx xdp pdx
p
= = + +

2 2
dp
dy pdx xdp pdx
p
= = + +

2 0
dp
xdp pdx
p
+ + =

2
2 1 dx
x
dp p p
+ =


( )
2
2
dp
p
x e p
}
= =

Multiplicando la e.d.l. se puede escribir

2
1
d
xp
dp
( =



2
1 C
x
p p
=
(B)
Sustituyendo en (A) se tiene
2
1
2 ln
C
y p p
p p
| |
= +
|
\ .

De donde

2
2 ln
C
y p
p
= +
(C)
(B) y (C) son soluciones paramtricas de la ecuacin de Lagrange.
La ecuacin de Clairaut
La ecuacin de Clairaut tiene la forma

( ) ' ' y xy y = +

Estas se resuelven en forma similar a la ecuacin de Lagrange, aunque eliminando p de las
ecuaciones paramtricas se puede obtener una solucin singular.
Ejemplo

'
2 '
a
y xy
y
= +

Sea y = p, de donde dy = pdx, sustituyendo en la ecuacin diferencial se obtiene

2
a
y xp
p
= +
(A)

Diferenciando la anterior se tiene

2
2
a
dy pdx xdp pdx
p
= = +


2
0
2
a
x dp
p
| |
=
|
\ .

De la anterior se tiene
dp = 0
integrando se obtiene p = C, y sustituyendo en (A) se obtiene la solucin

2
a
y xC
C
= +
(B)

De otra forma, del otro factor se tiene

2
2
a
x
p
=

De donde

2
a
p
x
=

Susitituyendo en (A) se tiene

2
2
2 2 2 2 2
a a x ax ax ax
y x
x a
= + = + =

Elevando al cuadrado se tiene otra solucin (solucin singular, ya que es nica, no contiene
constantes)

2
2 y ax =
.
(C)
ECUACIONES DIFERENCIALES DE ORDEN SUPERIOR
Una ecuacin diferencial de orden superior, tiene la forma

( ) ( )
( )
1
, , ', '',........, , 0
n n
f x y y y y y

= (1)
Para su estudio se pueden dividir en lineales y no lineales.
Si (1) se sujeta a condiciones iniciales
x = x
0
, y = y
0
, y=y
0
,.,y
(n)
= y
(n)
0
, (2)
se tiene un problema de Cauchi.
La funcin solucin obtenida de (1)

( )
1 2
, , , ,....., 0
n
F x y C C C = (3)
Es llamada integral general de la ecuacin diferencial.
Ecuaciones Diferenciales de Orden n, no lineales, Casos de Reduccin de Orden
Para la solucin de algunas e.d. no lineales, se pueden utilizar mtodos de reduccin de
orden
1.- Ecuaciones diferenciales de orden n de la forma

( )
( )
n
y f x = (4)
Par su solucin se define

1
1
n
n
d y
p
dx

= (5)
Sustituyendo en la ecuacin (3) se obtiene una ecuacin diferencial de primer orden de
variables separables
( )
dp
f x
dx
=
Separando variables e integrando se tiene

( )
1
p f x dx C = +
}

Pero de acuerdo a (4) la anterior es
( )
1
1 1
n
n
d y
f x dx C
dx

= +
}
(6)
Repitiendo el procedimiento n veces se obtiene la solucin
( )
( ) ( )
1 2
1 2
2
.....
1 ! 2 !
n n
n n
n
n
C x C x
y f x dxdx dx C x C
n n

= + + + + +

}} }
.
(7)
Caso 2. La ecuacin diferencial no contiene la funcin incgnita y sus derivadas hasta la
orden k 1, es decir la ecuacin diferencial es

( ) ( ) ( ) ( )
( )
1 1
, , ,........, , 0
k k n n
f x y y y y
+
=

(8)
Para la anterior se define y sustituye una nueva variable

( ) k
p y = (9)
con lo cual la e.d. (8) es reducida a una de orden n k

( )
( )
, , ',........, 0
n k
f x p p y

=
.
(10)
Ejemplo.
( )
2
''' 1 '' y y = +

Sea
'' p y =
.
de donde '''
dp
y
dx
=
Sustituyendo en la ecuacin diferencial se obtiene

2
1
dp
p
dx
= +

De donde

2
1
dp
dx
p
=
+
} }

Integrando se obtiene

( )
2
1
ln 1 x C p p + = + +

De donde

1
2
1
x C
p p e
+
+ + =

Es necesario despejar para y , o sea p, para poder integrar de nuevo, por lo cual se
reacomoda la ecuacin algebraica y y se eleva al cuadrado ambos lado de la ecuacin

( )
( )
1
2
2
2
1
x C
p e p
+
+ =

O sea

( )
1 1
2 2 2
1 2
x C x C
p e e p p
+ +
+ = +


( )
( )
1
1
2 2
2
1
2
x C
x C
d y e
dx e
+
+

=

La ultima ecuacin diferencial cae dentro del caso 1, por lo cual se propone y= p y la
anterior queda
( )
( )
1
1
2
1
2
x C
x C
dp e
dx e
+
+

=

Separando variables se tiene

( )
( )
( ) ( )
1
1 1
1
2
1 1 1
2 2 2
x C
x C x C
x C
e
dp dx e dx e dx
e
+
+ +
+

= =
} } } }

De donde

( ) ( )
1 1
2
2
x C x C
dy e e
C
dx
+ +
+
= +

Separando variables e integrando de nuevo se tiene

( ) ( )
1 1
2 3
2
x C x C
e e
y C x C
+ +

= + +

O de acuerdo a las identidades hiperblicas

( )
1 2 3
sin y x C C x C = + + +
.
Caso 3. La ecuacin diferencial no contiene la variable independiente, que es

( ) ( )
( )
1
, ', '',........, , 0
n n
f y y y y y

= (11)
Se define

dy
p
dx
= (12)

En donde p es una funcin de y, Luego aplicando la regla de la cadena se puede encontrar
las derivadas de mayor orden, que es, para las de segundo orden

2
2
d y dp dy dy dp dp
p
dx dx dy dx dy dy
= = = (13)
De tercer orden

2
3 2
3 2
d y d dp dy d dp dy d dp d p dp
p p p p p
dx dx dy dy dx dy dx dy dy dy dy
(
( ( ( | |
= = = = + (
| ( ( (
( \ .

(14)
Y de esa forma, para obtener una ecuacin diferencial en y y p de orden n-1, a sea (11) es

2 1
2 1
, , ,........, , 0
n n
n n
dp d p d p
f y p
dy dy dy


| |
=
|
\ .
. (15)
Ejemplo

2
'' ' 2
y
y y e

+ =

Sea

' p y =
y
''
dp
y p
dy
=

Sustituyendo en la ecuacin diferencial se obtiene

2
2
y
dp
p p e
dy

+ =

O sea una ecuacin de Bernoulli

1
2
y
dp
p e p
dy

+ =

Para esta ltima sea

1 2 n
z p p

= =
de donde
1
2
p z =

Sustituyendo en la ecuacin de Bernoulli se obtiene

1 1 1
2 2 2
1
2
2
y
dz
z z e z
dy

+ =

Multiplicando por
1
2
z
se obtiene


2 4
y
dz
z e
dy

+ =
La anterior es una ecuacin diferencial lineal con factor de integracin e
2y
, por el cual la
ecuacin diferencial se puede escribir

2
4
y y
d
e z e
dy
( =


Separando variables e integrando se obtiene

1
2
4
y
y
e C
z
e
+
=
Pero z = p
2
de donde

1
2
4
y
y
e C dy
p
dx e
+
= =
Separando variables

1
4
y
y
e dy
dx
e C
=
+
} }

Integrando se obtiene

2 1
1
4
2
y
x C e C + = + .
Caso 4. Ecuacin diferencial homognea en y y sus derivadas
Si al considerar que y y sus derivadas son de grado uno y todos los trminos tienen el
mismo grado (sin considerar el grado de las x) se dice que la e.d. es homognea en y, la
disminucin de orden se logra con la definicin

( ) z x dx
y e
}
= (16)
De donde se obtiene
( )
( )
'
z x dx
y z x e
}
= (17)
y
( )
( )
( )
( ) ( )
( ) ( ) ( )
2 2
'' ' '
z x dx z x dx z x dx
y z x e z x e e z x z x
} } }
= + = + (18)
Y de esa forma para derivadas de mayor orden
Ejemplo.
( )
2
2
'' ' x yy y xy =
La anterior es homognea en y ya que todos sus trminos son de segundo grado en y.
Utilizando las ecuaciones (16), (17) y (18) se obtiene

( )
2
2 2
'
zdx zdx zdx zdx
x e e z z e xze
| | } } } }
+ =
|
\ .


( ) ( )
2 2 2
2 2
' 1
zdx zdx
x e z z e xz
} }
+ =

2 2 2 2 2
' 1 2 x z x z xz x z + = +

2
2 1
' z z
x x
+ =
Multiplicandola por el factor de integracin , x
2
, se puede escribir

( )
2
' 1 x z =
Integrando se obtiene

1
2
1 C
z
x x
= +
Pero
( ) z x dx
y e
}
=
Por lo tanto
1
1
2 2
1
ln ln
C
C
dx
x C
x x x
y e e
| |
+
+ |
\ .
}
= =
De donde

1
2
C
x
y C xe

= .
Caso 5. Ecuacin diferencial homognea generalizada
Si el grado de x y dx se considera uno y m para dy, y todos los trminos alcanzan el
mismo grado para un valor nico de m, entonces la ecuacin diferencial es homognea
generalizada y se reduce de con las sustitucin de

( ) y
t mt
x e y u t e = =
Ejemplo

( )
2
3
'' ' x y y xy =
Tomando el grado de cada uno de los trminos se tiene
3 + m 2 = 2m = 2m
De donde m = 1, por lo tanto

( ) y
t t
x e y u t e = =
Con base en las anteriores hay que encontrar y y y en funcin de las nuevas variables t y
u, para lo cual

( ) ( )
( ) ( )
'
'
t t
t
dy
u t e u t e
dy
dt
u t u t
dx
dx e
dt
+
= = = +
y
( ) ( ) ( ) ( )
( ) ( ) '' '
'' ' '
t
d
u t u t
d dy d
dt
y u t u t u t u t
dx
dx dx dx e
dt
+
= = + = + = ( (


Sustituyendo en la ecuacin diferencial se obtiene
( ) ( ) ( )
2
2
'' ' '
t t t
e u u e u e u u + = +

2
'' ' ' u u u + =
La ecuacin anterior puede ser reducida de orden de acuerdo al caso 3, para lo cual
p = u y ''
dp
u p
du
=
sustituyendo en la anterior se obtiene

2
dp
p p p
du
+ =
1
dp
p p
du
| |
+ =
|
\ .

Por lo cual p = 0 y 1
dp
p
du
= , integrando la anterior se tiene
( )
1
ln 1 ln u p C =
O

1
1
u
du
p C e
dt
= = +
Separando variables se obtiene

1
1
u
du
dt
C e
=
+
} }


1
u
u
e du
dt
C e

=
+
} }


( )
2 1
ln ln
u
C t C e

= +

( )
1 2
u t
C e C e

+ =

1 2
1
u t u
C e C e e

+ =


( )
2 1
1
t u
C e C e

=

( ) ( )
2 1 2 1
1
t
u
t t
e
e
C e C C C e

= =


De donde


( )
2 1
ln
t
t
e
u
C C e
=

Pero y = ue
t
y x = e
t
, en consecuencia

( )
2 1
ln
x
y x
C C x
=

.
Ecuaciones Diferenciales Lineales.

Una ecuacin diferencial lineal de orden n tiene la forma

( )
( )
( ) ( )
( )
( ) ( ) ( ) ( ) ( ) ( )
1
0 1 1
........... '
n n
n n
a x y x a x y x a x y x a x y x f x

+ + + + =

(1)

En donde
( ) ( ) ( ) ( )
0 1 1
, ,......., ,
n n
a x a x a x a x

son funciones de x, Si
0 1 1
, ,......., ,
n n
a a a a

son
constantes la ecuacin diferencial se dice de coeficientes constantes y si f(x) = 0 la
ecuacin adems es llamada homognea.
La solucin de la ecuacin diferencial lineal es la suma de dos soluciones, la solucin
homognea proveniente de
( )
( )
( ) ( )
( )
( ) ( ) ( ) ( ) ( )
1
0 1 1
........... ' 0
n n
H H n H n H
a x y x a x y x a x y x a x y x

+ + + + =

(2)
Y una solucin particular proveniente de la ecuacin (19), o sea

( ) ( ) ( )
H p
y x y x y x = +
(3)
Ecuaciones Diferenciales Lineales de Coeficientes constates
Ecuaciones Diferenciales Lineales de Coeficientes Constates Homogneas
La solucin homognea de una ecuacin diferencial lineal se deduce con mayor facilidad a
partir de la solucin para una ecuacin diferencial de segundo orden, que es

( ) ( )
( )
2
0 1 2 2
0
d y x dy x
a a a y x
dx dx
+ + =
(4)
Se define el operador diferencial

d
D
dx
=
(5)
Con el cual la ecuacin (4) se puede representar como

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

o
( ) ( )
2
0 1 2
0 a D a D a y x + + =
(6)
De acuerdo a la anterior ecuacin, para obtener la solucin no trivial es necesario que

2
0 1 2
0 a D a D a + + =
(7)
a la anterior se le llama ecuacin caracterstica, la cual tiene, en este caso, dos soluciones
D = r
1
y D = r
2
, por lo cual la ecuacin diferencial (6) puede ser escrita como

( )( ) ( )
1 2
0 D r D r y x =
(8)
Para la anterior se puede definir (mtodo de reduccin de orden)
p = (D r
2
)y(x) (9)
con el cual (8) se puede escribir como
(D r
1
)p = 0
o sea una ecuacin diferencial de primer orden,

1
0
dp
r p
dx
=

Separando variables se obtiene

1
0
dp
r dx
p
+ =
} }

e integrando

1
ln p r x C = +

De donde

1
r x
p Ce =

Sustituyendo la anterior en (9) se obtiene

( )
( )
1
2
r x
dy x
r y x Ce
dx
=

La anterior es una ecuacin diferencial lineal con factor de integracin

( )
2
r x
x e

=

con el cual la ecuacin diferencial lineal se puede escribir como

( )
( )
1 2 2
r r x r x
d e y x C e dx

( =
} }
(10)
De acuerdo a los valores de las races de la cuadrtica (7) se tienen cuatro posibles
soluciones de la ecuacin diferencial lineal de segundo orden, que es
Caso 1. Races diferentes
1 2
r r =

( )
( )
( )
( )
1 2 2
1 2
1 2
x r r r x
C
d e y x e r r dx
r r

( =


} }

Integrando se tiene

( )
( )
( )
1 2 2
2
1 2
x r r r x
C
e y x e C
r r

= +

O

( )
2 1
1 2
x r x r
y x Ce C e = +
. (11)
Caso 2. Races iguales

1 2
r r r = =

( )
rx
d e y x C dx

( =
} }

Integrando la anterior se tiene

( ) ( )
1 2
rx
y x C x C e = +
. (12)
Caso 3. Raices complejas conjugadas
r i o | =

Donde y son la partes real e imaginaria del nmero complejo e i es el numero
imaginario puro.
Para este casoi se tienen dos races diferentes una para cada signo, por lo cual s posible
aplicar la ecuacin

( )
( ) ( )
1 2
i x i x
y x Ce C e
o | o | +
= +


( ) ( )
1 2
x i x i x
y x e Ce C e
o | |
= +

Pero la identidad de Euler establece que

cos sin
i
e i
u
u u

=

En consecuencia

( ) ( ) ( ) ( )
1 2
cos sin cos sin
x
y x e C x i x C x i x
o
| | | | = + +


( ) ( ) ( ) ( )
1 2 1 2
cos sin
x
y x e C C x C C i x
o
| | = + +

O

( ) ( )
1 2
cos sin
x
y x e c x c x
o
| | = +

(13)
en donde c
1
= C
1
+ C
2
y c
2
= i(C
1
- C
2
).
Caso 4. Races reales iguales en magnitud pero de diferente signo
r o =

Con (11) se tiene

( )
1 2
x x
y x Ce C e
o o
= +

Sean

1 2
1
2
c c
C
+
=
y
1 2
2
2
c c
C
+
=

Con lo cual la solucin para este caso se puede escribir como
( )
1 2 1 2
2 2
x x
c c c c
y x e e
o o
+
= +


( )
1 2
2 2
x x x x
e e e e
y x c c
o o o o
+
= +

Los coeficientes de c
1
y c
2
son las definiciones de las funciones hiperblicas de coseno y
seno respectivamente, por lo que la solucin se puerde escribir como

( )
1 2
cosh sinh y x c x c x o o = +
.
(14)
Ejemplo. Catlisis Heterognea. Modelo de poro simple
Suponer un largo poro cilndrico de longitud L y dimetro d, al cual entra por difusin
Fickeana el reactante A en fase gaseosa. Sobre la superficie del poro se lleva a cabo una
reaccin cataltica irreversible , A
(g)
B
(g)
, con cintica de primer orden ( )
A
kC x .
Considerar que en el fondo del poro x = 0 no hay reaccin y que en x = L existe una
concentracin de A conocida o sea C
A
(0) = C
As



Balance de la especie A en un elemento de volumen L(D
4
/4)x
Entrada por difusin - salida por difusin = reaccin

2 2
4 4
A A
A
x x x
dC dC d d
D D d xkC
dx dx
t t
t
+A
( (
| | | |
= A
| | ( (
\ . \ .

(15)
Considerando que el coeficiente de difusin es constante y rearreglando la anterior se
obtiene

4
A A
x x x
A
dC dC
k
dx dx
C
x dD
+A

=
A

En el limite cuando x tiende a cero, se obtiene

2
2
2
A
A
d C
C
dx
=
(16)
Donde
2
4k
dD
=
(17)

Este problema tiene condiciones frontera

0
0
A
x
dC
dx
=
=
(18)
Y C
A
(L) = C
As
(19)

La solucin de la ecuacin (16) es

( )
1 2
cosh sinh
A
C x C x C x = +
(20)
Aplicando la condicin frontera (18) se tiene

( )
1 2
0
0 sinh0 cosh0
A
dC
C C
dx
= = +

De donde C
2
= 0 y en consecuencia

( )
1
cosh
A
C x C x =
(21)
Aplicando la condicin frontera (19) en (21) se tiene

1
cosh
As
C
C
L
=

Por lo tanto

( )
cosh
cosh
A As
x
C x C
L

=
(22)
La anterior describe la concentracin del reactante A a lo largo del poro.
Es de inters la eficiencia del poro, la cual se puede considerar como cociente entre la
reaccin neta a lo largo del poro cuando la difusin es un proceso importante (difusin vista
como una resistencia) a la velocidad de reaccin considerando que no hay resistencia (C
A
=
C
As
) o sea


( ) cosh
sinh
cosh cosh
A A
As As
C C
A As
C C
As As
d kC x dx C xdx
L
xC L L L dkC L
t

q
t
= = =
} }

O

sinh
cosh
H
H H
q ==

En donde H es llamado mdulo de Thiele y es dado como

4 k velocidad de reaccin
H L L
dD difusin
= = =

El control de los parmetros y D y en consecuencia de H permiten mejorar la eficiencia
del poro.


Ejemplo. KKM496 ''' 3 '' 3 ' 0 y y y y + =

( ) ( ) ( ) 0 1, ' 0 2, '' 0 3 y y y = = =
Sea
d
D
dx
=

Luego, la ecuacin diferencial se puede escribir como

3 2
3 3 0 D y D y Dy y + =


( )
3 2
3 3 1 0 D D D y + =

Y es la solucin buscada y no puede ser igual a cero, por lo tanto

3 2
3 3 1 0 D D D + =

La cual tiene tres soluciones iguales D = 1, por lo cual se puede utilizar una ampliacin
lgica de la ecuacin (11)

( ) ( )
2
1 2 3
x
y x C x C x C e = + +

Para aplicar las condiciones iniciales son necesarias las dos primeras derivadas

( ) ( )
2
1 2 3 1 2 1 2 1
' 2 2 2
x
y x C x C x C C x C C x C C e = + + + + + + +

Aplicando las condiciones se tiene

3
1 C =


3 2
2 C C + =


3 2 1
2 2 3 C C C + + =

De las anteriores, C
3
= 1, C
2
= 1, y C
3
= 0, por lo tanto

( ) ( ) 1
x
y x x e = +
.
Ejemplo. KKM 508

4 5 ''' 6 ' 4 0
V IV
y y y y y + + =

Con ecuacin caracterstica

5 4 3
4 5 6 4 0 D D D D + + =

Para encontrar las races de la anterior se puede utilizar divisin sinttica
1 + 4 + 5 + 0 6 4 | - 2
0 - 2 4 - 2 + 4 + 4
1 + 2 + 1 2 - 2 + 0

1 + 2 + 1 2 - 2 | -1
0 - 1 - 1 + 0 +2
1 + 1 + 0 2 0

1 + 1 + 0 2 |+ 1
0 + 1 + 2 + 2
1 + 2 + 2 + 0
La ultima fila se corresponde a los coeficientes de una cuadrtica
D
2
+2D + 2 = 0
y besta tiene solucin

2 4 8
1
2
D i

= =

En este caso hay que combinar las formulas (13) para las races complejas conjugadas y la
(32) para las raicers diferentes

( )
2
1 2 3 4 5
cos sin
x x x x
y e C x C x C e C e C e

= + + + +


( )
2
1 2 4 3 5
cos sin
x x x
y e C x C x C C e C e

= + + + +
.
Solucin Particular de Ecuaciones Diferenciales Lineales no Homogneas
Existen varios mtodos para obtener la solucin particular de e.d. lineales no homogneas,
cada uno con sus ventajas y desventajas frente a los otros mtodos, algunos de estos son:
1.- Coeficientes indeterminados
2.- Variacin de parmetros
3.- Mtodo operacional

Coeficientes indeterminados
El mtodo de coeficientes indeterminados se basa en funcin f(x), combinando
adecuadamente las familias que emanan de esta funcin y formando la solucin particular
como una combinacin lineal de los miembros de las familias resultantes, teniendo cuidado
en no repetir las soluciones homogneas de la ecuacin diferencial. Este mtodo implica la
sustitucin de la solucin propuesta en la ecuacin diferencial, para determinar las
constantes de combinacin lineal o sea los coeficientes indeterminados que satiface n la
ecuacin.
Ejemplo

2
''' '' ' y y y y x x + = +
La solucin homognea se obtiene a partir de la ecuacin caracterstica

3 2
1 0 D D D + =

1 1 + 1 1| 1
0 1 + 0 + 1
1 + 0 + 1 + 0
Luego se tiene una raz D = 1 y la ltima fila proporciona los coeficientes de una ecuacin
cuadrtica D
2
+ 1 = 0, de donde se obtienen dos races D = i, y D = - i. luego la solucin
homognea es

1 2 3
cos sin
x
y C x C x C e = + +

Para formar la solucin particular propuesta se tierne la familia

{ }
2
, ,1 x x

Como ninguno de los miembros de la familia es idntico a alguna de las soluciones
homogneas ya es posible formar la solucin particular

2
p
y Ax Bx C = + +


' 2
p
y Ax B = +


'' 2
p
y A =


''' 0
p
y =

Sustituyendo en la ecuacin diferencial se tiene

2 2
2 2 A Ax B Ax Bx C x x + + = +

De donde se obtiene tres ecuaciones con tres incgnitas
A = 1
2A B = 1
2A + B C = 0
El sistema tiene solucin A = -1, B = - 3, C = - 1, en consecuencia

2
3 1
p
y x x =

Y la solucin general que es la suma de las dos soluciones es

2
1 2 3
cos sin 3 1
x
y C x C x C e x x = + +
.

Ejemplo

2
''' '' 12 6 y y x x = +

La anterior tiene ecuacin caracterstica
D
3
- D
2
= 0
La anterior tiene soluciones D = 0, D = 0 y D = 1, luego

1 2 3
x
H
y C x C C e = + +

La familia para formar la solucin particular es

{ }
2
, ,1 x x

Pero, como es necesario no tener miembros de la familia iguales a alguna de las soluciones
homogneas se multiplica toda la familia por x
2
, con lo cual se tiene

{ }
4 3 2
, , x x x


4 3 2
p
y Ax Bx Cx = + +


3 2
' 4 3 2
p
y Ax Bx Cx = + +


2
'' 12 6 2
p
y Ax Bx C = + +


''' 24 6
p
y Ax B = +


2 2
24 6 12 6 2 12 6 Ax B Ax Bx C x x + + = +

-12A = 12
24A 6B = 6
6B 2C = 0
De donde A = -1, B = -5, C = -12, por lo tanto

4 3 2
1 2 3
5 15
x
y C x C C e x x x = + +

Ejemplo
'' 6 ' 9 25 sin
x
y y y e x + = .
La anterior tiene ecuacin caracterstica
(D 3)
2
= 0
De donde D = 3 y D = 3
Luego, la solucin homognea es

( )
3
1 2
x
H
y C x C e = +

En este problema la funcin de x sugiere dos familias {e
x
} y {sen x, cos x} en un producto,
o sea {e
x
sen x, e
x
cos x}, de la anterior se construye la solucin

{ sin cos }
x
H
y e A x B x = +

De donde
' { cos sin sin cos }
x
H
y e A x B x A x B x = + +


'' {2 cos 2 sin }
x
y e A x B x =

Sustituyendo en la ecuacin diferencial se tiene
{2 cos 2 sin 6 cos 6 sin 6 sin 6 cos 9 sin 9 cos } 25 sin
x x
e A x B x A x B x A x B x A x B x e x + + + =
De donde

( ) ( ) 4 3 sin 4 3 cos 25sin B A x A B x x + + + =

Igualando coieficientes se obtienen dos ecuaciones simultaneas
3A + 4B = 25
-4A + 3B = 0
De donde B = 4, A = 3, en consecuencia

{3sin 4cos }
x
H
y e x x = +


( )
3
1 2
{3sin 4cos }
x x
y C x C e e x x = + + +

Ejemplo
'' cos y y x x + =

La solucin homognea de la anterior es

1 2
cos sin
H
y C x C x = +

Las familias son {x,1} y {cos x, sen x}, combinando las dos anteriores se tiene {x cos x,
cos x, x sen x, sen x}, pero como sen x y cos x ya estn en la solucin homognea, hay que
multiplicar la ultima famia por x, o sea {x
2
cos x, xcos x, x
2
sen x, x sen x}, luego la
solucin particular propuesta es

( ) ( )
2 2
cos sin
p
y Ax Bx x Cx Dx x = + + +

Como es posible ver la sustitucin de la anterior en la ecuacin diferencial para la
determinacin de los coeficientes es bastante laborioso, por lo cual en este caso se puede
resolver el problema por el siguiente camino alternativo;
Hay que notar que de acuerdo a la identidad de Euler

cos Re
x
x e =

Por lo cual la ecuacin diferencial se puede escribir como

'' Re
ix
y y xe + =

La solucin homognea es

1 2
ix ix
y C e C e

= +

y las familias provenientes de f(x) son {x,1}, {e
ix
} y combinndolas se tiene { xe
ix
, e
ix
},
pero, por la raz repetida se tendr {x
2
e
ix
,

xe
ix
}, luego

2
Re( )
ix
p
y Ax Bx e = +

De donde

2
' Re( 2 )
ix
p
y iAx iBx Ax B e = + + +


2
'' Re( 4 2 2 )
ix
p
y Ax Bx iAx iB A e = + + +

Sustituyendo en la ecuacindiferencial se tiene
2 2
Re( 4 2 2 ) Re
ix ix
Ax Bx iAx iB A Ax Bx e xe + + + + + =

Re( 4 2 2 ) Re
ix ix
iAx iB A e xe + + + =

De la anterior se obtienen
4iA = 1
2iB + 2A = 0
De las anteriores A = 1/4i, B= - , por lo tanto


( )
2
Re( ) Re( 1) Re( 1) cos sin
4 4 4 4
ix ix
p
x x x x
y e ix e ix x i x
i
= + = + = + +


( ) Re cos sin cos sin
4
p
x
y ix x x x x i x = + + +

( ) sin cos
4
p
x
y x x x = +

Y

( )
1 2
cos sin sin cos
4
p
x
y c x c x x x x = + + +
.
Ecuaciones de Euler
Las ecuaciones diferenciales de Euler son un caso especial de las ecuaciones diferenciales
de coeficientes variables y tienen la forma

( )
( )
( )
( ) ( ) ( ) ( )
1 1
0 1 1
.......... '
n n n n
n n
a x y x a x y x a xy x a y x f x

+ + + + = (1)
La sustitucin
x = e
z
, (2)
transforma la ecuacin de Euler a una ecuacin diferencial de coeficientes constantes, para
tal hay que cambiar las derivadas, luego
1 1
ln
z
d dz d dz d dz d d d d d
x
dx dz dx dz dx dx dz dx dz x dz e dz
= = = = = =

De donde

d d
x
dx dz
=
(3)
Para la segunda derivada se tiene

2 2
2 2 2
1 1 1 1 1 1
z z z z z z
d d dz d d dz d d d d d d
dx dx dz dx e dz dx dz e dz e e dz e dz e dz dz
( (
( (
= = = =
( (
( (



Luego,

2 2
2
2 2
d d d
x
dx dz dz
(
=
(

(4)
y de ese modo se obtiene las dems derivadas, se tiene
( )
( )
( )
( ) ( ) ( ) ( )
1
0 1 1
.......... '
n n
n n
a y z b y z b y z b y z f z

+ + + + = (5)

Una vez resuelta la ecuacin de coeficientes variables (5) se transforma la solucin por
medio de la definicin (2).
Ejemplo
2
'' ' 2 ln x y xy y x x + =
Utilizando (2), (3) y (4) se obtiene

dy
dz
2
2
2
z
d y dy dy
y ze
dz dz dz
+ =
La ecuacin caracterstica de la anterior es
D
2
- 2D +2 = 0
De donde D = 1 i
Por lo tanto la solucin homognea es

( )
1 2
cos sin
z
H
y e C z C z = +
La solucin particular tiene la forma

( ) ( )
z z z
p
y Aze Be Az B e = + = +

( ) '
z
p
y Az B A e = + +

( ) '' 2
z
p
y Az B A e = + +
Sustituyendo en la ecuacin diferencial se tiene

( ) 2 2 2 2 2 2
z z
e Az B A Az B A Az B ze + + + + =
De donde Az B z + =
Luego, A = 1, B = 0 y
z
p
y ze =
Por consiguiente
( )
1 2
cos sin
z
y e C z C z z = + +
Pero z = ln x, por lo tanto

( )
1 2
cosln sinln ln y x C x C x x = + + .
Variacin de parmetros
El mtodo de variacin de parmetros, ofrece la ventaja de que es til para encontrar la
solucin particular de ecuaciones diferenciales lineales no homogneas, tanto de
coeficientes variables y como de coeficientes constantes.
Para una mayor facilidad de su deduccin se puede utilizar una ecuacin diferencial lineal
de segundo orden
( )
( )
( )
( )
( ) ( )
2
0 1 2 2
0
d y x dy x
a x a x a x y x
dx dx
+ + =
(34)
de la cual se conoce la solucin homognea

( ) ( ) ( )
1 1 2 2 H
y x C y x C y x = + (35)
Se propone como solucin total a

( ) ( ) ( ) ( ) ( )
1 1 2 2
y x C x y x C x y x = + (36)
Para satisfacer la ecuacin diferencial es necesario obtener la primera y segunda derivadas,

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
1 1 2 2 1 1 2 2
' ' ' ' ' y x C x y x C x y x C x y x C x y x = + + +
Y se establece una condicin

( ) ( ) ( ) ( )
1 1 2 2
' ' 0 C x y x C x y x + = (37)
Luego, la primera derivada es

( ) ( ) ( ) ( ) ( )
1 1 2 2
' ' ' y x C x y x C x y x = + (38)
Derivando la anterior se tiene

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
1 1 2 2 1 1 2 2
'' '' '' ' ' ' ' y x C x y x C x y x C x y x C x y x = + + + (39)
Sustituyendo (35), (38) y (39) en la ecuacin diferencial (34)
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
0 1 1 2 2 1 1 2 2
'' '' ' ' ' ' a x C x y x C x y x C x y x C x y x + + + + (


( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
1 1 1 2 2 2 1 1 2 2
' ' a x C x y x C x y x a x C x y x C x y x f x + + + = ( (


la cual se puede rearreglar como
( ) { ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
0 1 1 2 2 1 1 1 2 2
'' '' ' ' a x C x y x C x y x a x C x y x C x y x + + + ( (


( ) ( ) ( ) ( ) ( ) } ( ) ( ) ( ) ( ) ( )
2 1 1 2 2 1 1 2 2
' ' ' ' a x C x y x C x y x C x y x C x y x f x + + + + = (


En la anterior ecuacin hay que notar que lo que se encuentra dentro de la llave se
corresponde a la ecuacin diferencial homognea y como tal es igual a cero, por lo cual de
la anterior queda la ecuacin

( ) ( ) ( ) ( ) ( )
1 1 2 2
' ' ' ' C x y x C x y x f x + = (40)
De las ecuaciones (37) y (40), de las cuales pueden ser obtenidas
( ) ( )
1 2
' y ' C x C x para
luego ser integradas y dar
( )
( )
( )
( )
( )
( ) ( )
( ) ( )
( ) ( )
( ) ( ) ( ) ( )
2
2
0 2
1 1 1
1 2 0 1 2
1 2
0
'
,
' '
y x
f x
y x
a x f x y x
C x dx C dx C
W y x y x a x y x y x
y x y x
= + = +
} }

( )
( )
( )
( )
( )
( ) ( ) ( )
( ) ( )
( ) ( ) ( ) ( )
1
1
0 1
2 2 2
1 2 1 2 0
0
'
, ,
y x
f x
y x
a x f x y x
C x dx C dx C
W y x y x W y x y x a x
= + = +
} }

En donde a
( ) ( ) ( )
1 2
, W y x y x se le llama Wronskiano
La sustitucin de las anteriores en la ecuacin (36) da la solucin total de la ecuacin
diferencial
( ) ( ) ( )
1 1 1 1
y x C y x C y x = + +
( )
( ) ( )
( ) ( ) ( ) ( )
( )
( ) ( )
( ) ( ) ( ) ( )
1 2
2 1
1 2 0 1 2 0
, ,
f x y x f x y x
y x dx y x dx
W y x y x a x W y x y x a x
+
} }

La solucin se puede escribir como
( ) ( ) ( )
( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
1 2 2 1
1 1 1 1
1 2 0
,
x f y y x y y x
y x C y x C y x d
W y y a

(

= + +
}
(41)
En donde es una variable muda.
Ejemplo
y + 4y = 1/cos 2x
La ecuacin caracterstica es
D
2
+ 4 = 0
De donde D = - 2i y D = 2i, de donde la solucin homognea es
y
H
= C
1
cos 2x

+ C
2
sen 2x
El Wronskiano correspondiente es

( ) ( )
2 2
1 2
cos 2 sin2
, 2 cos 2 sin 2 2
2sin2 2cos 2
x x
W y y x x
x x
= = + =

Y
( )
1 1 1 1
0 sin 2
1
2cos 2
sin 2 1
cos 2
tan 2
2 2cos 2 2
x
x
x
x
C x dx C dx C xdx C
x
= + = + = +
} } }

Integrando se tiene

( )
1 1
1
lncos 2
4
C x x C = +

Y
( )
2 2 2 2
cos 2 0
1
2sin 2
1 1
cos 2
2 2 2
x
x
x
C x dx C dx C x C

= + = + = +
} }

Luego la solucin total es dada por


1 2
1 1
( ) ln cos 2 cos 2 sin 2
4 2
y x x C x x C x
( (
= + + +
( (


O
1 2
1 1
( ) cos 2 sin 2 cos 2 lncos 2 sin 2
4 2
y x C x C x x x x x = + + +
Ejemplo

( )
2
2 3
'' 1 2 ' 4
x
xy x y x e + =
La ecuacin homognea es

( )
2
'' 1 2 ' 0 xy x y + =
la cual es una ecuacin que permite la reduccin de orden, luego, sea y= p, con lo cual la
e.d. homognea se reduce a

( )
2
1 2
' 0
x
p p
x
+
=
Separando variables se tiene

( )
2
1 2x
dp
dx
p x
+
=
} }

Integrando se tiene

2
ln ln ln p x x C = + +
o

2
x
dy
p Cxe
dx
= =
Separando variables e Integrando de nuevo se tiene

2
1 2
x
y Ce C = +
El Wronskiano correspondiente es

2
2
2
1
2
2 0
x
x
x
e
W xe
xe
= =
Ahora
( )
2
2
2
2
1 1 1 1
0 1
4 0
2
2
x
x
x e
C x dx C xdx C x C
xe
= + = + = +

} }

Y
( )
2
2 2
2 2
2
2
2 2 2 2
0
2 4
2
2
x
x x
x x
x
e
xe x e
C x dx C xe dx C e C
xe
= + = + = +

} }

De donde la solucin total es dada como

2 2
2
1 2
( )
x x
y x x C e e C ( = + +


o

( )
2 2
2
1 2
1
x x
y Ce C x e = + +
o


( )
2
2
1 2
x
y C x e C = + +

Notar que el anterior problema puede ser resuelto en su totalidad por reduccin de orden,
para lo cual expresamos la ecuacin diferencial como

( ) 2
2
2
1 2
4
x
x
dp
p x e
dx x
+
=

La anterior es una ecuacin diferencial lineal con

( )
( )
2 2
2
1 2
exp exp ln
x
x
e
dx x x
x x

+
(
= = + =

}

Luego, la e.d. con el factor de integracin se puede escribir como

2
4
x
d e
p x
dx x

(
=
(
(


Separando variables e integrando se tiene

2
2
1
2
x
e
p x C
x

= +
De donde

( )
2
3
1
2
x
dy
x C x e
dx
= +
Separando variables se obtiene

2 2
3
1
2
x x
dy x e dx C xe dx = +
} } }

Para la primera integral de la derecha sean

2
2
y
x
u x dv xe dx = =
y

2 1
2 y
2
x
du xdx dv e = =
Integrando se tiene

2 2 2
2 1
1
2
2 2
x x x
C
y x e xe dx e
(
= +
(

}


2 2 2
2 1
2
2
x x x
C
y x e e e C = + +
O

( )
2 2
2
1 2
1
x x
y Ce C x e = + +
Ejemplo

( ) ( )
2
1 2
0
1 '' ' 1 ,
lim 0, 1, y , y
x
x
x
x
x y xy y x e
y y x e
=

+ =
= = = =

El Wronskiano del problema es
Luego,
( ) 1
1
x
x
x
x e
W x e
e
= =


( )
( )
( )
1 1 1 1
0
1
1
x
x x
x x
x
e
x e e
C x dx C e dx C e C
x e

= + = + = +

} }

( )
( )
( )
2
2 2 2 2
0
1 1
1 2
x
x
x
x e
x
C x dx C xdx C C
x e

= + = + = +

} }

2
1 2
2
x x
x
y e C x C e
(
( = + + +
(



2
1 2
2
x x
x
y e C x C e
(
( = + + +
(



2
1 2
lim 0 lim
2
x x
x x
x
y e C x C e

(

( = = + + +
`
(

)

De donde C
1
= 0 y en consecuencia

2
2
2
x x
x
y xe C e
(
= + +
(


( )
2
0 1 y C = =


2
1 C =

Por lo tanto

2
1
2
x
x
y x e
| |
= +
|
\ .
,
Ejemplo

2 3
1
'' ' , y cos
x x x
y y e y e e

+ + = =

Notar que en este caso solo se conoce una de las dos soluciones homogneas, por lo cual se
recurre a una modificacin del mtodo de variacin de parmetros y en la que se define la
solucin total como
( ) ( )
1
y=y x v x

De donde
y = y
1
(x)v(x) + y
1
(x)v(x)
y y = y
1
(x)v(x) + y
1
(x)v(x) + y
1
(x)v(x) + y
1
(x)v(x)
= y
1
(x)v(x) + 2y
1
(x)v(x) + y(x)v(x)
Sustituyendo en la ecuacin diferencial se tiene

2 3
1 1 1 1 1 1
( ) ''( ) 2 '( ) '( ) '' ( ) ( ) ( ) '( ) '( ) ( ) ( ) ( )
x x
y x v x y x v x y x v x y x v x y x v x e y x v x e

+ + + + + =

Reagrupando trminos se obtiene

2 3
1 1 1 1 1 1
( ) ''( ) 2 '( ) '( ) ( ) '( ) '' ( ) '( ) ( ) ( )
x x
y x v x y x v x y x v x y x y x e y x v x e

( + + + + + =


Pero, por ser y
1
(x) una solucin homognea

2
1 1 1
'' ( ) '( ) ( ) 0
x
y x y x e y x

( + + =


y

3
1 1 1
( ) ''( ) 2 '( ) '( ) ( ) '( )
x
y x v x y x v x y x v x e

+ + =

La anterior es una ecuacin diferencial de reduccin de orden, ya que en ella no existe v(x)
como tal, luego, sea p = v(x), luego

| |
3
1 1 1
( ) '( ) 2 '( ) ( ) ( )
x
y x p x y x y x p x e

+ + =

o

3
1
1 1
'( )
2 1
'( ) ( )
x
y x dp e
dx y x y x

(
+ + =
(


La anterior e.d.l. tiene factor de integracin
( )
( )
( ) ( )
( )
1
1 1
'
2 1
2ln 2
1
y x
dx
y x y x x x
x e e y x e
(
+
(
+ (

}
= = =
Con lo anterior la e.d.l. toma la forma
( ) ( )
2 2
1 1
x x
d
y x e p y x e
dx

( =


Sustituyendo y
1
(x) por su valor y separando variables

2 2
cos cos
x x x x
d e e p e e dx

( =
} }

Para la integral de la derecha

, cos
x x x
u e dv e e dx

= =

, sin
x x
du e dx v e

= =

Por lo tanto, integrando

2
1
cos sin sin
x x x x x x
e e p e e e e dx C

=
}


2
1
cos sin cos
x x x x x
e e p e e e C

=


( )
2
1 2 2
sin
cos cos cos
x x x
x
x x x
e e e
dv x e dx dx C dx
e e e

= +
} } } }


( )
2
1
tan sec sec sec
x x x x x x x x
dv x e e e e dx e e dx C e e dx

= +
} } } }

Para la primera integral de la derecha se tiene
y dV tan sec
x x x x
u e e e e dx

= =
y V sec
x x
du e dx e

= =
Luego integrando se tiene
1 2
( ) sec sec sec tan
x x x x x x x
v x e e e e dx e e dx C e C

= + +
} }

1 2
( ) sec tan cos
x x x x
y x e e C e C e

( = +


1 2
( ) sin cos
x x x
y x C e C e e

= + + .

Mtodo operacional para la solucin de ecuaciones diferenciales de coeficientes constantes
Sea
d
D
dx
=
el operador diferencial, luego, la ecuacin diferencial de orden n

( ) ( 1)
1
( )
n n
o n
a y a y a y f x

+ + + =
toma la forma

( ) ( 1)
1
( )
n n
o n
a D y a D y a y f x

+ + + = Soluciones en Serie y
Funciones Especiales

La solucin de ecuaciones diferenciales ordinarias, EDO, por medio de series puede generar
funciones especiales como lo son: Bessel, Legendre, Laguerre, Hermite, y la hipergeomtrica.

4.1 Algunas definiciones
Una serie de potencias es una serie infinita de la forma
( )

=

0 j
j
n
a x c = c
o
+ c
1
(x - a) + c
2
(x - a)
2
+.. (4.1.1)
en donde a es el centro y c
j
son los coeficientes de la serie.
La suma parcial de la serie es
s
n
= ( )

=

n
0 j
j
j
a x c (4.1.2)
La anterior substrada de la serie da el residuo
R
n
= ( )

+ =

1 n j
j
j
a x c = c
n+1
(x - a)
n+1

+ c
n+2
(x - a)
n+2
+ .. (4.1.3)
Si en el punto x = x
0
, el lm s
n
(x
0
) existe y es finito, se dice que la serie de potencias converge en x =
x
0
y
n
R puede hacerse tan pequea como se desee para una n suficientemente grande.
La serie converge para x = a. Si existen otros valores de x alrededor de a para los cuales la serie
converge, estos forman el intervalo de convergencia y tiene como punto medio a a. El intervalo
puede ser finito o infinito, en el ultimo caso la serie converge para toda x. El tamao del intervalo
de convergencia se denota por el radio de convergencia, R, por lo tanto la convergencia ocurre si
R a x < .
El radio de convergencia puede ser calculado con el mtodo de la raz
R
-1
= | |
n
1
n
n
c lim

(4.1.4a)
y el mtodo de la razn

n
1 n
n
c
c
lim
R
1
+

= (4.1.4b)
Ejemplo 1. Considerar la serie geomtrica

=0 j
j
x = 1

+ x + x
2
+..
en la cual a = 0. Con (4.1.4)
R
-1
= | |
n
1
n
1 lim

= 1,
1
1
lim
R
1
n
= = 1 (4.1.5a,b)
Por lo tanto la serie geomtrica converge si y solo si x < 1, lo anterior se explica por que

x 1
1
x
0 j
j

=
.
Ejemplo 2. Considerar la serie exponencial
........
! 3
x
! 2
x
x 1
! j
x
e
3 2
0 j
j
x
+ + + + = =

=

la cual tambin tiene centro igual a 0. Usando el mtodo de la razn se tiene

( )
0
1 n
1
lim
! n
1
! 1 n
1
lim R
n n
1
=
+
=
+
=

y R = , por lo tanto la serie converge para toda x.
Si se usa el mtodo de la raz
R
-1
=
n
1
n
! n
1
lim
(

(4.1.6)
De la aproximacin de Stirling se tiene que para n muy grande
N!
n
e
n
n 2
|
.
|

\
|
~ t para n >> 1
R
-1
=
( )
|
.
|

\
|
=
(
(

|
.
|

\
|

n
e
n 2
1
lim
n
e
n 2
1
lim
n 2
1
n
n
1
n
n
t
t

A causa de que
( ) 1 n 2 lim
n 2
1
n
=

t
se tiene que
R
-1
=
n
e
lim
n
= 0
Por lo tanto Rh = .

4.2 Operaciones Elementales
Sean
( ) ( )

=
=
0 j
j
0 j
x x a x f
y ( ) ( )

=
=
0 j
j
0 j
x x b x g
dos series con intervalo de convergencia comn <
0
x x , luego
1. ( ) ( ) ( )( )

=
=
0 j
j
0 j j
x x b a x g x f
2 ( ) ( ) ( )

=
=
0 j
j
0 j
x x c x g x f (4.2.2)
donde c
m
= a
0
b
m
+ a
1
b
m-1
+ ...........+ a
m
b
0
.
3. La funcin f(x) es continua de forma que la primera derivada es
( ) ( )

=
1 j
1 j
0 j
x x j a x f (4.2.3)
y en donde se aplic la formula de la derivada de una cantidad con exponente, las derivadas de
orden superior se obtienen de igual manera.
Cuando los coeficientes a
j
se calculan como por medio de

( )
( )
! j
x f
a
0
j
j
= (4.2.4)
la serie es llamada serie de Taylor para la funcin f(x) cerca de x = x
0
. Un funcin f(x) tiene
expansin en serie de Taylor cerca de x = x
0
,
( )
( )
( )
j
0
0 j
0
j
x x
! j
x f
x f =

=
(4.2.5)
con radio de convergencia > 0, siendo analtica en x = x
0
. Si x
0
=0 la srerie es llamada serie de
Maclaurin.

Ecuaciones Diferenciales Ordinarias con Coeficientes Analticos
Considerar la EDO
( ) ( ) ( ) 0 y x a
dx
dy
x a
dx
y d
x a
2 1 2
2
0
= + + (4.3.1)
en donde a(x) 0 en algn intervalo de inters | | b , a xe , y la cual puede ser escrita como
( ) ( ) 0 y x q
dx
dy
x p
dx
y d
2
2
= + + (4.3.2)
Si los coeficientes son analticos en x = x
0
, entonces el punto x
0
es llamado punto ordinario de la
EDO.
Teorema. La serie de potencias
( ) ( )

=
=
0 j
j
0 j
x x c x y (4.3.4)
es convergente en R x x
0
< y puede ser propuesta como solucin de la EDO si las series
( ) ( )

=
=
0 j
j
0 j
x x a x p y ( ) ( )

=
=
0 j
j
0 j
x x b x q
son convergentes en el mismo dominio..

Ejemplo. La EDO
0 y
dx
y d
2
2
= + ( ) e , x (4.3.4)
En la anterior p(x) = 0 y q(x) = 1 son funciones analticas en x = 0 y este es un punto ordinario, por
lo tanto la serie propuesta como solucin debe ser
( )

=
=
0 j
j
j
x c x y (4.3.5)
de manera que
( )

=
0 j
1 j
j
jx c x y y ( ) ( )

=
0 j
2 j
j
x 1 j j c x " y
Substituyendo en la EDO se obtiene
( )

= +
0 j 0 j
j
j
2 j
j
0 x c x 1 j j c
Cambiando el ndice j del sumatorio derecho por j-2 (para igualar el exponente de la variable)
( )

= +
0 j 2 j
2 j
2 j
2 j
j
0 x c x 1 j j c
desarrollando parcialmente el primer sumatorio y sumndolos sumatorios que tienen igual ndice
( )( ) ( )( ) ( ) | |

= + + +

0 x c 1 j j c x 0 1 c x 1 0 c
2 j
2 j j
2
1
2
0

Igualando los coeficientes de cada potencia de x
c
0
(0)

= 0, de donde c
0
= indeterminada,
c
1
(0)

= 0, de donde c
1
= indeterminada
c
j-2
j (j 1) + c
j
= 0, j = 2,3,4....., de donde obtiene una ecuacin para determinar los coeficientes

( ) 1 j j
c
c
2 j
j

=

, j=2,3,4....
de la anterior
.. ,.........
! 5
c
5 4
c
c ,
! 4
c
4 3
c
c ,
! 3
c
c ,
! 2
c
c
1 3
5
0 2
4
1
3
0
2
=

= =

= = =
y en general

( )
( )
( )
( )
,...... 3 , 2 , 1 , 0 k , c
! 1 k 2
1
c , c
! k 2
1
c
1
k
1 k 2 0
k
k 2
=
+

=
+

Con los anteriores valores la serie toma la forma

( )
( )
( )
(

+
+

+ + +
(

+ + + =
+
...... x
! 1 n 2
1
........ x
! 5
1
x
! 3
1
x c
......... x
! n 2
1
........ x
! 4
1
x
! 2
1
1 c y
1 n 2
n
5 3
1
n 2
n
2
0


Se puede mostrar que las anteriores series representan las funciones cos x y sen x, luego la
solucin es
y = c
0
sen x + c
1
cos x
En este caso se generaron las dos soluciones linealmente independientes multiplicadas por las
constantes de combinacin lineal c
0
y c
1.

4.4 Desarrollo de la Solucin en una Serie de Potencias Generalizada (Mtodo de Frobenius)
Definicin. Una serie de la forma



=
+

=
=
0 k
s k
k
0 k
k
k
s
x c x c x (4.4.1)
en donde s es un nmero dado, es llamada serie generalizada de potencias. Esta es convergente
en cierto recinto R x < . Si s es un numero entero positivo la serie (4.4.1) se convierte en una
serie de potencias ordinaria.
Teorema. Si x = 0 es un punto singular de la ecuacin diferencial (4.3.1), cuyos coeficientes p(x) y
q(x) admiten desarrollos
( ) ( )
2
0 k
k
k
0 k
k
k
x
x b
x q ,
x
x a
x p


=

=
= =
donde las series que figuran en los numeradores son convergentes en cierto recinto R x < , y los
coeficientes a
0
, b
0
y b
1
no son simultneamente cero, entonces la ecuacin (4.3.1) posee al menos
una solucin en forma de serie de potencias generalizada

=
+
=
0 k
s k
k
x c y (c
0
0). (4.4.2)
Ejemplo. Se desea resolver la EDO lineal de coeficientes variables
( ) ( ) 0 y 1 x
dx
dy
x 2 x 3
dx
y d
x 2
2
2
2
2
= + +
por lo tanto
( )
( )
( )
( )
2
x
2 / 1 x
x q y
x
x 2 3
x p
+
=

=
donde se puede ver que a
0
, b
0
y b
1
son diferentes de cero. Por lo tanto se propone como solucin
la ecuacin (4.4.2), luego, al sustituir en la EDO se obtiene
( )( ) ( ) ( ) + + + + + +

=
+ + + +
0 k 0 k 0 k
1 s k
k
s k
k
s k
k
x s k c 2 x s k c 3 x 1 s k s k c 2
0 x c x c
0 k
s k
k
0 k
1 s k
k
=


=
+

=
+ +

Dividiendo por x
s
y agrupando sumatorios se llega a
( ) | | ( ) | | 0 x 1 s k 2 c x 1 s k s k 2 c
0 k 0 k
1 k
k
k 2
k
= + + + + +

=
+

cambiando el ndice k del sumatorio derecho por k-1 y desarrollando parcialmente el sumatorio
izquierdo se
obtiene

( ) ( ) | | ( ) | | { } 0 x 1 s k 2 c 1 s k s k 2 c 1 s s 2 c
0 k
k
1 k
2
k
2
0
= + + + + + + +

=


Igualando coeficientes se obtiene
c
0
(2s
2
+ s +1) = 0, de donde, si c
0
se fija indeterminada se obtiene la ecuacin determinativa
2s
2
+ s +1 = 0
cuya solucin en este caso da dos raices diferentes s = , s = -1, y de los coeficientes de x
k

dan la ecuacin

( )
( )
1 k 2 k
c
1 s k s k 2
1 s k 2
c

+ + +
+
= , , k = 1,2,....
Se esperan dos soluciones linealmente independientes y cada valor de s diferente generara una
solucin.
Para s =
1 k k
c
3 k 2
2
c

+
= k = 1,2,....
Luego, a partir de la anterior
c
1
= 2c
0
/5, c
2
= 2c
1
/7 = 2
2
c
0
/(57), c
3
= 2c
2
/9 = 2
3
c
0
/(579), c
n
= 2
n
c
0
/(579....... (2n+3))
de esta forma, se obtiene la primera solucin
( )
( )
( )
(

+
+ =

=0 k
k
0 1
3 k 2 ........ 9 7 5
x 2
1 c x y .

Para s = -1
k
c
c
1 k
k

= , k = 1,2,....

c
1
= c
0
/1!, c
2
= c
1
/2 = c
0
/2!, c
3
= c
2
/3 = c
0
/3!, c
n
= c
0
/n!,
y la segunda solucin es ( )
x 1
0 k
k
1
2
e x
! k
x
x x y

= =

.
Si los exponentes s
1
y s
2
, no difieren por cero o un entero negativo se obtendrn dos soluciones
linealmente independientes. Si la diferencia es un entero o cero se obtendr solo una solucin con
el valor de mayor.
Tratamiento de Casos Excepcionales
Si s
1
= s
2
,

es posible encontrar la segunda solucin por el mtodo de variacin de parmetros.
Sea, ( ) ( ) x u x y y
1
=
En donde y
1
(x) es la solucin conocida y u(x) una funcin por determinar. Si se sustituye en la
ecuacin diferencial (4.3.2)
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 0 x u x y x q x u x y x p x u x y x p x " u x y x u x y 2 x u x " y
1 1 1 1 1 1
= + + + + +
pero
( ) ( ) ( ) ( ) ( ) | | ( ) 0 x u x y x q x y x p x " y
1 1 1
= + +
por lo tanto se obtiene que
( )
( )
( ) 0 x u
x
x a
x c x
x s k c x
x " u
0 k
k
k
0 k
s
k
s
0 k
k
k
1 s
=
(
(
(
(

+
+
+

o
( )
( ) ( )
| |
(

+
+ + +
+ + + + +
+
..... x c x c c x
.... 2 s c 1 s c s c
x " u
2
2 1 0
2 1 0

o bien

( ) ( 1)
1 1
( ) ( )
n n
o n n
a D a D a D a y f x

+ + + + = . (1)
La expresin

( ) ( 1)
1 1
n n
o n n
a D a D a D a

+ + + +
se llama polinomio operacional. Este polinomio se puede designar como F(D), la ecuacin
(1) puede ser expresada como
( ) ( ) F D y f x =
Es fcil mostrar las identidades siguientes:
1) ( ) ( )
k x k x
F D e e F k
2)
2 2
( ) ( ) F D senax senax F a
3)
2 2
( ) cos cos ( ) F D ax ax F a
4) ( ) ( ) ( ) ( )
k x k x
F D e v x e F D k v x +
Es necesario notar que F(D) es un operador lineal, tal que,

1 2 1 2
[ ( ) ( )] ( ) ( ) ( ) ( ) ( ) F D F D f x F D f x F D f x + = + .
Y que para el producto de dos operadores se cumple la ley conmutativa

1 2 2 1
( ) ( ) ( ) ( ) F D F D F D F D = .
y se cumple la ley distributiva

1 2 1 2
( )[ ( ) ( )] ( ) ( ) ( ) ( ) F D F D F D F D F D F D F D + = + .
Por lo tanto, las operaciones de suma y producto de polinomios operacionales no se
diferencian de las mismas operaciones con polinomios ordinarios.
Sea 1/F(D) el operador inverso al operador F(D).
Luego, para la ecuacin diferencial
F(D) y = f(x), (2)
se tiene solucin

1
( )
F(D)
y f x = ,
con lo cual se verifica la igualdad

1
[ ( ) ( )] ( )
( )
F D f x f x
F D
= . (3)
Adems

1
( ) ( )
p
p
f x f x dx
D
=
}} }

ya que
1
p
D
f(x) es, por definicin el operador
1
( ) F D
, solucin de la ecuacin ( )
p
D y f x = .