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 automáticamente cuando cualquiera de ellas se usa por primera vez. Las funciones con el sufijo GEN dan la solución general (en términos de una constante simbólica). Las funciones sin el sufijo GEN nos dan una solución particular cuando tenemos condiciones iniciales (numéricas), o nos dan una solución general en términos de condiciones iniciales simbólicas. En muchos casos, los resultados son ecuaciones en forma implícita. Además, esas ecuaciones pueden contener integrales que Derive no pueda simplificar exactamente. Sin embargo, en algunos casos tales soluciones implícitas se consideran suficientes incluso con las integrales. Evidentemente, si una solución implícita no contiene integrales, puede usar Resolver > Expresión para intentar obtener soluciones en forma explícita. Tanto en esta sección 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. Además 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 apóstrofe o la coma simple no pueden usarse para denotar las derivadas. Si quiere encontrar una solución particular usando condiciones iniciales simbólicas o numéricas, lo mejor es usar la función que da directamente soluciones particulares, aunque siempre puede sustituir, después de encontrar la solución general, x0 e y0 en dicha solución general, resolver para c (la constante) y luego sustituir este valor de c de nuevo en la solución general... Métodos Elementales DSOLVE1_GEN(p, q, x, y, c) solución general de una ecuación de la forma p(x, y) + q(x, y)·y' = 0 usando la constante simbólica c. Nótese que la mayoría de las ecuaciones diferenciales de primer orden se pueden escribir de esa forma. DSOLVE1_GEN puede resolver ecuaciones exactas, lineales, separables, homogéneas y ecuaciones con factor integrante que dependa sólo de x o sólo de y. Si la ecuación 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 ecuación al que pertenezca. DSOLVE1(p, q, x, y, x0, y0) es similar a DSOLVE1_GEN, pero nos da la solución particular para las condiciones iniciales y=y0 en x=x0. Estas condiciones iniciales pueden ser números, variables, o expresiones generales. Por ejemplo, para resolver la ecuación diferencial 2·x·y + (1 + x²)·y' = 0 con la condición inicial y=1 en x=0, simplifique la expresión DSOLVE1(2·x·y, 1 + x^2, x, y, 0, 1) Se obtiene la solución en forma implícita x^2·y + y - 1 = 0 Para verificar que satisface la condición inicial, haga x=0 y y=1 en la solución. Al simplificar, comprobará que se obtiene la identidad 0=0. La función de diferenciación implícita IMP_DIF del archivo DifferentiationApplications.mth puede ser

sustitúyala en el enunciado. Esta ecuación es exacta si. q. A menudo las expresiones homogéneas consisten en una relación de dos polinomios en x y en y. c) es similar a LINEAR1. EXACT_GEN(p. Nótese que esta ecuación no tiene que ser lineal en x: sólo es lineal en ‘y’ y en su derivada. y) y' = 0 si esta ecuación diferencial es exacta. pero se simplifica a la solución general en términos de la constante c. x. Si no es exacta. se obtiene "inaplicable". q. x. una expresión es homogénea si sustituyendo x por k·x y k·y por y resulta una expresión equivalente. x.dq/dx es 0.útil para verificar una solución implícita de una ecuación diferencial. y. Por ejemplo. pero da la solución general en términos de una constante simbólica c. Por ejemplo. cuyos términos son todos del mismo grado. q. en efecto. para verificar la solución implícita anterior. y. c) es como EXACT. EXACT(p. y0) es similar a SEPARABLE_GEN. una ecuación diferencial es de este tipo puede ser necesario no sólo despejar y’ sino. y) + q(x. logarítmicas o exponenciales. q. c) es similar a HOMOGENEOUS. de otro modo saldría "inapplicable". r = (x²·y . c) da la solución general implícita de una ecuación de la forma y' = p(x)·q(y).x·y²)/(x³ . x. Por ejemplo.1. y. resolviendo la solución implícita anterior para y obtenemos 1 y = ———————— 2 x + 1 Para verificar que esta solución explícita satisface la ecuación diferencial. y. sustituyendo 1/(x²+1) para y en 2 d 2·x·y + (1 + x )·—— y dx y simplificando. el resultado sería 0. y) y vea que da 0=0. x. HOMOGENEOUS(r. Por ejemplo. y q(y) es una expresión que no depende de x. Las funciones siguientes sirven para resolver los tipos particulares de ecuaciones diferenciales englobados por esta función. Se incluyen básicamente por motivos pedagógicos. además. . x0. x0. introduzca la expresión 2·x·y + (1 + x^2)·IMP_DIF(x^2·y + y . LINEAR1_GEN(p. x0. x. y. donde p(x) es una expresión que no depende de y. y. y. y sólo si. pero se simplifica a la solución particular para la condición inicial y=y0 en x=x0.y³) + SIN(x/y) es homogénea. y0) da la solución implícita de una ecuación de la forma p(x. Si es necesario obtener una solución explícita de una ecuación diferencial. Para comprobar que. SEPARABLE(p. SEPARABLE_GEN(p. x. y0) solución explícita de una ecuación diferencial lineal y' + p(x)·y = q(x). use Resolver > Expresión . y) si r es homogénea. y. q. x. x. y0) da la solución implícita de una ecuación de la forma y' = r(x. HOMOGENEOUS_GEN(r. pero se usa para hallar la solución general en términos de una constante simbólica c. dp/dy . En este contexto. q. x0. factorizar o aplicar diversas transformaciones trigonométricas. LINEAR1(p.

x0. v. p. q. use FUN_LIN_CCF. x. Sin embargo. y. La segunda componente es una ecuación que se puede intentar resolver algebraicamente para v. multiplique la ecuación por este monomio y. q. pero se simplifica a la solución general en términos de una constante simbólica c. a. y. k constantes independientes de x y de y. x. x. c) es similar a FUN_LIN_CCF. q. x. k. x. y. para la ecuación p(x. se obtienen soluciones singulares. y. d. q. x. usando EXACT o DSOLVE1. siendo k una constante. y)·y' + p(x)·b(y) = q(x). sustituyendo la solución obtenida en el enunciado de la ecuación diferencial y resolviendo. x. b. k. x. k. BERNOULLI_GEN(p. MONOMIAL_TEST da un monomio. x0. CLAIRAUT(p. y. y. pero se simplifica a la solución general en términos de una constante simbólica c. x0. c) es similar a ALMOST_LIN. se obtiene "inapplicable". x. x. y0) da solución implícita de la ecuación de Bernoulli y' + p(x)·y = q(x)·y^k. p. donde r es una función y u = p·x + q·y + k. y0) da la solución implícita de una ecuación de la forma y' = r(x. pero se simplifica a la solución general en términos de la constante simbólica c. y. FUN_LIN_CCF_GEN(r. p.INTEGRATING_FACTOR(p. c) como BERNOULLI. x0. q. q. c) es similar a LIN_FRAC. La ecuación diferencial anterior es casi-lineal si (db/dy)/r no depende de y. y) + q(x. r es una expresión homogénea generalizada si y sólo si t·d(t·r)/dx ————— d(t·r)/dy no depende de x ni de y. p. donde t=x/y. x0. c) es similar a GEN_HOM. y. siendo p. y0) da la solución implícita de una ecuación de la forma p(x. a. Métodos Avanzados MONOMIAL_TEST(p. pero se simplifica a la solución general en términos de una constante simbólica c. y) si r es homogéneo generalizado. si es que existe. q. q. FUN_LIN_CCF(r.y) = q(v). b. si q·a-p·b=0. q. y. y. de otro modo se obtiene "inapplicable". x. LIN_FRAC_GEN(r. BERNOULLI(p. y. obtenga la solución de la ecuación diferencial. En otro caso. CLAIRAUT se simplifica a un vector: La primera componente es la solución general usando la constante arbitraria c. GEN_HOM(r. Si. Si. y0) da la solución implícita de una ecuación diferencial de la forma r(x. GEN_HOM_GEN(r. LIN_FRAC(r. y0) da la solución implícita de una ecuación de la forma y' = r(u). x0. q. y. se obtiene "inapplicable". x. p. en efecto. y)·y' = 0. k. cuya forma es p(x·v . en efecto. si la ecuación es casi lineal. q. se resuelve. En otro caso. y)·y' = 0 si esta ecuación es exacta cuando se multiplica por un factor integrante que no depende de x ó de y. q. c) resuelve la ecuación de Clairaut generalizada. ALMOST_LIN_GEN (r. . q. y0) da la solución implícita de una ecuación de fracciones lineales y' = r·((a·x+b·y+d)/(p·x+q·y+k)). donde p y q son funciones cualesquiera y v representa a y'. k. c) es similar a INTEGRATING_FACTOR. b. b. ALMOST_LIN(r. p. d. y) + q(x. pero se simplifica a la solución general en términos de una constante simbólica c. x. x. y. INTEGRATING_FACTOR_GEN(p. k. pero se simplifica a la solución general en términos de una constante simbólica c. En otro caso se obtiene "inapplicable". y) da un factor integrante de la forma x^m·y^n.

v) = 0] Resolviendo la segunda componente de v en términos de x e y se obtiene x·y v = ———————— 2 x .1) (x .1) Otros: Archivos de utilidades . y.1 Sustituyendo y' por el segundo miembro de esa igualdad en la ecuación diferencial original se obtiene la solución singular implícita 2 2 2 y x ·y ——————————— = ——————————— + 1 2 2 2 2 (x . para resolver la ecuación diferencial (x·y' .x·y . x.2·c·x·y + y .c . 2 2·(v·x . v^2+1.y)² = (y')² + 1.y)^2.1 = 0.Por ejemplo. introduzca CLAIRAUT((x·v . v) que se simplifica a 2 2 2 2 [c ·x .

Sign up to vote on this title
UsefulNot useful