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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Limits of regularizations for generalized function solutions to the Schrödinger equation with `square root of delta' initial value
scientific article

    Statements

    Limits of regularizations for generalized function solutions to the Schrödinger equation with `square root of delta' initial value (English)
    0 references
    0 references
    1 March 2019
    0 references
    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}$.
    0 references
    0 references
    0 references
    generalized functions
    0 references
    regularized solutions
    0 references
    Schrödinger equation
    0 references
    invariant mean
    0 references
    0 references
    0 references
    0 references