The spectral radius of normal operator

4,687

Solution 1

Recall Gelfand's formula for the spectral radius of a bounded operator $T$: $$r(T) = \lim_{n\to\infty} \|T^n\|^{\frac1n}. $$ If $T$ is a self-adjoint operator and $\|f\|=1$ then $$\|Tf\|^2 = \langle Tf, Tf\rangle = \langle T^2f, f\rangle\leqslant\|T^2f\|\|f\|=\|T^2f\| $$ which implies $\|T^2\|=\|T\|^2$. By induction it follows that $\|T^{2^n}\|=\|T\|^{2^n}$ for all $n$ and hence $$r(T) = \lim_{n\to\infty} \|T^{2^n}\|^{\frac1{2^n}} = \lim_{n\to\infty}\|T\|=\|T\|. $$ If $T$ is normal, then by induction $\|(T^*T)^n\|=\|T^n\|^2$, and as $T^*T$ is self-adjoint, $$r(T^*T)=r(T)^2=\|T\|^2,$$ from which we conclude that the spectral radius of a normal operator is equal to its operator norm.

Solution 2

Let $E$ be the unique spectral decomposition of $T$. Then, there exists a isometric isomorphism $\phi :L^{\infty}(E)\mapsto B(H)$ such that $\phi$ maps the identity function to $T$ where $B(H)$ is the dual of $H$ ($L^{\infty}(E)$ is a Banach algebra of bounded Borel functions on $\sigma(T))$ with the sup norm). Let $I:\sigma(T)\mapsto \mathbb{C}$ be the identity map on the spectrum of $T$. Then, since $I\in L^{\infty}(E)$ (Since $\sigma(T)$ is compact in $\mathbb{C}$), it follows that \begin{align*} \rho(T):=sup\left\{\lambda\in \mathbb{C}|\lambda\in \sigma(T)\right\}=&\rVert I\rVert_{L^{\infty}(E)}\\ =&\rVert \phi(I)\rVert_{B(H)} \quad \text{ $\because$ $\phi$ is an isometry}\\ =&\rVert T\rVert_{B(H)} \quad \text{ $\because$ $\phi$ maps identity to $T$} \end{align*}

Share:
4,687
Worawit Tepsan
Author by

Worawit Tepsan

I study Mathematics.

Updated on August 01, 2022

Comments

  • Worawit Tepsan
    Worawit Tepsan over 1 year

    Let $H$ be a Hilbert space and $T$ be linear bounded operator in $H$. Prove that if $T$ is normal then the spectral radius of $T$,

    $$r(T)=\|T\|.$$

    Is this TRUE?

    • copper.hat
      copper.hat almost 9 years
      Yes. ${}{}{}{}{}$
    • Worawit Tepsan
      Worawit Tepsan almost 9 years
      @copper.hat Could you give me hints to prove this?
    • copper.hat
      copper.hat almost 9 years
  • Trần Linh
    Trần Linh over 5 years
    I am confusing a little bit in your prove. How can we claim that $r \left( T^*T \right) = r (T)^2?$
  • Martin Argerami
    Martin Argerami almost 5 years
    @TrầnLinh: you have $$ r(t)^2=\lim_n\|T^n\|^{2/n}=\lim_n\|T^{*n}T^n\|^{1/n}=\lim_n\|(T^*T)^n\|^{1/n}=r(T^*T).$$