Escuela de Ingeniera Civil

lica de Valparaso
Pontificia Universidad Cato

Tarea #3
Analisis Numerico CIV-317
Entrega: miercoles 26 de noviembre de 2014
(hasta las 12:00 en secretara de docencia).
Nos interesamos en resolver el problema de Poisson siguiente:

u = 1 en ,
(P )
u = 0 en ,
dado el dominio que se compone de la union de dos partes, digamos 1 y 2 , tales que = 1 2
e int(1 ) int(2 ) = , donde int() representa el interior del conjunto.
Sean




1 = (x, y) R2 : 0 x 1, 0 y 2
y 2 = (x, y) R2 : 1 x 2, 0 y 1 .
Consideremos la discretizaci
on de llamada h = h1 h2 , donde h1 es la discretizacion
de 1 compuesta por una grilla de 10 20 elementos, mientras que h2 (la discretizacion de 2 )
corresponde a una grilla de 10 10 elementos. Llamemos a la parte del borde que es com
un
para las fronteras de 1 y 2 , esto es, = 1 2 . Sea h la correspondiente discretizacion de
.
Para resolver el problema (P ), vamos a usar un metodo de descomposici
on de dominio 1 , de
manera que tenemos dos problemas a resolver:

u1
u1
(P1 )

u1

=1
=0
= u2

en 1 ,
en 1 \ ,
en .

u2
u2
(P2 )

u2

=1
=0
= u1

en 2 ,
en 2 \ ,
en .

Para resolver este par de problemas considere lo siguiente:

Construya un esquema de punto fijo entre los problemas (P1 ) y (P2 )2 .
Genere las mallas h1,2 y la interfaz h . Hay que se
nalar que la comunicacion entre (P1 ) y (P2 )
se traduce en considerar la solucion del problema vecino en nodos determinados a traves de
una lista de nodos pareados, ya que las numeracion de cada grilla es distinta e independiente.
Resuelva (P1 ) mediante el metodo de diferencias finitas y (P2 ) mediante elementos finitos de
clase Q1 .
Itere tantas veces como sea necesario para alcanzar un error peque
no (debe definir claramente
c
omo va a medir este error y queda a su criterio cuanto es peque
no).

1 A este tipo de resoluci

on se le llama usualmente m
etodo de Schwarz, y usamos una descomposici
on de tipo
Dirichlet-Dirichlet. Por supuesto no es la u
nica que existe. Podr
a encontrar una introducci
on interesante a este
esquema particular en http://www.unige.ch/~gander/Preprints/SchwarzHistorical.pdf.
2 Para entender mejor, considere (en abstracto) que existe un operador F que resuelve (P ), es decir, u = F (u ).
1
1
1
1 2
Lo mismo para (P2 ): u2 = F2 (u1 ). Entonces la composici
on nos entrega u1 = F1 (F2 (u1 )) y u2 = F2 (F1 (u2 )), es decir,
un problema de punto fijo para u1 y u2 , respectivamente. As podemos escribir el esquema num
erico un+1
= F1 (un
2)
1
n ) que deber
y un+1
=
F
(u
a
converger
(bajo
ciertas
hip
o
tesis
sobre
los
operadores
y
las
soluciones)
a
las
respectivas
2 1
2
soluciones exactas cuando n , es decir, un+1
u1 soluci
on de (P ) en 1 y un+1
u2 soluci
on de (P ) en
1
2
2 .