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

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

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

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

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

Sign up to vote on this title
UsefulNot useful