w

w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
233
Captulo V
CONDICIONES DE FRONTERA Y MODELAMIENTO
NUMRICO EN ECUACIONES DIFERENCIALES


5.1 CONDICIONES DE FRONTERA:
Debido a que muchos problemas y fenmenos pueden ser representados mediante ecuaciones
diferenciales, muy frecuentemente se conoce informacin adicional de ese fenmeno o de esa
ecuacin, lo que es equivalente a saber el valor de las variables o de las derivadas bajo
condiciones especficas. Esas condiciones especiales, que permiten ajustar los problemas a
condiciones especficas, se conocen indistintamente como Condiciones de Frontera,
Condiciones de Borde o Condiciones Iniciales.

Ejemplo 1:
En la siguiente ecuacin diferencial se conoce que la variable y tiene un valor de 1
cuando la variable independiente t vale 0.
0 t 5
dt
dy
= +
La condicin de borde se puede representar:
1 ) 0 ( y =
O alternativamente:
1 y 0 t


Ejemplo 2:
En la siguiente ecuacin diferencial se conoce que la primera derivada de y tiene un valor
de 0 cuando la variable independiente vale .
0 y y = +
La condicin de borde se puede representar:
0 ) ( y =
O alternativamente:
0 y x


5.2 MODELAMIENTO NUMRICO Y GRFICO:
La interpretacin de los fenmenos que son descritos mediante ecuaciones diferenciales se ve
fortalecida cuando se pueden crear tablas y generar grficos apropiados que representen a
dichos fenmenos.
Los mecanismos que permiten transformar la ecuacin diferencial, con sus condiciones de
borde, en valores especficos constituyen el modelamiento numrico del problema.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
234
En el modelamiento numrico es vital la definicin de todos los parmetros de la ecuacin
diferencial o la conversin de dichos parmetros en elementos de prueba sistemticos para la
ecuacin diferencial.
El Mtodo de las Diferencias Finitas constituye una de las herramientas ms verstiles e
intuitivas que facilitan el modelamiento de diferentes tipos de funciones y ecuaciones. Para el
efecto se definen pequeos intervalos de variacin para la variable independiente, y se predice
el comportamiento de la variable dependiente a partir de las ecuaciones diferenciales y
condiciones de borde correspondientes. Las hiptesis utilizadas para la prediccin matemtica
pueden variar en su complejidad, lo que puede significar la determinacin secuencial de los
valores de las variables o la definicin de sistemas de ecuaciones algbricas que, al ser
analizados, conducen a la determinacin de tales valores.


5.3 PROBLEMAS RESUELTOS MEDIANTE DIFERENCIAS FINITAS DE
PRIMER ORDEN:
Problema Resuelto 1:
Resolver la siguiente ecuacin diferencial:
0 t 2
dt
dx
. x = +
Si:
4 ) 2 ( x =
Solucin:
Separando las variables:
t 2
dt
dx
x
dt . t 2 dx . x
Integrando:

dt . t 2 dx . x
Ejecutando las integrales:
C
2
t 2
2
x
2 2
+
Multiplicando por 2 y reagrupando:
C 2 t 2 x
2 2
+
C 2 t 2 x
2 2
+
Reemplazando el valor 2C por la constante k:
k t 2 x
2 2
= + Solucin general
Donde:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
235
k: Constante arbitraria de integracin
NOTA: Para valores positivos de k, la solucin corresponde a una familia de elipses con
centro en el origen y eje principal sobre el eje de las x. Los valores negativos de k no
proporcionan solucin dentro del campo de los nmeros reales.
La condicin de borde del problema es:
4 ) 2 ( x
Que es equivalente a:
4 x 2 t
Reemplazando la condicin de borde en la solucin general (t=2; x=4):
k t 2 x
2 2
+
k ) 2 ( 2 ) 4 (
2 2
+
k 8 16 +
24 k =
Reemplazando el valor de k en la solucin general se tiene:
24 t 2 x
2 2
= + Solucin especfica

NOTA: Es importante observar que una vez fijadas las condiciones de borde suficientes para
el problema, se tiene una solucin especfica en lugar de una familia de soluciones.
Verificacin:
La primera etapa de la verificacin corresponde a la solucin general. La solucin general es:
k t 2 x
2 2
+
Derivando respecto a t:
0 t 4
dt
dx
x 2 +
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
236
Simplificando:
0 t 2
dt
dx
x = + Verificada la solucin general
La segunda etapa de la verificacin corresponde a la solucin especfica. La solucin
especfica es:
24 t 2 x
2 2
+
La condicin de borde (condicin de frontera o condicin inicial) es:
4 x 2 t
Reemplazando los valores de t y x en la solucin especfica se tiene:
24 ) 2 ( 2 ) 4 (
2 2
+
24 8 16 +
24 24 = Verificada la solucin especfica


Problema Resuelto 2*:
Resolver la siguiente ecuacin diferencial:
) y 1 ( x
dx
dy
2
+ =
Si:
3 ) 0 ( y =
Solucin:
Separando las variables:
dx . x
y 1
dy
2

+

Integrando:


+
dx . x
y 1
dy
2

Ejecutando las integrales:
3
x
C ) y 1 ln(
3
+ +
Por facilidad de simplificacin se puede reemplazar la constante C por el logaritmo natural
de la constante k:
3
x
) k ln( ) y 1 ln(
3
+ +
El logaritmo de un producto es la suma de logaritmos.
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
237
[ ]
3
x
) y 1 .( k ln
3
+
La expresin exponencial equivalente a la expresin logartmica previa es:
) 3 / x (
3
e ) y 1 .( k +
Despejando y:
k
e
y 1
) 3 / x (
3
+
1
k
e
y
) 3 / x (
3
= Solucin general
Donde:
k: Constante arbitraria de integracin
La condicin de borde del problema es:
3 ) 0 ( y
Que es equivalente a:
3 y 0 x
Reemplazando la condicin de borde en la solucin general (x=0; y=3):
1
k
e
y
) 3 / x (
3

1
k
e
3
0

Cualquier nmero elevado a la potencia 0 es la unidad.
1
k
1
3
Despejando k:
k
1
1 3 +
4
k
1

4
1
k =
Reemplazando el valor de k en la solucin general se tiene:
1
4
1
e
y
) 3 / x (
3

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
238
1 e 4 y
) 3 / x (
3
= Solucin especfica

Verificacin:
La solucin general es:
1
k
e
y
) 3 / x (
3

Derivando respecto a x:
k
e
)
3
x 3
(
dx
dy
) 3 / x ( 2
3

Simplificando:
k
e
x
dx
dy
) 3 / x (
2
3

Pero despejando de la solucin general la funcin exponencial dividida para k se tiene:
k
e
1 y
) 3 / x (
3
+
Reemplazando en la expresin diferencial anterior se tiene:
) 1 y ( x
dx
dy
2
+
) y 1 ( x
dx
dy
2
+ = Verificada la solucin general
La solucin especfica es:
1 e 4 y
) 3 / x (
3

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
239
La condicin de borde es:
3 y 0 x
Reemplazando los valores de x y y en la solucin especfica se tiene:
1 e 4 3
) 3 / 0 (
3

Simplificando:
1 e 4 3
0

1 ) 1 ( 4 3
1 4 3
3 3 = Verificada la solucin especfica


Problema Resuelto 3*:
Resolver la siguiente ecuacin diferencial:
) y ( Cos . x 2
dx
dy
2
=
Si:
4
) 0 ( y

=
Solucin:
Separando las variables:
dx . x 2
) y ( Cos
dy
2

Integrando:

dx . x 2
) y ( Cos
dy
2

Ejecutando las integrales:
C x ) y ( Tan
2
+ = Solucin general
Donde:
C: Constante arbitraria de integracin
La condicin de borde del problema es:
4
) 0 ( y


Que es equivalente a:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
240
4
y 0 x


Reemplazando la condicin de borde en la solucin general (x=0; y=/4):
C 0
4
Tan
2
+
,
_

C 0 1 +
1 C
Reemplazando el valor de C en la solucin general se tiene:
1 x ) y ( Tan
2
+ = Solucin especfica

Verificacin:
La solucin general es:
C x ) y ( Tan
2
+
Derivando respecto a x:
x 2
dx
dy
). y ( Sec
2

Despejando la derivada:
) y ( Sec
x 2
dx
dy
2

Expresando la Secante como el inverso del Coseno se tiene:
) y ( Cos . x 2
dx
dy
2
= Verificada la solucin general
La solucin especfica es:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
241
1 x ) y ( Tan
2
+
La condicin de borde es:
4
y 0 x


Reemplazando los valores de x y y en la solucin especfica se tiene:
1 ) 0 ( )
4
( Tan
2
+

1 0 1 +
1 1 = Verificada la solucin especfica


Problema Resuelto 4*:
Resolver la siguiente ecuacin diferencial:
0 dy ) x 1 ( dx y = + +
Si:
1 ) 0 ( y =
Solucin:
Separando las variables:
dy ) x 1 ( dx y +
y
dy
) x 1 (
dx

+

Expresando el radical como potencia:
) 2 / 1 (
y
dy
) x 1 (
dx

+

Trasladando la potencia de y al numerador:
( )
dy . y
) x 1 (
dx
2 / 1

+

Integrando:
( )



+
dy . y
) x 1 (
dx
2 / 1

Ejecutando las integrales:
( )
2
1
y
C ) x 1 ln(
2 / 1
+ +
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
242
Simplificando:
( ) 2 / 1
y 2 C ) x 1 ln( + +
Para facilitar la simplificacin se reemplaza la constante C por el logaritmo natural de la
constante k:
( ) 2 / 1
y 2 ) k ln( ) x 1 ln( + +
El logaritmo de un producto es la suma de los logaritmos:
( )
( ) 2 / 1
y 2 ) x 1 .( k ln +
Reemplazando la potencia fraccionaria por la radicacin equivalente:
( ) y 2 ) x 1 .( k ln +
Reemplazando la expresin logartmica por la expresin exponencial equivalente:
y 2
e ) x 1 .( k

+
Despejando x:
k
e
x 1
y 2
+
1
k
e
x
y 2
=

Solucin general
Donde:
C: Constante arbitraria de integracin
NOTA: Por la forma de la solucin es mucho ms sencillo expresar x en funcin de y:
La condicin de borde del problema es:
1 ) 0 ( y
Que es equivalente a:
1 y 0 x
Reemplazando la condicin de borde en la solucin general (x=0; y=1):
1
k
e
0
1 2

Simplificando y despejando k:
1
k
e
0
2

k
e
1
2

2
e k


w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
243
Reemplazando el valor de k en la solucin general se tiene:
1
e
e
x
2
y 2

Simplificando:
( )
1 e x
) 2 ( y 2



1 e x
) y 2 2 (
=

Solucin especfica

NOTA: La solucin dentro del campo de los reales solo admite valores positivos para y.
Verificacin:
La solucin general es:
1
k
e
x
y 2

Reemplazando la raz de y por su equivalente exponencial:
( )
1
k
e
x
2 / 1
y 2

Obteniendo diferenciales en toda la expresin:
( )
( )
k
dy . e y
2
1
) 2 (
dx
2 / 1
y 2 2 / 1

'

,
_

Simplificando:
( )
( )
k
dy . e y
dx
2 / 1
y 2 2 / 1

'

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
244
Reemplazando la expresin entre llaves, dividida para k por su equivalente de acuerdo a la
solucin general se tiene:
( )
dy ). 1 x .( y dx
2 / 1
+


Trasladando la variable y con exponente fraccionario negativo al denominador:
( )
dy .
y
) 1 x (
dx
2 / 1
+

Reemplazando el exponente fraccionario por la expresin radical equivalente:
dy .
y
) 1 x (
dx
+

Trasladando la expresin radical al miembro izquierdo:
dy ). 1 x ( dx . y +
Trasladando todas las expresiones al miembro izquierdo:
0 dy ) x 1 ( dx y = + + Verificada la solucin general
La solucin especfica es:
1 e x
) y 2 2 (



La condicin de borde es:
1 y 0 x
Reemplazando los valores de x y y en la solucin especfica se tiene:
1 e 0
) 1 2 2 (



Simplificando:
1 e 0
2 2



1 e 0
0

1 1 0
0 0 = Verificada la solucin especfica


Problema Resuelto 5:
Utilizando el modelamiento numrico de ecuaciones diferenciales obtener el valor
aproximado de e y de e
2
, y representar grficamente la funcin exponencial y=e
x
.
Solucin:
En primer lugar buscamos una ecuacin diferencial cuya solucin pueda ser la funcin
exponencial y=e
x
.
De los problemas resueltos en el captulo anterior se deduce que tal ecuacin diferencial sera:
0 y y =
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
245
La solucin de la ecuacin diferencial propuesta sera una familia de curvas representada por:
x
e . A y
Para asegurarse que, de la familia de curvas, se ha escogido exclusivamente aquella funcin
cuyo valor de A es 1 (y=e
x
), se necesita fijar la siguiente Condicin de Borde para
cuando x valga 0:
0 x 1 y
Que se podra leer as: Cuando x vale 0, y tendr un valor de 1.
La condicin de borde previa se puede verificar rpidamente pues al reemplazar x en la
funcin que queremos obtener por el valor 0, se obtiene un valor de 1 para la variable
y.
Otra forma de representar la condicin de borde sera:
1 ) 0 ( y =
Para modelar el problema mediante una hoja electrnica se parte de la ecuacin diferencial:
0 y y
Que es equivalente a:
0 y
dx
dy

Despejando y en la ecuacin diferencial:
dx
dy
y
Poniendo la misma expresin en trminos de los incrementos finitos de las variables se tiene:
x
y
y

Despejando y que es el incremento de la variable y cuando existe un incremento de la
variable x igual a x:
x . y y =
El valor de y
i
en cualquier etapa del proceso numrico puede calcularse en base al valor
previo de y (y
i -1
), mediante la siguiente expresin:
y y y
1 i i
+ =


Llevadas estas expresiones a una hoja electrnica se puede calcular la variacin aproximada
de la funcin y=e
x
, si se toma como punto de partida el valor x=0 y el correspondiente
valor y=1. Se debe tomar en cuenta que los incrementos de x (x) deben ser lo
suficientemente pequeos para que el modelamiento sea apropiado (tentativamente se han
escogidos incrementos de 0.1):
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
246

Se debe notar que en las frmulas empleadas en la hoja electrnica se utiliza el valor de y
i -1

para predecir y
i
y y
i
. La validez de esta aproximacin depender de que los valores de
y
i
y y
i -1
sean suficientemente cercanos, lo que se consigue con un valor de x
pequeo.
Por otro lado, las condiciones de borde iniciales facilitan el proceso pues y
0
=1 .
Graficando la tabla se tiene:

Es importante mencionar que, para incrementos de x de 0.1, en la tabla presentada, el
valor aproximado para e es de 2.59, pero si los incrementos de x se reducen a 0.01, el
valor de e es de 2.70, bastante cercano al real, y el valor de e
2
es de 7.32. En este
segundo caso las 2 curvas (exacta y aproximada) se superponen en el grfico.
NOTA: El objetivo del problema resuelto no es calcular el valor de e y de e
2
, pues
existen maneras ms eficientes de hacerlo, sino introducirse intuitivamente al modelamiento
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
247
numrico mediante el uso de diferencias finitas , y empezar a manejar criterios respecto a
soluciones aproximadas.


Problema Resuelto 6:
Modelar numricamente una funcin sinusoidal simple y=Sen(x) mediante ecuaciones
diferenciales y determinar el valor de la funcin para ngulos de 1 radin y de 2
radianes.
Solucin:
En primer lugar buscamos una ecuacin diferencial cuya solucin pueda ser la funcin
sinusoidal y=Sen(x).
De los problemas resueltos en el captulo anterior se deduce que tal ecuacin diferencial sera:
0 y y = +
La solucin de la ecuacin diferencial propuesta sera una familia de curvas representada por:
) x ( Cos . B ) x ( Sen . A y +
Para asegurarse que, de la familia de curvas, se ha escogido la funcin y=Sen(x) (A vale
1 y B vale 0) se necesitan fijar dos Condiciones de Borde:
0 x 0 y
0 x 1 y
Que se podra leer as:
Cuando x vale 0, y tendr un valor de 0 pues el Seno de 0 es 0.
Cuando x vale 0, y tendr un valor de 1 pues el Coseno de 0, que es la derivada
de la funcin Seno, es 1.
Otra forma de representar las condiciones de borde sera:
0 ) 0 ( y =
1 ) 0 ( y =
Para modelar el problema mediante una hoja electrnica se parte de la ecuacin diferencial:
0 y y +
Pero la segunda derivada es la derivada de la primera derivada:
0 y
dx
y d
+

Despejando y en la ecuacin diferencial:
dx
y d
y


Poniendo la misma expresin en trminos de los incrementos finitos de las variables se tiene:
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
248
x
y
y

Despejando y que es el incremento de la primera derivada de la variable y cuando
existe un incremento de la variable x igual a x:
x . y y =
El valor de y
i
en cualquier etapa del proceso numrico puede calcularse en base al valor
previo de y (y
i -1
), mediante la siguiente expresin:
i 1 i i
y y y + =


Para poder completar el modelamiento con la variacin de y en cada intervalo de x, es
necesario recurrir a otra ecuacin que proviene de la definicin de primera derivada de y:
dx
dy
y
Poniendo la expresin en trminos de los incrementos de las variables se tiene:
x
y
y

Despejando y que es el incremento de la variable y cuando existe un incremento de la
variable x igual a x:
x . y y =
El valor de y
i
en cualquier etapa del proceso numrico puede calcularse en base al valor
previo de y (y
i -1
), mediante la siguiente expresin:
i 1 i i
y y y + =


Llevadas estas expresiones a una hoja electrnica se puede calcular la variacin aproximada
de la funcin y=Sen(x), si se toma como punto de partida el valor x=0 y los
correspondientes valor y=0 y y=1:

w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
249
Graficando la tabla se tiene:

El Seno de 1 radin es aproximadamente 0.85, y el de 2 radianes es 0.91.
NOTA: El objetivo del problema era comprender la mecnica del modelamiento numrico de
las ecuaciones diferenciales de orden superior.


5.4 PROBLEMAS PROPUESTOS:

Problema Propuesto 1:
Utilizando el modelamiento numrico de ecuaciones diferenciales obtener el valor
aproximado de 1/e y representar grficamente la funcin exponencial y=e
-x
.

Problema Propuesto 2:
Modelar numricamente una funcin cosenoidal simple y=Cos(x) mediante ecuaciones
diferenciales y determinar el valor de la funcin para ngulos de 1 radin y de 2
radianes.
*****

Problema Propuesto 3:
Resolver la siguiente ecuacin diferencial:
0 t 4
dt
dx
. x = +
Si:
3 ) 2 ( x =

Problema Propuesto 4:
Resolver la siguiente ecuacin diferencial:
) y 1 ( x
dx
dy
2
+ =
w
w
w
.
.
c
o
m
M
a
t
e
m
a
t
i
c
a
1
TEORA Y PROBLEMAS DE ECUACIONES DIFERENCIALES
Marcelo Romo Proao
Escuela Politcnica del Ejrcito - Ecuador
I-2005
250
Si:
3 ) 0 ( y =

Problema Propuesto 5:
Resolver la siguiente ecuacin diferencial:
) y ( Cos . x 2
dx
dy
2
=
Si:
4
) 0 ( y

=

Problema Propuesto 6:
Resolver la siguiente ecuacin diferencial:
0 dy ) x 1 ( dx y = + +
Si:
1 ) 0 ( y =


5.5 REFERENCIAS BIBLIOGRFICAS:
Tagle R. Kent, Saff Edward B. y Zinder Artur David, Ecuaciones Diferenciales y
Problemas con Valores en la Frontera, Pearson Educacin, Tercera Edicin, 2001.
Spiegel Murria R., Matemticas Avanzadas para Ingeniera y Ciencias, Mc Graw
Hill, Primera Edicin, 2001.
Campbell Stephen L. y Haberman Richard, Introduccin a las Ecuaciones
Diferenciales con Problemas de Valor de Frontera, Mc Graw Hill, Primera Edicin,
1999.
Ayres Frank, Ecuaciones Diferenciales, Mc Graw Hill, Primera Edicin, 2000.