Ecuaciones diferenciales homogneas y

no homogneas lineales a coeficientes constantes.

Bsqueda de la solucin particular.

1.

Definiciones previas

1.1.

Wronskiano

Diremos que el Wronskiano de un conjunto de n funciones {f1 (t), f2 (t), . . . , fn (t)} tales que fi (t)
C (n1) (I), i = 1, . . . , n es el determinante

 f1 (t)
f2 (t)


 f 0 (t)
0
f2 (t)


1
W (f1 (t), f2 (t), . . . , fn (t)) = 
..
..
..
.
.
.

 (n1)
(n1)
 f
(t) f2
(t)
1

1.2.










(n1)
fn
(t) 

fn (t)
fn0 (t)
..
.

(1.1)

Teorema

Sea = {f1 (t), f2 (t), . . . , fn (t)} un conjunto de n funciones tales que fi (t) C (n1) (I), i = 1, . . . , n.
Si W() 6= 0 para algn punto t0 I, entonces el conjunto es linealmente independiente.
Si el conjunto es linealmente dependiente sobre I, entonces W() = 0 t I.

1.3.

Idea

Toda ecuacin diferencial lineal (de cualquier orden) puede pensarse como una transformacin lineal. Es
decir, podemos pensar una EDO como T (y(t)) = g(t) en donde T es una transformacin lineal, es decir
T (af (t) + bh(t)) = aT (f (t)) + bT (h(t))

(1.2)

T (0) = 0

(1.3)

En particular, cuando g(t) 0, la EDO se dice homognea. El orden de la EDO se determina mirando
el mayor orden de derivacin de la funcin y(t), es decir, por ejemplo y 000 + y = 0 es una EDO de orden 3,
lineal, a coeficientes constantes.

1.3.1.

Teorema

Sea T (y(t)) = 0 es una EDO homognea de orden n a coeficientes constantes. Entonces, dim (N u (T)) = n.
La demostracin de este teorema queda implcita en la seccin (2.1).

2.

EDO homognea de segundo orden a coeficientes constantes.

Son de la forma
y 00 (t) + a1 y 0 (t) + a0 y(t) = 0

(2.1)

En donde a0 , a1 R y y(t) es una funcin continua desconocida.

2.1.

Teorema

Ecuacin caracterstica. Para encontrar solucin al problema (2.1), se propone yH (t) = c1 er1 t + c2 er2 t
en donde r1 y r2 (r1 6= r2 ) son soluciones de la ecuacin caracterstica
r2 + a1 r + a0 = 0

(2.2)

Los parmetros r1 , r2 C y las constantes c1 , c2 C {0}.

En el caso en que r1 = r2 (raz doble), la solucin del homogneo se escribe yH (t) = c1 er1 t + c2 ter1 t .

Por el teorema fundamental del lgebra, es inmediato que esta ecuacin tiene 2 soluciones (reales o
complejas) y el teorema 1.3.1 queda probado por induccin para el orden n.
Si se diera que una EDO de orden n tiene su ecuacin caracterstica con una nica raz de multiplicidad
n, entonces la solucin general se escribe yH (t) = c1 ert + c2 tert + c3 t2 ert + . . . + cn tn ert . Basta comprobar
con el Wronskiano que este conjunto es LI.

Demostracin. Podemos comprobar, reemplazando en dicha ecuacin que
00
0
yH
(t) + a1 yH
(t) + a0 yH (t) =

c1 er1 t + c2 er2 t

00

+ a1 c1 er1 t + c2 er2 t

0

+ a0 c1 er1 t + c2 er2 t

= c1 (r1 )2 er1 t + c2 (r2 )2 er2 t + a1 c1 r1 er1 t + a1 c2 r2 er2 t + a0 c1 er1 t + a0 c2 er2 t

h

= er1 t c1 (r1 )2 + a1 c1 r1 + a0 c1 + er2 t c2 (r2 )2 + a1 c2 r2 + a0 c2

Ahora bien, dado que las constantes c1 y c2 no son nulas, la exponencial no se anula nunca y r1 6= r2 (*)
podemos decir que necesariamente deber ser
(

c1 (r1 )2 + a1 c1 r1 + a0 c1 = 0
c2 (r2 )2 + a1 c2 r2 + a0 c2 = 0

(r1 )2 + a1 r1 + a0 = 0
(r2 )2 + a1 r2 + a0 = 0

Pero r1 y r2 son soluciones de estas ecuaciones por hiptesis, de modo que el teorema queda demostrado.
(*) Esto implica que las exponenciales son LI y por tanto, el problema planteado tiene nicamente
solucin trivial.

Ejemplo. Resolver y 00 + y 0 = 0.
Planteamos la ecuacin caracterstica r2 + r = 0 que tiene por soluciones a r1 = 0 y r2 = 1. Por lo
tanto, todas las soluciones pueden escribirse como yH (t) = c1 + c2 et . Comprobamos, supongamos para
facilitar que c2 = 0, entonces reemplazando obtenemos (c1 )00 + (c1 )0 = 0 que cumple. Ahora supongamos
c1 = 0 y reemplazando vemos que (c2 et )00 + (c2 et )0 = c2 et c2 et = 0 que tambin cumple.
2.1.1.

Posibles soluciones de la ecuacin caracterstica

Para el caso de orden 2, tenemos que son posibles los siguientes casos
r1 6= r2 y r1 , r2 R. En este caso, yH (t) = c1 er1 t + c2 er2 t es una base de soluciones.
r1 6= r2 y r1 , r2 C. En este caso, como Re(r1 ) = Re(r2 ) = (ambas races tienen que tener la
misma parte real) y Im(r1 ) = Im(r2 ) = (el imaginario de la otra solucin es igual pero conjugado),
entonces yH (t) = c1 et cos(t) + c2 et sin(t) donde c1 , c2 C.
r1 = r2 y r1 , r2 R. En este caso, la base de soluciones se escribe yH (t) = c1 ert + c2 tert .
2

3.

EDO no homognea de segundo orden a coeficientes constantes.

Son de la forma y 00 (t) + a1 y 0 (t) + a0 y(t) = g(t) en donde a0 , a1 R y g : I R R/

4.

g(t) C(I).

El mtodo de los coeficientes indeterminados (MCI)

Se aplica slo cuando g(t) = p(t)

n
X

ek t , en donde p(t) es un polinomio cualquiera. El procedimiento es

k=1

el siguiente:
1. Se buscan todas las soluciones del homogneo mediante la ecuacin caracterstica (*), es decir se
encuentra yH (t) = c1 f (t) + c2 f2 (t).
2. Se propone yp (t) = q(t) tk et como solucin particular, en donde q(t) es un polinomio del mismo
grado que p(t), completo (con todos sus trminos) con coeficientes indeterminados. El parmetro k es
la multiplicidad de como raz de la ecuacin caracterstica.
3. Se reemplaza en la EDO y se buscan los coeficientes.
Ejemplo. Resolver y 00 + 9y = sin(3t).
Dado que la funcion seno puede escribirse como combinacin lineal de exponenciales y la funcin 1 es un
polinomio de grado cero, podemos usar el MCI. Buscamos la solucin del homogneo resolviendo la ecuacin
caracterstica
r2 + 9 = 0 r1 = 3i r2 = 3i
De modo que segn el punto (2) de la seccin 2.1.1, tenemos yH (t) = c1 cos(3t) + c2 sin(3t).
Ahora, proponemos un polinomio q(t) del mismo grado que 1 (o sea de grado cero) con coeficientes
3it
3it
indeterminados, esto es q(t) = A. El parmetro k en este caso es, teniendo en cuenta que sin(3t) = e e
,
2i
k = 1 porque tanto 3i como 3i son races simples de la ecuacin caracterstica.
El parmetro tiene 2 valores, o sea, = 3i y = 3i por la expresin que dijimos del sin(3t). De
modo que la solucin particular la podemos expresar como yp (t) = At1 cos(3t) + Bt1 sin(3t).

Esta solucin no es mgica sino que sale de escribir
e3it e3it
e3it e3it
=

2i
|2i {z 2i }

y 00 + 9y =

g(t)

Reemplazamos yp en la EDO y buscamos los coeficientes. Para ello, calculamos las derivadas de primer y
segundo orden por separado


0

(yp (t))0 = At1 cos(3t) + Bt1 sin(3t)

= A(cos(3t) 3tsin(3t)) + B(sin(3t) + 3tcos(3t))

(yp (t))00 = [A(cos(3t) 3tsin(3t)) + B(sin(3t) + 3tcos(3t))]0

= A(3sin(3t) 3sin(3t) 9tcos(3t)) + B(3cos(3t) + 3cos(3t) 9tsin(3t))
= A(6sin(3t) 9tcos(3t)) + B(6cos(3t) 9tsin(3t))
Reemplazando en la EDO obtenemos
A(6sin(3t) 9tcos(3t)) + B(6cos(3t) 9tsin(3t)) + 9A(cos(3t) 3tsin(3t)) + 9B(sin(3t) + 3tcos(3t)) = sin(3t)

sin(3t)(6A + 9B) + cos(3t)(6B + 9A) + tsin(3t)(9B 27A) + tcos(3t)(9A + 27B) = sin(3t)


3

De modo que deber ser

6A + 9B

6B + 9A

=1
=0
=0
=0

9B 27A

9A + 27B

Se resuelve el sistema y se obtienen los valores de las constantes A y B. La solucin general es entonces
yG (t) = yH + yp = c1 cos(3t) + c2 sin(3t) + Atcos(3t) + Btsin(3t)

5.

El mtodo de variacin de parmetros (MVP)

Se puede usar siempre, independientemente de qu funcin sea g(t). El proceso es el siguiente:
1. Se hallan las soluciones del homogneo con la ecuacin caracterstica.
2. Se propone que la solucin es de la forma yp (t) = u(t)f1 (t)+v(t)f2 (t), en donde el conjunto {f1 (t), f2 (t)}
es el hallado en el punto anterior.
3. Se resuelve un sistema de ecuaciones por la regla de Cramer, luego se integra y se obtienen las expresiones de ambas funciones desconocidas.

Demostracin. Sea una EDO de orden 2 y 00 + ay 0 + by = g(t) y sus soluciones homogneas yh (t) =
c1 f1 (t) + c2 f2 (t). Si proponemos yp (t) = u(t)f1 (t) + v(t)f2 (t) se ve que al reemplazar en la EDO,
(yp (t))0 = (u(t)f1 (t) + v(t)f2 (t))0 = u0 f1 + uf10 + v 0 f2 + vf20
Imponiendo u0 f1 + v 0 f2 = 0 y derivando nuevamente obtenemos
(yp (t))00 =

uf10 + vf20

0

= u0 f10 + uf100 + v 0 f20 + vf200

Ahora, reemplazando en la EDO se ve que
u0 f10 + uf100 + v 0 f20 + vf200 + a uf10 + vf20 + b (uf1 + vf2 ) = g(t)

u f100 + af10 + bf1 + v f200 + af20 + bf2 + u0 f10 + v 0 f20 = g(t)

{z

=0

{z

=0

u0 f10 + v 0 f20 = g(t)

De modo que el problema se resume a resolver
(

u0 f1 + v 0 f2
u0 f10 + v 0 f20

=0
= g(t)

Que matricialmente podemos escribir como

"

f1 f2
f10 f20

# "

u0
v0

"

0
g(t)

Dado que el determinante de la matriz, o sea el Wronskiano W(f1 , f2 ) es distinto de cero, la solucin de
este sistema es nica y puede ser calculada con la regla de Cramer. Es decir

u0 (t) =


 0
f2 (t)


 g(t) f20 (t)

v (t) =

W(f1 , f2 )

 f (t)
0
 1
 0
 f1 (t) g(t)

W(f1 , f2 )

f2 (t)g(t)
= u(t) =
W(f1 , f2 )

f1 (t)g(t)
=
= v(t) =
W(f1 , f2 )

f2 (t)g(t)
dt
W(f1 , f2 )

f1 (t)g(t)
dt
W(f1 , f2 )

Y probamos lo que queramos.


Ejemplo. Resolvamos ahora y 00 + 9y = sin(3t) por este mtodo. Sabemos de la seccin anterior que
yH (t) = c1 cos(3t) + c2 sin(3t). Por lo tanto, la solucin particular es

sin(3t)sin(3t)
sin2 (3t)
u(t) =
dt =
dt
(5.1)
W(f1 , f2 )
W(f1 , f2 )

cos(3t)sin(3t)
v(t) =
dt
(5.2)
W(f1 , f2 )
Calculamos el Wronskiano,

 cos(3t)
sin(3t)

W(f1 , f2 ) = 
 3sin(3t) 3cos(3t)




 = 3cos2 (3t) + 3sin2 (3t) = 3


De modo que, reemplazando en (5.1) y (5.2) obtenemos

sin(6t)
t
1
sin2 (3t)dt =
+C
u(t) =
3
12t
6

1
sin2 (3t)
v(t) =
cos(3t)sin(3t)dt =
+D
3
18t

(5.3)

(5.4)

Elegimos C = D = 0 y la solucin general es

yG (t) = c1 cos(3t) + c2 sin(3t) +

sin(6t)
t
sin2 (3t)
+
12t
6
18t

(5.5)