# Inégalités de Weyl

En mathématiques, deux résultats sont connus sous le nom d'inégalité de Weyl. Le premier concerne le domaine de la théorie des nombres tandis que le second est un résultat sur le spectre de matrices hermitiennes perturbées.

## Inégalité de Weyl en théorie des nombres

Nommée d'après le mathématicien Hermann Weyl, l'inégalité de Weyl-van der Corput, en théorie des nombres, affirme que :
Inégalité de Weyl-van der Corput — Pour tous entiers $N\geq 1$ et $Q\geq 1$ et toute suite complexe $\{z_{n}\}_{n=1}^{N}$, on a :
$\left|\sum _{n=1}^{N}z_{n}\right|^{2}\leq \left(1+{\frac {N-1}{Q}}\right)\sum _{|q|\leq Q}\left(1+{\frac {|q|}{Q}}\right)\sum _{1\leq n,n+q\leq N}z_{n+q}{\bar {z_{n}}}$
En particulier, dans le cas d'une somme exponentielle :
Inégalité de Weyl — Si $p$ et $q$ sont des entiers avec $p$ et $q$ premiers entre eux et $q>0$, et si $f$ est une fonction polynomiale de degré $k$ à coefficients réels dont le coefficient dominant $a$ satisfait :
$\left|a-{\frac {p}{q}}\right|\leq tq^{-2}$
$t\geq 1$
Alors, pour tout nombre réel strictement positif $\epsilon >0$, pour tout entier $M$ ,
$\sum _{x=M}^{M+N}\exp(2\pi if(x))=O\left(N^{1+\epsilon }\left({\frac {t}{q}}+{\frac {1}{N}}+{\frac {t}{N^{k-1}}}+{\frac {q}{N^{k}}}\right)^{2^{1-k}}\right)$
$N\in \mathbb {N}$
Cette inégalité n'est intéressante que lorsque $q<N^{k}$. Pour les autres cas, l'estimation du module de la somme exponentielle en utilisant l'inégalité triangulaire donne une meilleure borne.

## Inégalité de Weyl sur les matrices

En algèbre linéaire, l'inégalité de Weyl est un résultat qui porte sur les valeurs propres d'une matrice hermitienne perturbée.
Soit $E$ un $\mathbb {K}$ espace vectoriel ($\mathbb {K} =\mathbb {R}$ ou $\mathbb {C}$) de dimension $n$. Si $M$ est une matrice symétrique (ou hermitienne), on note $\lambda _{1}(M)\leq \cdots \leq \lambda _{n}(M)$ ses valeurs propres. On note $E_{k}$ l’ensemble des sous-espaces vectoriels de dimension $k$ de $E$. On note $S$ la sphère unité de $E$ pour la norme euclidienne.
On a alors les formules suivantes :
$\lambda _{k}(M)=\min \limits _{F\in E_{k}}\max \limits _{x\in F\cap S}x^{*}Mx=\max \limits _{F\in E_{n-k+1}}\min \limits _{x\in F\cap S}x^{*}Mx$
La matrice $P$ représente la perturbation qui s'ajoute à la matrice $M$. Il s'agit d'une matrice de même dimension que $M$.
Inégalité de Weyl — Si $M$ et $P$ sont hermitiennes, on en déduit les inégalités de Weyl ;
$\lambda _{i}(M)+\lambda _{j}(P)\geq \lambda _{k}(M+P)$
$i+j=n+k$
$\lambda _{i}(M)+\lambda _{j}(P)\leq \lambda _{k}(M+P)$
$i+j=1+k$
On remarque qu'on peut ordonner les valeurs propres car les matrices sont hermitiennes et donc leurs valeurs propres sont réelles.
En particulier, si $P$ est définie positive, i.e. si toutes ses valeurs propres sont strictement positives, on a alors :
$\lambda _{k}(M+P)>\lambda _{k}(M)~~~~\forall k=1,...,n$
Inégalité de Weyl - entre valeurs propres et valeurs singulières — Soit $M$ une matrice de taille $n\times n$ à coefficients dans $\mathbb {C}$ dont les valeurs singulières sont ordonnées comme suit : $\sigma _{1}(M)\geq \cdots \geq \sigma _{n}(M)\geq 0$ et les valeurs propres ainsi $|\lambda _{1}(M)|\geq \cdots \geq |\lambda _{n}(M)|$. Alors
$|\lambda _{1}(M)\cdots \lambda _{k}(M)|\leq \sigma _{1}(M)\cdots \sigma _{k}(M)$
pour tout $k\in {1,\dots ,n}$ et il y a égalité lorsque $k=n$.

## Applications
### Application lipschitzienne

L'application $M\mapsto \lambda _{k}(M)$, qui à toute matrice hermitienne associe une valeur propre, est 1-lipschitzienne.

### Estimation de la perturbation du spectre

Supposons que la matrice $P$ soit bornée, au sens où l'on sait que sa norme spectrale (ou toute autre norme matricielle, toutes les normes étant équivalentes en dimension finie) satisfait $\|P\|_{2}\leq \epsilon$. Alors, il en découle que toutes ses valeurs propres, $\lambda _{1}(P),\dots ,\lambda _{n}(P)$ sont bornées en valeur absolue par $\epsilon$.
En appliquant l'inégalité de Weyl, le spectre de $M+P$ et celui de $M$ sont proches au sens où
    $|\lambda _{k}(M)-\lambda _{k}(M+P)|\leq \epsilon \qquad \forall k=1,\ldots ,n.$

### Inégalité de Weyl pour les valeurs singulières

Les valeurs singulières $\{\sigma _{k}\}$ d'une matrice carrée $M$ sont les racines carrées des valeurs propres de la matrice $M^{*}M$ (ou de manière équivalente $MM^{*}$ dans le cas $M$ matrice carrée).
Comme les matrices hermitiennes suivent l'inégalité de Weyl, si on prend une matrice $A$ quelconque, alors ses valeurs singulières sont les racines carrées des valeurs propres de la matrice $A^{*}A$, qui est une matrice hermitienne. Ainsi, l'inégalité de Weyl s'applique à la matrice $A^{*}A$ et découle donc pour les valeurs singulières de $A$.
Ce résultat donne une borne de la perturbation des valeurs singulières d'une matrice $A$ après une perturbation de la matrice $A$ elle-même.