## Abstract

Let \(u_{k}\) be a solution of the Helmholtz equation with the wave number *k*, \(\varDelta u_{k}+k^{2} u_{k}=0\), on (a small ball in) either \({\mathbb {R}}^{n}\), \({\mathbb {S}}^{n}\), or \({\mathbb {H}}^{n}\). For a fixed point *p*, we define \(M_{u_{k}}(r)=\max _{d(x,p)\le r}|u_{k}(x)|.\) The following three ball inequality

is well known, it holds for some \(\alpha \in (0,1)\) and \(C(k,r,\alpha )>0\) independent of \(u_{k}\). We show that the constant \(C(k,r,\alpha )\) grows exponentially in *k* (when *r* is fixed and small). We also compare our result with the increased stability for solutions of the Cauchy problem for the Helmholtz equation on Riemannian manifolds.

## Introduction

In the present work, we study constants in the three ball inequality for solutions of the Helmholtz equation. We begin by recalling Hadamard’s celebrated three circle theorem. Let *f* be a holomorphic function in the disk \({\mathbb {D}}_{R}=\{z\in {\mathbb {C}}: |z|<R\}\). Then its maximum function

satisfies the convexity condition

for any \(r_{0},r_{1}<R\) and \(\alpha \in \left( 0,1 \right)\). The proof of (1.1) is based on the fact that \(\log |f|\) is a subharmonic function. Note that by the maximum principle (1.1) also holds when the maximum is taken over circles.

Surprisingly, Hadamard’s theorem generalizes to other classes of functions, such as solutions of second order elliptic equations and their gradients. We refer the reader to the article [11] of Landis and to the survey [1]. Three spheres theorems for the gradients of harmonic functions and, more generally, harmonic differential forms can be found in [15]. The three ball theorem for solutions of the Helmholtz equation on Riemannian manifolds were studied in [16]. This has various applications, for example it was one of the tools used to estimate the Hausdorff measure of the nodal sets of Laplace eigenfunctions, see [12, 13].

We consider the Helmholtz equation

on a domain *D* in a Riemannian manifold \(\left( M,{\mathbf {g}} \right)\). For \(D=M\) and *M* being a closed manifold without boundary, solutions of (1.2) are \(L^{2}\)-eigenfunctions of the Laplacian. One of the important facts for analysis on closed manifolds is the existence of an orthonormal basis for \(L^{2}\left( M \right)\) consisting of eigenfunctions of the Laplacian. The classical example is the Fourier basis on the circle \({\mathbb {S}}^{1}\). Such an orthonormal basis can be used to solve the heat, wave, and Schrödinger equations on closed manifolds, under certain conditions.

We study properties of functions that satisfy the Helmholtz equation on some geodesic ball in the manifold. Fix a point \(p\in M\) and denote by *B*(*p*, *r*) the geodesic ball of radius *r* centered at *p*. Then for a function *u* we define

The following doubling inequality holds for Laplace eigenfunctions on a closed manifold

where \(C_{1}\) and \(C_{2}\) are constants only depending on the Riemannian manifold \((M,{\mathbf {g}})\). Inequality (1.3) was first shown by Donnelly and Fefferman [5]. Later Mangoubi [16, Theorem 3.2] gave a new proof by showing the stronger local inequality

for small *r*, some fixed \(\alpha \in (0,1)\), and constants \(C_{3}\) and \(C_{4}\) only depending on the curvature. Further results on the propagation of smallness for eigenfunctions were obtained in [14]. In this article, we show that (1.4) is sharp in the following sense: The coefficient \(C_{3}{\text {e}}^{C_{4}kr}\) in (1.4) cannot be replaced by a function growing subexponentially in *kr* as *k* grows. This is done by constructing special families of solutions of the Helmholtz equation on Euclidean spaces, hyperbolic spaces, and the standard spheres.

We also compare (1.4) with the increased stability for solutions of the Cauchy problem for the Helmholtz equation studied in [3, 8, 10]. Roughly speaking, the idea is that one can estimate the solution in the interior of some convex domain from an a priori bound and an estimate of the Cauchy data on some part of the boundary. Moreover, the estimate does not depend on *k*. For solutions of the Helmholtz equation in a geodesic ball \(B\left( p,R \right)\) we prove for \(r<R_{1}<R\) that

and call (1.5) the *reverse three ball inequality*. A more general result can be found in [2, Sect. 1.3], where delicate questions regarding localization of solutions of the Schrödinger equation are considered. We deduce (1.5) from a similar estimate for the \(H^{1}\) norms where the constant does not depend on *k*. The \(H^{1}\) estimate is proved by a Carleman-type inequality, that can be found in [3, 9].

The structure of the paper is as follows. We prove the sharpness of the three ball inequality (1.4) in Sect. 2. In Sect. 2.1 we present the argument for the Euclidean space, while the arguments for the hyperbolic space and the sphere are given in Sect. 2.2. We prove inequality (1.5) in Sect. 3. Finally, we give a simple estimate for the location of the first positive zero of the Bessel functions, and collect some comparison theorems for solutions of the Sturm–Liouville equations in “Appendix”.

## The three ball inequality

### Bessel functions and the Helmholtz equation in \({\mathbb {R}}^{n}\)

Let \(J_{l}\) denote the Bessel function of the first kind. We have collected some facts about the Bessel functions in “Appendix A”. If \(Y_{m}\) is an eigenfunction of the Laplace operator on the sphere \({\mathbb {S}}^{n-1}\) with eigenvalue \(m(m+n-2)\) then

solves the Helmholtz equation (1.2). Moreover, any solution of (1.2) in \({\mathbb {R}}^{n}\) (or in the unit ball) can be decomposed into a series of such solutions.

In order to study the constant in the three ball inequality (1.4) that involves the maximum function, we analyze the behavior of the Bessel functions. From now on we assume that \(n=2\) for simplicity. Our results can be easily extended to all dimensions \(n\ge 2\).

### Lemma 2.1

Let \(0<\gamma<\delta <1\) and set \(\beta =\sqrt{1-\delta ^{2}}\). Then there exists a constant *C*, only depending on \(\gamma\) and \(\delta ,\) such that for any positive number *m* we have

### Proof

The strategy is to apply the Sturm comparison theorem, see Theorem B.2. We apply the theorem to the Bessel function \(J_{m}\) solving the Bessel equation

and a solution of the Euler equation

Let *y* be the solution of (2.2) satisfying the initial conditions

We know that \(J_{m}\) is positive and increasing on [0, *m*]. The latter can be verified using the second derivative test and inserting the argument of the first maximum of \(J_{m}\) into the equation

Moreover, notice that for \(x\in [\gamma m,\delta m]\) we have

Hence all the conditions in the comparison theorem are satisfied and we conclude that \(y\left( x \right) \le J_{m}\left( x \right)\) on \(\left[ \gamma m, \delta m \right]\).

Any solution of the Euler equation (2.2) is on the form

Using that

we conclude that \(c_{1}>0\) and \(|c_{2}|<c_{1}\gamma ^{2m\beta }m^{2m\beta }\). Thus

and

where \(q=q(\gamma , \delta )>0\). It follows that

\(\square\)

We can now prove the main result of this section.

### Theorem 2.2

Assume that there is an \(\alpha \in (0,1)\) and a constant \(C(k,r,\alpha )\) such that for any solution \(u_{k}\) of the Helmholtz equation (1.2) the following three ball inequality holds

Then \(C(k,r,\alpha )\) grows at least exponentially in *kr*. More precisely, \(C\left( k,r,\alpha \right) \ge c {\text {e}}^{d\alpha kr},\) where *c* and *d* are absolute constants.

### Proof

Consider solutions of the Helmholtz equation on the form

The maximal function then simplifies to

We now use the fact that for \(m>0\) the maximum of \(J_{m}(x)\) is attained in the interval \(\left( m,m\left( 1+\varepsilon \left( m \right) \right) \right)\), where \(\varepsilon \left( m \right) \rightarrow 0\) as \(m\rightarrow \infty\). This is a well known result on the asymptotic of the first zero of the Bessel functions, for the convenience of the reader we include a simple proof in “Appendix A”. We choose \(m_{0}\) such that \(\varepsilon \left( m \right) \le 1/3\) when \(m\ge m_{0}\). Assume first that

Then given *r* we can find \(m\ge m_{0}\) such that

This implies \(kr<5m/6\) and \(2kr>4/3m\). Then \(M_{u_{k}}(4r)=M_{u_{k}}(2r)\) and we can reduce (2.3) to

Set \(\gamma =5/6\) and \(\delta =\frac{1+\gamma }{2}=\frac{11}{12}\). Applying Lemma 2.1 together with

and \(M_{u_{k}}(r)<J_{m}(\gamma m)\) we conclude that

for some positive constant *d* that can be computed. Finally, since \(m>6kr/5\) we get the required estimate when \(r>k^{-1}m_{1}\).

Now for \(r\le k^{-1}m_{1}\) we consider the solution \(u_{k}(r,\theta )=J_{0}(kr)\). Then \(M_{u_{k}}(r)=J_{0}(0)\) since

and we conclude that \(C(k,r,\alpha )\ge 1\) for any \(r>0\). Choosing \(c < {\text {e}}^{-\alpha d m_{1}}\) we have for all \(r>0\) that

\(\square\)

### Solutions of the Helmholtz equation on the sphere and hyperbolic space

In this section we repeat the argument of the sharpness of the three ball inequality on the hyperbolic space and sphere. We show in particular that assumptions on the sign of the curvature do not lead to better behavior of the constant in the three ball inequality. Again, we use the spherical symmetry of the spaces and separation of variables to construct a solution of (1.2) that is the product of a radial and a spherical factor. On the sphere the radial part is given by Legendre polynomials. For the hyperbolic space the radial part is also explicitly known, see [4, p. 4222 Eq. (2.26)]. Once again, in our argument we only use the differential equation for the radial part.

We define

Furthermore, we use the associated functions \(\cos _{K}\left( r \right) =\left( \sin _{K}\left( r \right) \right) ',\) \(\cot _{K}\left( r \right) =\frac{\cos _{K}(r)}{\sin _{K}\left( r \right) }\), and \(\tan _{K}\left( r \right) =\frac{1}{\cot _{K}\left( r \right) }\). Then the Laplacian of a simply connected *n*-dimensional Riemannian manifold \((M, {\mathbf {g}})\) with constant sectional curvature *K* is given in polar coordinates by

In this section, we work in two dimension . Assume that \(u_{k}\left( r,\theta \right) =R\left( r \right) \varTheta (\theta )\) is a solution of the Helmholtz equation. Then \(R\left( r \right)\) satisfies the equation

Let \(\kappa =K/k^{2}\) and let \(L_{\kappa ,m}\left( \rho \right)\) be the solution of the differential equation

where \(L_{\kappa ,m}\) is well-defined at \(\rho =0\) and positive on some interval \((0,\varepsilon )\). Then for \(m>0\) we have \(L_{\kappa ,m}\left( 0 \right) =0\). Note that when \(K=0\) this equation becomes the Bessel equation. Setting \(R\left( r \right) =L_{\kappa ,m}\left( kr\right)\) we get a solution to (2.5). Then (2.6) can be rewritten in the Sturm–Liouville form as

We begin by estimating the maximum point of \(L_{\kappa ,m}\) from below. Let

Note that for \(\rho \le R_{\kappa }\) we have that \(\sin _{\kappa }\left( \rho \right)\) is increasing, or equivalently that \(\cos _{\kappa }\left( \rho \right) \ge 0\).

### Proposition 2.3

Let \(0< \rho ^{*}_{1}<\rho ^{*}_{2}<\cdots <R_{\kappa }\) be the points where \(L_{\kappa ,m}\) attains local maximums and minimums before \(R_{\kappa }\). Then \(\left| L_{\kappa ,m}\left( \rho ^{*}_{i} \right) \right|\) is a decreasing sequence in *i*. Moreover, the first local maximum \(\rho ^{*}_{1}\) satisfies \(\rho ^{*}_{1}\ge \sin _{\kappa }^{-1}\left( m \right)\).

### Proof

At \(\rho ^{*}_{1}\) we have \(L_{\kappa ,m}'(\rho ^{*}_{1})=0\) and (2.7) implies that

By the second derivative test it is not possible to have a maximum before \(\sin _{\kappa }^{-1}\left( m\right)\), implying the lower bound for the first local extremum.

The remaining part of the proposition follows from Sonin–Pólya oscillation theorem, see Theorem B.3. The conditions in the oscillation theorem are satisfied on the interval \(\left( \sin _{\kappa }^{-1}\left( m \right) ,R_{\kappa }\right)\) since \(\sin _{\kappa }\left( \rho \right) >0\),

and

Thus the sequence \(|L_{\kappa ,m}(\rho _{i}^{*})|\) is decreasing. \(\square\)

### Remark 2.4

For \(m=0\), by analyzing the differential equation (2.6), we see that \(L'_{\kappa ,0}(0)=0\). Then the proof of Proposition 2.3 implies that \(L_{\kappa ,0}(\rho )\) satisfies \(L_{\kappa ,0}(0)\ge |L_{\kappa ,0}(\rho )|\) for \(\rho >0\).

Now our aim is to prove an analog of Lemma 2.1. The next four results show how we can control the ratio of two values of \(L_{\kappa , m}\).

### Lemma 2.5

Let \(\rho _{2}\in (0,R_{\kappa} )\) and \(\delta \in (0,1)\) satisfy the inequality \(\sin _{\kappa} (\rho _{2})\le \delta m\). Then for \(\rho _{1}<\rho _{2}\) and \(\beta =\sqrt{1-\delta ^{2}}\) we have the bound

### Proof

We compare the function \(L_{\kappa ,m}\) to a solution of the equation

By the assumption we have

on the interval \(\left[ \rho _{1},\rho _{2} \right]\). Let *y* be the solution to (2.8) that satisfies the initial conditions

Then the comparison theorem implies that \(L_{\kappa ,m}(\rho _{2})>y(\rho _{2})\).

The explicit solution to (2.8) is given by

The first maximum \(\rho _{1}^{*}\) of \(L_{\kappa ,m}\) satisfies \(\sin _{\kappa} (\rho ^{*}_{1}) \ge m\) implying that \(\rho _{2}<\rho _{1}^{*}\). Therefore \(L_{\kappa ,m}(\rho _{1})>0\) and \(L'_{\kappa , m}(\rho _{1})>0\). Thus we have the inequality

since \((\tan _{\kappa} \left( \rho /2 \right) )'>0\). We conclude that \(c_{1}>0\) and similarly to Lemma 2.1 we get

The estimate of \(c_{2}\) from below implies that

Combining the last two inequalities gives the result. \(\square\)

### Corollary 2.6

Suppose that \(K>0\) and that \(\rho _{1}<\rho _{2}<\min \{R_{\kappa }, m\delta \}\) for some \(\delta \in (0,1)\). For \(\beta =\sqrt{1-\delta ^{2}}\) we have the estimate

### Proof

We note that \(\sin _{\kappa} (\rho _{2})<\rho _{2}<m\delta\). Applying Lemma 2.5 and using the elementary inequality \(b\tan x\ge \tan bx\) for \(b\in (0,1)\), the result follows since

\(\square\)

### Corollary 2.7

Let \(K<0\) and suppose that

for some \(\delta \in (0,1)\). Then for \(\beta =\sqrt{1-\delta ^{2}}\) and \(A = \sin _{\kappa} \left( \rho _{2} \right) /\rho _{2}\) we have

### Proof

Since \(\sqrt{|\kappa |} \rho <\pi /2\) and \(\sinh\) is convex we have

Applying Lemma 2.5 together with

gives (2.10), since

\(\square\)

We want to estimate the ratio of the values of \(L_{\kappa ,m}\) at two points \(\rho _{2}>\rho _{1}>\sin _{\kappa} ^{-1}(m)\). In contrast with the Bessel functions, we do not locate the maximum precisely.

### Lemma 2.8

Suppose that \(0<\rho _{1}<R_{|\kappa |}\) and \(\sin _{\kappa} (\rho _{1})>\xi m,\) where \(\xi >1\). There is an absolute constant \(C > 0\) such that

### Proof

Let \(\rho ^{*}_{1}\) be the first local maximum of \(L_{\kappa ,m}\). By Proposition 2.3 if \(\rho _{1}>\rho ^{*}_{1}\) then the left-hand side of (2.11) is one and the statement becomes trivial.

The rest of the proof relies on the comparison of \(L_{\kappa ,m}\) and a solution of the equation

on the interval \((\rho _{1},\infty )\). Solutions to (2.12) are of the form

where \(\gamma ^{2}=\xi ^{2}-1\). Let \(d=\gamma \log (\tan _{\kappa} (\rho _{1}/2))\) and choose a solution *y* of (2.12) on the form

with initial data \(y(\rho _{1})=L_{\kappa ,m}(\rho _{1})\) and \(y'(\rho _{1})=L'_{\kappa ,m}(\rho _{1})\). This gives the values

Applying the comparison theorem, we get

Since \(\sin\) and \(\cos\) are bounded by 1, we estimate \(C_{2}/L_{\kappa ,m}(\rho _{1})\) from above to prove (2.11). In order to estimate \(C_{2}\), we see that the assumption \(\rho _{1} < \rho _{1}^{*}\) implies \(L_{\kappa ,m}(\rho ) > 0\) and \(L_{\kappa ,m}'(\rho ) > 0\) on the interval \((0, \rho _{1})\). Equation (2.7) shows that \(L_{\kappa ,m}''(\rho )<0\) when \(\rho \in (\rho _{0},\rho _{1})\), where \(\rho _{0}=\sin _{\kappa} ^{-1}(m)\). Then the Taylor formula gives

Consequently,

For \(K>0\) the inequality

implies that \(\rho _{1}-\rho _{0}>(\xi -1)m\). For \(K<0\), we note that

if \(\cosh x_{1}<c^{-1}\). Using the assumption \(\rho _{1}<R_{|\kappa |}\), we conclude that \(\rho _{1}-\rho _{0}>c(\xi -1)m\), where \(c=(\cosh \pi /2)^{-1}\). Finally, we obtain

\(\square\)

Now we are ready to prove that the coefficient in the three ball theorem grows exponentially in *rk* if we restrict ourselves to balls with sufficiently small radius *r*.

### Theorem 2.9

Let \((M, {\mathbf {g}})\) be either a hyperbolic plane or a sphere and denote its curvature by *K*. Suppose that for some \(\alpha \in \left( 0,1 \right)\) there exists a constant \(C_{\alpha} (k,r,K)\) such that for any solution \(u_{k}\) to the Helmholtz equation (1.2) the following inequality holds

Then

where \(c_{1}\) and \(c_{2}\) only depend on *K*.

### Proof

Consider the family of functions

where *m* is a non-negative integer. By construction, \(u_{k,m}\) solves the Helmholtz equation. Thus for any *m* we have the inequality

where

Note that choosing \(m=0\) gives \(C_{\alpha} (k,r,K)\ge 1\) by Remark 2.4. Thus if we assume that \(kr<C_{1}\) for some constant \(C_{1}\), we may choose \(c_{2}\) and \(c_{1}\) small enough such that the inequality holds.

Assume first that \(K<0\) so that \((M,{\mathbf {g}})\) is the hyperbolic plane. If \(kr>C_{1}\) we choose a positive integer *m* such that \(10m<18kr<11m\). We apply (2.10) with \(\rho _{1}=kr\) and \(\rho _{2}=\mu kr<2kr\), where \(\mu =19/17\). Then \(\rho _{2}<2/3m\delta\) with \(\delta <1\). We obtain

where \(\beta = \sqrt{1 - \delta ^{2}}\) and

Therefore \(q=\mu /A>1\) is an absolute constant and we have

Thus there are \(c_{1}>0\) and \(c_{2}>0\) such that

On the other hand, we have \(2kr>\xi m\) for \(\xi =10/9\). Applying (2.11) we get

where \(C_{0}\) is an absolute constant. Note also that \(m\gtrsim kr\). Then (2.13) follows for negative curvature.

Assume now that \(K > 0\) so that \((M,{\mathbf {g}})\) is a sphere. If \(kr>C_{1}\) we choose *m* to be a positive integer such that \(10m<12 kr<11m\). We first let \(\rho _{1}=kr\) and \(\rho _{2}=13kr/12\) and apply (2.9) with \(\delta =143/144\). Thus (2.14) follows whenever \(kr > C_{1}\). Using (2.11) with \(\rho _{1}=2kr\) we need to check that \(2\rho _{1}>\xi \pi m\) for some \(\xi >1\). Note that \(2\rho _{1}=4kr>10/3m\) and choose \(\xi <\frac{10}{3\pi }\). Then (2.13) follows for positive curvature. \(\square\)

## The reverse three ball inequality

The question of stability of the solution to the Cauchy problem for the Helmholtz equation and the dependence of the estimates on the wave number *k* was studied by many authors, see e.g., [3, 8, 10, 19]. We include a special case of the results adapted to the case of Riemannian manifolds to demonstrate the difference between the usual three ball theorem and the reverse one.

Let \((M,{\mathbf {g}})\) be a Riemannian manifold with sectional curvature satisfying

We denote by \({{\,{\text{grad}}\,}}_M\) and \(\varDelta _M\) the gradient and Laplace operators on functions on *M*. Let *B* be a geodesic ball with diameter strictly less than the injectivity radius of \((M,{\mathbf {g}})\). Additionally, in the case that \(K>0\) we assume that the diameter of *B* is strictly less than \(\frac{\pi }{2\sqrt{K}}\).

### Theorem 3.1

Let \(u_{k}\) solve the Helmholtz equation \(\varDelta _M u_{k}+k^{2}u_{k}=0\) in \(B=B(p, R)\) and let \(r<R_{1}<R\). There exists \(C=C(r,R_{1})\) such that

The result is very closed to a particular case of the result in [3], we sketch the proof for the convenience of the reader.

We say that a function \(\phi :B\rightarrow {\mathbb {R}}\) is strictly convex if its Hessian is positive definite. We choose a point *x* such that \(x\not \in B(p,R)\) but \(R+{{\,{\text{dist}}\,}}(x,p)\) is strictly less than the injectivity radius and than \(\frac{\pi }{2\sqrt{K}}\) for the case \(K>0\), and consider \(\phi (y)={{\,{\text{dist}}\,}}(x,y)^{2}\). This function is smooth on *B* since the metric on the Riemannian manifold is assumed to be smooth and \(x\not \in B\) while *B* is contained in the ball of the injectivity radius around *x*. Moreover, \({{\,{\text{Hess}}\,}}(\phi )\) is (uniformly) positive definite on *B* and \(\phi\) has no critical points, see [18, Theorem 6.4.8] and the preceding discussions. By repeating the computations of [3, Lemma 1], where it is also pointed out that the result holds on Riemannian manifolds, we obtain the following point-wise inequality. Let \(w\in C^{2}(B)\) and let \(v={\text {e}}^{t\phi }w\), then

where \(b=-tv\varDelta _{M}\phi -2t\langle {{\,{\text{grad}}\,}}_{M} v,{{\,{\text{grad}}\,}}_{M} \phi \rangle _{M}\) and

### Lemma 3.2

Let \((M,{\mathbf {g}})\) and *B* be as above. Then there exists a constant \(c_{0}>0\) such that for any function \(w\in C^{2}_{0}(B)\) and \(k\ge 0\) the following inequality holds

### Proof

We repeat the argument given in [3, Corollary 1]. Integrating the last inequality over a ball *B* and taking into account that functions *a* and *b* have compact supports in *B*, we conclude that the divergence term disappears. For the next two terms, which contain the Hessian of \(\phi\), we use the convexity inequality

and the computation

Finally, the last term is estimated as

Combining these inequalities, we get

when \(t>t_{0}\). The powerful feature of the last inequality is that \(c_{1}\) and \(t_{0}\) do not depend on *k* (but depend on \(\phi\) which we fix). Finally, we fix some \(t>t_{0}\) and let \(M=\max _B {\text {e}}^{2t\phi }\) and \(m=\min _B{\text {e}}^{2t\phi }\). Then (3.2) holds with \(c_{0}=c_{1}m\min \{t^{3},t\}M^{-1}\). \(\square\)

Suppose now that \(u_{k}\) is a solution of the Helmholtz equation (1.2) in a ball *B*(*p*, *R*) that satisfies the conditions in Theorem 3.1. We apply inequality (3.2) to \(w=u_{k}\chi\), where \(\chi \in C^{2}_{0}(B)\) is compactly supported on *B* and equals to one on a smaller ball \(B_{1}\subset \subset B\). This gives the inequality

The last inequality implies that for any \(r<R\) such that \(B_{R}=B(x,R)\) and \(B_{r}=B(x,r)\) are geodesic balls satisfying the conditions in Lemma 3.2, there is a constant \(C_{2}(r,R)\) such that

Inequality (3.3) shows that if \(u_{k}^{2}+|{{\,{\text{grad}}\,}}u_{k}|^{2}\) is small on the annulus \(B_{R}\setminus B_{r}\), then it is small on the whole ball \(B_{R}\). For the Euclidean space an alternative proof can be obtained by decomposing a solution \(u_{k}\) into series of products of Bessel functions and spherical harmonics. From this, one can deduce (3.3) from the Debye asymptotic of the Bessel functions.

To compare with the previous section and finish the proof Theorem 3.1, we can also use Caccioppoli’s inequality to control the Sobolev norm of \(u_{k}\) by its \(L^{2}\)-norm.

### Lemma 3.3

(Caccioppoli’s inequality) Let \(\varepsilon >0\) and let \(R=R(M)\) be small enough. Furthermore, let \(\varepsilon<r<R-2\varepsilon\). We denote

Assume that \(u_{k}\in C^{2}\left( \varOmega \right)\) and \(\varDelta _{M} u_{k}+ k^{2}u_{k}=0\) in \(\varOmega _{+}\). Then there exists a constant \(C=C(M)\) such that

### Proof

There exists a smooth function \(\varphi _{+}\) with compact support in \(\varOmega _{+}\) that satisfy \(\varphi _{+}=1\) on \(\varOmega\) and \(\left| {{\,{\text{grad}}\,}}\varphi _{+}\right| \le \frac{C}{\varepsilon }\) and \(|\varDelta _{M} \varphi _{+}|\le \frac{C}{\varepsilon ^{2}}\). Then, using the divergence theorem, we have

Hence

On the other hand, choosing a similar function \(\varphi _{-}\in C_{0}^\infty (\varOmega )\) such that \(\varphi _{-}=1\) on \(\varOmega _{-}\), we conclude that

\(\square\)

Finally, we go back to the inequality (3.3), and apply the Caccioppoli inequality. Rename \(R_{1}=R+\varepsilon\) and \(r_{1}=r-\varepsilon\). This gives the following estimate of the \(L^{2}\)-norm of a solution to the Helmholtz equation by its \(L^{2}\) norm on an annulus

for any \(r_{1}<R_{1}\). Then for \(k>C\varepsilon ^{-1}\) the inequality (1.5) follows. For \(k<C\varepsilon ^{-1}\), we use (3.3) and the Caccioppoli inequality again, to see that

Thus, since \(k<C\varepsilon ^{-1}\), the inequality (1.5) follows also for that case. This conclude the proof of Theorem 3.1.

## References

- 1.
Alessandrini, G., Rondi, L., Rosset, E., Vessella, S.: The stability for the Cauchy problem for elliptic equations. Inverse Probl.

**25**(12), 123004, 47 (2009) - 2.
Anantharaman, N., Léautaud, M., Macià, F.: Wigner measures and observability for the Schrödinger equation on the disk. Invent. Math.

**206**(2), 485–599 (2016) - 3.
Burman, E., Nechita, M., Oksanen, L.: Unique continuation for the Helmholtz equation using stabilized finite element methods. J. Math. Pures Appl.

**9**(129), 1–22 (2019) - 4.
Camporesi, R., Higuchi, A.: Spectral functions and zeta functions in hyperbolic spaces. J. Math. Phys.

**35**(8), 4217–4246 (1994) - 5.
Donnelly, H., Fefferman, C.: Nodal sets of eigenfunctions on Riemannian manifolds. Invent. Math.

**93**(1), 161–183 (1988) - 6.
Duren, P.: Invitation to Classical Analysis: Pure and Applied Undergraduate Texts, vol. 17. American Mathematical Society, Providence (2012)

- 7.
Hinton, D.: Sturm’s 1836 oscillation results evolution of the theory. In: Sturm–Liouville Theory, pp. 1–27. Birkhäuser, Basel (2005)

- 8.
Hrycak, T., Isakov, V.: Increased stability in the continuation of solutions to the Helmholtz equation. Inverse Probl.

**20**(3), 697–712 (2004) - 9.
Isakov, V.: Inverse Problems for Partial Differential Equations. Applied Mathematical Sciences, vol 127, 3rd edn. Springer, Cham (2017)

- 10.
Isakov, V., Kindermann, S.: Subspaces of stability in the Cauchy problem for the Helmholtz equation. Methods Appl. Anal.

**18**(1), 1–29 (2011) - 11.
Landis, E.M.: A three-spheres theorem. Dokl. Akad. Nauk SSSR

**148**, 277–279 (1963) - 12.
Logunov, A.: Nodal sets of Laplace eigenfunctions: polynomial upper estimates of the Hausdorff measure. Ann. Math. (2)

**187**(1), 221–239 (2018) - 13.
Logunov, A.: Nodal sets of Laplace eigenfunctions: proof of Nadirashvili’s conjecture and of the lower bound in Yau’s conjecture. Ann. Math. (2)

**187**(1), 241–262 (2018) - 14.
Logunov, A., Malinnikova, E.: Quantitative propagation of smallness for solutions of elliptic equations. In: Proceedings of the International Congress of Mathematicians—Rio de Janeiro 2018. Invited Lectures, vol III, pp 2391–2411. World Scientific Publishing, Hackensack (2018)

- 15.
Malinnikova, E.: The theorem on three spheres for harmonic differential forms. In: Complex Analysis, Operators, and Related Topics. Operator Theory: Advances and Applications, vol 113, pp 213–220. Birkhäuser, Basel (2000)

- 16.
Mangoubi, D.: The effect of curvature on convexity properties of harmonic functions and eigenfunctions. J. Lond. Math. Soc. (2)

**87**(3), 645–662 (2013) - 17.
Olver, F.W.J.: Asymptotics and Special Functions. AKP Classics. A K Peters, Ltd., Wellesley (1997). Reprint of the 1974 original [Academic, New York; MR0435697 (55 8655)

- 18.
Petersen, P.: Riemannian Geometry. Graduate Texts in Mathematics, vol 171, 3rd edn. Springer, Cham (2016)

- 19.
Subbarayappa, D.A., Isakov, V.: On increased stability in the continuation of the Helmholtz equation. Inverse Probl.

**23**(4), 1689–1697 (2007)

## Acknowledgements

The authors are very grateful to the anonymous referee for useful comments. Their suggestions, in particular, substantially improved the presentation in Sect. 3. The second author was partially supported by NSF Grant DMS-1956294 and by the Research Council of Norway, Project 275113.

## Funding

Open access funding provided by NTNU Norwegian University of Science and Technology (incl St. Olavs Hospital - Trondheim University Hospital).

## Author information

### Affiliations

### Corresponding author

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Appendices

### Appendix A: The first positive zero of the Bessel function

Let *l* be a non-negative half-integer, and let \(\varGamma\) denotes the gamma function. The Bessel function \(J_{l}\) is a solution to the second order ODE

which is bounded at the origin and normalized by the condition

For alternative definitions and many useful asymptotic formulas for the Bessel functions we refer the reader to [17].

It is well known that the first positive zero of \(J_{l}\), usually denoted by \(j_{l}\), satisfies \(j_{l}\asymp l+cl^{1/3}\) as \(l\rightarrow \infty\). We already explained in the proof of Lemma 2.1 that \(j_{l}>l\) and we give a simple proof of the inequality \(j_{l}\le l+cl^{1/3}\). This will be done by comparing the Bessel equation to the following equation

on the interval \(\rho \in [l+l^{1/3},+\infty )\).

Suppose that \(a_{l}<1\) satisfies

Then the Sturm–Picone comparison theorem, see Theorem B.1, implies that between any two zeros of \(y_{l}\) there is a zero of \(J_{l}\). It is easy to check that \(y_{l}(\rho )=\rho ^{-1/2}\cos (a_{l}\rho )\) solves (A.2) and has roots at \((\pi /2+k\pi )/a_{l}\) for \(k\in {\mathbb {Z}}\). We choose \(a_{l}=l^{-1/3}\). Then (A.3) holds for *l* large enough. Hence \(J_{l}\) has a root on the interval \([l+l^{1/3}, l+l^{1/3}+\pi l^{1/3}]\) and \(j_{l}\le l+(\pi +1)l^{1/3}\).

### Appendix B: Comparison theorems for Sturm–Liouville equations

Classical Sturm–Liouville theory is concerned with second order differential equations on the form

Special cases of Sturm-Liouville equations are the radial solutions to the Helmholtz equation, see (2.5). To estimate solutions to these radial equations in Sect. 2.2, we compare them to some more simple Sturm–Liouville equations. To do this we use the following classical theorems:

### Theorem B.1

(Sturm–Picone Comparison Theorem, [7, Theorem B]) Let \(y_{1}\) and \(y_{2}\) be non-zero solutions to

on the interval [*a*, *b*]. Assume that \(0<p_{2}\le p_{1}\) and \(q_{1}\le q_{2},\) and let \(z_{1}\) and \(z_{2}\) be two consecutive zeros of \(y_{1}\). Then either \(y_{2}\) has a zero in the interval \((z_{1},z_{2}),\) or \(y_{1}=y_{2}\).

### Theorem B.2

(Sturm Comparison Theorem, [6, Chap. 13.7]) Let \(y_{1}>0\) on (*a*, *c*) and \(y_{2}\) be non-zero solutions to

on the interval \((a,c)\subset [a,b]\). Assume that \(p>0\) and \(q_{2}\le q_{1}\) on [*a*, *b*]. Furthermore, assume that

Then \(y_{1}(x)<y_{2}(x)\) for all \(x\in (a,c)\).

It is also important for us to estimate the maximum of some solutions to the Helmholtz equation. To limit the search, we use the following theorem:

### Theorem B.3

(Sonin–Pólya Oscillation Theorem, [6, Chap. 13.7]) Let *y* be a solution of the differential equation

where *p* and *q* are continuously differentiable functions on [*a*, *b*]. Suppose that \(p > 0,\) \(q \ne 0\) and \((pq)' > 0\) on (*a*, *b*). Then the successive local maximums of |*y*(*x*)| form a decreasing sequence.

## 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

Berge, S.M., Malinnikova, E. On the three ball theorem for solutions of the Helmholtz equation.
*Complex Anal Synerg* **7, **14 (2021). https://doi.org/10.1007/s40627-021-00070-3

Published:

### Keywords

- Helmholtz equation
- Almgren’s frequency function
- quantitative uniqueness

### Mathematics Subject Classification

- 47A75
- 35J05
- 58J05