Abstract
We prove a new theorem on the continuity of convolution operators with variable coefficients, and we use it to deduce that the limit of a superoscillating sequence maintains the superoscillatory behaviour for all values of time, when evolved according to Schrödinger equations with time-dependent potentials.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In [1, 7, 8], Aharonov and his coauthors introduced a new concept in quantum mechanics, namely the notion of weak measurement of a quantum observable (see also [19, 20, 22, 23]). This notion led to the discovery of an interesting family of functions, which had been observed as well in optical phenomena [12,13,14,15,16,17], and [24]. These functions, known as the Aharonov–Berry superoscillations, are band-limited functions with the apparently paradoxical property that they can oscillate faster than their fastest Fourier component.
An important question that was posed originally by both Aharonov and Berry is whether such superoscillatory behaviour can persist when we evolve a superoscillatory function according to some differential equations. In a series of papers [2,3,4,5, 9, 18] and the monograph [6], the authors have developed a powerful method to study the evolution of superoscillations propagated by the Schrödinger equation. This method employs essentially two steps: First one uses Fourier analysis, or the relevant Green function, to solve the Cauchy problem associated with the Schrödinger equation, and then, one translates the problem in the complex plane (essentially by complexifying both the functions and the operators acting on them) and demonstrates the permanence of the superoscillatory behaviour as a consequence of a continuity theorem for suitable convolution operators. The key ingredient for the continuity theorem is the understanding of the growth of the associated symbol (usually an entire function).
In this paper, we consider a very large, and so far not yet considered, class of potentials for the Schrödinger equation, and we prove how a new theorem on the growth of analytic functions (which we prove in Sect. 2) can be used to demonstrate superoscillatory longevity in time for those equations.
The novelty of the present paper consists in the fact that we will now study convolution operators with non-constant coefficient of the form:
This situation will require a new continuity theorem, which we will prove in Sect. 2. This result will be applied in Sect. 3 to the study of the evolution of superoscillations by Schrödinger equations in which variable coefficients potential appear.
The first author would like to express his sincere thanks to Professor Susumu Yamasaki for valuable comments on the topology of the spaces of entire functions.
2 Theorem on continuity of a class of convolution operators
Let f be a non-constant entire function of a complex variable z. We define
The non-negative real number \(\rho \) defined by
is called the order of f. If \(\rho \) is finite, then f is said to be of finite order, and if \(\rho =\infty \), the function f is said to be of infinite order.
In the case f is of finite order \(\rho \), we define the non-negative real number
which is called the type of f. If \(\sigma \in (0,\infty )\), we call f of normal type, while we say that f is of minimal type if \(\sigma =0\) and of maximal type if \(\sigma =\infty \). The constant functions are said to be of minimal type and order zero. In the sequel, we make use of the notions given in the next definitions. These notions are classical, see e.g. [11], and go back to Hörmander see [21]:
Definition 2.1
Let p be a positive number. We define the class \(A_p\) to be the set of entire functions such that there exists \(C>0\) and \(B>0\) for which
The class \(A_{p,0}\) consists of those entire functions such that for all \(\varepsilon >0\) there exists \(C_\varepsilon >0\) such that
To define a topology in these spaces, we follow [11, Section 2.1]: For \(p>0\), \(c>0\) and for any entire function f, we set
Let \(A_p^c\) denote the linear space of entire functions satisfying \(\Vert f\Vert _c<\infty \). Then, \(\Vert \cdot \Vert \) defines a norm in \(A_p^c\) which makes this space a Banach space. The natural inclusion mapping \(A_p^c\hookrightarrow A_p^{c'}\) is a compact operator for any \(0<c<c'\).
For any sequence \(\{c_n\}_{n\ge 1}\) of positive numbers, strictly increasing to infinity, we can introduce an LF topology on \(A_p\) given by the inductive limit
Since this topology is stronger than the topology of the pointwise convergence, it is independent of the choice of the sequence \(\{c_n\}_{n\ge 1}\). In this inductive limit topology, a sequence \(\{f_k\}\) in \(A_p\) converges to f in \(A_p\) if and only if there exists n such that \(f_j\in A_p^{c_n}\) for all j, \(f\in A_p^{c_n}\) and \(\Vert f_j-f\Vert _{c_n}\rightarrow 0\) for \(j\rightarrow \infty \). The topology in \(A_{p,0}\) is given by the projective limit
It can be proved, see [11, Section 6.1], that \(A_p\) is a DFS space and \(A_{p,0}\) is an FS space, respectively.
To prove our main results, we need an important lemma that characterizes the coefficients of entire functions with growth conditions.
Lemma 2.2
The function
belongs to \(A_p\) if and only if there exists \(C_f>0\) and \(b>0\) such that
Proof
First suppose that \(f(z)\in A_p\) and let us prove that the estimate on the coefficients \(f_j\) follows by the Cauchy formula. In fact, we have
where the path of integration \(\gamma \) is the circle \(|w-z|=s|z|\), where s is a positive real number and \(z\not =0\). Then, we have
for all \(s> 0\), where we have used the fact that \(f\in A_p\) and \(|w|\le (1+s)|z|\). The well-known estimate
gives
for all \(s>0\). Hence we have
for all \(z\in {\mathbb {C}}\) and \(s>0\). We now take the minimum of the right-hand side of the above estimate with respect to s, i.e. the minimum of the function
in \((0,\infty )\). The minimum is at the point
so that we obtain
So if we set
we obtain
for all \(z\in {\mathbb {C}}\). Since \( f_j=\frac{f^{(j)}(0)}{j!} \), we have, by the maximum modules principle applied in a disc centred at the origin and with radius \(\epsilon >0\) sufficiently small,
The other direction follows form the properties of the Mittag–Leffler function. In fact,
is an entire function of order \(1/\alpha \) (and of type 1) for \(\alpha >0\) and \(Re(\beta )>0\), see [10]. So, in our case, f is entire of order p. \(\square \)
In order to prove our main results, we need some more notations and definitions:
Definition 2.3
Let \(p>0\). The set \(\mathcal {D}_{p,0}\) consists of operators of the form
satisfying:
-
(i)
\(a_n(z)\) (\(n=0,1,2,\ldots \)) are entire functions.
-
(ii)
There exists a constant \(B>0\) such that for every \(\varepsilon >0\) one can take a constant \(C_\varepsilon >0\) for which
$$\begin{aligned} |a_n(z)|\le C_\varepsilon \frac{\varepsilon ^n}{(n!)^{1/q}} \exp (B |z|^p), \end{aligned}$$holds, where
$$\begin{aligned} \frac{1}{p}+\frac{1}{q}=1, \end{aligned}$$and \(1/q=0\) when \(p=1\).
Theorem 2.4
Let \(P(z,\partial _z)\in \mathcal {D}_{p,0}\) and let \(f\in A_p\). Then, \(P(z,\partial _z)f\in A_p\) and \(P(z,\partial _z)\) is continuous on \(A_p\), that is \(P(z,\partial _z)f\rightarrow 0\) as \(f\rightarrow 0\).
Proof
We apply the operator \(P(z,\partial _z)\) to the function \(f\in A_p\) and we get
Now we observe that
Using the hypothesis on P and f, which translate into conditions on the \(a_n\) and on \(f_j\), we get
Since
we get
From the inequality
we deduce
and so we can write (1) as
Finally, consider the series
and observe that
and
Since \(\varepsilon \) is arbitrary small, the series converges, i.e.
This finally gives
and, by the properties of the Mittag–Leffler function, we have
We conclude that there exists \(B''>0\) such that
which means that \(P(z,\partial _z)f(z)\in A_p\) and for \(C_f\rightarrow 0\) the same estimate proves the continuity, i.e. \(|P(z,\partial _z)f(z)|\rightarrow 0\) when \(f\rightarrow 0\). \(\square \)
We conclude this section with a result which is the integral counterpart of the previous theorem and is of independent interest.
We define the action of the operator denoted by \(\partial _z^{-n}\) (\(n=1,2,3,\dots \)) on the space of entire functions by the Riemann–Liouville integral
Definition 2.5
Let \(\mathcal {E}_p\) denote the set of all formal power series
of \(\partial _z^{-1}\) satisfying
-
(i)
\(a_n(z)\) (\(n=0,1,2,\ldots \)) are entire functions.
-
(ii)
There exist constants \(B>0\) and \(C>0\) for which
$$\begin{aligned} |a_{n}(z)|\le C^{n+1}n!^\frac{1}{q}\exp (B|z|^p) \end{aligned}$$holds for \(n=0,1,2,\ldots \) and where
$$\begin{aligned} \frac{1}{p}+\frac{1}{q}=1, \end{aligned}$$with \(1/q=0\) when \(p=1\).
Theorem 2.6
Let \(\displaystyle P(z,\partial _z^{-1})=\sum _{n=0}^\infty a_n(z) \partial _z^{-n}\in \mathcal {E}_p\), and define the action of \(P(z,\partial _z^{-1})\) on \(A_p\) by
This action is well defined, that is, if \(P(z,\partial _z^{-1})\in E_p\) and \(f\in A_p\), then \(P(z,\partial _z^{-1})f\in A_p\) and continuous.
Proof
Suppose that
holds for \(C_1>0,\ B_1>0\). We rewrite the Riemann–Liouville integral in the form
Using this expression, we have
By the condition (b), we have
for \(n\in {\mathbb {N}}\). Here we set \(B_2=B+B_1\). Thus, there exist \(C_2>0\) and \(B_3>0\) for which
hold for all \(z\in {{\mathbb {C}}}\). This implies \(Pf\in A_p\). The continuity of P can be proved as in the proof of the previous theorem. \(\square \)
3 Evolution of superoscillations for a class of potentials
The prototypical superoscillating sequence is
where x is a real variable and \(a>1\) is a parameter. By using Euler’s identity for the exponential, and the Newton binomial formula, it is immediate to show that
where
The reason for the term superoscillations is easily understood if one considers that all the frequencies that appear in (3) are in modulus less than one, but that the sequence \(F_n(x,a)\) itself converges uniformly (on compact subsets of \(\mathbb {R}\)) to \(e^{iax}\). In our works, see e.g. [3, 4, 6], we considered some Cauchy problems in which the datum when the time t equals 0 is \(F_n(x,a)\), and we asked whether the solution \(\psi _n(x,t)\) to the problem maintained superoscillatory characteristics. In order to show that superoscillations perpetually persist in time, i.e. when the time tends to infinity, we need to explicitly compute the limit
We now consider a potential V(t, x) and the Cauchy problem for the Schrödinger equation
According to the type of potential, in some cases it is possible to determine explicitly the Green function \(G_V(t,x,y)\), but in most of the cases this is not possible. The solution of Cauchy problem (5) is given by
Since the superoscillatory functions such as \(F_n(x,a)\) are linear combinations of exponential functions, we determine the solution of the Cauchy problem
that is
The solution of the Cauchy problem is obtained by linearity
We will consider the following classes of potentials such that a very general structure of the Green function is of the form
where \(g_j, g: {\mathbb {R}}\rightarrow {\mathbb {R}}\) are given functions of the time and f is an analytic function; all those functions depend on the potential V.
Definition 3.1
Let \(V=V(t,x)\) be the potential and let \(G_V\) be the Green function of the Schrödinger equation associated with V and let \(a\in {\mathbb {R}}\).
-
(T1)
We say that \(G_V\) is of type (I) if
$$\begin{aligned} \int _{{\mathbb {R}}} {G}_V(t,x,y)e^{iay}\hbox {d}y=h_1(t,x)\sum _{\ell =0}^\infty b_\ell (t,x)a^{\ell }e^{ia t} \end{aligned}$$(11)where \(h_1\) is a given function and the coefficients \(b_\ell (t,x)\) extend analytically to an entire function \(b_\ell (z,x)\) that satisfy the growth condition: There exists \(A>0\), and for every \(\varepsilon >0\), there exists \(C_\varepsilon >0\), for all \(x\in {\mathbb {R}}\), such that
$$\begin{aligned} |b_\ell (z,x)|\le C_\varepsilon \frac{A^\ell }{(\ell !)^{1/q}} \exp (\varepsilon |z|^p). \end{aligned}$$(12) -
(T2)
We say that \(G_V\) is of type (II) if
$$\begin{aligned} \int _{{\mathbb {R}}} {G}_V(t,x,y)e^{iay}\hbox {d}y=h_2(t,x)\sum _{\ell =0}^\infty c_\ell (t,x)a^{ \ell }e^{ia x} \end{aligned}$$(13)where \(h_2\) is a given function and the coefficients \(c_\ell (t,x)\) extend analytically to an entire function that satisfy the growth condition: There exists \(A>0\), and for every \(\varepsilon >0\), there exists \(C_\varepsilon >0\), for all \(t\in {\mathbb {R}}\), such that
$$\begin{aligned} |c_\ell (t,z)|\le C_\varepsilon \frac{A^\ell }{(\ell !)^{1/q}} \exp (\varepsilon |z|^p). \end{aligned}$$(14)
The following result is now immediate to prove.
Lemma 3.2
Let \(a\in {\mathbb {R}}\).
-
(I)
Let \(G_V\) be a Green function of type (I). Then, the solution of Cauchy problem (7) can be represented by
$$\begin{aligned} \varphi _a(t,x)=h_1(t,x)\sum _{\ell =0}^\infty b_\ell (t,x)i^{-\ell } \partial _t^{\ell }e^{ia t}. \end{aligned}$$(15) -
(II)
Let \(G_V\) be a Green function of type (II). Then, the solution of Cauchy problem (7) can be represented by
$$\begin{aligned} \varphi _a(t,x)=h_2(t,x)\sum _{\ell =0}^\infty c_\ell (t,x)i^{-\ell } \partial _x^{\ell }e^{ia x}. \end{aligned}$$(16)
Inspired by the above lemma, we define the operators
and
So we can prove the main result.
Theorem 3.3
Under the hypothesis of the previous lemma, the solution can be written as
or
Moreover, we have
or
Proof
We consider just one case, since the second is analogous
\(\square \)
We conclude this article by showing how non-constant coefficients differential operator may naturally appear in the study of these problems. Consider the Cauchy problem
The solution of this problem is given by
and also
Using the integral
we obtain
Consider the term
with a change of variables, we have
If we suppose that this change of variable is invertible, we can write
Replacing this expression in \(\frac{1}{4\gamma (t)}\), we can make the substitution
obtaining
It is clear that a non-constant coefficient operator appears, in fact
and so we have
and the operator
To summarize, the solution of the Cauchy problem
can be written as
where \({\mathcal {G}}(z,x,\partial _z)\) is a non-constant coefficients differential operator.
References
Aharonov, Y., Albert, D., Vaidman, L.: 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, 1351–1354 (1988)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: Some mathematical properties of superoscillations. J. Phys. A 44, 365304 (2011). (16pp)
Aharonov, Y., Colombo, F., Nussinov, S., Sabadini, I., Struppa, D.C., Tollaksen, J.: Superoscillation phenomena in \(SO(3)\). Proc. R. Soc. A. 468, 3587–3600 (2012)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: On the Cauchy problem for the Schrödinger equation with superoscillatory initial data. J. Math. Pures Appl. 99, 165–173 (2013)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: Superoscillating sequences as solutions of generalized Schrödinger equations. J. Math. Pures Appl. 103, 522–534 (2015)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: The mathematics of superoscillations, Memoirs of the American Mathematical Society, vol. 247, no. 1174 (2017)
Aharonov, Y., Rohrlich, D.: Quantum Paradoxes: Quantum Theory for the Perplexed. Wiley, Weinheim (2005)
Aharonov, Y., Vaidman, L.: Properties of a quantum system during the time interval between two measurements. Phys. Rev. A 41, 11–20 (1990)
Aoki, T., Colombo, F., Sabadini, I., Struppa, D.C.: Continuity of some operators arising in the theory of superoscillations. Quantum Stud.: Math. Found. (2018). https://doi.org/10.1007/s40509-018-0159-9
Bateman, H.: Bateman Manuscript Project, Higher Transcendental Functions, vol. 3. McGraw-Hill Book Company Inc, Pennsylvania (1955)
Berenstein, C.A., Gay, R.: Complex Analysis and Special Topics in Harmonic Analysis. Springer, New York (1995)
Berry, M.V.: Evanescent and real waves in quantum billiards and Gaussian beams. J. Phys. A. 27, 391 (1994)
Berry, M.: Exact nonparaxial transmission of subwavelength detail using superoscillations. J. Phys. A. 46, 205203 (2013)
Berry, M.V.: Faster than Fourier, 1994. In: Anandan, J.S., Safko, J.L. (eds.) Quantum Coherence and Reality; in Celebration of the 60th Birthday of Yakir Aharonov, pp. 55–65. World Scientific, Singapore (1994)
Berry, M., Dennis, M.R.: Natural superoscillations in monochromatic waves in D dimension. J. Phys. A 42, 022003 (2009)
Berry, M.V., Popescu, S.: Evolution of quantum superoscillations, and optical superresolution without evanescent waves. J. Phys. A 39, 6965–6977 (2006)
Berry, M.V., Shukla, P.: Pointer supershifts and superoscillations in weak measurements. J. Phys. A 45, 015301 (2012)
Buniy, R., Colombo, F., Sabadini, I., Struppa, D.C.: Quantum Harmonic Oscillator with superoscillating initial datum. J. Math. Phys. 55, 113511 (2014)
Ferreira, P.J.S.G., Kempf, A.: Unusual properties of superoscillating particles. J. Phys. A 37, 12067–76 (2004)
Ferreira, P.J.S.G., Kempf, A.: Superoscillations: faster than the Nyquist rate. IEEE Trans. Signal. Process. 54, 3732–40 (2006)
Hörmander, L.: Generators for some rings of analytic functions. Bull. Am. Math. Soc. 73, 943–949 (1967)
Lee, D.G., Ferreira, P.J.S.G.: Superoscillations of prescribed amplitude and derivative. IEEE Trans. Signal Process. 62(13), 3371–3378 (2014)
Lee, D.G., Ferreira, P.J.S.G.: Superoscillations with optimal numerical stability. IEEE Sign. Proc. Lett. 21(12), 1443–1447 (2014)
Lindberg, J.: Mathematical concepts of optical superresolution. J. Opt. 14, 083001 (2012)
Taylor, B.A.: Some locally convex spaces of entire functions, 1968 entire functions and related parts of analysis. In: Proceedings of Symposia in Pure Mathematics, La Jolla, California, 1966) pp. 431–467. Amererican Mathematical Society, Providence, RI (1966)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Aoki, T., Colombo, F., Sabadini, I. et al. Continuity theorems for a class of convolution operators and applications to superoscillations. Annali di Matematica 197, 1533–1545 (2018). https://doi.org/10.1007/s10231-018-0736-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-018-0736-x
Keywords
- Superoscillating functions
- Convolution operators with variable coefficients
- Holomorphic functions with growth conditions
- Time-dependent potential