bf817719e7aa6645.tex
1: \begin{definition} Let the one-particle Hilbert space be given as 
2: $\mathscr{H}_{1}:=L^2(d^n\mu(\mathbf{p}),\mathbb{R}^n)=\{f : \int 
3: d^n\mu(\mathbf{p})  |f(\mathbf{p})|^2<\infty, d^n\mu(\mathbf{p}):= 
4:  (2\omega_{\mathbf{p}} )^{-1}\,d^n\mathbf{p}, (\omega_{\mathbf{p}},\mathbf{p})\in H_m^{+}:=\{p\in\mathbb{R}^{d}|p^2=m^2, p_0>0 \} 
5: \}$ for $d-1=n\geq 1$ and let $\Delta (P)$ be the 
6: dense domain of all functions from $ \mathscr{H}_{1} $ vanishing at 
7: infinity faster than any inverse polynomial in $p^k$ given as follows, \cite[Equation III.24]{SV}
8: \begin{equation}
9: \Delta  (P) =\{f\in \mathscr{H}_{1} :
10: |\left(\mathbf{p}^2
11: \right)^rf(\mathbf{p})|\leq c_r(f)<\infty;\quad r=0,1,2,\dots\}.
12: \end{equation}
13:  $\Delta (P)$ is contained in the domain of the essential self-adjoint momentum operators. The
14: extended dense domain of the second quantized momentum operator $P_{\mu}$  is given by $\Delta_k(P):=\bigotimes_{i=1}^{k} 
15: \Delta(P)$ (for details concerning second-quantization see \cite[Theorem VIII.33]{RS1} and \cite[Example 2]{RS1}). 
16: \end{definition}