Ecuacin diferencial lineal definida por

partes
Ejercicios:
a) +2 = ( ), (0) = 2,
( ) =
, 0 < 1
0, 1
Ejercicios 2.3 Libro Dennis G. Zill, Ed 7ma. (Problema 33).
Empezamos con ( ) = :
Pasos:
I. Forma estndar de la ED a resolver:
( ) ( )
dy
P x y f x
dx

+2 =
Solo sustituimos en valor de la funcin de
entrada ( ).
II. Encontramos el factor integrante:
( )
,

= El valor de P(x) en
( )
, es: ( ) = 2 .
III. Encontramos la familia de soluciones del sistema homogneo asociado:
2 0
dy
xy
dx

=

=
=
Sustituimos en =
( )
, donde:
( ) = 2 1 encontrado en el primer paso, y
desarrollamos. Para esclarecer de donde sale
la frmula
x dx
c
P
y Ce

, siga el siguiente
enlace: Solucin del sistema homogneo
asociado.
*Los nombres SISTEMA LINEAL, FUNCIN DE ENTRADA y FUNCIN DE SALIDA o RESPUESTA DEL
SISTEMA, ac utilizados son en realidad utilizados para SISTEMAS DINMICOS.
IV. Encontramos una solucin particular a partir del sistema LINEAL no homogneo:
+2 =
=
1
( )
_ _ _ _
=
= 2

1
2
(2 )
1
2
_ _ _ _
=
1
2
=
1
2
Para resolverla utilizamos la frmula:

1
( )
P
P
x dx
p
x dx
e f x dx
e
y

, donde:
( )
= (obtenido en el punto ii.) y
( ) = 2 . obtenido en el punto i. Para ver
de dnde salen estas siga el enlace siguiente:
solucin del sistema no homogeneo.
Por tanto, la solucin general del sistema LINEAL no homogneo: +2 = , donde su
funcin de entrada es igual a: ( ) = , es:

2
1
1
2
x
C
y x
e

Ahora encontraremos la solucin general para la funcin de entrada ( ) = 0
En este caso podemos notar que nuestra ecuacin se convierte en el sistema homogneo asociado
de nuestro caso previo, por lo que ya conocemos la solucin, es decir:
Tenemos.
+2 = 0
Donde su solucin general es:

2
2 1

c
x
C
y x y
e
Y su factor integrante es igual al anterior:

=
Una vez obtenidas las dos soluciones generales, vamos a encontrar las soluciones particulares para
resolver el problema de valores iniciales que nos piden.
Para este propsito, NECESITAMOS seleccionar primero la funcin de entrada que contiene los
valores iniciales, es decir, seleccionamos:
+2 =
Ya que cuando la funcin de entrada es: ( ) = , los valores iniciales ( (0) = 2) se encuentran
dentro de su dominio, como lo podemos ver en:
( ) =
, 0 < 1

De modo que encontraremos la solucin particular o RESPUESTA DEL SISTEMA, para los valores
iniciales: (0) = 2.
Solucin del Problema de Valores Iniciales (PVI) de la ecuacin diferencial lineal de 1er
Orden dividida en partes.
Primero evaluamos cuando ( ) =
La solucin del problema del PVI se obtiene al encontrar una solucin especfica que cumpla con
las condiciones iniciales (que las contenga), del problema. Para esto, necesitamos encontrar el
valor de C, de la solucin general, sustituyendo en la solucin general, los valores de x e y,
que vienen como condiciones iniciales y despejando C.
Los valores iniciales, son:
= ; =
Por tanto:
Si la solucin general del Sistema Lineal no Homogneo, cuando ( ) = , es:
( ) =
2
+
1
2
Entonces, sustituyendo los valores iniciales
(0) = 2
Tenemos:
2 =
( )
+
1
2
2 =
1
+
1
2
2
1
2
=
=
3
2
Sustituyendo este ltimo resultado en la solucin general, vemos que UNA solucin particular del
sistema Lineal no Homogneo, es:
( ) =
3
2
+
1
2
Ahora evaluamos cuando ( ) =
Ahora, para conocer la solucin particular de la Funcin de Salida anterior, debemos tener
precaucin, ya que el sistema Lineal cuya funcin de entrada es: ( ) = 0, no est definida para
cuando: = 0, segn podemos ver en la definicin de la funcin de entrada, definida por partes:
( ) =

0, 1
Por lo que para evaluar esta funcin, haremos uso de la DEFINICIN de CONTINUIDAD, como
sigue:
Tal es el caso en esta ocasin pues podemos ver que cuando el sistema lineal tiene f(x) = 0, el
dominio de su variable independiente es: x 1,
( ) =
, 0 < 1
0, 1
Por lo que no podemos considerar sustituir = 0, en la solucin general obtenida:
( ) = , 1
Para esta situacin, recurriremos al concepto de CONTINUIDAD.
TEOREMA. Continuidad: El lmite de una funcin cuando su variable independiente tiende a un
nmero especfico, existe, si el lmite de la funcin, cuando tiende a ese nmero por la derecha es
igual al lmite cuando la funcin tiende a ese nmero por la izquierda. Es decir, para este caso:
lim

( ) = lim

( ) lim

( ), Donde: =Existe
Con este teorema encontraremos el valor de C, para hallar la Respuesta del Sistema cuando la
funcin de entrada es: f(x) = 0, suponiendo que el lmite existe. Entonces:
El lmite por la izquierda:
lim

( ) = lim

+ =
( )
+ = + , cuando: 0 < 1
Y el lmite por la derecha:
lim

( ) = lim

=
( )
= , cuando: 1
Con la suposicin de que el lmite existe, igualamos los resultados anteriores:
BLOG: http://ecuaciondiferencialejerciciosresueltos.com/ BLOG: http://ecuaciondiferencialejerciciosresueltos.com/
3
2e
+
1
2
=
e
Esto implica:
= + ,
Por tanto:
( ) = =
3
2
+
2
=
3

2
+
2
De donde, la solucin del Sistema Lineal, dividida en partes, con valores iniciales, es:
( ) =

3
2
+
1
2
; 0 < 1
3

2
+
2
; 1
Este resultado es vlido, aparentemente al haber empleado la definicin de Continuidad, sin
embargo, habr que verificarlo y lo haremos posteriormente (siga el link), y veremos que no es
vlido el resultado por la definicin de SOLUCIN DE LA ED EN UN INTERVALO, que dice que la
solucin de una ED diferencial y sus derivadas al sustituirlas en esta, la reducen a una identidad. En
este caso no es as, puesto que para un mismo punto (punto = 1), tenemos dos funciones.
Vemos las grficas para, aclarar cmo se vera la grfica definida en partes y cmo se observa la
misma en el punto de discontinuidad.
La Grfica en negro es la FUNCIN DE SALIDA o RESPUESTA DEL SISTEMA, para el
problema de valores iniciales; la forma que adquiere esta grfica se puede entender si
sobreponemos sus componentes (las grficas en azul y anaranjado)
BLOG: http://ecuaciondiferencialejerciciosresueltos.com/
En esta grfica podemos ver que en el punto = , la grfica aparece continua, sin
embargo, la derivada de las funciones en ese punto, al sustituirlas en la ED original, no la
reducen a la identidad, es decir:
Derivando el lado derecho de la funcin de salida y el lado izquierdo.
( ) =
3
2
2
+
1
2
( ) = (2 ) + 0 3 y
( ) =
3
2
+
1
2
2
( ) = (2 ) +
1
2
(2 ) 3 +
BLOG: http://ecuaciondiferencialejerciciosresueltos.com/ BLOG: http://ecuaciondiferencialejerciciosresueltos.com/
E igualando los resultados, tenemos:
3

2
= 3

2
+

2
,
0 =

2
Por lo que al no obtener una identidad, la ecuacin no es diferenciable en = 1.
El cdigo en MATHEMATICA:
Utilizaremos el comando DSolve y la funcin Piecewise, la cual tiene la siguiente sintaxis:
Un ejemplo de su utilizacin es:
Si tenemos la EDO:
2
, 0
( )
, 0
x x
f x
x x
'
1 <
1
=
!
1

1+
Entonces en MATHEMATICA:


2
Piecewise[ , 0 , , 0 ] x x x x < (0.1)
Ejercicio:
II. La segunda funcin es ' 2 0 y xy = con la restriccin 1 x _ . Cmo sta funcin es la
misma que el sistema homognea de la primera funcin, solo aplicamos el criterio de continuidad
de funciones para encontrar el valor de C, como sigue:
Piecewise[{{valor1, condicin1},{valor2, condicion2},}]
Resolver la siguiente EDO lineal con valores iniciales:
2 ( ), (0) 2
dy
xy f x y
dx
= =
Y con las siguientes funciones de entrada:
, 0 1
( )
0, 1
x x
f x
x
'
_ < 1
1
=
!
1
_
1+
BLOG: http://ecuaciondiferencialejerciciosresueltos.com/
Ahora utilizamos el cdigo directo de MATHEMATICA.
Se puede utilizar este cdigo para corroborar los resultados de la estragtegia 1.

DSolve[ y'[x] + 2*x*y[x] == Piecewise[ x, 0 x 1 , 0, x 1 ], y[0] == 2 , y[x], x] _ < _
Resultando:
2 2
- x x
1
(-1+e), x >1
2
1
{{y[x] e C[1] + (-1+e ), 0 x 1 }}
2
0, TRUE
1

< _

) ) (

(
Lo que corrobora nuestros resultados.
BLOG: http://ecuaciondiferencialejerciciosresueltos.com/ BLOG: http://ecuaciondiferencialejerciciosresueltos.com/