Kernel integrale di $e^{itH_{0}}$
Nella meccanica quantistica, lo stato evoluto nel tempo di un sistema a una particella è dato da $\psi(x,t) = e^{-itH_{0}}\psi_{0}(x)$, dove $H_{0} = \frac{1}{2}\Delta$ è l'Hamiltoniano libero, $t\in \mathbb{R}$ e $\Delta$è il solito operatore di Laplace. Ho visto da qualche parte che entrambi$e^{itH_{0}}$ e $e^{tH_{0}}$hanno kernel integrali, cioè \ begin {eqnarray} (e ^ {- itH_ {0}} \ varphi) (x) = \ int _ {\ mathbb {R} ^ {d}} K_ {0} (x, y, t ) \ varphi_ {0} (y) dy \ tag {1} \ label {1} \ end {eqnarray} e \ begin {eqnarray} (e ^ {- tH_ {0}} \ varphi) (x) = \ int_ {\ mathbb {R} ^ {d}} \ tilde {K} _ {0} (x, y, t) \ varphi_ {0} (y) dy \ tag {2} \ label {2} \ end {eqnarray } dove$K_{0}(x,y,t) = (2\pi i t)^{-d/2}e^{i\frac{(x-y)^{2}}{2t}}$ e $\tilde{K}(x,y,t) = (2\pi t)^{-d/2}e^{\frac{(x-y)^{2}}{2t}}$.
Domanda: come posso provare (\ ref {1}) e (\ ref {2})?
Risposte
Fondamentalmente abbiamo una PDE $\partial_t \varphi(t,\vec{x}) = \alpha \, \Delta\varphi(t,\vec{x}).$
Prendendo la trasformata di Fourier in $\vec{x}$ l'argomento restituisce l'ODE $\partial_t \hat{\varphi}(t,\vec{k}) = -\alpha \, |\vec{k}|^2 \, \hat{\varphi}(t,\vec{k})$ con la soluzione $$ \hat{\varphi}(t,\vec{k}) = e^{-\alpha \, |\vec{k}|^2 t} \hat{\varphi}(0,\vec{k}). $$
Il lato destro è un prodotto di due funzioni di $\vec{k}$ ed è quindi la trasformata di Fourier di una convoluzione: $$ \varphi(t,\vec{x}) = \left(u(t,\cdot)*\varphi(0,\cdot)\right)(\vec{x}), $$ dove $\hat{u}(t,\vec{k}) = e^{-\alpha \, |\vec{k}|^2 t}.$
Se $\operatorname{Re}\alpha \geq 0$ poi $\hat{u}$ può essere trasformato risultando in $$ u(t,\vec{x}) = (2\pi\alpha t)^{-d/2}e^{-\frac{|\vec{x}|^{2}}{2\alpha t}}. $$
Quindi, $$ \varphi(t,\vec{x}) = \int_{\mathbb{R}^d} (2\pi\alpha t)^{-d/2}e^{-\frac{|\vec{x}-\vec{y}|^{2}}{2\alpha t}} \, \varphi(0,\vec{y}) \, d^dy. $$