4.1. Trayectorias ortogonales.

La familia uniparamtrica de curvas f(t,y,a) = 0 es es la solucin general de la ecuacin diferencial F(t,y,y') = f f 0, que se obtiene eliminando el parmetro 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 solucin de la ecuacin diferencial 1 F(t,y,- ) = 0. y'

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

Solucin
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 ecuacin diferencial que verifican las trayectorias ortogonales a la familia de curvas dadas se obtiene sustituyendo y' por 1/y' en la ecuacin 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 explcita, han salido dos soluciones, que podemos englobar en la expresin implcita 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 ecuacin diferencial de la familia uniparamtrica de curvas y 2 + 2 a x = a2 . b) Hallar la ecuacin 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.

Solucin

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

Untitled-6

fam412 = y@xD ^ 2 + 2 a x 2 a x + y@xD2 a2

a^2

Hallamos la derivada
D@fam412, xD 2 a + 2 y@xD y @xD 0

Despejamos la constante a de la ltima expresin

constante = Solve@D@fam412, xD, aD 88a y@xD y @xD<<

Sustituimos dicho valor en la familia. Obtendremos as la E.D.O. asociada a la familia.

ecu412 = Simplify@fam412 . constante@@1DDD y@xD I2 x y @xD + y@xD I1 + y @xD2 MM 0

apartado b.
La ecuacin diferencial que verifican las trayectorias ortogonales a la familia de curvas dadas se halla sustituyendo y' por 1/y'
ecuorto412 = ecu412 . 8y '@xD 1 y '@xD< 1 i j y@xD i jy@xD j + j1 y @xD2 k k y 2x z z { y @xD
2

y z z {

Nota: Multiplicando esta E.D.O. por y En efecto

se obtiene la E.D.O. inicial.

FullSimplify@ecuorto412@@1DD y '@xD ^ 2 ecu412@@1DDD 0

Luego la E.D.O. que verifica la familia de trayectorias ortogonales es la misma que verifica la familia dada. Esta familia es una familia de curvas autoortogonales. Por cada punto pasan dos curvas de la familia, correspondientes a diferentes valores del parmetro a, que son ortogonales.

apartado c.
Dibujamos las curvas pedidas, generadas a travs de la instruccin Table, utilizando para ello el paquete ImplicitPlot. Cargamos el paquete
<< Graphics`ImplicitPlot`

representamos las curvas

Untitled-6

ImplicitPlot@Table@y ^ 2 + 2 a x

a ^ 2, 8a, 4, 4<D, 8x, 3, 3<, AspectRatio 1D;

Solve::svars : Equations may not give solutions for all "solve" variables. 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.

Nota: Para ver que es una familia autoortogonal representamos las curvas que pasan por un punto del plano por
ejemplo el (0,2). Hallamos los valores del parmetro a, para que las curvas pasen por dicho punto.
Solve@fam412 . 8x 0, y@xD 2<, aD 88a 2<, 8a 2<<

Representamos las curvas

ImplicitPlot@8Hy ^ 2 + 2 a x a ^ 2L . a 2, Hy ^ 2 + 2 a x 8x, 3, 3<, AspectRatio 1D;
4 2 -3 -2 -1 -2 -4 1 2 3

a ^ 2L . a 2 <,

Son ortogonales.

Ejemplo 4.1.3.
Representar algunas curvas de de la familia de curvas ortogonales a la familia de hiprbolas x2 a2 y 2 = a2 .

Solucin
Definimos la familia con y funcin de x, borrando las posibles asignaciones.
Clear@yD fam413 = x ^ 2 a ^ 2 y@xD ^ 2 x2 a2 y@xD2 a2 a^2

Hallamos la derivada
D@fam413, xD 2 x 2 a2 y@xD y @xD 0

Despejamos la constante a de la ltima expresin

Untitled-6

constante = Solve@D@fam413, xD, aD !!!! !!!! x x ::a !!!!!!!!!!!! !!!!!!!!!!!!!! >, :a !!!!!!!!!!!! !!!!!!!!!!!!!! >> y@xD y @xD y@xD y @xD

Sustituimos dicho valor en la familia. Escogemos la primera solucin pues en la ecuacin la constante aparece elevada al cuadrado. Obtendremos as la E.D.O. asociada a la familia.
ecu413 = Simplify@fam413 . constante@@1DDD x Jx y@xD N y @xD x y@xD y @xD

La ecuacin diferencial que verifican las trayectorias ortogonales a la familia de curvas dadas se halla sustituyendo y' por 1/y'
ecuorto413 = Simplify@ecu413 . 8y '@xD 1 y '@xD<D x Jx + y @xD + y@xD y @xDN y@xD 0

Resolvemos esta E.D.O.

solorto4131 = DSolve@ecuorto413, y@xD, xD
InverseFunction::ifun : Inverse functions are being used. Values may be lost for multivalued inverses. More Solve::ifun : Inverse functions are being used by Solve, so some solutions may not be found; use Reduce for complete solution information. More

!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 99y@xD ProductLog@ex2 +2 C@1D D =, 9y@xD ProductLog@ex2 +2 C@1D D ==

Definimos las soluciones y representamos algunas de ellas

solprim4131@x_D = solorto4131@@1, 1, 2DD . C@1D c !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ProductLog@e2 cx2 D solseg4131@x_D = solorto4131@@2, 1, 2DD . C@1D c !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! ProductLog@e2 cx2 D Table@solprim4131@xD, 8c, 0, 3<D !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! 9 ProductLog@ex2 D , ProductLog@e2x2 D , ProductLog@e4x2 D , ProductLog@e6x2 D = graf4131 = Plot@Evaluate@Table@solprim4131@xD, 8c, 0, 2, .5<DD, 8x, 2, 2<D;
-2 -1 -0.25 -0.5 -0.75 -1 -1.25 -1.5 -1.75 1 2

Untitled-6

graf4132 = Plot@Evaluate@Table@solseg4131@xD, 8c, 0, 2, .5<DD, 8x, 2, 2<D;

1.75 1.5 1.25 1 0.75 0.5 0.25 -2 -1 1 2

Y ahora las dos

Show@graf4131, graf4132D;
1.5 1 0.5

-2

-1 -0.5 -1 -1.5

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, 8a, 1, 1, .5<D, 8x, 1.5, 1.5<, PlotStyle > RGBColor@1, 0, 0DD;
Solve::svars : Equations may not give solutions for all "solve" variables. More

-1.5 -1 -0.5

0.5 1 1.5

-1

-2

Untitled-6

Y ahora las curvas de las dos familias

Show@graf4131, graf4132, graf4133, AspectRatio AutomaticD;

-2

-1

-1

-2

Las curvas son ortogonales