Gaussian decay for a difference of traces of the Schrödinger semigroup associated to the isotropic harmonic oscillator

Abstract

This paper deals with the derivation of a sharp estimate on the difference of traces of the one-parameter Schrödinger semigroup associated to the quantum isotropic harmonic oscillator. Denoting by $H_{\infty,κ}$ the self-adjoint realization in $L^{2}(\mathbb{R}^{d})$, $d \in \{1,2,3\}$ of the Schrödinger operator $-\frac{1}{2} Δ+ \frac{1}{2} κ^{2}\vert \bold{x}\vert^{2}$, $κ>0$ and by $H_{L,κ}$, $L>0$ the Dirichlet realization in $L^{2}(Λ_{L}^{d})$ where $Λ_{L}^{d}:=\{\bold{x} \in \mathbb{R}^{d}:- \frac{L}{2} < x_{l} < \frac{L}{2},\,l=1,\ldots,d\}$, we prove that the difference of traces $\mathrm{Tr}_{L^{2}(\mathbb{R}^{d})} \mathrm{e}^{-t H_{\infty,κ}} - \mathrm{Tr}_{L^{2}(Λ_{L}^{d})}\mathrm{e}^{-t H_{L,κ}}$, $t>0$ has for $L$ sufficiently large a Gaussian decay in $L$. Furthermore, the estimate that we derive is sharp in the two following senses: its behavior when $t \downarrow 0$ is similar to the one given by $\mathrm{Tr}_{L^{2}(\mathbb{R}^{d})}\ mathrm{e}^{-t H_{\infty,κ}} = (2\sinh( \fracκ{2}t))^{-d}$ and the exponential decay in $t$ arising from $\mathrm{Tr}_{L^{2}(\mathbb{R}^{d})}\mathrm{e}^{-t H_{\infty,κ}}$ when $t\uparrow \infty$ is preserved. For illustrative purposes, we give a simple application within the framework of quantum statistical mechanics.