Problemas con condiciones de borde

2. Problemas con condiciones de borde

En este capítulo consideraremos la solución de los problemas de ecuaciones

diferenciales ordinarias con condiciones de borde o frontera.
Básicamente, constituyen una EDO y ' '  f  x, y , y ' con condiciones de borde
y  a    , y  b    para la solución en los bordes del dominio de solución.

Contrariamente al caso de los problemas de condición inicial, no existe una teoría que
asegure la existencia de solución para este tipo de problemas.
Es posible, sin embargo, plantear esquemas que hallarán soluciones en caso de existir.

Como hipótesis, se asumirá que f  C  en a, b , es decir que la función f es

derivable hasta el orden que sea necesario.

Las ideas que se verán a continuación pueden usarse con otro tipo de condiciones de
borde más complejas, por ejemplo, p0 y  b   p1 y '  b   p2 .

2.1. Método de los disparos

Se supone un valor inicial para la derivada, y'  a    y se resuelve el problema de
valores iniciales y ' '  f  x, y, y ' con y  a    ,.

Dado  , el valor de la solución y(x) en x  b se puede considerar una función de  .

Sea g    dicha función. Entonces el problema de condiciones de borde se puede
plantear como la resolución de la ecuación g      que en general es una ecuación
no lineal.

Figura 2.1 - Esquema del método de los disparos

con condición inicial 

Para resolver el problema es necesario utilizar un método iterativo para la resolución

de ecuaciones no lineales, como ejemplo se utilizará el método de la secante.

Se estima  0    g   0  se determina numéricamente con alguno los métodos

Aproximadamente

estudiados (Euler, RK, etc.)

Se estima  1    g   1  análogamente.
Aproximadamente

19
Problemas con condiciones de borde

Utilizando el método de la secante, se aproximará a la solución hasta que esta

converja al valor indicado por la condición de borde en el extremo derecho del
intervalo
1   0
 2   1   g  1     ,
g  1   g  0 
 2 1
 3   2   g  2     , etc..........
g  2    1
Se nota  i   en el caso que el mé todo converja

Figura 2.2 Método de la secante aplicada a una EDO con CB.

Observaciones

1) Ocurre que g      es una ecuación de primer grado cuando la EDO es lineal (aún
en el caso de coeficientes variables). Se cumple entonces que    2 es la
solución de g      , a menos de los errores de redondeo y discretización en los
cálculos de g   0  y g 1  .

2) Es común que el problema de valores iniciales derivado esté mal condicionado, aún
cuando el problema de condiciones de borde está bien condicionado.

Para evitar este problema de mal condicionamiento, es necesario utilizar una

variante del método conocida como método de los disparos paralelos u otro
método como el método de la matriz de banda

Ejemplo:

Sea la EDO y ' '  5 sh 5 y  , con las condiciones de borde y  0   0, y 1  1 .
Dicho problema tiene solución exacta y '  0   0,04575

Para y '  0     0,05 se tiene que y  x,     antes de x  1., por lo que para dichos
valores no está definida g    .

20
Problemas con condiciones de borde

Figura 2.3 - Un ejemplo patológico del método de los disparos

2.2 - Método de los disparos paralelos

La idea básica consiste en dividir el intervalo a , b en p subintervalos xi 1 , xi ,  

x 0  a, x p  b para evitar casos patológicos como el presentado en el ejemplo
anterior.
Se introduce la variable independiente t , t  0,1 .
Luego y(x) es reemplazada por el vector de dimensión 2p


y (t )  y1 (t), y 2 (t),  , y p (t), y1 (t), y 2 (t),  , y p (t) 
de tal forma que y i (t) = y x i-1  t  x i  x i-1   .

La EDO original es transformada entonces en un sistema de EDO de primer orden,

donde las condiciones de continuidad en los puntos interiores

dy d y i 1
y i +1  0   y i 1 y para la derivada i 
dx t 1
dx t 0

dy d y dt
y como   resulta
dx dt dx

y i +1  0  y i 1
 i  1,2,  , p  1
x i 1  x i x i  x i 1

las que aparecen como condiciones de borde, además de las 2 condiciones de borde
del problema original.

Cuando el método de los disparos se aplica a este sistema, se obtiene un sistema

algebraico (en general no lineal) de 2p ecuaciones para el vector y(0).

21
Problemas con condiciones de borde

2.3. - Método de la matriz de banda

También en este método se define una partición del intervalo a , b compuesta por m
ba
partes iguales y se toma h  , xi  a  i h .
m
Sea yi  y  xi  , aproximando las derivadas por diferencias centradas:

y n 1  y n 1 y  2 y n  y n 1
y'  xn   , y ' '  x n   n 1 ,
2h h2

y reemplazándolas en todas las EDO y las condiciones de borde que correspondan se

transforma el problema en un sistema de EDOs con condiciones iniciales.

Ejemplo

Sea la EDO con CB y ' '  f  x, y , y ' .

Al discretizar de acuerdo al método indicado, resulta el sistema


 y n 1  2 yn  y n 1  h 2 f n , n  1,2,......, m  1

 y0   , y m  
  y  yn 1 
 f n  f  xn , y n , n 1 
  2h 

De esta manera, el problema original se transforma en una ecuación en diferencias,

cuya solución involucra un sistema no lineal de ecuaciones

F y   0 , donde
 y  y i 1 
Fi  y   y i 1  2 y i  y i 1  h 2 f  x i , y i , i 1  , i  1,2,......, m  1
 2h 

El sistema anterior se puede poner como:

Ay  h 2f  y   r
donde
 2 1 0  0 0
1  
 2 1 0  0  0
0 1 2     
A  , r   
  0    0  
     1 0
    
 0 0  0 1 2

22
Problemas con condiciones de borde

Observación 1

i) Para el error global, vale la expansión

y  x, h   y  x   c1  x  h 2  c2  x  h 4  c3  x  h 6  ...........

  
por lo cual se puede usar la extrapolación de Richardson con , , ,......
3 15 63

f
ii) si A 1 h  1 entonces se puede aplicar un MIG. directamente. Esto
y
siempre se puede lograr para h suficientemente pequeño, pero como
contrapartida el número de cálculos involucrado crece.

Observación 2
* * 
* * * 0 
 
  F   * * * 
La matriz J     es tridiagonal. J 
 y    
    
 0 * * *
 
 * *

Como el costo de resolver un sistema con una matriz tridiagonal es bajo, puede ser
conveniente utilizar alguna variante del método de Newton-Raphson, haciendo
independiente la convergencia del valor de h.
Como contrapartida, se hace necesario estimar o calcular el jacobiano.

F y   0

y  k 1   y  k    y  k 

J k . y  k   F y  k   

23
Problemas con condiciones de borde

Ejemplo:
  
Sea la EDO con CB y ' ' y  x, y  0   1, y   1
2 2

La solución exacta es y  x   cos x  sen x  x

Al discretizar resulta:

yn 1  2 yn  yn 1  h 2 yn  h 2 xn ,1  n  m  1

y0  1, y m  1
2

Con notación matricial, el problema puede ser expresado de la siguiente forma:

Ay  Iy  h 2 x  r , que se puede resolver fácilmente dado que A+I es tridiagonal.

Los métodos vistos anteriormente para mejorar la precisión pueden ser usados para
los problemas de condiciones de borde. En el caso particular de ecuaciones de la forma
 
y ' '  f  x, y  se puede usar el método de Cowell de orden 0 h 4 con una cantidad
similar de cálculos. Ver DBA página 354.

Si el sistema es no lineal, una buena aproximación inicial (en caso de no tener alguna
mejor) es usar la condición inicial,

yi 0    
    i
m
que corresponde a la función lineal (recta que une  con  )

24