Abstract
In quantum mechanics, superoscillations, or the more general supershifts, appear as initial conditions of the time-dependent Schrödinger equation. Already in [5], a unified approach was developed, which yields time persistence of the supershift property under certain holomorphicity and growth assumptions on the corresponding Green’s function. While that theory considers the Schrödinger equation on the whole real line \({\mathbb {R}}\), this paper takes the natural next step and considers \(\mathbb {R}\setminus \{0\}\), while allowing boundary conditions at \(x=0^\pm \). In particular, the singular \(\frac{1}{x^2}\)-potential as well as the very important \(\delta \) and \(\delta '\) distributional potentials are covered.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Superoscillations are functions with the paradoxical behavior to (locally) oscillate faster than their largest Fourier component. The standard example which illustrates this behavior is the sequence of functions
with coefficients
where \(n\in {\mathbb {N}}_0\) and \(k\in {\mathbb {R}}\setminus [-1,1]\). In particular that F is a certain linear combination of plane waves with frequencies \(k_j\in [-1,1]\). The superoscillatory behavior now comes from the fact that
converges to a plane wave with frequency \(|k|>1\). Note that the convergence (1.3) is understood in the space \({\mathcal {A}}_1({\mathbb {C}})\), see [17, Lemma 2.4] and Definition 3.2, which in particular implies uniform convergence on every compact subset of \({\mathbb {R}}\). What happens is an almost destructive interference of the plane waves \(C_je^{ik_jx}\) with small frequencies \(k_j\in [-1,1]\) but large amplitudes \(C_j\sim |k|^n\), which leaves a remainder of the form \(e^{ikx}\) with the small amplitude 1 but high frequency \(|k|>1\).
In connection with quantum mechanics, these functions mainly come as the initial condition of the time-dependent Schrödinger equation
for some potential \(V:(0,T)\times {\mathbb {R}}\rightarrow {\mathbb {C}}\). The question now is the superoscillatory behavior of the solution \(\Psi (t,x)\) at later times \(t>0\).
The first one addressing this problem was M. Berry who in [12] shows that for free particles, the superoscillatory behavior occurs within a region \(|x|<{\mathcal {O}}(n)\) and within a time \(t<{\mathcal {O}}(n)\). In particular in the limit \(n\rightarrow \infty \) this property is preserved everywhere and for all times. Thereafter, also for nonvanishing potentials the time persistence of superoscillations was proven, as for the harmonic oscillator in [8,9,10, 13, 14, 17], the electric field in [6, 8, 10, 13], the magnetic field in [8, 15], the centrifugal potential in [8, 9, 16, 17], the step potential in [7] and distributional potentials as \(\delta \) and \(\delta '\) in [3, 4, 11]. It was also realized in [17] that the precise definition of superoscillations is for general potentials too narrow to persist in time. Hence, superoscillations were generalized to supershifts as a consequence.
However, up to this point, only specific potentials were investigated, in particular cases where the corresponding Green’s function was know explicitly. The first unified approach on the time persistence of supershifts, which only requires qualitative properties of the Green’s function and no longer its explicit form, was given in [5] for regular potentials V(t, x), i.e., the Schrödinger equation (1.4a) is defined for all \(x\in {\mathbb {R}}\). The topic of this paper is to continue this argument by considering the Schrödinger equation for \(x\in {\mathbb {R}}\setminus \{0\}\) only, but additionally allow boundary conditions at \(x=0^\pm \), i.e., we consider the time-dependent Schrödinger equation
where \(V:(0,T)\times {\mathbb {R}}\setminus \{0\}\rightarrow {\mathbb {C}}\) is the potential and \(M,N\in {\mathbb {C}}^{2\times 2}\) describe the boundary conditions at \(x=0^\pm \). In particular, potentials with singularities, as for example \(V(t,x)\sim \frac{1}{x^2}\), as well as distributional potentials as \(\delta (x)\) or \(\delta '(x)\) are covered by this approach. The key ingredient in the proof of the time persistence will be the representation
via the corresponding Green’s function G. The way how the integral (1.6) will be interpreted is the main topic of the upcoming Sect. 2.
2 Fresnel integrals
In this section, we develop the so called Fresnel integral technique, which will be the way to interpret the integral (1.6). Roughly speaking, it is a method to make sense of integrals of the form
also in situations where the function f itself is not integrable. The basic idea is to use the Cauchy theorem to rotate the domain of integration into the complex plain and consequently make the oscillating prefactor \(e^{iy^2}\) a Gaussian \(e^{i(ye^{i\alpha })^2}\), whose decay at infinity ensures integrability.
Note that the subsequent Fresnel integral technique is in two ways an improvement of the version in [5]. The first improvement lies in the fact that we allow an exponential growth of order \(p\in (0,2)\) in (2.3) and (2.13), while in [5] only \(p=1\) was considered. The second improvement lies roughly speaking in the fact that in [5], the function f had to be holomorphic in a neighborhood of the closed cone \(S_\alpha ^+\cup \{0\}\), in particular holomorphic in a neighborhood of \([0,\infty )\). In contrast, here it is enough for f to be holomorphic in the interior of \(S_\alpha ^+\) with a continuous extension to \(S_\alpha ^+\).
Proposition 2.1
Let \(a>0\), \(x\in {\mathbb {R}}\). Consider for \(\alpha \in (0,\frac{\pi }{2})\) the sector
and a continuous function \(f:S_\alpha ^+\rightarrow {\mathbb {C}}\) which is holomorphic on \({\text {int}}(S_\alpha ^+)\) and satisfies the estimate
for some and \(A,B\ge 0\) and \(p\in (0,2)\). Then, for every \(y_0\in {\mathbb {R}}\), we get
where both integrands are absolute integrable. Moreover, for \(0<\varepsilon <\frac{2a}{\tan (\alpha )}\), we also get
Proof
Since the calculation is the same, we will for simplicity only consider \(x=0\), \(a=1\) and \(y_0=0\). For any \(\eta \in {\text {int}}(S_\alpha ^+)\) with \(|\eta |\le 1\), we define the shifted function
Then, \(f_\eta \) is holomorphic on \({\text {int}}(S_\alpha ^+)-\eta \) and, by (2.3), admits the exponential bound
using the new constants \({\widetilde{A}}{:}{=}Ae^{B2^p}\) and \({\widetilde{B}}=B2^p\). Fixing \(R>0\), we then consider the integration path
Since the paths \(\gamma _1\), \(\gamma _2\), \(\gamma _3\) lie inside \({\text {int}}(S_\alpha ^+-\eta )\), where \(f_\eta \) is holomorphic, Cauchy’s theorem yields for every \(\varepsilon >0\)
Using the exponential bound (2.7), we can estimate the integral along \(\gamma _3\) as
where in the last line we restricted \(\varepsilon <\frac{2}{\tan (\alpha )}\) to conclude \(2R-\varepsilon y>0\). This estimate proves the convergence
Consequently, in the limit \(R\rightarrow \infty \), the integrals (2.8) become
Here, both integrals are absolute convergent, the left hand side because of the factor \(e^{-\varepsilon y^2}\) and the right hand side due to the estimate
which is integrable for every \(\varepsilon <\frac{2}{\tan (\alpha )}\). Moreover, since the upper bound (2.10) is \(\eta \)-independent, we can apply the dominated convergence theorem to both sides of (2.9) and obtain
which is exactly the identity (2.5). Finally, we want to apply the limit \(\varepsilon \rightarrow 0^+\) to this equation. By the estimate (2.10) for f instead of \(f_\eta \), i.e., formally putting \(\eta =0\), the integrand on the right hand side of (2.11) is bounded by some majorant which decreases as \(\varepsilon \rightarrow 0^+\). By the dominated convergence theorem, we then obtain the stated limit (2.4). \(\square \)
The Fresnel integral technique of Proposition 2.1 can also be applied on the negative semi axis, which leads to the following corollary.
Corollary 2.2
Let \(a>0\), \(x\in {\mathbb {R}}\). Consider for some \(\alpha \in (0,\frac{\pi }{2})\) the double sector
and a continuous function \(f:S_\alpha \rightarrow {\mathbb {C}}\) which is holomorphic on \({\text {int}}(S_\alpha )\) and satisfies the estimate
for some \(A,B\ge 0\) and \(p\in (0,2)\). Then, for every \(y_0\in {\mathbb {R}}\), we get
where both integrands are absolute integrable. Moreover, for \(0<\varepsilon <\frac{2a}{\tan (\alpha )}\), we also get
3 Schrödinger equation on \({\mathbb {R}}\setminus \{0\}\)
The central topic of this paper is the investigation of the Cauchy problem (1.5). In particular, we consider the Green’s function approach (1.6). The main result of this section will then be Theorem 3.3, which puts the integral (1.6) into a mathematical rigorous framework and also provides a continuous dependency between the initial condition F and the solution \(\Psi \). This continuous dependency result will then be the main ingredient in Sect. 4 to conclude the time persistence of the supershift property.
We start by specifying in detail in which sense we want to understand the Cauchy problem (1.5). It will be convenient to view the solution (and its derivatives) in the context of absolute continuous functions. The linear space of absolute continuous functions on some open interval \(I\subseteq {\mathbb {R}}\) will be denoted by \({\text {AC}}(I)\). Recall that \(f\in {\text {AC}}(I)\) if and only if there exists some \(g\in L^1_\text {loc}(I)\), such that
Also observe that \(f\in {\text {AC}}(I)\) is differentiable almost everywhere and its derivative \(f'\) coincides almost everywhere with g in (3.1). Moreover, we understand the space of absolute continuous functions on \(\dot{{\mathbb {R}}}{:}{=}{\mathbb {R}}\setminus \{0\}\) as
For \(T\in (0,\infty ]\), we shall now work with the space
Let \(V:(0,T)\times \dot{{\mathbb {R}}}\rightarrow {\mathbb {C}}\) be some potential, \(M,N\in {\mathbb {C}}^{2\times 2}\) matrices describing the transmission condition and \(F:\dot{{\mathbb {R}}}\rightarrow {\mathbb {C}}\) the initial condition. We call a function \(\Psi \in {\text {AC}}_{1,2}((0,T)\times \dot{{\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 \dot{{\mathbb {R}}}\times \dot{{\mathbb {R}}}\rightarrow {\mathbb {C}}\), which depends on the potential V and the boundary matrices M, N, but not on the initial condition F, such that the solution \(\Psi \) admits the (formal) representation
In the following Assumptions 3.1, we provide a set of properties for the Green’s function G, to give meaning to the integral (3.4) and ensure that \(\Psi (t,x)\) indeed is a solution of the Cauchy problem (3.3).
Assumption 3.1
Let \(T\in (0,\infty ]\) and \(G:(0,T)\times \dot{{\mathbb {R}}}\times \dot{{\mathbb {R}}}\rightarrow {\mathbb {C}}\). For some \(\alpha \in (0,\frac{\pi }{2})\), let \(S_\alpha \) be the double sector (2.12), and suppose that G admits a continuation to a function \(G:(0,T)\times \dot{{\mathbb {R}}}\times S_\alpha \rightarrow {\mathbb {C}}\), such that for every fixed \(t\in (0,T)\), \(x\in \dot{{\mathbb {R}}}\) the mapping \(G(t,x,\,\cdot \,)\) is continuous on \(S_\alpha \) and holomorphic on \({\text {int}}(S_\alpha )\). Moreover, it will be assumed that G satisfies the following properties (i)–(iii).
-
(i)
For every fixed \(z\in S_\alpha \), the function \(G(\,\cdot ,\,\cdot ,z)\in {\text {AC}}_{1,2}((0,T)\times \dot{{\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),\qquad \text {f.a.e. }t\in (0,T),\,x\in \dot{{\mathbb {R}}}, \end{aligned}$$(3.5)with \(V:(0,T)\times \dot{{\mathbb {R}}}\rightarrow {\mathbb {C}}\) the considered potential. Moreover, for every \(y\in \dot{{\mathbb {R}}}\) the Green’s function satisfies the transmission condition
$$\begin{aligned} M\left( \begin{array}{c} G(t,0^+,y) \\ G(t,0^-,y) \end{array}\right) =N\left( \begin{array}{c} G_x(t,0^+,y) \\ -G_x(t,0^-,y) \end{array}\right) ,\qquad t\in (0,T), \end{aligned}$$(3.6)with matrices \(M,N\in {\mathbb {C}}^{2\times 2}\).
-
(ii)
For every \(x\in \dot{{\mathbb {R}}}\), there exists some \(x_0>|x|\), such that
$$\begin{aligned} \lim \limits _{t\rightarrow 0^+}\int _{-x_0}^{x_0}G(t,x,y)\varphi (y)\mathrm{d}y=\varphi (x),\qquad \varphi \in {\mathcal {C}}^\infty ([-x_0,x_0]). \end{aligned}$$(3.7) -
(iii)
There exists \(a\in {\text {AC}}((0,T))\) with \(a(t)>0\) and \(\lim _{t\rightarrow 0^+}a(t)=\infty \), such that \(\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 \dot{{\mathbb {R}}},\,z\in S_\alpha , \end{aligned}$$(3.8)is for every \(t\in (0,T)\), \(x\in \dot{{\mathbb {R}}}\) exponentially bounded as
$$\begin{aligned} \big |{\widetilde{G}}(t,x,z)\big |&\le A_0(t,x)e^{B_0(t,x)|z|^p},\qquad z\in S_\alpha , \end{aligned}$$(3.9a)$$\begin{aligned} \Big |\frac{\partial }{\partial x}{\widetilde{G}}(t,x,z)\Big |&\le A_1(t,x)e^{B_1(t,x)|z|^p},\qquad z\in S_\alpha , \end{aligned}$$(3.9b)$$\begin{aligned} \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_2(t,x)e^{B_2(t,x)|z|^p},\qquad z\in S_\alpha . \end{aligned}$$(3.9c)Here, \(p\in (0,2)\) and \(A_0,A_1,A_2,B_0,B_1,B_2:(0,T)\times \dot{{\mathbb {R}}}\rightarrow [0,\infty )\) are continuous and for every \(x\in \dot{{\mathbb {R}}}\)
$$\begin{aligned} \frac{A_0(\,\cdot ,x)}{\sqrt{a(t)}}\text { and }B_0(\,\cdot ,x)\text { are bounded as }t\rightarrow 0^+, \end{aligned}$$(3.10)and for every \(t\in (0,T)\):
-
\(\circ \) If \(M=N=0\), no further assumptions.
-
\(\circ \) If \(M\ne 0\), \(N=0\), then \(A_0(t,\,\cdot \,)\), \(B_0(t,\,\cdot \,)\) are bounded as \(x\rightarrow 0^\pm \).
-
\(\circ \) If \(N\ne 0\), then \(A_0(t,\,\cdot \,)\), \(A_1(t,\,\cdot \,)\), \(B_0(t,\,\cdot \,)\), \(B_1(t,\,\cdot \,)\) are bounded as \(x\rightarrow 0^\pm \).
-
Once we fixed the assumptions on the Green’s function, we still need to specify the allowed initial conditions F in (3.3c). The following space \({\mathcal {A}}_q({\mathbb {C}})\) is natural in the sense that it fits with the assumptions (2.13) and also contains the superoscillating functions (1.1) for \(p=1\) as well as the supershift functions of Definition 4.1.
Definition 3.2
Let \({\mathcal {H}}({\mathbb {C}})\) denote the set of all entire functions. Then, for every \(q>0\) define the space of entire functions with exponential growth of order q as
A sequence of functions \((F_n)_n\in {\mathcal {A}}_q({\mathbb {C}})\) converges to \(F_0\in {\mathcal {A}}_q({\mathbb {C}})\) in \({\mathcal {A}}_q({\mathbb {C}})\), if and only if there exists some \(B\ge 0\), such that
Theorem 3.3
Let \(G:(0,T)\times \dot{{\mathbb {R}}}\times \dot{{\mathbb {R}}}\rightarrow {\mathbb {C}}\) be as in Assumption 3.1. Then, for every \(F\in {\mathcal {A}}_q({\mathbb {C}})\), \(q\in (0,2)\), the wave function
exists and \(\Psi \in {\text {AC}}_{1,2}((0,T)\times \dot{{\mathbb {R}}})\) is a solution of the Cauchy problem (3.3). Moreover, if initial conditions \((F_n)_n\in {\mathcal {A}}_q({\mathbb {C}})\) converge as \(F_n\overset{n\rightarrow \infty }{\longrightarrow }F\) in \({\mathcal {A}}_q({\mathbb {C}})\), also the corresponding solutions converge as
for fixed \(t\in (0,T)\) and uniformly on compact subsets of \(\dot{{\mathbb {R}}}\).
Note that for convenience, we used the notation \(\Psi (t,x;F)\) in (3.14) to emphasize the initial condition.
Since in practical applications the initial condition (3.7) is often hard to verify, the following Corollary 3.4 gives an opportunity to replace it by the simple limit (3.16). Roughly speaking, the limit (3.16) is one way how the Green’s function approaches the \(\delta \)-function as \(t\rightarrow 0^+\). However, to use this simplification it is necessary for the Green’s function to be holomorphic (and satisfy (3.9a)) not only on \(S_\alpha \) but also on a neighborhood of \(\dot{{\mathbb {R}}}\). More precisely, for \(\alpha \in (0,\frac{\pi }{2})\) and \(h>0\), we consider
Corollary 3.4
Let \(G:(0,T)\times \dot{{\mathbb {R}}}{\times }\dot{{\mathbb {R}}}{\rightarrow }{\mathbb {C}}\) satisfy Assumption 3.1 with \(S_\alpha \) replaced by \(D_{\alpha ,h}\) and (3.7) replaced by
Then, the same results as in Theorem 3.3 hold true, i.e., for every \(F\in {\mathcal {A}}_q({\mathbb {C}})\), \(q\in (0,2)\), the wave function (3.13) exists and \(\Psi \in {\text {AC}}_{1,2}((0,T)\times \dot{{\mathbb {R}}})\) is a solution of the Cauchy problem (3.3). Moreover, if initial conditions \((F_n)_n\in {\mathcal {A}}_q({\mathbb {C}})\) converge as \(F_n\overset{n\rightarrow \infty }{\longrightarrow }F\) in \({\mathcal {A}}_q({\mathbb {C}})\), also the corresponding solutions converge as in (3.14).
Proof of Theorem 3.3
First, we note that due to \(F\in {\mathcal {A}}_q({\mathbb {C}})\), there exists \(A,B\ge 0\) such that
Step 1. In the first step, we apply Corollary 2.2, to show that the expression (3.13) for the wave function is meaningful and give a representation using Fresnel integrals. For this, we fix \(t\in (0,T)\), \(x\in \dot{{\mathbb {R}}}\) and use the estimates (3.9a) and (3.17) to get
where we introduced the new coefficients
Hence, due to the decomposition (3.8), the assumptions of Corollary 2.2 are satisfied, which means that the wave function (3.13) exists and admits the absolute integrable representation
Step 2. We show that the function \(\Psi \) in (3.13), is a solution of the Schrödinger equation (3.3a). Since G is already a solution of (3.5) by Assumption 3.1 (i), it is sufficient to carry the derivatives inside the integral (3.20).
For the first spatial derivative, we note that \(G(t,\,\cdot ,z){\in }{\text {AC}}(\dot{{\mathbb {R}}})\) for every \(t{\in }(0,T)\), \(z\in S_\alpha \) by Assumption 3.1(i). Hence, for any \(x_0,x_1>0\), we have
which leads to the following integral representation of the wave function (3.20)
Using the decomposition (3.8), we can write the derivative as
Using the estimate (3.18) and a similar one for \(\frac{\partial }{\partial x}{\widetilde{G}}(t,x,z)F(z)\) using the coefficients \({\widetilde{A}}_1(t,x){:}{=}AA_1(t,x)e^{(B+B_1(t,x))2^{\max \{p,q\}}}\) and \({\widetilde{B}}_1(t,x){:}{=}(B+B_1(t,x))2^{\max \{p,q\}}\), we get
Since \({\widetilde{A}}_0\), \({\widetilde{A}}_1\), \({\widetilde{B}}_0\), \({\widetilde{B}}_1\), a are assumed to be continuous, the right hand side of this estimate is integrable on \([x_0,x_1]\). Additionally, the factor \(e^{-a(t)\sin (2\alpha )y^2}\) implies integrability with respect to \(y\in {\mathbb {R}}\). Hence, we observe absolute integrability on \([x_0,x_1]\times {\mathbb {R}}\) and the order of integration in (3.21) can be interchanged by the Fubini theorem, i.e.,
In particular, this shows \(\Psi (t,\,\cdot \,)\big |_{(0,\infty )}\in {\text {AC}}((0,\infty ))\), the x-derivative exists almost everywhere and is given by
The same is obviously true for \(x<0\) and we conclude \(\Psi (t,\,\cdot \,)\in {\text {AC}}(\dot{{\mathbb {R}}})\). Using the same argument, also \(\frac{\partial }{\partial x}\Psi (t,\,\cdot \,)\in {\text {AC}}(\dot{{\mathbb {R}}})\) and \(\Psi (\,\cdot ,t)\in {\text {AC}}((0,T))\), with second spatial derivative and time derivative almost everywhere given by
This means \(\Psi \in {\text {AC}}_{1,2}((0,T)\times \dot{{\mathbb {R}}})\) and from (3.5) we conclude that the Schrödinger equation (3.3a) is satisfied for almost every \(t\in (0,T)\), \(x\in \dot{{\mathbb {R}}}\).
Step 3. Next, we verify the transmission condition (3.3b). If \(M=N=0\), there is nothing to do. In the case \(M\ne 0\) and \(N=0\), we can estimate the integrand of the integral (3.20) as
using the decomposition (3.8) as well as the estimate (3.18). Since by Assumption 3.1 (iii) and by (3.19) the coefficients \({\widetilde{A}}_0(t,\,\cdot \,)\) and \({\widetilde{B}}_0(t,\,\cdot \,)\) are bounded in the limit \(x\rightarrow 0^\pm \), the right hand side can be replaced by some integrable and x-independent majorant, at least in a neighborhood of \(x=0\). Hence, we can apply the dominated convergence theorem in (3.20), to get the boundary value
Moreover, the estimate (3.18) in the limit \(x\rightarrow 0^\pm \) shows that
for upper bounds \({\widetilde{A}}_0(t)\) and \({\widetilde{B}}_0(t)\) of \({\widetilde{A}}_0(t,\,\cdot \,)\) and \({\widetilde{B}}_0(t,\,\cdot \,)\) in the limit \(x\rightarrow 0^\pm \). Due to Corollary 2.2, it is now possible to write the integral (3.24) again in the real valued form
Since the Green’s function satisfies the transmission condition (3.6) with \(N=0\), the same equation carries over to the wave function \(\Psi \) and we end up with the stated (3.3b).
In the situation \(N\ne 0\), also the coefficients \({\widetilde{A}}_1(t,\,\cdot \,)\) and \({\widetilde{B}}_1(t,\,\cdot \,)\) from (3.22) are bounded as \(x\rightarrow 0^\pm \) by Assumption 3.1 (iii). Hence, we are allowed to carry the limit \(x\rightarrow 0^\pm \) inside the integral (3.23) and get
Since moreover the estimate (3.22) in the limit \(x\rightarrow 0^\pm \) looks like
for upper bounds \({\widetilde{A}}_1(t)\) and \({\widetilde{B}}_1(t)\) of \({\widetilde{A}}_1(t,\,\cdot \,)\) and \({\widetilde{B}}_1(t,\,\cdot \,)\) in the limit \(x\rightarrow 0^\pm \). This estimate now allows to apply Corollary 2.2 which transforms the integral back onto the real line
Since we already know by assumption that G satisfies the transmission condition (3.6), the integral representations (3.25) and (3.26) show that it carries over to \(\Psi \) and gives (3.3b).
Step 4. In the next step, we verify the initial condition (3.3c). To do so, we fix \(x\in \dot{{\mathbb {R}}}\) and with \(x_0>|x|\) from Assumption 3.1 (ii), we split up the integral (3.13) as
We will now derive the initial values of these three integrals separately. Starting with \(\Psi _3\), it follows from (3.18) that the shifted integrand admits the estimate
and by Proposition 2.1, we can write \(\Psi _1\) as the Fresnel integral
Using once more (3.28), this integral can be estimated as
According to (3.10) and (3.19) we know that \(\frac{{\widetilde{A}}_0}{\sqrt{a}}\) and \({\widetilde{B}}_0\) remain finite in the limit \(t\rightarrow 0^+\), and also that \(\lim _{t\rightarrow 0^+}a(t)=\infty \). Therefore, since \(x_0>x\), the integrand vanishes in the limit \(t\rightarrow 0^+\) and so does
For the same reason, also
For the function \(\Psi _2(t,x)\), we first note that due to the dominated convergence theorem, we are allowed to carry the limit \(\varepsilon \rightarrow 0^+\) inside the integral and get
Since \(F\in {\mathcal {A}}_q({\mathbb {C}})\) is an entire function, it is in particular \(F\in {\mathcal {C}}^\infty ({\mathbb {R}})\) and the initial value
follows from assumption (3.7). Combining now (3.31), (3.32) and (3.34) gives the initial value (3.3c) of \(\Psi (t,x)\) and hence finishes Step 4 of the proof.
Step 5. It is left to check the continuous dependency (3.14) of the wave function on the initial condition. According to the \({\mathcal {A}}_q\)-convergence (3.12) of the initial conditions, we define the coefficients
for which obviously
holds true. Let \(K\subseteq \dot{{\mathbb {R}}}\) be compact, \(x_0>0\) such that \(K\subseteq [-x_0,x_0]\) and for every \(t\in (0,T)\), \(x\in K\) we split up the \(\Psi \)-integral as in (3.27). We will now prove the continuous dependency (3.14) for the three parts of the wave function separately. Rewriting the \(\Psi _3\)-integral as in (3.29) and estimate the difference as in (3.30) gives
using the similar coefficient \({\widetilde{A}}_n(t,x){:}{=}A_nA_0(t,x)e^{(B+B_0(t,x))2^{\max \{p,q\}}}\) as in (3.19). Since \(A_n\overset{n\rightarrow \infty }{\longrightarrow }0\) by (3.35) this estimate proves
Since moreover \(A_0(t,\,\cdot \,)\) and \(B_0(t,\,\cdot \,)\) are continuous on \(\dot{{\mathbb {R}}}\) by Assumption 3.1 (iii), this convergence is uniform with respect to \(x\in K\). Following the same arguments, one also obtains the convergence
Finally, carrying the limit \(\varepsilon \rightarrow 0^+\) inside the \(\Psi _2\)-integral, as in (3.33), we can estimate the difference
Also here, \(A_n\overset{n\rightarrow \infty }{\longrightarrow }0\) implies
uniform with respect to \(x\in K\). This verifies the convergence (3.14) and finishes the proof.\(\square \)
Next we prove Corollary 3.4, where we use the simplified initial condition (3.16) instead of (3.7).
Proof of Corollary 3.4
The fact that the wave function (3.13) exists and \(\Psi \in {\text {AC}}_{1,2}((0,T)\times \dot{{\mathbb {R}}})\) is a solution of (3.3a) and (3.3b) is the same as in the proof of Theorem 3.3. Also the continuous dependency result (3.14) can be proven in the same way.
The only thing to check is the initial condition (3.3c). Without loss of generality, we assume \(x>0\). First, we generalize (3.16) in the sense that for any \(z(t)\in D_{\alpha ,h}\) with \(\lim _{t\rightarrow 0^+}z(t)=x\), we have
Consider an open ball \(B_r(x)\) with radius \(0<r<\min \{h,x\sin (\alpha )\}\) around x. Then, this ball is obviously contained in the interior \({\text {int}}(D_{\alpha ,h})\) and we are allowed to apply the Cauchy integral formula to write
Using (3.9a), we can estimate the integrand to get
Since \(\frac{A_0(t,x)}{\sqrt{a(t)}}\) and \(B_0(t,x)\) are bounded as \(t\rightarrow 0^+\) and \(\lim _{t\rightarrow 0^+}z(t)=x\), it follows that
With (3.16) and the decomposition (3.8), we then obtain the limit (3.36), namely
Next, we split up the integral (3.13) as
which is the same decomposition as in (3.27), with the interval \([-x_0,x_0]\) replaced by [0, x], and the subsequent rewriting of the integrals (3.29) and (3.33). Using the Cauchy theorem, we change the integration path \(0\rightarrow x\) once more to \(0\rightarrow x-\delta e^{i\alpha }\rightarrow x\) where \(\delta >0\) is small enough such that \(x-\delta e^{i\alpha }\in {\text {int}}(D_{\alpha ,h})\), i.e., we end up with the representation
using the three complex paths
We will now consider all three integrals separately. Starting with the integral along \(\gamma _1\), the estimate (3.18) with the coefficients (3.19) yields the estimate
According to (3.10) and (3.19), we know that \(\frac{{\widetilde{A}}_0}{\sqrt{a}}\) and \({\widetilde{B}}_0\) remain finite in the limit \(t\rightarrow 0^+\), and also that \(\lim _{t\rightarrow 0^+}a(t)=\infty \). Therefore, since \(x>0\), the integrand vanishes as \(t\rightarrow 0^+\) and so does the whole integral
For the integral along \(\gamma _2\), we use the estimate (3.18) to get
where we used in the estimate of the third line that \({\text {Re}}(x-\delta e^{i\alpha })>0\). Since again \(\frac{{\widetilde{A}}_0}{\sqrt{a}}\), \({\widetilde{B}}_0\) are bounded as \(t\rightarrow 0^+\) and \(\lim _{t\rightarrow 0^+}a(t)=\infty \), also
Finally, the integral along \(\gamma _3\) can be parametrized as
Again by (3.18), the integrand can be estimated as
Once more, \(\frac{{\widetilde{A}}_0}{\sqrt{a}}\), \({\widetilde{B}}_0\) are bounded as \(t\rightarrow 0^+\) and \(\lim _{t\rightarrow 0^+}a(t)=\infty \), and hence this upper bound can be made t-independent in a neighborhood of \(t=0^+\). By the dominated convergence theorem, we are then allowed to carry the limit \(t\rightarrow 0^+\) inside the integral, and using also (3.36) the \(\gamma _3\)-integral then becomes
Combining now (3.38), (3.39) and (3.40) gives the initial value (3.3c).\(\square \)
4 Stability of superoscillations and supershifts
It is a question almost as old as superoscillations itself: what happens to a superoscillating function as it evolves in time, when interacting with some quantum mechanical system? In other words: what happens if we put some superoscillatory sequence \((F_n)_n\) as initial condition of the time-dependent Schrödinger equation (3.3)? Will the sequence of solutions \((\Psi (t,x;F_n))_n\) still be superoscillating at times \(t>0\)?
Motivated by the example (1.1), the two defining properties of superoscillations are on the one hand the decomposition into plane waves
with coefficients \(C_j(n)\in {\mathbb {C}}\) and frequencies \(k_j(n)\in [-k_0,k_0]\), for some \(k_0>0\). On the other hand the functions converge as
to some plane wave with frequency \(k\in {\mathbb {R}}\setminus [-k_0,k_0]\). The continuous dependency result of Theorem 3.3 now already indicates some convergence
However, although the limit function \(\Psi (t,x;e^{ik\,\cdot \,})\) may admit some oscillatory behavior, it is by no means expected (and also not true) that it is again a plane wave \(e^{ik(t)x}\). Also, since Theorem 3.3 only gives uniform convergence on compact subsets of \(\dot{{\mathbb {R}}}\), the desired \({\mathcal {A}}_1\)-convergence in the variable x may in general fail. Already the extension to a holomorphic function will not be possible in general, since it is intuitively clear that some potential, having for example discontinuities, leads to a wave function with is no longer holomorphic although the initial value was.
To overcome this dilemma, the notion of supershift was introduced in [17] and appeared in slightly different variations in subsequent publications. In the following, we will stick to the one in [5], namely motivated by (4.1) and (4.2), we define
Definition 4.1
Let \({\mathcal {O}},{\mathcal {U}}\subseteq {\mathbb {C}}\) such that \({\mathcal {U}}\subsetneqq {\mathcal {O}}\) and X be a metric space. 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.
This definition of supershift mainly means that we forget about the oscillatory behavior of the plane waves \(e^{i\kappa z}\) and replace them by some arbitrary functions \(\varphi _\kappa (z)\). Also the \({\mathcal {A}}_1\)-convergence (4.2) gets weakened to the uniform convergence on compact sets (4.6). If the used function \(\varphi _\kappa \) admit any kind of oscillatory behavior may be investigated for each potential independently.
Remark 4.2
Since we introduced the supershift property with the aim to generalize superoscillations, it is obligatory that the example functions (1.1) fit into Definition 4.1. But this is indeed the case, choosing \(X={\mathbb {C}}\), \({\mathcal {O}}={\mathbb {R}}\), \({\mathcal {U}}=[-1,1]\) and \(\varphi _\kappa (z)=e^{i\kappa z}\), see also [5, Example 4.3].
The first main result of this section is the following Theorem 4.3 on the supershift property of the solution of the Schrödinger equation (3.3), which can be viewed as a corollary of the continuous dependence result of Theorem 3.3. Roughly speaking, we consider a family of initial conditions that admit 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.4.
Theorem 4.3
Let the function G be as in Assumption 3.1 and \({\mathcal {O}},{\mathcal {U}}\subseteq {\mathbb {C}}\) with \({\mathcal {U}}\subsetneqq {\mathcal {O}}\). For some \(q\in (0,2)\) consider a family of functions \(\varphi _\kappa \in {\mathcal {A}}_q({\mathbb {C}})\), \(\kappa \in {\mathcal {O}}\) and a sequence
of initial conditions with coefficients \(C_l(n)\in {\mathbb {C}}\), \(\kappa _l(n)\in {\mathcal {U}}\). If now
to some \(\varphi _\kappa \) with \(\kappa \in {\mathcal {O}}\setminus {\mathcal {U}}\), then the sequence of solutions of the Cauchy problem (3.3) converges as
for every \(t\in (0,T)\) and uniformly on compact subsets \(\dot{{\mathbb {R}}}\).
Remark 4.4
Since the convergence (4.8) implies uniform convergence on all compact subsets of \({\mathbb {R}}\), it is clear that the initial conditions \((F_n)_n\) in (4.7) admit the supershift property of Definition 4.1 in the space \(X=\dot{{\mathbb {R}}}\). Furthermore, the convergence (4.9) shows that for every \(t\in (0,T)\) also the solutions \(\Psi (t,\,\cdot ;F_n)\) admit a supershift with respect to the functions \(\phi _\kappa (t,x){:}{=}\Psi (t,x;\varphi _\kappa )\).
Proof of Theorem 4.3
The fact that the convergence (4.8) leads to the convergence (4.9), was already subject of Theorem 3.3. 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 \)
If the sequence \((\Phi _n)_n\) in (4.5) 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 (4.6) 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, this feels like a property of analytic functions. Although we are not able to prove that the supershift property implies analyticity in general, the following Theorem 4.5 at least shows that analyticity in the \(\kappa \)-variable of the initial condition implies analyticity in the \(\kappa \)-variable of the wave function.
Theorem 4.5
Let G be as in Assumption 3.1. For some open set \({\mathcal {O}}\subseteq {\mathbb {C}}\) and \(q\in (0,2)\), we consider a family of functions \(\varphi _\kappa \in {\mathcal {A}}_q({\mathbb {C}})\), \(\kappa \in {\mathcal {O}}\), such that
is satisfied for \(A(\kappa ),B(\kappa )\ge 0\) continuously depending on \(\kappa \). If for every \(z\in S_\alpha \) the mapping
is holomorphic, then for every fixed \(t\in (0,T)\), \(x\in \dot{{\mathbb {R}}}\), the mapping
is holomorphic as well, where \(\Psi (t,x;\varphi _\kappa )\) is the solution of the Cauchy problem (3.3) with initial value \(\varphi _\kappa \).
Proof
Fix \(t\in (0,T)\), \(x\in \dot{{\mathbb {R}}}\). Then, for any closed triangle \(\Delta \subseteq {\mathcal {O}}\), we have the path integral
due to the representation (3.20) 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. First, the estimate
follows from (3.9a) as well as (4.10), 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.12) can be replaced by some \(\kappa \)-independent and y-integrable upper bound. Hence, the double integral (4.11) is absolutely convergent and we are allowed to interchange the order of integration
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 the analyticity of \({\mathcal {O}}\ni \kappa \mapsto \Psi (t,x;\varphi _\kappa )\). \(\square \)
5 Examples of Green’s functions
This section provides two examples of potentials and transmission conditions which are exemplary for the Assumptions 3.1. The first one is the centrifugal potential \(V(t,x)=\frac{\lambda }{x^2}\) in Sect. 5.1 and the second one is the free particle on \(\dot{{\mathbb {R}}}\), satisfying arbitrary transmission conditions at \(x=0^\pm \) in Sect. 5.2. In particular the distributional \(\delta \)- and \(\delta '\)-potentials as well as boundary conditions of Dirichlet-, Neumann- and Robin-type are special cases of the second example.
5.1 Centrifugal potential
In this subsection, we consider the strongly singular centrifugal potential \(V(t,x)=\frac{\lambda }{x^2}\) of strength \(\lambda \in {\mathbb {R}}\setminus \{0\}\). For this potential, the case \(\lambda >0\) was already investigated in [8, 16], and in [9] they even consider the combined centrifugal and harmonic oscillator potential \(V(t,x)=\frac{\lambda }{x^2}+\omega x^2\), which would also be possible in the following considerations, but to avoid technical difficulties, we omit this discussion here. The case \(\lambda <0\) on the other hand was, to the best of our knowledge, not yet treated with respect to stability of superoscillations and is a novelty of this paper.
Note that, realized by the step function \(\Theta \), the upcoming Green’s functions (5.1) and (5.2) vanish for \(xy<0\), which is due to the fact that the \(\frac{1}{x^2}\)-potential is too singular at \(x=0\) to allow any information exchange between the two halflines. Additionally, this non-integrable singularity automatically implies Dirichlet boundary conditions \(\Psi (t,0^+)=\Psi (t,0^-)=0\), see for example [18] for justification.
Proposition 5.1
The Green’s function of the attractive centrifugal potential \(V(t,x)=\frac{\lambda }{x^2}\), \(\lambda <0\), is given by
where \(H_\nu ^{(2)}\) is the Hankel function of the second kind and \(\nu {:}{=}\sqrt{\frac{1}{4}+\lambda }\) is real valued for \(-\frac{1}{4}\le \lambda <0\), or purely imaginary for \(\lambda <-\frac{1}{4}\). With the identity matrix \(M=I\) and the zero matrix \(N=0\), this Green’s function satisfies the Assumption 3.1 with \(S_\alpha \) replaced by \(D_{\alpha ,h}\), for any \(\alpha \in (0,\frac{\pi }{2})\), \(h>0\), and (3.7) replaced by (3.16).
Proposition 5.2
The Green’s function of the repulsive centrifugal potential \(V(t,x)=\frac{\lambda }{x^2}\), \(\lambda >0\) is given by
where \(J_\nu \) denotes the Bessel function of the first kind and \(\nu {:}{=}\sqrt{\frac{1}{4}+\lambda }\). With the identity matrix \(M=I\) and the zero matrix \(N=0\), this Green’s function satisfies the Assumption 3.1.
Proof of Proposition 5.1
First, for every \(t>0\), \(x\in \dot{{\mathbb {R}}}\), the function \(G(t,x,\,\cdot \,)\) holomorphically extends to \(\{z\in {\mathbb {C}} \,\,|\,\, {\text {Re}}(z)\ne 0\}\) by
In particular, \(G(t,x,\,\cdot \,)\) is holomorphic on the domain \(D_{\alpha ,h}\) in (3.15) for any \(\alpha \in (0,\frac{\pi }{2})\), \(h>0\). Moreover, the decomposition (3.8) is satisfied using \(a(t)=\frac{1}{4t}\) and
It is obvious that for fixed \(z\in {\mathbb {C}}\) with \({\text {Re}}(z)\ne 0\) we have \(G(\,\cdot ,\,\cdot ,z)\in {\text {AC}}_{1,2}((0,T)\times \dot{{\mathbb {R}}})\). To see that it is a solution of (3.5), we explicitly calculate the derivatives
where for the second spatial derivative, we used the Bessel differential equation
Using \(\lambda =\nu ^2-\frac{1}{4}\), these derivatives now satisfy
which is equivalent to (3.5) using the decomposition (3.8). From [1, Eq.(9.1.4),(9.1.7),(9.1.8)] and the fact that \(0\le {\text {Re}}(\nu )<\frac{1}{2}\), we get the convergence
Hence, we conclude for every \(t>0\), \(\pm y>0\), the boundary values (3.6) by
Moreover, with the asymptotics
from [1, Eq.(9.2.8)], it follows that for every \(x\in \dot{{\mathbb {R}}}\) the initial condition (3.16) is satisfied by
Combining the asymptotics (5.4) and (5.5), there also exists some constant \(C_\nu \ge 0\) such that
Hence, we can estimate
which is (3.9a) with the coefficients \(A_0(t,x)=\frac{C_\nu }{2\sqrt{2t}}\) and \(B_0(t,x)=0\). These coefficients are bounded as \(x\rightarrow 0^\pm \) and \(\frac{A_0}{\sqrt{a}}\) and \(B_0\) are also bounded as \(t\rightarrow 0^+\), as requested in (3.10). Moreover, by [1, Eq.(9.2.14)] the derivative of the Hankel function admits the asymptotics
and it follows again from [1, Eq.(9.1.4),(9.1.7),(9.1.9),(9.1.27)] that
These two asymptotics now ensure the existence of a constant \(D_\nu \ge 0\) with
Due to the explicit form (5.3) of the derivatives of \({\widetilde{G}}\) and the estimates (5.7) and (5.8), one immediately sees that also the exponential bounds (3.9b) and (3.9c) are satisfied.\(\square \)
Proof of Proposition 5.2
First, for every \(t>0\), \(x\in \dot{{\mathbb {R}}}\), the function \(G(t,x,\,\cdot \,)\) holomorphically extends to \(\{z\in {\mathbb {C}}\,\, |\,\, {\text {Re}}(z)\ne 0\}\) by
In particular, \(G(t,x,\,\cdot \,)\) is holomorphic on the double sector \(S_\alpha \), for any \(\alpha \in (0,\frac{\pi }{2})\). Moreover, the decomposition (3.8) is satisfied using \(a(t)=\frac{1}{4t}\) and
Now, we verify the properties (i)–(iii) of Assumption 3.1.
(i) It is obvious that for fixed \(z\in {\mathbb {C}}\) with \({\text {Re}}(z)\ne 0\), we have \(G(\,\cdot ,\,\cdot ,z)\in {\text {AC}}_{1,2}((0,T)\times \dot{{\mathbb {R}}})\). To see that it is a solution of (3.5), we explicitly calculate the derivatives
where for the second spatial derivative, we used the Bessel differential equation
Using \(\lambda =\nu ^2-\frac{1}{4}\), these derivatives now satisfy
which is equivalent to (3.5) using the decomposition 3.8. From [1, Eq.(9.1.7)] and the fact that \(\nu >\frac{1}{2}\), we get the limit
Hence, we conclude for every \(t>0\), \(\pm y>0\), the boundary value (3.6) by
(ii) To check the initial condition (3.7), we fix \(x\in \dot{{\mathbb {R}}}\) and without loss of generality we only consider \(x>0\). Let now \(x_0>x\) be arbitrary, \(\varphi \in {\mathcal {C}}^\infty ([-x_0,x_0])\) and consider the function
as well as the approximated function
From [1, Eq.(9.2.1)], we get the asymptotics
Since moreover, \(J_\nu (w)\rightarrow 0\) as \(w\rightarrow 0\) by [1, Eq.(9.1.7)], there exists some \(C_\nu \ge 0\) with
where the exponent \(\frac{5}{4}\) is chosen such that in the following estimate the term \(t^{\frac{1}{4}}(xy)^{-\frac{3}{4}}\) appears, which on the one hand vanishes in the limit \(t\rightarrow 0^+\), but is still integrable at \(y=0^+\). With this inequality, we can now estimate the error of the approximate function by
Since the right hand side converges to zero as \(t\rightarrow 0^+\), we get
and we reduced the problem (3.7) to the initial value of \({\widetilde{\Psi }}_0(t,x)\). Writing the cosine as an exponential function we can split up the integral as
Using the derivative \(\frac{d}{dw}{\text {erf}}(w)=\frac{2}{\sqrt{\pi }}e^{-w^2}\) of the error function and applying integration by parts, one can rewrite this integral as
Apply now the limit \(t\rightarrow 0^+\) and carrying it inside the integral is allowed since the integrand is uniformly bounded. Using also \(0<x<x_0\) as well as the limit \(\lim _{w\rightarrow \pm \infty }{\text {erf}}(\frac{w}{\sqrt{i}})=\pm 1\) gives the initial value
Together with (5.11), this proves the initial value (3.7).
(iii) By the asymptotics (5.10) and since \(J_\nu (w)\rightarrow 0\) as \(w\rightarrow 0\) by [1, Eq.(9.1.7)], there exists \(D_\nu \ge 0\) with
With this estimate, the absolute value of \({\widetilde{G}}\) can be estimated by
where we used that \(|x{\text {Im}}(z)|=x{\text {Im}}(z)\) since \(\pm z\in S_\alpha ^+\) and \(\pm x>0\). Hence, \({\widetilde{G}}\) satisfies the bound (3.9a) with the coefficients \(A_0(t,x)=\frac{D_\nu }{\sqrt{2t}}\) and \(B_0(t,x)=0\). These coefficients are bound as \(x\rightarrow 0^\pm \) and also \(\frac{A_0}{\sqrt{a}}\) and \(B_0\) are bounded as \(t\rightarrow 0^+\), as requested in (3.10). Moreover, it follows from [1, Eq.(9.1.10),(9.1.27),(9.2.11)] as well as \(\nu >\frac{1}{2}\) that there exists some \(E_\nu \ge 0\) such that the derivative of the Bessel function is bounded by
Due to the explicit form (5.9) of the derivatives of \({\widetilde{G}}\) and the additional estimate (5.12) of the derivative of the Bessel function, one immediately sees that also the exponential bounds (3.9b) and (3.9c) are satisfied. \(\square \)
5.2 Arbitrary point interactions
In this subsection, we consider the vanishing classical potential \(V(t,x)=0\), \(x\in \dot{{\mathbb {R}}}\), and allow all possible self-adjoint singular interactions at the origin \(x=0^\pm \). In particular, the Dirac \(\delta \)- and \(\delta '\)-potential and boundary conditions of Dirichlet-, Neumann- and Robin-type are included, see [4, Sect. 3]. Although the time persistence problem with respect to those point interactions was already considered in [4], this section shows that these distributional potentials are also covered by the general theory of Sect. 3.
There are various ways to describe the complete family of self-adjoint interface conditions, but for our purposes, it is convenient to use the parametrization
where I is the \(2\times 2\) identity matrix and J is some arbitrary \(2\times 2\) unitary matrix, which can be represented by
with parameters \(\phi \in [0,\pi )\) and \(\alpha ,\beta \in {\mathbb {C}}\) satisfying \(|\alpha |^2+|\beta |^2=1\). To write down the corresponding Green’s function, we start by defining the entire function
which is a modification of the well-known error function \({\text {erf}}(z)=\frac{2}{\sqrt{\pi }}\int _0^ze^{-w^2}dw\). The Green’s function is now given by
The values of the coefficients \(\mu _\pm ^{(x,y)}\), \(\mu _0^{(x,y)}\) and \(\omega _\pm \) will be specified in terms of the unitary matrix J in the following. To do so, it is convenient to use
and distinguish the following three cases.
Case I: If \({\text {Re}}(\alpha )\ne -\cos (\phi )\), then
Case II: If \({\text {Re}}(\alpha )=-\cos (\phi )\ne -1\), then \(\omega _-=\mu _-^{(x,y)}=0\) and
Case III: If \({\text {Re}}(\alpha )=-\cos (\phi )=-1\), then \(\omega _\pm =\mu _\pm ^{(x,y)}=0\) and \(\mu _0^{(x,y)}=-1\).
Proposition 5.3
The Green’s function (5.16) satisfies the Assumptions 3.1 with respect to the potential \(V(t,x)=0\) and the transition matrices \(M=I-J\) and \(N=i(I+J)\).
Proof
First, it is already shown [4, Theorem 2.4] that G satisfies the transmission condition (3.6). Moreover, the Green’s function (5.16) holomorphically extends to \(\{z\in {\mathbb {C}} | {\text {Re}}(z)\ne 0\}\) by
using the functions
It is already proven in [4, Lemma 2.2] that all of the three functions (5.19) satisfy the Schrödinger equation (3.5), and consequently so does G, since the coefficients \(\mu _+^{(x,\pm )}\), \(\mu _-^{(x,\pm )}\), \(\mu _0^{(x,\pm )}\) only depend on \({\text {sgn}}(x)\). Also for the initial condition (3.7), it is sufficient to consider the functions (5.19) separately. Fix \(x\in \dot{{\mathbb {R}}}\) choose \(x_0>|x|\) arbitrary and \(\varphi \in {\mathcal {C}}^\infty ([-x_0,x_0])\). For \(G_\text {free}\), we can use the derivative \(\frac{d}{dw}{\text {erf}}(w)=\frac{2}{\sqrt{\pi }}e^{-w^2}\) and apply integration by parts to write the integral as
Applying the limit \(t\rightarrow 0^+\) and using \(\lim _{w\rightarrow \pm \infty }{\text {erf}}(\frac{w}{\sqrt{i}})=\pm 1\), we get the initial value
For the function \(G_1\), we get
From [2, Lemma 3.1], we know that \(\Lambda (z)={\mathcal {O}}\big (\frac{1}{z}\big )\) and also \(\Lambda '(z)={\mathcal {O}}\big (\frac{1}{z}\big )\), as \(z\rightarrow \infty \), \({\text {Re}}(z)>0\). Hence, all terms in the above representation vanish in the limit \(t\rightarrow 0^+\), which leads to the initial value
The same calculations with the absence of the function \(\Lambda \) also shows that initial value
Using now the three limits (5.20), (5.21) and (5.22) in the decomposition (5.18) gives the initial value (3.7).
To derive the estimate (3.9a), it is sufficient to do these estimates for the three functions (5.19), or rather for their reduced representations
separately. However, this is already done in [4, Lemma 2.3], and we conclude the estimates
Hence, the bound (3.9a) is obviously satisfied with coefficients \(A_0\) and \(B_0\), which are bounded as \(x\rightarrow 0^\pm \) and also satisfy the bounds (3.10) in the limit \(t\rightarrow 0^+\). Moreover, the estimates of the first spatial derivatives can also be concluded from [4, Lemma 2.2 & Lemma 2.3] and are given by
If we additionally use that \(|z|\le e^{|z|-1}\), the estimate (3.9b) is satisfied with coefficients \(A_1\) and \(B_1\) which are bounded as \(x\rightarrow 0^\pm \). Finally, also the exponential bounds of the second spatial and the time derivatives of \({\widetilde{G}}_i\), \(i\in \{0,1,\text {free}\}\), as claimed in (3.9c), follow from [4, Lemma 2.2 and Lemma 2.3]. \(\square \)
Data availability statement
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
References
Abramowitz, M., Stegun, I. A.: Handbook of Mathematical Functions with Formulaes, Graphs and Mathematical Tables. National Bureau of Standards, Applied Mathematics Series 55, 10th Edition (1972)
Aharonov, Y., Behrndt, J., Colombo, F., Schlosser, P.: Evolution of Aharonov-Berry superoscillations in Dirac \(\delta \)-potential. Quant. Stud. Math. Found. 6, 279–293 (2019)
Aharonov, Y., Behrndt, J., Colombo, F., Schlosser, P.: Schrödinger evolution of superoscillations with \(\delta \)- and \(\delta ^{\prime }\)-potentials. Quant. Stud. Math. Found. 7, 293–305 (2020)
Aharonov, Y., Behrndt, J., Colombo, F., Schlosser, P.: Green’s function for the Schrödinger equation with a generalized point interaction and stability of superoscillations. J. Differ. Equ. 277, 153–190 (2021)
Aharonov, Y., Behrndt, J., Colombo, F., Schlosser, P.: A unified approach to Schrödinger evolution of superoscillations and supershifts. arXiv:2102.11795 (2021)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: Evolution of superoscillatory initial data in several variables in uniform electric field. J. Phys. A: Math. Theor. 50, 185201 (2017)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: How superoscillating tunneling waves can overcome the step potential. Ann. Phys. 414, 168088 (2020)
Aharonov, Y., Colombo, F., Struppa, D.C., Tollaksen, J.: Schrödinger evolution of superoscillations under different potentials. Quant. Stud. Math. Found. 5, 485–504 (2018)
Alpay, D., Colombo, F., Sabadini, I., Struppa, D.C.: Aharonov-Berry superoscillations in the radial harmonic oscillator potential. Quant. Stud. Math. Found. 7, 269–283 (2020)
Aoki, T., Colombo, F., Sabadini, I., Struppa, D.C.: Continuity theorems for a class of convolution operators and applications to superoscillations. Quant. Stud. Math. Found. 5, 463–476 (2018)
Behrndt, J., Colombo, F., Schlosser, P.: Evolution of Aharonov–Berry superoscillations in Dirac \(\delta \)-potential. Quant. Stud. Math. Found. 6, 279–293 (2019)
Berry, M. V.: Faster than Fourier. Quantum coherence and Reality; in celebration of the 60th Birthday of Yakir Aharonov ed. J. S. Anandan and J. L. Safko, World Scientific, Singapore, 55–65 (1994)
Buniy, R., Colombo, F., Sabadini, I., Struppa, D.C.: Quantum harmonic oscillator with superoscillating initial datum. J. Math. Phys. 55, 113511 (2014)
Bussell, M., Strange, P.: Evolution of superoscillations in the quantum mechanical harmonic oscillator. Eur. J. Phys. 36, 065028 (2015)
Colombo, F., Gantner, J., Struppa, D.C.: Evolution of superoscillations for Schrödinger equation in a uniform magnetic field. J. Math. Phys. 58, 092103 (2017)
Colombo, F., Gantner, J., Struppa, D.C.: Evolution by Schrödinger equation of Aharonov–Berry superoscillations in centrifugal potential. Proc. R. Soc. A 475, 20180390 (2019)
Colombo, F., Sabadini, I., Struppa, D. C., Yger, A.: Superoscillating sequences and supershifts for families of generalized functions. arXiv:1912.01057
Essin, A.M., Griffiths, D.J.: Quantum mechanics of the \(\frac{1}{x^2}\) potential. Am. J. Phys. 74, 109–117 (2006)
Funding
Open access funding provided by Graz University of Technology.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all the authors, the corresponding author states that there is no conflict of interest.
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
Schlosser, P. Time evolution of superoscillations for the Schrödinger equation on \({\mathbb {R}}\setminus \{0\}\). Quantum Stud.: Math. Found. 9, 343–366 (2022). https://doi.org/10.1007/s40509-022-00272-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40509-022-00272-2