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.

154 Preuve de Théorème 2<br />

Par conséquent, λ(C m (b)) ≥ m b > 0, C m (b) est non singulière et vérifie également ∥ C<br />

−1<br />

m (b)∥ ∥ ≤<br />

1<br />

m b<br />

et la<br />

condition de l’équivalence asymptotique est vérifiée.<br />

Finalement, utilisant, ∣ B<br />

−1<br />

m,n − C −1<br />

m (b) ∣ ∣ = ∣C −1<br />

m (b)C m (b)B −1<br />

m,n − C −1<br />

m (b)B m,n B −1 ∣<br />

m,n avec [47, Lemma<br />

3], on obtient :<br />

∣ B<br />

−1<br />

m,n − C−1 m (b)∣ ∣ ≤<br />

∥ ∥C −1<br />

m (b)∥ ∥ ∥ ∥ B<br />

−1<br />

m,n<br />

∥ |Cm (b) − B m,n |<br />

prouvant que lim m→∞<br />

∣ ∣B −1<br />

m,n − C −1<br />

m (b) ∣ ∣ = 0 ce qui vérifie la condition 2 de l’équivalence asymptotique.<br />

Lemme 4<br />

et<br />

Comme pour la norme spectrale<br />

∥ B<br />

−1<br />

m,nA m,n<br />

∥ ∥ ≤<br />

∥ ∥B −1<br />

m,n<br />

∥ ‖Am,n ‖<br />

∥ C<br />

−1<br />

n (b)C n (a) ∥ ∥ ≤<br />

∥ ∥C −1<br />

n (b) ∥ ∥ ‖Cn (a)‖ ,<br />

la condition 1 de l’équivalence asymptotique est vérifiée à partir des lemmes 1 et 3. Alors, à partir<br />

de [47, Lemma 3], on a<br />

∥ B<br />

−1<br />

m,nA m,n − C −1<br />

m (b)C m (a) ∥ ∥ = ∥B −1<br />

m,nA m,n − B −1<br />

m,nC m (a) + B −1<br />

m,nC m (a) − C −1<br />

m (b)C m (a) ∥ ≤<br />

∥ B<br />

−1 ∥ |Am,n − C m (a)| + ‖C m (a)‖ ∣ B<br />

−1<br />

m,n − C −1<br />

m (b) ∣ m,n<br />

et en utilisant les lemmes 2 et 3, la condition 2 de l’équivalence asymptotique est satisfaite.<br />

Théorème 2<br />

Utilisant B −1<br />

m,n A m,n ∼ C −1<br />

m (b)C m(a) donné par le lemme 4 et la propriété sur leurs valeurs propres<br />

associées donnée par [47, Corollary 1, p.174], nous avons<br />

∀s ∈ N ∗<br />

lim<br />

m→∞<br />

1<br />

m<br />

nm∑<br />

k=1<br />

[<br />

λ<br />

s<br />

k (B −1<br />

m,n A m,n) − λ s k (C−1 m (b)C m(a)) ] = 0.<br />

(C.1)<br />

Utilisant le fait que les matrices C m (a) et C m (b) sont semblables à ∆ m (a) et ∆ m (b) avec la même matrice<br />

unitaire U m,n donnée par le lemme 1, nous avons<br />

nm∑<br />

k=1<br />

λ s k (C−1 m (b)C m (a)) =<br />

nm∑<br />

k=1<br />

λ s k (∆−1 m (b)∆ m (a)).<br />

(C.2)<br />

Ecrivant les matrices ∆ m (a) et ∆ m (b) définies dans le lemme 1 sous la forme :<br />

∆ m (a) = ∑ ( )<br />

m<br />

k=1 A 2π(k−1)<br />

m<br />

⊗ E k<br />

∆ m (b) = ∑ ( )<br />

m<br />

k=1 B 2π(k−1)<br />

m<br />

⊗ E k<br />

avec E k la matrice creuse de dimension m × m dont les éléments sont nuls sauf (E k ) k,k = 1, on obtient<br />

directement :<br />

m ∆ −1<br />

m (b) = ∑<br />

( ) 2π(k − 1)<br />

B −1 ⊗ E k<br />

m<br />

k=1

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

Saved successfully!

Ooh no, something went wrong!