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

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

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

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

Untitled-6 5 graf4132 = Plot@Evaluate@Table@solseg4131@xD.5 0. 8a.5 1 0. PlotStyle −> RGBColor@1.25 -2 -1 1 2 Y ahora las dos Show@graf4131.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. 0.5<. graf4132D. 1.75 1. 2. 1. 1.5 -2 -1 -0. −1.5 1 1. −1.5 0.5 -1 -0.75 0. 8c. −2. Solve::svars : Equations may not give solutions for all "solve" variables. 8x.5 -1 -2 . 1. 0DD.25 1 0. .5<DD.5 1.5.5 -1 -1. .5<D. 2<D. More… 2 1 -1. 0. 8x.

AspectRatio → AutomaticD. 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. graf4132. graf4133.

Sign up to vote on this title
UsefulNot useful