Son las que tienen la forma F (x, y, y ) = 0. APARTADO 7. F algebraica en y de grado n.

Supongamos que tenemos (y )n + a1 (x, y)(y )n1 + + an1 (x, y)y + an (x, y) = 0.

RECETA 7. F algebraica en y de grado n. Tenemos (y )n + a1 (x, y)(y )n1 + + an1 (x, y)y + an (x, y) = 0. Resolvindolo como un polinomio en y de grado n igualado a cero e obtenemos (y f1 (x, y))(y f2 (x, y)) (y fn (x, y)) = 0. Por tanto, las soluciones de la E. D. de partida sern las soluciones de a cada una de las ecuaciones y fi (x, y) = 0, i = 1, 2, . . . , n.

ww

w.

Por lo tanto, las soluciones de la E. D. de partida sern las de cada una de las nuevas a ecuaciones diferenciales y fi (x, y) = 0, i = 1, 2, . . . , n, que habr que resolver. De esta a forma obtenemos n familias uniparamtricas de soluciones. e

at

em

at

(y f1 (x, y))(y f2 (x, y)) (y fn (x, y)) = 0.

ic a1

Si pensamos en la expresin anterior como en un polinomio en y de grado n igualado o a cero, y logramos resolver la expresin algebraica, obtenemos las ra o ces y = fi (x, y), i = 1, 2, . . . , n. Es decir,
.c om

Ejemplo 7. Resolver y 2 ((y )2 + 1) = 1. cuyas soluciones algebraicas son y = y . Despejando (y ) queda (y ) = Vamos a resolver estas dos nuevas ecuaciones diferenciales a la vez (ambas son de variables y 1 y 2 = x + C. Si separadas). Si las ponemos como dy 2 = dx, integrando,
2 2 1y 1y 2 y2 ,

1y 2

elevamos al cuadrado ambos trminos, podemos expresar conjuntamente las dos familias e de soluciones como 1y 2 = (x+C)2 , es decir, (x+C)2 +y 2 = 1, que son las circunferencias con centro en el eje x y radio 1. Por ultimo, es evidente que y = 1 e y = 1 tambin son soluciones de la E. D., e aunque no se encuentran entre las que acabamos de hallar. Si atendemos a la interpretacin o geomtrica de las ecuaciones diferenciales, es lgico que estas dos rectas sean soluciones, e o ya que son las envolventes de la familia de circunferencias que satisfacen la E. D. Obtencin de la envolvente de una familia de curvas. o Recordemos qu es una envolvente: Dada una familia uniparamtrica de curvas e e { }A en el plano, la envolvente de la familia es una nueva curva tal que, en cada punto de contacto de con alguna de las , la tangente de y de es la misma. Supongamos en primer lugar que tenemos una familia de curvas expresadas impl citamente como F (x, y, C) = 0 (es decir, para cada valor del parmetro C aparece a una curva de la familia). Las envolventes se obtienen eliminando C del sistema F (x, y, C) = 0 , FC (x, y, C) = 0
.c om

ww

w.

En el caso de las circunferencias del ejemplo anterior tendr amos (x + C)2 + y 2 = 1 . 2(x + C) = 0 Despejando en la segunda ecuacin, x = C y, sustituyendo en la primera, y 2 = 1. Es o decir, las envolventes son las rectas y = 1. En segundo lugar, supongamos que tenemos la familia de curvas en paramtricas e x = x(t, C) . y = y(t, C) Las envolventes se obtienen despejando C = C(t) en el jacobiano igualado a cero det xC xt yC yt =0

donde con FC hemos denotado la derivada parcial de F respecto a C.

at

em

at

ic a1

y sustituyendo en las ecuaciones paramtricas. e Realmente, con estos procedimientos no slo aparecen las envolventes, sino tambin o e los lugares geomtricos de puntos singulares, ya sea de puntos de retroceso, de puntos de e inexin o de cspides. (En los puntos de retroceso no hay vector tangente, y surgen en o u el proceso anterior sea cual sea la parametrizacin de las curvas; en cambio, los puntos o de inexin y las cspides pueden aparecer o no segn sea la parametrizacin usada. Por o u u o ejemplo, nunca surgen al usar el parmetro arco. Por esta razn, a los primeros se les a o llama puntos singulares esenciales y, a los otros, puntos singulares evitables.) En todo caso, despus de aplicar estos mtodos, hay que comprobar siempre qu es lo que hemos e e e encontrado. APARTADO 8. Ecuacin de la forma y = f (x, y ). o Como procedimiento general para intentar resolver este tipo de ecuaciones, tomamos y = p y derivamos y = f (x, y ) respecto de x, con lo cual tenemos p = y = fx + fy dy = fx (x, p) + fy (x, p)p . dx
om

expresado como una familia de curvas en paramtricas. Puede resultar extrao pensar que e n dy el parmetro p vale precisamente dx ; pero esto no importa en absoluto, sino que puede a considerarse una simple curiosidad. Sin embargo, no siempre ocurre, para una funcin f genrica, que el proceso anterior o e conduzca a una ecuacin reconocible. Esto s que sucede en los tres casos que estudiamos o a continuacin: o 8.1. Ecuacin o y = f (y ). En este caso, como f (x, y ) = f (y ), se tiene fx (x, p) = 0, luego con el proceso descrito habremos obtenido la ecuacin p = fp (p)p o, lo que es lo mismo, p = f (p)p . Si p = 0, o (p) a esto lo podemos poner como dx = f p dp, que es de variables separadas. Integrndola, x=
f (p) p

dp = (p) + C, y las soluciones de y = f (y ) sern las curvas a x = (p) + C . y = f (p)

ww

w.

at

x = (p, C) , y = f ((p, C), p)

em

at

ic a1

(Quizs resulte ms sencillo interpretar esto como que derivamos y = f (x, p) respecto de a a x, obtenindose directamente p = fx + fp p .) Cuando f tiene la forma adecuada, la nueva e ecuacin p = fx (x, p)+fp (x, p)p que hemos encontrado puede ser de alguno de los tipos ya o estudiados. Si ste es el caso, la resolvemos, obteniendo su solucin x = (p, C). Entonces, e o la solucin de la E. D. de partida ser o a
.c

Notar, a la vista de su representacin paramtrica, que todas ellas tienen la misma forma: o e se diferencian unicamente en un desplazamiento horizontal. A partir de p = 0 obtenemos la solucin constante y = f (0) (al sustituir en la ecuacin o o queda f (0) = f (0)). Grcamente, esto es una recta envolvente de las dems soluciones. a a 8.2. Ecuacin de Lagrange: o y + x(y ) + (y ) = 0. Si ponemos y = p y derivamos respecto de x queda p + (p) + x (p) dp dp + (p) =0 dx dx

que, si lo preferimos, podemos escribir como (p + (p)) dx + x (p) dp + (p) dp = 0. Supongamos en primer lugar que p + (p) = 0. Entonces, podemos dividir por p + (p), con lo que nos aparece la ecuacin lineal o (p) (p) dx + x+ =0 dp p + (p) p + (p) en la que x acta como funcin y p como variable. Si la resolvemos, obtendremos como u o solucin x = (p, C). Con esto, habremos encontrado para la E. D. de Lagrange las o soluciones x = (p, C) y = (p, C)(p) (p) en forma de familia de curvas paramtricas. e Supongamos ahora que existe algn para el cual + () = 0. Formalmente, u tomamos y = y, sustituyendo en la E. D., y + x() + () = 0, es decir, y = x (). Esta recta es, efectivamente, solucin de la ecuacin de Lagrange, sin ms que comprobar o o a que la satisface: x () + x() + () = 0 pues + () = 0. Estas rectas decimos que son las soluciones singulares de la ecuacin. Adems, rec o a procamente, vamos a ver que si y = x () es solucin de la E. D., entonces se cumple que + () = 0. Para ello, no o hay ms que utilizar que y = x () satisface la ecuacin, con lo cual deber cumplirse a o a 0 = x () + x() + () = ( + ())x, luego + () = 0. 8.3. Ecuacin de Clairaut: o y xy + (y ) = 0. , Este es un caso particular de ecuacin de Lagrange con (y ) = y . Aqu como o () + = 0 para todo R, no existen las soluciones que, en la ecuacin de Lagrange, o encontrbamos por el mtodo general; slo aparecen rectas. En realidad, tenemos ahora a e o como soluciones de la E. D. toda la familia de rectas y = x (), R.

ww

w.

at

em

at

ic a1

.c

om

Vamos a ver que, adems, existe una solucin singular, la envolvente de este haz de a o rectas. Para ello, planteamos el sistema y = x () 0 = x () en el que la segunda ecuacin es la primera derivada respecto al parmetro . Para o a encontrar expl citamente la envolvente habr que despejar en una de las dos ecuaciones a y sustituir en la otra, lo cual no siempre es posible. Pero podemos dejar su ecuacin o paramtrica que, obviamente, ser e a x = () . y = () () Aparte de la consideracin geomtrica de que las rectas no tienen puntos de retroceso, o e cspides o puntos de inexin, realmente podemos garantizar que esta curva es una u o envolvente y no un lugar geomtrico de puntos singulares. En efecto, en cada punto e (x(), y()) de la curva, esta interseca precisamente a la recta y = x () del haz; y la pendiente de esa recta en el punto de interseccin (y en cualquier otro, de hecho), que o es , coincide con la de la curva:

De paso, esto signica que las soluciones rectas son las tangentes de la solucin singular. o Realmente, podemos hallar las soluciones de la ecuacin de Clairaut sin necesidad de o saber que es un caso particular de la ecuacin de Lagrange cuyas soluciones son rectas y su o envolvente. Para ello, tomamos y = p en la E. D. y derivamos la expresin yxp+(p) = 0 o respecto de x, obteniendo p p xp + (p)p = 0, es decir, (x + (p))p = 0. De d2 aqu p = 0 o (p) = x. En primer lugar, si suponemos dxy = p = 0, tendremos , 2 dy = p = constante; sustituyendo en la E. D. encontramos la familia de soluciones rectas dx y = x (), R. En segundo lugar, si suponemos (p) = x, encontramos la solucin o dada paramtricamente por e x = (p) y = p (p) (p)

ww

w.

at

em

at

ic a1

dy/d () + () () dy = = = . dx dx/d ()
.c

om

(donde, anecdticamente, el parmetro p coincide con p = o a la envolvente del haz de rectas. Ejemplo 8.1. Resolver y = (y )2 + 2(y )3 .

dy dx );

sta es la solucin singular, e o

Tomando y = p podemos poner y = p2 + 2p3 . Derivando respecto de x tenemos y = p = 2pp + 6p2 p = (2p + 6p2 )p , es decir, p = (2 + 6p)pp . Para p = 0, simplicamos

RECETA 8. Ecuacin de la forma y = f (x, y ). o En general, se toma y = p y se deriva la ecuacin y = f (x, y ) o respecto de x. Si f tiene la forma adecuada, a la nueva E. D. se le puede aplicar alguno de los mtodos ya estudiados, procedindose as e e a su resolucin. o 8.1. Cuando y = f (y ), la ecuacin que se obtiene mediante el proceso anterior es de variables o separadas. 8.2. Ecuacin de Lagrange: o y + x(y ) + (y ) = 0. Se reduce a una ecuacin lineal con x como funcin y p como variable. o o Adems, para los tales que + () = 0 se obtienen como soluciones a las rectas y = x (). 8.3. Ecuacin de Clairaut: o
om

y xy + (y ) = 0.

Es un caso particular de ecuacin de Lagrange en el que slo aparecen o o rectas (y su envolvente).

w.

ww

por p, con lo que 1 = (2 + 6p)p , es decir, dx = (2 + 6p) dp. Integrando, obtenemos como solucin la familia de curvas paramtricas o e

at

x = 2p + 3p2 + C y = p2 + 2p3

em

at
. Adems, a partir de p = 0 se tiene la solucin singular y = 0. a o Para concluir el ejemplo, vamos a ver qu obtenemos si intentamos encontrar la e envolvente de la familia de curvas paramtricas anteriores. Se tiene e det 1 2 + 6p 0 2p + 6p2 = p(2 + 6p) = 0 p = 0 o p =
1 3 .

Con p = 0 obtenemos la recta y = 0 que, efectivamente, es solucin de la E. D.: es o 1 la envolvente de las otras soluciones. Pero con p = 1 aparece la recta y = 27 que, 3 claramente, no es solucin. En realidad, en un punto (x, y) de cualquiera de las curvas, el o vector tangente es (x, y) = ( dx , dy ) = (2 + 6p, 2p + 6p2 ). As cuando p = 0 tenemos el , dt dt vector tangente (x, y) = (2, 0); pero cuando p = 1 el vector tangente es (x, y) = (0, 0), es 3 1 decir, no hay vector tangente. Esto quiere decir que la recta y = 27 es el lugar geomtrico e de los puntos de retroceso de la familia de curvas solucin. o

ic a1

.c

Ejemplo 8.2. Resolver y = x + y 3(y )2 . Nos encontramos ante una ecuacin de Lagrange y+x(y )+(y ) = 0 con (y ) = 1 o y (y ) = y + 3(y )2 . Para resolverla, tomamos p = y y, derivando la E. D. respecto de x, tenemos p = 1 + p 6pp , es decir, (p 1) dx = (1 6p) dp. Para p = 1 podemos poner 5 dx = 16p dp = (6 p1 ) dp, ecuacin de variables separadas. (Fijarse que, al describir el o p1 proceso, hemos dicho que ten que salir aqu una ecuacin lineal; por casualidad, lo que nos a o ha aparecido es una lineal homognea, que siempre es una E. D. de variables separadas.) e Integrndola, x = 6p 5 log(p 1) + C. Sustituyendo esto y y = p en la expresin a o 2 2 2 y = x+ y 3(y ) queda y = 6p 5 log(p 1)+C +p 3p = 5p 3p 5 log(p 1)+ C. As pues, las curvas paramtricas e x = 6p 5 log(p 1) + C y = 5p 3p2 5 log(p 1) + C son soluciones de la ecuacin de Lagrange de la que part o amos. Adems de stas, a partir de p = 1 se obtiene, sin ms que sustituir literalmente en a e a 2 y = x + p 3p , la solucin singular dada por la recta y = x 2. o Ejemplo 8.3. Resolver Estamos ante una ecuacin de Clairaut y xy + (y ) = 0 con (y ) = 2(y )2 . Hemos o demostrado que, sin ms que tomar y = , las rectas y = x 22 son solucin de la a o E. D. para cada R. Calculemos su envolvente: en el sistema y = y x 2(y )2 .

(recordar que la segunda ecuacin se obtiene derivando la primera respecto al parmetro ) o a x o despejamos = 4 en la segunda ecuacin y, sustituyendo en la primera, encontramos que x2 la envolvente es la parbola y = 8 . a Por otra parte, si hubiramos intentado resolver la E. D. directamente, sin utilizar lo e que hemos demostrado previamente, tendr amos que tomar y = p, con lo cual y = px2p2 y, derivando respecto de x, p = p x + p 4pp , es decir, (x 4p)p = 0. De aqu p = 0 o , d2 y dy x = 4p. Si suponemos dx2 = p = 0, tendremos dx = p = constante, luego, sustituyendo en la E. D., hubiramos encontrado como soluciones las rectas y = x 22 , R. Por e ultimo, para hallar la solucin singular (envolvente de las rectas), si suponemos x = 4p, o tendr amos la solucin paramtrica o e x = 4p y = px 2p2 = 4p2 2p2 = 2p2

ww

w.

at

em

y = x 22 0 = x 4

at

ic a1

.c

om

lgicamente, sin ms que despejar p en la primera expresin y sustituir en la segunda, esta o a o x2 curva es la parbola y = 8 . a

APARTADO 9. Ecuacin de la forma x = f (y, y ). o Estas ecuaciones son similares a las que aparecen en el apartado 8 pero con el papel de x e y intercambiado. En general, para intentar resolverlas, tomamos y = p y derivamos , x = f (y, y ) (o, si se preere interpretarlo as x = f (y, p)) respecto de y (en lugar de respecto a x, como hac amos en el apartado 8). Esto requiere tener un poco ms de cuidado, a dx 1 1 adems de usar dy = dy/dx = p . As a , dx dp 1 = = fy (y, p) + fp (y, p) . p dy dy
dp Segn como sea f , esta nueva ecuacin p = fy (y, p) + fp (y, p) dy a la que hemos reducido u o 1 la que ten amos responde a alguno de los tipos previamente estudiados, luego podr amos resolverla. En cualquier caso, si logramos hacerlo, obtenemos su solucin y = (p, C). Con o esto, la solucin de la ecuacin de partida ser la familia de curvas paramtricas o o a e

x = f ((p, C), p) . y = (p, C) Pero no podemos asegurar que, para una funcin f cualquiera, sepamos resolver la o ecuacin intermedia que nos aparece, con lo que no habr forma de continuar el proceso. o a Se pueden estudiar casos similares a los de la forma y = f (x, y ) en los que se garantiza que el mtodo no quedar interrumpido. Los tres casos que merece la pena distinguir son e a los siguientes:
om

9.3. Ecuacin x o

y y

+ (y ) = 0.

Se deja al lector que, como ejercicio, describa el mtodo de resolucin de estos tres e o tipos de ecuaciones. Simplemente hay que dedicarse a modicar, con cuidado, el proceso utilizado en los correspondientes tipos 8.1, 8.2 y 8.3, recordando que ahora hay que derivar respecto de y en lugar de respecto de x.

RECETA 9. Ecuacin de la forma x = f (y, y ). o En general, se toma y = p y se deriva la ecuacin x = f (y, y ) o respecto de y. Segn como sea f , la nueva E. D. que as se obtiene es u ya conocida, procedindose a su resolucin. Se pueden estudiar casos e o similares a los de la forma y = f (x, y ).

ww

w.

9.2. Ecuacin x + y(y ) + (y ) = 0. o

at

9.1. Ecuacin x = f (y ). o

em

at

ic a1

.c

Ejemplo 9. Resolver x = (y )3 + y . Si tomamos

dy dx

= y = p y derivamos x = p3 + p respecto de y tenemos 1 dx dp dp 1 = = = 3p2 + , p dy/dx dy dy dy

que podemos poner como dy = (3p3 + p) dp, ecuacin en variables separadas. Integrndola, o a y = 3 p4 + 1 p2 + C. Por lo tanto, las soluciones de la ecuacin x = (y )3 + y son la familia o 4 2 de curvas paramtricas e x = p3 + p . y = 3 p4 + 1 p2 + C 4 2

APARTADO 10. Ecuacin de la forma F (y, y ) = 0. o Para intentar encontrar sus soluciones, consideremos la curva F (, ) = 0. El mtodo e de resolucin requiere que hayamos logrado encontrar previamente una representacin o o paramtrica de la curva, esto es, = (t) y = (t) tal que F ((t), (t)) = 0. Si as ha e sido, vamos ahora a efectuar el cambio de funcin y por t mediante y = (t), teniendo en o cuenta que y = (t).
dt Entonces, derivando y = (t) respecto de x tenemos y = (t) dx que, al ser y = (t), puede escribirse como dt (t) = (t) , dx

ecuacin en variables separadas. o

Si (t) no se anula, podemos poner dx = (t) dt e, integrando, x = (t) Como consecuencia, la familia de curvas paramtricas e x=
(t) (t)

ww

w.

at

em

at

ic a1

.c

om

(t) (t)

dt + C.

dt + C

y = (t) son soluciones de la E. D. de partida. Si existe algn t0 para el que (t0 ) = 0, formalmente efectuamos el siguiente u dt razonamiento: 0 = (t) dx , as que (t) = 0 y consecuentemente (t) = cte. = (t0 ), lo que nos conducir a la solucin y = (t0 ). Y, en efecto, podemos comprobar con a o rigor que esta recta horizontal es solucin de la E. D. sin ms que sustituir en ella: o a F (y, y ) = F ((t0 ), 0) = F ((t0 ), (t0 )) = 0.

RECETA 10. Ecuacin de la forma F (y, y ) = 0. o Consideramos la curva F (, ) = 0. Si encontramos una representacin paramtrica = (t), = (t), F ((t), (t)) = 0, se hace el o e cambio de funcin y por t mediante y = (t), y = (t). As derivando o , y = (t) respecto de x, aparece una ecuacin en variables separadas. o

Ejemplo 10. Resolver y 2/3 + (y )2/3 = 1. Si tomamos y = cos3 t, y = sen3 t, es claro que (cos3 t)2/3 + (sen3 t)2/3 = 1. dt Derivando y = cos3 t tenemos y = 3 cos2 t sen t dx , lo que, usando y = sen3 t, resulta ser dt sen3 t = 3 cos2 t sen t dx . Si suponemos, en primer lugar, sen t = 0, tenemos dx = 3 cost t dt = 3 cot2 t dt. sen2 Integrando x = 3 cot2 t dt = 3 (1 + cot2 t) dt + 3 dt = 3 cot t + 3t + C. Por tanto, las curvas paramtricas e x = 3 cot t + 3t + C
2

ww

w.

at

em

Por ultimo, para los t tales que sen3 t = 0, lo cual ocurre cuando t = k, k Z, aparecen como soluciones singulares, tal como justicamos al desarrollar el mtodo, las e 3 rectas horizontales y = cos (k), es decir, y = 1 e y = 1.

at

ic a1

son soluciones de la E. D. de partida.

.c

om

y = cos3 t