MACS 2 - Analyse numérique avancée TP Méthode de décomposition de domaine

2022-2023

Soit η ě 0. Considérons le problème : trouver la fonction u : ra, bs Ñ R solution de

$ 2
&ηupxq ´ u pxq “ f pxq, @x Psa, br,
’
upaq “ ug , (1)
’
upbq “ ud .
%

Ce problème admet une unique solution u P H 2 psa, brq (cf le cours de N. Vauchelet).

Considérons maintenant deux sous-domaines sans recouvrement : Ω1 “sa, γr et Ω2 “sγ, br, avec
a ă γ ă b. Notons vi la restriction de u à Ωi , pour i “ 1, 2. alors v1 et v2 vérifient les problèmes :
# #
ηv1 pxq ´ v12 pxq “ f pxq, @x Psa, γr, ηv2 pxq ´ v22 pxq “ f pxq, @x Psγ, br,
(2)
v1 paq “ ug v2 pbq “ ud

qu’il faut compléter par des conditions en γ. Comme en dimension 1 on a H 2 psa, brq Ă C 1 pra, bsq,
alors u “ pv1 , v2 q vérifie les conditions de transmission physiques suivantes1 :

v1 pγq “ v2 pγq, (3)

v11 pγq “ v21 pγq. (4)

On admet que le problème (1) est équivalent au problème (2)-(3)-(4).

1. Soient α1 ą 0, α2 ą 0 donnés. Montrer (3)-(4) s’écrit sous la forme équivalente suivante :

v11 pγq ` α1 v1 pγq “ v21 pγq ` α1 v2 pγq, (5)

´v21 pγq ` α2 v2 pγq “ ´v11 pγq ` α2 v1 pγq, (6)

Les conditions ci-dessus s’appellent conditions de Robin, et α1 et α2 sont les paramètres de Robin.
Ainsi, le problème (1) est équivalent au problème (2)-(5)-(6).
Pour résoudre (2)-(5)-(6), on va utiliser l’algorithme de Schwarz (avec Robin) :

Initialisation : on se donne g10 , g20 P R et on pose pu02 q1 pγq ` α1 u02 pγq “ g10 , ´pu01 q1 pγq ` α2 u01 pγq “ g20 .
Pour k “ 1, 2, 3, ...
$ k k 2 $ k k 2
’
& ηpu 1 qpxq ´ pu1 q pxq “ f pxq, @x Psa, γr, & ηpu2 qpxq ´ pu2 q pxq “ f pxq, @x Psγ, br
’
uk1 paq “ ug uk2 pbq “ ud
’ ’
pu1 q pγq ` α1 uk1 pγq “ puk´1 k´1
´puk2 q1 pγq ` α2 uk2 pγq “ ´puk´1 k´1
% k 1 1 % 1
2 q pγq ` α1 u2 pγq 1 q pγq ` α2 u1 pγq

Si l’algorithme converge, alors il converge vers la solution de (2)-(5)-(6), et donc celle de (1).
1
Notons que ce résultat s’étend en dimension supérieure (au sens de la trace de la solution et de sa dérivée normale,
bien que l’inclusion H 2 Ă C 1 ne soit plus vraie).

1
 Ecrivons maintenant tout cela en discret. On introduit une partition uniforme de ra, bs en sous-
intervalles rxj , xj`1 s avec xj “ a ` jh, j P v0, nw, où h “ b´a
n (ici n est le nombre d’intervalles), et
on note a1 l’indice de γ.

On considère une discrétisation par différences finies du problème (1) comme dans le cours. Le
problème global discret s’écrit Ah U “ bh , en particulier le schéma (i.e. la ligne de ce système)
correspondant au point x “ γ “ xa1 (qui est un point interne du maillage global) s’écrit :

´Ua1 ´1 ` 2Ua1 ´ Ua1 `1

ηUa1 ` “ f pγq. (7)
h2
Notons Vi la restriction de U au sous-domaine i, pour i “ 1, 2, c’est-à-dire

V1 p0 : a1 q “ Up0 : a1 q, V2 p0 : n ´ a1 q “ Upa1 : nq. (8)

Alors la discrétisation de (2) s’écrit :
$ $
&ηpV q ` ´pV1 qj´1 ` 2pV1 qj ´ pV1 qj`1 “ f px q, @j P v1, a ´ 1w, &ηpV q ` ´pV2 qj´1 ` 2pV2 qj ´ pV2 qj`1 “ f px q, @j P v1, n ´ a ´ 1w,
1 j j 1 2 j j 1
h2 h2
pV1 q0 “ ug , pV2 qn´a1 “ ud .
% %
(9)
Il reste à discrétiser les conditions de Robin (5)-(6). Considérons une discrétisation “naı̈ve” :

pV1 qa1 ´ pV1 qa1 ´1 pV2 q1 ´ pV2 q0

` α1 pV1 qa1 “ ` α1 pV2 q0 (10)
h h
pV2 q1 ´ pV2 q0 pV1 qa1 ´ pV1 qa1 ´1
´ ` α2 pV2 q0 “ ´ ` α2 pV1 qa1 . (11)
h h

2. En utilisant (8), remplacer V1 et V2 en fonction de U dans (10)-(11), puis additionner les

équations obtenues et diviser par 2h. Quelles conditions sur η et sur f faut-il vérifier pour
retrouver le schéma global en x “ γ, i.e. l’équation (7) ?

Dans la suite, on va considérer une autre discrétisation des conditions de Robin, qui permet de
retrouver le schéma global sans condition sur η et f . On considère la discrétisation ci-dessous (issue
d’un schéma volumes finis) :

pV1 qa1 ´ pV1 qa1 ´1 h h pV2 q1 ´ pV2 q0

` pα1 ` η qpV1 qa1 “ hf pγq ´ η pV2 q0 ` ` α1 pV2 q0 (12)
h 2 2 h
pV2 q1 ´ pV2 q0 h h pV1 qa1 ´ pV1 qa1 ´1
´ ` pα2 ` η qpV2 q0 “ hf pγq ´ η pV1 qa1 ´ ` α2 pV1 qa1 (13)
h 2 2 h

3. En utilisant (8), remplacer V1 et V2 en fonction de U dans (12)-(13), puis additionner les

équations obtenues, et diviser par 2h. Vérifier que l’on retrouve le schéma global en x “ γ, i.e.
l’équation (7).

2
 La problème discret global est donc équivalent à (9)-(12)-(13), et c’est ce problème que l’on va
résoudre par l’algorithme de Schwarz :

Initialisation : on se donne g10 , g20 P R

Pour k “ 1, 2, 3, ...
$ $
´pUk1 qj´1 ` 2pUk1 qj ´ pUk1 qj`1 ´pUk2 qj´1 ` 2pUk2 qj ´ pUk2 qj`1
’ηpUk1 qj `
’ ’
’ “ f pxj q, @j P v1, a1 ´ 1w, ’ηpV2 qj `
’ “ f pxj q, @j P v1, n ´ a1 ´ 1w,
’
’
& h2 ’
’
& h2
k k
pU1 q0 “ ug , pU2 qn´a1 “ ud ,
’ ’
k k k k
’ ’
’ pU1 qa1 ´ pU1 qa1 ´1
’ h ’ pU q1 ´ pU2 q0 h
` pα1 ` η qpUk1 qa1 “ g1k´1 , ´ 2 ` pα2 ` η qpUk2 q0 “ g2k´1 ,
’ ’
’
% %
h 2 h 2
(14)
Puis on met à jour les conditions de Robin en x “ γ :
h pUk2 q1 ´ pUk2 q0
g1k “ hf pγq ´ η pUk2 q0 ` ` α1 pUk2 q0 (15)
2 h
h pUk1 qa1 ´ pUk1 qa1 ´1
g2k “ hf pγq ´ η pUk1 qa1 ´ ` α2 pUk1 qa1 (16)
2 h

Si l’algorithme discret converge, alors il converge vers la solution de (9)-(12)-(13), et donc vers la
solution discrète globale U. C’est ce que l’on va maintenant vérifier en pratique.

4. Reprendre la fonction Laplacien1d.m et la modifier (en LapdRobin1.m) pour qu’elle prenne en

compte une condition de Robin à droite, avec α ą 0 :
$ 2
&ηupxq ´ u pxq “ f pxq, @x Psa, γr,
’
upaq “ ug , (17)
’
% 1
u pγq ` αupγq “ gd .

On discrétisera la condition aux limites par le schéma (a1 étant l’indice de x “ γ):
Ua1 ´ Ua1 ´1 h
` pα1 ` η qUa1 “ gd . (18)
h 2
Valider cette fonction comme en cours. En particulier, calculer la norme de l’erreur pour des
pas d’espace h, h{2, h{4. Quel ordre de schéma observez-vous?

5. Reprendre la fonction Laplacien1d.m et la modifier (en LapdRobin2.m) pour qu’elle prenne en

compte une condition de Robin à gauche, avec α ą 0 :
$ 2
& ηupxq ´ u pxq “ f pxq, @x Psγ, br,
’
´u1 pγq ` αupγq “ gg , (19)
’
upbq “ ud .
%

On discrétisera la condition aux limites par le schéma (0 étant l’indice de x “ γ) :

U1 ´ U0 h
´ ` pα ` η qU0 “ gg . (20)
h 2
Valider cette fonction comme dans la question 4.

3
6. Mettre en oeuvre l’algorithme de Schwarz avec les conditions de Robin discrètes. On calculera
g1k et g2k par les formules (15)-(16).
Valider l’algorithme comme vu en cours.

7. Ici on souhaite observer l’influence des valeurs de α1 et α2 sur la vitesse de convergence. Prenons
l’intervalle ra, bs “ r0, 1s. Observer la convergence pour différentes valeurs de α1 et α2 , et
comparer à celle obtenue lorsque α1 et α2 sont définis par :

• si η “ 0
1 1
α1 “ , α2 “ ,
1´γ γ
• si η ‰ 0 ˜ ? ¸ ?
1 ` e2 ηpγ´1q e2 η γ ` 1
ˆ ˙
? ?
α1 “ η ? , α2 “ η ? .
1 ´ e2 ηpγ´1q e2 η γ ´ 1