EZZIO RAMN ROJO AGUILAR

ECUACIONES DIFERENCIALES ORDINARIAS

CON MAPLE







UNIVERSIDAD NACIONAL EXPERIMENTAL DEL TACHIRA
ECUACIONES DIFERENCIALES ORDINARIAS
CON MAPLE



REALIZADO POR:
EZZIO RAMN ROJO AGUILAR



UNIVERSIDAD NACIONAL EXPERIMENTAL DEL TACHIRA









San Cristbal, Diciembre de 2002
TRABAJO PRESENTADO EN CUMPLIMIENTO
DE LOS REQUISITOS EXIGIDOS PARA OPTAR
AL ASCENSO A LA CATEGORIA DE AGREGADO





UNA VEZ CUMPLIDOS CON LOS REQUISITOS
LEGALES EXIGIDOS, SE DA LA APROBACIN
AL PRESENTE TRABAJO DE ASCENSO PARA
OPTAR A LA CATEGORIA DE AGREGADO



_____________________


____________________ ____________________

iv
LISTA DE FIGURAS

Pg.
Figura 3.1 40
Figura 3.2 41
Figura 3.3 44
Figura 3.4 46
Figura 3.5 47
Figura 3.6 52
Figura 3.7 54
Figura 3.8 58
Figura 3.9 60
Figura 3.10 61
Figura 3.11 65
Figura 3.12 69
Figura 3.13 79
Figura 3.14 83
Figura 3.15 86
Figura 3.16 88
Figura 3.17 89
Figura 3.18 90
v
Figura 5.1 133
Figura 5.2 157
Figura 5.3 159
Figura 5.4 161
Figura 5.5 163
Figura 5.6 165
Figura 5.7 167
Figura 5.8 168
Figura 5.9 170
Figura 5.10 173
Figura 5.11 175
Figura 5.12 176
Figura 5.13 177
Figura 5.14 179
Figura 5.15 179
Figura 5.16 184

vi
INDICE
Pg.
CAPITULO I .................................................................................................... 2
1.- CONCEPTOS BSICOS. ....................................................................... 2
1.1.- Definicin de Ecuacin Diferencial. .................................................. 2
1.2.- Definicin de Ecuacin Diferencial Ordinaria. .................................. 2
1.3.- Definicin de Ecuacin Diferencial en Derivadas Parciales. ............ 3
1.4.- Definicin de Orden de una Ecuacin Diferencial. ........................... 3
1.5.- Definicin de Grado de una Ecuacin Diferencial. ........................... 4
1.6.- Definicin de Ecuacin Diferencial Ordinaria Lineal de Orden n. ..... 4
1.7.- Definicin de Solucin de una Ecuacin Diferencial Ordinaria......... 5
1.8.- Definicin de Problema de Valor Inicial. ........................................... 7
1.9.- Teorema 1.1. Existencia de una solucin nica para ecuaciones
diferenciales ordinarias de primer orden................................................... 9
1.10.- Ejercicios Propuestos. .................................................................. 10
CAPITULO II ................................................................................................. 14
2.- ECUACIONES DIFERENCIALES ORDINARIAS DE PRIMER ORDEN Y
GRADO UNO............................................................................................. 15
2.1.- Ecuaciones Diferenciales Separables o de Variables Separables. 15
2.1.1.- Definicin de Ecuacin Diferencial Separable o de Variables
Separables........................................................................................... 15
vii
2.2.- Ecuaciones Diferenciales Homogneas. ........................................ 17
2.2.1.- Definicin de Funcin Homognea de Grado n........................ 17
2.2.2.- Definicin de Ecuacin Diferencial Homognea....................... 18
2.3.- Ecuaciones Diferenciales Exactas.................................................. 19
2.3.1.- Definicin de Ecuacin Diferencial Exacta. .............................. 19
2.3.2 Teorema de Exactitud................................................................. 19
2.4.- Ecuaciones Diferenciales Lineales de Primer Orden...................... 22
2.4.1.- Definicin de Ecuacin Diferencial Lineal de Primer Orden. .... 22
2.5.- Ejercicios Propuestos ..................................................................... 25
CAPITULO III ................................................................................................ 29
3.- ECUACIONES DIFERENCIALES ORDINARIAS DE PRIMER ORDEN Y
GRADO UNO CON MAPLE....................................................................... 30
3.1.- Solucin de Ecuaciones Diferenciales con MAPLE........................ 31
3.1.1.- Ecuaciones Diferenciales Separables o de Variables
Separables........................................................................................... 31
3.1.2.- Ecuaciones Diferenciales Homogneas. .................................. 34
3.1.3.- Ecuaciones Diferenciales Exactas............................................ 40
3.1.4.- Ecuaciones Diferenciales Lineales de Primer Orden................ 45
3.2.- Algunas Aplicaciones con MAPLE.................................................. 47
3.2.1.- Aplicaciones Geomtricas ........................................................ 48
3.2.2.- Crecimiento y Decrecimiento.................................................... 59
3.2.3.- Ley de Enfriamiento de Newton................................................ 68
viii
3.2.4.- Mezclas..................................................................................... 71
3.2.5.- Circuitos Elctricos ................................................................... 75
3.2.6.- Otras Aplicaciones.................................................................... 83
CAPITULO IV ............................................................................................... 88
4.- ECUACIONES DIFERENCIALES ORDINARIAS LINEALES DE
SEGUNDO ORDEN. .................................................................................. 89
4.1.- Conceptos Preliminares.................................................................. 89
4.1.1.- Definicin Dependencia e Independencia lineal de funciones. 89
4.1.2.- Definicin Wronskiano de las funciones ) x ( f
1
, ) x ( f
2
,..., ) x ( f
n
... 89
4.1.3.- Teorema 4.1 Criterio para soluciones linealmente
independientes. ................................................................................... 90
4.1.4.- Teorema 4.2 Solucin general de una ecuacin diferencial lineal
homognea de orden n........................................................................ 90
4.1.5.- El Uso de una Solucin de una Ecuacin Diferencial para hallar
otra....................................................................................................... 91
4.2.- Definicin de Ecuacin Diferencia Lineal de Segundo Orden........ 93
4.2.1.- Definicin de Ecuacin Diferencial Ordinaria Lineal Homognea
de Segundo orden con coeficientes constantes. ................................. 93
4.2.1.1 Solucin general. .................................................................. 93
4.2.2.- Definicion de Ecuacin Diferencial Ordinaria Lineal no
Homognea de Segundo Orden con Coeficientes Constantes. .......... 99
ix
4.2.2.1.- Solucin general. .............................................................. 100
4.2.2.1.1.- Mtodo de los coeficientes indeterminados................ 100
4.2.2.1.2.- Mtodo de variacin de parmetros. .......................... 108
4.3.- Ejercicios Propuestos ................................................................... 116
CAPITULO V .............................................................................................. 118
5.- ECUACIONES DIFERENCIALES ORDINARIAS LINEALES DE ORDEN
N CON MAPLE. ....................................................................................... 119
5.1.- Ecuaciones Diferenciales Lineales de Orden n Homogneas con
Coeficientes Constantes. ...................................................................... 119
5.1.1.- Solucin de Ecuaciones Homogneas Lineales de Segundo
Orden con Coeficientes Constantes con MAPLE. ............................. 121
5.2.- Ecuaciones Diferenciales Lineales de Orden n no Homogneas con
Coeficientes Constantes con MAPLE. .................................................. 130
5.2.1.- Solucin de Ecuaciones no Homogneas Lineales de Segundo
Orden con Coeficientes Constantes con MAPLE .............................. 131
5.2.1.1.- Mtodo de Coeficientes Indeterminados con MAPLE ...... 131
5.2.1.2.- Mtodo de Variacin de Parmetros. ............................... 138
5.3.- Aplicaciones de las Ecuaciones Diferenciales Lineales de Segundo
Orden con MAPLE. ............................................................................... 146
5.3.1.- Movimiento Libre No Amortiguado.......................................... 146
5.3.2.- Movimiento Libre Amortiguado. .............................................. 152
5.3.3.- Movimiento Forzado No Amortiguado. ................................... 156
x
5.3.4.- Movimiento Forzado Amortiguado. ......................................... 161
5.3.5.- Circuitos Elctricos RLC.. ....................................................... 164
CONCLUSIONES....................................................................................... 173
BIBLIOGRAFIA........................................................................................... 175

xi
INTRODUCCION

Ecuaciones Diferenciales Ordinarias con MAPLE, es un trabajo que tiene
como principal objetivo servir de texto o material de consulta a los Docentes
y Estudiantes de las asignaturas de Matemtica o Clculo que desarrollen el
tpico o el tema de Ecuaciones Diferenciales Ordinarias y sus aplicaciones.

El uso del programa MAPLE en la determinacin de soluciones de
Ecuaciones Diferenciales en este trabajo se debe a la simplificacin y
rapidez con que se logra tal objetivo. El nmero de comandos que
implementa MAPLE relativo a este tema es bastante considerable y eficiente.
Se pueden resolver con el programa Ecuaciones Diferenciales aplicando los
mtodos algebraicos usuales o con un comando bsico denominado dsolve.

El contenido que se expone en el texto abarca un marco terico de tales
aspectos sin entrar en demostraciones o enfoques analticos estrictamente
desarrollados. Lo que se pretende es encontrar las soluciones de las
Ecuaciones Diferenciales, planteadas u obtenidas de las aplicaciones,
usando los mtodos usuales pero con las secuencias, programas y
comandos del sistema de computacin MAPLE.

xii
Para el estudio de los tpicos que se enfocan en el texto es necesario el
conocimiento bsico de los comando de MAPLE.

El contenido se divide en cinco captulos.

En el Captulo I, se encuentran algunos conceptos bsicos indispensables
para el desarrollo de los dems captulos.

El Capitulo II, trata las Ecuaciones Diferenciales Ordinarias de Primer
Orden, definicin y mtodos para resolverlas. Los mtodos que se
desarrollan son para ecuaciones diferenciales de variable separable,
homogneas, exactas y Lineales.

En el Captulo III se explican los comandos y secuencias de MAPLE para
determinar las soluciones de las Ecuaciones Diferenciales Ordinarias de
Primer Orden y Grado Uno y Algunas Aplicaciones.

En el Captulo IV se explican las Ecuaciones Diferenciales Ordinarias
Lineales de Segundo Orden y los mtodos para resolverlas, mtodo de los
coeficientes indeterminados y de variacin de parmetros.

xiii
En el Captulo V se explican los comandos y las secuencias de MAPLE para
determinar las soluciones de las Ecuaciones Diferenciales Ordinarias de
Segundo Orden y Grado Uno y Algunas de sus Aplicaciones.

1






CAPITULO I
CONCEPTOS BASICOS



2
CAPITULO I
1.- CONCEPTOS BASICOS.
Las ecuaciones diferenciales son consideradas una parte muy importante de
la matemtica debido a que con tales modelos se logra describir el
comportamiento de algn sistema o fenmeno de la vida real en trminos
matemticos; tal sistema puede ser fsico, biolgico, sociolgico o
econmico.

1.1.- Definicin de Ecuacin Diferencial.
Es una ecuacin en la cual intervienen una o ms variables dependientes y
algunas de las derivadas de las variables dependientes con respecto a una o
ms variables independientes. Son ejemplos de ecuaciones diferenciales,
las siguientes:
0 y y = + 0
s
u
t
u
2
2
2
2
=

1.2.- Definicin de Ecuacin Diferencial Ordinaria.
Son ecuaciones diferenciales en las cuales intervienen slo derivadas
ordinarias de una o ms variables dependientes con respecto a una sola
variable independiente. Por ejemplo, las ecuaciones:

3
x 2 y 2
dx
dy
= + ; 0 y 2
dx
dy
dx
y d
2
2
= +

Son ecuaciones diferenciales ordinarias.

1.3.- Definicin de Ecuacin Diferencial en Derivadas
Parciales.
Son ecuaciones diferenciales en las cuales intervienen derivadas parciales
de una o ms variables dependientes con respecto a dos o ms variables
independientes. Por ejemplo, las ecuaciones:
0
x
u
y
u
=

; 0
s
u
t
u
2
2
2
2
=

Son ecuaciones en derivadas parciales.

1.4.- Definicin de Orden de una Ecuacin Diferencial.
El orden de una ecuacin diferencial (ordinaria o en derivadas parciales) es
el orden de la mayor derivada que aparece en la ecuacin. Ejemplo:
x 2 y 5 y = + Ecuacin diferencial ordinaria de primer orden

x ) y ( x 2 y
3
= + Ecuacin diferencial ordinaria de segundo orden
4
1.5.- Definicin de Grado de una Ecuacin Diferencial.
El grado de una ecuacin diferencial es la potencia, si es un nmero natural,
a la que est elevada la derivada de mayor orden que aparece en la
ecuacin diferencial. Si el exponente de la derivada de mayor orden no es
un nmero natural, no es posible definir el grado de la ecuacin. Por
ejemplo:
0 x 2 xy 2 y = + +

Es una ecuacin diferencial ordinaria de segundo orden grado uno.
0 ) y ( ) y (
2 3
= +
Es una ecuacin diferencial ordinaria de segundo orden y grado tres.
x 4
dx
dy
3
dx
y d
3
2
2
= |

\
|
+

Es una ecuacin diferencial ordinaria de segundo orden y grado uno.
0
s
u
t
u
2
2
2
= |

\
|

Es una ecuacin diferencial en derivadas parciales de orden dos y grado
uno.

1.6.- Definicin de Ecuacin Diferencial Ordinaria Lineal de
Orden n.
Es una ecuacin diferencial de la forma:
5
) x ( b y ) x ( a
dx
dy
) x ( a ......... .......... .......... ..........
dx
y d
) x ( a
dx
y d
) x ( a
0 1
1 n
1 n
1 n
n
n
n
= + + + +

tal que la n-sima derivada de la variable y se puede expresar o es una

funcin lineal de las dems derivadas y de la funcin y. Luego la ecuacin
diferencial se puede expresar as:
) y ,......, ' y , y , x ( f y
) 1 n ( ) n (
= .
En esta ecuacin se puede observar que la variable dependiente y cada una
de sus derivadas son de grado uno y cada coeficiente son funciones que
dependen de la variable x.
0 xdy 2 dx ) x y ( = + + , 0 y 2 y 4 y 2 = +
Son ecuaciones lineales ordinarias de primer orden y segundo orden
respectivamente.

1.7.- Definicin de Solucin de una Ecuacin Diferencial
Ordinaria.
La solucin de una ecuacin diferencial ordinaria es toda funcin y = f(x), tal
que ella y sus respectivas derivadas satisfacen la ecuacin diferencial. Al
mtodo para hallar una solucin de una ecuacin suele determinarse integrar
la ecuacin o la solucin integral de la ecuacin y a su grfica curva integral
o curva solucin.

6
Al resolver una ecuacin diferencial ordinaria de primer orden, por lo general
se obtiene una solucin con una constante arbitraria, se resuelven integrales
indefinidas, una solucin con una constante arbitraria representa un conjunto
de soluciones y se llama familia monoparamtrica de soluciones y al resolver
una ecuacin diferencial ordinaria de orden n se determina una familia n
paramtrica de soluciones, por lo tanto a ste tipo de soluciones se les
denomina soluciones generales. Una solucin de una ecuacin diferencial
ordinaria que no tiene parmetros arbitrarios se denomina solucin
particular de la ecuacin diferencial.

Ejemplo 1.1
- Dada la ecuacin diferencial 0 y y 2 y = + , verificar si la funcin
x
xe y =
es una solucin de la ecuacin diferencial indicada.
La funcin
x
xe y = es una solucin de la ecuacin diferencial dada si: su
primera y segunda derivada satisfacen la ecuacin. Luego se tiene que:
x x
e xe y + = y
x x
e 2 xe y + =
al sustituir en la ecuacin se observa que
0 ) e 2 xe ( 2 ) e 2 xe ( y y 2 y
x x x x
= + + = + = para todo nmero real.

7
1.8.- Definicin de Problema de Valor Inicial.
Al determinar una solucin de una ecuacin diferencial sujeta a condiciones
preestablecidas (Condiciones Iniciales) que ha de satisfacer la solucin de la
ecuacin diferencial dada, se quiere obtener una solucin particular. Si
todas las condiciones se refieren a un mismo valor de x, se denomina
problema con condiciones iniciales o valores iniciales o problema de Cauchy.

Ejemplo 1.2
0 y 2 y = + si y(1)=0
0 y y y = + + si y(0)=1 y y(0)=0
Son problemas de valor inicial.

Ejemplo 1.3
- Sea la funcin
x 2
Ce y

= solucin general de la ecuacin de la ecuacin

diferencial 0 y 2 y = + . Hallar la solucin particular que satisface la
condicin inicial y(0)=3
Para hallar la solucin particular se determina el valor de la constante C de la
solucin general indicada, entonces,
Si x=0 y=3,
entonces,
8
) 0 ( 2
Ce 3

=
,
luego
3 C =

La solucin particular es
x 2
e 3 y

=


Ejemplo 1.4
- La funcin ) x 3 ( Cos C ) x 3 ( Sen C y
2 1
+ = es solucin general de la ecuacin
diferencial 0 y 9 y = + . Hallar la solucin particular que satisface las
condiciones iniciales: 2 ) 6 / ( y = y 1 ) 6 / ( y =
Para determinar la solucin particular se determinan los valores de las
constantes C1 y C2 de la solucin general, luego
) x 3 ( Cos C ) x 3 ( Sen C y
2 1
+ =
,

entonces
) x 3 ( Sen C 3 ) x 3 ( Cos C 3 y
2 1
=


Se tiene que
2 ) 6 / ( y =
y
1 ) 6 / ( y =
,
entonces
9
6
3
Cos
6
3
Sen 2

=
2 1
C C

y
6
3
Sen 3
6
3
Cos 1

=
2 1
C 3C

as
C1=2 y
2
C 3 1 =
obtieniendo
C1=2 y
3
1
C
2
=
Se concluye que la solucin particular, reemplazando C1 y C2 en la solucin
general dada, es
) x 3 ( Cos
3
1
) x 3 ( Sen 2 y =


1.9.- Teorema 1.1. Existencia de una solucin nica para
ecuaciones diferenciales ordinarias de primer orden.
Sea la ecuacin diferencial ) y , x ( f y = y R una regin rectangular del plano
xy, definida por a xb, d y c . Si f(x,y) y
y
f

son continuas en R,
entonces por cada punto ) y , X (
0 0
de R pasar una nica curva integral de la
solucin de la ecuacin diferencial.
10

Ejemplo 1.5
- Dada la ecuacin diferencial:
x
e xy y

+ = , aplicar el teorema de existencia

y unicidad y encontrar los recintos del plano donde hay garanta de la
existencia de una solucin nica que pase por cada punto.

Se tiene que
x
e xy ) y , x ( f

+ = es continua ) y x (
0 0
2
R y x
y
f
=

es
continua ) y x (
0 0
2
R

Luego existe una y slo una curva integral o solucin que pasa por cada
punto ) y x (
0 0
2
R


1.10.- Ejercicios Propuestos.
1. Indicar el orden y el grado de las siguientes ecuaciones diferenciales.
a) x Cos by y
2
= +
b) Cosx 4 y x 3 y =
c) 0 y y =
d)
4
3
x
dt
dx
= |

\
|

11
e) t 3 t t
2
=
2. Diga cuales de las siguientes ecuaciones son lineales o no.
a) 0 y y x 2 y
3
= + +
b) x y y 2 y
2
= + +
c) 0 y y y 3 y = + +
d) y 1 x y
2
= +
e)
x
e 3 y 2 y = + +
f) x 4 yCosx y y 2 y x 3 = +

3. Verificar para cada una de las ecuaciones diferenciales dadas si la funcin
o funciones indicadas son soluciones.
a) y 4 y =
x 4
Ce y =
b) 0 y y = + Senx 2 y
1
= Cosx 5 y
2
=
c) x y y y y = + 1 x e y
x
=
d)
2
2
2
x
u
t
u
b

) bx ( Sen e u
t
=
e)
2
2
2
2
y
u
x
u

2 2
y x
y
u
+
=

4. Comprobar que la funcin dada es solucin de la ecuacin diferencial
indicada. Luego hallar la solucin particular que satisface la condicin inicial.
12
a)
x 2
Ce y

=

0 y 2 y = +

y = 3 cuando x = 0
b) Lnx C C y
2 1
+ =

0 y y x = +

y = 0, = y cuando x = 2
c)
x
3 2 1
e C x C C y

+ + =

0 y y = +

y = 0, 0 y = , 1 y = para x = 0

5. Para la solucin general dada de cada una de las ecuaciones diferenciales
indicadas esbozar una grfica de las soluciones particulares asociadas a los
valores de C que se especifican.
a) C x y 2
2 2
= , 0 x y y 4 = , C = 0, 1 C = , 2 C =
b) 0 y x
2 2
= + , 0 x y y = + , C = 0, C = 1, C = 3

6. Determinar una regin R del plano xy para la cual la ecuacin diferencial
dada tenga una solucin nica que pase por un punto R ) y , x (
0 0

a)
3 / 1
y
dx
dy
=
13
b)
2 2
x y ) y 4 ( =
c) Seny x y
3

d) dx x dy ) y 1 (
2 3
= +
14






CAPITULO II
ECUACIONES DIFERENCIALES ORDINARIAS DE
PRIMER ORDEN Y GRADO UNO



15
CAPITULO II
2.- ECUACIONES DIFERENCIALES ORDINARIAS DE PRIMER
ORDEN Y GRADO UNO.
Es posible que cuando se trate de resolver una ecuacin diferencial ordinaria
de primer orden y grado uno no se tenga xito, ya que no hay un mtodo
general que se pueda aplicar para todos los casos. Por ello en este captulo
se estudiarn algunos de los mtodos ms tiles. La habilidad para resolver
tales ecuaciones con los mtodos que se desarrollarn est limitada
nicamente por la capacidad para calcular integrales. Los mtodos que se
darn se basan en tres principios fundamentales: separacin de variables,
substitucin y multiplicacin por una funcin apropiada.

2.1.- Ecuaciones Diferenciales Separables o de Variables
Separables.
2.1.1.- Definicin de Ecuacin Diferencial Separable o de
Variables Separables.
Las ecuaciones de variable separable son del tipo
0 dy ) y ( N dx ) x ( M = +
la solucin general, se obtiene por una integracin trmino a trmino, o sea:

= + C dy ) y ( N dx ) x ( M

16
Ejemplo 2.1
- Resolver la ecuacin diferencial ( )dx 2 x dy y 3
2 2
+ =
Es una ecuacin diferencial de variable separable, para resolverla se integra
trmino a trmino, entonces

+ + = C dx ) 2 x ( dy y 3
2 2

Luego
C x 2
3
x
y
3
3
+ + =
,
obtenindose as la funcin solucin.

Ejemplo 2.2
- Resolver la ecuacin diferencial y 3 y ) x 2 ( = +
La ecuacin es de variable separable ya que se puede escribir de la
siguiente forma
x 2
dx 3
y
dy
+
=
Luego integrando trmino a trmino, se obtiene:

+ |

\
|
+
=
|
|

\
|
C
x 2
dx
3
y
dy

y la solucin general es
C ) x 2 ( Ln 3 Lny + + =

despejando la variable y, se hace cuando es posible, se obtiene la funcin:
17
C
e ) x 2 ( y
3
+ =
o
3
1
) x 2 ( C y + =
,
siendo
C
1
e C =

2.2.- Ecuaciones Diferenciales Homogneas.
Previo a la definicin de ecuaciones diferenciales homogneas, es
conveniente dar la definicin de funcin homognea de grado n.

2.2.1.- Definicin de Funcin Homognea de Grado n.
Una funcin ) y , x ( f es homognea de grado n, si cumple, ) y , x ( f t ) ty , tx ( F
n
=
para todo nmero real n.

Ejemplo 2.3
- La funcin
2 2
y xy x 2 ) y , x ( F + + = es homognea de grado 2, ya que
2 2
) ty ( ) ty )( tx ( ) tx ( 2 ) ty , tx ( F + + =


) y xy x 2 ( t
y t xy t x t 2
2 2 2
2 2 2 2 2
+ + =
+ + =

Luego
18
) y , x ( F t ) ty , tx ( F
2
=


2.2.2.- Definicin de Ecuacin Diferencial Homognea.
Una ecuacin diferencial del tipo 0 dy ) y , x ( N dx ) y , x ( M = + es homognea si
las funciones M(x,y) y N(x,y) son homogneas, con el mismo grado de
homogeneidad.
Tales ecuaciones se resuelven haciendo el cambio de variable vx y = o
uy x = , para convertirlas en ecuaciones diferenciales de variable separable.

Ejemplo 2.4
- Resolver la ecuacin diferencial 0 dy ) x xy 2 ( dx ) y 3 xy 2 (
2 2
= +
Luego las funciones
2
y 3 xy 2 ) y , x ( M =

2
x xy 2 ) y , x ( N = , son
homogneas de grado 2, despus para resolver se hace el cambio de
variable vx y = ; xdv vdx dy + = . Obtenindose
0 ) xdv vdx )( 1 v 2 ( dx ) v 3 v 2 (
2
= + +

o bien,
0 dv ) 1 v 2 ( x dx ) v v (
2
= +

separando variables, se tiene
0 dv
v v
1 v 2
x
dx
2
=

+
19
integrando trmino a trmino se obtiene la solucin general

+
x
dx

0 dv
v v
1 v 2
2
=
|
|

\
|

Luego,
C ) 1 v ( Ln Lnv Lnx =
Como se realizo el cambio de variable vx y = entonces
x
y
v =
Obtenindose la solucin general del la ecuacin diferencial
C 1
x
y
Ln
x
y
Ln Lnx = |

\
|


2.3.- Ecuaciones Diferenciales Exactas.
2.3.1.- Definicin de Ecuacin Diferencial Exacta.
Una ecuacin del tipo 0 dy ) y , x ( N dx ) y , x ( M = + es exacta si es posible
encontrar una funcin ) y , x ( f , tal que ) y , x ( M
x
f
=

y ) y , x ( N
y
f
=

luego, la
ecuacin diferencial se puede escribir as 0 dy
y
f
dx
x
f
=

, o bien 0 df =
Luego la solucin general de la ecuacin diferencial 0 dy ) y , x ( N dx ) y , x ( M = +
es C ) y , x ( f = si la ecuacin es exacta
2.3.2 Teorema de Exactitud
20
La ecuacin 0 dy ) y , x ( N dx ) y , x ( M = + es exacta si y solo si 0
X
N
y
M
=

Para resolver una ecuacin diferencial 0 dy ) y , x ( N dx ) y , x ( M = + , exacta, se
tiene que existe una funcin ) y , x ( f tal que ) y , x ( M
x
f
=

, se puede determinar
la funcin f si se integra M(x,y) con respecto a x, conservando a y constante:
= ) y , x ( f

) y ( h dx ) y , x ( M + (2.1)
tal que la funcin arbitraria h(y) es una funcin constante, la constante de
integracin. Luego se deriva la funcin f obtenida con respecto y,
y y
f

) y ( h dx ) y , x ( M +
despejando ) y ( h
y
) y , x ( N ) y ( h

dx ) y , x ( M
Luego se integra con respecto a y para obtener h(y) y reemplazarla en la
ecuacin (2.1) para obtener la solucin de la ecuacin diferencial C ) y , x ( f = .

Ejemplo 2.5
- Resolver la ecuacin diferencial 0 dy ) xy y x 2 1 ( e dx ) 1 y ( e
y y
= + + + + +
Se tiene que ) 1 y ( e ) y , x ( M
y
+ = y ) xy y x 2 1 ( e ) y , x ( N
y
+ + + = , luego
(

+ =

=
(

+ =

) 2 y ( e
x
N
) 2 y ( e
y
M
y y

21
por lo tanto la ecuacin diferencial dada es exacta, luego existe una funcin
f(x,y), tal que:
) y , x ( M
x
f
=

y ) y , x ( N
y
f
=

y la solucin de la ecuacin diferencial ser C ) y , x ( f = . Luego
= ) y , x ( f

) y ( h ) 1 y ( xe ) y ( h dx ) 1 y ( e
y y
+ + = + + (2.2)
entonces
) xy y x 2 1 ( e ) y ( h ) 1 y ( xe
y
f
y y
+ + + = + + =

obtenindose que,
) 1 y ( e ) y ( h
y
+ =

luego
y
ye ) y ( h =

reemplazando h(y) en la ecuacin (2.2) se obtiene
y y
ye ) 1 y ( xe ) y , x ( f + + =

y la solucin general de la ecuacin diferencial dada es:
C ye ) 1 y ( xe
y y
= + +


22
2.4.- Ecuaciones Diferenciales Lineales de Primer Orden.
2.4.1.- Definicin de Ecuacin Diferencial Lineal de Primer
Orden.
Son ecuaciones diferenciales de la forma ) x ( Q y ) x ( P
dx
dy
= + , tal que las
funciones ) x ( P

) x ( Q son funciones continuas que dependen de la

variable x.

Existen dos tipos de ecuaciones diferenciales lineales:
a) Si Q(x)=0, la ecuacin lineal se denomina homognea.
b) Si 0 ) x ( Q , se denomina no homognea.

De inmediato se puede comprobar que la solucin general de la ecuacin
lineal homognea 0 y ) x ( P y = + , de variable separable, viene dada por

=
dx ) x ( P
Ce y

para determinar la solucin de la ecuacin diferencial lineal homognea
) x ( Q y ) x ( P y = + (2.3)
se asume que tiene una solucin general de la forma
p h
y y ) x ( y + =
tal que
h
y es la solucin de la ecuacin diferencial homognea asociada a la
ecuacin diferencial lineal no homognea.
23

La ecuacin homognea asociada es 0 ) x ( yP y = + , una ecuacin
diferencial de variable separable y la solucin general es

=
dx ) x ( P
h
Ce y

p
y es una solucin particular de la ecuacin diferencial lineal no homognea
que es similar a la solucin
h
y , es de la siguiente forma

1
dx ) x ( P
p
y ) x ( U e ) x ( U y =

(2.4)
siendo

=
dx ) x ( P
1
e y y U(x) es una funcin incgnita que depende de la
variable x.

Luego reemplazando (2.3) en (2.4) se obtiene
[ ]
) x ( Q y ) x ( U ) x ( P
dx
y ) x ( U d
1
1
= +

desarrollando la derivada, queda
[ ]
) x ( Q y ) x ( U ) x ( P
dx
) x ( U d
y
dx
dy
) x ( U
1 1
1
= + +
al factorizar da

[ ]
) x ( Q
dx
) x ( U d
y y ) x ( P
dx
dy
) x ( U
1 1
1
= +
(

+ (2.5)


24

como
0 y ) x ( P y y ) x ( P
dx
dy
1 1
1
= + = + (2.6)
al reemplazar (2.6) en (2.5) se llega a
[ ]
) x ( Q
dx
) x ( U d
y
1
=

al separar variables
[ ] dx
) x ( y
) x ( Q
) x ( U d
1
=

obtenindose al integrar trmino a trmino
= ) x ( U

dx
) x ( y
) x ( Q
1

as
= ) x ( U

dx ) x ( Q e
dx ) x ( P

(2.7)

al sustituir (2.7) en (2.4)

=
dx ) x ( P
p
e y
dx ) x ( Q e
dx ) x ( P

Entonces, si la ecuacin diferencial lineal homognea tiene solucin, debe
ser de la siguiente forma
25

= + =
dx ) x ( P dx ) x ( P
p h
e Ce y y ) x ( y
dx ) x ( Q e
dx ) x ( P

as
= ) x ( y

+

dx ) x ( P dx ) x ( P
Ce dx ) x ( Q e


Ejemplo 2.6
- Resolver la ecuacin
2
x
xe 2 xy 2 y

= +
Se tiene que x 2 ) x ( P =

2
x
xe 2 ) x ( Q

= , luego la solucin general de la

ecuacin diferencial dada viene dada por
= ) x ( y

dx ) x ( P dx ) x ( P
Ce dx ) x ( Q e (2.8)
sustituyendo ) x ( P

) x ( Q en (2.8), se obtiene
= ) x ( y

+

dx ) x 2 (
x
dx ) x 2 (
Ce dx ) xe 2 ( e
2

integrando se llega a que la solucin general de la ecuacin diferencial inicial
es:
2 2
x x
Ce xe ) x ( y

+ =


2.5.- Ejercicios Propuestos
1. Resolver cada una de las siguientes ecuaciones diferenciales por
separacin de variables
26
a) ) 1 x (
dx
dy
=
b) 0 dy ) x 1 ( dx ) y 1 (
2 2
= + + +
c) 0 dx ) e 1 ( x 2 dy ) x 1 ( e
y 2 y
= + +
d) y ) x ( Sen y =
e) 0
) x ( xLn
y
y e ) y 1 (
2
y
= +
f) dx ) y ( xCot dy ) x ( Sec =

2. Resolver cada una de las siguientes ecuaciones diferenciales, sujeta a la
condicin inicial respectiva, separando variable.
a) 0 e y x
x
= si 4 ) 0 ( y =
b) xy y y x
2
= si 1 ) 1 ( y =
c) 0 ) x ( Ln y xy = si 0 ) 1 ( y =
d) dy ) Cosx 1 ( Senxdx ) 1 e (
y
+ = +

si 0 ) 0 ( y =

3. Verificar si es homognea o no cada una de las siguientes ecuaciones
diferenciales y resolverla por tal mtodo si es posible.
a) y x y x 2 + =
b) 0 dy
x
y
xCos dx
x
y
yCos x = |

\
|
+ |

\
|

27
c)
2 2
y x y xy 2 + =

4. Verificar si cada una de las siguientes ecuaciones diferenciales es
homognea y hallar la solucin particular que satisfaga la condicin inicial
indicada.
a) 0 xdy dx ) y x y (
2 2
= si 0 ) 1 ( y =
b) 0 xdy dx y
x
y
xSec = |

\
|
+ si 0 ) 1 ( y =
c) dx y dy ) xy x (
2 2
= + si 0 ) 1 ( y =

5. Verificar si cada una de las siguientes ecuaciones diferenciales es exacta y
resolverla.
a) 0 y ) y 2 x ( y ) y x 2 ( x
2 2 2 2
= + + +
b) 0 dy
x
y 3
y 4 y sec x dx
x
y 2
tgy x 3
3
2
3 2 3
3
3
2
=
|
|

\
|
+ + +
|
|

\
|

c) 0 dy
y
1
Cosx xCosy dx
x
1
ySenx Seny =
|
|

\
|
+ + |

\
|
+ +
d) 0 dy xye 2 dx e y 2
2 2
xy xy 2
= +

6. Verificar si cada una de las siguientes ecuaciones diferenciales es lineal
de primer orden y resolverlas.
28
a) x 2 x y 2 y
2
+ = +
b)
2
x 3 y y x 2 =
c)
2
x
xe 2 xy 2 y =
d) Senx x y y x
2
+ =
e) Cosx Secx ytgx y + = + si 1 ) 0 ( y =
29






CAPITULO III
ECUACIONES DIFERENCIALES ORDINARIAS DE
PRIMER ORDEN Y GRADO UNO CON MAPLE.



30
CAPITULO III
3.- ECUACIONES DIFERENCIALES ORDINARIAS DE PRIMER
ORDEN Y GRADO UNO CON MAPLE.
MAPLE ejecuta una cantidad muy considerable de comandos relativos a este
tema y bastante eficientes. Es posible con tal programa resolver ecuaciones
diferenciales ordinarias de primer orden aplicando los mtodos de
resolucin conocidos: variable separable, homogneas, exactas y lineales,
siguiendo ordenadamente cada uno de los pasos requeridos.

Implementa un comando bsico que permite resolver directamente una
ecuacin diferencial ordinaria de primer orden, el mismo es:
dsolve(deqn,fnc(var)). Resuelve simblicamente la ecuacin diferencial
ordinaria deqn para la funcin fnc(var). La solucin suele darla en forma
implcita como una ecuacin en var, en fnc(var) y en las constantes
implcitas C
1
,...,C
n
. Se considera var como variable independiente y fnc
como variable dependiente. Si MAPLE no resuelve una ecuacin diferencial
con el comando dsolve, entonces se aplica el mtodo algebraico adecuado
con los comandos respectivos del programa.

En esta seccin se aplicaran los mtodos para resolver ecuaciones
diferenciales ordinarias de primer orden y grado uno usando MAPLE.
31

3.1.- Solucin de Ecuaciones Diferenciales con MAPLE
3.1.1.- Ecuaciones Diferenciales Separables o de Variables
Separables.
Se da inicio a los procesos con los siguientes comandos:
[> restart;
[> With(DEtools):

Este tipo de ecuaciones diferenciales ya se definieron en la seccin 2.1.

Ejemplo 3.1
Resolver la ecuacin diferencial: 0 ydx 2 dy = y(0) = 1
Separando variables la ecuacin diferencial se puede escribir de la siguiente
forma:
y(x)' = 2y

Luego se resuelve usando el comando dsolve, de la siguiente forma
[> dsolve(diff(y(x),x)=2*y(x));
= ( ) y x _C1 e ee e
( ) 2 x

y tal funcin es la solucin general.
32

Aplicando el mtodo algebraico descrito en la seccin 2.1, para resolver una
ecuacin diferencial de variable separable, que consiste en integrar trmino
a trmino luego de separar las variables, aplicando los comandos de MAPLE
se obtiene
> solve(int(1/y,y)=int(2,x));
{ } , = y y = x
1
2
( ) ln y

Luego se tiene que la solucin general de la ecuacin diferencial dada es:
C + = x
1 ( ) ln y
2

> simplify(y=solve(C+x=(1/2*ln(y)),y));
= y e ee e
( ) + 2 C 2 x


Que se puede expresar de la siguiente forma:
= y C e ee e
( ) 2 x



Se puede hacer usando MAPLE con el comando
contourplot(f(x,y),x=a..b,y=c..d) una representacin grfica de las
soluciones de la ecuacin diferencial, basado en el grfico de las familias de
33
soluciones con parmetro C, que es equivalente al grfico de las curvas de
nivel correspondiente a la ecuacin sin constante. Figura 3.1.
[> with(plots):
> contourplot(y-exp(2*x),x=0..2,y=1..9);

Figura 3.1

La solucin particular para la condicin inicial dada y(0) = 1, se obtiene de
la siguiente forma:
> C=solve(subs(x=0,y(0)=1,y(x)= C*exp(2*x)),C);
= C
1
e ee e
0

> value(%);
= C 1


Luego la solucin particular para la condicin inicial dada es la funcin:
> y:=exp(2*x);
34
:= y e ee e
( ) 2 x


La representacin grfica de dicha funcin se obtiene de la siguiente forma,
Figura 3.2:
> plot(y(x),x=0...2);

Figura 3.2

3.1.2.- Ecuaciones Diferenciales Homogneas.
Son ecuaciones diferenciales, como ya se mencion en la seccin 2.2, de la
forma M(x,y)dx = N(x,y)dy tal que las funciones M y N son homogneas del
mismo grado, para resolverlas se hace el cambio de variable y = ux o x = vy
para convertirlas en variable separable, se resuelven por tal mtodo y luego
se deshace el cambio de variable.

35
Con MAPLE se resuelven tales ecuaciones diferenciales aplicando el mtodo
en forma rigurosa y utilizando los comandos adecuados. Antes de realizar el
cambio de variable indicado, es conveniente cargar la librera difforms con
el comando with(difforms),para poder trabajar con formas diferenciales.
Luego se utiliza el comando defform(u=0,x=0,y=0) o
defforms(u=0,x=0,y=0),para declarar todas las variables que no van a ser
constantes o parmetros en la diferenciacin:
[> with(difforms):
[> defform(u=0,x=0,y=0):

EJEMPLO 3.2
Resolver la siguiente ecuacin diferencial: 0 xdy dx ) y ) x / y (( xSec = + ,
0 ) 1 ( y =
Para resolver la ecuacin diferencial aplicando el comando dsolve, se
procede de la siguiente manera
La ecuacin se puede escribir de la siguiente forma
0 y x x ) y ) x / y (( xSec = +
Luego se obtiene la solucin general de la ecuacin diferencial, as,
> dsolve(x*sec(y(x)/x)+y(x)-x*diff(y(x),x)=0,y(x));
= ( ) y x ( ) arcsin + ( ) ln x _C1 x


36
Despejando a C1
[> isolate(y=arcsin(ln(x)+C1)*x,C1);
= C1
|
\

|
|
sin
y
x
( ) ln x
ahora se determina el valor de C1 para dar la solucin particular para la
condicin inicial y(1) = 0
> C1=solve(subs(x=1,y=0,C1=sin(y/x)-ln(x)),C1);
= C1 ( ) sin 0 ( ) ln 1

> value(%);
= C1 0


Luego la solucin particular es

|
\

|
|
sin
y
x
( ) ln x = 0

La representacin grfica de la solucin particular obtenida es, Figura 3.3
[> implicitplot( sin(y/x)-ln(x)=0,x=1...3,y=-1...6);
37

Figura 3.3

Para obtener la solucin general aplicando el mtodo algebraico respectivo,
primero se comprueba si la ecuacin diferencial es homognea:
> m:=(x,y)->x*sec(y/x)+y;
:= m ( ) , x y + x
|
\

|
|
sec
y
x
y
> n:=(x,y)->x;
:= n ( ) , x y x


> collect(m(t*x,t*y),t);
|
\

|
|
+ x
|
\

|
|
sec
y
x
y t

> collect(n(t*x,t*y),t);
t x

38
Luego las dos funciones M y N son homogneas del mismo grado, grado
uno, por la tanto la ecuacin diferencial es homognea de grado uno. Para
resolverla se hace el cambio de variable y = ux para convertirla en una
ecuacin de variable separable y se agrupa en du y dx.
> simplify(subs(y=u*x,m(x,y)*d(x)-n(x,y)*d(y)));

x ( ) + ( ) d x ( ) cos u x ( ) d u
( ) cos u


>convert(collect((((x*d(x))-(x^2*cos(u))*d(u))/(x*cos(u))),{d(x),d(u)}),
parfrac,x);

( ) d x
( ) cos u
x ( ) d u

La ecuacin obtenida es de variable separable, luego se resuelve de tal
forma, separando variables e integrando trmino a trmino
> int(1/x,x)-int(cos(u),u);
( ) ln x ( ) sin u


Ahora deshaciendo el cambio de variable:
> expand(subs(u=y/x,ln(x)-sin(u)));
( ) ln x
|
\

|
|
sin
y
x


39
la solucin general de la ecuacin diferencial inicial ya se puede escribir:
( ) ln x
|
\

|
|
sin
y
x
= C
Representacin grfica de la familia de las soluciones de la ecuacin
diferencial, basado en el grfico de las familias de soluciones con parmetro
C, que es equivalente al grfico de las curvas de nivel correspondiente a la
ecuacin sin constante. Figura 3.4.
[> with(plots):
> contourplot( ln(x)-sin(y/x),x=0...3,y=-1..4);

Figura 3.4

La solucin particular si y(1) = 0,se obtiene de la siguiente forma:
> C=solve(subs(x=1,y=0,ln(x)-sin(y/x))=C);
= C ( ) ln 1 ( ) sin 0

> value(%);
= C 0

40

A continuacin se puede dar la solucin particular de la ecuacin diferencial
dado para la condicin inicial indicada.
( ) ln x
|
\

|
|
sin
y
x
= 0

La representacin grfica de la solucin obtenida es, Figura 3.5.
> implicitplot( ln(x)-sin(y/x)=0,x=1...3,y=-1..6);

Figura 3.5

3.1.3.- Ecuaciones Diferenciales Exactas.
Se sabe que son ecuaciones diferenciales del tipo M(x,y)dx + N(x,y)dy = 0,tal
que las funciones M y N son exactas, es decir
41
=

y
( ) M , x y

x
( ) N , x y . Si la ecuacin diferencial es exacta existe una
funcin f(x) tal que df = M(x,y)dx + N(x,y)dy y la solucin general de la
ecuacin diferencial viene dada por f(x,y) = C.
Los comandos que se usan de MAPLE para determinar la solucin general
de la ecuacin diferencial son
[> m:=(x,y)->funcion:#Define la funcin M(x,y)
[> n:=(x,y)->funcion:#Define la funcin N(x,y)
[> dsolve(m(x,y)+n(x,y)*diff(y(x),x)=0,y(x)):#Resuelve la ecuacin
diferencial de forma inmediata

La otra forma es aplicando el mtodo clsico de resolucin de ecuaciones
diferenciales exactas, con los siguientes comandos de MAPLE:
[> m:=(x,y)->funcion:#Define la funcin M(x,y)
[> n:=(x,y)->funcion:#Define la funcin N(x,y)
[> diff(m(x,y),y):#Determina la derivada parcial de la funcin M(x,y)con
respecto a y
[> diff(n(x,y),x):#Determina la derivada parcial de la funcin N(x,y) con
respecto a x

42
Si las anteriores derivadas son iguales la ecuacin diferencial es exacta,
entonces se determina la funcin f(x,y),con los siguientes comandos de
MAPLE:
[> sol_f(x,y):=simplify(int(m(x,y),x)+h(y):#Determina la integral de la
funcin M(x,y) con respecto a x
[> sol_f1:=simplify(diff(sol_f(x,y),y)):#Determina la derivada de la funcin
f(x,y) con respecto a x
[> sol1_:=simplify(sol_f1=n(x,y)):#Se obtiene la ecuacin para determinar
la derivada de la funcin h(y) con respecto a y
[> sol2_h(y):=solve(sol1_,diff(h(y),y)):#Despeja la derivada de h(y) con
respecto a y
[> sol3_h(y):=int(sol2_h(y),y):# Determina la funcin h(y)
[> f(x,y):=simplify(subs(sol3_h(y)=sol_f(x,y))):# Determina la funcin f(x,y)
y luego se expresa la solucin general de la ecuacin diferencial exacta.

Ejemplo 3.3
- Resolver la siguiente ecuacin diferencial:
+ e ee e
y
( ) + y 1 dx e ee e
y
( ) + + + 1 2 x y x y dy
= 0
Siguiendo cada uno de los pasos antes indicados y usando los comandos
respectivos de Maple se tiene
[> m:=(x,y)->exp(y)*(y+1):
43
[> n:=(x,y)->exp(y)*(1+2*x+y+x*y):
> factor(diff(m(x,y),y));
e ee e
y
( ) + y 2

> diff(n(x,y),x);
e ee e
y
( ) + y 2

> diff(M(x,y),y)=diff(N(x,y),x);
=

y
( ) M , x y

x
( ) N , x y
Entonces la ecuacin diferencial es exacta, luego existe una funcin f(x,y) tal
que
=

x
( ) f , x y ( ) M , x y y =

y
( ) f , x y ( ) N , x y

y la solucin general de la ecuacin diferencial es f(x,y) = C , para
determinarla con los comandos de Maple y siguiendo los pasos del mtodo
algebraico para este tipo de ecuaciones se procede de la siguiente forma
> sol_f(x,y):=int(m(x,y),x)+h(y);
:= ( ) sol_f , x y + e ee e
y
( ) + y 1 x ( ) h y

> sol_f1:=simplify(diff(sol_f(x,y),y));
:= sol_f1 + + e ee e
y
x y 2 e ee e
y
x
|
\

|
|

y
( ) h y
> sol1_:=simplify(sol_f1=n(x,y));
44
:= sol1_ = + + e ee e
y
x y 2 e ee e
y
x
|
\

|
|

y
( ) h y e ee e
y
( ) + + + 1 2 x y y x
> sol2_h(y):=solve(sol1_,diff(h(y),y));
:= ( ) sol2_h y + e ee e
y
e ee e
y
y

> sol3_h(y):=int(sol2_h(y),y);
:= ( ) sol3_h y e ee e
y
y

> f(x,y):=simplify(subs(h(y)=sol3_h(y),sol_f(x,y)));
:= ( ) f , x y + + e ee e
y
x y e ee e
y
x e ee e
y
y

y la solucin general de la ecuacin diferencial dada es
+ + e ee e
y
x y e ee e
y
x e ee e
y
y
= C
Para representar grficamente la familia de soluciones, se determina con las
curvas de nivel de la solucin general sin la constante (Figura 3.6), as
[> with(plots):
[> contourplot(exp(y)*x*y+exp(y)*x+exp(y)*y,x=-12...12, y=0...9);

Figura 3.6
Usando el comando dsolve de MAPLE
45
> dsolve((exp(y(x)))*(y(x)+1)+(exp(y(x)))*(1+2*x+y(x)+ x*y(x))*diff(y(x),x),
y(x));
= ( ) y x
+
|
\

|
|
|
|
|
LambertW
_C1 e ee e
|
\

|
|
x
+ 1 x
+ 1 x
|
\

|
|
|
|
|
LambertW
_C1 e ee e
|
\

|
|
x
+ 1 x
+ 1 x
x x
+ 1 x


> solve(y(x) = (LambertW(-_C1*exp(x/(1+x))/(1+x))+ LambertW(-_C1*
exp(x/(1+x))/(1+x))*x-x)/(1+x));
{ } , = x x = _C1 ( ) + + ( ) y x x ( ) y x x e ee e
( ) y x


Obtenindose, as la solucin general de la ecuacin diferencial dada con el
comando dsolve.

3.1.4.- Ecuaciones Diferenciales Lineales de Primer Orden.
Ya se definieron en la seccin 2.4.1, son del tipo
= +
dy
dx
( ) P x y ( ) Q x
siendo P(x) y Q(x) funciones polinmicas continuas que dependen de y , x la
solucin general viene dada por

> y(x)=exp(-int(P(x),x))*int(exp(int(P(x),x))*Q(x)+C,x);
46
= ( ) y x e ee e
( ) d

(
( ) P x x
d

(
(
(
(
+ e ee e
( ) d

(
( ) P x x
( ) Q x C x

Ejemplo 3.4
Resolver la siguiente ecuacin diferencial:
= +
dy
dx
2 x y 2 x e ee e
( ) x
2

Se tiene que es una ecuacin diferencial lineal de primer orden tal que
x 2 ) x ( P = y = ) x ( Q 2 x e ee e
( ) x
2
. MAPLE implementa las soluciones de estas
ecuaciones diferenciales siempre y cuando la integrales planteadas sean
evaluables por el programa, son muy pocas las restricciones que se
presentan. Se puede resolver la ecuacin diferencial lineal aplicando la
frmula respectiva y con el comando adecuado de MAPLE, as
[> y(x)=exp(-int(2*x,x))*(int(exp(int(2*x,x))*2*x*exp(-x^2), x)+C);
= ( ) y x e ee e
( ) x
2
( ) + x
2
C

y se ha obtenido la solucin general de la ecuacin diferencial dada.

Para representar grficamente la familia de soluciones, se determina con las
curvas de nivel de la solucin general sin la constante(Figura 3.7), as
[> with(plots):
> solve(y(x)=exp(-x^2)*(x^2+C));
47
{ } , = C ( ) y x e ee e
( ) x
2
x
2
= x x


> contourplot(y(x)*exp(x^2)-x^2,x=-4...4,y=-4...4);

Figura 3.7

Aplicando el comando dsolve se obtiene la solucin general
> sol_gen:=dsolve(diff(y(x),x)+2*x*y(x)=2*x*exp(-x^2), y(x));
:= sol_gen = ( ) y x ( ) + x
2
_C1 e ee e
( ) x
2


3.2.- Algunas Aplicaciones con MAPLE
Existen una gran cantidad de situaciones en geometra, economa, fsica,
biologa en todas las ciencias en general que se expresan como relaciones
matemticas entre ciertas cantidades conocidas y desconocidas y sus
derivadas, tales relaciones son modelos matemticos o ecuaciones
diferenciales o sistemas de ecuaciones diferenciales.
48

En este captulo se desarrollarn algunas aplicaciones de las ecuaciones
diferenciales ordinarias de primer orden y grado uno, usando MAPLE.

Como se trata de aplicaciones de ecuaciones diferenciales se deben resolver
y es posible que se desee graficar la curva solucin, entonces se carga la
librera para el tratamiento de tales aspectos con los siguientes comandos:
[> restart:
[> with(plots):
[> with(DEtools):

3.2.1.- Aplicaciones Geomtricas
Ejemplo 3.5
- Determinar la ecuacin de la curva del plano que pasa por el punto (2,0) y
que la recta tangente en cada punto de la curva pasa por el punto (1,2)
Sea ) x ( y y = la ecuacin de la curva C que se desea encontrar.
En un punto cualquiera ( ) x ( y , x ) perteneciente a la curva C, la ecuacin de la
recta tangente tiene ecuacin
) x X )( x ( y ) x ( y Y =
como todas esas rectas pasan por el punto (1,2) se obtiene
) x 1 )( x ( y ) x ( y 2 =

49
que se puede escribir as
y 2 ) x 1 (
dx
dy
=
luego
) y 2 (
dy
) x 1 (
dx

que es una ecuacin diferencial de variable separable sujeta a la condicin
2 ) 0 ( y = .

Luego se obtiene la solucin de tal ecuacin diferencial aplicando MAPLE de
la siguiente manera:

Con el mtodo algebraico usual usando MAPLE, la solucin general de la
ecuacin diferencial es
> sol_gen1:=solve(int(1/(1-x),x)=int(1/(2-y),y)+C);
:= sol_gen1 { } , , = C + ( ) ln 1 x ( ) ln 2 y = x x = y y

> eq2:=subs(C=ln(C1),sol_gen1);# Haciendo C=ln(C1)
:= eq2 { } , , = x x = y y = ( ) ln C1 + ( ) ln 1 x ( ) ln 2 y


al despejar a y se obtiene la solucin general en forma explicita
> eq_for_C1:=solve(eq2,y);
:= eq_for_C1 { } = y + + C1 C1 x 2

50

Para obtener la solucin particular sujeta a la condicin inicial y(2) = 0 o la
ecuacin de la curva C, se obtiene el valor de C1
> eq3:=subs(x=2,y=0,eq_for_C1);
:= eq3 { } = 0 + C1 2


> sol_C1:=solve(eq3,{C1});
:= sol_C1 { } = C1 -2


la solucin particular de la ecuacin diferencial o la ecuacin de la curva
pedida es

> sol_part1:=subs(sol_C1,eq_for_C1);
:= sol_part1 { } = y 4 2 x

y la representacin grfica se determina de la siguiente forma, figura 3.8.
> y:= 4-2*x;
:= y 4 2 x

> plot(y(x),x=-4..4);
51

Figura 3.8

Usando el comando dsolve de MAPLE tambin se obtiene la solucin
general de la ecuacin diferencial
> sol_gene1:=dsolve(diff(y(x),x)*(1-x)=2-y(x));
:= sol_gene1 = ( ) y x + ( ) + 1 x _C1 2


y la solucin particular es
> sol_part11:=dsolve({diff(y(x),x)*(1-x)=2-y(x),y(2)=0},y(x));
:= sol_part11 = ( ) y x 4 2 x



Ejemplo 3.6
- Hallar las trayectorias ortogonales de la hiprbola C xy = .
La ecuacin diferencial de la familia dada, se obtiene derivando la curva
C xy = , entonces
52
0 y
dx
dy
x = + (3.1)
Luego reemplazando
dx
dy
por
dy
dx
en la ecuacin (3.1) se obtiene la
ecuacin diferencial de las trayectorias ortogonales, es decir
0 y
dy
dx
x = +

luego
0 xdx ydy =

que es una ecuacin diferencial de variable separable, para resolverla o
determinar la familia de curvas deseada se aplica el mtodo algebraico
desarrollado en el ejemplo 3.5 o con el comando dsolve de MAPLE
La solucin general es
> sol_gen2:=solve(int(y,y)=int(x,x)+C);
:= sol_gen2 { } , , = C
1
2
y
2
1
2
x
2
= y y = x x

la representacin grfica de lugar geomtrico es, figura 3.9
> contourplot(1/2*y^2-1/2*x^20,x=-8..8,y=-8..8);
53

Figura 3.9

otra forma de expresar la solucin general de la ecuacin diferencial o del
lugar geomtrico obtenido es
> sol_ge2:=y(x)=solve(C=1/2*y^2-1/2*x^2,y);
:= sol_ge2 = ( ) y x ( ) , + 2 C x
2
+ 2 C x
2


y usando el comando dsolve la solucin es
> sol_gene2:=dsolve(diff(y(x),x)*y(x)-x=0);
:= sol_gene2 , = ( ) y x + x
2
_C1 = ( ) y x + x
2
_C1


solucin general equivalente a la obtenida anteriormente, sol_ge2.


Ejemplo 3.7
54
- Hallar la familia de las curvas tales que la longitud de la parte de la recta
tangente entre el punto de contacto (x,y) y el eje y es igual al segmento
interceptado en y por la tangente. Figura 3.10

Figura 3.10

Se tiene que la ecuacin de la recta tangente a la curva y(x) en cualquier
punto (x,y) tiene ecuacin
) x X )( x ( y y Y =

(x,y) son las coordenadas de un punto cualquiera de la recta tangente.

La interseccin de la recta tangente con el eje y se obtiene de la ecuacin
de la recta tangente

dx
dy
x y Y = (3.2)
y la longitud del segmento de recta tangente indicada es
55
2
2
dx
dy
x y Y x Y
(

\
|
+ =
simplificando, se obtiene
2
dx
dy
1 x Y |

\
|
+ =
luego se tiene que

2
dx
dy
1 x y |

\
|
+ = (3.3)
al reemplazar (3.3) en (3.2) queda
dx
dy
x y
dx
dy
1 x
2
=
|
|

\
|
|

\
|
+
al elevar al cuadrado en ambos lados de la ecuacin queda
2
2 2
2
2
dx
dy
x
dx
dy
xy 2 y
dx
dy
1 x |

\
|
+ =
(
(

\
|
+

2
2 2
2
2 2
dx
dy
x
dx
dy
xy 2 y
dx
dy
x x |

\
|
+ = |

\
|
+

al simplificar se obtiene
2 2
x y
dx
dy
xy 2 =

luego
( ) 0 dx y x xydy 2
2 2
= + +

56
que es una ecuacin diferencial homognea que se resolver usando el
mtodo algebraico desarrollado en la seccin 3.2.

La sesin se inicia con los comandos
[> with(difforms):
[> defform(u=0,x=0,y=0):
Aplicando el mtodo algebraico para resolver ecuaciones diferenciales
homogneas con MAPLE se tiene

> m:=(x,y)->x^2+y^2;
:= m ( ) , x y + x
2
y
2


[> n:=(x,y)->2*x*y;
:= n ( ) , x y 2 y x

> collect(m(t*x,t*y),t);
( ) + x
2
y
2
t
2

> collect(n(t*x,t*y),t);
2 t
2
y x


Luego las funciones M y N son homogneas del mismo grado, entonces la
ecuacin diferencial es homognea. Para resolverla se hace el cambio de
57
variable ux y = para convertirla en una ecuacin diferencial de variable
separable.

Haciendo el cambio de variable se obtiene
> simplify(subs(y=u*x,m(x,y)*d(x)+n(x,y)*d(y)));
+ + ( ) d x x
2
3 ( ) d x u
2
x
2
2 u x
3
( ) d u

agrupando trminos y separando variable queda la ecuacin
> collect((d(x)*x^2/x^2+3*d(x)*u^2*x^2/x^2+2*u*x^3*d(u)/x^2),{d(x),d(u)});
+ ( ) + 1 3 u
2
( ) d x 2 u x ( ) d u

> collect(((1+3*u^2)*d(x)/((1+3*u^2)*x)+2*u*x*d(u)/((1+3*u^2)*x),{d(x),d(u)}));
+
( ) d x
x
2 u ( ) d u
+ 1 3 u
2

> eq5:=solve(int(1/x,x)+int(2*u/(1+3*u^2),u)+C);
:= eq5 { } , , = C ( ) ln x
1
3
( ) ln + 1 3 u
2
= u u = x x

luego al sustituir u = y/x se obtiene la solucin de la ecuacin diferencial o la
ecuacin de la familia de las curvas pedida
> sol_gen3:=simplify(subs(u=y/x,C=-ln(x)-1/3*ln(1+3*u^2)));
:= sol_gen3 = C ( ) ln x
1
3
|
\

|
|
|
ln
+ x
2
3 y
2
x
2


58
la representacin grfica, figura 3.11, del conjunto solucin es
> contourplot(-ln(x)-1/3*ln((x^2+3*y^2)/(x^2)),x=-8..10,y=-8..8);

Figura 3.11

Haciendo C = ln(C1) queda
[> eq6:=subs(C=ln(C1),sol_gen3);
:= eq6 = ( ) ln C1 ( ) ln x
1
3
|
\

|
|
|
ln
+ x
2
3 y
2
x
2


despejando a y se tiene la solucin en forma explicita
> sol_gen31:=solve(ln(C1)=-ln(x)-1/3*(ln((x^2+3*y^2)/(x^2))),{y});
:= sol_gen31 , { } = y
1
3
3 x C1 ( ) + 1 x
3
C1
3
x C1
2
{ } = y
1
3
3 x C1 ( ) + 1 x
3
C1
3
x C1
2


Usando el comando dsolve se obtiene la solucin general de la ecuacin
diferencial equivalente a sol _gen31
> sol_gen32:=dsolve(diff(y(x),x)*2*y(x)*x+y(x)^2+x^2=0);
59
:= sol_gen32 , = ( ) y x
1
3
3 x ( ) x
3
3 _C1
x
= ( ) y x
1
3
3 x ( ) x
3
3 _C1
x


3.2.2.- Crecimiento y Decrecimiento
Ejemplo 3.8
Cierta ciudad tena una poblacin de 30.000 habitantes en 1.990 y una
poblacin de 35.000 en el 2.000, si los ndices de naturalidad y mortalidad se
mantienen constantes. Qu poblacin puede esperarse que tenga la
ciudad en el ao 2.005. Si el crecimiento de la poblacin es proporcional al
nmero de habitantes en cualquier instante t?
Sea P la poblacin de la ciudad a los t aos y cuando 0 t = , 000 . 30 ) 0 ( P =
habitantes, es decir para 0 t = hay 30.000 habitantes. (Se inicia el anlisis
con 30.000 habitantes)
Luego se tiene que la ecuacin diferencial que permite determinar la funcin
para calcular el nmero de habitantes de la ciudad en cualquier tiempo t es
kP
dt
dP
= , siendo k el factor de proporcionalidad
o
kdt
P
dP
=

60
Es una ecuacin diferencial de variable separable. Se separan las variables
y se aplican los comandos respectivos de MAPLE para resolverla o con el
comando dsolve.

Usando MAPLE y el mtodo algebraico usual para resolver ecuaciones
diferenciales de variable separable.
> eq7:=int(1/P,P)=int(k4,t)+C3;
:= eq7 = ( ) ln P + k4 t C3


haciendo C3 = ln(C4) se tiene
[> eq8:=subs(C3=ln(C4),eq7);
:= eq8 = ( ) ln P + k4 t ( ) ln C4


> sol_gen4:=P(t)=solve(eq8,P);
:= sol_gen4 = ( ) P t e ee e
( ) k4 t
C4


para la condicin P(0) = 30000 se obtiene la ecuacin
[> ic1:=P(0)=30000;
:= ic1 = ( ) P 0 30000

> value(subs(t=0,ic1,sol_gen4));
= 30000 C4

61

al reemplazar el valor de C4 queda
> sol_par2:=subs(C4=30000,sol_gen4);
:= sol_par2 = ( ) P t 30000 e ee e
( ) k4 t


y como P(10) = 5000, el valor de k4 que se obtiene es
> ic2:=P(5)=5000;
:= ic2 = ( ) P 5 5000

> k4:=value(solve(subs(t=5,ic2,sol_par2)));
:= k4
1
5
( ) ln 6

luego la solucin particular es
> subs(k4=-1/5*ln(6),sol_par2);
= ( ) P t 30000 e ee e
( ) / 1 5 ( ) ln 6 t


la representacin grfica, figura 3.12, de la solucin es
> P:=30000*exp(-1/5*ln(6)*t);
:= P 30000 e ee e
( ) / 1 5 ( ) ln 6 t


> plot(P,t=0..6);
62

Figura 3.12

cuando t = 10 la poblacin ser
> sol_P(10):=evalf(subs(t=10,P));
:= ( ) sol_P 10 833.3333337


Ejemplo 3.9
En cierto cultivo de bacterias la velocidad de aumento es proporcional al
nmero presente. Si el nmero de bacterias se ha triplicado en 3 horas.
Qu tiempo tard la poblacin en duplicar su nmero inicial.
Sea B el nmero de bacterias a las t horas y cuando 0 t = la poblacin inicial
se considera igual a
0
B , es decir
0
B ) 0 ( B = y
0
B 3 ) 3 ( B = , cuando han
transcurrido 3 horas, entonces la poblacin se ha triplicado.

Luego la ecuacin diferencial que permite hallar la funcin para calcular la
poblacin de bacterias en cualquier instante t es
63
kB
dt
dB
= , siendo k el factor de proporcionalidad
es una ecuacin diferencial de variable separable, para resolverla con
MAPLE se separan las variables y se aplican los comandos respectivos para
determinar la solucin o se usa el comando dsolve

La ecuacin diferencial planteada se puede resolver aplicando el mtodo
algebraico usual usando MAPLE, desarrollado en el ejemplo 3.8. Con el
comando dsolve de MAPLE se obtiene la solucin
> sol_par3:=dsolve({diff(B(t),t)=k5*B(t),B(0)=B_o},B(t));
:= sol_par3 = ( ) B t B_o e ee e
( ) k5 t


como B(3) = 3B_o, entonces k5 es
[> k5:=solve(subs(t=3,B(3)=3*B_o,B(t) = B_o*exp(k5*t)),k5);
:= k5
1
3
( ) ln 3

luego solucin particular es
> subs(k5=1/3*ln(3),B(t)=B_o*exp(k5*t));
= ( ) B t B_o e ee e
( ) / 1 3 ( ) ln 3 t


el tiempo requerido para duplicar su poblacin es
64
> t:=solve(subs(B(t)=2*B_o,B(t)=B_o*exp(1/3*ln(3)*t)),t);
:= t 3
( ) ln 2
( ) ln 3


Ejemplo 3.10
Una cantidad de dinero se dice que produce un inters continuamente
compuesto, si la cantidad de dinero crece con una rapidez proporcional a la
cantidad presente. Si se invierten 600.000 bolvares bajo un inters
continuamente compuesto, tal que el inters es del 18% anual. En qu
tiempo se duplicar la cantidad inicial de dinero invertida?
Sea C la cantidad de dinero acumulado a los t aos, y cuando 0 t = se tiene
que 000 . 600 ) 0 ( C = , se pide t cuando 000 . 200 . 1 ) t ( C = .
La ecuacin diferencial que permite obtener la funcin para calcular el capital
acumulado a los t aos es
kC
dt
dC
= , siendo k el factor de proporcionalidad
es una ecuacin de variable separable sujeta a la condicin 000 . 600 ) 0 ( C = ,
con 18 , 0 k = y hay que determinar en que tiempo t se duplicar el capital
inicial, usando MAPLE con los comandos respectivos se tiene
> sol_par4:=dsolve({diff(C(t),t)=0.18*C(t),C(0)=600000},C(t));
:= sol_par4 = ( ) C t 600000 e ee e
( ) / 9 50 t


65
el tiempo necesario para duplicar el capital ser
> t:=solve(subs(C(t)=1200000,C(t)=600000*exp(9/50*t)),t);
:= t
50
9
( ) ln 2

Ejemplo 3.11
Una sustancia radioactiva decrece a una tasa proporcional a la cantidad
presente. Si la vida media (tiempo necesario para que se desintegre la mitad
de la sustancia) es de cinco (5) aos. Cunto tiempo debe transcurrir para
que quede solamente el 2% de la sustancia original?
Si S(t) es la cantidad de sustancia en el tiempo t, entonces
kS
dt
dS
=

se coloca -k porque hay decrecimiento o velocidad negativa, si no se
colocar -k entonces al determinarla resultara negativa.

Luego la ecuacin se puede escribir
kdt
S
dS
=

que es de variable separable aplicando MAPLE para resolverla, se tiene
> sol_par5:=dsolve({diff(S(t),t)=-k6*S(t),S(0)=S},S(t));
:= sol_par5 = ( ) S t S e ee e
( ) k6 t

66

> k6:=solve(subs(t=5,S(5)=S/2,S(t)=S*exp(-k6*t)),k6);
:= k6
1
5
( ) ln 2
> subs(k6=1/5*ln(2),S(t) = S*exp(-k6*t));
= ( ) S t S e ee e
( ) / 1 5 ( ) ln 2 t


el tiempo necesario para que quede solamente el 2% de la sustancia original
es
[> t:=solve(subs(S(t)=(S*98)/100,S(t)=S*exp(-1/5*ln(2)*t)),t);
:= t 5
|
\

|
|
ln
49
50
( ) ln 2


Ejemplo 3.12
Se inyecta glucosa por va intravenosa, a una tasa constante de k unidades
por minuto. Al mismo tiempo la glucosa se transforma y se separa de la
sangre a un ritmo proporcional a la cantidad presente. Determinar una
funcin G(t) que permita determinar la cantidad de glucosa presente en la
sangre en cualquier instante t. Si
0
G ) 0 ( G =
Entonces
aG k
dt
dG
=

67
es la ecuacin diferencial que permite determinar la funcin G(t) y se puede
escribir as
k ) t ( aG ) t ( G = +

es una ecuacin diferencial ordinaria lineal de primer orden.

La solucin de tal ecuacin aplicando MAPLE se obtiene de la siguiente
manera

La solucin general de la ecuacin diferencial plateada usando el mtodo
para resolver ecuaciones diferenciales lineales de primer orden se obtiene a
partir de la expresin
= ( ) G t e ee e
( ) d

(
( ) P t t
|
\

|
|
|
|
+ d

(
(
(
(
e ee e
( ) d

(
( ) P t t
( ) Q t t _C

se tiene que P(t) = a y Q(t) = k ,la solucin general es
> sol_gen4:=G(t)=(exp(-int((a),t)))*(int(exp(int((a),t))*k,t)+C);
:= sol_gen4 = ( ) G t e ee e
( ) a t
|
\

|
|
|
+
k e ee e
( ) a t
a
C


el valor que se obtiene para la constante arbitraria C al considerar la
condicin inicial G(0) = 0, es
> C:=solve(subs(t=0,G(0)=G[0],G(t)=exp(-a*t)*(k*exp(a*t)/a+C)),C);
68
:= C
+ G
0
a k ( ) e ee e
0
2
e ee e
0
a

> C:=value(%);
:= C
+ G
0
a k
a

al sustituir el valor de C en la solucin sol_gen4 se llega a la ecuacin
requerida
> subs(C=-(-G[0]*a+k)/a,G(t) = exp(-a*t)*(k*exp(a*t)/a+C));
= ( ) G t e ee e
( ) a t
|
\

|
|
|

k e ee e
( ) a t
a
+ G
0
a k
a


Usando el comando dsolve la solucin general es
> dsolve(diff(G(t),t)+a*G(t)=k);
= ( ) G t +
k
a
e ee e
( ) a t
_C1

3.2.3.- Ley de Enfriamiento de Newton
Segn la ley de enfriamiento de Newton se tiene que la rapidez con que se
enfra un objeto es proporcional a la diferencia entre su temperatura y la del
medio que le rodea, que es la temperatura ambiente. Si T(t) representa la
temperatura del objeto en el momento t, A es la temperatura constante del
69
medio que lo rodea y
dt
dT
es la rapidez con que se enfra el objeto, la ley de
enfriamiento de Newton se expresa mediante la siguiente ecuacin
diferencial.
) A T ( k
dt
dT
=

tal que k es la constante de proporcionalidad

Ejemplo 3.13
- Determinar en cunto tiempo se enfriar un cuerpo hasta 80C, sabiendo
que otro ambiente a temperatura constante de 15C se enfriar de 200C a
100C en 40 minutos.
Segn la ley de enfriamiento de Newton se tiene que la ecuacin diferencial
es
) A T ( k
dt
dT
=

es una ecuacin de variable separable, tal que 0 k > , A temperatura del
ambiente y ) t ( T T =

Luego
kdt
A T
dT
=

Aplicando los comandos de MAPLE para obtener la solucin se tiene
70
> sol_gen5:=solve(int(1/(T-A),T)=int(-k7,t)+_C);
:= sol_gen5 { } , , , , = _C + ( ) ln T A k7 t = T T = t t = A A = k7 k7


al hacer _C = ln(C1)
> eq8:=subs(_C=ln(C1),sol_gen5);
:= eq8 { } , , , , = ( ) ln C1 + ( ) ln T A k7 t = T T = t t = A A = k7 k7

al despejar T
> eq_for_T:=solve(subs(A=15,eq8),T);
:= eq_for_T { } = T + e ee e
( ) k7 t
C1 15


se tiene que T(0) = 200^o y T(40) = 100o^C.,luego con las siguiente
ecuaciones se obtiene el valor de k y C1
> ic3:= T=200;
:= ic3 = T 200

> eq9:=simplify(solve(subs(t=0,ic3,eq_for_T)));
:= eq9 { } = C1 185

> ic4:=T=100;
:= ic4 = T 100

> eq10:=simplify(subs(t=40,ic4,eq_for_T));
:= eq10 { } = 100 + e ee e
( ) 40 k7
C1 15

> solve(subs(C1=185,eq10));
71
{ } = k7
1
40
|
\

|
|
ln
17
37

[> sol_par6:=subs(k7=-1/40*ln(17/37),C1=185,eq_for_T);
:= sol_par6 { } = T + 185 e ee e
|
\

|
|
/ 1 40
|
\

|
|
ln
17
37
t
15

el tiempo para enfriar el cuerpo a una temperatura de 100C
> solve(subs(T=80,sol_par6));

`
= t 40
|
\

|
|
ln
13
37
|
\

|
|
ln
17
37


3.2.4.- Mezclas
Ejemplo 3.14
Un tanque de capacidad 100 litros, est lleno y contiene 60 kilogramos de
sal. Entra al tanque 2 litros de agua por minuto y la mezcla, conservada
mediante agitacin uniformemente, sale a la misma velocidad. Cunta sal
queda en el tanque despus de una hora? (Figura 3.13)
72

Figura 3.13

Sea ) t ( S S = la cantidad de sal, en kilogramos, que hay en el tanque en el
tiempo t. Se tiene que 60 ) 0 ( S = Kg. y la concentracin de sal inicial es
100
60
Litros
Kg
. Se tiene que la variacin de la concentracin de sal en el
tanque es
=
dt
dS
(tasa de sal que entra) - (tasa de sal que sale)
no entra sal, luego la tasa de entrada es cero y la tasa de salida es
tasa de sal que sale es
100
S 2


Luego
50
S
dt
dS
=

es una ecuacin diferencial de variable separable, y se puede escribir de la
siguiente forma
73
50
dt
S
dS
=


Aplicando MAPLE bien sea con el comando dsolve o integrando trmino a
trmino, se obtiene la solucin deseada, resolviendo la ecuacin con el
comando dsolve se obtiene la solucin particular
[> sol_par7:=dsolve({diff(S(t),t)=-S(t)/50,S(0)=60},S(t));
:= sol_par7 = ( ) S t 60 e ee e
( ) / 1 50 t


la cantidad de sal a los 60 minutos
> subs(t=60,sol_par7);
= ( ) S 60 60 e ee e
( ) / -6 5


Ejemplo 3.15
Un tanque contiene 100 galones de agua, en el cual se han disuelto 50
libras de sal. Otra solucin de salmuera entra al tanque a razn de 3
galones por minuto con una concentracin de 1 libra por galn y la mezcla,
que se mantiene uniforme mediante agitacin, sale a razn de 2 galones por
minuto. Hallar la cantidad de sal al transcurrir 30 minutos.
74
Sea ) t ( S S = la cantidad de sal en el tanque en cualquier momento t. La
rapidez de cambio de la concentracin de sal en el tanque A(t) viene dada
por
=
dt
dA
(tasa de entrada de sal) - (tasa de salida de sal)
la tasa de entrada de la sal =
|

\
|
|

\
|
gal
lib
1
min
gal
3 =
min
lib
3
la tasa de salida de la sal = |

\
|
+
|

\
|
t 100
S
min
gal
2
ya que la concentracin de sal de la mezcla en cualquier momento t es
gal
lib
t 100
) t ( S
=
+

sabiendo que S(t) es la cantidad de sal en el tanque en el instante t y la
cantidad de litros es 100 Lt, ya que entran 3 galones y salen 2 galones, va
aumentando la mezcla 1 galn por minuto.

Luego se tiene que
(

+
=
t 100
) t ( S
2 3
dt
dS

es la ecuacin diferencial que permite determinar la funcin para calcular la
cantidad de sal presente en el tanque en cualquier instante t, se puede
escribir as
3
t 100
S 2
dt
dS
=
+
+

75
y es una ecuacin diferencial lineal de primer orden y grado uno, sujeta a la
condicin 50 ) 0 ( S = lib.

Con el comando dsolve de MAPLE se obtiene la solucin particular
> sol_par8:=dsolve({diff(S(t),t)=3-2(S(t))/(100+t),S(0)=50},S(t));
:= sol_par8 = ( ) S t + + + + 2 ( ) ln + 100 t 3 t 4 ( ) ln 2 4 ( ) ln 5 50

la cantidad de sal a los 30 minutos ES
> simplify(subs(t=30,sol_par8));
= ( ) S 30 + + 2 ( ) ln 2 2 ( ) ln 5 2 ( ) ln 13 140

3.2.5.- Circuitos Elctricos
En esta seccin se considerarn los circuitos elctricos simples conformados
por una resistencia y un inductor o condensador conectados en serie a una
fuerza electromotriz.

Figura 3.14

Luego es bueno recordar cada uno de los siguientes conceptos, sin ser tan
detallistas ni entrar en demostraciones.
76

3.2.5.1.- Una Fuerza Electromotriz (fem) en voltios (V), producida casi
siempre por una batera o un generador, hace fluir una carga elctrica Q en
Coulombs y produce una corriente I en Amperes (amp). La corriente I se
define como la rapidez de flujo de la carga Q y se escribe
dt
dQ
I =


3.2.5.2.- Una resistencia R en ohms (

) es una componente del circuito

elctrico que se opone a la corriente y disipa energa en forma de calor.
Produce una cada de voltaje que est dada por la ley de Ohm.
I * R E
R
=


3.2.5.3.- Un inductor de inductancia L en henries (h) se opone a cualquier
cambio en la corriente produciendo una cada de voltaje que viene dada por
dt
dI
L E
L
=


3.2.5.4.- Un condensador de capacitancia C en farads acumula carga. Al
hacerlo se resiste al flujo adicional de carga, produciendo una cada de
voltaje
77
C
Q
E
C
=


Las cantidades para R, L y C son generalmente constantes dependientes de
las componentes especficas del circuito elctrico; E puede ser constante o
variable en funcin del tiempo.

El principio fundamental que gobierna estos circuitos es la ley de los voltajes
de Kirchoff; cuyo enunciado es:
La suma (algebraica) de las cadas de voltaje a travs de los elementos de
un circuito elctrico simple es igual al voltaje aplicado.

En el circuito elctrico de la figura 3.14a, la resistencia R y el inductor L
producen cadas de voltaje
R
E y
L
E , respectivamente. Entonces segn la
ley de Kirchoff da:
L R
E E E + =

I * R
dt
dI
L E + =


y en el circuito elctrico de la figura 3.14b, la resistencia R y el condensador
C producen cadas de voltaje
R
E y
L
E , respectivamente. Entonces segn la
ley de Kirchoff se tiene que:
78
C R
E E E + =

o
C
Q
I * R E + =

pero
dt
dQ
I =

luego
C
Q
dt
dQ
R E + =


En los siguientes ejemplos se ilustra el uso de tales ecuaciones.

Ejemplo 3.16
Una resistencia de 10 ohms ( ) y una inductancia de 2 henries (h) se
conectan en serie con una fuerza electromotriz (fem) de 100 Volts (V). Si la
corriente I = 0 cuando t = 0. Cul es la corriente cuando t = 0,1 seg?
Como L = 2h, R = 10 y E = 100V, el circuito elctrico se representa en la
figura 3.15
79

Figura 3.15

La ecuacin diferencial que permite determinar la funcin para calcular la
corriente I en cualquier instante es:
E I * R
dt
dI
L = +

reemplazando informacin, queda la ecuacin diferencial
100 I 10
dt
dI
2 = +

sujeta a la condicin
0 ) 0 ( I =
.

Es una ecuacin diferencial ordinaria lineal de primer orden y grado uno, tal
que
5 ) t ( P = y 50 ) t ( Q =
y la solucin general viene dada por la expresin
|
|

\
|
+
|
|

\
|
=

C dt ) t ( Q e e ) t ( Q
dt ) t ( P dt ) t ( P

80
reemplazando informacin queda
|
|

\
|
+
|
|

\
|
=

C dt 50 e e ) t ( Q
dt 5 dt 5


Aplicando los comandos de MAPLE se tiene que usando el comando dsolve
se obtiene la solucin particular
[> sol_par9:=dsolve({diff(i(t),t)*2+10*i(t)=100,i(0)=0},i(t));
:= sol_par9 = ( ) i t 10 10 e ee e
( ) 5 t


la representacin grfica, figura 3.16, es
> i(t):=10-10*exp(-5*t);
:= ( ) i t 10 10 e ee e
( ) 5 t

> plot(i(t),t=0..6,i=-2..12);

Figura 3.16

la corriente a los 0,1 s es
> subs(t=0.1,sol_par9);
81
= ( ) i .1 10 10 e ee e
( ) -.5


Ejemplo 3.17
Supngase la fuerza electromotriz ) t 60 ( Sen 100 ) t ( E = voltios, L = 2h, R =
10

, el circuito elctrico se representa en la figura 3.17

Figura 3.17

La ecuacin diferencial que permite determinar la funcin para calcular la
corriente I en cualquier instante es:
E RI
dt
dI
L = +
reemplazando informacin queda la ecuacin diferencial
) t 60 ( Sen 50 I 5
dt
dI
= +
sujeta a la condicin 0 ) 0 ( I = . Es una ecuacin diferencial ordinaria lineal de
primer orden y grado uno, tal que
5 ) t ( P = y ) t 60 ( Sen 50 ) t ( Q =
82
y la solucin general viene dada por la expresin
|

\
|
+ +

\
|
=

C dt ) t ( Q e e ) t ( Q
dt ) t ( P dt ) t ( P

reemplazando informacin queda
( )

+ +
|

\
|
=

C dt ) t 60 ( Sen 50 e e ) t ( Q
dt 5
dt 5

aplicando los comandos de MAPLE se tiene
La solucin particular que se obtiene con el comando dsolve es
> sol_par10:=dsolve({2*diff(i(t),t)+10*i(t)=100*sin(60*t),i(0)=0},i(t));
:= sol_par10 = ( ) i t + +
24
29
( ) cos 60 t
2
29
( ) sin 60 t
24
29
e ee e
( ) 5 t

la grfica, figura 3.18, es
> i(t):=-24/29*cos(60*t)+2/29*sin(60*t)+24/29*exp(-5*t);
:= ( ) i t + +
24
29
( ) cos 60 t
2
29
( ) sin 60 t
24
29
e ee e
( ) 5 t

> plot(i(t),t=-Pi...Pi,i=-6..10);

Figura 3.18

83
3.2.6.- Otras Aplicaciones
Ejemplo 3.18
Un paracaidista est cayendo con una velocidad de
s
pies
176 al abrirse su
paracadas. Si la resistencia del aire es igual a
256
v
w
2
libras, donde w es
peso total del hombre y del paracadas, hallar la funcin para determinar su
velocidad en un instante t despus de abierto el paracadas.
Se tiene que
Fuerza neta del sistema = (peso del sistema) (resistencia del aire)

Luego
256
v
w w
dt
dv
g
w
2
=
al simplificar, se obtiene
256
v 256
dt
dv
g
1
2

=
reemplazando
2
seg
lib
32 g = , queda
8
dt
v 256
dv
2
=

que viene siendo una ecuacin diferencial ordinaria de primer orden y grado
uno de variable separable,
84

Con el comando dsolve se obtiene la solucin general
> sol_gen6:=dsolve(diff(v(t),t)=(256-(v(t))^2)/8);
:= sol_gen6 = ( ) v t
+ 16 e ee e
( ) 4 t
_C1 16
+ 1 e ee e
( ) 4 t
_C1

Ejemplo 3.19
Bajo ciertas condiciones la cantidad de Q
segundo
calorias
. que pasa a
travs de una superficie est dada por
dx
dT
kA Q =
donde k es la constante de conductividad del material, A en cm
2
es el rea
de una de las caras de la superficie perpendicular a la direccin del flujo y T
es la temperatura a x centmetros de la cara A, de tal manera que T decrece
a medida que x crece.

Un conducto de vapor de 10 cm de dimetro est protegido por un
recubrimiento de 6 cm de espesor para el que 0003 , 0 k = . Hallar la prdida
de calora a travs de una longitud de 2 metros de la tubera si la superficie
interna del recubrimiento est a 200C y la superficie exterior a 30C.

85
Se tiene que la variacin de la temperatura a travs de la superficie viene
dada por
dx
dT
kA Q =
tal que Q constante, 0003 , 0 k = , x 4 A = ,
C 200 ) 10 ( T = y C 30 ) 16 ( T =
al reemplazar informacin se tiene
dx
dT
) x 4 ( k Q =
) x 4 ( k
Q
dx
dT

=

Es una ecuacin diferencial de variables separables y la solucin general
que se determina con el comando dsolve es
> sol_gen7:=dsolve(diff(T(x),x)=-Q/(k*4*Pi*x));
:= sol_gen7 = ( ) T x +
1
4
Q ( ) ln x
k
_C1
> eq11:=subs(k=0.0003,sol_gen7);
:= eq11 = ( ) T x + 833.3333332
Q ( ) ln x

_C1
[> ic5:=T(10)=200;
:= ic5 = ( ) T 10 200

> eq12:=simplify(subs(x=10,ic5,eq11));
86
:= eq12 = 200 + 610.7796652 Q _C1

> ic6:=T(16)=30;
:= ic6 = ( ) T 16 30

> eq13:=simplify(subs(x=16,ic6,eq11));
:= eq13 = 30 + 735.4520004 Q .9999999999 _C1

> sist_eqns1:={eq12,eq13};
:= sist_eqns1 { } , = 200 + 610.7796652Q _C1 = 30 + 735.4520004Q .9999999999_C1

> sols:=solve(sist_eqns1);
:= sols { } , = Q 1.363574362 = _C1 1032.843492


luego el calor perdido por hora a travs de una longitud de dos metros del
conducto indicado es
> sol:=Q*200*3600;
:= sol 720000 Q

> subs(Q=1.363574362,sol);
981773.5406


al aplicar el mtodo algebraico y los comandos respectivos para determinar
la solucin general de una ecuacin diferencial de variable separable
> solve(int(Q/x,x)=int(-k*4*Pi,T));
87
{ } , , , = Q Q = k k = T T = x e ee e
|
\

|
|
4
k T
Q
{ } , , , = x x = Q 0 = T T = k 0 , ,
{ } , , , = x x = k k = Q 0 = T 0

> sol_gen8:=T(x)=solve(x=exp(-4*k*Pi*T/Q),T)+C;
:= sol_gen8 = ( ) T x +
1
4
Q ( ) ln x
k
C

88






CAPITULO IV
ECUACIONES DIFERENCIALES ORDINARIAS
LINEALES DE SEGUNDO ORDEN



89
CAPITULO IV
4.- ECUACIONES DIFERENCIALES ORDINARIAS LINEALES
DE SEGUNDO ORDEN.
4.1.- Conceptos Preliminares
Es conveniente antes de desarrollar o explicar los mtodos para resolver
ecuaciones diferenciales ordinarias lineales de segundo orden citar algunos
conceptos bsicos para estudiar tales ecuaciones.

4.1.1.- Definicin Dependencia e Independencia lineal de
funciones.
Un conjunto de funciones, ) x ( f
1
, ) x ( f
2
, , ) x ( f
n
, es linealmente
independiente en un intervalo I, si la nica solucin de la ecuacin
) x ( f C ) x ( f C
2 2 1 1
+ 0 ) x ( f C .......
n n
= + + , es la trivial, es decir,
0 C ... C C
n 2 1
= = = = . De lo contrario, son linealmente dependientes.

4.1.2.- Definicin Wronskiano de las funciones ) x ( f
1
, ) x ( f
2
, ...,
) x ( f
n
.

Sean ) x ( f
1
, ) x ( f
2
, .., ) x ( f
n
, funciones que poseen al menos 1 n derivada.
90
Se define el Wronskiano de las funciones, denotado por ) f ,... f , f ( W
n 2 1
, de la
siguiente manera

) 1 n (
n
) 1 n (
2
) 1 n (
1
n 2 1
n 2 1
n 2 1
n 2 1
f f f
: : :
f f f
f f f
f ... f f
) f ,..., f , f ( W

=


4.1.3.- Teorema 4.1 Criterio para soluciones linealmente
independientes.
Sean
n 2 1
y ,..., y , y , n soluciones de una ecuacin diferencial lineal,
homognea y de orden n. Entonces el conjunto de soluciones es
linealmente independiente si y slo si 0 ) y ,... y , y ( W
n 2 1
.

4.1.4.- Teorema 4.2 Solucin general de una ecuacin
diferencial lineal homognea de orden n.
Sean
n 2 1
y ,..., y , y , un conjunto linealmente independiente de soluciones de
una ecuacin diferencial ordinaria lineal homognea de orden n, entonces la
solucin general de la ecuacin diferencial es
) x ( y C ... ) x ( y C ) x ( y C y
n n 2 2 1 1
+ + + =

91
siendo
n 2 1
C ,... C , C constantes arbitrarias

4.1.5.- El Uso de una Solucin de una Ecuacin Diferencial
para hallar otra.
La solucin de la ecuacin diferencial 0 y ) x ( b y ) x ( a y = + + , viene dada por
2 2 1 1
y C y C ) x ( y + = siempre que las funciones
1
y y
2
y sean soluciones
linealmente independientes, donde
1
C y
2
C son constantes arbitrarias.

Sea
1
y una solucin no trivial de la ecuacin diferencial indicada, para
determinar otra solucin
2
y , tal que
1
y y
2
y sean linealmente
independientes, entonces
) x ( v
y
y
1
2
=

debe ser una funcin de x no constante, luego
1 2
vy y =

tiene que satisfacer la ecuacin diferencial, entonces
0 ) vy ( b ) vy ( a ) uy (
1
= + +

al derivar y factorizar, se obtiene
0 y v ) y a y 2 ( v ) by ay y ( u
1 1 1 1 1 1
= + + + + +


92
El primer trmino entre parntesis se anula, ya que
1
y es una solucin de la
ecuacin diferencial, obtenindose as
0 ) ay y 2 ( v y v
1 1 1
= + +


Al dividir por
1
y v , queda
a
y
y 2
v
v
1

haciendo el cambio de variable v z = , se llega a
a
y
y 2
z
z
1

luego al integrar, se obtiene

= dx ) x ( a Lny 2 Lnz
1


de modo que

=
dx ) x ( a
2
1
e
y
1
v

) x ( y vy y
1 1 2
= =

dx
) x ( y
e
2
1
dx ) x ( a
|
|
|

\
|

obteniendo as la otra solucin
2
y
93
4.2.- Definicin de Ecuacin Diferencia Lineal de Segundo
Orden
Son ecuaciones diferenciales de la forma
) x ( f y ) x ( b y ) x ( a y = + +
siendo a(x), b(x) y f(x) funciones de variable x y continuas.

4.2.1.- Definicin de Ecuacin Diferencial Ordinaria Lineal
Homognea de Segundo Orden con Coeficientes Constantes.
Son ecuaciones del tipo
0 by y a y = + + (4.1)

tal que a y b son constantes.

4.2.1.1 Solucin general.
Para obtener la solucin general de la ecuacin (4.1), se tiene que la
solucin general de la ecuacin diferencial 0 ay y = + , es
ax
Ce ) x ( y

= . Se
puede pensar que una solucin de la ecuacin (4.1) es de la forma
x
e ) x ( y

= para algn nmero (real o complejo), luego

x
e ) x ( y

= e
x 2
e ) x ( y

= , al reemplazar en la ecuacin (4.1), se obtiene

0 be e a e
x x x 2
= + +


94
Como 0 e
x

queda
0 b a
2
= + + (4.2)
a y b son nmeros reales.

La ecuacin (4.2) se denomina ecuacin caracterstica de la ecuacin
diferencial (4.1)

Luego de (4.2), se obtiene
2
b 4 a a
2
1
+
=
y
2
b 4 a a
2
2

=

entonces, existen tres posibilidades para
1
y
2
. Si 0 b 4 a
2
> ,
0 b 4 a
2
= o 0 b 4 a
2
< .

Caso 1
Si 0 b 4 a
2
> , entonces
1
y
2
son nmeros reales distintos, se obtiene
las soluciones
x
1
1
e y

= e
x
2
2
e y

= , que son linealmente independientes, ya

que
x ) (
2
1
2 1
e
y
y

=

no es constante cuando
2 1
.
Luego la solucin general de la ecuacin diferencial (4.1) viene dada por
95
x
2
x
1
2 1
e C e C ) x ( y

+ =

donde
1
C y
2
C son constantes arbitrarias.

Ejemplo 4.1
- Resolver la ecuacin diferencial 0 y 10 y 3 y = + , si 7 ) 0 ( y = , 0 ) 0 ( y = .
La ecuacin caracterstica es
0 10 3
2
= +
,
luego
2
40 9 3 +
=
,
entonces 2
1
= y 5
2
= .

La solucin general es
x 5
2
x 2
1
e C e C ) x ( y

+ =
.
Se tiene la condicin inicial 7 ) 0 ( y = , 0 ) 0 ( y = , entonces se debe dar una
solucin particular. Se sabe que
x 5
2
x 2
1
e c e C ) x ( y

+ =
,
y que
x 5
2
x 2
1
e C 5 e C 2 ) x ( y

=
.
Reemplazando los valores de la condicin inicial, se obtiene
96
0 C 5 C 2
7 C C
2 1
2 1
=
= +

luego
5 C
1
= y 2 C
2
= .

La solucin particular es
X 5 x 2
e 2 e 5 ) x ( y

+ =


Caso 2
Si 0 b 4 a
2
= . En este caso la ecuacin (4.2) tiene una raz doble
2
a
2 1
= = . Entonces
2 / ax
1
e y

= es una solucin de la ecuacin (4.1).

Luego se halla la segunda solucin
2
, de la siguiente manera
1 2
y y =

2 / ax
2
1
ax
e dx
y
e

=

2 / ax
xe dx

=
as
x
e
xe
y
y
2 / ax
2 / ax
1
2
= =

como x no es constante, entonces
1
e
2
son linealmente independientes,
as la solucin general de la ecuacin diferencial viene dada por
97
2
ax
2
2
ax
1
xe C e C ) x ( y

+ =

Ejemplo 4.2
- Resolver la siguiente ecuacin diferencial
0 y 4 y 4 y = +
.
La ecuacin caracterstica es
0 4 4
2
= +
,
entonces
2
2 1
= =


Caso 3
Si 0 b 4 a
2
< . Las races de la ecuacin (4.2) son + = i
1
, = i
2
.
As
x ) i (
2
x ) i (
1
e C e C ) x ( y
+
+ =

es la solucin general de la ecuacin diferencial.

En la prctica es conveniente trabajar con funciones exponenciales reales y
exponenciales complejas. Luego las funciones
x ) i (
1
e ) x ( y
+
=
y
x ) i (
2
e ) x ( y

=

98
son linealmente independientes. Por lo tanto una combinacin lineal de ellas
es tambin solucin. Considrense las soluciones
x x *
1
2 1
e e y

+ = y
i 2
e e
y
x x
*
2
2 1

=
luego
( )
2
e e e
2
e e
y
x i x i x x ) i ( x ) i (
*
1
+
+
=

=


Segn la formula de Euler: iSenQ CosQ e
Qi
+ =
As [ ] ) x ( iSen ) x ( Cos x iSen x Cos
2
e
* y
x
1
+ + + =

Se obtiene x Cos e y
x
*
1
=

De manera semejante se obtiene que x Sen e y
x
*
2
=

*
1
y y
*
2
y son linealmente independiente, ya que
, x Cot
x Sen e
x Cos e
y
y
x
x
*
2
*
1
=

0
siendo ) x ( Cot no constante.
Luego la solucin general de la ecuacin diferencial se puede escribir de la
siguiente forma
x Sen e C x Cos e C ) x ( y
x
2
x
1
+ =


tal que
1
C y
2
C son constantes arbitrarias.
99

Ejemplo 4.3
- Resolver la siguiente ecuacin diferencial 0 y 2 y 2 y = + +
La ecuacin caracterstica es
0 2 2
2
= + +

entonces
2
8 4 2
y
1
+
= y
2
8 4 2
y
2

=
as
i 1
1
+ = y i 1
2
=
luego
1 =
y
1 =

obtenindose la solucin general de la ecuacin diferencial dada
Senx e C Cosx e C ) x ( y
x
2
x
1

+ =


4.2.2.- Definicin de Ecuacin Diferencial Ordinaria Lineal no
Homognea de Segundo Orden con Coeficientes Constantes.
Son ecuaciones diferenciales del tipo
) x ( f by y a y = + +

siendo a y b constantes y f(x) 0

100
4.2.2.1.- Solucin general.
Sea
) x ( f by y a y = + + (4.3)
Una ecuacin diferencial lineal de segundo orden no homognea con
coeficientes constantes. La solucin general de la ecuacin diferencial (4.3)
viene dada por
p h
y y y + =

tal que
h
y es la solucin de la ecuacin diferencial homognea asociada a la
ecuacin diferencial (4.3) y
p
y es una solucin particular de la ecuacin
diferencial (4.3).

La solucin
h
y se determina de acuerdo a lo desarrollado en la seccin
4.2.1.1 y para determinar
p
y , se puede aplicar uno de los siguientes
mtodos.

4.2.2.1.1.- Mtodo de los coeficientes indeterminados.
Para la aplicacin de este mtodo se exige que f(x) de la ecuacin diferencial
(4.3)
) x ( f by y a y = + +

tenga alguna de las tres formas siguientes:
101
a. ) x ( P
n

b.
ax
n
e ) x ( P
c. [ ] Senbx ) x ( Q Cosbx ) x ( P e
n n
ax
+

donde ) x ( P
n
y ) x ( Q
n
son polinomios de grado n en x ( 0 n ). El mtodo
tambin puede ser usado si f(x) es una suma de funciones de estas tres
formas.

Hay que observar que las tres formas abarcan una gran cantidad de
situaciones o casos. Las tres funciones siguientes, son casos de tales
formas.
1.
x 2
e 3 (el polinomio es la constante 3);
2. ) x 2 ( Cos e
x 3
: ( 1 ) x ( P
n
= y 0 ) x ( Q
n
= , ambos polinomios son de grado cero);
3. Senx xCosx + : ( 0 a = , 1 b = , 0 x ) x ( P
n
+ = y 1 x 0 Q
n
+ = )

El mtodo de los coeficientes indeterminados presupone que la solucin
p
y de la ecuacin (4.3) es de la misma forma que f(x). La tcnica consiste
en reemplazar cada variable y en la ecuacin (4.3) por una expresin
generalizada de la funcin f(x), en la cual los polinomios tienen
coeficientes indeterminados. Si se compara ambos lados de la ecuacin
102
resultante, es posible hallar los coeficientes desconocidos y luego dar a
p
y .
El mtodo se ilustra mejor mediante unos ejemplos.

Ejemplo 4.4
- Resolver la ecuacin diferencial
2
x y 4 y =
La solucin general de la ecuacin diferencial viene dada por
p h
y y ) x ( y + =

tal que
h
y es la solucin de la ecuacin diferencial homognea asociada a la
ecuacin diferencial dada,
0 y 4 y =

La ecuacin caracterstica es
0 4
2
=

luego
2
1
=
y
2
2
=


entonces,
x 2
2
x 2
1 h
e C e C y

+ =

para determinar a
p
y , se tiene que
2
x ) x ( f = , se sugiere a
C Bx Ax y
2
p
+ + =

103
Se compara cada uno de los trminos de
p
y con los de la solucin
h
y , si
algn trmino de la solucin sugerida
p
y es una solucin de la ecuacin
homognea, se multiplica
p
y por x repetidamente, hasta que ningn trmino
de la solucin
p
K
y x sea solucin de la ecuacin diferencial homognea
asociada a la ecuacin diferencial inicial.

En este caso no se repite ningn trmino de
p
y en la solucin
h
y . Luego
B Ax 2 y
p
+ =
y
A 2 y
p
=

al reemplazar en la ecuacin diferencial inicial, se tiene que
2 2
x ) C Bx Ax ( 4 A 2 = + +

as
2 2
x A 2 C 4 Bx 4 Ax 4 = +

igualando coeficientes, se tiene que
1 A 4 =

0 B 4 =

0 A 2 C 4 = +

luego
4
1
A = ; 0 B = ;
8
1
C =
obtenindose as a
104
8
1
x
4
1
y
2
p
=

y la solucin general es
8
1
x
4
1
e C e C ) x ( y
2 x 2
2
x 2
1
+ =

Ejemplo 4.5
- Resolver la ecuacin diferencial
x
xe y y =
La solucin de la ecuacin diferencial viene dada por
p h
y y ) x ( y + =


tal que
h
y es la solucin general de la ecuacin diferencial homognea
asociada a la ecuacin diferencial dada, la cual es
0 y y =

La ecuacin caracterstica es
0 1
2
=

luego
1
1
=
y
1
2
=

obtenindose a
x
2
x
1 h
e C e C y

+ =

Para obtener a
p
y , se tiene que
x
xe ) x ( f = . As que el
p
y sugerido es
105
x
p
e ) Bx A ( y + =


Se tiene que el trmino
x
Ae se repite en
h
y similar a
x
1
e C .

Al multiplicar
p
y por x, se obtiene
x 2
p
e ) Bx Ax ( y + =

observndose que ningn trmino
p
y se repite en
h
y


Luego
x 2 x
p
e ) Bx Ax ( e ) Bx 2 A ( y + + + =

As
x 2
p
e ) Bx Ax Bx 2 A ( y + + + =

y
x 2 x
p
e ) Bx Ax Bx 2 A ( e ) Bx 2 A B 2 ( y + + + + + + =

x 2
p
e ) Bx Ax Bx 4 A 2 B 2 ( y + + + + =

al reemplazar
p
y y
p
y en la ecuacin diferencial inicial, se tiene
x x 2 x 2
xe e ) Bx Ax ( e ) Bx Ax Bx 4 A 2 B 2 ( = + + + + +


Luego
106
x x
xe e ) Bx 4 A 2 B 2 ( = + +

entonces
x
e Bx 4 ) A 2 B 2 ( = + +

de modo que
0 A 2 B 2 = +

4
1 B 4 =

as
4
1
B = ;
4
1
A =
obteniendo
x 2
p
e x
4
1
x
4
1
y |

\
|
+ =


y la solucin general de la ecuacin diferencial inicial es
x
2
x
2
x
1
e
4
x x
e C e C ) x ( y
|
|

\
|
+ + =

Ejemplo 4.6
- Resolver la ecuacin diferencial Senx e y 2 y 3 y
x
= +
La solucin general de la ecuacin diferencial viene dada por
p h
y y ) x ( y + =

107
tal que
h
y es la solucin general de la ecuacin homognea asociada a la
ecuacin diferencial dada,
0 y 2 y 3 y = +

La ecuacin caracterstica es
0 2 3
2
= +

as
2
1
=
;
1
2
=

y
x
2
x 2
1 h
e C e C y + =

Para obtener a
p
y , se tiene que
Senx e ) x ( f
x
=

la solucin sugerida es
Cosx Be Senx Ae y
x x
p
+ =

as
Cosx e ) B A ( Senx e ) B A ( y
x x
p
+ + =

y
Senx Be 2 Cosx Ae 2 y
x x
p
=


al reemplazar y y y en la ecuacin diferencial dada, se obtiene
108
Senx e
BCosx
ASenx
e 2
Cosx ) B A (
Senx ) B A (
e 3 ) BSenx 2 ACosx 2 ( e
x x x x
=
(

+
+
(

+
+


al dividir por e
x
e igualar coeficientes se obtiene

0 B A = +

1 B A = +

as da
2
1
A =
;
2
1
B =

luego
Senx e
2
1
Cosx e
2
1
y
x x
p
=

o
) Senx Cosx ( e
2
1
y
x
p
=


y la solucin general de la ecuacin diferencial dada es
) Senx Cosx ( e
2
1
e C e C ) x ( y
x x
2
x 2
1
+ + =

4.2.2.1.2.- Mtodo de variacin de parmetros.
Sea la ecuacin diferencial lineal no homognea de grado dos.
) x ( f y ) x ( b y ) x ( a y = + + (4.4)

109
en donde las funciones a(x), b(x) y f(x) son continuas.

Para usar este mtodo es necesario conocer la solucin general
2 2 1 1 h
y C y C y + =

de la ecuacin diferencial homognea asociada a la ecuacin diferencial
(4.4), o sea
0 y ) x ( b y ) x ( a y = + + (4.5)
si a(x) y b(x) son constantes la solucin general se puede determinar por el
mtodo de la seccin 4.2.1.1. Si a(x) y b(x) no son constantes ambas, puede
ser difcil hallar esta solucin general, pero si se conoce una solucin
1
y de
la ecuacin (4.5),aplicando el mtodo de la seccin 4.1.5 se puede
determinar la solucin general de la ecuacin.

Lagrange detect que cualquier solucin particular
p
y de la ecuacin (4.4)
debe tener la propiedad de que
1
p
y
y
e
2
p
y
y
no son constantes y sugiri buscar
una solucin particular
p
y de la ecuacin (4.4) de la siguiente forma

2 2 1 1 p
y ) x ( C y ) x ( C y + = (4.6)
conocidas
1
y y
2
y , hay que determinar a ) x ( C
1
y ) x ( C
2
.

110
Este reemplazo de constantes por variables es lo que da el nombre al
mtodo.

Al derivar se obtiene
2 2 1 1 2 2 1 1 p
y ) x ( C y ) x ( C y ) x ( C y ) x ( C ) x ( y + + + =

como las funciones C
1
(x) y C
2
(x) son desconocidas, es de esperar que
tengamos dos ecuaciones. Se pueden obtener si se establece la siguiente
hiptesis que C
1
(x) y C
2
(x) satisfacen 0 y ) x ( C y (x) C
2 2 1 1
=

. Entonces
2 2 1 1 p
y ) x ( C y ) x ( C ) x ( y + =

derivando de nuevo, se obtiene
2 2 1 1 2 2 1 1 p
y ) x ( C y ) x ( C y ) x ( C y ) x ( C ) x ( y + + + =

al reemplazar
p
y ,
p
y y
p
y en la ecuacin (4.3).

se obtiene
[ ] [ ]
2 2 2 2 1 1 1 1 p p p
y ) x ( b y ) x ( a y ) x ( C y ) x ( b y ) x ( a y ) x ( C y ) x ( b y ) x ( a y + + + + + = + +
) x ( f y ) x ( C y ) x ( C
2 2 1 1
= + +
Luego se tiene que
) x ( f y ) x ( C y ) x ( C
2 2 1 1
= +

y
0 y ) x ( C y ) x ( C
2 2 1 1
= +
111
As

W
W
) x ( C
1
1
= y
W
W
) x ( C
2
2
= (4.7)
tal que
2 1
2 1
y y
y y
W

=
,
2
2
1
y ) x ( f
y 0
W

=
,
) x ( f y
0 y
W
1
1
2

=


Las funciones C
1
(x) y C
2
(x) se obtienen integrando los resultados de (4.7).

El determinante W es Wronskiano de
1
y y
2
y . Como
1
y y
2
y son
linealmente independientes, entonces 0 ) y , W(y
2 1
.

Luego se expresa la solucin general de la ecuacin diferencial.

Ejemplo 4.7
- Resolver la ecuacin diferencial
x
e y y = . Usando el mtodo de variacin
de parmetros
La solucin de la ecuacin diferencial viene dada por
p h
y y ) x ( y + =

tal que
h
y es la solucin de la ecuacin diferencial homognea asociada a la
ecuacin diferencial dada,
112
0 y y =


La ecuacin caracterstica es
0 1
2
=

Luego
1
1
=
;
1
2
=

obtenindose
x
2
x
1 h
e C e C y + =

siendo
x
1
e y

=
;
x
2
e y =


se tiene que
p
y es una solucin particular de la ecuacin diferencial dada, tal
que
2 2 1 1 p
y ) x ( C y ) x ( C y + =

de modo que
= ) x ( C
1
dx
) y , y ( W
W
2 1
1
y = ) x ( C
2

dx
) y , y ( W
W
2 1
2


as
2 e e e e
e e
e e
) y , y ( W
x x x x
x x
x x
2 1
= + =

113
y
x 2
x x
x
1
e
e e
e 0
W = =
;
1
e e
0 e
W
x x
x
2
=

luego
= ) X ( C
1
4
e
dx
2
e
x 2 x 2

y
= ) X ( C
2

x
2
1
dx
2
1
=

obtenindose
4
e
xe
2
1
y
x
x
p
=

y la solucin general de la ecuacin diferencial dada es
4
e
xe
2
1
e C e C ) x ( y
x
x x
2
x
1
+ + =

Ejemplo 4.8
- Resolver la ecuacin diferencial Cosx 2 y y = + , que satisface las
condiciones iniciales:
5 ) 0 ( y = ; 2 ) 0 ( y =
La solucin de la ecuacin diferencial viene dada por
p h
y y ) x ( y + =

114
siendo
h
y la solucin de la ecuacin diferencial
0 y y =

La ecuacin caracterstica es
0 1
2
= +

luego se tiene que
i 0
1
+ =
;
i 0
2
=

entonces
0 = ; 1 =
obtenindose
Senx C Cosx C y
2 1 h
+ =

siendo
Cosx y
1
= y Senx y
2
=
p
y viene siendo una solucin particular de la forma
2 2 1 1 p
y ) x ( C y ) x ( C y + =
siendo
= ) x ( C
1
dx
) y , y ( W
W
2 1
1
y = ) x ( C
2
dx
) y , y ( W
W
2 1
2

luego
1 x Sen x Cos
Cosx Senx
Senx Cosx
) y , y ( W
2 2
2 1
= + =

=

y
115
SenxCosx 2
Cosx Cosx 2
Senx 0
W
1
= = ; x Cos 2
Cosx 2 Senx
0 Cosx
W
2
2
=

=
as
= ) X ( C
1
x Cos SenxCosxdx 2
2
=
y
= ) X ( C
2
SenxCosx x xdx Cos 2
2
+ =
obtenindose
xCosx Sen xSenx x Cos y
2 3
p
+ + =

la solucin general de la ecuacin diferencial dada es
xCosx Sen xSenx x Cos Senx C Cosx C ) x ( y
2 3
2 1
+ + + + =


y se puede escribir
xSenx Senx C Cosx C ) x ( y
*
2
*
1
+ + =

ya que Cosx ) x Sen x Cos ( Cosx xCosx Sen x Cos
2 2 2 3
= + = +
para la solucin particular se tiene que
5 ) 0 ( y = ; 2 ) 0 ( y =
luego
xSenx Senx C Cosx C ) x ( y
*
2
*
1
+ + =


entonces
116
xCosx Senx Cosx C Senx C ) x ( y
*
2
*
1
+ + + =


reemplazando, se tiene que
5 C
*
1
= y 2 C
*
2
=

luego la solucin particular deseada es
xSenx Senx 2 Cosx 5 ) x ( y + + =


4.3.- Ejercicios Propuestos
1. Resolver cada una de las siguientes ecuaciones diferenciales. Cuando se
den condiciones iniciales de la solucin particular que las satisfaga:
a) 0 y 4 y =
b) 0 y 9 y 6 y = + +
c) 0 y y = +
d) 0 y 6 y y = + si 0 ) 0 ( y = , 5 ) 0 ( y =
e) 0 y 6 y y = si 1 ) 0 ( y = , 1 ) 0 ( y =
2. Hallar la solucin general de cada una de las siguientes ecuaciones
diferenciales. Si se dan condiciones iniciales de la solucin particular que las
satisfaga. Usar el mtodo de los coeficientes indeterminados.
a)
x 2
e 20 y 6 y y

= si 0 ) 0 ( y = , 6 ) 0 ( y =
117
b)
2
x 3 y y =
c) Cosx e 2 y 5 y 4 y
x 2
= +

3. Hallar la solucin general de cada una de las siguientes ecuaciones
diferenciales por el mtodo de variacin de parmetros
a) x 3 y 2 y 3 y = +
b)
2
x y 3 y 2 y =
c)
x
xe 2 y 2 y = +
d) Senx 2 y y = +
e) Tanx x Sec y y
2
=

118






CAPITULO V
ECUACIONES DIFERENCIALES ORDINARIAS
LINEALES DE ORDEN N CON MAPLE



119
CAPITULO V
5.- ECUACIONES DIFERENCIALES ORDINARIAS LINEALES
DE ORDEN N CON MAPLE.
En el captulo uno se definieron como ecuaciones diferenciales las que
presentan la forma:
) x ( f ) x ( y ) x ( a ) x ( y ) x ( a .......... ) x ( y ) x ( a ) x ( y ) x ( a
0
1
1
1 n
1 n
n
n
= + + + +

Si la funcin f(x) es nula la ecuacin diferencial se denomina homognea y
si f(x) no es la funcin cero, la ecuacin diferencial se llama no homognea.

Si las funciones ) n ,..., 1 i ( ), x ( a
i
= son constantes se denominan de
coeficientes constantes, que son las ecuaciones que se resolvern en este
captulo usando MAPLE.

5.1.- Ecuaciones Diferenciales Lineales de Orden n
Homogneas con Coeficientes Constantes.
La ecuacin diferencial lineal de orden n homognea:
0 ) x ( y ) x ( a ) x ( y ) x ( a .......... ) x ( y ) x ( a ) x ( y ) x ( a
0
1
1
1 n
1 n
n
n
= + + + +

(5.1)
es de Coeficiente Constantes si las funciones ) n ,..., 1 i ( ), x ( a
i
= son todas
constantes (no dependen de la variable x).

120
La ecuacin
a
n
m
n
+ a
n-1
m
n-1
+ + a
1
m + a
0
= 0
(5.2)
Se denomina ecuacin caracterstica de la ecuacin diferencial lineal
homognea (5.1). Las soluciones (m
1
, m
2
, , m
n
) de la ecuacin
caracterstica (5.2) van a generar un conjunto de soluciones linealmente
independiente de la ecuacin diferencial lineal homognea (5.1), que
permitirn dar la solucin general de la ecuacin diferencial (5.1).


Si los m
i
son todos distintos, la solucin general es
x m
1
1
e c y(x) = +
x m
2
2
e c +.+
x m
n
n
e c

Si algn m
i
es mltiplo de otro, la solucin general es
x m
i
i
e c y(x) = +
x m
1) (i
i
xe c
+
+.+
x km
k) (i
i
xe c
+


Si existe alguna raz compleja m
j
= a + b
i
de la ecuacin caracterstica,
entonces tambin existe la raz compleja conjugada a - b
i
. Estas dos races
generan los trminos
) bx ( Cos e c
ax
j
+ ) bx ( Sen e c
ax
) 1 j ( +

de la solucin general de la ecuacin diferencial.
121
5.1.1.- Solucin de Ecuaciones Homogneas Lineales de
Segundo Orden con Coeficientes Constantes con MAPLE.
En el captulo cuatro, seccin 4.2.1 se defini este tipo de ecuaciones
diferenciales, son de la forma
0 by y a y = + +
y en la seccin 4.2.1.1 del mismo captulo se desarrollo como se determina
la solucin general y la solucin particular de estas ecuaciones diferenciales.

Aplicando MAPLE se resuelven estas ecuaciones de la siguiente forma:
Se da inicio con los siguientes comandos que deben ser conocidos por el
lector.
[> restart;
[> with(DEtools):
> with(plots):
Warning, the name changecoords has been redefined

> with(linalg):
Warning, the name adjoint has been redefined
Warning, the protected names norm and trace have been redefined and
unprotected
122
En este captulo se desarrollaran usando MAPLE los mismos ejemplos que
estn explicados en el captulo cuatro seccin 4.2.1.

Ejemplo 5.1.
Resolver la siguiente ecuacin diferencial: y'' + 3y' - 10y = 0, Si y(0) = 0 y
0 ) 0 ( y =
Identificacin de la ecuacin diferencial
> Ode1:=diff(y(x),x$2)+3*diff(y(x),x)-10*y(x)=0;
:= Ode1 = +
|
\

|
|
|

2
x
2
( ) y x 3
|
\

|
|

x
( ) y x 10 ( ) y x 0


La ecuacin caracterstica es
> ecu_carat1:=m^2+3*m-10=0;
:= ecu_carat1 = + m
2
3 m 10 0


Las soluciones de la ecuacin caracterstica son
> sol_ecu_carat1:=solve(ecu_carat1,{m});
:= sol_ecu_carat1 , { } = m 2 { } = m -5


El conjunto de soluciones linealmente independiente de la ecuacin
diferencial es
123
> sols1_li:=dsolve(Ode1,y(x),output=basis);
:= sols1_li [ ] , e ee e
( ) 5 x
e ee e
( ) 2 x


La solucin general de la ecuacin diferencial viene dada por
> sol_gen:=y(x)=add(c[i]*sols1_li[i],i=1...nops(sols1_li));
:= sol_gen = ( ) y x + c
1
e ee e
( ) 5 x
c
2
e ee e
( ) 2 x


Para determinar la solucin particular con la condicin inicial y(0) = 0 se
generan la ecuacin eq1 y para 0 ) 0 ( y = la ecuacin eq2.
> ic1:=y(0)=7;
:= ic1 = ( ) y 0 7

> eq1:=simplify(subs(x=0,ic1,sol_gen));
:= eq1 = 7 + c
1
c
2

> der_y:=D(y)(x)=diff(c[1]*exp(-5*x)+c[2]*exp(2*x),x);
:= der_y = ( ) ( ) D y x + 5 c
1
e ee e
( ) 5 x
2 c
2
e ee e
( ) 2 x

> ic2:=D(y)(0)=0;
:= ic2 = ( ) ( ) D y 0 0


> eq2:=simplify(subs(x=0,ic2,der_y));
:= eq2 = 0 + 5 c
1
2 c
2

124
El sistema de ecuaciones que se forma con las ecuaciones eq1 y eq2 es
> sist_eqns:={eq1,eq2};
:= sist_eqns { } , = 0 + 5 c
1
2 c
2
= 7 + c
1
c
2

Al resolver el sistema de ecuaciones planteado se obtienen los valores para
c1 y c2
> sols:=solve(sist_eqns);
:= sols { } , = c
2
5 = c
1
2
La solucin particular de la ecuacin diferencial para las condiciones iniciales
dadas es
> sol_part:=subs(sols,gen_sol);
:= sol_part = ( ) y x + 2 e ee e
( ) x
( ) sin x e ee e
( ) x
( ) cos x

Y la representacin grfica de la funcin solucin particular, figura 5.1, es
[> plot(rhs(sol_part),x=-2...(1/2)*Pi);

Figura 5.1
La solucin general y la solucin particular de la ecuacin diferencial dada,
puede determinarse con el comando dsolve de la siguiente forma:
125
Solucin general

> sol_gene:=dsolve(diff(y(x),x$2)+3*diff(y(x),x)-10*y(x)=0);
:= sol_gene = ( ) y x + _C1 e ee e
( ) 5 x
_C2 e ee e
( ) 2 x


Y la solucin particular para las condiciones iniciales indicadas es:
> sol_part:=dsolve({diff(y(x),x$2)+3*diff(y(x),x)-10*y(x)=0, y(0)=7,D(y)(0)=0},
y(x));
:= sol_part = ( ) y x + 2 e ee e
( ) 5 x
5 e ee e
( ) 2 x


El siguiente programa permite identificar la ecuacin diferencial, dar el
conjunto de soluciones linealmente independiente de la ecuacin y
determinar la solucin general

Programa
[> resuelve:=proc(ed)
[> local tipo,ecu,con_fund_sol,gen_sol;
[> ecu:=ed;
[> tipo:=odeadvisor(ecu,y(x));
[> con_fund_sol:=dsolve(ecu,y(x),output=basis);
[> gen_sol:=y(x)=add(c[i]*con_fund_sol[i],i=1...nops(con_fund_sol));
126
[> RETURN(cat(`la ecuacin`,ecu,`es del tipo:`,tipo),cat(`el conjunto de
soluciones L.I.es:`,con_fund_sol),cat(`y la solucion general
es:`,gen_sol));
[> end:

Aplicando el programa para la ecuacin diferencial indicada inicialmente se
tiene
[> resuelve(diff(y(x),x$2)+3*diff(y(x),x)-10*y(x)=0);
|| || la ecuacin
|
\

|
|
|
= +
|
\

|
|
|

2
x
2
( ) y x 3
|
\

|
|

x
( ) y x 10 ( ) y x 0 es del tipo: ||
[ ] [ ] , _2nd_order _missing_x || el conjunto de soluciones L.I.es: [ ] , e ee e
( ) 2 x
e ee e
( ) 5 x
, ,
|| y la solucion general es: ( ) = ( ) y x + c
1
e ee e
( ) 2 x
c
2
e ee e
( ) 5 x


Los ejemplos 5.2 y 5.3 se desarrollaran omitiendo la explicacin rigurosa
que se dio para el ejemplo 5.1. Para cualquier desarrollo o comando que no
se vea con claridad ver el ejemplo 5.1, son idnticos.


Ejemplo 5.2
Resolver la ecuacin diferencial 0 y 4 y 4 y = + .
> Ode2:=diff(y(x),x$2)-4*diff(y(x),x)+4*y(x)=0;
127
:= Ode2 = +
|
\

|
|
|

2
x
2
( ) y x 4
|
\

|
|

x
( ) y x 4 ( ) y x 0

La ecuacin caracterstica es
> ecu_carat2:=m^2-4*m+4=0;
:= ecu_carat2 = + m
2
4 m 4 0

Las soluciones de la ecuacin caracterstica son
[> sol_ecu_carat2:=solve(ecu_carat2,{m});
:= sol_ecu_carat2 , { } = m 2 { } = m 2

El conjunto de soluciones linealmente independiente de la ecuacin
diferencial es
> sols2_li:=dsolve(Ode2,y(x),output=basis);
:= sols2_li [ ] , e ee e
( ) 2 x
e ee e
( ) 2 x
x

La solucin general de la ecuacin diferencial viene dada por
> sol_gen:=y(x)=add(c[i]*sols2_li[i],i=1...nops(sols2_li));
:= sol_gen = ( ) y x + c
1
e ee e
( ) 2 x
c
2
e ee e
( ) 2 x
x


La solucin general de la ecuacin diferencial dada puede determinarse con
el comando dsolve la siguiente forma
Solucin general
> sol_gene:=dsolve(diff(y(x),x$2)-4*diff(y(x),x)+4*y(x)=0);
128
:= sol_gene = ( ) y x + _C1 e ee e
( ) 2 x
_C2 e ee e
( ) 2 x
x


Haciendo uso del programa que permite identificar la ecuacin diferencial,
dar el conjunto de soluciones linealmente independiente de la ecuacin y
determinar la solucin general elaborado en el desarrollo del ejemplo 5.2, se
tiene
> resuelve(diff(y(x),x$2)-4*diff(y(x),x)+4*y(x)=0);
|| || la ecuacin
|
\

|
|
|
= +
|
\

|
|
|

2
x
2
( ) y x 4
|
\

|
|

x
( ) y x 4 ( ) y x 0 es del tipo: ||
[ ] [ ] , _2nd_order _missing_x || el conjunto de soluciones L.I.es: [ ] , e ee e
( ) 2 x
e ee e
( ) 2 x
x , ,
|| y la solucion general es: ( ) = ( ) y x + c
1
e ee e
( ) 2 x
c
2
e ee e
( ) 2 x
x



Ejemplo 5.3
Resolver la ecuacin diferencial 0 y 2 y 2 y = + + .
> Ode3:=diff(y(x),x$2)+2*diff(y(x),x)+2*y(x)=0;
:= Ode3 = + +
|
\

|
|
|

2
x
2
( ) y x 2
|
\

|
|

x
( ) y x 2 ( ) y x 0
La ecuacin caracterstica es
> ecu_carat3:=m^2+2*m+2=0;
:= ecu_carat3 = + + m
2
2 m 2 0


129
Las soluciones de la ecuacin caracterstica son
> sol_ecu_carat3:=solve(ecu_carat3,{m});
:= sol_ecu_carat3 , { } = m + -1 I { } = m -1 I


El conjunto de soluciones linealmente independiente de la ecuacin
diferencial es
> sols3_li:=dsolve(Ode3,y(x),output=basis);
:= sols3_li [ ] , e ee e
( ) x
( ) sin x e ee e
( ) x
( ) cos x

La solucin general de la ecuacin diferencial viene dada por
>sol_gen:=y(x)=add(c[i]*sols3_li[i],i=1...nops(sols3_li));

:= sol_gen = ( ) y x + c
1
e ee e
( ) x
( ) sin x c
2
e ee e
( ) x
( ) cos x

La solucin general de la ecuacin diferencial dada puede determinarse con
el comando dsolve de la siguiente forma
Solucin general
> sol_gene:=dsolve(diff(y(x),x$2)+2*diff(y(x),x)+2*y(x)=0);
:= sol_gene = ( ) y x + _C1 e ee e
( ) x
( ) sin x _C2 e ee e
( ) x
( ) cos x

Haciendo uso del programa que permite identificar la ecuacin diferencial,
dar el conjunto de soluciones linealmente independiente de la ecuacin y
determinar la solucin general elaborado en el desarrollo del ejemplo 5.2, se
tiene
> resuelve(diff(y(x),x$2)+2*diff(y(x),x)+2*y(x)=0);
130
|| || la ecuacin
|
\

|
|
|
= + +
|
\

|
|
|

2
x
2
( ) y x 2
|
\

|
|

x
( ) y x 2 ( ) y x 0 es del tipo: ||
[ ] [ ] , _2nd_order _missing_x ,
|| el conjunto de soluciones L.I.es: [ ] , e ee e
( ) x
( ) sin x e ee e
( ) x
( ) cos x ,
|| y la solucion general es: ( ) = ( ) y x + c
1
e ee e
( ) x
( ) sin x c
2
e ee e
( ) x
( ) cos x


5.2.- Ecuaciones Diferenciales de Orden n Lineales no
Homognea con Coeficientes Constantes con MAPLE.
Se definieron al inicio de este captulo como ecuaciones diferenciales del tipo
) x ( f ) x ( y ) x ( a ) x ( y ) x ( a .......... ) x ( y ) x ( a ) x ( y ) x ( a
0
1
1
1 n
1 n
n
n
= + + + +

(5.3)
a
i
, n ,..., 1 i = , son constantes y la 0 ) x ( f , una funcin de variable x.
La solucin general y(x) de este tipo de ecuaciones diferenciales viene dada
por
p h
y y ) x ( y + =
Siendo y
h
la solucin general de la ecuacin diferencial homognea
0 ) x ( y ) x ( a ) x ( y ) x ( a .......... ) x ( y ) x ( a ) x ( y ) x ( a
0
1
1
1 n
1 n
n
n
= + + + +

asociada a la ecuacin diferencial (5.3).

Se determina usando los comandos y la secuencia indicados en la seccin
anterior 5.1.

131
Y y
p
una solucin particular de la ecuacin diferencial (5.3), que se puede
determinar usando el mtodo de coeficientes indeterminados o el mtodo de
variacin de parmetros.

5.2.1.- Solucin de Ecuaciones no Homogneas Lineales de
Segundo Orden con Coeficientes Constantes con MAPLE
En este captulo se aplicarn los dos mtodos desarrollados en el capitulo 4
seccin 4.2.2 usando MAPLE para resolver ecuaciones diferenciales
ordinarias lineales no homogneas de segundo orden con coeficientes
constantes, de la forma
) x ( f by y a y = + + ,
siendo a y b constantes y 0 ) x ( f , f(x) es una funcin continua de variable x.

5.2.1.1.- Mtodo de Coeficientes Indeterminados con MAPLE
Se desarrollar usando MAPLE en los ejemplos explicados en el captulo
cuatro, seccin 4.3.1


Ejemplo 5.4
Resolver la ecuacin diferencial
2
x y 4 y = .
132
Identificacin de la ecuacin diferencial
> Ode4:=diff(y(x),x$2)-4*y(x)=x^2;
:= Ode4 =
|
\

|
|
|

2
x
2
( ) y x 4 ( ) y x x
2


Para determinar la solucin general de la ecuacin diferencial homognea
asociada a la ecuacin diferencial se procede de la siguiente forma
Se encuentra el conjunto de soluciones linealmente independiente de la
ecuacin diferencial homognea asociada a la ecuacin diferencial
> sols4_li:=dsolve(eval(Ode4,x^2=0),y(x),output=basis);
:= sols4_li [ ] , e ee e
( ) 2 x
e ee e
( ) 2 x

La solucin de la ecuacin diferencial homognea asociada a la ecuacin
diferencial indicada es
> sol_homo4:=y[h](x)=add(c[i]*sols4_li[i],i=1...nops(sols4_li));
:= sol_homo4 = ( ) y
h
x + c
1
e ee e
( ) 2 x
c
2
e ee e
( ) 2 x


Para determinar una solucin particular de la ecuacin diferencial usando el
mtodo de los coeficientes indeterminados, se tiene que la funcin
2
x ) x ( f = ,
la forma general apropiada para la solucin particular de la ecuacin
diferencial es:
> sol4_part_sug:=y(x)=A*x^2+B*x+C;
133
:= sol4_part_sug = ( ) y x + + A x
2
B x C


Al sustituir en la ecuacin diferencial dada se obtiene la ecuacin para
determinar los coeficientes A, B y C:
> ecua4_coefi:=collect(eval(Ode4,sol4_part_sug),x);
:= ecua4_coefi = 2 A 4 A x
2
4 B x 4 C x
2


Al resolver la anterior ecuacin se obtienen los valores de los coeficientes
> sol_ecua4_coefi:=solve(identity(ecua4_coefi,x),{A,B,C});
:= sol_ecua4_coefi { } , , = B 0 = C
-1
8
= A
-1
4

La solucin particular es
> sol_part:=eval(sol4_part_sug,sol_ecua4_coefi);
:= sol_part = ( ) y x
1
8
1
4
x
2

Y la solucin general de la ecuacin diferencial es
[> sol4_gen:=y(x)=rhs(sol_homo4)+rhs(sol_part);
:= sol4_gen = ( ) y x + c
1
e ee e
( ) 2 x
c
2
e ee e
( ) 2 x 1
8
1
4
x
2


Ejemplo 5.5
Resolver la ecuacin diferencial:
x
xe y y =
134
Identificacin de la ecuacin diferencial
> Ode5:=diff(y(x),x$2)-y(x)=x*exp(x);
:= Ode5 =
|
\

|
|
|

2
x
2
( ) y x ( ) y x x e ee e
x

Para determinar la solucin general de la ecuacin diferencial homognea
asociada a la ecuacin diferencial se procede de la siguiente forma
Se encuentra el conjunto de soluciones linealmente independiente de la
ecuacin diferencial homognea asociada a la ecuacin diferencial
> sols5_li:=dsolve(eval(Ode5,x*exp(x)=0),y(x),output=basis);
:= sols5_li [ ] , e ee e
x
e ee e
( ) x

La solucin de la ecuacin diferencial homognea asociada a la ecuacin
diferencial indicada es
> sol_homo5:=y[h](x)=add(c[i]*sols5_li[i],i=1...nops(sols5_li));
:= sol_homo5 = ( ) y
h
x + c
1
e ee e
x
c
2
e ee e
( ) x


Para determinar una solucin particular de la ecuacin diferencial usando el
mtodo de los coeficientes indeterminados, se tiene que la funcin f(x)=
x
xe ,
la forma general apropiada para la solucin particular de la ecuacin
diferencial es:
> sol5_part_sug:=y(x)=(A*x^2+B*x)*exp(x);
:= sol5_part_sug = ( ) y x ( ) + A x
2
B x e ee e
x

135
Al sustituir en la ecuacin diferencial dada se obtiene la ecuacin para
determinar los coeficientes A y B:
> ecua5_coefi:=collect(eval(Ode5,sol5_part_sug),x);
:= ecua5_coefi = + + 4 A e ee e
x
x 2 A e ee e
x
2 B e ee e
x
x e ee e
x


Al resolver la anterior ecuacin se obtienen los valores de los coeficientes
> sol_ecua5_coefi:=solve(identity(ecua5_coefi,x),{A,B,C});
:= sol_ecua5_coefi { } , , = B
-1
4
= C C = A
1
4


La solucin particular es
> sol_part:=eval(sol5_part_sug,sol_ecua5_coefi);
:= sol_part = ( ) y x
|
\

|
|

1
4
x
2
1
4
x e ee e
x

Y la solucin general de la ecuacin diferencial es
> sol5_gen:=y(x)=rhs(sol_homo5)+rhs(sol_part);
:= sol5_gen = ( ) y x + + c
1
e ee e
x
c
2
e ee e
( ) x
|
\

|
|

1
4
x
2
1
4
x e ee e
x


Ejemplo 5.6
Resolver la ecuacin diferencial: Senx 10 e 6 x 12 y 2 y 3 y
x 4 2
+ = + +

Identificacin de la ecuacin diferencial
136
> Ode6:=diff(y(x),x$2)+3*diff(y(x),x$1)+2*y(x)=12*x^2- 6*exp(-4*x)+10*sin(x);
:= Ode6 = + +
|
\

|
|
|

2
x
2
( ) y x 3
|
\

|
|

x
( ) y x 2 ( ) y x + 12 x
2
6 e ee e
( ) 4 x
10 ( ) sin x

Para determinar la solucin general de la ecuacin diferencial homognea y
h

asociada a la ecuacin diferencial se procede de la siguiente forma

Se encuentra el conjunto de soluciones linealmente independiente de la
ecuacin diferencial homognea asociada a la ecuacin diferencial
> sols6_li:=dsolve(eval(Ode6,12*x^2-6*exp(-4*x)+10*sin(x)=0), y(x),
output=basis);
:= sols6_li [ ] , e ee e
( ) 2 x
e ee e
( ) x


La solucin de la ecuacin diferencial homognea asociada a la ecuacin
diferencial indicada es
> sol_homo6:=y[h](x)=add(c[i]*sols6_li[i],i=1...nops(sols6_li));
:= sol_homo6 = ( ) y
h
x + c
1
e ee e
( ) 2 x
c
2
e ee e
( ) x


Para determinar una solucin particular de la ecuacin diferencial usando el
mtodo de los coeficientes indeterminados, se tiene que la funcin
137
Senx 10 e 6 x 12 ) x ( f
x 4 2
+ =

, la forma general apropiada para la solucin

particular de la ecuacin diferencial es:
> sol6_part_sug:=y(x)=(A*x^2+B*x+C)+D*exp(-4*x)+E*sin(x)+ F*cos(x);
:= sol6_part_sug = ( ) y x + + + + + A x
2
B x C D e ee e
( ) 4 x
E ( ) sin x F ( ) cos x


Al sustituir en la ecuacin diferencial dada se obtiene la ecuacin para
determinar los coeficientes A y B:
[> ecua6_coefi:=collect(eval(Ode6,sol6_part_sug),x);
ecua6_coefi 2 A x
2
( ) + 6 A 2 B x 2 A 6 D e ee e
( ) 4 x
E ( ) sin x F ( ) cos x 3 B + + + + + + :=
3 E ( ) cos x 3 F ( ) sin x 2 C + + + 12 x
2
6 e ee e
( ) 4 x
10 ( ) sin x =


Al resolver la anterior ecuacin se obtienen los valores de los coeficientes
[> sol_ecua6_coefi:=solve(identity(ecua6_coefi,x),{A,B,C,D,E,F});
:= sol_ecua6_coefi { } , , , , , = B -18 = C 21 = F -3 = D -1 = E 1 = A 6


La solucin particular y
p
es
> sol_part:=eval(sol6_part_sug,sol_ecua6_coefi);
:= sol_part = ( ) y x + + 6 x
2
18 x 21 e ee e
( ) 4 x
( ) sin x 3 ( ) cos x


Y la solucin general y(x) de la ecuacin diferencial es
> sol6_gen:=y(x)=rhs(sol_homo6)+rhs(sol_part);
138
:= sol6_gen = ( ) y x + + + + c
1
e ee e
( ) 2 x
c
2
e ee e
( ) x
6 x
2
18 x 21 e ee e
( ) 4 x
( ) sin x 3 ( ) cos x



5.2.1.2.- Mtodo de Variacin de Parmetros.
Para la ecuacin diferencial
) x ( f ) x ( y ) x ( a ) x ( y ) x ( a .......... ) x ( y ) x ( a ) x ( y ) x ( a
0
1
1
1 n
1 n
n
n
= + + + +

(5.4)
Se tiene que la solucin general viene dada por la suma de la solucin de la
ecuacin diferencial homognea asociada a la ecuacin diferencial (5.4) y
una solucin particular de la ecuacin diferencial no homognea (5.4) y
tendr la forma
) x ( y ) x ( y c .... ) x ( y c ) x ( y
p n n 1 1
+ + + =
Siendo y
i
(x), n ,..., 1 i = , el conjunto de soluciones linealmente independientes
de la ecuacin diferencial homognea. Se determina aplicando los
comandos como en la seccin 5.1.1 y y
p
(x)

=
=
n
1 i
i i p
) x ( y ) x ( u ) x ( y

tal que

= dx
) x ( w
) x ( w
) x ( u
i
i

siendo w
i
(x) el determinante que se obtiene de la matriz que resulta al
sustituir la i-sima columna del wroskiano por transpuesto del vector
139
(0,0,,0f(x)) y w(x) es el determinante del wroskiano de las funciones
{ } ) x ( y ),....., x ( y ), x ( y
n 2 1
.
En esta seccin se desarrollar con MAPLE los ejemplos de la seccin
4.3.1.2.
Ejemplo 5.7
Resolver la ecuacin diferencial: y'' - y = e^x.
Identificacin de la ecuacin diferencial
> Ode7:=diff(y(x),x$2)-y(x)=f(x);
:= Ode7 =
|
\

|
|
|

2
x
2
( ) y x ( ) y x ( ) f x
> rhsA:=f(x)=exp(x);
:= rhsA = ( ) f x e ee e
x


Para determinar la solucin general de la ecuacin diferencial homognea
asociada a la ecuacin diferencial se procede de la siguiente forma
Se encuentra el conjunto de soluciones linealmente independiente de la
ecuacin diferencial homognea asociada a la ecuacin diferencial
> sols7_li:=dsolve(eval(Ode7,f(x)=0),y(x),output=basis);
:= sols7_li [ ] , e ee e
x
e ee e
( ) x


140
La solucin de la ecuacin diferencial homognea asociada a la ecuacin
diferencial indicada es
> sol7_homo:=y[h](x)=add(c[i]*sols7_li[i],i=1...nops(sols7_li));
:= sol7_homo = ( ) y
h
x + c
1
e ee e
x
c
2
e ee e
( ) x

[> n:=2:
[> for i from 1 to n do
[> y[i]:=sols7_li[i];
> end do;
:= y
1
e ee e
x

:= y
2
e ee e
( ) x

Para determinar una solucin particular de la ecuacin diferencial no
homognea se tiene que el Wronskiano del conjunto de soluciones
linealmente de la ecuacin diferencial homognea es
> W1_matrix:=wronskian(sols7_li,x);
:= W1_matrix

(
(
(
(
e ee e
x
e ee e
( ) x
e ee e
x
e ee e
( ) x

el determinante del Wronskiano es
> W(x):=simplify(det(W1_matrix));
:= ( ) W x -2

Los determinantes que se obtienen al reemplazar cada columna del
141
Wronskiano por el vector
> V:=subs(rhsA,vector(n,[0$(n-1),f(x)]));
:= V [ ] , 0 e ee e
x


son
[> for i from 1 to n do
[> matrix_W1[i]:=augment(submatrix(W1_matrix,1..n,1..(i-1)),
V,submatrix(W1_matrix,1..n,(i+1)..n));
[> det_W1[i]:=simplify(det(matrix_W1[i]));
[> print(`W(x)`[i]=det_W1[i]);
> end do:
= W(x)
1
-1
= W(x)
2
e ee e
( ) 2 x

La solucin particular y
p
de la ecuacin diferencial no homognea queda
planteada de la siguiente manera
> sol7:=y[p]=add(y[i]*Int(det_W1[i]/W(x),x),i=1..n);
:= sol7 = y
p
+ e ee e
x
d

(
(
(
(
1
2
x e ee e
( ) x
d

(
(
(
(

1
2
e ee e
( ) 2 x
x
La solucin particular es
> sol7_part:=simplify(value(sol7));
142
:= sol7_part = y
p

1
2
e ee e
x
x
1
4
e ee e
x



y la solucin general de la ecuacin diferencial dada es>
sol_gen:=Y(x)=rhs(sol7_homo)+rhs(sol7_part);
:= sol_gen = ( ) Y x + + c
1
e ee e
x
c
2
e ee e
( ) x 1
2
e ee e
x
x
1
4
e ee e
x


Ejemplo 5.8
Resolver la ecuacin diferencial: y'' + y = 2Cos(x).
> Ode8:=diff(y(x),x$2)+y(x)=f(x);
:= Ode8 = +
|
\

|
|
|

2
x
2
( ) y x ( ) y x ( ) f x
> rhsB:=f(x)=2*cos(x);
:= rhsB = ( ) f x 2 ( ) cos x


Para determinar la solucin general de la ecuacin diferencial homognea
asociada a la ecuacin diferencial se procede de la siguiente forma, se
encuentra el conjunto de soluciones linealmente independientes de la
ecuacin diferencial homognea asociada a la ecuacin diferencial

143
> sols8_li:=dsolve(eval(Ode8,f(x)=0),y(x),output=basis);
:= sols8_li [ ] , ( ) cos x ( ) sin x


La solucin de la ecuacin diferencial homognea asociada a la ecuacin
diferencial indicada es
> sol8_homo:=y[h](x)=add(c[i]*sols8_li[i],i=1...nops(sols8_li));
:= sol8_homo = ( ) y
h
x + c
1
( ) cos x c
2
( ) sin x
[> n:=2:
[> for i from 1 to n do
[> y[i]:=sols8_li[i];
> end do;
:= y
1
( ) cos x
:= y
2
( ) sin x

Para determinar una solucin particular de la ecuacin diferencial no
homognea se tiene que el Wronskiano del conjunto de soluciones
linealmente de la ecuacin diferencial homognea es
> W2_matrix:=wronskian(sols8_li,x);
:= W2_matrix

(
(
( ) cos x ( ) sin x
( ) sin x ( ) cos x


144
el determinante del Wronskiano es
> W(x):=simplify(det(W2_matrix));
:= ( ) W x 1

Los determinantes que se obtienen al reemplazar cada columna del
Wronskiano por el siguiente vector
> V:=subs(rhsB,vector(n,[0$(n-1),f(x)]));
:= V [ ] , 0 2 ( ) cos x


son
[> for i from 1 to n do
[> matrix_W2[i]:=augment(submatrix(W2_matrix,1..n,1..(i-1)),
V,submatrix(W2_matrix,1..n,(i+1)..n));
[> det_W2[i]:=simplify(det(matrix_W2[i]));
[> print(`W(x)`[i]=det_W2[i]);
> end do:
= W(x)
1
2 ( ) sin x ( ) cos x
= W(x)
2
2 ( ) cos x
2


La solucin particular y
p
de la ecuacin diferencial no homognea queda
planteada de la siguiente manera
> sol8:=y[p]=add(y[i]*Int(det_W2[i]/W(x),x),i=1..n);
145
:= sol8 = y
p
+ ( ) cos x d

(
2 ( ) sin x ( ) cos x x ( ) sin x d

(
(
2 ( ) cos x
2
x

La solucin particular es
> sol8_part:=simplify(value(sol8));
:= sol8_part = y
p
( ) sin x x

y la solucin general de la ecuacin diferencial dada es
> sol_gen:=Y(x)=rhs(sol8_homo)+rhs(sol8_part);
:= sol_gen = ( ) Y x + + c
1
( ) cos x c
2
( ) sin x ( ) sin x x
Para determinar la solucin particular para condiciones iniciales dadas se
usan los comandos y la secuencia del ejemplo 5.1.

La solucin general de la ecuacin diferencial dada se puede obtener con el
comando dsolve
> eq:=(subs(rhsB,Ode8));
:= eq = +
|
\

|
|
|

2
x
2
( ) y x ( ) y x 2 ( ) cos x
[> sol_gen:=dsolve(eq,y(x));
:= sol_gen = ( ) y x + + ( ) sin x x _C1 ( ) cos x _C2 ( ) sin x

Con el siguiente programa se identifica la ecuacin diferencial y se
determina la solucin general de la ecuacin diferencial no homognea
146
Programa
[> resuelve:=proc(ed)
[> local tipo,sol_gen,ecu;
[> ecu:=ed;
[> tipo:=odeadvisor(ecu,y(x));
[> sol_gen:=dsolve(ecu,y(x));
[> RETURN(cat(`la ecuacion `,ecu,`es del tipo: `,tipo),cat(`y la solucin
general es : `,sol_gen));
[> end:
Para la ecuacin diferencial del ejemplo 5.7
> resuelve(diff(y(x),x$2)-y(x)=exp(x));
|| || la ecuacion
|
\

|
|
|
=
|
\

|
|
|

2
x
2
( ) y x ( ) y x e ee e
x
es del tipo: ||
[ ] [ ] , _2nd_order _with_linear_symmetries ,
|| y la solucin general es :
|
\

|
|
= ( ) y x + +
1
2
x e ee e
x
_C1 e ee e
x
_C2 e ee e
( ) x


5.3.- Aplicaciones de las Ecuaciones Diferenciales Lineales
de Segundo Orden con MAPLE.
5.3.1.- Movimiento Libre No Amortiguado.
Considere un resorte flexible colgado de un soporte fijo, rgido, y en el otro
extremo se coloca una masa m, como en la figura 5.2
147

Figura 5.2
El peso w de la masa m, estira el resorte una longitud L y llega a una
posicin de equilibrio. El peso se define por
mg w = (5.5)
El resorte ejerce una fuerza, segn la Ley de Hooke, opuesta a la direccin
del alargamiento L, la cual es proporcional a dicho alargamiento,
obtenindose la ecuacin
w Fy = (5.6)
o
kL mg = o 0 kL mg =
esto da la posicin de equilibrio esttico de la masa.

Si la masa se desplaza una distancia y respecto a su posicin de equilibrio,
la fuerza de restitucin del resorte ser
) L y ( k +
148
Si no hay fuerzas externas que acten sobre el sistema y la masa se mueve
libre de otras fuerzas externas, entonces segn la Segunda Ley de Newton,
se tiene
mg ) L y ( k
dt
y d
m
2
2
+ + = (5.7)
0 mg kL ky
dt
y d
m
2
2
= + + (5.8)
0 ky
dt
y d
m
2
2
= + (5.9)
al dividir entre la masa m, se obtiene la ecuacin diferencial que, describe el
movimiento armnico simple o movimiento libre no amortiguado
0 y
m
k
dt
y d
2
2
= + (5.10)

Ejemplo 5.10
Un peso de 32 libras hace que un resorte se estire
2
/
3
de pie de su posicin
natural. Cuando t = 0, la masa se suelta desde un punto que se encuentra a
de pie por debajo de su posicin de equilibrio, con una velocidad de de
pie por segundo. Deduzca la ecuacin del movimiento libre. Figura 5.3
149

Figura 5.3

Se tiene que
g
w
m =
Luego
1
32
32
m = =
segn la Ley de Hooke
) L ( k w =
o
( )
3
2
k 32 =
48 k =
transformndose la ecuacin (5.10) en
0 y 48
dt
y d
2
2
= +
150

Usando el comando dsolve de MAPLE se obtiene la solucin general
Identificacin de la ecuacin diferencial obtenida
> ode1:=diff(y(t),t$2)+48*y(t)=0;
:= ode1 = +
|
\

|
|
|

2
t
2
( ) y t 48 ( ) y t 0

la solucin general es
> sol_gen1:=dsolve(ode1,y(t));
:= sol_gen1 = ( ) y t + _C1 ( ) cos 4 3 t _C2 ( ) sin 4 3 t

la solucin particular
> sol_part1:=dsolve({ode1,y(0)=1/2,D(y)(0)=1/2},y(t));
:= sol_part1 = ( ) y t +
1
2
( ) cos 4 3 t
1
24
( ) sin 4 3 t 3
y la representacin grfica de la solucin particular, figura 5.4, es
[> plot(rhs(sol_part1),t=0..2*Pi,y=-1..1);

Figura 5.4
Tambin se puede resolver la ecuacin diferencial planteada aplicando los
pasos para resolver ecuaciones diferenciales ordinarias de segundo orden
151
con coeficientes constantes homogneas usando los comandos de MAPLE
desarrollados en la seccin 5.2.1.1.
> sols_li1:=dsolve(ode1,y(t),output=basis);
:= sols_li1 [ ] , ( ) cos 4 3 t ( ) sin 4 3 t

> sol_gen2:=y(t)=add(c[i]*sols_li1[i],i=1..nops(sols_li1));
:= sol_gen2 = ( ) y t + c
1
( ) cos 4 3 t c
2
( ) sin 4 3 t

> ic1:=y(0)=1/2;
:= ic1 = ( ) y 0
1
2


> eq1:=simplify(subs(t=0,ic1,sol_gen2));
:= eq1 =
1
2
c
1


> der_y:=D(y)(t)=diff(c[1]*cos(4*sqrt(3)*t)+c[2]*sin(4*sqrt(3)*t),t);
:= der_y = ( ) ( ) D y t + 4 c
1
( ) sin 4 3 t 3 4 c
2
( ) cos 4 3 t 3


[> ic2:=D(y)(0)=1/2;
:= ic2 = ( ) ( ) D y 0
1
2

> eq2:=simplify(subs(t=0,ic2,der_y));
:= eq2 =
1
2
4 c
2
3

152
> sist1:={eq1,eq2};
:= sist1 { } , =
1
2
c
1
=
1
2
4 c
2
3

> sols:=solve(sist1);
:= sols { } , = c
1
1
2
= c
2
1
24
3
Obtenindose a travs de la anterior secuencia de comandos de MAPLE la
siguiente solucin particular de la ecuacin diferencial planteada.
> sol_part1:=subs(sols,sol_gen2);
:= sol_part1 = ( ) y t +
1
2
( ) cos 4 3 t
1
24
( ) sin 4 3 t 3

5.3.2.- Movimiento Libre Amortiguado.
Si el movimiento descrito anteriormente se desarrolla en un medio en el cual
el cuerpo experimenta una fuerza de amortiguamiento adicional, Fa, que es
proporcional a su velocidad en todo instante. (Figura 5.5)

153
Figura 5.5

Se tiene que

dt
dy
Fa = (5.11)
entonces segn la Segunda Ley de Newton, se obtiene la ecuacin

dt
dy
Ly
dt
y d
m
2
2
= (5.12)

o bien
0 Ly
dt
dy
dt
y d
m
2
2
= + + (5.13)

al dividir la ecuacin (5.13) entre la masa m, se obtiene la ecuacin
diferencial del movimiento libre amortiguado.
0 y
m
L
dt
dy
m
dt
y d
2
2
= +

+ (5.14)

Ejemplo 5.11
- Un cuerpo de 16 libras se une a un resorte de 5 pies de longitud. En la
posicin de equilibrio, el resorte mide 8,2 pies. Si el peso se eleva y se
suelta del reposo desde un punto a 2 pies por arriba de la posicin de
154
equilibrio y el movimiento se da en un medio que ejerce una fuerza de
amortiguamiento numricamente igual a la velocidad en todo instante.
Deduzca la ecuacin del movimiento libre amortiguado. Figura 5.6

Figura 5.6
El alargamiento del resorte al colocarle el peso es: L = 8,2 5 = 3,2 pies
y segn la Ley de Hooke se tiene
kL w =
o
k 2 , 3 16 =
Luego
K = 5
y
w = mg
entonces
155
16 = 32m
obtenindose que la masa es
m =
como la fuerza de amortiguamiento es
dt
dy
Fa =
la ecuacin diferencial (5.13) se transforma en la ecuacin
0 y 5
dt
dy
dt
y d
2
1
2
2
= + +
0 y 10
dt
dy
2
dt
y d
2
2
= + +
la solucin general es
> ode2:=diff(y(t),t$2)+2*diff(y(t),t$1)+10*y(t)=0;
:= ode2 = + +
|
\

|
|
|

2
t
2
( ) y t 2
|
\

|
|

t
( ) y t 10 ( ) y t 0
Usando el comando dsolve de MAPLE se obtiene la solucin general de la
ecuacin diferencial generada
> sol_gen2:=dsolve(ode2,y(t));
:= sol_gen2 = ( ) y t + _C1 e ee e
( ) t
( ) sin 3 t _C2 e ee e
( ) t
( ) cos 3 t


la solucin particular
> sol_part2:=dsolve({ode2,y(0)=-2,D(y)(0)=0},y(t));
156
:= sol_part2 = ( ) y t
2
3
e ee e
( ) t
( ) sin 3 t 2 e ee e
( ) t
( ) cos 3 t
y la representacin grafica de la solucin particular, figura 5.7, es
> plot(rhs(sol_part2),t=0...4,y=-3..3);

Figura 5.7

La solucin particular de la ecuacin diferencial obtenida en este ejemplo, se
puede determinar aplicando el mtodo algebraico usual utilizado en la
segunda secuencia de comandos del ejemplo anterior (ejemplo 5.10).

5.3.3.- Movimiento Forzado No Amortiguado.
En el movimiento libre se supuso que no hay fuerzas que actan sobre la
masa en movimiento, aspecto que lleva a pensar que el concepto de
movimiento armnico libre no es realista.

Para el movimiento forzado no amortiguado se tomar en cuenta una fuerza
externa, f(t), que acta sobre la masa en movimiento oscilatorio en un
resorte, tal fuerza externa puede ser la producida por una fuerza de
157
impulsin que cansar un movimiento oscilatorio vertical en la base de la que
esta fijado el resorte. Segn la Segunda Ley de Newton se origina la
ecuacin diferencial. Figura 5.8

Figura 5.8

) t ( f kx
dt
y d
m
2
2
= + (5.15)
al dividir entre la masa se obtiene

m
) t ( f
y
m
k
dt
y d
2
2
= + (5.16)
ecuacin diferencial que describe el movimiento forzado no amortiguado.
Ejemplo 5.12
- Supngase que 1 m = , 9 k = , ) t 5 ( Cos 80 ) t ( f = . Hallar y(t) si y(0) = 0 y
0 ) 0 ( y = .
La ecuacin diferencial (5.16) quedara
) t 5 ( Cos 80 y 9
dt
y d
2
2
= +
158
con el comando dsolve de MAPLE se obtiene la solucin general
Identificacin de la ecuacin diferencial obtenida
> ode3:=diff(y(t),t$2)+9*y(t)=80*cos(5*t);
:= ode3 = +
|
\

|
|
|

2
t
2
( ) y t 9 ( ) y t 80 ( ) cos 5 t
la solucin general es
> sol_gen3:=dsolve(ode3,y(t));
:= sol_gen3 = ( ) y t + + 5 ( ) cos 5 t _C1 ( ) cos 3 t _C2 ( ) sin 3 t


la solucin particular es
> sol_part3:=dsolve({ode3,y(0)=0,D(y)(0)=0},y(t));
:= sol_part3 = ( ) y t + 5 ( ) cos 5 t 5 ( ) cos 3 t

y la representacin grafica de la solucin particular, figura 5.9, es
> plot(rhs(sol_part3),t=0...4,y=-12..12);

Figura 5.9

Aplicando el mtodo de coeficientes indeterminados para hallar la solucin
de la ecuacin diferencial ordinaria lineales de segundo orden no
159
homogneas con coeficientes constantes usando MAPLE, desarrollada en la
seccin 5.2.1, se tiene

Conjunto de soluciones linealmente independientes de la ecuacin
diferencial homognea asociada a la ecuacin diferencial planteada
> sols_li3:=dsolve(eval(ode3,80*cos(5*t)=0),y(t),output=basis);
:= sols_li3 [ ] , ( ) cos 3 t ( ) sin 3 t

solucin de la ecuacin diferencial homognea
> sol_homo3:=y[h]=add(c[i]*sols_li3[i],i=1..nops(sols_li3));
:= sol_homo3 = y
h
+ c
1
( ) cos 3 t c
2
( ) sin 3 t
para determinar una solucin particular de la ecuacin diferencial usando el
mtodo de coeficientes indeterminados con MAPLE desarrollado en la
seccin 5.2.1, se tiene que la funcin f(t) = 80Cos(5t) y la forma general
apropiada para determinar la solucin particular es:
> sol_part_sug3:=y(t)=A*sin(5*t)+B*cos(5*t);
:= sol_part_sug3 = ( ) y t + A ( ) sin 5 t B ( ) cos 5 t


Ecuacin para determinar los coeficientes A y B
> ecua_coefi3:=collect(eval(ode3,sol_part_sug3),t);
:= ecua_coefi3 = 16 A ( ) sin 5 t 16 B ( ) cos 5 t 80 ( ) cos 5 t


160
los valores de los coeficientes son
> sol_ecua_coefi3:=solve(identity(ecua_coefi3,t),{A,B});
:= sol_ecua_coefi3 { } , = B -5 = A 0


la solucin particular es
> sol_parti3:=eval(sol_part_sug3,sol_ecua_coefi3);
:= sol_parti3 = ( ) y t 5 ( ) cos 5 t

la solucin general es
> sol_gene3:=y(t)=rhs(sol_homo3)+rhs(sol_parti3);
:= sol_gene3 = ( ) y t + c
1
( ) cos 3 t c
2
( ) sin 3 t 5 ( ) cos 5 t

para obtener la solucin particular
> inc1:=y(0)=0;
:= inc1 = ( ) y 0 0



> eq1:=simplify(subs(t=0,inc1,sol_gene3));
:= eq1 = 0 c
1
5


> der_sol_gen3:=D(y)(t)=rhs(diff(sol_gen3,t));
:= der_sol_gen3 = ( ) ( ) D y t + + 3 c
1
( ) sin 3 t 3 c
2
( ) cos 3 t 25 ( ) sin 5 t

161

> ic2:=D(y)(0)=0;
:= ic2 = ( ) ( ) D y 0 0


> eq2:=simplify(subs(t=0,ic2,der_sol_gen3));
:= eq2 = 0 3 c
2

> sist2:={eq1,eq2};
:= sist2 { } , = 0 c
1
5 = 0 3 c
2


La solucin particular es
> sols_sist2:=solve(sist2);
:= sols_sist2 { } , = c
1
5 = c
2
0
> sol_ecua_part3:=subs(sols_sist2,sol_gene3);
:= sol_ecua_part3 = ( ) y t + 5 ( ) cos 5 t 5 ( ) cos 3 t


5.3.4.- Movimiento Forzado Amortiguado.
Se refiere este movimiento al caso desarrollado anteriormente pero con una
fuerza de amortiguamiento como la descrita en el movimiento libre
amortiguado, seccin 5.3.3. Figura 5.10
Fuerza de Amortiguamiento
dt
dy
Fa = .
162

Figura 5.10

Obtenindose de acuerdo con la Segunda Ley de Newton la ecuacin
diferencial.
) t ( f ky
dt
dy
dt
y d
m
2
2
= + + (5.17)
al dividir entre la masa m se obtiene

m
) t ( f
y
m
k
dt
dy
m dt
y d
2
2
= +

+ (5.18)
ecuacin diferencial de movimiento forzado amortiguado.
Ejemplo 5.13
- Sea la masa m = 1, 2 = , k = 2, f(t) = 20Cos(2t). hallar y(t), si y(0) = 0 y
0 ) 0 ( y = .
La ecuacin diferencial que permite determinar a y(t) es
) t 2 ( Cos 20 y 2
dt
dy
2
dt
y d
2
2
= + +
163
Si y(0) = 0 ) 0 ( y =
Con el comando dsolve de MAPLE, se obtiene la solucin general.
Identificacin de la ecuacin diferencial
> ode4:=diff(y(t),t$2)+2*diff(y(t),t$1)+2*y(t)=20*cos(2*t);
:= ode4 = + +
|
\

|
|
|

2
t
2
( ) y t 2
|
\

|
|

t
( ) y t 2 ( ) y t 20 ( ) cos 2 t
La solucin general de la ecuacin diferencial es
[> sol_gen4:=dsolve(ode4,y(t));
:= sol_gen4 = ( ) y t + + 4 ( ) sin 2 t 2 ( ) cos 2 t _C1 e ee e
( ) t
( ) sin t _C2 e ee e
( ) t
( ) cos t


la solucin particular es
> sol_part4:=dsolve({ode4,y(0)=0,D(y)(0)=0},y(t));
:= sol_part4 = ( ) y t + + 2 ( ) cos 2 t 4 ( ) sin 2 t 2 e ee e
( ) t
( ) cos t 6 e ee e
( ) t
( ) sin t


y la representacin grafica de la solucin particular, figura 5.11, es
> plot(rhs(sol_part4),t=0..4*Pi,y=-12..12);

Figura 5.11
164

Se puede aplicar usando MAPLE el mtodo de los coeficientes
indeterminados desarrollado en el ejemplo 5.12 para determinar la solucin
particular de la ecuacin diferencial planteada.

5.3.5.- Circuitos Elctricos RLC.
Se usarn los conceptos desarrollados en el captulo tres, seccin 3.2. para
estudiar un circuito elctrico simple que contiene un inductor L, una
resistencia R, y un capacitor C con una fuerza electromotriz E(t). Figura
5.12.

Figura 5.12
De acuerdo con la segunda Ley de Kirchoff, la suma de las cadas de
voltajes es igual al voltaje E(t), esto es

c L R
E E E ) t ( E + + = (5.19)
entonces

C
Q
I * R
dt
dI
L ) t ( E + + = (5.20)
pero
165
dt
dQ
I =

as la ecuacin (5.20) se transforma en
) t ( E
C
Q
dt
dQ
R
dt
Q d
L
2
2
= + + (5.21)
o

L
) t ( E
LC
Q
dt
dQ
L
R
dt
Q d
2
2
= + + (5.22)
que es la ecuacin que permite determinar la funcin para hallar la carga Q
en cualquier instante en el circuito elctrico descrito.

Ejemplo 5.14
- En un circuito elctrico simple se conectan en serie una inductancia L = 1
henrios, una resistencia R = 100 ohmios, una capacitancia C = 10
-4
faradios
y una fuerza electromotriz E = 1000 voltios. Si no hay carga presente y no
esta fluyendo corriente en el instante t = 0 en que se aplica E. Determinar la
ecuacin para hallar la carga en cualquier instante t en el circuito elctrico
descrito. Figura 5.13.

166
Figura 5.13

De la ecuacin diferencial (5.22), se obtiene
1000
10
Q
dt
dQ
100
dt
Q d
4 2
2
= + +

Usando el comando dsolve de MAPLE se obtiene la solucin general
Identificacin de la ecuacin diferencial
> ode5:=diff(Q(t),t$2)+100*diff(Q(t),t$1)+10000*Q(t)=1000;
:= ode5 = + +
|
\

|
|
|

2
t
2
( ) Q t 100
|
\

|
|

t
( ) Q t 10000 ( ) Q t 1000

la solucin general es
[> sol_gen5:=dsolve(ode5,Q(t));
:= sol_gen5 = ( ) Q t + +
1
10
_C1 e ee e
( ) 50 t
( ) sin 50 3 t _C2 e ee e
( ) 50 t
( ) cos 50 3 t

la solucin particular es
> sol_part5:=dsolve({ode5,Q(0)=0,D(Q)(0)=0},Q(t));
:= sol_part5 = ( ) Q t
1
10
1
30
3 e ee e
( ) 50 t
( ) sin 50 3 t
1
10
e ee e
( ) 50 t
( ) cos 50 3 t

y la representacin grafica de la solucin particular, figura 5.14, es
167
[> plot(rhs(sol_part5),t=0..Pi/8,Q=-1..1);

Figura 5.14
Para determinar la solucin particular de la ecuacin diferencial se puede
aplicar usando MAPLE el mtodo de los coeficientes indeterminados
desarrollado en el ejemplo 5.12.
Ejemplo 5.15
- En un circuito elctrico simple se conectan en serie una resistencia R = 60
ohmios, inductancia L = 2 henrios, una capacitancia C = 0,0025 faradios y
una fuerza electromotriz E =
t
e 100

voltios. Encontrar la carga Q(t) y la

corriente i(t) si Q(0) = 0 e i(0) = 0. Figura 5.15.

Figura 5.15
La ecuacin diferencial que permite determinar a Q(t) e i(t), sujeta a las
condiciones dadas Q(0) = 0 e i(0) = 0, es
168
t 10
2
2
e 50 Q 200
dt
dQ
30
dt
Q d

= + +
Identificacin de la ecuacin diferencial
> ode6:=diff(Q(t),t$2)+30*diff(Q(t),t$1)+200*Q(t)=50*exp(-10*t);
:= ode6 = + +
|
\

|
|
|

2
t
2
( ) Q t 30
|
\

|
|

t
( ) Q t 200 ( ) Q t 50 e ee e
( ) 10 t

la solucin general es
> sol_gen6:=dsolve(ode6,Q(t));
:= sol_gen6 = ( ) Q t
|
\

|
|
+ 5 t
1
10
e ee e
( ) 10 t
_C1 _C2 e ee e
( ) 10 t


la carga Q es
> sol_part6:=dsolve({ode6,Q(0)=1,D(Q)(0)=0},Q(t));
:= sol_part6 = ( ) Q t
|
\

|
|
+ 5 t
1
2
e ee e
( ) 10 t 3
2
e ee e
( ) 10 t


y la corriente i es
[> i(t)=simplify(rhs(diff(sol_part6,t)));
= ( ) i t + 10 e ee e
( ) 10 t
10 e ee e
( ) 20 t
50 e ee e
( ) 10 t
t


La solucin general de la ecuacin diferencial planteada en este ejemplo se
puede determinar aplicando el mtodo de variacin de parmetros con
MAPLE, desarrollado en el captulo 5, seccin 5.2.2, de la siguiente forma
169
> ode7:=diff(Q(t),t$2)+30*diff(Q(t),t$1)+200*Q(t)=f(t);
:= ode7 = + +
|
\

|
|
|

2
t
2
( ) Q t 30
|
\

|
|

t
( ) Q t 200 ( ) Q t ( ) f t
> rhsB:=f(t)=50*exp(-10*t);
:= rhsB = ( ) f t 50 e ee e
( ) 10 t

> sols_li7:=dsolve(eval(ode7,f(t)=0),Q(t),output=basis);
:= sols_li7 [ ] , e ee e
( ) 10 t
e ee e
( ) 20 t

> sol_homo7:=Q[h]=add(c[i]*sols_li7[i],i=1..nops(sols_li7));
:= sol_homo7 = Q
h
+ c
1
e ee e
( ) 10 t
c
2
e ee e
( ) 20 t

[> n:=2:
[> for i from 1 to n do
[> Q||i:=sols_li7[i];
> end do;
:= Q1 e ee e
( ) 10 t

:= Q2 e ee e
( ) 20 t

> W7_matrix:=wronskian(sols_li7,t);
:= W7_matrix

(
(
(
(
e ee e
( ) 10 t
e ee e
( ) 20 t
10 e ee e
( ) 10 t
20 e ee e
( ) 20 t

> W7:=simplify(det(W7_matrix));
:= W7 10 e ee e
( ) 30 t

170
> V:=subs(rhsB,vector(n,[0$(n-1),f(t)]));
:= V [ ] , 0 50 e ee e
( ) 10 t

[> for i from 1 to n do
[> W||i_matrix:=augment(submatrix(W7_matrix,1..n,1..(i-1)),V,
submatrix(W7_matrix,1..n,(i+1)..n));
[> W||i:=simplify(det(W||i_matrix));
[> print(` W`||i=W||i);
> end do:
= W1 50 e ee e
( ) 30 t

= W2 50 e ee e
( ) 20 t


> sol7:=Q[p]=add(Q||i*int(W||i/W7,t),i=1..n);
:= sol7 = Q
p
5 e ee e
( ) 10 t
t
1
2
e ee e
( ) 20 t
( ) e ee e
t
10

> sol_gen7:= Q(t)=rhs(sol_homo7)+rhs(sol7);
:= sol_gen7 = ( ) Q t + + c
1
e ee e
( ) 10 t
c
2
e ee e
( ) 20 t
5 e ee e
( ) 10 t
t
1
2
e ee e
( ) 20 t
( ) e ee e
t
10

> corr_I:=I2(t)=simplify(rhs(diff(sol_gen7,t)));
:= corr_I = ( ) I2 t + 10 c
1
e ee e
( ) 10 t
20 c
2
e ee e
( ) 20 t
50 e ee e
( ) 10 t
t 10 e ee e
( ) 10 t

> ic3:=Q(0)=1;
:= ic3 = ( ) Q 0 1

171
> ic4:=I2(0)=0;
:= ic4 = ( ) I2 0 0


> eq3:=simplify(subs(t=0,ic3,sol_gen7));
:= eq3 = 1 + c
1
c
2
1
2


> eq4:=simplify(subs(t=0,ic4,corr_I));
:= eq4 = 0 + 10 c
1
20 c
2
10


> sist3:={eq3,eq4};
:= sist3 { } , = 1 + c
1
c
2
1
2
= 0 + 10 c
1
20 c
2
10


> sols_sist3:=solve(sist3);
:= sols_sist3 { } , = c
1
2 = c
2
-1
2


> sol_ecua_part4:=subs(sols_sist3,sol_gen7);

:= sol_ecua_part4 = ( ) Q t + 2 e ee e
( ) 10 t 1
2
e ee e
( ) 20 t
5 e ee e
( ) 10 t
t
1
2
e ee e
( ) 20 t
( ) e ee e
t
10


172
la representacin grfica de Q(t), figura 5.16, es
[> plot(rhs(sol_ecua_part4),t=-2..2,y=-6..2);

Figura 5.16

> simplify(diff(sol_ecua_part4,t));
=

t
( ) Q t + 10 e ee e
( ) 10 t
10 e ee e
( ) 20 t
50 e ee e
( ) 10 t
t



173
CONCLUSIONES

Bien es sabido por las personas que estudian matemtica, fsica, qumica,
biologa o cualquier otra ciencia que considera el uso de las ecuaciones
diferenciales ordinarias, que uno de los aspectos de gran importancia es
plantear la ecuacin diferencial de un cierto experimento o fenmeno de la
naturaleza y el otro objetivo es determinar la solucin de las ecuaciones
diferenciales planteadas.

Con los ejemplos de aplicaciones de las ecuaciones diferenciales se
pretendi lograr el primer objetivo, desarrollando algunos casos para
garantizar la compresin de las aplicaciones de las ecuaciones diferenciales
por parte de aquellos lectores que se enfrentan por primera vez a este tema.

Y en cuanto al otro objetivo, determinar la solucin de ecuaciones
diferenciales ordinarias, aspecto que presenta un buen grado de dificultad
por los cmputos que tradicionalmente es necesario hacer dedicando una
cantidad considerable de tiempo a tal aspecto. Como es lgico la mayor
parte del tiempo debe asignarlo a adquirir soltura y destreza en la aplicacin
de procesos y algoritmos. Al usar MAPLE para determinar las soluciones de
las ecuaciones diferenciales ordinarias, los clculos rutinarios son realizados
174
por la computadora con lo que el estudiante dispone de ms tiempo para
dedicarlo a los conceptos, motivaciones, aplicaciones y para interesarse en
otras actividades. Con ello el estudiante logra aprender la importancia de los
procesos y no el de dominar algoritmos rutinarios de clculo.

175
BIBLIOGRAFIA

DERRICK, William R. GROSMAN, Stanley I., Ecuaciones Diferenciales
con Aplicaciones. Fondo Educativo Inter. Americano. Segunda
Edicin, 1984, 642 pgs. Ttulo Original: Elementary Differential
with Applications, 1981.
LARSON, Roland. HOSTETLER, Robert P. EDWARDS, Bruce H., Clculo y
Geometra Analtica. Madrid, McGraw-Hill Interamericana,
Quinta Edicin, 1995, 770 pgs.
ACERO, Ignacio. LOPEZ, Maril. Ecuaciones Diferenciales Teora y
Problemas. Alfaomega, Mxico, D.F. 1998, 220 pgs.
EDWARDS, C. H. PENNEY, David E. Ecuaciones Diferenciales
Elementales y Problemas con Condiciones en la Frontera.
Prentice-Hall Hispanoamericana, S.A. Tercera Edicin. 1994,
774 pgs. Ttulo Original: Elementary Differential Equations with
Boundary Value Problems. Traductor: Hidalgo y Mondragn
Mara del Consuelo.
ZILL, Dennis. Ecuaciones Diferenciales con Aplicaciones de Modelado,
Internacional Thomson Editores. 1998. 590 pgs. Ttulo Original:
Differential Equations with Modeling Applications, Traductor:
Gonzles Pozo Virgilio.
176
ELLIS, Wade. JHONSON Eugene W. LODI, Ed. SCHWALBE, Daniel.
MAPLE V Flight Manual Tutorials for Calculus, Liner Algebra,
and Differential Equations. Brooks/Cole Publishing Company,
Pacific Grove, California. 1992. 187 pgs.
AMILLO, J. BALLESTORPS, F. GUADALUPE, R. MATIN L. Clculo
Conceptos, Ejercicios y Sistemas de Computacin
Matemtica. McGraw-Hill. Primera Edicin. 1996, 341 pgs.
CARRILLO de Albornoz, Agustn, Llamas Centeno Inmaculada, MAPLE V
Aplicaciones Matemticas para PC, Espaa, Ra-ma Editorial,
Estados Unidos, 1995, 397 pgs.
BRUE, W. CHAR, Keith O. GEDDES, Gaston H. GONNET Benton L.
LEONG, Michael B. MONGAN Stephan M. First Leaves: A
Tutorial Introduction to MAPLE V, Springerverlag. 1992, 254
pgs.