Rayon spectral

Cet article est une ébauche concernant l’algèbre.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Consultez la liste des tâches à accomplir en page de discussion.

Soit A {\displaystyle A} un endomorphisme sur un espace de Banach complexe E {\displaystyle E} , on appelle rayon spectral de A {\displaystyle A} , et on note ρ ( A ) {\displaystyle \rho (A)} , le rayon de la plus petite boule fermée de centre 0 contenant toutes les valeurs spectrales de A {\displaystyle A} . Il est toujours inférieur ou égal à la norme d'opérateur de A {\displaystyle A} .

En dimension finie, pour un endomorphisme de valeurs propres complexes λ 1 , λ 2 , . . . , λ n {\displaystyle \lambda _{1},\lambda _{2},...,\lambda _{n}} , le rayon spectral est égal à max i | λ i | {\displaystyle \max _{i}{\left|\lambda _{i}\right|}} .

Par conséquent, pour toute norme matricielle N, c'est-à-dire toute norme d'algèbre sur M n ( R ) {\displaystyle M_{n}(\mathbb {R} )} (respectivement M n ( C ) {\displaystyle M_{n}(\mathbb {C} )} ) et pour toute matrice A dans M n ( R ) {\displaystyle M_{n}(\mathbb {R} )} (respectivement M n ( C ) {\displaystyle M_{n}(\mathbb {C} )} ), ρ ( A ) N ( A ) {\displaystyle \rho (A)\leq N(A)} .

Démonstration

Soit λ {\displaystyle \lambda } une valeur propre de A {\displaystyle A} et X {\displaystyle X} un vecteur propre associé. Notons B {\displaystyle B} la matrice carrée dont la première colonne est X {\displaystyle X} et les autres sont nulles. On a A B = λ B {\displaystyle AB=\lambda B} donc | λ | N ( B ) = N ( A B ) N ( A ) N ( B ) {\displaystyle |\lambda |N(B)=N(AB)\leq N(A)N(B)} et l'on peut simplifier par N ( B ) {\displaystyle N(B)} car le vecteur X {\displaystyle X} étant non nul, il en est de même de la matrice B {\displaystyle B} .

De plus, on montre que ρ ( A ) = inf N ( A ) {\displaystyle \rho (A)=\inf N(A)} , la borne inférieure étant prise sur l'ensemble des normes subordonnées donc a fortiori sur l'ensemble des normes d'algèbre.

Le théorème de Gelfand nous dit que le rayon spectral ρ ( A ) {\displaystyle \rho (A)} d'un endomorphisme A {\displaystyle A} est donné par la formule ρ ( A ) = lim + A n 1 / n {\displaystyle \rho (A)=\lim _{+\infty }\|A^{n}\|^{1/n}} .

Pour un opérateur normal (en particulier pour un opérateur autoadjoint) sur un espace de Hilbert H, le rayon spectral est égal à la norme d'opérateur. On en déduit que pour tout opérateur A sur H, A 2 = ρ ( A A ) {\displaystyle \|A\|^{2}=\rho (A^{*}A)} .

Le rayon spectral peut donc être strictement inférieur à la norme d'opérateur. Par exemple la matrice M = ( 0 1 0 0 ) {\displaystyle M={\begin{pmatrix}0&1\\0&0\end{pmatrix}}} a un rayon spectral 0, mais M 0 {\displaystyle M\neq 0} donc M > 0 = ρ ( M ) {\displaystyle \|M\|>0=\rho (M)} (plus précisément, M = 1 {\displaystyle \|M\|=1} car nous avons M 2 = t M   M = ρ ( t M   M ) = 1 {\displaystyle \|M\|^{2}=\|^{\operatorname {t} }M\ M\|=\rho (^{\operatorname {t} }M\ M)=1} ).

Article connexe

Spectre d'un opérateur linéaire

  • icône décorative Portail des mathématiques