Está en la página 1de 39

ALEPH SUB CERO

SERIE DE DIVULGACI
0 2008 II 0
ECUACIOES DIFERECIALES E EL COTEXTO DEL MATLAB
Carlos Enrique ez Rincn1
Los matemticos, en lugar de simplemente utilizar un mtodo que
parece funcionar, quieren hallar una justificacin para el mtodo y una
serie de condiciones que garanticen que el mtodo funciona.
Glenn Ledder

El presente artculo de corte divulgativo tiene como propsito hacer una


contrastacin entre la resolucin usual de ecuaciones diferenciales ordinarias
(EDO), es decir la resolucin empleando el lgebra y el Clculo, y la resolucin
operando los comandos del Programa de Clculo Tcnico Cientfico MATLAB.
Est dirigido al lector interesado en el tema, pero sobre todo a los alumnos
que cursan la asignatura Matemtica IV en las diversas Carreras de Ingeniera que
configuran la Oferta Acadmica de la UNET.
Ecuaciones separables g ( y )

dy
= f ( x)
dx

Resolver y= 4 y 2 . Es necesario expresar la ecuacin en la notacin de


dy
= 4 y 2 , ahora se lleva a la forma de variable separada, esto
Leibniz, es decir
dx
dy
es
= dx
4 y2

El autor del artculo es Licenciado en Matemtica, egresado de la Universidad de los Andes


ULA - Venezuela. Asimismo, es Magster, y Doctor en Ciencias. Actualmente es Profesor en la
Categora de Titular, adscrito al Departamento de Matemtica y Fsica de la Universidad
Nacional Experimental del Tchira Venezuela. cnunezr@gmail.com, cnunezr@cantv.net

Ecuaciones diferenciales en el contexto del MatLab


luego
dy
1
1
1 2+ y
=
dx

ln
2

y
+
ln
2
+
y
=
x
+
C

ln
= x+C
2
4 y
4
4
4 2 y

entonces, la solucin es
luego,

2+ y
= e 4 x + 4C = e 4 x e 4C
2 y

2+ y
2+ y
= e 4 x e4C , haciendo A = e4C , obtenemos
= Ae4 x
2 y
2 y

Ae 4 x 1
por lo tanto, y = 2 4 x
.
Ae + 1

Consideremos, ahora, la condicin inicial y ( 0 ) = 1 , obtenemos

1
1
1
ln 2 1 + ln 2 + 1 = 0 + C C = ln ( 3)
4
4
4
entonces, la solucin particular es y =

2 ( 3e 4 x 1)
3e 4 x + 1

Ahora, obtenemos la solucin general y particular utilizando los comandos


de MatLab, asimismo se representa grficamente las soluciones (figura 1) y la de
solucin particular (figura 2).
>> pretty(solve('int(1/(4-y^2),y)=int(1,x)'))
- 1/4 log(y - 2) + 1/4 log(y + 2)
>> C=simple(sym('solve(subs(x=0,y=1,x=-1/4*ln(2-y)+1/4*ln(2+y)-C),C)'))
C = 1/4*log(3)
>> [X,Y]=meshgrid(-2:0.1:2);
2

Carlos ez

>> Z=-X+(-log(abs(2-Y))+log(abs(2+Y)))./4;
>> contour(Z,20)
>> fplot('(6*exp(4*x)-2)/(3*exp(4*x)+1)',[-3,3])
Cuadro 1

Figura 1

Figura 2

Como es posible observar, es bastante simple hallar la solucin general y


particular de la ecuacin diferencial, as como la solucin grfica.

Ecuaciones homogneas M ( x, y ) dx +  ( x, y ) dy = 0
Consideremos la ecuacin diferencial

x 2 + y 2 dx = xdy ydx . Expresndola

de la forma homognea, esto es

x 2 + y 2 + y dx xdy = 0

probamos que las dos funciones son homogneas


M ( tx, ty ) = tM ( x, y ) y  ( tx, ty ) = t ( x, y )
3

Ecuaciones diferenciales en el contexto del MatLab


es claro, que ambas tienen el mismo grado de homogeneidad.

x2 + y 2 + y
y dividiendo numerador y
x

dy
Ahora, la expresamos de la forma
=
dx
denominador por x, obtenemos

dy
y
y
= 1+ +
dx
x
x
tomando la sustitucin v =

v+x

y
dy
dv
, es decir y = xv , donde
= v + x , tenemos
x
dx
dx
dv
dv
= 1 + v2 + v x = 1 + v2
dx
dx

la ecuacin la hemos convertido en una ecuacin diferencial separable, es decir


dv
1 + v2

dx
x

integramos para obtener la solucin general

dv
1 + v2

dx
ln x + C
ln v + 1 + v 2 = ln ( x ) + C v + 1 + v 2 = e ( ) = eC x = Ax
x

finalmente, sustituimos v por

y
x

y2
y + x2 + y2
y
+ 1 + 2 = Ax
= Ax y + x 2 + y 2 = Ax 2 .
x
x
x
Ahora, obtenemos la solucin general utilizando los comandos de MatLab:
Determinamos si la ecuacin es homognea:
4

Carlos ez

>> maple('m:=(x,y)->sqrt(x^2+y^2)+y');
>> maple('n:=(x,y)->-x');
>> pretty(sym(maple('collect(m(t*x,t*y),t)')))
2 2

2 2 1/2

(t x + t y )

+ty

>> pretty(sym(maple('collect(n(t*x,t*y),t)')))
-t x
Se carga el la librera difforms y el comando maple('defform(v=0,x=0,y=0)'), que
permiten utilizar las formas diferenciales y expresar las variables, respectivamente:
>> maple('with(difforms)');
>> maple('defform(v=0,x=0,y=0)');
Se hace el cambio de variable y = xv y se expresa la ecuacin en forma de
variables separadas:
>> pretty(simple(sym(maple('subs(y=x*v,m(x,y)*d(x)+n(x,y)*d(y))'))))
2 1/2

-x (-d(x) (1 + v ) + x d(v))
>> pretty(sym(maple('collect((x*sqrt(1+v^2)*d(x)-x*x*d(v))/(x),{d(v),d(x)})')))
2 1/2

d(x) (1 + v ) - x d(v)
Se resuelve la ecuacin separable:
>> pretty(simple(sym('int(1/(sqrt(1+v^2)),v)-int(1/x,x)')))
asinh(v) - log(x)
Finalmente se sustituye v por y/x:
>> pretty(simple(sym('subs(v=y/x,a*sinh(v)-log(x))')))
a sinh(y/x) - log(x)
Cuadro 2

Ecuaciones diferenciales en el contexto del MatLab

Ecuaciones exactas M ( x, y ) dx +  ( x, y ) dy = 0
Consideremos la ecuacin

( ye

M 
=
y
x

+ 2 x ) dx + e x dy = 0 , sta es de la forma

M ( x, y ) dx +  ( x, y ) dy = 0 , aplicando la condicin de exactitud, comprobamos


que es exacta, esto es

M

= ex =
.
y
x

Utilizando el procedimiento de resolucin de ecuaciones diferenciales exactas,


obtenemos

M
f
x
x
2
dx
=
ye
+
2
x
dx

f
x
,
y
=
ye
+
x
+

= ex + '( y )
(
)
(
)
(
)
x

y
luego

f
= e x + ' ( y ) = e x =  ( x, y ) ' ( y ) = 0 ' ( y ) dy = 0dy ( y ) = C1
y
entonces , f ( x, y ) = ye x + x 2 + C1 , puesto que f ( x, y ) = C , obtenemos la solucin
general de la ecuacin
ye x + x 2 + C1 = C ye x + x 2 = A y =

A x2
, donde A = C C1.
ex

Ahora, obtenemos la solucin general, as como la representacin grfica de


la familia de soluciones (figura 3), utilizando los comandos del MatLab:
Determinamos si la ecuacin es exacta:
>> maple('m:=(x,y)->y*exp(x)+2*x');

Carlos ez

>> maple('n:=(x,y)->exp(x)');
>> pretty(simple(diff('m(x,y)','y')))
exp(x)
>> pretty(simple(diff('n(x,y)','x')))
exp(x)
Se resuelve la ecuacin exacta:
>> solucion1=maple('simplify(int(m(x,y),x)+g(y))')
solucion1 =
y*exp(x)+x^2+g(y)
>> pretty(sym(maple('simplify(int(m(x,y),x)+g(y))')))
2

y exp(x) + x + g(y)
>> pretty(sym(maple('simplify(diff(y*exp(x)+x^2+g(y),y))')))
/d
\
exp(x) +|-- g(y)|
\dy /
>> pretty(simple(sym('solve(exp(x)+diff(g(y),y)=n(x,y),diff(g(y),y))')))
0
>> pretty(simple(sym(maple('subs(g(y)=int(0,y),y*exp(x)+x^2+g(y))'))))
2

y exp(x) + x
Representacin grfica de la familia de soluciones:
>> [x,y]=meshgrid(-1:.2:1);
>> z=y*exp(x)+x^2;
>> contour(z,100)
Cuadro 3
7

Ecuaciones diferenciales en el contexto del MatLab

Figura 3

Ecuaciones lineales y '+ P ( x ) y = Q ( x )


Consideremos la ecuacin diferencial lineal dy = ( x 3 xy ) dx . En primer
lugar es necesario llevarla a la forma y '+ P ( x ) y = Q ( x ) , es decir y '+ 3xy = x ,
ahora, determinamos el factor e

P( x )dx

, esto es

P ( x ) dx = 3xdx =
3

3 2
x , no es
2

x
P( x )dx
necesario incluir la constante de integracin, luego e
= e 2 , multiplicando la
2

ecuacin por este factor, obtenemos


e

3 2
x
2

y '+ e

3 2
x
2

3 xy = e

3 2
x
2

'

3 2
x
32 x2
x e y = e2 x

luego, en el miembro izquierdo de la igualdad aplicamos el Teorema Fundamental


del Clculo y en el derecho integramos, as obtenemos la solucin de la ecuacin
'

3 2
3 2
3
x
x
x2
32 x2
1 32 x2
1
2
2
e y dx = e xdx e y = 3 e + C y = 3 + Ce 2 .

Carlos ez
Como sabemos, para hacer el procedimiento ms sencillo, simplemente se
sustituye el factor e

P( x )dx

=e

3 2
x
2

en la expresin y =

P( x )dx

Q ( x ) dx + C

P( x )dx
e

obtenemos la solucin.
Ahora, obtenemos la solucin general, utilizando un comando del MatLab:
>> pretty(sym(maple('simplify(dsolve(diff(y(x),x)+3*x*y(x)=x,y(x)))')))
2

y(x) = 1/3 + exp(- 3/2 x ) _C1


Cuadro 4

Ecuaciones lineales de orden superior an y ( ) + an1 y (


n

n 1)

Homogneas con coeficientes constantes an y ( ) + an1 y (


n

+ + a1 y ( ) + a0 y = f

n 1)

+ + a1 y ( ) + a0 y = 0
1

Consideremos las siguientes ecuaciones homogneas con coeficientes constantes:

a) 2 y ''+ 5 y ' 3 y = 0

b) y ''' 6 y ''+ 12 y ' 8 y = 0

d) y 6 9 y 5 + 30 y 4 28 y 3 88 y 2 + 256 y ' 192 y = 0 .

c) y '' 3 y '+ 4 y = 0
Solucin:

a) obtengamos la ecuacin polinomial asociada (polinomio caracterstico), para ello


hacemos y = e rx , luego
''

'

2 ( e rx ) + 5 ( e rx ) 3erx = 0 2r 2e rx + 5rerx 3e rx = 0 ( 2r 2 + 5r 3) e rx = 0
2r 2 + 5r 3 = 0 ( 2r 1)( r + 3) = 0

Ecuaciones diferenciales en el contexto del MatLab

entonces, y1 = e

1
x
2

y y2 = e3 x constituyen soluciones de la ecuacin, por lo tanto

la solucin general es
y = Ae

1
x
2

+ Be 3 x .

b) la ecuacin polinomial asociada es


r 3 6r 2 + 12r 8 = 0 ( r 2 )( r 2 )( r 2 ) = 0
entonces, usando la reduccin de orden es posible determinar otras soluciones
linealmente independientes de e2 x , esto es xe2 x y x 2e2 x , por lo tanto la solucin
general de la ecuacin es
y = A1e 2 x + A2 xe 2 x + A3 x 2e 2 x
c) la ecuacin polinomial asociada es
r 2 3r + 4 = 0 r =

3 9 16 3 7i
=
2
2

entonces, las soluciones de la ecuacin son


y1 = e

3+ 7i
x
2

y2 = e

3 7i
x
2

luego, la solucin general de la ecuacin es


y = Ae

3+ 7i
x
2

+ Be

3 7i
x
2

Mediante la frmula de Euler, es posible reescribir la solucin general


3

y = Ae 2 e

7i
x
2

+ Be 2 e

7i
x
2

3
3
7
7
7
7
x
x
= Ae 2 cos
x + isen
x + Be 2 cos
x isen
x

2
2
2
2

10

Carlos ez
ahora, tomando adecuadamente valores para A y B, por ejemplo A = B = 1/2 y A =
- i/2, B = i/2, obtenemos soluciones significativas con valores reales, esto es
7
y = e cos
x
2

3
x
2

7
y = e sen
x
2

3
x
2

por lo tanto
3
7
7
x
y = Ee cos
x + Fe 2 sen
x.
2
2

3
x
2

d) la ecuacin polinomial asociada es


r 6 9r 5 + 30r 4 28r 3 88r 2 + 256r 192 = 0

factorizando, obtenemos

( r 2 )( r 2 )( r + 2 )( r 3)( 2 + 2i )( 2 2i ) = 0
entonces, las soluciones de la ecuacin son
y1 = e 2 x , y2 = xe 2 x , y3 = e2 x , y4 = e3 x ,
y5 = e 2+2i = e 2 x cos ( 2 x )

y6 = e 22i = e 2 x sen ( 2 x )

por lo tanto, la ecuacin general es


y = A1e 2 x + A2 xe 2 x + A3e2 x + A4e3 x + A5e 2 x cos ( 2 x ) + A6e2 x sen ( 2 x ) .

Ahora, obtenemos la solucin general de cada ecuacin, utilizando los


comandos del MatLab:
a) >> pretty(dsolve('2*D2y+5*Dy-3*y=0'))

C1 exp(-3 t) + C2 exp(1/2 t)

11

Ecuaciones diferenciales en el contexto del MatLab

>> pretty(sym(maple('dsolve(2*diff(y(x),x$2)+5*diff(y(x),x$1)-3*y(x)=0,y(x))')))
y(x) = _C1 exp(-3 x) + _C2 exp(1/2 x)
b) >> pretty(sym(maple('dsolve(diff(y(x),x$3)

-6*diff(y(x),x$2)+12*diff(y(x),x$1)-8*y(x)=0,y(x))')))
2

y(x) = _C1 exp(2 x) + _C2 exp(2 x) x + _C3 exp(2 x) x


c) >> solve('x^2-3*x^1+4=0')

ans =
[ 3/2+1/2*i*7^(1/2)]
[ 3/2-1/2*i*7^(1/2)]
>> pretty(sym(maple('dsolve(diff(y(x),x$2)-3*diff(y(x),x$1)+4*y(x)=0,y(x))')))
1/2

y(x) = _C1 exp(3/2 x) sin(1/2 7

1/2

x) + _C2 exp(3/2 x) cos(1/2 7

x)

d) >> pretty(sym(maple('dsolve(diff(y(x),x$6)

-9*diff(y(x),x$5)+30*diff(y(x),x$4)-28*diff(y(x),x$3)88*diff(y(x),x$2)+256*diff(y(x),x$1)-192*y(x))')))
y(x) = _C1 exp(2 x) + _C2 exp(3 x) + _C3 exp(-2 x) + _C4 exp(2 x) x
+ _C5 exp(2 x) cos(2 x) + _C6 exp(2 x) sin(2 x)
o as
>> pretty(dsolve('D6y-9*D5y+30*D4y-28*D3y-88*D2y+256*Dy-192*y=0'))
C1 exp(-2 t) + C2 exp(2 t) + C3 exp(3 t) + C4 exp(2 t) t
+ C5 exp(2 t) cos(2 t) + C6 exp(2 t) sin(2 t)
Cuadro 5
12

Carlos ez
o homogneas con coeficientes constantes ay ''+ by '+ cy = f ( x )
Mtodo de coeficientes indeterminados
Consideremos la siguiente ecuacin no homognea de segundo orden con
coeficientes constantes:
y '' 2 y '+ 2 y = e x cos x

Su solucin general es de la forma y = y p + yh , donde yh = Ae x cos x + Be x senx es


la solucin general de la ecuacin homognea. Ahora, determinamos una solucin
particular de la ecuacin, para ello, sea y p = Cxe x senx , sustituyendo esta expresin
en la ecuacin diferencial, obtenemos
''

'

( Cxe senx ) 2 ( Cxe senx ) + 2 ( Cxe senx ) = e


x

cos x

2Ce x cos x = e x cos x C = 1/ 2

luego, y p =

1 x
xe senx , por lo tanto la solucin general es
2

y = Ae x cos x + Be x senx +

1 x
xe senx .
2

Mtodo de variacin de parmetros


Consideremos la ecuacin y '' 2 y '+ 2 y = e x cos x . Este mtodo, al igual que
el anterior, produce la solucin general de la ecuacin mediante y = y p + yh , donde

yh = Ay1 + By2 = Ae x cos x + Be x senx es la solucin general de la ecuacin


homognea y y p = u1 y1 + u2 y2 es una solucin particular de la ecuacin diferencial,

u1 y u2 son funciones desconocidas que se deben determinar.


Para determinar a u1 y u2, es necesario calcular en Wronskiano de las dos
funciones y1 y y2, esto es
13

Ecuaciones diferenciales en el contexto del MatLab


y
W ( y1 , y2 ) = 1'
y1

y2
e x cos x
e x senx
= x
= e2 x
'
x
x
x
y2 e cos x e senx e senx + e cos x

e x senx ( e x cos x )
y2 f
1
u1 = u dx =
dx =
dx = senx cos xdx = cos ( 2 x )
2x
W
e
4
'
1

e x cos x ( e x cos x )
y1 f
x 1
u2 = u dx =
dx =
dx = cos 2 xdx = + sen ( 2 x )
2x
W
e
2 4
'
2

luego
1
1
1

x 1

y p = cos ( 2 x ) e x cos x + + sen ( 2 x ) e x senx = e x cos x + xe x senx


4
2
4

2 4

por lo tanto, la solucin general es


1
1
y = Ae x cos x + Be x senx + e x cos x + xe x senx .
4
2
Ahora, obtenemos la solucin general de la ecuacin, as como la
representacin grfica de la familia de soluciones (figura 4), para ciertos valores de

A y B, utilizando los comandos del MatLab:


>> solve('r^2-2*r+2=0')
ans =
[ 1+i]
[ 1-i]
>> maple('f:=x->exp(x)*cos(x)');
>> maple('y1:=x->exp(x)*cos(x)');
>> maple('y2:=x->exp(x)*sin(x)');
>> maple('W:=x->Wronskian([y1(x),y2(x)],x)');

14

Carlos ez

>> pretty(simple(sym(maple('det(W(x))'))))
exp(2 x)
>> maple('W1:=x->array([[0,y2(x)],[1,diff((y2)(x),x)]])');
>> pretty(simple(sym(maple('det(W1(x))'))))
-exp(x) sin(x)
>> maple('W2:=x->array([[y1(x),0],[diff((y1)(x),x),1]])');
>> pretty(simple(sym(maple('det(W2(x))'))))
exp(x) cos(x)
>> maple('u1:=x->factor(simplify(int(f(x)*det(W1(x))/det(W(x)),x)))');
>> maple('u1(x)')
ans =
1/4*cos(2*x)
>> maple('u2:=x->factor(simplify(int(f(x)*det(W2(x))/det(W(x)),x)))');
>> maple('u2(x)')
ans =
1/4*sin(2*x)+1/2*x
>> maple('yp:=x->factor(simplify(y1(x)*u1(x)+y2(x)*u2(x)))');
>> maple('yp(x)')
ans =
1/4*exp(x)*(cos(x)*cos(2*x)+sin(x)*sin(2*x)+2*sin(x)*x)
>> maple('y:=x->simplify(c1*y1(x)+c2*y2(x)+yp(x))');
>> maple('combine(y(x),trig)')
ans =
c1*exp(x)*cos(x)+c2*exp(x)*sin(x)+1/4*exp(x)*cos(x)+1/2*exp(x)*sin(x)*x
>> ezplot(simple(sym(maple('subs(c1=-4,c2=6,y(x))'))),[-2,2])
>> hold on
>> ezplot(simple(sym(maple('subs(c1=-4,c2=-6,y(x))'))),[-2,2])
15

Ecuaciones diferenciales en el contexto del MatLab

>> ezplot(simple(sym(maple('subs(c1=-4,c2=-3,y(x))'))),[-2,2])
>> ezplot(simple(sym(maple('subs(c1=-4,c2=3,y(x))'))),[-2,2])
>> ezplot(simple(sym(maple('subs(c1=-4,c2=2,y(x))'))),[-2,2])
>> ezplot(simple(sym(maple('subs(c1=-4,c2=-2,y(x))'))),[-2,2])
>> ezplot(simple(sym(maple('subs(c1=4,c2=2,y(x))'))),[-2,2])
>> ezplot(simple(sym(maple('subs(c1=4,c2=-2,y(x))'))),[-2,2])
>> ezplot(simple(sym(maple('subs(c1=4,c2=5,y(x))'))),[-2,2])
>> ezplot(simple(sym(maple('subs(c1=4,c2=-4,y(x))'))),[-2,2])
>> ezplot(simple(sym(maple('subs(c1=-4,c2=-4,y(x))'))),[-2,2])
>> ezplot(simple(sym(maple('subs(c1=-4,c2=-5,y(x))'))),[-2,2])
Cuadro 6

Figura 4

Ecuaciones diferenciales con coeficientes variables reducibles a ecuaciones con


coeficientes constantes. Ecuacin de Cauchy-Euler
an x n y ( ) + an1 x n1 y (
n

n 1)

+ + a1 xy ( ) + a0 y = f
1

Consideremos la ecuacin x 4 y ( ) + 6 x3 y ( ) x 2 y '' 7 xy '+ 16 y = 0 .


4

16

Carlos ez
Para transformarla en ecuacin de coeficientes constantes, hacemos

x = et t = ln x
por lo tanto

dy dy dt 1 dy
=
=
,
dx dt dx x dt

d 2 y d 1 dy 1 d 2 y dy
=

=
dx 2 dx x dt x 2 dt 2 dt

d 3 y d 1 d 2 y dy 1 d 3 y
d2y
dy
= 2 2 = 3 3 3 2 + 2
2
dx
dx x dt
dt x dt
dt
dt
d4y d 1 d3y
d2y
dy 1 d 4 y
d3y
d2y
dy
= 3 3 3 2 + 2 = 4 4 6 3 + 11 2 6
4
dx
dx x dt
dt
dt x dt
dt
dt
dt
sustituyendo estas derivadas en la ecuacin diferencial, obtenemos
3
1 d4y
d3y
d2y
dy
d2y
dy
3 1 d y
x 4 4 6 3 + 11 2 6 + 6 x 3 3 3 2 + 2
x dt
dt
dt
dt
x dt
dt
dt
4

1 d 2 y dy
1 dy
d4y
d2y
x 2 2 7x
+ 16 y = 0 4 8 2 + 16 y = 0
x dt
dt
x dt
dt
dt
2

luego, la ecuacin polinomial asociada es

r 4 8r 2 + 16 = 0 ( r 2 )( r 2 )( r + 2 )( r + 2 ) = 0
por tanto

y1 = e 2t = e 2 ln x =

1
,
x2

y3 = e 2t = e2 ln x = x 2
y = C1

y2 = te 2t = ln ( x ) e 2ln x =

1
ln x
x2

y y4 = te2t = ln ( x ) e2 ln x = x 2 ln x

1
1
+ C2 2 ln x + C3 x 2 + C4 x 2 ln x .
2
x
x
17

Ecuaciones diferenciales en el contexto del MatLab


Mediante cualquier comando del MatLab del cuadro 7, se obtiene la solucin de la
ecuacin. En esta ecuacin el programa, se toma su tiempo para dar el resultado.
No se edita por ser muy extenso.
pretty(simple(dsolve('x^4*D4y+6*x^3*D3y-x^2*D2y-7*x*Dy+16*y=0')))
pretty(sym(maple(dsolve('x^4*D4y+6*x^3*D3y-x^2*D2y-7*x*Dy+16*y=0'))))
Cuadro 7

Ecuaciones diferenciales y transformada de Laplace

F ( p ) = L [ f ] ( p ) = e px f ( x ) dx = lm e px f ( x ) dx
0

 0

L eax f ( x ) = F ( p a ) .

L [ f + g ] = L [ f ] + L [ g ] ,

Si F = L [ f ] es la transformada de Laplace, entonces

f = L 1[ F ] , es la

transformada inversa de Laplace.


Por otra parte, si f ( x ) = y ' ( x ) , entonces

L [ y '] ( p ) = e px y ' ( x ) dx = lm e px y ' ( x ) dx


0

= lm e px y ( x )



0

 0

+ lm p e px y ( x ) dx = y ( 0 ) + p L [ y ]


luego

L [ y '] = p L [ y ] y ( 0 )
de igual manera

L [ y ''] = p 2 L [ y ] py ( 0 ) y ' ( 0 ) ,
3
L y ( ) = p 3 L [ y ] p 2 y ( 0 ) py ' ( 0 ) y '' ( 0 ) , etc.

18

Carlos ez
Sea la ecuacin y ''+ 2 y '+ 5 y = 3e x cos x , con las condiciones iniciales y ( 0 ) = 0 y
y ' ( 0 ) = 0 . Ntese, que podemos tomar a y ' ( 0 ) = 2 ( p + 1) como condicin inicial.
Aplicamos la transformada de Laplace a ambos miembros de la igualdad,
esto es

L [ y ''] + L [ 2 y '] + L [5y ] = L 3e x cos x


utilizando los resultados obtenidos anteriormente, obtenemos
p 2 L [ y ] py ( 0 ) y ' ( 0 ) + 2 p L [ y ] 2 y ( 0 ) + 5 L [ y ] = 3

L [ y ] ( p 2 + 2 p + 5 ) ( p + 2 ) y (0) y ' ( 0 ) =

p +1

( p + 1)

+1

3p + 3

( p + 1)

+1

sustituyendo las condiciones iniciales, despejando y utilizando una descomposicin


en fracciones parciales, obtenemos

L[ y] =

3p + 3
p +1
p +1
= 2
2
2
( p + 2 p + 2 )( p + 2 p + 5) p + 2 p + 2 p + 2 p + 5
2

p +1

( p + 1)

+1

p +1

( p + 1)

+4

aplicando la transformada inversa, obtenemos

p +1
p +1
1
L 1 (L [ y ] ) = L 1

( p + 1)2 + 1
( p + 1)2 + 4

y = e x cos x e x cos ( 2 x ) .
Por intermedio de los comandos del MatLab, obtenemos la solucin
particular, as como la solucin grafica (figura 5):
19

Ecuaciones diferenciales en el contexto del MatLab


>> maple('L:=p->laplace(diff(y(x),x$2)+2*diff(y(x),x)+5*y(x),x,p)');
>> pretty(simple(sym(maple('subs(y(0)=0,(D(y))(0)=0,L(p))'))))
2

laplace(y(x), x, p) (p + 2 p + 5)
>> maple('L1:=p->laplace(3*exp(-x)*cos(x),x,p)');
>> pretty(simple(sym('L1(p)')))
p+1
3 -----------2

(p + 1) + 1
>> pretty(simple(sym(maple('solve(L(p)=L1(p),laplace(y(x),x,p))'))))
3

(y(0) p + (4 y(0) + D(y)(0)) p + (3 + 2 D(y)(0) + 6 y(0)) p + 3


/ 4
3
2
+ 2 D(y)(0) + 4 y(0)) / (p + 4 p + 11 p + 14 p + 10)
/
>> maple('TL:=p->solve(L(p)=L1(p),laplace(y(x),x,p))');
>> pretty(simple(sym('subs(y(0)=0,(D(y))(0)=0,TL(p))')))
3+3p
----------------------------4

p + 4 p + 11 p + 14 p + 10
>> maple('TLO:=p->simplify(subs(y(0)=0,(D(y))(0)=0,TL(p)))');
>> solucion=simple(sym(maple('invlaplace(TLO(p),p,x)')));
>> pretty(solucion)
exp(-x) (cos(x) - cos(2 x))
>> x=(-2*pi:0.1:2*pi);
>> y=exp(-x).*cos(x)-exp(-x).*cos(2*x);
>> plot(x,y)
Cuadro 8
20

Carlos ez

Figura 5

Solucin en series de potencias de ecuaciones lineales Mtodo de las series de

Taylor

a x
n

= a0 + a1 x + a2 x 2 +  + an x n + 

n =0

Consideremos las ecuaciones


a) y '' xy ' y = 0

b) y ''+ 3 y = 0

a) Conjeturemos que la ecuacin tiene una solucin expresada como serie de


potencias, es decir

y = an x n = a0 + a1 x + a2 x 2 + a3 x3 +  + an x n + 
n =0

determinemos los coeficientes de la serie, para ello es necesario precisar y ' y y ''

y ' = nan x n1 = a1 + 2a2 x + 3a3 x 2 + 4a4 x3 +  + nan x n1 + 


n =1

y '' = n ( n 1) an x n2 = 2 1a2 + 3 2a3 x + 4 3a4 x 2 +  + n ( n 1) an x n2 + 


n =2

21

Ecuaciones diferenciales en el contexto del MatLab


al sustituir en la ecuacin, es conveniente que la primera y segunda serie tengan el
ndice igual a la tercera, esto es

n= 2

n=2

n=2

n ( n 1) an xn2 x ( n 1) an1xn2 an2 xn2 = 0

( 2 1a

+ 3 2a3 x + 4 3a4 x 2 + 5 4a5 x3 +  + n ( n 1) an x n2 + )


( a1 x + 2a2 x 2 + 3a3 x3 +  + ( n 2 ) an2 x n2 + )
( a0 + a1 x + a2 x 2 + a3 x3 +  + an2 x n2 + ) = 0

reuniendo las potencias iguales de x, obtenemos

( 2 1a2 a0 ) + ( 3 2a3 a1 a1 ) x + ( 4 3a4 2a2 a2 ) x 2


+ ( 5 4a5 3a3 a3 ) x3 +  + ( n ( n 1) an ( n 2 ) an2 an2 ) x n2 +  = 0
esta ecuacin se satisface si todos los coeficientes son nulos, este hecho produce las
relaciones de recurrencia siguientes
2 1a2 a0 = 0 , 3 2a3 2a1 = 0 , 4 3a4 3a2 = 0 ,
5 4a5 4a3 = 0 ,  , n ( n 1) an ( n 1) an2 = 0 , 
resolviendo cada ecuacin y considerando a a0 y a1 como constantes cualesquiera
A y B, obtenemos
ndices pares

a2 =

a0
A
3
1A
A
( n 1) a = 1 a ,
= , a4 =
a2 =
=
,  , an =
n2
n 2
2 1 2
43
4 2 4 2
n ( n 1)
n

pero
22

Carlos ez

an2 =

( n 3) a = 1 a
( n 2 )( n 3) n4 ( n 2 ) n4

pero
an4 =

1
a
( n 4 ) n 6

luego
1
1
1
an = an2 =
an4 =
an6 = 
n
n ( n 2)
n ( n 2 )( n 4 )
entonces
an =

A
n ( n 2 )  4 2

por tanto
a2 n =

A
2 4  ( 2n )

ndices impares
a3 =

2a1 B
= ,
3 2 3

a5 =

4
1B
B
a3 =
=
,
54
5 3 53

en general
a2 n1 =

B
3 5  ( 2n 1)

la solucin general, es

1 4
1
y = A 1 + x 2 +
x + +
x 2n + 
24
2 4  ( 2n )
2

23

Ecuaciones diferenciales en el contexto del MatLab

1
1 5
1
+ B x + x3 +
x + +
x 2 n1 +  .
3
35
3 5  ( 2n 1)

b) Conjeturemos que la ecuacin presente una solucin expresada como serie de


potencias, es decir

y = an x n = a0 + a1 x + a2 x 2 + a3 x3 +  + an x n + 
n =0

para obtener los coeficientes es necesario determinar y ''

y '' = n ( n 1) an x n2 = 2 1a2 + 3 2a3 x + 4 3a4 x 2 +  + n ( n 1) an x n2 + 


n =2

al sustituir en la ecuacin, es conveniente que la primera serie tengan el ndice igual


al de la tercera, esto es

n=2

n =2

n ( n 1) an xn2 + 3 an2 xn2 = 0

( 2 1a

+ 3 2a3 x + 4 3a4 x 2 + 5 4a5 x3 +  + n ( n 1) an x n2 + )

+ ( 3a0 + 3a1 x + 3a2 x 2 + 3a3 x 3 +  + 3 an2 x n2 + ) = 0


reuniendo las potencias iguales de x, obtenemos

( 2 1a2 + 3a0 ) + ( 3 2a3 + 3a1 ) x + ( 4 3a4 + 3a2 ) x 2


+ ( 5 4a5 + 3a3 ) x 3 +  + ( n ( n 1) an + 3an2 ) x n2 +  = 0
para que la serie de potencias sea igual a cero, cada coeficiente debe ser cero, esto
es
24

Carlos ez
2 1a2 + 3a0 = 0 , 3 2a3 + 3a1 = 0 , 4 3a4 + 3a2 = 0 ,
5 4a5 + 3a3 = 0 ,  , n ( n 1) an + 3an2 = 0 , 

as, obtenemos las relaciones de recurrencia siguientes


ndices pares

ndices impares

consideremos a0 una constante


cualquiera A

consideremos a1 una constante


cualquiera B

2 1a2 + 3a0 = 0 a2 =
4 3a4 + 3a2 = 0 a4 =

3A
2 1

3 2a3 + 3a1 = 0 a3 =

3 3A

4 3 2 1

5 4a5 + 3a3 = 0 a5 =

32 A
a4 =
4 3 2 1
deducimos que

3B
3 2

3 3B

5 4 3 2

32 B
a5 =
5 4 3 2
deducimos que

A
a2 n = ( 3)
( 2n )( 2n 1)  3 2 1
n

a2 n = ( 3)

a2 n+1 = ( 3)

A
.
( 2 n )!

A
( 2n + 1)( 2n )  3 2 1

a2 n+1 = ( 3)

B
( 2n + 1)!

luego
3 A 2 3B 3 32 A 4 32 B 5
y = A + Bx
x
x +
x +
x 
2!
3!
4!
5!
n
n

3)
3 )
3 2 32 4
(
3 3 32 5
(
y = A 1 x + x  +
 + B x x + x  +

2!
4!
5!
( 2n )! 3!
( 2n + 1)!

25

Ecuaciones diferenciales en el contexto del MatLab



1 2n
1
n
n
y = A ( 3 )
x + B ( 3 )
x 2 n+1
( 2 n )! n = 0
( 2n + 1)!
n =0

por lo tanto, la solucin general es


y = A cos

( 3x ) + Bsen ( 3x ) .

Por intermedio de los comandos del MatLab, obtenemos las soluciones


generales y particulares para y ( 0 ) = 1 y y ' ( 0 ) = 1 :

a) >> maple('dsolve(diff(y(x),x$2)-x*diff(y(x),x)-y(x)=0,y(x),series)')
ans =
y(x) = series(y(0)+D(y)(0)*x+(1/2*y(0))*x^2+(1/3*D(y)(0))*x^3
+(1/8*y(0))*x^4+(1/15*D(y)(0))*x^5+O(x^6),x,6)
>> pretty(simple(sym(maple('dsolve({diff(y(x),x$2)-x*diff(y(x),x)
-y(x)=0,y(0)=1,D(y)(0)=1},y(x),series)'))))
2

y(x) = 1 + x + 1/2 x + 1/3 x + 1/8 x + 1/15 x + O(x )

b) >> pretty(simple(sym(maple('dsolve(diff(y(x),x$2)+3*y(x)=0,y(x),series)'))))
2

y(x) = y(0) + D(y)(0) x - 3/2 y(0) x - 1/2 D(y)(0) x + 3/8 y(0) x +


5

3/40 D(y)(0) x + O(x )


>>pretty(simple(sym(maple('dsolve({diff(y(x),x$2)+3*y(x)=0,
y(0)=1,D(y)(0)=1},y(x),series)'))))
2

y(x) = 1 + x - 3/2 x - 1/2 x + 3/8 x + 3/40 x + O(x )

26

Carlos ez

>> pretty(simple(sym(maple('dsolve({diff(y(x),x$2)+3*y(x)=0,
y(0)=1,D(y)(0)=0},y(x),series)'))))
2

y(x) = 1 - 3/2 x + 3/8 x + O(x ), (donde

y ( 0 ) = 1 , y '( 0 ) = 0 )

>> pretty(simple(sym(maple('dsolve({diff(y(x),x$2)+3*y(x)=0,
y(0)=0,D(y)(0)=1},y(x),series)'))))
3

y(x) = x - 1/2 x + 3/40 x + O(x ), (donde

y ( 0 ) = 0 , y '( 0 ) = 1 )

Cuadro 9

Sistemas de ecuaciones diferenciales lineales de primer orden


dx
dt = a1 ( t ) x + b1 ( t ) y + f1 ( t )

dy = a ( t ) x + b ( t ) y + f ( t )
2
2
2
dt

Sistemas lineales homogneos con coeficientes constantes mtodo de valores


propios
dx
dt = a1 x + b1 y

dy = a x + b y
2
2
dt

Consideremos los sistemas siguientes

a)

dx
dt = x + 4 y

dy = x + y
dt

b)

27

dx
dt = x y

dy = 4 x + y
dt

Ecuaciones diferenciales en el contexto del MatLab


Puesto que, un sistema de ecuaciones lineales homogneo con coeficientes
constantes es reducible a una ecuacin diferencial lineal homognea de segundo
orden con coeficientes constantes, podemos conjeturar que el sistema presenta una
solucin de la forma
x = Ae mt

mt
y = Be

derivando y sustituyendo esta posible solucin en el sistema, obtenemos


mt
mt
mt
Ame = Ae + 4 Be
(1 m ) A + 4 B = 0

, donde A y B son incgnitas

mt
mt
mt
A
m
B
+
1

=
0
(
)

Bme = Ae + Be

para que este sistema de ecuaciones tenga solucin, es necesario que


det

1 m
4
=0
1
1 m

si es diferente de cero, se obtiene la solucin trivial A = B = 0


desarrollando el determinante, obtenemos la ecuacin polinomial asociada o
auxiliar
m 2 2m 3 = 0 ( m + 1)( m 3) = 0 m1 = 1, m2 = 3
si m = -1, obtenemos

2 A + 4 B = 0

A + 2B = 0
es claro, que estas ecuaciones son mltiplos entre s, luego el determinante es cero,
por tanto existen soluciones no triviales, una de ellas es A = -2, B = 1, entonces

28

Carlos ez
x = 2e t

t
y = e
si m = 3, obtenemos

2 A + 4 B = 0

A 2B = 0
es claro, que estas ecuaciones son mltiplos entre s, luego el determinante es cero,
por tanto existen soluciones no triviales, una de ellas es A = 2, B = 1, entonces

x = 2e3t

3t
y = e
es evidente, que los dos conjuntos solucin obtenidos son linealmente
independientes, por lo tanto la solucin general del sistema es

x = 2C1e t + 2C2e3t
.

t
3t
y
=
C
e
+
C
e

1
2
b) Antes de resolver, el sistema, es prudente hacer ciertas consideraciones, a saber
los coeficientes A y B son nmeros complejos, esto es A = A1 + A2i y B = B1 + B2i ,
por lo tanto

x = ( A1 + A2i ) e( a +bi ) t

( a +bi ) t
y = ( B1 + B2i ) e

x = ( A1 + A2i ) e( a bi ) t

( a bi ) t
y = ( B1 + B2i ) e

Aplicando la frmula de Euler en la primera solucin particular propuesta del


sistema, obtenemos

x = ( A1 + A2i ) eat ( cos ( bt ) + isen ( bt ) )

at
y = ( B1 + B2i ) e ( cos ( bt ) + isen ( bt ) )
29

Ecuaciones diferenciales en el contexto del MatLab

(
(

)
)

x = ( A1 cos ( bt ) A2 sen ( bt ) ) + i ( A1sen ( bt ) + A2 cos ( bt ) ) e at

at
y = ( B1 cos ( bt ) B2 sen ( bt ) ) + i ( B1sen ( bt ) + B2 cos ( bt ) ) e
luego, las soluciones con valores reales son

x = ( A1 cos ( bt ) A2 sen ( bt ) ) eat


x = ( A1sen ( bt ) + A2 cos ( bt ) ) e at
y

at
at
y
=
B
cos
bt

B
sen
bt
e
( 1 ( ) 2 ( ))

y = ( B1sen ( bt ) + B2 cos ( bt ) ) e
es claro que estas soluciones son linealmente independientes, por lo tanto la
solucin general del sistema, es

(
(

)
)

x = C1 ( A1 cos ( bt ) A2 sen ( bt ) ) + C2 ( A1sen ( bt ) + A2 cos ( bt ) ) e at

at
y = C1 ( B1 cos ( bt ) B2 sen ( bt ) ) + C2 ( B1sen ( bt ) + B2 cos ( bt ) ) e
Obsrvese, que si se aplica un procedimiento similar a la segunda solucin
propuesta, obtenemos la misma solucin general.
Resolvamos, bajo estas premisas, el sistema en consideracin, para ello
conjeturemos que el sistema presenta una solucin de la forma
mt
x = Ae

mt
y = Be

derivando y sustituyendo esta posible solucin en el sistema, obtenemos

Amemt = Aemt Be mt
(1 m ) A B = 0

mt
mt
mt
Bme = 4 Ae + Be
4 A + (1 m ) B = 0
para que este sistema de ecuaciones tenga solucin, es necesario que

30

Carlos ez

det

1 m
1
=0
4
1 m

si es diferente de cero, se obtiene la solucin trivial A = B = 0


desarrollando el determinante, obtenemos la ecuacin polinomial asociada o
auxiliar
m 2 2m + 5 = 0 m = 1 2i

si m = 1 + 2i , obtenemos

2iA B = 0

4 A 2iB = 0
es claro, que estas ecuaciones son mltiplos entre s, luego el determinante es cero,
por tanto existen soluciones no triviales, una de ellas es A = 1, B = -2i, entonces

x = e(1+ 2i )t = et ( cos ( 2t ) + isen ( 2t ) )

(1+ 2 i )
= 2iet ( cos ( 2t ) + isen ( 2t ) ) = et ( 2i cos ( 2t ) + 2isen ( 2t ) )
y = 2ie
luego, las soluciones con valores reales son
x = cos ( 2t ) et

t
y = 2 sen ( 2t ) e

x = sen ( 2t ) et

t
y = 2cos ( 2t ) e

es claro que estas soluciones son linealmente independientes, por lo tanto la


solucin general del sistema, es
x = ( C1 cos ( 2t ) + C2 sen ( 2t ) ) et

t
y = 2 ( C1sen ( 2t ) C2 cos ( 2t ) ) e

31

Ecuaciones diferenciales en el contexto del MatLab


Ahora, obtenemos la solucin general de los dos sistemas, as como la
solucin particular, mediante el mtodo de las series de Taylor, del segundo para
x(0) = 1 y y(0) = 1, utilizando los comandos de MatLab:
a) >> S=dsolve('Dx=x+4*y,Dy=x+y','t');
>> pretty(sym([S.x,S.y]))
[1/2 C1 exp(-t) + 1/2 C1 exp(3 t) + C2 exp(3 t) - C2 exp(-t) ,
1/4 C1 exp(3 t) - 1/4 C1 exp(-t) + 1/2 C2 exp(-t) + 1/2 C2 exp(3 t)]

>> pretty(sym(maple('dsolve({diff(x(t),t)=x(t)+4*y(t),diff(y(t),t)=x(t)+y(t)},
{x(t),y(t)})')))
{x(t) = 1/2 _C1 exp(-t) + 1/2 _C1 exp(3 t) + _C2 exp(3 t) - _C2 exp(-t),
y(t) = 1/4 _C1 exp(3 t) - 1/4 _C1 exp(-t) + 1/2 _C2 exp(-t)
+ 1/2 _C2 exp(3 t)}
b) >> S=dsolve('Dx=x-y,Dy=4*x+y','t');
>> pretty(sym([S.x,S.y]))
[- 1/2 exp(t) (-2 cos(2 t) C1 + sin(2 t) C2) ,exp(t) (2 sin(2 t) C1 + cos(2 t) C2)]
Mtodo de las series de Taylor
>> pretty(simple(sym(maple('dsolve({diff(x(t),t)-x+y=0,diff(y(t),t)-4*x-y=0,
x(0)=1,y(0)=1},{x(t),y(t)},series)'))))
55 4
5
6
{y(t) = 1 + 5 t + 5/2 t - 5/2 t - ---- t - 7/24 t + O(t ),
24
2

x(t) = 1 - 5/2 t - 5/3 t + 5/24 t + 1/2 t + O(t )}


Cuadro 10

32

Carlos ez

Sistemas lineales no homogneos con coeficientes constantes


dx
dt = a1 x + b1 y + f1 ( t )

dy = a x + b y + f ( t )
2
2
2
dt

Mtodo de coeficientes indeterminados


Consideremos el sistema siguiente
dx
2t
dt = 3 x y + e

dy = 4 x 2 y
dt
En primer lugar presentemos la solucin general del sistema homogneo
x = C1e t + C2e2t

2t
t
y = 4C1e + C2e
De esta solucin se desprende, que no es admisible considerar la solucin
x = Ae2t , y = Be2t , como solucin particular del sistema lineal no homogneo,
puesto que es una solucin (para C1 = 0) de la solucin general del sistema
homogneo.
Por la experiencia en la solucin de ecuaciones diferenciales no homogneas,
conjeturemos que una solucin particular es
x = ( A1 + A2t ) e2t

2t
y = ( B1 + B2t ) e
derivando y sustituyendo en el sistema, obtenemos
33

Ecuaciones diferenciales en el contexto del MatLab


( 2 A1 + A2 + 2 A2t ) e2t = ( 3 A1 + 3 A2t ) e 2t + ( B1 B2t ) e 2t + e 2t

2t
2t
2t
( 2 B1 + B2 + 2 B2t ) e = ( 4 A1 + 4 A2t ) e + ( 2 B1 2 B2t ) e
( A2 B2 ) t + ( A1 A2 B1 + 1) = 0

( 4 A2 4 B2 ) t + ( 4 A1 4 B1 B2 ) = 0
para que estas ecuaciones sean nulas, los coeficientes tienen que ser igual a cero,
esto es

A2 B2 = 0

4 A2 4 B2 = 0

A1 A2 B1 + 1 = 0
4 A 4 B B = 0
1
2
1
de (i) y (ii) obtenemos que A2 = B2, de (iv)

(i )
( ii )
( iii )
( iv )
A1 B1 = B2/4, de esta ltima

expresin y de (iii), obtenemos


B2
4
4
1
B2 = 1 B2 = = A2 A1 B1 = 1 =
4
3
3
3
haciendo B1 = 0, entonces A1 = 1/3, luego

1 4 2t
x = 3 + 3 t e

y = 4 t e2t

3
por lo tanto, la solucin general es

1 4 2t
t
x = C1e + C2 + + t e

3 3

y = 4C e t + C + 4 t e2t
1
2

34

Carlos ez
Ahora, obtenemos la solucin general y particular utilizando los comandos
de MatLab:
>> S=dsolve('Dx=3*x-y+exp(2*t),Dy=4*x-2*y','t');
>> pretty(sym([S.x,S.y]))
[- 1/3 C1 exp(-t) + 4/3 C1 exp(2 t) - 1/3 C2 exp(2 t) + 1/3 C2 exp(-t)
- 1/9 exp(2 t) + 4/3 exp(2 t) t , 4/3 C1 exp(2 t) - 4/3 C1 exp(-t)
+ 4/3 C2 exp(-t) - 1/3 C2 exp(2 t) + 4/3 exp(2 t) t - 4/9 exp(2 t)]
Mtodo de las series de Taylor
>> pretty(simple(sym(maple('dsolve({diff(x(t),t)-3*x+y-exp(2*t)=0,diff(y(t),t)
-4*x+2*y=0,x(0)=1,y(0)=1},{x(t),y(t)},series)'))))
2

{x(t) = 1 + 3 t + 9/2 t + 23/6 t + 19/8 t + 9/8 t + O(t ),


31 5
6
y(t) = 1 + 2 t + 4 t + 10/3 t + 13/6 t + --- t + O(t )}
30
2

Cuadro 11

Mtodo de variacin de parmetro


Consideremos el sistema siguiente
dx
t
dt = 3 x + 2 y + e

dy = x + 2 y + e 4t
dt
En primer lugar, consideremos la solucin general del sistema homogneo,
para ello conjeturemos que tiene una solucin de la forma

35

Ecuaciones diferenciales en el contexto del MatLab


mt
x = Ae

mt
y = Be

derivando y sustituyendo esta posible solucin en el sistema, obtenemos


Amemt = 3 Aemt + 2 Be mt
( 3 m ) A + 2 B = 0

mt
mt
mt
Bme = Ae + 2 Be
A + ( 2 m ) B = 0
para que este sistema de ecuaciones tenga solucin, es necesario que
det

3m
2
=0
1
2m

si es diferente de cero, se obtiene la solucin trivial A = B = 0


desarrollando el determinante, obtenemos la ecuacin polinomial asociada o
auxiliar
m 2 5m + 4 = 0 ( m 1)( m 4 ) = 0
si m = 1, obtenemos
2 A + 2 B = 0

A + B = 0
es claro, que estas ecuaciones son mltiplos entre s, luego el determinante es cero,
por tanto existen soluciones no triviales, una de ellas es A = 1, B = 1, entonces
x = et

t
y = e
si m = 4, obtenemos

36

Carlos ez

A + 2 B = 0

A 2B = 0
es claro, que estas ecuaciones son mltiplos entre s, luego el determinante es cero,
por tanto existen soluciones no triviales, una de ellas es A = 2, B = 1, entonces
4t
x = 2e

4t
y = e

es evidente, que los dos conjuntos solucin obtenidos son linealmente


independientes, por lo tanto la solucin general del sistema homogneo, es
x = C1et + 2C2e 4t
.

t
4t
y = C1e + C2e
Ahora, consideremos una solucin particular del sistema no homogneo, esto
es
x = u1et + u2 ( 2e 4t )

, donde u1 y u2 son funciones de t desconocidas

t
4t
y = u1 ( e ) + u2e
derivando y sustituyendo en el sistema, obtenemos
u1' et + u1et + 2u2' e 4t + 8u2e 4t = 3u1et + 6u2e 4t 2u1et + 2u2e 4t + et
' t
t
' 4t
4t
t
4t
t
4t
4t
u1e u1e + u2e + 4u2e = u1e + 2u2e 2u1e + 2u2e + e
u1' et + 2u2' e 4t = et
1 2 3 t ' 1 1 3 t
'
' t

=
e , u2 = + e
u
1
' 4t
4t
3
3
3 3

u
e
+
u
e
=
e
1
2
integrando, obtenemos
1 2
1 1
1 2
1 1

u1 = e3t dt = t e3t y u2 = + e 3t dt = t e3t


3 9
3 9
3 3
3 3

37

Ecuaciones diferenciales en el contexto del MatLab


por lo tanto, la solucin general del sistema, es

1 2 3 t t 1 1 3 t 4 t
t
4t
x
=
C
e
+
2
C
e
+
1
2
t e e + t e ( 2e )

3 9
3 9

y = C e t + C e 4 t + 1 t 2 e 3 t ( e t ) + 1 t 1 e 3 t e 4 t
1
2

3 9
3 9

1 2 t
1 1 4t
t
4t
x
=
C
e
+
2
C
e
+
t

e
+
2
1
2

t e

3 9
3 9

y = C et + C e 4t 1 t + 1 et + 1 t + 2 e4t

1
2

3 9
3 9
Ahora, obtenemos la solucin general y particular utilizando los comandos
de MatLab:
>> S=dsolve('Dx=3*x+2*y+exp(t),Dy=x+2*y+exp(4*t)','t');
>> pretty(sym([S.x,S.y]))
[1/3 C1 exp(t) + 2/3 C1 exp(4 t) + 2/3 C2 exp(4 t) - 2/3 C2 exp(t)
+ 1/3 t exp(t) - 2/9 exp(4 t) + 2/3 t exp(4 t) - 2/9 exp(t) ,
1/3 C1 exp(4 t) - 1/3 C1 exp(t) + 2/3 C2 exp(t) + 1/3 C2 exp(4 t)
+ 1/3 t exp(4 t) - 1/9 exp(t) - 1/3 t exp(t) + 2/9 exp(4 t)]

>> pretty(sym(maple('dsolve({diff(x(t),t)=3*x(t)+2*y(t)+exp(t),
diff(y(t),t)=x(t)+2*y(t)+exp(4*t)},{x(t),y(t)})')))
{x(t) = 1/3 _C1 exp(t) + 2/3 _C1 exp(4 t) + 2/3 _C2 exp(4 t)
- 2/3 _C2 exp(t) + 1/3 t exp(t) - 2/9 exp(4 t) + 2/3 t exp(4 t)
- 2/9 exp(t), y(t) = 1/3 _C1 exp(4 t) - 1/3 _C1 exp(t)
+ 2/3 _C2 exp(t) + 1/3 _C2 exp(4 t) + 1/3 t exp(4 t) - 1/9 exp(t)
- 1/3 t exp(t) + 2/9 exp(4 t)}
38

Carlos ez

>> S=dsolve('Dx=3*x+2*y+exp(t),Dy=x+2*y+exp(4*t)','x(0)=1,y(0)=1','t');
>> pretty(simple(sym([S.x,S.y])))
[(1/3 exp(t) + 2/3 exp(4 t)) t - 1/3 exp(t) + 4/3 exp(4 t) ,
(1/3 exp(4 t) - 1/3 exp(t)) t + exp(4 t)]
Cuadro 12

Bibliografa
Garca, J. et al. (2002). Aprenda Matlab 6.1 como si estuviera en primero.
Madrid: Escuela Tcnica Superior de Ingenieros Industriales, Universidad
Politcnica de Madrid.
Golubitsky, M. y Dellnitz, M. (1999). Linear algebra and differential equations
using MATLAB. New York: Brooks Cole Publishing Company.
Ledder, G. (2006). Differential equations: a modeling approach. New York:
McGraw-Hill, Inc.
MATLAB (Matriz LABoratory). (2001). The language of technical computing.
Version 6.1.0.450 Release 12.1. New York: The MathWohk, Inc.
Nez R., C. (2000). Sucesiones y series. Trabajo se ascenso a la Categora de
Asociado. Universidad Nacional Experimental del Tchira UNET. San
Cristbal, Venezuela.
Nez R., C. (2003). Los nmeros complejos en el entorno Maple 7. Alep Sub
Cero, Serie de Divulgacin. 2003-I(I), 5373. Venezuela.
Prez, C. (1999). Anlisis matemtico y lgebra lineal con MATLAB. Madrid:
ra-ma.
Simmons G. y Krantz, S. (2007). Ecuaciones diferenciales. Mxico: McGrawHill, Interamericana.
Takeuchi, Y. et al. (1978). Ecuaciones diferenciales. Mxico: Limusa.
39