Abstract:Using the Fredholm theory of the linear time-dependent Schrödinger equation set up in our previous article <a class="link-https" data-arxiv-id="2201.03140" href="https://arxiv.org/abs/2201.03140">arXiv:2201.03140</a>, we solve the final-state problem for the nonlinear Schrödinger problem $$ (D_t + \Delta + V) u = N[u], \quad u(z,t) \sim (4\pi it)^{-n/2} e^{i|z|^2/4t} f\big( \frac{z}{2t} \big), \quad t \to -\infty, $$ where $u : \mathbb{R}^{n+1} \to \mathbb{C}$ is the unknown and $f : \mathbb{R}^n \to \mathbb{C}$ is the asymptotic data. Here $D_t = -i \frac{\partial}{\partial t}$ and $\Delta = \sum_{j=1}^n D_{z_j} D_{z_j}$ is the positive Laplacian, or more generally a compactly supported, nontrapping perturbation of this, $V$ is a smooth compactly supported potential function, and the nonlinear term $N$ is a (suitable) polynomial in $u$, $\partial_{z_j}u$ and their complex conjugates satisfying phase invariance. Our assumption on the asymptotic data $f$ is that it is small in a certain function space $\mathcal{W}^k$ constructed in <a class="link-https" data-arxiv-id="2201.03140" href="https://arxiv.org/abs/2201.03140">arXiv:2201.03140</a>, for sufficiently large $k \in \mathbb{N}$, where the index $k$ measures both regularity and decay at infinity (it is similar to, but not quite a standard weighted Sobolev space $H^{k, k}(\mathbb{R}^n)$). We find that for $N[u] = \pm |u|^{p-1} u$, $p$ odd, and $(n,p) \neq (1, 3)$ then if the asymptotic data as $t \to -\infty$ is small in $\mathcal{W}^k$, then the asymptotic data as $t \to +\infty$ is also in $\mathcal{W}^k$; that is, the nonlinear scattering map preserves these spaces of asymptotic data. For a more general nonlinearity involving derivatives of $u$, we show that if the asymptotic data as $t \to -\infty$ is small in $\langle \zeta \rangle^{-1} \mathcal{W}^k_\zeta$, then the asymptotic data as $t \to +\infty$ is also in this space (where $\zeta$ is the argument of $f$).

A Note on Almost Everywhere Convergence Along Tangential Curves to the Schrödinger Equation Initial Datum

On convergence properties for generalized Schrödinger operators along tangential curves

Convergence of a Class of Schrödinger Equations

Multiscale Asymptotic Behavior of the Schrödinger Equation

Regularity of Solution of the Schrödinger Equation on Symmetric Space

Convergence and non-convergence in a nonlocal gradient flow

Almost Global Existence For Solutions Of Semilinear Klein-Gordon Equations With Small Weakly Decaying Cauchy Data.

A note on almost everywhere convergence of Bochner-Riesz operator

A note on the Schrodinger maximal function

An Upbound of Hausdorff's Dimension of the Divergence Set of the fractional Schrödinger Operator on $H^s(\mathbb R^n)

Sharp pointwise convergence on the Schrödinger operator along one class of curves

The convergence rate of $p$-harmonic to infinity-harmonic functions

A Schrödinger Equation with Time-Oscillating Critical Nonlinearity

On the Unconditional Uniqueness for NLS in $\Dot{h}^s$

Regularity and pointwise convergence of solutions of the Schrödinger operator with radial initial data on Damek-Ricci spaces

Convergence of distorted Brownian motions and singular Hamiltonians

An Upbound of Hausdorff's Dimension of the Divergence Set of the fractional Schr\"odinger Operator on $H^s(\mathbb R^n)

Almost everywhere summability of Fourier series with indicating the set of convergence

Almost Everywhere Convergence of Bochner-Riesz Means for the Hermite Operators

Almost conservation laws and global rough solutions to a Nonlinear Schrödinger equation

Scattering regularity for small data solutions of the nonlinear Schrödinger equation