Integral representation of superoscillations via complex Borel measures and their convergence

We shall make use of the constants

which are finite due to assumption (2.1). A straightforward estimate shows

and hence F_\delta is well defined for every \delta>0. Furthermore, a version of the dominated convergence theorem shows that F_\delta is holomorphic and together with the above estimate it follows that F_\delta, \delta>0, belongs to the space \mathcal{A}_1(\mathbb{C}).

In the following we will verify that F_\delta converges as in (2.1). First, we change the part -b\rightarrow b of the integration path in (2.1) to -b\rightarrow ia\rightarrow b, that is, we use

In fact, since g and k are holomorphic on \Delta and continuous on \overline{\Delta} the above equality follows from the Cauchy theorem applied to the boundary of the scaled triangle \Delta_\varepsilon and then taking the limit \varepsilon\rightarrow 0^+.

Hence we can split up the function F_\delta into the four parts

where

For these four functions we will now investigate the limit \delta\rightarrow 0^+ separately. Starting with F_\delta^{(4)} we estimate in the same way as in (Proof)

where in the second inequality we used a\leq b and substituted v=\frac{u-b}{\delta}. Shifting the exponential e^{C|z|} to the left side of this inequality leads to a z-independent right hand side, which converges as

According to (1.1) this is exactly the convergence

In the same way we also prove

For the function F_\delta^{(3)}(z) we first use the identity

which is an immediate consequence of the definition of the error function, to rewrite the difference

In the case b>a we use u_\delta(t)\coloneqq ia+\delta t(b-ia), t\in[0,\frac{1}{\delta}], to parametrize this integral as

and estimate the difference by

Since g,k are continuous on \overline{\Delta}, we denote their respective suprema by \Vert\cdot\Vert_\mathsmaller{\Delta}. Using the estimate (A.1) we obtain

Using also the inequality |z|\leq e^{|z|}, which is an immediate consequence of the power series representation of the exponential, we find the estimate

In this form we note that the right hand side is independent of z and vanishes as \delta\rightarrow 0^+ due to the dominated convergence theorem, the continuity of g and k and the fact that \lim_{\delta\rightarrow 0^+}\operatorname{erf}(\frac{b-ia}{\delta\sqrt{2}})=1 by the choice b>a. This shows the convergence

In the case a=b we go back to formula (?) and note that all functions in the integrand are continuous. Hence we can shift the integration path into the open triangle \Delta where g and k are holomorphic, i.e. we write the integral as the limit

Using the complementary error function \operatorname{erfc}(z)\coloneqq 1-\operatorname{erf}(z) and its derivative

integration by parts leads to

where in the last line we parametrized the complex path integral by u_\varepsilon(s)\coloneqq i(a-\varepsilon)+s(1-i), s\in [0,a-\varepsilon]. Using this, we can now estimate the difference by

where in the second inequality we performed the limit \varepsilon\rightarrow 0^+ and used the estimate |z|\leq e^{|z|} to get rid of the z-dependency inside the brackets. Using the representation \operatorname{erfc}(z)=\frac{2}{\sqrt{\pi}}\int_0^\infty e^{-(t+z)^2}dt of the complementary error function, see [AS72, Eq. (7.1.2)], it can be estimated by

where in the last inequality we estimated either e^{-t^2}\leq 1 or e^{-\frac{\sqrt{2}\,ts}{\delta}}\leq 1 to get the minimum as an upper bound. This inequality on the one hand gives an \delta-independent bound of the last integral in (?) as well as for every s\in(0,a] the pointwise convergence as \delta\rightarrow 0^+. With the dominated convergence theorem this then leads to

Since the right hand side is independent of |z| we conclude the convergence

For the same reason also

Summing up, we have proved that all the terms in (?) converge in \mathcal{A}_1(\mathbb{C}) and hence (2.1) follows.

Since g(ia)=1 by assumption, the convergence (2.2) follows from Theorem 2.1. Hence it remains to verify the integral representation (1.2). For this we first define the complex Borel measure

for Borel sets A\subseteq\mathbb{R}. With this measure the function F_\delta admits the representation

In a second step we consider the Borel measure

for Borel sets B\subseteq[-k_0,k_0] and rewrite F_\delta as

which is exactly the form (1.2). Since by assumption k(u)\in[-k_0,k_0] for every u\in\mathbb{R} and since the frequency k(ia) of the limit function in (2.2) lies in \mathbb{R}\setminus[-k_0,k_0], the functions F_\delta are indeed superoscillating in the sense of Definition 1.2.

In the first step we consider the function f(z)\coloneqq\sqrt{z^2-2iaz-1}-az+i. Assume that f(z_0)=0 for some z_0\in\mathbb{C}, that is,

Squaring both sides leads to z_0^2=a^2z_0^2 and since obviously z_0\neq 0 by the choice of the square root in (?), this is a contradiction to a>1. Hence f does not have any zeros. Since a>1 by assumption we also conclude

and consequently there exists c>0 such that

In the second step we consider g(z)\coloneqq\sqrt{z^2-2iaz-1}+az-i. Using (Proof), this function can be estimated by

Moreover, g can also be estimated by

Using now (Proof) for |z|\leq 1 and (Proof) for |z|\geq 1 this implies the estimate (3.1).

For this proof it will be convenient to use the notation

so that we can write F_\delta(z)=\frac{2}{\delta}e^{-\frac{1}{\delta}}\operatorname{sinc}(R_\delta(z)). Although the complex square root in (Proof) is not entire, in the series expansion of the \operatorname{sinc}-function only even powers appear and we still end up with the entire function

For \delta>0 fixed and z\in\mathbb{C} sufficiently large we have 1\leq|R_\delta(z)|\leq 2|z| and hence the exponential bound

holds for all z\in\mathbb{C} sufficiently large. It follows that F_\delta\in\mathcal{A}_1(\mathbb{C}).

In order to show that F_\delta converges as in (3.2) we first estimate the difference between F_\delta(z) and G_\delta(z)\coloneqq\frac{2}{\delta}e^{-\frac{1}{\delta}}\operatorname{sinc}(\frac{i}{\delta}-az). Using the identity \operatorname{sinc}(\xi)=\frac{1}{2}\int_{-1}^1e^{it\xi}dt, \xi\in\mathbb{C}, we find

and with the help of (A.1) we obtain

Since the estimate (3.1) translates into

we can further estimate (?) in the form

in the last inequality we used |z|^2\leq 2e^{|z|}, which follows from the power series representation of the exponential.

In a second step we estimate the difference between G_\delta(z) and e^{iaz}. For this, we again use \operatorname{sinc}(\xi)=\frac{1}{2}\int_{-1}^1e^{it\xi}dt, \xi\in\mathbb{C}, as well as integration by parts to rewrite G_\delta as

This representation allows the estimate

where in the last inequality we used |z|\leq e^{|z|}, which follows from the power series representation of the exponential.

Combining now (?) and (?) leads to the estimate

and since the right hand side is z-independent and converges to zero as \delta\rightarrow 0^+, this shows \lim_{\delta\rightarrow 0^+}F_\delta(z)=e^{iaz} in \mathcal{A}_1(\mathbb{C}).

The convergence (3.3) was shown in Theorem 3.2 and it remains the integral representation (1.2). From (A.2) with z and b replaced by z-\frac{ia}{\delta} and \frac{\sqrt{a^2-1}}{\delta}, respectively, we obtain

Using the complex Borel measure

for Borel sets B\subseteq[-1,1] we conclude that F_\delta admits the integral representation (1.2) with k_0=1 and hence the functions F_\delta are superoscillating according to Definition 1.2.

First of all, it is clear that f_{j,n}\in\mathcal{A}_1(\mathbb{C}) for every j\in\{0,\dots,n\} and hence F_n\in\mathcal{A}_1(\mathbb{C}) by the arguments given below Definition 1.2. The bounds of the measures \mu_{j,n} and the coefficients C_j(n) in (4.1) immediately lead to the estimate

Next, we write the difference between F_n(z) and e^{iaz} as the Taylor series

where in the second equality we used (?). For z\in\mathbb{C}\setminus\{0\} the Cauchy integral formula along a circle of radius (1+\kappa_1\kappa_2)|z| leads to the following bounds for the coefficients in (Proof)

where we used (Proof) and k_0<|a| in the estimate of the integrand. Plugging this into the Taylor series (Proof) gives

Due to (Proof) this inequality obviously holds for z=0 and hence we conclude the \mathcal{A}_1-convergence

Finally, the integral representation (1.2) of the functions F_n is satisfied by

using the Borel measure \mu_n(B)\coloneqq\sum_{j=0}^nC_j(n)\mu_{j,n}(B) for Borel sets B\subseteq [-k_0,k_0]. We have shown that the functions F_n are superoscillating with limit (4.1).

Observe first that the functions (4.2) can be written in the form (?) using the point measures

for Borel sets B\subseteq[-k_0,k_0]. Since the first bound in (4.1) is trivially satisfied, it remains to check that the (unique) solution C_j(n) of (?) satisfies the second bound in (4.1). The explicit form of the matrix S_n in this particular setting is

This is a Vandermonde matrix, which is known to be invertible whenever the (k_j(n))_{j=0}^n are pairwise disjoint. But this is obviously the case due to the assumption (4.2). Moreover, using Cramer’s rule and the known determinant formula for Vandermonde matrices, one can easily derive the explicit representation (4.2) for the coefficients C_j(n) of the solution, see also [ACSSST21, Theorem 2.2]. The assumption (4.2) now allows to estimate these coefficients as

which shows the second bound in (4.1). It follows from Theorem 4.1 that the functions F_n are superoscillating.

Note that the functions F_n in (4.4) are of the form (?) if we use the measures

for Borel sets B\subseteq[-k_0,k_0]. Hence we are in the situation to apply Theorem 4.1 but have to check the two estimates (4.1). The bound of the absolute variations of the measures is clearly satisfied by

To calculate the coefficients C_j(n) we have to solve the system (?) or, equivalently, the system M_n\mathbf{d}_n=\mathbf{a}_n with the matrix and the vectors

where we shifted the powers i^j of the imaginary unit from the coefficient matrix into the solution vector. Now consider the matrix

It is shown in [S36] that its lowest eigenvalue \widetilde{\lambda}_n=\inf_{0\neq x\in\mathbb{C}^n}\frac{\langle\widetilde{M}_nx,x\rangle}{|x|^2} is bounded from below by

for some \kappa>0. Hence \widetilde{M}_n is elliptic with bound \widetilde{M}_n\geq\kappa^n for every n\in\mathbb{N}. For x\in\mathbb{C}^{n+1} the estimate

shows that the same is true for the matrix M_n. Consequently, the inverse matrix exists and is bounded by \Vert M_n^{-1}\Vert\leq\frac{1}{\kappa^n}. Finally we can estimate the elements C_j(n) of the solution by

Hence, also the second bound in (4.1) is satisfied and the assertions follow from Theorem 4.1.

The fact that the operator U_t is continuous in \mathcal{A}_1(\mathbb{C}) was already shown in [ACPS21, Theorem 2.7]. To investigate the action (5.1) of U_t on plane waves e^{iaz}, we start with the power series representation H(z)=\sum_{l=0}^\infty h_lz^l. Then the operator H(-i\frac{d}{dz}) acts on plane waves e^{iaz} as multiplication

and hence the operator U_t acts as

To determine the action of U_t on functions F_n(z)=\int_{-k_0}^{k_0}e^{ikz}d\mu_n(k) we have to interchange the complex derivatives with the integral. In the first step we use a version of the dominated convergence theorem and obtain

Applying the dominated convergence theorem once more, we are also allowed to carry the infinite sum \sum_{l=0}^\infty of the operator H(-i\frac{d}{dz}) inside the integral. This gives

Using the dominated convergence a third time for the series \sum_{m=0}^\infty of the operator U_t finally gives

where in the second equation we used (Proof).

In the last part of the proof let F\in\mathcal{A}_1(\mathbb{C}) and consider \Psi(t,z)\coloneqq U_tF(z), t,z\in\mathbb{C}. Interchanging derivatives and sums for similar reasons as above, we obtain that

Hence \Psi(t,z) in indeed a solution of the generalized Schrödinger equation (?). Since U_0=\text{id} reduces to the identity operator, the solution also satisfies the initial condition \Psi(0,z)=F(z).

For the proof of (i) we consider the operator (5.1) with t=-i. From the action of this operator in (5.1) we obtain

Since U_{-i} is continuous in \mathcal{A}_1(\mathbb{C}) due to Lemma 5.1 we conclude the convergence

where the first identity in (5.1) was used in the last step. The fact that F_n^{(1)} is of the form (1.2) is clear using the complex Borel measure

for Borel sets B\subseteq[-k_0,k_0]. Hence, the functions F_n^{(1)} are superoscillating with \lim_{n\rightarrow\infty}F_n^{(1)}(z)=e^{iaz} in \mathcal{A}_1(\mathbb{C}).

(ii) According to the \mathcal{A}_1-convergence (1.2), there exists some B\geq 0, such that

By the choice of the constants A_n, we obtain the estimate

In the proof of [ACPS21, Theorem 2.7] the authors obtain the estimate

for some \widetilde{B},\widetilde{D}\geq 0. For z=0 this estimate shows the convergence

In other words, we conclude the \mathcal{A}_1-convergence

in the variable t. Using the identities (5.1) this convergence can be written as

Since \operatorname{ran}\big(H|_{[-k_0,k_0]}\big)\subseteq[-h_0,h_0] by assumption, we can choose the complex Borel measures

for Borel sets B\subseteq[-h_0,h_0] and transform F_n^{(2)} into the form

which is the representation (1.2). Together with the convergence (?) to a plane wave with frequency H(a)\in\mathbb{R}\setminus[-h_0,h_0] this shows that the functions F_n^{(2)} are superoscillating.

First we write for every z=x+iy\in\mathbb{C}

Using \cos(y)\geq 1-\frac{y^2}{2} we can estimate this by

Since |1-e^x|\leq|x|e^{|x|}, which follows directly from the power series representation of the exponential, the above inequality becomes

Next consider z_1,z_2\in\mathbb{C} and assume \operatorname{Re}(z_1)\leq\operatorname{Re}(z_2). Then (Proof) implies

and in the same way for \operatorname{Re}(z_2)\leq\operatorname{Re}(z_1) one obtains |e^{z_1}-e^{z_2}|\leq |z_1-z_2|e^{|z_1|}. These estimates immediately lead to (A.1).

We start by deriving the so called Mehler-Sonine integral representation of the Bessel function

Using the Cauchy theorem we can transform for every R>0 the integral

Performing the limit R\rightarrow\infty, the last integral vanishes due to the dominated convergence theorem and we get

Using the classical integral representation of the Bessel function [AS72, Eq. (9.1.18)] we get

which is exactly the stated integral representation (Proof).

For the main part of the proof let us consider the function

Since the restriction S|_\mathbb{R} is square integrable, its Fourier transform is given by the improper Riemann integral

where the imaginary part of the integral vanishes in the limit due to the symmetry of S. Starting with |k|<1, we substitute x=b\sinh(t), to write this integral as

where we used \widetilde{R}_i\coloneqq\text{arsinh}(\frac{R_i}{b}), i=1,2. Using the trigonometric identity 2\sin(u)\cos(v)=\sin(u+v)+\sin(u-v) we can write the integrand as

Since |k|<1 there exists some t_0\in\mathbb{R} such that e^{2t_0}=\frac{1+k}{1-k}. Then, it is easy to verify that \cosh(t_0)=\frac{1}{\sqrt{1-k^2}} and \sinh(t_0)=\frac{k}{\sqrt{1-k^2}} and consequently

Using this identity we can further rewrite the integrand as

Plugging this representation in the integral (?) gives

where in the second line we substituted t\rightarrow t\mp t_0, used \widehat{R}_1\coloneqq\widetilde{R}_1\mp t_0, \widehat{R}_2\coloneqq\widetilde{R}_2\pm t_0, in the two respective integrals and added them together. Moreover, in the last equation we used the representation (Proof).

For k>1 we use the Cauchy theorem to change the integration path to a semicircle in the lower half space

Choosing R>b and using that

the function S in the integrand can be estimated by

Writing any w\in\mathbb{C} as w=|w|e^{i\operatorname{Arg}(w)} with \operatorname{Arg}(w)\in[0,2\pi), our choice (?) of the complex square root shows \sqrt{w}=\sqrt{|w|}\,e^{i\frac{\operatorname{Arg}(w)}{2}}. Using this, we rewrite the imaginary part

This representation and the estimate (?) can now be used to estimate the exponent in (?) by

Hence we can further estimate (?) by

Using this inequality, the Fourier transform (?) can be estimated by

For k<-1 we also conclude \mathcal{F}[S|_\mathbb{R}](k)=0 by the symmetry of S.

Summing up, we have now shown that

Applying the inverse Fourier transform to (?) we obtain

Since J_0 is a bounded function, the right hand side extends to an entire function when x\in\mathbb{R} is replaced by z\in\mathbb{C}. Since the holomorphic extension is unique it coincides with S and we conclude the stated integral representation (A.2).