Abstract
The notion of supershift generalizes that one of superoscillation and expresses the fact that the sampling of a function in an interval allows to compute the values of the function outside the interval. In a previous paper, we discussed the case in which the sampling of the function is regular and we are considering supershift in a bounded set, while here we investigate how irregularity in the sampling may affect the answer to the question of whether there is any relation between supershift and real analyticity on the whole real line. We show that the restriction to \(\mathbb {R}\) of any entire function displays supershift, whereas the converse is, in general, not true. We conjecture that the converse is true as long as the sampling is regular, we discuss examples in support and we prove that the conjecture is indeed true for periodic functions.
Similar content being viewed by others
1 Introduction and preliminary definitions
The notion of supershift (in itself a generalization of the notion of superoscillation arising in quantum mechanics but also studied from the mathematical point of view, see e.g. [1,2,3,4,5,6,7,8,9, 12, 13, 15,16,17, 26]) expresses the fact that the sampling of a function in an interval allows to compute the values of the function far from the interval. In a recent paper, see [14], we studied the relation between supershift and real analyticity. In particular, we used a classical result due to Serge Bernstein (see [11, 19, 23] for more information) to show that real analyticity for a complex valued function implies a strong form of supershift. On the other hand, we used a parametric version of a result by Leonid Kantorovitch to show that the converse is not true in the sense that we can construct an example of a smooth function that exhibit supershift on a bounded set and yet is not real analytic on that same set, see [22].
In [14], we restricted our attention to what we called a regular sampling. In this paper, instead, we study the more general case where the sampling points can be distributed in an interval with no regularity, but we consider the more difficult situation in which supershift occurs on the whole real line.
The first class of results, see Section 2, shows the superoscillatory phenomenon arises even in the case of irregular samplings in a way generalizing the standard one. The most general configuration of sampling points is treated via Lagrange-Hermite polynomials, see Theorem 2.6 and Theorem 2.7, even though a well-known example of Erdös and Vértesi, see [20, 21], shows that such polynomials fail to approximate continuous functions almost everywhere (and in particular it is always possible to find continuous functions for which the supershift fails even for regular samplings). This leads to the fact that the restriction to \(\mathbb {R}\) of any entire function displays supershift phenomena, see Theorem 2.4 which gives, using Proposition 2.3 and Theorem 2.6, respectively, Example 2.5 and Theorem 2.7.
This leads us naturally to Section 3 where we obtain some results that suggest the following conjecture (Conjecture 3.4): is any regular \(\mathbb {C}\) -supershift on \(\mathbb {R}\) (in the sense of Definition 1.8) necessarily the restriction of an entire function? Proposition 2.9 and Remark 2.10, which are inherited from Kantorovich’s example, suggest that the regularity hypothesis on the sampling is natural for our conjecture to hold.
More precisely, Proposition 2.9 shows that slightly irregular samplings on \([-1,1]\) allow the construction of non-real analytic functions on \(\mathbb {R}\) which can be extrapolated, uniformly on any compact set, from their sample values on \([-1,1]\).
As a support for Conjecture 3.4, we prove it for periodic regular \(\mathbb {C}\)-supershifts on \(\mathbb {R}\), see Theorem 3.6.
We now review some preliminary definitions which will be useful in the sequel.
Let
be a collection of real numbers (interpreted as frequencies) which all belong to the closed interval \([-1,1]\) with \(h_{N,\nu } \ge h_{N,\nu +1}\) for \(N\in \mathbb {N}^*\) and \(0\le \nu \le \nu (N)-1\).
Definition 1.1
A sequence of generalized trigonometric polynomials \((T_{H,N})_{N \ge 1}\) of the form
is called an H-sequence of generalized trigonometric polynomials.
Given an open subset \(A\subset \mathbb {R}\), an (A, H)-sequence of generalized trigonometric polynomials \(\{T_{H,N}[a]:a\in A\}_{N\ge 1}\) is by definition an A-parametrized H-sequence of generalized trigonometric polynomials such that each complex amplitude \(C_{H,\nu }(N,a)\) depends continuously on \(a\in A\), for any \(N\in \mathbb {N}^*\) .
Definition 1.2
(Superoscillating sequence). An (A, H)-sequence of generalized trigonometric polynomials is said to be superoscillating if there are two continuous functions \(g_H~: A \rightarrow \mathbb {C}\) and \(C_H: A \rightarrow \mathbb {R}\) such that both \(V=\{a \in A\,:\, C_H(a) \not =0,\ |g_H(a)| > 1\}\) and the open subset U of points \(x\in \mathbb {R}\) about which
locally uniformly with respect to (a, x), are non-empty open subsets, respectively, of A and \(\mathbb {R}\). The set U is then called the superoscillating subset of the (A, H)-superoscillating sequence \(\{T_N[a]:\, a\in A\}_{N\ge 1}\).
Definition 1.3
(Regular sampling). We will call regular sampling of the frequency interval \([-1,1]\) the sampling defined by \(H^{\varvec{\epsilon }}=[h_{N,\nu }^{\varvec{\epsilon }}]\) where \(\varvec{\epsilon }= (\epsilon _N)_{N\ge 1}\) is a sequence of elements in [0, 1[ which tends to 0 when N tends to infinity and
Example 1.4
The \((\mathbb {R},H^{\varvec{\epsilon }})\)-sequence \(\{T_N^{\varvec{\epsilon }} [\lambda ]:\, \lambda \in \mathbb {R}\}_{N\ge 1}\), where
is superoscillating on \(U=\mathbb {R}\).
From now on, we will mostly consider \((\mathbb {R},H)\)-superoscillating sequences.
The definition of superoscillating functions can be extended to include more general cases as follows:
Definition 1.5
(Supershift Property \((\textrm{SP})_{\mathscr {F}}\)) Let A be an open interval of \(\mathbb {R}\), possibly \(\mathbb {R}\) itself, which contains \([-1,1]\) and \(\psi : a \in A \longmapsto \psi _a\in \mathscr {F}\) be a continuous map from A to a topological \(\mathbb {C}\)-vector space \(\mathscr {F}\). Let
be an \((\mathbb {R},H)\)-superoscillating sequence and assume that all the complex functions \(C_{H,\nu }(N,\lambda )\) are continuous in \(\lambda \). The map \(\psi \) is said to satisfy the Supershift Property \((\textrm{SP})_{\mathscr {F}}\) on A with respect to \(\{T_{H,N}[\lambda ]:\, \lambda \in \mathbb {R}\}_{N\ge 1}\) if the sequence of functions
converges to \(\psi \) in the space of continuous functions \(\mathcal C(A,\mathscr {F})\), with respect to the topology of uniform convergence on any compact subset, i.e.
Remark 1.6
The reader will notice that when
this definition reduces to the original example of Aharonov, where \(A={\mathbb {R}}\), \(H=H^{\varvec{0}}:= \{1-2\nu /N\,:\, N\in \mathbb {N}^*,\ 0\le \nu \le N\}\).
The two definitions below were originally given in [14]:
Definition 1.7
(Translation-Commuting Supershift Property \((\textrm{TCSP})_{\mathscr {F}}\)) Let A be as above and for \(a \in A\), let \(a\in A\mapsto \psi _a\in \mathscr {F}\) be a continuous map from A to \(\mathscr {F}\). Let \(\{T_{H,N}[\lambda ]\,:\, \lambda \in \mathbb {R}\}_{N\ge 1}\) be a \((\mathbb {R},H)\)-superoscillating sequence. The continuous map \(\psi \) is said to satisfy the \(\mathscr {F}\) -Translation-Commuting Supershift Property \((\textrm{TCSP})_{\mathscr {F}}\) on A with respect to the superoscillating sequence \(\{T_{H,N}[\lambda ]:\, \lambda \in \mathbb {R}\}_{N\ge 1}\) if the sequence of functions
defined for
converges to \(\psi _{a + a'}\) in \(\mathcal C(\mathbb {A},\mathscr {F})\) with respect to the topology of uniform convergence on any compact subset of \(\mathbb {A}\).
Definition 1.8
(Regular \(\mathbb {C}\)-supershift) Let A be an open interval of \(\mathbb {R}\) with length R strictly larger than 2. A continuous map \(\psi : A \rightarrow \mathbb {C}\) is called a regular \(\mathbb {C}\) -supershift if the two following conditions are fulfilled.
-
(1)
The map \(\psi \) satisfies the \((\textrm{TCSP})_\mathbb {C}\) property with respect to any superoscillating sequence \(\{T_{N}^{\varvec{\epsilon }}[\lambda ]:\, \lambda \in \mathbb {R}\}_{N\ge 1}\), as in (1.3) and (1.4), where \(\varvec{\epsilon }\) is any sequence in \([0,1[^{\mathbb {N}^*}\) which tends to 0 when N tends to infinity.
-
(2)
Given \(\{(\epsilon _{\iota ',N})_{N\ge 1}:\, \iota \in I'\}\) a family of such sequences, such that the convergence of all sequences \(\varvec{\epsilon }_{\iota '}\) towards 0 is uniform with respect to the index \(\iota '\), the convergence for \((a,a') \in \mathbb {A}\) of the polynomial functions
$$\begin{aligned}{} & {} \sum \limits _{\nu =0}^{N} \left( {\begin{array}{c}N\\ \nu \end{array}}\right) \left( \frac{1+a}{2}\right) ^{N-\nu } \left( \frac{1-a}{2}\right) ^\nu \psi \nonumber \\{} & {} \quad \left( a' + \left( 1 - 2\, \left( \frac{\nu + \epsilon _{\iota ',N}\, (N-\nu )}{N}\right) \right) \right) ,\nonumber \\ {}{} & {} \quad N=1,2,\ldots \end{aligned}$$(1.7)to \(\psi (a+a')\) in \(\mathcal C(\mathbb {A},\mathbb {C})\) is uniform with respect to the index \(\iota '\) over the compact subsets of \(\mathbb {A}\).
2 Superoscillating sequences attached to irregular sampling in \([-1,1]\)
In this section, we consider superoscillating sequences with irregular sampling and we will prove their convergence in the space \(\textrm{Exp}(\mathbb {C})\).
Definition 2.1
We consider a collection of elements in [0, 1]:
Let \(A_{N,k}\) be the set consisting of the two opposite points \(\pm \frac{1}{N} \left( 1 - \frac{\xi _{N,k}}{N}\right) \) and consider the Minkowski set addition
that consists of at most \(2^N\) distinct points, all of them contained in the interval \([-1,1]\). After reordering them in decreasing order, and using the Minkowski set addition, we define
The sampling defined by this set is said almost regular.
Definition 2.2
We say that the sampling of the domain \([-1,1]\) defined by the matrix H in (1.1) is irregular if \( \forall \, N \in \mathbb {N}^*,\ \nu (N)=N, \) and infinitely many rows \(H_{N_\iota }\) of H are such that \(\nu \in \{0,\ldots , N_\iota -1\} \mapsto h_{N_\iota ,\nu }- h_{N_\iota ,\nu +1}>0\) is not constant.
To generalize the \((\mathbb {R},H^{\varvec{\epsilon }})\)-sequence \(\{T_N^{\varvec{\epsilon }} [\lambda ]\,:\, \lambda \in \mathbb {R}\}_{N\ge 1}\), we consider a collection \(\varvec{\Xi }\) of elements in [0, 1] corresponding to the almost regular sampling above, and \( \{h_{N,\nu }^{\varvec{\Xi }}\,:\, \nu =0,\ldots ,\nu (N)\}. \) The \((\mathbb {R},H^{\varvec{\Xi }})\)-sequence \(\{T_N^{\varvec{\Xi }}[\lambda ]:\, \lambda \in \mathbb {R}\}_{N\ge 1}\), where
is superoscillating (with \(g_{H^{\varvec{\Xi }}} (\lambda ) = \lambda \) and \(C_{H^{\varvec{\Xi }}}(\lambda )\equiv 1\)) on \(U=\mathbb {R}\).
When the matrix H in (1.1) is such that \( \forall \, N \in \mathbb {N}^*,\ \nu (N)=N, \) the sequence of Lagrange-Hermite interpolators (with respect to the parameter \(\lambda \))
is also superoscillating with respect to \(g: \lambda \in \mathbb {R}\rightarrow \lambda \) and \(C: \lambda \in \mathbb {R}\rightarrow 1\) since
for any \((\lambda ,x)\in \mathbb {R}^2\) according to the expression of the reminder term in Lagrange interpolation formula, see [5, Theorem 2.2]. Such superoscillating sequence \(\{T_{H,N}^\textrm{Lag}[\lambda ]\,:\, \lambda \in \mathbb {R}\}_{N\ge 1}\) may correspond to irregular sampling of the low-frequency domain \([-1,1]\).
Using the sequence (2.2) in which we use \(z\in \mathbb {C}\) instead of the real variable x, we have
Proposition 2.3
For any almost regular sampling \( \varvec{\Xi } \) as above and any \(a\in \mathbb {R}\), the sequence of entire functions with exponential growth
converges in \(\textrm{Exp}(\mathbb {C})\) towards \(z \longmapsto e^{iaz}\). Moreover, there exists a compact \(K_\mathbb {R}\) in \(\mathbb {R}\) such that the convergence is uniform with respect both to \(a\in K_\mathbb {R}\) and to the collection \(\varvec{\Xi }\). As a consequence, the \((\mathbb {R},H^{\varvec{\Xi }})\)-sequence \(\{T_N^{\varvec{\Xi }}[a]\,:\, a\in \mathbb {R}\}_{N\ge 1}\) is superoscillating.
Proof
We follow here the method that we previously used in [17, Lemma 4.1]. For each \(a\in \mathbb {R}\), \(z\in \mathbb {C}\), \(\xi \in [0,1]\), one has
since the entire function sinus cardinal \(z\mapsto \textrm{sinc}\, (z) = \sin z/z\) satisfies in the whole complex plane the upper estimate \(|\textrm{sinc}\, z| \le \exp (|\textrm{Im}\, z|)\) in \(\mathbb {C}\). As a consequence, one has
which shows that the family of entire functions
where \(K_\mathbb {R}\) is any compact subset of \(\mathbb {R}\), is a bounded subset of \(\textrm{Exp} (\mathbb {C})\). It remains to prove that, given a compact subset \(K_\mathbb {C}\) of the complex plane, the sequence of entire functions (2.4) converges uniformly on \(K_\mathbb {C}\) towards \(z \mapsto e^{az}\), the convergence being uniform both with respect to \(a\in K_\mathbb {R}\) and to the collection \(\varvec{\Xi }\). For any w sufficiently close to 0 in \(\mathbb {C}\), one has
Then, for N large enough (depending on \(K_\mathbb {C}\) and of the compact \(K_\mathbb {R}\)), one has
where \(w_{N,k} = (z/N)\times (1 - \xi _{N,k}/N)\) for \(k=1,\ldots ,N\). Therefore
The uniform convergence of this sequence of functions of z on \(K_\mathbb {C}\) towards \(z\mapsto e^{iaz}\) follows immediately. Moreover, the convergence is uniform with respect to \(a\in K_\mathbb {R}\) and to \(\varvec{\Xi }\), and this concludes the proof. \(\square \)
The next result, and the following Example 2.5 show a feature which is somewhat predictable from our previous considerations, namely that restrictions to the real line of entire functions inherit the \((\textrm{TCSP})_\mathbb {C}\) property with respect to almost regular sampling on \([-1,1]\) subordinate to the approximation of \(z \mapsto e^{iaz}\) in \(\textrm{Exp}(\mathbb {C})\) locally uniformly with respect to the parameter a.
Theorem 2.4
Let \(\{T_{H,N}[\lambda ]:\, \lambda \in \mathbb {R}\}_{N\ge 1}\) be a \((\mathbb {R},H)\) sequence of generalized trigonometric polynomials such that, for any \(a\in \mathbb {R}\), the sequence of entire functions
converges towards \(z \longmapsto e^{iaz}\) in \(\textrm{Exp} (\mathbb {C})\), the convergence being locally uniform with respect to \(a\in \mathbb {R}\). Then, any restriction \(\psi =F_{|\mathbb {R}}\) of an entire function F satisfies the \((\textrm{TCSP})_\mathbb {C}\)-property with respect to the superoscillating sequence \(\{T_{H,N}[\lambda ]\,:\, \lambda \in \mathbb {R}\}_{N\ge 1}\). In other terms, the sequence of continuous functions
converges towards \((a,a') \longmapsto \psi (a+a')\) in \(\mathcal C(\mathbb {R}^2,\mathbb {C})\) locally uniformly over the compact sets of \(\mathbb {R}^2\).
Proof
Let F be an entire function and \(F(-i d/dz + a')\) the infinite order differential operator
where \(a'\) denotes a real parameter. Such an operator acts from \(\textrm{Exp}(\mathbb {C})\) to itself as follows. Entire functions with exponential growth are in bijective correspondence with analytic functionals through the Fourier-Borel transform \(T \longleftrightarrow \big (\widehat{T} : z \longmapsto \langle T(\zeta )\,,\, e^{\zeta z}\rangle \big )\). If \(T \in H'(\mathbb {C})\) is an analytic functional, then the action of the infinite order differential operator \(F(-i d/dz+a')\) on the Fourier-Borel transform of T is given by
Such action is a continuous action from \(\textrm{Exp}(\mathbb {C})\) to \(\textrm{Exp}(\mathbb {C})\), locally uniformly with respect to the parameter \(a'\), see [8] and [7, Proposition 2.10] (restricted here to the univariate setting). Since for any \(N\in \mathbb {N}^*\), one has that
it follows from the hypothesis on \(\{T_{H,N}[\lambda ]\,:\, \lambda \in \mathbb {R}\}_{N\ge 1}\) that the sequence of functions
converges in \(\textrm{Exp}(\mathbb {C})\) towards
locally uniformly with respect to \((a,a')\in \mathbb {R}^2\). Such convergence is in particular uniform on the compact subset \(\{z=0\}\), locally uniformly with respect to the parameters \((a,a')\in \mathbb {R}^2\). Theorem 2.4 is thus proved if one restricts F to the real line thus obtaining \(\psi \). \(\square \)
Example 2.5
Theorem 2.4 applies when \(\{T_{H,N}[\lambda ]\,:\, \lambda \in \mathbb {R}\}_{N\ge 1} = \{T_{H^{\varvec{\epsilon }},N}[\lambda ]\,:\, \lambda \in \mathbb {R}\}\), see Proposition 3.1 in [14], which corresponds to a situation of regular sampling, but also in the case where \(\{T_{H,N}[\lambda ]\,:\, \lambda \in \mathbb {R}\}_{N\ge 1} = \{T_{H^{\varvec{\Xi }},N}[\lambda ]\,:\, \lambda \in \mathbb {R}\}\), see Proposition 2.3, which corresponds to a situation of almost regular sampling.
Let us now consider the general case where the matrix H as in (1.1) is such that \(\nu (N)=N\) and the sampling may be irregular. We will show that Lagrange-Hermite polynomials allow to obtain superoscillations with respect to such sampling (for a particular case see [9]).
Theorem 2.6
The sequence of entire functions depending on the real parameter a, and defined by
converges in \(\textrm{Exp}(\mathbb {C})\) towards \(z \mapsto e^{iaz}\), the convergence being locally uniform with respect to the real parameter a.
Proof
Let \(a\in \mathbb {R}\) and \(\Gamma _a : \theta \in [0,2\pi ] \longmapsto (|a|+ 2) e^{i\theta }\). It follows from Hermite remainder theorem, see for example [18, Theorem 3.6.1], that for any \(z\in \mathbb {C}\) and \(N\in \mathbb {N}^*\),
which implies that the sequence of entire functions
is a bounded sequence in \(\textrm{Exp}(\mathbb {C})\), locally uniformly with respect to the real parameter a. On the other hand, it follows from [5, Theorem 2.1 and Theorem 2.2] that for any \(a\in \mathbb {R}\) and \(N\in \mathbb {N}^*\), the entire functions
share the same derivatives at the origin up to order less than or equal to N, which implies that for any \(z\in \mathbb {C}\) and \(N\in \mathbb {N}^*\),
For each such \(z\in \mathbb {C}\) and \(N\in \mathbb {N}^*\), one has
with
for all \(\kappa >N\) and any \(R>0\) according to the fact that the sequence (2.7) is bounded in \(\textrm{Exp}(\mathbb {C})\). Therefore, the sequence of entire functions \(\big (\sum _{\kappa >N} \gamma _{N,\kappa }[a] z^\kappa \big )_{N\ge 1}\) converges towards 0 on any compact subset of \(\mathbb {C}\), the convergence being locally uniform with respect to the real parameter a. It follows that the sequence (2.7) converges uniformly on any compact of \(\mathbb {C}\) towards \(z \mapsto e^{iaz}\), the convergence being locally uniform with respect to the real parameter a. This concludes the proof. \(\square \)
As a consequence, we have the following result
Theorem 2.7
Any restriction \(\psi : a\in \mathbb {R}\mapsto \psi _a=\psi (a) \in \mathbb {C}\) of an entire function to the real line inherits the \((\textrm{TCSP})_\mathbb {C}\) property on \(\mathbb {R}\) with respect to any superoscillating \((\mathbb {R},H)\) superoscillating sequence \(\{x \mapsto T_{H,N}^\textrm{Lag}[\lambda ] (x)\,;\, \lambda \in \mathbb {R}\}_{N\ge 1}\) as in (2.2), where H is as in (1.1) with \(\nu (N)=N\) for any \(N\in \mathbb {N}^*\).
Proof
It follows from the combination of Theorem 2.6 with the argument employed to prove Theorem 2.4. \(\square \)
Let now A be any open interval of \(\mathbb {R}\) which contains \([-1,1]\). Consider the case where the superoscillating sequence \(\{T_{H,N}[\lambda ]:\, \lambda \in \mathbb {R}\}_{N\ge 1}\) is attached to an irregular sampling on \([-1,1]\), as before. Observe that continuous real valued functions on A fail in general to satisfy \((\textrm{SP})_\mathbb {C}\) with respect to \(\{T_{H,N}^\textrm{Lag}[\lambda ]\,:\, \lambda \in \mathbb {R}\}_{N\ge 1}\) since there is a continuous function \(\psi _H: A \rightarrow \mathbb {R}\) which for which
see [20, 21]. Even when the sampling is regular, namely \(h_{N,\nu } = 1-2\nu /N\), such is the case when \(\psi _H : a \mapsto |a|\) since one has in this case
as proved in [10], see also [27] for updated results and references which illustrate how poorly the Lagrange-Hermite interpolation behaves under only the hypothesis of continuity, if one compares with properties \((\textrm{SP})_\mathbb {C}\) or \((\textrm{TCSP})_\mathbb {C}\) attached to superoscillating sequences \(\{T_{N}^{\varvec{\epsilon }}[a]:\, a\in \mathbb {R}\}\) subordinate to regular sampling as in [14].
The next proposition, together with subsequent Remark 2.10, shows how a well-known example of Kantorovich can be used to construct a continuous function \(\psi ~: \mathbb {R}\rightarrow \mathbb {C}\) which satisfies \((\textrm{SP})_\mathbb {C}\), provided such notion is slightly modified according to [7, Definition 4.7]. In particular, it indicates that, if one tolerates irregular sampling, the extrapolation (from their irregularly sampled values on \([-1,1]\)) of some particular classes of functions, continuous but non-real analytic, through a sequence or real-analytic functions which converges uniformly on any compact subset of \(\mathbb {R}\) is indeed possible.
To explicitly construct such functions, we recall the following result (see Theorem 3.7 in [14]).
Theorem 2.8
Let \(G^-\) and \(G^+\) be two entire functions such that
and let \(g: b \in \mathbb {R}\rightarrow \mathbb {C}\) be the continuous map defined by
There exists an open interval \(A_0=]-1-\rho _0,1+\rho _0[\subset \mathbb {R}\) containing \([-1,1]\) such that the function
is a regular \(\mathbb {C}\)-supershift in \(A_0\). As a consequence, the fact that \(\psi =\psi _0*\theta \), for \(\theta \) a regularizing test-function, is a smooth regular \(\mathbb {C}\)-supershift on some open interval \(A\subset \mathbb {R}\) with diameter strictly larger than 2 does not imply in general that \(\psi \) is real analytic on A.
With the notations in this theorem, we now have
Proposition 2.9
Let \(A_0 = ]-1-\rho _0,1+\rho _0[\) and \(\psi _0: A_0 \rightarrow \mathbb {C}\) be the smooth non-real analytic function defined in Theorem 2.8. Let
and, for any \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) such that \(\lim _{N\rightarrow +\infty } \epsilon _N =0\), let the matrix \(H_{\rho _0}^{\varvec{\epsilon }}\) as in (1.1) be defined as follows: for any \(N\in \mathbb {N}^*\) and \(0\le \nu \le \nu (N)=N\),
Then, if \(\psi := \psi _0\, \circ \, \Theta _{\rho _0} \in \mathcal C(\mathbb {R},\mathbb {C})\), \(\psi \) is a non-real analytic continuous function such that the sequence of real-analytic functions
converges in \(\mathcal C(\mathbb {R},\mathbb {R})\) uniformly over the compact sets towards \(a \longmapsto \psi (a)\), thus extrapolates \(\psi \) asymptotically uniformly on any compact subset of \(\mathbb {R}\) from its values in \([-1,1]\). Moreover, the convergence on each compact subset of \(\mathbb {R}\) is uniform with respect to \(\varvec{\epsilon }\), provided \(\varvec{\epsilon }\) remains in a family \(\{\varvec{\epsilon }_{\iota '}\in [0,1[^{\mathbb {N}^*}:\, \iota '\in I'\}\) which elements tend to 0 at infinity uniformly with respect to the index \(\iota '\).
Proof
For any \(a\in \mathbb {R}\) and \(N\in \mathbb {N}^*\), one has
The result follows then immediately from Theorem 2.8, which asserts that \(\psi _0\) is a regular \(\mathbb {C}\)-supershift on \(A_0\), which is homeomorphic to \(\mathbb {R}\) through the real-analytic homeomorphism \(\Theta _{\rho _0}\) (which restriction to [0, 1] realizes a continuous automorphism of \([-1,1]\)). The non-real analyticity of \(\Psi \) follows from the non-real analyticity of \(\psi _0\), together with the real analyticity of \(\Theta _{\rho _0}\). \(\square \)
Remark 2.10
If one considers instead of the function \(\psi _0\) the restriction to \(A_0\) of the entire function \(e^{i(\cdot ) x}: z \in \mathbb {C}\mapsto e^{i z\, x}\), where \(x\in \mathbb {R}\), the same proof than that of Proposition 3.2 in [14] shows that the sequence of real analytic functions
converges in \(\mathcal C(\mathbb {R},\mathbb {C})\) uniformly over the compact sets towards \(a \longmapsto \exp \big (i\, \Theta _{\rho _0} (a)\, x\big )\), the convergence being uniform both with respect to the parameter x provided x remains in a compact subset of \(\mathbb {R}\) and to the sequence \(\varvec{\epsilon }\) provided \(\varvec{\epsilon }\) remains in a family \(\{\varvec{\epsilon }_{\iota '}\in [0,1[^{\mathbb {N}^*}\,:\, \iota '\in I'\}\) which elements tend to 0 at infinity uniformly with respect to the index \(\iota '\). The \((\mathbb {R}, H^{\varvec{\epsilon }})\)-sequence of generalized trigonometric polynomials
is then a superoscillating \((\mathbb {R}, H^{\varvec{\epsilon }} )\)-sequence subordinate to the pair of functions
Therefore, the continuous non-real analytic function \(\psi \) constructed in Proposition 2.9 inherits the property \((\textrm{SP})_\mathbb {C}\) with respect to all \((\mathbb {R},H_{\rho _0}^{\varvec{\epsilon }})\) for any \(\varvec{\epsilon }\), provided the definition of \((\textrm{SP})_\mathbb {C}\) is given in similar terms than in [7, Definition 4.7] (we restrict ourselves here to the univariate situation).
3 Regular \(\mathbb {C}\)-supershifts on unbounded intervals, periodic regular \(\mathbb {C}\)-supershifts
Let A be an unbounded interval and let \(\psi ~: A \rightarrow \mathbb {C}\) be a continuous regular \(\mathbb {C}\)-supershift on A. We have the following result:
Lemma 3.1
Let A be an interval of \(\mathbb {R}\) and \(a_0\in \mathbb {R}\). The fact that \(\psi \) is a continuous regular \(\mathbb {C}\)-supershift on A is equivalent to the fact that \(a \mapsto \psi (a-a_0)\) is a continuous regular \(\mathbb {C}\)-supershift on the shifted interval \(a_0 + A = \{a_0 + a\,:\, a\in A\}\), or that \(a \in -A \longmapsto \psi (-a)\) is a continuous regular \(\mathbb {C}\)-supershift on the symmetric interval \(-A\).
Proof
The fact that \(\psi \) is a continuous regular \(\mathbb {C}\)-supershift on A is equivalent to the fact that \(a \mapsto \psi (a-a_0)\) is a continuous regular \(\mathbb {C}\)-supershift on \(a_0 + A\) because \((\textrm{TCSP})_\mathbb {C}\) commutes with translations. To prove the second part of the statement, let \(\psi \) be a continuous \(\mathbb {C}\)-regular supershift in A. Then, for any \((a,a') \in - \mathbb {A} = \{(a,a') \in \mathbb {R}\times -A\,:\, a'+ [-1,1] \subset -A,\ a+a' \in -A\}\), for any \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) with \(\lim _{N\rightarrow +\infty } \epsilon _N =0\) and any \(N\in \mathbb {N}^*\),
Since \(\psi \) is a continuous regular \(\mathbb {C}\)-supershift on A, one has, if \(\{\varvec{\epsilon }_{\iota '} = (\epsilon _{\iota ',N})_{N\ge 1}\,:\, \iota '\in I'\}\) is a family of sequences which all tend to 0 at infinity uniformly with respect to the index \(\iota \), that all sequences of functions
for \((a,a') \in -\mathbb {A}\) and \(\iota '\in I'\), converge uniformly on any compact subset of \(-\mathbb {A}\) towards \((a,a') \longmapsto \psi (-a-a')\), the convergence being moreover uniform with respect to the index \(\iota '\). It follows from the equalities (3.1) that \(a \mapsto \psi (-a)\) is a regular \(\mathbb {C}\)-supershift on \(-A\), which concludes the proof. \(\square \)
According to Lemma 3.1, we will now restrict our attention to one of the following two cases: \(A=\mathbb {R}\) or \(A = \mathbb {R}_{>-1}\), where \(\mathbb {R}_{>t} = (t,+\infty )\). Let \(B= \Upsilon ^{-1} (A)\), where \(\Upsilon : t \longmapsto 2t-1\), that is \(B = \mathbb {R}\) or \(B= \mathbb {R}_{>0}\), so that \(\mathbb {B} = \{(b,b') \in \mathbb {R}\times B\,:\, b'+[0,1] \subset B, b+b'\in B\}\) equals either \(\mathbb {R}^2\) or \(\{(b,b')\in \mathbb {R}\times \mathbb {R}_{>0}\,:\, b+b'>0\}\). Let \(\psi \) be a continuous function on A and \(\Psi = \psi \circ \Upsilon : B \rightarrow \mathbb {R}\). Let \(b'\in B\). Given \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) with \(\lim _{N \rightarrow +\infty } \epsilon _N =0\), let, for each \(N\in \mathbb {N}^*\),
It follows from [14, Proposition 3.3] that
where
denote the successive forward (+) differences of \(\Psi \) evaluated at \(b'\) with sampling rate \((1-\epsilon _N)/N\) and \(\prod _{j\in \emptyset } (1-j/N) = 1\).
Remark 3.2
Suppose that \(\psi \) is \(C^\infty \) on A, which amounts to say that \(\Psi \) is \(C^\infty \) on B. Then, for any \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) with \(\lim _{N\rightarrow +\infty } \epsilon _N =0\), any \(b'\in B\), \(\kappa \in \mathbb {N}\) and \(N\ge \kappa \),
according to Rolle’s theorem, see for example [25, §1.3 (1.80)], where \(\varvec{\Delta }_k\) denotes the elementary simplex \(\{(\tau _0,..,\tau _{\kappa -1}) \in \mathbb {R}^\kappa \,:\, 0 \le \tau _0\le \cdots \le \tau _{\kappa -1} \le 1\}\) (or \(\{0\}\) when \(\kappa =0\)) with euclidean volume \(\int _{\varvec{\Delta }_\kappa } d\tau = 1/\kappa !\) (or atomic mass \(|d\tau |= 1\) when \(\kappa =0\)) and \(\xi ^{\varvec{\epsilon }}_{N,\kappa }(b'), \eta ^{\varvec{\epsilon }}_{N,\kappa }(b')\in [0,1]\). As a consequence, one can interpret (assuming only the sole continuity of \(\psi \) on A) each polynomial \(\mathbb {T}^{\varvec{\epsilon }}_N(\Psi )(X,b')\in \mathbb {C}[X]\) defined in (3.3), where \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) is such that \(\lim _{N\rightarrow +\infty } \epsilon _N =0\), as a numerical substitute (in terms of discrete differential calculus) for the Principal Part at order N of the Taylor series of \(\Psi \) about \(b'\).
Since the concept of Taylor series of \(\Psi \) at \(b'\in B\) does not make sense for continuous functions, Remark 3.2 suggests to introduce, for each \(M\in \mathbb {N}^*\) and \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) such that \(\lim _{N\rightarrow +\infty } \epsilon _N =0\), the \((\varvec{\epsilon },1/M)\)-numerical Taylor series
of \(\Psi \) at \(b'\in B\). Here, \(M\in \mathbb {N}^*\) and 1/M is interpreted as a numerical precision. Finally, in order to describe the behaviour of the sequence of continuous functions
where \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) is such that \(\lim _{N\rightarrow +\infty } \epsilon _N =0\), it is convenient to introduce the orthonormal basis \(\{\ell _\nu :\, \nu \in \mathbb {N}\}\) of \(L^2([0,1],\mathbb {C},d\xi )\) given by the shifted Legendre polynomial functions
What suggests the introduction of the orthonormal basis of shifted Legendre polynomials here is that any holomorphic function G in the interior \(E_0\) of an ellipse with foci \(\{0,1\}\) which sum of semi-axis equals \(R_0>0\) admits in \(E_0\) (in particular in [0, 1]) a Neumann expansion \(G= \sum _{\nu =0}^\infty \gamma _\nu \ell _\nu \) with \(\limsup _{\nu \rightarrow +\infty } |\gamma _\nu |^{1/\nu } \le 1/R_0\) [24]. For each \(R \ge 0\), \(b'\in B\), \(N\in \mathbb {N}^*\) and \(0\le \nu \le N\), let
so that one has on \(L^2([0,1],\mathbb {C},d\xi )\) the orthonormal decomposition
with \(\Vert \mathbb {T}^{\varvec{\epsilon }}_N (\Psi )(R\xi ,b')\Vert _{L^2([0,1],\mathbb {C},d\xi )}^2 = \sum _{\nu =0}^N |\gamma ^{\varvec{\epsilon }}_{N,\nu }(\Psi ) (R,b')|^2\). It follows from the explicitation of the shifted Legendre polynomials \(\ell _\nu \) as in (3.6) that one can rewrite (3.8) as
which leads by identification with (3.3) to the set of relations
for any \(N\in \mathbb {N}^*\), \(0\le \kappa \le N\), \(b'\in B\), \(R\ge 0\) and \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) such that \(\lim _{N\rightarrow +\infty } \epsilon _N =0\). One can prove the following result.
Proposition 3.3
Let \(A,B,\psi ,\Psi \) as above. Suppose in addition that \(\psi \) is a \(\mathbb {C}\)-regular supershift on A. Then, for any \(b'\in B\), for any \(M\in \mathbb {N}^*\) and \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) with \(\lim _{N\rightarrow +\infty } \epsilon _N =0\),
Moreover, for any \(M\in \mathbb {N}^*\) and any family \(\{\varvec{\epsilon }_{\iota '}:\, \iota '\in I'\}\) of sequences \(\varvec{\epsilon }_{\iota '}\) which all converge towards 0, the convergence being uniform with respect to the index \(\iota '\), the family of continuous functions
(holomorphic in z) is a bounded family on any compact subset of \(\mathbb {C}\times B\).
Proof
Since \(\psi \) is a \(\mathbb {C}\)-regular supershift on A, then, for any \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) such that \(\epsilon _N \rightarrow 0\) for \(N\rightarrow +\infty \), the sequence of continuous functions
converges uniformly towards \((b,b') \longrightarrow \Psi (b+b')\) on any compact subset of \(\mathbb {B}\). Moreover, given a family \(\{\varvec{\epsilon }_{\iota '}:\, \iota '\in I'\}\) of sequences in \([0,1[^{\mathbb {N}^*}\) which all converge to 0, the convergence being uniform with respect to the index \(\iota '\in I'\), the convergence towards \((b,b') \longmapsto \Psi (b+b')\) of the family of sequences of continuous functions
is uniform with respect to the index \(\iota '\in I'\). As a consequence, for each \(b'\in B\), \(R\ge 0\) and \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) with \(\lim _{N\rightarrow +\infty } \epsilon _N =0\), the sequence
where \(\gamma ^{\varvec{\epsilon }}_{N,\nu }(\Psi ) (R,b')\) is defined by (3.7) when \(\nu \le N\) and by 0 when \(\nu >N\), converges in \(\ell ^2(\mathbb {N})\) towards
Moreover, given a family \(\{\varvec{\epsilon }_{\iota '}\,:\, \iota '\in I'\}\) of sequences in \([0,1[^{\mathbb {N}^*}\) which all converge to 0, the convergence being uniform with respect to the index \(\iota '\in I'\), and a compact subset K of B, the convergence in \(\ell ^2(\mathbb {N})\) towards (3.12) of the family of sequences
is uniform with respect to both \(b'\in K\) and the index \(\iota '\in I'\). Fix now \(M\in \mathbb {N}^*\), \(b'\in B\) and \(R>0\) and \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) such that \(\lim _{N\rightarrow +\infty } \epsilon _N=0\). It follows from the previous considerations, together with relations (3.10) with \(N=M\kappa \), Cauchy criterion in \(\ell ^2(\mathbb {N})\) and Cauchy-Schwarz inequality, that for \(\kappa \) in \(\mathbb {N}\) large enough (depending on M, \(b'\) and R)
It follows from Stirling’s formula (when \(M\ge 2\), hence \((M-1)\kappa \ge \kappa \)) that, provided the choice of \(\kappa \) large enough is updated,
Substituting (3.14) in the right-hand side of (3.13) leads to
hence to
for \(\kappa \) large enough, which proves the first assertion of the proposition. The second assertion follows from the fact that estimates (3.15) remain valid when \(\varvec{\epsilon }\) is replaced by \(\varvec{\epsilon }_{\iota '}\) and \(b'\) by an arbitrary element of a compact subset K of B, still for \(\kappa \) large enough (independently of \(\iota ' \in I'\) and \(b'\in K\)). \(\square \)
Proposition 3.3, combined with Remark 3.2, suggests naturally the following conjecture, where the regularity of the sampling has a crucial role.
Conjecture 3.4
A \(\mathbb {C}\)-valued continuous function \(\psi \) on the real line is a \(\mathbb {C}\)-regular supershift if and only if \(\psi \) is the restriction to the real line of an entire function.
Remark 3.5
If true, such conjecture would imply that for some class of potentials \(x \in U \longmapsto V(x)\) (for example, \(U=\mathbb {R}\) and V smooth, real, \(2\pi \)-periodic and non-constant), the evolution \(a \mapsto \psi _a(t,x)\) through the Cauchy problem for the Schrödinger equation would be such that, for some \(\varphi \in \mathcal D( (0,T) \times U,\mathbb {C})\), the continuous map \(a\mapsto \langle \psi _a(t,x),\varphi (t,x)\rangle \) fails to inherit either Property (1) or (2) in Definition 1.8. Such a result would be of great interest with respect to quantum studies considerations.
We present first a positive result within the quite specific setting of continuous periodic functions on the real line.
Theorem 3.6
Let \(T>0\) and \(\psi \) be a T-periodic continuous regular \(\mathbb {C}\)-supershift on \(\mathbb {R}\). Then, there is a T-periodic entire function \(F~: \mathbb {C}\rightarrow \mathbb {C}\) such that \(\psi =F_{|\mathbb {R}}\).
Proof
Let
be the Fourier expansion of the T-periodic continuous function \(\psi \) in \(L^2(\mathbb {R}/T\mathbb {Z})\). Here, the spectrum \(\widehat{\psi } = (\gamma _\kappa )_{k\in \mathbb {Z}}\) belongs to \(\ell ^2(\mathbb {Z})\). Then, the T-periodic continuous function
remains a T-periodic continuous \(\mathbb {C}\)-supershift on \(\mathbb {R}\) (with spectrum \((c_\kappa ^2)_{\kappa \in \mathbb {Z}} \in \ell ^1(\mathbb {Z})\)) since one has for any \(\varvec{\epsilon } \in [0,1[^{\mathbb {N}^*}\) such that \(\lim _{N\rightarrow +\infty } \epsilon _N=0\), for any \((a,a') \in \mathbb {R}^2\) and any \(N\in \mathbb {N}^*\), that
Since \((a,a'-\tau )\) remains in the compact subset \(K -\{0\}\times [0,T]\) when \((a,a')\in K\) and \(\tau \in [0,T]\), one needs just to use the fact that, according to the hypothesis on \(\psi \), for each family \(\{\varvec{\epsilon }_\iota :\, \iota \in I'\}\) such that \(\lim _{N\rightarrow +\infty } \epsilon _{\iota ',N} =0\), the sequence of functions
converges uniformly on \([0,T] \times K\), where K is any compact subset of \(\mathbb {R}^2\), towards the function \((\tau ,a,a') \longmapsto \psi (a + a'-\tau )\), the convergence being uniform with respect to the index \(\iota '\). Since we know now that \(\widetilde{\psi }\) is a continuous \(\mathbb {C}\)-regular supershift, it follows that for any \(R\in \mathbb {R}_{>1}\), the sequence of functions
converges uniformly towards \(a'\longmapsto \widetilde{\psi }(a'+R)\) on \([0,2\pi ]\). One has for any \(R>1\), any \(a'\in [0,2\pi ]\) and any \(N\in \mathbb {N}^*\) that
Since the sequence of periodic functions of \(a'\) defined by (3.16) converges uniformly on \([0,2\pi ]\) towards \(a'\longmapsto \widetilde{\psi }(a'+R)\), it follows from Plancherel’s formula that there exists a positive constant \(C_{\widetilde{\psi }}(R)\) such that for any \(M, N\in \mathbb {N}^*\),
Let \(w= w_{\kappa ,M,N} = 1/(MN) \times 2\pi \kappa /T\) for \(-N\le \kappa \le N\). Observe that
for all such \(w=w_{\kappa ,M,N}\). One has, as in (2.5), that when \(N\in \mathbb {N}^*\) tends to infinity
where the error terms \(O(1/M^4)\) and \(O(1/M^3)\) are uniform with respect to the choice of \(\kappa \) in \(\{-N,\ldots ,N\}\) according to (3.18). Then, according once more to (3.18), one has, as in (2.5),
Let us choose \(M = [\chi R]\), \(\chi >0\) being a uniform constant large enough, such that the real part of the factor \(1-O(R/M)\) in (3.19) is bounded from below by 1/2. One has then
In particular, if \(w = w_{\pm N,M,N} = \pm (2\pi /T)\times (1/M)\), one has
It then follows from (3.17) that
Since R can be taken arbitrarily large and
one concludes that for any \(R'>0\),
from which it follows immediately that \(\psi \) extends to \(\mathbb {C}\) as an entire T-periodic function. \(\square \)
Data Availability
The research in this paper does not imply use of data. No datasets were generated or analysed during the current study.
References
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D., Tollaksen, J.: Evolution of superoscillatory initial data in several variables in uniform electric field, J. Phys. A: Math. Theor. 50 (2017)
Aharonov, Y., Colombo, F., Sabadini, I., Struppa, D.C., Tollaksen, J.: The mathematics of superoscillations, Memoirs of the American Mathematical Society 257 (1174), American Mathematical Society, (2017)
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. Pure Appl. 99(9), 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. Pure Appl. 103, 522–534 (2015)
Aharonov, Y., Colombo, F., Sabadini, I., Shushi, T., Struppa, D.C., Tollaksen, J.: A new method to generate superoscillating functions and supershifts. Proc. R. Soc. A. 477(2249), 20210020 (2021)
Aharonov, Y., Berndt, J., Colombo, F., Schlosser, P.: A unified approach to Schrödinger evolution of superoscillations and supershifts. J. Evol. Equ. 22, 26 (2022)
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, 417–433 (2022)
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)
Behrndt, J., Colombo, F., Schlosser, P., Struppa, D.C.: Integral representation of superoscillations via complex Borel measures and their convergence. Trans. Amer. Math. Soc. 376, 6315–6340 (2023)
Bernstein, S.: Quelques remarques sur l’interpolation. Math. Annalen 79, 1–12 (1918)
Bernstein, S.: Sur la convergence de certaines suites de polynômes. J. Math. Pures Appl. 15(9), 345–358 (1935)
Berry, M.V., et al.: Roadmap on superoscillations. Journal of Optics 21(5), 053002 (2019)
Buniy, R., Colombo, F., Sabadini, I., Struppa, D.C.: Quantum Harmonic Oscillator with superoscillating initial datum. J. Math. Phys. 55, 113511 (2014)
Colombo, F., Sabadini, I., Struppa, D.C., Yger, A.: Analyticity and supershift with regular sampling, preprint (2023)
Colombo, F., Gantner, J., Struppa, D.C.: Evolution by Schrödinger equation of Aharonov-Berry superoscillations in centrifugal potential. Proc. Royal Soc. A. 475(2225), 20180390 (2019)
Colombo, F., Sabadini, I., Struppa, D.C., Yger, A.: Gauss sums, superoscillations and the Talbot carpet. J. Math. Pures Appl. 147, 163–178 (2021)
Colombo, F., Sabadini, I., Struppa, D.C., Yger, A.: Superoscillating sequences and supershifts for families of generalized functions. Complex Anal. Oper. Theory 16, 34 (2022)
Davis, P.J.: Interpolation and approximation. Dover Publications Inc, New York (1975)
Dressel, F.G., Gergen, J.J., Purcell, W.H., Jr.: Convergence of extended Bernstein polynomials in the complex plane. Pacific J. Math. 13(4), 1171–1180 (1963)
Erdös, P., Vértesi, P.: On the almost everywhere divergence of Lagrange interpolatory polynomials for arbitrary system of nodes, J. Phys. Math. General 19(10), (1986)
Erdös, P., Vértesi, P.: On the almost everywhere divergence of Lagrange interpolatory polynomials for arbitrary system of nodes. Acta Math. Acad. Sci. Hungari. 36(1–2), 71–89 (1980)
Kantorovitch, L.: Sur la convergence de la suite des polynômes de S. Bernstein en dehors de l’intervalle fondamental, Bull. Acad. Sci. URSS, pp. 1103–1115 (1931)
Lorentz, G.G.: Bernstein polynomials, Toronto, (1953) (second edition : Chelsea Publishing Company, New York 1986)
Neumann, K.: Ubër die Entwickelung Einer Funktion Nach den Kugelfunktionen. J. für Math. (1862)
Phillips, G.M.: Interpolation and Approximation by Polynomials. CMS Books in Mathematics, Springer Science + Business Media, New York (2003)
Pozzi, E., Wick, B.D.: Persistence of superoscillations under the Schrödinger equation. Evol. Equ. Control Theory 11(3), 869–894 (2022)
Revers, M.: The divergence of Lagrange interpolation for \(|x|^\alpha \) at equidistant nodes. J. Approx. Theory 100(2), 269–280 (2000)
Acknowledgements
The first and second author acknowledge the partial support of the MUR grant Dipartimento di Eccellenza 2023–2027.
Funding
Open access funding provided by Politecnico di Milano within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Contributions
All the authors equally contributed to the contents and to the writing of the paper.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare 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
Colombo, F., Sabadini, I., Struppa, D.C. et al. Analyticity and supershift with irregular sampling. Complex Anal Synerg 10, 10 (2024). https://doi.org/10.1007/s40627-024-00134-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40627-024-00134-0