Abstract
Superoscillating functions are band-limited functions that can oscillate faster than their fastest Fourier component. The study of the evolution of superoscillations as initial datum of field equations requires the notion of supershift, which generalizes the concept of superoscillations. The present paper has a dual purpose. The first one is to give an updated and self-contained explanation of the strategy to study the evolution of superoscillations by referring to the quantum-mechanical Schrödinger equation and its variations. The second purpose is to treat the Dirac equation in relativistic quantum theory. The treatment of the evolution of superoscillations for the Dirac equation can be deduced by recent results on the Klein–Gordon equation, but further additional considerations are in order, which are fully described in this paper.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction to Superoscillations and the Supershift Property
Superoscillating functions are band-limited functions that can oscillate faster than their fastest Fourier component. These functions (or sequences) appear in weak values in quantum mechanics (see [3, 12, 14, 26]) and in several other fields of science and technology, as it will be mentioned in the sequel. A natural problem, suggested by Aharonov, is to study the evolution of weak-values-superoscillations as initial datum of Schrödinger equation or as initial condition of other quantum field equations such are Klein–Gordon, see [10], or Dirac equation which is treated in this paper.
In order to explain the topic and our main results we consider in this section some heuristic facts and properties of superoscillations and we introduce a diagram to visualize them. Furthermore, we discuss, from an intuitive point of view, the notion of supershift property of the solutions of differential equations which generalizes the notion of superoscillations. The supershift property is the crucial concept to investigate the evolution of superoscillatory initial datum by all field equations.
In the last decade a systematic study of superoscillating functions has been carried out also from the mathematical point of view. In fact, the rigorous treatment of the evolution of superoscillations, as initial datum of the Schrödinger equation, required some sophisticated mathematical tools, as it has been shown for example in [1, 2, 4,5,6,7,8, 16, 17, 27,28,29] and partially summarized in [9]. The prototypical function arising in Aharonov’s weak values is given by
which, using Euler’s identities and Newton’s binomial, can be written as
where \(a>1\) and
If we fix \(x \in \mathbb {R}\) and we let n go to infinity, we obtain that
The term superoscillations comes from the fact that the frequencies \((1-2j/n)\) in (2) are in modulus bounded by 1 but the frequency a, in the limit function (4), can be arbitrarily large. The superoscillatory phenomenon appears because thanks to the form the coefficients \(C_j(n,a)\) the plane waves \(e^{i(1-2j/n)x}\) interfere in such a way that they produce the plane wave \(e^{iax}\), where a can be very large with respect to one.
Superoscillations occur also when n is a fixed number, not only when n goes to infinity, simply the region of superoscillation is a small interval that contains the origin. One can clearly see that if x is very small compared to n it is \(\frac{x}{n}\sim 0\) so in this limit we have
We illustrate in the figure the superoscillations for fixed n and a plotting the logarithm of the real part of \(F_n\). The logarithm is necessary to re-scale the function in other to better see the superoscillations (Fig. 1).
We note that there is no conflict with the theory of Fourier series because the sequence \(F_n(x,a)\) is not a Fourier sequence even though it looks like. In fact, the coefficients \(C_j(n,a)\) and the wave numbers \(k_j(n):=1-2j/n\) depend both on j and on n while for Fourier series the numbers \(C_j(n)\) and \(k_j(n)\) depend on j and but not on n. Sequences such as \(F_n(x,a)\) are called generalized Fourier sequences and can produce superoscillations while Fourier series cannot.
In order to understand the meaning of the evolution of superoscillations as initial condition of a given quantum field equation we need the following interpretation of the generalized Fourier sequence \(F_n(x,a)\). Consider x as a parameter and let us focus our attention on the points \((1-2j/n)\). For the sake of clarity we set
and with this position we write the sequence \(F_n(x,a)\) as
Now consider x as a fixed parameter and recall we have set \(e^{iax}=\varphi (a,x)\). Then the limit \(F_n(x,a)\rightarrow \varphi (a,x)\), as \(n\rightarrow \infty\) means that we compute the function \(\lambda \mapsto \varphi (\lambda ,x)\) in infinitely many points \(1-2j/n\) that belong to the interval \([-1,1]\) (band limited frequencies) and we determine the value of \(\varphi (\lambda ,x)\) in the point \(\lambda =a>>1\). When we consider the evolution of \(F_n(x,a)\) as initial value the free particle using Schrödinger equation
we obtain the solution
We define the following function of \(\lambda\)
where t and x are considered parameters, so that studying the evolution of superoscillations is tantamount to studying the limit of the solution
for \(n\rightarrow \infty\). Since for the particular case of the free particle the solution of Schrödinger equation is written in terms of the exponential function we still speak of superoscillations, but in the general case of nontrivial potentials the functions \(\phi (\lambda ,t,x)\) are not necessarily the exponential function.
In this case there arises the natural notion of supershift of the solution where we compute the function \(\lambda \mapsto \phi (\lambda ,t, x)\) in infinitely many points \(1-2j/n\) that belong to the interval \([-1,1]\), and we determine the value of \(\phi (\lambda ,t,x)\) in the point \(\lambda =a>>1\). For example for the quantum harmonic oscillator the function \(\phi (\lambda ,t,x)\) can be computed by elementary functions and it is given by
As shown above, superoscillations are a particular case of supershift, which is the property to be proven when we study the evolution of superoscillations as initial datum of given field equation.
A different class of superoscillating functions with respect to the ones considered in this paper can be found in [23]. In antenna theory the phenomenon of superoscillations was discovered by Toraldo di Francia in [36] (see also the paper of Berry [20]). The literature on superoscillations is large, and without claiming completeness we mention the papers [19, 21, 22, 24, 25, 30, 31, 33, 35]. More information can be found in the introductory papers [11, 13, 15, 32].
Moreover, in the recent paper Roadmap on superoscillations, see [18], some of the most important achievements in the applications of superoscillations are well explained by the leading experts in this field. In fact, the main aim of the paper [18] is to give an exposition of various aspects of superoscillations that are accessible to non experts in this field. There are contributions in: optical superoscillatory focusing and imaging technologies, superoscillatory interference for super-resolution telescope, an antenna array approach to superoscillations, applications of superoscillations in ultrafast optics, superoscillations in magnetic holography and acoustics, superoscillations and information theory. The paper also contains many illustrations to clarify the experiments and it can be freely downloaded from the web.
This paper has two main purposes. The first one is to explain and motivate the general strategy to study the evolution of superoscillations in the context of quantum mechanics. The second one is to study superoscillations as initial datum of the Dirac equation. The paper is organized as follows. In Sect. 2 we formulate and state our main results in precise mathematical term for the Dirac equation. In Sect. 3 we discuss the strategy to demonstrate our results, whose full proofs are then given in Sect. 4.
2 The Main Results for the Dirac Equation
In this section we formulate in precise mathematical terms the problem of the evolution of superoscillating initial datum for the Dirac equation. We summarize the main result on the supershift property for the Dirac equation, but we postpone the proofs to Sect. 4 of the paper. The sequence defined in (2) extends to the sequence of entire function \(F_n(z,a)\), for \(z\in \mathbb {C}\). The tools to study the evolution of superoscillations are convolution operators that naturally act on spaces of entire functions that contains the holomorphic extensions \(F_n(z,a)\), so we recall some notions and results on entire functions. Let f be a non-constant entire function of a complex variable z. We define
for \(r\ge 0\). 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 case f is of finite order we define the non-negative real number
which is refereed to as the type of f. More to the point, if \(\sigma \in (0,\infty )\) we say that f is 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 of order zero. Let \(p\ge 1\), we denote by \(\mathcal {A}_p\) the space of entire functions with either order lower than p or order equal to p and finite type. It consists of functions f for which there exist constants \(B, C >0\) such that
The extension of the functions \(F_n(x,a)\) defined in (2) are exponentially bounded and more general sequences that generalize the \(F_n(x,a)\) can be defined as follows:
with coefficients \(c_j(n)\in \mathbb {C}\) and \(k_j(n)\in \mathbb {R}\). We say that \(Y_n\) is a superoscillating sequence (or function), if there exists some \(a\in \mathbb {R}\), with \(|a|>1\), such that
-
(i)
\(\sup \limits _{n\in \mathbb {N}_0,j\in \{0,\ldots ,n\}}|k_j(n)|\le 1\),
-
(ii)
\(\lim \limits _{n\rightarrow \infty } Y_n(z)=e^{ia\,z}\) on the compact sets of \(\mathbb {C}\).
Superoscillating functions as \(F_n\) do not only converge uniformly on the compact sets of \(\mathbb {C}\) but they converge in the space \(\mathcal {A}_1\). More in general we recall that the sequence \((f_n)_{n\in \mathbb {N}}\in \mathcal {A}_p\) converges to \(f_0\in \mathcal {A}_p\) if there exists some \(B > 0\) such that
We now come to the definition of supershift property. Let \(\mathcal {I}\subseteq \mathbb {R}\) be an interval with \([-1,1]\subset \mathcal I\), \(\Omega \subseteq \mathbb {R}^d\), for \(d\in \mathbb {N}\), be a domain and let \(\varphi :\, \mathcal I \times [0,T] \times \Omega \rightarrow \mathbb R\), \(T>0\) be a continuous function on \(\mathcal I\). We set
and consider a sequence of points \((\lambda _{k,n})\) such that
and a sequence of complex numbers \((c_k(n))\) for \(k=0,\ldots ,n\) and \(n=0,\ldots ,+\infty\). We define the functions
If we have that \(\lim _{n\rightarrow \infty }\psi _n(t,x)=\varphi _{a}(t,x)\) for some \(a\in \mathcal I\) and with \(|a|>1\), we say that the function \(\lambda \rightarrow \varphi _{\lambda }(t,x)\), for t and x fixed, admits a supershift in \(\lambda\).
Finally we state our results for the Dirac equation. Let \(\gamma ^\mu\) be the Gamma matrices and let \(\varphi ^+_{0}(x)\) and \(\varphi ^-_0(x)\) represent the wave functions for the positive and negative energy level. Now consider, for a, \(b\in \mathbb {R}\) and \(m>0\), the Cauchy problem
where
and denote by \(\varphi _{1,a}(t,x)\), \(\varphi _{2,b}(t,x)\) , \(\varphi _{3,b}(t,x)\) and \(\varphi _{4,b}(t,x)\) the components of the solution \(\varphi (t,x)\). Suppose that \(\psi ^+_{0,n}(x)\) and \(\psi ^-_{0,n}(x)\) are the superoscillating initial data of the Cauchy problem
where
Then the solution of (11) can be written in terms of the solution of the Cauchy problem (9) as
and the supershift property holds, that is
The precise mathematical proof of the above result is not trivial and all the details are given in Sect. 4.
3 Supershift and Techniques Based on Infinite Order Differential Operators
In this section we recall some facts leading to the definition of supershift and we summarize the main mathematical tools used to study superoscillations. From the prototypical example described in the previous section one can extend the definition of superoscillations to the case of several variables. To this aim, we give the definition of generalized Fourier sequence in several variables, which is a variation of the definition introduced in [8].
Definition 3.1
(Generalized Fourier sequence in several variables) For \(m\in \mathbb {N}\) we assume that \((x_1,\ldots ,x_m)\in \mathbb {R}^m\). Let \((\lambda _{k,j}(n))\), \(k=0,\ldots ,n\) for \(n=0,\ldots ,\infty\), be real-valued sequences for \(j=1,\ldots ,m\). We call generalized Fourier sequence in several variables a sequence of the form
where \((c_k(n))\), \(k=0,\ldots ,n\), \(n=0,\ldots ,+\infty\) is a real-valued sequence.
Definition 3.2
(Superoscillating sequence) A generalized Fourier sequence in several variables \(f_n(x_1,\ldots ,x_m)\), is said to be a superoscillating sequence if, for
we have
and there exists a compact subset of \(\mathbb {R}^m\), which will be called a superoscillation set, on which \(f_n\) converges uniformly to \(\prod _{j=1}^m e^{ix_j g_j}\), where \(|g_j|>1\) for \(j=1,\ldots ,m\).
A very important particular case of generalized Fourier sequence in several variables is the following
where \(C_k(n,a)\) are given by (3) and \(q_j \in \mathbb {N}\), for \(j=1,\ldots ,m\).
From an historical point of view the main problem, which was first suggested by Aharonov, was to study the evolution of superoscillations by Schrödinger equation for the force free field with rigorous mathematical tools. This example was the starting point to understand the most natural functional setting in which one can study the evolution of superoscillations. We have already mentioned the solution of the Schrödinger equation with superoscillatory initial datum for the free particle
is given by
The crucial problem is to show that during the evolution, as n goes to infinity, the superoscillatory behavior of the limit function persists. It turns out that the limit
is uniform on compact sets in \(\mathbb {R}^2\). This means that the limit function \(e^{iax-ia^2t}\) has a superoscillatory behavior. The main tools used to compute rigorously such a limit are convolution operators acting on spaces of entire functions. For such operators a crucial fact is to prove a continuity theorem. Specifically, for the free particle the convolution operator associated with this problem is
so that the evolution problem can be written as
for every \(x\in \mathbb {R}\) and \(t\in \mathbb {R}\). Clearly, the function in (16) is a generalized Fourier sequence in two variables, and for \(a>1\) it is a superoscillatory function.
Inspired by the example of the free particle, if in Eq. (15) one replaces the second derivative with respect to the space variable x by the partial derivative \(\partial ^p_x \psi (x,t)\) of order \(p\in \mathbb {N}\), it is possible to prove that we still have a superoscillating function. In this case we have (p is even)
which converges, for \(n\rightarrow \infty\), and uniformly on compact sets, to \(\psi (x,t)=e^{iax-ia^pt}\). More in general, there is a very large class of superoscillatory functions that can be generated stating from convolution equations of the type
where the second derivative with respect to time in (15) has been replaced by a suitable convolution operator
where the complex coefficients \(a_\ell\) satisfy give growth conditions.
For the above class of differential equations, or more in general for convolution equations, the solutions remain in the class of generalized Fourier sequences, but when we take into account the Schrödinger equation with a nonconstant potential it turns out that the solution is not a generalized Fourier series in several variable. For instance, when we consider a linear potential, which means that the evolution takes place in a constant electric field, the solution of the Cauchy problem
is given by
which is not of the form (14). So, by computing the limit for \(n\rightarrow \infty\), we obtain
Hence, the class of superoscillations proves too narrow. In order to overcome this limitation, the notion of supershift has been introduced.
Definition 3.3
(Supershift) Let \(\mathcal {I}\subseteq \mathbb {R}\) be an interval with \([-1,1]\subset \mathcal I\), \(\Omega \subseteq \mathbb {R}^d\), for \(d\in \mathbb {N}\), be a domain and let \(\varphi :\, \mathcal I \times [0,T] \times \Omega \rightarrow \mathbb R\), \(T>0\) be a continuous function on \(\mathcal I\). We set
and we consider a sequence of points \((\lambda _{k,n})\) such that
We define the functions
where \((c_k(n))\) is a sequence of complex numbers for \(k=0,\ldots ,n\) and \(n=0,\ldots ,+\infty\). If \(\lim _{n\rightarrow \infty }\psi _n(t,x)=\varphi _{a}(t,x)\) for some \(a\in \mathcal I\) with \(|a|>1\), we say that the function \(\lambda \rightarrow \varphi _{\lambda }(t,x)\), for t and x fixed, admits a supershift in \(\lambda\).
Let us stress that the term supershift comes from the fact that \(\mathcal I\) can be an arbitrarily large (it can also be \(\mathbb R\)) and so also a can be arbitrarily far away from the interval \([-1,1]\) where the function \(\varphi _\lambda\) is computed, see (20). In the case of the sequence \((F_n)\) in (2), we have \(\lambda _{k,n}=1-2k/n\), \(\varphi _{\lambda _{k,n}}(t,x)=e^{i(1-2k/n)x}\) and \(c_k(n)\) are the coefficients \(C_k(n,a)\) defined in (3).
3.1 Schrödinger-Like Equations
By using the notion of supershift, it is now possible to formulate in precise mathematical terms the problem of the evolution of superoscillations for a quantum mechanical system described by the Hamiltonian operator \(\mathcal {H}\). We consider the evolution problem
and we denote by \(\psi _n(t,x)\) the solution of the Cauchy problem (21), by \(\varphi _a(t,x)\) we indicate the solution of the Schrödinger equation in (21) where we replace \(F_n\) by the initial datum \(e^{iax}\). Given the solutions \(\psi _n(t,x)\) and \(\varphi _a(t,x)\), owing to the linearity of Schrödinger equation, the function \(\psi _n(t,x)\) can be written as
The persistence of superoscillations means that the supershift property holds. Hence, we have to show that
or, equivalently, that the function \(\lambda \rightarrow \varphi _\lambda (t,x)\) admits a supershift in the sense Definition 3.3.
When the Green function of the time-dependent Schrödinger equation is known, there is a standard procedure to study the evolution problem (21) and to determine under which conditions the supershift property holds. The first step consists in writing the solution of the Cauchy problem (21) in term of the function \(\varphi _a(t,x)\) which is the solution of the problem
The Green function K of Schrödinger equation with Hamiltonian \(\mathcal {H}\) gives
where, in most typical cases, \(\Omega\) amounts to the real line \(\mathbb {R}\) or the half line \(\mathbb {R}^+\). Accordingly, the solution of problem (21) is given by
Then, in order to study the supershift property, some crucial considerations are in order:
(I) The first important step is to establish in what sense the integral (23) converges. This fact can be assured by regularizing the integral or by considering the integral defined as a Fresnel integral. Here complex analysis plays an important role in the definition of the integral.
(II) Once that point (I) is enforced, we have to assure that the function
is analytic and then we need suitable estimates, which allows us to exchange the series with the integral in such a way that we obtain
This is quite delicate fact to handle because the integral is computed, in general, on an unbounded domain \(\Omega\).
(III) Finally, suppose formula (24) holds, we set
where
and by introducing the auxiliary complex variable \(\xi\) we represent the function \(\varphi _a(t,x)\) as
where \(\mathcal {U}(x,t,\partial _\xi )\) is the convolution operator defined by
acting on \(e^{ia\xi }\) and \(|_{\xi =0}\) denotes the restriction to \(\xi =0\).
The above steps make sense when we can prove that the operator \(\mathcal {U}(x,t,\partial _\xi )\) acts continuously on a space of entire functions that contains the exponential function. For example, if we show that
acts continuously, then we have
which in turn gives the sought-after supershift property. This follows because the sequence \(F_n(\xi ,a)\) converges to \(e^{ia\xi }\) in \(\mathcal {A}_1\) and in particular it converges uniformly on the compact set in \(\mathbb {C}\).
The above procedure is very general and it works also for different types of evolution equations recently it has been applied to the Klein–Gordon equation (see [10]). In the next section, by taking advantage of some preliminary results presented in [10], we study the supershift property for the Dirac field.
4 Proofs of the Main Results for the Dirac Equation
In this section we recall a well known representation formula for the solution of Klein–Gordon equation in \(\mathbb {R}^3\) expressed by smooth functions like the Bessel function \(J_1\). This formula is a consequence of the knowledge of the Green function and it expresses the solution of the Cauchy problem
Precisely, we consider \(y=(y_1,y_2,y_3)\in \mathbb R^3\) with y written in spherical coordinates, i.e., \(y_1=\rho \sin \phi \cos \theta\), \(y_2=\rho \sin \phi \sin \theta\), \(y_3=\rho \cos \phi\). We will set \(d^3y = r^2dr d\Omega _y\), where \(d\Omega _y=\sin \phi d\theta d\phi\), for \(\rho \in [0,\infty )\), \(\phi \in [0,\pi ]\), \(\theta \in [0,2\pi ]\).
Theorem 4.1
Let \(f\in \mathcal {C}^3(\mathbb {R}^3)\) and \(g \in \mathcal {C}^2(\mathbb {R}^3)\). Then the solution of the Cauchy problem (26) is given by
where \(J_1\) is the Bessel function, the spherical coordinates are given by \(d^3y = r^2dr d\Omega _y\), and \(B_t(0)\) is the ball with radius t centered at the origin. Moreover, \(\psi\) belongs to in \(\mathcal {C}^2(\mathbb {R}^4)\).
Proof
See Theorem 3.3.1 in [34]. \(\square\)
Here we introduce some basic facts to study the evolution of superoscillations in the Dirac field. We recall the Pauli matrices
and the Gamma matrices, which can be written in terms of the Pauli matrices, are given by
The components of the solution of the Dirac equation satisfy the Klein–Gordon equation. We now focus on the Dirac equation with the associated Cauchy problem
The solution \(\psi (t,x)\) has components \(\psi _j\), for \(j=1,2,3,4\), and we write
where \(\mathcal {T}\) indicates the transposed vector, the components \(\psi _j\) are explicitly given by
for \(j=1,2,3,4\), with the initial data that are given by
where we have used the matrices
and I is the \(2\times 2\) identity matrix. In order to study superoscillations, we then need to consider the Cauchy problem associated with the plane waves. So, we start with the following result.
Theorem 4.2
Let \(\varphi ^+_{0}(x)\) and \(\varphi ^-_0(x)\) represent the wave functions for the positive and negative energy level. Consider the Cauchy problem
where a and b are real numbers and \(m>0\) . Define the functions:
Then the components of the solution of the Dirac equation are given by
Proof
Let us write explicitly the function g:
so we have that
and, taking into account with the initial datum (30), we obtain
so
and
and the components of \(g_\pm\) are explicitly given by
With the above computations we obtain the set of conditions:
and also
Based on Theorem 4.1, the components of the Dirac equation can be written as
from which we reach the desired conclusion by using the functions \(U_1\) and \(U_2\) defined in (31). \(\square\)
Let us note that it is enough to study the functions \((\varphi _{1,a},\varphi _{4,a})\) since the functions \((\varphi _{2,b},\varphi _{3,b})\) are obtained by commuting a and b. As it was proven in [10], the functions \(U_1\) and \(U_2\) can be written in terms of convolution operators acting continuously on the space of entire functions \(\mathcal {A}_1\). For \(t\in [0,T]\), with \(T>0\), we define the following convolution operators
where the coefficients \(B_{j,\ell }(t)\) are given by
with the function K(p, q) being defined by
Moreover, we also need the following lemma.
Lemma 4.3
For \(t\in [0,T]\), with \(T>0\), we define the following convolution operators
where the coefficients \(\widetilde{B}_{j,\ell }(t)\) are given by
Then we have
and
and the operators \(\widetilde{\mathcal {U}}_j(t,\partial _{x_1})\), for \(j=1,2\), act continuously on \(\mathcal {A}_1\).
Proof
We observe that from the definition of the function \(U_1\) we have
and hence we obtain (47), similarly we get (48). The continuity of the operators \(\widetilde{\mathcal {U}}_j(t,\partial _{x_1})\) for \(j=1,2\) follows with similar computations of the Lemmas 4.2 and 4.3 in [10]. \(\square\)
Lemma 4.4
The components of the solution of the Dirac equation given in (32) can be represented in terms of convolution operators as
Proof
The functions \(\varphi _{1,a}(t,x)\) and \(\varphi _{3,b}\) in (49) are a direct consequence of (32) and of the relations
where the operators \(\mathcal {U}_j(t,\partial _{x_1})\), for \(j=1,2,3,4,5\), are defined in (37) with coefficients (45), (46), (40), (41) and (42). These operators are continuous on the space of entire functions \(\mathcal {A}_1\) as proved in Lemmas 4.2, 4.3, 4.5 and 4.4 in [10]. The representations of \(\varphi _{2,b}(t,x)\) and \(\varphi _{4,a}(t,x)\) follows from Lemma 4.3. \(\square\)
We are now in the position to state the main result of this section, that is the supershift property for the Dirac equation. It is encoded in the following theorem:
Theorem 4.5
Consider the Cauchy problem
where \(\psi ^+_{0,n}(x)\) and \(\psi ^-_{0,n}(x)\) are the superoscillating initial data:
for a and b real numbers and let \(m>0\). Then the solution can be written as
and the supershift property holds, that is we have
Proof
The proof is a direct consequence of the continuity of the operators
defined in (37) and from the continuity of the operators
defined in (44). \(\square\)
5 Conclusions
Superoscillations are an important notion in quantum mechanics, as they appear in Aharonov’s theory of weak values. The study of superoscillations requires sophisticated mathematical tools in order describe their evolution in time according to Schrödinger equation or other relativistic field equations. The mathematical methods to investigate the evolution of superoscillations have improved in the last ten years, and in this paper we have offered a summary of these methods by using Schrödinger equation as a model. In particular, we explicitly explained why we need to generalize the notion superoscillation with the notion of supershift. That put us in a position to develop our main technical result, namely the treatment of the evolution of superoscillation via the Dirac equation.
References
Aharonov, Y., Rohrlich, D.: Quantum Paradoxes: Quantum Theory for the Perplexed. Wiley-VCH Verlag, 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)
Aharonov, Y., Behrndt, J., Colombo, F., Schlosser, P.: Schrödinger evolution of superoscillations with \(\delta\)- and \(\delta ^{\prime }\)-potentials, to appear in Quantum Stud. Math. Found., https://doi.org/10.1007/s40509-019-00215-4
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(16), 365304 (2011)
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 Schrodinger equations. J. Math. Pures Appl. 103, 522–534 (2015)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: Superoscillating sequences in several variables. J. Fourier Anal. Appl. 22, 751–767 (2016)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: The mathematics of superoscillations. Mem. Am. Math. Soc. 247(1174), v+107 (2017)
Aharonov, Y., Colombo, F., Struppa, D.C., Tollaksen, J.: Schrödinger evolution of superoscillations under different potentials. Quantum Stud. Math. Found. 5, 485–504 (2018)
Aharonov, Y., Sabadini, I., Tollaksen, J., Yger, A.: Classes of superoscillating functions. Quantum Stud. Math. Found. 5, 439–454 (2018)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: Evolution of superoscillations in the Klein-Gordon field. Milan J. Math. 88, 171–189 (2020)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: How superoscillating tunneling waves can overcome the step potential. Ann. Phys. 414168088, 19 (2020)
Aoki, T., Colombo, F., Sabadini, I., Struppa, D.C.: Continuity of some operators arising in the theory of superoscillations. Quantum Stud. Math. Found. 5, 463–476 (2018)
Aoki, T., Colombo, F., Sabadini, I., Struppa, D.C.: Continuity theorems for a class of convolution operators and applications to superoscillations. Ann. Math. Pura Appl. 197, 1533–1545 (2018)
Behrndt, J., Colombo, F., Schlosser, P.: Evolution of Aharonov-Berry superoscillations in Dirac \(\delta\)-potential. Quantum Stud. Math. Found. 6, 279–293 (2019)
Berry, M.V.: Faster than Fourier. In: J.S. Anandan, J.L. Safko (eds.) Quantum Coherence and Reality; in Celebration of the 60th Birthday of Yakir, Aharonov edn, pp. 55–65. World Scientific, Singapore (1994)
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.: Superoscillations, endfire and supergain. In: Struppa, D., Tollaksen, J. (eds.) Quantum Theory: A Two-Time Success Story: Yakir Aharonov Festschrift, pp. 327–336. Springer, New York (2014)
Berry, M.V.: Representing superoscillations and narrow Gaussians with elementary functions. Milan J. Math. 84, 217–230 (2016)
Berry, M., et al.: Roadmap on superoscillations. J. Opt. 21, 053002 (2019)
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)
Colombo, F., Gantner, J., Struppa, D.C.: Evolution of superoscillations for Schrödinger equation in a uniform magnetic field. J. Math. Phys. 58(9), 092103 (2017)
Colombo, F., Gantner, J., Struppa, D.C.: Evolution by Schrödinger equation of Aharonov-Berry superoscillations in centrifugal potential. Proc. A 4752225, 20180390 (2019)
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–3740 (2006)
Kempf, A.: Four aspects of superoscillations. Quantum Stud. Math. Found. 5, 477–484 (2018)
Lee, D.G., Ferreira, P.J.S.G.: Superoscillations with optimal numerical stability. IEEE Sign. Proc. Lett. 21(12), 1443–1447 (2014)
Lienert, M.: Lecture Notes Wave Equations of Relativistic Quantum Mechanics, https://www.math.uni-tuebingen.de/de/forschung/maphy/lehre/ws-2018-19/we-rqm/lecture-notes-1.pdf
Lindberg, J.: Mathematical concepts of optical superresolution. J. Opt. 14, 083001 (2012)
Toraldo di Francia, G.: Super-gain antennas and optical resolving power. Nuovo Cimento Suppl. 9, 426–438 (1952)
Funding
Open access funding provided by Politecnico di Milano within the CRUI-CARE Agreement.
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
Colombo, F., Valente, G. Evolution of Superoscillations in the Dirac Field. Found Phys 50, 1356–1375 (2020). https://doi.org/10.1007/s10701-020-00382-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10701-020-00382-0
Keywords
- Superoscillating functions
- Convolution operators
- Schrödinger equation
- Dirac equation
- Entire functions with growth conditions