CAPTULO

4
Ecuaciones diferenciales de orden superior
1
4.3 Ecuaciones diferenciales lineales de orden n
En la presente seccin estudiaremos y formularemos un mtodo general para resolver ecuaciones diferen-
ciales lineales de orden n, de manera ms concreta, ecuaciones diferenciales de orden n cuya forma es:
a
n
.x/y
.n/
a
1
.x/y
0
a
0
.x/y = g.x/ (1)
Vale la pena advertir que estas ecuaciones se caracterizan por los siguientes dos particularidades:
1. La variable dependiente y y sus derivadas tienen exponente igual a 1 y no estnafectadas por ninguna
funcin trascendente.
2. Los coecientes a
n
.x/; : : : ; a
1
.x/; a
0
.x/ y la funcin g.x/ son funciones que slo dependen de x, o son
constantes.
Cabe decir que no existen mtodos, ni generales ni sencillos que permitan resolver ecuaciones diferenciales
de orden n no lineales. Qu hace la diferencia?, la respuesta es simple: poder usar o no el bagaje del
lgebra lineal. sta es una rama muy til de las matemticas donde encuadran perfectamente las deni-
ciones, conceptos y resultados que nos permitirn resolver el problema general. As, nuestro estudio pasar
obligadamente por algunas de las ideas ms importantes de este tema.
4.3.1 Espacio vectorial
Un espacio vectorial consta de un conjunto V (cuyos elementos denotados por v se llaman vectores), y dos
operaciones: adicin vectorial y multiplicacin por escalares que satisfacen un conjunto de axiomas. No
entraremos en el detalle de todos ellos porque para nosotros los dos ms importantes son los siguientes:
1. Existe un vector en V al que se le llama vector cero y se escribe como

0 tal que v

0 = v para todo
v V .
2. Dados los vectores u; v V y los escalares ; R, entonces u v V (a esto se le llama cerradura
bajo la adicin y multiplicacin por escalar).
1
canek.azc.uam.mx: 15/ 1/ 2009
1
2 Ecuaciones diferenciales ordinarias
Es importante decir que los vectores a los que nos hemos referido as como las operaciones de adicin y
multiplicacin por escalar pueden ser muy diversos, sin embargo, nos limitaremos a los casos habituales
en nuestro tratamiento.
Ejemplo 4.3.1 Si V R
2
= { .a; b/ : a; b R ] y denimos las operaciones de adicin y multiplicacinpor escalar
por:
.a
1
; b
1
/ .a
2
; b
2
/ = .a
1
a
2
; b
1
b
2
/ y .a; b/ = .a; b/
Obtenemos que V junto con las operaciones indicadas es un espacio vectorial.
Ejemplo 4.3.2 Si V = { .a; b/ : a R; b _ 0 ] y adoptamos las operaciones del ejemplo 4:3:1, entonces V no es un
espacio vectorial porque si tomamos v = .1; 2/ V y el escalar = 2, por ejemplo, resulta que v = 2.1; 2/ =
.2; 4/ V debido a que la segunda componente del vector es negativa.
1. El concepto de espacio vectorial resulta muy importante porque nos permite dotar a un conjunto
con operaciones que producen resultados que nuevamente satisfacen las condiciones que denen al
conjunto.
2. Si V es un espacio vectorial (con las operaciones de adicin y multiplicacin por escalar), al vector
u v se le llama combinacin lineal de los vectores u & v.
4.3.2 Independencia lineal
Interpretamos a un vector como un cmulo de informacin, el concepto de independencia lineal nos dir
en cierto sentido si un vector aporta o no informacin adicional a la ya considerada por un conjunto de
vectores. Precisamos:
v Sea V un espacio vectorial y sean v
1
; : : : ; v
n
vectores del mismo. Diremos que estos vectores son
linealmente independientes si
c
1
v
1
c
2
v
2
c
n
v
n
=

0 = c
1
= c
2
= = c
n
= 0 (2)
v En caso contrario diremos que el conjunto de vectores
_
v
1
; : : : ; v
n
_
es linealmente dependiente.
1. Supongamos que el conjunto
_
v
1
; : : : ; v
n
_
es linealmente dependiente. Esto signica la ecuacin .2/
se cumple para al menos un c
i
= 0.
Para jar ideas, supongamos que c
1
= 0. Entonces de hallamos:
c
1
v
1
c
2
v
2
c
n
v
n
=

0 = v
1
=
c
2
c
1
v
2

c
n
c
1
v
n
Lo que signica que la informacin contenida en el vector v
1
se puede obtener de una combinacin
lineal del resto de los vectores, en otras palabras: la informacin de v
1
no aporta nada adicional a la
informacin que ya se conoca por medio del resto de vectores. Esto signica que podemos prescindir
de este vector.
2. La interpretacin que hemos dado en .2/ tiene una interpretacin grca interesante que podemos
visualizar con mucha facilidad en el espacio vectorial R
2
.
4.3 Ecuaciones diferenciales lineales de orden n 3
x
y
E v1
E v2
x
y
E v1
E v2
Los vectores v
1
y v
2
son Los vectores v
1
y v
2
son
linealmente independientes. linealmente dependientes.
Para utilizar estas ideas en el campo de las ecuaciones diferenciales, las ideas anteriores pueden y deben
ser extendidas al espacio de funciones, concretamente:
v Una coleccin de funciones f
1
; : : : ; f
n
denidas en un intervalo J se dice que es linealmente inde-
pendiente si:
c
1
f
1
.x/ c
2
f
2
.x/ c
n
f
n
.x/ = 0 para toda x J = c
1
= c
2
= = c
n
= 0:
v Si la combinacin lineal anterior es vlida para al menos un c
i
= 0, diremos que la coleccin es
linealmente dependiente
La anterior denicin conlleva el mismo sentido que se mencion anteriormente en las observaciones ante-
riores.
Para el caso particular (y muy til) de dos funciones, la denicin anterior equivale a lo siguiente:
{ f
1
; f
2
] es un conjunto linealmente dependiente de funciones si y slo si
f
1
.x/
f
2
.x/
= c, para toda x J y
alguna constante c.
Ejemplo 4.3.3 Es muy fcil sealar que las funciones
f
1
.x/ = e
x
cos.2x/ y f
2
.x/ = e
x
sen.2x/ conforman un conjunto linealmente independiente de funciones.
Ejemplo 4.3.4 Estudie el conjunto { f
1
.x/ = arcsen.x/; f
2
.x/ = arccos.x/; f
3
.x/ = 1 ].
H Como:
arcsen.x/ =

2
.1/ .1/ arccos.x/ = f
1
.x/ =

2
f
3
.x/ .1/f
2
.x/;
deducimos que la informacin" contenida en la funcin f
1
.x/ = arcsen.x/ puede recuperarse" (va una
combinacin lineal) de las otras dos funciones f
2
.x/ = arccos.x/ &f
3
.x/ = 1.
En consecuencia, el conjunto { f
1
.x/ = arcsen.x/; f
2
.x/ = arccos.x/; f
3
.x/ = 1 ] es linealmente dependiente.

v Sean { f
1
; f
2
] soluciones de la ecuacin diferencial lineal de segundo orden
y
00
a
1
.x/y
0
a
0
.x/y = 0
con a
1
.x/ &a
0
.x/ funciones continuas en un intervalo J. Entonces
1.

f
1
.x/ f
2
.x/
f
0
1
.x/ f
0
2
.x/

= 0 para x J y el conjunto { f
1
.x/; f
2
.x/ ] es linealmente independiente en este
caso.
o bien
2.
4 Ecuaciones diferenciales ordinarias
3.

f
1
.x/ f
2
.x/
f
0
1
.x/ f
0
2
.x/

= 0 para x J y en este caso, el conjunto { f

1
.x/; f
2
.x/ ] es linealmente depen-
diente.
H En efecto, tenemos que:
f
00
1
a
1
.x/f
0
1
a
0
.x/f
1
= 0
f
00
2
a
1
.x/f
0
2
a
0
.x/f
2
= 0
Si multiplicamos la primera de las ecuaciones anteriores por f
2
.x/, la segunda por f
1
.x/ y restamos
la primera de la segunda, hallamos:
f
2
f
00
1
a
1
.x/f
2
f
0
1
a
0
.x/f
1
f
2
= 0
f
1
f
00
2
a
1
.x/f
1
f
0
2
a
0
.x/f
1
f
2
= 0
= f
1
f
00
2
f
2
f
00
1
a
1
.x/f
1
f
0
2
f
2
f
0
1
= 0 (3)
La expresin f
1
f
0
2
f
2
f
0
1
resulta muy interesante e importante. Su estudio se atribuye al matemtico
polaco Hone Wronski. Si expresamos f
1
f
0
2
f
2
f
0
1
por medio de W.x/ = W.f
1
; f
2
/.x/, observamos
que:
W.f
1
; f
2
/.x/ =

f
1
.x/ f
2
.x/
f
0
1
.x/ f
0
2
.x/

Note adems que la ecuacin .3/ se convierte en

W
0
.x/ a
1
.x/W.x/ = 0:
sta es una ecuacin de primer orden que tiene como solucin:
W.x/ = Ae

R
a
1
.x/dx
Ya que la funcin exponencial nunca se anula, tenemos
1. Si A = 0 entonces W.x/ = 0 para todo x J.
2. Si A = 0, entonces W.x/ = 0 para toda x J.
Ahora, si consideramos la combinacin lineal:
c
1
f
1
c
2
f
2
= 0 = c
1
f
0
1
c
2
f
0
2
= 0
Si ahora consideramos el sistema
c
1
f
1
c
2
f
2
= 0
c
1
f
0
1
c
2
f
0
2
= 0 (donde c
1
& c
2
son las incgnitas,)
deducimos que en caso de que si W.x/ =

f
1
f
2
f
0
1
f
0
2

= 0, para algn x J, la solucin ser nicamente

la solucin trivial c
1
= c
2
= 0, de lo cual se desprende que el conjunto { f
1
.x/; f
2
.x/ ] es linealmente
independiente, mientras que si W.x/ = 0, se puede garantizar una solucin no trivial por lo cual
{ f
1
.x/; f
2
.x/ ] resultar un conjunto linealmente dependiente.

4.3.3 Bases de un espacio vectorial

Un espacio vectorial puede contener una innidad de elementos, y por ello resulta muy interesante que
existan espacios vectoriales que puedan ser descritos por slo un nmero nito de vectores los cuales con-
stituyen la sustancia de todo el espacio vectorial".
4.3 Ecuaciones diferenciales lineales de orden n 5
v Sea V un espacio vectorial, y sean v
1
; : : : ; v
n
, n vectores del mismo. Diremos que el conjunto
_
v
1
; : : : ; v
n
_
constituye una base del espacio vectorial si se cumplen las siguientes condiciones:
1. El conjunto
_
v
1
; : : : ; v
n
_
es un conjunto linealmente independiente (en otras palabras, cada vec-
tor aporta informacin que no puede obtenerse de los dems vectores a travs de una combi-
nacin lineal).
2. El conjunto
_
v
1
; : : : ; v
n
_
genera al espacio vectorial, es decir, todo vector del espacio vectorial
puede ser expresado mediante una combinacin lineal de los vectores v
1
; : : : ; v
n
, en smbolos:
w = c
1
v
1
c
2
v
2
c
n
v
n
, para cualquier w V
v Todas las bases tienen el mismo nmero de vectores. Aeste nmero comn se le conoce como dimen-
sin del espacio vectorial. La dimensin del espacio vectorial que se est considerando es n.
Ejemplo 4.3.5 Consideremos el espacio vectorial V = R
3
con las operaciones de adicin y multiplicacinpor escalar
usuales.
H
1. Los vectores v
1
= .1; 0; 1/; v
2
= .0; 1; 1/ son linealmente independientes (un argumento a favor de
nuestra armacin es que uno no es mltiplo del otro). Sin embargo, no generan al espacio vectorial.
Por ejemplo, el vector w = .1; 1; 1/ no puede ser escrito como una combinacin lineal de v
1
& v
2
. En
efecto, si w fuera una combinacin lineal de v
1
& v
2
, obtendramos:
w = c
1
v
1
c
2
v
2
= .1; 1; 1/ = c
1
.1; 0; 1/ c
2
.0; 1; 1/
= .1; 1; 1/ = .c
1
; 0; c
1
/ .0; c
2
; c
2
/ = .1; 1; 1/ = .c
1
; c
2
; c
1
c
2
/
= c
1
= 1; c
2
= 1; c
1
c
2
= 1 = 2 = 1; imposible.
2. Los vectores v
1
= .1; 0; 1/; v
2
= .0; 1; 1/; v
3
= .1; 1; 0/ & v
4
= .1; 1; 1/, no forman una base del espacio
vectorial. En este caso,
_
v
1
; : : : ; v
4
_
es un conjunto linealmente dependiente, en efecto:
v
4
=
1
2
v
1

1
2
v
2

1
2
v
3
3. Puede vericarse que los vectores v
1
= .1; 0; 1/; v
2
= .0; 1; 1/; v
3
= .1; 1; 0/ conforman una base del
espacio vectorial, por lo que su dimensin (lo cual era de esperarse) es 3.

4.3.4 Ecuaciones diferenciales de orden n

Una vez que hemos logrado los antecedentes anteriores aplicaremos la teora anterior a la discusin de
nuestro inters principal: las ecuaciones diferenciales lineales. Con el propsito de jar ideas centraremos
nuestra discusin para el caso n = 2, no sin antes sealar que la discusin ser igualmente vlida para el
caso general n. As consideraremos la ecuacin diferencial que tiene la forma:
A
2
.x/y
00
A
1
.x/y
0
A
0
.x/y = Q.x/ (4)
Consideraremos la ecuacin slo en el intervalo en el cual A
2
.x/ = 0. De esta manera, podemos dividir .4/
entre A
2
.x/ para obtener una ecuacin normalizada" de la forma:
y
00
a
1
.x/y
0
a
0
.x/y = q.x/ (5)
De aqu en adelante supondremos que a
1
.x/; a
0
.x/ &q.x/ son continuas en un intervalo J que adoptaremos
como el conjunto ms grande posible.
6 Ecuaciones diferenciales ordinarias
Ejemplo 4.3.6 Dada la ecuacin diferencial lineal
y
.4/
2xy
.3/
y
00
x
2
y
0
y = ln.x/;
tomaramos como intervalo J al intervalo .0; o/.
Tenemos el siguiente resultado fundamental:
v Teorema de existencia y unicidad. Consideremos la ecuacin:
y
00
a
1
.x/y
0
a
0
.x/y = q.x/; (6)
con a
1
.x/; a
0
.x/ & q.x/ funciones continuas en un intervalo J. Para x
0
J jo. Sean y
0
; y
1
cua-
lesquiera nmeros reales. Entonces la ecuacin diferencial tiene una nica solucin y = y.x/ que
satisface las condiciones
y.x
0
/ = y
0
y y
0
.x
0
/ = y
1
:
H La siguiente es una argumentacin ms bien heurstica de lo que se arma en el teorema. Primero,
recordemos que en el captulo 2 se encontr la solucin general de la ecuacin diferencial lineal:
y
0
a
1
.x/y = q.x/ (7)
En efecto, si = e
R
a
1
.x/dx
es el factor de integracin, entonces .7/ tiene la solucin general dada por:
y =
1
_
q.x/dx c
1
De la cual se desprende inmediatamente (slo haciendo lgebra) que existe una solucin nica que
satisface la condicin y.x
0
/ = y
0
.
Ahora bien, introduzcamos en la ecuacin .6/ el cambio de variable w.x/ = y
0
.x/, entonces la
ecuacin .6/ equivale al siguiente sistema de ecuaciones de primer orden:
_
w
0
a
1
.x/w a
0
.x/y.x/ = q.x/
y
0
= w
=
_
w
0
a
1
.x/w = q.x/ a
0
.x/y.x/
y
0
= w
De acuerdo a lo que comentamos arriba, ambas ecuaciones tienen una solucin nica que satisface
las condiciones y.x
0
/ = y
0
y w.x
0
/ = y
1
. El argumento que proporciona la solucin nica de la
ecuacin .6/ es ahora producida por la solucin general .y; w/ de este par de ecuaciones junto con las
condiciones iniciales que se determinan por simple lgebra.

Entramos ahora a los asuntos ms interesantes de este tema.

v La ecuacin diferencial y
00
a
1
.x/y
0
a
0
.x/y = q.x/ con q.x/ = 0 se dice que es no homognea.
v La ecuacin diferencial y
00
a
1
.x/y
0
a
0
.x/y = 0 se dice que es homognea. La homognea asociada
a la no homognea anterior. Es importante sealar que el sentido que se le da aqu a la palabra
homognea no es el mismo que el utilizado en el captulo 2.
Consideremos la ecuacin homognea asociada a .6/:
y
00
a
1
.x/y
0
a
0
.x/y = 0 (8)
Sea V el espacio de soluciones de .8/.
Notemos que y = 0 satisface la ecuacin .8/, es decir, la funcin y = 0 V .
Ahora, si y
1
&y
2
pertenecen a V , entonces:
y
00
1
a
1
.x/y
0
1
a
0
.x/y
1
= 0 &y
00
2
a
1
.x/y
0
2
a
0
.x/y
2
= 0
4.3 Ecuaciones diferenciales lineales de orden n 7
Si tomamos una combinacin lineal de estas dos soluciones, hallamos que:
y = c
1
y
1
c
2
y
2
= y
0
= c
1
y
0
1
c
2
y
0
2
& y
00
= c
1
y
00
1
c
2
y
00
2
Por lo tanto:
y
00
a
1
.x/y
0
a
0
.x/y = c
1
y
00
1
c
2
y
00
2
a
1
.x/c
1
y
0
1
c
2
y
0
2
a
0
.x/c
1
y
1
c
2
y
2

= c
1
y
00
1
a
1
.x/y
0
1
a
0
.x/y
1
c
2
y
00
2
a
1
.x/y
0
2
a
0
.x/y
2

= c
1
0 c
2
0 = 0
Esto signica que V es un espacio vectorial y por lo tanto es posible aplicar la teora que hemos discutido
previamente sobre el tema. Particularmente nos resulta de inters determinar la dimensin de este espacio,
la razn es clara: si logramos determinar la dimensin estaremos en la posibilidad de determinar el nmero
de funciones que se requieren para describir todo el espacio vectorial, es decir, de escribir cualquier solucin
de .8/ mediante una combinacin lineal de algunas soluciones (claro, si el espacio resulta de dimensin
nita). Sea y cualquier solucin de .8/ que satisfaga las condiciones:
y.x
0
/ = a & y
0
.x
0
/ = b (9)
Sabemos ya que c
1
y
1
c
2
y
2
es la solucin general de .8/, pero nos preguntamos si podremos encontrar
valores concretos de las constantes c
1
&c
2
tales que c
1
y
1
c
2
y
2
satisfaga .9/, es decir, tales que:
_
c
1
y
1
.x
0
/ c
2
y
2
.x
0
/ = a
c
1
y
0
1
.x
0
/ c
2
y
0
2
.x
0
/ = b
Esto ser cierto, si W.y
1
; y
2
/.x
0
/ =

y
1
.x
0
/ y
2
.x
0
/
y
0
1
.x
0
/ y
0
2
.x
0
/

= 0. Pero resulta que sta es precisamente la condicin

que hemos encontrado para independencia lineal. Luego, concluimos que si el conjunto { y
1
; y
2
] es lineal-
mente independiente, podremos satisfacer con la combinacin lineal c
1
y
1
c
2
y
2
las mismas condiciones.
Como consecuencia del teorema sobre existencia y unicidad enunciado anteriormente, concluimos que:
y = c
1
y
1
c
2
y
2
Un hallazgo formidable, porque esto signica que { y
1
; y
2
] constituye una base del espacio de soluciones de
la ecuacin diferencial lo que nos permitir expresar cualquier solucin en trminos de y
1
&y
2
. Resumimos
nuestras ideas en el siguiente teorema.
v Teorema sobre la base del espacio solucin de la ecuacin homognea asociada. Consideremos la
ecuacin diferencial homognea:
y
00
a
1
.x/y
0
a
0
.x/y = 0
v Sea V el conjunto de todas las funciones que son solucin de la ecuacin diferencial, entonces V es un
espacio vectorial.
v Suponga que y
1
&y
2
son soluciones linealmente independientes, entonces { y
1
; y
2
] constituye una
base de V por lo cual todo elemento de V , es decir, cualquier solucin de la ecuacin diferencial
puede ser escrita como una combinacin lineal de y
1
&y
2
, en smbolos: para cualquier
y V = y = c
1
y
1
c
2
y
2
:
1. El resultado anterior establece que la dimensin de V es 2.
2. Al conjunto { y
1
; y
2
] se le llama conjunto fundamental de soluciones de la ecuacin diferencial lineal
homognea.
8 Ecuaciones diferenciales ordinarias
Ejemplo 4.3.7 Verique que las funciones y
1
= e
x
cos.x/; y
2
= e
x
sen.x/ forman un conjunto fundamental de
soluciones de la ecuacin diferencial y
00
2y
0
5y = 0. Despus forme la solucin general de la ecuacin y
posteriormente halle la solucin particular que satisface las condiciones iniciales y.0/ = 0; y
0
.0/ = 1.
H En primer lugar vericaremos que y
1
&y
2
son soluciones de la ecuacin diferencial, como la veri-
cacin es similar, slo probaremos nuestra armacin para y
1
. Tenemos:
y
1
= e
x
cos.2x/ = y
0
1
= 2e
x
sen.2x/ e
x
cos.2x/ & y
00
1
= 3e
x
cos.2x/ 4e
x
sen.2x/
Sustituyendo en la ecuacin diferencial estos clculos, hallamos:
3e
x
cos.2x/ 4e
x
sen.2x/ 22e
x
sen.2x/ e
x
cos.2x/ 5e
x
cos.2x/ =
= 3e
x
cos.2x/ 4e
x
sen.2x/ 4e
x
sen.2x/ 2e
x
cos.2x/ 5e
x
cos.2x/ =
= 5e
x
cos.2x/ 5e
x
cos.2x/ 4e
x
sen.2x/ 4e
x
sen.2x/ = 0; para todo x R
En segundo lugar, requerimos mostrar que el conjunto { y
1
; y
2
] es un conjunto linealmente independiente.
Para ello, tenemos dos estrategias, la primera consiste en determinar la naturaleza del cociente
y
1
y
2
, ste es:
y
1
y
2
=
e
x
cos.2x/
e
x
sen.2x/
= cot.2x/ = c
De esto se deduce que { y
1
; y
2
] es un conjunto linealmente independiente y en consecuencia un conjunto
fundamental de soluciones de la ecuacin diferencial.
Sin embargo, con el propsito de ilustrar lo que discutimos sobre el wronskiano, mostraremos la indepen-
dencia de las funciones por medio de este concepto, para ello, consideramos:
W.x/ =

y
1
y
2
y
0
1
y
0
2

e
x
cos.2x/ e
x
sen.2x/
2e
x
sen.2x/ e
x
cos.2x/ 2e
x
cos.2x/ e
x
sen.2x/

Ahora bien, dado que y

1
&y
2
son soluciones de la ecuacin diferencial, el wronskiano de estas funciones
se anula idnticamente o bien es diferente de cero para todo x R, en consecuencia, no requerimos hacer
el clculo del anterior determinante para todo x, bastar tomar un valor particular; por ejemplo:
W.0/ =

1 0
1 2

= 2 = 0
De este resultado concluimos la independencia lineal del conjunto de soluciones { y
1
; y
2
], y en consecuencia
podemos decir que ste es un conjunto fundamental de soluciones para la ecuacin diferencial. As, con
base en lo discutido en la teora preliminar, la solucin general de la ecuacin diferencial est expresada
por:
y.x/ = c
1
e
x
cos.2x/ c
2
e
x
sen.2x/
Finalmente, para hallar la solucin particular, consideramos las condiciones iniciales, tenemos:
y.0/ = 0 = c
1
e
0
cos.0/ c
2
e
0
sen.0/ = 0 = c
1
= 0
De esta forma, la solucin se reduce a y.x/ = c
2
e
x
sen.2x/. Ahora, de y
0
.0/ = 1 deducimos que:
y
0
.x/ = c
2
.2e
x
cos.2x/ e
x
sen.2x// &y
0
.0/ = 1
= 1 = c
2
_
2e
0
cos.0/ e
0
sen.0/
_
= 2c
2
= c
2
=
1
2
Concluimos que la solucin buscada es: y.x/ =
1
2
e
x
sen.2x/.

4.3 Ecuaciones diferenciales lineales de orden n 9

Ejercicios 4.3.1
1. Mostrar que tanto { y
1
= e
x
; y
2
= e
x
] como { y
3
= sinh.x/; y
4
cosh.x/ ] son conjuntos fundamen-
tales de soluciones para la ecuacin diferencial y
00
y = 0.
2. a. Vericar que y
1
= x
2
& y
2
= x
1
son soluciones de la ecuacin diferencial x
2
y
00
2y = 0. La
combinacin lineal y = c
1
y
1
c
2
y
2
es solucin de la ecuacin?
b. Vericar que y
1
= 1 & y
2
= x
1
2
son soluciones de la ecuacin diferencial yy
00
.y
0
/
2
= 0 x > 0.
La combinacin lineal y = c
1
y
1
c
2
y
2
es solucin de la ecuacin (en general)?
c. S hay alguna diferencia entre a/ y b/, en qu radica esta diferencia?
3. a. Sea y
1
.x/ una solucin de la ecuacin diferencial y
00
p.x/y
0
q.x/y = f.x/. Es y
2
.x/ = cy
1
.x/
solucin de la ecuacin diferencial?
b. Si V representa el conjunto de todas las soluciones de la ecuacin diferencial, es V un espacio
vectorial?
4. Calcular el wronskiano de cada una de las siguientes funciones.
a. y
1
= sen.x/ &y
2
= cos.x/
b. y
1
= e
2x
sen.x/ &y
2
= e
2x
cos.x/
c. y
1
= sinh.3x/ &y
2
= 4.e
3x
e
3x
/
d. y
1
= x sen.2x/ & y
2
= sen.2x/
5. a. Extender la denicin de wronskiano para el caso de tres funciones.
b. Calcular el wronskiano de cada uno de los siguientes conjuntos de funciones.
i. y
1
= e
x
; y
2
= xe
x
& y
3
= x
2
e
x
ii. y
1
= e
3x
; y
2
= e
x
cos.2x/ &y
3
= e
x
sen.2x/
iii. y
1
= cos.x/; y
2
= sen.x/ & y
3
= 1
iv. y
1
= cos.x/ sen.x/; y
2
= cos.x/ sen.x/ &y
3
= cos.x/
En cada uno de los siguientes ejercicios, vericar que el conjunto dado es un conjunto fundamental
de soluciones de la ecuacin proporcionada, despus encontrar la solucin particular que satisface las
condiciones iniciales dadas.
6. y
00
y
0
2y = 0:
_
y
1
= e
x
; y
2
= e
2x
_
: y.0/ = 1; y
0
.0/ = 0
7. y
00
4y = 0: { y
1
= cos.2x/; y
2
= sen.2x/ ] : y.0/ = 1; y
0
.0/ = 4
8. y
000
2y
00
5y
0
= 0: { y
1
= 1; y
2
= e
x
cos.2x/; y
3
= e
x
sen.2x/ ] : y.0/ = 0; y
0
.0/ = 1; y
00
.0/ = 1
9. x
2
y
00
2xy
0
6y = 0:
_
y
1
= x
2
; y
2
= x
3
_
: y.2/ = 1; y
0
.2/ = 0
10. xy
00
y
0
= 0; x > 0: { y
1
= 1; y
2
= ln.x/ ] : y.1/ = 2; y
0
.1/ = 3
11. Eliminar las constantes c
1
y c
2
entre y; y
0
& y
00
, para encontrar la ecuacin diferencial que es satisfecha
por cada una de las siguientes familias de funciones.
a. y = c
1
e
x
c
2
e
x
b. y = .c
1
c
2
x/e
x
c. y = c
1
cosh.x/ c
2
sinh.x/
d. y = c
1
x c
2
x
2
12. Determinar la dependencia lineal de cada uno de los siguientes conjuntos de funciones.
a. { e
x
; e
x
; 2 ]
10 Ecuaciones diferenciales ordinarias
b. { arcsen.x/; arccos.x/; ]
c.
_
e
4x
; e
4x
; cosh.4x/
_
d.
_
e
x
cos.2x/; e
x
sen.2x/; e
4x
_
13. a. Suponga que y
1
es una solucin no nula de la ecuacin y
00
p.x/y
0
q.x/y = 0. Verique que si
y
2
es una segunda solucin tal que { y
1
; y
2
] es linealmente independiente, entonces
d
dx
_
y
2
y
1
_
=
W.y
1
; y
2
/
y
2
1
.
b. Verique que y
1
= x es una solucin de x
2
y
00
2xy
0
2y = 0; x > 0, use a/ para determinar la
solucin general de la ecuacin diferencial.
14. a. Muestre que y
1
= 3x
2
1 satisface la ecuacin .1 x
2
/y
00
2xy
0
6y = 0 y tiene un mnimo en
x = 0.
b. Verique ahora que cualquier otra solucin y
2
tal que { y
1
; y
2
] es linealmente independiente, no
puede tener mnimo en x = 0.
15. Demuestre que y = x
3
es una solucin de yy
00
= 6x
4
, pero que si c
2
= 1, entonces y = cx
3
no es
una solucin de la ecuacin diferencial. Por qu este hecho no contradice la teora discutida en esta
seccin?
16. Verique que y
1
= 1 & y
2
= x
1
2
son soluciones de yy
00
.y
0
/
2
= 0, pero que la suma y = y
1
y
2
no
es solucin. Por qu este hecho no contradice la teora discutida en esta seccin?
17. a. Determine si el conjunto de funciones
_
y
1
= sen.x
2
/; y
2
= cos.x
2
/
_
es linealmente dependiente
o independiente.
b. Calcule W.y
1
; y
2
/
c. Existe una ecuacin de la forma y
00
p.x/y
0
q.x/y = 0 (en la que p &q sean funciones
continuas) tal que y
1
& y
2
sean soluciones de la ecuacin diferencial?
En los siguientes ejercicios se proporciona una ecuacin diferencial no homognea, una solucin par-
ticular, con condiciones iniciales y un conjunto fundamental de soluciones para la ecuacin diferencial
homognea asociada, respectivamente. Encuentre la correspondiente solucin particular.
18. y
00
y = 3x: y
p
= 3x: y.0/ = 2; y
0
.0/ = 2: { cos.x/; sen.x/ ]
19. y
00
2y
0
3y = 6: y
p
= 2: y.0/ = 3; y
0
.0/ = 11:
_
e
x
; e
3x
_
20. y
00
4y = sinh.x/: y
p
=
1
3
sinh.x/: y.0/ = 0; y
0
.0/ = 1:
_
e
2x
; e
2x
_
Respuestas a los ejercicios 4:3:1
1.
2. a. S
b. No
c. En la linealidad; la ecuacin diferencial en a/ es lineal, la del inciso b/ no lo es.
3. No para ambas preguntas.
4. a. 1
b. e
4x
c. 0
d. sen
2
.2x/
4.3 Ecuaciones diferenciales lineales de orden n 11
5. a. W.y
1
; y
2
; y
3
/.x/ = det

y
1
y
2
y
3
y
0
1
y
0
2
y
0
3
y
00
1
y
00
2
y
00
3

b. i. 2e
3x
ii. 16e
5x
iii. 1
iv. 0
6. y =
2
3
e
x

1
3
e
2x
7. y = cos.2x/ 2 sen.2x/
8. y =
1
5
3 3e
x
cos.2x/ e
x
sen.2x/
9. y =
3
20
x
2

16
5
x
3
10. y = 2 3 ln.x/
11. a. y
00
y = 0
b. y
00
2y
0
y = 0
c. y
00
y = 0
d. x
2
y
00
2xy
0
2y = 0
12. a. Linaelmente independiente
b. linaelmente dependiente
c. linaelmente dependiente
d. linaelmente independiente
13. a.
b. y = c
1
x c
2
x
2
14.
15. Porque la ecuacin diferencial no es lineal.
16. Porque la ecuacin diferencial no es lineal.
17. a. El conjunto es linealmente independiente
b. W.y
1
; y
2
/ = 0
c. No
18. y = 2 cos.x/ 5 sen.x/ 3x
19. y = e
x
4e
3x
2
20. y =
2
3
sinh.2x/
1
3
sinh.x/