Trabajo prctico N9: resolucin de ecuaciones diferenciales en derivadas

parciales
Andrade Rosales, Edda Geraldine*
*Andrade.Rosales.Edda.Geraldine@gmail.com

UNCuyo Instituto Balseiro

San Carlos de Bariloche, Ro Negro, Argentina
Mtodos Numricos
11 de Junio de 2015

Introduccin: Con el objetivo de resolver la ecuacin en derivadas parciales que rige el

estado estacionario de la distribucin de temperatura en una placa rectangular, que
satisface la ecuacin de Laplace y las siguientes condiciones de contorno
2 2
+
= [0,2]x[0, ]
2 2
(0, ) = 0
(2, ) = ( )
(, 0) = 0
{
(, ) = 0
Cuya solucin analtica obtenida por el mtodo de separacin de variables es

8
sinh[(2 + 1)] sin[(2 + 1)]
(, ) =

(2 + 1)3 sinh[(2 + 1)2]

(1)

=0

Se program su resolucin numrica en OCTAVE, resolvindose con el mtodo de GaussSeidel un sistema matricial auxiliar que se obtiene de discretizar la ecuacin diferencial
utilizando diferencias finitas centradas de segundo orden. Primero se discretiza el dominio
como se sigue
2

El intervalo [0,2] se divide en + 1 puntos, obtenindose =

+1

El intervalo [0,] se divide en + 1 puntos, obtenindose =

+1

con = 1, ,

con = 1, ,

Una vez discretizado el dominio, se plantean las ecuaciones discretizadas para los nodos
interiores, es decir para los puntos ( , ) siendo 1 < < y 1 < < y para el nodo
superior derecho de coordenadas ( , ) obtenindose
+1, 4, + 1, + ,+1 + ,1 = 0

, : 1 < < , 1 < <

4 , + 1, + , 1 = ( )

(2)
(3)

A partir de la ecuacin (2) se puede generalizar para los puntos tales que = =
obtenindose la relacin
4 , + 1, + , 1 = {

( )
=
0

(4)

De este modo podemos obtener una matriz que nos permita resolver un sistema del estilo
matricial dado por
. =

(5)

Donde el vector incgnita, el vector de resultados y es la matriz del sistema como a

continuacin
4
1
0

=
1
0

( 0

1 0
1
4 1




1
0 0
1 4

0 1




0
1

0
0

1

4
1

1
1 4

1
0

0
1
0

1
4)

Es decir que A es una matriz pentadiagonal con las diagonales exteriores separadas .

Cabe aclarar que llegamos a este sistema matricial ya que = , relacin que se cumple
si y slo si = (2 + 1) con . Los valores de y para los cuales se pide evaluar el
mtodo es vlida esta observacin, por lo tanto el sistema planteado resuelve el problema
objetivo de ste informe, con la discretizacin antes mencionada.
Es importante tener en cuenta que para evaluar la funcin exacta, ecuacin (1), es
necesario simplificar la expresin matemtica para que no diverja numricamente cuando
OCTAVE calcula el seno hiperblico para n grande, que aparece tanto en el numerador
como en el denominador (ntese que el factor del numerador es menor que el del
denominador en todo U, con lo cual el cociente tiende a cero cuando n tiende a infinito).
Trabajando matemticamente (multiplicando y dividiendo en la exponencial que define al
seno hiperblico del denominador) llegamos a la expresin equivalente de la ecuacin (1)
dada por:

16
sinh[(2 + 1)( 2)] sin[(2 + 1)]
(, ) =

(2 + 1)3 (1 4(2+1) )

(6)

=0

Se prosigue a resolver numricamente el sistema expresado por la ecuacin (5) mediante el

algoritmo de Gauss-Seidel programado en OCTAVE, mostrado a continuacin. Se analizan 3
criterios de convergencia para el mtodo antes dicho, los cuales se desarrollarn en detalle
en la siguiente seccin.
function [x,m] = GS (A,b,sem,eps)##devuelve tambin el n de iteraciones
M1=LD(A);
##hasta la convergencia
M2=U(A);
M3=inv(M1);
m=0;
x=M3*(b-M2*sem);
crit=norm(x-sem); ##se intercala entre los dos valores del criterio
##crit=norm(A*x-b); ##para calcular la solucin teniendo en cuenta
while(crit>eps)
##el primer y el segundo criterio
m++;
sem=x;
x=M3*(b-M2*sem);
crit=norm(x-sem);
##crit=norm(A*x-b);
endwhile
endfunction

Desarrollo del TP
Criterios de convergencia de la solucin: se tomaron como criterios de convergencia de la
solucin, con tolerancia , las comparaciones
1 2
<

()

2
<

()

Se compar cada uno de los criterios de convergencia antes mencionados con

2

, con = 108 obtenindose lo mostrado por la Figura 1. Puede verse que ambos

criterios son similares para tolerancias pequeas, para tolerancias ms grandes el primer
criterio resulta con mayor error y con un comportamiento distinto al esperado (no es de
orden 2 ). Se calcul el orden del mtodo para ambos criterios (por medio de una
aproximacin lineal para logaritmo del error en funcin del logaritmo del paso de longitud),
resultando ambos criterios de orden 2.0967 (para tolerancias pequeas).
Se compar el primer y segundo criterio segn el tiempo de clculo, resultando
indistinguibles, se muestra en la Figura 2 la curva obtenida para dicha comparacin.
Se compar el nmero de iteraciones necesarias para llegar a la convergencia segn los
criterios antes mencionados. Se obtuvo que el segundo criterio requiere un mayor nmero
de iteraciones para considerar convergida la solucin, esto se debe a que el mismo
compara cada valor obtenido con la solucin a la cual debe llegarse. El segundo criterio
requiere menos iteraciones ya que ste compara los dos ltimos valores obtenidos de la
solucin y, dependiendo de la matriz que define al sistema, dicha comparacin puede
arrojar que la solucin est convergida antes de llegar a una buena aproximacin.
A pesar de que el segundo criterio necesite un mayor nmero de iteraciones para
considerar convergida la solucin, ste asegura que se llega a una buena aproximacin.
Adems de las comparaciones realizadas del tiempo de clculo y error se sabe que en esos
aspectos no hay diferencias entre los dos criterios por lo que se concluye que el segundo
criterio es el ms adecuado para resolver el problema objetivo de este informe.

Se pide analizar qu sucede cuando queremos resolver ste problema con descomposicin
LU. Si quisiramos resolver usando la descomposicin LU de la matriz A, tenemos dos
posibilidades: la primera es resolver directamente con el ordenamiento de T usado en todo
el anlisis anterior y la segunda es resolver usando un reordenamiento segn
= (11 , 21 , , 1 , 12 , , ). Es notorio que el ordenamiento usado en todo el anlisis
anterior es el ms conveniente para la descomposicin LU de la matriz A, ya que sta matriz
es pentadiagonal con las diagonales exteriores ubicadas a de la diagonal principal, lo
cual resulta favorable puesto que el llenado de la matriz U se produce desde la diagonal
principal hacia las diagonales exteriores (por lo que cuanto menos separadas estn las
diagonales exteriores respecto de la diagonal principal, ms rpido se produce el
llenado).En el caso del ordenamiento = (11 , 21 , , 1 , 12 , , ) la matriz que resuelve
el problema resulta pentadiagonal pero con las diagonales exteriores separadas y como
en el anlisis anterior se ha considerado que = (2 + 1) con (para poder hacer la
simplificacin = ), resulta que las diagonales exteriores estn ms separadas de la
diagonal principal (comparado con el ordenamiento usado en todo el TP), lo cual hace
ms costoso computacionalmente a este ltimo.

Figura 1: Error en la aproximacin 2 en funcin del nmero de nodos internos

, para cada criterio, usando = 108

Figura 2: Comparacin tiempo de resolucin en funcin del paso, ambos criterios resultan
indistinguibles.

Para terminar, a modo de ilustracin del funcionamiento del mtodo se muestra a

continuacin (vase las Figuras 3, 4, 5 & 6) las distribuciones de temperatura T obtenidos
para cada par ( , ) que se pide analizar.

Figura 3: distribucin de temperatura obtenida para la discretizacin (9,4)

Figura 4: distribucin de temperatura obtenida para la discretizacin (19,9)

Figura 5: distribucin de temperatura obtenida para la discretizacin (39,19)

Figura 6: distribucin de temperatura obtenida para la discretizacin (59,29)