Hilbert Space: $\mathcal{H}$

Hamiltonian: $$H:\mathcal{D}(H)\to\mathcal{H}:\quad H=H^*$$

Spectral Measure: $$E:\mathcal{B}(\mathbb{R})\to\mathcal{B}(\mathcal{H}):\quad H=\int\lambda\mathrm{d}E(\lambda)$$

Resolvent Map: $$R(z):=(H-z)^{-1}=\int\frac{1}{\lambda-z}\operatorname{dE(\lambda)}$$

Stone's Formula: $$\frac12\{E[a,b]+E(a,b)\}\\ =\lim_{\varepsilon\to0^+}\frac{1}{2\pi i}\int_a^b\{R(s+i\varepsilon)-R(s-i\varepsilon)\}\operatorname{ds}$$ (Bounded Interval!)

How to check this by spectral measures?

  • $\begingroup$ I think you may want to try integrating $R(\lambda)\varphi=(H-\lambda)^{-1}\varphi$ around the rectangular contour that is the boundary of $[a,b]+i[-\varepsilon,+\varepsilon]$. Then recall that $R(\lambda)=\int_\mathbb{R}\frac{\text{d}E(t)}{t-\lambda}$, and that $E(a,b)=E(b^-)-E(a^+)$, $E[a,b]=E(b^+)-E(a^-)$, etc. Something along these lines, though I can't remember precisely so I'll leave it as a comment. $\endgroup$ – Stromael Feb 25 '15 at 0:47
  • $\begingroup$ @Stromael: Yeah but the spectrum may leave no gap at all if it is the whole real line. Also you can solve the integral straightforward by the $\arctan$. But thanks for the comment!!! $\endgroup$ – C-Star-W-Star Feb 25 '15 at 0:52
  • $\begingroup$ @Stromael: The point is that one needs to find a simultaneous approximation be simple functions in order to apply Lebesgue correctly. $\endgroup$ – C-Star-W-Star Feb 25 '15 at 0:57

For $\epsilon > 0$, and $a < b$, and $R(\lambda)=(H-\lambda I)^{-1}$, $$ \left(\frac{1}{2\pi i}\int_{a}^{b}R(s+i\epsilon)-R(s-i\epsilon)ds\cdot x,y\right) \\ = \frac{1}{2\pi i}\int_{a}^{b}(R(s+i\epsilon)x-R(s-i\epsilon)x,y)ds \\ = \frac{1}{2\pi i}\int_{a}^{b}\int_{-\infty}^{\infty}\frac{1}{t-s-i\epsilon}-\frac{1}{t-s+i\epsilon}d(E(t)x,y)ds \\ = \frac{1}{\pi}\int_{-\infty}^{\infty}\left(\int_{a}^{b}\frac{\epsilon}{(s-t)^{2}+\epsilon^{2}}ds\right)d(E(t)x,y) \\ = \int_{-\infty}^{\infty}\frac{1}{\pi}\left[\tan^{-1}\left(\frac{b-t}{\epsilon}\right)-\tan^{-1}\left(\frac{a-t}{\epsilon}\right)\right]d(E(t)x,y) \\ = \left(\int_{-\infty}^{\infty}\frac{1}{\pi}\left[\tan^{-1}\left(\frac{b-t}{\epsilon}\right)-\tan^{-1}\left(\frac{a-t}{\epsilon}\right)\right]dE(t)x,y\right) $$ Because this holds for all $x, y \in \mathcal{H}$, $$ \frac{1}{2\pi i}\int_{a}^{b}R(s+i\epsilon)-R(s-i\epsilon)ds \\ = \int_{-\infty}^{\infty}\frac{1}{\pi}\left[\tan^{-1}\left(\frac{b-t}{\epsilon}\right)-\tan^{-1}\left(\frac{a-t}{\epsilon}\right)\right]dE(t) $$ It's easy to check that the final integrand is uniformly bounded by $1$ for all $t$. For $t > b$ or for $t < a$, the integrand converges to $0$ as $\epsilon\downarrow 0$. For $a < t < b$, the integrand converges to $1$ as $\epsilon\downarrow 0$. Finally, at $t=a$ or at $t=b$, the integrand converges to $1/2$ as $\epsilon\downarrow 0$. In other words, the integrand remains uniformly bounded by $1$ and converges pointwise everywhere to $$ l(t)=\frac{1}{2}\chi_{[a,b]}(t)+\frac{1}{2}\chi_{(a,b)}(t). $$ By the dominated convergence theorem, the following tends to $0$ as $\epsilon\downarrow 0$: $$ \left\|\frac{1}{2\pi i}\int_{a}^{b}\left(R(s+i\epsilon)x-R(s-i\epsilon)x \right)ds-\int_{-\infty}^{\infty}l(t)dE(t)x\right\|^{2} \\ = \int_{-\infty}^{\infty}\left|\frac{1}{\pi}\left[\tan^{-1}\frac{b-t}{\epsilon}-\tan^{-1}\frac{a-t}{\epsilon}\right]-l(t)\right|^{2}d\|E(t)x\|^{2}. $$ Note: It is important that the integrand converges to $0$ everywhere as $\epsilon\downarrow 0$ because no assumption is made about the Borel measure $d\|E(t)x\|^{2}$ other than the fact that it is finite. The conclusion is that the following vector limit exists for all $x \in \mathcal{H}$: $$ \lim_{\epsilon\downarrow 0}\frac{1}{2\pi i}\int_{a}^{b}\{R(s+i\epsilon)x-R(s-i\epsilon)x\}ds \\ = \int_{-\infty}^{\infty} l(t)dE(t)x = \frac{1}{2}\{E[a,b]+E(a,b)\}x. $$ It is not true that the convergence is necessarily in the operator topology, but the convergence does always occur in the strong operator topology.

  • $\begingroup$ The validity of Stone's formula in the extended case: $E(-\infty,\infty)=\lim_\varepsilon\frac{1}{2\pi i}\int_{-\infty}^\infty\{R(s+i\varepsilon)-R(s-i\varepsilon)\} \varphi \operatorname{ds}\quad(a=-\infty,b=\infty)$ $\endgroup$ – C-Star-W-Star Apr 6 '16 at 19:13
  • $\begingroup$ Comments are not for extended discussion; this conversation has been moved to chat. $\endgroup$ – Jyrki Lahtonen Apr 7 '16 at 6:29

This site is temporarily in read only mode and not accepting new answers.

Not the answer you're looking for? Browse other questions tagged .