• Aucun résultat trouvé

Optimization of the Hermitian and Skew-Hermitian Splitting Iteration for Saddle-Point Problems

N/A
N/A
Protected

Academic year: 2022

Partager "Optimization of the Hermitian and Skew-Hermitian Splitting Iteration for Saddle-Point Problems"

Copied!
20
0
0

Texte intégral

(1)

Article

Reference

Optimization of the Hermitian and Skew-Hermitian Splitting Iteration for Saddle-Point Problems

BENZI, M., GANDER, Martin Jakob, GOLUB, G.H.

BENZI, M., GANDER, Martin Jakob, GOLUB, G.H. Optimization of the Hermitian and

Skew-Hermitian Splitting Iteration for Saddle-Point Problems. BIT Numerical Mathematics , 2003, vol. 43, p. 881-900

Available at:

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

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

1 / 1

(2)

!"#

£

Ý

Þ

!"#

$%&' (#(

) ( * (

+,-.+- ( !#

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

#!!!#! $ # '%!&'+ ! # ,'#!!& ! !"#!-! $

''!!"#!'!.#!'/! "#$''! $!#!%"

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

0 ! /! *#!!!%+&#$ # * !!-" %#&"

#$ #''## ! !"''1 2

½ ¾

3 4## #* *

* '!!&! #" !! # $ # 5#' % !.#

!!-! '!& * "'#!"#&!% !' +!

" %#&"# #!"''!! #,#!"'6#!

78419 78::

;;!#! '+ !# ,'4 #!# '!# $" %#+

&"

! "

£

Ý

!! !"#$%&'())

Þ

(3)

$

%&'( $$ )

*+ , -. /

$0 $ !

1

/ 23

(( *. 4 ((

$ *5.

$

/ ((

6 7 $

$ %!

3

7 89:'( $ 3

*.*#.*;.)$

*<. 4 1 3$

0

0 ; 1 $

0

89:'( #35

= (( $

*#.*>.

$ $ 3 $

?$ @

@

3 /

";$

@ @

@3$3 @ ?

@

@

@

(4)

$ 4 (( $ $ 3

$ 8

23 !

A

@ 1

@

@ 1

1

@

#

4 3 # !

@ 1

@

##

= 1

##$$

1

@

? Æ ## %&)

%&' $ @ 3

0 / 0

234

$ @

$

@

@

2 !

@ @

0 $ ( ## $ $

%& B 0

B8

43 # !

1

@

1

1

@

1

@ 1

1

#5

4 $ B83

3 $*C. (

1

#5

@

1

@

#>

1

1

? Æ

Æ #>$3

$ $ B8

#> $ D B8

#>$Æ $"(E: *5.

D ((

## #5 8

*.

/

(5)

40 # 1

1

@

#+

A@

@

#<

A@

*@ @

.

/

A

#

@@

#

1

@

?

1 7 $

(( !

7

)

*5.

4 #+ $

3

/

*5.$3 %&

;A

4 $ 0

( $

$ / Æ $ /

0 $

!

%!

F 5

4 3 5 3 3

$ G

# 4 6 !

$ $

/ %! 5 3

3 /

3 !5$

(6)

$ $

;

"

5#

((

$5# 33

;

"

55

% ! 55

;

;

5>

? 3

3

4

1 3 1 $

;

H

H

;

H

5+

(( #<

H

@

@

@

@

#

#

@

@

4 !

@#

#

@

@

@ 5<

I@J 5<

A

40 ((

0

!

Æ 0 !

; / $

$ $$ !

234

$$

234

/$$ $

$

2 !

;

2 !

; $ )

$&

2 !

= $

(7)

2 !

# 0

(( 3 $

5C

4 3 $ " 4

$

#

;

.

1 5<$

@

@#

@

#; ;

5,

; 4

$

5

1 1

6

5

1

1

1

1

1

6

516

5

1

6

4 Æ

(

$

; 4 !

$ !

>

@

@

>

@#

5

;

$ >

;

#

5

#5;

;

1 5,

;

4

5

1 1

6

15

1

1

1

1

1 6

5

1

1

1

6

( Æ

?

@;

($ !

!

(8)

4 "

$

;

1

@

@

1 ; 5<

@#

#

@

;

$ /

3

;

3

;

/ 3

@

/ $

1

1

3

#

5-

$ $ $

@

3

$

4 " 3 $

$ $

!*

2 !

234 .

;

2 !

234

>

@

@

@

4 $"55

(

(9)

>

@

@

4 $"55

;

/

$

2 !

234

/

$

$

4

$

2 !

234

43 $5C Æ0

$

2 !

234

!

!$

A

2 !

A

234

234

;

1

234

1 ;$"55

234

1

234

234

@

$

"55

234

?$"5#

234

234

K

" 55

1

@

@

;

234

2 !

234

L" 55

1

/ Æ

!

(

234

" 55

?

2 !

234

@

2 !

234

#

234

!$ $"

55

(10)

234

2 !

234

!"# $

234

#

234

234

234

@

#

234

5;

4 3

$5C L"5> $ K

"5+"5<

3

$ $$ !

L

! 3 $

4

2 !

$

234

43

$

2 !

;

2 !

2 !

2 !

2 !

;

2 !

1 ; $ " 55 1

2 !

5- $ " 55

2 !

;

2 !

234

;

2 !

234

2 !

2 !

234

234

#

234

#

234

234

#

234

$" 5+

;

2 !

234

2 !

234

234

2 !

234

2 !

1

5-

2 !

$ " 55 $

2 !

2 !

234

D " 5

234

;

2 !

!"#

2 !

234

$

234

2 !

234

2 !

@

234

@

2 !

>

234

2 !

234

@

2 ! @

234

2 !

5

(11)

4 3

$ 5C

(

" 5

" 5;

%

$

% !&

'

#

@

#

@ 5#

% !()

2 !

>

2 !

2 !

@ 55

4 $ $

234

/(( 7

0 0

L (( $ A

0

;

#

*

2 !

234

. * *

.

*

.

234

@

2 !

2 !

4 $ ; ;

" 5>

*

234

2 !

. # / $

234

234

$

1

$ ;

! !

@

@

;

; )

+; ,!("

57 865786

2 !

2 !

' +

2 !

@

(12)

"$!

; 1

; 1

; (

A

#

@

#

@

#

;

A

#

@

#

@

#

;

K

# " 5>

2 !

$ $

2 !

A

'

#

2 !

2 !

@

#

2 !

>

2 !

@

-./0

! $ + ;

M M + M

2 !

!M

#!

2 !

(89:'(

" 5+

89:'(

2 !

" 5+

? M M $ M

2 !

! $ " 5+

!

4 $3 3

D

0 $1 5 $

1 03

1 1

0

$

0 $ (!

(( 6 3

(( 89:'(1

0

89:'($

1 %! !

333

;

;

;

"

;

;

5>

(13)

0 0.5 1 1.5 2

−1

−0.5 0 0.5 1

real(1−λ j ) imag(1− λ j )

0 0.5 1 1.5 2

−1

−0.5 0 0.5 1

real(1− λ j ) imag(1− λ j )

0 0.5 1 1.5 2

−1

−0.5 0 0.5 1

real(1− λ j ) imag(1− λ j )

0 0.5 1 1.5 2

−1

−0.5 0 0.5 1

real(1−λ j ) imag(1− λ j )

0 0.5 1 1.5 2

−1

−0.5 0 0.5 1

real(1−λ j ) imag(1− λ j )

0 0.5 1 1.5 2

−1

−0.5 0 0.5 1

real(1−λ j ) imag(1− λ j )

1 5A 4 (( 3% $ 4

3

0 #;;

$ 1 $

CC5,5+;-; ((

(( 89:'(

#

4 1

#3 1 $ $

;

; $

$ ;

H

H

"

H

;

;

H

5+

(( #<

H

@$

@

#$ #

#$

@

@$

#$

#

#$

@$

@

@

@

@

@$

4 H

!

@$

@$

@#

#

@$

@

@

@

@$

@

$A

$

$

$

, %

234 A

234

@$

234

%

2 ! A

@$

%

234

(14)

!("# $

%

234

#%

234

%

234

%

234

@

#%

234

5<

;%

2 !

%

2 !

%

234

%

234

%

2 !

%

234

%

2 !

@

%

234

@%

2 !

>%

234

%

2 !

%

234

@%

2 ! @

%

234

%

2 !

5C

/

$$

3

$ %

@$

4

$$

%

1 ; $

6

@

@#%

%

@

>

%

@%

@

@#

%

@

@%

>

%

@%

@

@#

%

@#%

%

>%

@

@%

;

; 4

?

;

; 6

#

@

@%

@

>

%

@%

@

@#

%

@

@%

! &A#

@

@%

$

&%

; %

&

#

51

6

56

6

;$

&#

1

6

!

#

@

;

$$%

@$

%

$

(15)

/ 89:'(

(( ?% (( ((7

2#+ >< >, 5 #

2+; <5 -, C #

2;; - -, ## #

2#;; #C 5-, #, #

2>;; C- C-, 5C #

2,;; #+# +-, >- #

4$>A =3 B 0 (( 3

89:'( 89:'(0((

((0 89:'(

+ %!(1

'

#

@

#

@ 5,

% !(1

#

2 !

@$

2 !

@

>

2 !

@$

2 !

#

2 !

@$

2 !

@

5-

4 #(( 3

7

-./0

! $ + ;

M M

#!

2 !

@$

2 !

(

"5>"5+3

# $ %

4 3 %

! *;.?3

&

0 $ 6

6 $ 6

$ $

4$> $ ((

D ((

89:'(

(16)

10 −3 10 −2 10 −1 10 0

10 1 10 2 10 3 10 4

HSS iterative GMRES GMRES−HSS GMRES−HSSK O(h −1/2 ) O(h −1 ) O(h −1/4 ) O(1)

1 >A D ((

0

7 89:'(

$ 3 $ 4

(( 89:'( B 3

((0 89:'(

;

/

;

4 5< / 1 > $

= 89:'(3((

! !$ 7

0

0 $A 1 >#

((

! $ ;

=

4

4 5< 0 ;;

$ ! M M 89:'(

(( 1 >#

4 5< $ ! ;

1

6 $$6

1 $89:'(0((

$

4 3%!3

! # #

? $ ; &

(17)

0 5 10 15 20 25 30 10 1

10 2 10 3 10 4

10 −12 10 −10 10 −8 10 −6 10 −4 10 −2

10 −8 10 −7 10 −6 10 −5 10 −4 10 −3 10 −2 10 −1 10 0 10 1

numerical theoretical

!

M

1 >#A B 3

=

M M 89:'(

((

/ 89:'(

(( ?% (( ((7

2; << +> > #

2#+ ;5 >; - #

2+; >< #,< #+ #

2;; #;C +C> 5> #

4$ >#A 43 B 0 ((

89:'( 89:'( 0 ((

((0 89:'(

;

4 4$ >#

/

((0 89:'(

;

$ 4 5-) ;

89:'( B 36 $

89:'(

# D

3 #

;

;-

$ 4

0

$ $Æ

# 1 $ $

(

#>

(18)

/ %B8/

;

;

2; +< # ,

2#+ -+ , #

2+; +; #C ,

2;; #5, + 5>

4$ >5A 43 4 $ %B8

6

B 0 ! ;

3

#> #> $

;

$

$ ) *.

D

4 5C

B8 #> $

$ L Æ

C;; >-;;;; #>

$ $5 = ;

89:'(

$ %B8 #> ;

$ $ %B8

;

/ 4$ >5 $ %B8

/ $ ;

Æ

4

%B8

Æ

@

#>

B ;

$ %B8 3

4 $ $

#>

/ $

$Æ D 3

*5.$ 4$>#

D ; 3 3

89:'( / ;

4 $

63 $ Æ $

( ? N(! $ *5.)

*#.

(19)

& '

4 $ 3

(( 3

$ %&' 4

$%!

1 0

4 ! $ $

Æ $( $

D

1 $ $ *.

(( $3

$ / $

((

7 3

$

(

O3OL 9?

(( %

9 B B "

D$ D 0 3

1

:'1':'?B'(

1 ! ', 5 &

; #!6

'':<2:99=379=>7:7

: ! ', ? 0

"!"' #; +9:+1: ;"!!@" !& ! ' +

!"0# &## $ #;"!";$ #!%#!:99:

= -! ', !

"!"' # ; +9:+1< ;"!!@" !& ! '

!" 0# &# # $ # ;"!" ;$ # !%#!

:99:

< #""!! ', ; ;## !-- ,'! 0 !

"!"' #; +9:+11;"!!@" !& +

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

!:99:

8 4 #--! 4 #! " # $ ;#!&#+

A#'&*? #)"1BB1

(20)

7 4 ' #

; %=121BCB3:9><B

D 0 " ', !

% ! !& !'!;"!"

&!#!&"# !" ;1=< ' *!)!

! ;#!&#+A#'&#'! 1BD787>78

C '

& '# <=2:99:3D8>CB

B 4 #! ' *!)! '

() ; 'A '18 #+ ''

#1BC=

19 # 4 & ' 4 $ *! !

! % ; ;"! :<2:99:3=C>79

11 #4$ +', !

#!#'&,#'D2:9993898>8:7

1: # 4 $ +', !

! " B2:9913

1<BB+1897

1= 0!& ;# '-. %

% # ; $C21BC:3<=>D1

Références

Documents relatifs

Such a calculus, or quantization map Op σ , from the set of functions on X , called symbols, onto the set of linear operators acting on the representation space of the

In this paper, we prove some convexity results associated to orbit projection of non-compact real reductive Lie

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

We derive, under compactness and non-positive scalar curvature assumption for the base space, a convexity property for the 1-cycle space C 1 ( T ) of the twistor space T , that could

In Section IV, module minimisation is applied to the interpolation step in the Guruswami–Sudan list decoding algorithm for one-point Hermitian codes and a sub-quadratic algorithm

In the first case, a notion of Pfister involution has been defined by Shapiro (see Subsection 2.4): it is nothing but a central simple algebra endowed with an orthogonal

The main result of this paper (Theorem 3.3) is the construction of an isomorphism between the algebra Dq(G/K) and an algebra of Laurent polynomials that are invariant for the

We formulate general criteria for determinantal point processes with J -Hermitian correlation kernels to be balanced rigid and to have the balanced Palm equivalence property and