Mtodos Computacionales en Ingeniera

Pruebas de autoevaluacin Tema 7

Problema 1:
Sea la ecuacin parablica
u
t
=ou
xx
, discretizarla segn un mtodo implcito y plantear un
esquema iterativo (estimacin inicial y ecuacin iterativa) que se utilizara para su resolucin
basndose en el mtodo de Jacobi. No es necesario entrar en detalles con las condiciones de
contorno.
Problema 2:
Conteste a las siguientes cuestiones referentes al mtodo Multigrid:
a) Qu ventajas e inconvenientes tiene la resolucin numrica de una ecuacin en malla
gruesa en comparacin con un planteamiento equivalente en malla fina?
b) Qu informacin proporciona una etapa de resolucin en malla fina a la siguiente en
malla gruesa? Y en el caso opuesto?
c) Plantee un esquema de proyeccin de datos de malla fina en gruesa y otro desde malla
gruesa en fina (no hay solucin nica a este problema).
Problema 3:
Siguiendo el libro de Morton en la seccin del mtodo del gradiente conjugado, deducir en
detalle el paso de la expresin 7.57 a 7.58, mediante el que se determina el parmetro de
avance en la iteracin.
Mtodos Computacionales en Ingeniera
Soluciones a pruebas de autoevaluacin Tema 7
Problema 1:
Un esquema tpico de discretizacin implcita para la ecuacin propuesta, sin tener en cuenta
los valores de contorno, sera el siguiente:
Una vez planteado el sistema de ecuaciones que corresponden al avance temporal de la
ecuacin diferencial, se pasa a un tratamiento iterativo del problema para su resolucin.
Frente a los ya utilizados subndice espacial y superndice temporal, se hace necesario ahora
un tercer ndice que refiere a la iteracin para la resolucin del sistema de ecuaciones. Ese
ndice se representar como un superndice entre parntesis (k).
As, siguiendo la notacin de libro de Morton, se pueden definir los coeficientes east y
west, sin haber north y south por ser un problema espacialmente unidimensional.
En esta expresin se han mantenido todos los subndices y superndices para representar
exactamente qu variables se estn utilizando, pero esta manera no es prctica, ya que la
resolucin del avance temporal de la ecuacin diferencial, y la resolucin del sistema
algebraico deben entenderse como dos problemas separados.
Como se aprecia en la anterior ecuacin, los valores U
n
atrasados en el tiempo, son un trmino
fuente para el esquema iterativo y se mantienen constantes. Todas las incgnitas del esquema
iterativo se refieren al instante de tiempo (n+1), y el superndice (k) slo representa la fase de
aproximacin a ese valor.
Para terminar de describir en detalle el esquema iterativo (otra vez ignorando las
particularidades de las ecuaciones algebraicas que incluyen las condiciones de contorno) falta
elegir una estimacin inicial para las incgnitas a resolver, es decir U
j
n+1, (0)
. Un valor
razonable para la estimacin inicial podra ser U
j
n
, el valor de la funcin en el instane de
tiempo t
n
, ya que debe estar razonablemente prximo a la solucin buscada U
j
n+1
, que es el
valor de la funcin en el instante siguiente.
Problema 2:
Cuestiones
a) La resolucin de un sistema en malla fina consigue un mayor detalle en la solucin, es
decir contiene ms modos de Fourier que recogen las componentes ms oscilantes del
jU
j1
n+1
+(1+2j) U
j
n+1
jU
j1
n+1
=U
j
n
j=
oAt
Ax
2
c
W
=j; c
P
=1+2j; c
E
=j; b
P
=U
j
n
U
j
n+1, ( k+1)
=
1
1+2j

(
jU
j1
n+1, ( k)
+jU
j1
n+1, ( k)
+U
j
n
)
sistema. Por otra parte una resolucin en malla gruesa logra una convergencia ms
rpida para las mismas escalas espaciales. Eso ocurre ya que la misma escala espacial
se asocia a nmeros de onda ms pequeos cuanto ms grande sea el tamao de celda,
lo que le da un carcter ms oscilartorio. Esta es una de las bases del mtodo de
multigrid.
b) Una solucin conseguida con pocas iteraciones en malla fina recoge informacin
detallada sobre la forma de la solucin pero pudiendo haber desviaciones en los modos
de ms longitud de onda, incluido el de nmero de onda nulo (valor constante).
Por otra parte una solucin conseguida con pocas iteraciones en malla gruesa puede
dar una buena aproximacin al valor promedio y oscilaciones de los modos de Fourier
de la solucin de mayor longitud de onda, de modo que una posterior resolucin en
malla fina comience desde un estado ms cercano a la solucin real.
c) En el esquema de multigrid es necesario resolver parcialmente sistemas algebraicos
con mallas de diferente espaciado. El paso de malla gruesa a fina se hace mediante una
interpolacin, mientras que el de fina a gruesa obliga a condensar los datos en un
nmero menor de variables. Las mallas se escogen de modo que el paso en una
direccin en malla gruesa sea un mltiplo del correspondiente en malla fina, con la
finalidad de que existan puntos comunes en ambas mallas.
En la figura se muestran dos esquemas tpicos de interpolacin de datos: A la
izquierda, de malla gruesa a fina, y a la derecha, de malla fina a gruesa. Ntese que no
son las nicas posibilidades..
Problema 3:
La funcin ( x) es una funcin real de un vector N-dimensional. Sin embargo, una vez
fijada la direccin de avance x=x
( k)
+o p
( k)
, se consigue a partir de ella una funcin de
una nica variable

(o)=( x
( k)
+o p
( k)
) de la que se puede hallar los extremos locales
fcilmente. En las siguientes expresiones se omite el superndice (k) para no complicar la
expresin innecesariamente.
donde todos los sumandos de las anteriores expresiones son escalares. Por esa razn son
iguales a sus expresiones traspuestas (p.ej.
b
t
p=p
t
b
. De ese modo los dos trminos entre
parntesis de la segunda ecuacin son iguales ya que la matriz A es simtrica (A=A
t
) y el

(o)=
1
2
( x+o p)
t
A( x+o p)b
t
( x+o p)
d

d o
=o p
t
A p+( x
t
A p+p
t
Ax)b
t
p
ltimo trmino puede ser traspuesto como se indica en este prrafo. La condicin de un
mnimo local en la funcin anterior es la igualdad de su primera derivada a cero y que la
segunda derivada sea positiva en ese punto:
La condicin de segunda derivada positiva se cumple al ser la matriz A definida positiva, lo
que supone que todos sus valores propios son positivos y por tanto la funcion f(x)=x
t
Ax es
mayor que cero para todo x no nulo.
d

d o
=0 - o
0
=
p
t
( A xb)
p
t
A p
d
2

d o
2
(o
0
)=p
t
A p>0 Matriz definida positiva