domingo, 26 de abril de 2015

ecuaciones diferenciales



Ecuaciones Lineales Homog�neas


Considere la ecuaci�n lineal homog�nea de segundo orden
displaymath11
o en forma
displaymath13

Propiedad fundamental: Si  tex2html_wrap_inline15  y  tex2html_wrap_inline17  son dos soluciones, entonces
displaymath19
est� tambi�n una soluci�n para cualquier constante arbitraria  tex2html_wrap_inline21  .
 


La pregunta natural es conocer si cualquier soluci�n se puede poner tambi�n de la forma   tex2html_wrap_inline25  para ciertos  tex2html_wrap_inline27  y  tex2html_wrap_inline29 .







El wronskiano y la independencia lineal


Sean   tex2html_wrap_inline41  e  tex2html_wrap_inline43   dos funciones diferenciables. El Wronskiano  tex2html_wrap_inline45  , asociado a   tex2html_wrap_inline41  e  tex2html_wrap_inline43  , es la funci�n
displaymath33

Para una discusi�n sobre la motivaci�n que hay detr�s del Wronskiano pulsar  aqu�.

Propiedades importantes:

(1)
Si  tex2html_wrap_inline41  e  tex2html_wrap_inline43  son dos soluciones de la ecuaci�n y'' +  p (x) ' + (x) = 0, entoncesdisplaymath34
(2)
Si  tex2html_wrap_inline41  e  tex2html_wrap_inline43  son dos soluciones de la ecuaci�n y'' +  p (x) ' + (x) = 0, entoncesdisplaymath35
En este caso, decimos que  tex2html_wrap_inline41  e  tex2html_wrap_inline43  somos linealmente independientes.
 
(3)
Si  tex2html_wrap_inline41  e  tex2html_wrap_inline43  son dos soluciones linealmente independientes  de la ecuaci�n y'' + (x) ' + (x) = 0, entonces cualquier soluci�n se escribe comodisplaymath36
para unas ciertas constantes  tex2html_wrap_inline77  y  tex2html_wrap_inline79  . En este caso, el sistema  tex2html_wrap_inline81  se llama el sistema fundamental de soluciones.
Ejemplo: Sea   tex2html_wrap_inline41  soluci�n del PVI
displaymath85
y sea  tex2html_wrap_inline43  la soluci�n al PVI
displaymath89
Encuentre el Wronskiano de  tex2html_wrap_inline81  . Deduzca la soluci�n general al problema
displaymath93

Soluci�n: Escribamos  tex2html_wrap_inline95  . Sabemos por las propiedades anteriores que
\begin{displaymath}W(x) = W(0) e^{\displaystyle - \int_0^x (2t-1)dt} = W(0) e^{\displaystyle -x^2 + x}\;.\end{displaymath}
Evaluemos (0). Tenemos
displaymath101
Por lo tanto, tenemos
displaymath103
Puesto que  tex2html_wrap_inline105  , deducimos que  tex2html_wrap_inline81  es un sistema fundamental de soluciones. Por lo tanto, la soluci�n general es
displaymath36,

donde  tex2html_wrap_inline111  son constantes arbitrarias.






Reducci�n de orden


Esta t�cnica es muy importante puesto que ayuda a uno a encontrar una segunda soluci�n independiente conocida. Por lo tanto, seg�n la secci�n anterior, para encontrar la soluci�n general al '' de y + a p (x) ' + (x) = 0, necesitamos encontrar solamente una soluci�n (diferente a cero),  tex2html_wrap_inline143  .

Sea  tex2html_wrap_inline143  una soluci�n diferente a cero de
displaymath147
Entonces, una segunda soluci�n  tex2html_wrap_inline149  independiente  tex2html_wrap_inline143  se puede encontrar como
displaymath135
Los c�lculos f�ciles dan
displaymath136,
donde C es una constante arbitraria no nula. Puesto que estamos buscando una segunda soluci�n podemos tomar = 1, conseguimos
displaymath157
La soluci�n general entonces ser�
displaymath137

Ejemplo: Encuentre la soluci�n general a la ecuaci�n de Legendre
displaymath163,
usando el hecho que  tex2html_wrap_inline165  es una soluci�n.

Soluci�n: Es f�cil comprobar que   tex2html_wrap_inline165   es una soluci�n. Primero, necesitamos reescribir la ecuaci�n en la forma expl�cita
displaymath169
Podemos intentar encontrar una segunda soluci�n  tex2html_wrap_inline171  sustituy�ndola en la ecuaci�n (h�gase). Otra manera es usar la f�mula
displaymath173
Us�ndo las t�cnicas de integraci�n aprendidas en An�lisis Matem�tico I
displaymath175,
lo cu�l da
displaymath177
La soluci�n general es entonces
displaymath179

No hay comentarios:

Publicar un comentario