On Fourier time-splitting methods for nonlinear Schrödinger equations in the semi-classical limit. II. Analytic regularity (Q527828): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
Changed an Item |
||
Property / arXiv ID | |||
Property / arXiv ID: 1602.03129 / rank | |||
Normal rank |
Revision as of 15:49, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On Fourier time-splitting methods for nonlinear Schrödinger equations in the semi-classical limit. II. Analytic regularity |
scientific article |
Statements
On Fourier time-splitting methods for nonlinear Schrödinger equations in the semi-classical limit. II. Analytic regularity (English)
0 references
12 May 2017
0 references
The paper is concerned with the analysis of the Lie-Trotter time-splitting scheme for the nonlinear Schrödinger equation \[ i \varepsilon \partial_t u^{\varepsilon}+\frac{\varepsilon^2}{2} \Delta u^{\varepsilon} = \lambda \left| u^{\varepsilon} \right|^{2 \sigma} u^{\varepsilon}, \quad \left(x,t\right) \in \left[0,T\right] \times \mathbb{R}^d, \] \(\lambda \in \mathbb{R}\), \(\sigma \in \mathbb{N}\), in the semi-classical limit \(\varepsilon \rightarrow 0\). It is assumed that the initial function has a WKB structure \[ u^{\varepsilon} \left( 0, x\right) = a_0 \left(x \right) e^{i \phi_0 \left(x\right) / \varepsilon}. \] The previous results concerning convergence and error estimates for the Lie-Trotter splitting are derived for the Schrödinger equation with nonlinearities of other types or under the assumption that the Sobolev norm of the exact solution satisfies \(\left\| u^{\varepsilon} \right\|_{H^s} \leq C\) with \(C\) independent on \(\varepsilon\). However, as \(\varepsilon \rightarrow 0\), the solution \(u^{\varepsilon}\) is oscillatory and \(\left\| u^{\varepsilon} \right\|_{H^s} \approx \varepsilon^{-s}\). In the paper, it is shown that the exact solution and the numerical solution preserve the WKB structure and error estimates are derived under the assumption that the Fourier transforms \(\hat{\phi}_0\) and \(\hat{a}_0\) of \(\phi_0\) and \(a_0\), respectively, satisfy \[ \int\limits_{\mathbb{R}^d} e^{\left(1+ \left|\xi \right|^2 \right)^{\left(1+\delta\right)/2}} \left( \left| \hat{\phi}_0 \left( \xi \right)\right|^2 + \left| \hat{a}_0 \left( \xi \right) \right|^2 \right) d \xi < \infty \] for some \(\delta > 0\).
0 references
Lie-Trotter splitting
0 references
nonlinear Schrödinger equation
0 references
error estimate
0 references
semi-classical limit
0 references
WKB method
0 references
convergence
0 references