Upload
kadour-habita
View
221
Download
0
Embed Size (px)
Citation preview
7/29/2019 78059740 Memoir de Fin d Etude4
1/58
U n i v e r s i t M o h a m m e d V A g d a l
F a c u l t d e s S c i e n c e s
R a b a t
A p p l i c a t i o n d u p r o c e s s u s
d ' A r n o l d i l a r s o l u t i o n d e
l ' e q u a t i o n d e S y l v e s t e r
s o u t e n u p a r
K h a l O u s s a m a
L e . . . / . . . / 2 0 0 9
7/29/2019 78059740 Memoir de Fin d Etude4
2/58
7/29/2019 78059740 Memoir de Fin d Etude4
3/58
T a b l e d e s m a t i r e s
I n t r o d u c t i o n i
1 P r l i m i n a i r e 1
1 . 1 C o n t r l e d e s s y s t m e s l i n a i r e s . . . . . . . . . . . . . . . . . . 1
1 . 1 . 1 S y s t m e s l i n a i r e s d y n a m i q u e s . . . . . . . . . . . . . . 1
1 . 1 . 2 C o n t r l a b i l i t e t o b s e r v a b i l i t . . . . . . . . . . . . . . 2
1 . 2 S t a b i l i t . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1 . 3 O b s e r v a t e u r d e L u e n b e r g e r e t q u a t i o n d e S y l v e s t e r . . . . . . 3
1 . 4 L e p r o b l m e d e p l a c e m e n t p a r t i e l d e s p l e s . . . . . . . . . . . 5
1 . 5 P r o c e s s u s d ' A r n o l d i . . . . . . . . . . . . . . . . . . . . . . . . 6
1 . 5 . 1 p o l y n m e m i n i m a l e t l e p o l y n m e c a r a c t r i s t i q u e . . . 8
1 . 6 L a m t h o d e d u G M R E S e t s o n i m p l m e n t a t i o n . . . . . . . . 9
1 . 6 . 1 D n i t i o n d e l a m t h o d e d u G M R E S . . . . . . . . . . 9
1 . 6 . 2 I m p l m e n t a t i o n d e l a m t h o d e d u G M R E S . . . . . . . 1 0
1 . 7 C o n c l u s i o n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 6
2 R s o l u t i o n d e l ' q u a t i o n d e S y l v e s t e r 1 7
2 . 1 P o s i t i o n d u p r o b l m e . . . . . . . . . . . . . . . . . . . . . . . 1 7
2 . 2 A p p l i c a t i o n d u p r o c e s s u s d ' A r n o l d i . . . . . . . . . . . . . . . 1 9
2 . 2 . 1 M t h o d e d e S a a d e t D a t t a . . . . . . . . . . . . . . . . 1 9
2 . 2 . 2 P l a c e m e n t d e s p l e s d e l a m a t r i c e d e H e s s e n b e r g . . . 2 1
2 . 3 C o n c l u s i o n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 5
3 P r e m i r e t a p e d e l a m t h o d e d e S a a d e t D a t t a 2 7
3 . 1 P r s e n t a t i o n d u p r o b l m e . . . . . . . . . . . . . . . . . . . . 2 7
3 . 2 A p p r o c h e p a r f r a c t i o n r a t i o n n e l l e . . . . . . . . . . . . . . . . 2 8
3 . 3 R s o l u t i o n d e qm(A)x = c p a r l a m t h o d e d u G M R E S . . . . . 2 9
3 . 4 L e c h o i x d e s p o l e s . . . . . . . . . . . . . . . . . . . . . . . . . 3 1
3 . 5 A l g o r i t h m e d e r s o l u t i o n d e l ' q u a t i o n d e S y l v e s t e r . . . . . . 3 1
3 . 6 C o n c l u s i o n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1
3
7/29/2019 78059740 Memoir de Fin d Etude4
4/58
4 T A B L E D E S M A T I R E S
4 E s s a i s n u m r i q u e s 3 3
4 . 1 M a t r i c e d e G e a r . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3
4 . 2 M a t r i c e L F S S . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 5
4 . 3 R e p r s e n t a t i o n g r a p h i q u e s d e s s p e c t r e s . . . . . . . . . . . . . 3 7
C o n c l u s i o n 3 9
R s u m 4 1
A n n e x e s 4 1
A l g o r i t h m e s s o u s M a t l a b 4 3
B i b l i o g r a p h i e 5 0
7/29/2019 78059740 Memoir de Fin d Etude4
5/58
I n t r o d u c t i o n
L ' o b j e c t i f d e c e t r a v a i l e s t d e r s o u d r e l ' q u a t i o n d e S y l v e s t e r , q u i j o u e u n
r l e i m p o r t a n t d a n s l a c o n s t r u c t i o n d e l ' o b s e r v a t e u r d e L u e n b e r g e r e t a u s s i
d a n s l a t h o r i e d e c o n t r l e , d e c o m m u n i c a t i o n , m o d l e s d e r d u c t i o n e t l e s
m t h o d e s n u m r i q u e s p o u r l a r s o l u t i o n d e s q u a t i o n s d i r e n t i e l l e s [ 6 ] .
O n s ' i n t r e s s e a u r l e d e l ' q u a t i o n d e S y l v e s t e r d a n s l a c o n s t r u c t i o n d e
l ' o b s e r v a t e u r d e L u e n b e r g u e r a s s o c i a u s y s t m e d e c o n t r l e s u i v a n t x(t) = Ax(t) + Bu(t)y(t) = Dx(t)
a v e c A Mn(R) , B Mnk(R) , D Mmn(R) , y Rm , x Rn e t
u Rk. E t q u i d o n n e u n e a p p r o x i m a t i o n
z(t) Rmd u v e c t e u r d ' t a t
x(t). I l
s ' a g i t d ' u n e v a r i a n t e d e l ' q u a t i o n d e S y l v e s t e r c l a s s i q u e , e t e s t d e l a f o r m e
AX XH = CGo
X Mnm(R) , H Mm(R) e t G Mm(R) s o n t d t e r m i n e r e t l e s m a t r i c e s
A Mn(R), e t C Mnm(R) s o n t d o n n e s . P a r m i l e s m t h o d e s p r o p o s e s p o u r r s o u d r e l ' q u a t i o n d e S y l v e s t e r o n
t r o u v e l a m t h o d e d e H e s s e n b e r g - S c h u r q u i c o n s i s t e c h o i s i r
H Mm(R)m a t r i c e r e l l e d e S c h u r e t
G Mm(R) m a t r i c e i d e n t i t Im m a i s l ' a p p l i c a t i o n d e c e t t e d e r n i r e n ' e s t p a s a i s e s i
Ae s t l a r g e e t c r e u s e [ 3 ] . I l e s t d o n c
i n t r e s s a n t d e v o i r d ' a u t r e s m t h o d e s p o u r c e g e n r e d e s i t u a t i o n s ( A
l a r g e
e t c r e u s e ) e t c ' e s t p o u r c e t t e r a i s o n q u ' o n a p p l i q u e r a l a m t h o d e d e S a a d e t
D a t t a [ 3 ] .
A v a n t d e p r o c d e r l a r s o l u t i o n , r e m a r q u o n s q u e l e s m a t r i c e s H
,G
e t
Xd o i v e n t v r i e r l e s c o n d i t i o n s s u i v a n t e s [ 6 ] :
1 .
Hs t a b l e
2 .X
b i e n c o n d i t i o n n e
3 . l a p a i r e {H, G}
e s t c o n t r l a b l e .
c a r s i H
e s t s t a b l e ( t o u s l e s l m e n t s d u s p e c t r e d e H
s o n t p a r t i e r e l l e
n g a t i v e ) o n p e u t m o n t r e r q u e l ' a p p r o x i m a t i o n z(t)
d ex(t)
o b t e n u e p a r l ' o b -
s e r v a t e u r d e L u e n b e r g e r v r i e e(t) = z(t) Xx(t)
t e n d v e r s 0 q u a n d t
t e n d
i
7/29/2019 78059740 Memoir de Fin d Etude4
6/58
i i I N T R O D U C T I O N
v e r s
. E n p l u s l ' e n s e m b l e d e s c e s t r o i s m a t r i c e s c o n t r i b u e r a u n e b o n n e
a p p r o x i m a t i o n z(t) d e x(t).N o t o n s a u s s i q u e s i l e s p e c t r e d e
Ae t l e s p e c t r e d e
Hs o n t d i s j o i n t s , i l
e x i s t e u n e u n i q u e m a t r i c e X
q u i s a t i s f a i t l ' q u a t i o n d e S y l v e s t e r .
S u p p o s o n s q u e G = Im ( s a n s p e r t e d e g n r a l i t , c a r l e p r o d u i t d e G e t C
e s t u n e m a t r i c e d e t y p e n m
) e t q u e l a m a t r i c e C
e s t d e r a n g 1 ; l ' q u a t i o n
a l o r s d e v i e n t
AX HX = ceTm,c e q u i d o n n e l ' i d e d ' a p p l i q u e r l e p r o c e s s u s d ' A r n o l d i a v e c u n p r e m i e r v e c t e u r
v1 t e l q u e vm+1 = c ; o n t r o u v e r a c e v e c t e u r e n e x p l o i t a n t l e f a i t q u e t o u s l e s v e c t e u r s d e l a b a s e d ' A r n o l d i d u s o u s - e s p a c e d e K r y l o v a s s o c i A e t v1s o n t t e l s q u e
vi+1 = qi(A)v1 o qi e s t u n p o l y n m e d e d e g r i.L e p r o c e s s u s d ' A r n o l d i c a l c u l e r a e n s u i t e , e n u t i l i s a n t
v1 , l a m a t r i c e Hm ,m a t r i c e d e H e s s e n b e r g s u p r i e u r e , q u i n ' e s t p a s f o r c m e n t s t a b l e ; o n v a d o n c
p r o c d e r u n p l a c e m e n t d e p l e s p o u r l a s t a b i l i s e r ; c e q u i v e u t d i r e q u ' o n
p r s e n t e u n a l g o r i t h m e e n d e u x t a p e s p r i n c i p a u x
1 . t r o u v e r v1 t e l q u e vm+1 = c e n t r o u v a n t l a s o l u t i o n d e c = qm(A)v1
p a r l a m t h o d e d u G M R E S [ 1 2 ] .
2 . a p p l i q u e r l ' a l g o r i t h m e d e p l a c e m e n t d e s p l e s , p r o p o s p a r S a a d e t
D a t t a [ 3 ] s u r l a m a t r i c e
Hmp o u r l a s t a b i l i s e r .
O n p o u r r a e n s u i t e c a l c u l e r l a s o l u t i o n X
p a r t i r d e s r s u l t a t s o b t e n u s .
L e c h a p i t r e 1 s e r a r s e r v q u e l q u e s r a p p e l s , s u r l a t h o r i e d e c o n t r l e ,
s u r l a m t h o d e d u G M R E S e t l e p r o c e s s u s d ' A r n o l d i . A u c h a p i t r e 2 o n r e -
v i e n d r a s u r l ' q u a t i o n d e S y l v e s t e r e t o n v e r r a c o m m e n t e x p l o i t e r l e p r o c e s s u s
d ' A r n o l d i p o u r l a r s o u d r e . A u c h a p i t r e 3 o n e x p l i q u e r a c o m m e n t o b t e n i r v1
t e l q u e vm+1 = c, p u i s o n c l t u r e r a c e t r a v a i l p a r d e s e s s a i s n u m r i q u e s s o u s
m a t l a b .
7/29/2019 78059740 Memoir de Fin d Etude4
7/58
C h a p i t r e 1
P r l i m i n a i r e
D a n s c e c h a p i t r e , o n r a p p e l l e q u e l q u e s n o t i o n s s u r l a t h o r i e d u c o n t r l e ,
o n e n c h a n e e n s u i t e a v e c d e s r a p p e l s s u r l e p r o c e s s u s d ' A r n o l d i [ 9 ] e t o n
c l t u r e r a c e c h a p i t r e p a r u n r a p p e l s u r l a m t h o d e d u G M R E S [ 1 2 ] .
S a u f m e n t i o n d u c o n t r a i r e , d a n s t o u t c e c h a p i t r e A Mn(R),
C Mmn(R) , B Mnr(R) e t x0 Rn .
1 . 1 C o n t r l e d e s s y s t m e s l i n a i r e s
1 . 1 . 1 S y s t m e s l i n a i r e s d y n a m i q u e s
D n i t i o n 1 [ 1 0 ] : U n s y s t m e l i n a i r e d y n a m i q u e d i s c r e t a d m e t l a d e s c r i p -
t i o n i n t e r n e s o u s f o r m e d e r e p r s e n t a t i o n d ' t a t s u i v n a t e : xk+1 = Axk + Bukyk = Cxk
( 1 . 1 )
o xk Rn e s t l e v e c t e u r d ' t a t e t s a d i m e n s i o n e s t c e l l e d u s y s t m e ;
yk
Rm
s o r t i e d u s y s t m e ; uk
Rr
d i t e e n t r e d u s y s t m e .
D n i t i o n 2 [ 1 0 ] : U n s y s t m e l i n a i r e d y n a m i q u e c o n t i n u a d m e t l a d e s -
c r i p t i o n i n t e r n e s o u s f o r m e d e r e p r s e n t a t i o n d ' t a t s u i v a n t e : x(t) = Ax(t) + Bu(t)y(t) = Cx(t)
( 1 . 2 )
o x(t) Rn
e s t l e v e c t e u r d ' t a t e t s a d i m e n s i o n e s t c e l l e d u s y s t m e ;
y(t) Rms o r t i e d u s y s t m e ;
u(t) Rrd i t e e n t r e d u s y s t m e .
1
7/29/2019 78059740 Memoir de Fin d Etude4
8/58
2 C H A P I T R E 1 . P R L I M I N A I R E
1 . 1 . 2 C o n t r l a b i l i t e t o b s e r v a b i l i t
C o n t r l a b i l i t
D n i t i o n 3 [ 1 ] L e s y s t m e d n i p a r ( 1 . 2 ) e s t d i t c o n t r l a b l e s i i l e x i s t e
u n e f o n c t i o n t u(t), 0 t
, d i t e c o n t l e o u c o m m a n d e , p e r m e t t a n t l e p a s -
s a g e d u s y s t m e d e l ' e t a t i n i t i a l x0 = x(t0) u n e t a t n a l q u e l c o n q u e x(t1)
(0 t t1 < ) .
D n i t i o n 4 [ 1 ] L e s y s t m e d n i p a r ( 1 . 1 ) e s t d i t c o n t r l a b l e s i i l e x i s t e
u n e f a m i l l e n i {u0, u1,...,uN1} p e r m e t t a n t l e p a s s a g e d u s y s t m e d e l ' e t a t
i n i t i a l
x0 u n e t a t n a l xN ( 0 < N < ) .P r o p o s i t i o n 1 c a r a c t r i s a t i o n d e l a c o n t r l a b i l i t [ 1 0 , 1 ]
O n c o n s i d r e l e s y s t m e d n i p a r ( 1 . 2 ) , l e s p r o p r i t s s u i v a n t e s o n t q u i -
v a l e n t e s :
1 . l a p a i r e {A, B}
e s t d i t e c o n t r l a b l e
2 . l a m a t r i c e =
B AB A2B . . . An1B
e s t d e r a n g m a x i m a l
i . e : rg() = n
( c r i t r e d e c o n t r o l a b i l i t d e K a l m a n )
3 .
rg(A I,B) = n (A)o
(A)e s t l e s p e c t r e d e
A.
P o u r l e s s y s t m e s d i s c r e t s ( d n i s p a r ( 1 . 1 ) ) l a c o n t r o l a b i l i t e s t d o n n e
p a r l e c r i t r e d e K a l m a n [ 1 ] .
O b s e r v a b i l i t
D n i t i o n 5 L e s y s t m e d n i p a r ( 1 . 2 ) e s t o b s e r v a b l e , s i p o u r t o u t
0 t t1 , i l e x i s t e t1 > 0 t e l q u e l ' e t a t i n i t i a l x0 p e u t t r e d t e r m i n d e m a n i r e u n i q u e p a r t i r d e
u(t)e t
y(t).
D n i t i o n 6 L e s y s t m e d n i p a r ( 1 . 1 ) e s t o b s e r v a b l e , s i i l e x i s t e u n r a n g
N < t e l q u e l ' e t a t i n i t i a l
x0 p e u t t r e e n t i r e m e n t d t e r m i n d e m a n i r e u n i q u e p a r t i r d e l a c o n n a i s s a n c e d e s e n t r s
{u0, u1,...,uN1} e t d e s s o r t i e s y0,...,yN.
P r o p o s i t i o n 2 C a r a c t r i s a t i o n d ' o b s e r v a b i l i t [ 1 0 ] U n s y s t m e l i n a i r e
( c o n t i n u o u d i s c r e t ) e s t d i t o b s e r v a b l e ( o u l a p a i r e {A, C}
e s t d i t e o b s e r v a b l e )
s i l a m a t r i c e d n i e p a r
=
C CA CA2 . . . CAn1
e s t d e r a n g m a x i m a l i . e :
{A, C}o b s e r v a b l e
rg() = nP r o p o s i t i o n 3 [ 1 0 ] D u a l i t
L a p a i r e {A, C}
e s t o b s e r v a b l e s s i l a p a i r e {AT, CT}
e s t c o n t r l a b l e .
7/29/2019 78059740 Memoir de Fin d Etude4
9/58
1 . 2 . S T A B I L I T 3
1 . 2 S t a b i l i t
C a s d i s c r e t : O n c o n s i d r e l e s y s t m e l i n a i r e s u i v a n t xk+1 = Axkx0 d o n n
( 1 . 3 )
D n i t i o n 7 [ 1 ] O n d i r a q u e l e s y s t m e ( 1 . 3 ) e s t s t a b l e s i l e s p e c t r e d e l a
m a t r i c e A
e s t l ' i n t r i e u r d u c e r c l e u n i t ( d a n s l e p l a n c o m p l e x e ) i . e :
(A) D(0, 1)
C a s c o n t i n u : O n c o n s i d r e l e s y s t m e l i n a i r e s u i v a n t x(t) = Ax(t) t > 0x(0) = x0
( 1 . 4 )
D n i t i o n 8 [ 1 ] O n d i r a q u ' u n s y s t m e d e t y p e ( 1 . 4 ) e s t s t a b l e s i t o u t e s l e s
v a l e u r s p r o p r e s d e A
s o n t p a r t i e r e l l e n g a t i v e . i . e :
( (A)) () R
1 . 3 O b s e r v a t e u r d e L u e n b e r g e r e t q u a t i o n d e
S y l v e s t e r
E n p r a t i q u e , o n a p a s a c c s t o u t e s l e s c o m p o s a n t e s d e l ' t a t x(t)
d u
s y s t m e ( 1 . 2 ) ( n i x0 ) d e m a n i r e e x p l i c i t e ; o n c o n s t r u i t a l o r s u n e a p p r o x i -
m a t i o n z(t)
p o u r l e v e c t e u r d ' t a t x(t)
. E t c ' e s t d a n s c e t h o r i z o n q u e l ' o n
u t i l i s e l ' o b s e r v a t e u r d e L u e n b e r g e r [ 1 ] .
D n i t i o n 9 [ 1 ] L ' o b s e r v a t e u r d e L u e n b e r g e r a s s o c i a u s y s t m e d e c o n t r l e
( 1 . 2 ) e s t d o n n p a r z(t) = F z(t) + Dy(t) + P u(t)z(0) = z0
( 1 . 5 )
o F, D Mm(R), P Mmk(R) s o n t d t e r m i n e r .
l e v e c t e u r z(t)
, d o n n p a r ( 1 . 5 ) , e s t u n e a p p r o x i m a t i o n d e x(t)
s i l ' e r r e u r
e(t) = z(t) Xx(t)t e n d s v e r s z r o q u e l q u e s o i t l e s c o n d i t i o n s i n i t i a l e s
x(0),
z(0)e t
u(t), c e q u i n e p e u t a v o i r l i e u , s a u f s i l e s c o n d i t i o n s d u t h o r m e
s u i v a n t s o n t v r i e s .
7/29/2019 78059740 Memoir de Fin d Etude4
10/58
4 C H A P I T R E 1 . P R L I M I N A I R E
T h o r m e 1 [ 1 ] L e s y s t m e ( 1 . 5 ) e s t l e s y s t m e o b s e r v a t e u r a s s o c i a u s y s -
t m e ( 1 . 2 ) , e t z(t) e s t u n e a p p r o x i m a t i o n d e Xx(t) d a n s l e s e n s o l ' e r r e u r e(t) = z(t) Xx(t) 0
q u a n d t
p o u r t o u t e c o n d i t i o n i n i t i a l e s x(0)
,
z(0)e t
u(t)s i l e s 3 c o n d i t i o n s s u i v a n t e s s o n t v r i e s :
1 )XA F X = DC
,
2 )P = XB
,
3 )F
s t a b l e .
P r e u v e
E n d r i v a n t l a r e l a t i o n e(t) = z(t)
Xx(t)
o n o b t i e n t
e(t) = z(t) Xx(t)= F z(t) + Dy(t) + P u(t) X(Ax(t) + Bu(t)),
( 1 . 6 )
o n u t i l i s e y(t) = Cx(t)
e t o n a j o u t e e t o n r e t r a n c h e F Xx(t)
d a n s ( 1 . 6 ) ,
o n o b t i e n t :
e(t) = F e(t) + (F X XA + DC)x(t) + (P XB)u(t),( 1 . 7 )
s i 1 ) e t 2 ) s o n t v r i e s l a r e l a t i o n ( 1 . 7 ) d e v i e n t u n e q u a t i o n d i r e n t i e l l e
d e p r e m i e r o r d r e d o n n e p a r
e(t) = F e(t)
e t s i 3 ) e s t v r i e o n a e v i d e m e n t limt
e(t) = 0q u e l q u e s o i t l e s c o n d i t i o n s
i n i t i a l e s x(0)
,z(0)
e tu(t)
.
E t p o u r d t e r m i n e r l e s m a t r i c e s F
,D
e tP
, o n u t i l i s e l ' q u a t i o n d e S y l -
v e s t e r ; c e l l e - c i e s t d o n n e p a r l ' q u a t i o n m a t r i c i e l l e s u i v a n t e
XA F X = DC( 1 . 8 )
o A
e tC
s o n t d o n n e s , e t X
e s t l a s o l u t i o n t r o u v e r . S o n e x i s t e n c e e t s o n
u n i c i t e s t a s s u r e p a r l a c o n d i t i o n [ 6 ] :
(F) (A) = ( 1 . 9 )
O n v e r r a a u c h a p i t r e 2 c o m m e n t r s o u d r e c e t t e q u a t i o n p a r l e p r o c e s s u s
d ' A r n o l d i .
7/29/2019 78059740 Memoir de Fin d Etude4
11/58
1 . 4 . L E P R O B L M E D E P L A C E M E N T P A R T I E L D E S P L E S 5
1 . 4 L e p r o b l m e d e p l a c e m e n t p a r t i e l d e s p l e s
O n c o n s i d r e l e s y s t m e d e c o n t r l e ( d e t y p e ( 1 . 2 ) ) s u i v a n t x(t) = Ax(t) + bu(t)y(t) = Cx(t)
( 1 . 1 0 )
( o b Rn
) e t o n s u p p o s e q u e l e v e c t e u r f Rn
e s t t e l q u e u = fTx(t)
a i n s i l a s o l u t i o n d u s y s t m e ( 1 . 1 0 ) s ' c r i t [ 7 ]
x(t) = exp[(A bfT)t]x0 ( 1 . 1 1 ) i l s e r a i t d o n c s o u h a i t a b l e q u e x(t) s o i t s t a b l e c . . d
limt+
x(t) = 0( 1 . 1 2 )
o n c o n s i d r e a l o r s (A) = {i}ni=1 l e s p e c t r e d e A e t o n s u p p o s e q u e
(i) 0, p o u r i = 1,...,m ( 1 . 1 3 ) (i) < 0, p o u r i = m + 1,...,n ( 1 . 1 4 )
e t s o i t P = {1,...,m} C a v e c (i) < 0 . A i n s i d o n c ( 1 . 1 2 ) n e p e u t t r e v r i e q u e s i
A bfTe s t s t a b l e , a u t r e m e n t d i t q u e s i o n a ( d ' a p r s l a
d n i t i o n 8 )
(A bfT) () R( 1 . 1 5 )
l e c h o i x d u v e c t e u r
f Rnd o i t d o n c t r e o r i e n t v e r s u n r e m p l a c e m e n t d e s
v a l e u r s p r o p r e s i n s t a b l e s i . e
(A
bfT) = P
{i
}ni=m+1 ( 1 . 1 6 )
a n d e v r i e r l a r e l a t i o n ( 1 . 1 2 ) .
E n r s u m o n d n i t l e p r o b l m e d e p l a c e m e n t p a r t i e l d e s p l e s c o m m e
s u i t [ 7 ]
D n i t i o n 1 0 S o i t P = {1,...,m} C a v e c (i P) (i) < 0 e t s o i t
b Rno n d n i t l e p r o b l m e d e p l a c e m e n t p a r t i e l d e s p l e s d e l a m a t r i c e
Ap a r :
c h o i s i r f Rn
t e l q u e (A bfT) = P {i}ni=m+1
7/29/2019 78059740 Memoir de Fin d Etude4
12/58
6 C H A P I T R E 1 . P R L I M I N A I R E
R e m a r q u e 1 L o r s q u ' i l s ' a g i t d ' u n s y s t m e d y n a m i q u e d i s c r e t , l e p r o b l m e
d e p l a c e m e n t d e p l e s c o n s i s t e m e t t r e l e s v a l e u r s p o r p r e s a u t o u r d e l ' o r i g i n e
( l ' i n t r i e u r d u c e r c l e u n i t ) c ' e s t d i r e q u ' o n r e p r e n d l a m m e d n i t i o n
1 0 s a u f q u e l ' e n s e m b l e P D(0, 1)
e t p o u r l e s p e c t r e d e A
o n a :
|i| 1, p o u r i = 1,...,m|i| < 1, p o u r i = m + 1,...,n
.
1 . 5 P r o c e s s u s d ' A r n o l d i
L e p r o c e s s u s d ' A r n o l d i u t i l i s e l a m t h o d e d e G r a m - S c h m i d t [ 9 ] p o u r l a
c o n s t r u c t i o n d e l a b a s e o r t h o n o r m a l d u s o u s - e s p a c e d e K r y l o v . C e p r o c d
e s t s o u v e n t u t i l i s d a n s l e s m t h o d e s d e p r o j e c t i o n s u r l e s s o u s - e s p a c e d e
K r y l o v a n d e r s o u d r e l e s s y s t m e s l i n a i r e s d e g r a n d e t a i l l e . C e t t e s e c t i o n
s e r a r s e r v e c e p r o c e s s u s .
D n i t i o n 1 1 [ 9 ] O n a p p e l l e s o u s - e s p a c e d e K r y l o v d ' o r d r e k
a s s o c i A
p o u r v = 0
l e s o u s - e s p a c e e n g e n d r p a r l e s v e c t e u r s v,Av,...,Ak1v
i . e :
Kk(A, v) = vect{v,Av,...,Ak1v}R e m a r q u e 2 P o u r
z Kk(A, v) o n a
z Kk(A, v) q Pk1 t e l q u e z = q(A)v
U n e b a s e o r t h o n o r m a l d u s o u s - e s p a c e d e K r y l o v Kk(A, v) , e s t c o n s t r u i t e p a r
l e p r o c e s s u s d ' A r n o l d i [ 9 ] .
A l g o r i t h m e 1 P r o c e s s u s d ' A r n o l d i
- c h o i s i r v
= 0
e t c a l c u l e r v1 = v/
v
,
- p o u r j = 1,...,k f a i r ec a l c u l e r
hi,j = (Avj, vi) p o u r i = 1,...,j
c a l c u l e r vj = Avj
ji=1
hi,jvi ,
hj+1,j = vj ,s i
hj+1,j = 0 a r r t e r ,
vj+1 =vj
hj+1,j,
- F i n j .
7/29/2019 78059740 Memoir de Fin d Etude4
13/58
1 . 5 . P R O C E S S U S D ' A R N O L D I 7
O n p o s e
Vk = [v1,...,vk],Hk = (hi,j)(1i,jk) l a m a t r i c e d e H e s s e n b e r g s u p r i e u r e
e tHk =
Hk
hk+1,keTk
l a m a t r i c e
(k + 1) kd e H e s s e n b e r g s u p r i e u r e ( o
ek =
0
.
.
.
01
e s t l e kieme v e c t e u r d e l a b a s e c a n n o n i q u e d e Rk ) .O n a d o n c l e s r s u l t a t s s u i v a n t s [ 9 ] .
AVk = VkHk + hk+1,kvk+1eTk , ( 1 . 1 7 )
AVk = Vk+1Hk, ( 1 . 1 8 )
VTk AVk = Hk. ( 1 . 1 9 )
P r o p o s i t i o n 4 [ 4 ] l e s v e c t e u r s {v1,...,vk} g n r s p a r l ' a l g o r i t h m e 1 c o n s t i -
t u e n t u n e b a s e o r t h o n o r m e d u s o u s - e s p a c e d e K r y l o v Kk(A, v) e t o n a e n
p l u s p o u r i = 1,...,k :
vi = qi1(A)v1 ( 1 . 2 0 )
a v e c qi1 u n p o l y n m e d e d e g r i 1
E n p r a t i q u e , o n u t i l i s e l e p r o c e s s u s d ' A r n o l d i m o d i c a r i l e s t p l u s s t a b l e
[ 9 ] .
A l g o r i t h m e 2 L e p r o c e s s u s d ' A r n o l d i m o d i
- c h o i s i r v
q u e l c o n q u e , c a l c u l e r = v
e tv1 = v/
- p o u r j = 1,...,k
f a i r e
vj = Avjp o u r i = 1,...,j f a i r e
hi,j = (vj, vi)
vj = vj hi,jvifin i
hj+1,j = vjs i
hj+1,j = 0 a r r t e r
vj+1 = vj/hj+1,j-fin j
.
7/29/2019 78059740 Memoir de Fin d Etude4
14/58
8 C H A P I T R E 1 . P R L I M I N A I R E
1 . 5 . 1 p o l y n m e m i n i m a l e t l e p o l y n m e c a r a c t r i s t i q u e
D n i t i o n 1 2 [ 4 ]q
e s t l e p o l y n m e m i n i m a l d e A
p o u r v
s iq
e s t l e p o l y n m e
d e p l u s p e t i t d e g r v r i a n t
l e c o e c i e n t d o m i n a n t d e q
e s t e g a l 1
q(A)v = 0
.
R e m a r q u e 3 - D ' a p r s l e t h o r m e d e C a y l e y - H a m i l t o n l e p l o y n m e m i n i -
m a l d e A
p o u r v
e s t a u p l u s d e d e g r g a l n
.
P r o p o s i t i o n 5 [ 4 ] L e p r o c e s s u s d ' A r n o l d i s ' a r r t e l ' t a p e m
(hm+1,m = 0 ) , o m e s t l e d e g r d u p o l y n m e m i n i m a l d e A p o u r v
D ' a p r s l a p r o p o s i t i o n 4 l e s v e c t e u r s vi s ' c r i v e n t s o u s f o r m e vi = qi1(A)v1
o qi1(A) e s t u n p o l y n m e d e d e g r i1. N o t o n s p a r m l e d e g r d u p o l y n m e
m i n i m a l d e A
p o u r v1 o n a
qi1(t) =1
hi,i1(tqi2(t)
i1j=1
hj,i1qj1(t)) p o u r t o u t i = 1,...,m, ( 1 . 2 1 )
e t p o u r l e c a s o i = m + 1
o n a
qm(t) = tqm1(t) mi=1
hi,mqi1(t).
I l e x i s t e u n e r e l a t i o n e n t r e l e p o l y n m e ( 1 . 2 1 ) e t l e p o l y n m e c a r a c t r i s -
t i q u e d e l a m a t r i c e Hi d e H e s s e n b e r g s u p r i e u r e d ' o r d r e i ; c e t t e r e l a t i o n e s t
d o n n e p a r l e t h o r m e s u i v a n t .
T h o r m e 2 [ 4 ] S o i t m
l e d e g r d u p o l y n m e m i n i m a l d e A
p o u r v
, a l o r s
p o u r i = 1,...,m
o n a
det(tIi Hi) = iqi(t) ( 1 . 2 2 ) E n c o n s q u e n c e o n a l e c o r o l l a i r e s u i v a n t
c o r o l l a i r e 1 [ 4 ] p o u r i = 1,...,m
(m
l e d e g r d u p o l y n m e m i n i m a l d e A
p o u r v
) l e p o l y n m e qi e s t l e p o l y n m e c a r a c t r i s t i q u e d e l a m a t r i c e i n t e r m -
d i a i r e Hi ( c a l c u l e p a r l ' a l g o r i t h m e 1 ) u n e c o n s t a n t e m u l t i p l i c a t i v e p r s .
C e c o r o l l a i r e d o n n e l a r e l a t i o n e n t r e l e p o l y n m e qi(t) t e l q u e
vi+1 = qi(A)v1 e t l e p o l y n m e c a r a c t r i s t i q u e d e l a m a t r i c e Hi . C e r - s u l t a t n o u s p e r m e t t r a d e d m a r r e r l a m t h o d e d e S a a d e t D a t t a [ 3 ] p o u r l a
r s o l u t i o n d e l ' q u a t i o n d e S y l v e s t e r .
7/29/2019 78059740 Memoir de Fin d Etude4
15/58
1 . 6 . L A M T H O D E D U G M R E S E T S O N I M P L M E N T A T I O N 9
1 . 6 L a m t h o d e d u G M R E S e t s o n i m p l m e n -
t a t i o n
O n c o n s i d r e l e s y s t m e l i n a i r e
Ax = b,( 1 . 2 3 )
o b Rn
e t l a m a t r i c e A
e s t s u p p o s e r e l l e e t i n v e r s i b l e .
1 . 6 . 1 D n i t i o n d e l a m t h o d e d u G M R E S
L a m t h o d e d u G M R E S ( G e n e r a l i z e d M i n i m a l R E S i d u a l [ 1 2 ] ) e s t c o n u e
p o u r r s o u d r e l e s y s t m e ( 1 . 2 3 ) . E l l e e s t d n i e p a r :
t a n t d o n n x0 u n e a p p r o x i m a t i o n q u e l c o n q u e d e x, s o l u t i o n d u s y s t m e
( 1 . 2 3 ) , e t r0 = b Ax0 l e r s i d u a s s o c i x0 . A l ' t a p e k m ( m t a n t l e
d e g r d u p o l y n m e m i n i m a l d e A
p o u r v1 = r0/r0) , t r o u v e r l e v e c t e u r xk ,
a p p r o x i m a t i o n d e x
, t e l q u e
xk x0 + Kk(A, r0), ( 1 . 2 4 ) rkAKk(A, r0). ( 1 . 2 5 )
O n u t i l i s e l e p r o c e s s u s d ' A r n o l d i p o u r c o n s t r u i r e u n e b a s e o r t h o n o r m e d u
s o u s - e s p a c e d e K r y l o v Kk(A, r0) , v1 , . . . , vk ( rk = b Axk e s t l e r s i d u a s s o c i
xk ) e t o n p o s e :
Vk = [v1,...,vk],
d o n c ( 1 . 2 4 ) d e v i e n t
xk = x0 + Vk,
a v e c =
12
.
.
.
k
Rk, e t l a r e l a t i o n ( 1 . 2 5 ) s e t r a d u i t p a r
(AVk)Trk = 0
(AVk)T(b Axk) = 0 (AVk)T(b A(x0 + Vk)) = 0 (AVk)Tr0 (AVk)TAVk = 0 (AVk)TAVk = (AVk)Tr0,
7/29/2019 78059740 Memoir de Fin d Etude4
16/58
1 0 C H A P I T R E 1 . P R L I M I N A I R E
o r(AVk)
TAVk e s t t o u j o u r s i n v e r s i b l e d o n c
= [(AVk)TAVk]
1(AVk)Tr0,
c e q u i d o n n e
xk = x0 + Vk[(AVk)TAVk]
1(AVk)Tr0.
P r o p o s i t i o n 6 [ 1 2 ] P o u r l a m t h o d e d u G M E R S , o n a :
rkAKk(A, r0) = argminyRkr0 AVky= [(AVk)
TAVk]1(AVk)
Tr0,
R e m a r q u e 4 L a p r o p o s i t i o n 6 m o n t r e q u e l e p r o b l m e d ' o r t h o g o n a l i t s e
r a m n e u n p r o b l m e d e m i n i m i s a t i o n .
A l g o r i t h m e 3 A l g o r i t h m e d e l a m t h o d e d u G M R E S
1 . c h o i s i r x0 p u i s c a l c u l e r r0 = b Ax0 , = r0 e t v1 = r0/
2 . u t i l i s e r l e p r o c e s s u s d ' A r n o l d i m o d i p o u r c a l c u l e r v1,...,vk e t Hk
3 . r s o u d r e argminyRke1 Hky = yk
4 . c a l c u l e r xk = x0 + Vkyk
1 . 6 . 2 I m p l m e n t a t i o n d e l a m t h o d e d u G M R E S
P o u r r s o u d r e l e p r o b l m e d e m i n i m i s a t i o n ( t a p e 3 A l g o r i t h m e 3 ) o n a
r e c o u r s ( d ' a p r s l e s t r a v a u x d e S a a d e t S c h u l t z [ 1 2 ] ) , a u x r o t a t i o n s d e G i v e n s
p o u r d c o m p o s e r l a m a t r i c e Hk e n p r o d u i t d ' u n e m a t r i c e t r i a n g u l a i r e Rk e t
u n e m a t r i c e o r t h o g o n a l Qk .
S i o n r a l i s e u n e t e l l e d c o m p o s i t i o n o n a u r a
Hk = QkRk,
a v e c Qk Mk+1k+1(R) , Rk = Rk0T e t Rk t r i a n g u l a i r e d ' o r d r e k .D o n c l e p r o b l m e d e m i n i m i s a t i o n d e l ' t a p e 3 d e l ' a l g o r i t h m e 3 d o n n e
e1 Hky = e1 QkRky,= QkQ
Tk e1 QkRky (c a r QkQTk = Ik+1),
= Qk(QTk e1 Rky),
7/29/2019 78059740 Memoir de Fin d Etude4
17/58
1 . 6 . L A M T H O D E D U G M R E S E T S O N I M P L M E N T A T I O N 1 1
Qk e s t o r t h o g o n a l d o n c c o n s e r v e l a n o r m e , a l o r s o n a
e1 Hky = Qk(QTk e1 Rky)= (QTk e1 Rky),
o n p o s e QTk (e1) = gk =
1...
k+1
e t gk = 1..
.
k
o n o b t i e n t
gk Rky2 =
gkk+1
Rky0
2
=
gk Rkyk+1
2
= gk Rky2 + |k+1|2,
e n p a s s a n t a u m i n i m u m o n o b t i e n t
yk = R1k gk Rk. ( 1 . 2 6 ) P o u r d c o m p o s e r l a m a t r i c e
Hk o n d n i t l a m a t r i c e d e r o t a t i o n d e G i v e n s i
i =
1 0 . . . . . . . . . . . . . . . 0
0.
.
.
.
.
. . . . . . . . . . . . ..
.
.
.
.
.
.
.
. 1 0 0 0 . . ..
.
.
.
.
.
. . . 0 ci si 0 . . ..
.
.
.
.
.
. . . 0 si ci 0 . . ..
.
.
.
.
.. . . 0 0 0 1
.
.
.
.
.
.
.
.
.. . . . . . . . . . . .
.
.
.
.
.
. 00 . . . . . . . . . . . . . . . 0 1
,
o l e s si e t ci s o n t t e l s q u e s
2i + c
2i = 1 ( ci = cosi , si = sini ) .
O n p o s e
H(0)k = Hk e t p o u r i = 1,...,k o n a
i...21H(0)k = H
(i)k = (h
(i)l,m),
7/29/2019 78059740 Memoir de Fin d Etude4
18/58
1 2 C H A P I T R E 1 . P R L I M I N A I R E
e t o n p o s e
QTk = kk1...1,
a i n s i l a r s o l u t i o n d u p r o b l m e d e m i n i m i s a t i o n s e f a i t p a r t a p e s c o m m e
s u i v a n t
t a p e 1
o n c a l c u l e c1 =h1,1
(h21,1+h22,1)
s1 =h2,1
(h21,1+h22,1)
d o n c
QT1 (e1) =
c1 s1 0 . . . 0
s1 c1 0 . . . 00 0 1 . . . 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 . . . . . . 0 1
0
.
.
.
.
.
.
0
=
c1s1
0.
.
.
0
=
(1)1
(1)2.
.
.
0
= g1,
QT1 ( H(0)k ) = 1 H(0)k= H(1)k
=
h(1)11 h(1)12 . . . . . . h
(1)1k
0 h(1)22 . . . . . . h
(1)2k
.
.
.h(1)32
.
.
. . . . h(1)3k
.
.
.0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. h(1)kk
0 0 . . . 0 h(1)k+1,k
7/29/2019 78059740 Memoir de Fin d Etude4
19/58
1 . 6 . L A M T H O D E D U G M R E S E T S O N I M P L M E N T A T I O N 1 3
t a p e 2
d e m m e o n c a l c u l e c2 =
h(1)2,2
((h(1)2,2)
2+(h(1)3,2)
2)
s2 =h(1)3,2
((h(1)2,2)
2+(h(1)3,2)
2)
a l o r s
QT2 (e1) = 2(1(e1))
= 2(QT1 (e1))
= 2g1
=
1 0 0 0 . . . 00 c2 s2 0 . . . 00 s2 c2 0 . . . 00 0 0 1 . . . 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 . . . . . . . . . 0 1
(1)1(1)2
0.
.
.
.
.
.
0
=
(1)1
c2
(1)
2s2(1)20
.
.
.
0
=
(2)1(2)2
(2)30
.
.
.
0
= g2,
7/29/2019 78059740 Memoir de Fin d Etude4
20/58
1 4 C H A P I T R E 1 . P R L I M I N A I R E
d o n c
(2)1 =
(1)1 ,
(2)2 = c2(1)2 ,
(2)3 = s2(1)2 ,
QT
2 ( H(0)k ) = 2 H(1)k
=
1 0 0 0 . . . 00 c2 s2 0 . . . 00 s2 c2 0 . . . 00 0 0 1 . . . 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 . . . . . . . . . 0 1
h(1)11 h
(1)12 . . . . . . h
(1)1k
0 h(1)22 . . . . . . h
(1)2k
.
.
.h(1)32
.
.
. . . . h(1)3k.
.
.0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. h(1)kk
0 0 . . . 0 h(1)k+1,k
=
h(2)11 h
(2)12 h
(2)13 . . . . . . h
(2)1k
0 h(2)
22 h(2)
23 . . . . . . h(2)
2k.
.
.0 h
(2)33 . . . . . . h
(2)3k
.
.
.
.
.
.h(2)43
.
.
. . . ..
.
.
.
.
.
.
.
.0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. h(2)kk
0 0 0 . . . 0 h(2)k+1,k
= H(2)k
e n g n r a l t o u t t a p e i o n a
QTi (e1) = i(i1...1(e1))
= i(QTi1(e1))
= igi1
7/29/2019 78059740 Memoir de Fin d Etude4
21/58
1 . 6 . L A M T H O D E D U G M R E S E T S O N I M P L M E N T A T I O N 1 5
=
1 0 . . . . . . . . . . . . . . . 0
0.
.
.
.
.
. . . . . . . . . . . . ..
.
.
.
.
.
.
.
. 1 0 0 0 . . ..
.
.
.
.
.. . . 0 ci si 0 . . .
.
.
.
.
.
.. . . 0 si ci 0 . . . ...
.
.
.. . . 0 0 0 1
.
.
.
.
.
.
.
.
.. . . . . . . . . . . .
.
.
.
.
.
. 00 . . . . . . . . . . . . . . . 0 1
(i1)1
(i1)2
.
.
.
(i1)i1
(i1)i
0.
.
.
0
=
(i)1
(i)2
.
.
.
ci(i1)i
si(i1)i0
.
.
.
0
= gi,
a v e c si =
h(i1)i+1,i
(h(i1)i,i )
2+(h(i1)i+1,i )
2,
ci =h(i1)i,i
(h(i1)i,i )
2+(h(i1)i+1,i )
2,
o l e s si e t ci s o n t t e l s q u e s
2i + c
2i = 1 ( ci = cosi , si = sini ) .
l e v e c t e u r gi e s t d o n n p a r
gi =
(i)1(i)2
.
.
.
(i)i
(i)i+1
0.
.
.
0
,
7/29/2019 78059740 Memoir de Fin d Etude4
22/58
1 6 C H A P I T R E 1 . P R L I M I N A I R E
a v e c (i)j =
(i1)j j = 1,...,i 1,
(i)i = ci
(i1)i ,
(i)i+1 = si(i1)i ,u n i q u e m e n t l e s c o m p o s a n t e s
(i)i e t
(i)i+1 q u i c h a n g e n t t o u t t a p e i.
QTi (H(i1)k ) = i H(i1)k
= H(i)k
=
h(i)11 . . . h
(i)1i h
(i)1,i+1 . . . h
(i)1k
0
.
.
.
.
.
.
.
.
.
. . .
.
.
.
.
.
.
.
.
. h(i)ii
.
.
.. . .
.
.
.
.
.
.
.
.
. 0 h(i)i+1,i+1 . . .
.
.
.
.
.
.
.
.
. 0 h(i)i+2,i+1
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. h(i)kk
0 . . . 0 . . . 0 h(i)k+1,1
t o u t e t a p e
is e u l e s l e s t e r m e s
h(i)i,i e t h
(i)i+1,i q u i s e r o n t m o d i s :
h(i)i,i = cih(i1)i,i + sih(i1)i,i+1 ,h(i)i+1,i = 0.
A i n s i l e v e c t e u r yk , s o l u t i o n d u p r o b l m e d e m i n i m i s a t i o n ( l ' t a p e 3 d e
l ' a l g o r i t h m e 3 ) , e s t o b t e n u p a r t i r d e l ' q u a t i o n s u i v a n t e
Rkyk = gk,
c e q u i c o n r m e l a r e l a t i o n d o n n p a r ( 1 . 2 6 ) .
1 . 7 C o n c l u s i o n
O n a v u d a n s c e c h a p i t r e d e s r a p p e l e s p o u r l a r s o l u t i o n s d e l ' q u a t i o n
d e S y l v e s t e r d o n n e p a r AXXH = CG
, n o t a m e n t l a c o n d i t i o n d ' u n i c i t e t
d ' e x i s t a n c e d e l a s o l u t i o n X
. O n i n t r o d u i r a a u p r o c h a i n c h a p i t r e l e p r o b l m e
p o s p a r c e t t e q u a t i o n e t o n r e v i e n d r a e n d e t a i l s u r s a r s o l u t i o n e n u t i l i s a n t
l e p r o c e s s u s d ' A r n o l d i .
7/29/2019 78059740 Memoir de Fin d Etude4
23/58
C h a p i t r e 2
R s o l u t i o n d e l ' q u a t i o n d e
S y l v e s t e r
L e b u t d e c e c h a p i t r e e s t d e r s o u d r e AX XH = CG,(H) = {1,...,m}, ( 2 . 1 )
e n a p p l i q u a n t l e p r o c e s s u s d ' A r n o l d i , o A Mn(R), C Mnm(R) s o n t
d o n n e s e t H
Mm(R), X
Mnm(R), G
Mm(R) s o n t t r o u v e r .
O n v e r r a a u s s i c o m m e n t o b t e n i r l a d e u x i m e g a l i t d o n n e p a r l ' e x p r e s -
s i o n c i - d e s s u s .
S a u f m e n t i o n d u c o n t r a i r e , d a n s t o u t c e q u i s u i t l e s m a t r i c e s A
,X
,H
,C
,
Gs o n t d n i s c o m m e c i - d e s s u s e t
P = {1,...,m} e s t u n e n s e m b l e a r b i t r a i r e d e
mn o m b r e s c o m p l e x e s p a r t i e r e l l e n g a t i v e e t d i r e n t s d e u x d e u x ,
o m
e s t s u s e m e n t i n f r i e u r n
.
2 . 1 P o s i t i o n d u p r o b l m e
N o u s a v o n s v u a u c h a p i t r e 1 , q u e l a c o n s t r u c t i o n d e l ' o b s e r v a t e u r d e
L u e n b e r g e r n c e s s i t e l a r s o l u t i o n d e l ' q u a t i o n d e S y l v e s t e r . P o u r r s o u d r e
c e t t e q u a t i o n o n p e u t u t i l i s e r l a m t h o d e d e H e s s e n b e r g - S c h u r [ 3 ] , m a i s c e t t e
d e r n i r e n e d o n n e p a s d e b o n s r s u l t a t s s i l a m a t r i c e A
e s t d e g r a n d e t a i l l e ,
d ' o l ' u t i l i s a t i o n d e l a m t h o d e d ' A r n o l d i .
O n c o n s i d r e l e s y s t m e d e t y p e ( 1 . 2 ) x(t) = Mx(t) + Bu(t),y(t) = Ex(t),
( 2 . 2 )
1 7
7/29/2019 78059740 Memoir de Fin d Etude4
24/58
1 8 C H A P I T R E 2 . R S O L U T I O N D E L ' Q U A T I O N D E S Y L V E S T E R
o E
Mmn(R), M
Mn(R) , B
Mnk(R), x(t)
Rn u(t)
Rk
e t
y(t) Rm .L ' o b s e r v a t e u r d e L u e n b e r g e r [ 1 ] a s s o c i c e s y s t m e e s t d o n n p a r
z(t) = F z(t) + Dy(t) + P u(t),z(0) = z0,
( 2 . 3 )
o l e s m a t r i c e s F, D Mm(R) , P Mmk(R) s o n t d t e r m i n e r .
D ' a p r s l e t h o r m e 1 , v u a u c h a p i t r e 1 , l ' e r r e u r e n t r e z(t)
e tx(t)
d o n n e
p a r
e(t) = z(t) Y x(t),( 2 . 4 )
a v e c Y
Mm,n(R) , t e n d v e r s 0 l ' i n n i s i l e s t r o i s c o n d i t i o n s s u i v a n t e s s o n t
v r i e s
1 .
Y M F Y = DE,
2 .P = Y B
,
3 .F
s t a b l e .
L a c o n d i t i o n 1 n ' e s t a u t r e q u e l ' q u a t i o n d e S y l v e s t e r , e t c o m m e o n a v u
a u c h a p i t r e 1 , e l l e a d m e t u n e s o l u t i o n u n i q u e s i
(F) (M) = ,( 2 . 5 )
p o u r r e t r o u v e r l a r e l a t i o n ( 2 . 1 ) o n p o s e
M = AT, F = HT, E = CT, D = GT, Y = XT
a i n s i l a c o n d i t i o n 1 d e v i e n t
XTAT HTXT = GTCT,( 2 . 6 )
c ' e s t d i r e
AX XH = CG,( 2 . 7 )
d o n c l a c o n d i t i o n d ' e x i s t e n c e e t d ' u n i c i t d e l a s o l u t i o n d o n n e p a r ( 2 . 5 ) d e -
v i e n t
(H) (A) = .( 2 . 8 )
E n c e q u i c o n c e r n e l a m a t r i c e G
, o n l a c h o i s i t d e f a o n q u e l a p a i r e {H, G}
s o i t c o n t r l a b l e [ 7 ] .
A i n s i l e s c o n d i t i o n s r e q u i s e s p o u r r s o u d r e l ' q u a t i o n d e S y l v e s t e r s o n t
1 .H
s t a b l e ,
7/29/2019 78059740 Memoir de Fin d Etude4
25/58
2 . 2 . A P P L I C A T I O N D U P R O C E S S U S D ' A R N O L D I 1 9
2 .(H)
(A) =
,
3 . l a p a i r e {H, G} c o n t r l a b l e . P u i s q u e l e p r o d u i t d e s m a t r i c e s
Ge t
Cd o n n e u n e m a t r i c e d e t y p e
n mo n p e u t s u p p o s e r d a n s t o u t c e q u i s u i t , e t s a n s p e r t e d e g n r a l i t , q u e l a
m a t r i c e G
e s t l a m a t r i c e i d e n t i t ; d o n c l ' q u a t i o n r s o u d r e e s t AX XH = C,(H) = P.
( 2 . 9 )
O n r e m a r q u e q u e s i o n m u l t i p l i e C
p a r u n s c a l a i r e a l o r s l a n o u v e l l e s o l u t i o n
e s t o b t e n u e e n m u l t i p l i a n t l a m a t r i c e X
p a r l e m m e s c a l a i r e .
D a n s t o u t c e q u i s u i t o n v a t u d i e r l e p r o b l m e d a n s l e c a s o
Ce s t d e
r a n g 1 .
2 . 2 A p p l i c a t i o n d u p r o c e s s u s d ' A r n o l d i
L ' a p p l i c a t i o n d u p r o c e s s u s d ' A r n o l d i p a r t d e l ' a n a l o g i e p r s e n t e p a r c e
d e r n i e r a v e c l ' q u a t i o n d e S y l v e s t e r d o n n e p a r ( 2 . 9 ) , e t c e t t e a n a l o g i e e s t l a
b a s e d e l a m t h o d e d e S a a d e t D a t t a [ 3 ] . E t c ' e s t c e q u ' o n f a i t d a n s c e q u i
s u i t .
2 . 2 . 1 M t h o d e d e S a a d e t D a t t a
P u i s q u e C
e s t d e r a n g 1 , o n p e u t l ' c r i r e s o u s l a f o r m e
C = (0, 0,...,c),( 2 . 1 0 )
a i n s i o n p e u t l a r e n d r e s o u s f o r m e d e p r o d u i t m a t r i c i e l l e
C = ceTm, ( 2 . 1 1 )
l ' q u a t i o n d e S y l v e s t e r s ' c r i t d o n c s o u s l a f o r m e
AX XH = ceTm, ( 2 . 1 2 ) c e q u i n o u s r a p p e l l e l e p r o c e s s u s d ' A r n o l d i . E n e e t , c e t t e d e r n i r e s ' c r i t (
l ' t a p e m
) c o m m e s u i v a n t :
AVm VmHm = hm+1,mvm+1eTm, ( 2 . 1 3 ) d o n c o n e n d d u i t q u e p o u r r s o u d r e l ' q u a t i o n d e S y l v e s t e r , i l s u t d e
t r o u v e r u n v e c t e u r v1 t e l q u e l e s e c o n d m e m b r e s o i t ce
Tm a p r s e x c u t i o n d e
7/29/2019 78059740 Memoir de Fin d Etude4
26/58
2 0 C H A P I T R E 2 . R S O L U T I O N D E L ' Q U A T I O N D E S Y L V E S T E R
m t a p e s d u p r o c e s s u s d ' A r n o l d i (
mi n f r i e u r a u d e g r d u p o l y n m e m i n i m a l
d e A p o u r v1 ) .
D ' a u t r e s p a r t l a r s o l u t i o n d e l ' q u a t i o n ( 2 . 9 ) e x i g e a u s s i q u e (H) = P ,
c ' e s t d i r e q u e l e p o l y n m e c a r a c t r i s t i q u e d e l a m a t r i c e Hm d o i t t r e
qm(t) = (t 1)...(t m), ( 2 . 1 4 ) P u i s q u ' o n a
pm(A)v1 = vm+1,
a v e c
pm(t) = det(tIm Hm) ( d ' a p r s l e c o r o l a i r e 1 , p a g e 8 ) , e t s a c h a n t q u e l e p o l y n m e c a r a c t r i s t i q u e d e l a m a t r i c e
Hm s ' c r i t
qm(t) = det(tIm Hm),
o n e n d d u i t q u e
vm+1 = qm(A)v1,
P u i s q u e o n c h e r c h e a v o i r vm+1 = c a v e c R , o n e n d d u i t q u e v1
d o i t t r e p r o p o r t i o n n e l c
, e n e e t
qm(A)v1 = c
v1 =
[qm(A)]1cv1 = [qm(A)]
1c( 2 . 1 5 )
o
e s t l a c o n s t a n t e d e n o r m a l i s a t i o n .
D o n c l ' i d e d e b a s e e s t d ' e x c u t e r l e p r o c e s s u s d ' A r n o l d i e n c o m m e n a n t
p a rv1 ( l e v e c t e u r o b t e n u p a r l a r e l a t i o n ( 2 . 1 5 ) ) p u i s f a i r e u n p l a c e m e n t d e
p l e s s u r l a m a t r i c e H
m, p o u r a v o i r l e s p e c t r e d s i r , e t a c o n s i s t e t r o u v e r
y Rmt e l q u e
(H) = (Hm yeTm) = P, ( 2 . 1 6 ) A i n s i l a r s o l u t i o n d e l ' q u a t i o n d e S y l v e s t e r c o n s i s t e r s o u d r e d e u x p r o -
b l m e s q u i s o n t
1 . t r o u v e r v1 s o l u t i o n d e qm(A)x = c
2 . t r o u v e r y Rm
t e l q u e l a r e l a t i o n ( 2 . 1 6 ) s o i t v r i e .
7/29/2019 78059740 Memoir de Fin d Etude4
27/58
2 . 2 . A P P L I C A T I O N D U P R O C E S S U S D ' A R N O L D I 2 1
L a p r e m i r e t a p e c o n s i s t e r s o u d r e qm(A)x = c c ' e s t d i r e l a r s o -
l u s t i o n d e m s y s t m e s s a v o i r (A iI)xi = xi1 c e q u i n ' e s t p a s s i m p l e . O n d o n n e r a p l u s d e d t a i l s , a u c h a p i t r e 3 , p r o p o s d e l a r s o l u t i o n d e t e l s
s y s t m e s . L e c h o i x d e l ' e n s e m b l e P
d o i t s e f a i r e d e f a o n s q u e s e s l m e n t s
n e s o i e n t p a s p r o c h e s d e s v a l e u r s p r o p r e s d e l a m a t r i c e A
, c a r d a n s c e c a s l a
s o l u t i o n x
o b t e n u e s e r a m a l c o n d i t i o n n e [ 6 ] . O n s ' o c c u p e r a d a n s l e c h a p i t r e
3 d e l a r s o l u t i o n d e c e p r o b l m e .
L e p l a c e m e n t d e s p l e s d e l a m a t r i c e Hm s e f a i t a v e c u n e p r o c d u r e s i m p l e
q u ' o n v e r r a d a n s l a s e c t i o n s u i v a n t e .
2 . 2 . 2 P l a c e m e n t d e s p l e s d e l a m a t r i c e d e H e s s e n b e r g
O n p r s e n t e r a d a n s c e p a r a g r a p h e l e s i d e s d e b a s e p o u r c e t t e t a p e .
D n i t i o n 1 3 S o i t E = {1,...,j} . O n d i t q u e l ' e n s e m b l e E e s t s t a b l e p a r
c o n j u g a i s o n s i :
(j E) : j ET h o r m e 3 [ 6 ] S o i t
Hm l a m a t r i c e d e H e s s e n b e r g s u p r i e u r e o b t e n u e p a r l e p r o c e s s u s d ' A r n o l d i . O n n o t e p a r
(Hm) l e s p e c t r e d e l a m a t r i c e Hm . O ns u p p o s e q u e
P (Hm) = ,
s =m
j=1
(Hm jI)e1, =m1j=1
h1j+1,j ( 2 . 1 7 )
a l o r s
(Hm seTm) = P e t l a m a t r i c e Hm seTm e s t d e H e s s e n b e r g s u p - r i e u r e .
D e p l u s s i P e s t s t a b l e p a r c o n j u g a i s o n a l o r s (Hm seTm) e s t r e l . O n r e p r e n d l ' e x p r e s s i o n d o n n p a r ( 2 . 1 3 ) , o n a l e l e m m e s u i v a n t
L e m m e 1 [ 6 ] O n c o n s i d r e l e s m a t r i c e s Vm , Hm d o n n e s p a r l e p r o c e s s u s
d ' A r n o l d i e t o n s u p p o s e q u e
c
Km+1(A, v1) e t v
Tm+1c
= 0
a l o r s
f
Rm
e t
m R t q :AVm Vm(Hm f eTm) = mceTm ( 2 . 1 8 )
P r e u v e
S o i t m = hm+1,m/v
Tm+1c e t s o i t f Rm t e l q u e
mc = Vmf + m(vTm+1c)vm+1
= Vmf + hm+1,mvm+1, ( 2 . 1 9 )
d ' a p r s ( 2 . 1 9 ) e t ( 2 . 1 3 ) o n a :
7/29/2019 78059740 Memoir de Fin d Etude4
28/58
2 2 C H A P I T R E 2 . R S O L U T I O N D E L ' Q U A T I O N D E S Y L V E S T E R
AVm Vm(Hm f eTm) = hm+1,mvm+1eTm + Vmf eTm,= hm+1,mvm+1e
Tm + (mc hm+1,mvm+1)eTm.
C e q u i m o n t r e ( 2 . 1 8 )
O n r e m a r q u e q u e Hm f eTm e s t d e H e s s e n b e r g s u p r i e u r e .
A i n s i l e l e m m e 1 m o n t r e q u e s i o n c h o i s i t v1 d e f a o n q u e c Km+1(A, v1)
a l o r s l ' g a l i t ( 2 . 1 8 ) e s t d e l a m m e f o r m e q u e ( 2 . 1 2 ) u n e c o n s t a n t e m u l t i -
p l i c a t i v e p r s .
L e s r s u l t a t s s u i v a n t s m o n t r e n t c o m m e n t t r o u v e r u n t e l e s p a c e d e K r y l o v
e t c o m m e n t o b t e n i r l a r e l a t i o n ( 2 . 1 6 )
L e m m e 2 [ 6 ] S o i t Vm e t Hm l e s m a t r i c e s c o n s t r u i t e s p a r l e p r o c e s s u s d ' A r -
n o l d i e t s o i t p
u n p o l y n m e d e d e g r i n f r i e u r m
a l o r s
p(A)v1 = Vmp(Hm)e1.
P r e u v e
i l s u t d e v r i e r q u e : Ajv1 = VmH
jme1 0 j < m e t l e l e m m e s ' e n
d d u i t .
L e m m e 3 [ 6 ] S o i t Hm+1 Mm+1(R) u n e m a t r i c e d e H e s s e n b e r g s u p r i e u r e
e t
pu n p o l y n m e u n i t a i r e d e d e g r
m( l e c o e c i e n t d e p l u s h a u t d e g r e s t
g a l 1 ) . A l o r s
eTm+1p(Hm+1)e1 =m
j=1
hj+1,j.
T h o r m e 4 [ 6 ] S o i t c
l e v e c t e u r d n i p a r ( 2 . 1 0 ) . O n s u p p o s e q u e
(A) P = . O n d n i t l e p o l y n m e u n i t a i r e
pm(t) =m
j=1
(t j) ( 2 . 2 0 )
e t x l a s o l u t i o n u n i q u e d e pm(A)x = c ( 2 . 2 1 )
e t s o i e n t Vm, Hm, vm+1 e t hm+1,m d t e r m i n s p a r l e p r o c e s s u s d ' A r n o l d i a v e c
v1 =xx
. O n p o s e m = hm+1,m/v
Tm+1c e t f = mV
Tm c, a l o r s
c Km+1(A, v1), ( 2 . 2 2 ) e t
(Hm f eTm) = P. ( 2 . 2 3 )
7/29/2019 78059740 Memoir de Fin d Etude4
29/58
2 . 2 . A P P L I C A T I O N D U P R O C E S S U S D ' A R N O L D I 2 3
P r e u v e
L a r e l a t i o n ( 2 . 2 2 ) p r o v i e n t d e ( 2 . 2 1 ) e t d e ( 2 . 2 0 ) e n e e t
c = pm(A)x = c = xpm(A) v1 (c a r v1 = xx)= c = gm(A)v1 (a v e c gm(t) = xpm(t))= c Km+1(A, v1) (p a r d n i t i o n d u s o u s - e s p a c e d e K r y l o v )
P o u r m o n t r e r l a r e l a t i o n ( 2 . 2 3 )
f = mVTm c
= mVTmpm(A)x
= mxVTmpm(A)v1, ( 2 . 2 4 )
o n p o s e : pm1(t) =
m1j=1
(tj) a i n s i e n r e m p l a a n t pm(t) = (tm)pm1(t)
d r o i t e d a n s l ' e x p r e s s i o n ( 2 . 2 4 ) e t e n a p p l i q u a n t l e l e m m e 2 o n a
mxVTmpm(A)v1 = mxVTm (A mI)pm1(A)v1= mxVTm (A mI)Vmpm1(Hm)e1= mx(Hm mI)pm1(Hm)e1= mxpm(Hm)e1= mxs,
o s
e s t d n i p a r l e t h o r m e 3 .
E n p l u s o n a
mx = hm+1,mvTm+1c
x
=hm+1,m
vTm+1pm(A)xx
=hm+1,m
vTm+1pm(A)v1,
d o n c , d ' a p r s l e l e m m e 2 e t l e l e m m e 3 , o n a
7/29/2019 78059740 Memoir de Fin d Etude4
30/58
2 4 C H A P I T R E 2 . R S O L U T I O N D E L ' Q U A T I O N D E S Y L V E S T E R
hm+1,mvTm+1pm(A)v1
=hm+1,m
vTm+1Vm+1pm(Hm+1)e1
=hm+1,mm
j=1
hj+1,j
=1
m1j=1
hj+1,j
A i n s i o n e n d d u i t q u e = mx ( c a r =
m1j=1
h1j+1,j )
e t i l s ' e n s u i t q u e s = f
e t d ' a p r s l e t h o r m e 4 o n a
(Hm f eTm) = P.R e m a r q u e 5 E n p r a t i q u e , o n n ' u t i l i s e p a s l e s c a l a i r e
m t e l q u ' i l e s t d n i a u t h o r m e 4 c a r l e s r s u l t a t s n u m r i q u e s o b t e n u s s e r o n t m o i n s b o n s q u e
c e u x o b t e n u s p a r c e t t e e x p r e s s i o n
m =cTdc2 . ( 2 . 2 5 )
a v e c d = hm+1,mvm+1 + Vmf.
O n a d ' a p r s l e p r o c e s s u s d ' A r n o l d i
AVm VmHm = hm+1,mvm+1eTm,e n a j o u t a n t
Vmf eTm a u x d e u x m e m b r e s d e l ' g a l i t o n a
AVm
VmHm + Vmf eTm = hm+1,mvm+1e
Tm + Vmf e
Tm ( 2 . 2 6 )
d o n c
AVm Vm(Hm f eTm) = (hm+1,mvm+1 + Vmf)eTmo n p o s e
H = Hm f eTm , d = hm+1,mvm+1 + Vmfe t o n n e m a n q u e r a p a s d e s i g n a l e r q u e
de s t l a d e r n i r e c o l o n n e d e l a m a t r i c e
AVm VmH c e q u i f a i t q u ' o n a AVm VmH = deTm
7/29/2019 78059740 Memoir de Fin d Etude4
31/58
2 . 3 . C O N C L U S I O N 2 5
e t p o u r s e r a m m e n e r l a r e l a t i o n ( 2 . 1 2 ) i l f a u t q u e d
s o i t p r o p o r t i o n n e l c
d = mc
c e q u i m n e
d = mc cTd = mcTc m = c
Td
cTc
m = cTd
c2 .
E n d n i t i f , o n a
AVm VmH = mceTme t d o n c p a r i d e n t i c a t i o n a v e c l a r e l a t i o n ( 2 . 1 2 ) , l a s o l u t i o n
Xr e c h e r c h e
e s t d o n n e p a r
X =1
mVm.
A p r s e n t q u ' o n s a i t c o m m e n t o b t e n i r l e s m a t r i c e s H
e tX
, o n p e u t
p r s e n t e r l ' a l g o r i t h m e d e p l a c e m e n t p a r t i e l d e s p l e s d e l a m a t r i c e Hm [ 3 ] :
A l g o r i t h m e 4 P l a c e m e n t d e s p l e s d e Hm
l1 = e1 ; = 1;p o u r
i = 1,...,m 1f a i r e
li+1 = (Hm iI)li ; = .h1i+1,i ;
n i
s = (Hm mI)lm ;f = s
;
c a l c u l e r Hm f eTm ; n
M a i n t e n a n t i l n e r e s t e p l u s q u ' s a v o i r c o m m e n t o b t e n i r l e v e c t e u r v1 .
2 . 3 C o n c l u s i o n
L a r s o l u t i o n d e l ' q u a t i o n d e S y l v e s t e r p a r l e p r o c e s s u s d ' A r n o l d i n o u s
c o n d u i t d o n c r s o u d r e d e u x p r o b l m e s .
7/29/2019 78059740 Memoir de Fin d Etude4
32/58
2 6 C H A P I T R E 2 . R S O L U T I O N D E L ' Q U A T I O N D E S Y L V E S T E R
L e p r e m i e r r s i d e d a n s l a d t e r m i n a t i o n d u v e c t e u r v1 p e r m e t t a n t d e d -
m a r r e r l e p r o c e s s u s d ' A r n o l d i , e t l e d e u x i m e p r o b l m e s ' a g i t d ' u n p l a c e m e n t
d e p l e s s u r l a m a t r i c e Hm .
O n r e v i e n d r a p l u s e n d t a i l s s u r l e p r e m i e r p r o b l m e a u c h a p i t r e 3 .
7/29/2019 78059740 Memoir de Fin d Etude4
33/58
C h a p i t r e 3
P r e m i r e t a p e d e l a m t h o d e d e
S a a d e t D a t t a
D a n s c e c h a p i t r e o n r s o u d l e s y s t m e qm(A)x = c, q u i c o n s t i t u e l a p r e -
m i r e t a p e d e l a m t h o d e d e S a a d - D a t t a [ 3 ] ( v o i r a l g o r i t h m e 6 , p a g e 3 1 )
p o u r l a r s o l u t i o n d e l ' q u a t i o n d e S y l v e s t e r . L ' i m p o r t a n c e d e c e t t e t a p e
r s i d e d a n s l e f a i t q u ' e l l e p e r m e t d e t r o u v e r l e v e c t e u r v1 , q u i d m a r r e r a l e
p r o c e s s u s d ' A r n o l d i .
D a n s t o u t c e c h a p i t r e , P = {1,...,m} e s t u n e n s e m b l e d e m n o m b r e s c o m p l e x e s p a r t i e r e l l e n g a t i v e e t d i r e n t s d e u x d e u x ,
(A)d s i g n e l e
s p e c t r e d e A
e tqm(t) =
mi=1
(t iI).
3 . 1 P r s e n t a t i o n d u p r o b l m e
O n s a i t q u e l e v e c t e u r v1 d o i t v r i e r l a r e l a t i o n ( 2 . 1 5 ) ( c h a p i t e 2 p a g e
2 0 ) c e q u i m n e a u f a i t q u e v1 e s t s o l u t i o n d e l ' q u a t i o n s u i v a n t e
qm(A)x = c, ( 3 . 1 )
s a c h a n t q u e
qm(t) = (t 1)...(t m),c ' e s t d i r e
(A 1I)...(A mI)x = c, ( 3 . 2 ) e n p o s a n t
x = xm e t x0 = c, l a r e l a t i o n ( 3 . 2 ) d e v i e n t
2 7
7/29/2019 78059740 Memoir de Fin d Etude4
34/58
2 8 C H A P I T R E 3 . P R E M I R E T A P E D E L A M T H O D E D E S A A D E T D A T T A
(A 1I)...(A mI)xm = x0, ( 3 . 3 ) o n p o s e
(A mI)xm = xm1 d o n c l a r e l a t i o n ( 3 . 3 ) d e v i e n t
(A 1I)...(A m1I)xm1 = x0,e n r p t a n t l a m m e o p r a t i o n o n o b t i e n t
(A iI)xi = xi1i = 1,...,m
( 3 . 4 )
A i n s i , r s o u d r e ( 3 . 1 ) q u i v a u t r s o u d r e ( 3 . 4 ) . L e d e r n i e r v e c t e u r xm e s t
b i e n e n t e n d u l a s o l u t i o n r e c h e r c h e . C e p e n d a n t o n n e p e u t u t i l i s e r c e t t e m -
t h o d e c a u s e d e d e u x r a i s o n s . L a p r e m i r e c ' e s t q u ' e l l e e s t t r s c o t e u s e ;
c a r l e s m t h o d e s d i r e c t s n e s o n t p a s e n v i s a g e a b l e s d a n s l e c a s d e s s y s t m e s
l i n a i r e s d e g r a n d e t a i l l e . L a d e u x i m e r a i s o n e s t d u e a u x p o s s i b l e s p e r t u r -
b a t i o n s d a n s l e s i t r a t i o n s ; v o i r [ 1 ] p o u r p l u s d e d t a i l s .
3 . 2 A p p r o c h e p a r f r a c t i o n r a t i o n n e l l e
S i l a r s o l u t i o n d e s m
s y s t m e s l i n a i r e s n e p e u t a b o u t i r p o u r l e s r a i s o n s
d j a c i t e s , a l o r s u n e a p p r o c h e d i r e n t e s ' i m p o s e .
O n s a i t d ' a p r s ( 3 . 1 ) q u e
x = [qm(A)]1c,
( 3 . 5 )
e t o n a a u s s i
1
qm(t)=
1mi=1(t i)
,( 3 . 6 )
s i o n d s i g n e p a r qm(i) l a d r i v e d e qm(t) c a l c u l e a u p o i n t i o n a
qm(i) =m
j=1j=i
(i
j),
l e s n o m b r e s d r i v s qm(i) s o n t t o u s d i r e n t s d e z r o , c e l a e s t d u a u f a i t
q u e t o u s l e s l m e n t s d e P
s o n t d i s j o i n t s d e u x d e u x , a i n s i l a d c o m p o s i t i o n
e n l m e n t s s i m p l e s d e ( 3 . 6 ) d o n n e
1
qm(t)=
mi=1
1
qm(i)(t i),
( 3 . 7 )
7/29/2019 78059740 Memoir de Fin d Etude4
35/58
3 . 3 . R S O L U T I O N D E QM(A)X = C P A R L A M T H O D E D U G M R E S 2 9
d o n c l a r e l a t i o n ( 3 . 5 ) d e v i e n t
x =mi=1
1
qm(i)(A iI)1c, ( 3 . 8 )
l ' e x p r e s s i o n ( 3 . 8 ) n ' a a u c u n s e n s s i l ' u n e d e s m a t r i c e s (A iI) n ' e s t p a s
i n v e r s i b l e . P u i s q u e P (A) =
, l e s p e c t r e d e l a m a t r i c e A
n e c o n t i e n t
a u c u n e r a c i n e d u p o l y n m e qm(t) e t d o n c l e s m a t r i c e s (A iI) s o n t t o u t e s
i n v e r s i b l e s .
E e c t i v e m e n t s i (A)
o n a
(A) n ' e s t p a s r a c i n e d u p o l y n m e c a r a c t r i s t i q u e d e A det(A I) = 0 (A I)
i n v e r s i b l e ,
c e q u i p r o u v e c e q u ' o n v i e n t d e d i r e .
O n p o s e
xi = (A iI)1c,d o n c l a r e l a t i o n ( 3 . 8 ) d e v i e n t
x =mi=1
1qm(i)
xi, ( 3 . 9 )
a i n s i p o u r t r o u v e r x
i l f a u t r s o u d r e l e s m
s y s t m e s l i n a i r e s s u i v a n t s
(A iI)xi = c a v e c i = 1,...,m, ( 3 . 1 0 ) e t p u i s u t i l i s e r l a c o m b i n a i s o n l i n a i r e d o n n e p a r ( 3 . 9 ) p o u r t r o u v e r
x.
P o u r l a r s o l u t i o n d e ( 3 . 1 0 ) o n v a u t i l i s e r l a m t h o d e d u G M E R S [ 1 2 ] ;
c e p e n d a n t l e v e c t e u r v1 r e c h e r c h d o i t t r e n o r m , c e q u i n ' e s t p a s f o r c m e n t
l e c a s d e x
, d o n c o n p o s e r a
v1 =x
x ,
3 . 3 R s o l u t i o n d e qm(A)x = c p a r l a m t h o d e
d u G M R E S
L a m t h o d e d u G M R E S [ 1 2 ] e s t l ' u n e d e s m t h o d e s l e s p l u s e c a c e s
p o u r l a r s o l u t i o n d e s s y s t m e s d e t y p e ( 3 . 1 0 ) . P o u r a p p l i q u e r l a m t h o d e
7/29/2019 78059740 Memoir de Fin d Etude4
36/58
3 0 C H A P I T R E 3 . P R E M I R E T A P E D E L A M T H O D E D E S A A D E T D A T T A
d u G M R E S o n c o n s t r u i t Vl e t Hl p a r l e p r o c e s s u s d ' A r n o l d i a p p l i q u A e t
v1 = cc , c e t t e b a s e s e r a u t i l i s e d a n s t o u s l e s m s y s t m e s d o n n s p a r ( 3 . 1 0 ) c a r l a b a s e d ' A r n o l d i , d o n n e p a r l a m a t r i c e
Vl , n e v a r i e p a s s i o n r e m p l a c e A
p a r(A I)
( o
e s t u n s c a l a i r e ) . L e p r o c e s s u s d ' A r n o l d i d o n n e
AVl = VlHl + hl+1,lvl+1eTl ,
s i o n a j o u t e Vl a u x d e u x m e m b r e s d e l ' g a l i t p r c d e n t e
AVl Vl = VlHl + hl+1,lvl+1eTl Vl,o n o b t i e n t a l o r s
(A I)Vl = Vl(Hl I) + hl+1,lvl+1eTl . ( 3 . 1 1 ) L ' i n t r t d e c e t t e i d e r s i d e d a n s l e f a i t q u e l a m m e b a s e
Vl s e r v i r a t r o u v e r t o u s l e s v e c t e u r s
xi c e q u i p e r m e t d ' c o n o m i s e r d a n s l e s c a l c u l s c a r o n s e c o n t e n t e r a j u s t e d e m o d i e r l a m a t r i c e
Hl e n l a r e m p l a a n t p a r HliIp o u r
i = 1,...,m.
R e m a r q u e 6 - O n c h o i s i t l ' e n t i e r l
c o m m e t a n t l e p l u s p e t i t e n t i e r t e l q u e
r(l)i < p o u r i = 1,...,m ( 3 . 1 2 ) a v e c
r(l)i = c (A iI)xi p o u r i = 1,...,m ( v o i r [ 6 ] p o u r p l u s d e d t a i l s ) .
F i n a l e m e n t o n r s o u t l e s y s t m e d o n n p a r ( 3 . 1 ) p a r l ' A l g o r i t h m e s u i v a n t
A l g o r i t h m e 5 R s o l u t i o n d e qm(A)x = c
1 . C a l c u l e r = c
e tv1 =
cc
;
2 . A p p l i q u e r l e p r o c e s s u s d ' A r n o l d i s u r l a m a t r i c e A
e tv1 p o u r c o n s t r u i r e
l e s m a t r i c e s Hl e t Vl ;
3 . p o u r i = 1,...,m
f a i r e
c a l c u l e r H
(i)l = Hl iI ;
t r o u v e r y(
i)l = argminyCl
e1
H
(j)l y
o
H(j)l =
H(i)l
0 . . . hl+1,l ;s i
c H(j)l y(i)l c h o i s i r
lp l u s g r a n d s e t a l l e r 2 .
n s i
c a l c u l e r xi = Vly
(i)l ;
ni
4 . c a l c u l e r x =
mi=1
1
qm(i)xi
7/29/2019 78059740 Memoir de Fin d Etude4
37/58
3 . 4 . L E C H O I X D E S P O L E S 3 1
3 . 4 L e c h o i x d e s p o l e s
L e s v a l e u r s p r o p r e s d e A
n e s o n t p a s p r a l a b l e m e n t c o n n u e s , d o n c i l e s t
d i c i l e d e c h o i s i r l ' a v a n c e l ' e n s e m b l e d e s p l e s P d e f a o n q u e P(A) = .S i l ' u n d e s
i e s t p r o c h e d e l ' u n e d e s v a l e u r s p r o p r e s d e A , l e s y s t m e l i n a i r e q u i l u i e s t a s s o c i
(A iI)xi = c s e r a m a l c o n d i t i o n n . P o u r r e m d i e r c e p r o b l m e o n p e u t f a i r e u n e e s t i m a t i o n s u r l e s v a l e u r s p r o p r e s d e
A, u n e
t e l l e e s t i m a t i o n p e r m e t d e b i e n c h o i s i r l e s l m e n t s d e P
. D ' a u t r e s m t h o d e s
p e r m e t t e n t l ' e s t i m a t i o n d e s v a l e u r s p r o p r e s d e A
, c o m m e l a m t h o d e d e d -
a t i o n , c o m b i n e a u x i t r a t i o n s p o l y n o m i a l e s , c o m m e d a n s [ 3 ] , o u l a m t h o d e
d ' A r n o l d i r e d m a r r e i m p l i c i t e m e n t ( m t h o d e I R A : I m p l i c i t l y r e s t a r t e d A r -
n o l d i ) q u i p e r m e t d e d o n n e r u n e e s t i m a t i o n d e s v a l e u r s p r o p r e s d e l a m a t r i c e
A, c o m m e d a n s l e s t r a v a u x d e L . R e i c h e l , B . L e w i s e t D . C a l v e t t i ( p o u r p l u s
d e d t a i l s v o i r [ 6 ] ) .
I l e s t n o t e r q u e d a n s p l u s i e u r s s i t u a t i o n s e n p r a t i q u e , c o m m e l e c a s
d e s s t r u c t u r e s s p a t i a l e s l a r g e s e t e x i b l e s ( L F S S ) [ 3 ] , l e s v a l e u r s p r o p r e s d e
l a m a t r i c e A
s o n t d o n n e s p a r u n e f o r m u l e a n a l y t i q u e ( v o i r p a g e 3 5 ) c e q u i
f a c i l i t e l e c h o i x d e s l m e n t s d e P
.
3 . 5 A l g o r i t h m e d e r s o l u t i o n d e l ' q u a t i o n d e
S y l v e s t e r
A p r s e n t n o u s s a v o n s c o m m e n t o b t e n i r x
, e t p a r l a m m e o c c a s i o n l e
v e c t e u r v1 =
xx
q u i p e r m e t d ' a v o i r vm+1 = c , e t p u i s q u ' o n a d j a v u a u
c h a p i t r e 2 c o m m e n t c a l c u l e r l e s m a t r i c e s H
e tX
, n o u s p o u v o n s a l o r s d o n n e r
l ' a l g o r i t h m e d n i t i f d e l a r s o l u t i o n d e l ' q u a t i o n d e S y l v e s t e r .
A l g o r i t h m e 6 R s o l u t i o n d e l ' q u a t i o n d e S y l v e s t e r
1 . r s o u d r e qm(A)x = c p a r l a m t h o d e d u G M R E S ( i . e . l ' a l g o r i t h m e 5 ) ,
p u i s c a l c u l e r v1 =
xx
2 . e x c u t e r l e p r o c e s s u s d ' A r n o l d i p o u r c a l c u l e r Vm e t Hm
3 . t r o u v e r y t e l q u e (H) = (Hm yeTm) = P4 . c a l c u l e r
m = cTd/c2
a v e c d
e s t l a d e r n i r e c o l o n n e d e AVm VmH
5 .Xm =
1m
Vm
3 . 6 C o n c l u s i o n
P u i s q u e l e s m a t r i c e s A
e tAiI p o s s d e n t l e m m e s o u s - e s p a c e d e K r y l o v
c e c i p e r m e t d e f a i r e d ' i m p o r t a n t e s c o n o m i e s e n c a l c u l e t e n m m o i r e , c a r
7/29/2019 78059740 Memoir de Fin d Etude4
38/58
3 2 C H A P I T R E 3 . P R E M I R E T A P E D E L A M T H O D E D E S A A D E T D A T T A
s e u l e l ' t a p e d e r s o l u t i o n d u p r o b l m e d e m i n i m i s a t i o n ( d a n s l a m t h o d e d e
G M R E S ) q u i s ' e x c u t e r a a u t a n t d e f o i s q u e l e n o m b r e d ' l m e n t s d e P. E n
c e q u i c o n c e r n e l e c h o i x d e l ' e n s e m b l e P
, i l e s t p r i m o r d i a l d e l e b i e n c h o i s i r
c a r a u t r e m e n t l e s y s t m e ( 3 . 1 ) s e r a m a l c o n d i t i o n n .
7/29/2019 78059740 Memoir de Fin d Etude4
39/58
C h a p i t r e 4
E s s a i s n u m r i q u e s
L e s e s s a i e s o n t t f a i t s u r u n P C q u i p d ' u n p r o c e s s e u r I n t e l C e l e r o n D
3 . 2 G H z , 2 G o d e R A M , d e p r c i s i o n 2, 2204.1016
e t m u n i d e l a v e r s i o n
7 . 4 d e M a t l a b .
D a n s t o u s l e s e s s a i s , l e v e c t e u r c
e s t g n r a l a t o i r e m e n t p a r l a c o m m a n d e
r a n d d e m a t l a b ( e n t e n n a n t c o m p t e d e l a d i m e n s i o n d e l a m a t r i c e A
) . L e
v e c t e u r v1 , s o l u t i o n d e ( 3 . 1 0 ) , e s t d t e r m i n e p a r l ' a l g o r i t h m e 5 ( p a g e 3 0 )
a v e c = 108
. I l e s t n o t e r a u s s i q u ' a v a n t d e c o m m e n c e r o n s ' a s s u r e q u e l e
s p e c t r e d e A
e t l ' e n s e m b l e P
s o n t d i s j o i n t s .
D a n s c e c h a p i t r e , o n d s i g n e p a r
ul a n o r m e e u c l i d i e n n e [ 1 ] d u v e c t e u r
u
u1...
uk
d o n n e p a r u =
ki=1
|ui|2
e t p a r U
l a n o r m e s p e c t r a l [ 1 ] d e l a m a t r i c e U = (uij)1
7/29/2019 78059740 Memoir de Fin d Etude4
40/58
3 4 C H A P I T R E 4 . E S S A I S N U M R I Q U E S
A =
1 1 0 . . . . . . 01 0 1
.
.
.
.
.
.
0.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 0.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 10 . . . . . . 0 1 0
( 4 . 1 )
c e t y p e d e m a t r i c e s e n o m m e m a t r i c e d e G e a r ( " G e a r m a t r i x " ) , e t
p o u r p l u s d e d t a i l s s u r c e t y p e d e m a t r i c e o n r e n v o i e l e s l e c t e u r s l ' a r t i c l e
d e C . W G e a r [ 5 ] . O n a c h o i s i t l ' e n s e m b l e d e p l e s s u i v a n t
P = {k = 4k/k = 1,...,m}. ( 4 . 2 ) A p r s a v o i r e x c u t e r l ' a l g o r i t h m e 6 ( p a g e 6 ) o n c a l c u l e l e s n o r m e s
(AX XH) ceTm e t (Hm f eTm) o P, H = Hm f eTm ;l e s r s u l t a t s o b t e n u s s o n t r e p o r t s d a n s l e t a b l e a u s u i v a n t
R e m a r q u e 7 S il < 16
, l ' a l g o r i t h m e 6 s ' a r r t e ; m a i s l a p r c i s i o n a u g u e -
m e n t e e n p r e n n a n t l
p l u s g r a n d , c e q u e i l l u s t r e l e t a b l e a u 4 . 2
m (AX XH) ceTm (Hm f eTm)4 3, 3557.108 1, 3902.1013
6 5, 3488.108 2, 8664.1011
8 7, 5778.108 2, 1207.1010
10 1, 0016.107 3, 4674.108
12 1, 2644.107 6, 2719.107
14 1, 5445.107 2, 4907.104
T a b l e
4 . 1 R s u l t a t s o b t e n u s p o u r l a m a t r i c e A
d e G e a r d e t a i l l e n = 1000
e tl = 16
R e m a r q u e 8 O n r e m a r q u e q u e p l u s l e n o m b r e d e s p l e s e s t g r a n d , p l u s l e s
n o r m e s (AX XH) ceTm e t (Hm f eTm) a u g m e n t e n t .
O n r e f a i t l e m m e t r a v a i l e e c t u p r c d e m e n t , s a u f q u ' i c i l a m a t r i c e A
e s t u n e m a t r i c e d e G e a r d e t a i l l e n = 500
, e t o n g a r d e l e m m e e n s e m b l e P
u t i l i s d a n s l e t e s t 1
7/29/2019 78059740 Memoir de Fin d Etude4
41/58
4 . 2 . M A T R I C E L F S S 3 5
m
(AX
XH)
ceTm
(Hm
f eTm)
4 3, 9215.1014 2, 8891.10136 1, 6637.1013 4, 4564.1011
8 7, 3598.1013 6, 5515.1010
10 2, 9257.1012 1, 4474.108
12 1, 0948.1011 3, 4224.106
14 4, 2106.1011 4, 8322.105
T a b l e
4 . 2 R s u l t a t s o b t e n u s l a m a t r i c e A
d e G e a r d e t a i l l e n = 1000
e t
l = 32
m (AX XH) ceTm (Hm f eTm)4 2, 3109.108 4, 6729.1014
6 3, 6771.108 1, 7709.1011
8 5, 2031.108 1, 3948.109
10 6, 8712.108 1, 0157.108
12 8, 6675.108 1, 5981.106
14 1, 0581.107 1, 5231.104
T a b l e
4 . 3 R s u l t a t s o b t e n u s l a m a t r i c e A
d e G e a r d e t a i l l e n = 500
e t
l = 16
4 . 2 M a t r i c e L F S S
O n c o n s i d r e l a m a t r i c e A
d n i e p a r
A =
0p IpL D
( 4 . 3 )
o n = 2p
e s t l a t a i l l e d e c e t t e m a t r i c e ( p = 500
p o u r c e t e s t ) , e t l e s
m a t r i c e s D
,L
s o n t d n i s c o m m e s u i v a n t
D = diag{d1,...,dp} e t L = diag{l1,...,lp} , l e s v a l e u r s p r o p r e s d e c e t t e m a t r i c e s o n t l e s s o l u t i o n s d e s q u a t i o n s
x2 dkx lk = 0, k = 1,...,p ( 4 . 4 ) A i n s i s i
dk = 2k e t lk = (2k + 2k) l e s p e c t r e d e A e s t d o n n p a r (A) = {k, k} a v e c k = k + ik . C e t y p e d e m a t r i c e s e r t m o d l i s e r
l e s s t r u c t u r e s s p a t i a u x l a r g e s e t e x i b l e s ( L F S S p o u r L a r g e e x i b l e s p a c e
s t r u c t u r e s ) [ 3 ] .
7/29/2019 78059740 Memoir de Fin d Etude4
42/58
3 6 C H A P I T R E 4 . E S S A I S N U M R I Q U E S
m
(AX
XH)
ceTm
(Hm
f eTm)
4 3, 1980.1014 1, 5291.10136 1, 4500.1013 6, 9802.1011
8 6, 1146.1013 1, 4631.109
10 2, 3719.1012 2, 3719.108
12 9, 2488.1012 4, 3654.106
14 3, 4298.1011 1, 2756.104
T a b l e
4 . 4 R s u l t a t s o b t e n u s l a m a t r i c e A
d e G e a r d e t a i l l e n = 500
e t
l = 32
P o u r i l l u s t r e r l ' i m p a c t d u c h o i x d e l ' e n s e m b l e d e s p l e s s u r l e s r s u l a t s
o b t e n u s , o n c h o i s i t 2 e n s e m b l e s d e p l e s q u ' o n d n i t p a r
P1 = {k = ak + ibk/ak [2, 1] e t bk [0, 1]} ( 4 . 5 ) e t
P2 = {k = ak + ibk/ak [4, 3] e t bk [0, 1]} ( 4 . 6 ) D a n s l e s d e u x c a s , o n d o n n e l a v a l e u r m i n i m a l
lp o u r q u e l ' a l g o r i t h m e s n e
s ' a r r t e p a s .
L e t a b l e a u s u i v a n t i l l u s t r e l e s r s u l t a t s o b t e n u s p o u r l ' e n s e m b l e P1 ,
l m (AX XH) ceTm (Hm f eTm)105 4 3, 1328.108 1, 6338.1014
151 6 6, 8162.107 2, 6208.1013
190 8 5, 5369.106 1, 6679.1012
T a b l e
4 . 5 R s u l t a t s o b t e n u s p o u r l ' e n s e m b l e d e p l e s P1
e t c e l u i l i l l u s t r e l e s r s u l t a t s o b t e n u s p o u r l ' e n s e m b l e P2 ,
l m (AX XH) ceT
m (Hm f eT
m)21 4 1, 1413.106 6, 8883.101321 6 1, 2864.104 2, 8424.1011
21 8 0, 0084 1, 6200.108
T a b l e
4 . 6 R s u l t a t s o b t e n u s p o u r l ' e n s e m b l e d e p l e s P2
L e s t a b l e a u x 4 . 5 e t 4 . 6 m o n t r e n t q u e l ' e n s e m b l e P1 d o n n e d e m e i l l e u r s
r s u l t a t s q u e l ' e n s e m b l e P2 .
7/29/2019 78059740 Memoir de Fin d Etude4
43/58
4 . 3 . R E P R S E N T A T I O N G R A P H I Q U E S D E S S P E C T R E S 3 7
4 . 3 R e p r s e n t a t i o n g r a p h i q u e s d e s s p e c t r e s
D a n s c e t e x e m p l e o n r e p r s e n t e r a g r a p h i q u e m e n t l a r p a r t i t i o n d e s s p e c t r e s
d e s m a t r i c e s A
,H = Hm f eTm , e t Hm d a n s l e p l a n c o m p l e x e .
O n c o n s i d r e l a m a t r i c e d e S a a d A = A(r, s)
, d e t a i l l e n = 500
( a v e c
s = 10,
r = 50e t
n = rs) , d n i e c o m m e s u i v a n t
ai,i = 4 p o u r i = 1,...,nai,i+1 = 1.2 p o u r i = 1,...,n 1ai,i1 = 1.1 p o u r i = 2,...,nair+1,ir = air,ir+1 = 0 p o u r i = 1,...,s 1ai+r,i = ai,i+r =
1
p o u r i = 1, ..., (s
1)r
( 4 . 7 )
l ' e n s e m b l e d e p l e s c h o i s i t p o u r c e t e s t e s t l ' e n s e m b l e d n i t p a r ( 4 . 5 ) e t o n
p r e n d
m = 6.
7/29/2019 78059740 Memoir de Fin d Etude4
44/58
3 8 C H A P I T R E 4 . E S S A I S N U M R I Q U E S
f i g u r e 1 . j p g
F i g u r e
4 . 1 + : s p e c t r e d e A
, . : s p e c t r e d e Hm , * : s p e c t r e d e H
7/29/2019 78059740 Memoir de Fin d Etude4
45/58
C o n c l u s i o n
D a n s c e t r a v a i l , o n a p r s e n t u n a l g o r i t h m e b a s s u r l e p r o c e s s u s d ' A r -
n o l d i p o u r l a r s o l u t i o n d e l ' q u a t i o n d e S y l v e s t e r , d a n s l e c a s d e s m a t r i c e s
c r e u s e e t l a r g e , t o u t e n s u p p o s a n t q u e l e s e c o n d m e m b r e e s t u n e m a t r i c e d e
r a n g 1 .
L e f a i t q u e l e s e c o n d m e m b r e d e l ' q u a t i o n d e S y l v e s t e r e s t d e r a n g 1
a p e r m i s d e f a i r e l ' a n a l o g i e a v e c l e p r o c e s s u s d ' A r n o l d i . C h o s e q u i a d o n n
l ' i d e d ' u t i l i s e r c e p r o c e s s u s p o u r t r o u v e r l a s o l u t i o n .
L a m a t r i c e d e H e s s e n b e r g u e s u p r i e u r e d o n n e p a r l e p r o c e s s u s d ' A r n o l d i
n ' e s t p a s t o u j o u r s s t a b l e e t n e v r i e p a s f o r c e m e n t l a c o n d i t i o n d ' e x i s t e n c e
e t d ' u n i c i t d e l a s o l u t i o n , d o n c o n a f a i t u n p l a c e m e n t d e p l e s s u r c e l l e - c i
p o u r r e m d i e r c e p r o b l m e .
O n a a u s s i s o u l i g n q u e l e c h o i x d e l ' e n s e m b l e d e p l e s p e u t f a u s s e r l a
s o l u t i o n s ' i l n ' e s t p a s f a i t d e m a n i r e a d q u a t e c a r s i u n p l e e s t p r o c h e
d ' u n e v a l e u r p r o p r e d e l a m a t r i c e A
l e s y s t m e q u i l u i e s t a s s o c i e s t m a l
c o n d i t i o n n , c e q u i f a u s s e l e s r s u l t a t s p a r l a s u i t e .
O n p e u t e x p l o i t e r l e f a i t q u e l e s p e c t r e , d a n s p l u s i e u r s s i t u a t i o n s e n p r a -
t i q u e s , e s t d o n n p a r u n e f o r m u l e a n a l y t i q u e p o u r c h o i s i r u n e n s e m b l e d e
p l e s a d q u a t . E n c a s d ' a b s e n c e d ' u n e t e l l e f o r m u l e , l ' u t i l i s a t i o n d e s e s t i -
m a t i o n s d e l a p l u s g r a n d e e t l a p l u s p e t i t e v a l e u r p r o p r e d e l a m a t r i c e e n
q u e s t i o n e s t t o u j o u r s p o s s i b l e .
L a g n r a l i s a t i o n d e c e t r a v a i l a u c a s o l a m a t r i c e C
e s t d e r a n g r
q u e l c o n q u e r e s t e p o s s i b l e . O n s u i v r a l e m m e s c h m a , s a u f q u e d a n s c e c a s
o n s e b a s e r a s u r l e p r o c e s s u s d ' A r n o l d i p a r b l o c s e t l a m t h o d e d u G M R E S
p a r b l o c s .
3 9
7/29/2019 78059740 Memoir de Fin d Etude4
46/58
4 0 C O N C L U S I O N
7/29/2019 78059740 Memoir de Fin d Etude4
47/58
R s u m
A n d e r s o u d r e l ' e q u a t i o n d e S y l v e s t e r d o n n p a r AX XH = C
o l a
m a t r i c e
Ce s t d e r a n g 1 ; o n p a r t d e l ' a n a l o g i e d o n n e p a r c e t t e d e r n i r e a v e c
l e p r o c e s s u s d ' A r n o l d i ; c e q u i d o n n e l ' i d e d e c h e r c h e r u n p r e m i e r v e c t e u r
q u i d o n n e r a ceTm a u s e o n d m e m b r e . A i n s i o n e x p l o i t e , d ' u n e p a r t , l e f a i t q u e
l e s v e c t e u r s d e l a b a s e d ' A r n o l d i s o n t d o n n s p a r vi = qi1(A)v1 e t d ' a u t r e s
p a r t l e f a i t q u e l e p o l y n m e qi e s t a u s s i l e p o l y n m e s c a r a c t r i s t i q u e d e l a
m a t r i c e Hi , c e q u i a c o n d u i t r s o u d r e m s y s t m e s l i n a i r e s p a r l a m t h o d e
d u G M R E S ; l o n e x p l o i t e l e f a i t q u e l a m a t r i c e f o r m p a r l e s v e c t e u r s d e l a
b a s e d ' A r n o l d i e s t l a m m e p o u r A
e tA I
( o R
) . L a s o l u t i o n d e s m
s y s t m e s l i n a i r e s s e r v i r a d m a r r e r l e p r o c e s s u s d ' A r n o l d i p o u r c a l c u l e r l e s
m a t r i c e s
Vm e t Hm , p u i s o n f a i t u n p l a c e m e n t d e p l e s s u r l a m a t r i c e Hm e ns e b a s a n t s u r l e s r s u l t a t s r e l a t i f s c e s u j e t s . A p r s , o n a d a p t e l a m a t r i c e
Vme n u t i l i s a n t u n s c a l a i r e o b t e n u e n u t i l i s a n t l a d e r n i r e c o l o n n e d e
AVmVmHe t l e v e c t e u r
cp o u r d o n n e r e n n l a s o l u t i o n d e l ' q u a t i o n d e S y l v e s t e r .
4 1
7/29/2019 78059740 Memoir de Fin d Etude4
48/58
4 2 R S U M
7/29/2019 78059740 Memoir de Fin d Etude4
49/58
A l g o r i t h m e s s o u s M a t l a b
A l g o r i t h m e d u p r o c e s s u s d ' A r n o l d i
f u n c t i o n [ H , V , H t ] = A r n o l d i ( A , v , e p s i l o n , k )
% d o n n e s : m a t r i c e s A ; v e c t e u r v , r e l p o s i t i f e p s i l o n
% o b j e c t i f : m a t r i c e s H , V e t H t
% k = l e n g t h ( v ) ;
V = [ ] ;
V ( : , 1 ) = v ;
H = [ ] ;
H t = [ ] ;
f o r j = 1 : k
w = A * V ( : , j ) ;
f o r i = 1 : j
H t ( i , j ) = w ' * ( V ( : , i ) ) ;
w = w - H t ( i , j ) * V ( : , i ) ;
e n d
H t ( j + 1 , j ) = n o r m ( w ) ;
i f ( H t ( j + 1 , j ) < = e p s i l o n )
b r e a k ;
e n d
V ( : , j + 1 ) = w / H t ( j + 1 , j ) ;
e n d
f o r i = 1 : s i z e ( H t , 1 ) - 1
H ( i , : ) = H t ( i , : ) ;
e n d
e n d
A l g o r i t h m e d e l a m t h o d e d u G M R E S
f u n c t i o n [ x , r e s , f l o , t e m ] = g m r e s ( A , b , x 0 , i t e m a x , a e p s )
% x ( m ) = x ( 0 ) + [ v ( 1 ) v ( 2 ) . . . v ( m ) ] * y
v = z e r o s ( s i z e ( A ) ) ;
h = v ;
g = z e r o s ( s i z e ( b ) ) ;
4 3
7/29/2019 78059740 Memoir de Fin d Etude4
50/58
4 4 A L G O R I T H M E S S O U S M A T L A B
y = g ;
c = g ;
s = g ;
x = x 0 ;
f l o = 0 ;
t e m = 0 ;
v ( : , 1 ) = b - A * x ;
n r = n o r m ( v ( : , 1 ) ) ;
r e s = l o g 1 0 ( n r ) ;
v ( : , 1 ) = v ( : , 1 ) / n r ;
g ( 1 ) = n r ;
f l o 1 = 0 ;
t e m 1 = 0 ;
i = 1 ;
w h i l e i < i t e m a x
i f n r < a e p s
b r e a k
e n d
f l o p s ( 0 ) ;
t e m 2 = c p u t i m e ;
w = A * v ( : , i ) ;
f o r j = 1 : i
h ( j , i ) = w ' * v ( : , j ) ;
w = w - h ( j , i ) * v ( : , j ) ;
e n d
h ( i + 1 , i ) = n o r m ( w ) ;
v ( : , i + 1 ) = w / h ( i + 1 , i ) ;
i f i > 1
f o r j = 1 : i - 1
t a = h ( j , i ) ;
h ( j , i ) = c ( j ) * t a + s ( j ) * h ( j + 1 , i ) ;
h ( j + 1 , i ) = - s ( j ) * t a + c ( j ) * h ( j + 1 , i ) ;
e n d
e n d
g a m = s q r t ( h ( i , i ) . ^ 2 + h ( i + 1 , i ) . ^ 2 ) ;
c ( i ) = h ( i , i ) / g a m ;
s ( i ) = h ( i + 1 , i ) / g a m ;
g ( i + 1 ) = - s ( i ) * g ( i ) ;
g ( i ) = c ( i ) * g ( i ) ;
h ( i , i ) = c ( i ) * h ( i , i ) + s ( i ) * h ( i + 1 , i ) ;
n r = a b s ( g ( i + 1 ) ) ;
7/29/2019 78059740 Memoir de Fin d Etude4
51/58
4 5
r e s 1 = l o g 1 0 ( n r ) ;
r e s = [ r e s r e s 1 ] ;
y ( i ) = g ( i ) / h ( i , i ) ;
f o r j = i - 1 : - 1 : 1
w = g ( j ) ;
f o r k = j + 1 : i
w = w - h ( j , k ) * y ( k ) ;
e n d
y ( j ) = w / h ( j , j ) ;
e n d
x = x 0 + v ( : , 1 : i ) * y ( 1 : i ) ;
f l o 1 = f l o 1 + f l o p s ;
f l o = [ f l o f l o 1 ] ;
t e m 2 = c p u t i m e - t e m 2 ;
t e m 1 = t e m 1 + t e m 2 ;
t e m = [ t e m t e m 1 ] ;
i = i + 1 ;
e n d
P r o c d u r e p o u r t r o u v e r l e v e c t e u r v1 :
f u n c t i o n [ x ] = t r o u v e r v 1 3 ( A , c , a e p s , l , m u )
m = l e n g t h ( m u ) ;
v = c / n o r m ( c ) ;
n = s i z e ( A , 1 ) ;
I = e y e ( l + 1 , l ) ;
J = e y e ( n ) ;
z = z e r o s ( n , m ) ;
x = z e r o s ( n , 1 ) ;
a = z e r o s ( m , 1 ) ;
[ H , V , H t ] = A r n o l d i 2 ( A , v , a e p s , l ) ;
V 1 = V ( : , 1 : l ) ;
f o r i = 1 : m
% c a l c u l d e s n o m b r e s d r i v s e n m u _ i
a ( i ) = 1 ;
f o r j = 1 : m
i f j ~ = i
a ( i ) = a ( i ) * ( m u ( i ) - m u ( j ) ) ;
e n d
e n d
% c a l c u l d e H t - m u _ i
G = H t - m u ( i ) * I ;
% c a l c u l d e l a s o l u t i o n d e ( A - m u _ i ) x _ i = c
7/29/2019 78059740 Memoir de Fin d Etude4
52/58
4 6 A L G O R I T H M E S S O U S M A T L A B
[ G , y ] = r o t g i v e n s p o u r g m r e s ( G , c ) ;
z ( : , i ) = V 1 * y ;
% t e s t d ' a r r t s u r l a n o r m e | | A x _ i - c | |
r = n o r m ( ( A - m u ( i ) * J ) * z ( : , i ) - c ) ;
% s i l a n o r m e d u r s i d u e s t i n f e r i e u r l a p r c i s i o n c h o i s i e
% p u i s o n r e p r e n d s a v e c u n e n t i e r l p l u s g r a n d
i f r > = a e p s
d i s p ( ' c h o i s i r l p l u s g r a n d ' ) ;
e n d
% a u t r e m e n t o n c a l c u l e x
y = z ( : , i ) / a ( i ) ;
x = x + y ;
e n d
% o n n o r m e l e v e c t e u r x
x = x / n o r m ( x ) ;
e n d
L a p r o c d u r e " [ G , y ] = r o t g i v e n s p o u r g m r e s ( G , c ) " u t i l i s e d a n s l a p r o c d u r e
p r c d e n t e