1

Computacin en Paralelo: Nuevas

Formulaciones de los Mtodos
Precondicionados de Subestructuracin
Examen de Candidatura

Antonio Carrillo Ledesma
Tutor: Dr. Ismael Herrera Revilla.
2
INDICE
Motivacin
Objetivos
Contexto general
Mtodos iterativos de dominios ajenos
Mtodos Single-Trip
Mtodos Round-Trip
Teora unificada sin multiplicadores de Lagrange
Frmulas de Green-Herrera para matrices
Teora unificada de mtodos Dual-Primal
El cmputo paralelo
Avances y Trabajo por Hacer
Conclusiones
3
MOTIVACIN
4
MOTIVACIN
La modelacin de sistemas continuos en la Ingeniera y la
Ciencia est basada en la solucin numrica de sistemas de
ecuaciones diferenciales parciales.

La solucin de los sistemas que gobiernan tales modelos
tienen un gran nmero de grados de libertad y a pesar de los
constantes avances en cmputo, un solo procesador no puede
resolver dichos problemas.

Por ello, un recurso indispensable es el cmputo en paralelo,
que en conjuncin con el desarrollo de los mtodos de
descomposicin de dominio permiten atacar problemas que
involucren un gran nmero de grados de libertad.

5
MOTIVACIN
En la actualidad los mtodos de descomposicin de dominio
se dividen en dos grandes grupos, los de dominios
yuxtapuesto y los de dominios ajenos, nosotros trabajaremos
sobre estos ltimos por presentar los mejores rendimientos al
usar el cmputo en paralelo para los problemas que nos
interesan.

Los mtodos ms usados, se basan en resolver problemas
locales sobre los subdominios pero en la frontera comn de
los mismos estas son discontinuas y mediante el uso de los
multiplicadores de Lagrange se logra empatar dichas
soluciones para generar una solucin continua.
6
OBJETIVOS
7
OBJETIVOS
Desarrollar un mtodo de descomposicin de dominio que:
No use multiplicadores de Lagrange

Sea una formulacin unificadora de las formulaciones
del tipo subestructuracin

Quede expresado de forma matricial explcita en
trminos de matrices de Schur exclusivamente

Sea aplicable a problemas Elpticos y Parablicos tanto
lineales como no lineales
8
CONTEXTO GENERAL
9
CLASIFICACIN DE LOS MTODOS
DE DESCOMPOSICIN DE DOMINIO
Mtodos de Dominios Yuxtapuestos

Mtodos de Dominios Ajenos

10
Mtodos de Dominios Ajenos
11
MTODOS DE DESCOMPOSICIN
DE DOMINIO TIPO
SUBESTRUTURACIN
Complemento de Schur

Finite Element Tearing and Interconnecting (FETI)

Finite Element Tearing and Interconnecting Dual-Primal
(FETI-DP)

12
NODOS DE FRONTERA INTERIOR
EN EL COMPLEMENTO DE SCHUR
13
COMPLEMENTO DE SCHUR
( )
( )
( )
1 1
1
1
Resolver el sistema virtual
donde:
Una vez resuelto el sistema virtual para , la
solucin en los nodos interiores se obtiene
E E
i
i
i i
i i i i
I II I i
i i i
i I
I II
i i
I
II
S u b
S A A A A
b A A b
u
u A
I
= =

II I I

I
I

( (
=
( (

=
=
=

( )
1
i i i
I
I
b A u
I
I

14
NODOS EN FETI
Nodo
Nodo Primal:
1 grado de libertad
Nodo Dual:
2 ms
grados de libertad
Grado de libertad
15
NODOS DE FRONTERA INTERIOR
EN FETI
16
MTODO FETI
( )
1

1
1
Resolver el sistema virtual
donde:
, ,
Cuyo precondicionador ms bsico esta dado por
T T
T T T
T
E
T T
i i i
i
P F P d
P I G G QG G Q
F BS B G BR d FS f
M BSB B S B

=
=
=
= = =
= =

17
MTODO FETI
( )
( ) ( )

1
Una vez resuelto el sistema virtual para
La solucin en la frontera interior es dada por

y la solucin en los nodos interiores por
T
i i i i i
I I
II I
u S f B
u A b A u

I
I
=
=
18
NODOS DE FRONTERA INTERIOR
EN FETI-DP
19
MTODO FETI-DP
( ) ( ) ( )
( )
( )
1 1
1 1
1
, ,
1
1 1 1
,
Resolver el sistema virtual
donde:
,
Cuyo precondicionador ms bsico esta dado por
,...,
T
E
T
T
i i i i i
D D
i
E E
D
M F M d
F B S B d B S f
M B S B D B S B D
B D B D B

A A A A

A A A A A A A A
=
A A A A A
=
= =
= =
(
=

20
MTODO FETI-DP
( ) ( )
( )
( ) ( )
( )
i
1
Definiendo en cada subdominio , matrices
, , , , ,
as definimos
i i i i i i
II I I
i i
i
T T
i II I
i i i I
T
i
I
i i
I
i i
T T
i II I
i i i
T
I
i i
I
las
A A A A A A
A A
A
S A A A
A
A A
A A
f f A A
A A
H A HH HA AA

H
A
AA A HA
HA
H HH
H
A A A HA
H HH
O
(
(
(
(
(
=
(
(
(
(

=
(

1
i
I
i
f
f

H
(
(
(
(
(
(

(

21
MTODO FETI-DP
( ) ( )
( )
( ) ( )
1
1
Una vez resuelto el sistema virtual para
La solucin en la frontera interior es dada por

y la solucin en los nodos interiores por
T
i i i i i
I I
II I
u S f B
u A b A u

A
A
A

A
I
=
=
22
O
cO
FUNCIONES DEFINIDAS POR
PEDAZOS
( ) ( ) ( ) ( )
( )
1 1 1 1 2 2 1 2
1
... ...
,...,
E E
E
D D D y D D D
u u u
O O O O

{ }
1
,...,
E
H O O

23
ESPACIOS DE SOBOLEV DE FUNCIONES
DEFINIDAS POR PEDAZOS
( ) ( ) ( )
( )
1
2
2 2 2
1
2
, , ,
1
2
:

...
:

,
E
E
p p
Definicin
H H H
Mtrica

Entonces H es un espacio de Hilbert.
o
o
o
O O H
=
O O O
| |

|
\ .
O

v v
24
O
( )
1
2
u u u y u u u
+ +
+

SALTO Y PROMEDIO
-
n
+
1 1
:
2 2
Nota u u u y u u u
+
+
25
MTODOS ITERATIVOS DE
DOMINIOS AJENOS
26
FRMULAS DE GREEN-HERRERA
y otras propiedades
( )
1 2

;
0;

,
Operador diferencial de segundo orden
u u u en y
u en
Frmula de Green - Herrera
w u
G u w w udx u w
n n
O
A + O O
= cO

c c
= +
`
c c

}
L
L
( )
( ) { }
{ }
,
,
u w
dx u wdx w u dx G w u
n n
Propiedades :
w u
G u w u w uw dx u w dx
n n
u u w w
u w uw dx w udx w w dx u wdx u u
n n n n
I O I
O I
O O I O

c c
= + =
`
c c

) )

c c
= V V + + +
`
c c

)

c c c c
V V + = + = +
`
c c c c

)
} } }
} }
} } } }
L
L L dx
I

`

)
}
27
ECUACIONES DE SEGUNDO ORDEN
en funciones discontinuas
( )
1 2
,
0;
0
,
0
,
u u f en y
u en
u
en
u
n
Formulacin dbil : u es solucin si y slo si
G u w wf
O
A + = O O
= cO
=

I
`
c
=

c
)
=
( )

dx, w H
O
O
e O
}
28
FUNCIONES ARMNICAS
( )
1 2
0;

,
Considere funciones tales que
w en y
Entonces
w u u w
G u w u w dx w u
n n n n
I
= O O

c c c c
= =
`
c c c c

)
}
L
( ) { }
{ }
,
dx
Propiedades :
w u
G u w u w uw dx u w dx
n n
u u w w
u w uw dx w w dx u u dx
n n n n
I
O I
O I I

`

)

c c
= V V + + +
`
c c

)

c c c c
V V + = + = +
` `
c c c c

) )
}
} }
} } }
29
FORMULACIN CON ARMNICAS
discontinuas
( )
1 2
0
1
0,
0;

,

,
u u en y
u en
u j
en
u
j
n
Formulacin dbil : u es solucin si slo si
G u w j
I
I
A + = O O
= cO
=

I
` c
=

c
)
=
( )
0 1

w
j w dx, w H
n
I I
I

c

e O
`
c

)
}
30
SUBESPACIOS DE ARMNICAS
{ }
{ }
11 12
21 22
0, , 0,
0, , 0,
Sea D el espacio de las funciones armnicas y definimos
D w D w en D w D w en
w w
D w D en D w D en
n n
e = I e = I

c c

e = I e = I
` `
c c
)

)
31
RESUMEN GEOMTRICO
21
D
22
D
11
D
12
D
Producto Interior de Energa
( )
12 22
,
Propiedad : En las funciones armnicas la funcional bilineal,
G u w es simtrica y "silla" : positiva en D y negativa en D
w Au -
32
MTODOS SINGLE-TRIP
33
( )
( )
( )
0
12
1
12
1
0
,
0
ALGORITMO 1.- Basado en problemas de Dirichlet j .
Busque u D tal que
G u w j wdx, w D
ALGORITMO 2.- Basado en problemas de Neumann j .
Busq
I
I
I
I
=
e
= e
=
}
( )
22
0
12
,
ue u D tal que
w
G u w j dx, w D
n
I
I
e
c
= e
c
}
34
MTODOS DE ROUND-TRIP
35
DOS SISTEMAS DE
COORDENADAS
11 12 11 11 12 12
21 22 21 21 22 22
,

,

Toda funcin armnica u D puede escrbirse de dos maneras :
u u u con u D y u D
u u u con u D y u D
TRANSFORMACIN DE COORDENADAS
e
= + e e

= + e e

12 21 12 12 22 11 22
12 21 12 22 22 11



22
: D D , , =1,2
PROPIEDADES : Las transformaciones
: D D y : D D
son simtricas y positivas definidas. Adems :
y
o| o|
o o |
o o o o
o o o o o o o

= I = I
22 12


o
36
TRANSFORMACIN DE
COORDENADAS
12
21 21 22 22

OBSERVACIONES
"Problemas de Dirichlet" : Cuando u D la obtencin
de u D y u D requiere resolver un
problema de Dirichlet.
"Problemas de Neumann" : Cuando u
e
e e
e
22
11 11 12 12
D la obtencin
de u D y u D requiere resolver un
problema de Neumann.
e e
37
MTODOS NEUMANN-NEUMANN Y
FETI
12 12 21 12 21
22 22 12 22 12

Mtodo Neumann - Neumann
u D y u u
Mtodo FETI
u D y u u
o o o
o o o
e =
e =
38
EL NEUMANN-NEUMANN
CONSISTE DE UN DIRICHLET
SEGUIDO DE UN NEUMANN
( )
12 21 12 22
12 22
12 22 22 22
:
Porque

Adems
Cuando u D Dirichlet da u
Y u se obtiene por Neumann u D
o o o o
o
o o o
= I
e
e
39
EL FETI CONSISTE DE UN
NEUMANN
SEGUIDO DE UN DIRICHLET
( )
22 11 22 12
22 12
22 12 12 12
:
Porque

Adems
Cuando u D Neumann da u
Y u se obtiene por Dirichlet u D
o o o o
o
o o o
= I
e
e
40
TEORA UNIFICADA SIN
MULTIPLICADORES DE
LAGRANGE
41
GENERACIN DE LA MATRIZ A
Nodo
Nodo Primal:
1 grado de libertad
Nodo Dual:
2 ms
grados de libertad
Grado de libertad
42
GENERACIN DE LA MATRIZ A
43
REPRESENTACIN MATRICIAL
0 0
,
0 0
,

Matriz original A y de ella se deriva otra

A A
A
A A
A A
L R
A A
A L R
HH HA
AH AA
HH HA
AH AA
| |

|
\ .
| | | |

| |
\ . \ .
= +
44
ESPACIOS DE VECTORES
( )
( )
( ) ( ) ( )
( ) ( )
:
:

:
El espacio total de vectores es D
El espacio de los vectores continuos es D
La matriz a D D es la proyeccin en D

La matriz j D D es :
j I a
NOTACIN



O
O
O O O
O O

u au y u ju
45
FRMULAS GREEN-HERRERA
PARA MATRICES
46

:
A L R
w Lu u Lw u Rw w Ru y w Ru w R u w Ru

Frmula de Green - Herrera para matrices
w Lu u Rw w R u u Lw w Ru u R w
Aqu

-
= +
= = +
+ = +
R aR mientras que R j R
47
FORMULACIN MATRICIAL
DEL PROBLEMA
( ) ( )



T
El problema original toma la forma
Lu R u R u f
Adems, por Green - Herrera
L R j aR L R j aR
i.e. la matriz es simtrica.
Entonces el probl
+ =
+ = +
( )

T
ema original queda escrito como
L aR R j u f + =
48
ESPACIO DE VECTORES ARMNICOS
{ }
0

0

El problema original se transforma en
Lu
R u R u f

Se define el espacio
D u Lu ,

I
=
=
=
49
DOS SISTEMAS DE COORDENADAS
{ }
{ }
{ }
{ }
{ }
11 12
21 12
11 12 11 12
21 22 21 22

0 0

0 0

, 0
, 0
Primer Sistema de Coordenadas
D u D u , D u D u
Segundo Sistema de Coordenadas
D u D Ru , D u D R u

Propiedades de los Sistema de
D D D D D

D D D D D
e = e =

e = e =
`
)
= + =
= + =
Coordenadas

50
TEORA UNIFICADA DE MTODOS
DUAL-PRIMAL
51
MTODOS SINGLE-TRIP
Mtodo del complemento de Schur
Mtodo FETI sin precondicionar
MTODOS ROUND-TRIP
Mtodo del Neumann-Neumann
Mtodo FETI
52
MTODOS SINGLE-TRIP
Mtodo del complemento de Schur


Mtodo FETI sin precondicionar
2
aSu f =
2
1 1 1
S ju S jS f

=
53
MTODOS ROUND-TRIP
Mtodo del Neumann-Neumann


Mtodo FETI
2
1 1
aS aSu aS f

=
2
1 1 1 1
S jS ju S jS jS f

=
54
EL CMPUTO PARALELO
55
LOS DDM EN LA COMPUTACIN EN
PARALELO
Dificultades del Cmputo en Paralelo: La coordinacin de los
mltiples procesadores y la transmisin de la informacin
entre ellos

Caractersticas de los DDM: El mtodo, genera una serie de
tareas, las cuales se asignan a cada procesador; y en gran
medida son independientes y por eso mismo, la informacin
que se requiere transmitir entre ellos es muy poca

Ventajas de los DDM: Minimizan las necesidades de coordi-
nacin y tambin las de transmisin de informacin

56
LOS DDM EN LA COMPUTACIN EN
PARALELO
Ventajas del uso de Clusters de PCs
La construccin y puesta en marcha de un cluster es
barata.
Reemplazar componentes defectuosos y escalar el
cluster es sencillo.

Cluster (Bajo Esquema Maestro-Esclavo)
57
COMPUTACIN EN PARALELO
A partir de los modelos matemticos y los modelos numricos
se desarrollar el modelo computacional contenido en un
programa de cmputo orientado a objetos en el lenguaje de
programacin C++ en su forma secuencial y en su forma
paralela en C++ usando la interfaz de paso de mensajes (MPI)
bajo el esquema maestro-esclavo.

Esto no slo nos ayudar a demostrar que es factible la
construccin del propio modelo computacional a partir del
modelo matemtico y numrico para la solucin de problemas
reales. Adems, se mostrar los alcances y limitaciones en el
consumo de los recursos computacionales, evaluando algunas
de las variantes de los mtodos numricos con los que es
posible implementar el modelo computacional y haremos el
anlisis de rendimiento.
58
COMPUTACIN EN PARALELO
Tambin exploraremos los alcances y limitaciones de cada uno
de los mtodos implementados y como es posible optimizar los
recursos computacionales con los que se cuente.

Hay que destacar que el paradigma de programacin
orientada a objetos es un mtodo de implementacin de
programas, organizados como colecciones cooperativas de
objetos. Cada objeto representa una instancia de alguna clase
y cada clase es miembro de una jerarqua de clases unidas
mediante relaciones de herencia, contencin, agregacin o uso.
59
COMPUTACIN EN PARALELO
Esto nos permite dividir en niveles la semntica de los sistemas
complejos tratando as con las partes, que son ms manejables
que el todo, permitiendo su extensin y un mantenimiento ms
sencillo. As, mediante la herencia, contencin, agregacin o
us nos permite generar clases especializadas que manejan
eficientemente la complejidad del problema.

La programacin orientada a objetos organiza un programa
entorno a sus datos (atributos) y a un conjunto de interfases
bien definidas para manipular estos datos (mtodos dentro de
clases reusables) esto en oposicin a los dems paradigmas de
programacin.

60
AVANCES Y TRABAJO POR
HACER
61
AVANCES
Se a coadyuvado en el desarrollo de una formulacin
unificadora que no usa multiplicadores de Lagrange de la
cual se obtienen expresiones matriciales explcitas en
trminos de matrices de Schur exclusivamente

Se ha desarrollado la implementacin secuencial y paralela
de los mtodos de descomposicin de dominio:
Complemento de Schur
FETI y FETI-DP

Se est desarrollando la implementacin secuencial de los
mtodos Single-Trip
Complemento de Schur
FETI sin precondicionar
62
AVANCES
Se est desarrollando la implementacin secuencial de los
mtodos Round-Trip
Neumann-Neumann
FETI
63
POR HACER
Implementacin paralela de los mtodos Single-Trip
Complemento de Schur
FETI sin precondicionar

Implementacin paralela de los mtodos Round-Trip
Neumann-Neumann
FETI

Implementacin de los mtodos cuando el Ker(S) no es
trivial
64
POR HACER
Comparacin de los mtodos desarrollados con los
mtodos ms usados como FETI y FETI-DP

Aplicar el mtodo desarrollado a problemas Elpticos y
Parablicos, tanto lineales como no lineales
65
CONCLUSIONES
66
Se ha desarrollado una teora unificadora

Se simplifica las formulaciones que unifica

Se obtienen expresiones matriciales explcitas en trminos
de matrices de Schur exclusivamente

Los algoritmos se pueden derivan directamente del
planteamiento matricial, independientemente de la
ecuacin diferencial parcial o sistema que lo origina y del
nmero de dimensiones del problema original
67
Libertad para elegir nodos duales y primales,
resultando de esta eleccin en diferentes
precondicionadores a priori para ese problema en
particular

El mtodo desarrollado:
Es aplicable a problemas Elpticos y Parablicos, tanto
lineales como no lineales
Reduce el esfuerzo de programacin
Reduce el esfuerzo computacional al momento de
ejecucin