ECUACIONES DIFERENCIALES DE PRIMER ORDEN CON DERIVE

El mdulo de FirstOrderODEs.mth salvo las funciones que se utilizan para resolver (de manera
precisa) de ciertos tipos de ecuaciones diferenciales ordinarias, respectivamente: el primer y
segundo orden. Los parmetros formales, que se producen normalmente en cada una de estas
funciones tienen el siguiente significado:
- x - variable independiente,
- y - en busca de la solucin de la ecuacin diferencial,
- x0 - la abscisa de un punto situado sobre la curva integral y = y (x),
- y0 - la ordenada de este punto,
- c - una constante de integracin.
Los parmetros numrico x0 denota el valor inicial de x, y0 denota el correspondiente valor inicial
de y, es decir y(x0)=y0. dy/dx se abrevia como y'. En Derive el apstrofe o la coma simple no
pueden usarse para denotar las derivadas. 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 la tabla, se presenta una descripcin de los tipos de ecuaciones, que podemos utilizar las
funciones almacenadas en el mdulo FirstOrderODEs.mth.

Tipo de la ecuacin Forma de la funcin
) ( ) ( ) ( ' y q x p x y = ,
E. D. con variables separadas
SEPARABLE_GEN(p, q, x, y, c)
SEPARABLE(p, q, x, y, x0, y0)
0 ' ) , ( ) , ( = + y y x q y x p

E. D. exacta

E. D. solucin general

E. D. factores integrantes

factor integrante de la forma x^m y^n
EXACT_GEN(p, q, x, y, c)
EXACT(p, q, x, y, x0, y0)

DSOLVE1_GEN(p, q, x, y, c)
DSOLVE1(p, q, x, y, x0, y0)

INTEGRATING_FACTOR_GEN(p, q, x, y, c)
INTEGRATING_FACTOR(p, q, x, y, x0, y0)

MONOMIAL_TEST(p, q, x, y)
) ( ) ( ' x q y x p y = +
E.D. lineal
LINEAR1_GEN(p, q, x, y, c)
LINEAR1(p, q, x, y, x0, y0)
) , ( ' y x r y =

E.D. homognea

E.D. homognea generalizada
HOMOGENEOUS_GEN(r, x, y, c)
HOMOGENEOUS(r, x, y, x0, y0)

GEN_HOM_GEN(r, x, y, c)
GEN_HOM(r, x, y, x0, y0)
k
y x q y x p y ) ( ) ( ' = +
BERNOULLI_ODE_GEN(p, q, k, x, y, c)
E. D. de Bernoulli BERNOULLI_ODE(p, q, k, x, y, x0, y0)
) ( ' k qy px r y + + =


FUN_LIN_CCF_GEN(r, p, q, k, x, y, c)
FUN_LIN_CCF(r, p, q, k, x, y, x0, y0)
, '
|
|
.
|

\
|
+ +
+ +
=
k qy px
d by ax
r y
Si 0 = b p q a se recomienda el uso de la
funcin FUN_LIN_CCF.
LIN_FRAC_GEN(r, a, b, d, p, q, k, x, y, c)
LIN_FRAC(r, a, b, d, p, q, k, x, y, x0, y0)
) ( ) ( ) ( ' ) , ( x q y b x p y y x r = +
E. D. casi lineal
ALMOST_LIN_GEN (r, b, p, q, x, y, c)
ALMOST_LIN(r, b, p, q, x, y, x0, y0)
) ( ) ( v q y v x p = , ) ( ' x y v =
Ecuacin de Clairaut generalizada
CLAIRAUT(p, q, x, y, v, c)

El archivo ODEApproximation.mth define funciones para resolver la mayora de las ecuaciones
diferenciales ordinarias y de sistemas de tales ecuaciones mediante aproximaciones con series
truncadas y mtodos numricos aproximados. Las definiciones de las funciones se leen
automticamente cuando cualquiera de ellas se usa por primera vez. Estos son:
Metodo Forma de escribir
Taylor - el resultado es la obtencin de una serie de potencias
de orden n, correspondiente a la concordancia amplia la
resolucin de ecuaciones de la forma y'= y (x, y) con las
condiciones iniciales dadas y = y0 y x = x0.
TAYLOR_ODE1(r, x, y, x0, y0, n)
PICARD - se desarrolla a una aproximacin de la solucin de la
ecuacin y' = r(x, y), dada la solucin aproximada en forma de
serie p(x). Es mejor expandir con respecto a x que simplificar
la expresin.

El mtodo de Picard implica integrar r(x, p(x)). Si no hay
integrales en el resultado, puede intentar otra iteracin usando la
aproximacin mejorada para p, y as sucesivamente. Si no tiene
una primera aproximacin mejor, use la constante y0.
PICARD(r, p, x, y, x0, y0)
Euler (mtodo angular) - se aproxima a un vector de n+1
puntos de la solucin de la ecuacin ) , ( ' y x r y
i i
= con y=y0
en x=x0 empezando con x=x0 usando un paso de h. EULER
usa el mtodo de Euler para hallar un vector de n+1 pares de
coordenadas de la forma
] , [
j j
y x
, dnde
, * 0 h j x x
j
+ =
) , ( *
1 1 1
+ =
j j j j
y x r h y y

Estos vectores dibujados como un conjunto de puntos se
interpretan como una aproximacin de la curva que es solucin
de la ecuacin.

=
=
0 ) 0 (
) , ( '
y x y
y x r y


EULER_ODE(r, x, y, x0, y0, h, n)
Runge-Kutta aproxima la solucin del sistema de ecuaciones
diferenciales de primer orden ) , ( ' y x r y
i i
= ,.donde
] ,..., , [
2 1 m
r r r r = , v es el vector ] ,..., , , [
2 1 m
y y y x , v0 es el
RK(r, v, v0, h, n)
correspondiente vector de valores iniciales, h es el paso y n es el
nmero de pasos. RK devuelve una matriz de n+1 puntos
aproximados de la solucin. Cada fila de la matriz consiste en
un valor de x y las correspondientes aproximaciones de y1 hasta
ym.
DIRECTION_FIELD - se aproxima a la matriz de puntos
(segmentos) que describen la direccin del campo para la
ecuacin y'=r(x,y). x vara desde x0 a xm en m etapas e y vara
de y0 a yn en n saltos.

DIRECTION_FIELD(r, x, x0, xm, m, y,
y0, yn, n)