1

3. Ecuaciones diferenciales de orden superior

( Chema Madoz, VEGAP, Madrid 2009)
2
Ecuaciones lineales: teora bsica
Un problema de valor inicial de n-simo
orden consiste en resolver la EDO lineal:
sujeta a las n condiciones iniciales:
Resolverlo consiste en encontrar una funcin
y(x) definida en un intervalo I que contiene a x

!
donde se cu"#len la ecuacin y las condiciones
iniciales$
) ( ) ( ) ( ) ( ) (
0 1
1
1
1
x g y x a
dx
dy
x a
dx
d
x a
dx
y d
x a
n
n
n
n
n
n
+ + + +

1 0
) 1 (
1 0 0 0
) ( , , ) ( , ) (

n
n
y x y y x y y x y
%
Existencia de una solucin nica
(Condicin suficiente
&ea a
n
(x)! a
n'1
(x)! (! a

(x)! y g(x) continuas en I,

con a
n
(x) #ara todo x de I$ &i x = x

es
cualquier #unto de este intervalo! entonces existe
una solucin y(x) del #ro)le"a anterior en I y es
*nica$

Eje"#lo:
#osee la solucin trivial y(x) + $ ,o"o es una ED de tercer
orden lineal con coeficientes constantes! y(x) + es la *nica
solucin en cualquier intervalo que conten-a a x + 1$
0 ) 1 ( , 0 ) 1 ( , 0 ) 1 ( , 0 7 5 3

+

+

y y y y y y y
.

Eje"#lo: ,o"#rue)a que y = %e

2x
/ e
2x
%x es la
*nica solucin de
0a ED es lineal! los coeficientes y g(x) son todos
funciones continuas! y a
2
(x) + 1 es distinto de en
cualquier intervalo que conten-a x + $ 0a solucin
#ro#uesta cu"#le la EDO y es *nica en I$
1 ) 0 ( ' , 4 ) 0 ( , 12 4 " y y x y y
Comprueba que y = cx
2
+ x + 3 es solui!" del PV#$
e" %oda la re%a real& Es%e PV# %ie"e i"'i"i%as soluio"es& (bser)a que el
oe'iie"%e de la deri)ada a
2
(x) = x
2
m*s al%a se hae ero e" x = 0 + ese
pu"%o "eesariame"%e %ie"e que es%ar i"luido e" I porque lo impo"e" las
o"diio"es i"iiales&
1 ) 0 ( , 3 ) 0 ( , 6 2 2
2

y y y y y x
1
!roblemas de valores en la frontera

Resolver:
sujeta a :
se lla"a problema de valor
en la frontera (PVF y a las
restricciones se conocen
co"o condiciones de contorno
o condiciones en la frontera.
2ota: 0as condiciones de contorno
#ueden ser ta")i3n so)re las derivadas$
) ( ) ( ) ( ) (
0 1
2
2
2
x g y x a
dx
dy
x a
dx
y d
x a + +
1 0
) ( , ) ( y b y y a y
4
5i"os que x = c
1
cos .t / c
2
sin .t era solucin de
(a) &u#on-a"os el 657
&i x() + ! entonces c
1
+ ! y x(t) + c
2
sen .t.
&i x(82) + ! o)tene"os + inde#endiente"ente
de c
2
$ De "odo que tene"os infinitas soluciones$
()) &i
tene"os que c
1
+ ! c
2
+ :
x(t) + , solucin nica$
0 16 " + x x
0
2
, 0 ) 0 ( , 0 16

,
_

+


x x x x
0
8
, 0 ) 0 ( , 0 16

,
_

+


x x x x

(c) &i
tene"os que c
1
+ ! y 1 +
(contradiccin)$ "o #a$ solucin$
1
2
, 0 ) 0 ( , 0 16

,
_

+


x x x x
9
0a si-uiente EDO lineal de orden n:

se dice que es no homognea.

si g(x) + la ecuacin es homognea$
5ere"os que #ara resolver una ecuacin no
:o"o-3nea tendre"os que resolver ta")i3n la
ecuacin :o"o-3nea asociada$
0 ) ( ) ( ) ( ) (
0 1
1
1
1
+ + + +

y x a
dx
dy
x a
dx
y d
x a
dx
y d
x a
n
n
n
n
n
n

) ( ) ( ) ( ) ( ) (
0 1
1
1
1
x g y x a
dx
dy
x a
dx
y d
x a
dx
y d
x a
n
n
n
n
n
n
+ + + +

&ea Dy + dy/dx. <l s=")olo D se le lla"a operador

diferencial$ Defini"os a un o#erador diferencial de
n'3si"o orden u o#erador #olino"inal co"o

El o#erador diferencial L es un operador lineal:

6ode"os escri)ir las EDOs anteriores si"#le"ente
co"o
L(y) + y L(y) + g(x)
%peradores diferenciales
) ( ) ( ) ( ) (
0 1
1
1
x a D x a D x a D x a L
n
n
n
n
+ + + +

)) ( ( )) ( ( )} ( ) ( { x g L x f L x g x f L + +
>
!rincipio de superposicin
(ecuaciones #omo&neas
&ean y
1
! y
2
! (! y
k
soluciones de una ecuacin
diferencial :o"o-3nea de n'3si"o orden en un
intervalo I$ Entonces la co")inacin lineal
y = c
1
y
1
(x) / c
2
y
2
(x)

/ (/ c
k
y
k
(x)
donde c

! + 1! 2! (! k, son constantes ar)itrarias!

ta")i3n es una solucin en el intervalo$
2ota:
(<) y(x) = cy
1
(x) ta")i3n es solucin si y
1
(x) es una solucin$
(?) Una ED lineal :o"o-3nea sie"#re #osee la solucin trivial y(x) + $
Eje"#lo: 0as funciones y
1
+ x
2
! y
2
= x
2
ln x son a")as
soluciones e" (0, ) de
0ue-o y = x
2
! x
2
ln x ta")i3n es una solucin en (! )$
0 4 2
3
+

y y x y x
1
'ependencia e independencia lineal
Un conjunto de funciones "
1
(x)! "
2
(x)! (! "
n
(x) es
linealmente dependiente en un intervalo I! si existen
ciertas constantes c
1
! c
2
! (! c
n
no todas nulas, tales
que:

c
1
"
1
(x) / c
2
"
2
(x) / ( / c
n
"
n
(x) +
&i el conjunto no es lineal"ente de#endiente! entonces
es linealmente independiente$
#n otras $ala%ras, s el conjunto es lneal&ente
nde$endente, cuando:
c
1
"
1
(x) / c
2
"
2
(x) / ( / c
n
"
n
(x) +
entonces necesara&ente c
1
+ c
2
+ ( + c
n
+ $
11
,-o" es%as 'u"io"es li"ealme"%e i"depe"die"%es.
c
/
f
/
(x) 0 c
2
f
2
(x) 1 0
12
Eje"#lo: 0as funciones "
1
+ cos
2
x! "
2
+ sin
2
x!
"
%
+ sec
2
x! "
.
+ tan
2
x son lineal"ente
de#endientes en el intervalo ('82! 82)
#orque
c
1
cos
2
x /c
2
sin
2
x /c
%
sec
2
x /c
.
tan
2
x +
con c
1
+ c
2
+ 1! c
%
+ '1! c
.
+ 1$
Eje"#lo: 0as funciones "
1
+ x
@
/ 1! "
2
+ x
@
/ 1x! "
%

+ x A 1! "
.
+ x
2
son lineal"ente de#endientes en
el intervalo (! )! #orque
"
2
+ 1 "
1
/ 1 "
%
/ "
.
1%
) 1 ( ) 1 ( ) 1 (
2 1
2 1
1
2 1
' ' '
) ,..., (

n
n
n n
n
n
n
f f f
f f f
f f f
f f W

Wronskiano
&u#on-a"os que cada una de las funciones "
1
(x)!
"
2
(x)! (! "
n
(x) #osee al "enos n A 1 derivadas$ El
deter"inante
se lla"a el Wronskiano de las funciones$
1.
&ean y
1
(x)! y
2
(x)! (! y
n
(x) soluciones de una
ED :o"o-3nea de n'3si"o orden en un intervalo I$
Este conjunto de soluciones es lineal"ente
inde#endiente si y slo si '(y
1
! y
2
! (! y
n
) #ara
todo x en el intervalo$
TEOREMA
Criterio para soluciones
linealmente independientes
,ualquier conjunto y
1
(x)! y
2
(x)! (! y
n
(x) de n
soluciones lineal"ente inde#endientes de una ED
:o"o-3nea de n'3si"o orden se lla"a conjunto
fundamental de soluciones$
DEFINICIN
Conjunto fundamental de soluciones
11
,B%C11x
Existe un conjunto funda"ental de soluciones
#ara una ED lineal :o"o-3nea de orden n en un
intervalo I.
TEOREMA
Eistencia de un conjunto fundamental
&ea y
1
(x)! y
2
(x)! (! y
n
(x) un conjunto funda"ental
de soluciones de nuestra ED lineal :o"o-3nea en
un intervalo I$ Entonces la solucin -eneral es
y + c
1
y
1
(x) / c
2
y
2
(x) / ( / c
n
y
n
(x)
donde c

son constantes ar)itrarias$

TEOREMA
!oluci"n #eneral $ecuaciones %omo#&neas'
14
0as funciones y
1
+ e
%x
! y
2
+ e
'%x
son soluciones
de
yD A >y + en ('! )
O)serva que
#ara todo x. 0ue-o son inde#endientes$
<s= que y = c
1
y
1
/ c
2
y
2
es la solucin -eneral$
0 6
3 3
) , (
3 3
3 3
3 3

x x
x x
x x
e e
e e
e e W
6or eje"#lo! la funcin y + . sin:(%x) ' 1e
%x
es una solucin$ O)serve"os que
= . sin: %x A 1e
'%x
x
x x
x x x
e
e e
e e e y
3
3 3
3 3 3
5
2
4 5 2 2

,
_

19
0as funciones y
1
= e
x
! y
2
+ e
2x
! y
%
+ e
%x
son
soluciones de yEEE A 4yD / 11yE A 4y + en ('! )$
,o"o
#ara todo valor real de x.

y + c
1
e
x
/ c
2
e
2x
/ c
%
e
%x
es la solucin -eneral
en ('! )$
0 2
9 4
3 2 ) , , (
6
3 2
3 2
3 2
3 2

x
x x x
x x x
x x x
x x x
e
e e e
e e e
e e e
e e e W
1;
y = c
1
y
1
/ c
2
y
2
/( / c
k
y
k
! y
$
= y
c
! y
$
+ funcin complementaria una solucin particular
!oluci"n (eneral
$Ecuaciones no %omo#&neas'
&ea y
$
cualquier solucin #articular de una EDO no
:o"o-3nea en un intervalo I. F sea y
1
(x)! y
2
(x)! (! y
k
(x)
un conjunto funda"ental de soluciones de su EDO
:o"o-3nea asociada! entonces la solucin -eneral de
la ecuacin en el intervalo es
y= c
(
y
(
! c
2
y
2
!) ! c
k
y
k
! y
$

donde las c

, = (,2,).,n son constantes ar)itrarias
TEOREMA
1>
0a funcin y
$
+ '(11812) A @ x es una
solucin #articular de

0a solucin -eneral es

x y y y y 3 6 11 6

x e c e c e c y y y
x x x
p c
2
1
12
11
3
3
2
2 1
+ + +
2
Dadas G EDOs
con + 1! 2! (! k.
&i y
$
denota una solucin #articular de la ED
i'3si"a corres#ondiente a g

(x)! tene"os que

es una solucin #articular de
TEOREMA
) ( ) ( ) ( ) ( ) (
0 1
) 1 (
1
) (
x g y x a y x a y x a y x a
i
n
n
n
n
+

+ + +

) ( ) ( ) (
2 1
x y x y x y y
k
p p p p
+ + +
) ( ) ( ) (
) ( ) ( ) ( ) (
2 1
0 1
) 1 (
1
) (
x g x g x g
y x a y x a y x a y x a
k
n
n
n
n
+ + +
+

+ + +

)rincipio de superposici"n
$ecuaciones no %omo#&neas'
21

O)serve"os que
y
$1
+ *.x
2
es una solucin #articular de
y
$2
+ e
2x
es una solucin #articular de

y
$%
+ xe
x
es una solucin #articular de
Entonces es una solucin de
8 24 16 4 ' 3 "
2
+ + x x y y y
x
e y y y
2
2 4 ' 3 " +
x x
e xe y y y + 2 4 ' 3 "
3 2 1
p p p
y y y y + +

) (
) (
2
) (
2
3
2
1
2 2 8 24 16 4 3
x g
x x
x g
x
x g
e xe e x x y y y + + + +

22
(educcin de orden
&a)e"os que la solucin -eneral de

es y + c
1
y
1
/ c
2
y
1
.
&u#on-a"os que y
1
(x) denota una solucin
conocida (no trivial)$ 6uesto que la solucin y
2

es lineal"ente inde#endiente! su#on-a"os
que y
2
(x) = u(x) y
1
(x). 2uestro o)jetivo serH
encontrar una tal u(x)$ El "3todo se conoce
co"o reduccin de orden.
0 ) ( ) ( ) (
0 1 2
+

+

y x a y x a y x a
2%
Dada y
1
+ e
x
solucin de yD A y + ! :allar la se-unda
solucin y
2
#or el "3todo de reduccin de orden$
!olucin
&i y(x) + u(x)e
x
, entonces
que sustituyendo en la EDO:
,o"o e
x
, nuestra EDO se convierte en:
<:ora Ireducire"osI el orden de la ED -racias al
ca")io:
+ = uE
que inte-rando #or se#aracin
de varia)les y des:aciendo el
ca")io! nos #ro#orciona:
u e u e ue y u e ue y
x x x x x

+

+

+

2 ,
0 ) ' 2 " ( " + u u e y y
x
u e c w
x

2
1
2
2
1
2 / 1 c e c u
x
+

0 ' 2 " + u u
0 2 ' + w w
2.
Be"os :allado la se-unda solucin y
2
#or el
"3todo de reduccin de orden:

Recorde"os que ten=a"os y
1
+ e
x
co"o
#ri"era solucin de yD A y + $ &i to"a"os c
2

+ ! c
1
= '2 #ara nuestra se-unda solucin!
tene"os y
2
= e
*x
.
O)serva que '(e
x
, e
*x
) #ara todo x! de
"odo que las soluciones son inde#endientes$
x x x
e c e
c
e x u y
2
1
2
) ( +

21
Caso &eneral

Escri)i"os la EDO en la forma est"ndar

&ea y
1
(x) una solucin conocida de la
EDO e y
1
(x) #ara todo x en el intervalo$
&i defini"os y(x) = u(x)y
1
(x)! tene"os
0 ) ( ) ( +

+

y x Q y x P y
u y u y y u y u y y u y

+

+

1 1 1 1 1
2 ,
0 ) 2 ( ] [
1 1 1
cero
1 1 1

+

+ +

+

u Py y u y Qy y P y u
Qy y P y

24
e"#leando el ca")io + = uE$
0 ) 2 (
1 1 1

+

u Py y u y
0 ) 2 (
1 1 1
+

w Py y w y
Pdx dx
y
y
w
dw

+
1
1
2

+ c Pdx wy | | ln
2
1

Pdx
e c wy
1
2
1
0ue-o
Jo"ando c
1
+ 1! c
2
+ ! o)tene"os

2
2
1
1
c dx
y
e
c u
Pdx
+

dx
x y
e
x y y
dx x P
) (
) (
2
1
) (
1 2
0 ) 2 (
1 1 1
+

+ w Py y
dx
dw
y
2i)idie"do
e"%re y
1
w
+ mul%iplia"do
por dx$
c Pdx dx
y
y
w
dw
+

+

1
1
2
29
0a funcin y
1
= x
2
es una solucin de

Ballar la solucin -eneral en (! )$
!olucin:
0a for"a estHndar es
Dando los #asos anteriores! de"uestra que:
0a solucin -eneral es:
0 4 ' 3 "
2
+ y xy y x
0
4 3
2
+

x
y
x
y
x x dx
x
e
x y
x dx
ln
2
4
/ 3
2
2

x x c x c y ln
2
2
2
1
+
2;

0a ecuacin diferencial ayK / )y + se resuelve

ya sea "ediante se#aracin de varia)les o
"ediante la ayuda de un factor inte-rante$

O)serva que si des#eja"os yK de la ecuacin

diferencial ayK / )y + se o)tiene yK + Gy!
donde G es una constante$
Esto nos revela la InaturaleLaI de la solucin: la
*nica funcin ele"ental no trivial cuya derivada
es una "*lti#lo de si "is"a es la funcin
ex#onencial! y(x) + e
"x
$ 0o que resta serH
deter"inar el valor de "$$$
2>
Ecuaciones lineales #omo&neas
con coeficientes constantes

donde a

son constantes! a
n
$
#cuacin o polinomio au$iliar :
6ara n + 2!

&i #ro)a"os y(x) = e
&x
,


o)tene"os la ecuacin au$iliar.
0
0 1 2
) 1 (
1
) (
+

+

+ + +

y a y a y a y a y a
n
n
n
n

0 +

+

cy y b y a
0 ) (
2
+ + c bm am e
mx
0
2
+ + c bm am
%
0as dos ra=ces del #olino"io auxiliar son:
(1) %
2
A .ac M : reales y dstntas, &
(
&
2
.
(2) %
2
A .ac + : reales e guales, &
(
= &
2
= *%/(2a).
(%) %
2
A .ac N : co&$lejas conjugadas,

a ac b b m 2 / ) 4 (
2
1
+
a ac b b m 2 / ) 4 (
2
2

0
2
+ + c bm am
i m i m +
2 1
,
%1

%aso &: 'a(ces reales ) distintas

0a solucin -eneral es

%aso *: 'a(ces reales repetidas

0a solucin -eneral es

x m
e y
1
1



x m x m
x m
x m
x m
xe dx e dx
e
e
e y
1 1
1
1
1
2
2
2
x m x m
xe c e c y
1 1
2 1
+
x m x m
e c e c y
2 1
2 1
+
,Por qu3.
Para ob%e"er la se4u"da solui!" u%ilizamos el
m3%odo de redui!" de orde", reorda"do que
&
(
= &
2
= *%/(2a).
%2

%aso +: 'a(ces complejas conjugadas

Escri)i"os ! una
solucin -eneral es
Usando la fr"ula de Euler:




i m i m +
2 1
,
x i x i
e C e C y
) (
2
) (
1
+
+

sin cos i e
i
+
x i x e
x i

sin cos + x i x e
x i

sin cos

x e e
x i x i

cos 2 +

x i e e
x i x i

sin 2

%%
,o"o es solucin
-eneral! to"ando ,
1
= ,
2
+ 1 y ,
1
+ 1! ,
2
+ '1 !
tene"os dos soluciones:
<s=! e
x
cos x y e
x
sen x son un conjunto
funda"ental de soluciones y la solucin -eneral
es

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

cos 2 ) (
1
+

x ie e e e y
x x i x i x

sin 2 ) (
2


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

+
+
%.

Resolver las EDs si-uientes:

(a)
())
(c)
0 3 ' 5 " 2 y y y
3 , 1/2 , ) 3 )( 1 2 ( 3 5 2
2 1
2
+ m m m m m m
x x
e c e c y
3
2
2 /
1
+

0 25 ' 10 " + y y y
5 , ) 5 ( 25 10
2 1
2 2
+ m m m m m
x x
xe c e c y
5
2
5
1
+
0 7 ' 4 " + + y y y
i m i m m m 3 2 , 3 2 , 0 7 4
2 1
2
+ + +
) 3 3 cos ( , 3 , 2
2 1
2
x sen c x c e y
x
+


%1
Resolver
!olucin:
2 ) 0 ( ' , 1 ) 0 ( , 0 17 ' 4 " 4 + + y y y y y
, 0 17 4 4
2
+ + m m
i m 2 1/2
1
t
) 2 sin 2 cos (
2 1
2 /
x c x c e y
x
+

, 1 ) 0 ( y
, 1
1
c
, 2 ) 0 ( ' e y
3/4
2
c
%4
6ara la #ri"era ecuacin :
6ara la se-unda ecuacin :
,o"o
0ue-o

, 0
2
+

y k y
0 , 0
2
>

k y k y
kx c kx c y sin cos
2 1
+
kx kx
e c e c y

+
2 1
) sin( ) cos(
2 1
kx c kx c y +
) cos( ) ( 1/2
1
kx e e y
kx kx
+

) sin( ) ( 1/2
2
kx e e y
kx kx


5esol)er las euaio"es$
%9
Ecuaciones de orden superior
Dada la EDO:

0a ecuacin asociada

se lla"a su ecuacin au$iliar $
0
0 1 2
) 1 (
1
) (
+

+

+ + +

y a y a y a y a y a
n
n
n
n

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

a m a m a m a m a
n
n
n
n

%;
Resolver
!olucin:
0 4 3

+

y y y
2 2 2 3
) 2 )( 1 ( ) 4 4 )( 1 ( 4 3 + + + + m m m m m m m
2
3 2
m m
x x x
xe c e c e c y
2
3
2
2 1

+ +
Resolver
!olucin:
0 2
2
2
4
4
+ + y
dx
y d
dx
y d
0 ) 1 ( 1 2
2 2 2 4
+ + + m m m
i m m i m m
4 2 3 1
,
ix ix ix ix
xe C xe C e C e C y

+ + +
4 3 2 1
x x c x x c x c x c sin cos sin cos
4 3 2 1
+ + +
%>
&i &
1
= ! es una ra=L co"#leja de
"ulti#licidad k! entonces &
2
= - es
ta")i3n una ra=L co"#leja de "ulti#licidad
k$ 0as 2k soluciones lineal"ente
inde#endientes son :
(aces comple)as repetidas
x e x x e x x xe x e
x k x x x


cos , , cos , cos , cos
1 2

x sen e x x sen e x x sen xe x sen e

x k x x x

1 2
, , , ,

.
Coeficientes indeterminados
&i quere"os resolver
Jene"os que :allar y = y
c
! y
$
. 5ea"os c"o
:acerlo! en este caso -eneral! "ediante el
"3todo conocido co"o de coeficientes
indeterminados$
) (
0 1
) 1 (
1
) (
x g y a y a y a y a
n
n
n
n
+

+ + +

.1
&i"#le"ente :are"os una conjetura so)re la for"a
de la #osi)le solucin #articular a #artir de la -(x) que
de)erH ser un #olino"io! seno o coseno! ex#onencial o
co")inacin lineal de todas ellas$$$
Oracias a que las derivadas de las co")inaciones
lineales de estas funciones vuelven a ser ellas "is"as!
#arece raLona)le que )usque"os soluciones #articulares
de la "is"a for"a$$$
5a"os a ilustrar la idea con al-unos eje"#los
Coeficientes indeterminados
.2
Resolver
!olucin:
Fa sa)e"os c"o o)tener una solucin y
c
de la
ecuacin :o"o-3nea asociada$ <:ora, quere"os
:allar y
$.
,o"o el lado derec:o de la ED es un #olino"io!
su#ondre"os
entonces!
tras sustituir:
2. ! ;.x ! ./ A 2.x
2
2/x 2, = 2x
2
%x ! 4
6 3 2 2 ' 4 "
2
+ + x x y y y
,
2
C Bx Ax y
p
+ +
, 2 ' B Ax y
p
+ A y
p
2 "
6 2 4 2 , 3 2 8 , 2 2 + C B A B A A
9 , 5/2 , 1 C B A
9
2
5
2
x x y
p
.%
Ballar una solucin #articular de
!olucin:
6ro)e"os y
$
= . cos(0x) ! / sen(0x)
Jras sustituir!
0ue-o
) 3 ( 2 ' " x sen y y y +
) 3 sin( 2 ) 3 sin( ) 8 3 ( ) 3 cos( ) 3 8 ( x x B A x B A +
16/73 , 6/73 B A
) 3 (
73
16
) 3 cos(
73
6
x sen x y
p

..
Resolver
!olucin:

6ro)e"os
Jras sustituir!
0ue-o
x
xe x y y y
2
6 5 4 3 ' 2 " +
x x
c
e c e c y
3
2 1
+

x x
p
Ee Cxe B Ax y
2 2
+ + +
x
x x
xe x
e E C Cxe B A Ax
2
2 2
6 5 4
) 3 2 ( 3 3 2 3
+
+
4/3 , 2 , 23/9 , 4/3 E C B A
x x
p
e xe x y
2 2
3
4
2
9
23
3
4
+
x x x
e x x e c e c y
2 3
2 1
3
4
2
9
23
3
4

,
_

+ + +

-olui!" homo43"ea
Pe"sa"do e" el pri"ipio de superposii!"$
.1
Deter"inar una y
$
de
!olucin:
6ro)e"os: y
$
= .e
x
Jras sustituir: + ;e
x
(conjetura incorrecta
6ro)e"os co"o alternativa: y
$
= .xe
x.
Jras sustituir: '%.e
x
+ ;e
x

Entonces: . = ';8%!
y
$
+ (P;8%)xe
2x

x
e y y y 8 4 ' 5 " +
El problema es%* e" que la 'u"i!" ompleme"%aria es$
6 la suposii!" +a es%* prese"%e e" +

&
x x
c
e c e c y
4
2 1
+
.4
1 nnguna "unc2n en la su$uesta y
$
es $arte de y
c
En la si-uiente ta)la se "uestran soluciones #articulares de #rue)a$

!or"# $e
1. 1(%n# cons&#n&e)

2.
3.
4.
5.
6.

7.
8.
9.
10.
11.

12.

.9
Ballar la for"a de y
$
de
(a)
!olucin:
Jene"os que y #ro)a"os con

2o :ay du#licacin entre los t3r"inos y
$
e y
c
()) y3 ! .y = x cos x
!olucin:
6ro)a"os con
Ja"#oco :ay du#licidad entre los t3r"inos y
$
y y
c
.
x x
e e x y y y

+ 7 5 25 ' 8 "
3
x
e x x g

) 7 5 ( ) (
3
x
p
e E Cx Bx Ax y

+ + + ) (
2 3
x E Cx x B Ax x
p
sin ) ( cos ) ( + + +
.;
Ballar la for"a de y
$
de
!olucin:
6ara %x
2
:
6ara '1 sen 2x:
6ara 9xe
4x
:
2in-*n t3r"ino de du#lica un
t3r"ino de y
c
x
xe x sen x y y y
6 2
7 2 5 3 14 9 + +

C Bx Ax y
p
+ +
2
1
x Fsen x E y
p
2 2 cos
2
+
x
p
e H Gx y
6
) (
3
+
3 2 1
p p p p
y y y y + +
.>
*i al&una $
p
contiene trminos +ue duplican
los trminos de $
c
, entonces esa $
p
se debe
multiplicar por x
n
, donde n es el entero
positivo ms pe+ue-o +ue elimina esa
duplicacin.
As7 que la re4la 'ormal e" es%e aso es que la soluci"n
particular es una com*inaci"n lineal de las
funciones linealmente independientes +ue se
#eneran mediante diferenciaciones repetidas de
#$',
,6 u*l es la re4la si la solui!" par%iular as7 propues%a
es %ambi3" u"a solui!" de la euai!" homo43"ea
asoiada.
1
Resolver
!olucin:

6ri"ero #ro)a"os: y
$
+ .x ! / ! , cos x ! # sen x
6ero :ay una du#licacin$
Entonces #ro)a"os con
y
$
+ .x ! / ! ,x cos x ! #x sen x
Jras sustituir y si"#lificar!
. + .! / + ! , + '1! # +
0ue-o y = c
1
cos x ! c
2
sen x ! .x A 1x cos x
,o"o y() + ! yE() + 2! tene"os
y + >

cos x / 9

sen x / .x A 1x cos x
2 ) ( ' , 0 ) ( , 10 4 " + + y y senx x y y
senx c x c y
c 2 1
cos +
11
Resolver
!olucin:
y
c
+ c
(
e
0x
! c
2
xe
0x

Jras sustituir y si"#lificar!
. + 28%! / + ;8>! , + 28%! # + '4
0ue-o
x
e x y y y
3 2
12 2 6 9 ' 6 " + +

2
1
3 2
p
p
y
x
y
p
Ee C Bx Ax y + + +

x x x
e x x x xe c e c y
3 2 2 3
2
3
1
6
3
2
9
8
3
2
+ + + +
Es%e %3rmi"o es%*
dupliado, aparee +a
e" +
&

2 1
3 2 2
p p
y
x
y
p
e Ex C Bx Ax y + + +
2ebemos probar o"$
12
Resolver
!olucin:
&
%
/ &
2
+ ! & + ! ! '1
y
c
+ c
1
! c
2
x ! c
%
e
*x

4ro%a&os co&o soluc2n $artcular:
y
$
+ .e
x
cos x ! /e
x
sen x
Jras sustituir y si"#lificar!
. + '181! / + 181
0ue-o
x e y y
x
cos " +

senx e x e e c x c c y y y
x x x
p c
5
1
cos
10
1
3 2 1
+ + + +

1%
Ballar la for"a de y
$
de
!olucin:
y
c
+ c
1
/ c
2
x / c
%
x
2
/ c
.
e
*x
6rue)a:
,o"o a#arece re#etido en la solucin :o"o-3nea!
necesitare"os "ulti#licar . #or x
0
y (/x
2
e
'x
/ ,xe
'x
/ #e
'
x
) #or x. 6rue)a a:ora:
x
e x y y



+
2 ) 4 (
1

2
1
2
p
p
y
x x x
y
p
Ee Cxe e Bx A y

+ + +

2
1
2 3 3
p
p
y
x x x
y
p
Exe e Cx e Bx Ax y

+ + +
1.
M&todo del anulador
-i4ue los apu"%es de 8ose (larrea&
11
.todo de variacin de parmetros
) ( ) ( ) ( ) (
0 1 2
x g y x a y x a y x a +

+

) ( ) ( ) ( x f y x Q y x P y +

+

donde 4(x)! 5(x) y "(x) son continuas en I.
,onocdas y
(
(x) e y
2
(x) solucones l. . de
la ec. 6o&og7nea asocada, $ro%are&os
co&o soluc2n $artcular:
) ( ) ( ) ( ) (
2 2 1 1
x y x u x y x u y
p
+
14

&ustitui"os y
$
E! y
$
D en la EDO:

) ( ) ( ) ( ) (
2 2 1 1
x y x u x y x u y
p
+
p p p
y x Q y x P y ) ( ) ( +

+

] [ ] [
2 2 2 2 1 1 1 1
Qy y P y u Qy y P y u +

+

+ +

2 2 1 1 2 2 1 1 2 2 2 2 1 1 1 1
2 2 ] [ u y u y u y u y P y u u y y u u y

+

+

+

+

+

+

+
2 2 1 1 2 2 1 1 2 2 1 1
] [ ] [ ] [ u y u y u y u y P u y
dx
d
u y
dx
d

+

+

) ( ] [ ] [
2 2 1 1 2 2 1 1 2 2 1 1
x f u y u y u y u y P u y u y
dx
d

+

+

0
0
19
2ecesitare"os dos ecuaciones #ara encontrar valores
de u
1
y u
1
$

Exija"os que: y
1
u
1
E ! y
2
u
2
E + ! $ara o%tener
una ecuac2n adconal y de $aso 8ue la #D9 se
redu:ca a: y
1
Eu
1
E ! y
2
Eu
2
E + "(x)$
De "odo que nos queda el siste"a de ecuaciones:
y
1
u
1
E ! y
2
u
2
E +
y
1
Eu
1
E ! y
2
Eu
2
E + "(x)
) ( ] [ ] [
2 2 1 1 2 2 1 1 2 2 1 1
x f u y u y u y u y P u y u y
dx
d

+

+

1;
Ex#resado en t3r"inos de deter"inantes
y
donde
De donde encontrare"os! #or inte-racin! las
soluciones$
W
x f y
W
W
u
) (
2 1
1

W
x f y
W
W
u
) (
1 2
2

) (
0
,
) (
0
,
1
1
2
2
2
1
2 1
2 1
x f y
y
W
y x f
y
W
y y
y y
W

1>
Resolver
x
e x y y y
2
) 1 ( 4 ' 4 " + +
0
2 2
) , (
4
2 2 2
2 2
2 2

+

x
x x x
x x
x x
e
e xe e
xe e
xe e W
x
x x
x
x
x x
x
e x
e x e
e
W xe x
xe e x
xe
W
4
2 2
2
2
4
2 2
2
1
) 1 (
) 1 ( 2
0
, ) 1 (
2 ) 1 (
0
+
+
+
+

1
) 1 (
,
) 1 (
4
4
2
2
4
4
1
+
+

x
e
e x
u x x
e
xe x
u
x
x
x
x
W
x f y
W
W
u
) (
2 1
1

W
x f y
W
W
u
) (
1 2
2

!olucin:
&
2
.& ! . = ! & + 2 (cero do)le)
y
1
+ e
2x
, y
2
= xe
2x
!
,o"o "(x) + (x ! 1)e
2x
, entonces:
4

0ue-o

u
1
+ ('18%)x
%
@ x
2
! u
2
+ @ x
2
/ x
x x x x
p
e x e x xe x x e x x x
2 2 2 3 2 2 2 2 3
2
1
6
1
2
1
2
1
3
1
+

,
_

+ +

,
_

x x x x
p c
e x e x xe c e c y y y
2 2 2 3 2
2
2
1
2
1
6
1
+ + + +
1 ,
2
2
1
+

x u x x u
5eordemos que$ ) ( ) ( ) ( ) (
2 2 1 1
x y x u x y x u y
p
+
y
1
+ e
2x
, y
2
= xe
2x
41
Resolver
!olucin:
yD / >y + (18.) csc %x
&
2
/ > + ! & + %! '%
y
1
= cos %x! y
2
= sin %x! "(x) + (18.) csc(%x)
,o"o
x y y 3 csc 36 " 4 +
3
3 cos 3 3 sin 3
3 sin 3 cos
) 3 sin , 3 (cos

x x
x x
x x W
x
x
x x
x
W
x x
x
W
3 sin
3 cos
4
1
3 csc 4 / 1 3 sin 3
0 3 cos
,
4
1
3 cos 3 3 csc 4 / 1
3 sin 0
2 1

42
12
1
1
1

W
W
u
x sen
x
W
W
u
3
3 cos
12
1
2
2

, 12 / 1
1
x u
| 3 | ln 36 / 1
2
x sen u
| 3 | ln ) 3 (
36
1
3 cos
12
1
x sen x sen x x y
p
+
| 3 | ln ) 3 (
36
1
3 cos
12
1
3 3 cos
2 1
x sen x sen x x x sen c x c y y y
p c
+ + +
Entonces

4%
Resolver
!olucin:
&
2
A 1 + ! & + 1! '1
y
1
+ e
x
, y
2
+ e
'x
, "(x) + 18x, y '(e
x
! e
*x
) + '2
0ue-o
x
y y
1
"

x
x
t x
dt
t
e
u
x e
u
0
1 1
2
1
,
2
) / 1 (

x
x
t x
dt
t
e
u
x e
u
0
2 2
2
1
,
2
) / 1 (

x
x
x
x
t
x
t
x
p
dt
t
e
e dt
t
e
e y
0 0
2
1
2
1

+ +
x
x
x
x
t
x
t
x x
p c
dt
t
e
e dt
t
e
e e c y y y
0 0
2
1
2
1
1
4.
6ara las EDs de n'3si"o orden de la for"a

to"a"os y
$
+ u
1
y
1
/ u
2
y
2
/ ( / u
n
y
n
, donde y

! + 1! 2! (! n, son la
fa"ilia de soluciones inde#endientes que for"an y
c
. <s=:

Que nos lleva a las ecuaciones solucin u
k
E
+ '
k
8' con k + 1! 2! (! n.
Donde R es el SronsGiano de la yTs y R
G
es el deter"inante que se
o)tiene de sustituir en R la G'3si"a colu"na #or (! !$$$! f(x))$
Ecuaciones de orden superior
) ( ) ( ) ( ) (
0 1
) 1 (
1
) (
x f y x P y x P y x P y
n
n
n
+

+ + +

0
2 2 1 1

+ +

n n
u y u y u y



0
2 2 1 1


+ +

+

n n
u y u y u y
) (
) 1 (
2
) 1 (
2 1
) 1 (
1
x f u y u y u y
n
n
n
n n

+ +

-uposiio"es
para simpli'iar
la E2($
41
Ecuacin de Cauc#$-Euler
Forma de ecuacin de %auch),#uler

-todo de solucin
6ro)a"os y(x) = x
&
, donde de)e"os deter"inar "! #ara
resolver la ecuacin :o"o-3nea asociada: O)serva que:
) (
0 1
1
1
1
1
x g y a
dx
dy
x a
dx
y d
x a
dx
y d
x a
n
n
n
n
n
n
n
n
+ + + +

k
k
k
k
dx
y d
x a
k m k
k
x k m m m m x a

+ ) 1 ( ) 2 )( 1 (
m
k
x k m m m m a ) 1 ( ) 2 )( 1 ( +
( ) 0 ... ) 1 ( ) 2 )( 1 (
0 1
+ + + +
m
n
x a m a n m m m m a
44
Ecuacin auxiliar
6ara n + 2! y = x
&
, tene"os
.a&(& A 1) / %& / c)x
&
+ ! o
a&
2
/ (% A a)& ! c +
%aso &: 'a(ces reales ) distintas
2 1
2 1
m m
x c x c y +
Resolver
!olucin:
Jene"os a + 1! % + '2 ! c + '.
&
2
A %& A . + ! & + '1! .!
y = c
1
x
*1
/ c
2
x
.
0 4 2
2
2
2
y
dx
dy
x
dx
y d
x
) (
2
2
2
x g cy
dx
dy
bx
dx
y d
ax + +
(bser)a que
%e"emos que a9
2

es i4ual a ero e"
9 1 0& Para
ase4urar
e9is%e"ia +
u"iidad,
%omaremos
# 1 (0, )&
49

Deduji"os
0ue-o
%aso *: 'a(ces reales repetidas
x x c x c y
m m
ln
1 1
2 1
+
x x y
m
ln
1
2

Resolver
!olucin:
Jene"os a + .! % + ;! c + 1
.&
2
/ .& / 1 + ! & + '@ ! '@
0 8 4
2
2
2
+ + y
dx
dy
x
dx
y d
x
x x c x c y ln
2 / 1
2
2 / 1
1

+
4;

%rden superior: multiplicidad /

%aso +: ra(ces complejas conjugadas

&
1
= / , &
2
= A ,
y = ,
1
x
( / )
/ ,
2
x
( ' )
,o"o
x

+ (e
ln x
)

= e
ln x
+ cos( ln x) / sen( ln x)
x
*
+ cos ( ln x) A sen ( ln x)
0ue-o
y = c
1
x

cos( ln x) / c
2
x

sen( ln x)
= x

Uc
1
cos( ln x) / c
2

sen( ln x)V
%aso +: 'a(ces complejas conjugadas
1 2
) (ln , , ) (ln , ln ,
1 1 1 1
k m m m m
x x x x x x x
4>
Resolver
!olucin:
Jene"os a + .! % + ! c + 19
.&
2
P .& / 19 + ! & + @ / 2
<#licando y(1) + '1! yE(1) + ! tene"os que c
1
+ '1! c
2
+ !
2
1
) 1 ( ' , 1 ) 1 ( , 0 17 4
2
+

y y y y x
)] ln 2 sin( ) ln 2 cos( [
2 1
2 / 1
x c x c x y +
) ln 2 cos(
1/2
x x y
9
Resolver
!olucin:
&ea y = x
&
!
0ue-o tene"os x
&
(& / 2)(&
2
/ .) +
& + '2! & + 2! & + '2
y = c
1
x
*2
! c
2
cos(2 ln x) / c
%

sin(2 ln x)
0 8 7 5
2
2
2
3
3
3
+ + + y
dx
dy
x
dx
y d
x
dx
y d
x
3
3
3
2
2
2
1
) 2 )( 1 (
, ) 1 ( ,

m
m m
x m m m
dx
y d
x m m
dx
y d
mx
dx
dy
91
Resolver
!olucin:
Jene"os (& A 1)(& A %) + ! & + 1! %
y
c
= c
1
x / c
2
x
%

Usando variacin de #arH"etros!
y
$
= u
1
y
1
! u
2
y
2
! donde y
1
= x, y
2
= x
%

Escri)i"os la ED co"o
0ue-o 4(x) + '%8x! 5(x) + %8x
2
! "(x) + 2x
2
e
x
x
e x y xy y x
4 2
2 3 ' 3 " +
x
e x y
x
y
x
y
2
2
2
3 3
+

92
<s=
Balla"os
x
x
x
x
e x
e x
x
W e x
x e x
x
W
x
x
x x
W
3
2
2
5
2 2
3
1
3
2
3
2
2 1
0
, 2
3 2
0
, 2
3 1


,
2
2
2
3
5
1
x
x
e x
x
e x
u

x
x
e
x
e x
u

3
5
2
2
2
, 2 2
2
1
x x x
e xe e x u +
x
e u
2
x x
x x x x
p
xe e x
x e x e xe e x y u y u y
2 2
) 2 2 (
2
3 2
2 2 1 1

+ + +
x x
p c
xe e x x c x c y y y 2 2
2 3
2 1
+ + +
9%
:"a euai!" de Cauh+;Euler siempre se puede esribir
omo u" li"eal de oe'iie"%es o"s%a"%es haie"do el
ambio de )ariable$ x = e
t
& Por e<emplo$ 5esuel)e as7$
x y y x y x ln
2
+

x t
e x
t
ln

,
_

,
_

,
_

,
_

,
_

,
_

,
_

,
_

dt
dy
dt
y d
x dt
dy
x dt
d
x dt
dy
x
dx
dy
dt
d
x dt
dy
x dt
dy
dx
d
x dt
dy
x dt
dy
x dx
d
dx
y d
dt
dy
x dx
dt
dt
dy
dx
dy
2
2
2 2
2 2 2
2
1 1 1 1
1 1 1 1 1
1
9.
x y y x y x ln
2
+

t y
dt
dy
dt
y d
+ 2
2
2
t te c e c y
t t
+ + + 2
2 1
x x x c x c y ln 2 ln
2 1
+ + +
91
0nos e)emplos de ecuaciones no
lineales
Resolver
!olucin:
Esta ecuacin no lineal carece de t3r"ino en y$
&ea u(x) + yE! entonces du/dx = y3!


(1e escr%e en esta "or&a solo $or convenenca $ara luego
ntegrar)
,o"o u
*1
+ 18yE!
Entonces!
2
) ' ( 2 " y x y
2
2xu
dx
du

dx x
u
du
2
2

2
1
2 1
c x u +

2
1
2
1
c x dx
dy
+

2
1
1
1
2
1
2
&#n
1
c
c
x
c c x
dx
y +
+

94
Resolver
!olucin:
Esta ecuacin no lineal carece de t3r"ino en x$
&ea u(x) + yE! entonces
yD + du8dx + (du8dy)(dy8dx) + u du8dy
o
ln;u; = ln;y; ! c
1
! u = c
2
y (donde )
,o"o u + dy8dx + c
2
y! dy8y + c
2
dx
ln;y; = c
2
x / c
%
!
2
) ' ( " y yy
2
u
dy
du
u y

,
_

y
dy
u
du

x c
e c y
2
4

1
2
c
e c t
99

&u#on-a"os que existe solucin #ara:

&i ade"Hs su#one"os que y(x) ad"ite
desarrollo en serie de /a)lor centrado en :
,o"o y() + '1! yE() + 1! de la ED ori-inal:
yD() + / y() A y()
2
+ P2$
Derivando sucesiva"ente la ED ori-inal:
1 ) 0 ( , 1 ) 0 ( ,
2

+

y y y y x y
+ +

+

+

+
4
) 4 (
3 2
' 4
) 0 (
' 3
) 0 (
' 2
) 0 (
' 1
) 0 (
) 0 ( ) ( x
y
x
y
x
y
x
y
y x y
y y y y y x
dx
d
x y

+ +

2 1 ) ( ) (
2
9;
$$$ #ode"os utiliLar el
"is"o "3todo #ara
o)tener y
(%)
() + .! y
(.)
() +
P;! etc$
F encontrar una
a#roxi"acin en Jaylor
de la solucin:
2 ) 4 (
) ( 2 2 ) 2 1 ( ) ( y y y y y y y
dx
d
x y

+
+ + +
4 3 2
3
1
3
2
1 ) ( x x x x x y
9>
Una *lti"a o)servacin: 0a ED de este
eje"#lo:
es equivalente ("ediante ca")io de
varia)le) al siste"a de ecuaciones
diferenciales:

'

1 ) 0 ( , 1 ) 0 (

2
u y
y y x
dx
du
u
dx
dy
1 ) 0 ( , 1 ) 0 ( ,
2

+

y y y y x y