SOLUCIÓN

FACULTAD DE INGENIERÍA
ECUACIONES DIFERENCIALES
PRIMER EXAMEN PARCIAL
2008 MARZO 7
> restart:
1) (20/100 puntos) DADA LA SIGUIENTE ECUACIÓN DIFERENCIAL ORDINARIA:
3
⎛ d y( x ) ⎞ − 4 x y( x ) ⎛ d y( x ) ⎞ + 8 y( x ) 2 = 0
⎜⎜ ⎟⎟ ⎜⎜ ⎟⎟
⎝ dx ⎠ ⎝ dx ⎠
E INDIQUE CUÁLES DE LAS SIGUIENTES FUNCIONES SON SU SOLUCIÓN Y DE
QUÉ TIPO (general, particular o singular) Y CUÁLES NO LO SON,
ARGUMENTANDO CADA RESULTADO (2 puntos cada una):

y1 = _C1 x2 − 2 x _C1 3 + _C1 2

y2 = _C1 x2 − 2 x _C1 2 + _C1 3

y3 = x 2 _C1 3 − 2 x _C1 2 + _C1

y4 = x2 + 2 x + 1

y5 = x2 − 2 x + 1

y6 = 2 x2 − 8 x + 8

y7 = −3 x2 − 18 x − 27

2 x3
y8 =
9
4 x3
y9 =
27
4 x3
y10 = −
27
> restart:
SOLUCIÓN
> ecuacion:=diff(y(x),x)^3-4*x*y(x)*diff(y(x),x)+8*y(x)^2 = 0;
3
ecuacion := ⎛⎜⎜ y( x ) ⎟⎟⎞ − 4 x y( x ) ⎜⎜⎛ y( x ) ⎞⎟⎟ + 8 y( x ) 2 = 0
d d
⎝ dx ⎠ ⎝ dx ⎠
comprobaciones
> sol_1:=y[1] = _C1*x^2-2*x*_C1^3+_C1^2;
 sol_1 := y1 = _C1 x2 − 2 x _C1 3 + _C1 2

>
comprobacion_1:=simplify(eval(subs(y(x)=rhs(sol_1),ecuacion))
);
comprobacion_1 := 8 _C1 3 x3 − 24 x2 _C1 5 + 24 x _C1 7 − 8 _C1 9 − 8 x3 _C1 4
+ 16 x2 _C1 6 + 8 x2 _C1 3 − 24 x _C1 5 + 8 _C1 4 = 0
y[1] no es solución
> sol_2:=y[2] = _C1*x^2-2*x*_C1^2+_C1^3;
sol_2 := y2 = _C1 x2 − 2 x _C1 2 + _C1 3

>
comprobacion_2:=simplify(eval(subs(y(x)=rhs(sol_2),ecuacion))
);
comprobacion_2 := 0 = 0
y[2] es la solución general
> sol_3:=y[3] = x^2*_C1^3-2*x*_C1^2+_C1;
sol_3 := y3 = x2 _C1 3 − 2 x _C1 2 + _C1

>
comprobacion_3:=simplify(eval(subs(y(x)=rhs(sol_3),ecuacion))
);
comprobacion_3 := 8 x3 _C1 9 − 24 x2 _C1 8 + 24 x _C1 7 − 8 _C1 6 − 8 x3 _C1 5
+ 24 x2 _C1 4 − 24 x _C1 3 + 8 _C1 2 = 0
y[3] no es solución
> sol_4:=y[4] = x^2+2*x+1;
sol_4 := y4 = x2 + 2 x + 1

>
comprobacion_4:=simplify(eval(subs(y(x)=rhs(sol_4),ecuacion))
);
comprobacion_4 := 16 x 3 + 48 x2 + 48 x + 16 = 0
y[4] no es solución
> sol_5:=y[5] = x^2-2*x+1;
sol_5 := y5 = x2 − 2 x + 1

>
comprobacion_5:=simplify(eval(subs(y(x)=rhs(sol_5),ecuacion))
);
comprobacion_5 := 0 = 0
> parametro_1:=solve(rhs(sol_5)=rhs(sol_2),_C1);
 1 4x−3 1 4x−3
parametro_1 := 1, x − + ,x− −
2 2 2 2
y[5] es una solución particular cuando _C1 = 1
> sol_6:=y[6] = 2*x^2-8*x+8;
sol_6 := y6 = 2 x2 − 8 x + 8

>
comprobacion_6:=simplify(eval(subs(y(x)=rhs(sol_6),ecuacion))
);
comprobacion_6 := 0 = 0
> parametro_2:=solve(rhs(sol_6)=rhs(sol_2),_C1);
parametro_2 := 2, x − 1 + 2 x − 3 , x − 1 − 2 x − 3
y[6] es una solución particular cuando _C1 = 2
> sol_7:=y[7] = -3*x^2-18*x-27;
sol_7 := y7 = −3 x2 − 18 x − 27

>
comprobacion_7:=simplify(eval(subs(y(x)=rhs(sol_7),ecuacion))
);
comprobacion_7 := 0 = 0
> parametro_3:=solve(rhs(sol_7)=rhs(sol_2),_C1);
3 −12 x − 27 3 −12 x − 27
parametro_3 := -3, x + + ,x+ −
2 2 2 2
y[7] es una solución particular cuando _C1 = - 3
> sol_8:=y[8] = 2/9*x^3;
2 x3
sol_8 := y8 =
9
>
comprobacion_8:=simplify(eval(subs(y(x)=rhs(sol_8),ecuacion))
);
8 x6
comprobacion_8 := =0
81
y[8] no es solución
> sol_9:=y[9] = 4/27*x^3;
4 x3
sol_9 := y9 =
27
>
comprobacion_9:=simplify(eval(subs(y(x)=rhs(sol_9),ecuacion))
);
comprobacion_9 := 0 = 0
> parametro_4:=solve(rhs(sol_8)=rhs(sol_2),_C1);
⎛ ( 2 + 3 ) ( 1/ 3 ) 2 ⎞⎟ ⎛⎜
parametro_4 := ⎜⎜
1
+ + ⎟ x, ⎜
⎜⎜ 3 ( 1/ 3 ) 3 ⎟⎟ ⎜⎜
⎝ 3 (2 + 3 ) ⎠ ⎝
(2 + 3 )
( 1/ 3 )
⎛ ( 2 + 3 ) ( 1/ 3 ) ⎞⎞
− −
1
+
2 1
+ ⎜ −
1 ⎟⎟
I 3 ⎜ ⎟ ⎟
6 ( 1/ 3 ) 3 2 ⎜⎜ 3 ( 1/ 3 ) ⎟ ⎟
⎟⎟
6 (2 + 3 ) ⎝ 3 ( 2 + 3 ) ⎠⎠
⎛
x, ⎜⎜
⎜⎜
⎝
(2 + 3 )
( 1/ 3 )
⎛ ( 2 + 3 ) ( 1/ 3 ) ⎞⎞
− −
1
+
2 1
− ⎜ −
1 ⎟⎟
I 3 ⎜ ⎟⎟
6 ( 1/ 3 ) 3 2 ⎜⎜ 3 ( 1/ 3 ) ⎟ ⎟
⎟⎟
6 (2 + 3 ) ⎝ 3 ( 2 + 3 ) ⎠⎠
x
y[9] es una solución singular dado que no hay ningún valor de _C1 que la genere
> sol_10:=y[10] = -4/27*x^3;
4 x3
sol_10 := y10 = −
27
>
comprobacion_10:=simplify(eval(subs(y(x)=rhs(sol_10),ecuacion
)));
128 x 6
comprobacion_10 := − =0
729
y[10] no es solución
> restart:
2) DADA LA SOLUCIÓN GENERAL SIGUIENTE:
(2 x) (2 x)
y( x ) = _C1 e + _C2 x e
a) (10/100 puntos) OBTENGA SU ECUACIÓN DIFERENCIAL
b) (10/100 puntos) DÉ LA CLASIFICACIÓN DE LA ECUACIÓN DIFERENCIAL
OBTENIDA (de qué orden; coeficientes constantes o variables, homogénea o no-
homogénea):
> restart:
SOLUCIÓN
> solucion:= y(x) = _C1*exp(2*x)+_C2*x*exp(2*x);
(2 x) (2 x)
solucion := y( x ) = _C1 e + _C2 x e
a)
>
sistema:=diff(solucion,x),diff(solucion,x$2):sistema[1];siste
ma[2];
d (2 x) (2 x) (2 x)
y( x ) = 2 _C1 e + _C2 e + 2 _C2 x e
dx
 d2 (2 x) (2 x) (2 x)
2
y( x ) = 4 _C1 e + 4 _C2 e + 4 _C2 x e
dx
> SOL:=solve({sistema},{_C1,_C2});
⎧ ⎛ d y( x ) ⎞ + ⎛⎜ d y( x ) ⎞⎟
2
⎪ − 2 ⎜
⎜ dx ⎟
⎟ ⎜ dx 2
⎪ ⎝ ⎠ ⎝ ⎟
⎪ ⎠,
SOL := ⎨⎪⎪ _C2 =
1
⎪ 2 (2 x)
⎩ e
⎛ d ⎞ ⎛ d2 ⎞ ⎛ d ⎞ ⎛ d2 ⎞⎫
−4 ⎜⎜ y( x ) ⎟⎟ + ⎜ 2 y( x ) ⎟ − 4 x ⎜⎜ y( x ) ⎟⎟ + 2 x ⎜⎜ 2 y( x ) ⎟⎟ ⎪⎪
⎜ ⎟
1 ⎝ d x ⎠ ⎝ dx ⎠ ⎝ d x ⎠ ⎝ dx ⎠ ⎪⎬⎪
_C1 = − ( 2 x ) ⎪⎪
4 e ⎭
>
ecuacion:=simplify(subs(_C1=rhs(SOL[2]),_C2=rhs(SOL[1]),soluc
ion));
1 ⎛ d2 ⎞
ecuacion := y( x ) = ⎛⎜⎜ y( x ) ⎞⎟⎟ − ⎜⎜ 2 y( x ) ⎟⎟
d
⎝ dx ⎠ 4 ⎝ dx ⎠
> ecuacion_diferencial:=-rhs(ecuacion)*4+lhs(ecuacion)*4=0;
⎛ d2 ⎞
ecuacion_diferencial := −4 ⎛⎜⎜ y( x ) ⎞⎟⎟ + ⎜⎜ 2 y( x ) ⎟⎟ + 4 y( x ) = 0
d
⎝ dx ⎠ ⎝ dx ⎠
b) ecuación diferencial ordinaria lineal de segundo orden, coeficientes constantes,
homogénea {EDOL(2)ccH}
>
> restart:
3) (30/100 puntos) OBTENGA LA SOLUCIÓN PARTICULAR DE LA SIGUIENTE
ECUACIÓN DIFERENCIAL CON LA CONDICIÓN INICIAL DADA - UTILIZANDO
EXCLUSIVAMENTE EL MÉTODO DE FACTOR INTEGRANTE - (no se puede
utilizar dsolve ni exactsol; pero sí se puede utilizar intfactor)
2 x2 y( x ) + 2 y( x ) + 5 + ( 2 x3 + 2 x ) ⎛⎜⎜ y( x ) ⎞⎟⎟ = 0
d
⎝ dx ⎠
y( 1 ) = -2
> restart:
SOLUCIÓN
> ecuacion:=2*x^2*y(x)+2*y(x)+5+(2*x^3+2*x)*diff(y(x),x) = 0;
ecuacion := 2 x2 y( x ) + 2 y( x ) + 5 + ( 2 x3 + 2 x ) ⎛⎜⎜ y( x ) ⎞⎟⎟ = 0
d
⎝ dx ⎠
> with(DEtools):
> FI:=intfactor(ecuacion);
1
FI :=
x +1
2

> M(x,y):=2*x^2*y+2*y+5;N(x,y):=2*x^3+2*x;
 M( x, y ) := 2 x 2 y + 2 y + 5
N( x, y ) := 2 x3 + 2 x
> comprobacion_1:=diff(M(x,y),y)-diff(N(x,y),x)=0;
comprobacion_1 := −4 x 2 = 0
no es exacta
> MM(x,y):=M(x,y)*FI;NN(x,y):=N(x,y)*FI;
2 x2 y + 2 y + 5
MM( x, y ) :=
x2 + 1
2 x3 + 2 x
NN( x, y ) :=
x2 + 1
> comprobacion_2:=simplify(diff(MM(x,y),y)-diff(NN(x,y),x))=0;
comprobacion_2 := 0 = 0
ya es exacta
> IMM_x:=simplify(int(MM(x,y),x));
IMM_x := 2 y x + 5 arctan ( x )
> solucion_general:=simplify(IMM_x+int((NN(x,y)-
diff(IMM_x,y)),y))=_C1;
solucion_general := 2 y x + 5 arctan ( x ) = _C1
> parametro:=isolate(subs(x=1,y=-2,solucion_general),_C1);
5π
parametro := _C1 = −4 +
4
>
solucion_particular:=y(x)=rhs(isolate(subs(_C1=rhs(parametro)
,solucion_general),y));
5π
−4 + − 5 arctan( x )
1 4
solucion_particular := y( x ) =
2 x
> comprobacion:=simplify(subs(x=1,solucion_particular));
comprobacion := y( 1 ) = -2
> restart:
4) DADA LA SIGUIENTE ECUACIÓN DIFERENCIAL:
e ⎛⎜⎜ s( t ) ⎞⎟⎟ − s( t ) = 1
( −t ) d

⎝ dt ⎠
a) (15/100 puntos) OBTENGA LA SOLUCIÓN GENERAL
b) (15/100 puntos) GRAFIQUE - PARA UN INTERVALO DE 0 < t < 1 - LA
SOLUCIÓN PARTICULAR QUE SATISFACE LA CONDICIÓN INICIAL
s( 0 ) = 2
> restart:
SOLUCIÓN
> ecuacion:=exp(-t)*diff(s(t),t)-s(t) = 1;
( −t ) ⎛ d ⎞
ecuacion := e ⎜⎜ s( t ) ⎟⎟ − s( t ) = 1
⎝ dt ⎠
a)
> solucion_general:=dsolve(ecuacion);
( et )
solucion_general := s( t ) = −1 + e _C1
b)
> condicion:=s(0) = 2;
condicion := s( 0 ) = 2
> solucion_particular:=dsolve({ecuacion,condicion});
t
(e )
3e
solucion_particular := s( t ) = −1 +
e
> plot(rhs(solucion_particular),t=0..1);

>
>
> restart:
>