Radi espectral

Si A {\displaystyle A} és un endomorfisme sobre un espai de Banach complex E {\displaystyle E} , hom anomena radi espectral de A {\displaystyle A} , denotat ρ ( A ) {\displaystyle \rho (A)} , el radi de la bola tancada més petita de centre 0 que conté tots els valors espectrals de A {\displaystyle A} . Sempre té un valor inferior o igual a la norma operacional de A {\displaystyle A} .

En dimensió finita, per un endomorfisme amb valors propis complexes λ 1 , λ 2 , . . . , λ n {\displaystyle \lambda _{1},\lambda _{2},...,\lambda _{n}} , el radi espectral és igual a max i | λ i | {\displaystyle \max _{i}{\left|\lambda _{i}\right|}} .

En conseqüència, per a tota norma matricial N, és a dir, per a tota àlgebra normada sobre M n ( R ) {\displaystyle M_{n}(\mathbb {R} )} (respectivament M n ( C ) {\displaystyle M_{n}(\mathbb {C} )} ) i per a tota matriu A de M n ( R ) {\displaystyle M_{n}(\mathbb {R} )} (respectivament M n ( C ) {\displaystyle M_{n}(\mathbb {C} )} ), es té que ρ ( A ) N ( A ) {\displaystyle \rho (A)\leq N(A)} .

Demostració
Sigui λ {\displaystyle \lambda } un valor propi de A {\displaystyle A} , i sigui x {\displaystyle x} un valor propi associat a λ {\displaystyle \lambda } . Denotem per B {\displaystyle B} la matriu quadrada on la primera columna és x {\displaystyle x} i les altres columnes són nul·les. Tenim que A B = λ B {\displaystyle AB=\lambda B} ; per tant, | λ | N ( B ) = N ( A B ) N ( A ) N ( B ) {\displaystyle |\lambda |N(B)=N(AB)\leq N(A)N(B)} . Aquesta expressió la podem simplificar per N ( B ) {\displaystyle N(B)} , ja que el vector x {\displaystyle x} és no nul.

A més, hem demostrat que ρ ( A ) = inf N ( A ) {\displaystyle \rho (A)=\inf N(A)} , la fita inferior presa sobre el conjunt de les normes subordinades, i d'aquí també sobre les àlgebres normades.

El teorema de Gelfand ens diu que el radi espectral ρ ( A ) {\displaystyle \rho (A)} d'un endomorfisme A {\displaystyle A} ve donat per la fórmula

ρ ( A ) = lim + A n 1 / n {\displaystyle \rho (A)=\lim _{+\infty }\|A^{n}\|^{1/n}} .

Per un operador normal (en particular per un operador autoadjunt) sobre un espai de Hilbert H, el radi espectral és igual a la norma operacional. D'aquí, hom dedueix que per tot operador A sobre H, A 2 = ρ ( A A ) {\displaystyle \|A\|^{2}=\rho (A^{*}A)} .

El radi espectral pot ser estrictament inferior a la norma operacional. Per exemple, la matriu M = ( 0 1 0 0 ) {\displaystyle M={\begin{pmatrix}0&1\\0&0\end{pmatrix}}} té un radi espectral 0, però M 0 {\displaystyle M\neq 0} , d'on M > 0 = ρ ( M ) {\displaystyle \|M\|>0=\rho (M)} (més precisament, M = 1 {\displaystyle \|M\|=1} perquè es té M 2 = t M   M = ρ ( t M   M ) = 1 {\displaystyle \|M\|^{2}=\|^{\operatorname {t} }M\ M\|=\rho (^{\operatorname {t} }M\ M)=1} ).

Bibliografia

  • Lax, Peter D. Functional Analysis. Wiley-Interscience, 2002. ISBN 0-471-55604-1.  (anglès)

Vegeu també

  • Espectre (anàlisi funcional)