Abstract:We study the time-dependent Schrödinger operator $P = D_t + \Delta_g + V$ acting on functions defined on $\mathbb{R}^{n+1}$, where, using coordinates $z \in \mathbb{R}^n$ and $t \in \mathbb{R}$, $D_t$ denotes $-i \partial_t$, $\Delta_g$ is the positive Laplacian with respect to a time dependent family of non-trapping metrics $g_{ij}(z, t) dz^i dz^j$ on $\mathbb{R}^n$ which is equal to the Euclidean metric outside of a compact set in spacetime, and $V = V(z, t)$ is a potential function which is also compactly supported in spacetime. In this paper we introduce a new approach to studying $P$, by finding pairs of Hilbert spaces between which the operator acts invertibly. Using this invertibility it is straightforward to solve the `final state problem' for the time-dependent Schrödinger equation, that is, find a global solution $u(z, t)$ of $Pu = 0$ having prescribed asymptotics as $t \to \infty$. These asymptotics are of the form $$ u(z, t) \sim t^{-n/2} e^{i|z|^2/4t} f_+\big( \frac{z}{2t} \big), \quad t \to +\infty $$ where $f_+$, the `final state' or outgoing data, is an arbitrary element of a suitable function space $\mathcal{W}^k(\mathbb{R}^n)$; here $k$ is a regularity parameter simultaneously measuring smoothness and decay at infinity. We can of course equally well prescribe asymptotics as $t \to -\infty$; this leads to incoming data $f_-$. We consider the `Poisson operators' $\mathcal{P}_\pm : f_\pm \to u$ and precisely characterize the range of these operators on $\mathcal{W}^k(\mathbb{R}^n)$ spaces. Finally we show that the scattering matrix, mapping $f_-$ to $f_+$, preserves these spaces.

Fredholm inversion around a singularity: application to autoregressive time series in Banach space

Fredholmness of Singular Integral Operators with Complex Conjugation on Star-Like Curves with Cusps

Inverse Sturm-Liouville problem with singular potential and spectral parameter in the boundary conditions

Propagation of singularities and Fredholm analysis for the time-dependent Schrödinger equation

Fourier transform inversion: Bounded variation, polynomial growth, Henstock--Stieltjes integration

On the complex singularities of the inverse Langevin function

A Dynamical System Approach To The Inverse Spectral Problem For Hankel Operators: The General Case

A geometric condition for the invertibility of Toeplitz operators on the Bergman space

On Schroedinger operators with inverse square potentials on the half-line

On Regularity Property of Retarded Ornstein-Uhlenbeck Processes in Hilbert Spaces

An Inverse Theorem for the Perron--Frobenius Theorem

On complex singularity analysis for some linear partial differential equations in $\mathbb{C}^3$

Inverse Sturm-Liouville problem with polynomials in the boundary condition and multiple eigenvalues

Solving the inverse Sturm-Liouville problem with singular potential and with polynomials in the boundary conditions

Local solvability and stability for the inverse Sturm-Liouville problem with polynomials in the boundary conditions

Projected Regression Methods for Inverting Fredholm Integrals: Formalism and Application to Analytical Continuation

Local solvability and stability for the inverse Sturm‐Liouville problem with polynomials in the boundary conditions

Necessary Conditions for Fredholmness of Singular Integral Operators with Shifts and Slowly Oscillating Data

Linear systems, spectral curves and determinants

Existence and analyticity of solutions of the Kuramoto-Sivashinsky equation with singular data

Ill-posedness of time-dependent inverse problems in Lebesgue-Bochner spaces