Aplicacin de Software para la Enseanza de las Ciencias Bsicas Matemticas Prctica

Prctica 5. Resolviendo ecuaciones separables. Objetivo: resolver ecuaciones separables en Maple. La ecuacin y ' = x 1 + y 2

) es separable. Si se define esta ecuacin en Maple y se aplica

edo := diff ( y ( x), x) = x *(1 + y ( x) 2 ) dsolve(edo, y ( x))

el comando dsolve como sigue:

x2 se obtiene efectivamente y = tan + c como solucin. Sin embargo, al querer resolver 2 x y'= se obtienen las soluciones y ( x) = x 2 + c , y ( x) = x 2 + c , que y
efectivamente son soluciones. Sin embargo al aplicar el proceso de separacin de variables se obtiene la solucin implcita conocida x 2 + y 2 = c . Cmo se puede indicar a la computadora que se trata de una ecuacin separable y que la resuelva por este mtodo? La respuesta es muy sencilla, se ejecuta la siguiente instruccin:

edo := diff ( y ( x), x) =

x : y ( x) dsolve(edo,[ separable], useInt ) : value(%)

lo que devolver la solucin que se habl al principio. Para un PVI la situacin es un poco diferente, pues para resolver el PVI

2x +1 5 y4 + 1 y (2) = 1 y'=
se realizar la siguiente instruccin:

edo 2 := diff ( y ( x), x) = a := value(%)

2x +1 : 5* y ( x) 4 + 1 dsolve(edo 2,[ separable], useInt ) : subs ([ x = 2, y ( x) = 1], a ) solve(4 + _ C1 = 0, _ C1)

2009

Pgina 1 de 5

Aplicacin de Software para la Enseanza de las Ciencias Bsicas Matemticas Prctica

Ejercicio 1. Resuelva las siguientes EDOs separables. 1. y ' = sin 5 x . 2. y ' = ( x + 1) .
2

3. y ' =

3x 2 + 2 x + 1 . y2

4. xy '+ y 2 + y = 0 . 5.

dy = e3 x + 2 y . dx

6.

dy xy + 3 x y 3 = . dx xy 2 x + 4 y 8

7. 3 y 3 + 3 y cos y + 1 y '+

( 2 x + 1) y = 0 .
1 + x2

Una forma sencilla de obtener la representacin grfica de soluciones implcitas de EDOs es utilizando el comando contourplot que se encuentra en el package plots. Por ejemplo para obtener las circunferencias soluciones de la segunda EDO planteada se escribe:

with( plots ) : contourplot ( x 2 + y 2 , x = 3..3, y = 3..3)

El resultado de esto se encuentra en la figura 1. .

2009

Pgina 2 de 5

Aplicacin de Software para la Enseanza de las Ciencias Bsicas Matemticas Prctica

Figura 1

Ejercicio 2. Encuentre todas las soluciones. Tambin, dibuje un campo direccional y algunas curvas integrales en la regin rectangular dada. 1. y ' = x 2 1 + y 2 ,

) {1 x 1, 1 y 1} .
{2 x 2, 1 y 1} . {2 x 2, 2 y 5} .

2. y ' 1 + x 2 + xy = 0, 3. ( y 1) y ' = 2 x + 3,
2

Ejercicio 3. Resuelva los siguientes PVIs y grafique la solucin obtenida. 1. 3 y 2 + 4 y y '+ 2 x + cos x = 0, y (0) = 1 . 2. y '+ 2 x ( y + 1) = 0, y (0) = 2 . 3. y '+

( y + 1)( y 1)( y 2 ) = 0, y(1) = 0 .

x +1

4. y ' = 2 xy 1 + y 2 , y (0) = 1 . Ejercicio 4. Una epidemia se propaga en un poblacin a una razn proporcional al producto del nmero de personas ya infectadas y al nmero de personas susceptibles, pero que an no se han infectado. Se infiere que si S denota la poblacin de personas susceptibles e I = I (t ) denota el nmero de personas infectadas en el tiempo t, entonces

2009

Pgina 3 de 5

Aplicacin de Software para la Enseanza de las Ciencias Bsicas Matemticas Prctica I ' = rI ( S I ) , donde r es una constante positiva. Suponiendo que I (0) = I 0 , encuentre I (t ) para t > 0 y demuestre que lim I (t ) = S .
t

Ejercicio 5. El resultado del ejercicio anterior es desalentador: si cualquier miembro es susceptible del grupo est de inicio infectado, entonces a la larga todos los miembros susceptibles estarn infectados! Desde una nota ms optimista, suponga que la enfermedad se propaga de acuerdo con el modelo del ejercicio anterior, pero que hay un medicamento que cura a la poblacin infectada a una razn proporcional al nmero de individuos infectados. Ahora la ecuacin para el nmero de individuos infectados toma la forma I ' = rI ( S I ) qI donde q es una constante positiva. Escoja r y S positivos. Dibujando campos direccionales y soluciones de esta ecuacin sobre retculas adecuadas en el plano tI, verifique que si I es una solucin de esta ecuacin, tal que I (0) > 0 entonces lim I (t ) = S
t

q si q < rs , mientras que lim I (t ) = 0 t r

si q rS . Ejercicio 6. Considere la EDO

y ' = ay by 2 q

(1.1)

Donde a, b son constantes positivas y q es una constante arbitraria. En lo sucesivo, y denota una solucin de (1.1) que satisface la condicin inicial y (0) = y0 .

a2 . Dibuje campos direccionales y soluciones de (1.1) a) Escoja a y b positivas y q < 4b sobre retculas adecuadas en el planto ty descubra que hay nmeros y1 y y2 con y1 < y2 tales que si y0 > y1 , entonces lim y (t ) = y2 , mientras que si y0 < y1
t

entonces y (t ) = para algn valor finito de t. Qu sucede si y0 = y1 ? b) Escoja a y b positivas y q =

a2 . Mediante campos direccionales y soluciones de 4b (1.1) sobre retculas rectangulares descubra que hay un nmero y1 , tal que si y0 y1 , entonces lim y (t ) = y1 ; mientras que si y0 < y1 entonces y (t ) = para
t

algn valor finito de t. c) Escoja a y b positivas y q >

a2 . Mediante campos direccionales y soluciones de 4b

(1.1) sobre retculas rectangulares descubra que independientemente de qu valor tenga y0 , y (t ) = para algn valor finito de t.

2009

Pgina 4 de 5

Aplicacin de Software para la Enseanza de las Ciencias Bsicas Matemticas Prctica

La cantidad q0 =

a2 se llama valor de bifurcacin de q . En general si q es un parmetro 4b en cualquier EDO, se dice que q0 es un valor de bifurcacin de q si la naturaleza de las q > q0 .

soluciones con q < q0 es cualitativamente diferente de la naturaleza de las soluciones con

2009

Pgina 5 de 5