Professional Documents
Culture Documents
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
dy
= f ( x)
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
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
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
Ecuaciones homogneas M ( x, y ) dx + ( x, y ) dy = 0
Consideremos la ecuacin diferencial
x 2 + y 2 + y dx xdy = 0
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
dx
x
dv
1 + v2
dx
ln x + C
ln v + 1 + v 2 = ln ( x ) + C v + 1 + v 2 = e ( ) = eC x = Ax
x
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 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
= ex =
.
y
x
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
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
Figura 3
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
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
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
n 1)
+ + a1 y ( ) + a0 y = f
n 1)
+ + a1 y ( ) + a0 y = 0
1
a) 2 y ''+ 5 y ' 3 y = 0
c) y '' 3 y '+ 4 y = 0
Solucin:
'
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
entonces, y1 = e
1
x
2
la solucin general es
y = Ae
1
x
2
+ Be 3 x .
3 9 16 3 7i
=
2
2
3+ 7i
x
2
y2 = e
3 7i
x
2
3+ 7i
x
2
+ Be
3 7i
x
2
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
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 )
C1 exp(-3 t) + C2 exp(1/2 t)
11
>> 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
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
1/2
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
'
cos x
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
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
2 4
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
>> 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
n 1)
+ + a1 xy ( ) + a0 y = f
1
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
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
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 ] ,
f = L 1[ F ] , es la
= 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 ] ( p 2 + 2 p + 5 ) ( p + 2 ) y (0) y ' ( 0 ) =
p +1
( p + 1)
+1
3p + 3
( p + 1)
+1
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
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
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
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
Taylor
a x
n
= a0 + a1 x + a2 x 2 + + an x n +
n =0
b) y ''+ 3 y = 0
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 ''
21
n= 2
n=2
n=2
( 2 1a
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
1
1 5
1
+ B x + x3 +
x + +
x 2 n1 + .
3
35
3 5 ( 2n 1)
y = an x n = a0 + a1 x + a2 x 2 + a3 x3 + + an x n +
n =0
n=2
n =2
( 2 1a
Carlos ez
2 1a2 + 3a0 = 0 , 3 2a3 + 3a1 = 0 , 4 3a4 + 3a2 = 0 ,
5 4a5 + 3a3 = 0 , , n ( n 1) an + 3an2 = 0 ,
ndices impares
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
1 2n
1
n
n
y = A ( 3 )
x + B ( 3 )
x 2 n+1
( 2 n )! n = 0
( 2n + 1)!
n =0
( 3x ) + Bsen ( 3x ) .
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
b) >> pretty(simple(sym(maple('dsolve(diff(y(x),x$2)+3*y(x)=0,y(x),series)'))))
2
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 ( 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 ( 0 ) = 0 , y '( 0 ) = 1 )
Cuadro 9
dy = a ( t ) x + b ( t ) y + f ( t )
2
2
2
dt
dy = a x + b y
2
2
dt
a)
dx
dt = x + 4 y
dy = x + y
dt
b)
27
dx
dt = x y
dy = 4 x + y
dt
mt
y = Be
mt
mt
mt
A
m
B
+
1
=
0
(
)
Bme = Ae + Be
1 m
4
=0
1
1 m
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
at
y = ( B1 + B2i ) e ( cos ( bt ) + isen ( bt ) )
29
(
(
)
)
at
y = ( B1 cos ( bt ) B2 sen ( bt ) ) + i ( B1sen ( bt ) + B2 cos ( bt ) ) e
luego, las soluciones con valores reales son
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
(
(
)
)
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
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 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
(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
t
y = 2 ( C1sen ( 2t ) C2 cos ( 2t ) ) e
31
>> 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
32
Carlos ez
dy = a x + b y + f ( t )
2
2
2
dt
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
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
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
Cuadro 11
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
mt
y = Be
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
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
t
4t
y = C1e + C2e
Ahora, consideremos una solucin particular del sistema no homogneo, esto
es
x = u1et + u2 ( 2e 4t )
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
37
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