Abstract
We prove quantitative versions of the following statement: If a solution of the \(1+1\)-dimensional wave equation has spatially compact support and consists mainly of positive frequencies, then it must have a significant high-frequency component. Similar results are proven for the \(3+1\)-dimensional wave equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The present paper provides a quantitative analysis of a problem that has been studied by different communities in different contexts. On the one hand, in quantum theory it is well known that spatial localization is incompatible with the Hamiltonian (i.e., the generator of time translations) to be bounded from below. This result, often referred to as Hegerfeldt’s theorem, means physically that a quantum system either propagates with infinite speed (thus violating causality), or else it must involve pair creation or annihilation processes as described by wave functions involving arbitrarily large negative frequencies.Footnote 1 Hegerfeldt’s theorem has far-reaching consequences for our understanding of the interplay between locality and the distribution of energy in spacetime. To give a simple example, it explains why the Feynman propagator \(G_\text {F}(x,y)\) (defined by the condition that “positive frequencies travel to the future” and “negative frequencies travel to the past”) cannot be causal but instead must have non-vanishing contributions for a large spacelike separation of x and y.
From the point of view of harmonic analysis, on the other hand, Hegerfeldt’s theorem can be regarded as an application of a classic theorem by F. and M. Riesz, a discussion of which can be found for example in [9, Sect. I.1]. It constitutes a special case of an annihilating pair of sets for the Fourier transform as discussed in [10, Sect. 1.2.1]. For related problems in harmonic analysis, see, for example, [21] but also [28], which contains a power-series argument similar to the one we develop in the course of our work in Sect. 4.4.
The proof of Hegerfeldt’s theorem (see [11] or the concise review in [5, Theorem 3 in Sect. 4]) uses complex continuation and the Schwarz reflection principle. This method is general and elegant, but unfortunately it does not give quantitative information on the frequency splitting. The goal of the present paper is to prove quantitative versions of Hegerfeldt’s theorem. In order to make the paper accessible to a broader readership, we formulate the problem and our results purely in the language of hyperbolic partial differential equations (PDEs). From this perspective, Hegerfeldt’s theorem states that solutions of hyperbolic PDEs which have spatially compact support cannot be composed purely of positive (or similarly negative) frequencies. (A clear and detailed proof in the PDE language is given in [30, Sect. 1.8] or [4, Corollary 3.6].) The quantification we have in mind is the following: Suppose that at an initial time, a solution has compact support in a ball of radius r. What can one infer on the possible frequency distributions of the solution? In particular, how small can the component of negative (or similarly positive) frequency be?
Before making this question mathematically precise and stating our results, we give an overview of the literature on localization in quantum theory. The problem of localization in quantum theory has a long history (see, e.g., [31] for an overview of the early literature). It was on that backdrop that Hegerfeldt [11] proved in 1974 that a quantum mechanical system cannot be localized, or, if initially localized, will spread instantly and thus violate strong Einstein causality. Skagerstam [27] proved the same result with a different method. In particular, he provides an independent proof in the Heisenberg picture. A different attempt at localization using current density four vectors was pursued in [7, 8]. Hegerfeldt’s results were generalized by several authors [12, 16, 23]. In a series of later articles [13,14,15], Hegerfeldt discussed these results and their observational consequences in greater detail. Hegerfeldt’s theorem has applications to quantum theory in the context of causal localizations (see, e.g., [5, 6] and the references therein for more recent developments). In [15], Hegerfeldt addresses the question why the Dirac equation is not a counter example: The original result is based on the assumption that the Hamiltonian of the system is positive definite, which obviously is not the case for the Dirac Hamiltonian. The fact that localized solutions to the Dirac equation always contain contributions of positive and negative energy has been linked [14] to the insight from the field-theoretic perspective that an effective particle corresponds to a “dressed” state, i.e., that it is surrounded by a cloud of “virtual” particle-antiparticle pairs. The appearance of contributions of both positive and negative frequencies in a localized solution to the Dirac equation can be thought of as the PDE counterpart to this phenomenon.
In the PDE literature, questions similar to those considered in the context of localization in quantum theory were addressed in [19, 20, 25] in terms of unique continuation theorems, i.e., statements of the type that if a solution to a PDE of interest (namely the Schrödinger equation in [19] or the scalar wave equation in [20]) vanishes in an open region, then it vanishes everywhere, provided that one requires the solution to be in a suitable regularity class. Furthermore, see [2, 3] for related results on a Riemannian manifold and [25, Sect. 13] for a discussion of similar results for the Schrödinger equation with a potential. It should be noted that, although these results are clearly related, the formulation of the PDE problem does not immediately translate to the formulation of the problem of localization in quantum mechanics. The PDE problem assumes the vanishing of a function in a certain domain, while the problem of localization in quantum mechanics assumes that the expectation value of a self-adjoint operator, which is associated with a certain spatial region, vanishes.
We now specify the mathematical problem and state our main results. For simplicity, we restrict attention throughout to the cases of the scalar wave equation in one and three spatial dimensions. But, as will become clear from our analysis, our methods also apply to other dimensions as well as to the Klein–Gordon equation. Moreover, our results immediately apply to the equations of higher spin (Maxwell, Dirac, Rarita–Schwinger, linearized gravity), simply because in Minkowski space, each component of a solution to these equations satisfies the scalar wave equation or Klein–Gordon equation.
In preparation, let us consider the following question:
-
(A)
Assume that at some time \(t_0\), a wave \(\phi (t,x)\) is spatially supported inside a ball of radius r. Does this imply an a priori bound for the ratio
$$\begin{aligned} \frac{E(\phi _+)}{E(\phi _-)} \end{aligned}$$(1.1)of the energies of the components of positive and negative frequency? (For notational details, see Sect. 2.)
The answer to this question is no. Indeed, by making the absolute value of the frequencies of \(\phi \) sufficiently large, one can make quotient (1.1) arbitrarily large or small (for more details see Sect. 3). But, turning this argument around, one concludes that if quotient (1.1) is small, then the wave should have significant high-frequency contributions. The goal of this paper is to quantify this statement by results of the following form:
Theorem 1.1
Let \(\phi (t,x)\) be a solution of the scalar wave equation which at some time \(t_0\) is supported inside a ball of radius \(r>0\),
Assume that the inequality
holds for some \(\varepsilon \in (0,1]\). Then, there is an a priori estimate for the momentum distribution of \(\phi \) of the form
Here, \(\hat{\phi }\) denotes the spatial Fourier transform (for details see again Sect. 2).
The dispersion relation for the wave equation yields that frequency and momentum coincide up to a sign. Therefore, inequality (1.2) also tells us about the frequency distribution. By direct computation or using a dimensional argument, one readily verifies that inequality (1.2) is scaling invariant. With this in mind, we can always restrict attention to the case \(r=1\) of a unit ball. We shall derive several closed expressions for the function R (see Theorems 4.10 and 4.13 and Corollary 4.25, where we always set \(\omega =|k|\)). All these expressions vanish in the limit \(\varepsilon \searrow 0\),
as needed for the correspondence to Hegerfeldt’s theorem. If \(\varepsilon \) is positive and small, inequality (1.2) implies that \(\hat{\phi }(k)\) is small unless |k| is large. This can be understood as a form of unique continuation, in the sense that, assuming the Fourier transform to have relatively small \(L^2\) mass for negative frequencies, we show that the absolute value of the Fourier transform has to be small for small positive frequencies. For partial differential equations, unique continuation theorems of a similar spirit can be found in [17, 29]. There are also related unique continuation results for the Hilbert transform as given for example in [1, 26]. However, in contrast to these results, it is a specific feature of our method that we aim at getting uniform estimates for all values of the two parameters \(\varepsilon \) and k. It is one of our main goals to unravel the functional dependence on these two parameters.
We begin with simple but rough bounds that give a good first understanding of the underlying mechanism and might be sufficient for some applications. In the subsequent, more technical parts of the paper we show that our estimate of the series expansion of the Fourier transform is a solution of a Goursat problem, and employing stationary phase techniques will give rise to significantly improved upper bounds.
In contrast to Hegerfeldt’s approach, our methods do not rely on complex analysis. Instead, working with Legendre polynomials, we derive estimates for each Taylor coefficient of the Fourier transform. From that, we infer explicit upper bounds for the Fourier transform at low frequencies. Hegerfeldt’s result is obtained in the present considerations by the fact that if we take the limiting case when the compactly supported solution is supported only in the positive frequencies, then the Fourier transform vanishes everywhere, and thus the function itself is trivial.
We finally note that we expect that our methods and results apply in a much more general setting. One possible extension is to higher dimensions, as we here illustrate by deriving estimates for every angular momentum mode of the wave equation in three spatial dimensions. Moreover, the assumption of compact support could probably be replaced by suitable decay assumptions of the initial data. Finally, our results should apply to massive equations, to situations in the presence of external potentials and to equations in curved spacetimes. Another possible extension would be to consider different decompositions of momentum space into two subsets which generalize the notions of positive and negative frequencies. However, these extensions and generalizations go beyond the scope of the present paper.
The paper is structured as follows. In Sect. 2, we introduce the mathematical setup and fix our notation. In Sect. 3, we discuss a simple example. The main part of the paper is concerned with the one-dimensional wave equation (Sect. 4). After recalling a simple pointwise estimate of the Fourier transform (Sect. 4.1), we expand the Fourier transform in a power series (Sect. 4.2) and derive simple estimates of the Taylor coefficients in terms of the energy (Sect. 4.3). In order to derive refined estimates, we decompose the Fourier series into a polynomial and the remainder. The coefficients of the polynomial are bounded using \(L^2\)-estimates together with properties of Legendre polynomials (Sect. 4.4), whereas the remainder can be treated with the simple estimates (Sect. 4.5). This gives improved estimates of all Taylor coefficients (see Proposition 4.7) which give rise to estimate the energy distribution of the initial data in terms of a series \(g(\varepsilon , \omega )\) (see Proposition 4.8 in Sect. 4.6). We proceed with a few simple estimates of this series (Sects. 4.7 and 4.8), which might be sufficient for future applications and are addressed more toward the theoretical physics community.
The key for getting better estimates of this series is the observation that, as a function of \(\varepsilon \) and \(\omega \), the series can be transformed to a solution of a characteristic initial value problem (Goursat problem) for the \(1+1\)-dimensional Klein–Gordon equation (Sect. 4.9). After bringing the initial data into a more explicit form (Sect. 4.10), we can solve the Goursat problem with the help of the Klein–Gordon Green’s operator and its representation in momentum space to obtain a contour integral (Sect. 4.11). This contour integral can be estimated with a saddle-point approximation and rigorous error bounds (Sect. 4.12). It remains to integrate over two parameters which came up in our constructions: the spatial momentum k (Sect. 4.13) and the parameter s used for the construction of the initial data (Sect. 4.14). We thus obtain the improved estimate for \(g(\omega )\) in Theorem 4.24. This section contains a number of interesting technical results and is addressed more at the mathematical community. Finally, in Sect. 5 we extend the results to each angular mode of the \((3+1)\)-dimensional wave equation (see Theorem 5.8). Appendix provides an alternative derivation of an integral representation of the solutions of the Goursat problem given in Sect. 4.9.
2 Preliminaries
2.1 Fourier Transform
We recall a well-known result, which is an immediate consequence of the Paley–Wiener theorem (see [32, Sect. VI.4] or [24, Theorem IX.11]).
Lemma 2.1
Let \(\phi \in C^\infty _0(B_1(0))\) be a smooth real- or complex-valued function with compact support in the interval \((-1,1) \subset \mathbb {R}\). Then, its Fourier transformFootnote 2
can be represented as a power series
with coefficients \((c_n)_{n\in \mathbb {N}_0}\) bounded by
Proof
Differentiating (2.1), we obtain
In particular, setting \(k=0\) we obtain
giving the desired bound (2.3). Moreover, we conclude that the Taylor series converges absolutely.
In order to derive (2.4), we consider similarly the Fourier transform of the derivative of \(\phi (x)\) to obtain
Comparing the last equation with (2.2), one sees that \(c_n=-i d_{n+1}\), giving (2.4). \(\square \)
This estimate shows in particular that \(\hat{\phi }(k)\) is real analytic.
2.2 Green’s Operators and the Causal Fundamental Solution
The proof of our main theorem is based on estimates of a solution of the Klein–Gordon equation in \(1+1\) dimensions (for details see Sect. 4.9). We now recall the basics on Green’s operators needed for this analysis. The Klein–Gordon equation for a wave \(\phi \) of mass \(m \ge 0\) reads
Green’s kernels are distributional solutions of this equation with a \(\delta \)-distribution as inhomogeneity. More precisely, they are defined by the equation
The Green’s operator \(S_{m^2}\) is the corresponding integral operator defined by
We now compute the Green’s kernel with Fourier methods. Taking the Fourier transform of the Green’s kernel,
the differential equation (2.5) reduces to the algebraic equation
When solving this equation, one must treat the zeros of the function \(\omega ^2 - k^2-m^2\) with a suitable deformation in the complex plane. For our purposes, it is useful to choose
where the limit \(\varepsilon \searrow 0\) is taken in the distributional sense. The resulting Fourier transform can be computed explicitly with residues. Indeed, carrying out the \(\omega \)-integral by closing the contour in the upper (lower) half plane if \(t<0\) (respectively, \(t>0\)), we get
where \(\Theta \) is the Heaviside function. The obtained integral is well defined as an improper Riemann integral. In order to compute it, it is most convenient to make use of Lorentz invariance, making it possible to restrict attention to the case \(x=0\). In this case, the Fourier integral can be carried out using Bessel functions (see [22, Eq. 10.9.12])
giving the explicit formula
This Green’s kernel vanishes unless the point (t, x) lies in future light cone centered at the origin. As a consequence, in the Green’s operator (2.6) the function \(\phi \) enters only inside the past light cone centered at (t, x). This is the reason why \(S^\wedge _{m^2}\) is referred to as the retarded Green’s operator. Similarly, the Green’s kernel \(S^\vee _{m^2}(t,x)\) is computed by
giving rise to the advanced Green’s operator \(S^\vee _{m^2}\).
We finally introduce the fundamental solution \(K_{m^2}\) by
where \(\epsilon \) is the sign function. Being composed of the difference of the advanced and retarded Green’s kernels, the kernel of the fundamental solution satisfies the homogeneous Klein–Gordon equation,
For this reason, the fundamental solution can be used to construct solutions of the Klein–Gordon and wave equations. The causal fundamental solution has the Fourier representation
Here, the fact that the integrand is supported on the mass shell \(\omega ^2+k^2=m^2\) can be understood immediately from the fact that \(K_{m^2}\) satisfies the Klein–Gordon Eq. (2.11). The detailed form of this integrand can be derived from (2.10) and (2.7) by using the distributional relation
to obtain
Alternatively, this relation can also be derived by direct computation of the Fourier integral in (2.12).
In the massless case \(m=0\), we obtain the corresponding Green’s kernels and the fundamental solution of the wave equations. Using that \(J_0(0)=1\), we get the simple formulas
where \(\epsilon \) is again the sign function.
3 A Simple Example
The following example is intended to give the reader a first idea of the problem analyzed in this paper. In particular, the simple arguments presented in this section explain why the answer to the naive question (A) on page 3 is no.
Let be a compactly supported test function in \(1+1\)-dimensional Minkowski spacetime
. For notational clarity, we denote points of Minkowski space in boldface, i.e., \({\textbf{x}}=({\textbf{x}}^0, {\textbf{x}}^1)=(t,x)\) and \({\textbf{p}}=({\textbf{p}}^0, {\textbf{p}}^1=k)\). We again let \(K_0\) be the causal fundamental solution (2.15). Then, the function
![](http://media.springernature.com/lw308/springer-static/image/art%3A10.1007%2Fs00023-022-01215-8/MediaObjects/23_2022_1215_Equ18_HTML.png)
is a solution of the scalar wave equation which is smooth and has spatially compact support. Taking the Fourier transform in space and time, the convolution in (3.1) becomes a multiplication in momentum space, i.e.,
where \(\langle .,. \rangle \) is the Minkowski inner product. Using (2.12), the distribution \(\hat{K}_0\) is given by
We decompose the solution into the components of positive and negative frequencies by setting
and denote their energies by
Clearly, these energies are time independent due to energy conservation.
We now answer question (A) on page 3:
Proposition 3.1
For any \(\varepsilon >0\), there is a smooth solution \(\phi ({\textbf{x}})\) with spatially compact support of the wave equation in \((1+1)\)-dimensional Minkowski space with the property that
Proof
Given , in (3.1) we consider the family of test functions
where \(\zeta \) is a positive parameter. For convenience, the test function f is chosen such that \(\max _{\mathbb {R}^{2}}(\hat{f})=\hat{f}(0,0)\). Taking the Fourier transform, the multiplication by a plane wave translates into a shift of the argument, i.e.,
We now consider the corresponding family of solutions \(\phi _\zeta \) in (3.2).
By increasing \(\zeta \), the function \(\hat{f}_\zeta \) is shifted parallel to the light cone toward higher positive frequencies (Fig. 1) with \(\max _{\mathbb {R}^{2}} \hat{f}_\zeta =\hat{f}(\zeta ,-\zeta )\). As a consequence, the energy \(E(\phi _{\zeta , +})\) of the positive-frequency contribution is bounded from below. Furthermore, since \(f({\textbf{x}})\) is smooth, its Fourier transform \(\hat{f}\) decays rapidly. As a consequence, \(\hat{\phi }_{\zeta , -}\) as well as its energy \(E(\phi _{\zeta ,-})\) tend to zero rapidly in \(\zeta \). Hence,
concluding the proof. \(\square \)
This example can be made more quantitative. In order to get a good example for testing our estimates, we want to choose a compactly supported function of one variable whose Fourier transform decays as fast as possible near infinity. As proven in [18, Theorem in Sect. 1.5], there is a non-trivial, compactly supported function g whose Fourier transform is bounded by
This “almost exponential” decay near infinity is optimal in the sense that there is no compactly supported function g with (see [18, Theorem in Sect. 1.1])
We choose
with g satisfying (3.4). For this choice of g, we can compute the energies of the corresponding solutions \(\phi _\zeta \) in (3.2) and (3.3) as well as their spatial Fourier transforms (2.1) explicitly. A straightforward calculation yields
Hence,
Combining the above inequalities, one sees that for fixed k and small \(\varepsilon \) (i.e., for large \(\zeta \)), in the above example the function R in (1.2) tends to zero in \(\varepsilon \) slightly faster than linearly. Such a bound of \(\hat{\phi }_\pm (k)\) in terms of \(\varepsilon \) holds as long as the exponential in (3.5) is small, i.e., as long as \(|k| \lesssim \zeta \). Inverting (3.9) asymptotically for large \(\zeta \), one finds that \(\zeta \sim -\log \varepsilon \). Therefore, the interval for |k| on which our improved estimate applies grows logarithmically in \(\varepsilon \).
These qualitative findings will be reproduced by our estimates. Indeed, we shall see that for small k and \(\varepsilon \), the function R in (1.2) scales like \(R \sim \varepsilon ^\frac{2}{3}\) (see Proposition 4.8), which is consistent with the slightly faster than linear decay in \(\varepsilon \) in the above example. Moreover, the logarithmic growth in \(\varepsilon \) of the interval \(|k| \in [0, \zeta ]\) also appears in our refined estimates (see, e.g., Proposition 4.21, where the region (A) is determined by inequality (4.68) with \(k=\sqrt{2b}\) and \(\lambda \), a and b as defined by (4.44) and (4.28) with \(s=1\)).
Although the methods used in this example give a good first understanding, it seems impossible to use them for proving Theorem 1.1. One reason is that the methods for analyzing the decay of Fourier transforms of compactly supported functions (see [18] for a good survey) do not give precise estimates. Another reason is that in (3.2) the function \(\hat{f}_\zeta \) is multiplied by a distribution supported on the mass cone. As a consequence, results on the decay of two-dimensional Fourier transforms do not seem suitable for analyzing solutions of the wave equation.
4 The \(1+1\)-Dimensional Case
In this section, we give a detailed analysis of the properties of solutions to the wave equation with spatially compact support in \(1+1\)-dimensional Minkowski space in the limiting case when the quotient \(E(\phi _-)/E(\phi _+)\) is small. In particular, we shall derive an upper bound for the Fourier transform of such solutions for small frequencies.
We consider the Cauchy problem for the scalar wave equation with smooth initial data supported inside the unit ball \(B_1=(-1,1)\),
We denote the energy of the solution by
It is useful to take the Fourier transform of the spatial variable, again using the notation and conventions in (2.1). A direct computation yields
with
where \(\omega \ge 0\) denotes the absolute value of the frequency, i.e.,
The solutions \(\phi _\pm \) can be understood as the components of positive and negative frequency, respectively. This splitting is analogous to the splitting into plus- and minus-functions in [10, p. 16]. Using Plancherel’s theorem, energy (4.2) can also be expressed as an integral in momentum space.
Lemma 4.1
Energy (4.2) can be written as
Proof
A direct computation using Plancherel’s theorem yields
giving the result. \(\square \)
We now enter the proof of Theorem 1.1 in different versions (see Lemma 4.2, Theorems 4.10 and 4.13, and Corollary 4.25). Our strategy is as follows: We begin with a pointwise bound of the Fourier transform. In order to improve on this result for small frequencies, we expand the Fourier transform in a Taylor series about the origin. For technical reasons, we consider the contributions of even and odd parity separately. We successively derive more and more refined estimates for the Taylor coefficients. In the final step, we prove several bounds for the Taylor series in closed form. Our estimates will be presented in increasing level of refinement and, accordingly, in increasing complexity of the proofs.
4.1 A Pointwise Bound of the Fourier Transform
We begin with a simple and well-known pointwise bound for the Fourier transform. It will serve as a reference for the improved bounds for small frequencies to be derived later on. For our estimates, it is useful to introduce the functions
with \(\omega \) as in (4.4), where for convenience we evaluated at time \(t=0\). According to Lemma 4.1, the energy \(E(\phi _\pm )\) simply is a multiple of the \(L^2\)-norm of \(\hat{h}_\pm (k)\) squared. The following estimates apply similarly to both \(\hat{h}_+\) and \(\hat{h}_-\). We begin with a pointwise bound.
Lemma 4.2
For all \(k \in \mathbb {R}\),
Proof
According to (4.3),
The obtained Fourier transforms can be estimated pointwise by
Comparing with (4.2) evaluated at time \(t=0\) gives the result. \(\square \)
The goal of the following sections is to improve this estimate of \(|\hat{h}_\pm (k)|\) for small k.
4.2 Taylor Expansion in Momentum Space
Our first step is to expand the initial data \(\hat{\phi }_{0/1}\) as well as the corresponding solutions \(\phi _\pm \) of positive and negative frequency in Taylor series about the momentum \(k=0\). Since the initial data is compactly supported, its Fourier transform is real analytic (for a proof of this statement see Lemma 2.1). Therefore, we may expand the initial data in Taylor series,
Using these formulas in (4.3), we obtain corresponding series expansions for the solutions \(\hat{\phi }_\pm \) (we evaluate at \(t=0\) and leave out the argument t),
According to Lemma 4.1, the energy is the \(L^2\)-norm of \(\omega \, \hat{\phi }_\pm (k)\). Therefore, we multiply by \(\omega \). Using that \(\omega =|k|\), we obtain
where \(\epsilon (k)\) is again the sign function. This sign function is crucial for what follows. Its significance becomes clear from the fact that it is responsible for Hegerfeldt’s theorem to hold: Assume that \(\hat{\phi }_-\) vanishes. Then, the series in (4.7) must vanish for all \(k \in \mathbb {R}\). Hence, the coefficient of every power in |k| must be zero, i.e.,
This equation must hold for both signs of k, i.e.,
As a consequence, all the summands in (4.7) must be zero, implying that the initial data vanishes identically. This simple argument even makes it possible to quantify Hegerfeldt’s theorem. Indeed, if \(\hat{\phi }_-\) is small, then all its Taylor coefficients are small, implying that also the initial data must be small. Clearly, our task is to specify what “small” means and to derive corresponding estimates.
In preparation of this analysis, we now express the energy of \(\phi _\pm \) in terms of the initial data. It is useful to decompose the solution with respect to parity, i.e., the symmetry under spatial reflections at the origin. Thus, for a function \(\phi (t,x)\) we introduce the parity decomposition by
where
Since the Fourier transform preserves parity, we obtain similar decompositions in momentum space, namely
Having fixed the parity, it clearly suffices to analyze \(\hat{\phi }^{\mathrm{even}/\mathrm{odd}}\) for positive k, implying that \(k=|k|=\omega \). Therefore, it is unnecessary to distinguish between k and \(\omega \). Comparing with (4.7), we obtain
where the series coefficients of even and odd parity are given by
Lemma 4.3
The energy of the positive- and negative-frequency components of \(\phi \) as given in Lemma 4.1 can be written as
with
Proof
Using (4.5), we obtain
The two summands in the integrand are the even and odd parity components, respectively. Computing them using (4.8) gives the result. \(\square \)
4.3 Simple Estimates of the Taylor Coefficients
The following estimates apply to both series in (4.11) in the same way. For notational convenience, the superscript \(\bullet \) stands for either “even” or “odd.” Thus, we write the series in (4.11) as
where we set \(a_0^\mathrm{odd}=0\). Our goal is to estimate the functions \(\hat{h}_\pm ^\bullet (\omega )\) for low frequencies. Before entering this analysis, we point out that, according to (4.9) and (4.10), the coefficients \(a_n^\bullet \) differ in the cases \(+\) and − only by signs. Therefore, whenever we estimate the absolute values of these coefficients, the distinction between the cases \(+\) and − becomes irrelevant. Moreover, from (4.9) and (4.10) one sees that the series involving the absolute values of the coefficients bounds the initial data in the sense that
These inequalities will be crucial for the following estimates.
We begin with a simple estimate of each coefficient of the series expansion, which is based on Lemma 2.1.
Proposition 4.4
The coefficients in the power series (4.12) are bounded by
Proof
Using the result of Lemma 2.1 in (4.9) and (4.10), one finds that the coefficients \(a^\bullet _n\) are bounded by
We thus obtain the simple bound in terms of the energy
This concludes the proof. \(\square \)
4.4 Estimates of the Highest Coefficient of a Polynomial
In Proposition 4.4, the Taylor coefficients were estimated in terms of the total energy \(E(\phi ^\bullet )\) of the wave. However, it was not taken into account that the corresponding Taylor series describes the component of positive or negative frequency only (see (4.8)). More specifically, we consider the situation when the energy of the negative-frequency component is much smaller than the total energy,
Choosing the plus sign in (4.8), we are interested in upper bounds of the Taylor coefficients in (4.12), which tend to zero if \(E(\phi ^\bullet _-)\) tends to zero for fixed \(E(\phi ^\bullet )\). In order to derive these refined estimates, we use the following strategy, which is similar to that used by Tao to prove a version of Hardy’s uncertainty principle in [28, Sect. 2.6.2., p. 360]. We decompose the Taylor series into a Taylor polynomial of degree N and the remainder term,
We first show that if the Taylor polynomial has small \(L^2\)-norm on an interval \([0, \omega _1]\), then its highest coefficient must also be small. This statement is quantified in the following lemma using properties of the Legendre polynomials. Combining this statement with an \(L^2\)-estimate of the remainder term (see Lemma 4.6 in the next section), we shall obtain the refined estimates of each Taylor coefficient in Proposition 4.7.
Lemma 4.5
Let \({\mathcal {P}}(\omega )\) be a real polynomial of degree at most N with \(N \in \mathbb {N}_0\),
Then, for any \(\omega _1>0\), the highest coefficient of \({\mathcal {P}}\) satisfies the following inequalities:
![](http://media.springernature.com/lw378/springer-static/image/art%3A10.1007%2Fs00023-022-01215-8/MediaObjects/23_2022_1215_Equ40_HTML.png)
![](http://media.springernature.com/lw211/springer-static/image/art%3A10.1007%2Fs00023-022-01215-8/MediaObjects/23_2022_1215_Equ41_HTML.png)
Proof
For notational simplicity, we arrange by a rescaling that \(\Vert {\mathcal {P}}\Vert _{L^2([0,\omega _1])} = 1\). We make use of the fact that the Legendre polynomials \(P_n\) are orthogonal in \(L^2([-1,1])\). More precisely, for all \(n,n' \in \mathbb {N}_0\) (see [22, Table 18.3.1])
Combining this orthogonality with the fact that the Legendre polynomials \(P_0, \ldots , P_{N-1}\) are a basis of the polynomials of degree at most \(N-1\), we conclude that the Legendre polynomial \(P_N\) is orthogonal to all polynomials of degree smaller than N. It follows that
This makes it possible to compute the coefficient \(a_N\) by
The first integral can be estimated with the help of the Schwarz inequality by
The second integral in (4.16), on the other hand, can be computed explicitly. First, introducing the integration variable \(x=2\omega /\omega _1 - 1\), we find that
where in the last line we again used that \(P_N\) is orthogonal to all polynomials of degree smaller than N. We now employ the relations (see [22, Eqs. 18.17.38 and 18.17.39]) together with the Stirling formula (see [22, Eq. 5.11.3 with leading term]),
![](http://media.springernature.com/lw529/springer-static/image/art%3A10.1007%2Fs00023-022-01215-8/MediaObjects/23_2022_1215_Equ343_HTML.png)
We thus obtain the estimate
![](http://media.springernature.com/lw314/springer-static/image/art%3A10.1007%2Fs00023-022-01215-8/MediaObjects/23_2022_1215_Equ344_HTML.png)
Employing the above estimates in (4.16) gives (4.14).
Clearly, relation (4.14) implies that (4.15) holds for large N. In order to also verify (4.15) for small N, one can estimate the above combinatorial factors directly to obtain
As a consequence,
Using this estimate together with (4.17) in (4.16) gives (4.15). \(\square \)
4.5 Smallness of the Taylor Coefficients
We next estimate the \(L^2\)-norm of the remainder term in (4.13) on an interval \([0, \omega _1]\).
Lemma 4.6
Given \(\varepsilon \in [0, 1]\) and \(N \in \mathbb {N}_0\), we choose
Then, the remainder term in (4.13) is bounded on \([0, \omega _1]\) by
Proof
Applying Proposition 4.4, we can estimate the remainder by
Choosing \(\omega _1\) according to (4.18), we know that for all \(\omega \in [0,\omega _1]\),
where the last inequality is verified by direct inspection and using the Stirling formula. Therefore, the geometric series in (4.19) converges and is bounded by four,
Using this pointwise bound, the \(L^2\)-norm can be estimated by
giving the result. \(\square \)
Proposition 4.7
Assume that
Then, the Taylor coefficients in (4.12) are bounded for all \(n \in \mathbb {N}_0\) by
Proof
Given \(N \in \mathbb {N}_0\), we choose \(\omega _1\) as in (4.18). Then, the \(L^2\)-norm of the remainder is bounded according to Lemma 4.6. Combining this fact with Lemma 4.3, we obtain
Applying Lemma 4.5 to the polynomial \(\hat{h}^\bullet _N\) gives the bound
The result follows asymptotically from the Stirling formula and for small values of n directly by numerical evaluation. \(\square \)
4.6 Smallness of the Initial Data
In Proposition 4.7, we estimated all the Taylor coefficients \(a^\bullet _n\). According to (4.9) and (4.10), this also gives control of all the Taylor coefficients of the initial data \(\hat{\phi }_0\) and \(\hat{\phi }_1\). We thus obtain the following result.
Proposition 4.8
Assume that the energy of the negative-frequency component is bounded in terms of the total energy by
Then, the even and odd components of the initial data in momentum space are bounded pointwise for all \(\omega \in \mathbb {R}^+\) by
where g is the series
Proof
According to (4.6),
Using (4.9) and (4.10), one verifies for both the even and odd components that
Applying the estimate of Proposition 4.7 gives the result. \(\square \)
Before studying series (4.20) in detail and deriving bounds in closed form, we explain how to derive corresponding estimates for both parity components together (i.e., without decomposing into even and odd components).
Theorem 4.9
Assume that the energy of the negative-frequency component is bounded in terms of the total energy by
Then, we have the pointwise bound
Proof
Clearly, we may assume that both \(E(\phi ^{\mathrm{odd}})\) and \(E(\phi ^{\mathrm{even}})\) are nonzero, because otherwise the result follows immediately from Proposition 4.8. Since g is monotone increasing in \(\varepsilon \), we may assume that
Setting \(\delta = E(\phi ^{\mathrm{odd}})/E(\phi ) \in (0,1)\) and using Lemmas 4.3 and 4.1, we find that
Moreover, we introduce parameters \(\varepsilon _\bullet \ge 0\) such that
It follows that
Solving for \(\varepsilon _{\mathrm{even}}\) gives
This relation shows that \(\varepsilon _{\mathrm{odd}} \ge \varepsilon \) implies \(\varepsilon _{\mathrm{even}} \le \varepsilon \) and vice versa. Therefore, we may assume without loss of generality that \(\varepsilon _{\mathrm{even}} \le \varepsilon \) and \(\varepsilon _{\mathrm{odd}}\ge \varepsilon \). (Otherwise, we repeat the following argument with odd and even components interchanged).
Next, it is straightforward to see that
Applying Proposition 4.8, we obtain
Since g is monotone increasing in the argument \(\varepsilon \), we may replace \(\varepsilon _\mathrm{even}\) by \(\varepsilon \). Moreover, combining (4.21) with (4.22) and (4.23), one sees that \(\delta \le \varepsilon ^2/\varepsilon _{\mathrm{odd}}^2\). We thus obtain
Finally, the computation
allows us to set \(\varepsilon _{\mathrm{odd}}=\varepsilon \) in (4.24). This gives the result. \(\square \)
4.7 A First Version of the Main Theorem
The remaining task is to estimate the series \(g(\omega , \varepsilon )\) in (4.20), which we also write as
We now prove the first version of our main result.
Theorem 4.10
Assume that the energy of the negative-frequency component is bounded in terms of the total energy by
Then, the even and odd components of the initial data in momentum space are bounded pointwise for all \(k \in \mathbb {R}\) by
Proof
We estimate the series in (4.25) by
where in the last step we set \(x=\sqrt{2/(2n+3)}\). In order to estimate the last supremum, we set \(y = \sqrt{-\log \varepsilon } x\),
where we used that the function \(y e^{-y^2}\) attains its maximum at \(y=\sqrt{2}\). Combining this estimate with the result from Proposition 4.8 gives the result. \(\square \)
Note that the above estimate is an improvement over Lemma 4.2 as long as
A straightforward calculation gives the following corollary:
Corollary 4.11
Assume that the energy of the negative-frequency component is bounded in terms of the total energy by
Then, the \(L^1\)- and \(L^2\)-norms of the even and odd components of the initial data are bounded in momentum space for small frequencies
by
From Lemma 4.1, we know that the \(L^2\)-norm of \(\hat{h}_\pm ^\bullet \) on the whole interval \([0, \infty )\) gives a multiple of the total energy. We thus obtain
This inequality quantifies that the wave must have a significant high-energy contribution. Even more, as the function \(\omega _{\max }(\varepsilon )\) is monotone decreasing in \(\varepsilon \in (0,1]\) and tends to infinity as \(\varepsilon \searrow 0\), we see that in this limiting case, the wave must have large contributions of higher and higher frequency.
We now give a less quantitative version of this result, which might be interesting in the context of a Littlewood–Paley decomposition.
Corollary 4.12
For every compact frequency range \([\omega _0,\omega _1] \subset \mathbb {R}\), every time \(t_0 \in \mathbb {R}\) and every radius r, there is a constant \(C<1\) such that the a priori estimate
holds for every smooth solution to the \(1+1\)-dimensional wave equation with
Here, \(\pi _{[\omega _0,\omega _1]}\phi \) is the projection of the solution onto the compact frequency range.
Proof
By making the interval larger and arguing for positive and negative frequencies separately, it suffices to consider the case \(\omega _0=0\) and \(\omega _1>0\). Then, by choosing C sufficiently close to one, we can arrange that \(\omega <\omega _{\max }\) with \(\omega _{\max }\) as in (4.27) with \(\varepsilon ^2 = 1-C\). Then, Corollary 4.11 gives the result.
\(\square \)
We presented a first straightforward estimate of the series and showed that it already allows us to derive interesting conclusions on the properties of solutions to the \(1+1\)-dimensional wave equation in the regime \(E(\phi _-) \ll E(\phi )\). In the following, we will demonstrate that the bound on the series \(g(\omega , \varepsilon )\) can be improved substantially. The conclusion on the qualitative level, however, will remain the same. Therefore, these improvements of the bounds are addressed more to technically-oriented readers.
4.8 A First Improvement of the Estimate
In this section, we give a first improvement of the estimate in Theorem 4.10 by performing a more careful analysis of series (4.25). These estimates are a preparation for the more advanced method for getting estimates, which will be introduced in Sect. 4.9.
For ease in notation we set
Then, series (4.20) can be written as
Note that the last series converges absolutely and defines g as a smooth function on \(\mathbb {R}^2\).
Here is the main result of this section:
Theorem 4.13
Let \(\phi \) be the solution of the Cauchy problem (4.1). Assume that
Then, the initial data is small for small momenta in the sense that for all \(\omega \ge 0\),
Proof
In view of Proposition 4.8 and (4.28), (4.29), our task is to prove the following estimate,
We begin with series (4.29), leaving out the factor \(1/\sqrt{2n+1}\),
We decompose this series into the sum over the first N summands and the remainder. Estimating these two parts separately, we obtain
where in \((*)\) we used that
Choosing N so large that
we can compute the geometric series to obtain the estimate
In order to satisfy condition (4.31), we first choose
which gives rise to the inequality
Moreover, choosing
we conclude that
implying that (4.31) holds. This leads us to choosing N as the integer in the range
We thus obtain the estimates
Employing the inequalities
gives the result. \(\square \)
We conclude this section with a comment on the parameter domains where the different estimates are better. We first evaluate the point where the two arguments of the maximum coincide. For simplicity disregarding the prefactor e, we obtain
We thus obtain the estimate
For any given \(\omega \), one finds that \(|\hat{h}_\pm ^\bullet (\omega )| \lesssim \exp (-\sqrt{|\log \varepsilon |})\) asymptotically as \(\varepsilon \searrow 0\). This is a faster decay than the asymptotics \(|\hat{h}_\pm ^\bullet (\omega )| \lesssim 1/\sqrt{|\log \varepsilon |}\) as obtained in Theorem 4.10. On the other hand, fixing \(\varepsilon \) and considering the asymptotics \(\omega \rightarrow \infty \), the estimate of Theorem 4.10 is slightly better than that of Theorem 4.13 because of the factor \(|\log \varepsilon |^{-\frac{1}{2}}\) in (4.26). However, in this limiting regime, both theorems are not useful, because the estimates are worse than the simple pointwise bound of Lemma 4.2. With this in mind, the above theorems are useful only for \(\omega \) in a finite interval and for small \(\varepsilon \).
We now turn to substantially more sophisticated techniques to obtain the best estimate in this paper (see Corollary 4.25).
4.9 Formulation as a Goursat Problem for the Klein–Gordon Equation
We now develop another method for estimating the series g in (4.20). This method is based on the observation that g is a solution of a partial differential equation in \(\varepsilon \) and \(\omega \). As we shall see, this PDE is indeed the Klein–Gordon equation (see (4.32)), and the above series is obtained as the solution of a characteristic initial value problem (usually referred to as Goursat problem; see Proposition 4.14 below). This observation makes it possible to analyze the series in (4.20) with familiar methods of hyperbolic PDEs, as will be worked out in Sects. 4.11–4.12. Before entering the constructions, we remark that there seems no direct relation between the original wave equation and the PDE in \(\varepsilon \) and \(\omega \). To our knowledge, it is not even clear why g satisfies a PDE, and why this PDE is hyperbolic.
We again work with the parameters a and b as introduced in (4.28). Differentiating the function g(a, b) in (4.29) with respect to a and b gives
Hence, g is a solution of the PDE
This is the \((1+1)\)-dimensional Klein–Gordon equation of mass one in light cone coordinates. Introducing the coordinates
the equation takes the more familiar form
This PDE comes with initial conditions at \(b=0\) given by the series
Moreover, Lebesgue’s monotone convergence theorem implies that
The above PDE and the initial conditions determine the function g uniquely:
Proposition 4.14
The Goursat problem
together with the decay conditions (4.34) has a unique solution in the half space
It has the integral representation
Proof
The appearance of the Bessel function in (4.36) can be understood directly from the form of the Green’s kernels of the Klein–Gordon equation as given in (2.8) and (2.9). Indeed, choosing the spacetime coordinates (T, X) and setting the mass to one, the causal fundamental solution (2.10) takes the form
where \(\epsilon \) is again the sign function. Hence, in light cone coordinates,
(note that \(T^2-X^2=(a+b)^2 - (a-b)^2 = 4 ab\)). It is a solution of the homogeneous Klein–Gordon equation. Hence, also the convolution integral
satisfies the Klein–Gordon equation. Using the explicit form of \(K_1\) in (4.37), one sees that the function h coincides with the function g in (4.36).
Let us verify that the function h has the desired boundary values at \(b=0\). Using that \(J_0(0)=1\), we obtain
where we made use of the fact that \(g_0(\tau )\) vanishes as \(\tau \rightarrow -\infty \).
It remains to show uniqueness. Let \(\tilde{g}\) be another solution of the Klein–Gordon equation with the same boundary values at \(b=0\). Then, the difference \(\phi :=g-\tilde{g}\) is a solution which vanishes at \(b=0\). Our task is to prove that \(\phi \) vanishes identically. This result can be understood intuitively from the fact that, being massive, a Klein–Gordon wave propagates with subluminal speed, implying that if it were nonzero, it would intersect the null line \(b=0\). In order to prove this result, we consider the Fourier representation of \(\phi \),
where \(\omega (k):= \sqrt{k^1+1}\). The fact that \(\phi \) vanishes on the line \(b=0\) implies that
Multiplying by \(e^{i p a}\) and integrating over a, we obtain zero for any value of p. Since the mappings
are both injective, it follows that the functions \(\hat{\phi }_\pm \) are both zero. Hence, \(\phi \) vanishes identically. \(\square \)
We remark that identity (4.36) can also be derived without referring to hyperbolic PDEs simply by manipulating the power series; for details, see Appendix A.
4.10 Arranging Initial Data in Closed Form
The initial data as given by series (4.33) has the disadvantage that it is not a simple explicit function. In view of the fact that the integral representation (4.36) involves the derivative of \(g_0\) and that the Bessel function has an oscillatory behavior, it is not obvious how an estimate of the initial data translates into a corresponding estimate of the solution. For this reason, it is preferable to estimate the solution in terms of new solutions of the Goursat problem (4.35) for initial data given in closed form.
Lemma 4.15
The solution of the Goursat problem (4.35) with initial data (4.33) satisfies the inequality
where the functions \(g^{(1)}\) and \(g^{(2)}\) are solutions of the Goursat problem (4.35) corresponding to the initial data
respectively.
Proof
Since all summands in series (4.29) are non-negative, the Schwarz inequality gives
By direct inspection, one sees that each bracket is a solution of the Goursat problem (4.35) corresponding to the initial data
respectively. This concludes the proof. \(\square \)
4.11 Reformulation as a Contour Integral
In this section, we rewrite the integral representation (4.36) in Proposition 4.14 as a contour integral. We make use of the fact that the Bessel function in (4.36) also arises in the causal fundamental solution (4.37), which in turn can be represented in momentum space by a distribution supported on the mass shell. Our starting point is formula (4.36). Introducing the integration variable
we obtain
and thus
Since both functions \(J_0\) and \(g_0'\) are even in t, we can write this integral as
Using Plancherel’s theorem, we can also compute this inner product in momentum space. In preparation, we compute the Fourier transform of the Bessel function:
Lemma 4.16
For any \(p \in \mathbb {R}\),
where \(\chi \) denotes the characteristic function and \(\epsilon \) is again the sign function.
Proof
According to (4.37) and (2.12), for any \(q \in \mathbb {R}\),
We now apply Plancherel’s theorem. \(\square \)
Proposition 4.17
The function g(a, b) in (4.39) can be written as
with
Proof
Applying Plancherel’s theorem to (4.39) gives
where
(This relation is verified most easily by substituting the last two equations into (4.42) and using that \(\int _{-\infty }^\infty e^{i p r} \mathrm{d}p = 2 \pi \delta (r)\).) The first Fourier integral was computed in Lemma 4.16. The second Fourier integral can be simplified using integration by parts,
Introducing the new integration variable \(y=q/\sqrt{2b}\) gives
where in the last step we used notation (4.41).
Combining the above formulas, we obtain
where in the last line we used that the integrand is even. \(\square \)
4.12 Estimates of the Contour Integral
Our next goal is to estimate the contour integral in (4.41). In view of the estimate of Lemma 4.15, for the function \(g_0\) it suffices to consider the explicit functions \(g_0^{(1)}\) and \(g_0^{(2)}\) in (4.38). In order to treat these two functions together, for a given parameter \(s \in [0,1]\) we choose
Clearly, setting \(s=1\) gives the function \(g_0^{(1)}\). In order to treat the function \(g_0^{(2)}\), we will later integrate over the parameter \(s \in [0,1]\) (see Sect. 4.14). Thus, we turn our attention to estimating the integral
for the function \(g_0\) as given by (4.43). In order to simplify the notation, we set
Then, the transformation
allows us to rewrite the above integral as
We also write this integral as
We want to apply a saddle-point argument. To this end, we first compute the critical points of the function \(\chi \). In fact, a straightforward computation shows that there is only one critical point, which lies on the imaginary axis at
where \(\beta \) is defined implicitly by the equation
Our strategy is to deform the integration contour such that it goes through this critical point. For simplicity, we choose the integration contour as a straight line parallel to the real axis,
We thus obtain
and thus
where we used (4.48) in order to express k in terms of \(\beta \) and set
Using this formula in (4.46), we can decompose the integral as
![](http://media.springernature.com/lw196/springer-static/image/art%3A10.1007%2Fs00023-022-01215-8/MediaObjects/23_2022_1215_Equ78_HTML.png)
![](http://media.springernature.com/lw283/springer-static/image/art%3A10.1007%2Fs00023-022-01215-8/MediaObjects/23_2022_1215_Equ79_HTML.png)
In order to estimate this integral, we first take the absolute value of the integrand
![](http://media.springernature.com/lw544/springer-static/image/art%3A10.1007%2Fs00023-022-01215-8/MediaObjects/23_2022_1215_Equ80_HTML.png)
The obtained integral is estimated further in the next lemma.
Lemma 4.18
For any \(C \ge 0\),
Proof
For \(t \in [0,1]\), we estimate the inner exponential by a polynomial,
This gives the estimate
In the remaining parameter range \(t \in [1,\infty )\), we use that \(e^{-t^2} < e^{-1}\) to obtain
For large values of C, contribution (4.56) clearly dominates. Since this contribution has no zeros and all contributions are bounded near \(C=0\), one finds that (4.55) holds with some numerical constant on the right side. By direct inspection, one sees that this constant can be chosen equal to two. \(\square \)
Combining the above estimates, we obtain the following result.
Lemma 4.19
Integral (4.45) can be estimated by
where c is a numerical constant, \(\lambda \) is defined by (4.44), and \(\beta \) is given implicitly by (4.48).
Proof
We combine (4.54) with (4.55) and apply the resulting inequality in (4.52). Using (4.51) gives the result. \(\square \)
We finally collect a few properties of the function h in (4.58), which will be needed in the next section.
Lemma 4.20
For any fixed \(\lambda \),
where k is given via (4.48) in terms of \(\lambda \) and \(\beta \). Moreover, for any \(k>\tilde{k}\),
Proof
Relation (4.59) follows immediately from (4.58) and (4.48). Next, a direct computation using again (4.58) and (4.48) yields
Combining these equations with the chain rule gives (4.60).
In order to compute the partial derivatives with respect to \(\lambda \), we first compute the total derivative of (4.48) for fixed k,
Hence,
This formula shows in particular that, for fixed k, the function \(\beta \) is monotone decreasing in \(\lambda \). On the other hand, a direct computation using (4.59) and again (4.48) gives
(The partial derivative is again computed for fixed k.) Taking the product of (4.66) and (4.67) gives (4.61). Differentiating once again and using that \(\beta \) is monotone decreasing gives (4.62).
In order to derive (4.63), we first note that from (4.48) or (4.65) it follows that, for fixed \(\lambda \), the function \(\beta \) is monotone increasing in k. Therefore,
This concludes the proof. \(\square \)
4.13 Estimate of \(g^{(1)}\)
The goal of this section is to estimate the solution of the Goursat problem g(a, b) in (4.35) with initial data \(g_0^{(1)}\) as in (4.38). Our starting point is the estimate of Lemma 4.19, where we set \(s=1\) (cf. (4.43) and (4.38)). Our task is to estimate integral (4.40). To this end, we need to distinguish different cases:
Case (A): \(0 \le \beta < 1\). In view of (4.48), this corresponds to the range for k
In this case, we can estimate \(\beta \) in terms of k by
Case (B): \(\beta \ge 1\). In view of (4.48), this corresponds to the range for k
In order to express \(\beta \) in terms of k, we distinguish two sub-cases. We set
Case (B1): \(1 \le \beta < {{\,\mathrm{Im}\,}}y_1\). Clearly, this case only occurs if \({{\,\mathrm{Im}\,}}y_1 >1\), which by (4.70) implies that
Moreover,
Using (4.48), we obtain
Therefore, we can estimate (4.48) from above and below by
Case (B2): \(\beta \ge \max \{1,{{\,\mathrm{Im}\,}}y_1\}\). In this case,
making it possible to estimate (4.48) by
The resulting inequality can be estimated with the help of Lambert’s W-function. Indeed, taking the square of the above inequality,
one obtains (for details see [22, Eq. 4.13.1])
In the region \(k \ge k_0\) under consideration, the argument of the W-function is larger than \(e^2/2 \approx 3.69\), making it possible to use the inequalities
We thus obtain the estimate
The different cases are shown schematically in Fig. 2.
We now state the main result of this section. For notational convenience,
for a suitable numerical constant \(c>0\) (which does not depend on any parameters).
Proposition 4.21
The function g(a, b) in (4.40) is bounded by
where h is the function (4.58) and \(\beta \) is determined implicitly by (4.48) for \(k=\sqrt{2b}\), i.e.,
(and \(\lambda \) is given in terms of a by (4.44)). More explicitly, \(\beta \) is bounded from below by
with the cases as above with \(k=\sqrt{2b}\) and \(\beta \) given by (4.78).
We now enter the detailed estimates. The proof of this proposition will be completed at the end of this section. Our strategy is to estimate the k-integral in the different regions separately. To this end, we decompose the range of integration as
with
We begin with an estimate in case (A).
Lemma 4.22
The following inequality holds,
where \(\beta \) is chosen according to (4.78).
Proof
Using the inequality \(0 \le \beta <1\), we estimate (4.57) by
Setting \(x = \beta ^2\), the last exponent involves the function
whose first and second derivatives are negative,
In particular, the function f is concave. Therefore, choosing \(\tilde{x}\), for all \(x>\tilde{x}\),
As a consequence,
where we choose \(\tilde{\beta }\) such that (4.78) holds. Applying (4.65) and (4.69), we obtain the estimate
where in the last line we also used that \(\beta <1\). We thus obtain the estimate
Now, we can estimate the integral by
where in the last line we computed the Gaussian integral and used that \(\lambda \) and \(|f'|\) are bounded from below. Applying (4.80) and using that \(\tilde{\beta }<1\) give the result (where for notational convenience, in the statement of the lemma we omitted the tilde). \(\square \)
In order to estimate the integral in case (B), we consider a general integral
with \(\hat{k} = \max \{ k_0, \sqrt{2b} \}\) and \(k_2 \ge \hat{k}\). In this case, we write the estimate of Lemma 4.19 using (4.63) as
where in the last step we again used that \(\beta \) is monotone increasing in k. In this inequality, the k-dependence is given simply by a decaying exponential. Therefore, we may replace the upper limit of integration \(k_2\) in (4.81) by \(\infty \). Thus, it remains to estimate the integral
In preparation, we shift the integration variable such as to obtain an integral over the interval \([\sqrt{2b}, \infty )\),
where in the last step we used that the integrand is monotone decreasing in \(\ell \).
Lemma 4.23
For any parameters \(b \ge 0\) and \(d > 0\),
Proof
Introducing the variable z by
we obtain
with
In order to estimate the integral further, we consider two cases:
-
(a)
\(0 \le z \le 1\): The inequalities
$$\begin{aligned} 1+\frac{z^2}{3} \le \sqrt{z^2+1} \le \sqrt{2} \end{aligned}$$give rise to the estimate
$$\begin{aligned} \int _{0}^1 e^{-C \,\sqrt{z^2+1}}\, \mathrm{d}z&\le e^{-C} \int _{0}^1 e^{-\frac{C}{3}\, z^2}\, \mathrm{d}z \\&\le e^{-C} \int _{0}^\infty e^{-\frac{C}{3}\, z^2}\, \mathrm{d}z = \frac{\sqrt{3 \pi }}{2}\, \frac{e^{-C}}{\sqrt{C}} {.} \end{aligned}$$ -
(b)
\(1 \le z\): In this case,
$$\begin{aligned} \sqrt{2} + \frac{1}{\sqrt{2}}\, (z-1) \le \sqrt{z^2+1} \le \sqrt{2}\,z {,} \end{aligned}$$and thus
$$\begin{aligned} \int _1^\infty e^{-C \,\sqrt{z^2+1}}\, \mathrm{d}z&\le e^{-C\, \sqrt{2}}\int _1^\infty e^{-\frac{C}{\sqrt{2}}\, (z-1)}\, \mathrm{d}z = e^{-C\, \sqrt{2}} \; \frac{\sqrt{2}}{C} {.} \end{aligned}$$
Collecting all the contributions gives the result. \(\square \)
Proof of Proposition 4.21
Applying Lemma 4.23 in (4.81), (4.82) and using (4.83), we obtain
The terms in the denominator can be simplified because, using (4.48),
Applying (4.59), we obtain the estimate
where we simplified the last summand inside the last brackets by using the inequality \(\hat{\beta } \ge 1\). This concludes the estimates in case (B).
Next, we need to add the integrals in the different regions. Noting that \(\beta <1\) in case (A), the estimate of Lemma 4.22 agrees with the estimate in (4.84) if we choose \(\hat{k}=\sqrt{2b}\). Noting that, in view of (4.60), the argument of the exponent is decreasing in \(\hat{k}\), it suffices to consider the contribution in the region corresponding to the case determined by \(k=\sqrt{2b}\). This gives (4.76). The lower bounds in (4.79) were derived in (4.69), (4.72), and (4.75). \(\square \)
4.14 Estimate of \(g^{(2)}\)
We now come to the estimate of the solution of the Goursat problem g(a, b) in (4.35) with initial data \(g_0^{(2)}\) as in (4.38). Our task is to estimate the s-integral in (4.38). In view of (4.44), this corresponds to integrating \(\lambda \) along a straight line
More precisely, our task is to estimate the integral
with |g(a, b)| as estimated in (4.76) and \(\beta \) as given implicitly by (4.78).
According to (4.62), the function \(h(., \sqrt{2b})\) is convex. Hence,
As a consequence,
with
where \(\text {Erfi}\) is the imaginary error function.
Using this result in the formula of Lemma 4.15, we obtain the following result:
Proposition 4.24
The solution of the Goursat problem (4.35) with initial data (4.33) is bounded by
where \(\beta \) and \(\nu \) are given by
We finally state our results in a way compatible with Theorem 1.1.
Corollary 4.25
There is a numerical constant \(c>0\) such that the function \(R(\varepsilon , \omega )\) in (1.2) can be chosen as
with \(\beta \) and \(\nu \) as given implicitly by
Proof
We use the result of Proposition 4.24 in Proposition 4.8 and apply (4.28).
\(\square \)
We conclude this section with a brief discussion of our final result. Clearly, due to the implicit definition of \(\beta \) and \(\nu \) via (4.86) and (4.87), the estimate of Corollary 4.25 is rather involved. Its meaning can be revealed by considering various limiting cases. For brevity, we here only consider a particular case which explains why our last estimate goes beyond the previous estimates in Theorems 4.10 and 4.13. To this end, we consider the limiting case
In this limiting case, the first exponential inside the curly brackets in (4.30) is bounded from below, implying that the right side of (4.30) tends to infinity as \(\omega \rightarrow \infty \). Thus, Theorem 4.13 does not give any information on the limiting case (4.88). On the other hand, relation (4.86) implies that \(\beta \sim \omega ^{-3/4} \rightarrow 0\). Consequently, (4.87) implies that \(\nu \sim \omega \), giving rise to an exponential decay in (4.85). We conclude that Corollary 4.25 allows us to estimate \(R(\varepsilon , \omega )\) in the limiting case (4.88), although Theorem 4.13 fails.
5 The \(3+1\)-Dimensional Case
Let \(B_1 \subset \mathbb {R}^3\) be the unit ball. We consider the Cauchy problem for the scalar wave equation with smooth, compactly supported initial data in \(B_1\),
We denote the energy of the solution by
In order to write the solution in an explicit form, it is useful to form the spatial Fourier transform defined by
Indeed, as is verified by direct computation, we have
with
where we set
The solutions \(\phi _\pm \) are the components of positive and negative frequency, respectively. We again express the energy with the help of Plancherel’s theorem as an integral in momentum space:
Lemma 5.1
Energy (5.1) can be written as
Proof
A direct computation using Plancherel’s theorem gives
concluding the proof. \(\square \)
Due to spherical symmetry of the problem, we can expand the functions in spherical harmonics, in both position and momentum space. For the initial data, we obtain in polar coordinates \((r, \vartheta , \varphi )\) the representations
Similarly, in momentum space we obtain the representations
now in polar coordinates \((\omega =|\textbf {k}|, \vartheta , \varphi )\) in momentum space. Since Fourier transformation preserves angular momentum, it follows that the Fourier transformation of \(Y_{lm} \phi _a^{lm}\) is \(Y_{lm} \hat{\phi }_a^{lm}\). Moreover, being the Fourier transform of functions supported in \(B_1(0)\), the functions \(\hat{\phi }_a\) are real analytic. Therefore, they can be expanded in a Taylor series about \(\textbf {k}=0\). We write the resulting expansion as
In order to explain this formula, we note that the product \(Y_{lm}(\vartheta , \varphi )\,\, \omega ^l\) is a homogeneous polynomial in \(\textbf {k}\) of degree l. Therefore, in order to have a smooth function also in \(\omega \), the remaining series expansion must involve only even powers of \(\omega \). Using these expansions in (5.2), we obtain
where the coefficients are given by
We point out that, in contrast to the \(1+1\)-dimensional case, here a parity splitting is not necessary because it is already contained in the expansion in spherical harmonics. (Indeed, even l corresponds to even parity and odd l corresponds to odd parity.)
In analogy to (4.11), the energies can be expressed in terms of the functions \(\hat{h}^{lm}_\pm \) in (5.6):
Lemma 5.2
The energies of the positive- and negative-frequency components of \(\phi \) in (5.1) can be written as
with
Proof
Using expansion (5.5) in (5.3) and using the orthonormality of the spherical harmonics, we obtain
This concludes the proof. \(\square \)
We point out that there are two major differences compared to the \(1+1\)-dimensional situation: First, the sum over n in (5.6) starts at \(n=l\). This is because the contributions of higher angular momentum vanish to higher order at \(k=0\). Second and more importantly, the additional factor \(\omega ^2\) in (5.8) is a result of the three-dimensional integration in polar coordinates in momentum space.
The next lemma gives an estimate of each Taylor coefficient in momentum space. It can be regarded as the \(3+1\)-dimensional analog of Lemma 2.1.
Lemma 5.3
Let \(\phi \in C^\infty _0(B_1)\) with angular decomposition
Then, its Fourier transform has a Taylor-series representation
with coefficients bounded by
Proof
Since the Fourier transformation preserves angular momentum, it suffices to prove the lemma for fixed l and m. Moreover, by rotational symmetry it suffices to consider the case \(m=0\) (more precisely, the transformation of the m-modes under rotations is described by the Wigner D-matrix). Hence, expressing the spherical harmonics in terms of Legendre polynomials (see [22, Eq. 14.30.1]), we obtain
where a factor \(\omega ^l\) was absorbed into the Legendre polynomial. In order to determine the coefficient \(c^{l0}_p\), we differentiate the last equation \(l+2p\) times with respect to \(k_z\) and evaluate at \(k=0\),
In order to compute the \(l^\text {th}\) derivative of the Legendre polynomial, we must determine the coefficient of its highest power. This can be accomplished with the help of the Rodrigues formula (see [22, Eq. 18.5.5])
![](http://media.springernature.com/lw396/springer-static/image/art%3A10.1007%2Fs00023-022-01215-8/MediaObjects/23_2022_1215_Equ125_HTML.png)
and differentiating l times gives
We thus obtain
The partial derivative on the left can be estimated by
Using this estimate in (5.12) and solving for \(c^{l0}_p\) give (5.9).
In order to derive (5.10), we again fix l and consider the case \(m=0\). Differentiating \(\phi \) in the z-direction, we obtain
We now differentiate \(l+2p+1\) times with respect to \(k_z\) and evaluate at \(k=0\),
Again applying (5.11), we obtain
On the other hand, the partial derivative on the left can be estimated by
Combining this estimate with (5.13) gives (5.10). \(\square \)
Similar to Proposition 4.4, this lemma allows us to estimate each coefficient of the power series in (5.6).
Proposition 5.4
The coefficients in the power series (5.6) are bounded by
Proof
This follows immediately by applying Lemma 5.3 to series (5.4) and using (5.7). More precisely, treating the cases of even and odd n separately, we obtain
This concludes the proof. \(\square \)
We now use the same strategy as in Sects. 4.4 and 4.5. We decompose the series \(\hat{h}^{lm}_\pm \) in (5.6) into a polynomial of degree N and the remainder term,
with
Similar to Lemma 4.6, we first show that the remainder term has small \(L^2\)-norm on the interval \([0, \omega _1]\). The main difference compared to Lemma 4.6 is the additional factor \(\omega ^2\) in the integration measure.
Lemma 5.5
Given \(\varepsilon \in [0, 1]\) and \(N \in \mathbb {N}_0\), we choose
Then, the remainder term in (5.15) is bounded on \([0, \omega _1]\) by
Proof
Applying Proposition 5.4, we can estimate the remainder similar to (4.19) by
Choosing \(\omega _1\) according to (4.18), we know that for \(\varepsilon <1\) for all \(\omega \in [0,\omega _1]\),
where the last inequality is verified by direct inspection and using the Stirling formula. Therefore, the geometric series in (5.17) converges and is bounded by four,
Using this pointwise bound, the \(L^2\)-norm can be estimated by
giving the result. \(\square \)
Now, we can estimate each Taylor coefficient by using the method in Lemma 4.5. The following result is the analog of Proposition 4.7.
Proposition 5.6
Assume that for any given \(l \in \mathbb {N}_0\), \(m \in \{-l, \ldots , l\}\) and \(\varepsilon \in (0,1]\),
Then, the series coefficients in (5.6) are bounded by
Proof
Given \(N \in \mathbb {N}_0\), we choose \(\omega _1\) as in (5.16). Decomposing the function \(\hat{h}^{lm}_-\) according to (5.15), the \(L^2\)-norm of the remainder is bounded according to Lemma 5.5. Combining this fact with Lemma 5.2, we obtain
Applying Lemma 4.5 to the polynomial \({\mathcal {P}}(\omega ):= \omega \,\hat{h}^{lm}_N(\omega )\) gives the bound
The result follows asymptotically from the Stirling formula and for small values of n directly by numerical evaluation. \(\square \)
Now, we are ready to extend Proposition 4.8 to the \(3+1\)-dimensional setting.
Proposition 5.7
Assume that for any given \(l \in \mathbb {N}_0\), \(m \in \{-l, \ldots , l\}\) and \(\varepsilon \in (0,1]\), the energy of the negative-frequency component is bounded in terms of the total energy by
Then, the initial data in momentum space is bounded pointwise for all \(\omega \in \mathbb {R}^+\) by
where \(g_l\) is the series
The series \(g_l\) in (4.20) differ from the corresponding series g in (4.20) in two points: The sum begins at \(n=l\) (which makes the series smaller) and the power of \(\varepsilon \) is \(2/(2n+5)\) instead of \(2/(2n+3)\) (which makes the series larger). The different power comes about as a consequence of the factor \(\omega ^2\) in the integration measure in (5.8).
The remaining task is to estimate the series \(g_l\). All the methods developed in the \(1+1\)-dimensional setting can be adapted to the new series in (4.20). A simple method for getting the connection is to estimate \(g_l\) by
This method is not quite optimal but seems sufficient for most applications. For more refined estimates, one needs to reconsider the constructions in Sects. 4.9–4.14 with modified exponents. For brevity, we do not enter the details here.
We conclude this section with two theorems. We begin with an estimate for each angular momentum mode, obtained by combining Proposition 5.7 with estimate (5.18) and Proposition 4.24.
Theorem 5.8
Let \(\phi (t,x)\) be a solution of the \(3+1\)-dimensional scalar wave equation which at some time \(t_0\) is supported inside a ball of radius \(r>0\),
Assume that for any given \(l \in \mathbb {N}_0\), \(m \in \{-l, \ldots , l\}\) and \(\varepsilon \in (0,1]\), the energy of the negative-frequency component is bounded in terms of the total energy by
Then, there is an a priori estimate for the momentum distribution of \(\phi \) of the form
where the function \(R_l\) is given by
Here, c is a numerical constant (which is independent of l), \(d_l\) are the constants in (5.14), and \(\beta \) and \(\nu \) are given implicitly by
Finally, by combining the estimates for each angular mode and summing over the modes, we derive an estimate for a general solution to the \(3+1\)-dimensional wave equation.
Theorem 5.9
Assume that for \(\varepsilon \in (0,1]\), the energy of the negative-frequency component is bounded in terms of the total energy by
Then, the \(L^2\)-norm of the spatial Fourier transform on a sphere of radius \(\omega \) is bounded for all \(\omega \in \mathbb {R}^+\) by
where C is the constant
(and the \(d_l\) are again given by (5.14)).
Proof
In order to simplify the calculations, we observe that \(d_l>1\) only for \(l=\{0,1,2,3\}\) and thus
Using this estimate in the statement of Proposition 5.7, where we choose parameters \(\varepsilon _{lm}\) such that \(E^{lm}(\phi _-) = \varepsilon _{lm}^2\, E^{lm}(\phi )\), we obtain
Along the lines of the proof of Theorem 4.9, we use that the relations
imply that for all l, m with \(\varepsilon _{lm}>\varepsilon \), the inequality \(\delta _{lm}\le \frac{\varepsilon ^2}{\varepsilon _{lm}^2}\) holds. We thus obtain
For all the modes with \(\varepsilon _{lm}\le \varepsilon \), we used that in this case, \(g_l(\omega ,\varepsilon _{lm})<g_l(\omega ,\varepsilon ) \) for all l, m and that \(\delta _{lm}\le 1\) due to Lemma 5.2. With the same argument as in the proof of Theorem 4.9, it follows that \(\frac{\partial }{\partial \varepsilon _{lm}} \bigg ( g_l^2(\omega ,\varepsilon _{lm}) \,\frac{\varepsilon ^2}{\varepsilon _{lm}^2} \bigg )<0 \) for \(\varepsilon \in [0,1)\) and thus
giving rise to the estimate
where in the last step we used that \(g_l(\omega ,\varepsilon )\le g_0(\omega ,\varepsilon )\) for all \(l\in \mathbb {N}\). Carrying out the sum over m, we obtain the series
Using (5.14) and applying Stirling’s formula to each term of the resulting series
one sees that this series converges absolutely. This completes the proof. \(\square \)
Notes
In order to avoid confusion for readers with a more mathematical background, we note that, here and throughout the paper, by frequency we always refer to oscillations in the time variable. (In contrast, wave vectors in the spatial variables are referred to as momenta.)
We define the Fourier transform with a factor of one and the inverse Fourier transform with a factor of \(1/(2\pi )\).
References
Alaifari, R., Pierce, L.B., Steinerberger, S.: Lower bounds for the truncated Hilbert transform. Revista matemática iberoamericana 32(1), 23–56 (2016). arXiv:1311.6845 [math.CA]
Bär, C.: Localization and semibounded energy–a weak unique continuation theorem. J. Geom. Phys. 34(2), 155–161 (2000). arXiv:math-ph/9910023
Bär, C., Strohmaier, A.: Semi-bounded restrictions of Dirac type operators and the unique continuation property. Differ. Geom. Appl. 15(2), 175–182 (2001). arXiv:math-ph/0004002
Beck, C.: Localization—local quantum measurement and relativity. Dissertation, Ludwig-Maximilians-Universität München (2020)
Castrigiano, D.P.L.: Dirac and Weyl fermions—the only causal systems. arXiv:1711.06556 [math-ph] (2017)
Castrigiano, D.P.L., Leiseifer, A.D.: Causal localizations in relativistic quantum mechanics. J. Math. Phys. 56(7), 28 (2015)
Gerlach, B., Gromes, D., Petzold, J.: Eine kritische Analyse der Ladungsdichte des Klein-Gordon-Feldes. Z. Phys. 202(1), 401–411 (1967)
Gerlach, B., Gromes, D., Petzold, J.: Konstruktion definiter Ausdrücke für die Teilchendichte des Klein-Gordon-Feldes. Z. Phys. 204(1), 1–11 (1967)
Havin, V., Jöricke, B.: The Uncertainty Principle in Harmonic Analysis, vol. 28. Springer Science & Business Media, Berlin (2012)
Havin, V.P.: On the uncertainty principle in harmonic analysis. In: Byrnes, J.S. (ed.) Twentieth Century Harmonic Analysis—A Celebration, pp. 3–29. Springer, Dordrecht (2001)
Hegerfeldt, G.C.: Remark on causality and particle localization. Phys. Rev. D 10(10), 3320 (1974)
Hegerfeldt, G.C.: Violation of causality in relativistic quantum theory? Phys. Rev. Lett. 54(22), 2395 (1985)
Hegerfeldt, G.C.: Causality, particle localization and positivity of the energy. In: Bohm, A., Doebner, H.D., Kielanowski, P. (eds.) Irreversibility and Causality, Semigroups and Rigged Hilbert Spaces, pp. 238–245. Springer, Berlin (1998)
Hegerfeldt, G.C.: Instantaneous spreading and Einstein causality in quantum theory. Ann. Phys. 7(7–8), 716–725 (1998)
Hegerfeldt, G.C.: Localization of particles, spreading and the notion of Einstein causality. In: AIP Conference Proceedings, vol. 589, no. 1, p. 357 (2001). arXiv:quant-ph/0109044
Hegerfeldt, G.C., Ruijsenaars, S.M.: Remarks on causality, localization, and spreading of wave packets. Phys. Rev. D 22(2), 377 (1980)
Logunov, A., Malinnikova, E.: Lecture notes on quantitative unique continuation for solution of second order elliptic equations (2019)
Mashreghi, J., Nazarov, F.L., Havin, V.P.: The Beurling–Malliavin multiplier theorem: the seventh proof. St. Petersb. Math. J. 17(5), 699–744 (2006)
Masuda, K.: A unique continuation theorem for solutions of the Schrödinger equations. Proc. Jpn. Acad. 43(5), 361–364 (1967)
Masuda, K.: A unique continuation theorem for solutions of wave equations with variable coefficients. J. Math. Anal. Appl. 21(2), 369–376 (1968)
Muscalu, C., Schlag, W.: Classical and Multilinear Harmonic Analysis: Volume 1, vol. 137. Cambridge University Press, Cambridge (2013)
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W. (eds.): Digital Library of Mathematical Functions. National Institute of Standards and Technology from http://dlmf.nist.gov/ (release date 15 Dec 2019), Washington, DC (2010)
Perez, J.F., Wilde, I.F.: Localization and causality in relativistic quantum mechanics. Phys. Rev. D 16(2), 315 (1977)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics II. Fourier Analysis, Self-Adjointness. Academic Press, New York (1975)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics. IV, Analysis of Operators. Academic Press, New York (1978)
Rüland, A.: Quantitative invertibility and approximation for the truncated Hilbert and Riesz transforms. Revista Matemática Iberoamericana 35(7), 1997–2024 (2019). arXiv:1708.04285 [math.AP]
Skagerstam, B.K.: Some remarks concerning the question of localization of elementary particles. Int. J. Theor. Phys. 15(3), 213–230 (1976)
Tao, T.: An Epsilon of Room, I: Real Analysis. Graduate Studies in Mathematics, vol. 117. American Mathematical Society, Providence, RI (2010). (Pages from year three of a mathematical blog)
Tataru, D.: Unique continuation problems for partial differential equations. In: Croke, C.B., Vogelius, M.S., Uhlmann, G., Lasiecka, I. (eds.) Geometric Methods in Inverse Problems and PDE Control, pp. 239–255. Springer, New York, NY (2004)
Thaller, B.: The Dirac Equation. Texts and Monographs in Physics. Springer-Verlag, Berlin (1992)
Wightman, A.S., Schweber, S.S.: Configuration space methods in relativistic quantum field theory I. Phys. Rev. 98(3), 812 (1955)
Yosida, K.: Functional Analysis. Grundlehren der Mathematischen Wissenschaften, vol. 123, 6th edn. Springer-Verlag, Berlin (1980)
Acknowledgements
C.F.P. was supported by the Australian Research Council Grant DP170100630. Further, a part of the work has been supported by the Swedish Research Council under Grant No. 2016-06596, while the author was in residence at Institut Mittag-Leffler in Djursholm, Sweden, during the fall semester of 2019. C.F.P. was also funded by the SNSF Grant P2SKP2 178198. We are grateful for support by the Vielberth Foundation, Regensburg. Finally, we would like to thank the referees for their constructive feedback.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mihalis Dafermos.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A. Alternative Derivation of the Integral Representation
Appendix A. Alternative Derivation of the Integral Representation
In this appendix, we give an alternative derivation of the integral representation of the solutions of the Goursat problem (4.36). The method is by direct computation using the series representation of the Bessel function \(J_0\).
Lemma 5.10
Let g(a) be a power series of the form
Then, for all \(a,b>0\),
Proof The Bessel function \(J_0\) has the power expansion (see [22, Eq. 10.2.2])
Denoting the right side of (A.1) by T(a, b), we obtain
Introducing the new integration variable \(\xi =(2n+3)(a-\tau )\) gives
where in the last step we carried out the \(\ell \)-series to obtain an exponential. \(\square \)
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
Finster, F., Paganini, C.F. Incompatibility of Frequency Splitting and Spatial Localization: A Quantitative Analysis of Hegerfeldt’s Theorem. Ann. Henri Poincaré 24, 413–467 (2023). https://doi.org/10.1007/s00023-022-01215-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00023-022-01215-8