Boyce Elementary Differential Equations and Boundary Value Problems 10th

Ecuaciones Diferenciales y Problemas Con Valores En La Frontera 10ed.

Traduccin al espaol de la seccin 3.2
3.2 SOLUCIN DE ECUACIONES LINEALES HOMOGENEAS; EL WRONSKIAN
En la seccin anterior mostramos como se resuelve algunas ecuaciones diferenciales de la forma:

+ = 0
Cuando a, b y c son constantes.
Ahora mostramos en esos resultados a proporcionar una imagen clara de la estructura de la solucin
de las ecuaciones lineales homogneas de segundo orden. Por consiguiente, al comprender esto,
nos servir para encontrar la solucin a otros problemas que se encontraran ms adelante.
Tratando las propiedades de las ecuaciones diferenciales lineales, esto es de gran ayuda para
introducir a la notacin del operador diferencial. Sean p y q funciones continuas en un intervalo
abierto (I) esto es, para < < . En el caso para = , o = o ambos, estn
incluidos. Entonces para cualquier funcin , esta es diferenciable dos veces en (I), definimos el
operador diferencial de la ecuacin:
L[] = + p + q
Note que L[] es una funcin en (I). El valor de L[] en un punto (t) es:
L[](t) = (t) + p(t)(t) + q(t)(t)
Por ejemplo, si:
p(t) = t2, q(t) = (1 + t), y (t) = sen(3t)
, entonces:
[]() = (3)

+
2
(3)

+(1 +)3
()() = 93 +3
2
3 +(1 +)3
El operador L con frecuencia se escribe como =
2
+ +, dnde D es la derivada del
operador.
En esta seccin estudiamos las ecuaciones lineales homogneas de segundo orden L[](t)=0. A
partir de esto acostumbramos a usar el smbolo ( ) para denotar (), usualmente escribimos
est ecuacin de la forma:
[] =

+()

+() = 0 (2)
Con la ecuacin 2 asociamos un conjunto de condiciones iniciales
() = ,

() = (3)
, donde t0 es cualquier punto en el intervalo (I), 0 & 0 son nmeros reales. Nos gustara saber si
el problema con valor inicial (2), (3) siempre tiene una solucin y si esto de pronto tiene ms de una
solucin. Nos gustara saber tambin si alguno puede decir sobre la forma y estructura de las
Boyce Elementary Differential Equations and Boundary Value Problems 10th
Ecuaciones Diferenciales y Problemas Con Valores En La Frontera 10ed.
Traduccin al espaol de la seccin 3.2
soluciones, que podra ser de ayuda en encontrar soluciones para problemas particulares. Las
respuestas a estas preguntas estn contenidas en el teorema de esta seccin.
El resultado terico fundamental para el problema con valor inicial para la ecuacin lineal de
segundo orden est expuesto en el teorema 3.3.1 (teorema de Existencia y Unicidad), que es
anlogo al teorema 2.4.1 para las ecuaciones lineales de primer orden. Igualmente el resultado se
aplica a ecuaciones no homogneas, entonces el teorema est expuesto en la forma:
Teorema 3.2.1 (teorema de existencia y unicidad)

Considere el problema con valor inicial:

+ () + () = (), () = , () = (4)

Cuando p, q y g son continuas en un intervalo abierto I esto contiene el punto t0.
Entonces hay exactamente una solucin = () para este problema en todo parte del intervalo
(I).


Recalcamos que el teorema dice tres cosas:
1. El problema con valor inicial tiene una solucin, en otras palabras existe una solucin.
2. El problema con valor inicial tiene una nica solucin; esto es, la solucin es nica.
3. La solucin es definida a travs del intervalo I donde el coeficiente es continuo y es ms
pequeo en la segunda derivada as.
Para algunos problemas, algunas de esas afirmaciones son fciles de probar. Para la instancia
mostrada en el ejemplo 1 de la seccin 3.1 que el problema con valor inicial:
= 0, (0) = 2, (0) = 1 (5)
, tiene la solucin:
=
1
2

+
3
2

(6)
El factor que encontramos en la solucin desde luego establece que una solucin existe para este
problema con valor inicial. Nuevamente la solucin (6) es doblemente diferenciable, ciertamente
diferenciable en cualquier nmero de tiempo, a travs del intervalo (, ) donde los
coeficientes en la ecuacin diferencial son continuos. En el otro lado, esto no es obvio y es ms
difcil para mostrar, el problema con valor inicial (5) no tiene otra solucin ms que la mostrada en
la ecuacin (6). No obstante el teorema 3.2.1 presentado como esta solucin es ciertamente la
nica solucin para el problema con valor inicial (5).
Para ms problemas de la forma 4 no es posible apuntar una expresin til para la solucin. Esta
es una gran diferencia entre las ecuaciones lineales de primer orden y segundo orden. Por lo tanto
todas las partes del teorema estn probadas por el mtodo general que no involucra tal expresin.
La prueba del teorema 3.2.1 es justamente difcil y no tratamos esto aqu. Podemos
Boyce Elementary Differential Equations and Boundary Value Problems 10th
Ecuaciones Diferenciales y Problemas Con Valores En La Frontera 10ed.
Traduccin al espaol de la seccin 3.2
independientemente aceptar el teorema 3.2.1 como verdadero y se denota su uso cada vez que
sea necesario.



EJEMPLO
1

Encuentre el intervalo ms largo en que el problema con valor inicial

(
2
3)

( +3) = 0; (1) = 2; (1) = 1

Es seguro que existe.

Si se da la ecuacin diferencial, se escribe en la forma de la ecuacin (4); entonces:

() =
1
(3)
; () =
(+3)
(3)
y () = 0

El nico punto de discontinuidad de los coeficientes son = 0 y = 3. Por lo tanto,
el intervalo ms largo contiene el punto inicial = 1 en que todos los coeficientes
son continuos es 0 < < 3. Entonces este es el intervalo ms largo en que el
teorema 3.2.1 garantiza que la solucin exista.



EJEMPLO
2

Encuentre la nica solucin para el problema con valor inicial:

+()

+() = 0, () = 0,

() = 0

, donde y son continuas en un intervalo abierto que contiene .

La funcin = () = 0para toda t en I ciertamente satisface la ecuacin
diferencial y las condiciones iniciales. Por la nica parte del teorema 3.2.1 es la nica
solucin que se da en el problema.



Dejndonos ahora asumir que y1 y y2 son dos soluciones de la ecuacin (2); en otras palabras,

Boyce Elementary Differential Equations and Boundary Value Problems 10th
Ecuaciones Diferenciales y Problemas Con Valores En La Frontera 10ed.
Traduccin al espaol de la seccin 3.2
[1] = 1

1 +1 = 0

, y similarmente para y2. Entonces justamente como en el ejemplo en la seccin 3.1 podemos
generar ms soluciones para formar combinaciones lineales de y1 y y2, nosotros definimos esto
como un teorema. Llamado el teorema del principio de superposicin.