Ecole thématique "Méthodes de décomposition de domaine : de la théorie à la pratique"
Du 14 au 18 novembre 2011
Fréjus
Depuis quelques années, le besoin se fait sentir de réaliser la simulation numérique de problèmes de plus en plus complexes, de taille de plus en plus grande.
La complexité croissante de ces problèmes nécessite des méthodes adaptées, tant du point de vue numérique, que du point de vue informatique au niveau de leur implémentation. Ces deux aspects sont fortement liés.
Nous proposons, dans cette école thématique, de faire le point sur les méthodes de décomposition de domaine pour la simulation des équations aux dérivées partielles qu'elles soient de type paraboliques ou hyperboliques.
L'idée de ces méthodes est de diviser le domaine physique en plusieurs sous-domaines de calcul, de faire la résolution des équations sur chacun des sous-domaines et d'échanger les conditions de transmission entre sous-domaines.
Les objectifs de cette école sont les suivants :
- faire connaître les avancées récentes du calcul scientifique sur ces méthodes,
- évoquer les questions liées à leur implémentation (structures des données, algorithmes, ...) en lien avec les architectures de calcul émergentes (et notamment le massivement parallèle),
- aborder ces deux points sur le plan pratique.
L'école se déroulera du 14 novembre 2010 au 18 novembre 2010 à Fréjus. Elle sera constituée d'une présentation générale des méthodes en décomposition de domaine donnée par Martin Gander, de 2 cours théoriques de 6h donnés notamment par François-Xavier Roux et Victorita Dolean. Ces cours seront suivis par des TPs sur l'implémentation de ces méthodes donnés par Loïc Gouarin et Laurent Series. Il y aura également des exposés scientifiques donnant des applications concrètes de ces méthodes.
lundi 14/11
14:00 17:00
Domain Decomposition Methods: Schwarz, Schur, Waveform Relaxation and the Parareal Algorithm
Martin Gander (Université de Genève)
Domain decomposition methods have been developed in various contexts, and with very different goals in mind. I will start my presentation with the historical inventions of the Schwarz method, the Schur methods and Waveform Relaxation. I will then show for a simple model problem how all these domain decomposition methods function, give precise results for the model problem, and also explain the most general convergence results available currently for these methods. I will conclude with the parareal algorithm and interesting recent variants.
Content:
Historical introduction:
- The invention of Schwarz
- Przemieniecki and Substructuring
- Picard, Lindeloef and Waveform Relaxation
Schwarz Methods for a model problem:
- Alternating and parallel Schwarz methods
- Multiplicative and additive Schwarz methods, RAS
- Schwarz methods as preconditioners
- Optimized Schwarz methods
Schur Complement Methods for a model problem:
- Primal Schur methods
- Dual Schur methods
- FETI and Neumann-Neumann
- Dirichlet-Neumann and Neumann-Dirichlet
Coarse Grid Corrections:
- Scalability Problems
- Construction of a coarse grid correction
Space-Time Parallel Methods:
- Schwarz waveform relaxation methods
- Optimized Schwarz waveform relaxation methods
- Time parallelization: the Parareal Algorithm
- A general space-time parallel method
mardi 15/11
09:00 12:00
Méthodes de Schwarz
Victorita Dolean (Laboratoire J.A. Dieudonné, Nice)
- Méthodes de Schwarz: au niveau continu + version discrètes: Block-Jacobi, RAS, AS; cas de deux et plusieurs sous-domaines; analyse de convergence geometrique et Fourier; illustrations en utilisant FreeFEM++.
- Méthodes de Krylov (en bref) et application à la décomposition de domaine.
- Grilles grossières: besoin d'une méthode à deux niveaux, quelques éléments théoriques des méthodes de Schwarz à deux niveaux et application à un problème elliptique; illustrations en utilisant FreeFEM++.
- Méthodes de Schwarz "modifiées": Conditions d'interface optimales et optimisées, principes generaux. Application au Laplacien, Helmholtz et éventuellement Maxwell.
mercredi 16/11
14:00 17:00Méthodes FETI
François-Xavier Roux (ONERA, Palaiseau)
- La méthode du complément de Schur. Interprétation comme un préconditionneur local optimal. Propriétés du complément de Schur.
- Approche algébrique générale pour les méthodes de résolution par sous-domaines sans recouvrement.
- Méthode FETI. Conditions de raccord redondantes aux coins. Préconditionnement Dirichlet.
- Problème des singularités locales, projeteur « grille grossière » associé.
- FETI à deux multiplicateurs de Lagrange. Conditions de raccord optimales.
- Approche générale pour fabriquer des préconditionneurs « grille grossière » par des méthodes de type déflation.
jeudi 17/11
09:00 17:00Implémentation : méthodes de Schwarz
Loïc Gouarin (Laboratoire de mathématique d'Orsay)
vendredi 18/11
09:00 12:00Implementation Méthodes FETI
Laurent Series (ECP, Châtenay-Malabry)
- Stéphane Descombes (Laboratoire Dieudonné, Nice)
- Martin Gander (Département de mathématiques, Genève)
- Loïc Gouarin (Laboratoire de mathématique, Orsay)
- Laurence Halpern (Laga, Université Paris 13)
- Stéphane Descombes (Laboratoire Dieudonné, Nice)
- Thierry Dumont (Institut Camille Jordan, Lyon)
- Loïc Gouarin (Laboratoire de mathématique, Orsay)
- Violaine Louvet (Institut Camille Jordan, Lyon)
Sommaire