• Aucun résultat trouvé

Why Restricted Additive Schwarz Converges Faster than Additive Schwarz

N/A
N/A
Protected

Academic year: 2022

Partager "Why Restricted Additive Schwarz Converges Faster than Additive Schwarz"

Copied!
16
0
0

Texte intégral

(1)

Article

Reference

Why Restricted Additive Schwarz Converges Faster than Additive Schwarz

EFSTATHIOU, Evridiki, GANDER, Martin Jakob

Abstract

Recently a variant of the additive Schwarz (AS) preconditioner, the restricted additive Schwarz (RAS) preconditioner has been introduced, and numerical experiments showed that RAS converges faster and requires less communication than AS. We show in this paper how RAS, which is defined at the matrix level, can be interpreted as an iteration at the continuous level of the underlying problem. This interpretation reveals why RAS converges faster than classical AS.

EFSTATHIOU, Evridiki, GANDER, Martin Jakob. Why Restricted Additive Schwarz Converges Faster than Additive Schwarz. BIT Numerical Mathematics , 2003, vol. 43, no. 5, p. 945-959

Available at:

http://archive-ouverte.unige.ch/unige:6282

Disclaimer: layout of this document may differ from the published version.

1 / 1

(2)

­ !"

½

½

½

! "# $

$# $

!" #$%& '(

!"#$% ')*&*+,%+'

' ! -''.*'''++* /' !

'%% !&! '0 +,&)%'

**' *-%)+ '%'

! -'' ''

1234& 1255

++%'& !"&' !"&

*% !"&'*% !"

%&' (( )* (+

$

·½

"

·½

·½

,- ./001

%22 $ ( 3( 2

4 % 5"

½

¾

¼

2 , 46"./0/1

!"# $

% &' ((

) ( #

$

' ) %)& #

*

#

+ !,"

!-" #

. '

/ '

£

(3)

#

$ ' /

%/& #

0+ 1

!2" %*&

' ' 3

) # +

'

%4& $ %

&# 1 4 3

' /

!,"'( 4

/ # 3

5 $

' * '

() '

(/ ' 4 '

' '

6 * !7" ( ' 8+9

)!"# 1

*4 ' $

'4 '

# :!"$5 ;:

4 ' <

=' !" 4 $ >

; 4 Æ >=' !"#

/ $

!," #

: '6( 4

%?4&' @

!-"5

1(4A)*?B B '

; 4=

6CD #

?4 !,"'!2"'!"

?4 !E"# ?4

(CB # : !-" 3

%?*& # 4

?* !7"#

?4'

' F '

/

!,"# ?4

(4)

G

G

H,#5 0 #

!E"# ' $

C # 1

#

'$ C GI%&'

I G' %&I%&I

1 G G

I%&

G

I %& ' H ,##

%))&!"

I G

I G

%& I  

%&

%& I

%&

%,#&

/ /$!,"

I G

I G

%& I  

%&

%& I  

%&

%,#,&

:

#

$ ' $

'

I

J

I G

%G

G

&'

I G

%G

G

&

J

I

G

G

# !,'K'E"

3 '!K"#

: '

# 6

$ F

I'I, 'I'

(5)

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 0

0.1 0.2 0.3 0.4

½

¾

½

¾

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1

0 0.1 0.2 0.3 0.4

½

¾

¿

½

¾

¿

H,#,5 0 ' )

/ @ #

I I

,

,

#

#

#

#

#

#

#

#

#

I %

& I,

0 ' $ %' ##' !"&'

3 ' H

,#' )

#

#

#

 

 

I

#

#

#

 

 

¾

 

6

6

#

#

#

 

I

6

¾

6

#

#

#

 

%,#-&

/

#

#

#

 

 

I

#

#

#

 

 

¾

 

6

6

#

#

#

 

I

6

¾

 

6

#

#

#

 

%,#7&

#

# 4

H ,#, I - G

I %,-&'

G

I%-&# 8 '

' ) / #

(6)

%*& $

%' ##'!7"&

 

½

¾

I  

J

 

%  

&

I  

½

¾

J

 

%  

½

¾

&

%-#&

# .

'

3

' ' #

#

# D

'

$

I

# *

%-#& )'

!" !7"# 3

?4 /'

# H

'

 

I

#

#

#

 

#

#

#

 

 

#

#

#

 

 

J

#

#

#

¾

 

¾

 

 

#

#

#

J

 

#

#

#

 

 

'

'

%  

&I

#

#

#

 

¾

 

 

#

#

#

 

 

L  

'

 

%  

&I  

#

#

#

 

¾

 

 

#

#

#

 

 

I

#

#

#

 

 

#

#

#

 

 

%-#,&

'

 

)' %,#-&# 6 '

(7)

%-#,&

 

 

½

¾

6

 ½

½

 ½

 ½

 ½

 ½

 ½

7

 ½

½

½

 ½

½

¾  ½

 ½

½

 ½

 ½

4

4

6

½

 ½

 ½

 ½

 ½

.  

½

¾

' '$

 

# H

'$

6

½

·½

 ½

 ½

 ½

 ½

4

4

 ½

¾

·½

½

¾

 ½

 ½

·½

 ½

 ½

 ½

 ½

6

½

·½

 ½

 ½

3

# 6 %,#-&

) $

I

J

I

%

&' '

I

# . * )

' #

%4& $ %' ##' !7"&

I  

J%

 

J

 

&%

 

&

%7#&

'$

6

 ½

½

 ½

 ½

·½

 ½

 ½

 ½

 ½

7

 ½

½

½

·½

 ½

½

¾  ½

 ½

½

 ½

 ½

·½

 ½

 ½

4

4

7

4

4

 ½

¾

·½

½

¾  ½

 ½

 ½

 ½

·½

 ½

 ½

 ½

 ½

#85$

(8)

I

#

#

#

6

#

#

#

 

#

#

#

J

#

#

#

6

#

#

#

 

#

#

#

 

#

#

#

 

6

#

#

#

 

 

#

#

#

%7#-&

I  

J

6

4 ½

¾

4

½ 3

¾

 ¾

3

 ½

4

  ¾

  ½

4

6

 ½

½

½

·½

 ½

4

4

7

4

4

 ½

¾

·½

 ½

 ½

#88$

$

I

 

%5 & I

 

%5&

%7#K&

. ' 3

'%&I#

' '

6

 

# .

4 '

# 4 '

< '

# 4H7# '

4 # . 4

$ !2" ' /

(9)

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 0

0.1 0.2 0.3 0.4

½

¾

¿

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1

0 0.1 0.2 0.3 0.4

½

¾

¿

H7#5 6 4 ?4

I3-# M 4 '

?4#

G

G

HK#5 3

#

! "

1 ?4

/

!," < '

4 # ?4

$ !-"

I  

J%

 

J

 

&%

 

&

3 3

I

I '

HK## ?4 4 '

4%7#,&'

6

 ½

½

 ½

 ½

 ¾

 ½

 ½

7

½

 ½

½

½

 ¾

 ½

½

¾  ½

 ½

½

 ½

 ½

 ¾

 ½

 ½

7

¾

 ½

¾

·½

½

¾  ½

·¾

 ½

 ½

·½

 ½

·¾

 ½

 ½

 ½

(10)

D

 

 

'$

6

 ½

½

 ½

 ½

 ½

 ½

 ½

7

½

 ½

4

4

 ½

½

 ½

 ½

4

4

7

4

4

 ½

4

4

 ½

 ½

 ½

6

½

 ½

 ½

.?4 / '

$

I

J

I

''

I

# .

?4 /

# 4H7#

#

4 ' <

# 1 ?4

I

 

J '

4'$

6

4 ½

¾

4

 ½

 

4

4

  ¾

  ½

4

6

½

 ½

½

½

·½

 ½

7

¾

 ½

¾

·½

 ½

 ½

$%7#K&'

% 5 & % 5 & $ #

D !"' ?4

< - '

(,' <

-# M '

' ?4'

4 ' <

47 ' ?4'

# 5

)*?B 4'

7  

' ?4 (-

(11)

?4 4 '

4'

I%

 

J &J% &

 

4

I,-K# D ' 4 -

 

' ?4

,7 #

3 4 % &'

'(

?4# ( '

?4 '

' ?4

#

# "

1 - * 3

) # 1 ?* '3

$ !-"

 

½

¾

I  

J

 

%  

&

I  

½

¾

J

 

%  

½

¾

&

%2#&

%-#,&' * ?* '

'

½

 ½

½

½#  ½

$6

½

½

 ½

 ½

 ½

½

 ½

 ½

 ½

 ½

 ½

6

½

 ½

 ½

½

 ½

 ½

4

4

. 3

 

½

¾

I!

 

 

 

 

"

I!

 

 

"

#

. ?* ) 3

$ ?4# L $

@

*?* H2##

$

C

(12)

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1 0

0.1 0.2 0.3 0.4

½

¾

¿

0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1

0 0.1 0.2 0.3 0.4

½

¾

¿

H 2#5 * ?*

I3-# 8 ' ?*

#

# ' 4

C

J

I G I G

%#&

G

I !

"!"' G

I !

"!"' G

I

!

,"!"' H## 4

I  

J%

 

J

 

J

 

&%

 

&

%#,&

$ $ F

' I,-'

'I,-'

H## 1

( # 1

%&

%&#

4 7'

%#,& #

 

$

 

%  

&I  

#

#

#

½   

½ 

¾

 

½

#

#

#

½   

¾

 

½  

 

#

#

#

 

½  

 

½  

#

#

#

 

½  

(13)

G

G

G

,

H#5 4 #

 

%  

&I  

½6

¾

 

½

#

#

#

½6 

¾

 

½ 

½ 6

#

#

#

¾  

¾ 

¾

 

¾

#

#

#

¾  

¾

 

¾  

 

½6

#

#

#

 

½ 6 

 

½ 6

#

#

#

 

¾  

 

¾  

#

#

#

 

¾  

 

%  

&I  

¾6

¾

 

¾

#

#

#

¾ 6 

¾

 

¾ 

¾6

#

#

#

  

 

¾ 6

#

#

#

 

¾ 6 

 

¾6

#

#

#

 

  

0

'

'

'I,-

(14)

 

%#,&'

6

½½

½ ½

½

·½½

½  ½ ½

4

4

4

4

4

4

7

4

4

½

·½½

½  ½ ½

½½

¾  ½

¾

·½½

¾  ½ ½

4

4

7

4

4

4

4

4

4

¾

·½½

¾  ½ ½

¾

½

 ½ ½

4

4

 ½

½

·½½

 ½

½ ½½

4

4

 ½

¾·½½

 ½

¾  ½½

4

4

#9:$

%7#-&'

4 # D

3

'

?4' %#-&

 

#

. / $

!," -#

% &

D ?4

?4 4#: '

' ?4 ' 4

# 4 ' #

F '

'!"# L ' 4

' < '

# 8 3

4(

?4 # H '?4

3 ' <

3 '4

# : ( /

(15)

1 ( 5 3

) /

' *'4'?4 ?* 3

'

# : $3

)/

' #

?BHB?BL6B

# N#6#6'*#0+'*#(# 4 3

$ #

',,# #

,# N#36#6'6#H '*#(# 4

-0O #

',57EP7K'EE#

-# N#36# 6 *# (# 4

# '

,5,-EP,7'EEE#

7# #H#6 # C#* # 0 # :

' 2P7-#6D C'EE7#

K# .#<#0' #M#1#/' #8 'N#36# # 4

O $# :

C#B#8+9 '*##B'0#B#<' '

' 2EP# #'

EE#

2# *# 0+ M# 8# 1#

# :#.0#<' '!

""',-P,E'0'6'EE#4

C# C 6 : *

4 ' 'M E3,'E' 3

$ 0*#Q'/#

# B# B # 5 D

# * '*)D ',-#

# 4# H 0# 8# # 1 ' ' 3

# #' -5,KEP,'

EEE#

E# 4#H0#8## 4

#

'-E572-P7E',#

# )# .#)# 6 C 0 0 0

(16)

# 1# .(# ! "" %&

# 3R'8'EE7#

,# C#3## M # :# :?#)(' )#.#

)' )#4# * ' /# CS' ' '

$ ( %&'

P7,'C'C4' E#:4*#

-# C#3## M #::# : #6'?#)3

(' /# CS' M# 1' ' '

7P'C'C4'EE#:4*#

7# ?#L0#8## 6

# ? 3K3' D '*,#

K# 0# C# M ?# B# 1 # * 3

# ' 252-P27'EK#

2# *# ( 8# <# 4 3

#

%'75-EP7',#

# .# 4## T

D)T R#

)* + , -'K5,,P,2'

*#

# 8#H# 'C#B#8+9 '1#)# . $

! % $ ( %&# 6

D C'EE2#

E# N#36# # 4 #

$ (%&' 7%&5,P72'EE#

,# N#36# ' # M# 1# /' .# <# 0' *# # B# 4 3

# :?# )(' /#CS'U#36#'

M# 1' '

%'-P-,-#/1 V #'EE2#

Références

Documents relatifs

On remarque par ailleurs, par un calcul élémentaire, que le produit matriciel A η,w A µ,v est exactement la matrice décrivant l'application ϕ η,w ◦ ϕ µ,v. On pourra donc, une

However, as the local meshes T i are meshes of the whole domain and they are very di ff erent from one another and from the global fine mesh T h outside of their associated

4 Compressible test case – reducing the number of directions by aggregating them into m vectors – error norm versus iteration count for different values of m... 5 Incompressible

La démonstration du lemme de Poincaré utilise un théorème de dérivation sous intégrale qui sera admisI. 1: Expression intégrale d'un accroissement suivant les

A significant result derived in this paper is the superlinear convergence of the GMRES algorithm when it is preconditioned with the so called Schwarz preconditioner in the case of

The result holds for discrete versions of the Schwarz preconditioner, and states that the preconditioned operator has a uniformly bounded condition number that depends only on

Il est possible de préciser le cas d’égalité dans l’inégalité de Cauchy-Schwarz.. Cas particulier lorsque l’on prend les y i égaux aux

Outre la preuve naturelle, nous donnerons une preuve démarquée de la deuxième démonstration du Lemme T.1.3 de [Wal2] et qui permet de passer aux fonctions de n