10.01.2015 Views

TH`ESE DE DOCTORAT DE L'UNIVERSITÉ PARIS 6 Spécialité ...

TH`ESE DE DOCTORAT DE L'UNIVERSITÉ PARIS 6 Spécialité ...

TH`ESE DE DOCTORAT DE L'UNIVERSITÉ PARIS 6 Spécialité ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

5.2 Notations et résultats préliminaires 85<br />

MTBT matrices d’ordre (n 1 ,n 2 ,...,n P ) est un espace vectoriel de dimension (2n P − 1)...(2n 1 − 1), dont<br />

la base naturelle est donnée par les matrices [44]<br />

J m 1<br />

n P<br />

⊗ ... ⊗ J m k<br />

n P −k+1<br />

⊗ ... ⊗ J m P<br />

n 1<br />

où J m k<br />

n P −k+1<br />

représente la matrice de dimension n P −k+1 × n P −k+1 dont les éléments (i,j) sont égaux à 1<br />

si j − i = m k . La matrice MTBT A n P<br />

peut alors s’écrire de façon unique sous la forme<br />

A n P<br />

=<br />

n∑<br />

P −1<br />

m 1 =−n P +1<br />

...<br />

n∑<br />

1 −1<br />

m P =−n 1 +1<br />

a m1 ,...,m P<br />

J m 1<br />

n P<br />

⊗ ... ⊗ J m k<br />

n P −k+1<br />

⊗ ... ⊗ J m P<br />

n 1<br />

.<br />

L’approche choisie dans cette annexe consiste à relier les valeurs propres généralisées de matrices MTBT<br />

à celles des matrices MCBC ayant une structure plus simple. On formalise maintenant l’écriture de ces<br />

dernières matrices.<br />

Définition 2 (MCBC matrix) :<br />

Etant donné un vecteur d’index n P = (n 1 ,n 2 ,...,n P ), une matrice P-MCBC se définit récursivement<br />

comme une matrice P-MTBT, en remplaçant les blocs de Toeplitz par des blocs circulants.<br />

Ces matrices MCBC ont une décomposition en éléments propres qui étend celle des matrices circulantes.<br />

La décomposition en éléments propres démontrée dans [67, Th. 5.84] pour le cas de matrices circulantes<br />

de niveau 3 s’étend facilement à des matrices circulantes de niveau quelconque P. Plus précisément<br />

une matrice MCBC de dimension n 1 n 2 ...n P × n 1 n 2 ...n P C n P<br />

est diagonalisable par la matrice unitaire<br />

U nP = U nP ⊗ ... ⊗ U n1 (5.1)<br />

où (U np ) p=1...P sont les matrices de transformée de Fourier discrète unitaires (TFD) de dimension n p ×n p ,<br />

de termes (U np ) k,l = √ 1 (k−1)(l−1)<br />

−j2π<br />

np<br />

e<br />

np<br />

et dont les valeurs propres sont les TFD P-dimensionnelles de sa<br />

première ligne<br />

λ k1 ,...,k P<br />

=<br />

n∑<br />

1 −1<br />

n∑<br />

2 −1<br />

m 1 =0 m 2 =0<br />

...<br />

n∑<br />

P −1<br />

m P =0<br />

On définit maintenant l’équivalence asymptotique multi-niveaux.<br />

c m1 ,...,m p<br />

e −j2π “ m1 k 1<br />

n 1<br />

+ m 2 k 2<br />

n 2<br />

+...+ m P k P<br />

n P<br />

”.<br />

Définition 3 (Equivalence Asymptotique Multi-niveaux) :<br />

Soit {A n P<br />

} et {B n P<br />

} des séquences matricielles de dimension n 1 n 2 ...n P × n 1 n 2 ...n P . Ces matrices<br />

sont dites asymptotiquement équivalentes multi-niveaux, ce qui se note A n P<br />

∼ B n P<br />

lorsque les conditions<br />

suivantes sont vérifiées :<br />

– ‖A n P<br />

‖ ≤ M < ∞<br />

– ‖B n P<br />

‖ ≤ M < ∞<br />

– lim n1 ,n 2 ,...,n P →∞ |A n P<br />

− B n P<br />

| = 0<br />

où ‖.‖ est la norme spectrale et |.| est la norme de Frobenius normalisée définie par<br />

|A n P<br />

| 2 =<br />

1 ∑n 1<br />

n 1 n 2 ...n P<br />

∑n 2<br />

m 1 =1 m 2 =1<br />

...<br />

n P ∑<br />

m P =1<br />

|a m1 ,m 2 ,...,m P<br />

| 2 .<br />

Ensuite, on montre le lemme suivant sur la distribution asymptotique des valeurs propres de matrices<br />

asymptotiquement équivalentes multi-niveaux.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!