Matemtica Avanzada Ayuda Programa Derive

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... 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.

Ing. Juan Pablo Montero