7 Practicas Con Maxima

Prácticas de Ecuaciones Diferenciales
con Maxima

Ordinarias con Maxima
341
TecNM campus Tepic Sergio Guadalupe Treviño Tamez
con Maxima
Contenido
Prefacio
Introducción
1. Solución de ED
2. Campos de dirección
3. Ecuaciones diferenciales de primer orden: separables, exactas y homogéneas
4. Ecuaciones diferenciales de primer orden: lineales y Bernoulli
5. Ecuaciones diferenciales lineales de orden superior
6. Transformada de Laplace
7. Sistemas de ecuaciones diferenciales lineales:
8. Series de Fourier
342
con Maxima
Prefacio
Estas prácticas están pensadas como un complemento al curso de Ecuaciones

Diferenciales que oferta el Tecnológico Nacional de México (TecNM) a diferentes
carreras de ingeniería. Tiene como objetivo ocuparse de los aspectos computacionales;
es decir, cómo calcular la solución de ecuaciones diferenciales, sistemas de ecuaciones
diferenciales lineales, transformada de Laplace y series de Fourier. La idea es
aprovechar la capacidad de cálculo y opciones gráficas del software Maxima. Se trata
entonces de aprender a utilizar el software para resolver problemas de manera efectiva y
eficiente.
El uso de las tecnologías de la información y de la comunicación aumenta día a día y en

todos los ámbitos. En particular, el uso de la computadora en las aulas y laboratorios de
matemáticas está abriendo nuevas oportunidades de mejora del proceso educativo.
Nuestros estudiantes constituyen una generación habituada a los contenidos
audiovisuales y el uso de las computadoras. Sin ser la panacea que pueda resolver las
dificultades del proceso enseñanza-aprendizaje-evaluación, puede constituir un recurso
de tanta utilidad como el pizarrón, los materiales impresos y las prácticas de campo,
taller o laboratorio.
Existen muchos programas que cumplen los requisitos para enseñar y aprender
ecuaciones diferenciales, entre los más conocidos tenemos: Mathematica, Mathcad,
Maple, Derive y Matlab. Además de una larga lista de software libre que puedan
emplearse, Máxima esta en esta categoría.
Describiremos cómo resolver ecuaciones diferenciales ordinarias y sistemas de

ecuaciones diferenciales mediante el uso del software Maxima, un sistema de algebra
computacional (CAS, del inglés computer algebra system) implementado en Lisp.
Consiste en un paquete de programas que permiten hacer cálculos numéricos y
simbólicos. Usamos Maxima ya que produce buenos resultados y puede ser compilado
en varios sistemas operativos. El objetivo es contar con una guía práctica del uso de
Maxima para el estudio de las ecuaciones diferenciales.
343
con Maxima
Introducción
Maxima desciende del sistema Macsyma, desarrollado en el MIT (Massachusetts

Institute of Technology) entre los años 1968-1982 como parte del proyecto MAC. En
1982 el MIT proporciono una copia del código fuente al DOE (Department of Energy),
una versión conocida como DOE-Macsyma. En 1998 el Dr. Williams F. Schelter
profesor de matemáticas de la Universidad de Texas obtuvo del Departamento de
Energía permiso para distribuir el código fuente de DOE-Macsyma bajo licencia GNU-
GPL, iniciando en el año 2000 el proyecto Maxima en SourceForge con la finalidad de
mantener y seguir desarrollando DOE-Macsyma, ahora con el nombre de Maxima.
Maxima es un sistema para la manipulación de expresiones simbólicas y numéricas,

incluyendo diferenciación, integración, series de Taylor, transformada de Laplace,
ecuaciones diferenciales ordinarias, series de Fourier, sistemas de ecuaciones lineales,
vectores, matrices y tensores. Adicionalmente puede graficar funciones en dos y tres
dimensiones.
En este manual no empleamos Maxima directamente sino un entorno gráfico que utiliza
Maxima como motor para realizar los cálculos. Este entorno es wxMaxima que permite
que las expresiones algebraicas luzcan como tales. En todos los ejemplos utilizamos la
sintaxis de Maxima, en lugar de los menús que ofrece el entorno gráfico (el cual se deja
como ejercicio para que el lector lo explore). wxMaxima se puede descargar de:
https://maxima.sourceforge.io/es/ . Un Manual de referencia muy completo en formato
PDF está disponible en: https://maxima.sourceforge.io/docs/manual/es/maxima.html
Los comandos principales para resolver ecuaciones diferenciales de primer y segundo

orden, así como sistemas lineales en Maxima es ode2 y desolve.
ode2 permite calcular la solución de algunas ecuaciones diferenciales de primer y

segundo orden, tales como:
i) Ecuaciones diferenciales de primer orden del tipo: variables separables, exactas,

lineales, homogéneas, de Bernoulli.
ii) Ecuaciones diferenciales de segundo orden del tipo: lineales con coeficientes
constantes, Cauchy-Euler, Bessel, lineales homogéneas con coeficientes no constantes
344
con Maxima
que se pueden reducir a ecuaciones homogéneas con coeficientes constantes, ED

autónomas.
El comando desolve resuelve ecuaciones lineales y sistemas de ecuaciones lineales

mediante el uso de la transformada de Laplace, por lo tanto esta función se limita al
caso de problemas con condiciones iniciales en cero.
El paquete contrib_ode extiende ode2 con métodos adicionales para resolver

ecuaciones no lineales de primer orden y ecuaciones homogéneas de segundo orden con
coeficientes variables (en el caso de ecuaciones no homogéneas no está implementado).
Maxima tiene implementada la función laplace (expr, t, s) para obtener la transformada

de Laplace de la mayoría de las funciones que empleamos para resolver ecuaciones
diferenciales. Si Laplace no encuentra una transformada, entonces llama a la función
specint, la cual puede encontrar la transformada de Laplace de expresiones con
funciones especiales, tales como: funciones de error, integrales exponenciales,
funciones Bessel, entre otras.
La función laplace reconoce las funciones elementales, así como derivadas y primitivas
de estás, también reconoce integrales de convolución. Las relaciones implícitas
establecidas por depends no son reconocidas. Si f depende de x y y , f ( x, y ) debe
aparecer en expr.
Para encontrar desarrollos en serie de Fourier, Maxima ofrece el paquete fourier que
permite calcular los coeficientes y manipular las expresiones. La sintaxis de la función
fourier (f(x),x,p) devuelve una lista con los coeficientes de Fourier de f ( x ) definida en
el intervalo   p, p 
345
con Maxima
Práctica No. 1 Solución de Ecuaciones Diferenciales de

Primer Orden
Competencia a desarrollar: Habilidades básicas de manejo de la computadora,

capacidad de análisis y síntesis, capacidad para aprender, habilidad para trabajar de
forma autónoma, potenciar las habilidades para el uso de nuevas tecnologías,
argumentar con contundencia y precisión, comprobar la solución general o particular de
las EDO.
Correlación con los temas y subtemas del programa de estudios vigente
1.1.2 Solución de las ecuaciones diferenciales.

1.1.3 Problemas de valor inicial.
Introducción
Es importante tener en cuenta que, en general, las ecuaciones diferenciales no tienen
solución analítica. Existe un número infinito de ED, pero hasta ahora no se han podido
resolverse todas las ecuaciones imaginables. De hecho, muy pocas tienen solución
analítica, En algunos casos empleamos métodos gráficos para hacer un análisis
cualitativo y en otros empleamos métodos numéricos. En un curso básico de ED solo se
estudian métodos de solución de algunos tipos de ecuaciones diferenciales en los que se
utilizan conceptos básicos del cálculo. Resolver una ED significa encontrar una función
definida en algún intervalo tal que satisfaga la ecuación.
Definición solución de una ED

Si f es una función definida en algún intervalo tal que al sustituirla en una ecuación
diferencial la reduce a una identidad, se dice que f es una solución de la ecuación
diferencial.
Las soluciones de una ED se clasifican en implícitas y explicitas, en solución general,

solución particular y solución singular.
Solución explícita e implícita

Sea F ( x, y, y ', y '',..., y ( n1) , y ( n ) )  0 una ecuación diferencial ordinaria, se dice que una
solución está en forma explícita si se puede expresar en la forma y  f ( x ) o x  g ( y ) . Si
ninguna de las variables está expresada en términos de la otra, entonces decimos que la
solución está dada en forma implícita.
346
con Maxima
Solución general, particular y singular

Sea F ( x, y, y ', y '',..., y ( n1) , y ( n ) )  0 una ecuación diferencial ordinaria, se dice que una
solución de la forma G( x, y, c1 , c2 ,..., cn )  0 es una solución general o familia de
soluciones con n parámetros arbitrarios. Si una solución no contiene parámetros

arbitrarios, se dice que es una solución particular. Una solución de una ED se denomina
singular si no puede obtenerse de la solución general al darle valores a las constantes
arbitrarias.
El objetivo de esta práctica es aprender a utilizar Maxima para comprobar si una

función dada en forma explícita o implícita es solución de una ecuación diferencial
particular o de un problema de valor inicial de primer orden. Así como graficar familia
de soluciones y la solución particular
1.1 Soluciones explicitas

2
Ejemplo 1. Comprobar que y( x)  es solución explícita de la ED xy ' y  y 2  0 .
2 x
Solución
Empezamos por declarar la función y sustituirla en la ED. La función ratsimp
simplifica la expresión. En este caso un resultado igual a cero significa que
efectivamente la función es solución de la ED, esto se debe a que la ED está igualada a
cero. En la primera línea se escribió $ al final, para que no muestre la salida. La sintaxis
es la siguiente:
a) Declarar la función
(%i1) y(x):=2/(2+x)$
b) Sustituir y simplificar
(%i2) ratsimp(x*diff(y(x),x)+y(x)-y(x)^2);
(%o2) 0
Dado que la ED es igual a cero, xy ' y  y 2  0 , por lo tanto el resultado comprueba que
la función es solución.
Otra opción
a) declarar la función, en este caso utilizamos ; para que se muestre la salida
347
con Maxima
(%i4) y(x):=2/(2+x);
(%o4) y(x):=2/(2+x)
b) sustituir la función en la ED
(%i7) diff(y(x),x)=(-y(x)+y(x)^2)/x;
(%o7) \-2/(x+2)^2=(4/(x+2)^2\-2/(x+2))/x
c) Simplificamos con la función ratsimp, el símbolo % representa la expresión de
salida más reciente independientemente de que se haya mostrado o no
(%i8) ratsimp(%);
(%o8)
Se observa que la función reduce a la ED a una identidad, por lo tanto es solución. Una
forma más rápida es usando is:
(%i9) is(ratsimp(diff(y(x),x)=(-y(x)+y(x)^2)/x));
(%o9) true
El símbolo true representa el valor lógico “verdadero”
a c e at
Ejemplo 2. Comprobar que la función y (t )  , donde a, b, c son constantes, es
1  b c e at
solución de la ecuación y '  y (a  b y)

Solución
La sintaxis es muy similar a la del ejemplo 1, en este caso aparece %e que representa la
función exponencial
y(t):=(a*c*%e^(a*t))/(1+b*c*%e^(a*t))$
diff(y(t),t)=y(t)*(a-b*y(t))$
ratsimp(%);
is(ratsimp(diff(y(t),t)=y(t)*(a-b*y(t))));
Ejemplo 3. Comprobar que la familia mono-paramétrica de funciones y  1  c e  x , es

solución de la ecuación diferencial y ' y  1 .
348
con Maxima
Solución
y(t):=(a*c*%e^(a*t))/(1+b*c*%e^(a*t))$
y(t):=(a*c*%e^(a*t))/(1+b*c*%e^(a*t))$
Para graficar algunas soluciones particulares, podemos hacer un listado con algunos
valores de c y emplear la función plot2d.
sol01:makelist(1+c*\%e^(-x),c,-2,2);
plot2d(sol01,[x,0,5]);
Figura 1. Familia de solucione de y ' y  1 para c  2, 1, 0,1, 2

b) Soluciones implícitas
Si la función solución está en forma implícita, debemos usar la función depends para
declarar la dependencia de las variables
Ejemplo 4. Comprobar que la ecuación x 2  y 2  25 , donde y es función implícita de x ,
es solución de la ED yy ' x  0
Solución
(%i0) kill(all);
(%o0) done
(%i1) depends(y,x)$
349
con Maxima
diff(x^2+y^2=25,x)$
(%i2) solve(%,diff(y,x));
(%o2) ['diff(y,x,1)=\-x/y]
(%i3) ec_1:y*'diff(y,x)+x=0$
(%i4) solve(ec_1,'diff(y,x));
(%o3)
e xy  y
Ejemplo 5. Comprobar que e  y  x  1 es solución implícita de la ED y '   xy
xy
e x
Solución
(%i9) kill(x,y)$
(%i10) depends(y,x)$
(%i17) ec_02:%e^(x*y)+y=x-1;
(ec_02) %e^(x*y)+y=x\-1
(%i18) diff(ec_02,x);
(%o18) %e^(x*y)*(x*('diff(y,x,1))+y)+'diff(y,x,1)=1
(%i19) solve(%,diff(y,x));
(%o19) ['diff(y,x,1)=\-(y*%e^(x*y)\-1)/(x*%e^(x*y)+1)]
(%i24) ec_03:-(y*%e^(x*y)-1)/(x*%e^(x*y)+1)=(%e^(-x*y)-y)/(%e^(-x*y)+x);
(ec_03) (1\-y*%e^(x*y))/(x*%e^(x*y)+1)=(%e^(\-x*y)\-y)/(%e^(\-x*y)+x)
(%i25) ratsimp(%);
La igualdad de la última ecuación, verifica que la función implícita es solución de la

ED.
1.3 Problemas de valor inicial (PVI) o problemas de Cauchy
Un problema de valor inicial de primer orden consta de una ecuación diferencial

ordinaria de primer orden, sujeta a la condición y ( x0 )  y0 . El teorema de existencia y
unicidad nos da las condiciones suficientes para la unicidad de un PVI.
350
con Maxima
Ejemplo 6
x3
Comprobar que la función y ( x)  es solución del siguiente problema de valor inicial
8
3 2/3
y'  y , y (0)  0
2
Solución
(%i5) kill(all)$
(%i1) y(x):=(x^3)/8$
(%i3) is(diff(y(x),x)=3/2*y(x)^(2/3));
(%o3) true
También se verifica la condición inicial
(%i4) is(y(0)=0);
(%o4) true
En este PVI no se cumple el teorema de existencia y unicidad, pues la derivada parcial

f 1
 1
y y 3
Esta indeterminada en y ( x)  0 , que es la condición inicial. Por lo tanto este PVI tiene
x3
por lo menos dos soluciones: y ( x)  y y ( x)  0 .
8
Ejemplo 7
 x  2
3
Comprobar que la función y ( x)  es la solución única del PVI

8
3 2/3
y' y , y (0)  1
2
Solución
En este PVI satisface las condiciones del teorema de existencia y unicidad, pues la
derivada parcial
f 1
 1
y y 3
No se indetermina para y ( x)  0 , por lo tanto la solución es única.
351
con Maxima
(%i4) kill(all);
(%o0) done
(%i5) y(x):=(x+2)^3/8$
(%i6) is(diff(y(x),x)=3/2*y(x)^(2/3));
(%o6) true
Además se puede verificar la condición inicial
(%i7) is(y(0)=1);
(%o7) true
Ejercicios
1. Verificar si la función 4 y  1  x 2  c es una solución de la ED x y  1 dx  dy  0

 
2. Verificar que la función y  c x 2  y 2 es una solución de la ecuación diferencial

2 xy  y 2  x 2 dy  0 
3
3. Verificar si la función y  x3 sin x  c x3 es solución de y ' y  x 3 cos x
x
4. Verificar que la función y ( x)  e es una solución particular del PVI y ' 2 y  0, y (0)  1
2x
Reporte
Entregar un informe en PDF que incluya: portada, introducción, metodología,

resultados, conclusiones y bibliografía. Entregar los códigos de los ejercicios resueltos
en un archivo con extensión .wxmx
352
con Maxima
Práctica No. 2 Campos de Direcciones

forma autónoma, potenciar las habilidades para el uso de nuevas tecnologías. Interpretar
la solución de una EDO de primer orden por medio del campo de pendientes.

Introducción
Los valores de la derivada y ' evaluados en los puntos ( x, y ) , determinan la dirección de

rectas tangentes en esos puntos. Al conjunto de segmentos de estas rectas tangentes se le
denomina campo direccional y la curva que atraviesa segmentos de pendientes iguales
se denominan isóclinas. Un método para construir el campo de direcciones de una
ecuación diferencial consiste en:
1. Dibujar una cuadricula en la región del plano xy , donde nos interesa conocer el
campo de direcciones (campo de pendientes)
2. Evaluar y ' en cada uno de los puntos de la cuadricula. El valor de y ' representa la
pendiente de la recta tangente a la función y que pasa por ese punto.
3. Construir segmentos de recta con las pendientes dadas en cada uno de los puntos.
Con los programas CAS podemos obtener, con facilidad, los campos de pendientes, así
como visualizar las isóclinas. Además podemos graficar familias de curvas solución y
la solución particular de un problema de valor inicial.
El objetivo de esta práctica es aprender a utilizar Maxima para graficar campos de

direcciones, isóclinas, familias de curvas solución y solución particular para ecuaciones
diferenciales de primer orden. Así como visualizar puntos de equilibrio para ecuaciones
diferenciales autónomas.
353
con Maxima
Maxima posee un paquete plotdf, que crea un gráfico del campo de direcciones para
una ecuación diferencial y un sistema de ecuaciones autónomas de primer orden. La
ecuación debe escribirse en forma normal y usar las variables x e y .
Ejemplo 1. Graficar el campo de direcciones de y '  tan( x)

Solución
(%i1) load("plotdf")$
(%i5) plotdf(tan(x))$
Aparece el siguiente gráfico
Figura 1. Campo de direcciones de la ED y '  tan( x)
Para ver una curva solución o curva integral que pasa por un punto, basta con hacer clic
en ese punto y aparecerá. Hacerlo varias veces nos permite observar una familia de
curvas solución. También se visualizan las isóclinas, están formadas por los vectores
con la misma pendiente. Dado que y '  tan( x) , si seleccionamos x  1 la pendiente es
354
con Maxima
de m  tan 1 (1)  450 , mientras que en x  1 , la pendiente es de m  tan 1 (1)  450 ,

ambas (curvas solución e isóclinas) se aprecian en la figura 2.
Figura 2. Campo de direcciones para y '  tan( x) con dos curvas solución una pasa por
(5, 5) y la otra por (5, 0) aproximadamente.
En el menú de la ventana del gráfico, el botón herramientas se usa para hacer cambios y
ajustes con las opciones gráficas que posee el paquete. Una vez hechos los cambios
pulsar el botón “rehacer” para activarlos. Entre las opciones de gráficos tenemos las
siguientes, no es una descripción completa se deja al lector investigar el resto en el
manual de Maxima.
xfun establece una cadena de funciones que dependen de x , separadas por puntos y
comas, que pueden ser representadas encima del campo de direcciones.
xradius es la mitad de la longitud del rango de los valores a representar en la dirección

de x . Mientras que yradius es la mitad en la dirección de y .
355
con Maxima
xcenter es la coordenada x del punto situado en el centro del gráfico, y ycenter es para
la coordenada y .
Ejemplo 2. Determinar una solución aproximada que cumpla y (0)  1 para la ED

y '  x2  y 2
Solución
(%i2) plotdf(x^2+y^2)$
El resultado se muestra en la figura 3, la curva en color rojo es aproximadamente la

curva solución o curva integral que satisface a y '  x 2  y 2 y que pasa por el punto (0,1) .
Figura 3. Campo de direcciones y curva solución aproximada del PVI

y '  x2  y 2 , y (0)  1
Una ecuación diferencial se dice que es autónoma si no aparece en ella explícitamente la

variable independiente. Por ejemplo, y '  2 y  sin( y ) , y '  ( y  1)( y  3) , y '  sin( y ) ,
son ED autónomas. Mientras que y '  2 y  x no lo es. En general podemos escribir las
ED autónomas como: y '  f ( y ) .
Los puntos de una ED autónoma son las soluciones de la ecuación algebraica f ( y )  0 .

Estas soluciones son evidentemente soluciones de la ecuación diferencial. Son llamadas
soluciones de equilibrio o funciones constantes, que tienen las siguientes propiedades
356
con Maxima
a) la gráfica de una solución no constante no corta a ninguna solución de equilibrio.

b) una solución no constante es estrictamente creciente o decreciente
c) si la gráfica de una solución no constante está acotada superior o inferiormente (o
ambas) por una solución de equilibrio, necesariamente debe tender a ella cuando la
variable independiente tiende al infinito.
Ejemplo 3. Para la ED autónoma y '  ( y  1) ( y  3) graficar las soluciones de

equilibrio
Solución
(%i1) load("plotdf");
(%i2) plotdf(-(y-1)*(y-3),[trajectory_at,0,1],[ycenter,1],[xradius,4],[yradius,5])$
Figura 4. Soluciones de equilibrio y algunas curvas solución en el campo de

direcciones para la ED autónoma y '  ( y  1) ( y  3)
Al resolver f ( x)  ( y  1) ( y  3)  0 se obtiene y  1 y y  3 , que son las soluciones

de equilibrio.
Veamos un ejemplo donde empleamos la opción sliders para establecer una lista de
parámetros que se cambiaran interactivamente utilizando barras de deslizamiento, así
como los rangos de variación de dichos parámetros. Los nombres de los parámetros y
357
con Maxima
sus rangos deben escribirse en formato de cadena de caracteres como una secuencia de
pares nombre=min:max separados por comas. También emplearemos la opción
parameters la cual establece una lista de parámetros, junto con sus valores numéricos,
que son utilizados en la definición de la ecuación diferencial. Los nombres de los
parámetros y sus valores deben escribirse en formato de cadena de caracteres como una
secuencia de pares nombre=valor separados por comas.
Ejemplo 4. Sea la ED autónoma y '  k ( y  a ) ( y  b) . El parámetro k se mantiene

constante e igual a menos uno, y para a y b se construyen dos barras deslizantes.
Solución
(%i1) load("plotdf");
(%i2) (%i24) plotdf(k*(y-a)*(y-b),[parameters,"k=1"], [sliders,"a=-1:1,b=-2:3"]);
Figura 5. Captura de pantalla del ejemplo 4
Se solicita al lector ejecutar el programa y mover las barras deslizantes para observar los
cambios en el campo de direcciones de la ecuación diferencial para diferentes valor de
a y b.
358
con Maxima
Ejercicios
1. Representar el campo de direcciones de la ecuación y '   y junto con las isóclinas

 y  c para c  3, 2, 1, 0, 1, 2, 3 y algunas curvas solución en el intervalo  3,3
2. Representar el campo de direcciones de la ecuación y '   sin( x) y  cos( x) y con empleo
del criterio de la segunda derivada representar algunas curvas de inflexión.
3. Graficar el campo direccional, las isóclinas y la familia de curvas solución de las siguientes
ecuaciones diferenciales
a) y '  ye x
y4
b) y '  3 y 
2
Reporte

359
con Maxima
Práctica No. 3 Ecuaciones Diferenciales de Primer Orden:

Separables, Exactas y Homogéneas

forma autónoma, potenciar las habilidades para el uso de nuevas tecnologías. Identifica
las ecuaciones diferenciales ordinarias de primer orden; separables, exactas y
homogéneas. Para establecer soluciones generales, particulares y singulares.

1.2.1 Variables separables y reducibles.
1.2.2 Homogéneas.
1.2.3 Exactas
Introducción
Una ecuación diferencial de la forma y '  f ( x) g ( y ) se conoce como una ED separable
y se resuelve por integración directa. Las ecuaciones diferenciales de la forma
y '  f (ax  by  c) se reducen a una ED separable al utilizar el cambio de variable
u  ax  by  c de tal modo que u '  a  bf (u ) . Una ED de la forma
M ( x, y )dx  N ( x, y )dy  0 se denomina ED homogénea de grado n si las funciones
M ( x, y ) y N ( x, y ) son ambas homogéneas del mismo grado. Se dice que la ecuación
diferencial M ( x, y )dx  N ( x, y )dy  0 es exacta si la expresión M ( x, y )dx  N ( x, y ) dy
es la diferencial total de alguna función de dos variable z  f ( x, y ) .
El Objetivo de esta práctica es aprender a utilizar Maxima para resolver ED separables,

homogéneas y exactas, y comprobar si una ED de la forma M ( x, y )dx  N ( x, y )dy  0
es homogénea o exacta.
El comando básico para resolver ecuaciones diferenciales de primer y segundo orden en

Maxima es ode2, cuya sintaxis es ode2 (eqn, vard, vari) siendo eqn la ecuación
360
con Maxima
diferencial, vard la variable dependiente y vari la independiente. Su uso es muy

sencillo como se verá en los siguientes ejemplos.
a) Ecuaciones Separables
Ejemplo 1. Resolver la siguiente EDO xy (1  y 2 )dx  (1  x 2 )dy  0
Solución
Para determinar la solución de una ED de primer orden escrita en forma diferencial,

primero tenemos que decidir cuál de los dos símbolos representa la variable
independiente ( x o y ). Si suponemos que x representa la variable independiente,
dy
entonces la ED a resolver es xy (1  y 2 )  (1  x 2 ) 0
dx
Una forma práctica de resolver ED con Maxima consiste en definir primero la ecuación
y después emplear ode2.
(%i17) kill(all);
(%o0) done
(%i1) ec_1:x*y*(1+y^2)-(1+x^2)*'diff(y,x)=0;
(ec_1) x*y*(y^2+1)\-(x^2+1)*('diff(y,x,1))=0
(%i2) ode2(ec_1,y,x);
(%o2)
Este resultado es la solución general de la ED dada. En máxima log( x) representa el

logaritmo natural ln( x ) .
Observación: al definir la ecuación se ha utilizado el comando ‘diff, con el apóstrofe

adelante. Esto sirve para indicarle a Maxima que no evalúe la derivada, de manera que
se tenga una ecuación. Si no lo pusiéramos, Maxima trataría de derivar y con respecto
a x , al no haber definido previamente y en función de x (por ejemplo usando el
comando depends), la derivada daría cero.
361
con Maxima
Para resolver un problema de valor inicial de primer orden con Maxima, podemos
indicar la condición inicial mediante el comando ic1, con la sintaxis ic1(
eqn, x  x0 , y  y0 ), siendo eqn la ecuación proporcionada por ode2 y  x0 , y0  las
coordenadas de un punto que pertenece a la curva solución. Por ejemplo, supongamos

que en la ED del ejemplo 1 queremos hallar la solución particular con la siguiente
condición y ( x  1)  1
(%i4) ic1(%o2,x=-1,y=1);
(%o4)
Para simplificar utilizamos la función logcontract, que simplifica log(a)  log(b) para
dar log( ab)
(%i5) logcontract(%o4);
(%o5)
Por último le pedimos a Maxima que nos resuelva para y
(%i6) solve(%o5,y);
(%o6)
El símbolo %i representa la unidad imaginaria 1 . El lector puede verificar que este

resultado es equivalente a:
x2  1 x2  1
y1 ( x)   , y2 ( x ) 
3  x2 3  x2
Una característica de Maxima es que almacena en una variable llamada method el

método que ha empleado para resolver la última ED. En este ejemplo, tenemos
(%i9) method;
362
con Maxima
(%o9) separable
Lo que indica que ha utilizado el método de separación de variables (el lector puede
comprobar que la ED dada es de variables separable).
Ejemplo 2. Resolver el siguiente PVI
dy 
e x sec( y )  (1  e x ) sec( y ) tan( y )  0, y ( x  3) 
dx 3
Solución
(%i1) kill(all);
(%o0) done
(%i2) ec_2:exp(x)*sec(y)+((1+exp(x))*sec(y)*tan(y))*'diff(y,x)=0;
(ec_2) (%e^x+1)*sec(y)*tan(y)*('diff(y,x,1))+%e^x*sec(y)=0
(%i3) ode2(ec_2,y,x);
(%o3) (Solución general)
(%i4) ic1(%o3,x=3,y=%pi/3);
(%o4) (Solución particular)
(%i5) logcontract(%);
(%o5)
(%i6) solve(sec(y)=(2*%e^3+2)/(exp(x)+1),y);
solve: using arc-trig functions to get a solution.
Some solutions will be lost.
(%o6)
(%i7) method;
363
con Maxima
(%o7) separable
Maxima se puede utilizar para resolver ED paso a paso, como los ejemplos vistos en el
salón de clase. Veamos un ejemplo
dy
Ejemplo 3. Resolver la ecuación diferencial x  y  1 paso a paso y comparar el
dx
resultado con el obtenido empleando ode2.
Solución
1 1
Al separar las variables tenemos: dy  dx , ahora integramos cada lado de la
1 y x
ecuación, uno con respecto a y , la otra con respecto a x .
(%i1) kill(all);
(%o0) done
(%i10) integrate(1/(1-y),y);
(%o10) -log(1-y)
(%i11) integrate(1/x,x);
(%o11) log(x)
Se observa que Maxima no incluye la constante de integración. Al utilizar solve se debe

añadir manualmente a uno de los miembros. Maxima despejara y si es posible.
(%i9) solve(integrate(1/(1-y),y)=integrate(1/x,x)+c,y);
(%o9)
Con empelo de ode2, tenemos
(%i7) ode2(x*'diff(y,x)+y=1,y,x);
(%o7)
364
con Maxima
Fácilmente se verifica que ambos resultados son equivalentes.
Ejemplo 4. Resolver la ecuación diferencial y '  3x  5 y
Solución
La ED tiene la forma general y '  f (ax  by  c) , la cual con un cambio de variable se
reduce a una ED separable. El código es muy similar a los anteriores
(%i1) kill(all);
(%i2) ode2('diff(y,x)-3*x-5*y=0,y,x);
(%o1)
3 3
La solución la podemos escribir: y ( x)  c e5 x  x 
5 25
Completemos el ejemplo graficando algunas curvas solución, seleccionamos
arbitrariamente los siguientes valores c  1, 2, 0, 1, 2
(%i3) sol:makelist(c*exp(5*x)-3*x/5-3/25,c,-2,2);
(sol) [\-2*%e^(5*x)\-(3*x)/5\-3/25,\-%e^(5*x)\-(3*x)/5\-3/25,\-(3*x)/5\-
3/25,%e^(5*x)\-(3*x)/5\-3/25,2*
%e^(5*x)\-(3*x)/5\-3/25]
(%i4) plot2d(sol,[x,-0.4,0.2]);
Figura 1. Familia de curvas solución para y '  3x  5 y
365
con Maxima
Ahora graficamos el campo de pendientes e incluimos las curvas solución de la figura 1
(%i2) plotdf(3*x+5*y);
Figura 2. Campo de pendientes de y '  3x  5 y y algunas soluciones particulares
b) Ecuaciones diferenciales exactas y homogéneas
Las ecuaciones diferenciales exactas y homogéneas se resuelven de manera similar a las

de variables separables. Veamos un par de ejemplos.
 
Ejemplo 5. Resolver 2 x y dx  x 2  y 2 dy  0
Solución
La ecuación está escrita en forma diferencial, supongamos que x representa la variable

independiente, entonces la ED a resolver es: 2 x y  x 2  y 2
dy
dx

0
(%i1) ec1:2*x*y-(x^2-y^2)*'diff(y,x)=0;
(ec1)
(%i2) ode2(ec1,y,x);
(%o2)
(%i4) solve(%o2,y);
(%o4)
366
con Maxima
(%i5) method;
(%o5) exact
Observamos que Maxima resolvió la ED por el método para ED exactas.
M N
Comprobemos que se cumple la condición de exactitud; es decir, 
y x
(%i12) diff(2*x*y,y)-diff(x^2-y^2,x);
(%o12) 0
Esto verifica que la ED es exacta.

Ejemplo 6. Resolver y 2  6 xy  20 x 2  dy
dx
 4y 2
 2 xy  3 x 2  0
Solución
(%i8) ec2:3*x^2+2*x*y+4*y^2+(20*x^2+6*y*x+y^2)*'diff(y,x)=0;
(ec2)
(%o9)
(%i10) method;
(%o10) homogeneous
(%i11) solve(ode2(ec2,y,x),y);
(%o11)
Ejercicios
dy
1. Resolver paso a paso la ED x 2  y  1 ¿Se obtiene la misma solución por pasos que
dx
con ode2?
dy
2. Resolver  y e x  y  y e  x  y , y (0)  0 , graficar el campo de pendientes y la curva
dx
solución en un mismo gráfico.
  
3. Es homogénea o exacta la ED x  2 xy   x y  3xy
2 3 3
 dy
dx
Reporte
367
con Maxima

Práctica No 4. Ecuaciones Diferenciales de Primer Orden:

Lineales y Bernoulli

forma autónoma, potenciar las habilidades para el uso de nuevas tecnologías. Identifica
las ecuaciones diferenciales ordinarias de primer orden lineales y de Bernoulli. Para
establecer soluciones generales y particulares.

1.1.3 Problemas de valor inicial
1.2.4 Lineales
1.2.5 De Bernoulli
Introducción
dy
Una ED lineal de primer orden es una expresión de la forma a1 ( x)  a0 ( x) y  g ( x) en
dx
donde las funciones a1 ( x), a0 ( x) y g ( x) dependen solo de la variable independiente x , y
y es una función derivable. Una forma más útil se obtiene al dividir por la función
dy
a1 ( x) , para obtener  p( x) y  q( x) llamada forma estándar o canónica. Resolver una
dx
ED lineal de primer orden significa determinar una función y que satisfaga a la
ecuación donde las funciones p ( x ) y q ( x) son ambas continuas. La ED de la forma
dy
 p ( x) y  f ( x) y n se conoce como ecuación diferencial de Bernoulli.
dx
El Objetivo de esta práctica es utilizar Maxima para resolver ED lineales de primer

orden y la ED de Bernoulli.
dy
Ejemplo 1. Resolver el PVI  2 xy  x sujeto a la condición y (0)  1
dx
Solución
368
con Maxima
(%i13) ec1:'diff(y,x)+2*x*y=x;
(ec1) 'diff(y,x,1)+2*x*y=x
(%i14) ode2(ec1,y,x);
(%o14) y=%e^(\-x^2)*(%e^x^2/2+%c)
(%i15) method;
(%o15) linear
(%i17) ic1(%o14,x=0,y=1);
(%o17) y=(%e^(\-x^2)*(%e^x^2+1))/2
(%i19) plot2d((exp(-x^2)+1)/2,[x,-2,2]);
dy
Figura 1. Curva solución de  2 xy  x, y (0)  1
dx
dy 2x
Ejemplo 2. Resolver el PVI  2 y  x 2  4, y (0)  1
dx x  4
Solución
(%i1) ec1:'diff(y,x)+2*x/(x^2+4)*y=x^2-4;
(ec1)
(%o2)
(%i3) method;
(%o3) linear
369
con Maxima
(%i6) ic1(%o2,x=0,y=1);
(%o6)
(%i9) plot2d((x^5-80*x+20)/(5*x^2+20),[x,-3,3]);
dy 2x
Figura 2. Curva solución de  2 y  x 2  4, y (0)  1
dx x  4
dy 3
Ejemplo 3 Resolver la ED de Bernoulli  y  y5
dx x
Solución
(%i1) ec1:'diff(y,x)-3*y/x=y^5;
(ec1)
(%o2)
(%i3) method;
(%o3) bernoulli
Si suponemos la condición inicial y (1)  2 , entonces la solución particular es:
(%i8) ic1(%o2,x=1,y=2);
370
con Maxima
(%o8)
dy 3
Figura 3. Curva solución de la ED de Bernoulli  y  y 5 sujeta a y (1)  2
dx x
Ejercicios
Resolver las siguientes ED
a) y ' y cot( x)   y 2 sin( x)
1 x
b) y ' y 2
x  x  1 x 4
c) tan( x ) y ' y  tan( x )  sin(x ) cos(x )
Reporte
371
con Maxima

Práctica No. 5 Ecuaciones Diferenciales Lineales de Orden

Superior
forma autónoma, potenciar las habilidades para el uso de nuevas tecnologías. Resuelve
ecuaciones diferenciales lineales con coeficientes constantes de orden superior y modela
la relación existente entre una función desconocida y una variable independiente para
analizar sistemas dinámicos que se presentan en la ingeniería
2.1 Teoría preliminar.

2.1.1 Definición de ecuación diferencial de orden n.
2.1.6 Solución general de las ecuaciones diferenciales lineales homogéneas.
2.2 Solución de ecuaciones diferenciales lineales homogéneas de coeficientes constantes.
2.3 Solución de las ecuaciones diferenciales lineales no homogéneas.
2.4 La ecuación diferencial de Cauchy-Euler.
2.5 Aplicaciones.
Introducción
El estudio de las ecuaciones diferenciales de orden superior es todo un reto. Existe un

número tan grande de ED, que desarrollar métodos para encontrar la solución de
cualquier ecuación diferencial en términos de funciones elementales es prácticamente
imposible.
En esta práctica se analiza un tipo muy importante de ED por el gran número de

aplicaciones prácticas que poseen. Las ecuaciones diferenciales lineales son de vital
importancia en Física, teniendo especial relevancia en mecánica y en la teoría de
circuitos eléctricos. Estudiaremos las ecuaciones diferenciales lineales de orden superior
a uno e interpretaremos gráficamente su solución.
Definición de ED lineal de orden n
Una ecuación diferencial se dice lineal de orden n si es de la forma

372
 n
x) y  Guadalupe

n 1
an Tepic
TecNM campus ( x) y  an 1 ( Sergio  ...  a2 ( xTreviño
) y ''  a1Tamez
( x) y ' a0 ( x) y  g ( x)
Si g ( x )  0 la ecuación es homogénea. Si g ( x )  0 es no homogénea.

con Maxima
Problema de valor inicial

Para una ecuación diferencial lineal de orden n, se conoce como un problema de
valor inicial el resolver la ecuación diferencial
an ( x) y    an 1 ( x) y 
n 1
 ...  a2 ( x) y ''  a1 ( x) y ' a0 ( x) y  g ( x)
n
Sujeta a n condiciones iniciales
y( x0 )  y0 , y '( x0 )  y1 , y ''( x0 )  y2 ,..., y 

n 1
 x0   yn1
Similar al hecho de que cualquier vector en tres dimensiones se puede expresar como
una combinación lineal de los vectores linealmente independientes i, j,k , cualquier
solución de una ecuación diferencial lineal homogénea de n-ésimo orden en un intervalo
I se expresa como combinación lineal de n soluciones linealmente independientes en I.
En otras palabras, n soluciones linealmente independientes  y1 , y2 , , yn  son los
elementos para la solución general de la ED.
Solución general de una ED lineal homogénea
Sean  y1 , y2 , , yn  un conjunto fundamental de soluciones de la ecuación diferencial

lineal homogénea de n-ésimo orden en el intervalo I. entonces la solución general de
la ecuación diferencial en el intervalo es
y( x)  c1 y1 ( x)  c2 y2 ( x)    cn yn ( x)
Donde ci  1, 2, , n son constantes arbitrarias.
Cualquier función, libre de constantes arbitrarias, que satisface una ecuación diferencial
lineal no homogénea se denomina solución particular o integral particular de la
ecuación. Se emplea el símbolo y p para representar a esta función. Si y1 , y2 , , yk son
solución en un intervalo I de la ecuación diferencial lineal homogénea asociada
(denominada yc ), entonces la combinación lineal
373
con Maxima
y( x)  c1 y1 ( x)  c2 y2 ( x)    ck yk ( x)  y p
Es también una solución de la ecuación no homogénea.
Solución general de una ED lineal no homogénea
Sea y p cualquier solución particular de la ecuación diferencial lineal no homogénea de n-

ésimo ordenen un intervalo I, y sea y1 , y2 , , yn un conjunto fundamental de soluciones de la
ecuación diferencial homogénea asociada en I. entonces la solución general de la ecuación
en el intervalo es
y( x)  c1 y1 ( x)  c2 y2 ( x)    cn yn ( x)  y p
Donde ci , i  1, 2, , n son constantes arbitrarias.
El Objetivo de la práctica es utilizar Maxima para resolver ecuaciones diferenciales

lineales con coeficientes constantes y problemas de valor inicial.
Las ecuaciones de segundo orden se integran igual que las de primero, mediante ode2,
la única diferencia es que ahora aparecerán dos constantes de integración, que Maxima
denotará % k 1, % k 2.
d 2 x dx
Ejemplo 1. Resolver la ecuación diferencial homogénea   2x  0
dt 2 dt
Solución
(%i1) ec1:'diff(x,t,2)+'diff(x,t)-2*x=0;
(ec1)
(%i2) ode2(ec1,x,t);
(%o2) (Solución general de la EDL homogénea)
(%i3) method;
(%o3) constcoeff (Método de coeficientes constantes)
374
con Maxima
Al existir dos constantes de integración, para obtener una solución particular hay que
especificar un punto por el que pase la solución x(t0 )  x0 y el valor de la derivada de la
función en ese punto x '(t0 )  x1 . Esto se hace a través del comando ic2. Si Suponemos
que en el ejemplo 1, las condiciones iniciales son: x(t  0)  3 y x '(t  0)  2 , para

encontrar la solución particular escribimos
(%i18) ic2(%o2,t=0,x=3,'diff(x,t)=2);
(%o18) (Solución particular)
Podemos graficar la curva solución
(%i19) plot2d((8*exp(t))/3+exp(-2*t)/3,[t,-3,4]);
d 2 x dx
Figura 1. Curva solución del PVI 2   2 x  0 , x(t  0)  3 y x '(t  0)  2
dt dt
Maxima también utiliza el método de variación de parámetros, retomemos el ejemplo

d 2 x dx
uno con la siguiente variante   2 x  sin(t ) , ahora es una EDL no homogénea.
dt 2 dt
375
con Maxima
d 2 x dx
Ejemplo 2. Resolver la ED   2 x  sin(t ) , sujeta a las siguientes condiciones
dt 2 dt
iniciales x(t  0)  0 y x '(t  0)  1
Solución
(%i7) ec1:'diff(x,t,2)+'diff(x,t)-2*x=sin(t);
(ec1)
(%o8)
(%i9) method;
(%o9) variationofparameters
(%i13) ic2(%o8,t=0,x=0,'diff(x,t)=1);
(%o13)
(%i14) plot2d(-(3*sin(t)+cos(t))/10+(exp(t))/2+(2*exp(-2*t))/5,[t,-3,4])
376
con Maxima
d 2 x dx
Figura 2. Curva solución del PVI 2   2 x  sin(t ) , x(t  0)  0 y x '(t  0)  1
dt dt
Maxima también resuelve problemas de valores en la frontera o condiciones de

contorno para ecuaciones diferenciales lineales de segundo orden con coeficientes
constantes. Se puede hacer mediante el comando bc2. Retomamos el ejemplo 2, ahora
las condiciones iniciales son x(t  0)  1 y x(t  1)  0 ; es decir la curva solución debe
pasar por los puntos (0, 1) y (3,4).
d 2 x dx
Ejemplo 3. Resolver el problema de valores frontera   2 x  sin(t ) sujeto a las
dt 2 dt
siguientes condiciones x(t  0)  1 y x(t  1)  0
Solución
(%i7) bc2(%o8,t=0,x=1,t=1,x=0);
(%o7)
Nota: se utilizó bc2(%o8, ) porque es continuación del ejemplo 2.
377
con Maxima
Figura 3. Gráfica de la curva solución para el problema de valores en la frontera

d 2 x dx
  2 x  sin(t ) , x(t  0)  1 y x(t  1)  0
dt 2 dt
En general, ode2 resuelve sin problemas ecuaciones diferenciales lineales de segundo

orden de coeficientes constantes. Sin embargo, no es capaz de resolver ecuaciones
lineales de coeficientes variables; en este caso nos devuelve false como respuesta,
indicando que no puede resolver la ecuación. Para el caso de coeficientes variables,
Maxima incorpora el paquete contrib_ode que incluye el comando odelin capaz de
resolver EDL homogéneas con coeficientes variables (el caso de EDL no homogéneas
no está implementado). Veamos un ejemplo
Ejemplo 4. Resolver la EDL homogénea de coeficientes variables:
d 2x dx
(1  t ) 2
 t  tx  0
dt dt
Solución
(%i4) ec1:('diff(x,t,2)+t*'diff(x,t)-t*x=0);
(ec1) 'diff(x,t,2)+t*('diff(x,t,1))\-t*x=0
(%o5) false (como se esperaba, ya que no la puede resolver)
Cargamos el paquete contrib_ode
(%i6) load(contrib_ode);
(%o6)
"C:/maxima-
5.43.2/share/maxima/5.43.2/share/contrib/diffequations/contrib_ode.mac"
(Esto significa que el paquete fue cargado)
(%i7) odelin(ec1,x,t);
(%o7)
378
con Maxima
t2
 t
Maxima reporta dos soluciones para este problema, la que nos interesa es x(t )  e 2
que es fácil comprobar que es solución de la ED dada. La otra es una solución compleja,
en este curso sólo trabajamos con funciones de variable real.
Ejercicios: Resolver los siguientes problemas
a) y '' 2 y ' 8 y  64 x 2 , y(0)  1, y '(0)  1

b) y '' 10 y ' 25 y  e5 x ln(5 x)
c) y '' (1  t ) y ' t y  0
Reporte
Práctica No. 6 Transformada de Laplace

forma autónoma, potenciar las habilidades para el uso de nuevas tecnologías. Aplica la
transformada de Laplace como una herramienta para resolver ecuaciones diferenciales e
integrales que se presentan en su campo profesional.
3.2 Transformada directa.

3.3 Transformada inversa.
3.8 Teorema de convolución.
3.9 Transformada de una integral.
3.10 Transformada de una función periódica.
3.11 Transformada de la función delta de Dirac.
3.12 Aplicaciones
Introducción
Definición de transformada de Laplace L  f (t )
Sea f una función definida para t  0 . Entonces se dice que la integral



L  f (t )  e st f (t )dt
0
Es la transformada de Laplace de f , siempre que la integral converja.

379
con Maxima
Condiciones suficientes de existencia para la transformada de una función.
Las condiciones suficientes que garantizan la existencia de L  f (t ) son que f sea

continua por tramos en  0,  y que sea de orden exponencial c para t  T .
Una función es continua por tramos en 0,  si, en cualquier intervalo 0  a  t  b ,

hay un número finito de puntos tk , k  1, 2,..., n en los que f tiene discontinuidades
finitas y es continua en cada intervalo abierto  tk 1 , tk  , es decir que f (t ) tenga un límite
lateral finito, cuando t tiende a cada extremo, viniendo del interior del intervalo.
Se dice que una función es de orden exponencial c cuando t  , si existen
constantes c , M  0 y T  0 tales que
f (t )  Mect para toda t T
Si f es una función creciente, entonces la condición simplemente establece que la

grafica de f en el intervalo T ,   no crece más rápido que la gráfica de la función
exponencial Mect donde c es una constante positiva.
El Objetivos de esta práctica es utilizar Maxima para calcular la transformada de

Laplace (directa e inversa) de varias funciones y usar desolve para resolver ecuaciones
diferenciales y ecuaciones integrales.
1. Transformada de Laplace
Maxima tiene implementada la función laplace (expr, t, s) para obtener la transformada

de Laplace de la mayoría de las funciones que empleamos para resolver ecuaciones
diferenciales. Si Laplace no encuentra una transformada, entonces llama a la función
specint, la cual puede encontrar la transformada de Laplace de expresiones con
funciones especiales, tales como: funciones de error, integrales exponenciales,
funciones Bessel, funciones de Hankel, de Hermite, entre otras. specint también puede
manipular la función unit_step (función escalón unitario). Cuando tampoco specint sea
capaz de encontrar una solución, se devolverá una forma nominal. La sintaxis es
specint(exp(-s  t)  expr,t) y calcula la transformada de Laplace de expr respecto de la
variable t .
380
con Maxima
La función laplace reconoce las funciones elementales, así como derivadas y primitivas
de estás, también reconoce integrales de convolución. Las relaciones implícitas
establecidas por depends no son reconocidas. Si f depende de x y y , f ( x, y ) debe
aparecer en expr.
Los siguientes ejemplos muestran lo fácil que es obtener la transformada de Laplace con
Maxima.

Ejemplo 1. Calcular L e2t sin(t ) 
Solución
(%i6) laplace(exp(2*t)*sin(t)*t,t,s);
(%o6) F(s)=
De manera similar obtenemos la transformada de Laplace de las siguientes funciones

f (t ) L  f (t )
(%i8) laplace(5*sin(t)+9*cos(t),t,s);
f (t )  5sin(t )  9 cos(t ) (%o8) F(s)=
(%i9) laplace(t^3*exp(a*t),t,s);
f (t )  t 3eat (%o9) F(s)=
(%i11) laplace(exp(2*t)*cosh(t)*exp(a*t),t,s);
f (t )  e2t cosh(t ) (%o11) F(s)=
Ejemplo 2. Calcular la transformada de Laplace de la siguiente función a tramos
t 0  t  1
f (t )  
1 1  t
Solución. Primero escribimos la función utilizando la función escalón unitario

f (t )  t  tU (t  1)  U (t  1)
Las instrucciones son:
(%i1) eq1:t-t*unit_step(t-1)+unit_step(t-1);
381
con Maxima
(eq1)
(%i2) laplace(eq1,t,s);
(%o2)
2. Transformada inversa de Laplace
La función ilt(expr,s,t) calcula la transformada inversa de Laplace de expr con respecto

a s y parámetro t .
 s 3 
Ejemplo 3. Calcular L 1  2 
 s  6 s  34 
Solución
(%i13 ilt((s-3)/(s^2-6*s+34),s,t);
(%o13) f(t)=e^(3*t)*cos(5*t)
 2 
 s 1
1 
Ejemplo 4. Calcular L  2

 s s  1
2
 
Solución
(%i14) ilt((s^2-1)/(s*(s^2+1)^2),s,t);
(%o14) f(t)=t*sin(t)+cos(t)\-1
3. Ecuaciones diferenciales
La función desolve resuelve ecuaciones lineales y sistemas de ecuaciones lineales

mediante el uso de la transformad de Laplace. Una diferencia en la sintaxis con respecto
a ode2 es que al usar desolve la variable independiente, por ejemplo x , debe indicarse
explícitamente, tanto en las variables como en las derivadas. La sintaxis para una
ecuación diferencial es: desolve (ecu,x), mientras que para un sistema de ecuaciones
diferenciales es desolve([eqn_1,…,eqn_n],[x_1,…,x_n]). La solución de sistemas de
ecuaciones diferenciales lo revisamos en la práctica No. 7
Ejemplo 5. Resolver 2 y '' 3 y ' 4 y   (t  1), y (0)  1, y '(0)  1
Solución
382
con Maxima
(%i15) eq1:2*diff(y(t),t,2)-3*diff(y(t),t)+4*y(t)=delta(t+1);
(eq1)
(%i16) desolve(eq1,y(t));
(%o16)
Observe que Maxima expresa la solución en términos de las condiciones iniciales,

podemos dar estas condiciones antes de resolver la ecuación mediante la instrucción
atvalue(expr,t=a,b) que asigna el valor b a la expresión expr cuando t toma el valor de
a. veamos como:
(%i17) atvalue(y(t),t=0,1);
(%o17) 1
(%i18) atvalue('diff(y(t),t),t=0,-1);
(%o18) -1
(%i19) desolve(eq1,y(t));
(%o19)
Maxima guarda la asignación dada a expr en la definición atvalue. Así, con respecto al
ejemplo anterior, cualquier otro cálculo que se haga en la misma sesión, el valor de
y (t ) y su derivada en t  0 será 1 y -1 respectivamente. Podemos eliminar esta asignación
mediante la instrucción: remove(y,atvalue).
Ejemplo 6. Resolver y ''' y '' 2 y '  5  e x , y(0)  y '(0)  0, y ''(0)  1
Solución
(%i1) ec2:'diff(y(x),x,3)+'diff(y(x),x,2)-2*'diff(y(x),x)=5-exp(x);
(ec2)
(%i2) atvalue('diff(y(x),x,2),x=0,1);
383
con Maxima
(%o2) 1
(%i3) atvalue(y(x),x=0,0);
(%o3) 0
(%i4) atvalue('diff(y(x),x),x=0,0);
(%o4) 0
(%i6) desolve(ec2,y(x));
(%o6)
Podemos simplificar el resultado de la siguiente forma:

(%i7) fullratsimp(%);
(%o7)
Si vamos a continuar trabajando en la misma sesión debemos eliminar la asignación

hecha sobre y y sus derivadas
(%i8) remove(y,atvalue);
(%o8) done
4. Ecuaciones integrales
Utilizando las funciones laplace e ilt, junto con las funciones solve o linsolve, Maxima
puede resolver ciertas ecuaciones integrales.
t

Ejemplo 7. Resolver la ecuación integral f (t )  4t  3 f (t   ) sin( ) d
0
Solución
(%i1) 'integrate(-3*sin(x)*f(t-x),x,0,t)+4*t=f(t);
(%o1)
(%i2) laplace(%,t,s);
(%o2)
(%i3) linsolve([%],['laplace(f(t),t,s)]);
(%o3)
384
con Maxima
(%i4) ilt(rhs(first(%)),s,t);
(%o4)
Comentarios:
La función linsolve exp r _1,...,exp r _ m ,  x _1,..., x _ n resuelve la lista de

ecuaciones simultáneas para la lista de variables. las expresiones deben ser polinomios
lineales respecto de la variable o ecuaciones.
La función rhs(expr) devuelve el miembro derecho (es decir, el segundo argumento) de
la expresión expr, cuando el operador de expr es uno de los operadores de relación o un
operador de asignación.
La función first(expr) devuelve la primera parte de expr, que puede consistir en el
primer elemento de una lista, la primera fila de una matriz, el primer término de una
suma, etc.
t

Ejemplo 8. Resolver la ecuación integral f (t )  2 f (t ) cos(t   ) d  4e  t  sin(t )
0
Solución
(%i17) 'integrate(2*cos(x)*f(t-x),x,0,t)-4*exp(-t)-sin(t)=-f(t);
(%o17)
(%i18) laplace(%,t,s);
(%o18)
(%i19) linsolve([%],['laplace(f(t),t,s)]);
(%o19)
(%i20) ilt(rhs(first(%)),s,t);
(%o20) f(t)=
Ejercicios:
1. Calcular la transforma directa o inversa, según corresponda, de las siguientes

funciones.
cos(t ) 0  t  
a) f (t )  
 sin(t )  t
385
con Maxima
 4s  1 
b) L 1  e 4 s 
 s  7 s  30 
3
1
2. Calcular la transformada de la función periódica diente de sierra f (t )  t, T  2
2
3. Resolver y '' 3 y ' 2 y  te2t , y (0)  1, y '(0)  4
16 t 0  t  1
4. Resolver y '' 4 y  f (t ), y (0)  0, y '(0)  0, f (t )  
 0 1 t

5. Resolver f (t )  u f (t  u ) du  5  et
0
6. Resolver y '' y '   (t  1), y (0)  0, y '(0)  0
Reporte
386
con Maxima
Práctica No. 7 Sistemas de Ecuaciones Diferenciales Lineales

forma autónoma, potenciar las habilidades para el uso de nuevas tecnologías. Modela
situaciones diversas a través de sistemas de ecuaciones diferenciales lineales e interpreta
los resultados.
4.1 Teoría preliminar

4.1.1 Sistemas de ecuaciones diferenciales lineales.
4.1.2 Sistemas de ecuaciones diferenciales lineales homogéneos.
4.1.3 Solución general y solución particular de sistemas de ecuaciones diferenciales
lineales.
4.2 Métodos de solución para sistemas de ecuaciones diferenciales lineales.
4.3 Aplicaciones.
Introducción
Existen muchas aplicaciones en la vida real que no se modelan a través de una sola
ecuación diferencial. Por ejemplo, un sistema de dos o más resortes, circuitos formados
por varias mallas, dos o más péndulos acoplados, cinética de reacciones químicas que
incluyen mecanismos de reacción.
387
con Maxima
Un sistema de ecuaciones diferenciales es un conjunto de dos o más ecuaciones

diferenciales que tienen un conjunto de funciones como soluciones comunes de cada
ecuación.
La transformada de Laplace es una herramienta muy útil para resolver sistemas de

ecuaciones diferenciales lineales de coeficientes constantes. Maxima emplea la
transformada de Laplace mediante el comando desolve para resolver sistemas de
ecuaciones diferenciales.
La mayoría de las definiciones correspondientes a una sola ecuación diferencial pueden

extenderse a un sistema de ecuaciones diferenciales. Se dice que un sistema de
ecuaciones diferenciales es lineal si cada ecuación individual del sistema lo es. Se dice
que un sistema es no lineal incluso si una sola ecuación incluye un solo término no
lineal. Se dice que un sistema de ecuaciones diferenciales es homogéneo si cada
ecuación individual lo es; y que el sistema es no homogéneo incluso si una sola
ecuación incluye un término no homogéneo.
Una solución de un sistema de ecuaciones diferenciales es un conjunto fundamental de

funciones suficientemente diferenciables x  1 (t ), y  2 (t ), z  3 (t ), etcétera, que
satisfacen cada ecuación del sistema en algún intervalo común I . La solución general
incluye constantes arbitrarias, mientras que en la solución particular dichas constantes
toman un valor específico que se calculan empleando las condiciones iniciales.
El Objetivo de esta práctica es aprender a utilizar Maxima para resolver sistemas de

ecuaciones diferenciales.
Ejemplo 1. Resolver el sistema de ecuaciones diferenciales
2 x ' y ' y  t x(0)  1

x ' y '  t 2
y (0)  0
Solución
(%i1) eq1:2*'diff(x(t),t)+'diff(y(t),t)-y(t)=t;
388
con Maxima
(eq1)
(%i2) eq2:'diff(x(t),t)+'diff(y(t),t)=t^2;
(eq2)
(%i4) desolve([eq1,eq2],[x(t),y(t)]);
(%o4)
Nuevamente observamos que la solución está expresada en términos de los valores

iniciales x(0) y y (0) . Para sustituir estas constantes por los valores prefijados, podemos
utilizar la instrucción ev, cuya sintaxis es ev(expr,arg1,…,arg2), siendo expr la
expresión en la que se quieren hacer las sustituciones o evaluaciones y argi, i=1,…,n,
los argumentos. O emplear como en la práctica 6 la función atvalue.
Con la instrucción ev
(%i5) ev(%,x(0)=1,y(0)=0);
(%o5)
Con la instrucción atvalue
(%i7) atvalue(y(t),t=0,0);
atvalue(x(t),t=0,1);
(%o6) 0
(%o7) 1
(%i8) desolve([eq1,eq2],[x(t),y(t)]);
(%o8)
La siguiente gráfica muestra el comportamiento de las funciones solución, la curva azul

muestra la solución x (t ) , la roja la solución y (t ) . La gráfica se construye con:
plot2d([5*exp(-t)+t^3/3-2*t^2+5*t-4,-5*exp(-t)+2*t^2-5*t+5], [t,0,4]);
389
con Maxima
Figura 1. Graficas de las curvas solución del ejemplo 1
Ejemplo 2. Considere el sistema mecánico que se muestra en el figura 2, dos masas y

dos resortes acoplados. Es fácil demostrar que el sistema de ecuaciones diferenciales
d 2 x1
m1  k1 x1  k2  x2  x1 
dt 2
d 2 x2
m2 2  k2  x2  x1 
dt
Determina las posiciones x1 (t ) y x2 (t ) de la masa m1 y m2 , respectivamente.
Suponemos que k1  6 , k2  4 , m1  1 , m2  1 , y que las masas comienzan su
movimiento desde sus posiciones de equilibrio con velocidad unitaria positiva para la
masa uno y velocidad unitaria negativa para la masa dos. Resolver el sistema de
ecuaciones diferenciales y graficar las curvas solución.
Soporte
K1
0
m1 390
K2
F1
con Maxima
Figura 2. Sistema masa-resorte acoplado

Solución
Sustituyendo los datos, obtenemos el siguiente problema de condiciones iniciales
x1 '' 10 x1  4 x2  0, x1 (0)  0, x1 '(0)  1

4 x1  x2 '' 4 x2  0, x2 (0)  0, x2 '(0)  1
Traducido a la sintaxis de Maxima, tenemos:
(%i1) eq1:'diff(x1(t),t,2)+10*x1(t)-4*x2(t)=0;
(eq1)
(%i2) (eq2): 'diff(x2(t),t,2)+4*x2(t)\-4*x1(t)=0
(eq2)
(%i3) atvalue(x2(t),t=0,0);atvalue('diff(x2(t),t),t=0,-1);atvalue('diff(x1(t),t),t=0,1);
atvalue(x1(t),t=0,0);
(%o5) 0, (%o6) -1, (%o7) 1, (%o8) 0
(%i10) desolve([eq1,eq2],[x1(t),x2(t)]);
(%o10)
(%111) plot2d([(sqrt(3)*sin(2*sqrt(3)*t))/5-sin(sqrt(2)*t)/(5*sqrt(2)),-
391
con Maxima
(sqrt(3)*sin(2*sqrt(3)*t))/10-(sqrt(2)*sin(sqrt(2)*t))/5],[t,0,5]);
Figura 3. Gráfica de las curvas solución (masa uno en azul, masa dos en rojo)
Ejercicios
1. Considere el circuito eléctrico que se muestra en el figura 3. Consta de un inductor,

resistor y capacitor. Se trata de encontrar la corriente en cada rama del circuito.
a R b c
v(t) i C
1 L
i2
f e d
Figura 3. Circuito eléctrico RLC acoplado
392
con Maxima
Supongamos que en el instante t = 0 se cierra el interruptor. La corriente neta que

circula por el capacitor C, será la diferencia entre i1 e i2, dependiendo de la malla que
esté analizando. Considérese la malla abefa, entonces por la segunda ley de Kirchhoff
se tiene:

t
Ri1  t   1 i1    i2    d  V  t 
C 0
Ahora considere la malla bcdeb.
di2  t  1

t
L  i1    i2    d  0
dt C 0
Se tienen entonces dos ecuaciones integro-diferenciales las cuales forman un sistema de

dos ecuaciones con dos incógnitas ( i1 e i2). Esto es:
 
t t
di2 1
Ri1  t   1 i1    i2    d  V  t  ; L  i2    i1    d  0
C 0 dt C 0
Resolver el sistema, si en t  0 la corriente en el circuito es cero y el capacitor está

descargado. Suponga que R = 100, L = 1H, C = 100f y V(t) = 64 voltios, aplicado
para t > 0.
2. Obtenga el sistema de ecuaciones diferenciales que describe el movimiento vertical

en línea recta de los resortes acoplados mostrados en la siguiente figura. Resolver el
sistema si k1  1, k2  1, k3  1, m1  1, m2  1, x1 (0)  0, x1 '(0)  1, x2 (0)  0, x2 '(0)  1
Soporte
K1
m1
K2
m2
K3 393
Soporte
con Maxima
Figura 2. Sistema masa-resorte acoplado

Reporte

Práctica No. 8 Series de Fourier

forma autónoma, potenciar las habilidades para el uso de nuevas tecnologías. Utiliza las
definiciones básicas de ortogonalidad de funciones para poder construir una serie de
Fourier en un intervalo arbitrario centrado y en medio intervalo.
5.1 Teoría preliminar.

5.2 Series de Fourier.
5.3 Series de Fourier en cosenos, senos y de medio intervalo.
394
con Maxima
Introducción
Una serie de Fourier es la representación matemática de un fenómeno físico periódico;

una serie infinita que converge a una función continua y periódica. Las series de Fourier
se emplean para analizar funciones periódicas a través de la descomposición de esta
función en una suma infinitesimal de funciones senoidales más simples (como
combinación de senos y cosenos). Debe su nombre al matemático francés Jean-Baptiste
Joseph Fourier, quien desarrollo la teoría cuando estudiaba la ecuación del calor.
La serie de Fourier es una herramienta matemática usada en muchas ramas de la

ingeniería; tales como: análisis vibratorio, acústica, óptica, procesamiento de imágenes
y señales. La serie se utiliza para representar cualquier función periódica que cumpla
las condiciones de Dirichlet
Teorema de Dirichlet
Si f (t ) y f '(t ) son dos funciones continuas por partes en el intervalo   p, p  , entonces
la serie e Fourier converge hacia f (t ) para todo punto donde la función es continua, y
para el caso en que t  a sea un punto de discontinuidad, la serie de Fourier converge
hacia el promedio
1

lim f (t )  lim f (t )
2 t a  t a

Teorema de Fourier
Sea f ( x ) una función continua por partes en el intervalo   p, p  . La función f ( x ) se

puede expresar por la serie trigonométrica

 n n 
  a cos p x  b sin
a
f ( x)  0  n n x
2 n 1
p 
En la cual
p
 f ( x)dx
1
a0 
p
p
p
n
 f ( x) cos p x dx
1
an 
p
p
p 395
n

1
TecNM campus Tepic bn 
Sergio Guadalupe Treviño
f ( x) sinTamez
x dx
p p
p
con Maxima
Existen en el mercado opciones computacionales que pueden ayudar tanto a quienes

aprenden así como a quienes aplican series de Fourier. Además de los programas de
computo comerciales (Maple, Mathematica, Matlab, etc.), tenemos el software libre
Maxima. Para encontrar desarrollos en serie de Fourier, Maxima ofrece el paquete
fourier que permite calcular los coeficientes y manipular las expresiones. La sintaxis de
la función fourier (f(x),x,p) devuelve una lista con los coeficientes de Fourier de f ( x )
definida en el intervalo   p, p  . Algunas opciones del paquete son:
foursimp(1): Simplifica sin( n  ) a 0 si sinnpiflag vale true y cos( n  ) es  1 si

n
cosnpiflag vale true.
fourexpand (l, x, p, limit): Calcula y devuelve la serie de Fourier a partir de la lista de

los coeficientes de Fourier hasta el término limit (limit puede ser inf). Los argumentos
x y p tienen el mismo significado que en fourier.
fourcos (f, x, p): Devuelve los coeficientes de los cosenos de Fourier de f ( x ) definida
en [0, p].
foursin (f, x, p): Devuelve los coeficientes de los senos de Fourier de f ( x ) definida en
[0, p].
totalfourier (f, x, p): Devuelve fourexpand (foursimp (fourier (f, x, p)), x, p, ’inf).
fourint (f, x): Calcula y devuelve la lista de los coeficientes integrales de Fourier de
f ( x ) definida en [minf, inf].
fourintcos (f, x): Devuelve los coeficientes integrales de los cosenos f ( x ) en [0, inf].
fourintsin (f, x): Devuelve los coeficientes integrales de los senos f ( x ) en [0, inf].
El Objetivo de la práctica es calcular la serie de Fourier para funciones periódicas y

explorar algunas opciones el paquete fourier.
1. Series de Fourier para funciones definidas en   p, p 
396
con Maxima
Ejemplo 1. Desarrollar la serie de fourier para la función f (t )  t  t 2 definida en el
intervalo  2, 2
a) Borramos la memoria
(%i8) kill(all);
(%o0) done
b) cargamos el paquete fourie
(%i1) load(fourie);
(%o1) "C:/maxima-5.43.2/share/maxima/5.43.2/share/calculus/fourie.mac"
c) Definimos la función
(%i2) eq1:t+t^2;
(eq1) t^2+t
d) Calculamos los coeficientes
(%i3) eq2:fourier(eq1,t,2);
(eq2)
(eq2)
(eq2)
e) Simplificamos los coeficientes con la función foursimp

(%i10) foursimp(eq2);
(%t10)
(%t11)
(%t12)
f) Desarrollamos los términos de la serie para n=3

(%i14) eq3:fourexpand(eq2,t,2,3);
(eq3)
397
con Maxima
g) Graficamos la función dada junto con la serie para n=3

(%i7) plot2d([eq3,eq1],[t,-2,2]);
Figura 1. Gráfica de f (t )  t  t 2 definida en  2, 2 junto con la serie de Fourier para
n3
h) Desarrollamos la serie desde n=1 hasta n=infinito
(%i9) eq4:fourexpand(eq2,t,2,inf);
(eq4)
i) Empleo de la función totalfourier
(%i15) totalfourier(eq1,t,2);
(%t15) a[0]=4/3
(%t16) a[n]=((16*sin(%pi*n))/(%pi*n)\-
(32*sin(%pi*n))/(%pi^3*n^3)+(32*cos(%pi*n))/(%pi^2*n^2))/2
(%t17) b[n]=((8*sin(%pi*n))/(%pi^2*n^2)\-(8*cos(%pi*n))/(%pi*n))/2
(%t18) a[0]=2^2/3
(%t19) a[n]=(16*(\-1)^n)/(%pi^2*n^2)
(%t20) b[n]=\-(4*(\-1)^n)/(%pi*n)
(%o20) \-(4*sum(((\-1)^n*sin((%pi*n*t)/2))/n,n,1,inf))/%pi+(16*sum(((\-
398
con Maxima
1)^n*cos((%pi*n*t)/2))/n^2,n,1,inf))/%pi^2+4/3
2. Series de Fourier para funciones definidas en  0, p 
Ejemplo 2. Desarrollar f (t )  t 2 definida en el intervalo 0  t  2 . (a) En una serie de

cosenos. (b) En una serie de senos
Solución
(%i4) kill(all);
(%o0) done
(%i1) load(fourie);
(%i2) eq1:t^2;
(eq1) t^2
a) Serie de cosenos
(%i12) eq2:foursimp(fourcos(eq1,t,2));
(eq2)
(eq2)
(eq2)
(eq2)
(%i16) fourexpand(eq2,t,2,inf);
(%o16)
b) Serie de senos
(%i17) eq6:foursimp(foursin(eq1,t,2));
(eq6)
(eq6)
(%i19) fourexpand(eq6,t,2,inf);
399
con Maxima
(%o19)
3. Series de funciones definidas a trozos.

Para calcular los coeficientes de Fourier de una función continua a trazos, debemos
calcular las integrales. Veamos un caso.
Ejemplo 3. Desarrollar la serie de Fourier para
 t 2  t  0
f (t )  
1  t 0t 2
Solución
(%i8) load(fourie);
(%i9) a0:integrate(t,t,-2,0)+integrate((1-t),t,0,2);
(a0) -2
(%i10) an1:(integrate(t*cos(n*%pi*t/2),t,-2,0)+integrate((1-t)
*cos(n*%pi*t/2),t,0,2));
(%i12) an:foursimp(an1);
(an)
(%i13) bn1:(integrate(t*sin(n*%pi*t/2),t,-2,0))+integrate((1-
t)*sin(n*%pi*t/2),t,0,2);
(%i15) bn:foursimp(bn1);
Por lo tanto la serie de fourier es
400
con Maxima


 4  1n  1
 n 
 n t   1  1  n t  
f (t )  1   
  2 n2
cos 
 2 

n
sin  
 2 
n 1  
Ejemplo 4. Determinar la serie de Fourier de la función
 ,   t  0
f (t )  
  t , 0  t  0
Solución
Ejercicios
1. Encontrar los desarrollos en serie de Fourier de las siguientes funciones periódicas
 x 1  x  0
a) f ( x)  
x 0  x 1
b) f ( x)  e x ,   x  
2. Encontrar la serie de Fourier en cosenos, en senos y la serie de medio intervalo, de

las siguientes funciones.
a) f ( x)  x  1, 0  x  
0 0  x  1

b) f ( x)  1 1  x  2
2 2  x  3

Reporte

401
con Maxima
402

7 Practicas Con Maxima

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

7 Practicas Con Maxima

Cargado por

Copyright:

Formatos disponibles

Prácticas de Ecuaciones Diferenciales

Prácticas de Ecuaciones Diferenciales

3. Ecuaciones diferenciales de primer orden: separables, exactas y homogéneas

4. Ecuaciones diferenciales de primer orden: lineales y Bernoulli

5. Ecuaciones diferenciales lineales de orden superior

7. Sistemas de ecuaciones diferenciales lineales:

Estas prácticas están pensadas como un complemento al curso de Ecuaciones

El uso de las tecnologías de la información y de la comunicación aumenta día a día y en

Describiremos cómo resolver ecuaciones diferenciales ordinarias y sistemas de

Maxima desciende del sistema Macsyma, desarrollado en el MIT (Massachusetts

Maxima es un sistema para la manipulación de expresiones simbólicas y numéricas,

Los comandos principales para resolver ecuaciones diferenciales de primer y segundo

ode2 permite calcular la solución de algunas ecuaciones diferenciales de primer y

i) Ecuaciones diferenciales de primer orden del tipo: variables separables, exactas,

que se pueden reducir a ecuaciones homogéneas con coeficientes constantes, ED

El comando desolve resuelve ecuaciones lineales y sistemas de ecuaciones lineales

El paquete contrib_ode extiende ode2 con métodos adicionales para resolver

Maxima tiene implementada la función laplace (expr, t, s) para obtener la transformada

Práctica No. 1 Solución de Ecuaciones Diferenciales de

Competencia a desarrollar: Habilidades básicas de manejo de la computadora,

Correlación con los temas y subtemas del programa de estudios vigente

1.1.2 Solución de las ecuaciones diferenciales.

Definición solución de una ED

Las soluciones de una ED se clasifican en implícitas y explicitas, en solución general,

Solución explícita e implícita

Solución general, particular y singular

soluciones con n parámetros arbitrarios. Si una solución no contiene parámetros

El objetivo de esta práctica es aprender a utilizar Maxima para comprobar si una

1.1 Soluciones explicitas

solución de la ecuación y '  y (a  b y)

Ejemplo 3. Comprobar que la familia mono-paramétrica de funciones y  1  c e  x , es

Figura 1. Familia de solucione de y ' y  1 para c  2, 1, 0,1, 2

La igualdad de la última ecuación, verifica que la función implícita es solución de la

Un problema de valor inicial de primer orden consta de una ecuación diferencial

En este PVI no se cumple el teorema de existencia y unicidad, pues la derivada parcial

Comprobar que la función y ( x)  es la solución única del PVI

No se indetermina para y ( x)  0 , por lo tanto la solución es única.

1. Verificar si la función 4 y  1  x 2  c es una solución de la ED x y  1 dx  dy  0

Entregar un informe en PDF que incluya: portada, introducción, metodología,

Práctica No. 2 Campos de Direcciones

Competencia a desarrollar: Habilidades básicas de manejo de la computadora,

Correlación con los temas y subtemas del programa de estudios vigente

1.1.2 Solución de las ecuaciones diferenciales.

Los valores de la derivada y ' evaluados en los puntos ( x, y ) , determinan la dirección de

El objetivo de esta práctica es aprender a utilizar Maxima para graficar campos de

Ejemplo 1. Graficar el campo de direcciones de y '  tan( x)

Figura 1. Campo de direcciones de la ED y '  tan( x)

de m  tan 1 (1)  450 , mientras que en x  1 , la pendiente es de m  tan 1 (1)  450 ,

xradius es la mitad de la longitud del rango de los valores a representar en la dirección

Ejemplo 2. Determinar una solución aproximada que cumpla y (0)  1 para la ED

El resultado se muestra en la figura 3, la curva en color rojo es aproximadamente la

Figura 3. Campo de direcciones y curva solución aproximada del PVI

Una ecuación diferencial se dice que es autónoma si no aparece en ella explícitamente la

Los puntos de una ED autónoma son las soluciones de la ecuación algebraica f ( y )  0 .

a) la gráfica de una solución no constante no corta a ninguna solución de equilibrio.

Ejemplo 3. Para la ED autónoma y '  ( y  1) ( y  3) graficar las soluciones de

Figura 4. Soluciones de equilibrio y algunas curvas solución en el campo de

Al resolver f ( x)  ( y  1) ( y  3)  0 se obtiene y  1 y y  3 , que son las soluciones

Ejemplo 4. Sea la ED autónoma y '  k ( y  a ) ( y  b) . El parámetro k se mantiene

Figura 5. Captura de pantalla del ejemplo 4

1. Representar el campo de direcciones de la ecuación y '   y junto con las isóclinas

Entregar un informe en PDF que incluya: portada, introducción, metodología,

Práctica No. 3 Ecuaciones Diferenciales de Primer Orden:

Competencia a desarrollar: Habilidades básicas de manejo de la computadora,