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 modicado 4. Mtodo de Taylor de orden 2 5. Algunos ejemplos de aplicacin

1
1.1

Resolucin exacta y resolucin numrica

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 verique 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 c R. c R.

Familia de soluciones

1 1 = x2 + c, y 2 1 , +c

y=

1 2 2x

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

1 2 20

1 1 = c +c

c = 1.

La solucin del problema de valor inicial es y=

1 2 2x

1 2 . = 2 x2 1 2 2 x2

2. Dominio de la solucin. El denominador de y=

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 especica 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 y0 = 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 Z dx , 1+x 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) ,

1

k = ec > 0.

No siempre es posible obtener una solucin explcita.

Francisco Palacios

Tema 4: Resolucin aproximada de EDOs. 4

1.3
1.3.1

Ecuaciones diferenciales lineales de primer orden

Deniciones

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 coecientes a1 (x), a0 (x), y el trmino independiente g (x) dependen nicamente de x. 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 coeciente de y 0 es igual a 1. 1.3.2 Resolucin de la EDO lineal homognea Ecuacin lineal homognea

La ecuacin lineal homognea y 0 + p(x) y = 0 es separable, y tiene solucin general y = k e

R 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

1. La forma estndar es

2. Determina la solucin del problema de valor inicial dy 4y = 0, x dx y (1) = 3. y 0 + p(x) y = 0,

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

R p(x) dx

k R. ,

y = ke = ke = ke = ke
4

4 ln|x| ln x4 4

4 ( x ) dx 1 x

dx

, k R.

= kx ,

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
R 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

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 ,

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
0 yp = k0 x4 + 4kx3

y sustituimos en la ecuacin completa (1) z }| { 4 z { }|4 k0 x4 + 4kx3 kx = 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, k = xe Finalmente, sustituimos en yp = k(x) x4 y obtenemos la solucin particular yp = (xex ex ) x4 yp = ex x5 x4 .
x
0 yp

yp

Simplicando, resulta

= xex ex .

ex dx,

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,

La solucin general de la EDO completa es y = yh + yp = kx4 + ex x5 x4 , k R.

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

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) Identicamos p(t) = 1. La solucin general de la ecuacin homognea asociada y 0 + p(t) y = 0 es yh = ke
R p(t) dt

Ejemplo 1.5 Resuelve el problema de valor inicial dy +y =t dt y (0) = 4

= ke

= ket ,

k R.

dt

Para la solucin particular de la EDO lineal completa yp , proponemos una solucin del tipo yp = k(t) et ,
0 (t) calculamos yp 0 (t) = k0 et ket yp

y sustituimos en la ecuacin completa dyp + yp = t. dt Resulta z }| { z}|{ k0 et ket + ket = t, k0 et = t. t et Despejamos k0 k0 = e integramos para obtener k k= Z tet dt = tet et . = tet
0 yp

yp

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, y = ket + t 1, e imponemos la condicin inicial y(0) = 4, obtenemos 4=k1 La solucin particular buscada es y (t) = 5et + t 1. k = 5. k R. k R,

2. Solucin del problema de valor inicial. Tomamos la solucin general

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 y j ' y(xj ) = yj . Errores El error

j ej = yj y

se denomina error de truncamiento del paso j. El error al nal del intervalo n en = yn y se denomina error de truncamiento global.

2
2.1

Mtodo de Euler
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 denido por y 0 = ya , j + h f (xj , y j ), j = 0, 1, . . . , n 1, y j +1 = y h= y x0 = a, x1 = a + h, . . . , xj = a + jh, . . . , xn = a + nh = b. ba , n

donde

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, identicamos f (x, y ) f (x, y ) = x y + 1. Para n = 5, el tamao de paso es h= los nodos son x0 = 0, x1 = 0.1, x2 = 0.2, x3 = 0.3, x4 = 0.4, x5 = 0.5. 0.5 0 = 0.1, 5

El mtodo de Euler es y 0 = 1, j + 0.1 (xj y j + 1) , y j +1 = y I Iteraciones Fase 0. x0 = 0, Fase 1. x0 = 0 y 0 = 1 Fase 2. x1 = 0.1 y 1 = 1 Fase 3. x2 = 0.2 y 2 = 1.01 Fase 4. x3 = 0.3 y 3 = 1.029

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

y 0 = y (x0 ) = 1.

y 1 = y 0 + h (x0 y 0 + 1) = 1 + 0.1 (0 1 + 1) = 1.

1 + h (x1 y 1 + 1) = 1 + 0.1 (0.1 1 + 1) = 1.01. y 2 = y

y 3 = 1.01 + 0.1 (0.2 1.01 + 1) = 1. 029.

y 4 = 1.029 + 0.1 (0.3 1.029 + 1) = 1. 0561.

Francisco Palacios Fase 5. x4 = 0.4 y 4 = 1.0561

Tema 4: Resolucin aproximada de EDOs. 12

y 5 = 1.0561 + 0.1 (0.4 1.0561 + 1) = 1. 09049.

Resumimos los resultados en una tabla j 0 1 2 3 4 5 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. Identicamos p(x) = 1, la solucin de la ecuacin homognea es yh = ke
R p(x) dx

xj 0 0.1 0.2 0.3 0.4 0.5

y j 1 1 1.01 1.029 1.0561 1.09049

= 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 z }| { z }| { k 0 ex kex + kex = x + 1, k0 ex = x + 1, k0 = Integramos para determinar k k= Z (x + 1) ex dx. x+1 = (x + 1) ex . ex
0 yp

yp

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 y j 1 1 1.01 1.029 1.0561 1.09049 ej = yj y j 0 0. 004837 0. 008731 0.011818 0.014220 0.016041

El error de truncamiento global es 5 = 0.016041. e5 = y5 y

Francisco Palacios

Tema 4: Resolucin aproximada de EDOs. 14

2.2

Deduccin del mtodo de Euler

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

Supongamos que el problema de valor inicial dy = f (x, y), dx y (a) = ya , x [a, b],

entre xj y xj +1 .

00 2 Si h es pequeo, podemos despreciar el trmino 1 2 y ( ) h 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 y j resultando la aproximacin para yj +1 y j +1 = y j + h f (xj , y j ) .

3
3.1

Mtodo de Euler Modicado

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 modicado de n pasos queda denido por y 0 = ya , (j ) xj , y j ), k1 = f ( (j ) (j ) = f x , y + h k k , j +1 j 2 1 h (j ) (j ) y k + k2 , j = 0, 1, . . . , n 1, j + j +1 = y 2 1 donde h= y x0 = a, x1 = a + h, . . . , xj = a + jh, . . . , xn = a + nh = b. ba , n

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 modicado de 5 pasos. 2. Calcula los errores de truncamiento locales y el error de truncamiento global. 1. Mtodo de Euler modicado. El problema en forma normal es 0 y = x y + 1, y (0) = 1, x [0, 0.5]. Tenemos 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, Fase 1. Partimos de los valores 0 = 1, x0 = 0, x1 = 0.1, y y 0 = y (x0 ) = 1, f (x, y ) = x y + 1,

Francisco Palacios calculamos

Tema 4: Resolucin aproximada de EDOs. 16

(0) (0) k2 = f x1 , y = f (0.1, 1 + 0.1 0) = f (0.1, 1) = 0. 1, 0 + hk1 y 1 = y 0 + h (0) (0) = 1 + 0.05 (0 + 0.1) = 1. 005. k1 + k2 2 1 = 1.005 x1 = 0.1, x2 = 0.2, y calculamos k1
(1)

0 ) = x0 y 0 + 1 = 0 1 + 1 = 0, k1 = f (x0 , y

(0)

Fase 2. Partimos de los valores

= f (x1 , y 1 ) = f (0.1, 1.005) = 0.1 1.005 + 1 = 0.0 95,

k2

(1)

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

y 2 = y 1 +

h (1) (1) 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, y 2 = 1. 01902 5, calculamos k1

(2)

= f (x2 , y 2 ) = f (0.2, 1. 01902 5) = 0.2 1. 01902 5 + 1 = 0. 18097 5,

k2

(2)

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

y 3 = y 2 +

h (2) (2) 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 3 = 1. 04121 8, x3 = 0.3, x4 = 0.4, y calculamos k1

(3)

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

k2

(3)

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

y 4 = y 3 +

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

Fase 5. Partimos de los valores 4 = 1. 07080 2 x4 = 0.4, x5 = 0.5, y calculamos 4 ) = f (0.4, 1. 07080 2) = 0. 32919 8, k1 = f (x4 , y k2
(4) (4)

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

y 5 = y 4 +

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

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 y j 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 y j que hemos obtenido mediante el mtodo de Euler modicado, 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 1 1. 004837 1. 018731 1. 040818 1. 070320 1. 106531 y j 1 1.005 1. 01902 5 1. 04121 8 1. 07080 2 1. 10707 6 ej = yj y j 0 0.000 163 0.000 294 0.000 400 0.000 482 0.000 545

El error de truncamiento global es 5 = 0.000 545. e5 = y5 y

3.2

Deduccin del mtodo de Euler modicado

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 1 y 0 (x) dx = [y (x)]x x0 = 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 nalmente y(x1 ) y(x0 ) ' y 1 = y0 + 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 y j , para calcular y j +1 integramos y 0 = f (x, y) en el intervalo Z Z
xj +1

xj

xj +1

xj +1

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

xj

xj

y 0 (x) dx = y (xj +1 ) y(xj ), h [f (xj , yj ) + f (xj +1 , yj +1 )] . 2

xj

f (x, y(x)) dx '

Para calcular f (xj +1 , yj +1 ) tomamos la estimacin de yj +1 que nos proporcionara el mtodo de Euler j + hf (xj , y j ) , yj +1 ' y y(xj +1 ) y (xj ) ' nalmente, resulta y j +1 = y j + h [f (xj , y j ) + f (xj +1 , y j + hf (xj , y j ))] . 2 h [f (xj , yj ) + f (xj +1 , y j + hf (xj , y j ))] , 2

4
4.1

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 denido por y 0 = ya , h2 0 0 (x , y y j +1 = y fx (xj , y j + h f (xj , y j ) + j ) + fy j ) , j j ) f (xj , y 2 donde
0 es la derivada parcial de f (x, y ) respecto de x, fx 0 es la derivada parcial de f (x, y ) respecto de y, fy

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

h=

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

x0 = a,

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, identicamos f (x, y), y f (x, y) = 1 + . x Calculamos las derivadas parciales
0 (x, y ) = fx 0 (x, y ) = fy

y , x2 1 . x

El tamao de paso es h= y los nodos son x0 = 1, x1 = 1.25, x2 = 1.5, x3 = 1.75, x4 = 2. 21 = 0.25, 4

Francisco Palacios

Tema 4: Resolucin aproximada de EDOs. 21

La frmula de recurrencia es, en este caso j + 0.25 f (xj , y j ) + y j +1 = y I Iteraciones Fase 1. Partimos de x0 = 1, calculamos f (x0 , y 0 ) = 1 + y 0 = 2, 2 = 3, 1 (0.25)2 0 0 j ) + fy (xj , y j ) f (xj , y j ) . fx (xj , y 2

2 0 fx (x0 , y 0 ) = = 2, 1 1 0 fy (x0 , y 0 ) = = 1, 1 0 + 0.25 f (x0 , y 0 ) + y 1 = y = 2. 78125. (0.25)2 0 0 fx (x0 , y 0 ) + fy (x0 , y 0 ) f (x0 , y 0 ) 2 = 2 + 0.25 3 + 0.0 3125 (2 + 1 3)

Fase 2. Partimos de x1 = 1.25, calculamos y 1 = 2. 78125,

1 ) = 1 + f (x1 , y

2. 78125 = 3. 225, 1.25 2. 78125 0 fx (x1 , y 1 ) = = 1. 78, (1.25)2

0 fy (x1 , y 1 ) =

1 = 0. 8, 1.25

y 2 = y 1 + 0.25 f (x1 , y 1 ) + = 3. 6125.

(0.25)2 0 0 1 ) + fy (x1 , y 1 ) f (x1 , y 1 ) fx (x1 , y 2 = 2. 78125 + 0.25 3. 225 + 0.0 3125 (1. 78 + 0. 8 3. 225)

Fase 3. Partimos de x2 = 1.5, calculamos f (x2 , y 2 ) = 1 + y 2 = 3. 6125, 3. 6125 = 3. 408333, 1.5

Francisco Palacios

Tema 4: Resolucin aproximada de EDOs. 22

0 fx (x2 , y 2 ) =

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

0 fy (x2 , y 2 ) =

y 3 = y 2 + 0.25 f (x2 , y 2 ) + = 4. 48541 7.

(0.25)2 0 0 2 ) + fy (x2 , y 2 ) f (x2 , y 2 ) fx (x2 , y 2 = 3. 6125 + 0.25 3. 40833 3 + 0.0 3125 (1. 60555 6 + 0. 66666 67 3. 40833 3)

Fase 4. Partimos de x3 = 1.75, calculamos y 3 = 4. 485417,

4. 48541 7 = 3. 563095, 1.75 4. 48541 7 0 fx (x3 , y 3 ) = = 1. 464626, (1.75)2 3 ) = 1 + f (x3 , y

0 fy (x3 , y 3 ) =

1 = 0. 5714286, 1.75

3 + 0.25 f (x3 , y 3 ) + y 4 = y = 5. 39404 8.

(0.25)2 0 0 3 ) + fy (x3 , y 3 ) f (x3 , y 3 ) fx (x3 , y 2 = 4. 48541 7 + 0.25 3. 56309 5 + 0.0 3125 (1. 46462 6 + 0. 57142 86 3. 56309 5)

Resumimos los resultados en una tabla j 0 1 2 3 4 xj 1.00 1.25 1.50 1.75 2.00 y j 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 y0 1 y = 1. x 1 y = 0. x

La ecuacin homognea asociada es y0 Identicamos

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

R
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
0 yp

1 y = 1. x
y

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

k0 = k= Z

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, I Solucin exacta del problema de valor inicial. Imponemos la condicin y(1) = 2 y obtenemos 2 = k + 1 ln 1 k = 2, k R.

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 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 y j 2 2. 781250 3. 612500 4. 48541 7 5. 39404 8 ej = yj y j 0 0.00 2321 0.00 4302 0.00 6089 0.00 7754

El error de truncamiento global es e4 = y4 y 4 = 0.00 7754.

4.2

Deduccin del mtodo de Taylor de 2o orden

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 ,

Supongamos que el problema de valor inicial dy = f (x, y), dx y (a) = ya , x [a, b].

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 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) = = y obtenemos y 00 (xj ) = f (xj , yj ) + f (xj , yj ) f (xj , yj ). x y 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 (2)

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 j , y obtenemos la apronalmente, sustituimos yj por el valor aproximado y ximacin para yj +1 y j +1 = y j + h f (xj , y j ) + h2 0 0 j ) + fy (xj , y j ) f (xj , y j ) . fx (xj , y 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 Ecuacin diferencial.

Tema 4: Resolucin aproximada de EDOs. 26

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 identicamos p(t) = . La solucin general es y = ke = ke y = ket , 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,
R R p(t) dt () dt

k R.

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 Despus de 12 horas, tendremos y (12) = y0 e

ln 2 12 4 ln 2 t 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 , y0 e3 = 104 , y0 e5 = 4 104 .

es decir

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.

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 , identicamos p(t) = , q (t) = Tm , (ambos constantes).

Ecuacin diferencial

La EDO lineal homognea asociada es y 0 + y = 0, que tiene solucin y = ke y = ke

R dt

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) z }| { z }| { k 0 e t k e t + k e t = Tm , k0 e t = Tm , k0 = Tm , e t k0 = Tm e t , Z k = Tm e t dt. k = Tm e t + c, 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. c R,
0 yp

yp

Obtenemos

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 verica la ecuacin.

Francisco Palacios

Tema 4: Resolucin aproximada de EDOs. 31 4 7

15 = ln =

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 variacin de sal

}| { z }| { kg y kg litros litros 0 20 = 20 min. litro min. 1000 litro kg 1 = y 50 min.

tasa de entrada de sal

tasa de salida de sal

Francisco Palacios Ecuacin diferencial

Tema 4: Resolucin aproximada de EDOs. 32

dy 1 = y. dt 50 Es una ecuacin lineal homognea y0 + con solucin general y = k e y = ke Usamos la condicin inicial y (0) = 60, para determinar k 60 = k e0
1

1 y = 0, 50
1 50

1 50

dt t

k R, k R.

k = 60.

El modelo matemtico que describe la cantidad de sal en el tanque es y = 60 e 50 t . La cantidad de sal despus de 1 hora ser y(60) = 60 e 50 = 18. 07 kg. Ejemplo 5.5 En una galera subterrnea de dimensiones 15 5 1.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).
60

Tasa de variacin de CO2 z }| { aire CO2 y m3 CO2 m3 aire 0.0005 3 9 9 min. m aire min. 90 m3 aire m3 m3
tasa de entrada de CO2

}|

tasa de salida de CO2

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 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 , y = 0.045 c e 10 ,
t

c R.

Sustituimos la condicin inicial, y determinamos c y(0) = 0.18, 0.18 = 0.045 c e 10

0

c = 0. 135.
t

El modelo matemtico que describe la cantidad de CO2 en la galera es y = 0.045 + 0.135 e 10 . La cantidad de CO2 despus de 20 minutos ser 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%.
20

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 oricio redondo de radio r = 0.833 cm situado en la base del depsito. Sabemos que por un oricio de ese tipo el agua uye 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 oricio de salida, tasa de variacin del nivel de agua (en dm/s).

La velocidad de salida del agua por el oricio de la base es v = 4.8 h dm/s, y el rea de la seccin perpendicular al ujo de salida es A = r2 dm2 , por lo tanto, tendremos un ujo de salida v A = 4.8 h dm/s r2 dm2 = 4.8 r2 h dm3 /s. La variacin del volumen de agua V = V (t) en el depsito es igual a ujo de salida dV = 4.8 r2 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.8 r2 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= 2 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