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é ...
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