Núcleo integral de $e^{itH_{0}}$

Question

En mecánica cuántica, el estado de evolución temporal de un sistema de una partícula viene dado por $\psi(x,t) = e^{-itH_{0}}\psi_{0}(x)$, dónde $H_{0} = \frac{1}{2}\Delta$ es el hamiltoniano libre, $t\in \mathbb{R}$ y $\Delta$es el operador habitual de Laplace. He visto en alguna parte que ambos$e^{itH_{0}}$ y $e^{tH_{0}}$tienen núcleos integrales, es decir, \ 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} y \ 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 } donde$K_{0}(x,y,t) = (2\pi i t)^{-d/2}e^{i\frac{(x-y)^{2}}{2t}}$ y $\tilde{K}(x,y,t) = (2\pi t)^{-d/2}e^{\frac{(x-y)^{2}}{2t}}$.

Pregunta: ¿Cómo puedo probar (\ ref {1}) y (\ ref {2})?

Answer 1

Básicamente tenemos un PDE $\partial_t \varphi(t,\vec{x}) = \alpha \, \Delta\varphi(t,\vec{x}).$

Tomando la transformada de Fourier en el $\vec{x}$ el argumento da como resultado la EDO $\partial_t \hat{\varphi}(t,\vec{k}) = -\alpha \, |\vec{k}|^2 \, \hat{\varphi}(t,\vec{k})$ con solución $$ \hat{\varphi}(t,\vec{k}) = e^{-\alpha \, |\vec{k}|^2 t} \hat{\varphi}(0,\vec{k}). $$

El lado derecho es producto de dos funciones de $\vec{k}$ y es por tanto la transformada de Fourier de una convolución: $$ \varphi(t,\vec{x}) = \left(u(t,\cdot)*\varphi(0,\cdot)\right)(\vec{x}), $$ dónde $\hat{u}(t,\vec{k}) = e^{-\alpha \, |\vec{k}|^2 t}.$

Si $\operatorname{Re}\alpha \geq 0$ entonces $\hat{u}$ se puede transformar dando como resultado $$ u(t,\vec{x}) = (2\pi\alpha t)^{-d/2}e^{-\frac{|\vec{x}|^{2}}{2\alpha t}}. $$

Así, $$ \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. $$