# Norm of the Resolvent

Let $\mathbb{H}$ be a Hilbert space, $A$ a self-adjoint operator with domain $D_{A}$, $R_{A}$ the resolvent of $A$, and $z$ a point in the resolvent set $\rho(A)$. How could you prove the inequality \begin{equation} ||R_{A}(z)|| \leq 1/ d(z,\sigma(A)), \end{equation} where $\sigma(A)$ is the spectrum of $A$, and $d(z,\sigma(A))$ the distance of $z$ from $\sigma(A)$? I found this inequality in Hoslip & Sigal, Introduction to Spectral Theory, Sect 5.2, where they reference Reed and Simon, Methods of Modern Mathematical Physics, vol. I, but I could not find a proof in that book. Thank you very much in advance.

PS I just note here that since for any closed operator \begin{equation} ||R_{A}(z)|| \geq 1/ d(z,\sigma(A)), \end{equation} (just note that all the point $w$ such that $|z-w| < ||R_{A}(z)||$ belong to $\rho(A)$), the above inequality must actually hold with equality.

For a bounded normal operator $N$, the norm and spectral radius of $N$ are the same. That is, $\|N\|=\sup_{\lambda\in\sigma(N)}|\lambda|$.
Let $\lambda \notin \sigma(A)$. Assume $A$ is unbounded. Then $(A-\lambda I)^{-1}$ is bounded and normal, with $$\sigma((A-\lambda I)^{-1})=\frac{1}{\sigma(A)-\lambda}\cup\{0\}=\left\{ \frac{1}{\mu-\lambda} : \mu\in\sigma(A) \right\}\cup\{0\}.$$ Therefore, $$\|(A-\lambda I)^{-1}\|=\sup_{\xi\in\sigma((A-\lambda I)^{-1})}|\xi| = \sup_{\mu\in\sigma(A)}\frac{1}{|\mu-\lambda|} = \frac{1}{\mbox{dist}(\lambda,\sigma(A))}.$$
• It looks much more simple than I could ever imagine! I have only a doubt about the first line. I only know that $\mu \in \mathbb{C}$ belongs to $\sigma(A)$ if and only if $(\mu - \lambda)^{-1}$ belongs to $\sigma(R_{A}(\lambda))$. But still $\sigma(R_{A}(\lambda))$ could contain zero. Or am I wrong? This in any case shouldn't change the proof. Thank you very much for your invaluable help. – Maurizio Barbato Jul 10 '16 at 21:43
• @MauryBarbato : If $A$ is unbounded, then $0$ is in the spectrum of $(A-\lambda I)^{-1}$, which is the only possible point being left out of $\frac{1}{\sigma(A)-\lambda}$, but $0$ is in the closure of the set $\frac{1}{\sigma(A)-\lambda}$ if $A$ is unbounded. I invoked closure to avoid a lengthy discussion of that one point $0$. – DisintegratingByParts Jul 10 '16 at 22:28
• If $A$ is bounded, then $0$ is not in $\sigma(R_{A}(\lambda))$, and since $\sigma(R_{A}(\lambda))$ is closed, there is a neighborhood $V$ of $0$ such that $\sigma(R_{A}(\lambda)) \cap V = \emptyset$. Consider now $A$ undbounded. Then $0$ is in $\sigma(R_{A}(\lambda))$. So to conclude that $\sigma(R_{A}(\lambda)) = \text{closure} \left( \frac{1}{\sigma(A) - \lambda} \right)$, it is enough to show that if $A$ is unbounded, then $0$ is not an isolated point of $\sigma(R_{A}(\lambda))$, as you claim. Could you give a proof or a reference for this statement? Thank you very much. – Maurizio Barbato Jul 11 '16 at 12:56