Limits of regularizations for generalized function solutions to the Schrödinger equation with `square root of delta' initial value (Q667670): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Created claim: Wikidata QID (P12): Q59607318, #quickstatements; #temporary_batch_1706974296281 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q59607318 / rank | |||
Normal rank |
Revision as of 18:41, 3 February 2024
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
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
generalized functions
0 references
regularized solutions
0 references
Schrödinger equation
0 references
invariant mean
0 references