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

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,
y
2

Familia de soluciones
y=

1
,
+c

1 2
2x

c R.
c R.

Solucin del problema de valor inicial. Imponemos la condicin y(0) = 1

1=

1
1
=
c
+c

1 2
20

c = 1.

La solucin del problema de valor inicial es

y=

1
2
.
=
2 x2
1

1 2
2x

2. Dominio de la solucin. El denominador de

y=

2
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

1.2

Tema 4: Resolucin aproximada de EDOs. 3

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
y0 =

y
.
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

dy
=
y

dx
,
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) ,
1

k = ec > 0.

No siempre es posible obtener una solucin explcita.

Francisco Palacios

1.3
1.3.1

Tema 4: Resolucin aproximada de EDOs. 4

Ecuaciones diferenciales lineales de primer orden

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
y = k e

p(x) dx

k R.

Ejemplo 1.3 Consideramos la EDO

x

dy
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

4y = 0,
x
dx

y(1) = 3.

1. La forma estndar es

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

p(x) dx

y = ke
4

= ke

k R.

( x4 ) dx
1
x

dx

4 ln|x|

= ke

ln x4

= ke

= 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 variacin 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
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
x

dy
4y = x6 ex .
dx

1. Resulvela usando el mtodo de variacin de parmetros.

2. Resuelve el problema de valor inicial

dy

4y = x6 ex ,
x
dx

y(1) = 2.

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

estndar
4
dy
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
4
dy
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

Simplificando, resulta

yp

z
}|
{ 4 z }| {
k0 x4 + 4kx3
kx4 = x5 ex .
x
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,
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
yh = ke

p(t) dt

= ket ,

= ke

k R.

dt

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
k0 =

t
et

= tet

e integramos para obtener k

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
h=

ba
,
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.

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
h=

ba
,
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
h=

0.5 0
= 0.1,
5

los nodos son

x0 = 0,

x1 = 0.1,

x2 = 0.2,

x3 = 0.3,

El mtodo de Euler es

y0 = 1,
yj+1 = yj + 0.1 (xj yj + 1) ,

x4 = 0.4,

x5 = 0.5.

j = 0, 1, . . . , 4.

I Iteraciones
Fase 0.
x0 = 0,

y0 = y(x0 ) = 1.

Fase 1.
x0 = 0
y0 = 1

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

Fase 2.
x1 = 0.1
y1 = 1

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

Fase 3.
x2 = 0.2
y2 = 1.01

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

Fase 4.
x3 = 0.3
y3 = 1.029

y4 = 1.029 + 0.1 (0.3 1.029 + 1) = 1. 0561.

Francisco Palacios

Tema 4: Resolucin aproximada de EDOs. 12

Fase 5.
x4 = 0.4
y4 = 1.0561

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

Resumimos los resultados en una tabla

j
0
1
2
3
4
5

xj
0
0.1
0.2
0.3
0.4
0.5

yj
1
1
1.01
1.029
1.0561
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
yh = ke

p(x) dx

= kex , k R.

Para obtener la solucin de la ecuacin completa, determinamos una solucin 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,

k0 =

x+1
= (x + 1) ex .
ex

Integramos para determinar k

k=

(x + 1) ex dx.

Francisco Palacios

Tema 4: Resolucin aproximada de EDOs. 13

Resolvemos la integral por partes

Z
Z
x
x
(x + 1) e dx = (x + 1) e ex dx = (x + 1) ex ex
= 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
0
1
2
3
4
5

xj
0
0.1
0.2
0.3
0.4
0.5

yj = exj + xj
1
1. 004837
1. 018731
1. 040818
1. 070320
1. 106531

yj
1
1
1.01
1.029
1.0561
1.09049

ej = yj yj
0
0. 004837
0. 008731
0.011818
0.014220
0.016041

El error de truncamiento global es

e5 = y5 y5 = 0.016041.

Francisco Palacios

2.2

Tema 4: Resolucin aproximada de EDOs. 14

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 ,
2
como h = xj+1 xj ,
1
y(xj+1 ) = y(xj ) + y 0 (xj ) h + y00 () h2
2

entre xj y xj+1 .

entre xj y xj+1 .

Si h es pequeo, podemos despreciar el trmino 12 y 00 () h2 y tomar la aproximacin

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
3.1

Mtodo de Euler Modificado

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)
=
f
x
,
y

+
h
k
k
,
j+1
j
2
1

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

2
donde

h=

ba
,
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
= 0.1,
5
x0 = 0, x1 = 0.1, x2 = 0.2, x3 = 0.3, x4 = 0.4, x5 = 0.5.
h=

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,
y1 = y0 +

h (0)
(0)
= 1 + 0.05 (0 + 0.1) = 1. 005.
k1 + k2
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)
= f (0.2, 1.005 + 0.1 0.0 95)
= f x2 , y1 + hk1

(1)

k2

= f (0.2, 1. 0145)
= 0. 1855,

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

y2 = y1 +

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)

k2

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

h (2)
(2)
k1 + k2
= 1. 01902 5 + 0.05 (0. 18097 5 + 0. 26287 7)
2
= 1. 04121 8.

y3 = y2 +

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)

k2

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

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

y4 = y3 +

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)

k2

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

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

y5 = y4 +

Resumimos los resultados en una tabla

j
0
1
2
3
4
5

xj
0
0.1
0.2
0.3
0.4
0.5

yj
1
1.005
1. 01902 5
1. 04121 8
1. 07080 2
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
0
1
2
3
4
5

xj
0
0.1
0.2
0.3
0.4
0.5

yj

yj

1
1. 004837
1. 018731
1. 040818
1. 070320
1. 106531

1
1.005
1. 01902 5
1. 04121 8
1. 07080 2
1. 10707 6

ej = yj yj
0
0.000 163
0.000 294
0.000 400
0.000 482
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
Z x1
y0 (x) dx =
x0

x1

f (x, y(x)) dx.

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 mediante la regla del trapecio simple
Z x1
h
f (x, y(x)) dx ' [f (x0 , y0 ) + f (x1 , y1 )] .
2
x0

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
y(x1 ) y(x0 ) '

h
[f (x0 , y0 ) + f (x1 , y0 + hf (x0 , y0 ))] .
2

h
[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
y1 = y0 +

y 0 = f (x, y)
en el intervalo
Z

xj+1

xj

[xj , xj+1 ],
Z xj+1
y0 (x) dx =
f (x, y(x)) dx,
xj

xj+1

xj

xj+1

xj

y 0 (x) dx = y(xj+1 ) y(xj ),

f (x, y(x)) dx '

h
[f (xj , yj ) + f (xj+1 , yj+1 )] .
2

Para calcular f (xj+1 , yj+1 ) tomamos la estimacin de yj+1 que nos proporcionara el mtodo de Euler
yj+1 ' yj + hf (xj , yj ) ,
y(xj+1 ) y(xj ) '

h
[f (xj , yj ) + f (xj+1 , yj + hf (xj , yj ))] ,
2

finalmente, resulta
yj+1 = yj +

4
4.1

h
[f (xj , yj ) + f (xj+1 , yj + hf (xj , yj ))] .
2

Mtodo de Taylor de 2o orden

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 ) ,
2

j = 0, 1, . . . , n 1,

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,
h=

ba
,
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
fx0 (x, y) =
fy0 (x, y) =

y
,
x2
1
.
x

El tamao de paso es
h=

21
= 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

yj+1 = yj + 0.25 f (xj , yj ) +
I Iteraciones

(0.25)2 0
fx (xj , yj ) + fy0 (xj , yj ) f (xj , yj ) .
2

Fase 1. Partimos de
x0 = 1,

y0 = 2,

calculamos
f (x0 , y0 ) = 1 +

2
= 3,
1

2
fx0 (x0 , y0 ) = = 2,
1
1
fy0 (x0 , y0 ) = = 1,
1

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

y1 = y0 + 0.25 f (x0 , y0 ) +
= 2. 78125.

Fase 2. Partimos de
x1 = 1.25,
calculamos

y1 = 2. 78125,

2. 78125
= 3. 225,
1.25
2. 78125
fx0 (x1 , y1 ) =
= 1. 78,
(1.25)2

f (x1 , y1 ) = 1 +

fy0 (x1 , y1 ) =

1
= 0. 8,
1.25

(0.25)2 0
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)

y2 = y1 + 0.25 f (x1 , y1 ) +
= 3. 6125.

Fase 3. Partimos de
x2 = 1.5,
calculamos
f (x2 , y2 ) = 1 +

y2 = 3. 6125,
3. 6125
= 3. 408333,
1.5

Francisco Palacios

Tema 4: Resolucin aproximada de EDOs. 22

fx0 (x2 , y2 ) =

3. 6125
= 1. 605556,
(1.5)2
1
= 0. 6666667,
1.5

fy0 (x2 , y2 ) =

(0.25)2 0
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)

y3 = y2 + 0.25 f (x2 , y2 ) +
= 4. 48541 7.

Fase 4. Partimos de
x3 = 1.75,
calculamos

y3 = 4. 485417,

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

fy0 (x3 , y3 ) =

1
= 0. 5714286,
1.75

(0.25)2 0
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)

y4 = y3 + 0.25 f (x3 , y3 ) +
= 5. 39404 8.

Resumimos los resultados en una tabla

j
0
1
2
3
4

xj
1.00
1.25
1.50
1.75
2.00

yj
2
2. 781250
3. 612500
4. 48541 7
5. 39404 8

2. Solucin exacta.
I Solucin general. La ecuacin
y0 = 1 +

y
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
y = 1.
x

y0
La ecuacin homognea asociada es
y0

1
y = 0.
x

Identificamos

1
p(x) = ,
x
la solucin de la ecuacin homognea es
yh = ke

1
dx
x

= 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
y0
Resulta

1
y = 1.
x

yp0

p
z }| { 1 z}|{
0
k x + k kx = 1,
x
0
k x = 1,

k0 =
k=

1
,
x

1
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

la solucin del problema de valor inicial es

y = 2x + x ln x.

k = 2,

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
0
1
2
3
4

xj
1.00
1.25
1.50
1.75
2.00

yj
2
2. 77892 9
3. 60819 8
4. 47932 8
5. 38629 4

yj
2
2. 781250
3. 612500
4. 48541 7
5. 39404 8

ej = yj yj
0
0.00 2321
0.00 4302
0.00 6089
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 Taylor 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
2
3!

entre xj y xj+1 ,

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
y 00 (x) =
=

d
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

f (xj , yj ) +
f (xj , yj ) f (xj , yj ) ,
yj+1 ' yj + h f (xj , yj ) +
2 x
y
finalmente, sustituimos yj por el valor aproximado yj , y obtenemos la aproximacin para yj+1
yj+1 = yj + h f (xj , yj ) +

h2 0
fx (xj , yj ) + fy0 (xj , yj ) f (xj , yj ) .
2

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)
t
t=0
y0 = y(0)
dy
dt

poblacin,
tiempo (en aos),
momento inicial,
poblacin inicial,
tasa de crecimiento de la poblacin (individuos/ao).

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
y = ke
= ke

R
R

y = ket ,

p(t) dt
() dt

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 , planteamos 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 poblacin 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)
t
t=0
y0 = y(0)
dy
dt

poblacin,
tiempo (en horas),
momento inicial,
poblacin inicial,
tasa de crecimiento de la poblacin (individuos/hora).

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,
y = y0 e

ln 2
t
4

Despus de 12 horas, tendremos

y(12) = y0 e

ln 2
12
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

es decir

y(3) = 104 ,
y(5) = 4 104 ,
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
= 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
y0 =

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 temperatura 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)
t
t=0
y0 = 100o
Tm = 30o
dy
dt

temperatura de la sustancia,
tiempo (en minutos),
momento inicial,
temperatura inicial,
temperatura del medio,
tasa de variacin de la temperatura de la sustancia.

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 escribimos 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
y = ke

dt

y = ke

k R,
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
,
e t
k0 = Tm e t ,
Z
k = Tm e t dt.
k0 =

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

15 = ln

4
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,
e0.03731 t =
t=

10
,
70

1
1
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)
t
t=0
y0 = 60
dy
dt

cantidad de sal en el tanque (en kg),

tiempo (en minutos),
momento inicial,
cantidad inicial de sal (en kg),
tasa de variacin de la cantidad de sal (en kg/min).

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
concentracin de sal =

y
1000

(en Kg/litro).

tasa de entrada de sal

Tasa de variacin de sal

tasa de salida de sal

}|
{ z
}|
{
kg
y kg
litros
litros
0
20

= 20
min.
litro
min.
1000 litro
kg
1
= y
50 min.

Francisco Palacios

Tema 4: Resolucin aproximada de EDOs. 32

Ecuacin diferencial

dy
1
= y.
dt
50
Es una ecuacin lineal homognea
y0 +
con solucin general
y = k e

1
y = 0,
50
1
50

1
50

y = ke

dt
t

k R,

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)
t
t=0
V = 90 m3
y
90
y0 = 0. 18 m3
dy
dt

cantidad de CO2 (en m3 ),

tiempo (en minutos),
momento inicial,
volumen de la galera,
concentracin de CO2 ,
cantidad inicial de CO2 (y(0) = 0.002 90),
tasa de variacin de la cantidad de CO2 (en m3 /min).

Tasa de variacin de CO2

z

tasa de entrada de CO2

}|

m3

tasa de salida de CO2

}|
{
aire
CO2
y m3 CO2
m3 aire
0.0005 3
9

9
min.
m aire
min.
90 m3 aire
m3

Francisco Palacios

Ecuacin diferencial

Tema 4: Resolucin aproximada de EDOs. 33

y m3 CO2
.
= 0.0045
10
min

dy
y
= 0.0045
.
dt
10
Resolvemos por separacin de variables

y dy = dt,
0.0045
10
Z
Z
1

y dy = dt,
0.0045
10

10 ln 0.0045 = t + c1 ,
10

y
c1
t

,
ln 0.0045 = + c2 , c2 =
10
10
10

t
t
y

0.0045 = e 10 +c2 = c3 e 10 , c3 = ec2 ,

10
t
y
= c3 e 10 ,
0.0045
10
t
y
= c4 e 10 ,
0.0045
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)
t
t=0
h0 = 10 dm
R = 8 dm
r = 0.0833 dm
dh
dt

nivel de agua en el depsito (en dm),

tiempo (en segundos),
momento inicial,
nivel inicial,
radio del depsito,
radio del orificio de salida,
tasa de variacin del nivel de agua (en dm/s).

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
dh
dV
= R2 .
dt
dt
Sustituimos en (3), y resulta
R2

dh
= 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
= 4.8r2 h,
R2
dt
r2
dh
= 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

(4)
2 h = 5. 204 104 t + 2 10,
que en forma explcita queda
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
= 12153. 26 s = 3. 37 horas = 3 horas 22 minutos.
t=
5. 204 104