Maple: Resolver Ecuaciones Diferenciales Ordinarias

Maple:Resolver Ecuaciones Diferenciales Ordinarias.

Una ecuacin diferencial es una ecuacin que incluye derivadas de una o ms funciones desconocidas. Resolver una ecuacin diferencial supone encontrar una funcin (o cada una de las funciones) que satisfaga la ecuacin diferencial. Muchas leyes fundamentales fsicas, qumicas, biolgicas e incluso econmicas pueden formularse como ecuaciones diferenciales. Las ecuaciones diferenciales a menudo se clasifican segn un orden. El orden de una ecuacin diferencial es el orden de la derivada ms elevada que se halle en la ecuacin. Una ecuacin diferencial ordinaria (EDO) es una ecuacin diferencial en la que la funcin desconocida es una funcin con una variable independiente. Nosotros solo trabajaremos en este captulo con EDOs de primer y segundo orden.

Obtener una Solucin General de una EDO de Primer Orden

Resolveremos la siguiente EDO de primer orden:

dy dx

2 xy, y 0

2.

Se trata de una EDO fcil de resolver pero trabajar con ella nos permitir ofrecer un ejemplo de cmo resolver EDOs usando Maple. Obsrvese que la ecuacin anterior es un problema de valor inicial. Esto significa que debemos encontrar una solucin exacta dependiendo de una condicin inicial, en este caso y(0) = 2: el valor de y, cuando x es 0, es 2. En primer lugar resolveremos el problema ignorando la condicin inicial y obteniendo una solucin general al problema. Antes de intentar resolver una EDO en Maple es necesario cargar unos comandos particulares y unas funciones que necesitaremos. Los comandos para trabajar con EDOs en Maple se encuentran en el paquete DEtools. Los comandos adicionales para representar las curvas de un 1

Maple: Resolver Ecuaciones Diferenciales Ordinarias resultado de EDO se hallan dentro del paquete plots. Por lo tanto el primer paso es cargar esos dos paquetes en Maple usando el comando with:
> >

with(plots): with(DEtools):

En siguiente lugar debemos escribir la EDO que queremos resolver. Recordad que la funcin y depende de x y es necesario definirla como y(x) para que Maple sea capaz de reconocer tal dependencia. Nombraremos la ecuacin (1) como EDO1 utilizando el operador asignacin: EDO1:=diff(y(x),x)=2*x*y(x);

>

EDO1:

d y x dx

2 xy x

El comando para resolver una EDO es dsolve. Recordad que si no os resulta familiar un comando se puede solicitar ayuda a Maple simplemente introduciendo un signo de interrogacin al inicio de la lnea de instruccin seguida del comando sobre el que teneis dudas, y presionar la tecla Enter.

Resolveremos ahora la ecuacin (1) para obtener la solucin general:

> dsolve(EDO1,y(x));
y x _ C1e
x2

Esta es la solucin general de la ecuacin (1). Obsrvese que C1 es la manera en que Maple representa una constante arbitraria. En resultados ms complejos esta constante arbitraria puede aparecer despus del trmino con el que se relaciona. Tambin es posible representar las curvas de la solucin general. Para observar la representacin de las curvas de la solucin de la ecuacin (1) hay que usar el siguiente comando:

> dfieldplot(EDO1,y(x),x=-2..2,y=-2..2,color=blue,scaling=constrained,
>

dirgrid=[40,40]);

Maple: Resolver Ecuaciones Diferenciales Ordinarias

Lo primero que parece entre parntesis es la ecuacin diferencial EDO1. Lo segundo es el nombre de la variable dependiente y lo tercero y cuarto son los rangos dados para las variables independiente y dependiente: x = 2 : : 2; y = 2 : : 2. Las restantes entradas son opciones que se pueden omitir si se quiere. Es una prctica comn que siempre que se represente un campo de vectores se especifique la opcin de scaling = constrained ya que de lo contrario el grfico podra ser engaoso al poder aparecer las lneas de direccin algo distorsionadas.

Obtener la Solucin Exacta de una EDO de Primer Orden.

Podemos tener en cuenta una condicin inicial al usar Maple de manera que determinemos una solucin exacta que dependa de esa condicin inicial. Resolver una EDO que posea una condicin inicial se logra usando de nuevo el comando dsolve. De forma que si utilizamos la condicin inicial presentada en la ecuacin (1) podremos determinar una solucin exacta de la EDO:

> dsolve({EDO1,y(0)=2},y(x));
y x 2e
x2

Maple: Resolver Ecuaciones Diferenciales Ordinarias Si queremos representar una curva de solucin particular usaremos entonces el comando DEplot. DEplot nos representar tanto las lneas del campo de vectores como una particular lnea de solucin que depende de la condicin inicial.

> DEplot(EDO1,y(x),-2..2,[y(0)=2],linecolor=magenta,color=blue, > arrows=LINE);

Si no quieres el campo de vectores representado con la solucin particular, debers usar la opcin arrows=NONE del comando DEplot.

Resolver EDOs de Segundo Orden con Maple

Comenzaremos resolviendo la siguiente ecuacin homognea de segundo orden con coeficientes constantes:

2 y 10 y 0.

Esta ecuacin es homognea porque todos los trminos que componen la funcin y y sus derivadas aparecen a la izquierda de la ecuacin, mientras que la parte derecha es igual a 0. Empezaremos por introducir la ecuacin en Maple. Volveremos a cargar los

Maple: Resolver Ecuaciones Diferenciales Ordinarias paquetes DEtools y plots porque tambin los necesitaremos para resolver EDOs de segundo orden. Y los aadiremos al principio tal y como ya hicimos con el ejemplo de la EDO de primer orden:

> eq1 := diff(y(t),t,t) + 2*diff(y(t),t) + 10*y(t) = 0;

eq1:

d2 y t dt 2

d y t dt

10 y t

Recordad que diff(y(t),t,t) nos dar la segunda derivada de y(t). Usaremos de nuevo el comando dsolve para resolver la ecuacin de segundo orden. El primer argumento es la ecuacin diferencial que estamos resolviendo (eq1) y el segundo la funcin que debemos encontrar (y(t)). Debemos recordar del ejemplo anterior que cuando usamos el comando dsolve, ste nos da una solucin bajo la forma de incgnita = solucin. Si lo que queremos es ver solamente la solucin debemos usar el comando rhs para visualizar solo el lado derecho. Deberemos adems guardar la solucin como la variable sol1.

> sol1 := rhs(dsolve(eq1,y(t)));

sol1: _ C1e

sin 3t

_ C 2e

cos 3t

Recordad que C1 y C2 son formas que tiene Maple de representar constantes arbitrarias.

Resolver un Problema de Valor Inicial en una EDO de Segundo Orden

El siguiente paso es resolver una EDO de segundo orden que incluye una condicin inicial. Cada EDO de segundo orden tendr dos condiciones iniciales. Resolvamos la EDO de segundo orden original segn las siguientes condiciones iniciales:

y 2 y 10 y 0,

y 0

3, y 0

Maple: Resolver Ecuaciones Diferenciales Ordinarias Hay que usar el comando dsolve para resolver la EDO segn esas condiciones iniciales. Guardad la solucin en la sol2.

> sol2 := rhs(dsolve({eq1,y(0)=3,D(y)(0)=-5},y(t)));

sol 2 :

2 e 3

sin 3t

3e

cos 3t

Ya tenemos una solucin exacta de la ecuacin. Representar la solucin puede ayudarnos a comprender mejor qu ocurre en ella. Simplemente usaremos el comando plot para representar sol2.

> plot(sol2,t=-1..6,labels=["t","y"]);

EDOs de Segundo Orden no homogneas con condiciones iniciales

Veamos ahora cmo resolver una EDO de segundo orden no homognea que posee condiciones iniciales.

Consideremos el siguiente problema:

y y y t 2 cos 2t , b b 2 4ac 2a

y 0

0, y 0

2.

Maple: Resolver Ecuaciones Diferenciales Ordinarias

Como ya hiciramos lo primero es introducir la ecuacin en Maple ignorando las condiciones iniciales. Podemos nombrar nuestra nueva ecuacin como eq2:

> eq2 := diff(y(t),t,t) + diff(y(t),t) + y(t) = t^2*cos(2*t);

eq 2 :

d2 y t dt 2

d y t dt

y t

t 2 cos 2t

Podemos resolver otra vez esta EDO de segundo orden usando el comando dsolve. Llamaremos a nuestra solucin sol3:

> sol3 := rhs(dsolve(eq2,y(t)));

sol 3 : e
t 2

sin

3t _ C2 e 2

t 2

cos

3t 1 _ C1 338t 2 832t 1212 sin 2t 2 2197

1 cos 2t 2197

336 507t 2 1118t

Esta solucin es ms compleja que las anteriores ya que los trminos no homogneos se encuentran en el lado derecho del problema. Resolvamos ahora el problema del valor inicial teniendo en cuenta nuestras condiciones iniciales. De nuevo lo ms fcil es usar el comando dsolve. Llamaremos a la solucin del problema del valor inicial sol4.

> sol4 := rhs(dsolve({eq2,y(0)=0,D(y)(0)=2},y(t)));

3688 sol 4 : e 2197 sin 2t

t 2

sin

3t 2

336 3 e 2197

t 2

cos

3t 2

1 338t 2 832t 1212 2197

1 cos 2t 336 507t 2 1118t 2197

Incluso teniendo en cuenta las condiciones iniciales esta respuesta es bastante compleja por lo que representar la funcin arriba indicada puede facilitarnos el comprender la naturaleza global de la curva solucin:

> plot(sol4,t=0..18,labels=["t","y"]);

Maple: Resolver Ecuaciones Diferenciales Ordinarias