Limits of regularizations for generalized function solutions to the Schrödinger equation with `square root of delta' initial value (Q667670): Difference between revisions

The paper under review is connected with the work of the author [Monatsh. Math. 163, No. 4, 445--460 (2011; Zbl 1238.46036)] on the Cauchy problem for Schrödinger partial differential operators with Colombeau generalized functions as data, but it can be read independently starting from the last and third section. This part of the paper is its main contribution, the author is essentially interested by the convergence as $\varepsilon \rightarrow 0$ of the family of positive probability measures $\left\{ \mu_{\varepsilon}^{t}:t\in \mathbb{R},\varepsilon \in \left(0,1\right] \right\} $ on $\mathbb{R}^{n}$, given by the Lebesgue measure with density function $\left\vert u_{\varepsilon}(.,t)\right\vert^{2}$, where the function $u_{\varepsilon}(.,t)=K(.,t)\ast \sqrt{\mu \ast \rho_{\varepsilon}}$, with \[ K(.,t)=\frac{e^{-\frac{\left\vert x\right\vert^{2}}{4it}}}{(4\pi it)^{\frac{ n}{2}}} \] being the kernel of the Schrödinger operator and $\rho$ a suitably chosen mollifier, $\rho_{\varepsilon}(x)=\frac{1}{\varepsilon^{n}}\rho(\frac{x}{\varepsilon})$, is a solution of the Cauchy problem for the Schrödinger operator \[ \partial_{t}u_{\varepsilon}=i\Delta u_{\varepsilon}, \ u_{\varepsilon}(.,0)=\sqrt{\mu \ast \rho_{\varepsilon}}. \] The initial condition $(\sqrt{\mu \ast \rho_{\varepsilon}})_{\varepsilon \in \left( 0,1\right]}$ represents a kind of positive square root of $\mu$, a probability measure on $\mathbb{R}^{n}$, assuming that the mollifier $\rho$ satisfies \[ \rho \in L^{1}(\mathbb{R}^{n}),\,\rho \geq 0,\,\sqrt{\rho}\in L^{1}(\mathbb{R}^{n}),\int\limits_{\mathbb{R}^{n}}\rho (x)dx=1. \] The most part of the last section concerns the convergence of $\mu_{\varepsilon}^{t}$ when $\varepsilon \rightarrow 0$ in the sense of probability theory with $\mu =\delta_{a}$ (Dirac measure). The main result proved is that for all \(f\in AP(\mathbb{R}^{n})\), \[\lim_{\varepsilon \rightarrow 0} \langle\mu_{\varepsilon}^{t},f\rangle= \lim_{R\rightarrow \infty}\frac{1}{R} \int\limits_{0}^{R}f(x)\,dx, \] where $AP(\mathbb{R}^{n})$ is the space of Bohr almost periodic functions on $\mathbb{R}^{n}$.