Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O.

323 __________________________________________________________________________________

PROBLEMAS DE VALOR EN LA FRONTERA (P.V.F.) Hasta aqu se han considerado problemas de valor inicial (P.V.I.) para ecuaciones diferenciales ordinarias (E.D.O.), es decir, problemas de E.D.O. donde se especifican condiciones sobre la solucin de la ecuacin diferencial en un mismo punto llamado punto inicial (condiciones iniciales). Ahora se considerarn E.D.O. donde se imponen condiciones sobre la solucin desconocida es ms de un punto. Tales problemas son llamados problemas de valores en la frontera (P.V.F.) o problemas de contorno. Se considerar nicamente el caso de un P.V.F. de segundo orden con dos puntos, de la forma general: (1)
y = f ( t , y , y ) , t [ a , b ] ( a < b ) y ( a ) = , y ( b ) = : Condicione s de frontera ( C. F. )

La frontera en este caso es el conjunto {a , b } . Qu puede decirse de la existencia y unicidad de solucin para un P.V.F. del tipo (1)? Veamos algunos ejemplos: 1)
y = y y ( 0 ) = 1 , y ( 1 ) = 1

La solucin general de la ecuacin diferencial y = y es y ( t ) = A e t + B e t , A y B constantes arbitrarias.

y ( t ) = e t , y ( t ) = 2 e t , as que y = y 2 e t = e t 2 1 e t = 0 = 1; as que y (t ) = e t , y ( t ) = e t son soluciones particcula res de y = y. 1 2

Tratamos ahora de encontrar valores de A y B de modo que se satisfagan las condiciones de frontera: y ( 0 ) = A + B = 1 y ( 1 ) = A e 1 + B e 1 = 1 Este
y (t )=

sistema

tiene

solucin

nica

A=

1 e , B= 1+ e 1+ e

as

que

1 e et + e t es solucin en 1+ e 1+ e solucin?

[ 0, 1 ]

del P.V.F. dado.

Existir otra

2)

y = y y ( 0 ) = 2 , y 2 = 4

324 MTODOS NUMRICOS __________________________________________________________________________________ La solucin general de la ecuacin diferencial y = y es y ( t ) = A cos (t ) + B sen (t ) , A y B constantes arbitrarias. ( 2 + 1 = 0 = i , y 1 ( t ) = e i t = cos (t ) + i sen (t ) , y 2 ( t ) = e i t = cos (t ) i sen (t ) son soluciones particulares complejas de la ecuacin diferencial y1 ( t ) + y 2 ( t ) y1 ( t ) son soluciones y = y ; = cos t = y 1 ( t ) ; = sen t = y 2 ( t ) 2 2i particulares reales de la ecuacin diferencial y = y ) Determinemos A y B, si es posible, para que se satisfagan la condiciones de frontera y(0 ) =A = 2 , y = B = 4 . Luego y 1 ( t ) = 2 cos ( t ) + 4 sen ( t ) es solucin en 2
0 , 2 del P.V.F. dado. Existir otra solucin?

3)

y = y y ( 0 ) = 2 ,

y ( )= 4

La solucin general de la ecuacin diferencial y = y es y ( t ) = A cos(t ) + B sen(t ) , A y B constantes arbitrarias. Para que se satisfagan las condiciones de frontera debe tenerse y ( 0 ) = A = 2 y y ( ) = A = 4 , lo cual es imposible. As que el P.V.F. dado no tiene solucin.
4)
y = y y ( 0 ) = , y ( ) =

La solucin general de la ecuacin diferencial y = y es y ( t ) = A cos(t ) + B sen(t ) , A y B constantes arbitrarias. Para que se satisfagan las condiciones de frontera debe tenerse que y ( 0 ) = A = y y ( ) = A = ; as que para que este P.V.F. tenga solucin debe ser = , y si esto ocurre, y ( t ) = cos(t ) + B sen(t ) , B constante arbitraria, es solucin en [ 0 , ] del P.V.F. dado. Los ejemplos anteriores muestran diversas posibilidades en cuanto a existencia y unicidad de solucin de un P.V.F. del tipo (1). Usaremos el siguiente teorema de existencia y unicidad.
Teorema 6.5 Supongamos que la funcin
fy f ( t, y,z )

y las derivadas parciales

( t, y, z ) =

f ( t, y,z ) , y

fz ( t , y , z ) =

R = { ( t , y , z ) / a t b , < y , z < + }

f ( t , y , z ) son continuas en la regin z

Si adems, f y ( t , y , z ) > 0 para todo

( t,

y , z ) R , y existe una constante M > 0 tal que

fz ( t , y , z ) M para todo ( t , y , z ) R , entonces el P.V.F.

Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O. 325 __________________________________________________________________________________

y = f ( t , y , y ) y ( a ) = , y ( b ) =

( z y )

tiene solucin nica y ( t ) con t [ a , b ] .

Ejemplo 6.18 Para el P.V.F.
y = y y ( 0 ) = 1, y ( 1 ) = 1

se tiene que f ( t , y , z ) = y ,

R = { ( t , y , z ) / 0 t 1, < y , z < + } .
Adems,

f ( t, y, z ) = 1, f ( t , y , z ) = 0 que son continuas en y y

f ( t , y , z ) = 1 > 0 para todo ( t , y , z ) R y y

f ( t , y , z ) = 0 M para todo z

( t, y, z ) R

(cualquiera sea M 0 ). As que el P.V.F. dado tiene solucin nica en [ 0 , 1 ] .

1 1 et + e t , 1+ e 1+ e t [ 0 ,1 ] .

Tal solucin es y ( t ) =

Estudiaremos algunos mtodos numricos para aproximar la solucin y ( t ) de un P.V.F. de la forma

y = f ( t , y , y ) (1) y ( a ) = , y ( b ) =

con solucin nica en [ a, b ] .

6.5 MTODO SHOOTING O DEL DISPARO

Considere el P.V.F. de dos puntos general

y = f ( t , y , y ) (1) y ( a ) = , y ( b ) =

con solucin nica y ( t ) , t [ a , b ] . Una manera de calcular la solucin y ( t ) de este P.V.F. es relacionando este problema con un P.V.I. del tipo y = f ( t , y , y ) (2) y ( a ) = , y ( a ) = z

326 MTODOS NUMRICOS __________________________________________________________________________________ donde z es un valor propuesto, esperando que si y z ( t ) es la solucin del P.V.I. ( 2 ) se cumpla que y z ( b ) = , de esta manera y z ( t ) sera la solucin del P.V.F. ( 1 ) . Observar la siguiente figura:

Si el valor z propuesto no satisface la condicin y z ( b ) = , proponemos un nuevo valor z y resolvemos el correspondiente P.V.I. La idea general es definir una funcin
( z ) = y z ( b )

y encontrar z de modo que ( z ) = 0 . El problema visto de esta manera se convierte en un problema de bsqueda de la raz de una ecuacin, ecuacin que en general es no-lineal. Este mtodo para resolver el P.V.F. ( 1 ) se conoce como MTODO SHOOTING o DEL DISPARO. Estudiaremos el siguiente caso especial:
CASO LINEAL: Consideramos el P.V.F. de dos puntos lineal:
y = p ( t ) y + q ( t ) y + r ( t ) (3) y ( a ) = , y ( b ) =

( f ( t , y , y ) )

donde suponemos que p ( t ), q ( t ) y r ( t ) son continuas en [ a , b ] (lo que garantiza, en particular, que

P.V.F. (3) tiene solucin nica en [ a , b ] , segn teorema de existencia y unicidad).

f ( t , y , z ) = p ( t ) M = Mx p ( t ) . Si q ( t ) > 0 , entonces el t[ a , b ] z

zy

El mtodo Shooting, para este caso, consiste en proponer dos valores de z , es decir, consideramos los siguientes dos P.V.I. asociados con el P.V.F. dado:
y = p ( t ) y + q ( t ) y + r ( t ) (a) y ( a ) = , y ( a ) = z 1 ( C.I. )

Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O. 327 __________________________________________________________________________________

y = p ( t ) y + q ( t ) y + r ( t ) (b) y ( a ) = , y ( a ) = z 2 ( C. I. )

Si y 1 ( t ) es la solucin del P.V.I. ( a ) y y 2 ( t ) es la solucin del P.V.I. ( b ), entonces la combinacin lineal:

g ( t ) = y1 ( t ) + ( 1 ) y 2 ( t )

donde es un parmetro real, es tambin solucin de la ecuacin diferencial del P.V.F. dado, porque:
g ( t ) = y 1 ( t ) + ( 1 ) y ( t ) 2 = [ p ( t ) y 1 (t ) + q ( t ) y 1 (t ) + r ( t ) ] + ( 1 ) [ p ( t ) y (t ) + q ( t ) y 2 (t ) + r ( t ) ] 2 = p ( t ) [ y 1 (t ) + ( 1 ) y (t ) ] + q ( t ) [ y 1 (t ) + ( 1 ) y 2 (t ) ] + r ( t ) 2 14444244443 14444 4444 2 3 g ( t ) g (t ) Adems, la solucin g ( t ) toma los siguientes valores en la frontera del intervalo [ a , b ] :
g ( a ) = y1 ( a ) + ( 1 ) y 2 ( a ) = + ( 1 ) = g ( b ) = y1 ( b ) + ( 1 ) y 2 ( b )

La pregunta inmediata es, existir tal que g ( b ) = ? Es decir, la funcin g ( t ) resolver el P.V.F. dado para algn valor de ? Para responder esta pregunta basta resolver la ecuacin:
g ( b ) = y1 ( b ) + ( 1 ) y 2 ( b ) = [ y1 ( b ) y 2 ( b ) ] = y 2 ( b )

Resolviendo la ecuacin anterior, siempre que y 1 ( b ) y 2 ( b ) 0 , se obtiene

= y2 ( b ) y1 ( b ) y 2 ( b )

Por lo tanto, si y 1 ( b ) y 2 ( b ) 0 , la solucin nica del P.V.F. dado es

g ( t ) = y 1 ( t ) + ( 1 ) y 2 ( t ) con = y2 (b ) y1 ( b ) y 2 ( b )

Para el caso y 1 ( b ) y 2 ( b ) = 0 , se tiene que y 2 ( t ) o y 1 ( t ) es, en s misma, una solucin del P.V.F. dado, pues y 2 ( b ) = 0 , siempre que el P.V.F. ( 3 ) tenga solucin (usando teora de ecuaciones diferenciales lineales de segundo orden). Para aplicar este mtodo Shooting, usando el computador procedemos como sigue: Consideramos dos P.V.I. asociados con el P.V.F. dado, que pueden ser

328 MTODOS NUMRICOS __________________________________________________________________________________

y = p ( t ) y + q ( t ) y + r ( t ) a) y ( a ) = , y ( a ) = 0 y = p ( t ) y + q ( t ) y + r ( t ) b) y ( a ) = , y ( a ) = 1

Aplicamos un mtodo numrico, como por ejemplo Runge-Kutta de orden cuatro, para aproximar la solucin y 1 ( t ) del P.V.I. a) y y 2 ( t ) del P.V.I. b), en los puntos igualmente espaciados: ba a = t 0 , a + h = t 1, ... , a + k h = t k , ... , b = t m con h = m Digamos que tales valores aproximados son Y1, k , Y2, k , es decir,
Y1, k y 1 ( t k ) k = 0 , 1, ... , m Y y2 ( tk ) 2, k

En particular,

Y2 , m y 2 ( t m ) = y 2 ( b )

Y1, m y 1 ( t m ) = y 1 ( b )

Si Y1, m Y2 , m , entonces definimos =

Y2 , m Y1, m Y2 , m

y calculamos los valores

Yk = Y1, k + 1 Y2 , k y ( t k
siendo y ( t ) la solucin del P.V.F. dado. Si Y1, m Y2 , m , tomamos como valores aproximados de y ( t k
Ejemplo 6.19

) a los valores

Y1, k ( o Y2 , k ).

Usemos el mtodo del disparo en el caso lineal para aproximar la solucin 1 y (t ) del siguiente P.V.F. en los puntos t k = k h , k = 0 , 1 , ... , 10 con h = = 0 .1 : 10
y = y y ( 0 ) = 1 , y ( 1 ) = 1

(La nica solucin del P.V.F. dado es y ( t ) =

1 e et + e t , t [ 0 , 1 ] ). 1+ e 1+ e

Solucin: Para aplicar el mtodo Shooting, planteamos los siguientes dos P.V.I. asociados con el P.V.F dado:
y = y a) y ( 0 ) = 1, y ( 0 ) = 0 y = y b) y ( 0 ) = 1 , y ( 0 ) = 1

Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O. 329 __________________________________________________________________________________

Observe que estos dos P.V.I. tienen solucin nica y 1 ( t ) =

( y ( t ) = A e t + B e t , y ( 0 ) = A + B = 1 , y ( t ) = A e t B e t , y ( 0 ) = A B = 0 , entonces
1 1 1 = B , lo que produce y 1 ( t ) = e t + e t que es la solucin del P.V.I. a). Para el 2 2 2 P.V.I. b) se tiene que y ( 0 ) = A + B = 1, y ( 0 ) = A B = 1 , entonces A = 1 , B = 0 , as que A=

y 2 ( t ) = e t para el P.V.I. b).

1 t 1 t e + e para el P.V.I. a) y 2 2

y 2 ( t ) = e t es la solucin del P.V.I. b)).

Si aplicamos el mtodo de Runge-Kutta de orden cuatro para aproximar la solucin de cada uno de los dos P.V.I., se obtiene: y 1 = y 2 y1 = y y 2 = y 1 y 2 = y y 1 ( 0 ) = 1 , y 2 ( 0 ) = 0 para el P.V.I. a) (y 1 ( 0 ) = 1 , y 2 ( 0 ) = 1 para el P.V.I. b)) (La instruccin en DERIVE para el P.V.I. a) es RK

( [ z , y ] , [ t , y , z ] , [ 0 , 1 , 0 ], 0.1, 10 )
Y2 , k y 2 ( t k

k 0 1 2 3 4 5 6 7 8 9 10

tk

Y1, k y 1 ( t k

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1.0

1 1.00500 1.02006 1.04533 1.08107 1.12762 1.18546 1.25516 1.33743 1.43308 1.54307 y 1 ( 1 )

1 1.10517 1.22140 1.34985 1.49182 1.64872 1.82211 2.01375 2.22553 2.45960 2.71827 y 2 ( 1 )

Observamos que Y1,10 1.54307 y Y2 ,10 2.71827 , y como Y1,10 Y2,10 , entonces calculamos
= y2 ( b ) 1 2.71827 = 1.46210 = y1 ( b ) y 2 ( b ) 1.54304 2.71827

as que = 1.46210 , con lo cual

g ( t ) 1.46210 y 1 ( t ) + ( 1 1.46210 ) y 2 ( t ), t [ 0, 1]

es decir,

1.46210 y 1 ( t ) 0.46210 y 2 ( t ) y ( t ) : solucin del P.V.I. dado.

330 MTODOS NUMRICOS __________________________________________________________________________________

Los valores Yk que aparecen en la siguiente tabla se calcularon con base en la frmula:

Yk = 1.46210 Y1,k 0.46210 Y2 ,k y ( t k ) , k = 0 , 1 , ... , 10

Haciendo los clculos indicados, se obtiene: k 0 1 2 3 4 5 6 7 8 9 10
y ( tk

tk

Yk

y ( t k ) Yk
0 4 x 10 6

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 10

1 0.958711 0.927020 0.904611 0.891262 0.886819 0.891264 0.904615 0.927038 0.958725 1.00001

1 0.958715 0.927025 0.904614 0.891256 0.886818 0.891256 0.904614 0.927025 0.958715 1 produce los

5 x 10 6 3 x 10 6 6 x 10 6
10 6

8 x 10 6
10 6

1.3 x 10 5
10 5 10 5

( ( # * COL [ 2 ]) + ( 1 ) ( # * * COL [ 2 ] ) TABLE ( y ( t ), t , 0 , 1 , 0.1 ) produce:

tk 0 1.0

valores

Yk ,

luego

y ( tk 1

#***

1 .0

y se hace # * * * COL [ 2 ], y luego se hace la resta con la columna que produce los valores Yk ). En siguiente grfica aparece la grfica de la solucin 1 e t t y (t )= e + e , t [ 0 , 1 ] del P.V.F. dado junto con los puntos ( t k , Yk ) 1+ e 1+ e correspondientes a los valores Yk obtenidos mediante la aplicacin del mtodo del disparo. la

Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O. 331 __________________________________________________________________________________

6.6 MTODO DE DIFERENCIAS FINITAS

Supongamos que queremos aproximar la solucin y ( t ) de un P.V.F. de dos puntos general

y = f ( t , y , y ) y ( a ) = , y ( b ) =

Una forma de hacerlo es aproximando las derivadas y ( t ) y y ( t ) a partir de expresiones como las siguientes: 1) 2) 3)
y (t + h ) y (t ) h y ( ) , entre t y t + h h 2 y (t ) y (t h) h y ( t ) = y ( ) , entre t y t h h 2 y ( t + h ) y ( t h ) h2 y ( ) , entre t h y t + h y ( t ) = 2h 6 y ( t ) =
y ( t ) = y (t + h ) 2 y (t )+ y (t h ) h2 h 2 (iv ) ( ) , entre t h y t + h y 12

4)

Veamos como se obtienen las expresiones 3) y 4) (las dems se dejan como ejercicio). Por teorema de Taylor aplicado a la funcin y ( t ) , asumiendo y ( t ) analtica en [ a , b ] , se obtiene: 5)
y ( t + h ) = y ( t ) + h y ( t ) + h2 h3 y ( t ) + y ( 1 ), 1 entre t y t + h 2! 3! 14243
residuo o error

6)

y ( t h ) = y ( t ) h y ( t ) +

h2 h3 y ( t ) y ( 2 ), 2 entre t h y t 2! 3! 14243
residuo o error

332 MTODOS NUMRICOS __________________________________________________________________________________ Restando miembro a miembro las ecuaciones 5) y 6) se obtiene:

y ( t + h ) y ( t h ) = 2 h y ( t ) +

h3 ) [ y (1 ) + y ( 23] 4 3 ! 144 2444 2 y( )

(la igualdad y ( 1 ) + y ( 2 ) = 2 y ( ) se obtiene aplicando el Teorema del valor intermedio, asumiendo continuidad de y ( t ) , t [ a, b ] ). Despejando y ( t ) en la ecuacin anterior, se obtiene: y ( t ) = y ( t + h ) y ( t h ) h2 y ( ) , 2h 6 [a , b ]

Como y ( t ) es continua en [ a , b ] , entonces existe M > 0 tal que y ( t ) M para todo

t [ a , b ] , as que
y ( t ) y ( t + h ) y ( t h ) M para todo t [ a , b ] h2 2h 6

lo cual se indica escribiendo

y ( t ) = y (t + h ) y (t h ) + O h2 2h

( )

Para obtener (4), usamos: 7) 8)

y ( t + h ) = y ( t ) + h y ( t ) +
y ( t h ) = y ( t ) h y ( t ) +

h2 h3 h 4 ( iv ) y ( t ) + y ( t ) + y 1 , 1 entre t y t + h 2! 3! 4!

( )

h2 h3 h 4 ( iv ) y ( t ) y ( t ) + y 2 , 2 entre t h y t 2! 3! 4!

( )

Sumando miembro a miembro las ecuaciones 7) y 8), se obtiene

y ( t + h ) + y ( t h ) = 2 y ( t ) + h 2 y ( t ) + h 4 (iv ) y ( 1 ) + y (iv ) ( 2 ) 4 3 4 ! 1444 24444 iv ( ) 2y

y despejando y ( t ) , se obtiene
y (t + h ) 2 y (t )+ y (t h ) h2

y ( t ) =

h 2 ( iv ) ( ) , [ a, b ] y 12

Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O. 333 __________________________________________________________________________________

Esta vez, como en 3),

y ( t ) =

y (t + h ) 2 y (t )+ y (t h ) h2

+ O h2

( )

En lo que sigue usaremos las expresiones

y (t + h ) y (t h ) , 2h y (t h ) 2 y (t )+ y (t + h ) h2

para aproximar y ( t ) y

orden dos o de orden O h 2 .

( )

y ( t ) , respectivamente, y diremos que son aproximaciones de

Ahora s, para aproximar la solucin y ( t ) del P.V.F. 9)

y = f ( t , y , y ) y ( a ) = , y ( b ) =

en el intervalo [ a , b ] , usando el mtodo de diferencias finitas, empezamos discretizando el intervalo [ a , b ] mediante N + 2 puntos igualmente espaciados en [ a , b ] :
t 0 = a , t 1 = a + h , t 2 = a + 2 h , ... , t i = a + i h , ... , t N+1 = b , con h = ba el tamao N+1

de paso.

Enseguida se discretiza el problema y ( t ) y y ( t ) , como sigue:

1 10) 2 h y0 =

continuo

9),

discretizando

las

funciones

[ y i1 2 y i + y i+1 ]= f t i , y i , y N+1 =

y i+1 y i1 , 2h

1 i N

En esta discretizacin se tiene en cuenta que y 0 = y ( t 0 ) = y ( a ) = , y i y ( t i ) , y N+1 = y ( t N+1 ) = y ( b ) = . La aproximacin de la solucin y ( t ) del P.V.F. 9) vara dependiendo de la solucin del problema discreto 10), la cual, a su vez, depende de la forma de la funcin f.

334 MTODOS NUMRICOS __________________________________________________________________________________ Consideraremos solamente, el caso en el cual f ( t , y , y ) es una funcin lineal de las variables y y y , es decir, consideramos solamente P.V.F. del tipo:
y = p ( t ) y + q ( t ) y + r ( t ) y ( a ) = , y ( b ) =

La discretizacin de este P.V.F., usando diferencias finitas de los tipos 3) y 4), es: 1 2 h y0 =

[ y i1 2 y i + y i+1 ] = p i y i+12hy i1 + qi y i + ri ,
y N+1 =

1 i N

donde p i = p ( t i ) , q i = q ( t i

)y

ri = r ( t i ) .

h2 a ambos lados y i+1 y i1 1 y i1 2 y i + y i+1 = p i + qi y i + ri , 1 i N , 2 2h h semejantes, se obtiene el siguiente sistema lineal de ecuaciones:
Multiplicando por

de

la

ecuacin

agrupando

trminos

y0 = h h ( * ) 1 p i y i1 + 2 + h 2 q i y i + 1 + p i y i+1 = h 2 r i , 1 i N 2 2 y N+1 =

Introduciendo las notaciones a i1 = 1 sistema ( * ) toma la forma siguiente:

h h p i , d i = 2 + h 2 q i , c i = 1 + p i , b i = h 2 ri , el 2 2

y0 = a i1 y i1 + d i y i + c i y i+1 = b i , 1 i N y N+1 =

( i = 1 : a 0 y 0 + d1 y 1 + c 1 y 2 = b 1
i = 2 : a1 y 1 + d 2 y 2 + c 2 y 3 = b 2 .

d1 y 1 + c 1 y 2 = b 1 a 0 , ya que y 0 = ;

En general:
a i1 y i1 + d i y i + c i y i+1 = b i , 2 i N 1

i = N : a N1y N1 + dN y N + c N y N+1 = b N o a N1 y N1 + dN y N = b N c N , ya que y N+1 = )

Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O. 335 __________________________________________________________________________________

Sistema que en forma matricial es:

0 L 0 y 1 b1 a 0 d1 c 1 0 0 y2 b2 a 1 d 2 c 2 0 0 a 2 d3 c 3 0 y 3 b3 O = M O O M M 0 y b a N2 dN1 c N1 N1 N1 0 y N b N c N 0 a N1 44444444L 4444444dN 3 123 14243 1 4 2 44 A Y b

El sistema final es un sistema tridiagonal para el cual hay algortmos especiales para resolverlo, como por ejemplo, a travs de la factorizacin L U de la matriz de coeficientes A, porque este sistema, para h pequeo, casi siempre resulta con matriz de coeficientes estrictamente dominante diagonalmente por filas. Resolviendo este sistema se obtiene una aproximacin discreta de la resolucin y ( t ) del P.V. F.
y = p ( t ) y + q ( t ) y + r ( t ) y ( a ) = , y ( b ) =

Este mtodo de solucin se conoce como mtodo de diferencias finitas. Se puede demostrar que bajo ciertas condiciones sobre las funciones p ( t ) , q ( t ) y r ( t ) y ciertas condiciones de frontera, el mtodo de diferencias finitas es convergente, es decir, y ( t i ) y i 0 cuando h 0 .
Ejemplo 6.20 Considere el P.V.F.
y = 2 y + y + t y ( 0 ) = 1 , y ( 1 ) = 2

a) Demuestre que el P.V.F. dado tiene solucin nica en [ 0 , 1 ] .

Demostracin: Sea f ( t , y , z ) = 2 z + y + t . Entonces

f (t , y , z ),
son continuas en

fy ( t , y , z ) = 1 ,

fz ( t , y , z ) = 2

R = { ( t , y , z ) / 0 t 1 , < y , z < + }

336 MTODOS NUMRICOS __________________________________________________________________________________ adems f y ( t , y , z ) = 1 > 0 para todo para todo ( t , y , z ) R . Luego el P.V.F. dado tiene solucin nica y ( t ) , t [ 0 , 1 ] . b) Use el mtodo de Diferencias finitas de orden O h 2 con tamao de paso
3 y . 4

( t , y , z ) R , y

fz ( t , y , z ) = 2 2 = M

( ) (diferencias finitas centradas)

valores aproximados de

h=

1 , 4

para

obtener

1 y , 4

1 y , 2

Solucin: Empezamos discretizando el intervalo [ a , b ] = [ 0 , 1 ] . Como h =

a = 0 = t0, t1 = 0 + h =

1 , entonces 4

1 1 3 , t2 = 0 + 2 h = , t3 = 3 h = y t4 = 1 4 2 4 3 1 1 Debemos aproximar y , y , y ya que y ( 0 ) = 1 y y ( 1 ) = 2 . 4 2 4

Discretizamos la E.D.O y = 2 y + y + t , tomando centro en t i , 1 i 3 , y se obtiene:

y0 = y ( 0 ) = 1 y y i1 y i1 2 y i + y i+1 = 2 i+1 + yi + ti , 2 2h h y4 = y (1) = 2

1 i 3

Como h =

1 , entonces el sistema toma la forma: 4 y0 = 1 y 2 y +y y y i1 i1 i i+1 = i+1 + yi + ti , 2 1 1 4 4 y4 = 2

1 i 3

Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O. 337 __________________________________________________________________________________

es decir:
y0 = 1 16 ( y i1 2 y i + y i+1 ) = 4 ( y i+1 y i1 ) + y i + t i , 1 i 3 y4 = 2

y agrupando trminos semejantes, se obtiene:

y0 = 1 20 y i1 33 y i + 12 y i+1 = t i , y4 = 2

1 i 3

Escribiendo las ecuaciones para cada i , se obtiene:

i = 1: 20 y 0 33 y 1 + 12 y 2 = t 1 33 y 1 + 12 y 2 = 1 79 20 ( 1 ) = 4 4

es decir,
i = 2:

33 y 1 12 y 2 =

79 4 1 2

20 y 1 33 y 2 + 12 y 3 = t 2 20 y 1 + 33 y 2 12 y 3 =

es decir,
i=3:

20 y 1 + 33 y 2 12 y 3 =

1 2 3 93 12 ( 2 ) = 4 4

20 y 2 33 y 3 + 12 y 4 = t 3 {
2

20 y 2 33 y 3 =

es decir,
20 y 2 + 33 y 3 = 93 4

Luego el sistema lineal a resolver es:

0 y1 33 12 20 33 12 y 2 = 0 20 33 44424443 y 3 13 1 2 A es E.D.D por filas Y 79 4 1 2 93 4 4 1 24 3 b

cuya nica solucin es:

26557 y1 26796 1315 y2 = 1218 y 3 109237 80388 0.9910807583 1.079638752 1.358871970 1 y 4 y 1 2 y 34

( ) ( ) ( )

338 MTODOS NUMRICOS __________________________________________________________________________________

ECUACIN DE LAPLACE (BIDIMENSIOSNAL)

La ecuacin de Laplace en dos variables es una ecuacin diferencial parcial elptica (Forma general: A x x + B x y + C y y = f x , y , , x , y , con A, B y C constantes, si

B 2 4 A C < 0 , la ecuacin se dice elptica; si B 2 4 A C = 0 , la ecuacin se dice

parablica; si B 2 4 A C > 0 , la ecuacin se dice hiperblica) donde no aparece la variable t: (1) U x x + U y y = 0 siendo U una funcin en las variables

(o

U=0

U=0

x y y , es decir, U ( x , y ) .

Al estudiar procesos estacionarios (procesos que se estabilizan o estacionan cuando t + , o sea que ya no cambian con el tiempo) de distinta naturaleza fsica (por ejemplo: oscilaciones, vibraciones, conduccin del calor, difusin y otros) se obtiene, por lo general, ecuaciones diferenciales parciales de tipo elptico, y la ecuacin ms frecuente de este tipo es la ecuacin de Laplace: 2U = 0 Una funcin U ( x , y ) se dice armnica en una regin T del plano x y , si U junto con sus derivadas parciales de orden menor o igual que 2 son continuas en T y U ( x , y ) satisface la ecuacin de Laplace.
PROBLEMA DE DIRICHLET: Un problema que ocurre en el estudio del color, electricidad y muchas otras ramas de la fsica es el problema de Dirichlet. En la versin bidimensional se

dan una regin abierta en R y una funcin g ( x , y ) definida sobre la frontera de , , y se busca una funcin U ( x , y ) que sea continua sobre la clausura de
2

, = , y satisfaga la ecuacin de Laplace en y sea igual a g ( x , y ) en la

frontera de . Esto se sintetiza escribiendo:

Ux x + Uy y = 0 ( x , y ) , conjunto abierto de R 2 (2) U ( x , y ) = g ( x , y ) ( x , y ) U ( x , y ) es continua sobre = ( clausura de ) (Principio del valor mximo: Los valores mximo y mnimo de U ( x , y ) se alcanzan en ) Si est sujeta a algunas restricciones y si g ( x , y ) es continua en , entonces se puede probar que el problema (2) tiene solucin nica. En el problema (2), se trata de encontrar U ( x , y ) para todo ( x , y ) (en el interior de ), conociendo el comportamiento de U ( x , y ) en la frontera de ( ) . Para ilustrar el mtodo numrico que vamos a estudiar para aproximar la solucin U ( x , y ) del problema (2) , considrese el P.V.F. siguiente:

Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O. 339 __________________________________________________________________________________

U x x + U y y = 0 en (3) U ( x , y ) = g ( x , y ) en

siendo = ( 0 ,1 ) x ( 0 , 1 ) = { ( x , y ) / 0 < x < 1, 0 < y < 1 } : cuadrado unitario abierto

( x , y ) / x = 0 y 0 y 1 , x = 1 y 0 y 1, = = ( [ 0 ,1 ] x [ 0 ,1 ] ) y = 0 y 0 x 1, y = 1 y 0 x 1

La funcin de frontera g ( x , y ) es arbitraria, por el momento. Para aplicar el mtodo de diferencias finitas para aproximar la funcin U ( x , y ) en , empezamos discretizando el cuadrado , mediante los puntos de malla (o de red):

( x i , y i ) = ( i h, j k ) ,

con

h=

1 1 ,k = N+1 M+1

N y M enteros positivos. En este caso el tamao de paso en x puede ser diferente al tamao de paso en y . Una discretizacin del rectngulo [ 0 ,1 ] [ 0 , 1 ] es como se muestra en la siguiente grfica, para indicar que en el punto de malla con coordenadas donde se utiliza U i, j x i , y j = ( ih , jk ) , se va a aproximar la funcin desconocida U ( x , y ) .

En

estudio para el caso particular: ( x i , y i ) = ( i h , j h ), 0 i , j N + 1 , es decir h = k = 1 , N entero positivo cualquiera. N+1

lo

que

sigue,

consideraremos

el

340 MTODOS NUMRICOS __________________________________________________________________________________ El propsito es encontrar valores aproximados de U x i , y j x i , y j interiores de la malla.

) para cada uno de los puntos (

Si tomamos como caso particular N = 3 , se necesita aproximar U x i , y j los 9 cada uno de los NM puntos interiores de la malla).

) para cada uno de ( 9 = N2 ) puntos interiores de la malla (en el caso general, se aproxima U ( x i , y j ) en ( )

Tomaremos como notacin U i, j para representar el valor aproximado de U x i , y j . En este caso, los valores U 0 , j , U 4 , j , U i, 0 , U i, 4 , 0 i , j 4 son conocidos (condiciones de frontera). Ahora discretizamos la E.D.P.: ( 1 ) Ux x + Uy y = 0

mediante diferencias finitas del tipo:

f ( x ) = f ( x h ) 2f ( x )+ f ( x + h ) h2 + O h2

( )

Tomando como centro el punto ( x i , y i ) = ( i h , j h ) , y las diferencias finitas del tipo indicado, obtuvimos la siguiente discretizacin de la E.D. parcial:
1 h
2

[ U i 1 , j 2 U i , j + U i+1 , j ] +

1 h2

[ U i, j 1 2 U i, j + U i, j +1 ] = 0

(Recuerde que en situacin general sera:

Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O. 341 __________________________________________________________________________________

1 h
2

[ U i 1 , j 2 U i , j + U i+1 , j ] +

1 k
2

[ U i, j 1 2 U i, j + U i, j +1 ] = 0 ,

h=

1 1 ) , k= M+1 N+1

Multiplicando por h 2 y agrupando trminos semejantes, se obtiene:

U i 1 , j + 4 U i, j U i + 1 , j U i , j 1 U i, j + 1 = 0 , 1 i , j 3
(En el caso general ( 1 i N , 1 j M )

la cual se conoce como Frmula de diferencias finitas de cinco puntos.

Para ordenar las ecuaciones correspondientes ( 9 ecuaciones: una para cada punto interior de la malla ), usaremos el siguiente orden llamado natural:

U = U 1, 1 , U 2,1 , U 3 , 1 , U 1, 2 , U 2, 2 , U 3 , 2 , U 1, 3 , U 2, 3 , U 3 , 3 (ver la discretizacin del rectngulo [ 0 ,1 ] [ 0 , 1 ] , hecha en pgina anterior)

En cada una de las ecuaciones, los valores conocidos se colocarn al lado derecho de la ecuacin. Los resultados son como sigue: Punto (1, 1): U0 ,1 + 4 U1,1 U2, U1, 0 U1, 2 = 0 , la cual escrita en el orden natural es

4 U1, 1 U 2, 1 U1, 2 = U1, 0 + U0 , 1

(1 )

Punto (2,1): U1, 1 + 4U2, 1 U3 , 1 U2, 0 U 2, 2 = 0 , la cual escrita en el orden natural es

U1, 1 + 4 U 2, 1 U3 , 1 U 2, 2 = U 2, 0
Punto (3,1):

(2)

U2, 1 + 4 U3 , 1 U 4 , 1 U3 , 0 U3 , 2 = 0 , la cual escrita en el orden natural es

342 MTODOS NUMRICOS __________________________________________________________________________________

U2, 1 + 4 U3 , 1 U3 , 2 = U3 , 0 + U 4 , 1

( 3 )

Continuando de esta manera se obtienen las siguientes 6 ecuaciones, que presentamos en el orden natural: Punto (1,2); Punto (2,2): Punto (3,2): Punto (1,3): Punto (2,3): Punto (3,3):
Nota:

U1, 1 + 4 U1, 2 U 2, 2 U1, 3 = U0 , 2 U2, 1 U1, 2 + 4U 2, 2 U3 , 2 U2, 3 = 0 U3 , 1 U 2, 2 + 4U3 , 2 U3 , 3 = U 4 , 2 U1, 2 + 4 U1, 3 U 2, 3 = U0 , 3 + U1, 4 U2, 2 U1, 3 + 4U 2, 3 U3 , 3 = U 2, 4 U3 , 2 U 2, 3 + 4U3 , 3 = U3 , 4 + U 4 , 3
en cuenta
y

(4 ) (5 ) (6 ) (7 ) (8 ) (9 )

Tngase
y

que

i = 0, i = 4

0 j 4 ; j = 0, j = 4

U i, j = g x i , y j 0i4 (En

)
el

es

conocido caso

para general

i = 0 , i = N + 1, j = 0 , j = M + 1 )

La matriz de coeficientes del sistema resultante es:

0 0 0 0 4 1 0 1 0 0 0 0 1 4 1 0 1 0 0 1 4 0 0 1 0 0 0 0 4 1 0 1 0 0 1 0 0 1 0 1 4 1 0 1 0 O 0 1 0 1 4 0 0 1 0 0 0 1 0 0 4 1 0 0 0 0 0 0 1 0 1 4 1 0 0 0 0 1 0 1 4 0

El sistema tridiagonal por bloques resultante, se resuelve usando un mtodo iterativo, por ejemplo Gauss-Seidel (observe que el sistema no es E.D.D. por filas). Para el ejemplo, solamente hay 33 elementos no nulos de un total de 81 4 3 + 3 7 = 33 . En general,

( ( )

( )

hay a lo ms 5 N2 elementos no nulos de un total de N 2 N 2 . Observe el tamao de los sistemas que resultan cuando N aumenta, por ejemplo, N = 10 ).

Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O. 343 __________________________________________________________________________________

ECUACIN DE POISSON: La forma tpica de la Ecuacin de Poisson en dos variables, es:

(4 )

U x x + U y y = f ( x , y ) en U ( x , y ) = g ( x , y ) en

Se puede resolver este problema (4), transformndolo en dos problemas ms simples, como sigue:

(a )

U x x + U y y = 0 en

U ( x , y ) = g ( x , y ) en

(b )

U x x + U y y = f ( x , y ) en U ( x , y ) = 0 en

Despus de resolver (a) y (b), la solucin del problema de Poisson es U ( x , y ) = U1 ( x , y ) + U2 ( x , y ) , siendo U1 ( x , y ) y U2 ( x , y ) las soluciones de los problemas a) y b), respectivamente. Estos dos problemas ms simples tienen la ventaja de que cada uno tiene una parte homognea.
Ejemplo 6.21: Consideremos el problema de Poisson:

U x x + U y y = y en = { ( x , y ) / 0 < x , y < 1} = ( 0 ,1 ) x ( 0 ,1 ) U ( x , y ) = x y en = ( [ 0 ,1 ] x [ 0 ,1 ] ) Usando una particin uniforme de con h = en cada punto interior de la malla.
Solucin: Los puntos interiores de la particin son: p1 , p 2 , p 3 , p 4 , p 5 , p 6 , p 7 , p 8 y p 9 .
1 , calcule valores aproximados para U ( x , y ) 4

344 MTODOS NUMRICOS __________________________________________________________________________________

1 1 1 1 3 1 Las coordenadas de los puntos interiores son: p1 = , , p 2 = , , p 3 = , , 2 4 4 4 4 4 1 1 1 1 3 1 1 3 1 3 3 3 p 4 = , , p5 = , , p6 = , , p7 = , , p8 = , y p9 = , . 4 2 2 2 4 2 4 4 2 4 4 4

La formula de diferencias finitas, nos conduce a:
1 h
2

[ U i 1, j 2 U i, j + U i +1, j ] +

1 h2

[ U i, j 1 2 U i, j + U i, j +1 ] = y j ,

1 i, j 3

1 1 1 = 16 , con lo cual, al multiplicar por h 2 = , entonces , se obtiene la 2 16 4 h siguiente frmula de diferencias de cinco puntos:
y como h =
U i 1, j + 4 U i, j U i + 1, j U i, j 1 U i, j + 1 = 1 yj , 16 1 i, j 3

Reemplazando en correspondientes:
i = 1, j = 1

esta

frmula

para

cada

punto,

se

obtienen

las

ecuaciones

1 y1 , 16 1 1 1 1 1 1 1 pero U0 , 1 = U 0 , = 0 = , U1, 0 = U , 0 = 0 = , y 1 = , con lo cual la 4 4 4 4 4 4 4 ecuacin resultante, usando el orden natural es: p1 ( 1, 1 ) : U0 , 1 + 4 U1, 1 U 2, 1 U1, 0 U1, 2 = 4 U1, 1 U 2 , 1 U1, 2 = 1 1 1 1 1 + = 16 4 4 4 64

(1 ecuacin )
1 y1 , 16

i = 2, j = 1

p 2 ( 2 ,1 ) : U1, 1 + 4 U 2 , 1 U 3 , 1 U 2 , 0 U 2 , 2 =

1 1 1 pero U 2 , 0 = U , 0 = 0 = , 2 2 2

y1 =

1 . Luego la ecuacin resultante es: 4

1 1 31 = 2 64 64

U1, 1 + 4 U 2 , 1 U 3 , 1 U 2 , 2 =

(2 ecuacin )
1 y1 , 16

i = 3, j = 1

p 3 ( 3 ,1 ) : U 2 , 1 + 4 U 3 , 1 U 4 , 1 U 3 , 0 U 3 , 2 =

1 1 3 pero U 4 , 1 = U 1 , = 1 = , 4 4 4 ecuacin resultante es:

3 3 3 U3, 0 = U , 0 = 0 = , 4 4 4

y1 =

1 . Luego la 4

U 2 , 1 + 4U 3 , 1 U 3 , 2 =

3 3 1 95 + = 4 4 64 64

(3 ecuacin )

Captulo 6. SOLUCIN NUMRICA DE P.V.I. Y P.V.F. PARA E.D.O. 345 __________________________________________________________________________________

i = 1, j = 2

p 4 ( 1, 2 ) : U 0 , 2 + 4 U1, 2 U 2 , 2 U1, 1 U1, 3 =

1 y2 , 16

1 1 1 pero U 0 , 2 = U 0 , = 0 = , 2 2 2

y2 =

1 . Luego la ecuacin resultante es: 2

(4 ecuacin )
1 y2 16

U1, 1 + 4 U1, 2 U 2 , 2 U1, 3 =

1 1 17 = 32 2 32

i = 2, j = 2

p 5 ( 2 , 2 ) : U1, 2 + 4 U 2 , 2 U 3 , 2 U 2 , 1 U 2 , 3 =

Luego

la

ecuacin resultante es:

U 2 , 1 U1, 2 + 4 U 2 , 2 U 3 , 2 U 2 , 3 = 1 32

(5 ecuacin )
1 y2 , 16

i = 3, j = 2

p 6 ( 3 , 2 ) : U2, 2 + 4 U3, 2 U 4, 2 U3, 1 U3, 3 =

1 1 1 pero U 4 , 2 = U 1 , = 1 = . Luego la ecuacin resultante es: 2 2 2 1 1 15 U3 , 1 U 2, 2 + 4 U3 , 2 U3 , 3 = + = (6 ecuacin) 32 2 32

i = 1, j = 3

p 7 ( 1, 3 ) : U 0 , 3 + 4 U1, 3 U 2 , 3 U1, 2 U1, 4 = U1,4

3 3 3 pero U 0 , 3 = U 0 , = 0 = , 4 4 4 ecuacin resultante es: U1, 2 + 4 U1, 3 U 2 , 3 =

1 y3 , 16 3 3 1 1 = U ,1 = 1 = , y 3 = . 4 4 4 4

Luego la

1 3 3 3 99 = 16 4 4 4 64

(7 ecuacin)
1 y3 , 16

i = 2, j = 3

p 8 ( 2 , 3 ) : U1, 3 + 4 U 2 , 3 U 3 , 3 U 2 , 2 U 2 , 4 =

1 1 1 pero U 2 , 4 = U ,1 = 1 = . Luego la ecuacin resultante es: 2 2 2 U 2 , 2 U1, 3 + 4 U 2 , 3 U 3 , 3 = 1 3 1 35 = 16 4 2 64

(8 ecuacin )
1 3 , 16 4

i = 3, j = 3

p 9 ( 3 , 3 ) : U 2, 3 + 4 U3 , 3 U 4 , 3 U3 , 2 U3 , 4 =

346 MTODOS NUMRICOS __________________________________________________________________________________

3 1 3 pero U 4 , 3 = U 1 , = 1 = , 4 4 4 resultante es: U3 , 2 U 2, 3 + 4 U3 , 3 = 1 3 3 U 3 , 4 = U ,1 = 1 = . 4 4 4

Luego la ecuacin

1 3 1 1 3 + = 16 4 4 4 64

(9 ecuacin )

Luego el sistema lineal a resolver es:

0 0 0 0 4 1 0 1 0 0 0 0 1 4 1 0 1 0 0 1 4 0 0 1 0 0 0 0 4 1 0 1 0 0 1 0 0 1 0 1 4 1 0 1 0 0 1 0 1 4 0 0 1 0 0 0 0 1 0 0 4 1 0 0 0 0 0 1 0 1 4 1 0 0 0 0 1 0 1 4 0 U1, 1 U 2, 1 U3 , 1 U1, 2 U 2, 2 U3, 2 U 1, 3 U 2, 3 U3, 3 1 64 31 64 95 64 17 32 1 32 15 32 99 64 35 64 3 64

La solucin nica de este sistema es:

U1, 1 U 2, 1 U3 , 1 U1, 2 U 2, 2 U3 , 2 U 1, 3 U2, 3 U3 , 3 57 3584 0.15904 U(1 4 , 1 4 ) 411 1792 0.22935 U(1 2 , 1 4 ) 1735 3584 0.48409 U(3 4 , 1 4 ) 71 256 0.27734 U(1 4 , 1 2) = 9 256 0.03515 U(1 2 , 1 2) 57 256 0.22656 U(3 4 , 1 2) 1889 3584 0.52706 U(1 4 , 3 4 ) 509 1792 0.28404 U(1 2 , 3 4 ) 97 3584 0.02706 U(3 4 , 3 4 )