Abstract
In this paper we describe a general method to generate superoscillatory functions of several variables starting from a superoscillating sequence of one variable. Our results are based on the study of suitable infinite order differential operators acting on holomorphic functions with growth conditions of exponential type. Additional constraints are required when dealing with infinite order differential operators whose symbol is a function that is holomorphic in some open set, but not necessarily entire. The results proved for superoscillating sequences in several variables are extended to sequences of supershifts in several variables.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Superoscillating functions are band-limited functions that can oscillate faster than their fastest Fourier component. Physical phenomena associated with superoscillatory functions have been known for a long time for example in antennas theory, see [33], and in the context of weak values in quantum mechanics, see [1]. In more recent years there has been a wide interest in the mathematical theory of superoscillating functions and of supershifts. This notion, that generalizes the one of superoscillations, was introduced in order to study the evolution of superoscillations as initial data of the Schrödinger equation and of other field equations, like Dirac or Klein-Gordon equations.
The literature on superoscillations is quite large, and without claiming completeness we mention below some of the most relevant (and recent) results. Papers [2,3,4,5,6,7, 12, 15, 27, 30] and [31] deal with the issue of permanence of superoscillatory behavior when evolved under a suitable Schrödinger equation; papers [19,20,21, 28, 29] and [32] are mostly concerned with the physical nature of superoscillations, while papers [10, 11, 13, 14, 22,23,24,25,26] develop in depth the mathematical theory of superoscillations. Finally, [7] is a good reference for the state of the art on the mathematics of superoscillations until 2017, and the Roadmap on Superoscillations [18] contains the most recent advances in superoscillations theory, and their applications to technology explained by the leading experts in this field.
We note that superoscillatory functions have been considered also in several variables. They have been rigorously defined and studied in [6] and in [9] where we have initiated also the theory of supershifts in more then one variable. The aim of this paper is to further improve the results in [6, 9] and to obtain a very general theory of superoscillations and supershifts.
The results in this paper are directed to a general audience of mathematicians, physicists and engineers, and our main tool is the theory of infinite order differential operators acting on spaces of holomorphic functions.
More precisely, in this paper we consider analytic functions in one variable \(G_1,\ldots , G_d\), \(d\ge 2\), whose Taylor series at zero has radius of convergence greater than 1 and, possibly, less than \(\infty \). This is a novelty with respect to [9] where it was considered only the case in which \(G_1,\ldots ,\, G_d\) are entire functions. Thus we define general superoscillating functions of several variables as expressions of the form
where \(Z_j(n,a)\), for \(j=0, \ldots ,n\), \(n\in \mathbb {N}\) are suitable coefficients of a superoscillating function in one variable as we will see in the sequel. We will give conditions on the functions \(G_1,\ldots , G_d\) in order that
so that, when \(|G_\ell (a)|>1\), \(F_n(x_1,x_2,\ldots ,x_d)\) is superoscillating. Moreover, we shall also treat the case of sequences that admit a supershift in \(d\ge 2\) variables.
The paper is organized in four sections including the introduction. Section 2 contains the preliminary material on superoscillations, the relevant function spaces and their topology, and the study of the continuity of some infinite order differential operators acting on such spaces. Section 3 is the main part of the paper and contains the definition of superoscillating functions in \(d\ge 2\) variables as well as some results. Section 4 discusses the notion of supershift in this framework.
2 Preliminary Results on Infinite Order Differential Operators
We begin this section with some preliminary material on superoscillations and supershifts in one variable. Then we introduce some infinite order differential operators that will be of crucial importance to define and study superoscillations and supershifts in several variables.
Definition 2.1
We call generalized Fourier sequence a sequence of the form
where a belongs to an open subset of \({\mathbb {R}}\), \(Z_j(n,a)\) and \(h_j(n)\) are complex and real valued functions of the variables n, a and n, respectively. The sequence (1) is said to be a superoscillating sequence if \(\sup _{j,n}|h_j(n)|\le 1\) and there exists an open subset of \({\mathbb {R}}\), which will be called a superoscillation set, on which \(f_n(x)\) converges locally uniformly to \(e^{ig(a)x}\), where g is a continuous real valued function in an open subset of \({\mathbb {R}}\) such that \(|g(a)|>1\).
Remark 2.2
In many applications, as we show in the next example, the index n of a superoscillating sequence may not reach the value 0. In this case we write \(n\in {\mathbb {N}}_0:={\mathbb {N}}\setminus \{0\}\).
The classical Fourier expansion is obviously not a superoscillating sequence since its frequencies are not, in general, bounded.
Example 2.3
The most important example of superoscillating sequence is
where \(a>1\) and the coefficients \(C_j(n,a)\) are given by
If we fix \(x\in {\mathbb {R}}\) and we let n go to infinity, we obtain that
and the limit is uniform on the compact sets of the real line. From this example it is possible to construct other examples, like e.g.
where \(a>1\) and \(m\in {\mathbb {N}}\). If we fix \(x\in {\mathbb {R}}\) and we let n go to infinity, we obtain that
where the limit is uniform on the compact sets of the real line.
Our approach to the study of superoscillatory functions in one or several variables makes use of infinite order differential operators. Such operators naturally act on spaces of holomorphic functions. This is the reason for which we consider the holomorphic extension to entire functions of the sequence \(f_n(x)\) defined in (2.1) by replacing the real variable x with the complex variable \(\xi \). For the sequences of entire functions we shall consider, a natural notion of convergence is the convergence in the space \(A_1\) or in the space \(A_{1,B}\) for some real positive constant B (see the following definition and considerations). These spaces are recalled below:
Definition 2.4
The space \(A_1\) is the complex algebra of entire functions such that there exists \(B>0\) such that
The space \(A_1\) has a rather complicated topology, see e.g. [17], since it is a linear space obtained via an inductive limit. For our purposes, it is enough to consider, for any fixed \(B>0\), the set \(A_{1,B}\) of functions f satisfying (2), and to observe that
defines a norm on \(A_{1,B}\), called the B-norm. One can prove that \(A_{1,B}\) is a Banach space with respect to this norm.
Moreover, let f and a sequence \((f_n)_n\) belong to \(A_1\); \(f_n\) converges to f in \(A_1\) if and only if there exists B such that \(f,f_n\in A_{1,B}\) and
With these notations and definitions we can make the notion of continuity in \(A_1\) explicit (see [14]):
A linear operator \(\mathcal {U}:\ A_1\rightarrow A_1\) is continuous if and only if for any \(B>0\) there exists \(B'>0\) and \(C>0\) such that
before to continue, it is useful to recall that in the recent paper [8] we enlarged the class of superoscillating functions, with respect to the existing literature, by solving the following problem.
Problem 2.5
Let \(h_j(n)\) be given points in \([-1,1]\), \(j=0,1, \ldots ,n\), for \(n\in \mathbb {N}\) and let \(a\in \mathbb {R}\) be such that \(|a|>1\). Determine the coefficients \(X_j(n)\) of the sequence
in such a way that
Remark 2.6
The conditions \(f_n^{(p)}(0)=(ia)^p\) mean that the functions \(x\mapsto e^{iax}\) and \(x\mapsto f_n(x)\) have the same derivatives at the origin, for \(p=0,1, \ldots ,n\), and therefore the same Taylor polynomial of order n.
Theorem 2.7
(Solution of Problem 2.5) Let \(h_j(n)\) be a given set of points in \([-1,1]\), \(j=0,1, \ldots ,n\) for \(n\in \mathbb {N}\) and let \(a\in \mathbb {R}\) be such that \(|a|>1\). If \(h_j(n)\not = h_i(n)\), for every \(i\not =j\), then the coefficients \(X_j(n,a)\) are uniquely determined and given by
As a consequence, the sequence
solves Problem 2.5. Moreover, when the holomorphic extensions of the functions \(f_n\) converge in \(A_1\), we have
Remark 2.8
In Theorem 2.7, the hypothesis that the sequence \(\{f_n(x)\}_{n\in {\mathbb {N}}}\) admits an extension to \({\mathbb {C}}\) that converges in \(A_1\) can be removed. Indeed, by the residue theorem we have
where \(\Gamma \) is any piecewise smooth simple loop which support surrounds in \({\mathbb {C}}\) the real segment \([-1,1]\) and the point \(a\in {\mathbb {R}}\). Taking \(\Gamma =\Gamma _a:\theta \in [0,2\pi ]\mapsto (|a|+2)e^{i\theta }\), \(\xi \in {\mathbb {C}}\) in place of \(x\in {\mathbb {R}}\), leads to the estimate
since \(|a-h_j(n)|/|\zeta -h_j(n)|\le (|a|+1)/((|a|+2)-1)=1\) for any \(j=0,\ldots , n\) and \(\zeta \in {\text {Supp}}\Gamma \). This shows that the sequence \(\{f_n(\xi )\}_{n\in {\mathbb {N}}}\) is bounded in \(A_1({\mathbb {C}})\). Since \(f_n(\zeta )\) shares the same derivatives at the origin (up to order n) than \(e^{i\zeta a}\), by inequality (5) it converges to \(e^{i\zeta a}\) in \(A_{1,B}\) for any \(B>|a|+2\) and locally uniformly in a (see for the case \(\prod _{\ell =0,\ell \ne j} |h_\ell (n)-h_j(n)|\ge \delta ^n\) [16] while for the general case [25]). A similar formula holds for
where G is a holomorphic function in an open neighborhood \(\Omega _G\) of \([-1,1]\). In this case we have
where \(\Gamma _G\) is a piecewise smooth curve surranding a and contained in \(\Omega _G\setminus [-1,1].\)
The following result, see Lemma 2.9 in [13], gives a characterization of the functions in \(A_1\) in terms of the coefficients appearing in their Taylor series expansion.
Lemma 2.9
The entire function
belongs to \(A_1\) if and only if there exists \(C_f>0\) and \(b>0\) such that
Remark 2.10
To say that \(f\in A_1\) means that \(f\in A_{1,B}\) for some \(B>0\). The computations in the proof of Lemma 2.9 given in [13], show that \(b=2eB\), and that we can choose \(C_f=\Vert f \Vert _B\).
We now define two types of infinite order differential operators that will be used to study superoscillatory functions and supershifts in several variables. We shall denote by \({\underline{x}}\) the vector \((x_1,\ldots , x_d)\) in \(\mathbb {R}^d\).
Proposition 2.11
Let d be a positive integer and let \(R_\ell \in \mathbb {R}_{+}\cup \{\infty \}\) for \(\ell =1,\ldots ,\, d\). Let \(\{g_{1,m}\}_{m\in {\mathbb {N}} }, \ldots ,\, \{g_{d,m}\}_{m\in {\mathbb {N}}}\) be d sequences of complex numbers such that
Let \(x_1,\ldots , x_d\in \mathbb {R}\). Denote by \(D_\xi :=\frac{\partial }{\partial \xi }\) the derivative operator with respect to the auxiliary complex variable \(\xi \). We define the formal operator:
where we have set
and
Then, setting
for any real value \(0<B<\frac{R}{4e}\), the operator \(\mathcal {U}(x_1,\ldots , x_d,D_\xi ):A_{1,B} \rightarrow A_{1,4eB}\) is continuous for all \({\underline{x}}\in {\mathbb {R}}^d\).
Proof
Let us consider \(f\in A_{1,B}\); then we have
Taking the modulus we get
and Lemma 2.9 gives the estimate on the coefficients \(a_{j+k}\)
where \(b=2eB\). Using the well known inequality \( (a+b)!\le 2^{a+b}a!b! \) we also have
so we get
Now we use the Gamma function estimate
to separate the series, and we have
and so
Now observe that the latter series satisfies the estimate
where C is a positive constant, because of the properties of the Mittag-Leffler function; moreover, the series
is convergent and it is bounded by a positive real constant \(C_{{\underline{x}},G_1,\ldots , G_d}\). In fact, using Stirling formula for the Gamma function, we have
and then we deduce
so that
Now observe that (9) has positive coefficients and, by the definition of \(Y_{k,p}\) and by (11), it converges if
converges. Observing that the m-th power of an absolutely convergent series \(\sum _{m=0}^{\infty } a_m\) can be computed by means of the Cauchy product:
and, using the inequality:
where \(k\ge \nu _1\ge \cdots \ge \nu _{p-1}\ge 0\), we deduce that there exists a positive constant \(C_{{\underline{x}}, G_1,\ldots , G_d}\) such that the following chain of inequalities holds:
note that for the equality we used (12), while the last inequality follows by the assumption
which implies \(2b<R\). From the previous estimate we have that the series (9) converges for all \(x_1,\ldots , x_d \in \mathbb {R}\). So we finally have
Recalling that \(b=2eB\), the estimate (13) implies that \(\mathcal {U}(x_1,\ldots , x_d,)f\in A_{1, 8eB}\), in fact
Moreover, we deduce that the 8eB-norm satisfies the estimate
Thus \(\mathcal {U}(x_1,\ldots , x_d,D_\xi ):A_{1,B} \rightarrow A_{1,8eB}\) is continuous for all \({\underline{x}}\in {\mathbb {R}}^d\). \(\square \)
Remark 2.12
Whenever we fix a compact subset \(K\subset \mathbb {R}^d\), we have that, for any \({\underline{x}}\in K\), the constants \(C_{{\underline{x}},G_1,\ldots , G_d}\) appearing in the proof of the previous theorem are bounded by a constant which depends only on K and \(G_1,\ldots , G_d\). Moreover, if \(R_\ell =\infty \) for any \(\ell =1,\ldots , d\), the continuity of the operator \({\mathcal {U}}(x_1,\ldots , x_d,D_\xi )\) holds for any \(B>0\) and the proof shows that the operator \({\mathcal {U}}(x_1,\ldots , x_d,D_\xi )\) acts continuously from \(A_1\) to itself.
Proposition 2.13
Let d be a positive integer and let \(R_\ell \in \mathbb {R}_{+}\cup \{\infty \}\) for any \(\ell =1,\ldots ,\, d\). Let \((g_{1,m}), \ldots ,\, (g_{d,m})\) be d sequences of complex numbers such that
We define the formal operator
where
and \(x_1,\ldots ,\, x_d\in {\mathbb {R}},\ \xi \in \mathbb {C}\). Then, for any real value \(B>0\), the operator
is continuous whenever \(|x_\ell |< \frac{R}{4eB}\) for any \(\ell =1,\ldots , d\) where \(R:=\min _{\ell =1,\ldots , d}R_{\ell }\).
Proof
We apply the operator \(\mathcal {V}(x_1,\ldots , x_d,D_\xi )\) to a function f in \(A_{1,B}\) for \(|{\underline{x}}|< \frac{R}{4eB}\). We have
We then have
and using the estimate in Lemma 2.9
where \(b=2eB\), we get
With the estimates: \( (k+j)!\le 2^{k+j} k!j!, \) and
we separate the series
Furthermore, we get
Using (10) we have
Moreover, since \(\sqrt{k-1/2}\le k\le (\nu _{d-1}+2) (\nu _{d-2}-\nu _{d-1}+2)\cdots (k-\nu _1)\), we also obtain
Since \(|x_\ell |< \frac{R}{4eB}\) for any \(\ell =1,\ldots , d\) and \(b=2eB\), the series \(\sum _{m\ell =1}^\infty m |g_{\ell ,m}|(2b|x_\ell |)^{m}\), converges to a constant \(\kappa _{x_\ell }\) which depends on \(x_\ell \in \mathbb {R}\). Thus there exist constants \(C_{x_{\ell }}\), \(\ell =1,\ldots ,d\) such that
from which, recalling that \(C_f=\Vert f\Vert _B\), we deduce
for some \(C_{x_1,\ldots , x_d}\). We conclude that the operator \(\mathcal {V}(x_1,\ldots , x_d, D_\xi ): A_{1,B}\rightarrow A_{1,8eB}\) is continuous. \(\square \)
Remark 2.14
Whenever we fix a compact subset
we have that, for any \({\underline{x}}\in K\), the constants \(C_{x_\ell }\)’s, appearing in the proof of the previous theorem are bounded by a constant which depends only on K. Moreover, if \(R_\ell =\infty \) for any \(\ell =1,\ldots , d\), the continuity of the operator \({\mathcal {V}}(x_1,\ldots , x_d,D_\xi )\) holds to be true for any \({\underline{x}}\in \mathbb {R}^d\) and the proof of the previous theorem shows that \({\mathcal {V}}(x_1,\ldots , x_d,D_\xi )\) satisfies the conditions in (3). Thus we conclude that the operator \({\mathcal {V}}(x_1,\ldots , x_d,D_\xi )\) acts continuously from \(A_1\) to itself.
3 Superoscillating Functions in Several Variables
We recall some preliminary definitions related to superoscillating functions in several variables.
Definition 3.1
(Generalized Fourier sequence in several variables) For \(d\in \mathbb {N}\) such that \(d\ge 2\), we assume that \((x_1, \ldots ,x_d)\in \mathbb {R}^d\). Let \(\{h_{j,\ell }(n) \}\), \(j=0, \ldots ,n\) for \( n\in \mathbb {N}\), be real-valued sequences for \(\ell =1, \ldots ,d\). We call generalized Fourier sequence in several variables a sequence of the form
where \(\{c_j(n)\}_{j,n}\), for \(j=0,\ldots ,n\) and \( n\in \mathbb {N}\), is a complex-valued sequence.
Definition 3.2
(Superoscillating sequence) A generalized Fourier sequence in several variables \(F_n(x_1,\ldots ,x_d)\), with \(d\in \mathbb {N}\) such that \(d\ge 2\), is said to be a superoscillating sequence if
and there exists an open subset of \(\mathbb {R}^d\), which will be called a superoscillation set, on which \(F_n(x_1,\ldots ,x_d)\) converges locally uniformly to \(e^{ix_1 G_1(a)}e^{ix_2 G_2(a)}\ldots e^{ix_d G_d(a)}\), where a belongs to an open subset U of \({\mathbb {R}}\), \(G_\ell \)’s are continuous functions of real variable whose domain contains U and \(|G_\ell (a)|>1\) for \(\ell =1,\ldots ,d\) and \(a\in U\).
In the paper [6] we studied the function theory of superoscillating functions in several variables under the additional hypothesis that there exist \(r_\ell \in \mathbb {N}\), such that
In that case, we proved that for p, \(q_\ell \in \mathbb {N}\), \(\ell =1,\ldots ,d\), \(n\in {\mathbb {N}}_0\), the function
is superoscillating when \(|a|>1\), where \(C_j(n,a)\) are suitable coefficients. In the paper [9], we were able to remove the condition (17), while here we will show that it is possible to replace the functions \((1-2j/n)^p\) in the exponent of \(e^{ix(1-2j/n)^p}\) with more general holomorphic functions. As we shall see, different function spaces are involved in the proofs according to the fact that the holomorphic functions are entire or not.
Theorem 3.3
(The general case of \(d\ge 2\) variables) Let d be a positive integer and let \(R_\ell \in \mathbb {R}_{+}\cup \{\infty \}\) be such that \(R_\ell > 1\) for any \(\ell =1,\ldots ,\, d\). Let \(G_1,\ldots ,\, G_d\) be holomorphic functions whose series expansion at zero is given by
and, moreover, the sequences \(\{g_{\ell ,m}\}_{m\in {\mathbb {N}}}\) satisfy the condition
Let \(a\in {\mathbb {R}}\) and
be a generalized Fourier sequence as in Definition 2.1, with in addition \(h_j(n)\in [-1,1]\) for any \(0\le j\le n\). Suppose also that the sequence of entire extensions
converges to \(\xi \mapsto e^{ia\xi }\) in \(A_{1,B}\) for some positive real value \(0<B<\frac{R}{4e}\), where \(R:=\min _{\ell =1,\ldots , d} R_\ell \). Let also
Then, whenever \(|a|<R\) and \(a\in {\mathbb {R}}\), we have
uniformly on compact subsets of \(\mathbb {R}^d\). In particular, the sequence \(\{F_n(x_1,x_2,\ldots ,x_d)\}_{n\ge 0}\) is superoscillating according to Definition (3.2) when \(|G_\ell (a)|>1\) for any \(|a|< R\).
Proof
Since \(R_\ell \ge 1\) for any \(\ell =1,\ldots , d\) and \(|h_j(n)|\le 1\), using (12) we have for any \((x_1,\ldots , x_d)\in {\mathbb {R}}^d\) the chain of equalities
where, for any \(m,k\in {\mathbb {N}}\),
and \({\mathcal {U}}_g\) is the continuous operator from \(A_{1,B}\) to \(A_{1, 8e B}\), see Proposition 2.11, defined by
The explicit computation of the term \(\mathcal {U}_g(x_1,\ldots , x_d,D_\xi ) e^{i\xi a}\) gives
By the continuity of \({\mathcal {U}}_g\), we can exchange the operator \({\mathcal {U}}_g\) with the limit and we finally get
where the third equality is due to the formula (12) and the fourth equality holds because we are assuming \(|a|<R\). The previous limit is uniform over the compact subset of \(\mathbb {R}^d\) because of Remark 2.12. \(\square \)
Remark 3.4
From the inspection of the proof we observe that:
-
(I)
The space of the entire functions on which the operator \(\mathcal {U}(x_1,\ldots ,\,x_d, D_\xi )\) acts is the space \(A_{1,B}\) in one complex variable, for some positive real value \(0<B<\frac{R}{4e}\).
-
(III)
The variables \((x_1,x_1,\ldots ,x_d)\) become the coefficients of the infinite order differential operator \(\mathcal {U}(x_1,x_2,\ldots , x_d,D_\xi )\), defined in (20), that still acts on the space \(A_{1,B}\).
Example 3.5
Using Theorem 3.3 and Remark 2.8, we can construct a superoscillating sequence of d variables. In fact, consider the sequence
where \(X_j(n,a)\)’s are defined as in (4) and \(h_j(n)\in [-1,1]\) are fixed. By Remark 2.8 we know that this sequence converges in \(A_1\) to \(e^{i\xi a}\). Let \(G_1,\ldots , G_d\) be holomorphic functions whose Taylor series centered at zero have rays of convergence equal respectively to \(R_1,\ldots , R_d\) such that
We can choose \(a\in {\mathbb {R}}\) such that \(|a|>1\) and
If \(|G_\ell (a)|>1\) for all \(\ell =1,\ldots , d\), then by Theorem 3.3 we have that the sequence
is superoscillating and it converges on any compact subset of \({\mathbb {R}}^d\) towards
4 Supershifts in Several Variables
The procedure to define superoscillating functions can be extended to the case of supershift. Recall that the supershift property of a function extends the notion of superoscillation and that this concept, that we recall below in the case of one variable, turned out to be a crucial ingredient for the study of the evolution of superoscillatory functions as initial conditions of the Schrödinger equation.
Definition 4.1
(Supershift) Let \(\mathcal {I}\subseteq \mathbb {R}\) be an interval with \([-1,1]\subset {\mathcal {I}}\) and let \(\varphi :\, {\mathcal {I}} \times \mathbb {R}\rightarrow {\mathbb {R}}\), be a continuous function on \({\mathcal {I}}\). We set
and we consider a sequence of points \((h_{j}(n))\) such that
We define the functions
where \((c_j(n))\) is a sequence of complex numbers for \(j=0, \ldots ,n\) and \(n\in \mathbb {N}\). If
for some \(a\in {\mathcal {I}}\) with \(|a|>1\), we say that the function \(\psi _n(x)\), for \(x\in \mathbb {R}\), admits a supershift.
Remark 4.2
The term supershift comes from the fact that the interval \({\mathcal {I}}\) can be arbitrarily large (it can also be \({\mathbb {R}}\)) and that the constant a can be arbitrarily far away from the interval \([-1,1]\) where the functions \(\varphi _{h_{j,n}}(\cdot )\) are indexed, see (21).
Problem 2.5, for the supershift case, is formulated as follows.
Problem 4.3
Let \(h_j(n)\) be a given points in \([-1,1]\), \(j=0,1, \ldots ,n\), for \(n\in \mathbb {N}\) and let \(a\in \mathbb {R}\) be such that \(|a|>1\). Suppose that for every \(x\in \mathbb {R}\) the function \(h\mapsto G(h x )\) extends to a holomorphic and entire function in h. Consider the functions
where \(h\mapsto G(h x)\) depends on the parameter \(x\in \mathbb {R}\). Determine the coefficients \(Y_j(n)\) in such a way that
The solution of Problem 4.3, obtained in [8], is summarized in the following theorem.
Theorem 4.4
Let \(h_j(n)\) be a given set of points in \([-1,1]\), \(j=0,1, \ldots ,n\) for \(n\in \mathbb {N}\) and let \(a\in \mathbb {R}\) be such that \(|a|>1\). If \(h_j(n)\not = h_i(n)\) for every \(i\not =j\) and \(G^{(p)}(0)\not =0\) for all \(p=0,1, \ldots ,n\), then there exists a unique solution \(Y_j(n,a)\) of the linear system (22) and it is given by
so that
Remark 4.5
By the residue theorem, the functions \(f_n\)’s admit the following integral representation formula
where \(\Gamma \) is a simple loop which support surrounds \([-1,1]\). If \(G\in A_1\), that is \(|G(\xi )|\le Ae^{B|\xi |}\) for some \(A,\, B\ge 0\), it follows from the integral representation formula that
Since \(\xi \mapsto G(a\xi )\) and \(f_n\) share the same Taylor coefficients at the origin up to order n, the convergence of the sequence \(\{f_n\}_{n\in {\mathbb {N}}}\) towards \(\xi \mapsto G(a\xi )\) holds in \(A_{1,B'}\), and thus in \(A_1\), provided \(B'>(|a|+2)B\).
We can now extend the notion of supershift of a function in several variables.
Definition 4.6
(Supershifts in several variables) Let \(|a|>1\). For \(d\in \mathbb {N}\) with \(d\ge 2\), we assume that \((x_1, \ldots ,x_d)\in \mathbb {R}^d\). Let \(\{ h_{j,\ell }(n) \}\), \(j=0, \ldots ,n\) for \( n\in \mathbb {N}\), be real-valued sequences for \(\ell =1, \ldots ,d\) such that
Let \(G_\ell (\lambda )\), for \( \ell =1, \ldots ,d\), be entire holomorphic functions. We say that the sequence
where \(\{ c_j(n)\}_{j,n}\), \(j=0,\ldots ,n\), for \( n\in \mathbb {N}\) is a complex-valued sequence, admits the supershift property if
Theorem 4.7
(The case of \(d \ge 2\) variables) Let \(|a|>1\) and let
be a superoscillating function as in Definition 2.1 and assume that its holomorphic extension to the entire functions \(f_n(\xi )\) converges to \(e^{ia\xi }\) in the space \(A_{1,B}\) for some positive real value B. Let d be a positive integer and let \(R_\ell \in \mathbb {R}_{+}\cup \{\infty \}\) for any \(\ell =1,\ldots ,\, d\). Let \(G_1,\ldots ,\, G_d\) be holomorphic functions whose series expansion at zero is given by
Moreover, we suppose the sequences \(\{g_{l,m}\}\)’s satisfy the condition
We define
where \(Z_j(n,a)\) are given as in (24). Then, \(F_n(x_1,\ldots ,\,x_d)\) admits the supershift property that is
uniformly on compact subsets of \(\{{\underline{x}}\in {\mathbb {R}}^d: | x_\ell |<R'\,\text {for any }\ell =1,\ldots , d\}\) where
Proof
Since \(| x_\ell |<R\,\,\text {for any }\ell =1,\ldots , d\), we have
where
We now consider the auxiliary complex variable \(\xi \) and we note that
where \(D_\xi \) is the derivative with respect to \(\xi \) and \(|_{\xi =0}\) denotes the restriction to \(\xi =0\). We have
We define the operator
so that we can write
Since \(| x_\ell |<\frac{R}{4eB}\,\,\text {for any }\ell =1,\ldots , d\), we can use Proposition 2.13 to compute the following limit
where the last equality holds because we are assuming \(| x_\ell |< \frac{R}{|a|}\,\,\text {for any }\ell =1,\ldots , d\). The previous limit is uniform over the compact subset of \(\{{\underline{x}}\in \mathbb {R}^d:\, |x_\ell |<R'\,\text {for any } \ell =1,\ldots , d\}\) because of Remark 2.14. \(\square \)
Remark 4.8
A special case of the previous theorem occurs when the holomorphic functions \(G_\ell \)’s are entire functions. Moreover, differently from Theorem 3.3, in Theorem 4.7 the parameters \(x_\ell \) appear in the arguments of the functions \(G_\ell \)’s. This implies that the hypothesis of Theorem 4.7 impose more constraints on the parameters \(x_\ell \)’s, namely \( |x_\ell |<R'\) for any \(\ell =1,\ldots , d\).
Example 4.9
Applying Theorem 4.7, it is possible to construct examples of sequences admitting the supeshift property. Suppose \(G_1,\ldots ,\, G_d\) satisfy the hypothesis of Theorem 4.7. We can consider the superoscillating sequences
and
which are such that the sequences \(\{\xi \in {\mathbb {C}}\mapsto f_{i,n}(\xi )\}\) for \(i=1,\, 2\) converge to \(\xi \mapsto e^{ia\xi }\) in \(A_{1,B}\) where \(B>|a|+1\) (see [26]), respectively \(B>|a|+2\) (see Remark 2.8). Thus the sequences
and
admit the supershift property.
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., Behrndt, J., Colombo, F., Schlosser, P.: Schrödinger evolution of superoscillations with \(\delta \)- and \(\delta ^{\prime }\)-potentials. Quantum Stud. Math. Found. 7(3), 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. J. Evol. Equ. 22(1). Paper No. 26 (2022)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: Evolution of superoscillations in the Klein-Gordon field. Milan J. Math. 88(1), 171–189 (2020)
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., Sabadini, I., Shushi, T., Struppa, D.C., Tollaksen, J.: A new method to generate superoscillating functions and supershifts. Proc. A. 477(2249) (2021). Paper No. 20210020
Aharonov, Y., Colombo, F., Jordan, A.N., Sabadini, I., Shushi, T., Struppa, D.C., Tollaksen, J.: On superoscillations and supershifts in several variables. Quantum Stud. Math. Found. 9(4), 417–433 (2022)
Aharonov, Y., Sabadini, I., Tollaksen, J., Yger, A.: Classes of superoscillating functions. Quantum Stud. Math. Found. 5, 439–454 (2018)
Aharonov, Y., Shushi, T.: A new class of superoscillatory functions based on a generalized polar coordinate system. Quantum Stud. Math. Found. 7, 307–313 (2020)
Alpay, D., Colombo, F., Sabadini, I., Struppa, D.C.: Aharonov-Berry superoscillations in the radial harmonic oscillator potential. Quantum 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. Ann. Mat. Pura Appl. 197, 1533–1545 (2018)
Aoki, T., Ishimura, R., Okada, Y., Struppa, D.C., Uchida, S.: Characterisation of continuous endomorphisms of the space of entire functions of a given order. Complex Var. Elliptic Equ. 66, 1439–1450 (2021)
Behrndt, J., Colombo, F., Schlosser, P.: Evolution of Aharonov-Berry superoscillations in Dirac \(\delta \)-potential. Quantum Stud. Math. Found. 6, 279–293 (2019)
Behrndt, J., Colombo, F., Schlosser, P., Struppa, D.C.: Integral representation of superoscillations via Borel measures and their convergence. Trans. Am. Math. Soc. 376, 6315–6340 (2023). https://doi.org/10.1090/tran/8983
Berenstein, C.A., Gay, R.: Complex Analysis and Special Topics in Harmonic Analysis. Springer, New York (1995)
Berry, M., et al.: Roadmap on superoscillations. J. Opt. 21, 053002 (2019)
Berry, M.V.: Faster than Fourier. 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.V.: Representing superoscillations and narrow Gaussians with elementary functions. Milan J. Math. 84, 217–230 (2016)
Berry, M.V., Popescu, S.: Evolution of quantum superoscillations, and optical superresolution without evanescent waves. J. Phys. A 39, 6965–6977 (2006)
Colombo, F., Sabadini, I., Struppa, D.C., Yger, A.: Gauss sums, superoscillations and the Talbot carpet. J. Math. Pures Appl., (9) 147, 163–178 (2021)
Colombo, F., Sabadini, I., Struppa, D.C., Yger, A.: Superoscillating sequences and hyperfunctions. Publ. Res. Inst. Math. Sci. 55(4), 665–688 (2019)
Colombo, F., Struppa, D.C., Yger, A.: Superoscillating sequences towards approximation in \(S\) or \(S^{\prime }\)-type spaces and extrapolation. J. Fourier Anal. Appl. 25(1), 242–266 (2019)
Colombo, F., Sabadini, I., Struppa, D.C., Yger, A.: Analyticity and supershift with irregular sampling. Preprint (2023)
Colombo, F., Sabadini, I., Struppa, D.C., Yger, A.: Superoscillating functions and the super-shift for generalized functions. Complex Anal. Oper. Theory 16(3). Paper No. 34 (2022)
Colombo, F., Valente, G.: Evolution of superoscillations in the Dirac field. Found. Phys. 50, 1356–1375 (2020)
Ferreira, P.J.S.G., Kempf, A.: Unusual properties of superoscillating particles. J. Phys. A 37, 12067–12076 (2004)
Ferreira, P.J.S.G., Kempf, A., Reis, M.J.C.S.: Construction of Aharonov-Berry’s superoscillations. J. Phys. A 40, 5141–5147 (2007)
Pozzi, E., Wick, B.D.: Persistence of superoscillations under the Schrödinger equation. Evol. Equ. Control Theory 11, 869–894 (2022)
Schlosser, P.: Time evolution of superoscillations for the Schrödinger equation on \(\mathbb{R} \setminus \{0\}\). Quantum Stud. Math. Found. 9, 343–366 (2022)
Šoda, B., Kempf, A.: Efficient method to create superoscillations with generic target behavior. Quantum Stud. Math. Found. 7(3), 347–353 (2020)
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
Communicated by Hans G Feichtinger.
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., Pinton, S., Sabadini, I. et al. The General Theory of Superoscillations and Supershifts in Several Variables. J Fourier Anal Appl 29, 66 (2023). https://doi.org/10.1007/s00041-023-10048-w
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00041-023-10048-w
Keywords
- General superoscillatory functions
- Supershifts in several variables
- Infinite order differential operators