Ecuaciones Diferenciales Ordinarias de primer orden

El archivo FirstOrderODEs.mth define funciones para resolver ecuaciones diferenciales ordinarias de primer orden. Las definiciones de las funciones se leen automticamente cuando cualquiera de ellas se usa por primera vez. Las funciones con el sufijo GEN dan la solucin general (en trminos de una constante simblica). Las funciones sin el sufijo GEN nos dan una solucin particular cuando tenemos condiciones iniciales (numricas), o nos dan una solucin general en trminos de condiciones iniciales simblicas. En muchos casos, los resultados son ecuaciones en forma implcita. Adems, esas ecuaciones pueden contener integrales que Derive no pueda simplificar exactamente. Sin embargo, en algunos casos tales soluciones implcitas se consideran suficientes incluso con las integrales. Evidentemente, si una solucin implcita no contiene integrales, puede usar Resolver > Expresin para intentar obtener soluciones en forma explcita. Tanto en esta seccin como en Ecuaciones diferenciales de segundo orden y en los correspondientes archivos de utilidades, la variable x denota la variable independiente y la variable y denota la variable dependiente. Adems x0 denota el valor inicial de x, y0 denota el correspondiente valor inicial de y, es decir y0=y(x0). dy/dx se abrevia como y'. En Derive el apstrofe o la coma simple no pueden usarse para denotar las derivadas. Si quiere encontrar una solucin particular usando condiciones iniciales simblicas o numricas, lo mejor es usar la funcin que da directamente soluciones particulares, aunque siempre puede sustituir, despus de encontrar la solucin general, x0 e y0 en dicha solucin general, resolver para c (la constante) y luego sustituir este valor de c de nuevo en la solucin general... Mtodos Elementales DSOLVE1_GEN(p, q, x, y, c) solucin general de una ecuacin de la forma p(x, y) + q(x, y)y' = 0 usando la constante simblica c. Ntese que la mayora de las ecuaciones diferenciales de primer orden se pueden escribir de esa forma. DSOLVE1_GEN puede resolver ecuaciones exactas, lineales, separables, homogneas y ecuaciones con factor integrante que dependa slo de x o slo de y. Si la ecuacin no es de ninguno de los tipos anteriores, DSOLVE1_GEN devuelve la palabra "inapplicable". En este caso, se puede comprobar si se puede resolver con alguna de las funciones adicionales que aparecen en este archivo, de acuerdo con el tipo de ecuacin al que pertenezca. DSOLVE1(p, q, x, y, x0, y0) es similar a DSOLVE1_GEN, pero nos da la solucin particular para las condiciones iniciales y=y0 en x=x0. Estas condiciones iniciales pueden ser nmeros, variables, o expresiones generales. Por ejemplo, para resolver la ecuacin diferencial 2xy + (1 + x)y' = 0 con la condicin inicial y=1 en x=0, simplifique la expresin DSOLVE1(2xy, 1 + x^2, x, y, 0, 1) Se obtiene la solucin en forma implcita x^2y + y - 1 = 0 Para verificar que satisface la condicin inicial, haga x=0 y y=1 en la solucin. Al simplificar, comprobar que se obtiene la identidad 0=0. La funcin de diferenciacin implcita IMP_DIF del archivo DifferentiationApplications.mth puede ser

til para verificar una solucin implcita de una ecuacin diferencial. Por ejemplo, para verificar la solucin implcita anterior, introduzca la expresin 2xy + (1 + x^2)IMP_DIF(x^2y + y - 1, x, y) y vea que da 0=0. Si es necesario obtener una solucin explcita de una ecuacin diferencial, use Resolver > Expresin . Por ejemplo, resolviendo la solucin implcita anterior para y obtenemos 1 y = 2 x + 1 Para verificar que esta solucin explcita satisface la ecuacin diferencial, sustityala en el enunciado. Por ejemplo, sustituyendo 1/(x+1) para y en 2 d 2xy + (1 + x ) y dx y simplificando, el resultado sera 0. Las funciones siguientes sirven para resolver los tipos particulares de ecuaciones diferenciales englobados por esta funcin. Se incluyen bsicamente por motivos pedaggicos. SEPARABLE_GEN(p, q, x, y, c) da la solucin general implcita de una ecuacin de la forma y' = p(x)q(y), donde p(x) es una expresin que no depende de y, y q(y) es una expresin que no depende de x. Para comprobar que, en efecto, una ecuacin diferencial es de este tipo puede ser necesario no slo despejar y sino, adems, factorizar o aplicar diversas transformaciones trigonomtricas, logartmicas o exponenciales. SEPARABLE(p, q, x, y, x0, y0) es similar a SEPARABLE_GEN, pero se simplifica a la solucin particular para la condicin inicial y=y0 en x=x0.

LINEAR1(p, q, x, y, x0, y0) solucin explcita de una ecuacin diferencial lineal y' + p(x)y = q(x). Ntese que esta ecuacin no tiene que ser lineal en x: slo es lineal en y y en su derivada. LINEAR1_GEN(p, q, x, y, c) es similar a LINEAR1, pero se simplifica a la solucin general en trminos de la constante c. HOMOGENEOUS(r, x, y, x0, y0) da la solucin implcita de una ecuacin de la forma y' = r(x, y) si r es homognea, de otro modo saldra "inapplicable". En este contexto, una expresin es homognea si sustituyendo x por kx y ky por y resulta una expresin equivalente. A menudo las expresiones homogneas consisten en una relacin de dos polinomios en x y en y, cuyos trminos son todos del mismo grado. Por ejemplo, r = (xy - xy)/(x - y) + SIN(x/y) es homognea. HOMOGENEOUS_GEN(r, x, y, c) es similar a HOMOGENEOUS, pero se usa para hallar la solucin general en trminos de una constante simblica c. EXACT(p, q, x, y, x0, y0) da la solucin implcita de una ecuacin de la forma p(x, y) + q(x, y) y' = 0 si esta ecuacin diferencial es exacta. Si no es exacta, se obtiene "inaplicable". Esta ecuacin es exacta si, y slo si, dp/dy - dq/dx es 0. EXACT_GEN(p, q, x, y, c) es como EXACT, pero da la solucin general en trminos de una constante simblica c.

INTEGRATING_FACTOR(p, q, x, y, x0, y0) da la solucin implcita de una ecuacin de la forma p(x, y) + q(x, y)y' = 0 si esta ecuacin es exacta cuando se multiplica por un factor integrante que no depende de x de y. En otro caso, se obtiene "inapplicable". INTEGRATING_FACTOR_GEN(p, q, x, y, c) es similar a INTEGRATING_FACTOR, pero se simplifica a la solucin general en trminos de una constante simblica c. Mtodos Avanzados MONOMIAL_TEST(p, q, x, y) da un factor integrante de la forma x^my^n, si es que existe, para la ecuacin p(x, y) + q(x, y)y' = 0, de otro modo se obtiene "inapplicable". Si, en efecto, MONOMIAL_TEST da un monomio, multiplique la ecuacin por este monomio y, usando EXACT o DSOLVE1, obtenga la solucin de la ecuacin diferencial. BERNOULLI(p, q, k, x, y, x0, y0) da solucin implcita de la ecuacin de Bernoulli y' + p(x)y = q(x)y^k, siendo k una constante. BERNOULLI_GEN(p, q, k, x, y, c) como BERNOULLI, pero se simplifica a la solucin general en trminos de una constante simblica c. GEN_HOM(r, x, y, x0, y0) da la solucin implcita de una ecuacin de la forma y' = r(x, y) si r es homogneo generalizado. En otro caso, se obtiene "inapplicable". r es una expresin homognea generalizada si y slo si td(tr)/dx d(tr)/dy no depende de x ni de y, donde t=x/y. GEN_HOM_GEN(r, x, y, c) es similar a GEN_HOM, pero se simplifica a la solucin general en trminos de una constante simblica c. FUN_LIN_CCF(r, p, q, k, x, y, x0, y0) da la solucin implcita de una ecuacin de la forma y' = r(u), donde r es una funcin y u = px + qy + k, siendo p, q, k constantes independientes de x y de y. FUN_LIN_CCF_GEN(r, p, q, k, x, y, c) es similar a FUN_LIN_CCF, pero se simplifica a la solucin general en trminos de una constante simblica c. LIN_FRAC(r, a, b, d, p, q, k, x, y, x0, y0) da la solucin implcita de una ecuacin de fracciones lineales y' = r((ax+by+d)/(px+qy+k)). Sin embargo, si qa-pb=0, use FUN_LIN_CCF. LIN_FRAC_GEN(r, a, b, d, p, q, k, x, y, c) es similar a LIN_FRAC, pero se simplifica a la solucin general en trminos de una constante simblica c.

ALMOST_LIN(r, b, p, q, x, y, x0, y0) da la solucin implcita de una ecuacin diferencial de la forma r(x, y)y' + p(x)b(y) = q(x), si la ecuacin es casi lineal. En otro caso se obtiene "inapplicable". La ecuacin diferencial anterior es casi-lineal si (db/dy)/r no depende de y. ALMOST_LIN_GEN (r, b, p, q, x, y, c) es similar a ALMOST_LIN, pero se simplifica a la solucin general en trminos de la constante simblica c.

CLAIRAUT(p, q, x, y, v, c) resuelve la ecuacin de Clairaut generalizada, cuya forma es p(xv - y) = q(v), donde p y q son funciones cualesquiera y v representa a y'. CLAIRAUT se simplifica a un vector: La primera componente es la solucin general usando la constante arbitraria c. La segunda componente es una ecuacin que se puede intentar resolver algebraicamente para v. Si, en efecto, se resuelve, sustituyendo la solucin obtenida en el enunciado de la ecuacin diferencial y resolviendo, se obtienen soluciones singulares.

Por ejemplo, para resolver la ecuacin diferencial (xy' - y) = (y') + 1, introduzca CLAIRAUT((xv - y)^2, v^2+1, x, y, v) que se simplifica a 2 2 2 2 [c x - 2cxy + y - c - 1 = 0, 2 2(vx - xy - v) = 0]

Resolviendo la segunda componente de v en trminos de x e y se obtiene xy v = 2 x - 1 Sustituyendo y' por el segundo miembro de esa igualdad en la ecuacin diferencial original se obtiene la solucin singular implcita 2 2 2 y x y = + 1 2 2 2 2 (x - 1) (x - 1) Otros: Archivos de utilidades