blob: fa8cc59f627d6a09aa4ec0351205164a5fe5a81e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
%\chapter[Scales of Hilbert Spaces and Nelsons Commutator Theorem]{Scales of Hilbert Spaces\\ and Nelsons Commutator Theorem}
\chapter{Scales of Hilbert Spaces and~Nelsons~Commutator~Theorem}
\begin{theorem}{Nelson Commutator Theorem}{nelson-commutator-theorem}
Let $N$ be a selfadjoint operator with $N \ge I$,
and let $q$ be a quadratic form with the same domain.
Suppose that there exist constants $c_1,c_2$ such that
\begin{align*}
\abs{q(\psi',\psi)} &\le c_1 \norm{N^{1/2}\psi} \norm{N^{1/2}\psi'} & \forall \psi,\psi' \in D(N^{1/2}) \\
\abs{q(N\psi',\psi)-q(\psi',N\psi)} &\le c_2 \norm{N^{1/2}\psi} \norm{N^{1/2}\psi'} & \forall \psi,\psi' \in D(N^{3/2})
\end{align*}
Then the operator $q_{\mathrm{op}}$ associated to $q$ is defined on the domain of $N$
and is essentially selfadjoint on any core for $N$.
\end{theorem}
\cite{ReedSimon2}
\cite{Nelson1972}
%vim: syntax=mytex
|