Ecuaciones diferenciales ordinarias Introduccin

203
Ecuaciones diferenciales ordinarias
9
9.1 Introduccin 203 9.2 Ecuaciones diferenciales de primer orden 206 9.3 Mtodos
de resolucin de edos de primer orden 208 9.4 Ecuaciones diferenciales ordinarias de
orden superior 218 9.5 Ecuaciones lineales de orden superior 218 9.6 Ecuaciones
diferenciales lineales con coecientes constantes 221 9.7 Ejercicios 227
9.1 Introduccin
Encontrar una funcin de la que conocemos nicamente su derivada era el n del clculo de
primitivas. Si la derivada es f(x), dicha primitiva es la solucin de la ecuacin
dy
dx
= f(x). Esta es,
quizs, la primera ecuacin diferencial que todos resolvemos.
Denicin 9.1. Una ecuacin diferencial es una ecuacin que relaciona una funcin, su
variable o variables y sus derivadas. Diremos que es una ecuacin diferencial ordinaria (edo)
si slo hay una variable independiente, y diremos que es una ecuacin en derivadas parciales
si aparecen derivadas parciales respecto de dos o ms variables.
Por ejemplo, las siguientes ecuaciones son ecuaciones diferenciales ordinarias
y

(x) +y(x) = x
2
, (9.1a)
dy
dx
+2y
2
1 = 0, (9.1b)
(x 2y)dy +y
2
dx = 0, (9.1c)
y

(x)
2
+3xy

(x) cos(x) = 0. (9.1d)

donde y es la funcin incgnita y x es la variable independiente. Como se puede ver, utilizaremos
la notacin y

o dy/dx de manera indistinta para indicar la derivada.

Las siguientes ecuaciones son ejemplos de ecuaciones en derivadas parciales:
u
x
+
u
y
= u
2
, (9.2a)

2
u
x
2
+

2
u
y
2
= 0. (9.2b)
Recordemos que tambin podemos utilizar la notacin D
i
f para indicar la derivada parcial de
f respecto a la variable i-sima o D
22
f para indicar

2
f
y
2
.
Adems de distinguir entre ecuaciones diferenciales ordinarias y ecuaciones en derivadas par-
ciales, utilizaremos el orden de la ecuacin.
Denicin 9.2. Se llama orden de una ecuacin diferencial al orden de la derivada ms alta Orden
que aparece en la ecuacin.
Por ejemplo, las ecuaciones diferenciales
Introduccin Ecuaciones diferenciales ordinarias
204
y

= 3xy
y

+y

= cos(x)
y

+e
y
= x
tiene orden uno, dos y tres respectivamente.
Denicin 9.3. Se llama grado de una ecuacin que puede ser escrita como un polinomio en Grado
la variable dependiente a la mayor potencia a la que est elevada la derivada de mayor orden.
Ejemplo 9.4.
a) Las ecuaciones
(y

)
3
= 3xy
y

+y

= cos(x)
(y

)
2
+y
4
= x
tienen grado tres, uno y dos respectivamente.
b) Las ecuaciones diferenciales ordinarias
y

(x) +y(x) = x
2
, (9.3a)
dy
dx
+2y
2
1 = 0, (9.3b)
(x 2y)dy +y
2
dx = 0, (9.3c)
y

(x)
2
+3xy

(x) cos(x) = 0. (9.3d)

tienen orden y grado uno salvo la ltima que tiene orden y grado dos.
Denicin 9.5. Una ecuacin diferencial diremos que es lineal si es lineal en la variable Ecuacin dife-
rencial lineal
dependiente.
Ejemplo 9.6. La ecuacin y

cos(x) +x
2
y = e
x
es lineal y la ecuacin (y

)
2
cos(x) +x
2
y = e
x
no lo es.
Denicin 9.7. Una ecuacin diferencial lineal diremos que es homognea si no tiene trmi- Ecuacin diferencial
lineal homognea
nos que dependan slo de la variable independiente.
Ejemplo 9.8. La ecuacin y

+xy = y

es homognea mientras que la ecuacin y

+xy = x
2
no lo es.
Soluciones
Una solucin de una ecuacin diferencial ordinaria es una funcin denida en un intervalo
que verica dicha ecuacin. Por ejemplo, y(x) = e
x
denida en R es solucin de la ecuacin
diferencial y

(x) y(x) = 0. Tambin es solucin la funcin constantemente igual a cero. Otras

ecuaciones, en cambio, no tiene solucin. Por ejemplo, la ecuacin (y

)
4
+y
2
= 1 no puede tener
solucin porque el miembro de la izquierda es positivo mientras que el de la derecha es negativo.
Si la ecuacin fuera (y

)
4
+y
2
= 0, la nica solucin posible sera la constantemente igual a cero.
Ecuaciones diferenciales ordinarias Introduccin
205
Resumiendo, hay ecuaciones que tienen solucin nica, otras que tienen muchas soluciones y otras
que no tienen ninguna.
Llamaremos solucin particular de una ecuacin diferencial a una funcin que verique la Solucin particular
ecuacin. Si nos referimos al conjunto de todas las soluciones, hablaremos de solucin general. Solucin general
Por ejemplo, y(x) = e
x
es una solucin particular de la ecuacin diferencial y

(x)y(x) = 0 que
tiene como solucin general y = ce
x
.
No siempre seremos capaces de expresar la solucin de forma explcita: algunas veces lo hare-
mos de forma implcita como en el siguiente ejemplo.
Ejemplo 9.9. La solucin de la ecuacin diferencial y

= x/y en el intervalo 5 < x < 5 son

aquellas funciones que verican que x
2
+y
2
= 25. Para comprobarlo, basta derivar:
x
2
+y(x)
2
= 25 = 2x +2y(x)y

(x) = 0 = y

(x) =
x
y(x)
.
Observacin 9.10. La solucin general no siempre se puede expresar por medio de una nica
frmula. Por ejemplo, la ecuacin y

+ y
2
= 0 tiene como soluciones particulares y(x) =
1
x
e
y(x) = 0 y, por tanto, no la podemos describir con una nica expresin.
Problemas de valores iniciales y problemas de contorno
Es usual que junto con la ecuacin diferencial tengamos algunas condiciones adicionales sobre
la funcin y sus derivadas. Si exigimos las condiciones sobre el mismo valor de la variable inde-
pendiente, hablaremos de un problema de valores iniciales. En cambio, si exigimos condiciones
adicionales sobre ms de un valor de la variable independiente, estaremos frente un problema de
contorno o de valores en la frontera.
A cualquiera de estas condiciones adicionales las llamaremos condiciones iniciales. Condiciones iniciales
Ejemplo 9.11. El problema
y

(x) y

(x) = cos(x)
y(0) = 0
y

(0) = 0

es un problema de valores iniciales. En cambio

y

(x) y

(x) = cos(x)
y(0) = 0
y(1) = 1

es un problema de valores en la frontera.

Forma implcita y explcita
Denicin 9.12. Diremos que una ecuacin diferencial de orden n est dada en forma
implcita cuando tiene la forma F(x, y, y

, y

, . . . , y
(n)
) = 0, siendo F una funcin denida
en conjunto de R
n+2
con valores en R. Diremos que la ecuacin est en forma explcita si
tiene la forma y
(n)
= F(x, y, y

, . . . , y
(n1)
), siendo F una funcin real denida en R
n+1
.
Por ejemplo, en el caso de edos de primer orden una ecuacin en forma implcita tiene la forma
F(x, y, y

) = 0
Ecuaciones diferenciales de primer orden Ecuaciones diferenciales ordinarias
206
y, en forma explcita, tiene el aspecto y

= f(x, y).
Ejemplo 9.13. Las ecuaciones diferenciales
y

= 3y x
y

= y

+xy
estn escritas en forma explcita. En cambio, las ecuaciones
cos(xy) +y

e
y

= 0
arctan(y

) +xe
y
= 0
estn escritas en forma implcita.
9.2 Ecuaciones diferenciales de primer orden
La ecuacin de primer orden y primer grado tiene la forma
M(x, y) +N(x, y)y

= 0,
escrita en forma implcita. A veces, la escribiremos de la forma M(x, y)dx +N(x, y)dy = 0 o, si
la queremos en forma explcita, y

= f(x, y).
Para estas ecuaciones hay teoremas que nos garantizan la existencia de solucin en condiciones
no demasiado restrictivas, pero antes de comentarlos, veamos cmo podemos buscar soluciones.
9.2.1 Campos de pendientes y curvas integrales
(2, 1) (2, 1)
y
pendiente y

(2)
Figura 9.1 Pendiente en el
punto (2, 1)
Aunque no sepamos cul es la solucin de una ecuacin diferencial de
la forma y

= f(x, y), podemos preguntarnos qu propiedades debe

vericar teniendo que conocemos la derivada de la solucin. Por ejemplo,
consideremos la ecuacin diferencial
y

= 1 +x y.
No conocemos la funcin y pero s conocemos la pendiente en cualquier
punto: la pendiente en el punto (2, 1) es y

(2) = 1 + 2 1 = 2. Hemos
aprendido algo: la solucin que pase por el punto (2, 1) tiene que ser
tangente a la recta que pasa por dicho punto con pendiente 2.
Esto que hemos hecho con un punto lo podemos repetir con todos los puntos del dominio. No
es posible hacer un dibujo con todos los puntos pero s podemos hacernos una idea aproximada
dibujando las pendientes en una malla de puntos tan densa como queramos (o podamos). Esto
es lo que hemos hecho en la Figura 9.2. En esta gura hemos representado con una echa la
pendiente en cada punto. Cualquier solucin tiene que seguir el ujo de direcciones marcado.
A dicha representacin del ujo de direcciones se le suele llamar campo de pendientes o de Campo de
pendientes
direcciones.
En la Figura 9.2 podemos ver dos soluciones: la que pasa por el punto (2, 1) y la que pasa por
el punto (1, 1). A estas soluciones, en realidad, un bosquejo de curva, se les suele llamar curvas Curva integral
integrales. El teorema de existencia y unicidad nos garantiza que, en este caso, por cada punto del
plano pasa una curva integral (existencia de solucin) y que dos curvas no se cortan (unicidad de
la solucin).
Ecuaciones diferenciales ordinarias Ecuaciones diferenciales de primer orden
207
x
y
(2, 1) (2, 1) (1, 1) (1, 1)
Figura 9.2 Campo de
pendientes y curvas integrales
9.2.2 Existencia y unicidad de solucin
Teorema 9.14. Sea I =]a, b[]c, d[ R
2
, sea f : I R y tomemos (x
0
, y
0
) I. Existencia y unici-
dad de solucin para
edos de primer or-
den
a) Si f es continua en I, entonces existe > 0 y existe una funcin y denida en ]x
0
, x
0
+[
que es solucin de
y

= f(x, y),
y(x
0
) = y
0
.

b) Si adems
f
y
es continua en I, entonces la solucin es nica.
Ejemplo 9.15. La funcin f : R
2
R denida como f(x, y) = 1 + y
2
es continua en todo el
plano y su derivada parcial respecto de la variable y tambin lo es. Eso quiere decir que la ecuacin
diferencial y

= 1 +y
2
tiene solucin y que el problema de valores iniciales
y

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

tiene solucin nica para cualquier (x

0
, y
0
) R
2
. Por ejemplo, la nica solucin de
y

= 1 +y
2
,
y(0) = 0,

es la funcin y(x) = tan(x) para x

2
,

2

.
Conviene poner de maniesto que, aunque f(x, y) = 1 + y
2
es una funcin de clase innito en
todo el plano, la solucin slo tiene sentido en un entorno del origen que, obligatoriamente, debe
estar incluido en el intervalo

2
,

2

.
Ms an, la solucin general de la ecuacin y

= 1 + y
2
tiene la forma y(x) = tan(x + c) que,
tambin, tiene estar denida en un intervalo de longitud como mximo.
El intervalo donde est denida la solucin puede, y suele, depender de la condicin inicial,
como se puede ver en el siguiente ejemplo.
Mtodos de resolucin de edos de primer orden Ecuaciones diferenciales ordinarias
208
Ejemplo 9.16. La funcin f(x, y) = x/y es continua en cualquier punto del plano salvo en el
eje OX. Cualquier rectngulo que tenga interseccin vaca con dicho eje es un dominio en el que
tenemos garantizada la existencia y unicidad de solucin del problema de valores iniciales
y

=
x
y
y(x
0
) = y
0
.

La solucin general de la ecuacin, en forma implcita, es x

2
+y
2
= c, siendo c un nmero positivo
arbitrario y x ]

c,

c[. Por ejemplo, la solucin de

y

=
x
y
y(0) = 1,

es y =

1 x
2
con x ] 1, 1[. En cambio, la solucin de
y

=
x
y
y(0) = 100,

es y =

100 x
2
con x ] 10, 10[.
9.3 Mtodos de resolucin de edos de primer orden
9.3.1 Variables separadas
Una ecuacin diferencial diremos que es de variables separadas si es del tipo
M(x) +N(y)y

= 0
o, lo que es lo mismo, si podemos separar a ambos lados de la igualdad x e y. Para resolverla
tenemos que encontrar primitivas de M y N. Si p q son dichas primitivas, entonces las soluciones
de la ecuacin verican p(x) +q(y) = C. Para comprobar que esto es as, slo hace falta derivar
esta expresin lo que nos dara la ecuacin original M(x) +N(y)y

= 0.
Ejemplo 9.17. Resolver xdx y
2
dy = 0.
Separando variables e integrando, tenemos que
xdx = y
2
dy

xdx =

y
2
dy
1
2
x
2
=
1
3
y
3
+c 3x
2
2y
3
= c.
Ejemplo 9.18. La ecuacin (x
2
+ 4)y

= xy es una ecuacin de variables separadas. Resolv-

mosla:
(x
2
+4)y

= xy
x
x
2
+4
=
y

x
x
2
+4
dx

y
dy = c

1
2
ln

x
2
+4

ln

= c

= e
c

x
2
+4
y = e
c

x
2
+4.
Ecuaciones diferenciales ordinarias Mtodos de resolucin de edos de primer orden
209
Obsrvese que e
c
es una manera, un poco enrevesada, de escribir un nmero real distinto de
cero. Por tanto, la solucin sera y = k

x
2
+4 con k 0.
Qu ocurre con k = 0? Si volvemos a la ecuacin original, vemos que y = 0 tambin es solucin de
la ecuacin. En realidad, cuando hemos pasado dividiendo y, implcitamente hemos exigido que
y no se anule eliminando al mismo tiempo la solucin constantemente igual a cero. Resumiendo,
la solucin es y = k

x
2
+4 con k un nmero real cualquiera.
Observacin 9.19. Cuando queremos resolver la ecuacin y

(x) = g(x)h(y) usando separacin

de variables tenemos que tener cuidado por si hse anula. Si h(a) = 0, entonces la funcin constante
y(x) = a verica y

= g(x)h(y). Si intentamos el mtodo que hemos usado en los ejemplos

anteriores, nos queda
dy
h(y)
= g(x)dx,
que no est denido en y = a y, es posible, que dicha solucin constante no nos aparezca inte-
grando.
Ejemplo 9.20. Resolvamos la ecuacin y

= y
2
1.
dy
dx
= y
2
1
dy
y
2
1
= dx

dy
y
2
1
=

dx +c

1
2
ln

y 1
y +1

= x +c
y 1
y +1
= e
2c
e
2x
,
(9.4)
de donde, despejando y, obtenemos y =
1+ke
2x
1ke
2x
, con k = e
2c
o, lo que es lo mismo, un nmero
cualquiera distinto de cero. De la observacin anterior sabemos que y = 1 e y = 1 son soluciones
de la ecuacin diferencial que no nos han aparecido. Por tanto, hemos perdido soluciones en el
desarrollo (9.4).
9.3.2 Ecuaciones lineales de primer orden
Denicin 9.21. Una ecuacin diferencial ordinaria es lineal si tiene la forma Ecuacin diferencial
lineal
a
n
(x)y
(n)
(x) +a
n1
(x)y
(n1)
(x) + +a
1
(x)y

(x) +a
0
(x)y(x) = g(x).
Diremos que es lineal homognea si g(x) = 0. Homognea
Como caso particular, una ecuacin lineal de primer orden es de la forma a
1
(x)y

+a
0
(x)y =
b(x). Si dividimos por a
1
, obtenemos la forma usual y

+ a(x)y = b(x) (a veces llamada forma

estndar).
Caso homgeneo
La ecuacin diferencial y

+a(x)y = 0 es una ecuacin en variables separadas. Siempre tenemos

la solucin trivial y(x) = 0 como solucin. Para buscar soluciones no triviales resolvemos y
obtenemos como solucin general
y = Kexp

a(x) dx

.
Caso general
Para resolver la ecuacin general vamos a usar el hecho de que esta solucin se puede obtener a
partir de una solucin particular y de las soluciones del problema homogneo. Ms concretamente,
supongamos que y
0
e y
1
son solucin de
Mtodos de resolucin de edos de primer orden Ecuaciones diferenciales ordinarias
210
y

+a(x)y = b(x). (9.5)

Entonces (y

1
y

0
) + a(x)(y
1
y
0
) = 0 o, lo que es lo mismo, y
1
y
0
es solucin de la corres-
pondiente ecuacin diferencial homognea. Como dos soluciones cualesquiera se diferencian en
una solucin del problema homogneo, el conjunto de soluciones de (9.5) se obtiene sumando a
una solucin particular las soluciones del homogneo.
Para obtener una solucin particular de (9.5), multiplicamos dicha ecuacin por exp

a(x) dx

y obtenemos:
exp

a(x) dx

+exp

a(x) dx

a(x)y = exp

a(x) dx

b(x).
Fijmonos que el primer miembro de la igualdad es la derivada del producto exp

a(x) dx

y,
con lo que
exp

a(x) dx

y =

exp

a(x) dx

b(x) dx,
y, por tanto, una solucin es
y(x) =

exp

a(x) dx

b(x) dx
exp

a(x) dx

.
Resumiendo, la solucin general del problema la conseguimos sumando a esta solucin particular
las soluciones del problema homogneo.
Proposicin 9.22. La solucin general de la ecuacin diferencial de primer orden
y

+a(x)y = b(x)
se escribe como suma de una solucin particular y la solucin general de la ecuacin homognea
y

+a(x)y = 0. Ms concretamente, la solucin general es

y(x) =

exp

a(x) dx

b(x) dx
exp

a(x) dx

+Kexp

a(x) dx

.
Ejemplo 9.23. Resolvamos la ecuacin xy

4y = x
6
e
x
.
La forma estndar de la ecuacin es y

4y
x
= x
5
e
x
. En este caso a(x) =
4
x
. Multiplicamos por
exp

1
x
dx

= exp(4ln(x)) = x
4
:
x
4
y

4x
5
y = xe
x
(x
4
y)

= xe
x
.
Integrando por partes, se obtiene que la solucin es y = x
5
e
x
x
4
e
x
+Kx
4
.
Observacin 9.24. El paso a la forma estndar incluye la divisin por a
1
(x). Aquellos valores de
x para los que a
1
(x) = 0 se suelen llamar puntos singulares y son potencialmente problemticos. Punto singular
Ejemplo 9.25. Resolver el problema de valores iniciales
y

2xy =2,
y(0) =1.

Como en los ejemplos anteriores, multiplicamos por e

x
2
y nos queda que
y = 2e
x
2

x
0
e
t
2
dt +Ke
x
2
.
Ecuaciones diferenciales ordinarias Mtodos de resolucin de edos de primer orden
211
Utilizando que y(0) = 1, se tiene que K = 1 y, por tanto,
y = 2e
x
2

x
0
e
t
2
dt +e
x
2
= e
x
2

2 +

x
0
e
t
2
dt +1

.
Observacin 9.26. Hay funciones relativamente sencillas que no tienen una primitiva expresable
mediante funciones elementales. La funcin e
x
2
es un ejemplo. Las funciones denidas de esta
manera tienen, en muchas ocasiones, nombre en la literatura matemtica. Por ejemplo, la funcin Funcin error
error est denida como
erf(x) =
2

x
0
e
t
2
dt.
Con esta notacin, la solucin del Ejemplo 9.25 es y(x) = e
x
2

1 +

erf(x)

.
9.3.3 Ecuaciones diferenciales exactas
La ecuacin diferencial ydx +xdy = 0 es de variables separadas. Tambin podemos recordar
en este momento la derivada de un producto: d(xy) = ydx+xdy para concluir que la solucin de
la ecuacin es xy = c. Si en lugar del producto tenemos una familia uniparamtrica de funciones
f(x, y) = c, podemos derivar y obtenemos la ecuacin diferencial
f
x
dx +
f
y
dy = 0.
Por ejemplo, si tenemos f(x, y) = x
3
+xy
2
= c, conseguimos la ecuacin
(3x
2
+y
2
)dx +2xydy = 0.
Denicin 9.27. La ecuacin M(x, y)dx + N(x, y)dy = 0 diremos que es exacta si existe Ecuacin diferencial
exacta
un campo escalar F(x, y) tal que
F
x
(x, y) = M(x, y),
F
y
(x, y) = N(x, y),
o, lo que es lo mismo, F(x, y) = (M(x, y), N(x, y)). Al campo escalar F se le suele llamar
potencial. Potencial
Si la ecuacin diferencial es exacta, es muy fcil expresar la solucin en forma implcita, slo
nos hace falta encontrar un potencial de la ecuacin.
Proposicin 9.28. Si M(x, y)dx+N(x, y)dy = 0 es una ecuacin diferencial exacta con potencial
F y f es una funcin real de variable real vericando que F(x, f(x)) = C para algn C en el dominio
de f, entonces f es solucin de la ecuacin diferencial M(x, y)dx +N(x, y)dy = 0.
Pero, cmo podemos saber si una ecuacin diferencial es exacta? En dominios adecuados, como
por ejemplo los rectngulos, existe una condicin muy cmoda de vericar. Esta condicin nos la
da el Teorema de Poincar.
Teorema 9.29. Sean M, N :]a, b[]c, d[ R funciones de clase uno. Entonces la ecuacin Teorema de Poincar
diferencial M(x, y)dx +N(x, y)dy = 0 es exacta si, y slo si,
M
y
(x, y) =
N
x
(x, y).
Ejemplo 9.30. Vamos a resolver la ecuacin 3y +e
x
+(3x +cos(y))y

= 0.
Mtodos de resolucin de edos de primer orden Ecuaciones diferenciales ordinarias
212
En este caso tenemos que M(x, y) = 3y + e
x
y que N(x, y) = 3x + cos(y). Veamos en primer
lugar que es exacta:
M
y
(x, y) = 3 =
N
x
(x, y).
Para resolverla tenemos que encontrar la funcin potencial F. Como
F
x
(x, y) = 3y +e
x
,
F(x, y) =

(3y +e
x
)dx = 3yx +e
x
+f(y).
Derivamos respecto de y e igualamos a N: 3x +f

(y) = 3x +cos(y). Con lo que f

(y) = cos(y)
y, por tanto f(y) = sen(y). En resumen, la solucin de la ecuacin escrita en forma implcita es
3yx +e
x
+sen(y) = C.
Factores integrantes
Si la ecuacin M(x, y)dx + N(x, y)dy = 0 no es exacta, existe la posibilidad de que al multi-
plicar por una funcin adecuada se convierta en exacta, esto es, que la ecuacin
(x, y)

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

= 0
s que sea exacta. Si la funcin no es constantemente cero, ambas ecuaciones tienen las mismas
soluciones. La cuestin que se plantea es cundo es posible encontrar una tal funcin y cmo lo
hacemos. A dicha funcin la llamaremos factor integrante. Factor integrante
No es fcil encontrar condiciones genricas que garantizen la existencia de factores integrantes.
S es posible encontrar factores integrantes de algn tipo particular. Por ejemplo, supongamos que
slo depende de x. En ese caso la ecuacin
(x)M(x, y)dx +(x)N(x, y)dy = 0
es exacta y, por tanto,

(x)M(x, y)

=

x

(x)N(x, y)

.
Derivamos
(x)
M
y
(x, y) =

(x)N(x, y) +(x)
N
x
(x, y).
Despejamos

(x)
(x)
=
M
y
(x, y)
N
x
(x, y)
N(x, y)
= h(x),
y h tiene que ser una funcin que dependa slo de x. En ese caso,
(x) = exp

h(x) dx

.
Resumimos lo que hemos hecho en el siguiente resultado.
Proposicin 9.31. Consideremos la ecuacin diferencial M(x, y)dx +N(x, y)dy = 0. Suponga-
mos que

(x)
(x)
=
M
y
(x, y)
N
x
(x, y)
N(x, y)
Ecuaciones diferenciales ordinarias Mtodos de resolucin de edos de primer orden
213
es una funcin de x, a la que denotaremos h(x). Entonces
(x) = exp

h(x) dx

es un factor integrante de la ecuacin.

De manera similar se pueden buscar factores integrantes de un tipo particular como por ejemplo
que slo dependan de y o de x+y o de xy, etc. Como muestra puedes ver la proposicin siguiente.
Proposicin 9.32. Consideremos la ecuacin diferencial M(x, y)dx +N(x, y)dy = 0.
a) Si
N
x
(x, y)
M
y
(x, y)
M(x, y)
= h(y),
entonces (y) = exp

h(y) dy

es un factor integrante.
b) Si
N
x
(x, y)
M
y
(x, y)
M(x, y) N(x, y)
= h(x +y),
entonces (x +y) = exp

h(x +y) d(x +y)

es un factor integrante.
c) Si
N
x
(x, y)
M
y
(x, y)
M(x, y) N(x y)
= h(x y),
entonces (x y) = exp

h(x y) d(x y)

es un factor integrante.
Ejemplo 9.33. La ecuacin (3xy +y
2
) +(x
2
+xy)y

= 0 no es exacta. En efecto,

3xy +y
2

= 3x +2y 2x +y =

x

x
2
+xy

.
La ecuacin admite un factor integrante que es funcin slo de x:
M
y
(x, y)
N
x
(x, y)
N(x, y)
=
3x +2y 2x y
x
2
+xy
=
x +y
x
2
+xy
=
x +y
x(x +y)
=
1
x
.
El factor integrante es, por ejemplo,
(x) = exp

dx
x

= exp(ln(x)) = x.
Es inmediato comprobar que la ecuacin x(3xy + y
2
) + x(x
2
+ xy)y

= 0 ya s es exacta. Para
resolverla buscamos la funcin potencial:
F(x, y) =

3x
2
y +xy
2
dx = x
3
y +
1
2
x
2
y
2
+f(y).
Para calcular f, derivamos respecto de y:
F
y
(x, y) = x
3
+x
2
y +h

(y), de donde h

(y) = 0. Por
tanto, la solucin general de forma implcita es
F(x, y) = x
3
y +
1
2
x
2
y
2
= C.
Mtodos de resolucin de edos de primer orden Ecuaciones diferenciales ordinarias
214
9.3.4 Otros cambios de variable
Ecuaciones diferenciales homogneas
Denicin 9.34. Una funcin f : R
n
R es homognea de grado p si f(tx) = t
p
f(x) para Funcin homognea
cualquier x R
n
y cualquier t R.
Ejemplo 9.35. El ejemplo tpico de funcin homognea es f(x) = x
n
que es homognea de orden
n. Pero tambin lo son aquellos polinomios de una o varias variables que slo tienen sumandos
de orden n. Por ejemplo,
f(x, y, z) = x
3
y
2
3x
2
y
3
+xyz
3
+7x
5
es una funcin homognea de orden 5.
No es necesario que la funcin sea polinmica para ser homognea. La funcin
f(x, y) = e
x
y
+sen

y
x

es homognea de grado 0.
Denicin 9.36. Una ecuacin diferencial M(x, y) +N(x, y)y

= 0 es homognea si M y N Ecuacin diferen-

cial homognea
son funciones homogneas del mismo grado.
Ejemplo 9.37. Las siguientes ecuaciones diferenciales son homogneas
(x +y)dx +(x 3y)dy =0
(x
3
+xy
2
)dx +(y
3
x
2
y)dy =0
x
2
dx +(xy 3y
2
)dy =0.
En cambio, (x +y 1)dx +(x y)dy = 0 no lo es.
Observacin 9.38. Segn la denicin, la ecuacin diferencial M(x, y) + N(x, y)y

= 0 es
homognea si M y N son funciones homogneas del mismo grado digamos n. Esto quiere decir
que, utilizando la denicin de funcin homognea con = 1/x, se cumple que
M(x, y)
x
n
=

1
x

n
M(x, y) = M

x
x
,
y
x

= M

1,
y
x

y, el resultado anlago para N(x, y) con lo que

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

1,
y
x

+x
n
N

1,
y
x

= 0
M

1,
y
x

+N

1,
y
x

= 0

dy
dx
=
M

1,
y
x

1,
y
x

y, por tanto, la ecuacin se puede escribir de la forma y

= f

y
x

Estas ecuaciones se transforman en una de variables separadas mediante el cambio u =

y
x
.
Como y = ux, derivando tenemos que y

= u

x + u, es decir, u

x = f(u) u, que es una

ecuacin de variables separadas.
Para resolverla, si f(u) u, la ecuacin es
du
f(u)u
=
dx
x
. Por tanto la solucin es
Ecuaciones diferenciales ordinarias Mtodos de resolucin de edos de primer orden
215
x =C exp

du
f(u) u

y =Cux = Cuexp

du
f(u) u

.
Si f(u
0
) = u
0
para algn u
0
, entonces se puede comprobar que la recta y = u
0
x es solucin ya
que
y

= u
0
= f(u
0
) = f

y
x

.
Ejemplo 9.39. La ecuacin
dy
dx
=
x+y
xy
es homognea. Para resolverla hacemos el cambio y = ux,
con lo que nos queda
u+
du
dx
x = y

=
x +y
x y
=
x +ux
x ux
=
1 +u
1 u
,
de donde,
1u
u
2
+1
du
dx
=
dx
x
que es una ecuacin de variables separadas. Integramos y obtenemos la
solucin:

1 u
u
2
+1
du =

dx
x
ln(x) +
1
2
ln

u
2
+1

arctan(u) = C.
Por ltimo, como u =
x
y
, la solucin es ln(x) +
1
2
ln

y
x
2
+1

arctan

y
x

= C.
Ecuaciones de la forma y

= f(ax +by +c)

Distinguimos dos casos:
a) Si a o b son cero, entonces la ecuacin es de variables separadas.
b) En otro caso el cambio z = ax +by +c la transforma en una ecuacin de variables separadas
en x y z. Fjate que, como y =
zaxc
b
, la ecuacin se transforma en z

= bf(z) +a.
Ejemplo 9.40. Las siguientes edos son ejemplos del primer caso
y

= cos(3x +1),
y

2y +3,
que, como se puede ver, se resuelven fcilmente utilizando que son ecuaciones en variables sepa-
radas.
Veamos un ejemplo del segundo tipo.
Ejemplo 9.41. Para resolver la ecuacin y

= cos(3x + y 1), hacemos el cambio de variable

z = 3x +y 1. Se tiene que y = z 3x +1 y, por tanto, la ecuacin se transforma en
y

= cos(3x +y 1) z

= cos(z) +3
z

cos(z) +3
= 0

2
arctan

2sen(z)

2(cos(z) +1)

= k, k R.
Basta con deshacer el cambio para terminar.
Ecuaciones del tipo y

= f

a
1
x+b
1
y+c
1
a
2
x+b
2
y+c
2

En estas ecuaciones M y N son lineales, pero no necesariamente homogneas, y la ecuacin

diferencial tiene la forma
Mtodos de resolucin de edos de primer orden Ecuaciones diferenciales ordinarias
216

a
1
x +b
1
y +c
1

dx +

a
2
x +b
2
y +c
2

dy = 0.
A la hora de resolverla, vamos a tener en cuenta cmo es el sistema de ecuaciones
a
1
x +b
1
y +c
1
= 0
a
2
x +b
2
y +c
2
= 0
a) Si c
1
= c
2
= 0, la ecuacin es homognea y ya sabemos resolverla.
b) Si el sistema es compatible indeterminado, esto es, si a
1
b
2
= a
2
b
1
, el cambio de variable
z = a
1
x +b
1
y transforma la ecuacin en una de variables separadas.
c) Por ltimo, si el sistema es compatible determinado, o sea, si a
1
b
2
a
2
b
1
, entoces el sistema
tiene solucin nica x = , y = . El cambio de variable u = x , v = y transforma la
ecuacin en
v

= f

a
1
u+b
1
v
a
2
u+b
2
v

,
una ecuacin homognea donde u es la variable independiente.
Ejemplo 9.42. La ecuacin diferencial
y

2x +y +1
4x +y 3

2
se corresponde al segundo tipo mencionado. El cambio de variable z = 2x +y la transforma en
z

z +1
2z 3

2
2,
que, integrando, tiene como solucin

45
98

2
ln

14z 5

2
3
26
14z +5

2
3
26

10
49
ln

7z
2
26z +17

4z
7
= k, k R.
Deshaciendo el cambio de variable, obtenemos la solucin que buscbamos.
Ejemplo 9.43. La ecuacin diferencial
y

=
x +y 3
x y +1
es del tercer tipo mencionado anteriormente. Resolvemos el sistema
x +y =3
x y =1

(x, y) = (2, 1).

El cambio de variable (u, v) = (x 2, y 1) transforma la ecuacin diferencial en la ecuacin
v

=
u+v
uv
que ya s es homognea y, de hecho, ya hemos resuelto en el Ejemplo 9.39.
Ecuacin de Bernoulli
Una ecuacin diferencial es una ecuacin de Bernoulli si tiene la forma
y

+p(x)y = q(x)y
n
Ecuaciones diferenciales ordinarias Mtodos de resolucin de edos de primer orden
217
donde n es un nmero real. Para resolverlas, utilizamos el cambio de variable z = y
1n
que la
transforma en una ecuacin diferencial lineal en z.
9.3.5 Algunas aplicaciones
Familias de curvas y trayectorias ortogonales
Dada una familia de curvas en el plano F(x, y, c) = 0, podemos encontrar una ecuacin diferen-
cial que la represente a dicha familia. Para ello derivamos respecto de x y eliminamos la constante
c. En algunos caso, al derivar directamente desaparece c.
Ejemplo 9.44. La familia de curvas x
2
+ y
2
= c es la solucin de la ecuacin diferencial 2x +
2yy

= 0.
En otras ocasiones es necesario realizar algunas operaciones ms para conseguirlo.
Ejemplo 9.45. Para obtener la ecuacin diferencial que verica la familia de curvas xy
2
= ce
x
,
derivamos respecto de x y obtenemos que
y
2
+2xyy

= ce
x
Usando que c =
xy
2
e
x
, se deduce que la ecuacin diferencial es de la familia de curvas es
y
2
+2xyy

= xy
2
.
Conocida la ecuacin diferencial de una familia de curvas, es fcil plantear la que corresponde
a la familia de curvas que corten de manera perpendicular a todas las curvas de la familia inicial.
La pendiente de las curvas de la primera familia se pueden calcular derivando de forma implcita.
Si y

= f(x, y), entonces las familia de trayectorias ortogonales debe vericar y

=
1
f(x,y)
.
Desintegracin radioactiva
La actividad radioactiva de un elemento inestable como el carbono 14 es proporcional a la
cantidad de dicho elemento. Si M(t) denota la cantidad de tomos en un momento t dado, la tasa
de cambio viene dada por
M

(t) = kM
donde k > 0 es la constante de desintegracin con un valor determinado para cada material.
Si resolvemos esta ecuacin obtenemos que la solucin general es M(t) = Ce
kt
. La constante
C se puede calcular: evaluando para t = 0 obtenemos que C = M(0) es la cantidad inicial de
material. Para calcular la constante k de un determinado material necesitamos una medicin para
un tiempo t. Si, por ejemplo, conocemos la cantidad de material al inicio (t = 0) y para un tiempo
t = 3, podemos calcular k despejando en la ecuacin M(3) = M(0)e
3k
. Para el carbono 14, la
constante es k = 0.000120968.
Datacin usando carbono 14
FALTA
Ecuaciones diferenciales ordinarias de orden superior Ecuaciones diferenciales ordinarias
218
9.4 Ecuaciones diferenciales ordinarias de orden superior
En una ecuacin diferencial de orden n aparecen relacionadas la variable independiente y las
n primeras derivadas de una funcin y. Dependiendo si podemos despejar la derivada n-sima,
y
(n)
, la escribiremos en forma implcita
F

x, y, y

, y

, . . . , y
(n)

= 0,
o explcita
y
(n)
= f

x, y, y

, y

, . . . , y
(n1)

.
Un problema de valores iniciales o de Cauchy es una ecuacin diferencial junto con algunas
condiciones sobre el valor de la funcin incgnita en un un punto, esto es,
y
(n)
= f

x, y, y

, y

, . . . , y
(n1)

y(x
0
) = y
0
y

(x
0
) = y

0

y
(n1)
(x
0
) = y
(n1)
0

(9.6)
Existencia y unicidad de solucin
Teorema 9.46. Consideremos el problema de valores iniciales (9.6). Entonces
a) Si f es continua en un entorno del punto (x
0
, y
0
, y

0
, . . . , y
(n)
0
) entonces el problema (9.6) Existencia
de solucin
tiene solucin.
b) Si f tiene derivadas parciales continuas, esto es, es de clase C
1
, entonces el problema (9.6) Unicidad de solucin
tiene solucin nica.
9.5 Ecuaciones lineales de orden superior
Una ecuacin diferencial ordinaria lineal de orden n tiene la forma
a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
0
(x)y = b(x).
Si a
n
(x) 0, dividiendo por a
n
(x) obtenemos la forma estndar
y
(n)
+a
n1
(x)y
(n1)
+ +a
0
(x)y = b(x). (9.7)
La ecuacin anterior es homognea si b(x) = 0. Asimismo, dada la ecuacin diferencial (9.7), la
ecuacin homognea asociada es
y
(n)
+a
n1
(x)y
(n1)
+ +a
n
(x)y = 0. (9.8)
El Teorema 9.46 tiene una expresin simplicada para ecuaciones diferenciales lineales. El mo-
tivo es que la unicidad la obtenemos gratis. Para la existencia, necesitamos continuidad de las
funciones a
i
.
Teorema 9.47. Sea n 2 y sean a
0
, a
1
,..., a
n
: I R R funciones continuas, entonces el Existencia y uni-
cidad de solucin
problema de valores iniciales
Ecuaciones diferenciales ordinarias Ecuaciones lineales de orden superior
219
a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
0
(x)y = b(x),
y(x
0
) = y
0
y

(x
0
) = y

0
. . . . . .
y
(n1)
(x
0
) = y
(n1)
0

(9.9)
tiene solucin nica en todo el intervalo I.
Podemos aprovechar la linealidad de la ecuacin para estudiar el conjunto de soluciones. Ob-
srvese que si tenemos dos soluciones y y z de (9.9), entonces restando
a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
0
(x)y = b(x)
y
a
n
(x)z
(n)
+a
n1
(x)z
(n1)
+ +a
0
(x)z = b(x)
obtenemos que
a
n
(x)(y z)
(n)
+a
n1
(x)(y z)
(n1)
+ +a
0
(x)y = 0
o, lo que es lo mismo, la diferencia y z es solucin de la correspondiente ecuacin homog-
nea. Asimismo, la suma de dos soluciones de la correspondiente ecuacin diferencial homognea
tambin es solucin. Con esto en mente, podemos dar un primer paso para encontrar la solucin.
9.5.1 Resolucin de ecuaciones diferenciales lineales
El problema homogneo
Dada la ecuacin diferencial lineal homognea
a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
0
(x)y = 0, (9.10)
consideremos operador L denido como
L[y] = a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
0
(x)y.
El operador L est denido en el conjunto de las funciones de clase C
n
. Con esta notacin, la
ecuacin (9.10) se escribe de una forma mucho ms simple: L[y] = 0.
Es muy fcil comprobar que L es un operador lineal, esto es, que
a) L[cy] = cL[y], para cualquier c real y que
b) L[y +z] = L[y] +L[z], para cualesquiera par de funciones y, z.
Qu funciones son solucin de la ecuacin (9.10)? Si recordamos la denicin de ncleo de una
aplicacin:
L[y] = 0 y ker(L) =

y : L[y] = 0

.
En otras palabras, el conjunto de las soluciones es un subespacio vectorial. Como ya sabes, la
mejor manera de expresar los elementos de un espacio vectorial es utilizar una base del mismo,
pero antes tenemos que averiguar cul es su dimensin.
Ecuaciones lineales de orden superior Ecuaciones diferenciales ordinarias
220
Proposicin 9.48. El conjunto de las soluciones de
a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
0
(x)y = 0 (9.11)
es un espacio vectorial de dimensin n. Por tanto, si

y
1
, y
2
, . . . , y
n

es una base de dicho espacio,

la solucin general de la ecuacin (9.10) es
c
1
y
1
+c
2
y
2
+ c
n
y
n
,
donde c
i
, i = 1, 2, . . . , n son nmeros reales arbitrarios.
El problema general
Pasamos ahora al problema general. Dada la ecuacin diferencial lineal
a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
0
(x)y = b(x) (9.12)
o, utilizando la notacin anterior, L[y] = b(x). Cul es la solucin? Slo tenemos que jarnos
en que la diferencia entre dos soluciones de (9.9) es una solucin del problema homgeneo para
obtener la siguiente proposicin.
Proposicin 9.49. La solucin de la ecuacin diferencial
a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
0
(x)y = b(x)
se puede escribir de la forma y
p
+ y
h
, donde y
p
es una solucin particular de dicha ecuacin
diferencial e y
h
es la solucin general de la ecuacin homognea
a
n
(x)y
(n)
+a
n1
(x)y
(n1)
+ +a
0
(x)y = 0.
9.5.2 Independencia lineal de funciones
Denicin 9.50. Un conjunto de funciones

y
1
(x), y
2
(x), . . . , y
n
(x)

es linealmente inde-
pendiente si las nicas constantes c
1
, c
2
,..., c
n
para las que se cumple que
c
1
y
1
(x) +c
2
y
2
(x) + +c
n
y
n
(x) = 0 (9.13)
son c
1
= c
2
= . . . = c
n
= 0.
Si se verica la ecuacin (9.13), sus derivadas, hasta orden n1, tambin se anulan:
c
1
y
1
(x) +c
2
y
2
(x) + +c
n
y
n
(x) = 0,
c
1
y

1
(x) +c
2
y

2
(x) + +c
n
y

n
(x) = 0,
c
1
y

1
(x) +c
2
y

2
(x) + +c
n
y

n
(x) = 0,
. . .
c
1
y
(n1)
1
(x) +c
2
y
(n1)
2
(x) + +c
n
y
(n1)
n
(x) = 0.

(9.14)
La existencia de constantes c
i
no nulas vericando el sistema de ecuaciones (9.13), (9.14) depende
del determinante
W(y
1
, y
2
, . . . , y
n
) =

y
1
y
2
. . . y
n
y

1
y

2
. . . y

n
. . . . . . . . .
y
(n1)
1
y
(n1)
2
. . . y
(n1)
n

(9.15)
Ecuaciones diferenciales ordinarias Ecuaciones diferenciales lineales con coecientes constantes
221
Dicho determinante se suele llamar el wronskiano de

y
1
(x), y
2
(x), . . . , y
n
(x)

. Por tanto, si el Wronskiano

wronksiano W(y
1
, y
2
, . . . , y
n
) es distinto de cero, las funciones

y
1
, y
2
, . . . , y
n

son linealmente
independientes.
Ejemplo 9.51. Si r
1
y r
2
son dos nmeros reales distintos, son las funciones e
r
1
x
y e
r
2
x
lineal-
mente independientes? Comprobmoslo:
W

e
r
1
x
, e
r
2
x

e
r
1
x
e
r
2
x
r
1
e
r
1
x
r
2
e
r
2
x

= (r
2
r
1
) e
(r
1
+r
2
)x
0,
y, por tanto, son linealmente independientes.
9.6 Ecuaciones diferenciales lineales con coecientes constantes
En esta seccin vamos a ver cmo podemos resolver una ecuacin diferencial de la forma
y
(n)
+a
n1
y
(n1)
+ a
1
y

+a
0
y = b(x). (9.16)
Teniendo en cuenta la Proposicin 9.49, podemos escribir la solucin general como solucin
general = solucin particular + solucin general de la ecuacin homognea
Vamos a estudiar cada caso por separado.
9.6.1 Resolucin de edos lineales homogneas con coecientes constantes
El conjunto de las soluciones de la ecuacin
y
(n)
+a
n1
y
(n1)
+ a
1
y

+a
0
y = 0
es un espacio vectorial n-dimensional segn la Proposicin 9.48. Para encontrar n soluciones
linealmente independientes vamos a utilizar el polinomio caracterstico de dicha ecuacin.
Denicin 9.52. Consideremos la ecuacin diferencial lineal
y
(n)
+a
n1
y
(n1)
+ +a
0
y = 0.
Llamaremos polinomio caracterstico de la ecuacin al polinomio Polinomio caracters-
tico
P() =
n
+a
n1

n1
+ +a
1
+a
0
.
Ejemplo 9.53. Aqu tenemos algunas ecuaciones diferenciales con sus correspondientes polino-
mios caractersticos:
y

+2y

y = 2 P(t) = t
2
+2t 1
3y

y = 2cos(x) P(t) = 3t
2
1
y

e
x
= 0 P(t) = t
3
t
2

Teorema 9.54. La funcin e

rx
es solucin de la ecuacin diferencial
y
(n)
+a
n1
y
(n1)
+ +a
0
y = 0.
si, y slo si, r es raz del polinomio caracterstico P.
Adems,
Ecuaciones diferenciales lineales con coecientes constantes Ecuaciones diferenciales ordinarias
222
a) Si r es una real y simple de P, entonces la funcin e
rx
es solucin de la ecuacin y si r
1
y r
2
son dos races reales distintas, e
r
1
x
y e
r
2
x
son linealmente independientes.
b) Si r es una raz real con multiplicidad m, entonces las funciones e
rx
, xe
rx
, x
2
e
rx
,...,
x
m1
e
rx
son soluciones linealmente independientes.
c) Si a ib son un par de races complejas conjugadas simples de P, entonces las funciones
e
ax
cos(bx) y e
ax
sen(bx) son soluciones linealmente independientes.
d) Si a ib son un par de races complejas conjugadas de P con multiplicidad m, entonces las
funciones
e
ax
cos(bx), xe
ax
cos(bx), . . . , x
m1
e
ax
cos(bx),
e
ax
sen(bx), xe
ax
sen(bx), . . . , x
m1
e
ax
sen(bx),
son soluciones linealmente independientes.
Este teorema nos da tantas soluciones independientes como grado tenga el polinomio caracte-
rstico que forman, por tanto, una base del subespacio de soluciones.
Ejemplo 9.55. Vamos a calcular la solucin general de la ecuacin y

2y = 0.
El polinomio caracterstico es x
2
x 2 cuyas races son 1 y 2. Por tanto, la solucin general es
y = c
1
e
2x
+c
2
e
x
, c
1
, c
2
R.
Ejemplo 9.56. Resolver el problema de valores iniciales
y

2 = 0,
y(0) = 1,
y

(0) = 0.

Sabemos que la solucin general es y = c

1
e
2x
+c
2
e
x
. Si sustituimos las condiciones iniciales nos
queda el sistema
c
1
+c
2
= 1
2c
1
c
2
= 0

= c
1
=
1
3
, c
2
=
2
3
.
Por tanto, la solucin es y =
1
3
e
2x
+
2
3
e
x
.
9.6.2 Solucin particular de edos lineales con coecientes constantes
Vamos a comentar dos formas de buscar una solucin de una ecuacin diferencial lineal con
coecientes constantes. El primero de ellos consiste en buscar soluciones de una forma muy
concreta. Es rpido y fcil de usar, pero slo se aplica a algunos casos. El segundo es completamente
genrico y se puede aplicar a ecuaciones arbitrarias.
Mtodo de coecientes indeterminados
Consideremos la ecuacin diferencial
y
(n)
+a
1
y
(n1)
+ a
n1
y

+a
n
y = b(x). (9.17)
a) Si b(x) = sen(rx) o cos(rx), entonces buscamos soluciones de la forma
y
p
= Asen(rx) +B cos(rx).
Ecuaciones diferenciales ordinarias Ecuaciones diferenciales lineales con coecientes constantes
223
b) Si b(x) = e
rx
, entonces buscamos soluciones de la forma
y
p
= Ae
rx
.
c) Si b(x) = senh(rx) o cosh(rx), entonces buscamos soluciones de la forma
y
p
= Asenh(rx) +B cosh(rx).
d) Si b(x) = x
m
, entonces buscamos soluciones de la forma
y
p
= A
0
+A
1
x +A
2
x
2
+ +A
n
x
m
.
Ejemplo 9.57. FALTA
Mtodo de Lagrange o de variacin de parmetros
En el apartado anterior hemos resuelto la correspondiente ecuacin homognea
y
(n)
+a
n1
y
(n1)
+ +a
1
y

+a
0
y = 0.
Supongamos que tenemos que el conjunto {y
1
, y
2
, y
n
} es una base del conjunto de soluciones
de la ecuacin homognea. Entonces sabemos que cualquier solucin de la ecuacin homognea
es de la forma
c
1
y
1
(x) +c
2
y
2
(x) + +c
n
y
n
(x).
El mtodo de variacin de parmetros consiste en buscar una solucin de la ecuacin (9.16)
sustituyendo las constantes c
i
por funciones derivables (realmente n veces derivables) v
i
(x). Es
decir, buscamos una solucin de la forma
y
p
= v
1
(x)y
1
(x) +v
2
(x)y
2
(x) + +v
n
(x)y
n
(x)
que verique (9.16).
Evidentemente considerar funciones arbitrarias v
i
da un gran grado de libertad. Vamos a impo-
ner condiciones adicionales sobre las funciones de forma que el resultado est lo ms determinado
posible.
Consideremos la derivada de la funcin y
p
,
y

p
=
n

j=1
v
j
y

j
+
n

j=1
v

j
y
j
e imponemos que
n

j=1
v

j
y
j
= 0. As obtenemos que
y

p
=
n

j=1
v
j
y

j
.
Si derivamos otra vez obtenemos
y

p
=
n

j=1
v
j
y

j
+
n

j=1
v

j
y

j
.
Si ahora imponemos que
n

j=1
v

j
y

j
= 0 tenemos que
Ecuaciones diferenciales lineales con coecientes constantes Ecuaciones diferenciales ordinarias
224
y

p
=
n

j=1
v
j
y

j
.
Si este proceso de derivar e imponer que una parte de la derivada vale 0 lo repetimos hasta un
total de (n1) veces obtenemos que, para k = 0, 1,..., n2 se tiene que
n

j=1
v

j
y
(k)
j
= 0, (9.18)
y, para k = 0, 1,..., n1, se tiene
y
(k)
p
=
n

j=1
v
j
y
(k)
j
.
Si derivamos una vez ms tenemos que
y
(n)
p
=
n

j=1
v

j
y
(n1)
j
+
n

j=1
v
j
y
(n)
j
.
Finalmente exigimos que la funcin y
p
satisfaga la ecuacin (9.16) se tiene que
b(x) = y
(n)
p
+a
n1
y
(n1)
p
+ a
1
y

p
+a
0
y
p
=
n

j=1

j
y
(n1)
j
+v
j
y
(n)
j

+a
n1
n

j=1
v
j
y
(n1)
j
+ +a
1
n

j=1
v
j
y

j
+a
0
n

j=1
v
j
y
j
=
n

j=1
v

j
y
(n1)
j
+
n

j=1
v
j

y
(n)
j
+a
n1
y
(n1)
j
+ +a
1
y

j
+a
0
y
j

.
Pero, para j = 1, 2, n, y
j
es solucin de la ecuacin homognea, es decir
y
(n)
j
+a
n1
y
(n1)
j
+ +a
1
y

j
+a
0
y
j
= 0
y se obtiene que
b(x) =
n

j=1
v

j
y
(n1)
j
. (9.19)
Por otra parte el conjunto de funciones {y
1
, y
2
, y
n
} es un conjunto linealmente independiente
y entonces el sistema formado por la ecuacin (9.19) y las n 1 ecuaciones (9.18) tiene solu-
cin nica que se resuelve por el mtodo de Cramer. As obtenemos las funciones v

1
, v

2
,..., v

n
.
Calculando primitivas obtenemos v
1
, v
2
,..., v
n
.
En el siguiente resultado resumimos todo el desarrollo anterior.
Teorema 9.58. Sean a
0
, a
1
,..., a
n
nmeros reales y consideremos la ecuacin diferencial
y
(n)
+a
n1
y
(n1)
+ +a
1
y

+a
0
y = b(x), (9.20)
donde b : I R es una funcin continua. Entonces
y
p
= v
1
(x)y
1
(x) +v
2
(x)y
2
(x) + +v
n
(x)y
n
(x)
es una solucin particular de (9.20) donde y
1
, y
2
,..., y
n
son n soluciones linealmente inde-
pendientes de la ecuacin homognea y v
i
son funciones cuyas derivadas son soluciones del
sistema
3
Observa que el sistema tiene solucin nica ya que el determinante viene dado por el wronskiano de {y
1
, ..., y
n
} que es distinto
3
de cero.
Ecuaciones diferenciales ordinarias Ecuaciones diferenciales lineales con coecientes constantes
225

y
1
y
2
. . . y
n
y

1
y

2
. . . y

n
.
.
.
.
.
.
.
.
.
y
(n1)
1
y
(n1)
2
. . . y
(n1)
n

1
v

2
.
.
.
v

0
0
.
.
.
b(x)

.
Ejemplo 9.59. Consideremos la ecuacin diferencial y

+y

= tan(x).
Primero buscamos la solucin general de la correspondiente ecuacin homognea y

+ y

= 0.
El polinomio caracterstico de la ecuacin es p() =
3
+ = (
2
+1). Igualando 0 el polinomio
caracterstico obtenemos como soluciones = 0, = i y = i y obtenemos que una base
del conjunto de soluciones de la ecuacin homognea es el conjunto {1, cos(x), sen(x)}. Ahora
buscamos una solucin particular de la ecuacin y

+y

= tan(x) por el mtodo de variacin de

parmetros. Es decir, buscamos una solucin particular de la forma
y
p
(x) = v
1
(x) +v
2
(x) cos(x) +v
3
(x) sen(x)
y las funciones a encontrar, v
1
, v
2
y v
3
verican el sistema siguiente (no exactamente ellas, sino
sus derivadas)
v

1
(x) +v

2
(x) cos(x) +v

3
(x) sen(x) = 0
v

2
(x) sen(x) +v

3
(x) cos(x) = 0
v

2
(x) cos(x) v

3
(x) sen(x) = tan(x)
Aplicando el mtodo de Cramer obtenemos que
v

1
(x) =

0 cos(x) sen(x)
0 sen(x) cos(x)
tan(x) cos(x) sen(x)

1 cos(x) sen(x)
0 sen(x) cos(x)
0 cos(x) sen(x)

=
tan(x)
1
= tan(x),
v

2
(x) =

1 0 sen(x)
0 0 cos(x)
0 tan(x) sen(x)

1 cos(x) sen(x)
0 sen(x) cos(x)
0 cos(x) sen(x)

= sen(x),
y
v

3
(x) =

1 cos(x) 0
0 sen(x) 0
0 cos(x) tan(x)

1 cos(x) sen(x)
0 sen(x) cos(x)
0 cos(x) sen(x)

= sen(x) tan(x).
Ecuaciones diferenciales lineales con coecientes constantes Ecuaciones diferenciales ordinarias
226
Integrando las tres funciones tenemos que v
1
(x) = log| cos(x)|, v
2
(x) = cos(x) y v
3
(x) =
sen(x) log| tan(x) +sec(x)|.
Finalmente la solucin general de la ecuacin y

+y

= tan(x) ser
y(x) = c
1
+c
2
cos(x) +c
3
sen(x) log| cos(x)| +cos
2
(x) +sen
2
(x)
sen(x) log| tan(x) +sec(x)|
= c
1
+c
2
cos(x) +c
3
sen(x) log| cos(x)| sen(x) log| tan(x) +sec(x)|.
Veamos otro ejemplo.
Ejemplo 9.60. Calcular la solucin general de la ecuacin
y

2y

+y =
e
x
x
.
Como antes, lo primero que hay que hacer es buscar la solucin general de la ecuacin homognea
correspondiente; en este caso y

2y

+y = 0. El polinomio caracterstico es p() =

2
2+1 =
( 1)
2
. La nica solucin de y

2y

+y = 0 es = 1 con multiplicidad 2 y por tanto una base

del conjunto de soluciones es la formada por las funciones {e
x
, xe
x
}.
Consideremos ahora una solucin particular de la ecuacin diferencial de la forma
y
p
(x) = v
1
(x)e
x
+v
2
(x)xe
x
,
y le exigimos
v

1
(x)e
x
+v

2
(x)xe
x
= 0
v

1
(x)e
x
+v

2
(x)(x +1)e
x
=
e
x
x
.
Considerando el anterior sistema como un sistema de Cramer, con incgnitas {v

1
(x), v

2
(x)}
resolvemos
v

1
(x) =

0 xe
x
e
x
/x (x +1)e
x

e
x
xe
x
e
x
(x +1)e
x

=
e
2x
e
2x
= 1,
y
v

2
(x) =

e
x
0
e
x
e
x
/x

e
x
xe
x
e
x
(x +1)e
x

=
e
2x
xe
2x
= 1/x.
Integrando tenemos que v
1
(x) = x y que v
2
(x) = log|x| y la solucin general queda
ae
x
+bxe
x
xe
x
+log|x|xe
x
,
con a, b R.