ED de Orden N Lineales Parte 1

211
Captulo 5
ED lineal de orden n
Introduccin
En el captulo 3 se expuso el mtodo para obtener la solucin general de la ED lineal de primer orden:
( ) ( ) ( ) x c y x b y x a = + (5.1)
El mtodo requiere que c b a , , sean funciones continuas en algn intervalo abierto I y ( ) 0 x a , I x .
Como ( ) 0 x a , I x puede escribir la ED lineal en forma normalizada:
( )
( )
( )
( ) x a
x c
y
x a
x b
y = +
E introduce los nombres ( )
( )
( ) x a
x b
x p = y ( )
( )
( ) x a
x c
x q = para escribirla como:
( ) ( ) x q y x p y = +
La continuidad de las funciones c b a , , garantiza que todas las integrales a continuacin existen.
Multiplique la ltima ED por el factor integrante
( )
dx x p
e y obtenga:
( ) ( )
( )
( )
( ) x q e y x p e y e
dx x p dx x p dx x p

=

( ) ( )
( )dx x q e y e d
dx x p dx x p

= |
.
|
\
|

Despus de integrar y despejar obtiene la siguiente solucin general de la ED lineal de primer orden:
( )
( )
( )
( )
|
.
|
\
|
+

=

C dx e x q e x y
dx x p dx x p
, donde C es un parmetro real.
Esta solucin general a grosso modo se escribe:
( ) ( ) ( ) x Cy x y x y
p 1
+ = (5.2)
donde ( )
( )
( )
( )

=

dx e x q e x y
dx x p dx x p
p
y ( )
( )
=
dx x p
e x y
1

Ahora centremos la atencin en la anatoma de esta solucin general.
Es fcil demostrar (se deja de ejercicio) que las funciones
1
y y
p
y tienen las siguientes propiedades:
212 ED lineal de orden n

1
y es solucin de la ED lineal ( ) ( ) 0 = + y x b y x a denominada homognea y
p
y es solucin de la ED lineal ( ) ( ) ( ) x c y x b y x a = + denominada no homognea
En este captulo resolvemos las ED lineales de orden n , n , que generalizan (5.1) y tienen la forma:
( )
( )
( )
( )
( ) ( ) ( ) x h y x a y x a y x a y x a
n
n
n
n
= + + + +

0 1
1
1
. (5.3)
donde h a a a a
n n
, , , , ,
0 1 1
.
son funciones continuas en algn intervalo abierto I y ( ) 0 x a

n
, I x
La solucin general de (5.3) es una generalizacin de la solucin (5.2) y tiene la forma:
( ) ( ) ( ) ( ) x y C x y C x y x y
n n p
+ + + = .
1 1
(5.4)
Donde
n
C C , ,
1
. son n parmetros reales, la funcin
p
y es solucin de (5.3) y las funciones
n
y y , ,
1
.
son soluciones de la siguiente ED denominada homognea o complementaria de (5.3):
( )
( )
( )
( )
( ) ( ) 0
0 1
1
1
= + + + +

y x a y x a y x a y x a
n
n
n
n
. (5.5)
El conjunto de soluciones { }
n
y y , ,
1
. deber tener una propiedad denominada independencia lineal.
Este captulo se dedica a la construccin de las n funciones
n
y y , ,
1
. linealmente independientes y de la
funcin
p
y . Observe que n es el orden de la ED y coincide con la cantidad de parmetros en la solucin (5.4)
y con la cantidad de funciones en { }
n
y y , ,
1
. .
En la seccin 5.1 se repasan algunos conceptos del lgebra elemental, se definen combinacin lineal,
independencia lineal y dependencia lineal de funciones.
En 5.2 definimos operador diferencial lineal para escribir la ED lineal (5.3) con operadores diferenciales, lo que
simplificar la construccin de las soluciones
n
y y , ,
1
. para el caso en que
0
, , a a
n
. son constantes.
En 5.3 definimos ED lineal y solucin de una ED lineal. Adems, enunciamos algunos teoremas sobre la forma
que tienen las soluciones de las ED, sin entrar en detalles de su construccin.
En 5.4 empezamos con los mtodos para obtener soluciones generales para ED lineales homogneas y en 5.5 y
5.6 los mtodos para obtener soluciones generales de ED no homogneas.
Para evitar repeticiones en este captulo suponemos que:
n , m son nmeros naturales diferentes de cero
I es un intervalo abierto y es el conjunto de definicin de la ED (5.3)
n
a a a , , ,
1 0
y h funciones reales y continuas en I
( ) 0 x a
n
para todo I x
( ) 0
/
x h en I , se lee ( ) x h no es idnticamente cero y significa que ( ) 0 x h para algn I x
Cada operador diferencial y ecuacin diferencial estn definidos en el intervalo abierto I
ED lineal de orden n 213
5.1. Sntesis de algunos conceptos de lgebra
El campo
1
1
2
= r
de los nmeros complejos
La ecuacin no tiene soluciones en el campo de los nmeros reales. Para dar solucin a esa y otras
ecuaciones que involucran cuadrados negativos se introduce el campo de los nmeros complejos , en el cual
se definen los nmeros i i , como las soluciones de 1
2
= r , es decir, ( ) 1
2
= i
Definicin 5.1
El conjunto de los nmeros complejos es:
{ } i b a / bi a 1 , ,
2
= + =
a se denomina parte real y b parte imaginaria del nmero complejo i b a + .
El conjugado del nmero complejo i b a z + = , b a, , se define como i b a z = y viceversa z z =
El nmero complejo i se llama unidad imaginaria.
El tamao o magnitud del nmero complejo i b a z + = , b a, , se define
2 2
b a z + =
Dos nmeros complejos son iguales si y solo si las respectivas partes reales son iguales y las respectivas partes
imaginarias son iguales, es decir: i d c i b a + = + con d c b a , , , si y solo si c a = y d b = .
La suma se define: ( ) ( ) ( ) ( ) i d b c a i d c i b a + + + = + + + : , para d c b a , , ,
Y la multiplicacin: ( )( ) ( ) ( ) i bc ad bd ac i d c i b a + + = + + :
Estas definiciones de suma y multiplicacin son similares a las operaciones usuales de nmeros reales. Observe
que en la suma de nmeros complejos se factoriza el nmero i . La multiplicacin de nmeros complejos se
puede justificar como sigue:
( )( ) i d c i b a + +
1
2
+ + + = i bd i bc i ad ac ( ) ( ) i bc ad bd ac + + =
Frmulas de Euler y de Ham De Moivre
Una identidad descubierta por Euler utilizada con frecuencia es b i b
i b
e sen cos + =
El argumento principal del nmero complejo i b a z + = es el ngulo | | , que cumple:

1
Este concepto ser definido adelante en esta seccin

+ =
+ =
sen
cos
2 2
2 2
b a b
b a a

La frmula de Ham De Moivre es ( ) ( ) ( )

sen cos i z z + = para todo
Ejemplos 5.1
1. Para escribir la divisin de nmeros complejos en la forma bi a + , se racionaliza el denominador como en:
( )( )
( )( )
( )
i
i
i
i i i
i i
i i
i
i
i
i
i
i
5
2
5
11
4 1
8 2 3
2 1
8 4 6 3
2 1 2 1
2 1 4 3
2 1
2 1
2 1
4 3
2 1
4 3
2
2
+ =
+
+ +
=
+
=
+
+
=
+
+

2. En los siguientes ejemplos aplicamos la identidad de Euler b i b
i b
e sen cos + =
i i
i
e = + =
2 2
2
sen cos

( )
( ) ( ) i k i k
i k
e = + + + =
+

2 sen 2 cos
2
2 2
2
, para cada k
( ) ( ) 1 2 sen 2 cos
2
= + =
k i k
i k
e , para cada k
Observe cmo la frmula de Euler simplifica algunas potencias de la forma
i b
e
3. En el campo la ecuacin de segundo grado 0 13 6
2
= + + r r tiene soluciones:
i
i
r 2 3
2
4 6
2
1 16 6
2
16 6
=

=

=

=
Y la ecuacin se escribe ( ) ( ) ( ) ( ) 0 2 3 2 3 = + i r i r
4. El argumento principal de i 1 es el | | , tal que
( )
( )

=
=
+ =
+ =
2
1
2
1
2 2
2 2
sen
cos
sen 1 1 1
cos 1 1 1
entonces
4
=
Ejercicios 1
1. Aplique la frmula de Euler a
( ) ( )t i b a
Be
t i b a
Ae

+
+
, B A, constantes arbitrarias, para comprobar
( ) ( )t i b a
Be
t i b a
Ae

+
+
( ) ( ) ( ) bt F bt E
at
e sen cos + = , ( )i B A F B A E = + = ,
2. Resolver 0
1
2
= + +
C
Rr Lr donde C R L , , son constantes positivas con la propiedad:
0 4
2
< L CR . R. Soluciones son i
L
R
C
L
L
R
r
2
4
2
2
2 , 1

=
Teorema 5.1 Propiedades de la suma y multiplicacin de nmeros complejos
Para cualesquiera w v u , , nmeros complejos las siguientes proposiciones son verdaderas:
Propiedades de la suma
1) + v u la suma de dos nmeros complejos es un nmero complejo
2) ( ) ( ) w v u w v u + + = + + por esta razn no hay ambigedad si solo escribe w v u + +
3) + = i 0 0 0 es el nico complejo con la propiedad u u u = + = + 0 0 para todo u
4) Para cada + = bi a u existe otro nmero complejo, llamado su inverso aditivo, denotado
bi a u = , depende de u y tiene la propiedad ( ) ( ) 0 = + = + u u u u
5) u v v u + = +
Propiedades de la multiplicacin
6) v u es decir, la multiplicacin de dos nmeros complejos es un nmero complejo
7) ( ) ( ) w v u w v u = por esta razn no hay ambigedad si solo escribe w v u
8) El nmero + = i 0 1 1 es el nico con la propiedad u u u = = 1 1 para todo u
9) Para cada u con 0 u existe otro nmero complejo, llamado su inverso multiplicativo, que
denotamos con
1
u o
u
1
y tiene la propiedad 1
1 1
= =

u u u u
Explcitamente, el inverso multiplicativo de i b a u + = se obtiene racionalizando como se muestra en:
i
b a
b
b a
a
b a
i b a
i b a
i b a
i b a u
2 2 2 2 2 2
1 1
+
+
=
+
+
=

10) u v v u =
Propiedad distributiva de la multiplicacin respecto a la suma
11) ( ) w u v u w v u + = +
Por esas 11 propiedades el conjunto de los nmeros Complejos junto con las operaciones suma y multiplicacin,
se clasifica dentro de las estructuras algebraicas conocidas como campos.
Conjunto de funciones con derivada de orden n continua
Para sustituir una funcin en una ED lineal de orden n debe calcular su derivada de orden n , esto requiere que
tal derivada exista. Adems de su existencia, se requiere que sea continua. Con esta perspectiva retomemos el
conjunto:

( ) { } f D f
n
y
n
I I I en continua es = : C
que denominramos de funciones de clase ( ) I
n
C o conjunto de funciones con n -sima derivada continua. El
conjunto de funciones continuas (con derivada cero continua) se denota:
( ) { } f f f y I I I en continua es = : /
0
C o simplemente ( ) I C
Ejemplo 5.2
La funcin f definida por ( ) x f ( ) 3
10
2 = x tiene derivadas:
( ) x Df ( ) ( )3
7
2
3
10
= = x x f
( ) x f D
2
( ) ( )3
4
2
9
70
= = x x f
( ) x f D
3
( ) ( )3
1
2
27
280
= = x x f
Tienen potencias de 2 x con exponente positivo y si escribe estas potencias con notacin radical, el ndice en
cada una es impar; mientras esto sucede la funcin y sus derivadas son continuas en cualquier intervalo abierto
I , an cuando I 2 . Lo anterior se escribe:
( ) I C f
( ) I
1
C f
( ) I
2
C f
( ) I
3
C f
Deriva otra vez y obtiene ( ) x f D
4
( ) 3
2
2
81
280
= x y si I 2 entonces ( ) I
4
C f
Escogiendo un intervalo I que no contenga el nmero 2, puede decir que ( ) I
4
C f
lgebra de funciones reales de clase ( ) I
n
C
Sean
m
f f f , , ,
2 1
. funciones con n -sima derivada continua en un intervalo abierto comn I . Con
frecuencia recurrimos a sus combinaciones lineales
m m
f c f c f c + + + .
2 2 1 1
donde
m
c c c , , ,
2 1
. son
constantes reales. El siguiente teorema enuncia las propiedades de las combinaciones lineales.
Para evitar repeticiones innecesarias, de aqu en adelante suponemos que las funciones sonde clase ( ) I
n
C .
Teorema 5.2 Propiedades de ( ) I
n
C con las operaciones usuales.
Para cualesquiera ( ) I
n
h g f C , , y cualesquiera constantes B A, son verdaderas las siguientes:
Propiedades de la suma
1) ( ) I
n
g f C +
2) ( ) ( ) h g f h g f + + = + + por esta razn puede escribir h g f + +
3) La funcin constante ( ) I
n
C 0 definida por ( ) 0 = x 0 , I x es la nica con la propiedad:
f f f = + = + 0 0
4) Existe otra funcin ( ) I
n
f C que llamaremos inversa aditiva de f con la propiedad:
( ) 0 = + f f
5) f g g f + = +
Propiedades de la multiplicacin de funciones:
6) ( ) I
n
fg C
7) ( ) ( ) gh f h fg = por esta razn no hay ambigedad en escribir fgh
8) La funcin constante ( ) I
n
C 1 definida por ( ) 1 = x 1 I x , es la nica con la propiedad:
f f f = = 1 1
9) gf fg =
Propiedad distributiva
10) ( ) fh fg h g f + = +
Propiedades de la multiplicacin de funciones por constantes reales (escalares)
11) ( ) I
n
f A C
12) ( ) g A f A g f A + = +
13) ( ) f B f A f B A + = +
14) ( ) ( ) f B A f B A =
15) f f = 1 donde 1 es la unidad escalar
Las propiedades 1 a 5 para la suma y 11 a 15 para multiplicacin de escalares por funciones, ubican al conjunto
( ) I
n
C con esas operaciones, dentro de las estructuras matemticas conocidas como espacios vectoriales.

Ejemplos 5.3
1. Si ( ) I
n
g f C , entonces (ver propiedad 4) ( ) I
n
g C , adems, la suma ( ) ( ) I
n
g f C +
(ver propiedad 1) y como esa suma se escribe como la resta g f concluye que ( ) I
n
g f C
2. Sean
m
C C , ,
1
. constantes y ( ) I
n
m
f f C , ,
1
. . Basado en la propiedad 11 puede afirmar que
( ) I
n
m m
f C f C C , ,
1 1
. . Y por la propiedad 1 puede concluir que ( ) I
n
m m
f C f C C + +.
1 1
.
3. Dar ejemplos de funciones (no polinomiales) que pertenezcan a ( )
n
C
Definicin 5.2 Combinacin lineal
Una combinacin lineal (c.l) de las funciones
m
f f , ,
1
. es cualquier funcin con la forma:
m m
f C f C + +.
1 1

donde
m
C C , ,
1
. son parmetros. El conjunto de las combinaciones lineales de
m
f f , ,
1
. se llama
conjunto generado por
m
f f , ,
1
. y se denota con:
m
f f , ,
1
.
De tal forma, que si f pertenece a
m
f f , ,
1
. entonces existen constantes
m
C C , ,
1
. tales que:
m m
f C f C f + + = .
1 1

Cada una de las funciones
m
f f , ,
1
. pertenece al
m
f f , ,
1
. porque:

m
f f f f 0 0 1
2 1 1
+ + + = .
.
m m
f f f f 1 0 0
2 1
+ + = .
Ejemplo 5.4
Cada polinomio de grado menor o igual que 2 tiene la forma c bx x a + +
2
para c b, a, constantes, entonces
x x 1 , ,
2
es el conjunto de polinomios de grado menor o igual que dos
El siguiente teorema enuncia el tipo de estructura que tiene el conjunto generado
m
f f , ,
1
. , con las
operaciones usuales de suma de funciones y multiplicacin de funcin por escalar.
Teorema 5.3
El conjunto
m
f f , ,
1
. con las operaciones usuales de suma de funciones y multiplicacin de funcin por
escalar es un espacio vectorial sobre el campo
El teorema 5.3 enuncia que el conjunto
m
f f , ,
1
. , con las operaciones usuales de suma de funciones y
multiplicacin de funcin por escalar, tiene las propiedades 1 a 5 y 11 a 15 del teorema 5.2 con
m
f f , ,
1
.
en lugar de ( ) I
n
C .
Ejemplos 5.5
1. La funcin nula denotada con 0 se define por ( ) 0 = x 0 para todo I x .
Como
m
f f f 0 0 0
2 1
+ + + = . 0 se puede afirmar que la funcin 0 pertenece a todos los conjuntos
generados por funciones, es decir,
m
f f , ,
1
. 0 para cualesquiera
m
f f , ,
1
.
2. Todas las combinaciones lineales de las funciones ( ) 1
1
= x f y ( ) x x f =
2
forman el espacio generado:
{ } + = b a b x a x , / , 1 . Algunos de sus elementos, adems de las funciones generadoras son:
( ) 0 = x 0
( ) 5 = x f
( ) x x f 2 3+ =
3. ( ) ( ) ( ) ( ) { } + + = C B A x C x B A x x , , / 2 sen 2 cos 2 sen , 2 cos , 1 est generado por:
( ) 1
1
= x f
( ) ( ) x x f 2 cos
2
=
( ) ( ) x x f 2 sen
3
= .
Apoyado en las identidades trigonomtricas:
( )
( ) ( ) x x
x
x 2 sen 0 2 cos 1
2
2 cos 1
cos
2
1
2
1 2
+ + =
+
=
( )
( ) ( ) x x
x
x 2 sen 0 2 cos 1
2
2 cos 1
sen
2
1
2
1 2
+ =
=
Puede afirmar que ( ) ( ) x x x 2 sen , 2 cos , 1 cos
2
y ( ) ( ) x x x 2 sen , 2 cos , 1 sen
2

Ejercicios 2
1. Mostrar que
2 2 2
, , 1 , , 1 x x x x x x + + = , es decir, que toda funcin con la forma
2
cx bx a + +
tambin se puede escribir en la forma ( ) ( )
2 2
1 x x x x + + + + y viceversa. Basta escribir , ,
en trminos de c b a , , y viceversa.
2. Trate de calcular , que cumplan ( ) ( )
2 2
1 4 3 2 x x x x x + + + = + + . Compare su resultado con
el del ejercicio anterior y explique (en trminos de conjuntos generadores) la no , existencia de .
3. Compruebe que
( ) 1
1
,
1
1
1
2 2
+
+ x
x
x x
pero
( ) 1
,
1
1
,
1
1
1
2 2 2
+ +
+ x
x
x
x
x x


Dependencia e independencia lineal
Los conceptos de independencia y dependencia lineal son excluyentes y fundamentales para construir
soluciones de una ecuacin diferencial lineal.
Un conjunto de funciones { }
m
f f , ,
1
. es linealmente independiente (l.i) o linealmente dependiente (l.d), pero
no ambas. La clasificacin se puede hacer despus de resolver para
m
C C , ,
1
. la ecuacin:
0
1 1
= + +
m m
f C f C . en el dominio I .
Empecemos por la solucin 0
1
= = =
m
C C . , obviamente estas constantes nulas satisfacen:
0
1 1
= + +
m m
f C f C .
Entonces cualquier conjunto { }
m
f f , ,
1
. tiene esa propiedad, la independencia o dependencia lineal esta
sujeta a si 0
1
= = =
m
C C . es la nica solucin o no.
Definicin 5.3 Conjunto linealmente independiente
Decimos que:
1) { }
m
f f , ,
1
. es linealmente dependiente si y solo si 0
1 1
= + +
m m
f C f C .
2

m
C C , ,
1
.
tiene otras soluciones
, adems, de la trivial 0
1
= = =
m
C C .
2) { }
m
f f , ,
1
. es linealmente independiente si y solo si no es linealmente dependiente, es decir, si y solo
0
1 1
= + +
m m
f C f C . tiene como nica solucin la trivial 0
1
= = =
m
C C .
Ejemplos 5.6
1. Sabremos si { } x x
2
, , 1 es l.i. o l.d. en despus de resolver 0 1
2
3 2 1
= + + x C x C C , x
Observe que x es una variable independiente (no estamos resolviendo para x ).
Una solucin de 0 1
2
3 2 1
= + + x C x C C es la trivial 0
3 2 1
= = = C C C y la independencia y dependencia
lineal depende de si es o no es la nica solucin. Como son tres incgnitas
3 2 1
, , C C C debemos producir tres
ecuaciones y hay dos mtodos para construirlas.
Uno es como algunos lectores experimentaron en el curso de integracin por fracciones parciales y dice as:
Si 0 1
2
3 2 1
= + + x C x C C es vlida para todo x
Entonces es vlida para tres valores cualesquiera de x , escojamos:

2
De aqu en adelante la funcin nula se denota con 0 y no con negrita y cursiva ( 0 )
0 = x 0 0 0 1
2
3 2 1
= + + C C C 0
1
= C
1 = x 0 1 1 1
2
3 2 1
= + + C C C 0
3 2
= + C C porque 0
1
= C
1 = x ( ) ( ) 0 1 1
2
3 2
= + C C 0
3 2
= + C C
Entonces 0
3 2 1
= = = C C C es la nica solucin.
Otro mtodo consiste en derivar ambos lados de 0 1
2
3 2 1
= + + x C x C C dos veces para obtener:
0 2
3 2
= + x C C
0 2
3
= C
Nuevamente obtiene 0
3 2 1
= = = C C C como la nica solucin. Concluye que { }
2
, , 1 x x es l.i.
2. La funcin 6 5
2
+ x x pertenece a x x
2
, , 1 . Agreguemos a este conjunto la funcin 6 5
2
+ x x
para obtener { } x x , x x 6 5 , , 1
2 2
+ y demostremos que resulta ser un conjunto es l.d.
Sean
4 3 2 1
, , , C C C C tales que ( ) 0 6 5 1
2
4
2
3 2 1
= + + + + x - x C x C x C C , x
Seleccione cualesquiera cuatro valores para x , por ejemplo: 0 = x 0 6
4 1
= + C C
1 = x 0 2
4 3 2 1
= + + + C C C C
2 = x 0 4 2
3 2 1
= + + C C C
3 = x 0 9 3
3 2 1
= + + C C C
Resuelva para concluir que este sistema de ecuaciones tiene infinidad de soluciones:
=
=
=
C
C C
C C
C C
4
4 3
4 2
4 1
5
6

Entonces 0
4 3 2 1
= = = = C C C C no es la nica solucin, por tanto, { } , 6 5 , , 1
2 2
+ x - x x x es l.d.
Este ejemplo se puede generalizar como sigue. Si
1 + m
f es una funcin diferente de las funciones
m
f f , ,
1
.
y
1 + m
f es combinacin lineal de
m
f f , ,
1
. entonces { }
1 1
, , ,
+ m m
f f f . es un conjunto l.d
3. Algunos conjuntos de funciones l.i. que aparecen con frecuencia son:
{ }
n
x x , , , 1 .
{ }
x n x x
e x xe e , , , .
{ } x x x x x
n
sen , , sen , sen .
{ } x e x x xe x e
x n x x
sen , , sen , sen .

4. Veamos que cualquier conjunto de funciones que contenga la funcin cero es l.d. Suponga que la funcin
cero es alguna de
m
f f , ,
1
. , digamos 0 =
k
f , para algn { } m k , , 1. . En tal caso puede escribir
combinaciones lineales nulas sin que todos los coeficiente sean cero, por ejemplo:
0 0 0 5 0 0
0
1
0
1 1
= + + + + + +
+
_
. .
m k k k
f f f f f entonces { }
m k k
f f f f , , , 0 , , ,
1 1 1
. .
+
es l.d
Este ejemplo es un bosquejo de la demostracin del siguiente resultado.
Teorema 5.4
Si la funcin nula pertenece a un conjunto de funciones { }
m
f f , ,
1
. entonces { }
m
f f , ,
1
. es l.d
Otro resultado inmediato del lgebra elemental es el siguiente.
Teorema 5.5
El conjunto de funciones { }
m
f f , ,
1
. es l.d. si y solo si al menos una funcin de ese conjunto se puede
escribir como combinacin lineal del resto.
Ejemplo 5.7
El conjunto { } x x 4 5 , , 1 + es l.d. Por ejemplo ( ) 0 4 5 1 4 1 5 = + + x x es una combinacin lineal nula
sin que los coeficientes sean todos cero. Adems, se puede despejar ( ) x x + = + 4 1 5 4 5 , esto es una
muestra de lo que afirma el teorema 5.5.
Suponga que el conjunto { }
m
f f , ,
1
. es l.d., si le quita las funciones que se escriben como combinacin lineal
del resto y suponiendo que no queda vaco, resulta un conjunto de funciones l.i.
Ejemplo 5.8
El conjunto { } / c b a c bx ax V + + = , ,
2
contiene todas las combinaciones lineales de las funciones
2
, , 1 x x . Entonces V contiene las funciones polinomiales de grado menor o igual que 2, es decir, una funcin
genrica de V tiene la forma cannica
3
( ) c bx ax x f + + =
2
. Entre la infinidad de funciones que tiene V
estn las generadoras ( ) 1
1
= x f , ( ) x x f =
2
, ( )
2
3
x x f = y otras como ( ) 5 3 2
2
+ = x x x g
Ejemplo 5.9
{ } x x 1 , ,
2
es l.i. pero el conjunto { } x x x 1 , 1 , ,
2
+ es l.d. porque la funcin 1 + x es combinacin lineal de
las otras. Entonces x x x x x 1 , 1 , , 1 , ,
2 2
+ =

3
usamos esta palabra como sinnimo de ejemplar o tpica
Definicin 5.4 Coordenadas de una funcin en un conjunto l.i
Sea { }
m
f f , ,
1
. un conjunto l.i. de funciones y f una funcin perteneciente al generado
m
f f , ,
1
. .
Por definicin de generador, existen constantes
m
C C , ,
1
. tales que
m m
f C f C f + + = .
1 1
.
Las constantes
m
C C , ,
1
. se llaman coordenadas de f en el conjunto l.i { }
m
f f , ,
1
.
El siguiente resultado ser utilizado con frecuencia.
Teorema 5.6
Las coordenadas de una funcin en el conjunto l.i { }
m
f f , ,
1
. son nicas.
Ejemplo 5.10
El conjunto { } x x
2
, , 1 es l.i. La funcin ( ) x x f 4 3+ = se escribe ( )
2
0 4 1 3 x x x f + + = entonces las
coordenadas de ( ) x f en { } x x
2
, , 1 son 0 , 4 , 3
Ejemplo 5.11
Las coordenadas de la funcin x 4 3+ en el conjunto l.i x x
2
1 , 1 , 1 + + , son las soluciones c b a , , de:
( ) ( )
2
1 1 1 4 3 x c x b a x + + + + = +
Agrupe trminos semejantes (los que multiplican a 1, los que multiplican a x y los que multiplican a
2
x ,
respectivamente) y obtenga:
( )
2
1 4 3 cx bx c b a x + + + + = +
El conjunto { }
2
, , 1 x x es l.i. Adems, x 4 3+ y ( )
2
1 cx bx c b a + + + + representan la misma funcin, por
el teorema 5.6, las coordenadas coincidir (las coordenadas de x 4 3+ en { }
2
, , 1 x x son 0 , 4 , 3 ), es decir:
=
=
= + +
0
4
3
c
b
c b a
entonces
=
=
=
C
B
A
0
4
1

Ejercicios 3
1. Utilice que x x
2 2
cos 1 sen = , x para justificar que { } x x ,
2 2
cos , sen 1 es l.d.
2. Hallar las coordenadas de la funcin
2
6 11 9 x x + + en el conjunto l.i { } x x x ,
2
, 1 1 + + R. 6 , 5 , 4
3. Utilice que { } x x ,
2
, 1 son l.i. para hallar c b a , , tales que
( ) 1 1
2 6 5
2 2
2
+ +
+
+ =
+ +
+ +
x x
c bx
x
a
x x x
x x

4. Repasar los conceptos: combinacin lineal, conjunto l.i. y conjunto l.d. de funciones.

5.2. Operador diferencial ordinario (OD)
En esta seccin se introduce el concepto de operador diferencial (OD) y se utiliza para simplificar el lgebra con
ED lineales. Asumimos que todos los OD en esta obra son ordinarios y lineales.
Como el lector recordar, los OD bsicos
n
D D I , , , . son:
I D =
0
donde I es el operador identidad definido por ( ) ( ) f f I f D = =
0

dx
d
D =
4
|
.
|
\
|
= =
dx
d
dx
d
dx
d
D
2
2
2

.
|
|
.
|
\
|
= =

1
1
n
n
n
n
n
dx
d
dx
d
dx
d
D , etctera.
D se aplica a funciones f y Df es una funcin que se aplica a nmeros x y ( ) x Df es un nmero real.
Ejemplo 5.12
Multiplique las funciones ( ) ( ) ( ) ( ) x x a x a x a x x a = = = =
0 1 2
2
3
; 4 ; 0 ; por los respectivos OD bsicos
I D D D , , ,
2 3
y sume los resultados para obtener la combinacin lineal xI D D x + + 4
3 2
, este OD se
puede escribir x D D x + + 4
3 2
. La notacin f D
m
se interpreta como aplicar el operador derivada de orden
m a la funcin f
Ejemplo 5.13
Aplique el OD x D D x + + 4
3 2
a la funcin c bx ax y + + =
2
para obtener:
( )( ) y x D D x + + 4
3 2
( )( ) c bx ax x D D x + + + + =
2 3 2
4
( ) ( ) ( ) c bx ax x c bx ax D c bx ax D x + + + + + + + + =
2 2 2 3 2
4
( ) ( ) ( ) c bx ax x c bx ax D c bx ax D x
b ax
+ + + + + + + + =
+
2
2
2
0
2 3 2
4
_ _

( ) ( ) cx bx ax b ax x + + + + + =
2 3 2
2 4 0

4
Asumimos que la variable independiente es x ; en algunas aplicaciones utilizamos t
( ) b x a c bx ax 4 8
2 3
+ + + + =
Ejemplo 5.14
El OD 6 5
2
+ + D D tiene coeficientes constantes 1, 5 y 6. Es fundamental tener presente que las
apreciaciones en este ejemplo no son vlidas para OD con coeficientes variables. Para OD con coeficientes
constantes (en contraste con los OD de coeficientes variables) el orden de los factores no altera el OD,
explcitamente:
( )( ) ( )( ) 2 3 3 2 6 5
2
+ + = + + = + + D D D D D D
Para comprobarlo debemos recurrir a la aplicacin de cada uno de los tres OD a una funcin genrica y :
Primero: ( )y D D 6 5
2
+ + y Dy y D 6 5
2
+ + =
Ahora: ( )( )y D D 3 2 + + ( )( ) y Dy D 3 2 + + =
y Dy Dy y D 6 2 3
2
+ + + = , note que ( ) Dy y D 3 3 =
y Dy y D 6 5
2
+ + =
Finalmente ( )( )y D D 2 3 + + ( )( ) y Dy D 2 3 + + =
y Dy Dy y D 6 3 2
2
+ + + = , nuevamente utilizamos ( ) Dy y D 2 2 =
y Dy y D 6 5
2
+ + =
Se observa que para toda funcin y los resultados obtenidos son iguales, de esa forma quedan comprobadas
las identidades ( )( ) ( )( ) 2 3 3 2 6 5
2
+ + = + + = + + D D D D D D
Ejemplo 5.15
En contraste con los OD de coeficientes constantes, el orden de los factores en un OD de coeficientes variables
si altera el producto y por ejemplo ( )( ) ( )( ) 1 2 2 1 + + + + xD D D xD como se muestra a continuacin.
Esta es la razn fundamental por la cual la teora de ED se divide en: ED con coeficientes constantes y ED con
coeficientes variables. Para comprobar lo anterior, toma una funcin genrica y calcula:
( )( )( ) y D xD 2 1 + + ( )( ) y Dy xD 2 1 + + =
( ) y Dy y xD y xD 2 2
2
+ + + =
y Dy xDy y xD 2 2
2
+ + + = , observe que ( ) Dy y D 2 2 =
( ) y Dy x y xD 2 1 2
2
+ + + =
Ahora permute los factores y calcule:
( )( )( ) y xD D 1 2 + + ( )( ) y xDy D + + = 2
( ) y xDy Dy xDy D 2 2 + + + =
Calcule la derivada de la multiplicacin: ( ) xDy D y obtenga:

( )
y xDy Dy y xD Dy
xDy D
2 2 1
2
+ + + +
_

( ) y Dy x y xD 2 2 2
2
+ + + =
Por la diferencia entre los resultados anteriores se concluye que ( )( ) ( )( ) 1 2 2 1 + + + + xD D D xD
Definicin 5.5 Operador diferencial (OD)
Un operador diferencial de orden n en I con coeficientes
0 1 1
, , , , a a a a
n n
.
es la combinacin:
( ) ( ) ( ) ( )I x a D x a D x a D x a
n
n
n
n 0 1
1
1
+ + + +

.
donde se supone que ( ) 0 x a
n
para todo I x . Omitiendo el argumento x , el OD se escribe:
0 1
1
1
a D a D a D a
n
n
n
n
+ + + +

.
este se puede escribir as
=
n
m
m
m
D a
0

La funcin ( ) x a
n
se denomina coeficiente principal del OD.
El OD aplicado a una funcin f es:
( )( ) f a D a D a
n
n 0 1
+ + +. f a Df a f D a
n
n 0 1
+ + + = .
Con sumatoria se escribe ( ) f D a
n
m
m
m
|
|
.
|
\
|
=0
( )
=
=
n
m
m
m
f D a
0

Notas
N1 Utilizaremos nombres cortos como
n
L o L para denotar un OD.
N2 Asumimos que un OD de orden n est definido en algn intervalo abierto I y se aplica a funciones de
( ) I
n
C . Adems, que
n
a a a , , ,
1 0
y h son funciones reales y continuas en I .
N3 Debe ser precavido cuando multiplica una funcin a la derecha de un OD para no confundir
multiplicacin del operador por una funcin con la aplicacin del operador a una funcin.
Por ejemplo:
3 3
x D D x = significa multiplicar la funcin
3
x por el operador D, el resultado es otro OD.
( )
2 3
3x x D = significa aplicar el operador D a la funcin
3
x , el resultado es una funcin.
Para evitar confusiones escribiremos las funciones que multiplican al lado izquierdo del OD y en el otro
caso las escribimos a la derecha.
N4 El OD nulo denotado con 0 se define por la identidad ( ) 0 0 = f , ( ) I
n
f C y no tiene orden.
Ejemplo 5.16
Los coeficientes del OD x D D e
x
+ + 4
2
en son las funciones:
( )
( )
( )
=
=
=
x x a
x a
e x a
x
0
1
2
4
estas son continuas en . El OD tiene orden 2 y su coeficiente principal es ( ) 0
2
=
x
e x a x
Ejemplo 5.17
El orden de un OD depende del dominio de definicin I de los coeficientes. En efecto, considere el OD:
( ) D D x x + +
2
en un intervalo abierto I .
Si I es un intervalo de nmeros negativos entonces x x = y el OD se escribe:
( ) D D D x x = +
2
, este OD tiene orden 1.
Si I es un intervalo de nmeros positivos entonces x x = y el OD se escribe:
( ) D xD D D x x + = + +
2 2
2 , este OD tiene orden 2
Ejemplo 5.18
( ) 7 1
2
+ + xD D x tiene coeficiente principal ( ) 1
2
= x x a y ( ) 0
2
x a para todo x en cualquier
intervalo I que no contenga al uno
Definicin 5.6 Igualdad de OD
Dos OD M L, son iguales y escribimos M L = si y solamente si tienen el mismo orden y ( ) ( ) f M f L =
para toda funcin f .
Ejemplo 5.19
En ejemplo 5.14 se comprob que los OD ( )( ) 2 3 + + = D D L y ( )( ) 3 2 + + = D D M son iguales
Definicin 5.7 Clasificacin de los OD segn los coeficientes
Si todos los coeficientes de un OD son constantes, entonces el OD se llama OD con coeficientes constantes.
Si alguno de los coeficientes de un OD es variable, entonces el OD se llama OD con coeficientes variables.
Ejercicios 4
Aplique el OD a la funcin dada
1. ( )( )
x
e D D
5 2
6 + + R.
x
e
5
36
2. ( )( ) x xD D sen 5
2 3
R. x x x sen cos 5 +
3. ( )( ) x xD D x sen 5 2
2 3
+ + R. ( ) x x x x cos 2 sen 5
3
+

Ejemplo 5.20
Calcular ( )
|
|
|
.
|
\
|

+
a
x x
t
dt e D D
3
2
2
con a constante.
La integral de
2
t
e no se escribe en trminos de funciones elementales; sin embargo, no necesita integrar para
resolver el problema. Necesitamos del segundo teorema fundamental del clculo integral que enunciamos a
continuacin, sin entrar en detalles sobre dominios de definicin:

Teorema fundamental del clculo integral ( )
( )
( ) ( ) ( ) x g x g f dt t f
dx
d
x g
a
=
|
|
.
|
\
|
, a constante
Con este teorema en mente calculemos:
( )
|
|
.
|
\
|

+
a
x x
t
dt e D D
3
2
2
( )
|
|
|
.
|
\
|
=

+x x
a
t
dt e D D
3
2
2
, as el lmite inferior es constante.
( )
|
|
|
.
|
\
|
=

+x x
a
t
dt e D D
3
2
2

|
|
|
.
|
\
|
|
|
|
.
|
\
|
=

+ + x x
a
t
x x
a
t
dt e D dt e D
3
2
2
3
2

( )
( )
( )
( )|
.
|
\
|
+ + =
+ +
1 3 1 3
2 2
2
3
2
3
x e D x e
x x x x

( )
( ) ( )
( )( )( )
( )
|
.
|
\
|
+ + + + + =
+ + +
x e x x x x e e x
x x x x x x
6 1 3 1 3 2 1 3
2
3
2
3
2
3
2 2 3 2

( )
( )( )
|
.
|
\
|
+ + + =
+
x x x x x e
x x
6 1 3 2 1 3
2
2 3 2
2
3

Ejemplo 5.21 Tringulo de Pascal
Considere el siguiente arreglo triangular de nmeros llamado tringulo de Pascal:
. . . .
1 3 3 1
1 2 1
1 1
1

Este muestra los coeficientes en el desarrollo de la potencia ( )
n
b a + , para n . Tambin los coeficientes
en el desarrollo de la derivada de una multiplicacin de funciones: ( ) ( ) ( ) x G x F D
n
.
Por ejemplo,
La primera fila del tringulo tiene los coeficientes del desarrollo: ( ) 1
0
= + b a
La segunda fila del tringulo tiene los coeficientes del desarrollo: ( ) b a b a 1 1
1
+ = +
La tercera fila del tringulo tiene los coeficientes del desarrollo: ( )
2 2 2
1 2 1 b ab a b a + + = +
La cuarta fila del tringulo tiene los coeficientes del desarrollo: ( )
3 2 2 3 3
1 3 3 1 b ab b a a b a + + + = +
Las reglas para construir el tringulo de Pascal son tres:
La fila f tiene f columnas, f
La fila f empieza y termina con un 1
Cada entrada 1 E de la fila f y columna c es la suma B A E + = donde:
A es el nmero que est arriba de E en la fila 1 f y la misma columna c .
B es el nmero que est arriba de E a la par y a la izquierda de A, en la fila 1 f y columna 1 c
Esta regla se muestra en la siguiente figura:

Para escribir la relacin entre las entradas del tringulo de Pascal necesitamos definir el factorial y coeficiente
binomial.
El factorial de un nmero entero no negativo n se denota ! n y se define en forma recursiva como:
1 ! 0 =
1 ! 1 =
n n 2 1 ! = para 2 n
Sean f y c enteros no negativos con f c . El coeficiente binomial de f en c se denota con
|
.
|
\
|
c
f
y
define como:
( )! !
!
c f c
f
c
f

=
|
.
|
\
|

Ejemplos
( )
1
! 0 0 ! 0
! 0
0
0
=
=
|
.
|
\
|

( )
1
! 0 2 ! 0
! 2
0
2
=
=
|
.
|
\
|
,
( )
2
! 1 2 ! 1
! 2
1
2
=
=
|
.
|
\
|
,
( )
1
! 2 2 ! 2
! 2
2
2
=
=
|
.
|
\
|

( )
1
! 0 3 ! 0
! 3
0
3
=
=
|
.
|
\
|
,
( )
3
! 1 3 ! 1
! 3
1
3
=
=
|
.
|
\
|
,
( )
3
! 2 3 ! 2
! 3
2
3
=
=
|
.
|
\
|
,
( )
1
! 3 3 ! 3
! 3
3
3
=
=
|
.
|
\
|


Con los coeficientes binomiales el tringulo de Pascal se escribe:
. . . .
|
.
|
\
|
|
.
|
\
|
|
.
|
\
|
|
.
|
\
|
|
.
|
\
|
|
.
|
\
|
|
.
|
\
|
|
.
|
\
|
|
.
|
\
|
|
.
|
\
|
3
3
2
3
1
3
0
3
2
2
1
2
0
2
1
1
0
1
0
0

La tercera regla para construir el tringulo de Pascal en trminos de coeficientes binomiales es:
|
.
|
\
|
+
|
.
|
\
|

=
|
.
|
\
|
1
1 1
c
f
c
f
c
f

Esta identidad es vlida para las entradas
|
.
|
\
|
c
f
diferentes de 1 en el tringulo de Pascal.
Vamos a mostrar la aplicacin del tringulo de Pascal a las derivadas ( ) g f D , ( ) g f D
2
, ( ) g f D
3
.
( ) g f D g f g f + = g f g f + = 1 1
g f g f
|
.
|
\
|
+
|
.
|
\
|
=
1
1
0
1

( ) g f D
2
( ) ( ) g f D D = ( ) g f g f D + =
( ) ( ) g f g f g f g f + + + =
g f g f g f + + = 1 2 1
g f g f g f
|
.
|
\
|
+
|
.
|
\
|
+
|
.
|
\
|
=
2
2
1
2
0
2

Los coeficientes en los desarrollos anteriores son los del tringulo de Pascal, se puede demostrar que:
( ) g f D
3
g f g f g f g f
|
.
|
\
|
+
|
.
|
\
|
+
|
.
|
\
|
+
|
.
|
\
|
=
3
3
2
3
1
3
0
3

Y en general se puede demostrar la siguiente frmula de Leibniz:
( ) g f D
n

( ) ( )
=

|
.
|
\
|
=
n
k
k k n
g f
k
n
0

Por ejemplo, apliquemos la frmula de Leibniz ( ) g f D
3
g f g f g f g f + + + = 1 3 3 1 en:
( ) ( ) x e D
x
5 sen
2 3

( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) x D e x D e x D e x e D
x x x x
D D 5 sen 5 sen 3 5 sen 3 5 sen
3 2 2 2 2 2 2 3
+ + + =
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) x e x e x e x e
x x x x
5 cos 125 5 sen 25 2 3 5 cos 5 4 3 5 sen 8
2 2 2 2
+ + + =

( ) ( ) ( ) x x e
x
5 cos 65 5 sen 142
2
=

Definicin 5.8 Multiplicacin de OD
Considere los OD:
=
= + + + =
n
k
k
k
n
n
D a a D a D a L
0
0 1
. de orden n en un intervalo abierto
1
I y
=
= + + + =
m
k
k
k
m
m
D b b D b D b M
0
0 1
. de orden m en un intervalo abierto
2
I
La multiplicacin LM es un operador diferencial de orden m n + en el intervalo
2 1
I I I = definido por:
( )( ) ( ) ( ) f M L f LM = para cada funcin f de clase ( ) I
m n+
C .
La notacin ( ) ( ) f M L indica aplicar el OD M a f y despus el OD L al resultado ( ) f M .
Ejemplos 5.22
1. 2 D y 3 D son OD con coeficientes constantes. A continuacin se verifica que ( )( ) 3 2 D D es
igual a ( )( ) 2 3 D D e igual a 6 5
2
+ D D . Para esto toma una funcin genrica f y calcula:

( )( ) f D D 3 2 ( )( ) f Df D 3 2 =
( ) ( ) f Df f Df D 3 2 3 =
( ) ( ) f Df f D Df D 6 2 3 + =
f Df Df f D 6 2 3
2
+ =
f Df f D 6 5
2
+ = ( )f D D 6 5
2
+ =
Por otro lado
( )( ) f D D 2 3 ( )( ) f Df D 2 3 =
( ) ( ) f Df f Df D 2 3 2 =
( ) ( ) f Df f D Df D 6 3 2 + =
f Df Df f D 6 3 2
2
+ =
f Df f D 6 5
2
+ = ( )f D D 6 5
2
+ =

2. Calcule ( )D xD 2 y ( ) 2 xD D y compruebe que ML LM .
La no conmutatividad se debe a que al menos uno de los OD tiene coeficientes variables. En efecto, para una
funcin genrica f calcule:
( ) ( ) f D xD 2 ( )Df xD 2 =
( ) Df Df xD 2 =
Df f xD 2
2
=
Ahora ( ) ( ) f xD D 2 ( ) f xDf D 2 =
( ) ( ) f D xDf D 2 = , observe que ( ) xDf D es derivada de una multiplicacin
Df f xD Df 2
2
+ =
Df f xD =
2

Concluye que ( ) ( ) 2 2 xD D D xD
Linealidad de los OD
El lector est familiarizado con la linealidad de los OD bsicos .
2
, , D D I y linealidad del operador integral,
que ilustramos en los siguientes ejemplo.
Ejemplos 5.23
1. Los operadores derivada ordinaria de orden n ,
n
D tiene la siguiente propiedad de linealidad:
( ) ( ) ( ) g D f cD g cf D
n n n
+ = + para todas las funciones ( ) I
n
g f C , y toda constante c
Esta propiedad es equivalente a las dos propiedades:
( ) ( ) ( ) g D f D g f D
n n n
+ = +
( ) ( ) f cD cf D
n n
=
2. La integral definida en el intervalo | | b a, es lineal debido a las siguientes propiedades:
( )

+ = +
b
a
b
a
b
a
g f g f

=
b
a
b
a
f c cf
Para todas las funciones g f , integrables en | | b a, y toda constante c
Un OD
0 1
a D a D a
n
n
+ + +. hereda la linealidad de los OD bsicos
n
D D I , , , . como se enuncia en el
siguiente teorema.
Teorema 5.7 Linealidad de un OD (con coeficientes constantes o variables)
Todo OD es lineal. Formalmente si
0 1
a D a D a L
n
n
+ + + = . entonces se tienen las propiedades:
( ) ( ) ( ) g L f L g f L + = +
( ) ( ) f cL cf L =
para todas las funciones ( ) I
n
g f C , y toda constante c
Ejemplo 5.24
En el siguiente desarrollo se aplica la linealidad del OD:
( )( )
4 2 2 2 3
5 2 x e x D x D x
x
+ + +
( )( ) ( )( )
4 2 2 3 2 2 2 3
5 2 x x D x D x e x D x D x
x
+ + + + + =
( )( ) ( )( )
4 2 2 3 2 2 2 3
5 2 x x D x D x e x D x D x
x
+ + + + + =
( ) ( ) ( ) ( ) ( ) ( )
5 4 2 4 2 3 2 2 2 2 2 3
5 2 x x D x x D x xe e D x e D x
x x x
+ + + + + =
( ) ( )
5 3 2 2 3 2 2 2 2 3
4 12 5 2 4 2 x x x x x xe e x e x
x x x
+ + + + + =
( )
5 2 2
85 1 2 4 2 x x x xe
x
+ + + =
Ejercicios 5 Para b a, , constantes, calcule
1. ( )( )
x
ae D D
2 2
3 4 5 + R.
x
Ae
2
, a A 15 =
2. ( ) ( ) ( ) ( ) bx bx a D D cos sen 2 3 4
2
+ + + R. ( ) ( ) bx B bx A cos sen + .
(exprese B A, en trminos de b a, , ).
Ejemplo 5.25
Aplique linealidad para calcular ( ) ( ) ( ) x p D D 2 3 4
2
+ + donde p es una funcin polinomial. Una implicacin
de aplicar un OD con coeficientes constantes a un polinomio de grado m o menor, es que el resultante tambin
es un polinomio de grado m o menor.
Sea ( )

=
=
m
j
j
j
x x p
0
una funcin polinomial, en el cual los coeficientes s
j
' son constantes. Calcule:
( ) ( ) ( ) x p D D 2 3 4
2
+ + ( )
|
|
.
|
\
|
+ + =

=
m
j
j
j
x D D
0
2
2 3 4

( )( )
j
m
j
j
x D D 2 3 4
2
0
+ + =

=
, por linealidad de los OD.
( ) ( )
j
m
j
j
j
m
j
j
j
m
j
j
x x D x D

= = =
+ + =
0 0
2
0
2 3 4
( )

= =

=

+ + =
m
j
j
j
m
j
j
j
m
j
j
j
x jx x j j
0 1
1
2
2
2 3 1 4
El ndice de la primera sumatoria inicia en 2 = j porque ( ) 1 j j se hace cero para 0 = j y 1 = j .
El ndice de la segunda sumatoria inicia en 1 = j porque j se hace cero para 0 = j .
Para homologar las potencias
2 j
x ,
1 j
x y
j
x , cambie j por 2 + j en la primera y j por 1 + j en la
segunda para obtener:
( )( ) ( )

= = +
+
+
= +
+
+
+ + + + +
m
j
j
j
m
j
j
j
m
j
j
j
x x j x j j
0 1 1
1 1
1
2 2
2 2
2
2 1 3 1 2 2 4
( )( ) ( )

= =
+
=
+
+ + + + + =
m
j
j
j
m
j
j
j
m
j
j
j
x x j x j j
0 0
1
0
2
2 1 3 1 2 4
( )( ) ( ) | |
=
+ +
+ + + + + =
m
j
j
j j j
x j j j
0
1 2
2 1 3 1 2 4
j
_
=
=
m
j
j
j
x
0

Las
j
, para m j , , 0. = , son constantes y este es un polinomio de grado m o menor
Propiedades de los OD con coeficientes constantes
Adems de las propiedades que tiene un OD con coeficientes variables, un OD con coeficientes constantes tiene
otras propiedades adicionales que enunciamos a continuacin y que aumentan su potencial.
Teorema 5.8 Conmutatividad de la multiplicacin de OD con coeficientes constantes
Si M L, son OD con coeficientes constantes L M M L =
Definicin 5.9 Aniquilador o anulador
Un OD L con coeficientes constantes es un anulador de una funcin f si y solo si ( ) 0 = f L
Ejemplos 5.26 Para todas las constantes b a,
1. D es anulador de toda funcin constante porque ( ) 0 = a D
2.
2
D es anulador de 3 2 + x porque ( ) 0 3 2
2
= + x D
3.
2
D es anulador de b ax + porque ( ) 0
2
= + b ax D
4. 4 D es anulador de
x
e
4
porque ( )( ) ( ) 0 4 4
4 4 4
= =
x x x
e e D e D
5. a D es anulador de
ax
e porque ( ) 0 = = =
ax ax ax ax ax
ae ae ae De e a D
6.
2 2
b D + es anulador de ( ) bx sen y de ( ) bx cos porque
( ) ( ) ( ) ( ) ( ) 0 sen sen sen
2 2 2 2
= + = + bx b bx b bx b D
( ) ( ) ( ) ( ) ( ) 0 cos cos cos
2 2 2 2
= + = + bx b bx b bx b D
Ejercicios 6 Sean j c b a , , , y
m
, , ,
1 0
. constantes.
1. Compruebe que
4
D es anulador de j cx bx ax + + +
2 3

2. Compruebe que
1 + m
D es anulador de
m
x x , , , 1 . para m
3. Compruebe que
1 + m
D , es anulador de los polinomios de grado m: ( )

=
=
m
i
i
i
x x p
0

Teorema 5.9
Si M L, son OD con coeficientes constantes anuladores de las funciones g f , respectivamente. Entonces
M L es anulador de la combinacin lineal g f + , para cualesquiera constantes ,
Teorema 5.10
Si L es un OD con coeficientes constantes anulador de las funciones g f , . Entonces L es anulador de la
combinacin lineal g f + , ,
Teorema 5.11
Si L es un OD con coeficientes constantes anulador de la funcin f . Entonces
m
L ,
m , es anulador de
las funciones f x xf f
m 1
, , ,

.
Ejemplos 5.27
Para construir un anulador de f calcule su derivada e inspeccione si alguna combinacin lineal (por definicin
deben ser coeficientes constantes) de f y Df es cero, si no es posible, calcule la segunda derivada e

inspeccione si alguna combinacin lineal de f , Df y f D
2
es cero, y as sucesivamente. Apliquemos este
proceso para construir un anulador para la funcin dada en cada ejemplo a continuacin.
1.
x
e
5

Si ( )
x
e x f
5
= entonces ( )
x
e x Df
5
5 = .
Observe que ( ) ( ) 0 5 = x f x Df ( ) ( ) 0 5 = x f D
Por lo tanto, 5 D es un anulador de
x
e
5

2. En el ejemplo anterior vimos que 5 D anula a
x
e
5
, entonces, por el teorema 5.11, ( )
4
5 D anula a:
x x x x
e x e x xe e
5 3 5 2 5 5
, , ,
3.
ax
e con a constante
Sea ( )
ax
e x f = entonces ( )
ax
ae x Df =
Por lo tanto, ( ) ( ) 0 = x af x Df ( ) ( ) 0 = x f a D
Se concluye que a D es un anulador de
ax
e
4. ( ) x 4 sen
Si ( ) ( ) x x f 4 sen =
( ) ( ) x x Df 4 cos 4 = . No existe c.l de ( ) x 4 sen y ( ) x 4 cos 4 cuyo resultado sea cero.
( ) ( ) x x f D 4 sen 16
2
=
Esta segunda derivada y la funcin original coinciden salvo constantes, entonces ( ) ( ) 0 16
2
= + x f D
Se concluye que 16
2
+ D es un anulador de ( ) x 4 sen
5. ( ) x e
x
4 sen 6 5
3

3 D anula a
x
e
3
porque ( ) 0 3
3
=
x
e D
16
2
+ D anula a ( ) x 4 sen porque ( ) ( ) 0 4 sen 16
2
= + x D
El teorema 5.9 justifica que la multiplicacin de OD ( )( ) 16 3
2
+ D D anula a ( ) x e
x
4 sen 6 5
3
. Esto
se comprueba a continuacin (los OD tienen coeficientes constantes y se pueden conmutar):
( )( ) ( ) ( ) x e D D
x
4 sen 6 5 16 3
3 2
+ ( )( )( ) ( )( ) ( ) ( ) x D D e D D
x
4 sen 16 3 6 16 3 5
2 3 2
+ + =
( )( )( ) ( )( ) 0 3 6 3 16 5
3 2
+ = D e D D
x

( )( ) 0 6 0 16 5
2
+ = D
0 =
6. ( ) ( ) x x 4 sen 6 4 cos 8
16
2
+ D es anulador de ( ) x 4 sen porque ( ) ( ) 0 4 sen 16
2
= + x D
16
2
+ D es anulador de ( ) x 4 cos porque ( ) ( ) 0 4 cos 16
2
= + x D
Por teorema 5.9 la multiplicacin ( )( ) 16 16
2 2
+ + D D es anulador de ( ) ( ) x x 4 sen 6 4 cos 8
Por el teorema 5.10, el OD 16
2
+ D tambin es anulador de ( ) ( ) x x 4 sen 6 4 cos 8
Sin embargo, para cada funcin escogeremos su anulador de menor orden
7. ( ) x e
x
4 cos
5

La primera derivada es: ( ) ( ) x e D
x
4 cos
5
( ) ( ) x e x e
x x
4 sen 4 4 cos 5
5 5
= , entonces
( ) ( ) ( ) ( ) x e x e D
x x
4 sen 4 4 cos 5
5 5
= (E1)
La segunda derivada es: ( ) ( ) x e D
x
4 cos
5 2
( ) ( ) x e x e
x x
4 sen 40 4 cos 9
5 5
= , entonces
( ) ( ) ( ) x e D
x
4 cos 9
5 2
( ) x e
x
4 sen 40
5
= (E2)
Sume (E2) con -10 veces (E1) y obtenga: ( ) ( ) ( ) ( ) ( ) 0 4 cos 5 10 9
5 2
= x e D D
x

( ) ( ) ( ) 0 4 cos 41 10
5 2
= + x e D D
x

Por lo tanto, 41 10
2
+ D D anula a ( ) x e
x
4 cos
5
. Adems, si completa cuadrados puede escribir ese
anulador como: ( )
2 2 2
4 5 41 10 + = + D D D
Ejercicios 7 Dar un anulador para las funciones a dadas continuacin.
1. ( ) x e
ax
cos R. ( )
2 2
+ a D
2.
m
m
x a x a x, a , a ..., ,
2
2 1 0
, m es fija y los s a
j
' son constantes R.
1 + m
D
3. Polinomiales de grado menor o igual que m fija: ( )

=
=
m
i
i
i
x a x p
0
, s a
j
' constantes R.
1 + m
D
El siguiente teorema provee una tabla de los anuladores de menor grado de uso frecuente.
Teorema 5.12 Tabla de anuladores de menor grado
Sean c b a , , constantes y
n . La columna izquierda muestra el anulador de las funciones en la columna

derecha y tambin de sus combinaciones lineales (ver teorema 5.10).
n
D
1
..., 1
n
x x, ,
a D
ax
e
( )
n
a D
ax n ax ax ax
e x e x xe e
1 2
, , , ,


2 2
b D + ( ) ( ) bx bx sen , cos
( )
n
b D
2 2
+ ( ) ( ) ( ) bx x bx x bx
n
cos , , cos , cos
1

( ) ( ) ( ) bx x bx x bx
n
sen , , sen , sen
1

( ) ( )
n
b a D
2 2
+ ( ) ( ) ( ) bx e x bx xe bx e
ax n ax ax
cos , , cos , cos
1

( ) ( ) ( ) bx e x bx xe bx e
ax n ax ax
sen , , sen , sen
1

Nota
Para construir aniquiladores de funciones del tipo ( ) ( ) cx bx e polinomio
ax
sen cos
( ) ( ) cx bx e polinomio
ax
cos cos
( ) ( ) cx bx e polinomio
ax
sen sen
Aplique la ms adecuada de las frmulas trigonomtricas:
( ) ( ) | | B A B A B A + + = sen sen cos sen
2
1

( ) ( ) | | B A B A B A + + = cos cos cos cos
2
1

( ) ( ) | | B A B A B A + = cos cos sen sen
2
1

y luego la tabla de anuladores.
Ejercicios 8
Con la recomendacin en la nota anterior construya un anulador de ( ) ( ) ( ) x x e x x
x
6 sen 5 sen 3 2
4 2 7
+ +
R. ( ) ( ) ( ) ( )
8
2 2
8
2
11 4 1 4 + + D D
5.3. Ecuacin diferencial ordinaria lineal (ED)
En esta seccin se define ecuacin diferencial ordinaria lineal y se presentan las propiedades generales
de sus soluciones. Los mtodos para obtener estas soluciones se presentan despus de esta seccin. En este
captulo omitiremos la frase ordinaria lineal, en vista de que todas las derivadas son ordinarias y las ED lineales.
Para evitar repeticiones asumimos que ( ) x y y = es la funcin incgnita dependiente de x .
Definicin 5.10 Ecuacin diferencial (se sume que es ordinaria lineal)
Una ED es lineal si se puede escribir en la forma: ( )
( )
( ) ( ) ( ) x h y x a y x a y x a
n
n
= + + +
0 1
(5.3)
Y se le llama ED complementaria de (5.3) a: ( )
( )
( ) ( ) 0
0 1
= + + + y x a y x a y x a
n
n
(5.5)
La ED (5.3) tambin se denomina ED completa y la ED (5.5) homognea.
El nmero n es el orden de la ED
La funcin
n
a es el coeficiente principal. Se supone que ( ) 0 x a
n
para todo I x
Las funciones
n
a a a , , ,
1 0
son los coeficientes de la ED
La funcin h es la funcin externa, exgena, entrada o consumo
Una funcin dada ( ) x f y =
5
P1
es solucin de la ED (5.3) si y solo si satisface:
( ) I
n
f C , es decir, f tiene derivada de orden n continua
6
I en
P2 Al sustituir ( ) x f y = en la ED (5.3) obtiene una identidad:
( )
( ) ( ) ( ) ( ) x h x f a x f a x f a
n
n
+ + +
0 1
, I x
Si alguno de los coeficientes
n
a a a , , ,
1 0
es variable decimos que es una ED de coeficientes variables.
Si todos los coeficientes
n
a a a , , ,
1 0
son constantes decimos que es una ED de coeficientes constantes.
Notacin
Utilizaremos las siguientes notaciones equivalentes a (5.3):
( ) x h y a
dx
dy
a
dx
y d
a
n
n
n
= + + +
0 1

( ) x h y a Dy a y D a
n
n
= + + +
0 1
, donde
k
k
k
dx
y d
y D =
( )( ) ( ) x h y a D a D a
n
n
= + + +
0 1
, en esta se escribe una nica vez la incgnita y .

5
Utilizamos la misma letra y para denotar tanto incgnitas como soluciones conocidas
6
En esta obra asumimos que todas las funciones tienen esta propiedad

( ) ( ) x h y L = asumiendo que
0 1
a D a D a L
n
n
+ + + = .
Esta ltima notacin es muy cmoda, sin embargo, es ambigua porque ( ) ( ) x h y L = no indica el orden de la
ED ni sus coeficientes.
Notas
Utilizamos la misma y en la ED:
( )
0
0 1
= + + + y a y a y a
n
n
y en
( )
( ) x h y a y a y a
n
n
= + + +
0 1

Sin embargo, las respectivas soluciones son diferentes, de hecho, la solucin general de la ED homognea se
suele denotar con
c
y y la solucin general de la ED completa con la misma y que se utiliza en las ED.
Ejemplos 5.28
1. ( ) x y
x
y x y x x = +
1
1 en | | = , 1 I
Esta ED se puede escribir:
( ) ( ) x y
x
xD D x x
L
=
|
.
|
\
|
+
_
1
1
2 3

La ED tiene coeficientes:
( ) ( )
( )
( )
( )
=
=
=
=

x
x a
x a
x x a
x x x a
1
0
1
0
1
2
3

y funcin externa ( ) x x h = . La ED es lineal debido a la disposicin de y y y y , , , y que sus coeficientes
son funciones de x nicamente. La ED es no homognea porque ( ) 0
/
= x x h . La ED tiene orden 3 = n
porque el coeficiente principal ( ) 0
3

/
x a para todo 1 > x .
Ahora, considere la funcin ( )
2
x x f = , esta es solucin de la ED en cualquier intervalo abierto I porque tiene
las propiedades:
P1 ( )
2
x x f = es de clase ( ) I
2
C (porque es polinomial)
P2 Al sustituir
( )
( )
( )
( )
= =
= =
= =
= =
0
2
2
2
x f y
x f y
x x f y
x x f y

en la ED ( ) x y
x
y x y x x = +
1
1 resulta la identidad ( ) x x
x
x x x
x
= +
_
2
1
2 0 1
2. Suponga que es dada una funcin solucin de la ED homognea asociada a:
( ) x y
x
y x y x x = +
1
1
Demostremos que el cambio de variable v y = transforma la ED en otra ED de segundo orden en v .
Suponga que es solucin de ( ) 0
1
1 = + y
x
y x y x x , significa ( ) 0
1
1 = +
x
x x x .
Considere el cambio de variables v y = y sus derivadas
v v y + =
v v v y + + = 2
v v v v y + + + = 3 3
Sustituya las anteriores en la ED y obtenga:
( )( ) ( ) ( ) x v
x
v v v x v v v v x x = + + + + + +
1
2 3 3 1
( )( ) ( ) ( ) ( )( ) ( ) x v v x v v v x x v
x
v x v x x = + + + + + + 2 3 3 1
1
1
( ) ( )( ) ( ) x v v x v v v x x
x
x x x v = + + + + +
|
.
|
\
|
+ 2 3 3 1
1
1
0
_

( )( ) ( ) 1 2 3 3 1 = + + + + v v v v v x
( ) ( ) ( ) ( ) ( ) 1 2 1 3 1 3 1 = + + + + v x v x v x ,
En v esta ED lineal tiene orden 3 y en v tiene orden 2
El siguiente teorema es fundamental en la teora de ED homogneas, enuncia que cualquier combinacin lineal
de soluciones de una ED homognea (5.5), tambin es solucin de la ED homognea (5.5). Lo cual no es
aplicable a la ED no homognea (5.3). Especficamente, si { }
k
y y , ,
1
es un conjunto de soluciones de la ED
homognea (5.5), entonces cualquier combinacin lineal
k k
y C y C + +.
1 1
es solucin de la misma ED (5.5).
Reviste de importancia el caso en que el conjunto de soluciones { }
k
y y , ,
1
es linealmente independiente.
Teorema 5.12 De Superposicin
Las siguientes proposiciones son equivalentes (P1 P2, o sea, una propiedad implica la otra y viceversa):
SP1 Las funciones { }
k
y y , ,
1
son soluciones de la ED homognea (5.3)
SP2
k k c
y C y C y + + =
1 1
donde
k
C C , ,
1
son parmetros, es solucin de la ED homognea (5.3).
Para evitar repeticiones, en adelante
k
C C C B A , , , , ,
1
representan parmetros

Si en el teorema cambia la ED homognea por otra ED no homognea, entonces no es aplicable. Para remozar
este importante hecho sugerimos los siguientes ejercicios.
Ejercicios 9
1. Compruebe que x x x y
p
ln
2
1
+ = e x x x Y
p
ln
2
1
2
+ = son soluciones de la ED no homognea:
x y y x y x y x = + 6 6 3
2 3
.
Compruebe que su diferencia
2
x x Y y
p p
= no es solucin de la ED no homognea.
Compruebe que su diferencia
2
x x Y y
p p
= es solucin de la ED homognea.
Compruebe que
p
y 2 no es solucin de la ED homognea asociada.
2. Suponga que
p p
Y y , son soluciones de la ED no homognea ( )( ) ( ) 0
/
= x h y D T . Compruebe que:
Q1: La funcin
p
y y = , para 1 , no es solucin de esa ED no homognea.
Q2: La diferencia
p p
Y y , es solucin de la ED complementaria.
El teorema anterior es muy importante, ms cuando el conjunto de soluciones { }
k
y y , ,
1
de (5.5) es l.i y el
nmero k coincide con el orden de la ED ( n k = ). En ese sentido necesitamos de la siguiente definicin.
Definicin 5.11 ( H ) Solucin general
Sean { }
n
y y , ,
1
, n soluciones linealmente independientes de la ED homognea de orden n :
0
0 1
= + + + y a Dy a y D a
n
n

La c.l
n n
y C y C y + + =
1 1
,
n
C C , ,
1
parmetros, se denomina solucin general de la ED homognea
Ejemplo 5.29
Considere el problema de hallar la solucin general de la ED homognea con coeficientes constantes:
0 2 3 = + y y y ( )( ) 0 2 3
2
= + y D D
El OD tiene coeficientes constantes, por lo tanto, ( )( ) ( )( ) 1 2 2 1 2 3
2
= = + D D D D D D
Es fcil comprobar que:
( )( )( ) 0 2 1
2
=
x
e D D
( )( )( ) 0 1 2 =
x
e D D
Entonces
x
e y
x
e
2
son soluciones de la ED homognea y por el teorema 5.12
x x
e C e C y
2
2 1
+ = tambin
es solucin de la ED homognea.
Vamos a comprobar que esas dos funciones tienen las propiedades en la definicin H. Para demostrar la
independencia lineal, suponga que
2 1
,c c son constantes tales que:
0
2
2 1
= +
x x
e c e c para todo x
Dado que x es arbitrario derive y obtenga: 0 2
2
2 1
= +
x x
e c e c . Reste las ecuaciones para obtener:
0
2
2
=
x
e c
Como
x
e
2
es variable solo puede ser 0
2
= c , con esto en la primera ecuacin obtiene que 0
1
= c . Esto
demuestra que las soluciones
x
e y
x
e
2
son linealmente independientes. Es importante resaltar que la cantidad
de soluciones l.i obtenidas coincide con el orden de la ED. Por todo lo anterior puede concluir que la ED
homognea tiene solucin general
x x
e C e C y
2
2 1
+ = .
A continuacin presentamos un algoritmo alternativo equivalente al anterior, basado en que toda ED homognea
con coeficientes constantes tiene soluciones de la forma
rx
i
e y = , donde i es un subndice para identificar las
soluciones (caso que encontremos varias) y r es una constante por determinar.
Para determinar r en
rx
e y = (omitimos el subndice i por claridad) aplica el concepto solucin, este requiere
de las derivadas
rx
re y = y
rx
e r y
2
= , que sustituye en la ED:
0 2 3 = + y y y , x
Para obtener la supuesta identidad 0 2 3
2
= +
rx rx rx
e re e r x
( ) 0 2 3
2
= +
rx
e r r x
Como 0
rx
e concluye que: ( )( ) 0 1 2 = r r , esta se denominada ecuacin caracterstica o auxiliar
de la ED homognea. Las soluciones de la ecuacin auxiliar son 2 = r y 1 = r . Regrese al punto que dio
origen a r y concluya que
x
e y
2
1
= y
x
e y =
2
son soluciones de la ED homognea. Estas soluciones son l.i
y la cantidad (dos) coincide con el orden de la ED, entonces (ver definicin 5.11):
x x
e C e C y
2
2 1
+ = es una solucin general de 0 2 3 = + y y y
Ejercicios 10
Utilice el argumento del ejemplo anterior para obtener una solucin general de las siguientes ED homogneas.
1. 0 2 3 = + y y y R.
x x
Ce Be A y
2
+ + =
2. 0 2 2 = + + y y y R.
x r x r
Be Ae y
2 1
+ = , donde
2
1
2 , 1
i
r

=
El ejemplo 5.29 y ejercicios 5.10 ilustran cmo obtener, para el caso que la ecuacin auxiliar tenga soluciones no
repetidas, una solucin general de la ED homognea con coeficientes constantes. En la siguiente seccin
generalizamos el algoritmo para resolver cualquier ED homognea de coeficientes constantes, mientras el resto
de esta seccin contina con las generalidades sobre ED lineales.

Definicin 5.12 ( I ) Solucin general de ED no homognea
Si
c
y es solucin general de la ED homognea: ( ) 0 = y L en I
y
p
y es solucin particular de la ED no homognea: ( ) ( ) x h y L = en I
Entonces
p c
y y y + = se denomina solucin general de: ( ) ( ) x h y L = en I
Ejemplos 5.30
1. Considere la ED no homognea con coeficientes constantes x y y y sen 19 cos 9 20 9 + = + + .
Para obtener su solucin general, la definicin I sugiere que se calcule la solucin general de la ED homognea
y una solucin particular de la ED no homognea. Empecemos con la ED homognea:
0 20 9 = + + y y y
Como en el ejemplo anterior, suponga que existe r constante talque
rx
e y = es solucin de esa ED
homognea. Para explotar esta propiedad (solucin), derive dos veces y obtenga:
rx
re y =
rx
e r y
2
=
Y sustituya la supuesta solucin y sus derivadas en la ED homognea para obtener:
0 20 9
2
= + +
rx rx rx
e re e r
Debemos seleccionar r para que esa sea una identidad. As, factorice y obtenga:
( ) 0 20 9
2
= + +
rx
e r r ( )( ) 0 5 4 = + + r r
tiene soluciones 5 , 4 = = r r . Concluya que que la ED homognea tiene soluciones:
x
e y
4
1

= y
x
e y
5
2

=
Emulando el ejemplo anterior, se demuestra que { }
x x
e e
5 4
,

es l.i y apoyados en la definicin H podemos
afirmar que la c.l
x x
c
Be Ae y
5 4
+ = es solucin general de la ED homognea.
El siguiente paso es obtener una solucin particular
p
y de x y y y sen 19 cos 9 20 9 + = + + . Por ahora
acepte sin justificacin que x y
p
sen = hasta que lleguemos a la seccin correspondiente para deducirla, lo
que si podemos justificar es que x y
p
sen = es solucin de la ED no homognea, en efecto, calcule:
x y
p
cos =
x y
p
sen =
y sustituya en y y y 20 9 + + ( ) ( ) ( ) x x x sen 20 cos 9 sen + + =
x x sen 19 cos 9 + =
como se quera comprobar.
Reunamos los resultados obtenidos hasta ahora:
x x
c
Be Ae y
5 4
+ = es solucin general de 0 20 9 = + + y y y
x y
p
sen = es solucin particular de x y y y sen 19 cos 9 20 9 + = + +
Y aplicamos la definicin I para concluir que la combinacin lineal:
p c
y y
x x
x Be Ae y sen
5 4
+ + =

_
es solucin general de x y y y sen 19 cos 9 20 9 + = + +
2.
3
3
2
2 1
, , x y x y x y = = = son tres soluciones l.i de la ED homognea de orden tres:
0 6 6 3
2 3
= + y y x y x y x .
Y x x y
p
ln
2
1
= es solucin particular de la ED no homognea:
x y y x y x y x = + 6 6 3
2 3

Entonces (ver definicin I)
_
_
p
c
y
y
x x Cx Bx Ax y ln
2
1 3 2
+ + + =
es solucin general de la ED no homognea
El teorema 5.12 enuncia que la suma de soluciones de una ED homognea, tambin es solucin de la ED
homognea. Pero esto no es cierto para ED no homogneas, como se ilustra en el siguiente ejemplo.
3. Suponga que
p p
Y y , son soluciones de la ED no homognea: ( ) ( ) x h y L = , ( ) 0
/
x h .
Comprobaremos que
p p
Y y y + = no es solucin de esa ED no homognea.
Si
p p
Y y , son soluciones particulares de: ( ) ( ) x h y L =
Entonces (por definicin de solucin): ( ) ( ) x h y L
p
= y ( ) ( ) x h Y L
p
=
Con estos en mente sustituya la suma
p p
Y y y + = en ( ) y L y obtenga:
( )
p p
Y y L + ( )
( )
( )
( )
_ _
x h
p
x h
p
Y L y L + = ( ) ( ) x h x h = 2
As comprueba que la suma de soluciones particulares de una ED no homognea NO es solucin
El resultado anterior se generaliza en el siguiente ejercicio que se deja al lector.
Ejercicios 11
1. Si
p p
Y y , son soluciones diferentes de la ED ( ) ( ) 0
/
= x h y L
Compruebe que no toda
p p
BY Ay y + = con B A, constantes, es solucin de ( ) ( ) x h y L =

2. Considere la ED
x iv
e y y y

= + 24 36 13 cuyos coeficientes son constantes. Suponga soluciones de
la forma
rx
e y = , r constante, para hallar una solucin general de la ED complementaria. Comprobar que
x
p
e y

= es solucin particular de la ED no homognea. Dar una solucin general de la ED original.
R.
p
c
y
x
y
x x x x
e e C e C e C e C y

+ + + + =
_
3
4
3
3
2
2
2
1

Teorema de existencia y unicidad
El siguiente teorema es fundamental en la teora de las ED, porque genera otros resultados tericos sobre ED.
Por supuesto, los estudiantes del clculo tambin reciben beneficios prcticos, del que denotamos con las siglas
TEU y de sus implicaciones. Omitimos su demostracin debido a la naturaleza prctica de esta obra. Los
estudiosos de la teora de las matemticas encontrarn su demostracin en [1], [2] y [3].
Teorema 5.13 TEU para ED lineales
Sean
n
y y y , , ,
1 0
nmeros cualesquiera y I c un nmero cualquiera.
Entonces la ED:
( )
( )
( ) ( ) ( ) x h y x a y x a y x a
n
n
= + + +
0 1

con condiciones iniciales
( )
( )
( )
( )
=
=
=
1
1
1
0
n
n
y c y
y c y
y c y
.

tiene solucin nica, en el sentido que no hay dos soluciones que satisfagan las mismas condiciones iniciales.
El siguiente corolario resulta del teorema anterior con una ED homognea y 0
1 0
= = =
n
y y .
Corolario 5.1 TEU para ED lineales homogneas
Sea I c un nmero cualquiera.
Entonces la ED homognea:
( )
0
0 1
= + + + y a y a y a
n
n

con condiciones iniciales
( )
( )
( )
( )
=
=
=
0
0
0
1
c y
c y
c y
n
.

tiene como nica solucin la funcin nula ( ) 0 = x y , I x
Determinante Wronskiano
Finalizamos esta seccin con los determinantes de Wronski para un conjunto de funciones. El Wronskiano de un
conjunto de funciones se utiliza como herramienta en varios algoritmos de solucin.
Definicin 5.13 Determinante Wronskiano
El Wronskiano de las funciones
k
y y y , , ,
2 1
. , denotado con ( )
k
y y y W , , ,
2 1
, es el determinante:
( )
( ) ( ) ( )
( ) derivada -
derivada segunda
derivada primera
funciones
sima k-
k
k
k k
k
k
k
k
y y y
y y y
y y y
y y y
y y y W
1
1 1
2
1
1
2 1
2 1
2 1
2 1
, , ,

=

. . .

Ejemplos 5.31
( ) 2
2 0 0
2 1 0
1
, , 1
2
2
=
= x
x x
x x W
derivadas segundas
derivadas primeras
dadas funciones

( )
x
x x
x x
x x
e
e e
e e
e e W
5
3 2
3 2
3 2
3 2
, = =
( ) 0
10 2
5
5 ,
2 2
2 2
= =
x x
x x
x x W
El siguiente teorema establece una proposicin alternativa para demostrar dependencia o independencia lineal
de funciones.
Teorema 5.14
Sean
n
y y , ,
1
. funciones solucin de la ED homognea 0
0 1
= + + + y a Dy a y D a
n
n
en I
Las siguientes proposiciones son equivalentes:
P1 ( ) 0 , ,
1

n
y y W I x
P2 { }
n
y y , ,
1
. es un conjunto l.i. en I .
La lgica formal enuncia que dos proposiciones son equivalentes si y solo si las respectivas contrapositivas de
las proposiciones son equivalentes. En el teorema 5.14, la negacin de P1 es ( ) 0 , ,
1
=
n
y y W para algn
I x y la negacin de P2 es { }
n
y y , ,
1
. es un conjunto l.d en I . Entonces el teorema 5.14 en forma
contrapositiva se enuncia:

( ) 0 , ,
1
=
n
y y W I x { }
n
y y , ,
1
. es un conjunto l.d en I .
Entonces el Wronskiano se puede utilizar tanto para probar independencia lineal como dependencia lineal,
obviamente lo aplicaremos en aquellos ejemplos, en que el clculo del Wronskiano involucre menos operaciones
algebraicas que aplicar la definicin de dependencia o independencia lineal.
Ejemplos 5.32
1. Como ( ) 0
0 0 0
3 1 0
3 5 1
3 5 , , 1 =
+
= +
x x
x x W entonces { } x x 3 5 , , 1 + es l.d.
2. Como ( ) = = x x
x x
x x W , 0 2
2 0 0
2 1 0
1
, , 1
2
2
entonces { }
2
, , 1 x x es l.i.
3. Considere las funciones
2
1
senx y = y
2
2
cosx y = y calcule:
( ) x x x x x
x x x x
x x
y y W 2 cos 2 sen 2
sen 2 cos 2
cos sen
,
2 2 2 2
2 2
2 2
2 1
= =
=
( )
2 1
, y y W se anula para 0 = x , por lo tanto, no puede aplicar el teorema 5.14 si el dominio I contiene a
0 = x ; sin embargo, si escoge I como cualquier otro intervalo abierto que no contenga a 0 = x entonces
( ) 0 2 ,
2 1
= x y y W , I x y el teorema 5.14 garantiza que
2
1
senx y = y
2
2
cosx y = son l.i.
Tratemos de ver el trasfondo del teorema 5.14 con las funciones:
=
=
2
2
2
1
cos
sen
x y
x y

La dependencia o independencia lineal se decide despus de hallar los coeficientes b a, en la c.l:
0 cos sen
2 2
= + x b x a para todo I x
Derive y obtenga: 0 sen 2 cos 2
2 2
= x bx x ax
Debe despejar b a, de esas dos ecuaciones, es decir del sistema:
( ) ( )
( ) ( )
= +
= +
0 sen 2 cos 2
0 cos sen
2 2
2 2
b x x a x x
b x a x

Segn la regla de Cramer, este sistema tiene solucin nica si y solamente si el determinante de su matriz de
coeficientes no es cero, es decir,
0
sen 2 cos 2
cos sen
2 2
2 2
x x x x
x x

Aqu es donde debuta el Wronskiano ( ) x y y W 2 ,
2 1
= de
2
1
senx y = y
2
2
cosx y = , el cual no es cero
porque hemos supuesto que I
/
0 . Por lo tanto, el sistema tiene solucin nica y como 0 = = b a es solucin
ser la nica. Concluye que el conjunto { }
2 2
cos , sen x x es l.i.
Ejercicios 12
Utilice el Wronskiano para comprobar que el conjunto de funciones:
1. { }
2
, , 1 x x B = en = I es l.i.
2. ( ) ( ) ( ) { } x f x f x f B
3 2 1
, , , 0 = en | | + = , 0 I es l.d. para cualesquiera ( ) I
3
3 2 1
, , C f f f
3. { } x x B
2 2
sen , cos , 1 = en | | + = , 0 I es l.d.. Ms fcil si recuerda que ( ) x x x 2 sen cos sen 2
Ejercicio 13
Compruebe que es ms fcil demostrar que { } x e x x xe B
x x
ln , ln
2
= es l.i. en | | + , 0 utilizando la
definicin de independencia lineal, que con el Wronskiano. Eso sucede con muchos conjuntos de funciones, por
lo que deber escoger el mtodo ms eficiente entre Wronskiano o definicin de independencia lineal.

5.4. Ecuacin diferencial homognea
Considere la ED homognea de orden n :

( )
0
0 1
= + + + y a y a y a
n
n
, ( ) I x x a
n
, 0
Que escribiremos ( ) 0
0 1
= + + + y a D a D a
L
n
n
_

O simplemente como ( ) 0 = y D L donde ( )
0 1
a D a D a D L
n
n
+ + + =
Nos referiremos a la ED anterior como la ED homognea y el objetivo de esta seccin es brindar algoritmos
para obtener su solucin general, esta solucin es un resultado inmediato despus de construir un conjunto con
n funciones linealmente independiente que sean solucin de la ED homognea, como se enunci en la
definicin H y repetimos a continuacin.
Definicin H Solucin general, base de soluciones de una ED homognea
Si { }
n
y y , ,
1
es un conjunto de n funciones con las siguientes propiedades:
{ }
n
y y , ,
1
es linealmente independiente en I y
{ }
n
y y , ,
1
es un conjunto de soluciones de la ED de orden n : ( ) 0 = y D L en I
Entonces
{ }
n
y y , ,
1
se denomina base de soluciones o conjunto fundamental de soluciones de la ED homognea.
n n
y C y C y + + =
1 1
,
n
C C , ,
1
parmetros, se denomina solucin general de la ED homognea.
Para ED homogneas con coeficientes constantes es relativamente fcil construir una base de soluciones
(funciones con las propiedades mencionadas en la definicin H). En este caso (coeficientes constantes) la teora
ha alcanzado un importante desarrollo y si no fuera por la imposibilidad de resolver algunas ecuaciones
algebraicas (sin derivadas), diramos que el mtodo es suficiente para hallar la solucin general de cualquier ED
homognea con coeficientes constantes.
En contraste, los algoritmos para resolver ED con coeficientes variables, son pocos y categricos, de los cuales
trataremos el algoritmo para resolver ED de Euler y un algoritmo basado en la frmula de Abel-Liouville.
Por esta razn dividimos la teora en dos: ED homogneas con coeficientes constantes y ED con coeficientes
variables.
Ejercicio 14
Demuestre que si
n
y y , ,
1
son soluciones de 0 = Ly entonces
n n
y C y C y + + =
1 1
tambin es
solucin de 0 = Ly . Sugerencia, aplique el OD L a
n n
y C y C y + + =
1 1
y utilice linealidad del OD.
5.4.1. Ecuacin diferencial lineal homognea con coeficientes constantes
Sean
0 1
, , , a a a
n
constantes con 0
n
a . Considere la ED homognea de coeficientes constantes:
( )
0
0 1
= + + + y a y a y a
n
n

Los siguientes ejemplos ilustran cmo obtener una base de soluciones { }
n
y y , ,
1
de la ED homognea:
( )
0
0 1
= + + + y a y a y a
n
n

Es importante repasar las propiedades de la ED y soluciones que tratamos en esta sub-seccin:
La ED es homognea.
La ED tiene coeficientes constantes.
La ED tiene orden n y se requieren n soluciones
n
y y , ,
1
de la ED, es decir, que satisfagan:

( )
0
1 0 1 1
1
= + + + y a y a y a
n
n

( )
0
2 0 2 1
2
= + + + y a y a y a
n
n

.
( )
0
0 1
= + + +
n n
n
n n
y a y a y a
Hay que construir una base de soluciones { }
n
y y , ,
1

Construida la base de soluciones, bastar aplicar la definicin H para concluir que la solucin general de
la ED homognea con coeficientes constantes es:
n n
y C y C y + + =
1 1
,
n
C C , ,
1
parmetros.
Expondremos el mtodo de anuladores y el de ecuacin auxiliar para construir una base de soluciones de la
ED. El lector comprobar que prcticamente se trata del mismo mtodo redactado en dos formas. De hecho ya
tuvo contacto con estos mtodos en el ejemplo 5.30.
El mtodo con ecuacin auxiliar requiere de la identidad de Euler z i z e
zi
sen cos + = , donde i es el nmero
complejo definido por 1
2
= i .
Despus de los siguientes ejemplos resultar fcil comprender el algoritmo general de los anuladores y el
general de la ecuacin auxiliar.
Ejemplos 5.33 Solucin general de una ED homognea con coeficientes constantes
1. 0 6 5 = + y y y

Mtodo de los anuladores
Escriba la ED con OD: ( )( ) 0 6 5
2
= + y D D
Factorice ( )( )( ) 0 3 2 = y D D
Esta ED es equivalente a ( )( )( ) 0 2 3 = y D D (porque tiene coeficientes constantes)
Segn la tabla de anuladores en el teorema 5.12:( )( ) 0 3
3
=
x
e D y ( )( ) 0 2
2
=
x
e D
Adems, es obvio que ( )( ) 0 0 2 = D y ( )( ) 0 0 3 = D
Para no desvirtuar el objetivo principal del ejemplo asumamos que
x
e y
2
1
= y
x
e y
3
2
= son l.i.
Tabulando los resultados:
OD es anulador de
2 D
x
e y
2
1
=
3 D
x
e y
3
2
=
Conclusin, { }
x x
e e
3 2
, es base de soluciones de la ED homognea dada, entonces la ED tiene solucin
general:

2 1
3 2
y
x
y
x
e B e A y + =
Mtodo de la ecuacin auxiliar
Supone que la ED tiene soluciones con la forma
rx
e y = , donde r es una constante, cuyo valor o
valores se determinan basados en el concepto solucin de una ED. En efecto, calcule las derivadas de:

rx
e y =
y obtenga:

rx
re y = (recuerde que r se supone constante)

rx
e r y
2
=
Sustituya esas tres funciones en la ED y obtenga la supuesta identidad:

0 6 5
2
= +
y
rx
y
rx
y
rx
e re e r
_

( ) 0 6 5
2
= +
rx
e r r
0 6 5
2
= + r r , porque 0
rx
e
Esta ltima es la ecuacin auxiliar, propia o caracterstica de la ED y se factoriza en el conjunto de los
nmeros complejos (aunque en este ejemplo son reales) como:
( )( ) 0 3 2 = r r
El exponente en ( )
dad multiplici
r

1
2 es la multiplicidad de la solucin 2 = r , se denotar con m.


Por lo tanto, cada una de las soluciones 3 , 2 = = r r tiene multiplicidad 1 = m .
Los resultados obtenidos se resumen en la tabla:
solucin r de ecuacin auxiliar multiplicidad m base de soluciones de la ED homognea
2 1
x
e y
2
1
=
3 1
x
e y
3
2
=
Comprobemos que
x x
e y e y
3
2
2
1
, = = tienen las propiedades requeridas por la definicin H, a saber,
(1) La cantidad (2) de funciones coincide con el orden (2) de la ED homognea.
(2) Son linealmente independientes porque su Wroskiano
0
3 2
5
3 2
3 2
=
x
x x
x x
e
e e
e e
, x
(3) Por la forma en que se construyeron
x x
e y e y
3
2
2
1
, = = son soluciones de la ED.
Y por la definicin H { }
x x
e e
3 2
, es base de soluciones de la ED homognea dada, entonces la ED tiene
solucin general:

2 1
3 2
y
x
y
x
e B e A y + =
2. 0 6 5
2
= + y x y x y
La ED es homognea pero tiene coeficientes variables, por tal razn la teora de anuladores no es aplicable.
Comprobemos que el mtodo de la ecuacin auxiliar nos lleva a resultados absurdos.
Suponga soluciones
rx
e y = , donde se supone que r es constante. Calcule sus derivadas:

rx
re y =

rx
e r y
2
=
Y sustituya en la ED para obtener 0 6 5
2 2
= +
rx rx rx
e x xre e r
( ) 0 6 5
2 2
= +
rx
e x xr r
0 6 5
2 2
= + x xr r
( )( ) 0 3 2 = x r x r
Esta ecuacin no tiene soluciones r constantes. Observe que x r 2 = y x r 3 = no son constantes por la
presencia de x , eso es contradictorio con el tratamiento de constante que se dio a r al derivar.
As, en este ejemplo con coeficientes variables, esos mtodos no brindan soluciones
En lo que resta de esta subseccin 5.4.1 solo tratamos ED con coeficientes constantes y evitamos repetirlo.
3. 0 13 4 = + y y y en . Ejemplo de aplicacin de la frmula de Euler z i z e
zi
sen cos + =

Mtodo de anuladores
Escriba la ED con OD: ( )( ) 0 13 4
2
= + y D D
No se factoriza, en cambio complete un cuadrado y obtenga:
( ) ( )( ) 0 9 2
2
= + y D
( ) ( )( ) 0 3 2
2 2
= + y D
Aplique tabla de anuladores del teorema 5.12 y obtenga:
OD es anulador de
( )
2 2
3 2 + D ( ) ( ) x e x e
x x
3 sen , 3 cos
2 2

Dejamos de ejercicio comprobar que las funciones en la tabla forman un conjunto l.i
Concluye que la solucin general de la ED es ( ) ( ) ( ) x B x A e y
x
3 sen 3 cos
2
+ =
Mtodo de ecuacin auxiliar
Suponga soluciones de la forma
rx
e y = , r constante indeterminada.
Calcule sus derivadas
rx
re y = ,
rx
e r y
2
=
Sustituya en la ED y obtenga: 0 13 4
2
= +
rx rx rx
e re e r
( ) 0 13 4
2
= +
rx
e r r
0 13 4
2
= + r r
Resuelva en el conjunto de los nmeros complejos y obtenga las soluciones:
i r 3 2
2
1 6 4
2
36 4
2
52 16 4
=

=

=

=
Cada una de las soluciones complejas i 3 2+ y i 3 2 tiene multiplicidad 1 = m
7
rx
e y =
. Y las soluciones de
la forma se escriben en la tabla:
solucin r de ecuacin auxiliar multiplicidad m soluciones de la ED homognea
i 3 2+
1
( )x i
e y
3 2
1
+
=
i 3 2
1
( )x
e y
3 2
2

=
Comprobemos que
( )x i
e y
3 2
1
+
= y
( )x i
e y
3 2
2

= son como en la definicin H.
Su Wronskiano
( ) ( )
( )
( )
( )
( )
0 6
3 2 3 2
4
3 2 3 2
3 2 3 2
=
+
+
+
x
x i x i
x i x i
ie
e i e i
e e
entonces
2 1
, y y son l.i.

7
La suma de multiplicidades de las soluciones de una ecuacin es igual al grado de la ecuacin. Cuando bi a+ y bi a son
soluciones, ocurren con la misma multiplicidad.
Obviamente (por como se construyeron) { }
2 1
, y y son soluciones de la ED homognea.
Concluye que la solucin general de la ED es:
( ) ( )x i x i
e C e C y
3 2
2
3 2
1
+
+ =
Vamos a eliminar los nmeros complejos de los exponentes utilizando la identidad de Euler:
z i z e
zi
sen cos + =
Escriba la solucin general en la forma:
( )
xi xi x
e C e C e y
3
2
3
1
2
+ =
Aplique la identidad de Euler a
xi
e
3
y
xi
e
3
, obtiene:
( ) ( ) ( ) ( )
(
(
(
|
|
|
.
|
\
|
+ +
|
|
|
.
|
\
|
+ =
_ _
xi xi
e e
x
x i x C x i x C e y
3 3
3 sen 3 cos 3 sen 3 cos
2 1
2

( ) ( ) ( ) ( ) ( ) ( ) | | x i x C x i x C e y
x
3 sen 3 cos 3 sen 3 cos
2 1
2
+ + =
( ) ( ) ( ) ( )
(
(
+ + = x i C C x C C e y
B A
x
3 sen 3 cos
2 1 2 1
2
_ _

( ) ( ) ( ) x B x A e y
x
3 sen 3 cos
2
+ = , B A, parmetros
Observe que los nmeros 2 y 3 en esta solucin provienen de los complejos i 3 2 , esto ser de mucha ayuda
para evitar los detalles relacionados con la frmula de Euler.
En ejemplos posteriores con nmeros complejos evitaremos los detalles al aplicar la frmula de Euler y daremos
la forma trigonomtrica resultante.
4. 0 8 12 6 = + y y y y
Mtodo de anuladores
Escriba la ED con OD: ( )( ) 0 8 12 6
2 3
= + y D D D
Factorice y obtenga: ( ) ( ) 0 2
3
= y D
El OD ( )
3
2 D anula las funciones
x x x
e x xe e
2 2 2 2
, , (ver teorema 5.12), estas tres funciones
conforman una base de soluciones de la ED homognea, por lo tanto su solucin general es:

x x x
c
e Cx Bxe Ae y
2 2 2 2
+ + = , C B A , , son parmetros.
Mtodo de ecuacin auxiliar
Suponga soluciones de la forma
rx
e y = , r constante indeterminada.
Sustituya la supuesta solucin y sus derivadas en la ED homognea y obtenga:
0 8 12 6
2 3
= +
rx rx rx rx
e re e r e r
0 8 12 6
2 3
= + r r r

( ) 0 2
3
=
dad multiplici
r
Tiene solucin 2 = r con multiplicidad 3 = m , entonces
x
e y
2
1
= es solucin de la ED. Pero esta no
completa una base de soluciones de la ED homognea, la cual tiene orden tres y, por lo tanto, la base
deber tener tres funciones l.i. Como enunciaremos luego, el orden 3 = m asociado con 2 = r
garantiza que una base de soluciones de la ED homognea es:
{ }
x x x
e x xe e
2 2 2 2
, ,
Se puede concluir que la ED homognea tiene solucin general:

x x x
c
e Cx Bxe Ae y
2 2 2 2
+ + = , C B A , , son parmetros
5. Generalicemos el resultado del ejemplo anterior sobre soluciones repetidas.
Dada la ED homognea con coeficientes constantes:
( ) ( )
0
0 1
1
1
= + + + +

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

Construya la ecuacin auxiliar, propia o caracterstica: 0
0 1
1
1
= + + + +

a r a r a r a
n
n
n
n

Si r es solucin de la ecuacin auxiliar y su multiplicidad es m entonces
rx m rx rx
e x xe e
1
, , ,

. son
soluciones l.i. de la ED homognea de coeficientes constantes; por lo tanto, la siguiente c.l. es solucin de la ED:
( )
_
. .
m
P
m
m
rx rx rx m
m
rx rx
x C x C e C e e x C xe C e C
1
2 1
1
2 1

+ + + = + + +
y esta solucin se denota
m
rx
P e , donde
m
P es el polinomio genrico sealado arriba
Ejercicios 15
Resolver las ED homogneas con coeficientes constantes, a partir de sus soluciones
rx
e y = , r constante.
1.
( )
0 4 6 4
4
= + + + + y y y y y R. ( )
3 2
Ex Cx Bx A e y
x
+ + + =

2. 0 81 18
2 4
= + y y D y D R. ( ) ( )
x x
e Ex C e Bx A y
3 3
+ + + =

Tablas de soluciones l.i. de la ED homognea para los mtodos con anuladores y con
ecuacin auxiliar
( ) ( )
0
0 1
1
1
= + + + +

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

Construya su ecuacin auxiliar, propia o caracterstica: 0
0 1
1
1
= + + + +

a r a r a r a
n
n
n
n

Determine las soluciones r de esta ecuacin auxiliar y sus respectivas multiplicidades m y aplique la siguiente
tabla para construir una base de soluciones de la ED homognea. Para el caso en que r es un nmero
complejo, la tercera columna presenta las soluciones despus de aplicar la identidad de Euler.

solucin de ecuacin
auxiliar
multiplicidad soluciones l.i de la ED homognea
r m
rx m rx rx
e x xe e
1
, , ,

.
bi a +
m
( ) ( ) ( ) bx e x bx xe bx e
ax m ax ax
cos , , cos , cos
1
.
( ) ( ) ( ) bx e x bx xe bx e
ax m ax ax
sen , , sen , sen
1
.
bi a
m
La solucin general de la ED homognea es la combinacin lineal de las n soluciones l.i.
El conjunto de funciones que aparece en la tercera columna es l.i y si la cantidad coincide con el orden de la ED
homognea, entonces su solucin general es la combinacin lineal general (con parmetros) de las mismas.
Observe que la tercera columna de la tabla incluye solamente funciones de la siguiente lista:
( ) bx sen , b constante
( ) bx cos , b constante
rx
e , r constante
k
x , ... 2 , 1 , 0 = k constante
multiplicacin de las funciones anteriores
Y la solucin general de la ED homognea incluye combinaciones lineales de las mismas. Cada funcin de ese
tipo tiene un anulador, por lo que les denominaremos anulables o C.i funciones.
El procedimiento anterior es el mtodo con ecuacin auxiliar para obtener la solucin general de la ED
homognea. A continuacin presentamos el mtodo con anuladores.
( ) ( )
0
0 1
1
1
= + + + +

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

Escrbala con notacin de OD as: ( )( ) 0
0 1
1
1
= + + + +

y a D a D a D a
n
n
n
n

Factorice el OD de tal forma que solo tenga factores constantes, factores lineales con la forma r D , r ,
o cuadrticos no factorizables como + + D D
2
, , , , 0 y discriminante
0 4
2
< , a estos factores les aplica la siguiente completacin de cuadrados:
+ + D D
2

(
+ + =
D D
2

(
+
|
.
|
\
|
+ =
2
2 2
4
2
D
(

+
|
.
|
\
|
+ =
2
2 2
4
4
2

D
Como 0 4
2
< entonces
2
2
4
4

es positivo y se denota con
2
b . El nmero
2
podra ser
negativo, positivo o cero y se denota con a (el signo menos es por simple conveniencia).

En resumen, el OD
0 1
1
1
a D a D a D a
n
n
n
n
+ + + +

se debe factorizar al punto de que sus factores

sean constantes, de la forma r D o ( )
2 2
b a D + . Estos factores podran aparecer con repeticin en la
factorizacin como ( )
m
r D o ( ) ( )
m
b a D
2 2
+ .
Para cada factor (es un OD) se consideran las funciones linealmente independientes que l anula, con lo que
construye la tabla de soluciones l.i de la ED homognea:
OD Anula las soluciones l.i de la ED homognea
( )
m
r D
rx m rx rx
e x xe e
1
, , ,

.
( ) ( )
m
b a D
2 2
+
( ) ( ) ( ) bx e x bx xe bx e
ax m ax ax
cos , , cos , cos
1
.
( ) ( ) ( ) bx e x bx xe bx e
ax m ax ax
sen , , sen , sen
1
.
La solucin general de la ED homognea es la combinacin lineal general de las n soluciones l.i.
Ejemplos 5.34 Resolver las siguientes ED homogneas con coeficientes constantes.
1. 0 6 11 6 = + + + y y y y
La ED se escribe ( )( ) 0 6 11 6
2 3
= + + + y D D D
Su ecuacin auxiliar: 0 6 11 6
2 3
= + + + r r r
A prueba y error obtiene que 1 = r es solucin de la ecuacin auxiliar y aplica divisin sinttica:
0 6 5 1
6 5 1 1
6 11 6 1

Entonces la ecuacin auxiliar se escribe ( )( ) 0 6 5 1
2
= + + + r r r
( )( )( ) 0 3 2 1 = + + + r r r
Las soluciones y respectivas multiplicidades estn en la siguiente tabla:
solucin r de ecuacin auxiliar
multiplicidad m soluciones l.i de ED homognea
1
1
x
e

2
1
x
e
2

3
1
x
e
3

Concluye que la solucin general de la ED es la combinacin lineal

3 2 1
3 2
y
x
y
x
y
x
e C e B e A y

+ + =
C B A , , parmetros.
3 2 1
, , y y y son tres soluciones l.i y la ED homognea tiene orden tres
2.
( )
0 12 2 2 3
4
= + + y y y y y
La ED se escribe ( ) 0 12 2 2 3
2 3 4
= + + y D D D D
Su ecuacin auxiliar 0 12 2 2 3
2 3 4
= + + r r r r
A prueba y error descubre que 2 = r y 3 = r son soluciones de esa ecuacin, aplica doble divisin sinttica:
0 2 2 1
6 6 3 3
0 6 4 1 1
12 8 2 2 2
12 2 2 3 1

Y la ecuacin auxiliar se factoriza: ( )( )( ) 0 2 2 3 2
2
= + + r r r r
Finalmente 0 2 2
2
= + + r r tiene soluciones i r = 1 . Y construye la tabla de soluciones l.i:
Solucin r de ecuacin auxiliar multiplicidad m solucin l.i de ED homognea
2 1
x
e
2

3 1
x
e
3

i 1 1+
1
( ) ( ) x e x e
x x
1 sen , 1 cos
1 1

i 1 1 1
Solucin general de la ED homognea es x Ee x Ce Be Ae y
x x x x
sen cos
3 2
+ + + =
E C B A , , , parmetros. Observe que son cuatro soluciones l.i. y la ED tiene orden cuatro
3. Resolver ( ) ( ) ( ) 0 25 8 2
2
2 3
= + y D D D
En este ejemplo utilizaremos el mtodo con anuladores. Complete cuadrados para obtener:
( ) ( ) ( ) ( ) 0 9 4 2
2
2 3
= + y D D
Construya la tabla de soluciones l.i de la ED homognea:
OD anula las soluciones l.i de ED homognea
( )
3
2 D
x x x
e x xe e
2 2 2 2
, ,
( ) ( )
2
2 2
3 4 + D
( ) ( ) x xe x e
x x
3 cos , 3 cos
4 4

( ) ( ) x xe x e
x x
3 sen , 3 sen
4 4


La solucin general ( ) ( ) ( ) ( ) x Hx G x Fx E e Cx Bx A e y
x x
3 sen 3 cos
4 2 2
+ + + + + + =
H G F E C B A , , , , , , parmetros.
4. Resolver 0 = + + y y b y , b constante fija.
Ecuacin caracterstica 0 1
2
= + + br r , tiene soluciones
2
4
2

=
b b
r
Si 0 4
2
> b entonces
2
4
2
1
+
=
b b
r y
2
4
2
2

=
b b
r son soluciones reales diferentes,
cada una con multiplicidad 1, entonces, la ED tiene solucin general
x r x r
Be Ae y
2 1
+ =
Si 0 4
2
= b entonces
2 2
4
0
2
b
b b
r

=

=
_
es la nica solucin real de multiplicidad 2, entonces la
ED tiene solucin general: ( )
rx
e Bx A y + =
Si 0 4
2
< b entonces i
b b
r
2
4
2
2
1

+
= y i
b b
r
2
4
2
2
2

= son dos soluciones complejas

diferentes, cada una con multiplicidad 1, entonces la ED tiene solucin general:
|
|
.
|
\
|
|
|
.
|
\
|

+
|
|
.
|
\
|

=

x
b
B x
b
A e y
x
b
2
4
sen
2
4
cos
2 2
2

Ejercicios 16 Obtenga la solucin general de las ED homogneas con coeficientes constantes.
1. ( ) ( ) 0 34 6 2
2 2
= + + y D D D R. ( ) ( ) ( ) ( ) x K x C e e Bx A y
x x
5 sen 5 cos
3 2
+ + + =

2. 0 2 = + + y y y a para a constante real no nula.
R. Si 0 1 > a . Solucin general:
x r x r
Be Ae y
2 1
+ = ,
a
a
r
+
=
1 1
1
,
a
a
r

=
1 1
2

Si 0 1 = a . Solucin general: ( )
x
a
e Bx A y
1
+ =
Si 0 1 < a . Solucin general:
|
|
.
|
\
|
|
|
.
|
\
|
+
|
|
.
|
\
|
=

x
a
a
B x
a
a
A e y
x
a
1
sen
1
cos
1

Con el fin de comprender completamente los mtodos anterior para obtener la solucin general de una ED
homognea con coeficientes constantes, presentamos a continuacin ejemplos que reversan los algoritmos, es
decir, en los siguientes es conocida la solucin general de la ED y se construye la respectiva ED homognea con
coeficientes constantes.
Ejemplos 5.35 Formacin de una ED a partir de la solucin general dada
Es dada una solucin general de una ED desconocida, el problema es determinar la ED.
1.
x x x
Ce Be Ae y
4 3 2
+ + = , C B A , , son constantes arbitrarias.
Un mtodo general para hallar una ED (para ED lineales y no lineales) a partir de su solucin general, consiste
en derivar tantas veces como parmetros esenciales tiene la solucin, en este ejemplo tres veces, para obtener:
+ + =
+ + =
+ + =
+ + =
x x x
x x x
x x x
x x x
Ce Be Ae y
Ce Be Ae y
Ce Be Ae y
Ce Be Ae y
4 3 2
4 3 2
4 3 2
4 3 2
64 27 8
16 9 4
4 3 2

Ahora proceda a eliminar A, B, C para obtener una ED de orden tres (igual que cantidad de parmetros). Sin
embargo, la eliminacin de los parmetros puede resultar muy laboriosa por la cantidad excesiva de operaciones
algebraicas que hay que aplicar para eliminarlos. Para ED lineales se puede optar por otro mtodo basado en la
tabla de soluciones como se muestra a continuacin.
Si la solucin dada corresponde a una ED lineal desconocida ( ) x h Ly = , se descompone como:
p c
y y y + =
donde
c
y tiene los parmetros y
p
y no tiene parmetros.
Con
c
y se construye la tabla de soluciones l.i de la ED homognea y como consecuencia la ED homognea.
Con
p
y se encuentra la funcin externa ( ) x h , utilizando que ( ) x h Ly
p
= .
Apliquemos lo anterior a nuestra solucin
x x x
Ce Be Ae y
4 3 2
+ + = con 3 parmetros C B A , , .
Como cada funcin
x x x
e e e
4 3 2
, , est multiplicada por algn parmetro deduce que la ED es homognea.
Como
x x x
e e e
4 3 2
, , son anulables deduce que la ED tiene coeficientes constantes.
Como son tres parmetros concluye que la ED tiene orden tres.
Como la solucin general de la ED homognea contiene a:
x
e
2
entonces 2 = r (en el exponente de
x
e
2
) es solucin de multiplicidad 1 (un parmetro) de la auxiliar.
x
e
3
x
e
3
x
e
4
x
e
4
Entonces la ecuacin auxiliar es: ( ) ( ) ( ) 0 4 3 2
1 1 1
= r r r
En consecuencia la ED es: ( )( )( )( ) 0 4 3 2 = y D D D
2. ( ) ( )
2 3 3 2 2
5 sen 5 cos x x Ke x Ce Bxe Ae y
x x x x
+ + + + =

, K C B A , , , son parmetros.
Son cuatro parmetros esenciales entonces la ED es de orden cuatro. Las funciones con parmetros conforman
la solucin general de la ED homognea y son anulables entonces la ED homognea es de coeficientes
constantes. La funcin sin parmetros es solucin particular de la ED no homognea. La solucin dada se
escribe:

( ) ( )

p
c
y
y
x x x x
x x Ke x Ce Bxe Ae y
2 3 3 2 2
5 sen 5 cos + + + + =

_

La solucin general de la ED homognea es:
( ) ( ) x Ke x Ce Bxe Ae y
x x x x
c
5 sen 5 cos
3 3 2 2
+ + + =
Las soluciones
x x
xe e
2 2
, son anuladas por ( )
2
2 D
( ) ( ) x e x e
x x
5 sen , 5 cos
3 3
son anuladas por ( ) 34 6 5 3
2 2 2
+ + = + + D D D
Entonces la ED homognea es ( ) ( ) 0 34 6 2
2 2
= + + y D D D
Ahora vamos a construir la funcin externa ( ) x h en la ED no homognea:
( ) ( ) ( ) x h y D D D = + + 34 6 2
2 2

Como
2
x y
p
= es una de sus soluciones particulares, sustituye para obtener:
( ) ( )( ) ( ) x h x D D D = + +
2 2 2
34 6 2
( ) ( ) ( ) x h x Dx x D D = + +
2 2 2 2 2
34 6 2
( ) ( ) ( ) x h x x D = + +
2 2
34 12 2 2
( ) ( )( )
2 2
34 12 2 4 4 x x D D x h + + + =
( ) ( ) ( ) ( )
2 2 2 2
34 12 2 4 34 12 2 4 34 12 2 x x x x D x x D x h + + + + + + + =
( )
2
136 224 28 x x x h + =
Concluye que la ED de marras es ( ) ( )
2 2 2
136 224 28 34 6 2 x x y D D D + = + +
3. Hallar la ED con solucin general x e Cx Bxe Ae y
x x x
sen
2 2 2 2
+ + + = , C B A , , parmetros
La solucin
p c
y y
x x x
x e Cx Bxe Ae y sen
2 2 2 2
+ + + =
_
tiene cuatro parmetros entonces la ED es de orden
cuatro y se divide en:
solucin general de la ED homognea
x x x
c
e Cx Bxe Ae y
2 2 2 2
+ + = (tienen los parmetros)
solucin particular de la ED no homognea x y
p
sen =
Las funciones
x x x
e x xe e
2 2 2 2
, , en
c
y son anulables por ( )
3
2 D entonces la ED homognea es:
( ) ( ) 0 2
3
= y D
( )( ) 0 8 12 6
2 3
= + y D D D
Ahora debemos hallar la funcin externa ( ) x h en:
( )( ) ( ) x h y D D D = + 8 12 6
2 3

La funcin x y
p
sen = es solucin particular de esa ED entonces:
( )( ) ( ) x h x D D D = + sen 8 12 6
2 3

( ) ( ) ( ) x h x x x x = + sen 8 cos 12 sen 6 cos
( ) x x x h sen 2 cos 11 =
La ED que se buscaba es ( )( ) x x y D D D sen 2 cos 11 8 12 6
2 3
= +
4.
2 2
cos sen x B x A y + = , B A, parmetros. 0 > x
La ED no tiene coeficientes constantes porque
2
senx y
2
cosx no son anulables. Por esto debemos seguir el
mtodo general para construir una ED. Por la presencia de dos parmetros deriva dos veces la funcin:
y
2 2
cos sen x B x A + =
Obtiene: y
2 2
sen 2 cos 2 x xB x xA = ( )
2 2
sen cos 2 x B x A x =
y ( ) ( )
2 2 2 2
cos 2 sen 2 2 sen cos 2 x xB x xA x x B x A + =
( ) ( )
2 2 2 2 2
cos sen 4 sen cos 2 x B x A x x B x A + =
El siguiente paso es aplicar la regla de Cramer sobre dos de las tres ecuaciones anteriores para despejar los
parmetros B A, que despus sustituye en la ecuacin que no fue utilizada y el resultado ser la ED buscada.
Sin embargo, la funcin
2 2
cos sen x B x A y + = tiene derivadas con algunas semejanzas que nos eximen
de aplicar la regla de Cramer. Por simple inspeccin, se deduce que:
( ) ( )
_ _
y
x
y
x B x A x x B x A y
2 2 2
2
2 2
cos sen 4 sen cos 2 + =

Se escribe: y x y
x
y
2
4
1
= tambin como 0 4
3
= + y x y y x es una ED para la solucin dada.
Observe que esta ED tiene coeficientes variables
Ejercicios 17
Hallar la solucin general de cada una de las ED lineales homogneas con coeficientes constantes.
1. 0 = + y y R. x C x B A y sen cos + + =
2.
( ) ( )
0 64 48 12
4 6
= + y y y y R. ( ) ( )
x x
e x A x A A e x A x A A y
2 2
6 5 4
2 2
3 2 1

+ + + + + =
3. ( )( )( ) 0 27 27 9 41 8
2 3 2
= + + + + + y D D D D D

R. ( ) ( ) ( ) ( )
x x
e x A x A A e x A x A y
3 2
5 4 3
4
2 1
5 sen 5 cos

+ + + + =
4. ( ) ( ) ( ) ( ) ( ) 0 5 4 5 4
2 2
= + y i D i D R. ( ) ( ) ( ) ( ) ( )
x
e x Ex C x Bx A y
4
5 sen 5 cos + + + =
5. 0 8 28 38 25 8 = + + y y y y y y
iv v
R. ( ) ( )
x x
e Fx Ex C e Bx A y
2 2
+ + + + =
Ejercicios 18 Hallar una ED para la familia de curvas dada.
1. x Be x Ae y
x x
sen cos

+ = R. 0 2 2 = + + y y y
2. ( ) ( ) ( ) ( ) ( ) x x A A x x A A e x A x A x A A y
x
6 sen 6 cos
8 7 6 5
5 3
4
2
3 2 1
+ + + + + + + =
R. ( ) ( )( ) 0 1296 72 5
2 4 4
= + + y D D D
Ejercicio 19
Hallar una ED con solucin particular
x
e y = , cuya ED complementaria tenga soluciones:
=
=
=
x
e y
x y
y
2
3
2
1
1

R. ( )( )
x
e y D D = 2
2

5.4.2. ED lineal homognea con coeficientes variables o constantes
Lo que exponemos en esta subseccin, incluyendo la frmula de Abel-Liouville, se aplica a ED con
coeficientes variables o constantes, sin embargo, se recomienda tratar las ED homogneas con coeficientes
constantes con los mtodos expuestos en la seccin anterior, que prcticamente resuelve todas las ED
homogneas con coeficientes constantes, en la medida que se pueda resolver la ecuacin auxiliar. Por esta
razn, la mayora de ejemplos en este apartado presentan ED con coeficientes variables. Adems, la frmula de
Abel depende de algunas soluciones particulares que deben conocerse de antemano, esto es un inconveniente
cuando no se cuenta con ellas.
En cuanto a las ED homogneas con coeficientes variables, no estamos afirmando que se resuelven todas,
porque la teora existente no alcanza para tanto. Se explicita que las ED homogneas de coeficientes variables
presentadas aqu, no fueron escogidas al azar, por el contrario, han sido preparadas para que la frmula de Abel
sea el pivote para llegar a la solucin general de las mismas.
Frmula de Abel-Liouville
El teorema de AbelLiouville ser utilizado principalmente para completar la solucin general de algunas ED
homogneas con coeficientes variables o constantes:
( )
( )
( )
( )
( ) ( ) 0
0 1
1
1
= + + + +

y x a y x a y x a y x a
n
n
n
n

Teorema 5.15 Frmula de Abel - Liouville
Si
n
y y , ,
1
son n soluciones de una ED lineal homognea ( ( ) I x x a
n
, 0 ) de orden n :
( ) ( )
0
0 1
1
1
= + + + +

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

Entonces existe una constante que cumple la siguiente frmula de Abel-Liouville:
( )

=

dx
a
a
n
n
n
e y y W
1
, ,
1
.................... (5.6)
donde ( )
n
y y W , ,
1
es el Wronskiano de las funciones
n
y y , ,
1

Nota
Observe que 0
1

dx
a
a
n
n
e , si adems, las soluciones
n
y y , ,
1
son linealmente independientes
entonces su determinante Wronskiano no es cero, utilice esto en (5.6) y concluya que en tal caso 0 .
Ejemplos 5.36
Comprobar la frmula de Abel para la ED homognea de orden n y las n soluciones dadas.
1.
=
=

3
2
1
1
x y
x y
son soluciones de la ED 0 3
2
= y y x y x en | | , 0
Los coeficientes de la ED homognea son ( )
2
2
x x a = y ( ) x x a =
1

El Wronskiano de las soluciones dadas es ( ) ( ) x
x x
x x
x x W y y W 4
3
, ,
2 2
3 1
3 1
2 1
=
= =

Por el otro lado de (5.6) x e e e
dx
x
x
dx
a
a
dx
a
a
n
n
=

2
2
1 1

Basta tomar 4 = , con lo cual se cumple la frmula de Abel
2.
+ =
=
=
x
x
e x y
e y
x y
3
2
1

son soluciones de 0 = + y y x y y x en | | , 0 .
Los coeficientes de la ED homognea utilizados en la frmula de Abel son ( ) x x a =
3
y ( ) 1
2
= x a
El Wronskiano de las soluciones es ( ) 0
0
1 1 , , = +
+
= +
x x
x x
x x
x x
e e
e e
e x e x
e x e x W .
Este resultado sobre el Wronskiano es previsible porque
2 1 3
y y y + = , entonces { }
3 2 1
, , y y y es l.d, en
consecuencia ( ) 0 , , = +
x x
e x e x W

Por otro lado, para 0 = se tiene 0
1
=

dx
a
a
n
n
e y as se verifica la frmula de Abel.
Nota
Aplicaremos la frmula de Abel para soluciones
n
y y , ,
1
l.i., equivalente a ( ) 0 , ,
1

n
y y W , en ese
caso, se agrega al teorema 5.15 la propiedad 0 .
Una aplicacin del teorema 5.15 es el teorema 5.16, conocido como reduccin de orden: suponga que son
conocidas 1 n soluciones
1 1
, ,
n
y y linealmente independientes de una ED homognea y desea hallar
otra solucin Y para completar n soluciones Y y y
n
, , ,
1 1
linealmente independientes de la ED. Como el
Wronskiano de las soluciones tiene hasta la derivada 1 n de la funcin Y , entonces la frmula de Abel:
( )

=

dx
a
a
n
n
n
e Y y y W
1
, , ,
1 1
es una ED de orden 1 n en la incgnita Y .
Teorema 5.16 Reduccin de orden
Dadas 1 n soluciones
1 1
, ,
n
y y l.i de la ED homognea de orden n (5.5) y una constante 0 .
Entonces existe una solucin Y de esa ED tal que ( )

=

dx
a
a
n
n
n
e Y y y W
1
, , ,
1 1

Como consecuencia del teorema anterior { } Y y y
n
, , ,
1 1
es una base de soluciones de la ED homognea,
entonces (ver definicin H) Y C y C y C y
n n n
+ + + =
1 1 1 1
. es solucin general de la ED, donde
n n
C C C , , ,
1 1
. son parmetros.
El siguiente corolario es un caso particular del teorema 5.16 y ser el que utilicemos con ms frecuencia.
Corolario 5.2
Si ( ) 0
1
x y es solucin de ( ) ( ) ( ) 0 = + + y x c y x b y x a , I x . Entonces la funcin Y definida por
( )
( )

=

dx
y
e
y Y
dx
x a
x b

2
1
1

es solucin de la ED, adems, { } Y y ,
1
es una base de soluciones de la ED homognea.
Adems, por la definicin H, la combinacin lineal BY Ay y + =
1
es solucin general de la ED.
La demostracin del corolario 5.2 es inmediata de la frmula de Abel como se muestra a continuacin.
El teorema 5.16 garantiza que para toda constante 0 existe una funcin Y tales que:
( )
( )
( )
=
dx
x a
x b
e Y y W ,
1

Como
( )
( )
I

x e
dx
x a
x b
, 0 entonces ( ) I x Y y W , 0 ,
1
y como consecuencia { } Y y ,
1
es l.i
Resolvamos la ED ( )
( )
( )
=
dx
x a
x b
e Y y W ,
1

( )
( )
=

dx
x a
x b
e
Y y
Y y
1
1

( )
( )
=
dx
x a
x b
e Y y Y y
1 1

Es una ED lineal de primer orden en Y , por lo tanto, se normaliza para obtener:

( )
( )
1 1
1
y
e
Y
y
y
Y
dx
x a
x b

Y multiplica por el factor integrante
1
ln
1
1 1
1
y
e e
y
dx
y
y
= =
para obtener:
( )
( )
2
1
2
1
1
1
1
y
e
Y
y
y
Y
y
dx
x a
x b

( )
( )
dx
y
e
Y
y
d
dx
x a
x b
2
1
1
1

= |
.
|
\
|

Integre y despeje para obtener
( )
( )
=

dx
y
e
y Y
dx
x a
x b
2
1
1

y con 1 = obtiene el resultado del corolario 5.2.
Ejemplos 5.37
Para cada ED lineal homognea de orden n a continuacin, son dadas (parcial o completamente) 1 n
soluciones l.i. Utilice la frmula de Abel en el teorema 5.16 para completar n soluciones l.i. y aplique la
definicin H para escribir la solucin general de la ED homognea.
1. 0 15 2 = + y y y en tiene una solucin ( )
x
e x y
3
1
=
Vamos a repasar la demostracin del corolario 5.2. Los coeficientes de la ED que necesitamos en al frmula de
Abel son ( ) 1 = x a y ( ) 2 = x b , adems, es dada la solucin
x
e y
3
1
= . Podemos escoger cualquier 0

para obtener una solucin Y tal que { } Y y ,
1
sea l.i. Con 8 = (o cualquier otro no cero) la frmula de Abel
adopta la forma:
( )

=
dx
x
e Y e W
1
2
3
8 ,

x
x
x
e
Y e
Y e
2
3
3
8
3

=

x x x
e Y e Y e
2 3 3
8 3

=

x
e Y Y
5
8 3

=
De paso observe la reduccin de orden, esta ED es de orden 1 mientras la ED original es de orden 2.
Se multiplica la ltima ED por el factor integrante
x
dx
e e
3
3

para obtener:
x x x
e Y e Y e
8 3 3
8 3

=
( )
x x
e Ye
dx
d
8 3
8

=

= dx e Ye
x x 8 3
8
C e Ye
x x
+ =
8 3

Puede tomar 0 = C porque es suficiente con una solucin Y , resulta
x
e Y
5
= .
Entremos a la etapa de conclusiones.
Obviamente { }
x x
e e
5 3
,

es l.i. (porque su Wronskiano es diferente de cero) y son soluciones de la ED dada.
Por la definicin H,

Y
x
y
x
e B e A y
5 3
1
+ = es solucin general de la ED dada, B A, son parmetros

2. ( ) ( ) 0
2
1 ln ln = + + y
x
y x y x x , 1 > x tiene soluciones de la forma ( )
k
x x y =
Empecemos por determinar las soluciones
k
x y = cuyas derivadas (las necesarias) son:

1
=
k
kx y
( )
2
1

=
k
x k k y
( )( )
3
2 1

=
k
x k k k y
Bajo el supuesto de que
k
x y = es solucin de la ED, sustituya esta y sus derivadas en la ED y obtenga:
( ) ( )( ) ( ) ( ) 0
2
1 1 ln 2 1 ln
1 2 3
= + +
k k k
kx
x
x k k x x k k k x x
( )( ) ( )( ) 0 2 1 ln 1 ln 2 1 = + + k x k k x k k k
( )( ) ( )( ) ( ) 0 2 1 ln 1 ln 2 1 = + + x k x k k k
( ) ( ) ( ) 0 3 ln 3 4
2
= + + + k x k k k
Obviamente 0 = k es solucin y otros valores de k para los cuales ( ) ( ) 0 3 ln 3 4
2
= + + + k x k k , es
decir
( )( )
=
=
= +
= +
3
0 1 3
0 3
0 3 4
2
k
k k
k
k k
, sistema con solucin 3 = k .
Se concluye que las soluciones particulares de la ED homognea con la forma
k
x y = son
=
= =
x y
x y
3
2
0
1
1

No demostremos ahora que
=
=
3
2
1
1
x y
y
son l.i, porque al calcular el Wronskiano adelante quedar comprobado.
La ED dada tiene orden 3, por lo tanto, necesitamos otra solucin, que denotamos Y , tal que { } Y y y , ,
2 1
sea
l.i., para eso aplicamos la frmula de Abel (el valor de 0 lo escogeremos en camino):
( )
+
dx
x x
x
e
Y x
Y x
Y x
ln
1 ln
2
3
6 0
3 0
1

=
|
.
|
\
|
+ dx
x x x
e Y x Y x
ln
1 1
2
6 3

( ) x x
e Y x Y x
ln ln ln 2
6 3
+
=
x Y Y x ln 6 3 =
Esta es una ED de variable Y ausente por lo que aplica el cambio de variable Y v = para obtener la ED lineal
de primer orden: x v v x ln 6 3 =
Normalizada es
x
x
v
x
v
ln 2
3
= y para abreviar, aplicamos que la ED lineal tiene solucin

|
|
|
.
|
\
|

=

dx e
x
x
e v
dx
x
dx
x
2
3
2
ln

Calcule las integrales y obtenga:

= dx e
x
x
e v
x x ln 2
3
ln 2
ln
= dx
x
x
x v
3
2
3
ln

Aplica integracin por partes y obtenga:
( )
2
4
1
2
2
1
2
3
ln

= x x x x v

( )
4
1
2
1
3
ln = x v


Con 12 = es 1 ln 2 + = x v y como Y v = esta ED se escribe:
1 ln 2 + = x Y
Integre y obtenga: x x x x x x x Y = + = ln 2 2 ln 2
Finalmente, llegamos a la conclusin (definicin H) de que la solucin general de la ED homognea dada es:
( )
_
CY By Ay
x x x C Bx A y
+ +
+ + =
2 1
ln 2
3
, C B A , , parmetros
Ejercicios 20
Para cada ED lineal homognea de orden n a continuacin, son dadas (parcial o completamente) 1 n
soluciones l.i. Utilice la frmula de Abel (teorema 5.16) para completar n soluciones l.i. y aplique la definicin H
para escribir la solucin general de la ED homognea.
1. ( )
x
e x y =
1
es solucin de ( ) 0 1 = y x y y x en | | , 0 . R. ( )
x x
Be e x A y + + =

1 2
2. ( )
1
1

= x x y es solucin de 0 3
2
= y y x y x en | | , 0 . R.
3 1
Bx Ax y + =

3. ( ) x x y =
1
es solucin de ( ) 0
1 1
ln
2
= + y
x
y
x
y x con 1 > x R. ( ) 1 ln + + = x B Ax y
4. ( ) ( ) ( ) 0 ln 1 ln 1 ln
2
= + + + y x y x x y x x tiene solucin x y =
1
R. x Bx Ax y
2
ln + =
5. ( ) ( ) ( ) 0 1 2 2 2 1
2
= + + + y x y x x y x x tiene una solucin ( )
k
x x y =
1
en | | , 1
R.
( )
2
3
2
1
x
x
B Ax y

+ =

6. 0
1 2 2
1
2
=
|
.
|
\
|
+
|
.
|
\
|
+ y
x
x
y
x
y tiene solucin ( )
k
x x y =
1
R.
x
Bxe Ax y

+ =
7. ( ) 0 1 = + + y y x y x , 0 > x tiene solucin ( )
kx
e x y =
1
R. ( ) 1 + + = x B Ax y
8. ( ) 0 1 = + + y y x y x tiene soluciones de la forma ( )
kx
e x y = R.
2
Cx Be A y
x
+ + =
9. ( ) 0 2 2
2 2
= + + y x y x y x tiene solucin ( ) x x x y cos
1
= R. x Bx x Ax y sen cos + =
Ejercicio 21
Sean R Q P , , funciones continuas en I y ( ) x solucin dada de ( ) ( ) 0 = + + y x Q y x P y
Pruebe que el cambio de variable v y = transforma la ED no homognea ( ) ( ) ( ) x R y x Q y x P y = + +
en una ED de primer orden en v .
R. Se espera llegar a la ED ( ) R v P v = + + 2 de primer orden en v .

ED de Orden N Lineales Parte 1

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

ED de Orden N Lineales Parte 1

Cargado por

Copyright:

Formatos disponibles

211

son funciones continuas en algn intervalo abierto I y ( ) 0 x a

n . La columna izquierda muestra el anulador de las funciones en la columna

se debe factorizar al punto de que sus factores

= son dos soluciones complejas

+ = es solucin general de la ED dada, B A, son parmetros

= y para abreviar, aplicamos que la ED lineal tiene solucin

También podría gustarte