Está en la página 1de 35

Mtodos Numricos: Resumen y ejemplos

Tema 4: Resolucin aproximada de EDOs


Francisco Palacios
Escuela Politcnica Superior de Ingeniera de Manresa
Universidad Politcnica de Catalua
Marzo 2008, versin 1.4

Contenido

1. Resolucin exacta y resolucin numrica

2. Mtodo de Euler

3. Mtodo de Euler modificado

4. Mtodo de Taylor de orden 2

5. Algunos ejemplos de aplicacin

1 Resolucin exacta y resolucin numrica


1.1 Problema de valor inicial en forma normal

y 0 = f (x, y),
y(a) = ya , x [a, b].

Se busca una funcin y = y(x) de clase C 1 [a, b] que verifique la ecuacin


diferencial
y 0 = f (x, y)
y que, para x = a, tome el valor y(a) = ya .
Se dice que la ecuacin diferencial est en forma normal cuando y 0 est
despejada, es decir, cuando la EDO se escribe en la forma

y0 = f (x, y).

Ejemplo 1.1 Consideramos el problema de valor inicial


0
y = xy2 ,
y(0) = 1, x 0.

1. Calcula la solucin exacta.

1
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 2

2. Determina el dominio de la solucin.

1. Solucin exacta. La ecuacin

y 0 = xy2

es de variables separables. Podemos resolverla como sigue


dy
= xy 2 ,
dx
1
dy = x dx,
y2
Z Z
1
dy = x dx,
y2
1 1
= x2 + c, c R.
y 2
Familia de soluciones
1
y= 1 2 , c R.
2x +c
Solucin del problema de valor inicial. Imponemos la condicin y(0) = 1
1 1
1= 1 2 = c = 1.
20+c c

La solucin del problema de valor inicial es


1 2
y= 1 2 = .
2x 1 2 x2

2. Dominio de la solucin. El denominador de


2
y=
2 x2

se anula para x = 2. El mayor intervalo que contiene a x0 = 0, donde
y(x) es derivable es
2, 2 .

Teniendo en cuenta que en el enunciado se especifica que buscamos una


funcin y = y(x) para x 0. El dominio de la solucin es

I = [0, 2).
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 3

1.2 Separacin de variables


Una EDO de primer orden es separable si puede escribirse en la forma

y0 = g(x) h(y).

Resolucin de EDOs separables.


Expresamos la EDO en la forma

p(y) dy = g(x) dx

e integramos ambos lados, la solucin es


Z Z
p(y) dy = g(x) dx.

Ejemplo 1.2 Resuelve la ecuacin


y
y0 = .
1+x
Escribimos la ecuacin en la forma

p(y) dy = g(x) dx,

y0 1
= ,
y 1+x
y 0 dx dx
= ,
y 1+x
dy dx
= .
y 1+x
Integramos a ambos lados
Z Z
dy dx
= ,
y 1+x
obtenemos una solucin implcita.

ln y = ln(1 + x) + c, c R.

Para obtener una solucin explcita1 , despejamos y

y = eln(1+x)+c = eln(1+x) ec ,

y = k (1 + x) , k = ec > 0.
1
No siempre es posible obtener una solucin explcita.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 4

1.3 Ecuaciones diferenciales lineales de primer orden


1.3.1 Definiciones

Una EDO de primer orden es lineal si puede escribirse en la forma

a1 (x) y0 + a0 (x) y = g(x).

La incgnita es la funcin y = y(x). Observa que los coeficientes a1 (x),


a0 (x), y el trmino independiente g(x) dependen nicamente de x.
Ecuacin lineal homognea
La ecuacin lineal se denomina homognea cuando el trmino independiente
es idnticamente nulo
g(x) 0.
Dada la ecuacin diferencial lineal

a1 (x) y0 + a0 (x) y = g(x),

la ecuacin
a1 (x) y 0 + a0 (x) y = 0
se denomina ecuacin homognea asociada.
Forma estndar
Decimos que una EDO lineal de primer orden est en forma estndar cuando
se expresa en la forma
y 0 + p(x) y = q(x).
Observa que en la forma estndar, el coeficiente de y 0 es igual a 1.

1.3.2 Resolucin de la EDO lineal homognea


La ecuacin lineal homognea

y 0 + p(x) y = 0

es separable, y tiene solucin general


R
y = k e p(x) dx
, k R.

Ejemplo 1.3 Consideramos la EDO


dy
x 4y = 0.
dx
1. Resuelve la ecuacin como ecuacin lineal homognea.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 5

2. Determina la solucin del problema de valor inicial



dy
x 4y = 0,
dx


y(1) = 3.

1. La forma estndar es
y 0 + p(x) y = 0,
escribimos la ecuacin en forma estndar
dy 4
y = 0.
dx x
Identificamos p(x)
4
p(x) = ,
x
la solucin es de la forma
R
y = ke p(x) dx
, k R.

R
( x4 ) dx
y = ke ,
R 1
4 dx
= ke x ,
4 ln|x|
= ke ,
ln x4
= ke ,
4
= kx , k R.

2. Con la condicin inicial y(1) = 3, resulta 3 = k, por lo tanto, la solucin


del problema de valor inicial es

y = 3x4 .

1.3.3 Resolucin de la ecuacin lineal completa: mtodo de va-


riacin de parmetros
Queremos resolver la ecuacin lineal completa

y 0 + p(x) y = q(x).

La solucin general de esta ecuacin puede escribirse en la forma

y = yh (x) + yp (x)

donde:

yh (x) es la solucin general de la ecuacin homognea asociada.


Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 6

yp (x) es una solucin particular de la EDO lineal completa.

Sabemos que la solucin general de la ecuacin homognea asociada

y 0 + p(x) y = 0

es R
yh = ke p(x) dx
.
Nos queda por obtener una solucin particular de la EDO lineal completa.
El mtodo de variacin de parmetros consiste en proponer una solucin
particular del tipo R
yp = k(x) e p(x) dx ,
donde la constante k pasa a ser una funcin indeterminada de x, esto es
k = k(x). Sustituimos la solucin yp en la ecuacin completa y determinamos
k(x). El siguiente ejemplo ilustra el procedimiento.

Ejemplo 1.4 Consideramos la EDO lineal completa


dy
x 4y = x6 ex .
dx
1. Resulvela usando el mtodo de variacin de parmetros.

2. Resuelve el problema de valor inicial



dy
x 4y = x6 ex ,
dx


y(1) = 2.

1. Solucin general de la EDO completa. Escribimos la ecuacin en forma


estndar
dy 4
y = x5 ex , (1)
dx x
cuya solucin general es de la forma

y = yh + yp .

En primer lugar, debemos resolver la ecuacin homognea asociada


dy 4
y = 0.
dx x
Hemos visto en el Ejemplo 1.3 , que la solucin general de la EDO homognea
es
yh = kx4 , k R.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 7

Para obtener la solucin particular de la EDO completa, proponemos la


solucin
yp = k(x) x4 .
Derivamos yp
yp0 = k0 x4 + 4kx3
y sustituimos en la ecuacin completa (1)
yp0 yp
z }| { 4 z }| {
k0 x4 + 4kx3 kx4 = x5 ex .
x
Simplificando, resulta
k0 x4 = x5 ex ,
k 0 = xex .
Para determinar k(x), resolvemos una solucin de la ecuacin de variables
separables
dk
= xex ,
dx
Z Z
dk = xex dx,

Z
x
k = xe ex dx,
= xex ex .
Finalmente, sustituimos en
yp = k(x) x4
y obtenemos la solucin particular
yp = (xex ex ) x4

yp = ex x5 x4 .
La solucin general de la EDO completa es

y = yh + yp = kx4 + ex x5 x4 , k R.
2. Solucin del problema de valor inicial. Tomamos la solucin general de
la EDO completa
y = kx4 + ex x5 x4 , k R,
e imponemos la condicin inicial y(1) = 2. Resulta
2 = k + e(1 1) k = 2,
por lo tanto, la solucin del problema de valor inicial es

y = 2x4 + ex x5 x4 .
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 8

Ejemplo 1.5 Resuelve el problema de valor inicial



dy
+y =t
dt


y(0) = 4

1. Obtencin de la solucin general. La ecuacin es lineal y est en forma


estndar; notemos que la variable independiente es t.

y0 + p(t) y = q(t)

Identificamos
p(t) = 1.
La solucin general de la ecuacin homognea asociada

y 0 + p(t) y = 0

es
R R
yh = ke p(t) dt
= ke dt

= ket , k R.

Para la solucin particular de la EDO lineal completa yp , proponemos una


solucin del tipo
yp = k(t) et ,
calculamos yp0 (t)
yp0 (t) = k0 et ket
y sustituimos en la ecuacin completa
dyp
+ yp = t.
dt
Resulta
yp0 yp
z }| { z}|{
k0 et ket + ket = t,
k0 et = t.
Despejamos k0
t
k0 = = tet
et
e integramos para obtener k
Z
k= tet dt = tet et .
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 9

La solucin particular de la EDO lineal completa es



yp = tet et et ,

yp = t 1.
Finalmente, la solucin general de la EDO completa es

y = yh + yp ,

y = ket + t 1, k R.
2. Solucin del problema de valor inicial. Tomamos la solucin general

y = ket + t 1, k R,

e imponemos la condicin inicial

y(0) = 4,

obtenemos
4=k1 k = 5.
La solucin particular buscada es

y(t) = 5et + t 1.

1.4 Resolucin numrica


Para muchos problemas de valor inicial, no es posible obtener una solucin
exacta. El enfoque numrico consiste en aproximar el valor de la solucin
para determinados valores de x. Con mayor precisin, dado el problema de
valor inicial
dy
= f (x, y),
dx


y(a) = ya , x [a, b].

1. Dividimos el intervalo [a, b] en n partes de longitud

ba
h= ,
n
donde h es el tamao de paso (step).

2. Construimos los nodos de la red

x0 = a, x1 = a + h, . . . , xj = a + jh, . . . , xn = a + nh = b.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 10

3. Para cada xj , calculamos el valor aproximado

yj ' y(xj ) = yj .

Errores

El error
ej = yj yj
se denomina error de truncamiento del paso j.

El error al final del intervalo

en = yn yn

se denomina error de truncamiento global.

2 Mtodo de Euler
2.1 Presentacin del mtodo
Dado el problema de valor inicial

dy
= f (x, y),
dx


y(a) = ya , x [a, b].

el mtodo de Euler de n pasos queda definido por



y0 = ya ,
yj+1 = yj + h f (xj , yj ), j = 0, 1, . . . , n 1,

donde
ba
h= ,
n
y
x0 = a, x1 = a + h, . . . , xj = a + jh, . . . , xn = a + nh = b.

Ejemplo 2.1 Dado el problema de valor inicial


0
y + y x 1 = 0,
y(0) = 1, x [0, 0.5].

1. Aproxima la solucin usando el mtodo de Euler de 5 pasos.

2. Calcula la solucin exacta.


Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 11

3. Calcula los errores de truncamiento locales y el error de truncamiento


global.

1. Mtodo de Euler.
I Formulacin del mtodo
En primer lugar, escribimos la ecuacin diferencial en forma normal

y0 = f (x, y),

y0 = x y + 1.
A partir de la forma normal, identificamos f (x, y)

f (x, y) = x y + 1.

Para n = 5, el tamao de paso es


0.5 0
h= = 0.1,
5
los nodos son

x0 = 0, x1 = 0.1, x2 = 0.2, x3 = 0.3, x4 = 0.4, x5 = 0.5.

El mtodo de Euler es

y0 = 1,
yj+1 = yj + 0.1 (xj yj + 1) , j = 0, 1, . . . , 4.

I Iteraciones
Fase 0.
x0 = 0, y0 = y(x0 ) = 1.
Fase 1.

x0 = 0
y1 = y0 + h (x0 y0 + 1) = 1 + 0.1 (0 1 + 1) = 1.
y0 = 1

Fase 2.

x1 = 0.1
y2 = y1 + h (x1 y1 + 1) = 1 + 0.1 (0.1 1 + 1) = 1.01.
y1 = 1

Fase 3.

x2 = 0.2
y3 = 1.01 + 0.1 (0.2 1.01 + 1) = 1. 029.
y2 = 1.01

Fase 4.

x3 = 0.3
y4 = 1.029 + 0.1 (0.3 1.029 + 1) = 1. 0561.
y3 = 1.029
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 12

Fase 5.

x4 = 0.4
y5 = 1.0561 + 0.1 (0.4 1.0561 + 1) = 1. 09049.
y4 = 1.0561

Resumimos los resultados en una tabla


j xj yj
0 0 1
1 0.1 1
2 0.2 1.01
3 0.3 1.029
4 0.4 1.0561
5 0.5 1.09049

2. Solucin exacta.
I Solucin general
La ecuacin
y0 + y = x + 1
es una ecuacin diferencial lineal completa. La ecuacin homognea asociada
es
y0 + y = 0.
Identificamos p(x) = 1, la solucin de la ecuacin homognea es
R
yh = ke p(x) dx
= kex , k R.

Para obtener la solucin de la ecuacin completa, determinamos una solu-


cin particular de la EDO completa por variacin de parmetros, esto es,
proponemos una solucin de forma

yp = k(x) ex

y sustituimos en
y0 + y = x + 1,
resulta
yp0 yp
z }| { z }| {
k 0 ex kex + kex = x + 1,
k0 ex = x + 1,
x+1
k0 = = (x + 1) ex .
ex
Integramos para determinar k
Z
k= (x + 1) ex dx.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 13

Resolvemos la integral por partes


Z Z
(x + 1) e dx = (x + 1) e ex dx = (x + 1) ex ex
x x

= xex ,

es decir
k(x) = xex ,
de donde resulta
yp = xex ex ,
yp = x.
Finalmente, obtenemos la solucin general de la EDO completa

y = kex + x, k R.

I Solucin del problema de valor inicial


Imponemos la condicin y(0) = 1 y obtenemos

1 = k e0 + 0 k = 1.

La solucin del problema de valor inicial es

y = ex + x.

3. Errores de truncamiento. En la siguiente tabla se recogen los valores


exactos
yj = y(xj ), j = 0, 1, . . . , 5,
los valores aproximados obtenidos en el apartado 1 y los errores locales de
truncamiento.
j xj yj = exj + xj yj ej = yj yj
0 0 1 1 0
1 0.1 1. 004837 1 0. 004837
2 0.2 1. 018731 1.01 0. 008731
3 0.3 1. 040818 1.029 0.011818
4 0.4 1. 070320 1.0561 0.014220
5 0.5 1. 106531 1.09049 0.016041

El error de truncamiento global es

e5 = y5 y5 = 0.016041.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 14

2.2 Deduccin del mtodo de Euler


Supongamos que el problema de valor inicial

dy
= f (x, y),
dx


y(a) = ya , x [a, b],
tiene una solucin y = y(x) que es de clase C 2 en [a, b] y que conocemos el
valor
yj = y(xj ).
Nuestro objetivo es aproximar el valor de yj+1 = y(xj+1 ). Desarrollamos
y(x) por Taylor en c = xj y obtenemos
y(x) = y(xj ) + y 0 (xj ) (x xj ) + y00 () (x xj )2 , entre xj y x.
Sustituimos x = xj+1 , y resulta
1
y(xj+1 ) = y(xj )+y 0 (xj ) (xj+1 xj )+ y 00 () (xj+1 xj )2 , entre xj y xj+1 .
2
como h = xj+1 xj ,
1
y(xj+1 ) = y(xj ) + y 0 (xj ) h + y00 () h2 entre xj y xj+1 .
2
Si h es pequeo, podemos despreciar el trmino 12 y 00 () h2 y tomar la apro-
ximacin
y(xj+1 ) ' y(xj ) + y 0 (xj ) h,
adems, como
y0 (xj ) = f (xj , yj ) ,
resulta
yj+1 ' yj + h f (xj , yj ) .
Normalmente no conoceremos yj con exactitud y, en su lugar, emplearemos
el valor aproximado yj resultando la aproximacin para yj+1
yj+1 = yj + h f (xj , yj ) .

3 Mtodo de Euler Modificado


3.1 Presentacin del mtodo
Dado el problema de valor inicial

dy
= f (x, y),
dx


y(a) = ya , x [a, b],
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 15

el mtodo de Euler modificado de n pasos queda definido por




y0 = ya ,

(j)

k1 = f (x j , yj ),
(j) (j)
k 2 = f x j+1 , y j + h k1 ,



yj+1 = yj + h k1(j) + k2(j) , j = 0, 1, . . . , n 1,

2
donde
ba
h= ,
n
y
x0 = a, x1 = a + h, . . . , xj = a + jh, . . . , xn = a + nh = b.

Ejemplo 3.1 Dado el problema de valor inicial


0
y + y x 1 = 0,
y(0) = 1, x [0, 0.5].

1. Aproxima la solucin usando el mtodo de Euler modificado de 5 pasos.

2. Calcula los errores de truncamiento locales y el error de truncamiento


global.

1. Mtodo de Euler modificado.


El problema en forma normal es
0
y = x y + 1,
y(0) = 1, x [0, 0.5].

Tenemos
f (x, y) = x y + 1,
0.5 0
h= = 0.1,
5
x0 = 0, x1 = 0.1, x2 = 0.2, x3 = 0.3, x4 = 0.4, x5 = 0.5.
I Iteraciones
Fase 0.
x0 = 0, y0 = y(x0 ) = 1,
Fase 1. Partimos de los valores

x0 = 0, x1 = 0.1, y0 = 1,
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 16

calculamos
(0)
k1 = f (x0 , y0 ) = x0 y0 + 1 = 0 1 + 1 = 0,

(0) (0)
k2 = f x1 , y0 + hk1 = f (0.1, 1 + 0.1 0) = f (0.1, 1) = 0. 1,

h (0) (0)

y1 = y0 + k1 + k2 = 1 + 0.05 (0 + 0.1) = 1. 005.
2
Fase 2. Partimos de los valores

x1 = 0.1, x2 = 0.2, y1 = 1.005

calculamos
(1)
k1 = f (x1 , y1 ) = f (0.1, 1.005) = 0.1 1.005 + 1
= 0.0 95,


(1) (1)
k2 = f x2 , y1 + hk1 = f (0.2, 1.005 + 0.1 0.0 95)
= f (0.2, 1. 0145)
= 0. 1855,

h (1) (1)

y2 = y1 + k1 + k2 = 1.005 + 0.05 (0.095 + 0.1855)
2
= 1. 01902 5.

Fase 3. Partimos de los valores

x2 = 0.2, x3 = 0.3, y2 = 1. 01902 5,

calculamos
(2)
k1 = f (x2 , y2 ) = f (0.2, 1. 01902 5) = 0.2 1. 01902 5 + 1
= 0. 18097 5,


(2) (2)
k2 = f x3 , y2 + hk1 = f (0.3, 1. 01902 5 + 0.1 0. 18097 5)
= f (0.3, 1. 03712 3) = 0.3 1. 03712 3 + 1
= 0. 26287 7,

h (2) (2)

y3 = y2 + k1 + k2 = 1. 01902 5 + 0.05 (0. 18097 5 + 0. 26287 7)
2
= 1. 04121 8.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 17

Fase 4. Partimos de los valores

x3 = 0.3, x4 = 0.4, y3 = 1. 04121 8,

calculamos
(3)
k1 = f (x3 , y3 ) = f (0.3, 1. 04121 8) = 0.3 1. 04121 8 + 1
= 0. 25878 2,


(3) (3)
k2 = f x4 , y3 + hk1 = f (0.4, 1. 04121 8 + 0.1 0. 25878 2)
= f (0.4, 1. 06709 6) = 0.4 1. 06709 6 + 1
= 0. 33290 4,

h (3) (3)

y4 = y3 + k1 + k2 = 1. 04121 8 + 0.05 (0. 25878 2 + 0. 33290 4)
2
= 1. 07080 2.

Fase 5. Partimos de los valores

x4 = 0.4, x5 = 0.5, y4 = 1. 07080 2

calculamos
(4)
k1 = f (x4 , y4 ) = f (0.4, 1. 07080 2) = 0. 32919 8,


(4) (4)
k2 = f x5 , y4 + hk1 = f (0.5, 1. 07080 2 + 0.1 0. 32919 8)
= f (0.5, 1. 10372 2) = 0. 39627 8,

h (4) (4)

y5 = y4 + k1 + k2 = 1. 07080 2 + 0.05 (0. 32919 8 + 0. 39627 8)
2
= 1. 10707 6.

Resumimos los resultados en una tabla


j xj yj
0 0 1
1 0.1 1.005
2 0.2 1. 01902 5
3 0.3 1. 04121 8
4 0.4 1. 07080 2
5 0.5 1. 10707 6
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 18

2. Errores de truncamiento. Hemos visto en el ejemplo anterior que la


solucin exacta es
y = x + ex .
En la siguiente tabla se recogen los valores exactos

yj = y(xj ), j = 0, 1, . . . , 5.

los valores aproximados yj que hemos obtenido mediante el mtodo de Euler


modificado, y los errores locales de truncamiento

j xj yj yj ej = yj yj
0 0 1 1 0
1 0.1 1. 004837 1.005 0.000 163
2 0.2 1. 018731 1. 01902 5 0.000 294
3 0.3 1. 040818 1. 04121 8 0.000 400
4 0.4 1. 070320 1. 07080 2 0.000 482
5 0.5 1. 106531 1. 10707 6 0.000 545

El error de truncamiento global es

e5 = y5 y5 = 0.000 545.

3.2 Deduccin del mtodo de Euler modificado


Tenemos el problema de valor inicial
0
y = f (x, y),
y(a) = ya , x [a, b].

Tomamos
y 0 = f (x, y)
e integramos en el intervalo [x0 , x1 ],
Z x1 Z x1
y0 (x) dx = f (x, y(x)) dx.
x0 x0

Para la integral de lado izquierdo tenemos


Z x
1
y 0 (x) dx = [y(x)]xx10 = y(x1 ) y(x0 ),
x0

para la integral del lado derecho, determinamos un valor aproximado me-


diante la regla del trapecio simple
Z x1
h
f (x, y(x)) dx ' [f (x0 , y0 ) + f (x1 , y1 )] .
x0 2
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 19

Los valores x0 , x1 , y0 , son conocidos; para el valor y1 , tomamos la estimacin


que nos proporcionara el mtodo de Euler

y1 ' y0 + hf (x0 , y0 ) ,

tenemos finalmente
h
y(x1 ) y(x0 ) ' [f (x0 , y0 ) + f (x1 , y0 + hf (x0 , y0 ))] .
2
h
y1 = y0 + [f (x0 , y0 ) + f (x1 , y0 + hf (x0 , y0 ))]
2
En pasos posteriores, se procede de forma anloga. Supongamos que hemos
obtenido yj , para calcular yj+1 integramos

y 0 = f (x, y)

en el intervalo
[xj , xj+1 ],
Z xj+1 Z xj+1
y0 (x) dx = f (x, y(x)) dx,
xj xj
Z xj+1
y 0 (x) dx = y(xj+1 ) y(xj ),
xj
Z xj+1
h
f (x, y(x)) dx ' [f (xj , yj ) + f (xj+1 , yj+1 )] .
xj 2
Para calcular f (xj+1 , yj+1 ) tomamos la estimacin de yj+1 que nos propor-
cionara el mtodo de Euler

yj+1 ' yj + hf (xj , yj ) ,


h
y(xj+1 ) y(xj ) ' [f (xj , yj ) + f (xj+1 , yj + hf (xj , yj ))] ,
2
finalmente, resulta
h
yj+1 = yj + [f (xj , yj ) + f (xj+1 , yj + hf (xj , yj ))] .
2

4 Mtodo de Taylor de 2o orden


4.1 Presentacin del mtodo
Dado el problema de valor inicial

dy
= f (x, y),
dx


y(a) = ya , x [a, b],
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 20

el mtodo de Taylor de 2o orden de n pasos queda definido por

y0 = ya ,
h2 0
yj+1 = yj + h f (xj , yj ) + fx (xj , yj ) + fy0 (xj , yj ) f (xj , yj ) , j = 0, 1, . . . , n 1,
2
donde

fx0 es la derivada parcial de f (x, y) respecto de x,

fy0 es la derivada parcial de f (x, y) respecto de y,


ba
h= ,
n
x0 = a, x1 = a + h, . . . , xj = a + jh, . . . , xn = a + nh = b.

Ejemplo 4.1 Dado el problema de valor inicial


( y
y0 = 1 + ,
x
y(1) = 2, x [1, 2].

1. Aproxima la solucin usando el mtodo de Taylor de segundo orden


con 4 pasos.

2. Calcula la solucin exacta.

3. Calcula los errores de truncamiento locales y el error de truncamiento


global.

1. Mtodo de Taylor de segundo orden.


I Formulacin del mtodo. El problema est en forma normal, identificamos
f (x, y),
y
f (x, y) = 1 + .
x
Calculamos las derivadas parciales
y
fx0 (x, y) = ,
x2
1
fy0 (x, y) = .
x
El tamao de paso es
21
h= = 0.25,
4
y los nodos son

x0 = 1, x1 = 1.25, x2 = 1.5, x3 = 1.75, x4 = 2.


Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 21

La frmula de recurrencia es, en este caso

(0.25)2 0
yj+1 = yj + 0.25 f (xj , yj ) + fx (xj , yj ) + fy0 (xj , yj ) f (xj , yj ) .
2
I Iteraciones
Fase 1. Partimos de
x0 = 1, y0 = 2,
calculamos
2
f (x0 , y0 ) = 1 + = 3,
1
2
fx0 (x0 , y0 ) = = 2,
1
1
fy0 (x0 , y0 ) = = 1,
1

(0.25)2 0
y1 = y0 + 0.25 f (x0 , y0 ) + fx (x0 , y0 ) + fy0 (x0 , y0 ) f (x0 , y0 )
2
= 2 + 0.25 3 + 0.0 3125 (2 + 1 3)
= 2. 78125.

Fase 2. Partimos de

x1 = 1.25, y1 = 2. 78125,

calculamos
2. 78125
f (x1 , y1 ) = 1 + = 3. 225,
1.25
2. 78125
fx0 (x1 , y1 ) = = 1. 78,
(1.25)2
1
fy0 (x1 , y1 ) = = 0. 8,
1.25

(0.25)2 0
y2 = y1 + 0.25 f (x1 , y1 ) + fx (x1 , y1 ) + fy0 (x1 , y1 ) f (x1 , y1 )
2
= 2. 78125 + 0.25 3. 225 + 0.0 3125 (1. 78 + 0. 8 3. 225)
= 3. 6125.

Fase 3. Partimos de
x2 = 1.5, y2 = 3. 6125,
calculamos
3. 6125
f (x2 , y2 ) = 1 + = 3. 408333,
1.5
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 22

3. 6125
fx0 (x2 , y2 ) = = 1. 605556,
(1.5)2
1
fy0 (x2 , y2 ) = = 0. 6666667,
1.5

(0.25)2 0
y3 = y2 + 0.25 f (x2 , y2 ) + fx (x2 , y2 ) + fy0 (x2 , y2 ) f (x2 , y2 )
2
= 3. 6125 + 0.25 3. 40833 3 + 0.0 3125 (1. 60555 6 + 0. 66666 67 3. 40833 3)
= 4. 48541 7.

Fase 4. Partimos de

x3 = 1.75, y3 = 4. 485417,

calculamos
4. 48541 7
f (x3 , y3 ) = 1 + = 3. 563095,
1.75
4. 48541 7
fx0 (x3 , y3 ) = = 1. 464626,
(1.75)2
1
fy0 (x3 , y3 ) = = 0. 5714286,
1.75

(0.25)2 0
y4 = y3 + 0.25 f (x3 , y3 ) + fx (x3 , y3 ) + fy0 (x3 , y3 ) f (x3 , y3 )
2
= 4. 48541 7 + 0.25 3. 56309 5 + 0.0 3125 (1. 46462 6 + 0. 57142 86 3. 56309 5)
= 5. 39404 8.

Resumimos los resultados en una tabla


j xj yj
0 1.00 2
1 1.25 2. 781250
2 1.50 3. 612500
3 1.75 4. 48541 7
4 2.00 5. 39404 8

2. Solucin exacta.
I Solucin general. La ecuacin
y
y0 = 1 +
x
es lineal. La escribimos en la forma estndar

y 0 + p(x) y = q(x),
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 23

1
y0 y = 1.
x
La ecuacin homognea asociada es
1
y0 y = 0.
x
Identificamos
1
p(x) = ,
x
la solucin de la ecuacin homognea es
R 1
yh = ke x
dx
= keln x = kx, k R.

Para obtener la solucin de la ecuacin completa, determinamos una solucin


particular aplicando el mtodo de variacin de parmetros. Proponemos

yp = k(x) x,

y sustituimos en
1
y0 y = 1.
x
Resulta
yp0 p y
z }| { 1 z}|{
0
k x + k kx = 1,
x
0
k x = 1,
1
k0 = ,
x
Z
1
k= dx = ln x.
x
Finalmente, obtenemos la solucin particular de la EDO completa

yp = x ln x,

y solucin general
y = kx + x ln x, k R.
I Solucin exacta del problema de valor inicial. Imponemos la condicin
y(1) = 2 y obtenemos

2 = k + 1 ln 1 k = 2,

la solucin del problema de valor inicial es

y = 2x + x ln x.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 24

3. Errores de truncamiento. En la siguiente tabla se recogen los valores


exactos
yj = y(xj ), j = 0, 1, . . . , 5.
y los errores locales de truncamiento

j xj yj yj ej = yj yj
0 1.00 2 2 0
1 1.25 2. 77892 9 2. 781250 0.00 2321
2 1.50 3. 60819 8 3. 612500 0.00 4302
3 1.75 4. 47932 8 4. 48541 7 0.00 6089
4 2.00 5. 38629 4 5. 39404 8 0.00 7754

El error de truncamiento global es

e4 = y4 y4 = 0.00 7754.

4.2 Deduccin del mtodo de Taylor de 2o orden


Supongamos que el problema de valor inicial

dy
= f (x, y),
dx


y(a) = ya , x [a, b].

tiene una solucin y = y(x) que es de clase C 3 en [a, b] y que conocemos el


valor de la fase j
yj = y(xj ).
Nuestro objetivo es aproximar el valor de yj+1 . Desarrollamos y(x) por Tay-
lor hasta orden 2 en c = xj y obtenemos

1
y(x) = y(xj ) + y 0 (xj ) (x xj ) + y00 (xj ) (x xj )2 +
2
1 000 3
+ y () (x xj ) , entre xj y x.
3!
Sustituimos x = xj+1 , y resulta

1
y(xj+1 ) = y(xj ) + y0 (xj ) (xj+1 xj ) + y 00 (xj ) (xj+1 xj )2 +
2
1
+ y 000 () (xj+1 xj )3 , entre xj y xj+1 .
3!
Como h = xj+1 xj , obtenemos

1 1
y(xj+1 ) = y(xj ) + y 0 (xj ) h + y 00 (xj ) h2 + y 000 () h3 entre xj y xj+1 ,
2 3!
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 25

Si h es pequeo, podemos despreciar el trmino


1 000
y (t) h3
3!
y tomar la aproximacin
1
y(xj+1 ) ' y(xj ) + y 0 (xj ) h + y00 (xj ) h2 . (2)
2
El valor de y 0 (xj ) podemos obtenerlo de
y0 (xj ) = f (xj , yj ) ,
para y 00 (xj ), usamos la regla de la cadena
d
y 00 (x) = f (x, y(x)) = f (x, y) + f (x, y) y 0 (x)
dx x y

= f (x, y) + f (x, y) f (x, y),
x y
y obtenemos

y 00 (xj ) = f (xj , yj ) + f (xj , yj ) f (xj , yj ).
x y
Sustituimos y 0 (xj ), y 00 (xj ) en (2),

h2
yj+1 ' yj + h f (xj , yj ) + f (xj , yj ) + f (xj , yj ) f (xj , yj ) ,
2 x y
finalmente, sustituimos yj por el valor aproximado yj , y obtenemos la apro-
ximacin para yj+1
h2 0
yj+1 = yj + h f (xj , yj ) + fx (xj , yj ) + fy0 (xj , yj ) f (xj , yj ) .
2

5 Algunos ejemplos de aplicacin


Ejemplo 5.1 Supongamos que la tasa de crecimiento de una poblacin y(t)
es proporcional al nmero de individuos y que la poblacin inicial es y0 . Si
despus de 50 aos la poblacin se ha duplicado, en cuntos aos tendremos
una poblacin triple de la inicial?

Modelo.
y = y(t) poblacin,
t tiempo (en aos),
t=0 momento inicial,
y0 = y(0) poblacin inicial,
dy
tasa de crecimiento de la poblacin (individuos/ao).
dt
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 26

Ecuacin diferencial.
dy
= y,
dt
donde es la constante de proporcionalidad (desconocida). La ecuacin es
una EDO lineal homognea. La escribimos en forma estndar

y 0 + p(t) y = 0,

esto es
y 0 y = 0,
donde identificamos
p(t) = .
La solucin general es
R
y = ke p(t) dt
R
= ke () dt
,

y = ket , k R.
Utilizamos la condicin inicial

y(0) = y0

para determinar la constante k

y0 = ke0 = k,

por lo tanto,
y = y0 et .
Para determinar la constante , usamos el hecho de que la poblacin inicial
se ha duplicado en un perodo de 50 aos.

y(50) = y0 e50 = 2y0 e50 = 2,

50 = ln 2,
ln 2
= = 0.013863.
50
El modelo de la poblacin, es por lo tanto,

y = y0 e0.013863t .

Para ver el perodo de tiempo necesario para triplicar la poblacin , plan-


teamos la ecuacin
y0 e0.01 3863t = 3y0
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 27

y determinamos el valor de t

e0.01 3863t = 3,

0.013863t = ln 3,
ln 3
t= = 79. 2478.
0.01 3863
Para triplicar la poblacin se necesitan 79.25 aos desde en momento inicial
(29.25 aos desde el momento en que se duplica la poblacin inicial.

Ejemplo 5.2 En un cultivo de bacterias, la tasa de crecimiento de la po-


blacin es proporcional a la poblacin presente.

1. Si se ha observado que la poblacin se ha duplicado en 4 horas, qu


poblacin cabe esperar al cabo de 12 horas?
2. Supongamos que en un segundo cultivo, el nmero de bacterias es 104
al cabo de 3 horas y 4 104 al cabo de 5 horas. Determina la poblacin
inicial. Qu tamao de poblacin tendremos despus de 6 horas?

Modelo
y = y(t) poblacin,
t tiempo (en horas),
t=0 momento inicial,
y0 = y(0) poblacin inicial,
dy
tasa de crecimiento de la poblacin (individuos/hora).
dt
Ecuacin diferencial
dy
= y,
dt
es la constante de proporcionalidad (desconocida). La ecuacin es una
EDO lineal homognea. La escribimos en forma estndar y 0 + p(t) y = 0 y
obtenemos, como en el ejemplo anterior, la solucin

y = ket , k R.

Utilizamos la condicin inicial y(0) = y0 para determinar la constante k

y0 = ke0 = k,

resulta,
y = y0 et .
1) Para determinar la constante , usamos el hecho de que la poblacin
inicial se ha duplicado en un perodo de 4 horas.

y(4) = y0 e4 = 2y0 e4 = 2,
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 28

4 = ln 2,
ln 2
= .
4
El modelo de la poblacin, es por lo tanto,
ln 2
t
y = y0 e 4 .
Despus de 12 horas, tendremos
ln 2
12
y(12) = y0 e 4 = y0 e3 ln 2 = y0 eln 8 = 8y0 ,
es decir, al cabo de 12 horas, la poblacin se ha multiplicado por 8.
2) En este caso disponemos de dos datos, lo que nos permite determinar la
constante y la poblacin inicial. El modelo es
y = y0 et
y tenemos
y(3) = 104 ,
y(5) = 4 104 ,
es decir
y0 e3 = 104 ,
y0 e5 = 4 104 .
Dividiendo las ecuaciones, podemos eliminar y0 y determinar
y0 e5 4 104
3
= ,
y0 e 104
e5
= 4,
e3
e2 = 4,
2 = ln 4,
ln 4
= = ln 4 = ln 2.
2
Sustituyendo en la primera ecuacin, resulta
y0 e3 ln 2 = 104 ,
104 104
y0 = = = 1250,
e3 ln 2 8
la poblacin inicial es, por lo tanto de 1250 individuos. El modelo que
describe el tamao de la poblacin es
y = 1250 et ln 2 = 1250 2t
Despus de 6 horas, el tamao de poblacin ser
y(6) = 1250 26 = 80000 individuos.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 29

Ejemplo 5.3 Segn la ley de enfriamiento de Newton, la velocidad a que


se enfra una sustancia al aire libre es proporcional a la diferencia de tem-
peratura entre la sustancia y el aire. Sabemos que la temperatura del aire es
de 30o y la sustancia se ha enfriado desde 100o a 70o en 15 minutos.

1. Qu temperatura tena la sustancia despus de 10 minutos?

2. Cundo tendr la sustancia una temperatura de 40o ?

Modelo
y = y(t) temperatura de la sustancia,
t tiempo (en minutos),
t=0 momento inicial,
y0 = 100o temperatura inicial,
Tm = 30o temperatura del medio,
dy
tasa de variacin de la temperatura de la sustancia.
dt
Ecuacin diferencial
dy
= ( y Tm ),
dt
> 0 es la constante de proporcionalidad (desconocida). Observamos que
si y > Tm , entonces
( y Tm ) < 0
y la sustancia se enfra. La ecuacin es una EDO lineal completa, la escri-
bimos en forma estndar

y 0 + p(t) y = q(t),

y 0 + y = Tm ,
identificamos

p(t) = , q(t) = Tm , (ambos constantes).

La EDO lineal homognea asociada es

y 0 + y = 0,

que tiene solucin R


y = ke dt
, k R,
t
y = ke , k R.
Calculamos la solucin de la EDO completa por variacin de parmetros,
esto es, proponemos una solucin

yp (t) = k(t) e t
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 30

y sustituimos en la ecuacin completa para determinar k(t)


yp0 yp
z }| { z }| {
k 0 e t k e t + k e t = Tm ,

k0 e t = Tm ,
Tm
k0 = ,
e t
k0 = Tm e t ,
Z
k = Tm e t dt.

Obtenemos
k = Tm e t + c, c R,
tomamos el valor de k
k = Tm e t ,
de donde resulta la siguiente solucin particular de la ecuacin completa

yp (t) = Tm e t et = Tm .

La solucin general de la EDO completa es

y(t) = yh (t) + yp (t) = ke t + Tm , k R.

Observa que podamos haber obtenido la solucin particular directamente


yp (t) = Tm apreciando que la ecuacin
dy
= ( y Tm ),
dt
tiene la solucin singular2 y = Tm .
1) Para determinar k, sustituimos Tm = 30o y usamos la condicin inicial

y(0) = 100o ,

100 = k e0 + 30 k = 70.
Finalmente, para determinar , usamos el dato

y(15) = 70,

70 = 70e15 + 30,
70e15 = 40
4
e15 =
7
2
Una solucin singular es una funcin constante y(t) = c que verifica la ecuacin.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 31

4
15 = ln
7
1 4
= ln = 0.03731.
15 7
El modelo matemtico que describe el enfriamiento de la sustancia es

y = 70e0.03731 t + 30.

La temperatura despus de 10 minutos ser

y(10) = 70 e0.3731 + 30 = 78. 2o

2) El tiempo necesario para que la sustancia est a 40 grados se obtiene


resolviendo la ecuacin

70e0.03731 t + 30 = 40,
10
e0.03731 t = ,
70
1 1
t= ln = 52. 16 minutos.
0.03731 7
Ejemplo 5.4 Un tanque contiene 1000 litros de una disolucin de agua y
sal. En el tanque entra agua a razn de 20 litros/min y la mezcla, conservada
uniforme por agitacin, sale a la misma velocidad. Si inicialmente hay 60
kg de sal en el tanque, cunta sal queda en el tanque despus de 1 hora?

Modelo
y = y(t) cantidad de sal en el tanque (en kg),
t tiempo (en minutos),
t=0 momento inicial,
y0 = 60 cantidad inicial de sal (en kg),
dy
tasa de variacin de la cantidad de sal (en kg/min).
dt
Observemos que la tasa de entrada y de salida de lquido es la misma, por
lo tanto el volumen de disolucin en el tanque se mantiene constante
y
concentracin de sal = (en Kg/litro).
1000

tasa de entrada de sal tasa de salida de sal


z }| { z }| {
litros kg litros y kg
Tasa de variacin de sal = 20 0 20
min. litro min. 1000 litro
1 kg
= y
50 min.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 32

Ecuacin diferencial
dy 1
= y.
dt 50
Es una ecuacin lineal homognea
1
y0 + y = 0,
50
con solucin general R 1
y = k e 50
dt
, k R,
1
50 t
y = ke , k R.
Usamos la condicin inicial
y(0) = 60,
para determinar k
60 = k e0 k = 60.
El modelo matemtico que describe la cantidad de sal en el tanque es
1
y = 60 e 50 t .

La cantidad de sal despus de 1 hora ser


60
y(60) = 60 e 50 = 18. 07 kg.

Ejemplo 5.5 En una galera subterrnea de dimensiones 1551.2 metros


hay una concentracin del 0.2% de CO2 . Se quiere renovar la atmsfera con
aire exterior, cuya concentracin de CO2 es de 0.05%, mediante ventiladores
que proporcionan un caudal de aire de 9 m3 /min. Calcula el porcentaje de
CO2 despus de 20 minutos.

Modelo
y = y(t) cantidad de CO2 (en m3 ),
t tiempo (en minutos),
t=0 momento inicial,
V = 90 m3 volumen de la galera,
y
concentracin de CO2 ,
90
y0 = 0. 18 m3 cantidad inicial de CO2 (y(0) = 0.002 90),
dy
tasa de variacin de la cantidad de CO2 (en m3 /min).
dt
Tasa de variacin de CO2
tasa de entrada de CO2 tasa de salida de CO2
z }| }| { { z
m3
aire CO2 m3 m3 aire y m3 CO2
9 0.0005 3 9
min. m aire min. 90 m3 aire
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 33

y m3 CO2
= 0.0045 .
10 min
Ecuacin diferencial
dy y
= 0.0045 .
dt 10
Resolvemos por separacin de variables
1
y dy = dt,
0.0045
10
Z Z
1

y dy = dt,
0.0045
10
y

10 ln 0.0045 = t + c1 ,
10
y t c1

ln 0.0045 = + c2 , c2 = ,
10 10 10
y
t t
0.0045 = e 10 +c2 = c3 e 10 , c3 = ec2 ,
10
y t
0.0045 = c3 e 10 ,
10
y t
0.0045 = c4 e 10 ,
10
t

y = 10 0.0045 c4 e 10 ,
t
y = 0.045 c e 10 , c R.
Sustituimos la condicin inicial, y determinamos c

y(0) = 0.18,
0
0.18 = 0.045 c e 10 c = 0. 135.
El modelo matemtico que describe la cantidad de CO2 en la galera es
t
y = 0.045 + 0.135 e 10 .

La cantidad de CO2 despus de 20 minutos ser


20
y(20) = 0.045 + 0.135 e 10 = 0.06 327 m3

y la concentracin es

0.06 327 m3 CO2


= 0.000703.
90 m3 aire
Despus de 20 minutos, la concentracin de CO2 ser de 0.07%.
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 34

Ejemplo 5.6 Tenemos un depsito cilndrico con radio de la base R = 8


dm y altura h = 1 m. El depsito se vaca a travs de un orificio redondo
de radio r = 0.833 cm situado en la base del depsito. Sabemos que por un
orificio de ese tipo el agua fluye a una velocidad aproximada v = 4.8 h
dm/s, donde h es la altura del nivel de agua en el depsito. Si inicialmente
el depsito est totalmente lleno, determina el tiempo que el depsito tardar
en vaciarse.

Modelo
h = h(t) nivel de agua en el depsito (en dm),
t tiempo (en segundos),
t=0 momento inicial,
h0 = 10 dm nivel inicial,
R = 8 dm radio del depsito,
r = 0.0833 dm radio del orificio de salida,
dh
tasa de variacin del nivel de agua (en dm/s).
dt
La velocidad de salida del agua por el orificio de la base es

v = 4.8 h dm/s,

y el rea de la seccin perpendicular al flujo de salida es

A = r2 dm2 ,

por lo tanto, tendremos un flujo de salida



v A = 4.8 h dm/s r2 dm2 = 4.8r2 h dm3 /s.

La variacin del volumen de agua V = V (t) en el depsito es igual a flujo


de salida
dV
= 4.8r2 h, (3)
dt
por otra parte, el volumen de agua en el depsito es

V = R2 h,

por lo tanto
dV dh
= R2 .
dt dt
Sustituimos en (3), y resulta

dh
R2 = 4.8r2 h,
dt
Francisco Palacios Tema 4: Resolucin aproximada de EDOs. 35

de donde obtenemos la ecuacin diferencial para la altura del agua en el


depsito
dh
R2 = 4.8r2 h,
dt
dh r2
= 4.8 2 h.
dt R
Sustituimos los valores R = 8, r = 0.0833
dh
= 5. 204 104 h.
dt
Se trata de una ecuacin diferencial no lineal de variables separables
1
dh = 5. 204 104 dt,
h
Z Z
1 4
dh = 5. 204 10 dt,
h

2 h = 5. 204 104 t + c, c R.
Determinamos c con la condicin inicial h0 = 10

2 10 = 5. 204 104 0 + c c = 2 10,

por lo tanto, el modelo matemtico que describe la altura del nivel de agua
en el tanque es
2 h = 5. 204 104 t + 2 10, (4)
que en forma explcita queda
2
h= 10 0.000 2602 t .

Para determinar el tiempo de vaciado, sustituimos h = 0 en (4) y despejamos


t
0 = 5. 204 104 t + 2 10,

2 10
t= = 12153. 26 s = 3. 37 horas = 3 horas 22 minutos.
5. 204 104

También podría gustarte