domingo, 26 de abril de 2015

ecuaciones diferenciales



Trayectorias ortogonales


Hemos visto antes (v�ase las ecuaciones en variables separadas por ejemplo) que las soluciones de una ecuaci�n diferencial se pueden dar con una ecuaci�n impl�cita dependiente de  un par�metro, o sea como
displaymath190
Esto es una ecuaci�n que describe una familia de curvas. Siempre que fijemos el par�metro conseguimos una curva y viceversa. Por ejemplo, considere las familias de curvas
displaymath194
donde tenemos los par�metros y C. Claramente, podemos cambiar los nombres de las variables y todav�a tener las mismas curvas geom�tricas. Por ejemplo, las familias antedichas definen el mismo objeto geom�trico que
displaymath200
Observe que la primera familia describe todas las l�neas que pasan por el origen (0.0) mientras que el segundo la familia describe todos los c�rculos centrados en el origen (incluyendo el caso l�mite cuando el radio es 0, que reduce a un solo punto (0.0)) (v�ase los cuadros abajo).


y

En esta p�gina, utilizaremos solamente las variables . Cualquier familia de curvas ser� escrita como
displaymath210
Uno se puede preguntar el caso opuesto �cualquier familia de curvas se puede generar de una ecuaci�n diferencial? En general, la respuesta es no. Veamos c�mo proceder si la respuesta es s�. Primero diferenciamos con respecto a x , y conseguimos una nueva ecuaci�n que implica  x  tex2html_wrap_inline218  y C. Usando la ecuaci�n original, podemos eliminar el par�metro de la nueva ecuaci�n.

Ejemplo. Encuentre la ecuaci�n diferencial satisfecha por la familia
displaymath224
Respuesta. Diferenciamos con respecto a x , para conseguir
displaymath228
Puesto que tenemos
displaymath230
entonces conseguimos sustituyendo
displaymath232
 El paso siguiente es reescribir esta ecuaci�n en la forma expl�cita, cuando sea posible,
displaymath234
�sta es la ecuaci�n diferencial deseada.

Ejemplo. Encuentre la ecuaci�n diferencial (en la forma expl�cita) satisfecha por la familia
displaymath224
Respuesta. Hemos encontrado ya la ecuaci�n diferencial en la forma impl�cita
displaymath232
Las manipulaciones algebraicas dan
displaymath240

Reconsideremos el ejemplo de las dos familias
displaymath200
Si dibujamos a dos familias juntas en el mismo gr�fico conseguimos


Si analizamos el gr�fico es claro que siempre que una l�nea interseque un c�rculo, la l�nea de la tangente al c�rculo y la propia l�nea son perpendiculares u ortogonales.
Definici�n. Considere dos familias de curvas  tex2html_wrap_inline244  y  tex2html_wrap_inline246  . Decimos eso  tex2html_wrap_inline244  y  tex2html_wrap_inline246  somos ortogonales siempre que cualquier curva de  tex2html_wrap_inline244  sea perpendicular a cualquier curva de  tex2html_wrap_inline246  .
Por ejemplo, hemos visto que las familias m x  tex2html_wrap_inline258  somos ortogonales. Uno puede entonces hacer la pregunta natural siguiente:
�Dada una familia de curvas  tex2html_wrap_inline260  , es posible encontrar una familia de curvas ortogonales a  tex2html_wrap_inline260  ?
La respuesta a esta pregunta tiene muchas implicaciones en muchas �reas tales como f�sica. En general esta pregunta es muy dif�cil. Pero en algunos casos podemos poder continuar los c�lculos y encontrar a la familia ortogonal. Demostremos c�mo.

Considere la familia de curvas  tex2html_wrap_inline260  . Asumimos que una ecuaci�n diferencial asociada puede ser encontrada. Sea
displaymath234
Sabemos que para cualquier curva de la familia que pasa por el punto ( x , y), la pendiente de la tangente a este punto es ( x , y). Por lo tanto la pendiente  de la perpendicular (u ortogonal) a esta tangente es  tex2html_wrap_inline272  , la cu�l debe ser la pendiente de la l�nea de la tangente a la curva ortogonal que pasa por el punto ( x , y). Es decir la familia de curvas ortogonales es solucion a la ecuaci�n diferencial
displaymath276
Luego ese es el camino a seguir.

Dada una familia de curvas  tex2html_wrap_inline260  . Para encontrar a la familia ortogonal, utilizamos los pasos pr�cticos siguientes
 
Paso 1. Encuentre la ecuaci�n diferencial asociada.
 
Paso 2. Reescriba esta ecuaci�n diferencial en la forma expl�citadisplaymath234
 
Paso 3. Anote la ecuaci�n diferencial asociada a la familia orthogonaldisplaymath276
 
Paso 4. Solucione la nueva ecuaci�n. Las soluciones son exactamente la familia de curvas ortogonales.
 
Ejemplo. Encuentre a familia ortogonal a la familia de c�rculos
displaymath284
Respuesta. Primero, buscamos la ecuaci�n diferencial satisfecha por los c�rculos. Diferenciamos respecto a x para conseguir
displaymath288
Reescribimos esta ecuaci�n en la forma expl�cita
displaymath290
Anotamos despu�s la ecuaci�n diferencial para la familia ortogonal
displaymath292
�sta es lineal as� como variables separadas. Si utilizamos la t�cnica de ecuaciones lineales, conseguimos el factor que integra
displaymath294
lo cu�l da
displaymath296
Reconocemos la familia de l�neas y confirmamos nuestra observaci�n anterior (que las dos familias son de hecho ortogonales).

Este ejemplo es de alguna manera f�cil y fue dado aqu� para ilustrar la t�cnica.

Ejemplo. Encuentre a familia ortogonal a la familia de c�rculos
displaymath298


Respuesta. Hemos visto antes que es la ecuaci�n diferencial expl�cita asociada a la familia de c�rculos
displaymath300
Por lo tanto la ecuaci�n diferencial para la familia ortogonal est�
displaymath302
Es una ecuaci�n homog�nea. Utilicemos la t�cnica desarrollada para solucionar esta clase de ecuaciones. Considere la nueva variable  tex2html_wrap_inline304  (o equivalente z). Entonces tenemos
displaymath308
y
displaymath310
Por lo tanto tenemos
displaymath312
Las manipulaciones algebraicas implican
displaymath314
Esto es una ecuaci�n en variables separadas. Las soluciones constantes son
displaymath316
lo cu�l da = 0. Se encuentran las soluciones no-constantes una vez que separemos las variables
displaymath320
y entonces integramos
displaymath322
Antes de que realicemos la integraci�n para el lado izquierdo, necesitamos utilizar t�cnica de la descomposici�n. Tenemos
displaymath324
De An�lisis Matem�tico II sabemos calcular que  = 1, = - 2, y = 0. Por lo tanto tenemos
displaymath332
Por lo tanto
displaymath334
lo cu�l es equivalente a
displaymath336
donde  tex2html_wrap_inline338  . Poniendo todas las soluciones juntas conseguimos
displaymath340
Yendo de nuevo a la y variable , conseguimos
displaymath344
o equivalentemente
displaymath346
Reconocemos una familia de los c�rculos centrados en el eje y, y la l�nea = 0 (el eje x como cab�a esperar)


Si ponemos a ambas familias juntas, apreciamos mejor la ortogonaliad de las curvas (v�ase el cuadro abajo).

No hay comentarios:

Publicar un comentario