Professional Documents
Culture Documents
Doctoral thesis
Stine Marie Berge
NTNU
Norwegian University of Science and Technology
Thesis for the Degree of
Philosophiae Doctor
Faculty of Information Technology and Electrical
Engineering
Department of Mathematical Sciences
Stine Marie Berge
Quantitative Unique
Continuation and Eigenvalue
Bounds for the Laplacian
In this thesis, we are going to study several aspects of the Laplace operator, es-
pecially related to eigenvalues and eigenfunctions. A large part of the thesis is
dedicated to quantitative unique continuation for harmonic functions and eigen-
functions of the Laplace operator. In particular, we determine the optimal growth
rate with respect to the wave number for the three-ball inequality of the Laplace
operator on Riemannian model spaces. Additionally, we show eigenvalue inequal-
ities for several eigenvalue problems (e.g. Dirichlet, Neumann, Steklov) where the
Laplacian is heavily present. Throughout the thesis, the curvature of the underlying
Riemannian manifold will play a key role.
Sammendrag
I denne avhandlingen skal vi studere flere aspekter ved laplaceoperatoren, spe-
sielt med hensyn på egenverdier og egenfunksjoner. En stor del av avhandlingen
er dedikert til kvantitativ unik utvidelse ulikheter for harmoniske funksjoner og
egenfunksjoner til laplaceoperatoren. For eksempel, vi bestemmer den best mulige
vekstraten med hensyn på bølgetallet for tre-ball ulikheter for laplaceoperatoren
på riemannske modell-mangfoldigheter. I tillegg skal vi vise egenverdi ulikheter
for flere egenverdiproblemer (f.eks. dirichlet-, neumann-, steklovproblemet) der
laplaceoperatoren er i stor grad tilstedeværende. Krumningen til den underliggende
riemannske mangfoldigheten vil spille en sentral rolle fra start til slutt.
i
Preface
This thesis is submitted in partial fulfillment of the requirements for the degree of
Philosophiae Doctor (PhD) in Mathematical Sciences at the Norwegian University
of Science and Technology (NTNU). The research presented here was conducted
at the Department of Mathematical Sciences at NTNU, under the supervision of
Professor Eugenia Malinnikova and Professor Peter Lindqvist.
Acknowledgements
First and foremost, I would like to express my deepest gratitude to my main
supervisor, Eugenia Malinnikova, for her insightfulness and immense help during
the last four years. I would also like to thank Peter Lindqvist for being my co-
supervisor.
I greatly appreciated the helpfulness and hospitality that Dan Mangoubi showed
me when I visited the Einstein Institute of Mathematics in Jerusalem. I would like
to thank Franz Luef for inviting me into the time-frequency analysis community at
NTNU.
During the last four years, Are Austad and Eirik Skrettingland have made the
PhD experience more enjoyable and I am very grateful for the time I have shared an
office with them. I am also thankful for the many illuminating discussions I have
had with Stefano Decio during the last years. Last but not least, I am very grateful
iii
for the endless support and patience from my husband, as well as his optimism
regarding my work.
iv
Contents
Abstract i
Preface iii
Contents v
I Introduction 1
1 Preliminaries 3
1.1 Riemannian Manifolds . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Riemannian Connection and Curvature . . . . . . . . . . 3
1.1.2 Calculus on Manifolds . . . . . . . . . . . . . . . . . . . 5
1.1.3 Flow of Vector Fields . . . . . . . . . . . . . . . . . . . . 8
1.1.4 Hypersurfaces . . . . . . . . . . . . . . . . . . . . . . . 9
1.1.5 Spherical Coordinates and Model Spaces . . . . . . . . . 11
1.1.6 Comparison Theorems . . . . . . . . . . . . . . . . . . . 14
1.1.7 Spherically Symmetric Manifolds . . . . . . . . . . . . . 15
1.2 The Laplace Operator . . . . . . . . . . . . . . . . . . . . . . . . 15
1.2.1 The Helmholtz Equation . . . . . . . . . . . . . . . . . . 15
1.2.2 Associated Harmonic Function . . . . . . . . . . . . . . . 16
1.2.3 Self-Adjoint Operators . . . . . . . . . . . . . . . . . . . 17
1.2.4 Eigenvalue Problems . . . . . . . . . . . . . . . . . . . . 19
1.2.5 Steklov Problem . . . . . . . . . . . . . . . . . . . . . . 23
1.2.6 Rellich Identity . . . . . . . . . . . . . . . . . . . . . . . 24
1.3 Almgren’s Frequency Function . . . . . . . . . . . . . . . . . . . 26
1.3.1 Geometric Convexity . . . . . . . . . . . . . . . . . . . . 27
1.3.2 Three Spheres Theorem and the Frequency Function . . . 27
1.3.3 Doubling Index . . . . . . . . . . . . . . . . . . . . . . . 31
1.3.4 Quantitative Unique Continuation Results . . . . . . . . . 33
v
1.3.5 Inverse Three Sphere Theorem . . . . . . . . . . . . . . . 35
2 Summary of Papers 37
2.1 Paper A: Convexity Properties of Harmonic Functions . . . . . . . 37
2.2 Paper B: Three Ball Theorem . . . . . . . . . . . . . . . . . . . . 37
2.3 Paper C: Kuttler-Sigillito’s Inequalities . . . . . . . . . . . . . . . 38
2.4 Further Results D: Spherically Symmetric Manifolds . . . . . . . 38
II Research Papers 39
vi
D Eigenvalues on Spherically Symmetric Manifolds 115
D.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
D.2 Dirichlet Eigenvalues on Model Spaces . . . . . . . . . . . . . . 116
D.3 Eigenvalues on Spherically Symmetric Manifolds . . . . . . . . . 120
D.4 Eigenvalues on Balls . . . . . . . . . . . . . . . . . . . . . . . . 122
D.5 Spherical Symmetric Manifolds . . . . . . . . . . . . . . . . . . 125
Bibliography 129
vii
Part I
Introduction
Chapter 1
Preliminaries
The Laplace operator is arguably the most important and studied differential oper-
ator of all times, only challenged by the derivative. It is renowned for its intimate
relation to several physical problems, its involvement in stochastic processes, and,
my personal favorite, its relationship with Riemannian geometry. In this thesis we
are going to different aspects with the Laplacian. The two main themes we are
going to study are eigenvalue inequalities involving the Laplacian and quantitative
unique continuation result solutions to the Helmholtz equation Δ + 𝑘 2 . We will
start by giving an introduction to these themes.
3
Chapter 1. Preliminaries
Torsion free
∇𝑋 𝑌 − ∇𝑌 𝑋 = [𝑋, 𝑌 ],
𝑅(𝑋, 𝑌 )𝑍 = ∇𝑋 ∇𝑌 𝑍 − ∇𝑌 ∇𝑋 𝑍 − ∇ [𝑋 ,𝑌 ] 𝑍,
for vector fields 𝑋, 𝑌 , and 𝑍. The curvature (𝑅(𝑋, 𝑌 )𝑍) 𝑝 at a point 𝑝 ∈ 𝑀 only
depends on 𝑋 𝑝 , 𝑌 𝑝 , and 𝑍 𝑝 . As such, it is possible to unambiguously define
𝑅(𝑢, 𝑣)𝑤 for 𝑢, 𝑣, 𝑤 ∈ 𝑇 𝑝 𝑀. Using the curvature tensor one can define:
Sectional curvature
g(𝑅(𝑢, 𝑣)𝑣, 𝑢)
Sec(𝑢, 𝑣) = , 𝑢 ≠ 𝑐𝑣,
g(𝑢, 𝑢)g(𝑣, 𝑣) − g(𝑢, 𝑣) 2
Ricci curvature
Ric(𝑢, 𝑣) = trg g(𝑅(×, 𝑢)𝑣, ×),
Scalar curvature
S( 𝑝) = trg Ric(×, ×),
for 𝑢, 𝑣 ∈ 𝑇 𝑝 𝑀 and 𝑐 ∈ R. We have used the notation trg to denote the trace of
a tensor with respect to g. The entries that are being traced are marked with the
symbol ×. Notice that the sectional curvature Sec(𝑢, 𝑣) for 𝑢 ≠ 𝑐𝑣 only depends
on the two-dimensional plane Π spanned by the vectors 𝑢, 𝑣 ∈ 𝑇 𝑝 𝑀. If we write
inequalities such as e.g. Sec ≤ 𝐾 for 𝐾 ∈ R, this is a shorthand to way of stating
that Sec(Π) ≤ 𝐾 for all two-dimensional planes Π ⊂ 𝑇 𝑝 𝑀 and all 𝑝 ∈ 𝑀.
4
1.1. Riemannian Manifolds
g(grad 𝑓 , 𝑣) = 𝑑𝑓 (𝑣), 𝑣 ∈ 𝑇 𝑝 𝑀.
Using the product rule for the exterior differential we get that for 𝑓 , 𝑔 ∈ 𝐶 ∞ (𝑀)
that
grad( 𝑓 𝑔) = 𝑓 grad 𝑔 + 𝑔 grad 𝑓 .
Written in coordinates the gradient is given by
𝜕𝑓 𝜕
grad 𝑓 = 𝑔 𝑖 𝑗 ,
𝜕𝑥𝑖 𝜕𝑥 𝑗
where we use the Einstein summing convention. A point 𝑡 ∈ R such that grad 𝑓 ≠ 0
for all 𝑝 ∈ 𝑓 −1 (𝑡) is called a regular value of 𝑓 . Whenever 𝑡 ∈ R is a regular value
we have that 𝑓 −1 (𝑡) is a smooth submanifold of 𝑀. If every point in Im( 𝑓 ) ⊂ R is
a regular value of 𝑓 , then we say that 𝑓 is a regular function.
The Hessian of a function 𝑓 is defined by
for vector fields 𝑋 and 𝑌 . We can show that ∇2 𝑓 at a point 𝑝 ∈ 𝑀 only depends on
𝑋 𝑝 and 𝑌 𝑝 . Hence ∇2 𝑓 (𝑢, 𝑣) for 𝑢, 𝑣 ∈ 𝑇 𝑝 𝑀 is well defined. The product rule for
the Hessian gives that
5
Chapter 1. Preliminaries
where 𝐿 𝑋 denotes the Lie derivative with respect to the vector field 𝑋. Notice that
the definition of divergence is independent of choice of orientation, and hence can
be defined globally even when 𝑀 is not orientable. Using the product rule for the
Lie derivative one obtains for 𝑓 ∈ 𝐶 ∞ (𝑀) that
div( 𝑓 𝑋) = 𝑓 div(𝑋) + 𝑋 ( 𝑓 ).
𝜕
Let us denote by 𝑋 = 𝑋 𝑖 𝜕𝑥 𝑖
, then the divergence written in coordinates becomes
1 𝜕 √ 𝑖
div(𝑋) = √ g𝑋 .
g 𝜕𝑥𝑖
Let us now introduce the main operator of interest in this thesis. The Laplace
operator Δ on (𝑀, g) can now be defined as
for 𝑓 ∈ 𝐶 ∞ (𝑀). In local coordinates we have that the Laplacian can be written as
1 𝜕 √ 𝑖𝑗 𝜕 𝑓
Δ𝑓 = √ g𝑔 . (1.1.2)
g 𝜕𝑥𝑖 𝜕𝑥 𝑗
Using (1.1.1) one can verify that
6
1.1. Riemannian Manifolds
where n is the outward unit normal and dS is the surface measure on 𝜕Ω. For
𝑓 , 𝑔 ∈ 𝐶 ∞ (𝑀) we will often use the following variant of the integration by parts
formula:
∫ ∫ ∫
𝑓 Δ𝑔 dvol = − hgrad 𝑓 , grad 𝑔i dvol + 𝑓 hgrad 𝑔, ni dS . (1.1.4)
Ω Ω 𝜕Ω
The Sobolev space 𝐻 1 (Ω) consists of all functions in 𝐿 2 (Ω) with finite Sobolev
norm. For 𝐹 ⊂ 𝜕Ω we use the notation
𝐶 ∞ (Ω, 𝐹) = 𝜙 ∈ 𝐶 ∞ (Ω) : 𝜙| 𝐹 = 0 .
Since the Laplacian is a second differentiable operator, we will also need the
second Sobolev space 𝐻 2 (Ω). Let 𝑢 be a 𝐶 2 (Ω) function, and define the norm
∫
2 2
k𝑢k 𝐻 2 (Ω) = k𝑢k 𝐻 1 (Ω) + |∇2 𝑢| 2 dvol,
Ω
|∇2 𝑢| 2 = |𝑔 𝑖 𝑗 ∇2 𝑢(𝜕𝑖 , 𝜕 𝑗 )| 2 .
𝐻 2 (Ω) is defined as the closure of 𝐶 2 (Ω) in the k · k 2𝐻 2 (Ω) norm. For more in-depth
theory of Sobolev spaces, see e.g. [Aub82, Chap. 2].
In later sections, we will use the following Sobolev embedding theorem to
prove that certain eigenvalue problems only have point-spectrum.
7
Chapter 1. Preliminaries
Notice that since the inclusion 𝐻 1 (Ω, 𝐹) ⊂ 𝐻 1 (Ω) is continuous, the inclusion
𝐻 1 (Ω, 𝐹)⊂ 𝐿 2 (Ω) is also compact.
𝑋 (𝛾(𝑡)) = 𝛾(𝑡),
¤ 𝑡 ∈ 𝐼.
1. Φ0 = Id,
8
1.1. Riemannian Manifolds
grad 𝑓
𝑋= ,
| grad 𝑓 | 2
we claim that 𝑆𝑡+𝑠 = Φ𝑡 (𝑆 𝑠 ). To see this, let 𝑝 ∈ 𝑆 𝑠 and let 𝛾 be an integral curve
of the vector field 𝑋 with 𝛾(0) = 𝑝. Then
𝑑 grad 𝑓
𝑓 (𝛾(𝑡)) = hgrad 𝑓 , 𝛾(𝑡)i
¤ = grad 𝑓 , = 1.
𝑑𝑡 | grad 𝑓 | 2
The time derivative of integrals over time depending surfaces with respect to
the flow satisfies the following identity.
1.1.4 Hypersurfaces
We will throughout the thesis be particularly interested in submanifolds that are
hypersurfaces. A hypersurface 𝑁 ⊂ 𝑀 is a smooth Riemannian submanifold of
co-dimension 1. In this context, we will refer to 𝑀 as the ambient space. We will
use ˜ above the metric, connection and curvature when the objects are defined with
respect to 𝑁. Since 𝑁 is a hypersurface we can locally define the normal vector
field n. The volume distribution on 𝑁 is locally given by vol
g = 𝜄n vol , where 𝜄 is
the contraction of the form.
Using the relationship with 𝑀 we can define the second fundamental form.
Then the second fundamental form is defined by
9
Chapter 1. Preliminaries
3. II is symmetric.
4. II(𝑋, 𝑌 ) at the point 𝑝 ∈ 𝑁 depends only on 𝑋 𝑝 and 𝑌 𝑝 .
The second fundamental form is exactly the difference between the connection
on 𝑀 and the connection on 𝑁. To be precise, for vector fields 𝑋 and 𝑌 on 𝑁
smoothly extended to a neighborhood of 𝑁 we have that
∇𝑋 𝑌 = ∇˜ 𝑋 𝑌 + II(𝑋, 𝑌 ).
We can use this result to figure out when a geodesic on 𝑁 is also a geodesic on 𝑀. If
¤
𝛾 is a geodesic on 𝑁, then it is also a geodesic on 𝑀 if and only if II( 𝛾(𝑡), ¤
𝛾(𝑡)) = 0.
The submanifold 𝑁 is said to be totally geodesic in 𝑀 if every geodesic in 𝑁 is also
a geodesic in 𝑀. By the above remarks, we can hence view the second fundamental
form Π as an obstruction to 𝑁 being totally geodesic in 𝑀.
Assume that 𝑁 is orientable with a chosen global unit normal vector n. The
second fundamental form Π gives rise to the shape operator 𝑠, defined by
h𝑠(𝑋), 𝑌 i = h∇𝑋 𝑌 , ni = hII(𝑋, 𝑌 ), ni.
Note that the shape operator restricted to a point 𝑠 𝑝 : 𝑇 𝑝 𝑁 → 𝑇 𝑝 𝑁 is a symmetric
linear map. The Gaussian curvature 𝐾 is defined by 𝐾 ( 𝑝) = det(𝑠 𝑝 ), while the
mean curvature is defined by
tr(𝑠 𝑝 )
𝐻 ( 𝑝) = .
dim(𝑁)
Note that in changing the orientation changes the sign of the mean curvature and
the Gaussian curvature is multiplied by (−1) 𝑛 . Mean curvature can tell us when
the hypersurface is area-minimizing. Recall, that we say that a hypersurface 𝑁 is
area minimizing if it has the minimal area compared to all other surfaces with the
same boundary. In this case we have that mean curvature of 𝑁 is zero.
Example 1.1.4 (Example 1.1.2 continued). We will use the same notation as in
Example 1.1.2. Our goal is to compute the second fundamental form of 𝑆𝑡 . We
will denote by n = grad 𝑓 /| grad 𝑓 | and let 𝑋 be a vector field on 𝑀. Denote by
𝑋 > the part of 𝑋 that is tangential to 𝑁. Then any vector field can be written as
𝑋 = 𝑋 > + h𝑋, nin
when restricted to 𝑁. Let 𝑋 and 𝑌 be vector fields that are tangent to 𝑁. Then
hII(𝑋, 𝑌 ), ni = h∇𝑋 𝑌 , grad 𝑓 /| grad 𝑓 |i
1 1
= ∇𝑋 h𝑌 , grad 𝑓 i − h𝑌 , ∇𝑋 grad 𝑓 i
| grad 𝑓 | | grad 𝑓 |
1
=− ∇2 𝑓 (𝑌 , 𝑋).
| grad 𝑓 |
10
1.1. Riemannian Manifolds
h𝑌 , ni 2
hII(𝑋, 𝑌 ), ni = ∇ 𝑓 (n, 𝑋).
| grad 𝑓 |
1 h𝑌 , ni 2
hII(𝑋, 𝑌 ), ni = − ∇2 𝑓 (𝑌 > , 𝑋 > ) + ∇ 𝑓 (n, 𝑋 > )
| grad 𝑓 | | grad 𝑓 |
h𝑋, ni 2 > 1
+ ∇ 𝑓 (n, 𝑌 ) − h𝑋, nih𝑌 , ni grad 𝑓 , grad .
| grad 𝑓 | | grad 𝑓 |
where the last equality follows from the product rule for the divergence.
When integrating over domains we will use the co-area formula, see e.g. [Fed59,
Thm. 3.1]or [Cha06, Thm. VIII3.3]. Recall by Sard’s theorem that a smooth
function defined on a pre-compact domain Ω ⊂ 𝑀 and a function 𝑓 : Ω → R is
almost every value is a regular values.
11
Chapter 1. Preliminaries
Spherical Coordinates
For a Riemannian manifold (𝑀, g) we fix a point 𝑝 ∈ 𝑀. Inside the ball
𝐵Inj( 𝑝) ( 𝑝) ⊂ 𝑀 we can work with spherical coordinates. This is done by utilizing
the standard spherical coordinates in 𝐵Inj( 𝑝) (0) ⊂ 𝑇 𝑝 𝑀 and using the exponential
map. To elaborate, let us define the radial distance function 𝑟 : 𝑀 → R with
respect to the point 𝑝 ∈ 𝑀 by
Model spaces
Before going any further let us go through some important examples, namely the
so called model spaces. The model spaces are intuitively the maximally symmetric
Riemannian manifolds and are used as prototypical examples of Riemannian ge-
ometries. We will use the model spaces in Section 1.1.6 for comparison theorems.
The model spaces can be defined as the connected, simply connected, and complete
Riemannian manifolds with constant sectional curvature 𝐾. If we fix the dimension
𝑛, then there are only three classes of model spaces:
K = 0 (Euclidean Space): The Euclidean space R𝑛 is the Riemannian manifold
where the Riemannian metric is given by the standard Euclidean inner prod-
uct gR𝑛 . The sectional and Ricci curvatures of this space are both identically
zero.
K = R−2 (Round Sphere): The sphere S𝑛𝑅 = {𝑥 ∈ R𝑛+1 : |𝑥| = 𝑅} can naturally
be made into a Riemannian manifold with radius 𝑅 > 0. On the sphere S𝑛𝑅 ,
the sectional curvature is the positive number
1
Sec = .
𝑅2
12
1.1. Riemannian Manifolds
𝑛−1
Ric = gS𝑛𝑅 .
𝑅2
K = −R−2 (Hyperbolic Space): The hyperbolic space H𝑛𝑅 with radius 𝑅 > 0 can
be realized as the upper half plane R𝑛−1 × (0, ∞) with the metric
1
Sec = − .
𝑅2
Moreover, the Ricci curvature is precisely given by
𝑛−1
Ric = − gH𝑛𝑅 .
𝑅2
The following result shows that the model spaces can be locally given a uniform
description in terms of spherical coordinates.
13
Chapter 1. Preliminaries
g = 𝑑𝑟 ⊗ 𝑑𝑟 + 𝑓 (𝑟) 2 gS𝑛−1 .
1
We will see in Example 1.2.9 that this added symmetry is particularly helpful
when studying eigenvalue problems on balls centered at the point 𝑝. The relevant
formulas for spherically symmetric manifold can be given through the function 𝑓
by
Volume Form vol = 𝑓 (𝑟) 𝑛−1 𝑑𝑟 ∧ 𝑑𝑆1 ,
0 2 00 (𝑟 )
Scalar Curvature S( 𝑝) = (𝑛 − 1) (𝑛−2)−(𝑛−2) ( 𝑓𝑓 )(𝑟 (𝑟
)2
)−2 𝑓 𝑓 (𝑟 )
,
0
Mean Curvature of 𝑆𝑟 1
𝑛−1 Δ𝑟 = (𝑛 − 1) 𝑓𝑓 (𝑟(𝑟)) ,
0
𝜕2
Laplace Operator Δ = 𝜕𝑟 2
+ (𝑛 − 1) 𝑓𝑓 (𝑟(𝑟)) 𝜕𝑟
𝜕
+ 1
Δ 𝑛−1 .
𝑓 2 (𝑟 ) S1
Examples of spherically symmetric manifolds are the model spaces. In this case
we have 𝑓 (𝑟) = sin𝐾 (𝑟). For more information and for a proof of the formulas
presented in this section, see [Pet16, Sec. 4.2.3] where the spherically symmetric
spaces go under the name rotationally symmetric spaces.
Δ 𝑓 + 𝑘 2 𝑓 = 0.
15
Chapter 1. Preliminaries
In the special case that 𝑘 2 = 0 we say that the function 𝑓 is harmonic. The operator
Δ + 𝑘 2 is elliptic when written out in coordinates. Hence Δ + 𝑘 2 inherits local
properties from elliptic theory such as the following result.
sup ℎ ≤ 𝐶 inf ℎ
𝐵𝑟 ( 𝑝) 𝐵𝑟 ( 𝑝)
Proof. By [Eld13, Thm. 2.4] we have that when written out in exponential coor-
dinates there exists some 𝑅 > 0 such that 𝑔𝑖 𝑗 is bounded in 𝐵 𝑅 ( 𝑝) for all 𝑝 ∈ 𝑀.
This implies that for any vector 𝑣 = 𝑣 𝑖 𝜕𝑖 ∈ 𝑇𝑥 𝑀 and any 𝑥 ∈ 𝐵 𝑅 ( 𝑝) we have that
𝑛 𝑛 𝑛
Õ √ Õ 𝑖𝑗 𝑖 𝑗 1 Õ 𝑖 2
𝛾 |𝑣 𝑖 | 2 ≤ g 𝑔 𝑣𝑣 ≤ |𝑣 |
𝑖=1 𝑖, 𝑗=1
𝛾 𝑖=1
for some constant 𝛾 ∈ (0, 1). The result now follows from [GL86, Thm. 8.20].
𝜕 2 (cosh(𝑘𝑡) 𝑓 (𝑥))
Δg×gR (ℎ(𝑥, 𝑡)) = Δg (cosh(𝑘𝑡) 𝑓 (𝑥)) +
𝜕𝑡 2
2
= cosh(𝑘𝑡)Δg 𝑓 (𝑥) + 𝑘 cosh(𝑘𝑡) 𝑓 (𝑥) = 0.
16
1.2. The Laplace Operator
dist(𝑥, 𝑁 ∪ 𝜕𝑈) ≤ 𝐶.
The nodal set of a solution to the Helmholtz equation 𝑓 is defined as the zero set
Using the extension trick together with Harnack’s inequality we can show that the
nodal set is 𝐶𝑘 -dense.
= sup ℎ
𝐵√2𝑅 ( 𝑝)
≤𝐶 inf ℎ
𝐵√2𝑅 ( 𝑝)
= 𝐶 inf 𝑓 .
𝐵 𝑅 ( 𝑥)
log(𝐶) 𝐷
This implies that exp (𝑘 𝑅) ≤ 𝐶 or equivalently 𝑅 ≤ 𝑘 = 𝑘.
17
Chapter 1. Preliminaries
well as making the next section less repetitive. In this section we will let H
denote a Hilbert space with inner product h·, ·i. An densely defined linear operator
𝐴 : 𝐷 ( 𝐴) ⊂ H → H with domain 𝐷 ( 𝐴) is said to be symmetric if
• If 𝐴 is such that
h𝐴𝑣, 𝑣i ≥ 𝐶 k𝑣k 2 , 𝑣 ∈ 𝐷 ( 𝐴),
for some constant 𝐶 > 0, then there exists a self-adjoint extension of 𝐴. This
extension is known as the Friedrichs extension.
Define the spectrum of a densely defined linear operator 𝐴 : 𝐷 ( 𝐴) ⊂ H → H
to be the collection
We can further divide the spectrum into the essential spectrum and the discrete
spectrum. The essential spectrum consists of all the points 𝜆 ∈ 𝜎( 𝐴) where one
can find a sequence 𝑢 𝑖 ∈ 𝐷 ( 𝐴) satisfying
• k𝑢 𝑖 k = 1,
• lim𝑖→∞ k ( 𝐴 − 𝜆)𝑢 𝑖 k = 0.
The complement of the essential spectrum is by definition the discrete spectrum.
If 𝜆 is in the discrete spectrum, then there exists an element 𝑢 ∈ 𝐷 ( 𝐴) such that
𝐴𝑢 = 𝜆𝑢. In this case, we refer to 𝜆 as an eigenvalue of 𝐴. When 𝐴 is a self-adjoint
operator it is well-known that 𝜎( 𝐴) ⊂ R.
18
1.2. The Laplace Operator
is either the 𝑘’th smallest eigenvalue counting multiplicity, or the infimum over the
essential spectrum.
Compact Manifolds
Let (𝑀, g) be a Riemannian manifold where 𝑀 is compact and without boundary.
Then we define an eigenfunction 𝑢 ∈ 𝐶 ∞ (𝑀) with corresponding eigenvalue 𝑘 2 to
be the global solution to the problem
Δ𝑢 + 𝑘 2 𝑢 = 0. (1.2.1)
The collection of all eigenvalues is called the spectrum of (𝑀, g). Notice that the
constant functions are eigenfunctions with corresponding eigenvalue 𝑘 2 = 0. We
can order the eigenvalues counting multiplicity
0 = 𝑘 12 < 𝑘 22 ≤ 𝑘 32 ≤ · · · 𝑘 𝑚
2
→ ∞.
19
Chapter 1. Preliminaries
Example 1.2.7 (Sphere, see [Cha84, Chap. 2 Sec. 4] or [Shu01, Sec. 22.3]). Of
the model spaces, the spheres S𝑛𝑅 for 𝑅 > 0 are the only compact spaces. Let
us for simplicity only consider 𝑅 = 1 with Laplace operator ΔS1𝑛 . When the
sphere is viewed as a Riemannian embedding into R𝑛+1 , the eigenfunctions are
given as restrictions of homogeneous harmonic functions. Recall that a function
𝑓 ∈ 𝐶 ∞ (R𝑛+1 ) is homogeneous of degree 𝑚 (or simply 𝑚-homogeneous) if it
satisfies
𝑓 (𝑟𝑥) = 𝑟 𝑚 𝑓 (𝑥) for all 𝑟 ∈ [0, ∞) and 𝑥 ∈ R𝑛+1 .
One has that the restriction of 𝑚-homogeneous harmonic polynomials to the sphere
have eigenvalue 𝑘 2 = 𝑚(𝑚 + 𝑛 − 1). Moreover, each of the eigenspaces 𝐸 𝑘 2 have
dimension1
𝑛+𝑚 𝑛+𝑚−2
dim (𝐸 𝑘 2 ) = − .
𝑚 𝑛
We will refer to the eigenfunctions of the sphere as spherical harmonics.
In the case that 𝑛 = 1, the non-constant eigenfunctions corresponding to the
eigenvalue 𝑚 2 for 𝑚 ∈ N are spanned by cos(𝑚𝜃) and sin(𝑚𝜃). As such, the
eigenfunctions are precisely the classical Fourier basis.
Theorem 1.2.8. The 𝑚’th eigenvalue of the problem (1.2.1) can be written as
∫
2 𝑀
| grad 𝑢| 2 dvol
𝑘𝑚 = inf sup ∫ .
𝑉 ⊂𝐻 1 ( 𝑀 ) 𝑢 ∈𝑉 \{0}
𝑀
𝑢 2 dvol
dim(𝑉 )=𝑚
hΔ𝑢 − 𝑢, 𝑢i = −k𝑢k 2𝐻 1 ( 𝑀 ) .
Hence
k𝑢k 𝐻 1 ( 𝑀 ) ≤ kΔ𝑢 − 𝑢k 𝐿 2 ( 𝑀 ) .
1The reader should be made aware of the typo in [Cha84] for the dimension of the 𝐸 𝑘 2 .
20
1.2. The Laplace Operator
k (Δ − 1) −1 𝑢k 𝐻 1 ( 𝑀 ) ≤ k𝑢k 𝐿 2 ( 𝑀 ) .
As a reference, for the statement in this section see [Cha84, Chap. 1] and [Bor20,
Chap. 9].
Another standard problem is the Neumann problem, where a solution 𝑢 ∈
𝐶 2 (Ω) ∩ 𝐶 1 (Ω) is given by
(
Δ𝑢 + 𝜇𝑢 = 0 in Ω
. (1.2.3)
𝑢𝑛 = 0 on 𝜕Ω
In this case we have that the first eigenvalue is zero, while the rest is positive.
Writing out the Rayleigh quotient, see [Cha84, Chap. 1], for the 𝑚’th eigenvalue
gives ∫
| grad 𝑢| 2 dvol
𝜇 𝑚 = inf sup Ω ∫ .
𝑉 ⊂𝐻 1 (Ω) 𝑢 ∈𝑉 \{0}
Ω
𝑢 2 dvol
dim(𝑉 )=𝑚
By using [GL86, Thm. 9.19] together with the Sobolev embedding theorem one get
that the eigenfunctions are smooth up to the boundary. Comparing the Rayleigh
21
Chapter 1. Preliminaries
Example 1.2.9 (Model Spaces). In this section we will let (𝑀𝐾 , g𝐾 ) be the model
space with curvature 𝐾. We will start by computing the eigenfunctions for the
Dirichlet and Neumann problem in the case when Ω = 𝐵(𝑟 0 , 𝑝). In the case that
𝐾 > 0 we have the additional requirement that 𝑟 0 < √𝜋 . Since the manifolds are
𝐾
spherically symmetric we will use separation of variables to find the eigenfunctions.
Let 𝑢(𝑟, 𝜃) = 𝑅(𝑟)Θ(𝜃) be an eigenfunction written in spherical coordinates with
eigenvalue 𝜆. Then we have that
1
Δ𝑢(𝑟, 𝜃) = 𝑅 00 (𝑟)Θ(𝜃) + (𝑛 − 1) cot𝐾 (𝑟)𝑅 0 (𝑟)Θ(𝜃) + 𝑅(𝑟) ΔS𝑛−1 Θ(𝜃)
sin2𝐾 (𝑟) 1
= −𝜆𝑅(𝑟)Θ(𝜃),
which simplifies to
sin2𝐾 (𝑟)𝑅 00 (𝑟) + (𝑛 − 1) cos𝐾 (𝑟) sin𝐾 (𝑟)𝑅 0 (𝑟) + 𝜆 sin2𝐾 (𝑟)𝑅(𝑟) ΔS𝑛−1 Θ(𝜃)
=− 1 .
𝑅(𝑟) Θ(𝜃)
sin2𝐾 (𝑟)𝑅 00 (𝑟) + (𝑛−1) cos𝐾 (𝑟) sin𝐾 (𝑟)𝑅 0 (𝑟) + (𝜆 sin2𝐾 (𝑟) −𝑚(𝑚+𝑛−2))𝑅(𝑟) = 0.
(1.2.4)
Hence we get that if 𝑅(𝑟) is a solution to (1.2.4) satisfying 𝑅(𝑟 0 ) = 0 one has that
𝑢 is a solution to the Dirichlet problem. If on the other hand 𝑅 0 (𝑟 0 ) = 0 we get
that 𝑢 is a solution to the Neumann problem. In Paper D, we will show that all the
solutions are a product of a radial and a spherical function.
Denote by
𝑛−2 √
𝐽 (𝜌) = sin𝐾2/𝜆 (𝜌)𝑅(𝜌/ 𝜆),
0
and cos𝐾 /𝜆 (𝜌) = sin𝐾 (𝜌). Notice that
/𝜆
00 𝐾
sin𝐾 /𝜆 (𝜌) = − 𝜆
sin𝐾 /𝜆 (𝜌)
and
𝐾
cos2𝐾 /𝜆 (𝜌) + sin2𝐾 /𝜆 (𝜌) = 1.
𝜆
22
1.2. The Laplace Operator
23
Chapter 1. Preliminaries
Example 1.2.10 (Steklov Problem on the Cylinder, [CEG11, Lem. 6.1]). For a
compact Riemannian manifold (𝑀, g) we consider the cylinder S𝐿 (𝑀) = 𝑀 ×
[−𝐿, 𝐿] with the usual product metric g 𝐿 = g + 𝑑𝑡 ⊗ 𝑑𝑡. The Steklov problem on
the cylinder (S𝐿 (𝑀), g 𝐿 ) is given by
(
Δ S𝐿 ( 𝑀 ) ℎ(𝑥, 𝑡) = 0 in S𝐿 (𝑀)
. (1.2.8)
ℎ 𝑛 (𝑥, 𝑡) = 𝜎ℎ(𝑥, 𝑡) on 𝜕S𝐿 (𝑀)
As always, we have for 𝜎 = 0 the constant solution ℎ(𝑥, 𝑡) = 1. For ℎ(𝑥, 𝑡) = 𝑡 we
have the corresponding eigenvalue 𝜎 = 1/𝐿. Define
ℎ 𝑠 (𝑥, 𝑡) = sinh(𝑘𝑡)𝑢(𝑥), ℎ 𝑐 (𝑥, 𝑡) = cosh(𝑘𝑡)𝑢(𝑥),
where 𝑢 ∈ 𝐶 ∞ (𝑀) is a solution to Δ𝑢 + 𝑘 2 𝑢 = 0 on 𝑀 for some 𝑘 2 > 0. Then
ℎ 𝑠 and ℎ 𝑐 solve (1.2.8) with eigenvalues 𝜎𝑠 = 𝑘 coth(𝑘 𝐿) and 𝜎𝑐 = 𝑘 tanh(𝑘 𝐿),
respectively. All the solutions to (1.2.8) are on the form given above.
24
1.2. The Laplace Operator
The goal of the proof is the expand (1.2.10) appropriately and obtain the claim. A
straightforward computation shows that
∫
𝐼𝜆 = 𝜆 𝑢hgrad 𝑟 2 , grad 𝑢i dvol
∫Ω
𝜆
= hgrad 𝑟 2 , grad 𝑢 2 i dvol
2 Ω
∫ ∫
2 𝜆 2
= 𝜆𝑢 h𝑟 grad 𝑟, ni dS − 𝑢 Δ(𝑟 2 ) dvol .
𝜕Ω Ω 2
Using that
div(| grad 𝑢| 2 grad 𝑟 2 ) = | grad 𝑢| 2 div(grad 𝑟 2 ) + hgrad 𝑟 2 , grad | grad 𝑢| 2 i
= | grad 𝑢| 2 Δ(𝑟 2 ) + 2h∇grad 𝑟 2 grad 𝑢, grad 𝑢i
= | grad 𝑢| 2 Δ(𝑟 2 ) + 2∇2 𝑢(grad 𝑟 2 , grad 𝑢),
25
Chapter 1. Preliminaries
Notice that using the comparison Theorem 1.1.7 one can get an inequality
version of Corollary 1.2.12, see Lemma [HS20][Lem. 3.7].
26
1.3. Almgren’s Frequency Function
In fact, if (1.3.1) holds for all positive 𝑟 and 𝑠 then 𝑓 is geometrically convex. This
can be showed by using the result of Sierpinski, which says that for real valued
measurable functions midpoint convexity implies convexity (see [Don69, p.12]).
Geometrically convex can be reformulated in terms of a differential inequality. The
proof of this is straightforward and hence will be omitted.
27
Chapter 1. Preliminaries
Proposition 1.3.3. The function 𝐻 ℎ (𝑟) is geometrically convex for all 0 < 𝑟 < 𝑅.
Proof. We will show that 𝐻 ℎ satisfies the last inequality in Proposition 1.3.2.
Define ⨏ ⨏
𝐷 ℎ (𝑟) = 𝑟 | grad ℎ| 2 dvol = ℎℎ 𝑛 dS, (1.3.2)
𝐵𝑟 (0) S𝑟𝑛−1
where ℎ 𝑛 is the normal derivative of ℎ with respect to the outward unit normal
vector on the sphere. Using the divergence theorem and the fact that ℎ is harmonic
gives us
• 𝐻 ℎ0 (𝑟) = 2𝐷 ℎ (𝑟) ,
−2(𝑛−1)
⨏
• 𝐻 ℎ00 (𝑟) = 𝑟 𝐷ℎ (𝑟) + 2 S𝑟𝑛−1
|grad ℎ| 2 dS .
Furthermore, we have that
⨏ ⨏
2
2 |grad ℎ| 2 dS = h𝑥 |grad ℎ| 2 , grad 𝑟i dS
𝑛−1 𝑟 𝑛−1
⨏ 𝑟
S𝑟 S
2
= div |grad ℎ| 2 𝑥 dvol
𝑟 𝐵𝑟 (0)
⨏
2𝑛𝐷 ℎ (𝑟)
= +4 𝑥 𝑖 ℎ 𝑗 ℎ𝑖 𝑗 dvol .
𝑟 𝐵𝑟 (0)
Remark 1.3.4. Note that the proof hinges on the fact that
⨏ 𝑛−2
|grad ℎ| 2 − 2ℎ2𝑛 dS = 𝐷 ℎ (𝑟) .
S𝑟𝑛−1 𝑟
We will do a similar trick in Paper A, however in that case the equality will be
replaced by an inequality.
28
1.3. Almgren’s Frequency Function
This and similar result will throughout this thesis be known as three spheres
theorems, referring to the three spheres involved.
𝑟 𝐷 ℎ (𝑟)
𝑁 ℎ (𝑟) = ,
𝐻 ℎ (𝑟)
log(𝐻 ℎ (𝑒 𝑥 )) 0
𝑁 ℎ (𝑒 𝑥 ) = .
2
Hence by the second equivalence in Proposition 1.3.2 together with Proposition
1.3.3, we have that 𝑁 ℎ (𝑟) is increasing.
Example 1.3.6. We can show that for homogeneous harmonic polynomials the
frequency function is constant. Denote by ℎ : R𝑛 → R a homogeneous harmonic
polynomial of degree 𝑚 on the form
Õ
ℎ(x) = 𝑎 𝑖1 ,...,𝑖𝑛 𝑥 1𝑖1 · · · 𝑥 𝑛𝑖𝑛 .
𝑖1 +...+𝑖𝑛 =𝑚
29
Chapter 1. Preliminaries
In the cases when ℎ is not a polynomial, we can still think of the frequency 𝑁 ℎ
as being the “degree” of ℎ. This can be made precise by noticing that
𝐻 ℎ0 (𝑟) 2𝑁 ℎ (𝑟)
(log 𝐻 ℎ (𝑟)) 0 = = .
𝐻 ℎ (𝑟) 𝑟
Integrating the expression from 𝑠 to 𝑟, for thereafter taking the exponential on both
sides, we get ∫ 𝑟
𝐻 ℎ (𝑟) 𝑁 ℎ (𝑥)
= exp 2 𝑑𝑥 .
𝐻 ℎ (𝑠) 𝑠 𝑥
Using that 𝑁 ℎ is increasing we get the following corollary:
Corollary 1.3.7. For any 0 < 𝑠 < 𝑟 and any harmonic function ℎ we have that
𝑟 2𝑁ℎ (𝑠) 𝐻 ℎ (𝑟) 𝑟 2𝑁ℎ (𝑟 )
≤ ≤ .
𝑠 𝐻 ℎ (𝑠) 𝑠
In particular, for 𝑟 = 2𝑠 we have the following doubling condition
𝐻 ℎ (2𝑟)
22𝑁ℎ (𝑟 ) ≤ ≤ 22𝑁ℎ (2𝑟 ) .
𝐻 ℎ (𝑟)
Thinking of the example 1.3.6 where ℎ is a homogeneous harmonic polynomial
it should come as no surprise that the frequency controls the vanishing order. Recall
that a function 𝑢 has vanishing order 𝑚 at 𝑥 0 if 𝑚 is the largest value where there
exist 𝑟 𝑚 and 𝑐 𝑚 such that
|𝑢(𝑥)| ≤ 𝑐 𝑚 |𝑥0 − 𝑥| 𝑚
Corollary 1.3.8. The value of lim𝑟 →0+ 𝑁 ℎ (𝑟) is equal to the vanishing order of ℎ
at zero.
Proof. By fixing 𝑟 in Corollary 1.3.7 we get that the vanishing order for ℎ at zero is
at least lim𝑟 →0+ 𝑁 ℎ (𝑟) . Note that the limit lim𝑟 →0+ 𝑁 ℎ (𝑟) always exists, since 𝑁 ℎ is
bounded from below by zero and increasing. Note that if ℎ (𝑥) = ∞
Í
𝑗=0 𝑝 𝑗 (𝑥) is the
Taylor series of ℎ at zero, then 𝑝 𝑗 must be homogeneous harmonic polynomials.
If ℎ vanishes at 𝑥 0 = 0 of order 𝑚 we need 𝑝 𝑗 = 0 for all 𝑗 < 𝑚. Hence
ℎ (𝑥) = 𝑝 𝑚 (𝑥) + ∞
Í
𝑗=𝑚+1 𝑝 𝑗 (𝑥) and
⨏
𝑟 S𝑟𝑛−1
𝑚 𝑝 𝑚 (𝑥) 2 /𝑟 + "higher order terms"/𝑟 dS
lim 𝑁 ℎ (𝑟) = lim+
𝑟 →0+ 𝑟 →0
⨏
2
= 𝑚.
S𝑛−1
𝑝 𝑚 (𝑥) + "higher order terms" dS
𝑟
30
1.3. Almgren’s Frequency Function
From local equivalence of 𝐿 𝑝 norms, see [GT01, p. 194 Thm. 8.17], we get that
s⨏
p
2
3𝑟
𝑀ℎ (𝑟) ≥ 𝐻 ℎ (𝑟) ≥ 𝐶 ℎ dvol ≥ 𝑐𝑀ℎ , (1.3.4)
𝐵𝑟 (0) 4
for some constant 𝑐 < 1. Using the geometric convexity we can show the following
quantitative unique continuation result:
Proposition 1.3.9. For any 𝛼 ∈ (0, 1) we have that
1 𝛼 1−𝛼
𝛼 1−𝛼 4 4
𝑀ℎ 𝑟 𝑠 ≤ 𝑀ℎ 𝑟 𝑀ℎ 𝑠 , (1.3.5)
𝑐 3 3
whenever 𝑠 < 𝑟 < 3/4𝑅. If we have 𝜔 ⊂⊂ 𝐵 ⊂⊂ Ω for domains 𝜔, 𝐵, Ω ⊂ 𝐵 𝑅 (0)
we get that for some 𝛼 ∈ (0, 1) we have that
𝛼 1−𝛼
max |ℎ| ≤ 𝐶 max |ℎ| max |ℎ| ,
𝐵 𝜔 Ω
We will do this by moving along the piece-wise linear curve 𝑙𝑖 (𝑡) inside Ω such
that 𝑙𝑖 (0) = 𝑥 𝑖 and 𝑙𝑖 (1) = 𝑦 𝑖 . Denote by
3
𝑅𝑖 = min dist ({𝑙𝑖 (𝑡) : 𝑡}, 𝜕Ω) , 𝜌𝑖 .
4
31
Chapter 1. Preliminaries
𝑅𝑖 /2 𝑙𝑖 (𝑡)
𝑥𝑖 𝑥3
𝑥1 𝑥2
Figure 1.1: The figure illustrates three iterations of the chain argument.
Without loss of generality assume that 𝑟 𝑖 ≤ 𝑅𝑖 /2, if not we can use (1.3.5) to show
that ! 𝛼0
Go along the curve 𝑙𝑖 to the first point 𝑥 1 such that dist 𝑥 𝑖 , 𝑥 1 = 𝑅𝑖 /4. Then we
have that
𝐵 𝑅𝑖 /4 (𝑥 𝑖 ) ⊂ 𝐵 𝑅𝑖 𝑥 1 .
𝛼𝑛 𝑗
1
max |ℎ| ≤ 𝐶 max |ℎ| .
𝐵 𝑅𝑖 /2 ( 𝑥 𝑛 𝑗 ) 𝐵 𝑅𝑖 ( 𝑦𝑖 )
32
1.3. Almgren’s Frequency Function
At first glance the log-part of the doubling index might seem unnatural. How-
ever, this makes the frequency function 𝑁 ℎ and the doubling index Nℎ comparable:
Note that by (1.3.5) and Corollary 1.3.7 there exist constants 𝐶, 𝑐 > 0 such that
v
u
©t 𝐻 ℎ (2𝑟) ª
𝑁 ℎ (𝑟) − 𝑐 ≤ log
®®
𝐶𝐻 ℎ 4𝑟3
« ¬
s !
𝐶𝐻 ℎ (4𝑟)
≤ Nℎ (𝑟) ≤ log ≤ log (4) 𝑁 ℎ (4𝑟) + 𝑐.
𝐻 ℎ (𝑟)
Helmholtz Equation
We can use the extension approach to get a result for the Helmholtz equation. Let
𝑢 be a solution to a
Δ𝑢 + 𝑘 2 𝑢 = 0
on a ball 𝐵 𝑅 (0) ⊂ R𝑛 . Using Proposition 1.3.9 together with the associated
harmonic function given in Section 1.2.2 one get for some 𝛼 ∈ (0, 1) and all 𝑟 < 𝑅
that 𝛼 1−𝛼
max |𝑢| ≤ 𝐴 exp(𝐵𝑘𝑟) max |𝑢| max |𝑢| , (1.3.6)
𝐵𝑟/2 (0) 𝐵𝑟/4 (0) 𝐵𝑟 (0)
33
Chapter 1. Preliminaries
Elliptic Equations
Consider 𝐵 𝑅 (0) ⊂ R𝑛 for 𝑛 ≥ 2 and let 𝐴 : 𝐵 𝑅 (0) × R𝑛 → R𝑛 be such that for
each 𝑥 ∈ 𝐵 𝑅 (0) the map 𝑣 ↦→ 𝐴(𝑥, 𝑣) is a symmetric matrix. For convenience, we
will simply denote the map 𝑣 ↦→ 𝐴(𝑥, 𝑣) by 𝐴(𝑥). Assume for some 𝐿 > 0 that the
matrix entries 𝑎 𝑖 𝑗 (𝑥) satisfy the Lipschitz condition
h𝐴(𝑥)𝑥, 𝑥i
𝜇(𝑥) = .
|𝑥| 2
𝑟 𝐻𝑢0 (𝑟)
𝑁𝑢 (𝑟) = , 𝑟 < 𝑅. (1.3.11)
𝐻𝑢 (𝑟)
Theorem 1.3.11 ([GL86]). Let 𝑢 be a solution to the equation div( 𝐴(𝑥) grad 𝑢) = 0
on the ball 𝐵 𝑅 (0) as above. Then there exists a constant 𝐶 = 𝐶 (𝑛, 𝛾, 𝐿, 𝑅) such
that the function
exp(𝐶𝑟)𝑁𝑢 (𝑟)
is non-decreasing for 𝑟 ∈ (0, 𝑅0 ), where 𝑅0 is a fixed constant 𝑅0 < 𝑅 .
34
1.3. Almgren’s Frequency Function
Using this result Garofalo and Lin showed a doubling inequality for solutions
to elliptic equations. This result was generalized to more general elliptic solution
in [Kuk98] as follow: Let 𝑤 ∈ 𝐶 2 (𝐵 𝑅 (0)) be a solution to
Theorem 1.3.13 ([ALM16, Thm. 1.2 and Thm. 1.3]). Let Ω be a non-empty open
subset of 𝐵1 (0) such that Ω∩S1𝑛−1 ≠ ∅. Then there exists a constant 𝐶1 = 𝐶1 (𝑉, Ω)
such that
k𝑢k 2𝐿 2 (𝐵 (0)) ≤ 𝐶1 k𝑢k 2𝐿 2 (Ω) .
1
Assume that Γ is a non-empty open subset of S1𝑛−1 . Then there exists a constant
𝐶2 = 𝐶2 (Γ, 𝑉) such that
k𝑢k 2𝐻 1 (𝐵 ≤ 𝐶2 k𝑢 𝑛 k 2𝐿 2 (Γ) .
1 (0))
In the case that we not have Dirichlet conditions on the boundary, [HI04]
showed the increased stability for the Helmholtz equation: Let us consider the
cylinder Ω = 𝐵𝑟 (0) × (0, 2𝑟) and let Γ be an open set in (𝜕𝐵𝑟 (0)) × (0, 2𝑟). Denote
by
Ω(𝑑) = 𝐵𝑟 (0) × (𝑑, 2𝑟) ⊂ Ω, 𝑑 < 2𝑟.
35
Chapter 1. Preliminaries
Theorem 1.3.14 ([HI04, Thm. 1.2]). Let 𝑢 ∈ 𝐶 2 (Ω) be a solution to the Helmholtz
equation
Δ𝑢 + 𝑘 2 𝑢 = 0 on Ω,
with wave number 𝑘 ≥ 1. Assume that
1 1
√ 𝑘+ k𝑢k 𝐿 2 (Γ) + k grad 𝑢k 𝐿 2 (Γ) ≤ k𝑢k 𝐻 1 (Ω) .
𝑑 𝑑
36
Chapter 2
Summary of Papers
37
Chapter 2. Summary of Papers
38
Part II
Research Papers
Paper A
Convexity Properties of
Harmonic Functions on
Parameterized Families of
Hypersurfaces
Abstract
It is known that the 𝐿 2 -norms of a harmonic function over spheres satis-
fies some convexity inequality strongly linked to the Almgren’s frequency
function. We examine the 𝐿 2 -norms of harmonic functions over a wide
class of evolving hypersurfaces. More precisely, we consider compact level
sets of smooth regular functions and obtain a differential inequality for the
𝐿 2 -norms of harmonic functions over these hypersurfaces. To illustrate our
result, we consider ellipses with constant eccentricity and growing tori in
R3 . Moreover, we give a new proof of the convexity result for harmonic
functions on a Riemannian manifold when integrating over spheres. The
inequality we obtain for the case of positively curved Riemannian manifolds
with non-constant curvature is slightly better than the one previously known.
A.1 Introduction
Since the paper by Almgren [Alm79], the frequency function have been intensively
used to study harmonic functions in R𝑛 and, more generally, solutions to second
order elliptic equations. For a harmonic function ℎ on R𝑛 we let 𝐻 (𝑡) denote the
𝐿 2 -norm of ℎ over the sphere of radius 𝑡. In [Agm66], and later in [Alm79], it was
shown that the function 𝐻 is geometrically convex, i.e.
𝐻 𝑟 𝛼 𝑠1−𝛼 ≤ 𝐻 (𝑟) 𝛼 𝐻 (𝑠) 1−𝛼 , 0 ≤ 𝛼 ≤ 1, 𝑟, 𝑠 > 0. (A.1.1)
43
Paper A. Convexity Properties of Harmonic Functions
In (A.1.2) the positive constants 𝐶1 , 𝐶2 and 0 < 𝛼 < 1 only depend on the
dimension and curvature of the Riemannian manifold. Inequality (A.1.2) was first
shown by Donnelly and Fefferman in [DF88].
The main aim of this work is to study the 𝐿 2 -norm of harmonic functions over
families of surfaces, generalizing the geometric convexity inequality (A.1.1). Let
ℎ be a harmonic function on a domain Ω in a Riemannian manifold (M, g) and
fix a point 𝑝 ∈ M. Consider for 𝑅 > 0 a smooth function 𝑓 : Ω → [0, 𝑅) that is
regular and have compact level surfaces. Let
∫
𝐻 (𝑡) = ℎ2 |grad 𝑓 | 𝜎𝑡
𝑓 −1 (𝑡)
be the squared 𝐿 2 -norm of ℎ over the level surface 𝑓 −1 (𝑡) with the weight |grad 𝑓 |.
Our main theorem states that 𝐻 satisfies an inequality of the type
where 𝜏 and 𝜌 are independent of ℎ. In fact, the functions 𝜏 and 𝜌 only depend on
explicit estimates on the derivatives of 𝑓 and are given in Theorem A.2.5. These
kinds of inequalities when integrated imply that 𝐻 satisfies a variant of Inequality
(A.1.1). In particular, when 𝑓 is the Riemannian distance function from a fixed
point, we give a new proof of [Man13, Thm. 2.2]. For the case when the curvature
is positive we obtain a slight improvement of his inequality, see Section A.3.1.
Next we illustrate our result by considering 1-homogeneous functions, that is,
functions that satisfy 𝑓 (𝑡x) = 𝑡 𝑓 (x) for 𝑡 > 0. A way to construct 1-homogeneous
44
A.2. The Convexity Result
functions is to choose a compact and star convex (with respect to the origin) set 𝑅
with smooth boundary 𝑆 ⊂ R𝑛 \ {0}. Define a function 𝑓 by 𝑓 (x) = 1 for all x ∈ 𝑆
and extend this to a 1-homogeneous function on the whole R𝑛 \ {0}. In this case,
we will show that there exist constants 𝐴 and 𝐵 such that the function 𝐻 satisfies
𝐴 𝐵
(log 𝐻 (𝑡)) 00 + (log 𝐻 (𝑡)) 0 ≥ − 2 .
𝑡 𝑡
For the special case where 𝑆 is an ellipsoid in R𝑛 we find in Section A.3.2 the
explicit values of 𝐴 and 𝐵.
To give an example of level surfaces not diffeomorphic to the sphere we take
the distance function of the submanifold
q
𝑘 𝑛 𝑘
𝑆 × {0} × · · · × {0} ⊂ R , where 𝑆 = x ∈ R 𝑘+1 2 2
: 𝑥 1 + · · · + 𝑥 𝑘+1 = 1 .
Acknowledgment
The author would like to thank Eugenia Malinnikova for her guidance and Dan
Mangoubi for his insightful suggestions. The author was partially supported by the
BFS/TFS project Pure Mathematics in Norway.
where 𝑋 and 𝑌 are vector fields and grad ℎ denotes the gradient of the function ℎ.
The Laplace operator Δ is given by
45
Paper A. Convexity Properties of Harmonic Functions
where 𝑆𝑡 is the geodesic sphere centered at 𝑝 with radius 𝑡 and 𝜎𝑡 is its surface
measure. In [Man13] it was shown that 𝐻 satisfies a convexity property, which in
the case of constant curvature spaces is on the form
where K is the sectional curvature and sin K (𝑟) is the function defined by Equation
(A.3.1) in Section A.3.1.
Our goal is to obtain a similar inequality for other families of parameterized
surfaces than geodesic spheres. Since an important step in [Man13] depends
indirectly on the co-area formula, we will assume that this family of surfaces is
given as the level surfaces of a Lipschitz function 𝑓 : Ω → [0, 𝑅) , where Ω ⊂ M
is an open set. To ensure that the preimages 𝑆𝑡 = 𝑓 −1 (𝑡) are hypersurfaces for
𝑡 ∈ (0, 𝑅), we will assume that every value in (0, 𝑅) is regular (see [Lee13,
Thm. 5.12]), meaning that |grad 𝑓 | > 0 for all 𝑥 ∈ 𝑓 −1 (0, 𝑅). We will also need
that the integral over the hypersurfaces are finite. Thus we assume that the surfaces
𝑆𝑡 are closed manifolds, that is, compact manifolds without boundary. Finally,
to be able to use the divergence theorem on the surfaces 𝑆𝑡 we will assume that
𝑅𝑡 = 𝑓 −1 ([0, 𝑡)) is open and compactly embedded in Ω for all 𝑡 ∈ (0, 𝑅) and 𝑆𝑡 is
given as the boundary of 𝑅𝑡 .
2. all values in (0, 𝑅) are regular values of 𝑓 , and 𝑆𝑡 = 𝑓 −1 (𝑡) are closed
hypersurfaces in M,
Under the assumptions on the function 𝑓 we can formulate the co-area formula
on manifolds.
46
A.2. The Convexity Result
We remind the reader that the Lie derivative of a 𝑘-form 𝜔 in the direction of
the vector field 𝑋 evaluated at the point 𝑝 ∈ 𝑀 is given by
𝜑∗𝑡 𝜔 𝜑𝑡 ( 𝑝) − 𝜔 𝑝
(L 𝑋 𝜔) 𝑝 = lim ,
𝑡→0 𝑡
where 𝜑∗𝑡 denotes the pull back with respect to the flow 𝜑𝑡 of 𝑋. We will use some
standard properties of the Lie derivative acting on forms which can be found in
[Lee13, p. 372]. Let 𝑋 be a 𝐶 1 vector field and 𝜔 and 𝜈 be differentiable 𝑘- and
𝑙-forms, respectively. Then
L 𝑋 (𝜔 ∧ 𝜈) = (L 𝑋 𝜔) ∧ 𝜈 + 𝜔 ∧ (L 𝑋 𝜈) , (A.2.2)
L 𝑓 𝑋 𝜔 = 𝑓 L 𝑋 𝜔 + 𝑑𝑓 ∧ (𝜄𝑋 𝜔) ,
47
Paper A. Convexity Properties of Harmonic Functions
We refer the reader to [Fra12, p.139] where the result is proved for more general
variations of submanifolds.
where 𝑆𝑡 = 𝑓 −1 (𝑡) and 𝜎𝑡 is its surface measure. The goal of this section is to
show that 𝐻 satisfies a convexity property.
We will need the following version of a result of Hörmander, [Hör18, p. 38
Thm. 1]: Let 𝑓 be a parameterizing function and 𝑆𝑡 and 𝜎𝑡 be as above. Then there
exists a function 𝐾 only depending on 𝑓 such that for any harmonic function ℎ,
2
grad𝑆𝑡 ℎ − ℎ2𝑛
∫ ∫
𝜎𝑡 ≥ −𝐾 (𝑡) |grad ℎ| 2 vol , (A.2.4)
𝑆𝑡 |grad 𝑓 | 𝑅𝑡
48
A.2. The Convexity Result
where grad𝑆𝑡 ℎ and ℎ 𝑛 denote the gradient with respect to 𝑆𝑡 and the unit normal
derivative, respectively. Inequality (A.2.4) is proved in the end of this section, see
Lemma A.2.11. The following theorem is the main result of the paper; it shows
that for any harmonic function ℎ the 𝐿 2 -norms 𝐻 satisfy some convexity inequality
only depending on the function 𝑓 .
Theorem A.2.5. Let (M, g) be a Riemannian manifold, and let the functions ℎ,
𝑓 and 𝐻 be as described earlier in this section. Define the functions 𝑚, 𝑀 and 𝑔
such that:
Δ𝑓
4. 𝑚 (𝑡) ≤ ≤ 𝑀 (𝑡) on 𝑆𝑡 , and
|grad 𝑓 | 2
D E
Δ𝑓 grad 𝑓
5. grad , ≥ 𝑔 (𝑡) on 𝑆𝑡 .
|grad 𝑓 | 2 |grad 𝑓 | 2
(log 𝐻 (𝑡)) 00 + (𝐾 (𝑡) + 𝑀 (𝑡)) (log 𝐻 (𝑡)) 0 ≥ 𝑔 (𝑡) + 𝑚 (𝑡) 𝑀 (𝑡) + 𝑚 (𝑡) 𝐾 (𝑡) .
(A.2.6)
The following lemma takes care of the last term in the above computation and
finishes the proof of Equation (A.2.5). In the literature a version of the next lemma
is known as the first variation of area for hypersurfaces (see [CLN06, p. 51]).
49
Paper A. Convexity Properties of Harmonic Functions
Proof. Using the properties of the Lie derivative given by Equation (A.2.2) and
(A.2.3) together with the definition of the divergence we obtain
grad 𝑓
L grad 𝑓 (|grad 𝑓 | 𝜎𝑡 ) = , grad |grad 𝑓 | 𝜎𝑡 + L grad 𝑓 (𝜎𝑡 )
| grad 𝑓 | 2 |grad 𝑓 | 2 | grad 𝑓 |
50
A.2. The Convexity Result
2
Using that |grad ℎ| 2 = 2ℎ2𝑛 + grad𝑆𝑡 ℎ − ℎ2𝑛 and denoting
Δ𝑓 grad 𝑓
𝐺 (𝑥) = grad , ,
| grad 𝑓 | 2 |grad 𝑓 | 2
we have
∫ ∫
00 2
1
𝐻 (𝑡) = 2 ℎ2𝑛 /|grad 𝑓 | 𝜎𝑡 + 2 grad𝑆𝑡 ℎ − ℎ2𝑛 𝜎𝑡
𝑆𝑡 𝑆𝑡 |grad 𝑓 |
∫ 2 ∫
1 Δ𝑓
+ ℎ2 2
|grad 𝑓 | 𝜎𝑡 + ℎ2 𝐺 |grad 𝑓 | 𝜎𝑡
2 𝑆𝑡 |grad 𝑓 | 𝑆𝑡
∫ 2
ℎ𝑛 ℎΔ 𝑓
+2 + |grad 𝑓 | 𝜎𝑡 .
𝑆𝑡 |grad 𝑓 | 2 |grad 𝑓 | 2
and
2
ℎ2 Δ 𝑓
∫ ∫
1 0 2 1 2 Δ𝑓
𝐻 (𝑡) − 2𝐷 (𝑡) 2
|grad 𝑓 | 𝜎𝑡 − ℎ |grad 𝑓 | 𝜎𝑡
2 𝑆𝑡 |grad 𝑓 | 2 𝑆𝑡 |grad 𝑓 | 2
ℎ2𝑛
∫
≤2 𝜎𝑡 𝐻 (𝑡) . (A.2.9)
𝑆𝑡 | grad 𝑓 |
51
Paper A. Convexity Properties of Harmonic Functions
Applying the estimates (4) and (5) and noting the fact that 𝐾 + 𝑀 is non-negative,
implies
Dividing both sides of the equation by 𝐻 (𝑡) 2 , we obtain (A.2.6) and thus finish the
proof of Theorem A.2.5.
2
grad𝑆𝑡 ℎ − ℎ2𝑛
∫
𝜎𝑡 ≥ −𝐾 (𝑡) 𝐷 (𝑡) + 𝑘 (𝑡) 𝐻 (𝑡) ,
𝑆𝑡 |grad 𝑓 |
to obtain a better result. Using this inequality in the proof above replaces Inequality
(A.2.10) with
(log 𝐻 (𝑡)) 00 + (𝐾 (𝑡) + 𝑀 (𝑡)) (log 𝐻 (𝑡)) 0 ≥ 𝑔 (𝑡) + 𝑚 (𝑡) (𝑀 (𝑡) + 𝐾 (𝑡)) + 2𝑘 (𝑡)
52
A.2. The Convexity Result
A.2.3 Corollaries
Before proving Inequality (A.2.4), we provide some corollaries and remarks.
Corollary A.2.9. Let 𝑓 : Ω → [0, ∞) be a convex and parameterizing function.
Then 𝑚 is non-negative, and hence 𝐻 is increasing. In this case, the sets 𝑅𝑡 =
𝑓 −1 ( [0, 𝑡)) are (totally) convex.
Proof. That 𝑓 is convex means that the Hessian of 𝑓 satisfies ∇2 𝑓 (𝑣, 𝑣) ≥ 0 for
𝑑2
𝑓 (𝛾 (𝑠)) = ∇2 𝑓 ( 𝛾¤ (𝑠) , 𝛾¤ (𝑠)) ≥ 0.
𝑑𝑠2
Hence if 𝛾 is geodesic such that 𝛾 (0) = 𝑥 ∈ 𝑅𝑡 and 𝛾 (1) = 𝑦 ∈ 𝑅𝑡 , then
53
Paper A. Convexity Properties of Harmonic Functions
by using Lemma A.2.6. Hence if Δ 𝑓 2 = 𝑀 (𝑡) we get that 𝐹 0 (𝑡) = 0, and 𝐹 (𝑡)
|grad 𝑓 |
is constant.
For the last claim we utilize that the manifold is locally harmonic if and only
if the geodesic spheres centered at 𝑝 have constant mean curvature (see [Kre10,
Prop. 3.1.2]). The mean curvature 𝐻𝑡 of a hypersurface given as a level surface of
a function 𝑓 at the value 𝑡 satisfies
grad 𝑓 grad 𝑓
Δ 𝑓 − ∇2 𝑓 | grad 𝑓 | , | grad 𝑓 |
𝐻𝑡 = −
𝑛 |grad 𝑓 |
1 grad 𝑓
= − div ,
𝑛 |grad 𝑓 |
(see [Lee18, Exercise 8-2 b)]). Since the gradient of 𝑟 has norm one we get
𝐻𝑡 = − 𝑛1 Δ 𝑓 , which proves the claim.
54
A.3. Examples
55
Paper A. Convexity Properties of Harmonic Functions
A.3 Examples
Although Theorem A.2.5 is rather technical, it has several novel applications which
are explored in this section. As stated in the introduction, we start with an ap-
plication to geodesic spheres on Riemannian manifolds. In this case, we will use
results from comparison geometry to find the functions 𝑀, 𝑚, 𝑔 and 𝐾 in Theorem
A.2.5. Thereafter we consider level surfaces of 1-homogeneous functions which
cover ellipsoids with constant eccentricity. The distance function for closed lower
dimensional spheres will be an example of level surfaces that are not homeomor-
phic to spheres. Finally, we will show if we have upper and lower estimates on the
sectional curvature we have that eigenfunctions of the Laplacian corresponding to
positive eigenvalues satisfy the same type of convexity as harmonic functions.
where 𝑥 𝑖 are the coordinate functions in the normal neighborhood. In this example
we let the function 𝑓 given in Theorem A.2.5 be 𝑓 (𝑥) = 𝑟 (𝑥). The level surfaces
of 𝑟 are precisely the geodesic spheres 𝑆𝑡 = 𝑟 −1 (𝑡) of radius 𝑡. Moreover, the
Riemannian metric in polar coordinates can be written as g = 𝑑𝑟 2 + 𝑔𝑡 where 𝑔𝑡
is the induced metric on 𝑆𝑡 . Let Inj ( 𝑝) denote the injectivity radius at the point
𝑝, i.e. the supremum over the radius of all balls centered at 0 ∈ 𝑇 𝑝 M where the
exponential map is injective. Then 𝑟 is smooth in 𝐵Inj( 𝑝) ( 𝑝) \ {𝑝}. We will use
the notation √
sin K𝑡
√ , when K > 0
K
sin K (𝑡) = 𝑡, when K = 0 (A.3.1)
√
sinh −K𝑡
when K < 0,
√
,
−K
cos K (𝑡)
cos K (𝑡) = (sin K (𝑡)) 0 , and cot K (𝑡) = (log (sin K (𝑡))) 0 = .
sin K (𝑡)
Theorem A.3.1. Assume that (M, g) is an 𝑛-dimensional Riemannian manifold
with 𝑝 ∈ M and with sectional curvature Sec satisfying
𝜅 ≤ Sec ≤ K, (A.3.2)
56
A.3. Examples
where 𝜅, K ∈ R. Set 𝑅 := min Inj ( 𝑝) , √𝜋 if K > 0 and 𝑅 := Inj ( 𝑝) whenever
2 K
K ≤ 0. Let ℎ be a harmonic function defined
∫ on 𝐵 𝑅 ( 𝑝). If 𝑟 (𝑥) = dist (𝑥, 𝑝) is
the radial distance function and 𝐻 (𝑡) = 𝑟 −1 (𝑡) ℎ2 𝜎𝑡 , then
Moreover, we have
(log 𝐻 (𝑡)) 00 + (cot K (𝑡) + (𝑛 + 1) (cot 𝜅 (𝑡) − cot K (𝑡))) (log 𝐻 (𝑡)) 0 (A.3.4)
≥ − (𝑛 − 1) K + (𝑛 − 2) min (K, 0) − (𝑛 − 1) (K − 𝜅) ,
Remark A.3.2. 1. Note that Equation (A.3.3) implies that 𝐻 is increasing.
When K > 0 Inequality (A.3.3) is also valid when 𝑡 < 𝑅˜ := min Inj ( 𝑝) , √𝜋 .
K
However, when √𝜋 < 𝑡 < √𝜋 the function cot K (𝑡) is negative. To
2 K K
see that 𝐻 is not necessarily increasing for values 𝑡 > 𝑅 we consider the
unit sphere M = 𝑆 2 and ℎ (𝑥) = 1. In this case, we have precisely that
𝐻 0 (𝑡) = cot (𝑡) 𝐻 (𝑡). This shows the necessity of the constraint 𝑅 since
cot (𝑡) 𝐻 (𝑡) is negative whenever 𝑡 > 𝑅.
2. Equation (A.3.4) is slightly better than the one presented in [Man13, Thm. 2.2
(ii)] whenever K > 0 and K ≠ 𝜅. The Inequality (A.3.3) in [Man13] is proved
with the right hand side equal to
𝑛
− (𝑛 − 1) K − (𝑛 − 1) 1 + (𝑛 − 2) (K − 𝜅)
2
instead of our improvement − (𝑛 − 1) K − (𝑛 − 1) (K − 𝜅).
Proof. To prove this theorem, we will apply Theorem A.2.5 and use comparison
geometry to find 𝑀, 𝑚, 𝑔 and 𝐾. When K < 0, we will need to adapt the Theorem
A.2.5 slightly, see Remark A.2.7.
Rauch Comparison Theorem states that the following estimate hold under the
sectional curvature bounds given in (A.3.2)
The proof of Rauch Comparison Theorem can be found in [Pet16, Thm. 6.4.3] or
[Lee18]. Inequality (A.3.5) implies that
57
Paper A. Convexity Properties of Harmonic Functions
To find 𝑔 we use the following identity, see [Pet16, Equation (2) p. 276],
2
hgrad Δ𝑟, grad 𝑟i = − ∇2𝑟 − Ric (grad 𝑟, grad 𝑟) ,
for all functions with | grad 𝑟 | = 1. Using the Rauch Comparison Theorem we
obtain
2
(𝑛 − 1) cot2K (𝑡) ≤ ∇2𝑟 ≤ (𝑛 − 1) cot2𝜅 (𝑡) .
Hence we conclude that
Proof. Fix 𝑡0 . Using Lemma A.2.11 with the extension of 𝜕𝑛 to 𝐵𝑡0 be equal to
𝜑 (𝑡0 ) grad 𝑟
𝜑 (𝑟 ( 𝑥)) gives
∫
2
grad𝑆 ℎ − ℎ2𝑛 𝜎𝑡
𝑆𝑡
∫
2 grad 𝑟 grad 𝑟 grad ℎ
= 𝜑 (𝑡0 ) | grad ℎ| div − 2 ∇ grad ℎ , vol .
𝐵𝑡 𝜑 (𝑟 (𝑥)) |grad ℎ| 𝜑 (𝑟 (𝑥)) |grad ℎ|
Using the product rule for the divergence and covariant derivative finishes the
proof.
1
Using Lemma A.3.3 with 𝜑 (𝑡) = sinK (𝑡) implies that
∫ ∫
2
1
| grad𝑆𝑡 ℎ| − ℎ2𝑛 𝜎𝑡 = | grad ℎ| 2 (sin K (𝑠) Δ𝑟 + sin K (𝑠) cot K (𝑠))
𝑆𝑡 sin K (𝑡) 𝐵𝑡
− 2 sin K (𝑠) ∇2𝑟 (grad ℎ, grad ℎ) − cot K (𝑠) sin K (𝑠) ℎ2𝑛 vol .
58
A.3. Examples
is decreasing for 𝑡 < 𝑅. Using integration by part on the last term together with the
observation that ∫
𝐻 0 (𝑡) − 𝑆 ℎ2 Δ𝑟𝜎𝑡
𝐷 (𝑡) = 𝑡
2
we get that
∫
| grad𝑆𝑡 ℎ| 2 − ℎ2𝑛 𝜎𝑡 ≥ 2 (cot K (𝑡) − cot 𝜅 (𝑡)) 𝐷 (𝑡) + (𝑛 − 2) cot K (𝑡) 𝐷 (𝑡)
𝑆𝑡
∫ 𝑡
K
+ (𝑛 − 2) sin K (𝑠) 𝐷 (𝑠) 𝑑𝑠
sin K (𝑡) 0
≥ (𝑛 cot K (𝑡) − 2 cot 𝜅 (𝑡)) 𝐷 (𝑡)
∫
𝐻 0 (𝑠) − 𝑆 ℎ2 Δ𝑟𝜎𝑠
∫ 𝑡 !
(𝑛 − 2) min(K, 0)
+ sin K (𝑠) 𝑠
𝑑𝑠
sin K (𝑡) 0 2
min(K, 0)
≥ (𝑛 cot K (𝑡) − 2 cot 𝜅 (𝑡)) 𝐷 (𝑡) + (𝑛 − 2) 𝐻 (𝑡) ,
2
where we have used that
Setting
𝐾 (𝑡) = 2 cot 𝜅 (𝑡) − 𝑛 cot K (𝑡)
we finish the case when K > 0. When K < 0, we use Remark A.2.7 with
min (K, 0)
𝑘 (𝑡) = (𝑛 − 2) .
2
Hence we have that
59
Paper A. Convexity Properties of Harmonic Functions
and
Using that
cot2K (𝑡) − cot2𝜅 (𝑡) ≥ 𝜅 − K,
see [Man13, p.652], we get that
Let us briefly discuss the sharpness of our results in Theorem A.3.1. Remem-
ber that in R2 the homogeneous harmonic polynomials can be written in polar
coordinates as
ℎ (𝑡, 𝜃) = 𝑡 𝑘 (𝑎 cos (𝑘𝜃) + 𝑏 sin (𝑘𝜃)) ,
where 𝑎, 𝑏 ∈ R. In this case we have that K = 𝜅 = 0 and Theorem A.3.1 becomes
1
(log 𝐻 (𝑡)) 00 + (log 𝐻 (𝑡)) 0 ≥ 0.
𝑡
For the homogeneous polynomials we have that the inequality is sharp. Let K = 𝜅
and define tan K (𝑡) = cotK1 (𝑡) . The equivalent of homogeneous harmonic polyno-
mials for the two dimensional constant curvature spaces are
𝑡 𝑘
ℎ (𝑡, 𝜃) = tan K (𝑎 cos (𝑘𝜃) + 𝑏 sin (𝑘𝜃)).
2
In this case we have that Theorem A.3.1 becomes
and again we have that for the functions ℎ we have that the inequality is sharp.
When K ≥ 0 we have that for the constant harmonic function Theorem A.3.1 is
sharp for all 𝑛. In the case when K < 0 doing the example of constant harmonic
functions would suggest that the inequality could be improved to the right hand
side being − (𝑛 − 1) K. When K < 0 and 𝑛 ≥ 2 the radial solutions using spherical
harmonics can be found in [Min75, Prop. 4.2]. However, the solutions are expressed
using hypergeometric functions and it is thus no trivial task to see if the result is
sharp for these solutions.
60
A.3. Examples
It is clear from its definition that Inn(𝑆) is star convex with respect to the origin.
A function 𝑔 : R𝑛 → R is called 𝑘-homogeneous for 𝑘 ∈ Z if 𝑔(𝑡x) = 𝑡 𝑘 𝑔(x)
for all 𝑡 ≥ 0. Define 𝑓 to be 𝑓 : R𝑛 → [0, ∞) by requiring that 𝑓 ≡ 1 on 𝑆 and
𝑓 (𝑡x) := 𝑡 · 𝑓 (x) = 𝑡, x ∈ 𝑆, 𝑡 ≥ 0.
Proof. To apply Theorem A.2.5 we will use the fact that the derivative of a 𝑘-
homogeneous function is a (𝑘 − 1)-homogeneous function. Thus the derivatives of
𝑓 satisfy 𝑓 𝑥𝑖 (𝑡x) = 𝑓 𝑥𝑖 (x), 𝑓 𝑥𝑖 𝑥 𝑗 (𝑡x) = 1𝑡 𝑓 𝑥𝑖 𝑥 𝑗 (x) and 𝑓 𝑥𝑖 𝑥 𝑗 𝑥𝑘 (𝑡x) = 𝑡12 𝑓 𝑥𝑖 𝑥 𝑗 𝑥𝑘 (x).
Note also that all 𝑘-homogeneous functions are uniquely determined by their re-
strictions to the unit sphere 𝑆 𝑛−1 ⊂ R𝑛 . This implies that the estimates we need
to satisfy in Theorem A.2.5 are given by taking the minimum or maximum of
the derivatives over 𝑆 𝑛−1 . Hence we can take 𝑚(𝑡) = 𝐶1 /𝑡, 𝑀 (𝑡) = 𝐶2 /𝑡 and
𝑔(𝑡) = 𝐶3 /𝑡 2 for some constants 𝐶1 , 𝐶2 and 𝐶3 .
61
Paper A. Convexity Properties of Harmonic Functions
Fix 𝑡0 > 0. To find 𝐾 (𝑡) we extend the normal vector field on 𝑆𝑡0 to the inside
𝑓 grad 𝑓
Inn(𝑆𝑡0 ) by 𝜕𝑛 = 𝑡0 |grad 𝑓 | . Then by Equation (A.2.11) we obtain
2
∫ grad𝑆𝑡 ℎ − ℎ2𝑛
0
𝜎𝑡0
𝑆𝑡0 |grad 𝑓 |
∫
2 𝑓 grad 𝑓 𝑓 grad 𝑓
= | grad ℎ| div − 2 ∇grad ℎ , grad ℎ vol
𝑅𝑡0 𝑡0 |grad 𝑓 | 2 𝑡0 |grad 𝑓 | 2
∫
−𝐶4
≥ |grad ℎ| 2 vol ,
𝑡0 𝑅𝑡
for some constant 𝐶4 where the last inequality follows from the components of
𝑓 grad 𝑓
|grad 𝑓 | being 1-homogeneous in each component. Using Theorem A.2.5 we obtain
Inequality (A.3.6) with 𝐴 = 𝐶2 + 𝐶4 and 𝐵 = 𝐶3 + 𝐶1𝐶2 + 𝐶1𝐶4 .
𝑡𝐻 0 (𝑡)
𝐴−1 𝐵
𝑁 𝐻 (𝑡) := 𝑡 +
𝐻 (𝑡) 𝐴−1
is increasing.
62
A.3. Examples
where
𝑡1 𝑡1
(1 − 𝛼) log + 𝛼 log = 0.
𝑡2 𝑡0
In this case, the function
𝑡𝐻 0 (𝑡)
𝑁 𝐻 (𝑡) := + 𝐵 log (𝑡)
𝐻 (𝑡)
is increasing.
Proof. Assume first that 𝐴 > 1. By using the integrating factor 𝑡 𝐴 inequality
(A.3.6) becomes
0
𝐴 0 𝐵 𝐴−1
𝑡 (log 𝐻 (𝑡)) + 𝑡 ≥ 0.
𝐴−1
𝑡01−𝐴 − 𝑡11−𝐴
∫ 𝑡1
log 𝐺 (𝑡1 ) − log 𝐺 (𝑡0 ) = 𝛾 (𝑡) 𝑡 −𝐴 𝑑𝑡 ≤ 𝛾 (𝑡1 ) .
𝑡0 𝐴−1
Similarly,
𝑡11−𝐴 − 𝑡21−𝐴
log 𝐺 (𝑡2 ) − log 𝐺 (𝑡1 ) ≥ 𝛾 (𝑡1 ) .
𝐴−1
We also know that
𝛼 𝑡01−𝐴 − 𝑡11−𝐴 = (1 − 𝛼) 𝑡11−𝐴 − 𝑡21−𝐴 .
𝑡 2 00
log 𝐻 𝑒 𝑡 + 𝐵 ≥ 0.
2
63
Paper A. Convexity Properties of Harmonic Functions
𝑡2
Since 𝐻 (𝑒 𝑡 ) + 2𝐵 is convex we get
2 2
/2+(1−𝛼) 𝐵 (log 𝑡0 ) 2 /2
𝑒 𝐵 (log 𝑡1 ) /2
𝐻 (𝑡1 ) ≤ 𝑒 𝛼𝐵 (log 𝑡0 ) 𝐻 (𝑡0 ) 𝛼 𝐻 (𝑡2 ) 1−𝛼 .
Using that
(1 − 𝛼) log (𝑡2 ) = log (𝑡1 ) − 𝛼 log (𝑡0 )
and
𝛼 log (𝑡2 ) = log (𝑡1 ) − (1 − 𝛼) log (𝑡2 )
we get that
𝐵 𝑡0 𝑡2
𝐻 (𝑡1 ) ≤ exp − log log 𝐻 (𝑡0 ) 𝛼 𝐻 (𝑡2 ) 1−𝛼 .
2 𝑡1 𝑡1
𝑡 𝐻 0 (𝑡)
In this case, the function 𝑁 𝐻 (𝑡) = 𝐻 (𝑡) + 𝐵 log (𝑡) is increasing.
𝑎2 tr ( 𝐷 −2 ) −1 𝑎12 tr ( 𝐷 −2 ) −1
We may now set 𝑀 (𝑡) = 𝑛 𝑡 and 𝑚 (𝑡) = 𝑡 , such that 𝑀 and 𝑚
are the functions in Equation (4).
64
A.3. Examples
2
tr 𝐷 −2 2 tr 𝐷 −2 𝑓 2 (x) 𝐷 −3 x
Δ𝑓 grad 𝑓 1
grad , = 2 + −
|grad 𝑓 | 2 |grad 𝑓 | 2 𝑓 (x) 𝐷 −2 x
2
𝐷 −2 x
6
1 + 𝑎 21 tr 𝐷 −2 − 2 𝑎 4𝑛 /𝑎 21 tr 𝐷 −2
≥ .
𝑓 2 (x)
1 + 𝑎 21 tr 𝐷 −2 − 2 𝑎 4𝑛 /𝑎 21 tr 𝐷 −2
𝑔 (𝑡) = .
𝑡2
Next we want to use Lemma A.2.11 to find the function 𝐾. Fix 𝑡0 and extend
𝑓 (x) grad 𝑓
the unit normal of the ellipsoid 𝑆𝑡0 to the inside of 𝑆𝑡0 by 𝜕𝑛 = 𝑡0 |grad 𝑓 | . Then
2 !
2 𝑓 2 (x) 𝐷 −3 x tr 𝐷 −2 𝑓 2 (x)
𝑓 (x) grad 𝑓 1
div = 2− +
𝑡0 |grad 𝑓 | 2 𝑡0 𝐷 −2 x
4
𝐷 −2 x
2
!
1 𝑎2
≥ 2 − 2 𝑛2 + 𝑎 21 tr 𝐷 −2 .
𝑡0 𝑎1
65
Paper A. Convexity Properties of Harmonic Functions
and
! !
𝑎 21
𝑎 2𝑛 𝑎 4 𝑎 4
1
2
𝐵 = 4 2 − 2 + 3𝑎 21 + 3𝑎 2𝑛 − 2 2 − 4 2 tr 𝐷 −2 + 𝑎 21 𝑎 2𝑛 − 𝑎 21 tr 𝐷 −2 .
𝑛
𝑎 𝑛 𝑎1 𝑎1 𝑎𝑛
Note that 𝐴 = 1 if and only if 𝑓 (x) = 𝑐 |x|. In this case, we are integrating over
spheres. In all other cases we have 𝐴 > 1.
Let ℎ be a harmonic function. Define ℎ (𝐷y) = 𝑣 (y). Then div 𝐷 −2 grad 𝑣 =
0. By using change
𝐷 −2 x
∫
𝐻 (𝑡) = ℎ2 (x) 𝜎𝑡
𝑆𝑡 𝐷 −1 x
h𝐷 −2 y, yi
∫
= 𝑣 2 (y) 𝜎˜𝑡 ,
𝐷 −1 (𝑆𝑡 ) |y| 2
where 𝐷 −1 (𝑆𝑡 ) is the sphere with radius 𝑡 and 𝜎˜𝑡 is the spherical measure. This is
the same measure as was considered in [GL86], however they only considered the
case the when div ( 𝐴 (x) grad 𝑢) = 0 when 𝐴 (0) = 𝐼.
𝑆 𝑘 = (𝑥 1 , . . . , 𝑥 𝑛 ) : 𝑥 12 + · · · + 𝑥 2𝑘+1 = 1, 𝑥 𝑘+2 = · · · = 𝑥 𝑛 = 0 .
66
A.3. Examples
where q
𝑟 𝑘+1 (x) = 𝑥 12 + · · · + 𝑥 2𝑘+1 .
This is a special case of Fermi coordinates, see [Cha06], where the submanifold is
𝑆 𝑘 . In the case when 𝑘 = 0 the set 𝑆 𝑘 consists only of two points. In this case, the
function 𝑓 (x) is the usual distance function from x to the nearest of the two points
in 𝑆 0 . When 𝑘 = 1 and 𝑛 = 3 the level surfaces 𝑆𝑡 = 𝑓 −1 (𝑡) for small 𝑡 are tori.
Note that 𝑓 is not smooth along the set of points
Hence we will only consider values in the range of 𝑓 in [0, 1 − 𝜀) for some 0 <
𝜖 < 1. ∫ Let ℎ : 𝑓 −1 ( [0, 1 − 𝜀)) → R be a harmonic function and consider
𝐻 (𝑡) = 𝑆 ℎ2 (x) 𝜎𝑡 , where 𝑆𝑡 = 𝑓 −1 (𝑡). Again, we wish to apply Theorem A.2.5.
𝑡
The gradient of 𝑓 is given by
x grad 𝑟 𝑘+1
grad 𝑓 = − .
𝑓 (x) 𝑓 (x)
We can similarly compute the gradient of the Laplacian and we find that
𝑛 − 1 − 𝑘/𝜀 𝑛 − 1 − 𝑘/(2 − 𝜀)
𝑚 (𝑡) = , 𝑀 (𝑡) = ,
𝑡 𝑡
67
Paper A. Convexity Properties of Harmonic Functions
Setting
1 1
𝐶 =1+𝑘 −
𝜀 2−𝜀
and
(2𝑛 − 3) (1 − 𝜀) 2
𝐵=𝑘 − 2
𝜀 (2 − 𝜀) 𝜀
we get that 𝐻 satisfy the convexity property
𝑆𝑡 = 𝑓 −1 (𝑡) = 𝑟 −1
M (𝑡) × 𝑆 1/𝑘 .
68
A.3. Examples
and
(log 𝐻 (𝑡)) 00 + (cot K (𝑡) + (𝑛 + 1) (cot 𝜅 (𝑡) − cot K (𝑡))) (log 𝐻 (𝑡)) 0
≥ − (𝑛 − 1) K + (𝑛 − 2) min (K, 0) − (𝑛 − 1) (K − 𝜅) .
69
Paper B
Abstract
Let 𝑢 𝑘 be a solution of the Helmholtz equation with the wave number 𝑘,
Δ𝑢 𝑘 + 𝑘 2 𝑢 𝑘 = 0, on (a small ball in) either R𝑛 , S𝑛 , or H𝑛 . For a fixed
point 𝑝, we define 𝑀𝑢𝑘 (𝑟) = max𝑑 ( 𝑥, 𝑝) ≤𝑟 |𝑢 𝑘 (𝑥)|. The following three ball
inequality
𝑀𝑢𝑘 (2𝑟) ≤ 𝐶 (𝑘, 𝑟, 𝛼) 𝑀𝑢𝑘 (𝑟) 𝛼 𝑀𝑢𝑘 (4𝑟) 1−𝛼
is well known, it holds for some 𝛼 ∈ (0, 1) and 𝐶 (𝑘, 𝑟, 𝛼) > 0 independent of
𝑢 𝑘 . We show that the constant 𝐶 (𝑘, 𝑟, 𝛼) grows exponentially in 𝑘 (when 𝑟 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.
B.1 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 𝑓 be a holomorphic function in the disk D𝑅 = {𝑧 ∈ C : |𝑧| < 𝑅}.
Then its maximum function
73
Paper B. Three Ball Theorem
for any 𝑟 0 , 𝑟 1 < 𝑅 and 𝛼 ∈ (0, 1). The proof of (B.1.1) is based on the fact that
log | 𝑓 | is a subharmonic function. Note that by the maximum principle (B.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 [Lan63] of Landis and to the survey [Ale+09]. Three
spheres theorems for the gradients of harmonic functions and, more generally,
harmonic differential forms can be found in [Mal00]. The three ball theorem
for solutions of the Helmholtz equation on Riemannian manifolds was studied in
[Man13]. 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
[Log18a; Log18b].
We consider the Helmholtz equation
Δ𝑀 𝑢 𝑘 + 𝑘 2𝑢 𝑘 = 0 (B.1.2)
74
B.2. The Three Ball Inequality
and call (B.1.5) the reverse three ball inequality. A more general result can be
found in [ALM16, Section 1.3], where delicate questions regarding localization of
solutions of the Schrödinger equation are considered. We deduce (B.1.5) from a
similar estimate for the 𝐻 1 norms where the constant does not depend on 𝑘. The 𝐻 1
estimate is proved by a Carleman estimate, that can be found in [Isa17; BNO19].
The structure of the paper is as follows. We prove the sharpness of the three
ball inequality (B.1.4) in Section B.2. In Section B.2.1 we present the argument for
the Euclidean space, while the arguments for the hyperbolic space and the sphere
are given in Section B.2.2. We prove inequality (B.1.5) in Section B.3. Finally, we
list some properties of the Bessel functions, and collect some comparison theorems
for solutions of the Sturm-Liouville equations in Appendix.
Acknowledgements
The authors are very grateful to the anonymous referee for useful comments. Their
suggestions, in particular, substantially improved the presentation in Section B.3.
75
Paper B. Three Ball Theorem
In order to study the constant in the three ball inequality (B.1.4) that involves
the maximum function, we analyze the behavior of the Bessel functions. From
now on we assume that 𝑛 = 2 for simplicity. Our results can be easily extended to
all dimensions 𝑛 ≥ 2.
√
Lemma B.2.1. Let 0 < 𝛾 < 𝛿 < 1 and set 𝛽 = 1 − 𝛿2 . Then there exists a
constant 𝐶, only depending on 𝛾 and 𝛿, such that for any positive number 𝑚 we
have 𝛾 𝛽𝑚
𝐽𝑚 (𝛾𝑚) < 𝐶 𝐽𝑚 (𝛿𝑚).
𝛿
Proof. The strategy is to apply the Sturm comparison theorem, see Theorem B.5.2.
We apply the theorem to the Bessel function 𝐽𝑚 solving the Bessel equation
0 0 𝑥2 − 𝑚2
𝑥𝐽𝑚 (𝑥) + 𝐽𝑚 (𝑥) = 0,
𝑥
and a solution of the Euler equation
𝛿2 − 1 𝑚 2
0 0
(𝑥𝑦 (𝑥)) + 𝑦 (𝑥) = 0. (B.2.1)
𝑥
Let 𝑦 be the solution of (B.2.1) satisfying the initial conditions
We know that 𝐽𝑚 is positive and increasing on [0, 𝑚]. The latter can be verified by
using the second derivative test and inserting the argument of the first maximum
of 𝐽𝑚 into the equation
00 0
𝑥 2 𝐽𝑚 (𝑥) + 𝑥𝐽𝑚 (𝑥) + (𝑥 2 − 𝑚 2 )𝐽𝑚 (𝑥) = 0.
𝑥 2 − 𝑚 2 ≤ (𝛿2 − 1)𝑚 2 .
Hence all the conditions in the comparison theorem are satisfied and we conclude
that 𝑦 (𝑥) ≤ 𝐽𝑚 (𝑥) on [𝛾𝑚, 𝛿𝑚].
Any solution of the Euler equation (B.2.1) is on the form
𝑦(𝑥) = 𝑐 1 𝑥 𝑚𝛽 + 𝑐 2 𝑥 −𝑚𝛽 .
Using that
0
𝐽𝑚 (𝛾𝑚) = 𝑦 (𝛾𝑚) > 0 and 𝐽𝑚 (𝛾𝑚) = 𝑦 0 (𝛾𝑚) > 0,
76
B.2. The Three Ball Inequality
and
𝑦(𝛿𝑚) > 𝑞𝑐 1 (𝛿𝑚) 𝑚𝛽 ,
where 𝑞 = 𝑞(𝛾, 𝛿) > 0. It follows that
2 𝛾 𝑚𝛽 2 𝛾 𝑚𝛽
𝐽𝑚 (𝛾𝑚) < 2𝑐 1 (𝛾𝑚) 𝑚𝛽 < 𝑦 (𝛿𝑚) < 𝐽𝑚 (𝛿𝑚) .
𝑞 𝛿 𝑞 𝛿
Theorem B.2.2. Assume that there is an 𝛼 ∈ (0, 1) and a constant 𝐶 (𝑘, 𝑟, 𝛼) such
that for any solution 𝑢 𝑘 of the Helmholtz equation (B.1.2) the following three ball
inequality holds
We now use the fact that for 𝑚 > 0 the maximum of 𝐽𝑚 (𝑥) is attained in the interval
(𝑚, 𝑚 (1 + 𝜀 (𝑚))), where 𝜀 (𝑚) → 0 as 𝑚 → ∞. 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 B.4. We choose 𝑚 0 such that
𝜀 (𝑚) ≤ 1/3 when 𝑚 ≥ 𝑚 0 . Assume first that
77
Paper B. Three Ball Theorem
This implies 𝑘𝑟 < 5𝑚/6 and 2𝑘𝑟 > 4/3𝑚. Then 𝑀𝑢𝑘 (4𝑟) = 𝑀𝑢𝑘 (2𝑟) and we can
reduce (B.2.2) to
𝑀𝑢𝑘 (2𝑟) 𝛼
≤ 𝐶 (𝑘, 𝑟, 𝛼).
𝑀𝑢𝑘 (𝑟)
1+𝛾 11
Set 𝛾 = 5/6 and 𝛿 = 2 = 12 . Applying Lemma B.2.1 together with
for some positive constant 𝑑 that can be computed. Finally, since 𝑚 > 6𝑘𝑟/5 we
get the required estimate when 𝑟 > 𝑘 −1 𝑚 1 .
Now for 𝑟 ≤ 𝑘 −1 𝑚 1 we consider the solution 𝑢 𝑘 (𝑟, 𝜃) = 𝐽0 (𝑘𝑟). Then 𝑀𝑢𝑘 (𝑟) =
𝐽0 (0) since
𝐽0 (0) = max |𝐽0 (𝑥)|,
𝑥 ≥0
and we conclude that 𝐶 (𝑘, 𝑟, 𝛼) ≥ 1 for any 𝑟 > 0. Choosing 𝑐 < 𝑒 −𝛼𝑑𝑚1 we have
for all 𝑟 > 0 that
𝐶 (𝑘, 𝑟, 𝛼) ≥ 𝑐𝑒 𝛼𝑑𝑘𝑟 .
78
B.2. The Three Ball Inequality
Furthermore, we use the associated functions cos𝐾 (𝑟) = (sin𝐾 (𝑟)) 0 , cot𝐾 (𝑟) =
cos𝐾 (𝑟 ) 1
sin𝐾 (𝑟 ) , and tan𝐾 (𝑟) = cot𝐾 (𝑟 ) . Then the Laplacian of a simply connected 𝑛-
dimensional Riemannian manifold (𝑀, g) with constant sectional curvature 𝐾 is
given in polar coordinates by
𝑑2 𝑑 1
Δ𝑀 = + (𝑛 − 1) cot𝐾 (𝑟) + 2 Δ 𝑛−1 .
𝑑𝑟 2 𝑑𝑟 sin𝐾 (𝑟) S
In this section we work in dimension two. Assume that 𝑢 𝑘 (𝑟, 𝜃) = 𝑅 (𝑟) Θ(𝜃) is a
solution of the Helmholtz equation. Then 𝑅 (𝑟) satisfies the equation
00
𝑅 (𝑟) + cot𝐾 (𝑟) 𝑅 0 (𝑟)
2 2 Δ 1 Θ (𝜃)
sin𝐾 (𝑟) +𝑘 =− S = 𝑚2 . (B.2.3)
𝑅(𝑟) Θ (𝜃)
Let 𝜅 = 𝐾/𝑘 2 and let 𝐿 𝜅 ,𝑚 (𝜌) be the solution of the differential equation
sin2𝜅 (𝜌) 𝐿 00 0
𝜅 ,𝑚 (𝜌) + sin 𝜅 (𝜌) cos 𝜅 (𝜌) 𝐿 𝜅 ,𝑚 (𝜌)
+ sin2𝜅 (𝜌) − 𝑚 2 𝐿 𝜅 ,𝑚 (𝜌) = 0, (B.2.4)
where 𝐿 𝜅,𝑚 is well defined at 𝜌 = 0 and positive on some interval (0, 𝜀). Then
for 𝑚 > 0 we have 𝐿 𝜅 ,𝑚 (0) = 0. Note that when 𝐾 = 0 this equation becomes
the Bessel equation. Setting 𝑅 (𝑟) = 𝐿 𝜅,𝑚 (𝑘𝑟) we get a solution to (B.2.3). Then
(B.2.4) can be rewritten in the Sturm-Liouville form as
0 sin2𝜅 (𝜌) − 𝑚 2
sin 𝜅 (𝜌) 𝐿 0𝜅 ,𝑚 (𝜌) + 𝐿 𝜅 ,𝑚 (𝜌) = 0. (B.2.5)
sin 𝜅 (𝜌)
We begin by estimating the maximum point of 𝐿 𝜅 ,𝑚 from below. Let
(
∞, 𝜅≤0
𝑅𝜅 = 𝜋 .
√ , 𝜅 > 0
2 𝜅
Note that for 𝜌 ≤ 𝑅 𝜅 we have that sin 𝜅 (𝜌) is increasing, or equivalently that
cos 𝜅 (𝜌) ≥ 0.
Proposition B.2.3. Let 0 < 𝜌1∗ < 𝜌2∗ < · · · < 𝑅 𝜅 be the points where 𝐿 𝜅 ,𝑚 attains
local maximums and minimums before 𝑅 𝜅 . Then 𝐿 𝜅 ,𝑚 𝜌𝑖∗ is a decreasing
sequence in 𝑖. Moreover, the first local maximum 𝜌1∗ satisfies 𝜌1∗ ≥ sin−1
𝜅 (𝑚).
79
Paper B. Three Ball Theorem
By the second derivative test it is not possible to have a maximum before sin−1
𝜅 (𝑚),
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.5.3. The conditions in the oscillation theorem are satisfied
on the interval sin−1
𝜅 (𝑚) , 𝑅 𝜅 since sin 𝜅 (𝜌) > 0,
and 0
sin2𝜅 (𝜌) − 𝑚 2
sin 𝜅 (𝜌) = 2 cos 𝜅 (𝜌) sin 𝜅 (𝜌) > 0.
sin 𝜅 (𝜌)
Thus the sequence |𝐿 𝜅,𝑚 (𝜌𝑖∗ )| is decreasing.
Lemma B.2.5. Let 𝜌2 ∈ (0, 𝑅 𝜅√) and 𝛿 ∈ (0, 1) satisfy the inequality sin 𝜅 (𝜌2 ) ≤
𝛿𝑚. Then for 𝜌1 < 𝜌2 and 𝛽 = 1 − 𝛿2 we have the bound
" 𝛽𝑚 −𝛽𝑚 #
𝐿 𝜅 ,𝑚 (𝜌2 ) 1 tan 𝜅 (𝜌2 /2) tan 𝜅 (𝜌2 /2)
≥ − .
𝐿 𝜅,𝑚 (𝜌1 ) 2 tan 𝜅 (𝜌1 /2) tan 𝜅 (𝜌1 /2)
𝑚 2 (𝛿2 − 1)
(sin 𝜅 (𝜌)𝑦 0 (𝜌)) 0 + 𝑦(𝜌) = 0. (B.2.6)
sin 𝜅 (𝜌)
on the interval [𝜌1 , 𝜌2 ]. Let 𝑦 be the solution to (B.2.6) that satisfies the initial
conditions
𝑦(𝜌1 ) = 𝐿 𝜅 ,𝑚 (𝜌1 ) and 𝑦 0 (𝜌1 ) = 𝐿 0𝜅 ,𝑚 (𝜌1 ).
Then the comparison theorem implies that 𝐿 𝜅 ,𝑚 (𝜌2 ) > 𝑦(𝜌2 ).
The explicit solution to (B.2.6) is given by
𝛽𝑚 −𝛽𝑚
𝑦(𝜌) = 𝑐 1 tan 𝜅 (𝜌/2) + 𝑐 2 tan 𝜅 (𝜌/2).
80
B.2. The Three Ball Inequality
The first maximum 𝜌1∗ of 𝐿 𝜅 ,𝑚 satisfies sin 𝜅 (𝜌1∗ ) ≥ 𝑚 implying that 𝜌2 < 𝜌1∗ .
Therefore 𝐿 𝜅 ,𝑚 (𝜌1 ) > 0 and 𝐿 0𝜅 ,𝑚 (𝜌1 ) > 0. Thus we have the inequality
2𝛽𝑚 2𝛽𝑚
−𝑐 1 tan 𝜅 (𝜌1 /2) < 𝑐 2 < 𝑐 1 tan 𝜅 (𝜌1 /2),
since (tan 𝜅 (𝜌/2)) 0 > 0. We conclude that 𝑐 1 > 0 and similarly to Lemma B.2.1
we get
𝛽𝑚 2𝛽𝑚 −𝛽𝑚
𝐿 𝜅 ,𝑚 (𝜌2 ) > 𝑦(𝜌2 ) > 𝑐 1 (tan 𝜅 (𝜌2 /2) − tan 𝜅 (𝜌1 /2) tan 𝜅 (𝜌2 /2)).
The estimate of 𝑐 2 from below implies that
𝛽𝑚
𝐿 𝜅 ,𝑚 (𝜌1 ) = 𝑦(𝜌1 ) < 2𝑐 1 tan 𝜅 (𝜌1 /2).
Combining the last two inequalities gives the result.
Corollary B.2.6. Suppose
√ that 𝐾 > 0 and that 𝜌1 < 𝜌2 < min{𝑅 𝜅 , 𝑚𝛿} for some
2
𝛿 ∈ (0, 1). For 𝛽 = 1 − 𝛿 we have the estimate
" −𝛽𝑚 #
𝛽𝑚
𝐿 𝜅 ,𝑚 (𝜌2 ) 1 𝜌2 𝜌2
≥ − . (B.2.7)
𝐿 𝜅 ,𝑚 (𝜌1 ) 2 𝜌1 𝜌1
Proof. We note that sin 𝜅 (𝜌2 ) < 𝜌2 < 𝑚𝛿. Applying Lemma B.2.5 and using the
elementary inequality 𝑏 tan 𝑥 ≥ tan 𝑏𝑥 for 𝑏 ∈ (0, 1), the result follows since
√
tan 𝜅 (𝜌2 /2) tan( 𝜅𝜌2 /2) 𝜌2
= √ ≥ .
tan 𝜅 (𝜌1 /2) tan( 𝜅𝜌1 /2) 𝜌1
Corollary B.2.7. Let 𝐾 < 0 and suppose that
𝜌1 < 𝜌2 < min{𝑅 |𝜅 | , 2𝑚𝛿/3}
√
for some 𝛿 ∈ (0, 1). Then for 𝛽 = 1 − 𝛿2 and 𝐴 = sin 𝜅 (𝜌2 ) /𝜌2 we have
" 𝛽𝑚 −𝛽𝑚 #
𝐿 𝜅 ,𝑚 (𝜌2 ) 1 𝜌2 𝜌2
≥ − . (B.2.8)
𝐿 𝜅 ,𝑚 (𝜌1 ) 2 𝐴𝜌1 𝐴𝜌1
p
Proof. Since |𝜅|𝜌 < 𝜋/2 and sinh is convex we have
sin 𝜅 (𝜌2 ) ≤ 2𝜌2 sinh (𝜋/2) /𝜋 < 3𝜌2 /2 < 𝑚𝛿.
Applying Lemma B.2.5 together with
√
0 𝜌2 −𝜅 √
(log(tanh 𝑥)) ≥ √ for 𝑥 < 𝜌2 −𝜅/2,
sinh 𝜌2 −𝜅 𝑥
gives (B.2.8), since
p
tan 𝜅 (𝜌2 /2) tanh( |𝜅|𝜌2 /2) 𝜌2
= ≥ .
tan 𝜅 (𝜌1 /2) tanh( |𝜅|𝜌1 /2)
p
𝐴𝜌1
81
Paper B. Three Ball Theorem
We want to estimate the ratio of the values of 𝐿 𝜅 ,𝑚 at two points 𝜌2 > 𝜌1 >
sin−1
𝜅 (𝑚). In contrast with the Bessel functions, we do not locate the maximum
precisely.
Lemma B.2.8. Suppose that 0 < 𝜌1 < 𝑅 |𝜅 | and sin 𝜅 (𝜌1 ) > 𝜉𝑚, where 𝜉 > 1.
There is an absolute constant 𝐶 > 0 such that
max𝜌 |𝐿 𝜅 ,𝑚 (𝜌)| 𝐶
≤ 1+ . (B.2.9)
max𝜌 ≤𝜌1 |𝐿 𝜅,𝑚 (𝜌)| (𝜉 − 1)𝑚
Proof. Let 𝜌1∗ be the first local maximum of 𝐿 𝜅 ,𝑚 . By Proposition B.2.3 if 𝜌1 > 𝜌1∗
then the left-hand side of (B.2.9) is one and the statement becomes trivial.
The rest of the proof relies on the comparison of 𝐿 𝜅 ,𝑚 and a solution of the
equation
𝑚 2 (𝜉 2 − 1)
(sin 𝜅 (𝜌)𝑦 0) 0 + 𝑦=0 (B.2.10)
sin 𝜅 (𝜌)
on the interval (𝜌1 , ∞). Solutions to (B.2.10) are of the form
with initial data 𝑦(𝜌1 ) = 𝐿 𝜅 ,𝑚 (𝜌1 ) and 𝑦 0 (𝜌1 ) = 𝐿 0𝜅 ,𝑚 (𝜌1 ). This gives the values
𝐿 𝜅 ,𝑚 (𝜌2 ) ≤ 𝐶1 cos(𝛾 log(tan 𝜅 (𝜌2 /2)) − 𝑑) + 𝐶2 sin(𝛾 log(tan 𝜅 (𝜌2 /2)) − 𝑑).
Since sin and cos are bounded by 1, we estimate 𝐶2 /𝐿 𝜅 ,𝑚 (𝜌1 ) from above to
prove (B.2.9). In order to estimate 𝐶2 , we see that the assumption 𝜌1 < 𝜌1∗ implies
𝐿 𝜅 ,𝑚 (𝜌) > 0 and 𝐿 0𝜅 ,𝑚 (𝜌) > 0 on the interval (0, 𝜌1 ). Equation (B.2.5) shows that
𝐿 00 −1
𝜅 ,𝑚 (𝜌) < 0 when 𝜌 ∈ (𝜌0 , 𝜌1 ), where 𝜌0 = sin 𝜅 (𝑚). Then the Taylor formula
gives
𝐿 𝜅 ,𝑚 (𝜌0 ) − 𝐿 𝜅 ,𝑚 (𝜌1 ) + (𝜌1 − 𝜌0 )𝐿 0𝜅 ,𝑚 (𝜌1 ) < 0.
Consequently,
𝐿 𝜅,𝑚 (𝜌1 ) − 𝐿 𝜅 ,𝑚 (𝜌0 ) 𝐿 𝜅 ,𝑚 (𝜌1 )
𝐿 0𝜅 ,𝑚 (𝜌1 ) < < .
𝜌1 − 𝜌0 𝜌1 − 𝜌0
82
B.2. The Three Ball Inequality
if cosh 𝑥 1 < 𝑐−1 . Using the assumption 𝜌1 < 𝑅 |𝜅 | , we conclude that 𝜌1 − 𝜌0 >
𝑐(𝜉 − 1)𝑚, where 𝑐 = (cosh 𝜋/2) −1 . Finally, we obtain
q
2 2 𝐶
max |𝐿 𝜅 ,𝑚 (𝜌)| ≤ 𝐶1 + 𝐶2 ≤ 𝐿 𝜅 ,𝑚 (𝜌1 ) 1 + .
𝜌 ≥𝜌1 (𝜉 − 1)𝑚
Now we are ready to prove that the coefficient in the three ball theorem grows
exponentially in 𝑟 𝑘 if we restrict ourselves to balls with sufficiently small radius 𝑟.
Theorem B.2.9. Let (𝑀, g) be either a hyperbolic plane or a sphere and denote
its curvature by 𝐾. Suppose that for some 𝛼 ∈ (0, 1) there exists a constant
𝐶 𝛼 (𝑘, 𝑟, 𝐾) such that for any solution 𝑢 𝑘 to the Helmholtz equation (B.1.2) the
following inequality holds
𝜋
𝑀𝑢𝑘 (2𝑟) ≤ 𝐶 𝛼 (𝑘, 𝑟, 𝐾) 𝑀𝑢𝑘 (𝑟) 𝛼 𝑀𝑢𝑘 (4𝑟) 1−𝛼 , 0<𝑟 < p .
8 |𝐾 |
Then
𝐶 𝛼 (𝑘, 𝑟, 𝐾) ≥ 𝑐 1𝛼 𝑒 𝑐2 𝛼𝑘𝑟 , (B.2.11)
where 𝑐 1 and 𝑐 2 only depend on 𝐾.
Proof. Consider the family of functions
83
Paper B. Three Ball Theorem
Assume first that 𝐾 < 0 so that (𝑀, g) is the hyperbolic plane. If 𝑘𝑟 > 𝐶1 we
choose a positive integer 𝑚 such that 10𝑚 < 18𝑘𝑟 < 11𝑚. We apply (B.2.8) with
𝜌1 = 𝑘𝑟 and 𝜌2 = 𝜇𝑘𝑟 < 2𝑘𝑟, where 𝜇 = 19/17. Then 𝜌2 < 2/3𝑚𝛿 with 𝛿 < 1.
We obtain
" 𝛽𝑚 −𝛽𝑚 #
𝑀𝑚 (2𝑘𝑟) 𝐿 𝜅,𝑚 (𝜌2 ) 1 𝜌2 𝜌2
≥ ≥ − ,
𝑀𝑚 (𝑘𝑟) 𝐿 𝜅 ,𝑚 (𝜌1 ) 2 𝐴𝜌1 𝐴𝜌1
√
where 𝛽 = 1 − 𝛿2 and
𝐴 = sin 𝜅 (𝜌2 ) /𝜌2 < sin 𝜅 (2𝑘𝑟) /(2𝑘𝑟) < 4 sinh(𝜋/4)/𝜋 < 10/9.
𝑀𝑚 (2𝑘𝑟) 1
≥ (𝑞 𝛽𝑚 − 𝑞 −𝛽𝑚 ). (B.2.12)
𝑀𝑚 (𝑘𝑟) 2
Thus there are 𝑐 1 > 0 and 𝑐 2 > 0 such that
On the other hand, we have 2𝑘𝑟 > 𝜉𝑚 for 𝜉 = 10/9. Applying (B.2.9) we get
where 𝐶0 is an absolute constant. Note also that 𝑚 & 𝑘𝑟. Then (B.2.11) follows
for negative curvature.
Assume now that 𝐾 > 0 so that (𝑀, g) is a sphere. If 𝑘𝑟 > 𝐶1 we choose
𝑚 to be a positive integer such that 10𝑚 < 12𝑘𝑟 < 11𝑚. We first let 𝜌1 = 𝑘𝑟
and 𝜌2 = 13𝑘𝑟/12 and apply (B.2.7) with 𝛿 = 143/144. Thus (B.2.12) follows
whenever 𝑘𝑟 > 𝐶1 . Using (B.2.9) with 𝜌1 = 2𝑘𝑟 we need to check that 2𝜌1 > 𝜉𝜋𝑚
for some 𝜉 > 1. Note that 2𝜌1 = 4𝑘𝑟 > 10/3𝑚 and choose 𝜉 < 310𝜋 . Then (B.2.11)
follows for positive curvature.
84
B.3. The Reverse Three Ball Inequality
𝜅 ≤ sec ≤ 𝐾.
Lemma B.3.1. Let (𝑀, g) and 𝐵 be as above. Then there exists a constant 𝑐 0 > 0
such that for any function 𝑤 ∈ 𝐶02 (𝐵) and 𝑘 ≥ 0 the following inequality holds
∫ ∫
2 2
|Δ 𝑀 𝑤 + 𝑘 𝑤| dvol ≥ 𝑐 0 |𝑤| 2 + | grad 𝑀 𝑤| 2𝑀 dvol . (B.3.1)
𝐵 𝐵
Proof. We repeat the argument given in [BNO19, Corollary 1]. Integrating the
last inequality over a ball 𝐵 and taking into account that functions 𝑏 and 𝑎 have
compact support in 𝐵, we conclude that the divergence term disappears. For the
next two terms, which contain the Hessian of 𝜙, we use the convexity inequality
85
Paper B. Three Ball Theorem
when 𝑡 > 𝑡0 . The powerful feature of the last inequality is that 𝑐 1 and 𝑡0 do
not depend on 𝑘 (but depend on 𝜙 which we fix). Finally, we fix some 𝑡 > 𝑡0
and let 𝑀 = max 𝐵 𝑒 2𝑡 𝜙 and 𝑚 = min 𝐵 𝑒 2𝑡 𝜙 . Then (B.3.1) holds with 𝑐 0 =
𝑐 1 𝑚 min{𝑡 3 , 𝑡}𝑀 −1 .
The last inequality implies that for any 𝑟 < 𝑅 such that 𝐵 𝑅 = 𝐵 𝑅 (𝑥) and 𝐵𝑟 = 𝐵𝑟 (𝑥)
are geodesic balls satisfying the conditions in Lemma B.3.1, there is a constant
𝐶2 (𝑟, 𝑅) such that
∫
|𝑢 𝑘 | 2 + | grad 𝑢 𝑘 | 2 dvol ≤
𝐵𝑟
∫
𝐶2 (𝑟, 𝑅) |𝑢 𝑘 | 2 + | grad 𝑢 𝑘 | 2 dvol . (B.3.2)
𝐵 𝑅 \𝐵𝑟
Lemma B.3.2 (Caccioppoli’s inequality). Let 𝜀 > 0 and let 𝑅 = 𝑅(𝑀) be small
enough. Furthermore, let 𝜀 < 𝑟 < 𝑅 − 𝜀. We denote Ω = 𝐵 𝑅 (𝑥) \ 𝐵𝑟 (𝑥) and
86
B.4. Appendix: The First Positive Zero of the Bessel Function
Proof. There exists a smooth function 𝜑+ with compact support in Ω+ that satisfy
𝜑+ = 1 on Ω and |grad 𝜑+ | ≤ 𝐶𝜀 and |Δ 𝑀 𝜑+ | ≤ 𝜀𝐶2 . Then, using the divergence
theorem, we have
∫ ∫
2 2
𝑘 𝜑+ 𝑢 𝑘 dvol = − 𝜑+ 𝑢 𝑘 Δ 𝑀 𝑢 𝑘 dvol
Ω+ Ω+
∫
= hgrad 𝑢 𝑘 , grad (𝜑+ 𝑢 𝑘 )i dvol
Ω+
∫ ∫
1
= 𝜑+ |grad 𝑢 𝑘 | 2 dvol − 𝑢 2𝑘 Δ 𝑀 𝜑+ dvol .
Ω+ 2 Ω+
Hence ∫ ∫
|grad 𝑢 𝑘 | 2 dvol ≤ 𝑘 2 + 𝐶𝜀 −2 𝑢 2𝑘 dvol .
Ω Ω+
On the other hand, choosing a similar function 𝜑− ∈ 𝐶0∞ (Ω) such that 𝜑− = 1 on
Ω− , we conclude that
∫ ∫ ∫
2 2 2 −2
| grad 𝑢 𝑘 | dvol ≥ 𝑘 𝑢 𝑘 − 𝐶𝜀 𝑢 2𝑘 dvol .
Ω Ω− Ω
We now go back to the inequality (B.3.2), and apply the Caccioppoli inequality.
Rename 𝑅1 = 𝑅 + 𝜀 and 𝑟 1 = 𝑟 − 𝜀. This gives the following estimate of the 𝐿 2
norm of a solution to the Helmholtz equation by its 𝐿 2 norm on an annulus
∫ ∫ ∫
𝑘2 𝑢 2𝑘 dvol ≤ | grad 𝑢 𝑘 | 2 dvol +𝐶𝜀 −2 𝑢 2𝑘 dvol
𝐵𝑟1 𝐵𝑟 𝐵𝑟
∫ ∫
2 −2 −2
≤ (𝑘 + 𝐶𝜀 ) 𝑢 2𝑘 dvol +𝐶𝜀 𝑢 2𝑘 dvol,
𝐵 𝑅1 \𝐵𝑟1 𝐵𝑟1
for any 𝑟 1 < 𝑅1 . Then for 𝑘 > 𝐶𝜀 −1 the inequality (B.1.5) follows. For 𝑘 < 𝐶𝜀 −1 ,
we use (B.3.2) and the Caccioppoli inequality again, to see that
∫ ∫
2 2 2
|𝑢 𝑘 | dvol ≤ 𝐶 (𝑟, 𝑅)(𝑘 + 𝐶𝜀 ) |𝑢 𝑘 | 2 dvol .
𝐵𝑟 𝐵 𝑅1 \𝐵𝑟1
87
Paper B. Three Ball Theorem
For alternative definitions and many useful asymptotic formulas for the Bessel
functions we refer the reader to [Olv97].
It is well known that the first positive zero of 𝐽𝑙 , usually denoted by 𝑗𝑙 , satisfies
𝑗𝑙 𝑙 + 𝑐𝑙 1/3 as 𝑙 → ∞. We already explained in the proof of Lemma B.2.1 that
𝑗𝑙 > 𝑙 and we give a simple proof of the inequality 𝑗𝑙 ≤ 𝑙 + 𝑐𝑙 1/3 . This will be done
by comparing the Bessel equation to the following equation
𝜌 2 𝑦 𝑙00 (𝜌) + 𝜌𝑦 𝑙0 (𝜌) + (𝑎 𝑙2 𝜌 2 − 1/4)𝑦 𝑙 (𝜌) = 0 (B.4.1)
on the interval 𝜌 ∈ [𝑙 + 𝑙 1/3 , +∞).
Suppose that 𝑎 𝑙 < 1 satisfies
(𝑙 + 𝑙 1/3 ) 2 (1 − 𝑎 𝑙2 ) ≥ 𝑙 2 − 1/4. (B.4.2)
Then the Sturm-Picone comparison theorem, see Theorem B.5.1, implies that
between any two zeros of 𝑦 𝑙 there is a zero of 𝐽𝑙 . It is easy to check that 𝑦 𝑙 (𝜌) =
𝜌 −1/2 cos(𝑎 𝑙 𝜌) solves (B.4.1) and has roots at (𝜋/2 + 𝑘 𝜋)/𝑎 𝑙 for 𝑘 ∈ Z. We choose
𝑎 𝑙 = 𝑙 −1/3 . Then (B.4.2) holds for 𝑙 large enough. Hence 𝐽𝑙 has a root on the
interval [𝑙 + 𝑙 1/3 , 𝑙 + 𝑙 1/3 + 𝜋𝑙 1/3 ] and 𝑗𝑙 ≤ 𝑙 + (𝜋 + 1)𝑙 1/3 .
88
B.5. Appendix: Comparison Theorems for Sturm-Liouville Equations
on the interval [𝑎, 𝑏]. Assume that 0 < 𝑝 2 ≤ 𝑝 1 and 𝑞 1 ≤ 𝑞 2 , and let 𝑧 1 and 𝑧 2 be
two consecutive zeros of 𝑦 1 . Then either 𝑦 2 has a zero in the interval (𝑧 1 , 𝑧2 ), or
𝑦1 = 𝑦2.
Theorem B.5.2 (Sturm Comparison Theorem, [Dur12, Chapter 13.7]). Let 𝑦 1 > 0
on (𝑎, 𝑐) and 𝑦 2 be non-zero solutions to
on the interval (𝑎, 𝑐) ⊂ [𝑎, 𝑏]. Assume that 𝑝 > 0 and 𝑞 2 ≤ 𝑞 1 on [𝑎, 𝑏].
Furthermore, assume that
where 𝑝 and 𝑞 are continuously differentiable functions on [𝑎, 𝑏]. Suppose that
𝑝 > 0, 𝑞 ≠ 0 and ( 𝑝𝑞) 0 > 0 on (𝑎, 𝑏). Then the successive local maximums of
|𝑦(𝑥)| form a decreasing sequence.
89
Paper C
Kuttler-Sigillito’s Inequalities
and Rellich-Christianson Identity
Abstract
We show Kuttler-Sigillito’s inequalities for the mixed Neumann-Dirichlet,
mixed Steklov-Dirichlet, and mixed Robin-Dirichlet eigenvalue problems.
Additionally, we show a Rellich identity for the mixed Neumann-Dirichlet
problem. Finally, we show a Rellich-Christianson identity for the Neumann-
Dirichlet problem.
C.1 Introduction
In this paper we will study various eigenvalue problems with mixed conditions on
the boundary. The first problem of interest is the eigenvalue problem for the Laplace
operator on a bounded domain Ω with mixed Neumann-Dirichlet conditions on the
boundary 𝜕Ω. This problem has for example been studied in [LR17; Jak+06].
In the first part of the article we are going to compare these eigenvalues with
eigenvalues of the mixed Steklov-Dirichlet problem. More precisely, we consider
the following problem Δ𝑢 = 0 on Ω with boundary conditions 𝑢 𝑛 = 𝜎𝑢 on part of
the boundary 𝐹 ⊂ 𝜕Ω and Dirichlet conditions 𝑢 = 0 on 𝜕Ω \ 𝐹. This problem
has been studied in e.g. [Seo21; Bañ+10]. When the Dirichlet conditions are not
present the problem is known as the Steklov problem, for historical context see
[Kuz+14].
Kuttler and Sigillito showed in [KS68] several bounds for eigenvalue problems
in R2 . One of their results is as follows: Let Ω ⊂ R2 be a bounded star convex
domain with 𝐶 2 -boundary. Denote by 𝜇2 the first non-zero eigenvalue of the
Laplace eigenvalue problem with Neumann boundary conditions and let 𝜎2 be the
first non-zero eigenvalue of the Steklov problem Δ𝑢 = 0 on Ω and 𝜎2 𝑢 = 𝑢 𝑛 on
93
Paper C. Kuttler-Sigillito’s Inequalities and Rellich-Christianson Identity
𝜕Ω. Then
ℎmin 𝜇2
𝜎2 ≥ √ , (C.1.1)
2𝑟 max 𝜇2 + 2
where ℎmin and 𝑟 max are geometric constants depending explicitly on Ω. In [HS20]
Hassannezhad and Siffert generalized (C.1.1) to Riemannian manifolds of arbitrary
dimension.
One of the tools used in [KS68] and later in [HS20] is the Rellich identity
which expresses the eigenvalue in terms of the eigenfunction and its gradient on
the boundary. The simplest example is the Laplace Dirichlet eigenvalue problem
Δ𝑢 + 𝜆𝑢 = 0 on the 𝐶 2 -domain Ω with 𝑢 = 0 on the boundary 𝜕Ω. In this case 𝜆
can be expressed as ∫
1
𝜆= 𝑥 · n 𝑢 2𝑛 dS, (C.1.2)
2 𝜕Ω
where dS is the surface measure on the boundary with normal n. Rellich proved
(C.1.2) in [Rel40]. In 2007 similar Rellich identities were shown to hold for
other eigenvalue problems, e.g. the Neumann, clamped plate and buckling problem
[Liu07]. The Rellich identities in [Rel40; Liu07] were also recently extended to
eigenvalue problems on Riemannian manifolds [HS20].
For Dirichlet eigenfunctions on the triangle one can get an interesting refor-
mulation of the Rellich identity as shown in [Chr19]. It was further extended to
polytopes in [Mét18], which referred to the identity as Rellich-Christianson type
identity. For a regular polytope 𝑃 this result gives
∫
𝐶
𝜆= 𝑢 2 dS,
2 𝜕𝑃 𝑛
94
C.2. Kuttler-Sigillito’s Type Inequalities
An outline of the article is as follows: In Section C.2 we will give the Kuttler-
Sigillito’s type inequalities. The inequality will be obtained on Riemannian man-
ifolds satisfying a curvature bound. In Section C.3 we will discuss the Hadamard
formula and prove it in the case of the Laplace eigenvalue problem with mixed
Neumann-Dirichlet boundary conditions. Section C.4 will be devoted to proving
the Rellich identities using Hadamard formulas for the mixed Neumann-Dirichlet
problem. In the last two sections we will prove the Rellich-Christianson identity
on polytopes for the mixed Neumann-Dirichlet problem.
where |𝑋 | 2 = g(𝑋, 𝑋) for a vector field 𝑋 and 𝜅 ∈ R. The Laplacian with respect
to g of a twice differentiable function 𝜙 is defined by
Δ𝜙 = div(grad 𝜙),
where div and grad denotes the divergence and gradient with respect to g.
In this text we will let 𝑟 (𝑥) denote the radial distance function from a chosen
point 𝑝 ∈ 𝑀. We will always work with domains which are contained inside a
geodesic ball centered at 𝑝 with radius less than the injectivity radius Inj( 𝑝). Some
properties of the radial distance function are that | grad 𝑟 | = 1 and 𝑟 2 is a smooth
function on 𝐵Inj( 𝑝) ( 𝑝). For manifolds satisfying (C.2.1) we have the following
volume comparison result:
Lemma C.2.1 (Volume Comparison [Pet16, Lemma 7.1.2]). Assume that (𝑀, g)
is an 𝑛-dimensional Riemannian manifold satisfying (C.2.1), and denote by
√ √
coth(𝑟 −𝜅)/ −𝜅, 𝜅<0
cot 𝜅 (𝑟) = 1/𝑟, 𝜅=0 .
cot(𝑟 √𝜅)/√𝜅,
𝜅>0
Δ𝑟 ≤ (𝑛 − 1) cot 𝜅 (𝑟).
95
Paper C. Kuttler-Sigillito’s Inequalities and Rellich-Christianson Identity
Denote by vol the volume density and let Ω ⊂ 𝐵Inj( 𝑝) ( 𝑝) be a domain with
𝐶 2 -boundary. If 𝑢, 𝑣 ∈ 𝐻 1 (Ω) then by the trace theorem 𝑣 ∈ 𝐻 1/2 (𝜕Ω) and
𝑢𝑛 ∈ 𝐻 −1/2 (𝜕Ω). If additionally, we have that Δ𝑢 ∈ 𝐿 2 (Ω) then
∫ ∫
grad 𝑢 · grad 𝑣 dvol = − 𝑣Δ𝑢 dvol +h𝑢 𝑛 , 𝑣i𝜕Ω , (C.2.2)
Ω Ω
where h𝑢 𝑛 , 𝑣i𝜕Ω is the paring between 𝐻 −1/2 (𝜕Ω) and 𝐻 1/2 (𝜕Ω), see [McL00,
Chap. 4].
Remark C.2.2. In the case when Ω ⊂ R𝑛 one can relax the smoothness condition
of the boundary to be just Lipschitz, see [McL00, Chap. 4].
where the boundary values are well defined by using the trace theorem. Con-
sider weak solutions in 𝐻 1 (Ω), see [McL00, Chap. 4] to the following eigenvalue
problems: Steklov-Dirichlet problem
Δ𝑢(𝑥) = 0 for 𝑥 ∈ Ω
𝑢 𝑛 (𝑥) = 𝜎 𝐹 𝑢(𝑥) for 𝑥 ∈ 𝐹 (C.2.3)
𝑢(𝑥) = 0 for 𝑥 ∈ 𝜕Ω \ 𝐹,
and Neumann-Dirichlet problem
Δ𝑣(𝑥) + 𝜇 𝐹 𝑣(𝑥) = 0 for 𝑥 ∈ Ω
𝑣 𝑛 (𝑥) = 0 for 𝑥 ∈ 𝐹 (C.2.4)
𝑣(𝑥) = 0 for 𝑥 ∈ 𝜕Ω \ 𝐹.
Notice that in the case 𝐹 = 𝜕Ω we get the Steklov problem and the Neumann
problem, respectively. Additionally, in the case that 𝐹 = ∅ the Steklov-Dirichlet
problem have only the trivial solution 𝑢 = 0, and the mixed Neumann-Dirichlet
problem is the Dirichlet problem.
From [Agr06] it follows that
0 ≤ 𝜎1𝐹 ≤ · · · ≤ 𝜎𝑛𝐹 → ∞.
0 ≤ 𝜇1𝐹 ≤ · · · ≤ 𝜇 𝑛𝐹 → ∞.
96
C.2. Kuttler-Sigillito’s Type Inequalities
This can be shown by using the min-max theorem [Bor20, Theorem 5.15] together
with a standard argument showing that (−Δ + 1) −1 is a compact operator on 𝐿 2 (Ω).
The Rayleigh quotients for the 𝑘’th eigenvalues are given by
∫
𝐹 Ω
| grad 𝑢| 2 dvol
𝜎𝑘 = inf sup ∫
𝑉𝑘 ⊂𝐻01 (Ω,𝜕Ω\𝐹 ) 𝑢 ∈𝑉𝑘 \{0}
𝐹
𝑢 2 dS
dim(𝑉𝑘 )=𝑘
and ∫
Ω
| grad 𝑣| 2 dvol
𝜇 𝐹𝑘 = inf sup ∫ .
𝑉𝑘 ⊂𝐻01 (Ω,𝜕Ω\𝐹 ) 𝑣 ∈𝑉𝑘 \{0}
Ω
𝑣 2 dvol
dim(𝑉𝑘 )=𝑘
The Rayleigh quotient for the mixed Steklov-Dirichlet can be found in [Agr06],
while for the Neumann-Dirichlet problem the Rayleigh quotient follows from the
min-max theorem [Bor20, Theorem 5.15]. Notice that the 𝑘’th Neumann-Dirichlet
eigenvalue is bounded below by the 𝑘’th Neumann eigenvalue, and above by the
𝑘’th Dirichlet eigenvalue by using the Rayleigh quotient together with
Theorem C.2.3. Assume that (𝑀, g) satisfies (C.2.1) and let Ω ⊂ 𝑀 be a bounded
𝐶 2 domain contained inside 𝐵Inj( 𝑝) ( 𝑝) for a fixed point 𝑝 ∈ 𝑀. Denote by 𝑟 the
radial distance function with respect to 𝑝 and let 𝜇 𝑘 and 𝜎𝑘 be as in (C.2.4) and
(C.2.3), respectively. Then
ℎmin 𝜇 𝐹𝑘
𝜎𝑘𝐹 ≥ q , (C.2.5)
2𝑟 max 𝜇 𝐹𝑘 + 𝐶0
where
𝑟 max = sup 𝑟 (𝑥), ℎmin = inf n · 𝑟 grad 𝑟,
𝑥 ∈Ω 𝑥 ∈𝐹
and
𝐶0 = 1 + (𝑛 − 1) sup 𝑟 (𝑥) cot 𝜅 (𝑟 (𝑥)).
𝑥 ∈Ω
Remark C.2.4.
97
Paper C. Kuttler-Sigillito’s Inequalities and Rellich-Christianson Identity
• Inequality (C.2.5) is non-trivial if and only if ℎmin > 0. In the case that
𝑀 = R𝑛 and 0 ∈ Ω the condition ℎmin > 0 means that 𝑥 cannot be tangent to
the part of the boundary 𝐹. In the case that 𝐹 = 𝜕Ω this condition implies
that Ω is strictly star convex with respect to the point 0. We define a domain
to be strictly star convex with respect to a point 𝑝 if any straight line from 𝑝
to the boundary intersect the boundary only at the end point.
It should also be noted that all convex sets containing zero satisfies ℎmin > 0.
• The Weyl laws on Ω ⊂ R𝑛 in the case of the Steklov problem [GP17,
Sec. 5.2.1] and Neumann problem [Cha84, p. 9] are
1
𝑛−1
𝜎𝑘 1
lim 1
= 2𝜋
𝑘→∞ 𝑘 𝑛−1 𝜔 𝑛−1 vol 𝑛−1 (𝜕Ω)
and
𝑛1
𝜇𝑘 2 2
lim = (2𝜋) , (C.2.6)
𝑘→∞ 𝑘 2/𝑛 𝜔 𝑛 vol 𝑛 (Ω)
where 𝜔 𝑚 denotes the volume of the 𝑚-dimensional unit ball. In this case
1
we have that the right hand-side of (C.2.5) behaves like 𝐶0 (Ω)𝑘 𝑛−1 and the
1
left hand-side behaves like 𝐶1 (Ω)𝑘 𝑛 . This shows that the result is trivially
true when 𝑘 goes to infinity.
Proof. When 𝑘 = 1 and 𝐹 = 𝜕Ω we have that 𝜎1𝐹 = 𝜇1𝐹 = 0 and the inequality
trivially holds. Hence we will assume that either 𝑘 ≥ 2 or 𝐹 ≠ 𝜕Ω.
Let 𝜎𝑚𝐹 be the 𝑚’th eigenvalue of the Steklov-Dirichlet problem with corre-
98
C.2. Kuttler-Sigillito’s Type Inequalities
Since we are inside the ball 𝐵Inj( 𝑝) ( 𝑝) we have that 𝑟 2 is a smooth function. Using
the integration by parts (C.2.2) and Lemma C.2.1 we obtain
∫ ∫
2
2 𝑣 n · 𝑟 grad 𝑟 dS = 𝑣 2 n · grad(𝑟 2 ) dS (C.2.8)
𝐹 ∫𝐹 ∫
= grad 𝑣 2 · grad 𝑟 2 dvol + 𝑣 2 Δ(𝑟 2 ) dvol
Ω∫ Ω∫
2
= 2 grad 𝑣 · 𝑟 grad 𝑟 dvol + 𝑣 2 (2 + 2𝑟Δ𝑟) dvol
∫Ω Ω ∫
2
≤ 2 grad 𝑣 · 𝑟 grad 𝑟 dvol +2𝐶0 𝑣 2 dvol .
Ω Ω
𝑅𝜇 𝐹𝑘
𝜎𝑘𝐹 ≥ q ,
2𝑅 𝜇 𝐹𝑘 + 𝐶0
where (
𝑛 𝜅≥0
𝐶0 = .
1 + (𝑛 − 1)𝑅 cot 𝜅 (𝑅) 𝜅<0
By using Remark C.2.2 we have that for bounded domains in R𝑛 with Lipschitz
boundary the proof of Theorem C.2.3 still holds. Hence we can explore the
following examples.
99
Paper C. Kuttler-Sigillito’s Inequalities and Rellich-Christianson Identity
Example C.2.6. Let 𝐽𝑙 (𝑟) denote the 𝑙’th Bessel function for 𝑙 ∈ N \ {0}, which
satisfies the differential equation
Δ𝑢(𝑥, 𝑦) = 0 on 𝐷 +
𝑢 𝑛 (𝑥, 𝑦) = 𝜎𝑢 on 𝐹 = {(𝑥, 𝑦) ∈ R2 : 𝑥 2 + 𝑦 2 = 1, 𝑦 > 0}
𝑢(𝑥, 𝑦) = 0 on {(𝑥, 0) ∈ R2 : |𝑥| ≤ 1},
and
Δ𝑣(𝑥, 𝑦) + 𝜇𝑣(𝑥, 𝑦) = 0 on 𝐷 +
𝑣 𝑛 (𝑥, 𝑦) = 0 on 𝐹 = {(𝑥, 𝑦) ∈ R2 : 𝑥 2 + 𝑦 2 = 1, 𝑦 > 0}
𝑣(𝑥, 𝑦) = 0 on {(𝑥, 0) ∈ R2 : |𝑥| ≤ 1}.
0
where 0 < 𝑗𝑙,𝑚 is the 𝑚’th zero of 𝐽𝑙0 and 𝜇 = ( 𝑗𝑙,𝑚
0 ) 2 . The Steklov-Dirichlet
0
with corresponding eigenvalues 𝜎𝑘 = 𝑘 > 0. If we order the zeroes 𝑗𝑙,𝑚 we have
that
𝑗𝑙02𝑘 ,𝑚𝑘 𝜇𝑘
𝜎𝑘 = 𝑘 ≥ = √ .
2( 𝑗𝑙0𝑘 ,𝑚𝑘 + 1) 2 𝜇 𝑘 + 2
100
C.2. Kuttler-Sigillito’s Type Inequalities
Example C.2.7. Let Ω = [0, 1] × [0, 1] and let 𝐹 = {0, 1} × (0, 1). We pose the
problem
Δ𝑣(𝑥, 𝑦) + 𝜇𝑣(𝑥, 𝑦) = 0 on Ω
𝑣 𝑛 (𝑥, 𝑦) = 0 on 𝐹 (C.2.10)
𝑣(𝑥, 𝑦) = 0 on [0, 1] × {0, 1}.
Then we have the solutions
𝜋𝑛
! ±1
cosh 2
𝜎 = 𝜋𝑛 𝜋𝑛
sinh 2
for all 𝑛 ∈ N \ {0, 1}, we can find the order of the eigenvalues. Hence we get
𝜋𝑘
𝜎2𝑘 = 𝜋𝑘 coth
2
with corresponding eigenfunctions
!
𝜋𝑘
𝑢 2𝑘 (𝑥, 𝑦) = cosh (𝜋𝑘𝑥) − coth sinh (𝜋𝑘𝑥) sin (𝜋𝑘 𝑦)
2
101
Paper C. Kuttler-Sigillito’s Inequalities and Rellich-Christianson Identity
and
𝜋𝑘
𝜎2𝑘−1 = 𝜋𝑘 tanh
2
with corresponding eigenfunctions
!
𝜋𝑘
𝑢 2𝑘−1 (𝑥, 𝑦) = cosh (𝜋𝑘𝑥) − tanh sinh (𝜋𝑘𝑥) sin (𝜋𝑘 𝑦) .
2
In this case we have that 𝑟 max = √1 , ℎmin = 1/2, and 𝐶0 = 2. Using Theorem C.2.3
2
we obtain
𝜋 2 (𝑚 2 + 𝑛22𝑘 )
𝜋𝑘
𝜎2𝑘 = 𝜋𝑘 coth ≥ √ q 2𝑘 .
2 2 + 𝑛2 + 4
2 2𝜋 𝑚 2𝑘 2𝑘
and
𝜋 2 (𝑚 2 + 𝑛22𝑘−1 )
𝜋𝑘
𝜎2𝑘−1 = 𝜋𝑘 tanh ≥ √ q 2𝑘−1 ,
2 2
2 2𝜋 𝑚 2𝑘−1 + 𝑛22𝑘−1 + 4
where 𝜇 𝑗 = 𝜋 2 (𝑚 2𝑗 + 𝑛2𝑗 ).
Δ𝑤(𝑥) + 𝜆 𝛼 𝑤(𝑥) = 0 for 𝑥 ∈ Ω
𝑤 𝑛 (𝑥) + 𝛼𝑤 = 0 on 𝐹
𝑤(𝑥) = 0 on 𝜕Ω \ 𝐹.
Note that we have suppressed the domain 𝐹 in the Robin-Dirichlet eigenvalues 𝜆 𝛼
for readability. By the min-max theorem [Bor20, Theorem 5.15] we have that the
Rayleigh quotient is given by
∫ ∫
𝛼 Ω
| grad 𝑤| 2 dvol +𝛼 𝐹 𝑤 2 dS
𝜆𝑘 = inf sup ∫ .
𝑉𝑘 ⊂𝐻01 (Ω,𝜕Ω\𝐹 ) 𝑤 ∈𝑉𝑘 \{0} 𝑤 2 dvol
Ω
dim(𝑉𝑘 )=𝑘
102
C.2. Kuttler-Sigillito’s Type Inequalities
𝜆 𝑘𝛼 − 𝜇 𝐹𝑘 𝜇 𝐹𝑘
≤ .
𝛼 𝜎1𝐹
Remark C.2.9. Taking the limit when 𝛼 → 0 and assuming that 𝜆 𝑘𝛼 is differentiable
at 0, we have that
𝑑𝜆 𝑘𝛼 𝜇 𝐹𝑘
≤ .
𝑑𝛼 𝛼=0 𝜎1𝐹
Example C.2.10. In this example we will continue using some of the notation from
Example C.2.6. Consider the equation
Denote by 𝑗𝑙,𝑚
𝛼 the 𝑚’th zero of the equation. Posing the problem
Δ𝑤(𝑥, 𝑦) + 𝜆 𝛼 𝑤(𝑥, 𝑦) = 0 for (𝑥, 𝑦) ∈ 𝐷 +
𝑤 𝑛 (𝑥, 𝑦) + 𝛼𝑤(𝑥, 𝑦) = 0 on 𝐹 = {(𝑥, 𝑦) ∈ R2 : 𝑥 2 + 𝑦 2 = 1, 𝑦 > 0}
𝑤(𝑥, 𝑦) = 0 on {(𝑥, 0) ∈ R2 : |𝑥| ≤ 1},
𝛼 𝑟) sin(𝑙𝜃), with eigenvalue 𝜆 𝛼 = ( 𝑗 𝛼 ) 2 .
we get the solution 𝑤(𝑟, 𝜃) = 𝐽𝑙 ( 𝑗𝑙,𝑚 𝑙,𝑚
Using Theorem C.2.8 we obtain
103
Paper C. Kuttler-Sigillito’s Inequalities and Rellich-Christianson Identity
𝑑𝜆 𝛼 𝑑 ( 𝑗𝑙𝛼𝑘 ,𝑚𝑘 ) 2
=
𝑑𝛼 𝛼=0 𝑑𝛼
𝛼=0
𝑑 𝑗𝑙𝛼𝑘 ,𝑚𝑘
= 2 𝑗𝑙0𝑘 ,𝑚𝑘
𝑑𝛼
𝛼=0
( 𝑗𝑙0 ,𝑚 ) 2
= 2 0 𝑘 2𝑘 2 .
( 𝑗𝑙𝑘 ,𝑚𝑘 ) − 𝑙 𝑘
𝑑𝜆 𝛼 ( 𝑗𝑙0𝑘 ,𝑚𝑘 ) 2 𝜇𝑘
=2 ≤ = ( 𝑗𝑙0𝑘 ,𝑚𝑘 ) 2 . (C.2.11)
𝑑𝛼 𝛼=0 ( 𝑗𝑙0𝑘 ,𝑚𝑘 ) 2 − 𝑙 2𝑘 𝜎1
√
Simplifying this expression we get 𝑗𝑙,𝑚0 ≥ 𝑙 2 + 2. This inequality follows from
p
0
the stronger inequality 𝑗𝑙,𝑚 0 >
> 𝑗𝑙,1 𝑙 (𝑙 + 2), which can be found in [Wat95,
0 ≤ 𝑙 + 𝐶𝑙 1/3 , see e.g. [EL97], we
p. 486]. In particular, since we also have that 𝑗𝑙,1
get
0
𝑗𝑙,1
lim √ = 1.
𝑙→∞ 𝑙 2 + 2
104
C.3. Hadamard Formula for the Mixed Neumann-Dirichlet Problem
dependent) vector field and let Ω𝑡 be the deformation of the domain Ω0 with respect
to the corresponding one-parameter family of diffeomorphisms 𝜙 with speed 𝑉.
Assume that Ω𝑡 is pre-compact with smooth boundary 𝜕Ω𝑡 , and 𝐹𝑡 = 𝜙𝑡 (𝐹). We
will use the superscript 𝑡 to denote the time-dependence.
Let 𝑣 𝑡 ∈ 𝐻 2 (Ω)∩𝐶 1 (Ω) be a solution to the mixed Neumann-Dirichlet problem
Δ𝑣 𝑡 (𝑥) + 𝜇𝑡 𝑣 𝑡 (𝑥) = 0 in Ω𝑡
𝑣 𝑡𝑛 (𝑥) = 0 on 𝐹𝑡
𝑣 𝑡 (𝑥) = 0
on 𝜕Ω𝑡 \ 𝐹𝑡 .
Formula (C.3.1) is written down in [Gri10, Eq. (11)]. We will assume the eigen-
𝑡
values are simple and that 𝜇𝑡 and 𝑣 𝑡 is differentiable in 𝑡, where 𝑑𝑣 1
𝑑𝑡 ∈ 𝐶 (Ω𝑡 ).
For the case of non-simple eigenvalues see [Gri10]. When taking the derivative of
integrals it will be useful to have the following lemma in mind:
Lemma C.3.1 ([Fra12, p. 138]). Let 𝑉 be a possibly time dependent vector field,
and let Ω𝑡 be the variation of Ω0 with respect to 𝑉. Assume furthermore that
Ω𝑡 is pre-compact with smooth boundary 𝜕Ω𝑡 . Then given a smooth function
ℎ𝑡 ∈ 𝐶 1 (Ω𝑡 ) which is differentiable in 𝑡 we have that
∫ ∫ ∫
𝑑 𝑡 𝑡
ℎ dvol = 𝜕𝑡 ℎ dvol + n · 𝑉 ℎ𝑡 dS .
𝑑𝑡 Ω𝑡 Ω𝑡 𝜕Ω𝑡
105
Paper C. Kuttler-Sigillito’s Inequalities and Rellich-Christianson Identity
Taking the derivative of 𝜇𝑡 with respect to 𝑡 and using the divergence theorem gives
∫ ∫
𝑡
𝜕𝑡 𝜇 = 2 𝑡 𝑡
grad 𝜕𝑡 𝑣 · grad 𝑣 dvol + n · 𝑉 | grad 𝑣 𝑡 | 2 dvol
∫Ω𝑡 ∫ 𝜕Ω𝑡
∫
=2 𝑡
𝑣 𝑛 𝜕𝑡 𝑣 𝑡 dS −2 𝑡 𝑡
(Δ𝑣 )𝜕𝑡 𝑣 dvol + n · 𝑉 | grad 𝑣 𝑡 | 2 dS
𝜕Ω𝑡 \𝐹𝑡 Ω𝑡 𝜕Ω𝑡
∫ ∫ ∫
=2 𝑣 𝑡𝑛 𝜕𝑡 𝑣 𝑡 dS −𝜇𝑡 𝑉 · n(𝑣 𝑡 ) 2 dS + n · 𝑉 | grad 𝑣 𝑡 | 2 dS .
𝜕Ω𝑡 \𝐹𝑡 𝐹𝑡 𝜕Ω𝑡
𝑑 𝑡 𝑑𝑣 𝑡 𝑑𝑣 𝑡
0= (𝑣 (𝜙𝑡 (𝑥))) = (𝜙𝑡 (𝑥)) + 𝑉 · grad 𝑣 𝑡 = (𝜙𝑡 (𝑥)) + 𝑉 · n𝑣 𝑡𝑛 ,
𝑑𝑡 𝑑𝑡 𝑑𝑡
where we have used that gradient in the tangent direction to 𝜕Ω𝑡 \ 𝐹𝑡 of 𝑣 is 0. This
gives that
∫ ∫ ∫
𝜕𝑡 𝜇𝑡 = −2 𝑉 · n (𝑣 𝑡𝑛 ) 2 dS −𝜇𝑡 𝑉 · n(𝑣 𝑡 ) 2 dS + n · 𝑉 | grad 𝑣 𝑡 | 2 dS
𝜕Ω \𝐹 𝐹𝑡 𝜕Ω𝑡
∫ 𝑡 𝑡 ∫
𝑡 2 𝑡 𝑡 2 𝑡 2
= | grad𝜕Ω𝑡 𝑣 | − 𝜇 (𝑣 ) dS − n · 𝑉 (𝑣 𝑛 ) dS .
𝐹𝑡 𝜕Ω𝑡 \𝐹𝑡
Remark C.4.1. In [HS20, Theorem 1.5] the authors show the Rellich identity by
using the divergence theorem. This means that when we have solutions on a
Lipschitz domain and a solution in 𝑣 ∈ 𝐻 2 (Ω), where | grad 𝑣| 2 on the boundary is
interpreted by using the trace theorem.
Denote by Ω ⊂ R𝑛 a smooth pre-compact domain. The idea of going from
the Hadamard formula to the corresponding Rellich type identity is to evolve the
domain by using the vector field 𝑥 ↦→ 𝑥, which by abuse of notation we are going
106
C.4. Rellich Identity
Δ𝑣(𝑥) + 𝜇 𝐹 𝑣(𝑥) in Ω
𝑣 𝑛 (𝑥) = 0 on 𝐹 .
𝑣(𝑥) = 0 on 𝜕Ω \ 𝐹
Δ𝑣 𝑡 (𝑥) + 𝜇𝑡 𝑣 𝑡 (𝑥) = 0 in Ω𝑡
𝑣 𝑡𝑛 (𝑥) = 0 on 𝐹𝑡 ,
𝑣 𝑡 (𝑥) = 0
on 𝜕Ω \ 𝐹𝑡
∫
and additionally satisfy Ω (𝑣 𝑡 ) 2 dvol = 1. Using the Hadamard formula we have
𝑡
that
∫ ∫
2
𝜕𝑡 𝜇𝑡 = −2𝑒 −2𝑡 𝜇 𝐹 = n·𝑥 grad𝜕Ω𝑡 𝑣 𝑡 − 𝜇𝑡 (𝑣 𝑡 ) 2 dS − n·𝑥 (𝑣 𝑡𝑛 ) 2 dS .
𝑒𝑡 𝐹 𝑒𝑡 𝜕Ω\𝐹
(C.4.1)
Setting 𝑡 = 0 and collecting the 𝜇 𝐹 -terms on the left-hand side we have
∫ ∫ ∫
2 2
𝜇 𝐹
n · 𝑥 𝑣 dS −2 = n · 𝑥 | grad𝜕Ω 𝑣| dS − n · 𝑥 𝑣 2𝑛 dS .
𝐹 𝜕Ω 𝜕Ω\𝐹
• Note that in the case that 𝐹 = 𝜕Ω and Ω is star-convex with respect to the
origin, we have that n · 𝑥 ≥ 0 with some open part of the boundary having
n · 𝑥 > 0. Hence assuming that 𝜇 ≠ 0 and using (C.4.1) we get
∫ ∫
2 2
n · 𝑥𝑣 dS −2 𝜇 = n · 𝑥 grad𝜕Ω 𝑣 dS > 0.
𝜕Ω 𝜕Ω
∫
In particular we have that 𝜕Ω
n · 𝑥𝑣 2 dS −2 > 0, meaning that the denomi-
nator is not identically 0.
107
Paper C. Kuttler-Sigillito’s Inequalities and Rellich-Christianson Identity
which simplifies to ∫
1
𝐹
𝜇 = n · 𝑥 𝑣 2𝑛 dS .
2 𝜕Ω\𝐹
𝑃 𝐹𝑖
𝑥
𝐻𝑖
n · 𝑥 = dist(0)𝑖
108
C.5. Rellich-Christianson Type Identity
We are going to denote by 𝐹𝑖𝑛 = 𝐹𝑖 a face where we have posed the Neumann
boundary conditions and 𝐹𝑖𝑑 = 𝐹𝑖+ 𝑗 the faces where we have posed Dirichlet
conditions. In this case the mixed Neumann-Dirichlet problem becomes
Δ𝑣(𝑥) + 𝜇𝑣(𝑥) = 0 in 𝑃
𝑣 𝑛 (𝑥) = 0 on 𝐹1𝑛 ∪ 𝐹2𝑛 ∪ · · · ∪ 𝐹 𝑗𝑛 . (C.5.1)
𝑣(𝑥) = 0 on 𝐹1𝑑 ∪ 𝐹2𝑑 ∪···∪ 𝐹𝑘𝑑
𝑗 ∫ ! 𝑗 ∫
Õ Õ 2
2
𝜇 dist( 𝑝)𝑖 𝑣 dS −2 = dist( 𝑝)𝑖 grad𝜕𝑃 𝑣 dS
𝑖=1 𝐹𝑖𝑛 𝑖=1 𝐹𝑖𝑛
𝑘
Õ ∫
− dist( 𝑝)𝑖+ 𝑗 𝑣 2𝑛 dS . (C.5.2)
𝑖=1 𝐹𝑖𝑑
Remark C.5.2.
• In general, one can not assume that solutions are in 𝐻 2 (Ω) for 𝜕Ω is Lipschitz
domain. An example of this is the problem on the half disk 𝐷 + given by
Δ𝑣 + 𝜇𝑣 = 0 on 𝐷 +
𝑣𝑛 = 0 on {(𝑟, 𝜋) : 𝑟 < 1}
𝑣 = 0 on {(𝑟, 0) : 𝑟 < 1} ∪ {(1, 𝜃) : 0 < 𝜃 < 𝜋}.
A solution to this problem is given by
where 𝑗1,1/2 is the first zero of the Bessel function 𝐽1/2 . Using the Taylor
series
∞
Õ (−1) 𝑚 𝑥 𝑚+1/2
𝐽1/2 (𝑥) =
𝑚=0
𝑚!Γ(𝑚 + 3/2) 2
• The assumption that 𝑣 ∈ 𝐻 2 (𝑃) is for example true in the case of convex
polygons in R2 where we assume that the angle between two consecutive
sides 𝐹𝑖𝑛 and 𝐹 𝑗𝑑 have angle less than 𝜋/2, see [Dym79].
109
Paper C. Kuttler-Sigillito’s Inequalities and Rellich-Christianson Identity
Proof. Using the Rellich identity for the mixed Neumann-Dirichlet problem we
have that
𝑗 ∫
! 𝑗 ∫ 𝑘 ∫
Õ Õ 2
Õ
2
𝜇 n · 𝑥 𝑣 dS −2 = n · 𝑥 grad𝜕𝑃 𝑣 dS − n · 𝑥 𝑣 2𝑛 dS .
𝑖=1 𝐹𝑖𝑛 𝑖=1 𝐹𝑖𝑛 𝑖=1 𝐹𝑖𝑑
Using the above computation that n · 𝑥 = dist(0)𝑖 on each face of the polytope we
get
𝑗 ∫ ! 𝑗 ∫
Õ Õ 2
2
𝜇 dist(0)𝑖 𝑣 dS −2 = dist(0)𝑖 grad𝜕𝑃 𝑣 dS
𝑖=1 𝐹𝑖𝑛 𝑖=1 𝐹𝑖𝑛
𝑘
Õ ∫
− dist(0) 𝑗+𝑖 𝑣 2𝑛 dS .
𝑖=1 𝐹𝑖𝑑
𝑗 ∫ ! 𝑗 ∫
Õ Õ 2
2
𝜇 dist( 𝑝)𝑖 𝑣 dS −2 = dist( 𝑝)𝑖 grad𝜕𝑃 𝑣 dS
𝑖=1 𝐹𝑖𝑛 𝑖=1 𝐹𝑖𝑛
𝑘
Õ ∫
− dist( 𝑝) 𝑗+𝑖 𝑣 2𝑛 dS .
𝑖=1 𝐹𝑖𝑑
Example C.5.3 (Example C.2.7 continued). We saw in Example C.2.7 that the
solutions to the problem (C.2.10) are given by
and ∫ ∫
𝑣 2𝑛 dS = 𝑣 2𝑛 dS = 2(𝜋𝑛) 2 .
𝐹1𝑑 𝐹2𝑑
110
C.5. Rellich-Christianson Type Identity
and ∫ ∫
dist( 𝑝)3 𝑣 2𝑛 dS + dist( 𝑝)4 𝑣 2𝑛 dS = 2(𝜋𝑛) 2 .
𝐹1𝑑 𝐹2𝑑
and ∫ ∫
dist( 𝑝)1 𝑣 2 dS + dist( 𝑝)2 𝑣 2 dS = 2.
𝐹1𝑛 𝐹2𝑛
111
Further Results D
Eigenvalues on Spherically
Symmetric Manifolds
Abstract
In this note we will explore eigenvalues on balls for spherically symmetric
manifolds. We will compare the eigenvalues to the eigenvalues on balls in
Euclidean space.
D.1 Introduction
In this chapter we are going to compare the Dirichlet eigenvalues for the Laplacian
on balls in spherically symmetric (also called rotationally symmetric) manifolds to
the Euclidean space. Recall that the Dirichlet eigenvalues on the ball 𝐵𝑟0 (0) ⊂ R𝑛
are given by
𝑙 !2
𝑗 𝑚+𝑛/2−1
,
𝑟0
where 𝑗 𝑚+𝑛/2−1
𝑙 is the 𝑙’th zero of the Bessel function 𝐽𝑚+𝑛/2−1 . In [Bag90; Bag91]
the author compared all the Dirichlet eigenvalues for 𝐵𝑟0 ( 𝑝) ⊂ S2 to the Dirichlet
eigenvalues in the ball in the plane with the same radius using comparison theo-
rems for Sturm-Liouville equations. In particular, the author showed that the first
eigenvalue 𝜆1 (𝑟 0 ) on 𝐵𝑟0 ( 𝑝) ⊂ S2 satisfies
!2 ! !2
𝑗01 1 1 1 𝑗01 1
− 1+ 2 − 2 ≤ 𝜆1 (𝑟 0 ) ≤ − . (D.1.1)
𝑟0 4 sin (𝑟 0 ) 𝑟 0 𝑟0 3
More recently, the first eigenvalue of a ball on a spherically symmetric manifold
was compared to the first eigenvalue of a ball in Euclidean space in [BF17]. The
result in [BF17] generalizes (D.1.1) arbitrary symmetric manifolds.
115
Further Results D. Eigenvalues on Spherically Symmetric Manifolds
given on the form 𝑢𝑟0 (𝑟, 𝜃) = 𝑅𝑟𝑚0 (𝑟)Θ(𝜃) form a basis for 𝐿 2 (𝐵𝑟0 ( 𝑝)). The function
Θ is a spherical harmonic solving
116
D.2. Dirichlet Eigenvalues on Model Spaces
lim 𝑟 2 𝜆 𝑚,𝑙 (𝑟 0 ) 𝑙
= ( 𝑗 𝑚+𝑛/2−1 )2.
𝑟0 →0 0
on the interval [𝑎, 𝑏]. Assume that 0 < 𝑝 2 ≤ 𝑝 1 and 𝑞 1 ≤ 𝑞 2 , and let 𝑧 1 and 𝑧 2 be
two consecutive zeros of 𝑦 1 . Then either 𝑦 2 has a zero in the interval (𝑧 1 , 𝑧2 ), or
𝑦1 = 𝑦2.
We are now ready to state the main theorem:
Theorem D.2.2. Let 𝜆 𝑚,𝑙 (𝑟 0 ) be defined as above. In the case that either 𝑚 > 0
or 𝑛 > 2 we have that
𝑙 !2
𝑗 𝑚+𝑛/2−1 2𝑚 2 + 2𝑚(𝑛 − 2) − 𝑛(𝑛 − 1)
+ 𝐾 ≤ 𝜆 𝑚,𝑙 (𝑟 0 )
𝑟0 6
𝑙 !2 2 2 ! !
𝑗 𝑚+𝑛/2−1 𝑛−1 𝑛−2 1 1 1
≤ − 𝐾+ +𝑚 − − .
𝑟0 2 2 4 sin2𝐾 (𝑟 0 ) 𝑟 02
Remark D.2.3.
• In the case of the sphere S2 this inequality is known from [Bag90; Bag91].
Additionally, for the first eigenvalue the theorem is known from [BF17,
Thm. 3.3].
117
Further Results D. Eigenvalues on Spherically Symmetric Manifolds
Proof. We will only show this result for 𝑟 0 < √𝜋 in this section. For the case
2 |𝐾 |
for larger values of 𝑟 0 see Example D.5.3.
To get the radial part of 𝑢𝑟0 on Sturm-Liouville form, see Section B.5, we
denote by
𝑛−1
𝑣 𝐾 (𝑟) = sin𝐾2 (𝑟)𝑅𝑟𝑚,𝑙
0
(𝑟),
𝑛−2
and let 𝑚˜ = 2 + 𝑚. Then we have that
2 !
1 − 4𝑚˜ 2
00 𝑛−1
0= 𝑣𝐾 (𝑟) + 𝐾 + 𝜆 𝑚,𝑙 (𝑟 0 ) + 𝑣 𝐾 (𝑟). (D.2.3)
2 4 sin2𝐾 (𝑟)
Our goal is to use Theorem D.2.1 with the Sturm-Liouville equation for the Eu-
clidean space to get an estimate of 𝑟 0 . In this case we will use that 𝑢𝐶 (𝑟) =
√
𝑟 𝐽𝑚˜ (𝐶𝑟) solves the equation
1 − 4𝑚˜ 2
00
0 = 𝑢𝐶 (𝑟) + 𝐶 2 + 𝑢𝐶 . (D.2.4)
4𝑟 2
We will use Sturm-Picone comparison with 𝐶 being two different constants 𝐶1 and
𝐶2 .
Notice that sin21 (𝑟 ) − 𝑟12 is increasing and also that
𝐾
1 1 𝐾
lim+ − = .
𝑟 →0 sin2 (𝑟) 𝑟 2 3
𝐾
Denote by
!
4𝑚˜ 2 − 1 1 1 𝐾 (4𝑚˜ 2 − 1)
𝑎 𝑚˜ = − , 𝑏 𝑚˜ = .
4 sin2𝐾 (𝑟 0 ) 𝑟 02 12
118
D.2. Dirichlet Eigenvalues on Model Spaces
For the next part we will need a lower bound for the eigenvalue. Since we have
assumed that 𝑟 0 < √𝜋 for positive 𝐾 when 𝑚 > 0 we have that 𝜆 𝑚,𝑙 (𝑟 0 ) >
2 𝐾
𝑚(𝑚+𝑛−2)
sin2𝐾 (𝑟0 )
. We get this inequality from that the first zero of 𝑅𝑟𝑚,𝑙
0
is after the first
00
maximum, where means that 𝑅𝑟𝑚,𝑙
0
< 0 which means that
which implies the inequality. For the negatively curved spaces we will use that
(𝑛 − 1) 2
− 𝐾 < 𝜆 𝑚,𝑙 (𝑟 0 )
4
which can be found in [Cha84, p. 46]. When either 𝑛 > 2 or 𝑚 > 0 we have that
1 − 4𝑚˜ 2 ≤ 0, and we will set
s
2
𝑛−1
𝐶1 = 𝜆 𝑚,𝑙 (𝑟 0 ) + 𝐾 − 𝑎 𝑚˜
2
and s
2
𝑛−1
𝐶2 = 𝜆 𝑚,𝑙 (𝑟 0 ) + 𝐾 − 𝑏 𝑚˜ .
2
In this case we have that
2
1 − 4𝑚˜ 2 1 − 4𝑚˜ 2 1 − 4𝑚˜ 2
2 𝑛−1 2
𝐶1 + ≤ 𝐾 + 𝜆 𝑚,𝑙 (𝑟 0 ) + ≤ 𝐶 2 + .
4𝑟 2 2 4 sin2𝐾 (𝑟) 4𝑟 2
Using Theorem D.2.1 for solutions to the equations (D.2.3) and (D.2.4) leads to
the estimate of 𝑟 0 by
𝑙
𝑗𝑚 𝑗𝑙
˜
≤ 𝑟 0 ≤ 𝑚˜ .
𝐶2 𝐶1
Solving for 𝜆 𝑚,𝑙 (𝑟 0 ) we get
𝑙 2
!
𝑗𝑚˜ 2𝑚 2 + 2𝑚(𝑛 − 2) − 𝑛(𝑛 − 1)
+ 𝐾 ≤ 𝜆 𝑚,𝑙 (𝑟 0 )
𝑟0 6
𝑙 2
! 2 !
4𝑚˜ 2 − 1
𝑗𝑚 ˜ 𝑛−1 1 1
≤ − 𝐾+ − .
𝑟0 2 4 sin2𝐾 (𝑟 0 ) 𝑟 02
119
Further Results D. Eigenvalues on Spherically Symmetric Manifolds
Hence we obtain
!2 ! !2
𝑗0𝑙 1 1 1 𝑗0𝑙 1
− 𝐾+ 2 − 2 ≤ 𝜆0,𝑙 (𝑟 0 ) ≤ − 𝐾.
𝑟0 4 sin𝐾 (𝑟 0 ) 𝑟 0 𝑟0 3
the operator
𝐿 𝑚 𝜙 = ( 𝑓 𝑛−1 (𝑟)𝜙 0 (𝑟)) 0 − 𝑓 𝑛−3 (𝑟)𝑚(𝑚 + 𝑛 − 2)𝜙(𝑟)
is an unbounded self adjoint operator on the space
∫ 𝑡
1 𝑛−1 2 0
𝑋𝑡 = 𝜙 ∈ 𝐻loc (0, 𝑡) : 𝑓 (𝑟)𝜙(𝑟) dr < ∞, 𝜙(𝑡) = 𝜙(0)𝜙 (0) = 0 .
0
The eigenvalues of 𝐿 𝑚 are simple, since if 𝑢, 𝑣 are two eigenfunctions with same
eigenvalue 𝜆 we have that
0 = 𝑢𝐿 𝑚 𝑣 − 𝑣𝐿 𝑚 𝑢
= 𝑢( 𝑓 𝑛−1 (𝑟)𝑣 0) 0 − 𝑣( 𝑓 𝑛−1 (𝑟)𝑢 0) 0
= ( 𝑓 𝑛−1 (𝑟)(𝑢𝑣 0 − 𝑣𝑢 0)) 0 .
120
D.3. Eigenvalues on Spherically Symmetric Manifolds
This means that 𝑓 𝑛−1 (𝑟) (𝑢𝑣 0 − 𝑣𝑢 0) is constant. Using the boundary conditions
means that the Wronskian 𝑢𝑣 0 − 𝑣𝑢 0 = 0, hence 𝑢 and 𝑣 are linearly dependent.
We will let 𝜆 𝑚,𝑙 (𝑡) be the 𝑙’th eigenvalue of the problem (D.3.1) with the
corresponding eigenfunction 𝑅𝑚,𝑙 𝑡 .
and 𝑅𝑚,𝑙
𝑡 is the eigenfunction of the 𝑙’th eigenvalue of the problem (D.3.1).
𝑓 0 (𝑟) 0 1
Δ𝑢(𝑟, 𝜃) = 𝑅 00 (𝑟)Θ(𝜃) + (𝑛 − 1) 𝑅 (𝑟)Θ(𝜃) + 𝑅(𝑟) 2 ΔS𝑛−1 Θ(𝜃)
𝑓 (𝑟) 𝑓 (𝑟) 1
= −𝜆(𝑡)𝑅(𝑟)Θ(𝜃),
which simplifies to
121
Further Results D. Eigenvalues on Spherically Symmetric Manifolds
By using the Hadamard formula presented in [EI07, Cor. 2.1] one has that in the
case that 𝜆(𝑡) and 𝑢 𝑡 is differentiable with respect to 𝑡 one gets that
∫
0 2
𝜆 (𝑡) = − 𝑢 𝑡𝑛 dS .
𝑆𝑡𝑛−1 ( 𝑝)
122
D.4. Eigenvalues on Balls
The above proposition was proved for the first the first eigenvalue in [BF17,
Lem. 3.1]. Their proof was based on variational methods. We will give another
proof for general eigenvalues. Before proving Proposition D.4.1 we first develop
the following lemma of independent interest.
Lemma D.4.2. Let 𝑢 be a solution to Δ𝑢 + 𝜆𝑢 = 0 on the ball 𝐵𝑡 ( 𝑝) where
grad 𝑟 ( 𝑥)
𝑡 ≤ Inj( 𝑝). Let 𝜑 : (0, ∞) → (0, ∞) be such that 𝜑 (𝑟 ( 𝑥)) is a smooth vector field.
Then
∫
| grad 𝑢| 2 − 𝑢 2𝑛 dS
𝑆𝑡𝑛−1 ( 𝑝)
𝜑 (𝑟 (𝑥)) Δ𝑟 − 𝜑 0 (𝑟 (𝑥))
∫
= 𝜑 (𝑡) | grad 𝑢| 2 dvol
𝐵𝑡 ( 𝑝) 𝜑2 (𝑟 (𝑥))
∇2𝑟 (grad 𝑢, grad 𝑢) − 𝜆𝑢𝑟 𝑢 𝜑 (𝑟 (𝑥)) − 𝜑 0 (𝑟 (𝑥)) 𝑢𝑟2
∫
− 2𝜑 (𝑡) dvol .
𝐵𝑡 ( 𝑝) 𝜑2 (𝑟 (𝑥))
𝜕𝑟
Proof. We will use the notation 𝑋 = 𝜙 (𝑟 ( 𝑥)) and
123
Further Results D. Eigenvalues on Spherically Symmetric Manifolds
| grad𝑆𝑡 𝑢| 2 − (𝜕𝑟 𝑢) 2
h𝑉, 𝜕𝑟 i = ,
𝜙(𝑡)
Proof of Prop. D.4.1. Lemma D.4.2 with 𝜑(𝑟 (𝑥)) = 𝑟 −1 (𝑥) implies that
∫
2
𝑡𝜆 0 (𝑡) = grad 𝑢 𝑡 (𝑟Δ𝑟 + 1)
𝐵𝑡 ( 𝑝)
− 2 𝑟∇2𝑟 grad 𝑢 𝑡 , grad 𝑢 𝑡 + (𝑢 𝑡 ) 𝑛2 − 𝜆 (𝑡) 𝑟 (𝑢 𝑡 ) 𝑛 𝑢 𝑡
dvol .
∫ ∫ ∫
1 𝑡 2 1
𝑡 𝑡
𝑟 (𝑢 ) 𝑛 𝑢 dvol = − (𝑢 ) dvol − 𝑟Δ𝑟 (𝑢 𝑡 ) 2 dvol
𝐵𝑡 ( 𝑝) 2 𝐵𝑡 ( 𝑝) 2 𝐵𝑡 ( 𝑝)
gives
∫
0 2
grad 𝑢 𝑡 (𝑟Δ𝑟 + 1) − 2 𝑟∇2𝑟 grad 𝑢 𝑡 , grad 𝑢 𝑡 + (𝑢 𝑡 ) 𝑛2 dvol
𝑡𝜆 (𝑡) =
𝐵𝑡 ( 𝑝)
∫
− 𝜆 (𝑡) − 𝜆 (𝑡) 𝑟Δ𝑟 (𝑢 𝑡 ) 2 dvol .
𝐵𝑡 ( 𝑝)
0 ∫
2
𝑡 2 𝜆 (𝑡) grad 𝑢 𝑡 (𝑟Δ𝑟 + 2) − 2𝑟∇2𝑟 grad 𝑢 𝑡 , grad 𝑢 𝑡 dvol
=𝑡
𝐵𝑡 ( 𝑝)
∫ ∫
𝑡 2
−2 (𝑢 ) 𝑛 dvol −𝑡𝜆 (𝑡) 𝑟Δ𝑟 (𝑢 𝑡 ) 2 dvol .
𝐵𝑡 ( 𝑝) 𝐵𝑡 ( 𝑝)
124
D.5. Spherical Symmetric Manifolds
and 𝑡
𝑅𝑚,𝑙 𝑡 (𝑡) = 0 and 𝑅 𝑡 (𝑡) is bounded. Denote by
satisfies (D.3.1) with 𝑅𝑚,𝑙 𝑚,𝑙
𝑛−1
𝐹 (𝑟) = 3 (3 − 𝑛)𝑟 𝑓 0 (𝑟) 3 + (𝑟 𝑓 000 (𝑟) + 2 𝑓 00 (𝑟)) 𝑓 2 (𝑟)
𝑓 (𝑟)
+ ((𝑛 − 4)𝑟 𝑓 00 (𝑟) + (𝑛 − 3) 𝑓 0 (𝑟)) 𝑓 0 (𝑟) 𝑓 (𝑟) .
125
Further Results D. Eigenvalues on Spherically Symmetric Manifolds
Proof. Using Proposition D.4.1 we need to compute Δ(𝑟Δ𝑟). Notice first that
𝑓 0 (𝑟)
Δ𝑟 = (𝑛 − 1) .
𝑓 (𝑟)
0
Moreover, the radial part of the Laplacian is 𝜕𝑟2 + (𝑛 − 1) 𝑓𝑓 (𝑟(𝑟)) 𝜕𝑟 . Hence we get that
1
where we have used that Δ𝑆𝑠𝑛−1 = Δ 𝑛−1 .
𝑓 2 (𝑠) S1
Thus the result follows.
Remark D.5.2. For the first eigenfunction we have that 𝑚 = 0 and get the same
result as in [BF17, Lem. 3.1].
Example D.5.3. In the case that (𝑀𝐾 , g𝐾 ) is a model space we have that 𝐹 in
Corollary D.5.1 simplifies to
sin𝐾 (𝑟) − 𝑟 cos𝐾 (𝑟)
𝐹 (𝑟) = (−𝐾) (𝑛 − 1) 2 + (𝑛 − 1) (𝑛 − 3) .
sin3𝐾 (𝑟)
126
D.5. Spherical Symmetric Manifolds
−𝐾
is increasing and satisfies lim𝑟 →0 𝐺 (𝑟) = 3 . Hence 𝐺 (𝑟) satisfies
( 𝑗 𝑚+𝑛/2−1
𝑙 )2 (𝑛 − 1) 2
∫ 𝑟1
𝜆 𝑚,𝑙 (𝑟 1 ) ≤ −𝐾 𝑡 dt
𝑟 12 2𝑟 12 0
" #0
𝑡2
∫ 𝑟1
(𝑛 − 1) (𝑛 − 3) + 4𝑚(𝑚 + 𝑛 − 2)
+ dt
2𝑟 12 0 sin2𝐾 (𝑡)
)2
!
( 𝑗 𝑚+𝑛/2−1
𝑙
(𝑛 − 1) 2 4(𝑚 + (𝑛 − 2)/2) 2 − 1 1 1
= −𝐾 + − .
𝑟 12 4 4 sin2𝐾 (𝑟 1 ) 𝑟 12
This is the same inequality as in Theorem D.2.2. Using the lower bound of 𝐺 (𝑡)
we obtain
( 𝑗 𝑚+𝑛/2−1
𝑙 )2 2𝑚 2 + 2𝑚(𝑛 − 2) − 𝑛(𝑛 − 1)
𝜆 𝑚,𝑙 (𝑟 1 ) ≥ + 𝐾.
𝑟 12 6
For the case 𝑛 = 2 and 𝑚 = 0 we also get the same result as in Theorem D.2.2.
127
Bibliography
129
Bibliography
[BM21] S. M. Berge and E. Malinnikova. “On the three ball theorem for solu-
tions of the Helmholtz equation”. In: Complex Analysis and its Syner-
gies 7 (2021).
[BF17] D. Borisov and P. Freitas. “The spectrum of geodesic balls on spheri-
cally symmetric manifolds”. In: Communications in Analysis and Ge-
ometry 25.3 (2017), pp. 507–544.
[Bor20] D. Borthwick. Spectral theory. Springer International Publishing, 2020.
[BNO19] E. Burman, M. Nechita, and L. Oksanen. “Unique continuation for
the Helmholtz equation using stabilized finite element methods”. In:
Journal de Mathématiques Pures et Appliquées. Neuvième Série 129
(2019), pp. 1–22.
[CH94] R. Camporesi and A. Higuchi. “Spectral functions and zeta functions in
hyperbolic spaces”. In: Journal of Mathematical Physics 35.8 (1994),
pp. 4217–4246.
[Cha84] I. Chavel. Eigenvalues in Riemannian geometry. Including a chapter
by B. Randol, With an appendix by J. Dodziuk. Academic Press, 1984.
[Cha06] I. Chavel. Riemannian geometry. Second. Cambridge University Press,
2006.
[CLN06] B. Chow, P. Lu, and L. Ni. Hamilton’s Ricci flow. American Mathe-
matical Society, 2006.
[Chr19] H. Christianson. “Equidistribution of Neumann data mass on simplices
and a simple inverse problem”. In: Mathematical research letters 26.2
(2019), pp. 421–445.
[CEG11] B. Colbois, A. El Soufi, and A. Girouard. “Isoperimetric control of the
Steklov spectrum”. In: Journal of Functional Analysis 261.5 (2011),
pp. 1384–1399.
[DF88] H. Donnelly and C. Fefferman. “Nodal sets of eigenfunctions on
Riemannian manifolds”. In: Inventiones Mathematicae 93.1 (1988),
pp. 161–183.
[Don69] W. F. Donoghue Jr. Distributions and Fourier transforms. Academic
Press, New York, 1969.
[Dur12] P. Duren. Invitation to classical analysis. American Mathematical So-
ciety, 2012.
[Dym79] V. I. Dymčenko. “Asymptotic expansions of the solutions of the Helmholtz
equation in the neighborhood of angular boundary points”. In: Akademiya
Nauk SSSR 19.5 (1979), pp. 1205–1216.
130
Bibliography
131
Bibliography
132
Bibliography
133
Bibliography
134
Doctoral theses at NTNU, 2021:285
Doctoral thesis
Stine Marie Berge
NTNU
Norwegian University of Science and Technology
Thesis for the Degree of
Philosophiae Doctor
Faculty of Information Technology and Electrical
Engineering
Department of Mathematical Sciences