Abstract
Superoscillating functions and supershifts appear naturally in weak measurements in physics. Their evolution as initial conditions in the time-dependent Schrödinger equation is an important and challenging problem in quantum mechanics and mathematical analysis. The concept that encodes the persistence of superoscillations during the evolution is the (more general) supershift property of the solution. In this paper, we give a unified approach to determine the supershift property for the solution of the time-dependent one-dimensional Schrödinger equation. The main advantage and novelty of our results is that they only require suitable estimates and regularity assumptions on the Green’s function, but not its explicit form. With this efficient general technique, we are able to treat various potentials.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Superoscillations are band limited functions F that oscillate faster than their fastest Fourier component; they appear in connection with weak measurements in quantum mechanics [2, 15, 19, 31] and as initial conditions in the time-dependent one-dimensional Schrödinger equation
or in optics, signal processing, and other fields of physics and engineering as, e.g. antenna theory [25, 43]. The theory of superoscillations and their applications has grown enormously in the last decades, and without claiming completeness, we mention the contributions [24, 26,27,28,29,30] and [35, 37, 38, 41, 42]. The standard example of a sequence of superoscillating functions is
where \(k>1\) and the coefficients \(C_l(n;k)\), \(k_l(n)\), for \(n\in {\mathbb {N}}_0\), \(l=0,\dots ,n\), are given by
using the binomial coefficient \({n\atopwithdelims ()l}\). If we fix \(x\in {\mathbb {R}}\) and let n go to infinity, we obtain the limit
uniformly on compact subsets of \({\mathbb {R}}\). Observe that the frequencies \(k_l(n)\) in (1.2) are in modulus bounded by 1, but the frequency k in the limit function in (1.3) can be arbitrary large; this (somewhat unexpected) behaviour gives rise to the notion superoscillations. Inspired by the above example, it has been shown that also other coefficients lead to the same phenomenon, and the theory of superoscillations was extended to a larger class of functions in [7, 9, 11] and to functions of several variables in [10]. More precisely, a sequence \((F_n)_n\) of the form (1.2) is said to be superoscillating if \(\sup _{n\in {\mathbb {N}}_0,\,l\in \{0,\dots ,n\}}|k_l(n)|<k\) for some \(k>0\) and there exists a compact subset \(K\subset {\mathbb {R}}\), called superoscillation set, such that
The quantum mechanical evolution problem of superoscillations investigates the behaviour of the solution of the time-dependent Schrödinger equation (1.1) with superoscillatory initial data. It is of particular importance to understand if a frequency shift of the initial conditions at time \(t=0\), as in (1.3), survives the time evolution and leads to a similar shift for the solutions at later times \(t>0\). The first Schrödinger evolution problem of superoscillations that has been studied was the free particle in [8], where the solution gives a superoscillatory function in several variables. Later on, in the analysis of evolution problems with nonconstant potentials like the quantum harmonic oscillator [16, 32, 36], the electric field [12], or the uniform magnetic field [33], it turned out that the solution of the Schrödinger equation with superoscillatory initial datum does not formally belong to the class of superoscillatory functions, although a certain frequency shift still appears. These observations stimulated the notion of supershift, see, e.g. [4, 13, 33,34,35]. Very roughly speaking, it is known that the supershift property of the initial datum is stable under the time evolution of the Schrödinger equation for the above mentioned explicit cases. The analysis was based on sophisticated tools involving spaces of holomorphic functions with growth conditions, infinite-order differential operators, but required for each of the potentials the explicit form of the Green’s function. Although the Schrödinger evolution of superoscillations and supershifts was mainly studied in the one-dimensional situation (with the exceptions of the uniform magnetic field in three dimensions [33] or the constant electric field in n dimensions [12]), the above techniques in principle extend to the multidimensional setting, provided the Green’s function is known. For more details on superoscillations and supershifts, we also refer the reader to [3, 5, 6, 8, 13, 17, 21, 22] and the introductory papers [14, 18, 20, 23, 40].
A general approach to study the evolution of superoscillations and supershifts, which only relies on qualitative properties of the Green’s function and avoids its explicit form, does not exist so far. It is the main objective of the present paper to fill this gap; in fact, we shall provide a unified method, where we just assume regularity and growth conditions on the Green’s function. The starting point in this paper will be the (formal) representation
of the solution of the one-dimensional Schrödinger equation (1.1) via the corresponding Green’s function. The class of Green’s functions which fit into our general setting is specified in Assumption 3.1. In Sect. 2, we develop the theory of Fresnel integrals, which will then be used in Sect. 3 to give a rigorous meaning to the integral (1.4). More precisely, for a Green’s function satisfying Assumption 3.1 and an exponentially bounded holomorphic initial condition F, we show in Theorem 3.4 that (1.4) can be viewed as
for some \(\alpha \in (0,\frac{\pi }{2})\), and in certain situations under slightly stronger assumption, one even has
cf. Remark 3.5. Moreover, we prove in Theorem 3.6 that the solution \(\Psi \) depends continuously on the initial datum F. This result will be one of the main reasons why the supershift property is stable for \(t>0\). In Sect. 4, we first recall the supershift property in Definition 4.1 (in a slightly more general form than in earlier publications), and discuss its connection to the concept of superoscillations. Afterwards, we prove in Theorem 4.5 the time persistence of the supershift property for potentials V, where the corresponding Green’s function satisfies Assumption 3.1. In Sect. 5, we apply our main results to the one-dimensional Schrödinger equation with explicitly given potentials. Here, we consider the free particle as a warm up, and the time-dependent uniform electric field, the time-dependent harmonic oscillator, and the Pöschl–Teller potential as more sophisticated examples. In each case, we verify that the corresponding Green’s functions satisfies Assumption 3.1, and hence fits into our general setting. Therefore, for each of these potentials, we conclude the time persistence of the supershift property of the initial condition.
2 Fresnel integrals
In this section, we provide some preliminary material on the so-called Fresnel integral, which will be used in our main results in the next sections. Roughly speaking, the main purpose is to make sense of integrals of the form
in particular, in the case where the function f itself is not integrable.
Proposition 2.1
Let \(f:\Omega \rightarrow {\mathbb {C}}\) be holomorphic on an open set \(\Omega \subseteq {\mathbb {C}}\), which contains the sector
for some \(\alpha \in (0,\frac{\pi }{2})\). Then, the following assertions hold.
- (i):
-
If f satisfies the estimate
$$\begin{aligned} |f(z)|\le Ae^{B|z|},\qquad z\in S^+_\alpha , \end{aligned}$$(2.3)for some \(A,B\ge 0\), then for every \(y_0\in {\mathbb {R}}\)
$$\begin{aligned} \lim \limits _{\varepsilon \rightarrow 0^+}\int _0^\infty e^{-\varepsilon (y-y_0)^2}e^{iy^2}f(y)\mathrm{d}y=e^{i\alpha }\int _0^\infty e^{i(ye^{i\alpha })^2}f(ye^{i\alpha })\mathrm{d}y, \end{aligned}$$(2.4)where both integrands are absolutely integrable.
- (ii):
-
If f satisfies the estimate
$$\begin{aligned} |f(z)|\le Ae^{B{\text {Im}}(z)},\qquad z\in S_\alpha ^+, \end{aligned}$$(2.5)for some \(A,B\ge 0\), then
$$\begin{aligned} \lim \limits _{R\rightarrow \infty }\int _0^Re^{iy^2}f(y)\mathrm{d}y=e^{i\alpha }\int _0^\infty e^{i(ye^{i\alpha })^2}f(ye^{i\alpha })\mathrm{d}y, \end{aligned}$$(2.6)where the integrand on the right-hand side is absolutely integrable, and also the integrand on the left-hand side is absolutely integrable for every \(R>0\).
Proof
(i) Since the proof for arbitrary \(y_0\in {\mathbb {R}}\) follows the same steps, we will restrict ourselves to \(y_0=0\). We use the abbreviation \(k=\tan (\alpha )>0\). For \(R>0\), we consider the integration path
Since f is holomorphic, we have
With the exponential bound (2.3), the integral along the curve \(\gamma _2\) can be estimated as
Choosing \(\varepsilon \le \frac{2}{k}\), the last integral can be estimated by
and hence we conclude the convergence
Consequently, in the limit \(R\rightarrow \infty \) (2.7) becomes
where the integrand on the left-hand side is absolutely integrable due to the factor \(e^{-\varepsilon y^2}\), but also the right-hand side is absolutely integrable due to the estimates
for all \(\varepsilon <\frac{1}{k}\). Since this upper bound does not depend on \(\varepsilon \), we can apply the dominated convergence theorem and obtain
which is (2.4).
(ii) In order to prove (2.6), we use the same integration path as in (i). We get the statement from (2.5) and from the fact that for every \(R>\frac{B}{2}\) we have the estimate
Hence, we also in this case we conclude
Moroever, from (2.7) with \(\varepsilon =0\), we obtain
where the integrand on the right-hand side is absolutely integrable due to the estimate
\(\square \)
The next corollary is a slight extension of Proposition 2.1 which includes some additional constants \(a>0\) and \(y_1\in {\mathbb {R}}\).
Corollary 2.2
Let \(a>0\), \(y_1\in {\mathbb {R}}\) and let \(f:\Omega \rightarrow {\mathbb {C}}\) be holomorphic on an open set \(\Omega \subseteq {\mathbb {C}}\), which contains the sector \(S_\alpha ^+\) from (2.2) for some \(\alpha \in (0,\frac{\pi }{2})\). Then, the following assertions hold.
- (i):
-
If f satisfies the estimate
$$\begin{aligned} |f(z)|\le Ae^{B|z|},\qquad z\in S_\alpha ^+, \end{aligned}$$(2.8)for some \(A,B\ge 0\), then for every \(y_0\in {\mathbb {R}}\)
$$\begin{aligned} \lim \limits _{\varepsilon \rightarrow 0^+}\int _0^\infty e^{-\varepsilon (y-y_0)^2}e^{ia(y-y_1)^2}f(y)\mathrm {d}y=e^{i\alpha }\int _0^\infty e^{ia(ye^{i\alpha }-y_1)^2}f(ye^{i\alpha })\mathrm {d}y,\nonumber \\ \end{aligned}$$(2.9)where both integrands are absolutely integrable.
- (ii):
-
If f satisfies the estimate
$$\begin{aligned} |f(z)|\le Ae^{B{\text {Im}}(z)},\qquad z\in S_\alpha ^+, \end{aligned}$$(2.10)for some \(A,B\ge 0\), then
$$\begin{aligned} \lim \limits _{R\rightarrow \infty }\int _0^Re^{ia(y-y_1)^2}f(y)\mathrm{d}y=e^{i\alpha }\int _0^\infty e^{ia(ye^{i\alpha }-y_1)^2}f(ye^{i\alpha })\mathrm{d}y, \end{aligned}$$(2.11)where the integrand on the right-hand side is absolutely integrable, and also the integrand on the left-hand side is absolutely integrable for every \(R>0\).
Proof
- (i):
-
Substituting \(x=y\sqrt{a}\), we can write
$$\begin{aligned} \,\,\qquad \int _0^\infty e^{-\varepsilon (y-y_0)^2}e^{ia(y-y_1)^2}f(y)\mathrm{d}y=\frac{1}{\sqrt{a}}\int _0^\infty e^{-\frac{\varepsilon }{a}(x-\sqrt{a}y_0)^2}e^{i(x-\sqrt{a}y_1)^2}f\Big (\frac{x}{\sqrt{a}}\Big )\mathrm{d}x. \end{aligned}$$
If we define \(g(z):= e^{i(-2z\sqrt{a}y_1+ay_1^2)}f(\frac{z}{\sqrt{a}})\), \(z\in \Omega \), we can write this integral as
Since, by (2.8), g satisfies the estimate
we know by Proposition 2.1 (i) that
- (ii):
-
In the same way as in (2.12) for \(\varepsilon =0\), we can write
$$\begin{aligned} \int _0^Re^{ia(y-y_1)^2}f(y)\mathrm{d}y=\frac{1}{\sqrt{a}}\int _{0}^{R\sqrt{a}}e^{ix^2}g(x)\mathrm{d}x. \end{aligned}$$
Since, by (2.10), g satisfies the estimate
we know by Proposition 2.1 (ii) that
\(\square \)
The Fresnel integral technique in Proposition 2.1 and Corollary 2.2 can also be applied on the negative semi-axis. This leads to the following corollary.
Corollary 2.3
Let \(a>0\), \(y_1\in {\mathbb {R}}\) and let \(f:\Omega \rightarrow {\mathbb {C}}\) be holomorphic on an open set \(\Omega \subseteq {\mathbb {C}}\), which contains the double sector
for some \(\alpha \in (0,\frac{\pi }{2})\). Then, the following assertions hold.
- (i):
-
If f satisfies the estimate
$$\begin{aligned} |f(z)|\le Ae^{B|z|},\qquad z\in S_\alpha , \end{aligned}$$(2.14)for some \(A,B\ge 0\), then for every \(y_0\in {\mathbb {R}}\)
$$\begin{aligned} \lim \limits _{\varepsilon \rightarrow 0^+}\int _{\mathbb {R}}e^{-\varepsilon (y-y_0)^2}e^{ia(y-y_1)^2}f(y)\mathrm{d}y=e^{i\alpha }\int _{\mathbb {R}}e^{ia(ye^{i\alpha }-y_1)^2}f(ye^{i\alpha })\mathrm{d}y, \end{aligned}$$(2.15)where both integrands are absolutely integrable.
- (ii):
-
If f satisfies the estimate
$$\begin{aligned} |f(z)|\le Ae^{B|{\text {Im}}(z)|},\qquad z\in S_\alpha , \end{aligned}$$(2.16)for some \(A,B\ge 0\), then
$$\begin{aligned} \lim \limits _{R_1,R_2\rightarrow \infty }\int _{-R_1}^{R_2}e^{ia(y-y_1)^2}f(y)\mathrm{d}y=e^{i\alpha }\int _{\mathbb {R}}e^{ia(ye^{i\alpha }-y_1)^2}f(ye^{i\alpha })\mathrm{d}y, \end{aligned}$$(2.17)where the integrand on the right-hand side is absolutely integrable, and also the integrand on the left-hand side is absolutely integrable for every \(R_1,R_2>0\).
The initial purpose of the Fresnel integral technique was to give meaning to the integral (2.1). For holomorphic functions f satisfying the growth condition (2.14), Corollary 2.3 (i) shows (with the choice \(a=1\) and \(y_1=0\)) that one can insert the Gaussian \(e^{-\varepsilon (y-y_0)^2}\) and view the integral (2.1) as the limit
Under the stronger assumption (2.16) (which, in particular, implies that f is bounded on the real line) such a regularisation is not necessary and according to Corollary 2.3 (ii) one can regard the integral (2.1) as the limit
However, under both assumptions (2.14) and (2.16), one has the absolutely convergent representation
3 Green’s functions and solutions of the Schrödinger equation
The main goal of this section is to treat the Cauchy problem (1.1) for the time-dependent one-dimensional Schrödinger equation and the integral representation (1.4) of the solution in a mathematical rigorous framework. In particular, we provide a class of Green’s functions and initial conditions such that (1.4) can be interpreted as a Fresnel integral.
For our purposes, it is convenient to view solutions (and their derivatives) in the context of absolutely continuous functions. Recall that for an interval \(I\subseteq {\mathbb {R}}\), a function \(f:I\rightarrow {\mathbb {C}}\) is said to be absolutely continuous, if there exists some \(g\in L^{1}_{\text {loc}}(I)\), such that
The linear space of absolutely continuous functions on I will be denoted by \({\text {AC}}(I)\). Observe that \(f\in {\text {AC}}(I)\) is differentiable almost everywhere and its derivative \(f'\) coincides with g in (3.1) almost everywhere. For \(T\in (0,\infty ]\) we shall work with the space
Let \(V:(0,T)\times {\mathbb {R}}\rightarrow {\mathbb {C}}\) be some potential and let \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) be some initial condition. We call a function \(\Psi \in {\text {AC}}_{1,2}((0,T)\times {\mathbb {R}})\) a solution of the time-dependent Schrödinger equation, if it satisfies
The corresponding Green’s function is a function \(G:(0,T)\times {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {C}}\) (which depends on the potential V, but is independent of the initial condition F), such that \(\Psi \) admits the representation
Next, we collect a set of assumptions on the Green’s function G which ensure that the wave function (3.4) is well-defined and a solution of the Cauchy problem (3.3). The precise formulation of this statement, and also the set of allowed initial conditions, is given in Theorem 3.4.
Assumption 3.1
Let \(T\in (0,\infty ]\) and consider a function
Let \(\Omega \subseteq {\mathbb {C}}\) be an open set, which contains the double sector \(S_\alpha \) defined in (2.13) for some \(\alpha \in (0,\frac{\pi }{2})\) and suppose that G admits a continuation to a function
such that \(z\mapsto G(t,x,z)\) is holomorphic on \(\Omega \) for every fixed \(t\in (0,T)\), \(x\in {\mathbb {R}}\). It will be assumed that the following properties (i)–(iv) hold.
- (i):
-
For every fixed \(z\in S_\alpha \) the function \(G(\,\cdot \,,\,\cdot \,,z)\in {\text {AC}}_{1,2}((0,T)\times {\mathbb {R}})\) is a solution of the time-dependent Schrödinger equation
$$\begin{aligned} i\frac{\partial }{\partial t}G(t,x,z)=\Big (-\frac{\partial ^2}{\partial x^2}+V(t,x)\Big )G(t,x,z)\quad \text {for a.e. }t\in (0,T),\,x\in {\mathbb {R}}.\nonumber \\ \end{aligned}$$(3.6) - (ii):
-
There exists \(a\in {\text {AC}}((0,T))\) with \(a(t)>0\) and \(\lim _{t\rightarrow 0^+}a(t)=\infty \), such that the function \({\widetilde{G}}\) in the decomposition
$$\begin{aligned} G(t,x,z)=e^{ia(t)(z-x)^2}{\widetilde{G}}(t,x,z),\qquad t\in (0,T),\,x\in {\mathbb {R}},\,z\in \Omega , \end{aligned}$$(3.7)satisfies
$$\begin{aligned} |{\widetilde{G}}(t,x,z)|\le A_0(t,x)e^{B_0(t,x)|z|},\qquad t\in (0,T),\,x\in {\mathbb {R}},\,z\in \Omega . \end{aligned}$$(3.8)Here, \(A_0,B_0:(0,T)\times {\mathbb {R}}\rightarrow [0,\infty )\) are nonnegative continuous functions, such that
$$\begin{aligned} \frac{A_0}{\sqrt{a}}\text { and }B_0\text { extend continuously to }[0,T)\times {\mathbb {R}}. \end{aligned}$$(3.9) - (iii):
-
For all \(x\in {\mathbb {R}}\) and \(z\in \Omega \), one has
$$\begin{aligned} \lim \limits _{t\rightarrow 0^+}\frac{{\widetilde{G}}(t,x,z)}{\sqrt{a(t)}}=\frac{1}{\sqrt{i\pi }}. \end{aligned}$$(3.10) - (iv):
-
There exist a nonnegative function \(A_1\in L^1_{\text {loc}}((0,T)\times {\mathbb {R}})\) and a nonnegative continuous function \(B_1:(0,T)\times {\mathbb {R}}\rightarrow [0,\infty )\), such that for every fixed \(t\in (0,T)\) the spatial derivatives of \({{\widetilde{G}}}\) and for every fixed \(x\in {\mathbb {R}}\) the time derivative of \({\widetilde{G}}\) are exponentially bounded, that is, the bounds
$$\begin{aligned} \Big |\frac{\partial }{\partial x}{\widetilde{G}}(t,x,z)\Big |,\,\Big |\frac{\partial ^2}{\partial x^2}{\widetilde{G}}(t,x,z)\Big |,\,\Big |\frac{\partial }{\partial t}{\widetilde{G}}(t,x,z)\Big |\le A_1(t,x)e^{B_1(t,x)|z|} \end{aligned}$$(3.11)hold for all \(z\in S_\alpha \).
We briefly comment on some of the conditions in Assumption 3.1 and refer the reader to Sect. 5 for explicit examples of Green’s functions that satisfy Assumption 3.1. In this context, we also point out that it is of particular interest to derive conditions on the potential V such that the corresponding Green’s function satisfies Assumption 3.1.
Remark 3.2
The assumption on the holomorphy of G on \(\Omega \) in the z-variable is needed to apply the Fresnel integral technique in Corollary 2.3. In explicit examples and applications, one typically starts with a Green’s function as in (3.5) and verifies that it admits a holomorphic continuation to \(G:(0,T)\times {\mathbb {R}}\times \Omega \rightarrow {\mathbb {C}}\). The crucial assumption that allows to apply the Fresnel integral method is the decomposition (3.7), where the exponential \(e^{ia(t)(z-x)^2}\) (quadratic in z) is separated from the remainder \({\widetilde{G}}\), which admits the (at most linear) exponential growth (3.8). The rotation of the integration path in (2.15) from the real line into the complex plane, turns the factor \(e^{ia(t)(z-x)^2}\) into a Gaussian which then dominates the linear exponential growth of \({\widetilde{G}}\) in the integral (3.4).
Remark 3.3
We do not explicitly require the Green’s function to converge to the delta distribution
In our situation, the counterpart of this standard assumption is the limit condition (3.10), which is the key ingredient to ensure the initial value (3.3b) of the wave function. For us, the limit condition (3.10) is convenient, since in examples it is often easier to check than (3.12).
The next theorem is the main result in the abstract part of this paper. It will be shown that under Assumption 3.1, the integral (3.4) is meaningful as a Fresnel integral and that the resulting function \(\Psi \) is a solution of the time-dependent Schrödinger equation (3.3).
Theorem 3.4
Let \(G:(0,T)\times {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {C}}\) be as in Assumption 3.1. Furthermore, let \(F:{\mathbb {R}}\rightarrow {\mathbb {C}}\) be some initial condition, which admits a holomorphic continuation to the complex domain \(\Omega \) from Assumption 3.1, and satisfies the estimate
for some \(A,B\ge 0\). Then, the wave function
exists and \(\Psi \in {\text {AC}}_{1,2}((0,T)\times {\mathbb {R}})\) is a solution of the Cauchy problem
Remark 3.5
If we replace the growth condition (3.8) in Assumption 3.1 (ii) by the stronger condition
and also replace (3.13) by the stronger condition
then it follows from Corollary 2.3 (ii) that the wave function (3.14) can be written in the equivalent form
We point out that the stronger growth condition (3.16) on the Green’s function is satisfied in all applications in Sect. 5. However, the growth condition (3.17) for the initial condition F is rather restrictive and it is desirable to allow also initial conditions that may be unbounded on the real line. See for example the type of initial conditions which arise naturally for the supershift property in Theorem 4.5.
Proof of Theorem 3.4
Step 1. In the first step, we apply Corollary 2.3, to show that the expression (3.14) for the wave function is meaningful. For this, we fix \(t\in (0,T)\), \(x\in {\mathbb {R}}\) and use the estimates (3.8) and (3.13) to get
Hence, due to the decomposition (3.7), the assumptions of Corollary 2.3 are satisfied, which means that the wave function (3.14) exists and admits the absolutely convergent representation
Step 2. We show that the function \(\Psi \) in (3.14) is a solution of the Schrödinger equation (3.15a). Roughly speaking, since G is already a solution of (3.6) by Assumption 3.1 (i), one needs to check that wave function (3.19) belongs to the space \({\text {AC}}_{1,2}((0,T)\times {\mathbb {R}})\) and that the derivatives can be carried inside the integral.
Note first, that \(G(\,\cdot \,,x,z)\in {\text {AC}}((0,T))\) for every \(x\in {\mathbb {R}}\), \(z\in \Omega \) by Assumption 3.1 (i) and hence for any \(t_0\in (0,T)\), we have
This leads to the following integral representation of the wave function (3.19)
Using the decomposition (3.7), we can write the derivative as
Then, we use (3.8), (3.11) and (3.13) to estimate the integrand in (3.20) by
Since the functions \(A_0(\,\cdot \,,x)\), \(B_0(\,\cdot \,,x)\), \(B_1(\,\cdot \,,x)\), \(a(\,\cdot \,)\) are continuous and \(a'(\,\cdot \,),A_1(\,\cdot \,,x)\in L^{1}_{\text {loc}}((0,T))\) by Assumption 3.1, it follows that the integrand in (3.20) is integrable on \([t_0,t]\). Moreover, the factor \(e^{-a(\tau )\sin (2\alpha )y^2}\) also implies integrability with respect to \(y\in {\mathbb {R}}\), and hence the integrand is absolutely integrable on \([t_0,t]\times {\mathbb {R}}\). Therefore, the order of integration in (3.20) can be interchanged and we obtain
In particular, this shows \(\Psi (\,\cdot \,,x)\in {\text {AC}}((0,T))\) and the derivative with respect to t exists almost everywhere and is given by
Using the same argument, also \(\Psi (t,\,\cdot \,)\) and \(\frac{\partial }{\partial x}\Psi (t,\,\cdot \,)\) are absolutely continuous, with spatial derivatives almost everywhere given by
This means \(\Psi \in {\text {AC}}_{1,2}((0,T)\times {\mathbb {R}})\) and from (3.6), we conclude that the Schrödinger equation (3.15a) is satisfied for a.e. \(t\in (0,T)\), \(x\in {\mathbb {R}}\).
Step 3. Now, we verify the initial condition (3.15b). For this, we fix \(x\in {\mathbb {R}}\) and split up the integral (3.14) as
where we have set
and \(y_1<0\) and \(y_2>0\) are chosen such that \(x\in (y_1,y_2)\). Starting with \(\Psi _2\), we use the fact that the shifted sector \(y_2+S_\alpha ^+\) is contained in \(S_\alpha ^+\). A similar estimate as in (3.18) shows that we may apply Corollary 2.2 (i) to \({\widetilde{G}}(t,x,y+y_2)F(y+y_2)\) and find
In this form, we can estimate \(\Psi _2(t,x)\) as
where, for a shorter notation, we used \(\Lambda (\xi ):= e^{\xi ^2}(1-{\text {erf}}(\xi ))\) as a modification of the well-known error function; for the computation of the integral see [4, Lemma 2.1]. According to Assumption 3.1 (ii), we know that \(\frac{A_0}{\sqrt{a}}\) and \(B_0\) remain finite for \(t\rightarrow 0^+\), and also that \(a\rightarrow \infty \) for \(t\rightarrow 0^+\). Therefore, since \(\lim _{\xi \rightarrow \infty }\Lambda (\xi )=0\), see [1, Formula 7.1.23], and \(x<y_2\) we conclude
In the same way, one verifies that
For the limit of \(\Psi _0\) for \(t\rightarrow 0^+\), we first note that due to the dominated convergence theorem, we can write
Using the derivative \(\frac{\mathrm{d}}{\mathrm{{d}}\xi }{\text {erf}}(\xi )=\frac{2}{\sqrt{\pi }}e^{-\xi ^2}\) of the error function together with the decomposition (3.7), we rewrite the integral as
Applying integration by parts then leads to the four terms
Due to the limit
of the error function [1, Formula 7.1.23], as well as the limit (3.10), we find for the first two terms in (3.24)
Consider now the fourth term in (3.24). Due to the estimate (3.8), we have
which is uniformly bounded for \(t\rightarrow 0^+\) by (3.9). Since also the error function \(\xi \mapsto {\text {erf}}(i\sqrt{i}\,\xi )\) is bounded on \({\mathbb {R}}\), there exists a t-uniform majorant, and hence, the limit can be carried inside the integral. This gives
For the third term in (3.24), we note that the compact interval \([y_1,y_2]\) is contained in the open set \(\Omega \). Hence, there exists some \(r>0\) such that for every \(y\in [y_1,y_2]\) the closed ball \(B_r(y)\) is contained in \(\Omega \). The Cauchy integral formula then gives
Due to (3.8), we can estimate the integrand as
and from (3.9), we see that it admits an t-independent upper bound near \(t=0^+\). Hence, we are allowed to carry the limit inside the integral and get
Moreover, by the representation (3.25) and the estimate (3.26), we get
Again, by (3.9), we obtain an integrable and t-independent upper bound of the third term in (3.24). Hence, we are allowed to carry the limit \(t\rightarrow 0^+\) inside the integral, which vanishes according to (3.27). Altogether this shows that (3.24) converges to
Together with (3.22) and (3.23), this finally proves the initial value (3.15b). \(\square \)
In the next theorem, we show that the solution \(\Psi \) of the Schrödinger equation depends continuously on the initial condition. Note that the assumed convergence (3.28) of the initial condition is stronger than the resulting uniform convergence on compact sets (3.29) at times \(t>0\). However, the stronger convergence (3.28) is justified, since this is the standard type of convergence in which superoscillations are normally treated, see for example (4.6). For convenience, we use the notation \(\Psi (t,x;F)\) to emphasize the initial condition.
Theorem 3.6
Let \(G:(0,T)\times {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {C}}\) be as in Assumption 3.1. Moreover, let \(F,(F_n)_n:{\mathbb {R}}\rightarrow {\mathbb {C}}\) be initial conditions which admit holomorphic extensions to \(\Omega \) and satisfy the growth condition (3.13) for some \(A,B,(A_n)_n,(B_n)_n\ge 0\). If the sequence \((F_n)_n\) converges as
for some \(C\ge 0\), then also the corresponding wave functions converge as
uniformly on compact subsets of \([0,T)\times {\mathbb {R}}\).
Proof
Since the double sector \(S_\alpha \) is contained in \(\Omega \), there exists for every \(x\in {\mathbb {R}}\) some \(\beta (x)\in (0,\alpha ]\), continuously depending on x, such that the shifted double sector \(x+S_{\beta (x)}\) is contained in \(\Omega \). In the same way as in (3.19), we get the representation
If we define
from (3.28), we can use (3.7) and (3.8) to estimate
where the analytic value of the last integral is similar to the one in (3.21). Since \(L_n\overset{n\rightarrow \infty }{\longrightarrow }0\) by (3.28) and the right-hand side is continuous in t and x by (3.9) and the continuity of \(\beta \), it follows that the convergence (3.29) is uniform on compact subsets of \([0,T)\times {\mathbb {R}}\). \(\square \)
4 Supershifts and superoscillations
The aim of this section is to investigate the time evolution of superoscillations and the supershift property of the solution \(\Psi \) of the one-dimensional Schrödinger equation (3.3). As already mentioned in the introduction, the main novelty of our unified approach, with respect to the existing literature, is, that we are able to consider potentials, where the explicit form of the Green’s function is not known. Instead, our results are only based on the regularity and growth conditions on the Green’s functions, see Assumption 3.1.
We start with the abstract definition of a supershift and explain its usefulness and meaning afterwards.
Definition 4.1
(Supershift). Let \({\mathcal {O}},{\mathcal {U}}\subseteq {\mathbb {C}}\) such that \({\mathcal {U}}\subsetneqq {\mathcal {O}}\). Let X be a metric space and consider a family
of complex valued functions. We say that a sequence of functions \((\Phi _n)_n\) of the form
with coefficients \(C_l(n)\in {\mathbb {C}}\), \(\kappa _l(n)\in {\mathcal {U}}\), admits a supershift, if there exists some \(\kappa \in {\mathcal {O}}{\setminus }{\mathcal {U}}\), such that
converges uniformly on compact subsets of X.
Remark 4.2
If the sequence \((\Phi _n)_n\) in (4.2) admits a supershift, then the values of \(\varphi _\kappa \) for some \(\kappa \in {\mathcal {O}}\), outside the smaller set \({\mathcal {U}}\), can be calculated by only using values \(\varphi _{\kappa _l(n)}\) at the points \(\kappa _l(n)\) inside \({\mathcal {U}}\). Hence, informally speaking, when considering the mapping \(\kappa \mapsto \varphi _\kappa \) in the \(\kappa \)-variable there is a breeze of analyticity in the air, see also Theorem 4.7 and Corollary 4.8.
Next, we discuss a standard example for the supershift property, see also the example (1.2) in the introduction, as well as Remark 4.4 for the connection to the notion of superoscillations.
Example 4.3
Let \(X={\mathbb {C}}\) and consider for every \(\kappa \in {\mathcal {O}}={\mathbb {C}}\) the exponentials
Let furthermore \({\mathcal {U}}=[-1,1]\) and \(\kappa \in {\mathcal {O}}{\setminus } {\mathcal {U}}\) be arbitrary. In [36, Lemma 2.4] it was shown that with the coefficients
the sequence of functions
converges as
uniformly on compact subsets of \({\mathbb {C}}\), that is, for any \(\kappa \in {\mathbb {C}}{\setminus }[-1,1]\), the sequence \((\Phi _n)_n\) admits a supershift. Moreover, according to [36, Theorem 2.1], one even has the stronger convergence
for some \(C\ge 0\), which agrees with the assumption (3.28) in Theorem 3.6.
In the next remark, we explain the connection between the notion of supershift in Definition 4.1 and the concept of superoscillations, which has attracted a lot of attention in the physical and mathematical literature, see the references mentioned in the introduction. Below, we use the definition of superoscillations from [4, 11].
Remark 4.4
(Superoscillations). Sequences of the form
with coefficients \(C_j(n)\in {\mathbb {C}}\), \(k_j(n)\in {\mathbb {R}}\), are often called generalized Fourier sequences. Note that with \(\varphi _k(x)=e^{ikx}\), \(x\in {\mathbb {R}}\), as in Example 4.3, this agrees with the functions in (4.2). The generalized Fourier sequence (4.7) is said to be superoscillating if there exists some \({\tilde{k}}\in {\mathbb {R}}\) such that
and there exists a compact subset \(K\subset {\mathbb {R}}\), called superoscillation set, such that
cf. [4, Definition 5.1]. Note that the sequence \((\Phi _n)_n\) converges to a plane wave \(e^{i{\tilde{k}}x}\) with frequency \(|{\tilde{k}}|>k'\), that is, the shift in the k-variable is manifested in a shift of the frequencies, which leads to the terminology superoscillations. Observe that superoscillations can be viewed as a special case of the supershift in Definition 4.1 by choosing
In fact, the supershift property is heavily inspired by the concept of superoscillations and Definition 4.1 is designed in such a way that it applies to the time evolution of solutions of the Schrödinger equation subject to superoscillatory initial data.
The first main result of this section is Theorem 4.5 on the supershift property of the solution of the Schrödinger equation, which can be viewed as a corollary of the continuous dependence result from Theorem 3.6. Roughly speaking, we consider a family of initial conditions that admits a supershift (with respect to a slightly stronger form of convergence as in Definition 4.1) and conclude that the corresponding solutions of the Schrödinger equation admit a similar type of supershift; see also Remark 4.6.
Theorem 4.5
(Supershift property). Let \(G:(0,T)\times {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {C}}\) and \(\Omega \) be as in Assumption 3.1, let \({\mathcal {O}},{\mathcal {U}}\subseteq {\mathbb {C}}\) with \({\mathcal {U}}\subsetneqq {\mathcal {O}}\), and consider a family of analytic functions \(\varphi _\kappa :\Omega \rightarrow {\mathbb {C}}\) with \(\kappa \in {\mathcal {O}}\) that satisfy the estimate
for some \(A(\kappa ),B(\kappa )\ge 0\) continuously depending on \(\kappa \). If a sequence of initial conditions \((F_n)_n\) of the form
with coefficients \(C_l(n)\in {\mathbb {C}}\), \(\kappa _l(n)\in {\mathcal {U}}\), converges as
for some \(C\ge 0\), to some \(\varphi _\kappa \) with \(\kappa \in {\mathcal {O}}{\setminus }{\mathcal {U}}\), then the sequence of solutions of the Schrödinger equation converges as
uniformly on compact subsets of \([0,T)\times {\mathbb {R}}\).
Proof of Theorem 4.5
The fact that the convergence (4.11) leads to the convergence (4.12), was already proven in Theorem 3.6. Moreover, splitting the solutions \(\Psi (t,x;F_n)\) into the given linear combination is allowed due to the linearity of the Schrödinger equation with respect to the initial condition, i.e.
\(\square \)
Remark 4.6
Since the convergence (4.11) implies uniform convergence on all compact subsets of \(\Omega \), it is clear that the initial conditions \((F_n)_n\) in (4.10) admit the supershift property of Definition 4.1 with respect to the metric space \(X=\Omega \). Furthermore, with the metric space \(X=[0,T)\times {\mathbb {R}}\) and the functions (4.1) as \(\phi _\kappa (t,x):=\Psi (t,x;\varphi _\kappa )\), we are again in the setting of Definition 4.1. The convergence (4.12) shows that the sequence \((\Psi (t,x;F_n))_n\) admits a supershift with respect to the functions \(\phi _\kappa \) in the metric space \([0,T)\times {\mathbb {R}}\).
In the next result, we continue the theme of Theorem 4.5 and return to the analyticity issue mentioned in Remark 4.2. In fact, the following Theorem 4.7 shows that analyticity in the \(\kappa \)-variable in the initial condition implies analyticity in the \(\kappa \)-variable in the wave function.
Theorem 4.7
Let \(G:(0,T)\times {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {C}}\) and \(\Omega \) be as in Assumption 3.1, let \({\mathcal {O}}\subseteq {\mathbb {C}}\) be an open set, and consider a family of analytic functions \(\varphi _\kappa :\Omega \rightarrow {\mathbb {C}}\) with \(\kappa \in {\mathcal {O}}\) that satisfy the estimate
for some \(A(\kappa ),B(\kappa )\ge 0\) continuously depending on \(\kappa \), and let \(\Psi (t,x;\varphi _\kappa )\) be the corresponding solution of the Schrödinger equation. If for every \(z\in \Omega \) the mapping
is holomorphic, then for every fixed \(t\in (0,T)\), \(x\in {\mathbb {R}}\), the mapping
is holomorphic as well.
Proof
Fix \(t\in (0,T)\), \(x\in {\mathbb {R}}\). Then for any triangle \(\Delta \subseteq {\mathcal {O}}\), we have the path integral
due to the representation (3.19) of the wave function. Here, \(\alpha \in (0,\frac{\pi }{2})\) is the angle of the double sector \(S_\alpha \) in Assumption 3.1. In order to interchange the order of integration, we have to prove absolute integrability of the double integral. Firstly, the estimate
follows from (3.7), (3.8) and (4.13) and shows that the y-integral is absolutely convergent. Moreover, the coefficients \(A(\kappa ),B(\kappa )\) are assumed to be continuous and hence this upper bound can be uniformly estimated on the compact triangle \(\Delta \). This means that the right hand side of (4.15) can be estimated by some \(\kappa \)-independent and y-integrable upper bound. Hence, the double integral (4.14) is absolutely convergent, and we are allowed to interchange the order of integration and get
Since the mapping \(\mathcal O\ni \kappa \mapsto \varphi _\kappa (ye^{i\alpha })\) is holomorphic the path integral along \(\Delta \) vanishes, and we get
Due to the Theorem of Morera this implies analyticity of \({\mathcal {O}}\ni \kappa \mapsto \Psi (t,x;\varphi _\kappa )\). \(\square \)
In order to appreciate our main results, the following corollary shows how the above Theorems 4.5 and 4.7 combine in the special case \(\varphi _\kappa (z)=e^{i\kappa z}\) from Example 4.3, which are also the basic functions of superoscillations in Remark 4.4.
Corollary 4.8
Let \(G:(0,T)\times {\mathbb {R}}\times {\mathbb {R}}\rightarrow {\mathbb {C}}\) be as in Assumption 3.1 and consider the exponentials \(\varphi _\kappa (z)=e^{i\kappa z}\), \(\kappa ,z\in {\mathbb {C}}\), as in Example 4.3. If for any \(\kappa \in {\mathbb {C}}{\setminus }[-1,1]\) we choose the coefficients \(C_l(n)\) and \(\kappa _l(n)\) as in (4.4), then the sequence of solutions \((\Psi (t,x;F_n))_n\) of the Schrödinger equation with initial condition
converges as
uniformly on compact subsets of \([0,T)\times {\mathbb {R}}\), that is, \((\Psi (t,x;F_n))_n\) admits a supershift. Moreover, for every fixed \(t\in (0,T)\), \(x\in {\mathbb {R}}\), the mapping
is analytic.
Proof
According to (4.6), the initial conditions \((F_n)_n\) converge as
for some \(C\ge 0\). Hence, it follows from Theorem 4.5 that the sequence of solutions \((\Psi (t,x;F_n))_n\) converges as (4.17) uniformly on compact subsets of \([0,T)\times {\mathbb {R}}\). Moreover, since the mapping \({\mathbb {C}}\ni \kappa \mapsto e^{i\kappa z}\) is analytic for every fixed \(z\in {\mathbb {C}}\), it follows from Theorem 4.7 that also the mapping
is analytic for every fixed \(t\in (0,T)\), \(x\in {\mathbb {R}}\). \(\square \)
5 Some applications of the main results
We are now in the position to apply the results of the previous sections to the time-dependent one-dimensional Schrödinger equation with specific potentials. Here, we consider the case of the free particle, the time-dependent uniform electric field, the time-dependent harmonic oscillator, and the Pöschl–Teller potential. In particular, we formulate a variant of Theorem 4.5. The proof of Theorem 5.1 is direct; in fact, for each potential, we derive the Green’s function and verify Assumption 3.1. From our discussion below, it is also immediate that for each of the following potentials (I)–(IV), the representation of the wave function in Theorem 3.4, the continuous dependency on the initial value in Theorem 3.6, and the analyticity property in Theorem 4.7 hold.
We also refer the reader to [8] for the free particle, [12] for the constant electric field and [16, 32, 36] for the harmonic oscillator that are included in our general setting, while the Pöschl–Teller potential is treated here for the first time. The difference with respect to the previous literature is that the initial condition considered here is not necessarily a superoscillatory function but a supershift.
Theorem 5.1
Consider the time-dependent Schrödinger equation
assume that the potential V in (5.1a) is one of the following:
- (I):
-
\(V(t,x)=0\),
- (II):
-
\(V(t,x)=\lambda (t)x\) with \(\lambda :[0,\infty )\rightarrow {\mathbb {R}}\) continuous,
- (III):
-
\(V(t,x)=\lambda (t)x^2\) with \(\lambda :[0,\infty )\rightarrow {\mathbb {R}}\) continuous,
- (IV):
-
\(V(t,x)=-\frac{l(l+1)}{\cosh ^2(x)}\) for some \(l\in {\mathbb {N}}\).
Moreover, with \({\mathcal {O}},{\mathcal {U}}\subseteq {\mathbb {C}}\) such that \({\mathcal {U}}\subsetneqq {\mathcal {O}}\), and \(\Omega \subseteq {\mathbb {C}}\) some open set containing the double sector \(S_\alpha \) from (2.13) for some \(\alpha \in (0,\frac{\pi }{2})\), we consider a family of analytic functions \(\varphi _\kappa :\Omega \rightarrow {\mathbb {C}}\), \(\kappa \in {\mathcal {O}}\), and initial conditions of the form
where \(C_l(n)\in {\mathbb {C}}\), \(\kappa _l(n)\in {\mathcal {U}}\). If we assume that
for some \(C\ge 0\) and \(\varphi _\kappa \) with \(\kappa \in {\mathcal {O}}{\setminus }{\mathcal {U}}\), then there exists \(T\in (0,\infty ]\) such that the sequence of solutions of (5.1) converge as
uniformly on compact subsets of \([0,T)\times {\mathbb {R}}\).
We point out that Theorem 5.1 shows (similarly as Theorem 4.5 and Remark 4.6) that for the potentials (I)–(IV), the supershift property of the initial datum \((F_n)_n\), with the stronger convergence (5.3), carries over to a supershift property of the solutions \((\Psi (t,x;F_n))_n\). Indeed, the convergence (5.3) implies the uniform convergence on all compact subsets of \(\Omega \). Hence, \((F_n)_n\) admits a supershift according to Definition 4.1 in the metric space \(X=\Omega \) with respect to the functions \(\varphi _\kappa \). Furthermore, the convergence (5.4) shows the supershift property of the wave functions \((\Psi (t,x;F_n))_n\) in the metric space \(X=[0,T)\times {\mathbb {R}}\) with respect to the functions \(\phi _\kappa (t,x):=\Psi (t,x;\varphi _\kappa )\).
For the proof of Theorem 5.1, the Green’s functions for the respective potentials (I)–(IV) are investigated in the following paragraphs. The first potential is the free particle, where it is almost obvious that Assumption 3.1 is satisfied.
5.1 (I) Free particle \(V(t,x)=0\)
We show that in this case the Green’s function
satisfies Assumption 3.1 with \(T=\infty \). First of all it is clear that for every \(t\in (0,\infty )\) and \(x\in {\mathbb {R}}\), we can extend \(G(t,x,\,\cdot \,)\) to an entire function by simply replacing \(y\rightarrow z\). A direct computation shows that G satisfies the differential equation (3.6). Moreover, the Green’s function admits the decomposition (3.7) with
The bound (3.8) and the extension properties (3.9) are satisfied with the choices
It is also clear that the limit condition (3.10) holds and the estimates for the derivatives in (3.11) follow immediately from the explicit form of \({\widetilde{G}}\).
5.2 (II) Time-dependent uniform electric field \(V(t,x)=\lambda (t)x\)
It will be assumed that \(\lambda :[0,\infty )\rightarrow {\mathbb {R}}\) is continuous. This type of potential was already investigated with respect to the time persistence of superoscillations; cf. [12, Theorem 3.6]. In the present setting, the Green’s function is of the form
where the coefficients \(\alpha ,\beta :[0,\infty )\rightarrow {\mathbb {R}}\) are the solutions of the ordinary differential equations
with initial conditions \(\alpha (0)=\beta (0)=\lim _{t\rightarrow 0^+}t\alpha '(t)=0\). It will be shown that G satisfies Assumption 3.1 with \(T=\infty \). As above, it is clear that for \(t\in (0,\infty )\) and \(x\in {\mathbb {R}}\), one can extend \(G(t,x,\,\cdot \,)\) to an entire function by simply replacing \(y\rightarrow z\). Differentiation and the use of the differential equations (5.7) show that G is indeed a solution of (3.6). Moreover, the Green’s function admits the decomposition (3.7) with
It follows that the bound (3.8) and the extension properties (3.9) are satisfied with the choices
Using the initial conditions of the coefficients \(\alpha \) and \(\beta \), one easily verifies that the limit condition (3.10) holds. Finally, when computing the derivatives \(\frac{\partial }{\partial x}{\widetilde{G}}\), \(\frac{\partial ^2}{\partial x^2}{\widetilde{G}}\), \(\frac{\partial }{\partial t}{\widetilde{G}}\), one obtains functions of the form
where P(t, x, z) is continuous in t and x, and a polynomial in the z-variable. In this form it is not difficult to see that the derivatives can be estimated as in (3.11).
5.3 (III) Time-dependent harmonic oscillator \(V(t,x)=\lambda (t)x^2\)
It will be assumed that \(\lambda :[0,\infty )\rightarrow {\mathbb {R}}\) is continuous. In contrast to the potentials (I) and (II), it turns out that the expression for the Green’s function for the harmonic oscillator may only be valid on a finite time interval (0, T). It is of the form
where the coefficients \(\alpha ,\beta \) are the solutions of the ordinary differential equations
with initial conditions \(\alpha (0)=\beta '(0)=0\) and \(\beta (0)=\alpha '(0)=1\). It will be shown that G satisfies Assumption 3.1 with \(T>0\) chosen as the smallest positive zero of either \(\alpha \) or \(\beta \), \(T=\infty \) if \(\alpha \) and \(\beta \) have no positive zeros. With this choice of T it follows from the initial conditions that \(\alpha (t)>0\) and \(\beta (t)>0\) for \(t\in (0,T)\). Again it is clear that for every \(t\in (0,T)\) and \(x\in {\mathbb {R}}\), one can extend \(G(t,x,\,\cdot \,)\) to an entire function by simply replacing \(y\rightarrow z\). Note that \(\alpha \) and \(\beta \) are linearly independent solutions of the differential equation (5.9) and hence the Wronskian has the constant value
Using this and (5.9) one verifies by a straightforward computation that G is a solution of (3.6). Moreover, the Green’s function admits the decomposition (3.7) with
The bound (3.8) is satisfied with the choices
Using \(\beta (0)=1\) and
it follows that the extension properties (3.9) hold. Using \(\beta (0)=1\), the limit (5.10), as well as
one verifies that the limit condition (3.10) is satisfied. Finally, when computing the derivatives \(\frac{\partial }{\partial x}{\widetilde{G}}\), \(\frac{\partial ^2}{\partial x^2}{\widetilde{G}}\), \(\frac{\partial }{\partial t}{\widetilde{G}}\), one obtains functions of the form
where P(t, x, z) is continuous in t and x, and a polynomial in the z-variable. In this form, it is not difficult to see that the derivatives can be estimated as in (3.11).
Remark 5.2
For the special case of a time-independent harmonic oscillator, this potential was already investigated with respect to the evolution of superoscillations in [36, Proposition 5.2]. The above considerations can be viewed as a time-dependent generalization of the earlier results. Note that in the particular situation \(V(t,x)=\omega ^2x^2\) with \(\omega >0\), the Green’s function (5.8) reduces to
and for \(V(t,x)=-\omega ^2x^2\) with \(\omega >0\), the Green’s function (5.8) becomes
5.4 (IV) Pöschl–Teller potential \(V(t,x)=-\frac{l(l+1)}{\cosh ^2(x)}\), \(l\in {\mathbb {N}}\)
For the Pöschl–Teller potential, it turns out that the Green’s function cannot be extended to the whole complex plane, due to singularities on the imaginary axis. For \(x,y\in {\mathbb {R}}\) and \(t>0\), the Green’s function is given by
where we use the function
with \(\Lambda (z):= e^{z^2}(1-{\text {erf}}(z))\) a modification of the error function,
and \(P_l^m\) the associated Legendre polynomials. This Green’s function can for example be found in [39, Section 6.6.3]. It follows from the Legendre differential equation [1, Eq. 8.1.1] that \(Q_l^m\) satisfies
Due to the representations [1, Equations 8.6.6 & 8.6.18], we know that the associated Legendre polynomials are of the form
From this, it follows that also \(Q_l^m\) is of the form
In particular, it is possible to extend \(Q_l^m\) and hence also \(G(t,x,\,\cdot \,)\) analytically to the complex domain \({\mathbb {C}}{\setminus } i\pi ({\mathbb {Z}}+\frac{1}{2})\), where only the zeros of the function \(\cosh \) were excluded, that is, we consider G(t, x, z) in (5.11) with y replaced by \(z\in {\mathbb {C}}{\setminus } i\pi ({\mathbb {Z}}+\frac{1}{2})\). Moreover, it can easily be checked that
If one uses the derivatives (5.13) and (5.15) together with the identity
for the Legendre polynomials, a straightforward (but long and technical) computation shows that (5.11) satisfies the Schrödinger equation (3.6).
The Green’s function admits the decomposition (3.7) with \(a(t)=\frac{1}{4t}\) and
Now let us assume that the domain \(\Omega \) of Theorem 5.1 has a positive distance to the poles \(i\pi ({\mathbb {Z}}+\frac{1}{2})\). If not, we can always shrink it, such that it has positive distance to \(i\pi ({\mathbb {Z}}+\frac{1}{2})\) and still contains the double sector \(S_\alpha \), e.g. by taking the intersection with
Since the domain \(\Omega \) now has positive distance to the zeros of \(\cosh (z)\), we can use
to estimate
for some \(A_l^m,B_l^m\ge 0\). Due to the properties [4, Lemma 2.1] of the function \(\Lambda \), we can also estimate (5.12) as
to verify this inequality, it suffices to consider \({\text {Re}}(z)+{\text {Im}}(z)\ge 0\) due to the symmetry \(R(t,-z)=R(t,z)\) and to use the estimate as well as the monotonicity of \(\Lambda \). Summing up, we conclude that for \(t>0\), \(x\in {\mathbb {R}}\) and \(z\in \Omega \), the function \({\widetilde{G}}\) can be estimated as
from which the bound (3.8) follows if we choose the coefficients
Using \(\Lambda (0)=1\), it is not difficult to see that these coefficients can be continuously extended as in (3.9). For the limit (3.10), we use the asymptotics
which follows from [4, Lemma 2.1]. Finally, using the derivative of the function \(\Lambda \) from [4, Lemma 2.1] and the fact that \(Q_l^m\) contains only powers of the functions \(\cosh \) and \(\sinh \), as well as the inequalities (5.16) and (5.17), one can show that also the derivatives of \({\widetilde{G}}\) are exponentially bounded as required in (3.11).
References
M. Abramowith, I. A. Stegun, Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, National Bureau of Standards, Applied Mathematics Series 55, 10th Edition (1972).
Y. Aharonov, D. Albert, L. Vaidman, How the result of a measurement of a component of the spin of a spin-1/2 particle can turn out to be 100, Phys. Rev. Lett., 60 (1988), 1351–1354.
Y. Aharonov, J. Behrndt, F. Colombo, P. Schlosser, Schrödinger evolution of superoscillations with\(\delta \)- and\(\delta ^{\prime }\)-potentials, Quantum Stud. Math. Found., 7 (2020), no. 3, 293–305.
Y. Aharonov, J. Behrndt, F. Colombo, P. Schlosser, Green’s function for the Schrödinger Equation with a Generalized Point Interaction and Stability of Superoscillations, J. Differential Equations, 277 (2021), 153–190.
Y. Aharonov, F. Colombo, S. Nussinov, I. Sabadini, D.C. Struppa, J. Tollaksen, Superoscillation phenomena in\(SO(3)\), Proc. Royal Soc. A., 468 (2012), 3587–3600.
Y. Aharonov, F. Colombo, I. Sabadini, D.C. Struppa, J. Tollaksen, Some mathematical properties of superoscillations, J. Phys. A, 44 (2011), 365304 (16pp).
Y. Aharonov, F. Colombo, I. Sabadini, D. C. Struppa, J. Tollaksen, S. Tomer, A new method to generate superoscillating functions and supershifts, Proc. A., 477 (2021), no. 2249, Paper No. 20210020, 12 pp.
Y. Aharonov, F. Colombo, I. Sabadini, D.C. Struppa, J. Tollaksen, On the Cauchy problem for the Schrödinger equation with superoscillatory initial data, J. Math. Pures Appl., 99 (2013), 165–173.
Y. Aharonov, F. Colombo, I. Sabadini, D.C. Struppa, J. Tollaksen, Superoscillating sequences as solutions of generalized Schrödinger equations, J. Math. Pures Appl., 103 (2015), 522–534.
Y. Aharonov, F. Colombo, I. Sabadini, D.C. Struppa, J. Tollaksen, Superoscillating sequences in several variables, J. Fourier Anal. Appl., 22 (2016), 751–767.
Y. Aharonov, F. Colombo, I. Sabadini, D.C. Struppa, J. Tollaksen, The mathematics of superoscillations, Mem. Amer. Math. Soc., 247 (2017), no. 1174, v+107 pp.
Y. Aharonov, F. Colombo, I. Sabadini, D. C. Struppa, J. Tollaksen, Evolution of superoscillatory initial data in several variables in uniform electric field, J. Phys. A: Math. Theor., 50 (2017) 185201.
Y. Aharonov, F. Colombo, I. Sabadini, D.C. Struppa, J. Tollaksen, Evolution of superoscillations in the Klein-Gordon field, Milan J. Math., 88 (2020), no. 1, 171–189.
Y. Aharonov, F. Colombo, D.C. Struppa, J. Tollaksen, Schrödinger evolution of superoscillations under different potentials, Quantum Stud. Math. Found., 5 (2018), 485–504.
Y. Aharonov, D. Rohrlich, Quantum Paradoxes: Quantum Theory for the Perplexed, Wiley-VCH Verlag, Weinheim, 2005.
D. Alpay, F. Colombo, I. Sabadini, D.C. Struppa, Aharonov-Berry superoscillations in the radial harmonic oscillator potential, Quantum Stud. Math. Found., 7 (2020), 269–283.
T. Aoki, R. Ishimura, Y. Okada, D. C. Struppa, S. Uchida, Characterisation of continuous endomorphisms of the space of entire functions of a given order, Complex Var. Elliptic Equa., https://doi.org/10.1080/17476933.2020.1767086.
Y. Aharonov, I. Sabadini, J. Tollaksen, A. Yger, Classes of superoscillating functions, Quantum Stud. Math. Found., 5 (2018), 439–454.
Y. Aharonov, L. Vaidman, Properties of a quantum system during the time interval between two measurements, Phys. Rev. A, 41 (1990), 11–20.
T. Aoki, F. Colombo, I. Sabadini, D. C. Struppa, Continuity of some operators arising in the theory of superoscillations, Quantum Stud. Math. Found., 5 (2018), 463–476.
T. Aoki, F. Colombo, I. Sabadini, D.C. Struppa, Continuity theorems for a class of convolution operators and applications to superoscillations, Ann. Mat. Pura Appl., 197 (2018), 1533–1545.
J. Behrndt, F. Colombo, P. Schlosser, Evolution of Aharonov–Berry superoscillations in Dirac\(\delta \)-potential, Quantum Stud. Math. Found., 6 (2019), 279–293.
M.V. Berry et al, Roadmap on superoscillations, 2019, Journal of Optics 21 053002.
M.V. Berry, Faster than Fourier, in Quantum Coherence and Reality; in celebration of the 60th Birthday of Yakir Aharonov ed. J. S. Anandan and J. L. Safko, World Scientific, Singapore, (1994), pp. 55–65.
M.V. Berry, Superoscillations, endfire and supergain in Quantum Theory: a Two-time Success Story: Yakir Aharonov Festschrift, D. Struppa, and J. Tollaksen, editors (Springer,New York), pp. 327–336.
M.V. Berry, Evanescent and real waves in quantum billiards and Gaussian beams, J. Phys. A. 27 (1994), 391.
M.V. Berry, Exact nonparaxial transmission of subwavelength detail using superoscillations, J. Phys. A 46, (2013), 205203.
M.V. Berry, Representing superoscillations and narrow Gaussians with elementary functions, Milan J. Math., 84 (2016), 217–230.
M.V. Berry, M.R. Dennis, Natural superoscillations in monochromatic waves in D dimension, J. Phys. A, 42 (2009), 022003.
M.V. Berry, S. Popescu, Evolution of quantum superoscillations, and optical superresolution without evanescent waves, J. Phys. A, 39 (2006), 6965–6977.
M.V. Berry, P. Shukla, Pointer supershifts and superoscillations in weak measurements, J. Phys A, 45 (2012), 015301.
R. Buniy, F. Colombo, I. Sabadini, D.C. Struppa, Quantum harmonic oscillator with superoscillating initial datum, J. Math. Phys. 55, 113511 (2014).
F. Colombo, J. Gantner, D.C. Struppa, Evolution of superoscillations for Schrödinger equation in a uniform magnetic field, J. Math. Phys., 58 (2017), no. 9, 092103, 17 pp.
F. Colombo, I. Sabadini, D.C. Struppa, A. Yger, Superoscillating sequences and hyperfunctions, Publ. Res. Inst. Math. Sci., 55 (2019), 665–688.
F. Colombo, I. Sabadini, D.C. Struppa, A. Yger, Gauss sums, superoscillations and the Talbot carpet, J. Math. Pures Appl., (9) 147 (2021), 163–178.
F. Colombo, I. Sabadini, D.C. Struppa, A. Yger, Superoscillating sequences and supershifts for families of generalized functions, Preprint, arXiv:1912.01057.
P.J.S.G. Ferreira, A. Kempf, Unusual properties of superoscillating particles, J. Phys. A, 37 (2004), 12067-76.
P.J.S.G. Ferreira, A. Kempf, Superoscillations: faster than the Nyquist rate, IEEE Trans. Signal Processing, 54 (2006), 3732–3740.
C. Grosche, F. Steiner, Handbook of Feynmann Path Integrals, Springer Tracts in Modern Physics, Vol. 145 (1998).
A. Kempf, Four aspects of superoscillations, Quantum Stud. Math. Found., 5 (2018), 477–484.
D.G. Lee, P.J.S.G. Ferreira, Superoscillations with optimal numerical stability, IEEE Sign. Proc. Letters 21 (12) (2014), 1443–1447.
J. Lindberg, Mathematical concepts of optical superresolution, Journal of Optics, 14 (2012), 083001.
G. Toraldo di Francia, Super-gain antennas and optical resolving power, Nuovo Cimento Suppl., 9 (1952), 426–438.
Acknowledgements
We are indebted to the anonymous referees for helpful suggestions and improvements. J. Behrndt and P. Schlosser gratefully acknowledge financial support by the Austrian Science Fund (FWF): P 33568-N. This publication is based on work from COST Action CA 18232 MAT-DYN-NET, supported by COST (European Cooperation in Science and Technology), www.cost.eu.
Funding
Open access funding provided by Graz University of Technology.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Aharonov, Y., Behrndt, J., Colombo, F. et al. A unified approach to Schrödinger evolution of superoscillations and supershifts. J. Evol. Equ. 22, 26 (2022). https://doi.org/10.1007/s00028-022-00770-1
Accepted:
Published:
DOI: https://doi.org/10.1007/s00028-022-00770-1