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
0
, donde se
cumplen 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
3
Existencia de una solucin nica
(Condicin suficiente)
Sea a
n
(x), a
n-1
(x), , a
0
(x), y g(x) continuas en I,
con a
n
(x) = 0 para todo x de I. Si x = x
0
es
cualquier punto de este intervalo, entonces existe
una solucin y(x) del problema anterior en I y es
nica.
Ejemplo:


posee la solucin trivial y(x) = 0. Como es una ED de tercer orden
lineal con coeficientes constantes, y(x) = 0 es la nica solucin en
cualquier intervalo que contenga a x = 1.
0 ) 1 ( , 0 ) 1 ( , 0 ) 1 ( , 0 7 5 3 =
' '
=
'
= = +
'
+
' '
+
' ' '
y y y y y y y
4
Ejemplo: Comprueba que y = 3e
2x
+ e
2x
3x es la nica
solucin de


La ED es lineal, los coeficientes y g(x) son todos
funciones continuas, y a
2
(x) = 1 es distinto de 0 en
cualquier intervalo que contenga x = 0. La solucin
propuesta cumple 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 solucin del PVI:



en toda la recta real. Este PVI tiene infinitas soluciones. Observa que el
coeficiente de la derivada a
2
(x) = x
2
ms alta se hace cero en x = 0 y ese
punto necesariamente tiene que estar incluido en I porque lo imponen las
condiciones iniciales.
1 ) 0 ( , 3 ) 0 ( , 6 2 2
2
=
'
= = +
'

' '
y y y y y x
5
Problemas de valores en la frontera
Resolver:

sujeta a :


se llama problema de valor
en la frontera (PVF) y a las
restricciones se conocen
como condiciones de contorno
o condiciones en la frontera.
Nota: Las condiciones de contorno
pueden ser tambin sobre 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 = =
6
Vimos que x = c
1
cos 4t + c
2
sin 4t era solucin de

(a) Supongamos el PVF

Si x(0) = 0, entonces c
1
= 0, y x(t) = c
2
sen 4t.
Si x(t/2) = 0, obtenemos 0 = 0 independientemente
de c
2
. De modo que tenemos infinitas soluciones.

(b) Si

tenemos que c
1
= 0, c
2
= 0:
x(t) = 0, solucin nica.

0 16 " = + x x
0
2
, 0 ) 0 ( , 0 16 =
|
.
|

\
|
= = +
' '
t
x x x x
0
8
, 0 ) 0 ( , 0 16 =
|
.
|

\
|
= = +
' '
t
x x x x

(c) Si
tenemos que c
1
= 0, y 1 = 0
(contradiccin). No hay solucin.

1
2
, 0 ) 0 ( , 0 16 =
|
.
|

\
|
= = +
' '
t
x x x x
7
La siguiente EDO lineal de orden n:



se dice que es no homognea.



si g(x) = 0 la ecuacin es homognea.

Veremos que para resolver una ecuacin no
homognea tendremos que resolver tambin la
ecuacin homognea 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
= + + + +

8
Sea Dy = dy/dx. Al smbolo D se le llama operador
diferencial. Definimos a un operador diferencial de n-
simo orden u operador polinominal como


El operador diferencial L es un operador lineal:


Podemos escribir las EDOs anteriores simplemente como
L(y) = 0 y L(y) = g(x)
Operadores 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 | o | o + = +
9
Principio de superposicin
(ecuaciones homogneas)

Sean y
1
, y
2
, , y
k
soluciones de una ecuacin diferencial
homognea de n-simo orden en un intervalo I. Entonces
la combinacin lineal
y = c
1
y
1
(x) + c
2
y
2
(x)

+ + c
k
y
k
(x)
donde c
i
, i = 1, 2, , k, son constantes arbitrarias, tambin
es una solucin en el intervalo.
Nota:
(A) y(x) = cy
1
(x) tambin es solucin si y
1
(x) es una solucin.
(B) Una ED lineal homognea siempre posee la solucin trivial y(x) = 0.
Ejemplo: Las funciones y
1
= x
2
, y
2
= x
2
ln x son ambas soluciones en (0,
) de
Luego y = x
2
+ x
2
ln x tambin es una solucin en (0, ).
0 4 2
3
= +
'

' ' '

y y x y x
10
Dependencia e independencia lineal
Un conjunto de funciones f
1
(x), f
2
(x), , f
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
f
1
(x) + c
2
f
2
(x) + + c
n
f
n
(x) = 0

Si el conjunto no es linealmente dependiente, entonces es
linealmente independiente.
En otras palabras, si el conjunto es linealmente
independiente, cuando:
c
1
f
1
(x) + c
2
f
2
(x) + + c
n
f
n
(x) = 0
entonces necesariamente c
1
= c
2
= = c
n
= 0.

11
Son estas funciones linealmente independientes?
c
1
f
1
(x) + c
2
f
2
(x) = 0
12
Ejemplo: Las funciones f
1
= cos
2
x, f
2
= sin
2
x,
f
3
= sec
2
x, f
4
= tan
2
x son linealmente
dependientes en el intervalo (-t/2, t/2)
porque

c
1
cos
2
x +c
2
sin
2
x +c
3
sec
2
x +c
4
tan
2
x = 0

con c
1
= c
2
= 1, c
3
= -1, c
4
= 1.
Ejemplo: Las funciones f
1
= x

+ 5, f
2
= x

+ 5x, f
3
= x
1, f
4
= x
2
son linealmente dependientes en el
intervalo (0, ), porque
f
2
= 1 f
1
+ 5 f
3
+ 0 f
4

13
) 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
Supongamos que cada una de las funciones f
1
(x),
f
2
(x), , f
n
(x) posee al menos n 1 derivadas. El
determinante







se llama el Wronskiano de las funciones.
14

Sean y
1
(x), y
2
(x), , y
n
(x) soluciones de una
ED homognea de n-simo orden en un intervalo I.
Este conjunto de soluciones es linealmente
independiente si y slo si W(y
1
, y
2
, , y
n
) = 0 para
todo x en el intervalo.
TEOREMA
Criterio para soluciones
linealmente independientes

Cualquier conjunto y
1
(x), y
2
(x), , y
n
(x) de n
soluciones linealmente independientes de una ED
homognea de n-simo orden se llama conjunto
fundamental de soluciones.
DEFINICIN
Conjunto fundamental de soluciones
15
CH3_15x

Existe un conjunto fundamental de soluciones
para una ED lineal homognea de orden n en un
intervalo I.
TEOREMA
Existencia de un conjunto fundamental


Sea y
1
(x), y
2
(x), , y
n
(x) un conjunto fundamental
de soluciones de nuestra ED lineal homognea en
un intervalo I. Entonces la solucin general es
y = c
1
y
1
(x) + c
2
y
2
(x) + + c
n
y
n
(x)
donde c
i
son constantes arbitrarias.
TEOREMA
Solucin general (ecuaciones homogneas)
16
Las funciones y
1
= e
3x
, y
2
= e
-3x
son soluciones de
y 9y = 0 en (-, )
Observa que


para todo x. Luego son independientes.
As que y = c
1
y
1
+ c
2
y
2
es la solucin general.
0 6
3 3
) , (
3 3
3 3
3 3
= =

x x
x x
x x
e e
e e
e e W
Por ejemplo, la funcin y = 4 sinh(3x) - 5e
3x

es una solucin. Observemos que

= 4 sinh 3x 5e
-3x

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

|
|
.
|

\
|

= = =
17
Las funciones y
1
= e
x
, y
2
= e
2x
, y
3
= e
3x
son
soluciones de y 6y + 11y 6y = 0 en (-, ).
Como




para todo valor real de x.

y = c
1
e
x
+ c
2
e
2x
+ c
3
e
3x
es la solucin general
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
18

y = c
1
y
1
+ c
2
y
2
+ + c
k
y
k
+ y
p
= y
c
+ y
p
= funcin complementaria + una solucin particular
Solucin General
(Ecuaciones no homogneas)
Sea y
p
cualquier solucin particular de una EDO no
homognea en un intervalo I. Y sea y
1
(x), y
2
(x), , y
k
(x)
un conjunto fundamental de soluciones de su EDO
homognea asociada, entonces la solucin general de
la ecuacin en el intervalo es
y= c
1
y
1
+ c
2
y
2
+ + c
k
y
k
+ y
p

donde las c
i
, i= 1,2,.,n son constantes arbitrarias
TEOREMA
19
La funcin y
p
= -(11/12) x es una solucin
particular de


La solucin general 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
+ + = + =
20

Dadas k EDOs


con i = 1, 2, , k.
Si y
pi
denota una solucin particular de la ED
i-sima correspondiente a g
i
(x), tenemos que


es una solucin particular 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
+ + + =
+
'
+ + +

Principio de superposicin
(ecuaciones no homogneas)
21
Observemos que
y
p1
= -4x
2
es una solucin particular de


y
p2
= e
2x
es una solucin particular de


y
p3
= xe
x
es una solucin particular 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
Reduccin de orden
Sabemos que la solucin general de

es y = c
1
y
1
+ c
2
y
1
.
Supongamos que y
1
(x) denota una solucin
conocida (no trivial). Puesto que la solucin y
2
es
linealmente independiente, supongamos que y
2
(x) =
u(x) y
1
(x). Nuestro objetivo ser encontrar una tal
u(x). El mtodo se conoce como reduccin de orden.
0 ) ( ) ( ) (
0 1 2
= +
'
+
' '
y x a y x a y x a
23
Dada y
1
= e
x
solucin de y y = 0, hallar la segunda solucin
y
2
por el mtodo de reduccin de orden.
Solucin
Si y(x) = u(x)e
x
, entonces


que sustituyendo en la EDO:
Como e
x
= 0, nuestra EDO se convierte en:
Ahora "reduciremos" el orden de la ED gracias al cambio:
w = u
que integrando por separacin
de variables y deshaciendo el
cambio, nos proporciona:





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
24
Hemos hallado la segunda solucin y
2
por el
mtodo de reduccin de orden:


Recordemos que tenamos y
1
= e
x
como primera
solucin de y y = 0. Si tomamos c
2
= 0, c
1
= -2
para nuestra segunda solucin, tenemos y
2
= e
-x
.
Observa que W(e
x
, e
-x
) = 0 para todo x, de modo
que las soluciones son independientes.
x x x
e c e
c
e x u y
2
1
2
) ( + = =

25
Caso general
Escribimos la EDO en la forma estndar


Sea y
1
(x) una solucin conocida de la EDO e
y
1
(x) = 0 para todo x en el intervalo.
Si definimos y(x) = u(x)y
1
(x), tenemos

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

26


empleando el cambio w = u.






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
Luego

Tomando c
1
= 1, c
2
= 0, obtenemos



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
Dividiendo
entre y
1
w
y multiplicando
por dx:
c Pdx dx
y
y
w
dw
+ =
'
+
} } }
1
1
2
27
La funcin y
1
= x
2
es una solucin de


Hallar la solucin general en (0, ).
Solucin:
La forma estndar es

Dando los pasos anteriores, demuestra que:


La solucin general 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
+ =
28
La ecuacin diferencial ay + by = 0 se resuelve ya sea
mediante separacin de variables o mediante la
ayuda de un factor integrante.
Observa que si despejamos y de la ecuacin
diferencial ay + by = 0 se obtiene y = ky, donde k es
una constante.

Esto nos revela la "naturaleza" de la solucin: la
nica funcin elemental no trivial cuya derivada es
una mltiplo de si misma es la funcin exponencial,
y(x) = e
mx
. Lo que resta ser determinar el valor de
m...
29
Ecuaciones lineales homogneas con
coeficientes constantes


donde a
i
son constantes, a
n
= 0.

Ecuacin o polinomio auxiliar :
Para n = 2,

Si probamos y(x) = e
mx
,


obtenemos la ecuacin auxiliar.
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
30
Las dos races del polinomio auxiliar son:




(1) b
2
4ac > 0: reales y distintas, m
1
= m
2
.
(2) b
2
4ac = 0: reales e iguales, m
1
= m
2
= -b/(2a).
(3) b
2
4ac < 0: complejas conjugadas,

a ac b b m 2 / ) 4 (
2
1
+ =
a ac b b m 2 / ) 4 (
2
2
=
0
2
= + + c bm am
| o | o i m i m = + =
2 1
,
31
Caso 1: Races reales y distintas
La solucin general es


Caso 2: Races reales repetidas





La solucin general 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 qu?
Para obtener la segunda solucin utilizamos el
mtodo de reduccin de orden, recordando que
m
1
= m
2
= -b/(2a).
32
Caso 3: Races complejas conjugadas
Escribimos , una
solucin general es
Usando la frmula de Euler:



| o | o i m i m = + =
2 1
,
x i x i
e C e C y
) (
2
) (
1
| o | o +
+ =
u u
u
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 =

33
Como es solucin general,
tomando C
1
= C
2
= 1 y C
1
= 1, C
2
= -1 , tenemos dos
soluciones:



As, e
ox
cos |x y e
ox
sen |x son un conjunto
fundamental de soluciones y la solucin general es


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

x ie e e e y
x x i x i x
|
o | | o
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
| |
| |
o
o o
+ =
+ =
34
Resolver las EDs siguientes:
(a)


(b)


(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
+ = = =

| o
35
Resolver
Solucin:




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
=
) 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
36
Para la primera ecuacin :

Para la segunda ecuacin :


Como

Luego


, 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
) sinh( ) cosh(
2 1
kx c kx c y + =
) cosh( ) ( 1/2
1
kx e e y
kx kx
= + =

) sinh( ) ( 1/2
2
kx e e y
kx kx
= =

Resolver las ecuaciones:
37
Ecuaciones de orden superior
Dada la EDO:



La ecuacin asociada


se llama su ecuacin auxiliar .
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

38
Resolver
Solucin:
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
Solucin:
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
+ + + =
39
Si m
1
= o + i| es una raz compleja de
multiplicidad k, entonces m
2
= o i| es
tambin una raz compleja de multiplicidad k.
Las 2k soluciones linealmente independientes
son :
Races complejas repetidas
x e x x e x x xe x e
x k x x x
| | | |
o o o o
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
| | | |
o o o o 1 2
, , , ,

40
Coeficientes indeterminados
Si queremos resolver



Tenemos que hallar y = y
c
+ y
p
. Veamos cmo hacerlo,
en este caso general, mediante el mtodo conocido
como de coeficientes indeterminados.

) (
0 1
) 1 (
1
) (
x g y a y a y a y a
n
n
n
n
= +
'
+ + +

41
Simplemente haremos una conjetura sobre la forma de la
posible solucin particular a partir de la g(x) que deber ser un
polinomio, seno o coseno, exponencial o combinacin lineal de
todas ellas...

Gracias a que las derivadas de las combinaciones lineales
de estas funciones vuelven a ser ellas mismas, parece razonable
que busquemos soluciones particulares de la misma forma...

Vamos a ilustrar la idea con algunos ejemplos
Coeficientes indeterminados
42
Resolver
Solucin:
Ya sabemos cmo obtener una solucin y
c
de la
ecuacin homognea asociada. Ahora, queremos
hallar y
p.

Como el lado derecho de la ED es un polinomio,
supondremos entonces,

tras sustituir:

2A + 8Ax + 4B 2Ax
2
2Bx 2C = 2x
2
3x + 6
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
43
Hallar una solucin particular de

Solucin:
Probemos y
p
= A cos(3x) + B sen(3x)
Tras sustituir,

Luego


) 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
=
44
Resolver


Solucin:




Probemos
Tras sustituir,


Luego

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
|
.
|

\
|
+ + + =

Solucin homognea
Pensando en el principio de superposicin:
45
Determinar una y
p
de



Solucin:
Probemos: y
p
= Ae
x

Tras sustituir: 0 = 8e
x
(conjetura incorrecta)

Probemos como alternativa: y
p
= Axe
x.

Tras sustituir: -3Ae
x
= 8e
x

Entonces: A = -8/3,
y
p
= (8/3)xe
2x


x
e y y y 8 4 ' 5 " = +
El problema est en que la funcin complementaria es:
Y la suposicin ya est presente en y
c
.
x x
c
e c e c y
4
2 1
+ =
46
Si ninguna funcin en la supuesta y
p
es parte de y
c

En la siguiente tabla se muestran soluciones particulares de prueba.








) (x g
Forma de
p
y
1. 1(una constante)
A
2. 7 5 + x B Ax +
3. 2 3
2
x C Bx Ax + +
2

4. 1
3
+ x x E Cx Bx Ax + + +
2 3

5.
x sen 4

x sen B x A 4 4 cos +

6. x 4 cos x sen B x A 4 4 cos +

7.
x
e
5

x
Ae
5

8.
x
e x
5
) 2 9 (
x
e B Ax
5
) ( +
9.
x
e x
5 2

x
e C Bx Ax
5 2
) ( + +
10.
x sen e
x
4
3

x sen Be x Ae
x x
4 4 cos
3 3
+

11.
x sen x 4 5
2

x sen G Fx Ex x C Bx Ax 4 ) ( 4 cos ) (
2 2
+ + + + +

12. x xe
x
4 cos
3

x sen e E Cx x e B Ax
x x
4 ) ( 4 cos ) (
3 3
+ + +


47
Hallar la forma de y
p
de
(a)
Solucin:
Tenemos que y probamos con



No hay duplicacin entre los trminos y
p
e y
c

(b) y + 4y = x cos x

Solucin:
Probamos con
Tampoco hay duplicidad entre los trminos y
p
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 ) ( + + + =
48
Hallar la forma de y
p
de

Solucin:
Para 3x
2
:

Para -5 sen 2x:

Para 7xe
6x
:

Ningn trmino de duplica un trmino 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 + + =
49
Si alguna y
p
contiene trminos que duplican los
trminos de y
c
, entonces esa y
p
se debe multiplicar
por x
n
, donde n es el entero positivo ms pequeo
que elimina esa duplicacin.
As que la regla formal en este caso es que la solucin
particular es una combinacin lineal de las
funciones linealmente independientes que se
generan mediante diferenciaciones repetidas de
g(x).

Y cul es la regla si la solucin particular as propuesta
es tambin una solucin de la ecuacin homognea
asociada?
50
Resolver

Solucin:

Primero probamos: y
p
= Ax + B + C cos x + E sen x
Pero hay una duplicacin.
Entonces probamos con
y
p
= Ax + B + Cx cos x + Ex sen x

Tras sustituir y simplificar,
A = 4, B = 0, C = -5, E = 0

Luego y = c
1
cos x + c
2
sen x + 4x 5x cos x

Como y(t) = 0, y(t) = 2, tenemos
y = 9t

cos x + 7

sen x + 4x 5x cos x
2 ) ( ' , 0 ) ( , 10 4 " = = + = + t t y y senx x y y
senx c x c y
c 2 1
cos + =
51
Resolver
Solucin:
y
c
= c
1
e
3x
+ c
2
xe
3x





Tras sustituir y simplificar,
A = 2/3, B = 8/9, C = 2/3, E = -6
Luego
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
+ + + + =
Este trmino est
duplicado, aparece ya
en y
c.


2 1
3 2 2
p p
y
x
y
p
e Ex C Bx Ax y + + + =
Debemos probar con:
52
Resolver
Solucin:
m
3
+ m
2
= 0, m = 0, 0, -1
y
c
= c
1
+ c
2
x + c
3
e
-x

Probamos como solucin particular:
y
p
= Ae
x
cos x + Be
x
sen x
Tras sustituir y simplificar,
A = -1/10, B = 1/5
Luego
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
+ + + = + =

53
Hallar la forma de y
p
de

Solucin:
y
c
= c
1
+ c
2
x + c
3
x
2
+ c
4
e
-x


Prueba:

Como aparece repetido en la solucin homognea,
necesitaremos multiplicar A por x
3
y (Bx
2
e
-x
+ Cxe
-x
+ Ee
-x
)
por x. Prueba ahora:


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

+ + + =
54
Mtodo del anulador
Sigue los apuntes de Jose Olarrea.
55
Mtodo 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 P(x), Q(x) y f(x) son continuas en I.
Conocidas y
1
(x) e y
2
(x) soluciones l. i. de
la ec. homognea asociada, probaremos
como solucin particular:
) ( ) ( ) ( ) (
2 2 1 1
x y x u x y x u y
p
+ =
56


Sustituimos y
p
, y
p
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
57
Necesitaremos dos ecuaciones para encontrar valores de u
1
y u
1
.

Exijamos que: y
1
u
1
+ y
2
u
2
= 0, para obtener una
ecuacin adicional y de paso que la EDO se reduzca a: y
1
u
1

+ y
2
u
2
= f(x).
De modo que nos queda el sistema de ecuaciones:

y
1
u
1
+ y
2
u
2
= 0
y
1
u
1
+ y
2
u
2
= f(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
=
' '
+
' '
+
'
+
'
+
'
+
'
58
Expresado en trminos de determinantes

y


donde





De donde encontraremos, por integracin, 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
'
=
'
=
' '
=
59
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
= =
'
Solucin:
m
2
4m + 4 = 0, m = 2 (cero doble)
y
1
= e
2x
, y
2
= xe
2x
,




Como f(x) = (x + 1)e
2x
, entonces:



60


Luego


u
1
= (-1/3)x
3
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
Recordemos que: ) ( ) ( ) ( ) (
2 2 1 1
x y x u x y x u y
p
+ =
y
1
= e
2x
, y
2
= xe
2x
61
Resolver
Solucin:
y + 9y = (1/4) csc 3x
m
2
+ 9 = 0, m = 3i, -3i
y
1
= cos 3x, y
2
= sin 3x, f(x) = (1/4) csc(3x)
Como





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
=

= = =
62
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


63
Resolver
Solucin:
m
2
1 = 0, m = 1, -1
y
1
= e
x
, y
2
= e
-x
, f(x) = 1/x, y W(e
x
, e
-x
) = -2
Luego





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
64
Para las EDs de n-simo orden de la forma


tomamos y
p
= u
1
y
1
+ u
2
y
2
+ + u
n
y
n
, donde y
i
, i = 1, 2, , n, son la familia
de soluciones independientes que forman y
c
. As:









Que nos lleva a las ecuaciones solucin u
k

= W
k
/W con k = 1, 2, , n. Donde W
es el wronskiano de la y's y W
k
es el determinante que se obtiene de sustituir
en W la k-sima columna por (0, 0,..., 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
=
'
+ +
'
+
'

Suposiciones
para simplificar
la EDO:
65
Ecuacin de Cauchy-Euler
Forma de ecuacin de Cauchy-Euler



Mtodo de solucin

Probamos y(x) = x
m
, donde debemos determinar m, para
resolver la ecuacin homognea asociada: Observa 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
66
Ecuacin auxiliar
Para n = 2, y = x
m
, tenemos
(am(m 1) + bm + c)x
m
= 0, o
am
2
+ (b a)m + c = 0
Caso 1: Races reales y distintas





2 1
2 1
m m
x c x c y + =
Resolver
Solucin:
Tenemos a = 1, b = -2 , c = -4
m
2
3m 4 = 0, m = -1, 4,
y = c
1
x
-1
+ c
2
x
4
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 = + +
Observa que
tenemos que ax
2

es igual a cero en
x = 0. Para
asegurar
existencia y
unicidad,
tomaremos
I = (0, ).
67
Dedujimos
Luego




Caso 2: Races reales repetidas
x x c x c y
m m
ln
1 1
2 1
+ =
x x y
m
ln
1
2
=
Resolver
Solucin:
Tenemos a = 4, b = 8, c = 1
4m
2
+ 4m + 1 = 0, m = - , -



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

+ =
68
Orden superior: multiplicidad k


Caso 3: races complejas conjugadas
m
1
= o + i|, m
2
= o i|,
y = C
1
x
(o + i|)
+ C
2
x
(o - i|)

Como
x
i|
= (e
ln x
)
i|
= e
i| ln x
= cos(| ln x) + i sen(| ln x)
x
-i|
= cos (| ln x) i sen (| ln x)
Luego
y = c
1
x
o
cos(| ln x) + c
2
x
o
sen(| ln x)
= x
o
[c
1
cos(| ln x) + c
2

sen(| ln x)]
Caso 3: Races complejas conjugadas
1 2
) (ln , , ) (ln , ln ,
1 1 1 1
k m m m m
x x x x x x x
69
Resolver
Solucin:
Tenemos a = 4, b = 0 , c = 17
4m
2
4m + 17 = 0, m = + 2i


Aplicando y(1) = -1, y(1) = 0, tenemos que c
1
= -1, c
2
= 0,

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 =
70
Resolver
Solucin:
Sea y = x
m
,





Luego tenemos x
m
(m + 2)(m
2
+ 4) = 0
m = -2, m = 2i, m = -2i
y = c
1
x
-2
+ c
2
cos(2 ln x) + c
3

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
71
Resolver
Solucin:
Tenemos (m 1)(m 3) = 0, m = 1, 3
y
c
= c
1
x + c
2
x
3

Usando variacin de parmetros,

y
p
= u
1
y
1
+ u
2
y
2
, donde y
1
= x, y
2
= x
3


Escribimos la ED como


Luego P(x) = -3/x, Q(x) = 3/x
2
, f(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
= +
'

' '
72
As





Hallamos




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
+ + = + =
73
Una ecuacin de Cauchy-Euler siempre se puede escribir
como un lineal de coeficientes constantes haciendo el
cambio de variable: x = e
t
. Por ejemplo: Resuelve as:
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
74
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
+ + + =
75
Unos ejemplos de ecuaciones no
lineales
Resolver
Solucin:
Esta ecuacin no lineal carece de trmino en y. Sea u(x)
= y, entonces du/dx = y,





(Se escribe en esta forma solo por conveniencia para luego integrar)

Como u
-1
= 1/y,

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
tan
1
c
c
x
c c x
dx
y + =
+
=

}
76
Resolver
Solucin:
Esta ecuacin no lineal carece de trmino en x.
Sea u(x) = y, entonces
y = du/dx = (du/dy)(dy/dx) = u du/dy

o

ln|u| = ln|y| + c
1
, u = c
2
y (donde )
Como u = dy/dx = c
2
y, dy/y = c
2
dx
ln|y| = c
2
x + c
3
,

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 =
77
Supongamos que existe solucin para:

Si adems suponemos que y(x) admite
desarrollo en serie de Taylor centrado en 0:



Como y(0) = -1, y(0) = 1, de la ED original:
y(0) = 0 + y(0) y(0)
2
= 2.
Derivando sucesivamente la ED original:


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
78
... podemos utilizar el mismo mtodo para obtener
y
(3)
(0) = 4, y
(4)
(0) = 8, etc.

Y encontrar una aproximacin en Taylor 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
79
Una ltima observacin: La ED de este
ejemplo:


es equivalente (mediante cambio de
variable) al sistema 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