Canonical transformations, umbral calculus and orthogonal theory (Q1082100)

Among other things the author sketches a proof of the following Theorem: Let \(H=H(p)\) be a purely momentum dependent Hamiltonian and associate with it a semigroup \(P_ t\) acting on functions of the position variable x (x, \(p\in R^ n)\) by declaring it to be multiplication by the factor \(\exp(t H (ik))\) in the momentum representation, i.e. \[ (\hat P_ tf)(k)=\hat f(t H(ik)). \] Here \(^{\wedge}\) signifies Fourier transform. Using \(P_ t\) define a process \(X_ t\) in terms of its moments as follows \[ E^ x(X^ m_ t)=(P_ t\quad p_ m)(x):=h_ m(x,t). \] Here \(p_ m(x)=x^ m\) and m (and k in the sequel) is an n- tuple of integers. Now set \[ Y_ m(t)=\sum^{a=0}_{0\leq k\leq m}C^ m_ kX^ k_ t, \] where the numbers \((C^ m_ k)_{0\leq k\leq m}\) satisfy some condition, too technical to be mentioned here. Then there exists a map \(U: R^ n\to R^ n\) so that \[ k!C^ m_ k=\nabla^ m_ a[U(a)]^ k|_{a=0}\;(k\leq m). \] Moreover if \(J_ m(x,t):=E^ x(Y(t))=\sum_{0\leq k\leq m}C^ m_ kh_ k(x,t)\) and \(\tilde h_ m\) is related to \(\tilde H:=H\circ U\) as \(h_ m\) is related to H, then \[ J_ m(x,t)=\int \exp(-x\cdot U(ik))\hat{\tilde h}(k,t)\frac{dk}{(2\pi)^ n}. \]