4.1. Trayectorias ortogonales.

La familia uniparamétrica de curvas f(t,y,a) = 0 es es la solución general de la ecuación diferencial F(t,y,y') = ∑f ∑f 0, que se obtiene eliminando el parámetro a en el sistema de ecuaciones f(t,y,a) = 0, ÅÅÅÅÅÅÅÅÅ + ÅÅÅÅÅyÅ y' =0, ∑t ∑ ÅÅÅ Las trayectorias ortogonales a esta familia de curvas se obtienen hallando la solución de la ecuación diferencial 1 F(t,y,- ÅÅÅÅÅ ) = 0. y'

Ejemplo 4.1.1.
Determinar las trayectorias ortogonales a la familia de curvas que satisface la ecuación diferencial y− 1 xy =0 2

Solución
Definimos E.D.O. de la familia de curvas.
ecu411 = y@xD − y@xD − 1 2 x y @xD 0 0

1 x y @xD 2

La ecuación diferencial que verifican las trayectorias ortogonales a la familia de curvas dadas se obtiene sustituyendo y' por 1/y' en la ecuación diferencial anterior.
ecuorto411 = ecu411 ê. 8y '@xD → −1 ê y '@xD< y@xD + x 2 y @xD 0

Resolvemos esta E.D.O.
DSolve@ecuorto411, y@xD, xD ::y@xD → − è!!!!!!!!!!!!!!!!!!!!!!!!!!!!! è!!!!!!!!!!!!!!!!!!!!!!!!!!!!! −x2 + 4 C@1D −x2 + 4 C@1D >, :y@xD → >> è!!!! è!!!! 2 2

Dado que Mathematica, siempre que puede, escribe las soluciones en forma explícita, han salido dos soluciones, que podemos englobar en la expresión implícita x2 + 2 y2 = b, que engloba a todas las soluciones reales y en la que hemos denotado 4 C[1] = b. Esta es la familia de trayectorias ortogonales.

Ejemplo 4.1.2.
a) Hallar la ecuación diferencial de la familia uniparamétrica de curvas y 2 + 2 a x = a2 . b) Hallar la ecuación diferencial de la familia de trayectorias ortogonales a las curvas dadas. c) Dibujar unas pocas curvas de la familia, para valores de a entre -4 y 4.

Solución

apartado a.
Definimos la familia con y función de x, borrando las posibles asignaciones.
Clear@yD

La ecuación diferencial que verifican las trayectorias ortogonales a la familia de curvas dadas se halla sustituyendo y' por 1/y' ecuorto412 = ecu412 ê. que verifica la familia de trayectorias ortogonales es la misma que verifica la familia dada. generadas a través de la instrucción Table.O.D. Por cada punto pasan dos curvas de la familia. correspondientes a diferentes valores del parámetro a. apartado c.O. que son ortogonales.D. inicial. FullSimplify@−ecuorto412@@1DD ∗ y '@xD ^ 2 − ecu412@@1DDD 0 Luego la E. Dibujamos las curvas pedidas. constante@@1DDD y@xD I2 x y @xD + y@xD I−1 + y @xD2 MM 0 apartado b.O. utilizando para ello el paquete ImplicitPlot. 8y '@xD → −1 ê y '@xD< 1 i j y@xD i jy@xD j + j−1 y @xD2 k k y− 2x z z { y @xD 2 y z z { 0 Nota: Multiplicando esta E.2 Untitled-6 fam412 = y@xD ^ 2 + 2 ∗ a ∗ x 2 a x + y@xD2 a2 a^2 Hallamos la derivada D@fam412. Cargamos el paquete << Graphics`ImplicitPlot` representamos las curvas .D. asociada a la familia. Obtendremos así la E.D.O. Esta familia es una familia de curvas autoortogonales. aD 88a → −y@xD y @xD<< Sustituimos dicho valor en la familia. ecu412 = Simplify@fam412 ê. xD. xD 2 a + 2 y@xD y @xD 0 Despejamos la constante a de la última expresión constante = Solve@D@fam412. por y En efecto se obtiene la E.

8a → 2<< Representamos las curvas ImplicitPlot@8Hy ^ 2 + 2 a ∗ x a ^ 2L ê.Untitled-6 3 ImplicitPlot@Table@y ^ 2 + 2 a ∗ x a ^ 2. 8x. aD 88a → −2<. Hy ^ 2 + 2 a ∗ x 8x. Clear@yD fam413 = x ^ 2 − a ^ 2 ∗ y@xD ^ 2 x2 − a2 y@xD2 a2 a^2 Hallamos la derivada D@fam413.3. a → −2 <. borrando las posibles asignaciones. Son ortogonales. Solve::svars : Equations may not give solutions for all "solve" variables. y@xD → 2<. Solución Definimos la familia con y función de x. 4<D. xD 2 x − 2 a2 y@xD y @xD 0 Despejamos la constante a de la última expresión . More… ImplicitPlot::epfail : Equation y2 6 4 2 -3 -2 -1 -2 -4 -6 1 2 3 0 could not be solved for points to plot. a → 2. Nota: Para ver que es una familia autoortogonal representamos las curvas que pasan por un punto del plano por ejemplo el (0. −3. 3<. 3<. −3. Representar algunas curvas de de la familia de curvas ortogonales a la familia de hipérbolas x2 − a2 y 2 = a2 . AspectRatio → 1D. 4 2 -3 -2 -1 -2 -4 1 2 3 a ^ 2L ê. −4. AspectRatio → 1D. Hallamos los valores del parámetro a. 8x → 0.1. Solve@fam412 ê. para que las curvas pasen por dicho punto. Ejemplo 4. 8a.2).

0.O. 8c. y@xD. -2 -1 -0.25 -1. 8x. 3<D è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 9− ProductLog@e−x2 D . solorto4131 = DSolve@ecuorto413. 2DD ê.D. − ProductLog@e4−x2 D . 9y@xD → ProductLog@e−x2 +2 C@1D D == Definimos las soluciones y representamos algunas de ellas solprim4131@x_D = solorto4131@@1.5 -1. constante@@1DDD x Jx − y@xD N y @xD x y@xD y @xD La ecuación diferencial que verifican las trayectorias ortogonales a la familia de curvas dadas se halla sustituyendo y' por 1/y' ecuorto413 = Simplify@ecu413 ê. so some solutions may not be found.5 -0. aD è!!!! è!!!! x x ::a → − è!!!!!!!!!!!! è!!!!!!!!!!!!!! >. Values may be lost for multivalued inverses. 1. :a → è!!!!!!!!!!!! è!!!!!!!!!!!!!! >> y@xD y @xD y@xD y @xD Sustituimos dicho valor en la familia. 0. asociada a la familia.4 Untitled-6 constante = Solve@D@fam413.D. ecu413 = Simplify@fam413 ê. −2. More… è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 99y@xD → − ProductLog@e−x2 +2 C@1D D =. xD.O. − ProductLog@e2−x2 D . 8c. .75 1 2 . Obtendremos así la E. C@1D → c è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! − ProductLog@e2 c−x2 D solseg4131@x_D = solorto4131@@2. use Reduce for complete solution information. 2.5<DD.75 -1 -1. 2<D. 1. C@1D → c è!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ProductLog@e2 c−x2 D Table@solprim4131@xD. 2DD ê. Escogemos la primera solución pues en la ecuación la constante aparece elevada al cuadrado. More… Solve::ifun : Inverse functions are being used by Solve. 8y '@xD → −1 ê y '@xD<D x Jx + y @xD + y@xD y @xDN y@xD 0 Resolvemos esta E. − ProductLog@e6−x2 D = graf4131 = Plot@Evaluate@Table@solprim4131@xD.25 -0. xD InverseFunction::ifun : Inverse functions are being used.

.75 1.5 -1 -1. 0DD. 1. 1. 1. 1.5 1 0. 0. −1.5 1.75 0. PlotStyle −> RGBColor@1.5 1 2 Para ver que la familia de curvas obtenidas es la familia ortogonal representaremos algunas de las curvas de la familia original graf4133 = ImplicitPlot@Table@x ^ 2 − a ^ 2 ∗ y ^ 2 a ^ 2. −2.Untitled-6 5 graf4132 = Plot@Evaluate@Table@solseg4131@xD.5 -1 -0.5 -2 -1 -0. 8x.5.5 0.25 1 0. Solve::svars : Equations may not give solutions for all "solve" variables.5 1 1. 2<D. 8a.5 0.5<DD. graf4132D. 2.5 -1 -2 . More… 2 1 -1. 8c. 8x.5<D.5<. . −1. 0.25 -2 -1 1 2 Y ahora las dos Show@graf4131.

graf4132. 2 1 -2 -1 1 2 -1 -2 Las curvas son ortogonales .6 Untitled-6 Y ahora las curvas de las dos familias Show@graf4131. graf4133. AspectRatio → AutomaticD.

Sign up to vote on this title
UsefulNot useful