PreprintPDF Available

Semiclassical analysis of a nonlocal boundary value problem related to magnitude

Authors:
Preprints and early-stage research may not have been peer reviewed yet.

Abstract

We study a Dirichlet boundary problem related to the fractional Laplacian in a manifold. Its variational formulation arises in the study of magnitude, an invariant of compact metric spaces given by the reciprocal of the ground state energy. Using recent techniques developed for pseudodifferential boundary problems we discuss the structure of the solution operator and resulting properties of the magnitude. In a semiclassical limit we obtain an asymptotic expansion of the magnitude in terms of curvature invariants of the manifold and the boundary, similar to the invariants arising in short-time expansions for heat kernels.
arXiv:2201.11357v1 [math.AP] 27 Jan 2022
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE
PROBLEM RELATED TO MAGNITUDE
HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Abstract. We study a Dirichlet boundary problem related to the fractional Laplacian in a
manifold. Its variational formulation arises in the study of magnitude, an invariant of compact
metric spaces given by the reciprocal of the ground state energy. Using recent techniques
developed for pseudodifferential boundary problems we discuss the structure of the solution
operator and resulting properties of the magnitude. In a semiclassical limit we obtain an
asymptotic expansion of the magnitude in terms of curvature invariants of the manifold and
the boundary, similar to the invariants arising in short-time expansions for heat kernels.
Contents
1. Introduction 1
2. The symbolic structure near the diagonal 7
3. Global behavior of Zon compact manifolds 26
4. The operator Zon Sobolev spaces for a manifold with boundary 33
5. Structure of the inverse operator in the presence of a boundary 37
6. Conditional expectations of Q1
Xand Z1
X47
Appendix A. Overview of conormal distributions 54
Appendix B. Parameter dependent pseudodifferential operators 60
Appendix C. Inverting Qin an extended Boutet de Monvel calculus 65
Appendix D. The meromorphic Fredholm theorem 68
Appendix E. Partial fraction decompositions of symbols 68
Appendix F. Evaluation of some boundary symbols at zero 70
References 75
1. Introduction
The analysis of boundary problems for nonlocal operators has attracted much interest in
recent years, including Dirichlet and Neumann problems for fractional Laplacians in a Euclidean
domain. In this article we motivate and initiate the semiclassical analysis of related boundary
problems, with applications to the Leinster-Willerton conjecture for the magnitude invariant of
compact metric spaces.
To be specific, we consider the integral equation with parameter R > 0
(1) ZX
eRd(x,y)u(y)dy=f(x).
Here (X, d) is a compact metric space, and we focus on when Xis a manifold with boundary
and d is a distance function satisfying additional regularity assumptions. Already when XR2
is the unit disc, close to nothing was known for the solutions to (1). We shall prove in this
paper that for Xa compact n-dimensional manifold with boundary, Equation (1) is well posed
for fin the Sobolev space H(n+1)/2(X) and admits a unique solution uR˙
H(n+1)/2(X) for
sufficiently large R0 (for notation, see page 33). We relate the integral equation (1) to a
pseudodifferential boundary value problem which is elliptic with parameter.
Key words and phrases. 51F99 (primary), 28A75, 58J40, 58J50 (secondary).
1
2 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Our main results concern structural properties of solutions to Equation (1) such as asymptotic
behavior as R→ ∞ and meromorphic extensions in the parameter Rto sectors Γ C. The
methods for pseudodifferential boundary value problems that we use date far back, see the work
of Gregory Eskin [9] and Lars ormander [21], but have in recent years seen much development
in work of Gerd Grubb [14, 15, 16, 17, 18].
The solution to (1) for the right hand side f= 1 enters in the so called magnitude function
of (X, d), studied extensively in for instance [2, 11, 25, 26, 28, 32, 33, 43, 44]. The empirical
properties of the solution to (1) have recently found applications in data science, leading to
precise conjectures for its structural properties [6, 7].
The case f= 1 can also be considered as a minimizing problem. Equation (1) relates to the
ground state energy
E(R;X, d) := inf ZXZX
eRd(x,y)dµ(x)dµ(y) : µa signed Borel measure with µ(X) = 1=
(2)
= inf
X
x,yX
eRd(x,y)c(x)c(y) : c:XRhas finite support and PxXc(x) = 1
.
More precisely, if Ris such that (X, Rd) is positive definite (i.e. the matrix (eRd(x,y))x,yFis
positive definite for any finite FX), then by [33] a solution uRto Equation (1) with f= 1
satisfies ZX
uR(x)dx=1
E(R;X, d) .
Let us digest on the problem of finding E(R;X, d) and studying its semiclassical limit, as
it has been broadly studied in various mathematical communities. The ground state energy
E(R;X, d) is that of a signed distribution of finitely many particles on Xwhere a particle in x
interacts with a particle in yunder the potential eRd(x,y). As such, the scaling parameter R > 0
should be thought of as an order parameter with R→ ∞ corresponding to a semiclassical limit.
The non-locality of Equation (1) and the ground state energy E(R;X, d) makes the problem of
explicit computation an impossibility, however in the semiclassical limit the problem localizes
and is asymptotically described in terms of geometric invariants. Related problems concerning
ground state energies with nonlocal interaction potentials arise in the mean field description of
interacting particle systems, such as [10]. Specifically for log gases the dependence of the ground
state energy on the geometry has been of interest [46]. In complex geometry, Berman has
studied similar minimization problems from which geometric structures emerged [3, 4]. Related
operators also appear in image processing [1].
The integral equation (1) is, as mentioned above, related to magnitude – an invariant that
has been extensively studied since it was introduced by Tom Leinster [25]. We presume no
prerequisites from the reader on magnitude in this paper, but for the convenience of the reader
we summarize the implications to magnitude here and expand on this relation in the follow up
paper [12]. From its category-theoretic origin, magnitude has found unexpected applications
from algebraic topology [13, 27, 40] and applied category theory [8, 35] to data science [6, 7] and
mathematical biology [24].
For a metric space (X, d) this invariant leads to a function MX: (0,)R∪ {∞}. When
the metric space (X, Rd) is positive definite, and in particular for compact sets XRn[32],
MX(R) is defined as MX(R) = RXuR(x)dx, where uRsatisfies the magnitude equation
(3) ZX
eRd(x,y)u(y)dy= 1.
The work [33] provides an abstract Hilbert space framework in which to pose this equation.
In the case of compact sets XRn, Meckes [33] gives an interpretation of the magnitude in
potential theoretic terms, as a generalized capacity:
(4) MX(R) = 1
Rn!ωn
inf nk(R2+ ∆)(n+1)/4hRk2
L2(Rn):hRH(n+1)/2(Rn), hR= 1 on Xo.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 3
Here ωndenotes the volume of the unit ball in Rn. The minimizer of (4) is attained at a function
hRH(n+1)/2(Rn) solving the non-local exterior problem
(5) ((R2+ ∆)(n+1)/2hR= 0,in Rn\X,
hR= 1,in X.
If nis odd, this was studied as a boundary value problem for the five-dimensional unit ball in
[2], and extended to odd-dimensional unit balls in [45]. Few explicit computations of magnitude
are known outside the realm of compact domains in odd-dimensional Euclidean space, and even
there the state-of-the art [11] can only provide asymptotic results in the semiclassical limit and
ensure existence of meromorphic extensions. In particular, nothing was previously known about
magnitude even in such a simple case as the unit disk X=B2R2.
We provide a framework for a refined analysis and explicit computations for solutions to
Equation (1) when Xis a smooth, n-dimensional, compact manifold with boundary, independent
of the parity of n. The framework relies on recent advances for pseudodifferential boundary
problems and initiates their semiclassical analysis. We work under certain regularity assumptions
on the distance function d, firstly that its square is regular at the diagonal (see Definition 2.2)
and secondly that it has property (MR) (see Definition 3.3 and 4.2). Our first assumption ensures
that the distance function behaves to leading term as a Euclidean distance, and is satisfied by
any geodesic distance function or a pullback thereof under an embedding. The first assumption
ensures that the diagonal behavior in Equation (1) is governed by a pseudodifferential operator
of order n1 which is elliptic with parameter. Our second assumption – property (MR) –
is a technical condition to ensure that the off-diagonal behavior in Equation (1) is negligible.
Property (MR) is satisfied for subspace distances in manifolds whose distance functions squared
are smooth, but it in fact fails for higher dimensional tori and real projective spaces.
1.1. Main results. Let us summarize the main results of this paper. The results all circle
around the family of integral operators
ZX(R)u(x) := 1
RZX
eRd(x,y)u(y)dy, R C\ {0}.
Here Xis a compact manifold with boundary equipped with a distance function d and a volume
density dy. We assume that d2is smooth in a small neighborhood of the diagonal x=yand
there in local coordinates admits a Taylor expansion (for any N > 0)
(6) d(x, y)2=Hd2,x (v) +
X
j=3
Cj
d2(x;v) + O(|v|N+1).
Here v=xy, and where Hd2is a Riemannian metric on Xand Cj
d2in local coordinates is a
symmetric j-form in v. This condition can be summarized in the terminology that d2is regular
at the diagonal, see Definition 2.2 and for more details on the Taylor expansion, see Equation
(10). We fix a function χC(X×X) such that χ= 1 on a neighborhood of the diagonal
x=yand d2is smooth on the support of χ. The localization of Zto near the diagonal is the
integral operator
QX(R)u(x) := 1
RZX
χ(x, y)eRd(x,y)u(y)dy, R C\ {0}.
We remark that if d2is smooth on all of X×X, e.g. for a domain or a submanifold in Rnwith
the induced metric, it holds that ZXQXis smoothing with parameter on any sector Γ C+
with opening angle < π/2.
Theorem 1.1. Let Xbe a compact n-dimensional manifold with boundary and dsuch that d2
is regular at the diagonal (see Definition 2.2). The family of integral operators QXis an elliptic
pseudodifferential operator with parameter RC+of order n1, and its principal symbol is
σn1(QX)(x, ξ, R) = n!ωn(R2+gd2(ξ, ξ))(n+1)/2,
where gd2is the dual metric to Hd2from the Taylor expansion (6). The properties of QXcan
be summarized as follows:
4 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
(1) In each coordinate chart, the full symbol of QXcan be computed by an iterative scheme
as in Theorem 2.9.
(2) There exists an R0such that
QX(R) : ˙
Hn+1
2(X)¯
Hn+1
2(X),
is invertible for Re(R)> R0and arg(R)< π/(n+ 1). Here ˙
Hn+1
2(X), respectively
¯
Hn+1
2(X), denote the Sobolev spaces of supported, respectively extendable distributions
in X(see Section 4).
(3) If ∂X =, then QX(R)1is an elliptic pseudodifferential operator of order n+ 1 when-
ever it exists. The full symbol of Q1
Xcan be computed by an iterative scheme as in
Theorem 2.21.
(4) If ∂X 6=,QXis elliptic with parameter of type (n+ 1)/2and factorization index −∞
in an extended Boutet de Monvel calculus. In particular, there is a classical parameter
dependent parametrix in an extended Boutet de Monvel calculus of order n+ 1, type
(n+ 1)/2and factorization index −∞.
Moreover, if d2is smooth then all the properties above hold also for ZX.
Theorem 1.1 is found in the bulk of the text as follows. The first statement and item (1) is
found in Theorem 2.9. Item (2) is proven in Theorem 4.1, see also Corollary 2.22 of Theorem
2.23 for the simpler case of X =. Item (3) follows from Theorem 2.21 and Corollary 2.22.
Item (4) is contained in Theorem 4.9.
The operator QXis generally more well behaved than ZX; the off-diagonal singularities of
d can create problems in considering ZXas a map between Sobolev spaces. For examples of
such phenomena, see Subsection 3.4. We impose one of two conditions on d; property (MR)
and property (SMR) respectively to ensure that QXand ZXshare common functional analytic
features as operators between Sobolev space. The reader can find the precise definition of
property (MR) and property (SMR) in Definition 3.3 (for X =) and Definition 4.2 (for
∂X 6=). We note that property (MR) and property (SMR) hold on any sector Γ C\ {0}as
soon as d2is smooth on all of X×X, e.g. for a domain in Rnor more generally for a compact
submanifold with boundary in a manifold with d2smooth.
Theorem 1.2. Let Xbe a compact n-dimensional manifold with boundary and let dbe a distance
function such that d2is regular at the diagonal (see Definition 2.2). The family of operators
QX(R) : ˙
Hn+1
2(X)¯
Hn+1
2(X), R C\ {0},
is a holomorphic family of Fredholm operators that are invertible on a sector. The inverse
QX(R)1:¯
Hn+1
2(X)˙
Hn+1
2(X), R C\ {0},
is a meromorphic family of Fredholm operators.
If dsatisfies property (SMR) on a sector Γ, then also
ZX(R) : ˙
Hn+1
2(X)¯
Hn+1
2(X), R Γ,
is a holomorphic family of Fredholm operators whose inverse family
ZX(R)1:¯
Hn+1
2(X)˙
Hn+1
2(X), R Γ,
is a meromorphic family of Fredholm operators.
For the purposes described above, we are interested in precise asymptotic information about
solutions to ZX(R)u=f. To this end, we were not able to utilize the extended Boutet de
Monvel calculus appearing in Theorem 1.1, item (4), but rather we describe the inverse operator
Z1
Xvia Wiener-Hopf factorizations.
Theorem 1.3. Let Xbe a compact n-dimensional manifold with boundary and da distance
function whose square is regular at the diagonal. For some R00and any RΓπ/(n+1)(R0),
we can write
Q1
X=χ1
1+χ2(ϕ1)W+Wϕχ
2+S,
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 5
where χ1, χ
1C
c(X), and χ2, χ
2C(X)are functions supported in a collar neighborhood
U0of ∂X in Xsuch that
χ1+χ2= 1 and χ
j|supp(χj)= 1, j = 1,2,
ϕ:∂X ×[0,1) U0is a collar identification, and the operators S,Wand W+satisfy the
following:
(1) S:Hµ(X)˙
Hµ(X)is a continuous operator with
kSkHµ(X)˙
Hµ(X)=O(R−∞),as R→ ∞.
(2) W+:L2(∂X ×[0,)) ˙
Hµ(∂X ×[0,)) is the properly supported pseudodifferential
operator of mixed-regularity (µ, 0) from Definitions 5.18 which is invertible for large
R > 0and in local coordinates has an asymptotic expansion modulo Sµ,−∞ as in Lemma
5.21 and preserves support in X×[0,)X ×R. Moreover, for χ, χC+C
c(∂X ×
[0,)) with χχ= 0, it holds that
kχW+χkL2(∂X ×[0,))Hµ(∂X ×R)=O(R−∞),as R→ ∞.
(3) W:Hµ(∂X ×[0,)) L2(X ×[0,)) is the properly supported pseudodifferential
operator of mixed-regularity (µ, 0) from Definitions 5.18 which is invertible for large R >
0and in local coordinates has an asymptotic expansion modulo Sµ,−∞ as in Lemma 5.21
and preserves support in ∂X ×(−∞,0] ∂ X ×R. Moreover, for χ, χC+C
c(∂X ×R)
with χχ= 0, it holds that
kχWχkHµ(∂X ×R)L2(∂X ×R)=O(R−∞),as R→ ∞.
The reader can find Theorem 1.3 stated as Theorem 5.22 in the body of the text. A key
feature of the construction in Theorem 1.3 is that it provides us with a method to compute the
symbolic structure of the inverse Q1
X.
Theorem 1.4. Let Xbe a compact n-dimensional manifold with boundary and da distance
function whose square is regular at the diagonal. In the sector Re(R)> R0and arg(R)<
π/(n+ 1), we can write
hQ(R)11X,1Xi=
X
k=0
ck(X, d)Rnk+O(Re(R)−∞),as Re(R)→ ∞ in Γ,
where the coefficients ck(X, d) are given as
ck(X, d) = ZX
ak,0(x, 1)dx+Z∂X
Bd2,k(x)dx,
where
(1) ak,0(·,1) C(X)is an invariant polynomial in the entries of the Taylor expansion (6)
as described in Theorem 2.27 and can be computed inductively using Lemma 2.25, with
ak,0= 0 if kis odd; and
(2) Bd2,k C(∂X )is an invariant polynomial in the entries of the Taylor coefficients of
d2at the diagonal in Xnear ∂X as described in Proposition 6.9 and can be inductively
computed using Lemma 5.19.
In particular, we have that
c0(X, d) = vol(X)
n!ωn
c1(X, d) = (n+ 1)vol(∂X )
2n!ωn
,
c2(X, d) = n+ 1
6·n!ωnZX
sd2dx+(n1)(n+ 1)2
8·n!ωnZ∂X
Hd2dx.
where the scalar curvature sd2is defined as in Theorem 6.1 and the mean curvature Hd2of the
distance function is defined as in Theorem 6.13.
The reader can find Theorem 1.4 stated as Theorem 6.13 in the body of the text.
6 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Corollary 1.5. Let Xbe a compact n-dimensional manifold with boundary and da distance
function whose square is regular at the diagonal. Write E(R;X, d) for the ground state energy
from Equation (2).
(1) If dhas property (MR) on a sector Γ, the ground state energy function E(R;X, d) is a
well defined meromorphic function of RΓ.
(2) If dhas property (SMR) on a sector Γ, the ground state energy function E(R;X, d) has
the semiclassical limit
E(R;X, d) =
X
k=0
εk(X, d)Rnk+O(Re(R)−∞),as Re(R)→ ∞ in Γ,
where
ε0(X, d) = n!ωn
voln(X),
ε1(X, d) = (n+ 1)voln1(X)
2voln(X)
ε2(X, d) = (n+ 1)2voln1(X)2
4voln(X)2n!ωnc2(X, d)
voln(X),
and more generally
εk(X, d) = pk,n c1(X, d)
voln(X),...,ck(X, d)
voln(X),
for a universal polynomial pk,n of total degree k(where each cj(X, d) is declared to be of
degree j).
1.2. Notational conventions. To avoid confusion, we will use the terms Riemannian metrics
and distance function to separate the notions of metrics that appear in Riemannian geometry
and metric geometry, respectively.
The Fourier transform on Rnis denoted by F. We use the convention that
Dx=i
∂x .
For α= (α1,...,αn)Nn, we write |α|=Pjαj,Dα
x=Dα1
x1···Dαn
xnand xα=xα1
1···xαn
n. In
this convention, for a Schwartz function fon Rn,
F(Dα
xf)(ξ) = ξαFf(ξ) and F(xαf)(ξ) = (Dξ)αFf(ξ),
and the product of pseudodifferential symbols is up to smoothing operators defined from a symbol
of the form
p#qX
α
1
α!α
ξpDα
xq=X
α
1
α!Dα
ξp∂α
xq.
We write Mfor a manifold and Xfor a compact manifold with boundary, or occasionally a
general compact metric space. We let ndenote the dimension of Mor Xand use the notation
µ:= n+ 1
2.
We write DiagM:= {(x, x) : xM}for the diagonal in M×M. If (X, d) is a compact metric
space such that the matrix (eRd(x,y))x,yFis positive definite for any finite subset FX, we
say that (X, d) is positive definite. If (X, Rd) is positive definite for all R > 0, we say that (X, d)
is stably positive definite. This terminology follows [32].
For a manifold M, we write C
c(M) for the Fr´echet space of compactly supported smooth
functions and D(M) for its topological dual – the distributions on M. If Xis a compact
manifold with boundary, it can always be embedded as a domain in a manifold Mand we write
C(X)C(X) for the restrictions to Xof elements in C(M).
A sector Γ Cis a conical subset, i.e., λΓΓ for all λ > 1. Standard examples we use
throughout the paper are C+={zC: Re(z)>0}and
Γα(R0) := {zC:|Arg(z)|< α, Re(z)> R0}.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 7
If we make a claim concerning R+, it is implicitly assumed to be a limit along the real
line. We also note that for sectors Γ C+of opening angle α < π/2, there is a Cα>0 with
C1
α|R| ≤ Re(R)Cα|R|.
For two Banach spaces V1and V2, we write B(V1, V2) for the space of bounded operators
V1V2and K(V1, V2) for the space of compact operators V1V2. Both form Banach spaces
in the norm topology.
We write N={0,1,2,3,...}for the set of natural numbers.
1.3. Acknowledgments. We thank Tony Carbery, Gerd Grubb, Tom Leinster, Rafe Mazzeo,
Mark Meckes, Niels Martin Møller, Grigori Rozenblum, Jan-Philip Solovej and Simon Willerton
for fruitful and encouraging discussions.
MG was supported by the Swedish Research Council Grant VR 2018-0350. NL was supported
by The Maxwell Institute Graduate School in Analysis and its Applications, a Centre for Doc-
toral Training funded by the UK Engineering and Physical Sciences Research Council (Grant
EP/L016508/01), the Scottish Funding Council, Heriot-Watt University and the University of
Edinburgh.
2. The symbolic structure near the diagonal
To better understand the operator Zwe first consider the case of a manifold M. This analysis
describes compact manifolds (see Subsection 2.4 and Section 3) and we carry it over to the interior
of a compact manifold with boundary below in Section 4 and 5. We formulate our results in
terms of the operator
(7) Z(R)f(x) := 1
RZM
eRd(x,y)f(y)dy,
whose dependence on R6= 0 is holomorphic under suitable assumptions studied in Section 3
below. Here we are implicitly using a volume density on M, and the operator depends on this
choice. We shall later fix a certain choice adapted to the distance function. We shall specify the
domain and codomain of this operator more precisely later on. For now, we can consider Zan
operator C
c(M)→ D(M) by setting
hZϕ, ψi=1
RZM×M
eRd(x,y)ϕ(y)ψ(x)dxdy, for ϕ, ψ C
c(M).
2.1. On a class of pseudodifferential operators with parameter. We pick a function
χC(M×M) such that χ= 1 near DiagMand is supported in a small neighborhood of
DiagM. The precise choice of χwill not play an important role, but we shall later specify
conditions on its support. The operator Zdecomposes as
(8) Z=Q+L, where Q(R)f(x) := 1
RZM
χ(x, y)eRd(x,y)f(y)dy.
We call the operator Qthe localization of Znear the diagonal. In this section we focus our
attention to Q. Distance functions might be non-smooth away from the diagonal despite being
quite regular at the diagonal and this off-diagonal behavior of the distance function dictates
whether or not Lis negligible. The remainder Lwill be studied further in Section 3.
This subsection is devoted to proving that the localized part Qof Zis a parameter-dependent
pseudodifferential operator, for a brief overview thereof, see Appendix B. We will treat a slightly
more general class of operators than Q. Consider a family of operators that take the form
(9) QG,χ(R)f(x) := 1
|R|Mc ZM
χ(x, y)e−|R|Mc G(x,y)f(y)dV(y).
Here we have written
|R|Mc := (R, Re(R)>0,
R, Re(R)<0,
for the McIntosh modulus which extends the absolute value to a holomorphic function in C\iR.
We shall mainly be concerned with the cases RRand RC+. The cut-off function χis as
above with the additional constraint that Gis smooth on supp(χ). The function G:M×M
[0,) should be regular at the diagonal as made precise in Definition 2.2 below: to define this
8 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
notion we first introduce further terminology. Note that T(M×M) = p
1T M p
2T M where
pj:M×MM,j= 1,2, denotes the pro jection onto the j:th factor. Over the diagonal
DiagM, the map Dp1Dp2:T(M×M)|DiagMT M T M is an isomorphism. We define the
transversal tangent bundle to the diagonal to be
TtraDiagM:= ker(Dp1+Dp2:T(M×M)|DiagMT M )T(M×M)|DiagM.
The restriction Dp1|:Ttra DiagMT M is an isomorphism.
Definition 2.1. For a smooth function Gdefined in a neighborhood of DiagM, we define the
transversal Hessian HGas the quadratic form on Ttra DiagMobtained from restricting the Hessian
of Gover the diagonal to the transversal tangent bundle.
Definition 2.2. A function G:M×M[0,) is said to be regular at the diagonal if there is
a tubular neighborhood Uof the diagonal DiagMsuch that G|UC(U) is a smooth function
satisfying that
G|Uand dG|Uvanish on DiagMU;
G(x)>0 for xU\DiagM; and
the transversal Hessian HGis positive definite in all points of DiagM.
Remark 2.3.The prototypical example of a function Gregular at the diagonal is G= d2
for suitable distance functions d. The function d2is regular at the diagonal for the Euclidean
distance, or when d is the geodesic distance on a Riemannian manifold (see Example 2.18 below)
or more generally a distance function induced from pulling back a geodesic distance along an
embedding of M(see Example 2.17 below for an example).
To show that QG,χ(R) is an elliptic pseudodifferential operator with parameter, and to de-
scribe its full symbol, we shall use a slight detour. The basic idea used in computing the full
symbol of QG,χ(R) is to do an inverse Fourier transform in R, and then Fourier transform all
conormal variables. When we Fourier transform in the R-variable the Schwartz kernel – depend-
ing on (x, y, R) – transforms to a conormal distribution on U×R(conormal to DiagM× {0})
– depending on (x, y , η) – that we then Fourier transform in all the transversal directions (v, η)
where v=xy, thus producing the full symbol depending on (x, ξ, R). To compute the Fourier
transform in the R-direction, we use the following elementary lemma.
Proposition 2.4. For a parameter a0, and Fa(R) := F.P.ea|R|
|R|, we have that
FFa(η) = log(η2+a2) + log(2) 2γ,
where γis the Euler-Mascheroni constant.
Proof. By taking a derivative in the parameter aand using that the Fourier transform of R7→
ea|R|is 2a(η2+a2)1, we see that
∂a FFa(η) = 2a(η2+a2)1.
As such, FFa(η) = log(η2+a2) + c0(η) for some tempered distribution c0. Setting a= 0 and
using Proposition A.8, we see that c0is a constant. By Proposition A.6 we have that
c0=β0,1= 2 log(2) + 1
2ψ(1/2) γ= log(2) 2γ.
Proposition 2.5. Let G:M×M[0,)be a function which is regular at the diagonal, see
Definition 2.2. For a neighborhood Uof DiagMon which Gis smooth, define ˜
GC(U×R)
by ˜
G(x, y, η) := η2+G(x, y),
and the conormal distribution log( ˜
G)In1(U×R; DiagM× {0})as in Proposition A.10.
Then there exists a canonical metric gGon TMsuch that
σn1(log( ˜
G))(x, ξ, R) = 2πn!ωn(R2+gG(ξ, ξ))(n+1)/2.
The canonical metric gGis dual to the transversal Hessian of Gunder the isomorphism Dp1|:
TtraDiagMT M .
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 9
In the following, unless specified otherwise we shall consider Mendowed with the Riemannian
metric gG. This allows, in particular, to define a Laplace operator on M.
Proof. Since Gis regular at the diagonal, the function ˜
Gsatisfies the assumptions of Proposition
A.10 and the result follows therefrom.
To compute the full symbol of QG,χ we use a Taylor expansion in the direction transversal
to the diagonal. Consider a function G:M×M[0,) which is regular at the diagonal, see
Definition 2.2. Consider a coordinate chart U0M. The coordinates on U0induce coordinates
(x, y) on U0×U0and we can identify a neighborhood of DiagM(U0×U0) with a neighborhood
of the zero section in Ttra DiagM|U0via the map (x, y)7→ (x, x y). If the coordinate chart U0
on Msatisfies that Gis smooth on U0×U0, Taylor’s theorem implies that for any NNwe
can on U0×U0write
(10) G(x, y) = HG,x (xy) +
N
X
j=3
C(j)
G(x;xy) + rN(x, x y),
for |xy|small enough, where rNis a smooth function with rN(x, v) = O(|v|N+1 ) as v0, HGis
the transversal Hessian of G, and C(j)
G:U0Symj(TtraDiagM|U0) takes values in the symmetric
j-forms on the transversal tangent bundle Ttra DiagM|U0. A short computation shows that HG
indeed is a Riemannian metric on Munder the isomorphism Dp1|:TtraDiagMT M . However,
each C(j)
Gdepends on the choice of coordinates, we nevertheless suppress this dependence in the
notation.
Since there is a canonical isomorphism TtraDiagM|U0
=T M |U0, the symmetric j-form C(j)
G:
U0Symj(TtraDiagM|U0) appearing in the Taylor expansion (10) of Gdefines a j:th order
differential operator
C(j)
G(x, Dξ) : C(TM|U0)C(TM|U0),
obtained by quantizing the coordinate functions, i.e. C(j)
G(x, Dξ) acts as multiplication op-
erators by C(j)
G(x, v) under the fiberwise inverse Fourier transform (in the v-direction). For a
kN+and a multiindex γNk
3, we can define a differential operator C(γ)
G(x, Dξ) on TM|U0
by
C(γ)
G(x, Dξ) :=
k
Y
l=1
C(γl)
G(x, Dξ).
Since each C(γl)
G(x, Dξ) acts as multiplication operators under the inverse Fourier transform,
the differential operators C(γl)
G(x, Dξ), l= 1,...,k, commute. The order of C(γ)
G(x, Dξ) is
|γ|:= Pk
l=1 γl. For jN, define the finite set
Ij:= {γ∈ ∪
k=1Nk
3:|γ|=j+ 2k}.
For instance, we have that
I1={3}, I2={(3,3),4},and I3={(3,3,3),(4,3),(3,4),5}.
The role of Ijwill become clear in Theorem 2.9 below describing the full symbol of QG,χ from
Equation (9) in a coordinate chart. For γNk, we set rk(γ) := k. In other words, γ∈ ∪
k=1Nk
3
belongs to Ijif and only if j=|γ| − 2rk(γ). We remark that |γ| ≥ 3 and rk(γ)>0 is implicit
for γIjsince Ij⊆ ∪
k=1Nk
3. The number of elements in IjNk
3is the same as the number
of ways to write jkas a sum of knatural numbers, and so
#(IjNk
3) = j1
k1.
The following properties of Ijfollows.
Proposition 2.6. Let j > 0. The set Ij⊆ ∪k>0Nk
3satisfies the following
max{|γ|:γIj}= 3jand is attained at γ=~
3Nj.
max{γi:γIj}=j+ 2 and is attained at γ=j+ 2 N1.
#Ij= 2j1.
10 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
For notational purposes, we introduce the following notation.
Definition 2.7. For an integer nN∪ −2N1, we introduce the notation
ωn:= πn/2
Γn
2+ 1.
If n > 0, then ωnis the volume of the unit ball in n-dimensions.
To simplify the computations in the subsequent theorem, we note the following relations for
the Γ-function.
Proposition 2.8. For natural numbers n, k Nsuch that n > 2k+ 1, we have that
Γn+ 1
2kΓn2k
2+ 1=πΓ(n2k+ 1)
2n2k=π(n2k)!
2n2k.
Moreover, we have the identities
(1)k+1
k!π(n1)/22n2kΓn+ 1
2k=(1)k+1(n2k)!ωn2kω2k,for 2k < n
(1)k+1
k!π(n1)/22n2kΓn+ 1
2k=(1)n/2+1ω2k
(2kn)!ω2kn
=for 2kn2N
=(1)n/2+1(2kn+ 1)
2(2π)2knω2kn+1ω2k,
(1)n+1
2π(n1)/2
22knkn+1
2!k!=(1)n+1
2
(2π)2knω2kω2kn1,for 2kn2N+ 1
Proof. The Legendre duplication formula Γ(ζ)Γ(ζ+1/2) = 212ζπΓ(2ζ) applied to ζ=n2k+
1 implies the first stated identity, and the second one follows from the identity Γ(1/2m) =
(4)mm!/(2m)!. Combining these identities with the definition of ωnproduces the first and
second identities. The third identity follows from the definition of ωn.
We now arrive at the main result of this subsection, describing the full symbol of QG,χ . The
reader should keep in mind that we are primarily interested in the function G(x, y) := d(x, y)2
for a distance function d such that d2is regular at the diagonal. In this case QG,χ (R) = Q(R)
is the localization of Zat the diagonal for Re(R)>0. We therefore formulate our results on the
sector C+, albeit for QG,χ they hold in the sector C\iR.
Theorem 2.9. Let Mbe an n-dimensional manifold and G:M×M[0,)a function which
is regular at the diagonal. We denote the Riemannian metric on TMdual to the transversal
Hessian HGby gG, as in Proposition 2.5. Consider the operator
QG,χ(R)f:= 1
|R|Mc ZM
χ(x, y)e−|R|Mc G(x,y)f(y)dy,
where χC(M×M)a function with χ= 1 near DiagMand supported only where Gis
smooth, and we use the Riemannian volume density defined from gG.
We have that QG,χ Ψn1
cl (M;C+)is a classical elliptic pseudodifferential operator with
parameter of order n1with principal symbol
σn1(QG,χ)(x, ξ, R) = n!ωn(R2+gG(ξ, ξ ))(n+1)/2.
In a coordinate chart U0on M, the full symbol qof QG,χ has a classical asymptotic expansion
qP
j=0 qjcomputed from the Taylor expansion (10) and each qjis the homogeneous symbol
of degree n1jwhich for j > 0and for nodd is given by
qj(x, ξ, R) = X
γIj,rk(γ)<(n+1)/2
crk(γ),nC(γ)
G(x, Dξ)(R2+gG(ξ, ξ ))(n+1)/2+rk(γ)
X
γIj,rk(γ)(n+1)/2
crk(γ),nC(γ)
G(x, Dξ)h(R2+gG(ξ, ξ ))(n+1)/2+rk(γ)log(R2+gG(ξ, ξ))i,
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 11
and for neven given as
qj(x, ξ, R) = X
γIj
crk(γ),nC(γ)
G(x, Dξ)(R2+gG(ξ, ξ))(n+1)/2+rk(γ)
Here the coefficients are computed as
ck,n :=
(1)k(n2k)!ωn2kω2k,for 2k < n
(1)1n/2ω2k
(2kn)!ω2kn,for 2kn2N
(1) n+1
2
(2π)2knω2kω2kn1,for 2kn2N+ 1
Remark 2.10.Exact expressions for q1and q2are given below in Proposition 2.14 and 2.15,
respectively.
Remark 2.11.From the expression for qjin Theorem 2.9, it is not clear that qjis homogeneous
of degree n1jwhen nis odd. We shall see in the proof that this is in fact the case.
Proof of Theorem 2.9. By Proposition 2.4, the Schwartz kernel 1
|R|χ(x, y)e−|R|G(x,y)of QG,χ
is the Fourier transform in the η-direction of
K(x, y, η) = 1
2πχ(x, y) log(η2+G(x, y)).
The extra 2πis coming from Fourier inversion in one dimension.
Let Udenote a neighborhood of the diagonal DiagMon which Gis smooth. It follows from
Proposition 2.5 (cf. Proposition A.10) that KIn1(U×R; DiagM× {0}) with principal
symbol
σn1(K)(x, ξ, R) = n!ωn(R2+gG(ξ , ξ))(n+1)/2.
Define K0(x, y, η) := log(η2+G(x, y)) In1(U×R; DiagM×{0}). We compute in a coordinate
chart U0that K0CI n1(U×R; DiagM×{0}) and using a uniform asymptotic expansion we
use Proposition B.14 to show that the Fourier transform in the η-direction of Kis the Schwartz
kernel of a pseudodifferential operator with parameter.
In a coordinate chart U0, we introduce the coordinates (x, v) = (x, x y) on U0×U0. Using
Equation (10), we can write
K0(x, y, η) = log(η2+HG(v, v)) log 1 + PN
j=3 C(j)
G(v, v) + rN(x, v)
η2+HG(v, v)!.
For small v, we can Taylor expand
K0(x, y, η) = log(η2+HG(v, v))
N
X
j=1 X
γIj
(1)rk(γ)
rk(γ)
C(γ)
G(v)
(η2+HG(v, v))rk(γ)+ ˜rN(x, v, η).
We note that, by the definition of Ij, each term in the second sum PγIj
(1)rk(γ)
rk(γ)
C(γ)
G(v)
(η2+HG(v,v))rk(γ)
is homogeneous of degree j. We also note that ˜rN(x, v, η) = O((|η|+|v|)N+1) and a short
computation gives that α
xβ
vk
η˜rN=O((|η|+|v|)N+1−|β|−k) for any multiindices α,βand k.
As such, we have a uniform asymptotic expansion KP
j=0 Kj(cf. Definition B.13) where
(11) Kj(x, v, η) = (1
2πlog(η2+HG(v, v)), j = 0,
1
2πPγIj
(1)rk(γ)+1
rk(γ)
C(γ)
G(v)
(η2+HG(v,v))rk(γ), j > 0.
We conclude from Proposition B.14 that QG,χ Ψn1
cl (M;R) is a pseudodifferential operator
with parameter. Proposition B.14 implies that
σn1(QG,χ)(x, ξ, R) = σn1(K)(x, ξ, R) = n!ωn(R2+gG(ξ , ξ))(n+1)/2.
This is invertible in C(S(TMR)) so QG,χ is elliptic with parameter. It is readily seen that
σn1(QG,χ)(x, ξ, R)6= 0 also for RC+, and the following symbol computation shows that
QG,χ Ψn1
cl (M;C+) is an elliptic pseudodifferential operator with parameter.
12 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Let us turn to the full symbol of QG,χ. We will compute it from Equation (11) and the
Fourier transform computations of Subsection A.1 of the appendix. For k > 0, denote the
Fourier transform of (η2+HG(v, v))kin the (v, η)-direction by Fk(x, ξ, R), that is
Fk(x, ξ, R) := ZTxMR
eiξ.viRη
(η2+HG(v, v))kdvdη.
Using homogeneity and rotational symmetries, Fkcan be computed as in Proposition A.7 to be
π(n+1)/222k+n+1Γn+1
2k
(k1)! (R2+gG(ξ, ξ))(n+1)/2+k,
for 2kn1/2N, and
(12)
(1)kn+1
2π(n+1)/2
22kn1kn+1
2!(k1)! h(R2+gG(ξ, ξ))(n+1)/2+klog(R2+gG(ξ, ξ )) + βk(n+1)/2,n+1i,
for 2kn12N. It follows that for γIj, the symbol of the term
C(γ)
G(v)
(η2+HG(v, v))rk(γ),
is given by C(γ)
G(x, Dξ)Frk(γ)(x, ξ, R) which is computed to be
π(n+1)/222rk(γ)+n+1Γn+1
2rk(γ)
(rk(γ)1)! C(γ)
G(x, Dξ)(R2+gG(ξ, ξ))(n+1)/2+rk(γ),
for 2rk(γ)n1/2N, and
(1)rk(γ)n+1
2π(n+1)/2
22rk(γ)n1rk(γ)n+ 1
2!(rk(γ)1)!·
C(γ)
G(x, Dξ)h(R2+gG(ξ, ξ))(n+1)/2+rk(γ)log(R2+gG(ξ, ξ )) + βrk(γ)(n+1)/2,n+1i,(13)
for 2rk(γ)n12N. We conclude that the symbol qjof Kj, for j > 0, is (up to the term
βrk(γ),n+1) given by the formula in the statement of the theorem for the pre-factors ck,n:
ck,n =
(1)k+1
k!π(n1)/22n2kΓn+1
2k,for 2kn1/2N,
(1) n+1
2π(n1)/2
22kn(kn+1
2)!k!,for 2kn12N.
Therefore ck,n takes the form prescribed in the theorem by Proposition 2.8.
We finish the proof by showing that βrk(γ)(n+1)/2,n+1 does not contribute in Equation (13)
and that there is no logarithmic term when expanding the ξ-derivatives in Equation (13). If
2rk(γ)n12N, then (n+ 1)/2 + rk(γ)Nand so (R2+gd(ξ, ξ ))(n+1)/2+rk(γ)is a
polynomial of degree 2rk(γ)n12Nin ξ. For γIj⊆ ∪kNk
3, we have that
j+ 2rk(γ) = |γ| ≥ 3rk(γ).
Therefore, if 2rk(γ)n12Nthen C(γ)
d2(x, Dξ)(R2+gd(ξ, ξ))(n+1)/2+rk(γ)is a polynomial
of degree 2rk(γ)n1|γ| ≤ −rk(γ)n1<0 and therefore it must be identically zero. In
other words, we have the equality
(14) C(γ)
G(x, Dξ)(R2+gG(ξ, ξ))(n+1)/2+rk(γ)= 0,
for 2rk(γ)n12N. This equality proves that qjcan not contain a term with a logarithmic
factor, and as such qjis homogeneous of degree n1jfor all j, and
C(γ)
G(x, Dξ)h(R2+gG(ξ, ξ))(n+1)/2+rk(γ)log(R2+gG(ξ, ξ )) + βrk(γ)(n+1)/2,n+1i=
=C(γ)
G(x, Dξ)h(R2+gG(ξ, ξ))(n+1)/2+rk(γ)log(R2+gG(ξ, ξ ))i.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 13
We note the following corollary that will play a role later in the paper when we consider
manifolds with boundary, and study the inverse of Qin the Boutet de Monvel calculus. See
more in Theorem 4.9 and Appendix C. Recall that a complete classical parameter dependent
symbol pPlplof order mon a compact manifold Mis said to satisfy the µ-transmission
condition at a hypersurface YMif in local coordinates x= (x, xn), with Ybeing defined by
xn= 0, satisfies that
Dβ
xDα
ξDj
Rpl((x,0),(0, ξn),0) = eπi(ml2µ−|α|−j)Dβ
xDα
ξDj
Rpl((x,0),(0,ξn),0).
One sometimes in short says that phas type µ. A classical pseudodifferential operator with
parameter is said to be of type µif its symbol is of type µ. See more in for instance [15,
Proposition 1]. Item (b) of Theorem 3.7 implies the following.
Corollary 2.12. Let Mbe a manifold and G:M×M[0,)a function which is regular at
the diagonal. Set µ:= (n+ 1)/2. The pseudodifferential operator with parameter QG,χ satisfies
the µ-transmission condition along any hypersurface in M. In fact, the asymptotic expansion
P
l=0 qlof the full symbol of Qfrom Theorem 3.7 satisfies that
Dβ
xDα
ξDj
Rql(x, ξ, R) = (1)|α|+j+lDβ
xDα
ξDj
Rql(x, ξ, R),
for any multiindices α, β Nn,xMand (ξ, R)6= 0.
Remark 2.13.The computation that
q0(x, ξ, R) = n!ωn(R2+gG(ξ, ξ))(n+1)/2,
is compatible with known symbol computations in Rnfor G(x, y ) = |xy|2in which case q=q0
is the full symbol expansion when using Euclidean coordinates. Indeed, this statement follows
from the fact that eR|v|is the Fourier transform of n!ωn(R2+|ξ|2)(n+1)/2, see for instance [2,
Equation (3)]. We remark that the coordinate dependent symbol computations of Theorem 2.9
will be used also in Rn. The reason for using Theorem 2.9 in Rnis that to describe the operator
near the boundary of a domain with the Wiener-Hopf factorization techniques of Section 5 below
we need to “straighten out the boundary”, i.e. choose coordinates in which the boundary locally
looks like a half-space. We make such computations more precise in Subsection 2.2 below.
Let us give some further details in computing the symbols q1and q2. The precise information
contained in q1and q2will be used later to compute the first terms in the inverse of Qand the
asymptotics of its expectation values in Section 6. Before entering into the symbol computations
of q1and q2, let us introduce some notation. Since gis a metric on TM, it can be viewed as
a symmetric tensor in T M T M and for a covector ξ, the contraction ιξgGtakes values in
T M . In the coordinate chart, each Cj
Gtakes values in the symmetric j-forms on T M |U0. As
such, expressions such as C3
G(x, gGιξgG) or C4
G(x, gGgG), for instance, make sense. The
reader should be aware that such expressions are individually not coordinate invariant, the
transformation rules for these expressions can be deduced either from the Taylor expansion (10)
or from the transformation rules for pseudodifferential operators. For computational purposes,
we also note that
dξgG(ξ, ξ) = 2ιξgG.
Here dξdenotes the fiberwise exterior differential and we are implicitly using the canonical
identification T(TM) = πT M πTMand that the T M -summand is where dξmaps to.
A useful tool in formulating the computations is the Pochhammer k-symbol. For xR,nN
and kZ, we write
(x)n,k := x(x+k)(x+ 2k)···(x+ (n1)k)
|{z }
nfactors
,
with the convention that (x)0,k = 1 for any kand (0)n,k = 1 for any nand k.
A combinatorial argument shows that
C3
G(x, Dξ)(R2+gG(ξ, ξ ))ν=3·22i(ν)2,1C3
G(x, gGιξgG)(R2+gG(ξ, ξ ))ν2+
+ 23i(ν)3,1C3
G(x, ιξgGιξgGιξgG)(R2+gG(ξ, ξ ))ν3.
14 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
C4
G(x, Dξ)(R2+gG(ξ, ξ ))ν=3 ·22(ν)2,1C4
G(x, gGgG)(R2+gG(ξ, ξ ))ν2
6·23(ν)3,1C4
G(x, gGιξgGιξgG)(R2+gG(ξ, ξ ))ν3+
+ 24(ν)4,1C4
G(x, ιξgιξgGιξgGιξgG)(R2+gG(ξ, ξ ))ν4.
C3
G(x, Dξ)2(R2+gG(ξ, ξ))ν=24 ·24(ν)4,1C3
G(x, gGιξgG)2(R2+gG(ξ, ξ))ν4+
+ 6 ·25(ν)5,1C3
G(x, ιξgGιξgGιξgG)C3
G(x, gGιξgG)(R2+gG(ξ, ξ))ν5
26(ν)6,1C3
G(x, ιξgGιξgGιξgG)2(R2+gG(ξ, ξ))ν6+
+ 3 ·23(ν)3,1(C3
GC3
G)(x, gGgGgG)(R2+gG(ξ, ξ))ν3.
Proposition 2.14. Let Mand QG,χ be as in Theorem 2.9. In a coordinate chart on M, the
term q1of degree n2appearing in the full symbol qof QG,χ is given by
q1(x, ξ, R) = i6C3
G(x, gGιξgG)(R2+gG(ξ, ξ))2
8C3
G(x, ιξgGιξgGιξgG)(R2+gG(ξ, ξ))3,
if n= 1, and if n > 1we have that
q1(x, ξ, R) = i(n21)c1,n 3C3
G(x, gGιξgG)(R2+gG(ξ, ξ))(n+1)/21
(n+ 3)C3
G(x, ιξgGιξgGιξgG)(R2+gG(ξ, ξ))(n+1)/22,
where ιξgGdenotes the contraction of the metric gGon TMalong the covector ξ.
Proof. We note that I1={γ∈ ∪
k=1Nk
3:|γ|= 1 + 2rk(γ)}={3}. For n= 1, we have
c1,1=1/2 and since we are in the critical case we compute as follows
q1(x, ξ, R) = ic1,1C3(x, 1)3
ξlog(R2+gG(ξ, ξ )) = iC3(x, 1)2
ξ
ιξgG
R2+gG(ξ, ξ)=
=iC3
G(x, 1)6gGιξgG
(R2+gG(ξ, ξ))2+8(ιξgG)3
(R2+gG(ξ, ξ))3,
which proves the case n= 1.
For n > 1, we compute using the identities above that
q1(x, ξ, R) = i(n+ 1)(n1)c1,n 3C3
G(x, gGιξgG)(R2+gG(ξ, ξ))(n+1)/21+
+ (n+ 3)C3
G(x, ιξgGιξgGιξgG)(R2+gG(ξ, ξ))(n+1)/22.
The next proposition follows from a similar computation.
Proposition 2.15. Let Mand QG,χ be as in Theorem 2.9. In a coordinate chart on M, the
term q2of degree n3appearing in the full symbol qof QG,χ is given as follows; for n= 1
we have that
q2(x, ξ, R) =c2,1C3(x, 1)26
ξ(R2+gG(ξ, ξ)) log(R2+gG(ξ, ξ))+c1,1C4(x, 1)4
ξlog(R2+gG(ξ, ξ )) =
=C3(x, 1)2
16 23·15g3
G
(R2+gG)2+24·90(ιξgG)2g2
G
(R2+gG)324·80(ιξgG)4gG
(R2+gG)4+26·24(ιξgG)6
(R2+gG)5
C4(x, 1)
222·3g2
G
(R2+gG)2+23·12(ιξgG)2gG
(R2+gG)324·6(ιξgG)4
(R2+gG)4,
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 15
and for n= 3, we have that
q2(x, ξ, R) =c2,3C3(x, ∂ξ)2log(R2+gG(ξ, ξ))+c1,3C4(x, ∂ξ)(R2+gG(ξ, ξ))1=
=c2,3240(C3
GC3
G)(gGgGgG)(R2+gG(ξ, ξ))3
c2,345 ·96C3
G(x, gGιξgG)2(R2+gG(ξ, ξ))4+
+c2,3120 ·96C3
G(x, ιξgGιξgGιξgG)C3
G(x, gGιξgG)(R2+gG(ξ, ξ))5
c2,380 ·96C3
G(x, gGιξgG)2(R2+gG(ξ, ξ))6+
+c1,324C4(x, gGgG)(R2+gG(ξ, ξ))3
c1,3288C4(x, gGιξgGιξgG)(R2+gG(ξ, ξ))4+
+c1,3192C4(x, ιξgGιξgGιξgGιξgG)(R2+gG(ξ, ξ))5
and finally for n6= 1,3, we have that
q2(x, ξ, R) = c2,n C3(x, ∂ξ)2(R2+gG(ξ, ξ)))(n3)/2+c1,nC4(x, ∂ξ)(R2+gG(ξ, ξ))(n1)/2=
=24c2,n(n+ 3)4,2C3(x, gGιξgG)2(R2+gG(ξ, ξ))(n+1)/22+
+6c2,n(n+ 5)5,2C3(x, ιξgGιξgGιξgG)C3(x, gGιξgG)(R2+gG(ξ, ξ ))(n+1)/23
c2,n(n+ 7)6,2C3(x, ιξgGιξgGιξgG)2(R2+gG(ξ, ξ ))(n+1)/24+
+ 3c2,n(n+ 5)5,2(C3C3)(x, gGgGgG)(R2+gG(ξ, ξ))(n+1)/21+
+3c1,n(n21)C4(x, gGgG)(R2+gG(ξ, ξ))(n+1)/21
6c1,n(n+ 3)3,2C4(x, gGιξgGιξgG)(R2+gG(ξ, ξ ))(n+1)/22+
+c1,n(n+ 5)4,2C4(x, ιξgGιξgGιξgGιξgG)(R2+gG(ξ, ξ ))(n+1)/23,
where ιξgGdenotes the contraction of the metric gGon TMalong the covector ξ.
2.2. Examples and further structure in the symbol computations. In the preceding
subsection we saw a detailed computation of the full symbol of Qχ,G in terms of the Taylor
expansion. Let us consider a few important special cases where further structures can be visible
in the symbol expansion, and proceed with a structural statement of for the entries in the full
symbol in the general case.
Example 2.16 (Symbol computations near a boundary in Euclidean space).We consider the
manifold M=Rnand the function G(x, y) = |xy|2which is regular at the diagonal. This
example fits into the bigger picture of the paper seeing that G(x, y) = d(x, y)2. It will later
in the paper be crucial to describe the symbol of Q=QG,χ near the boundary of a domain
XRnwith smooth boundary. Fix a point x0∂X . Up to a rigid motion, we can assume that
x0= 0 and that the normal vector of ∂X in x0is orthogonal to the plane xn= 0, where we write
x= (x, xn) for xRn1and xnR. There is a neighborhood U0=U00 ×(ε, ε) of 0 Rn
and a smooth function ϕC(U00 ) such that XU0={x= (x, xn)U0:ϕ(x)< xn}. Since
the normal vector of X in x0is orthogonal to the plane xn= 0, xϕ(0) = 0. Near x0= 0, we
use the coordinates
(x, xn)7→ (x, xnϕ(x)).
In these new coordinates, the domain Xlooks like the half-space {(x, xn) : xn>0}locally near
x0= 0. We compute that in these coordinates G=G(x, y) can be written as
|(x, xnϕ(x))(y, ynϕ(y))|2=|xy|2+ (xnyn(ϕ(x)ϕ(y)))2=
=|xy|22(xnyn)(ϕ(x)ϕ(y)) + (ϕ(x)ϕ(y))2=
=|v|2+
N
X
j=2 X
|α|=j1
2α
xϕ(x)
α!vn(v)α+
+
N
X
j=2 X
|α|+|β|=j,
|α|,|β|>0
α
xϕ(x)β
xϕ(x)
α!β!(v)α+β+O(|v|N+1),
16 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
where the sums over αand βranges over α, βNn1and we have written v=xy,
v=xyand vn=xnyn. Introducing the notation
jϕ(x;v) := X
|α|=j
α
xϕ(x)
α!(v)α,
we have in these coordinates that
G(x, y) =|v|22vnϕ(x)·v+ (ϕ(x)·v)2+
N
X
j=3 2vnj1ϕ(x;v)
+
N
X
j=3 X
k+l=j,
k,l>0
kϕ(x;v)lϕ(x;v) + O(|v|N+1)
In particular, we can conclude that
HG(v) = |v|22vnϕ(x)·v+ (ϕ(x)·v)2,
so HGis represented by the n×n-matrix
HG=1n1+ϕ(x)ϕ(x)T−∇ϕ(x)
−∇ϕ(x)T1.
Therefore, in the same basis we have that
gG=H1
G=1n1ϕ(x)
ϕ(x)T1 + |∇ϕ(x)|2.
We note that HG|T ∂X is the Riemannian metric on X induced from the Euclidean metric on
Rnand the inclusion X ֒Rn. We also conclude that
(15) Cj
G(x;v) = vnCj,1
G(x;v) + Cj,0
G(x;v)
where
Cj,1
G(x;v) := 2j1ϕ(x;v) and Cj,0
G(x;v) := X
k+l=j,k,l>0kϕ(x;v)lϕ(x;v).
Therefore, in these coordinates near the boundary of a domain in Rn, we have for γIjthat
C(γ)
G(x, Dξ) = (1)|γ|
rk(γ)
Y
l=1
X
|α|=|γl|−1
2α
xϕ(x)
α!Dα
ξDξn+X
|α|+|β|=|γl|,
|α|,|β|>0
α
xϕ(x)β
xϕ(x)
α!β!Dα+β
ξ
.
This gives a method for computing the homogeneous symbol qjof degree n1jfor any j
following Theorem 2.9.
The principal symbol is computed as in Theorem 2.9. By Proposition 2.14 we compute for
n > 1 that
q1(x, ξ, R) = i(n21)c1,n6gG(2ϕ)gG(ξ, ϕen)(R2+gG(ξ, ξ ))(n+1)/21
2(n+ 3)2ϕ(ιξgG, ιξgG)gG(ξ, ϕen)(R2+gG(ξ, ξ ))(n+1)/22=
=i(n21)c1,n6ξngG(2ϕ)(R2+gG(ξ, ξ))(n+1)/21
2(n+ 3)ξn2ϕ((ξ+ξnϕ)2)(R2+gG(ξ, ξ))(n+1)/22,
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 17
By Proposition 2.15 we compute for n6= 1,3 that
q2(x, ξ, R) = 24c2,n (n+ 3)4,24(gG(2ϕ))2(gG(ξ, ϕen))2(R2+gG(ξ , ξ))(n+1)/22+
+ 6c2,n(n+ 5)5,24gG(2ϕ)(gG(ξ , ϕen))22ϕ(ιξgG, ιξgG)(R2+gG(ξ, ξ))(n+1)/23
c2,n(n+ 7)6,24(2ϕ(ιξgG, ιξgG))2(gG(ξ , ϕen))2(R2+gG(ξ, ξ))(n+1)/24+
+ 3c2,n(n+ 5)5,2·4(gG(2ϕ))2gG(ϕen,ϕen)(R2+gG(ξ , ξ))(n+1)/21+
+3c1,n(n21)2(gGgG)(3ϕ(ϕen)) + (gG(2ϕ))2(R2+gG(ξ , ξ))(n+1)/21
6c1,n(n+ 3)3,22(gGιξgG)(3ϕ)gG(ξ , ϕen)+
+ (gG(2ϕ))(2ϕ(ιξgG, ιξgG))(R2+gG(ξ, ξ))(n+1)/22+
+c1,n(n+ 5)4,22(ιξgG)3(3ϕ)gG(ξ, ϕen)+
+ (2ϕ(ιξgG, ιξgG))2(R2+gG(ξ, ξ ))(n+1)/23=
=48c2,n(n+ 3)4,2(gG(2ϕ))2ξ2
n(R2+gG(ξ, ξ ))(n+1)/22+
+ 24c2,n(n+ 5)5,2gG(2ϕ)ξ2
n2ϕ((ξ+ξnϕ)2)(R2+gG(ξ, ξ ))(n+1)/23
4c2,n(n+ 7)6,2(2ϕ((ξ+ξnϕ)2))2ξ2
n(R2+gG(ξ, ξ ))(n+1)/24+
+ (12c2,n(n+ 5)5,2+ 3c1,n (n21))(gG(2ϕ))2(R2+gG(ξ, ξ ))(n+1)/21+
6c1,n(n+ 3)3,22ξn3ϕ(1n1(ξ+ξnϕ))+
+ (gG(2ϕ))(2ϕ((ξ+ξnϕ)2)(R2+gG(ξ, ξ ))(n+1)/22+
+c1,n(n+ 5)4,22ξn(3ϕ)((ξ+ξnϕ)3)+
+ (2ϕ((ξ+ξnϕ)2)2(R2+gG(ξ, ξ ))(n+1)/23,
and for n= 3 that
q2(x, ξ, R) =(c2,3240 ·4 + c1,324)(gG(2ϕ))2(R2+gG(ξ, ξ))3
c2,345 ·96 ·4(gG(2ϕ))2ξ2
n(R2+gG(ξ, ξ ))4+
+c2,3120 ·96 ·4gG(2ϕ)ξ2
n2ϕ((ξ+ξnϕ)2)(R2+gG(ξ, ξ ))5
c2,380 ·96 ·4(gG(2ϕ))2ξ2
n(R2+gG(ξ, ξ ))6+
c1,32882ξn(3ϕ)(1n1(ξ+ξnϕ))+
(gG(2ϕ))(2ϕ((ξ+ξnϕ)2))(R2+gG(ξ, ξ ))4+
+c1,31922ξn(3ϕ)((ξ+ξnϕ)3) + (2ϕ((ξ+ξnϕ)2))2(R2+gG(ξ, ξ))5.
We note that gG(2ϕ)(x0) is (n1)/2 times the mean curvature in x0.
Example 2.17 (Symbol computations for a submanifold of Euclidean space).We consider a
submanifold MRNand the function G(x, y) = |xy|2which is regular at the diagonal. This
example fits into the bigger picture of the paper seeing that G(x, y) = d(x, y )2where d is the
distance function on Mmaking the inclusion MRNisometric. To Taylor expand Gas in
(10), we take coordinates around a point x0Msuch that Mnear x0is parametrized by
(xl=xl, l = 1,...,n
xl=ϕl(x1,...,xn), l =n+ 1,...,N ,
18 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
for some functions ϕn+1,...,ϕN. Write x= (x1,...,xn). In these coordinates,
G(x, y) = |xy|2+
N
X
l=n+1 |ϕl(x)ϕl(y)|2=
=|v|2+
N0
X
j=2
N
X
l=n+1 X
|α|+|β|=j,
|α|,|β|>0
α
xϕl(x)β
xϕl(x)
α!β!vα+β+O(|v|N0+1),
where v=xy. Therefore, we conclude that
HG(v) = |v|2+
N
X
l=n+1
(ϕl(x)·v)2,
and for j > 2,
Cj
G(x, v) =
N
X
l=n+1 X
|α|+|β|=j,
|α|,|β|>0
α
xϕl(x)β
xϕl(x)
α!β!vα+β=
N
X
l=n+1 X
i+k=j,
i,k>0
(iϕl⊗ ∇kϕl)(v).
Computations similar to those in Example 2.16 can be carried out also for submanifolds. To
preserve the reader’s sanity, we spare the details.
Example 2.18 (Symbol computations for geodesic distances).Consider a manifold Mequipped
with a Riemannian metric gM. To avoid having to prescribe the distance between different
components, we assume that Mis connected. The geodesic distance dgeo :M×M[0,) is
defined by
dgeo(x, y) := inf{L(c) : cis a smooth path from xto y},
where the length L(c) of a path c: [0,1] Mis defined by
L(c) := Z1
0qgM,c(t)( ˙c(t),˙c(t))dt.
Here we write ˙c: [0,1] T M for the derivative of the path, so ˙c(t)Tc(t)M. For a suitable
neighborhood UT M of the zero section, the Riemannian metric defines an exponential map
exp : U
U
UM. More precisely, for a small enough vTxM, expx(v) = exp(x, v)Mis defined
in local coordinates as expx(v) = wx(v; 1) where wx(v;·) : [0,1] T M is the solution to the
second order ordinary differential equation
(16)
¨wx(v, t) + Γwx(v;t)( ˙wx(v, t),˙wx(v, t)) = 0,
w(v; 0) = x,
˙w(v, 0) = v,
where Γ is the affine connection defined from g, which in local coordinates is a vector valued
symmetric bilinear form on the tangent bundle. In these local coordinates, for xand yclose
enough we have that
dgeo(x, y) = |exp1
x(y)|2
g.
In particular, d2
geo is smooth in a neighborhood of the diagonal.
Let us compute the Taylor expansion of d2
geo as in Equation (10) and prove that d2
geo is
regular at the diagonal. We use a coordinate neighborhood as above, and write v=xy. We
are looking for the Taylor expansion in vof the coordinate function Xx(v) = exp1
x(xv). We
Taylor expand
wx(v, t) = xvt +
N
X
k=2
w(k)
x(v; 0)
k!tk+O(|tv|N+1 ).
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 19
We note that v7→ w(k)
x(v; 0) is a homogeneous polynomial of degree k, we denote this by Wk(x;v).
It follows from Equation (16) that
(17)
W1(v) = v,
W2(v) = Γ(v, v),
W3(v) = dΓ(v, v, v )2Γ(v, Γ(v, v)).
The higher order terms W4, W5,... can be computed inductively from Equation (16). Write the
Taylor expansion of the unknown function Xxin vas
Xx(v) =
N
X
k=1
X(k)(x;v) + O(|v|N+1),
where X(k)(x;·) is a homogeneous polynomial of degree kin v. The identity Xx(v) = exp1
x(xv)
is equivalent to expx(Xx(v)) = xvwhich implies that
(18)
N
X
k=1
X(k)(x;v) +
N
X
k=2
Wk(x, PN
l=1 X(l)(x;v))
k!=v+O(|v|N+1).
Considering the first order term, we see that X(1)(v) = v. The higher order terms can be
inductively determined by considering each homogeneous term separately:
(19) X(k)(v) =
k
X
j=2
Wj(x, Pk1
l=1 X(l)(x;v))
j!
(k)
,
where [·](k)denotes the homogeneous term of degree k. Using Equation (17) and (18), we
compute the first terms to be
X(1)(v) = v,
X(2)(v) = 1
2W2(x;v) = 1
2Γ(v, v),
X(3)(v) = 1
6W3(x;v) + 1
2W2x;v1
2Γ(v, v)(3) =
=1
6dΓ(v, v, v ) + 1
6Γ(v, Γ(v, v )).
We summarize these computations in a proposition.
Proposition 2.19. Let Mbe a manifold equipped with a Riemannian metric gMand let dgeo de-
note the geodesic distance. Then d2
geo is regular at the diagonal and in a coordinate neighborhood
the Taylor expansion as in Equation (10) takes the form
d2
geo(x, y) = |v|2
gM+C3
d2
geo (x;v) + C4
d2
geo (x;v) + O(|v|5
gm),
where
C3
d2
geo (x;v) = gM(v, Γ(v, v)),
C4
d2
geo (x;v) = 1
4|Γ(v, v)|2
gM+1
3(g(v, dΓ(v, v , v)) g(v, Γ(v, Γ(v, v)))) .
The higher order terms Cj
d2
geo can be computed inductively from Equation (19).
Let us return to the general case and describe the overall structure of the terms appearing in
the full symbol expansion of QG,χ .
Lemma 2.20. Let Mand Gbe as in Theorem 2.9. The entries in the full symbol expansion
qP
j=0 qjof QG,χ Ψn1
cl (M;C+)takes the form
qj(x, ξ, R) =
3j
X
k=0
Pk,j (x, ξ)(R2+gG(ξ, ξ))n+1+j+k
2,
where Pk,j are of the form
(1) Pk,j is a homogeneous polynomial of degree kin ξand
Pk,j 0if jk /2Z.
20 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
(2) If jk2Z, the polynomial Pk,j takes the form
Pk,j (x, ξ) = X
γIj
ργ,k,j C(γ)
G(x, ιξgGιξgG
|{z }
k times
gG⊗ · ·· ⊗ gG
|{z }
|γ|−k
2times
),
for some coefficients ργ,k,j Qπn/2+Qπ(n+1)/2+Qπ(n1)/2.
In the last item, we note that if jk2Z, then |γ| − k2Zfor all γIj.
Proof. It follows from the computations in Theorem 2.9 that qjcan be written as a finite sum
qj(x, ξ, R) = X
k0
Pk,j (x, ξ)(R2+gG(ξ, ξ))n+1+j+k
2,
where Pk,j is a polynomial in ξwhose coefficients (as a polynomial in ξ) are all polynomials in the
Taylor coefficients of Gat the diagonal. For the degrees to match, Pk,j must be of degree k. Since
the powers R2+gG(ξ, ξ ) must differ from (n+ 1)/2 by an integer, Pk,j = 0 unless jk /2Z.
Finally, the largest possible degree kfor which ξα(R2+gG(ξ, ξ))n+1+j+k
2(with |α|=k) can be
a summand in qjis if the derivative C(γ)
G(x, Dξ) acts only on (R2+gG(ξ, ξ ))(n+1)/2+rk(γ)(or
(R2+gG(ξ, ξ))(n+1)/2+rk(γ)log(R2+gG(ξ, ξ)) if 2rk(γ)n12N) and in that case α=γ,
so the maximal degree of Pk,j is the size of the largest index in Ij, i.e. 3j. This proves item (1).
To prove item (2), one notices that by Theorem 2.9, all possible entries in qjconsists of terms
of the form
C(γ)
G(x, ιξgGιξgG
|{z }
k times
gG⊗ · ·· ⊗ gG
|{z }
|γ|−k
2times
)(R2+gG(ξ, ξ))n+1+j+k
2,
with a coefficient being a rational number times either πn/2,π(n+1)/2or π(n1)/2.
2.3. The symbol structure of the parametrix. The operator QG,χ Ψn1
cl (M;C+) con-
sidered in the previous subsection is elliptic with parameter by Theorem 2.9. In particular,
it admits a parametrix AG,χ Ψn+1
cl (M;C+), that is an operator with parameter so that
AG,χQG,χ 1, QGAG,χ 1Ψ−∞
cl (M;C+).
Theorem 2.21. Let Mbe an n-dimensional manifold and G:M×M[0,)a function
which is regular at the diagonal. The full symbol ain local coordinates of the parametrix AG,χ
Ψn+1
cl (M;C+)of QG,χ Ψn1
cl (M;C+)has an asymptotic expansion aP
j=0 ajwhere ajis
constructed inductively from the symbol expansion qPjqjof Theorem 2.9 by
aj=a0X
k+l+|α|=j, l<j
1
α!α
ξqkDα
xal.
For n= 1 the first two terms are given by
a0(x, ξ, R) = 1
2(R2+gG(ξ, ξ))
a1(x, ξ, R) = i
2(ξgG)(xgG)(R2+gG(ξ, ξ))1+3i
2C3
G(x, gGιξgG)
2iC3
G(x, ιξgGιξgGιξgG)(R2+gG(ξ, ξ))1
and for n > 1
a0(x, ξ, R) =(q0(x, ξ, R))1=1
n!ωn
(R2+gG(ξ, ξ))(n+1)/2,
a1(x, ξ, R) =(n+ 1)2i
n!ωn
gG(dxgG(ξ, ξ), ξ)(R2+gG(ξ, ξ))(n+1)/22+
+3ic1,n(n21)
(n!)2ω2
n
C3
G(x, gGιξgG)(R2+gG(ξ, ξ))(n+1)/21
ic1,n(n+ 3)3,2
(n!)2ω2
n
C3
G(x, ιξgGιξgGιξgG)(R2+gG(ξ, ξ))(n+1)/22.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 21
The homogeneous terms ajeach takes the form
aj(x, ξ, R) =
3j
X
k=0
˜
Pk,j (x, ξ)(R2+gG(ξ, ξ)) n+1jk
2,
where ˜
Pk,j are homogeneous polynomials of degree kin ξand
˜
Pk,j 0if jk /2Z.
The coefficients of ˜
Pk,j as a polynomial in ξare all polynomials in derivatives of the Taylor
coefficients (C(γ)
G)γ∈∪kjIkof Gat the diagonal (from Equation (10)) of total degree j.
In the structural statement at the end of the proposition, the total degree refers to the degree
of the polynomial when counting an order iderivative of a Taylor coefficient C(γ)
Gfor γIkto
have degree k+i.
Proof. It follows from the parametrix construction for elliptic operators (see e.g. [38, Chapter
I.5]) that aP
j=0 ajwhere a0=q1
0and aj:= a0Pk+l+|α|=j, l<j 1
α!α
ξqkDα
xalfor j > 0.
Let us prove the structural statement about ajby induction on j. It is clear for j= 0. Assume
that the structural statement holds for l < j + 1. We have that
aj+1 =a0X
k+l+|α|=j+1, l<j+1
1
α!α
ξqkDα
xal=
=1
n!ωn
(R2+gG(ξ, ξ ))(n+1)/2X
k+l+|α|=j+1, l<j+1
N(k)
X
i1=0
˜
N(l)
X
i2=0
1
α!α
ξhPi1,k(x, ξ )(R2+gG(ξ, ξ))n+1+k+i1
2i·
·Dα
xh˜
Pi2,l(x, ξ )(R2+gG(ξ, ξ)) n+1li2
2i,
which proves that aj+1 has the claimed structure.
What remains is to compute a1. We write
a1(x, ξ, R) = a0X
|α|=1
α
ξq0Dα
xa0a2
0q1=
=1
n!ωn
(R2+gG(ξ, ξ ))(n+1)/2X
|α|=1
α
ξ(R2+gG(ξ, ξ ))(n+1)/2Dα
x(R2+gG(ξ, ξ ))(n+1)/2
+i(n21)c1,n
(n!)2ω2
n
(R2+gG(ξ, ξ ))n+13C3
G(x, gGιξgG)(R2+gG(ξ, ξ ))(n+1)/21
(n+ 3)C3
G(x, ιξgGιξgGιξgG)(R2+gG(ξ, ξ ))(n+1)/22=
=(n+ 1)2i
n!ωn
gG(dxgG(ξ, ξ ), ξ)(R2+gG(ξ, ξ))(n+1)/22+
+3ic1,n(n21)
(n!)2ω2
n
C3
G(x, gGιξgG)(R2+gG(ξ, ξ ))(n+1)/21
ic1,n(n+ 3)3,2
(n!)2ω2
n
C3
G(x, ιξgGιξgGιξgG)(R2+gG(ξ, ξ ))(n+1)/22
We use the notation Γα(R0) := {zC:|Arg(z)|< α, Re(z)> R0}.
Corollary 2.22. Let Mbe a compact n-dimensional manifold and G:M×M[0,)a
function which is regular at the diagonal. For some R0>0, the operator QG,χ(R)Ψn1
cl (M)
is invertible as an operator H(n+1)/2(M)H(n+1)/2(M)for any RΓπ /(n+1)(R0)and
Q1
G,χ AG,χ Ψ−∞
cl (M; Γπ/(n+1)(R0)).
In particular, Q1
G,χ is a pseudodifferential with parameter in Γπ/(n+1)(R0)whose full symbol a
in local coordinates has an asymptotic expansion aP
j=0 ajwhere ajis as in Theorem 2.21.
22 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Corollary 2.22 follows from Theorem 2.9 and 2.21 using standard techniques for pseudodiffer-
ential with parameter. For the convenience of the reader, we include its proof.
Proof. Let ∆ denote a positive Laplace operator on Mwhose principal symbol coincides with the
metric gGdual to the transversal Hessian of G. It follows from Theorem 2.9 that σn1((R2+
∆)µ) = σn1(Q). Hence, the operator r(R) := 1 (R2+ ∆)µ/2Q(R2+ ∆)µ/2is a parameter-
dependent pseudodifferential operator of order 1. We write
QG,χ = (R2+ ∆)µ/2(1 r)(R2+ ∆)µ/2.
The order of ris 1, so by Theorem B.11 (see page 63) we have that kr(R)kL2(M)L2(M)=
O(Re(R)1) as Re(R)→ ∞. We conclude that there exists an R0>1 such that kr(R)kL2(M)L2(M)
1
2for RΓπ/(n+1)(R0). Since (R2+ ∆)µ/2:Hs(M)Hs+µ(M) is invertible for R
Γπ/(n+1)(0) and any sR, we can for RΓπ/(n+1) (R0) invert QG,χ as the absolutely conver-
gent series of operators Hµ(M)Hµ(M) given by
Q1
G,χ =
X
k=0
(R2+ ∆)µ/2r(R)k(R2+ ∆)µ/2.
It remains to prove that Q1
G,χ AG,χ Ψ−∞
cl (M; Γπ/(n+1)(R0)). By the construction above,
Q1
G,χ Ψn+1
cl (M; Γπ/(n+1)(R0)). Therefore the classes [Q1
G,χ] and [AG,χ ] in the formal symbol
algebra Ψn+1
cl (M; Γ)/Ψ−∞
cl (M; Γπ/(n+1)(R0)) are both inverses to
[QG,χ]∈ ∪kZΨk
cl(M; Γπ/(n+1) (R0))/Ψ−∞
cl (M; Γπ/(n+1)(R0)).
By the uniqueness of inverses, [Q1
G,χ] = [AG,χ ]Ψn+1
cl (M; Γπ/(n+1)(R0))/Ψ−∞
cl (M; Γπ/(n+1)(R0)).
2.4. Analytic results for Qon compact manifolds. The results of the previous subsections
have analytic implications in the case that Mis a compact manifold. We consider the scale of
Hilbert spaces Hs
R(M) := (R2+∆)s/2L2(M) defined for RR\{0}and sRwith the Hilbert
space structure making (R2+ ∆)s/2:L2(M)Hs
R(M) unitary. Here ∆ could be any choice
of Laplacian, but for the sake of simplicity we fix the Laplacian associated with the Riemannian
metric associated with a function regular at the diagonal. By elliptic regularity, Hs(M) =
Hs
R(M) as vector spaces with equivalent norms independently of the choice of Laplacian, but
the Hilbert space structure differs in a non-uniform way as Rvaries. At this stage, we shall start
to concern ourselves with extensions of Qto the complex numbers, so we phrase our results in
terms of the operator
(20) Q(R)f(x) := 1
RZM
χ(x, y)eRd(x,y)f(y)dy,
where d is a distance function whose square is regular at the diagonal and χa function being 1
near the diagonal such that d2is smooth on the support of χ. We note that Q(R) = Qd2(R)
for Re(R)>0.
Theorem 2.23. Let Mbe a compact n-dimensional manifold and d : M×M[0,)a
distance function whose square is regular at the diagonal. Set µ:= (n+ 1)/2. The operator
Q(R) : Hµ(M)Hµ(M),
defined from the expression (20) is a well defined Fredholm operator for all RC\{0}and there
is an R0such that Q(R)is invertible for all RΓπ/(n+1)(R0). Moreover, the following holds:
a) For each RC\ {0},Q(R)Ψn1
cl (M)is an elliptic pseudodifferential operator and
the family of operators
(Q(R) : Hµ(M)Hµ(M))RC\{0}
depends holomorphically on RC\ {0}. Moreover, the holomorphic family
(Q(R)1:Hµ(M)Hµ(M))RΓπ/(n+1)(R0),
extends meromorphically to RC\ {0}.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 23
b) There is a C > 0such that
C1kfk2
Hµ
|R|(M)Rehf, Q(R)fiL2Ckfk2
Hµ
|R|(M),
for RΓπ/(n+1)(R0)and fHµ(M). In particular, for RΓπ/(n+1)(R0),Q(R)
is coercive in form sense on L2(M)and the sesquilinear form Re, Q(R)·i is uniformly
equivalent to the inner product of Hµ
|R|(M).
Proof. The first statements of the theorem follows from Corollary 2.22.
Part a) follows from the meromorphic Fredholm theorem (see Appendix D) upon proving that
R7→ Q(R)B(Hµ(M), Hµ(M)) is holomorphic with values in the set of Fredholm operators.
We can write Q(R) as the integral operator with Schwartz kernel
(21) 1
Rχ(x, y)eRd(x,y)=χ(x, y )
R+
X
k=0
Rk
(k+ 1)!χ(x, y)d(x, y )k+1.
Using the fact that d2is regular at the diagonal, an argument as in the proof of Theorem 2.9
shows that Q(R) is an elliptic pseudodifferential operator of order n1. By Proposition A.7,
the principal symbol of Q(R) (for fixed R) is given by
σn1(Q(R))(x, ξ) = π(n1)/22nΓn+ 1
2|ξ|n1
gG=n!ωn|ξ|n1
gd2.
Therefore R7→ Q(R)B(Hµ(M), Hµ(M)) takes values in the set of Fredholm operators. The
expression (21), and again an argument as in the proof of Theorem 2.9, shows that R7→ Q(R)
B(Hµ(M), Hµ(M)) depends holomorphically on RC\ {0}.
Part b) follows from the G˚arding inequality (see Corollary B.12 on page 64) using that Re(Q)
has positive principal symbol as a pseudodifferential operator with parameter by Theorem 2.9
on page 10).
2.5. Evaluation at ξ= 0 of some symbols. For later purposes, we will be interested in
knowing the value of the homogeneous component of the full symbol of the parametrix of Q
at ξ= 0, constructed as in Theorem 2.21. The following lemma shows that the evaluations
of symbols of operators with parameter provides coordinate invariant expressions, therefore
containing invariants of a pseudodifferential operator with parameter.
Lemma 2.24. Assume that Mis a manifold and that AΨm
cl (M; Γ) is a properly supported
pseudodifferential operator with parameter. Then there exists a sequence (aj,0)jNC(M×Γ)
such that
i) Each aj,0=aj,0(x, R)is homogeneous of degree mjin R.
ii) In each local coordinate chart,
aj,0(x, R) = aj(x, 0, R),
where aPjajis a homogeneous expansion of the full symbol of Ain that chart.
Moreover, for any NN, we have that
(22) [A(R)1](x) =
N
X
j=0
aj(x, R) + rN(x, R) =
N
X
j=0
aj(x, 1)Rmj+rN(x, R),
where rNC(M×Γ) is a function such that for any compact KMit holds that
sup
xK|α
xk
RrN(x, R)|=O(Re(R)mN+|α|+k),as Re(R)+.
Proof. Choose a partition of unity (χj)jC
c(M) subordinate to a locally finite covering
by coordinate charts, and choose (˜χj)jC
c(M) such that ˜χjis supported in a coordinate
chart and ˜χj= 1 on supp(χj). We have that PjχjA˜χjconverges in weak sense to a properly
supported operator, and APjχjA˜χjΨ−∞
cl (M; Γ). Therefore, we can assume that Ais
supported in a coordinate chart. In a coordinate chart, and a homogeneous expansion aPjaj
of the full symbol of A, the method of stationary phase (see for instance [22, Chapter VII.7])
implies that [A(R)1](x) = PN
j=1 aj(x, 0, R) + rN(x, R) as in Equation (22). It is clear that
24 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
that the function A(R)1 C(M) and its asymptotic expansion is independent of choice of
coordinates, and the lemma follows.
Lemma 2.25. Let Mbe an n-dimensional manifold, G:M×M[0,)be a function
regular at the diagonal, and (aj,0)jNC(M×C+)the sequence defined as in Lemma 2.24
from AG,χ Ψn+1
cl (M;C+)(cf. Theorem 2.21). The functions aj,0are determined in local
coordinates by the properties that
aj,0(x, R) = 0,for all jodd,
and for even j,aj,0(x, R)is determined inductively from a0,0(x, R) = 1
n!ωnRn+1 and for j > 0,
(23) aj,0(x, R) = 1
n!ωn
Rn+1 X
k+2l+p=j
2l<j, 2|k+p
ipqk,p(x, R).p
xaj2k,0(x, R),
where qk,p(x, R)denotes the p-linear form
qk,p(x, R).v := X
|α|=p
α
ξqk(x, ξ, R)vα|ξ=0 =p
tqk(x, tv, R)|t=0 .
Proof. By Lemma 2.24, we can perform all computations in a coordinate chart. The structural
description of ajfrom Lemma 2.21 implies that for any (x, ξ, R) and jNit holds that
aj(x, ξ, R) = (1)jaj(x, ξ , R).
We conclude that aj(x, 0, R) = 0, and even that p
xaj,0(x, R) = 0 for any p, when jis odd. To
compute ajfor even j, we note that since aj=a0Pk+l+|α|=j, l<j 1
α!α
ξqkDα
xal, the formula (23)
follows using that the only contributions are for even l, and evenness of jimplies that 2|k+p.
Remark 2.26.The formulas in Theorem 2.9 shows that for nodd, and jeven,
qj,0(x, R) =Rn1jX
γIj,rk(γ)<(n+1)/2
crk(γ),n(1)rk(γ)1(|γ|/2)!(n+ 1 2rk(γ))|γ|/2,2C(γ)
G(x, g⊗|γ|/2
G)+
Rn1jX
γIj,rk(γ)(n+1)/2
crk(γ),n(1)rk(γ)1(|γ|/2)!(n+ 1 2rk(γ))|γ|/21,2C(γ)
G(x, g⊗|γ|/2
G),
and for neven, and jeven,
qj,0(x, R) =Rn1jX
γIj
crk(γ),n(1)rk(γ)1(|γ|/2)!(n+ 1 2rk(γ))|γ|/2,2C(γ)
G(x, g⊗|γ|/2
G),
and crk(γ),n is as in Theorem 2.9. Note that by definition of the set Ij,γIjsatisfies that |γ|
is even if and only if jis even.
Theorem 2.27. Let Mbe an n-dimensional manifold, G:M×M[0,)be a function
regular at the diagonal, and (aj,0)jNC(M×C+)the restriction to 0of the full symbol of
AG,χ. Then for each j > 0,aj,0is a polynomial in (C(γ)
G)γ∈∪kjIkand its derivatives contracted
by the metric gGand its derivatives of total degree jwhere each C(γ)
G,γIk, has degree k, the
metric has degree zero and x-derivatives increase the order by 1.
In the special case j= 0 we have
a0,0(x, R) = 1
n!ωn
Rn+1,
and for j= 2 and n= 3, we have that
a2,0(x, R) = 24R2
(3!ω3)210c1,3C4
G(x, gGgG)c2,3(C3
GC3
G)(x, gGgGgG),
while for j= 2 and n6= 1,3, we have that
a2,0(x, R) = 3Rn1
(n!ωn)2c1,n(n21)C4
G(x, gGgG)(24)
c2,n(n+ 5)5,2(C3
GC3
G)(x, gGgGgG),
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 25
and for for j= 4 we have the identity
a4,0(x, R) = R2n+2
(n!ωn)2q4,0(x, R)n+ 1
R2gG(2
xa2,0(x, R))
c1,n(n21)
R2n!ωn
(C3
G⊗ ∇xa2,0)(gGgG)Rn+1
n!ωn
q2,0(x, R)a2,0(x, R).(25)
Proof. The structural statement about aj,0(x, R) is readily deduced from Lemma 2.25 and in-
duction by using the property that if γIjand γIjthen (γ, γ)Ij+j.
The equation for a0,0is immediate from Lemma 2.21. Using Lemma 2.25, we have that
a2,0(x, R) = a2
0,0q2,0and the formula (24) follows from that
q2,0(x, R) =3c1,n(n21)C4
G(x, gGgG)Rn3+ 3c2,n(n+ 5)5,2(C3
GC3
G)(x, gGgGgG)Rn3,
for n6= 1,3 and a similar expression for n= 3.
Let us compute a4,0(x, R). By Lemma 2.25 we have that
a4,0(x, R) = Rn+1
n!ωn4
X
k=0
ikqk,4k(x, R).4k
x
Rn+1
n!ωn
2
X
k=0
ikqk,2k(x, R).2k
xa2,0(x, R)=
=Rn+1
n!ωnq0,2(x, R).2
xa2,0(x, R)iq1,1(x, R).xa2,0(x, R)q2,0(x, R)a2,0(x, R)
R2n+2
(n!ωn)2q4,0(x, R),
and the computation is complete upon using Proposition 2.14.
Remark 2.28.The full expression for a4,0can be computed from Equation (25). We omit the
full details, but let us note an expression for q4,0. Since
I4={6,(3,5),(4,4),(5,3),(3,3,4),(3,4,3),(4,3,3),(3,3,3,3)},
we have that
q4,0(x, R) =Rn5c1,n3!(n1)3,2C6
G(x, g3
G)Rn5c2,n4!(n3)4,2C(3,5)
G(x, g4
G)
Rn5c2,n4!(n3)4,2C(4,4)
G(x, g4
G)Rn5c2,n4!(n3)4,2C(5,3)
G(x, g4
G)+
+Rn5c3,n5!(n5)5,2C(3,3,4)
G(x, g5
G) + Rn5c3,n5!(n5)5,2C(3,4,3)
G(x, g5
G)+
+Rn5c3,n5!(n5)5,2C(4,3,3)
G(x, g5
G)Rn5c4,n6!(n7)6,2C(3,3,3,3)
G(x, g6
G).
Example 2.29 (Evaluations of symbols for domains in Euclidean space).Let us return to the
computations on Euclidean space from Example 2.16. We consider G(x, y) = |xy|2– the
square of the Euclidean distance. Since q(x, ξ , R) = n!ωn(R2+|ξ|2)(n+1)/2is a full symbol
of QG,χ in Euclidean coordinates, a(x, ξ, R) = 1
n!ωn(R2+|ξ|2)(n+1)/2is a full symbol of AG,χ .
Therefore
(26) aj,0(x, R) = (1
n!ωnRn+1, j = 0,
0, j > 0.
By Lemma 2.25 this holds in any coordinate system on Euclidean space. We remark that the
bulk of computations carried out in Example 2.16 will mainly be of interest when inverting Q
near the boundary of a domain, while the computation (26) relates to interior terms.
Example 2.30 (Evaluations of symbols for submanifolds of Euclidean space).We return to sub-
manifolds MRNand the function G(x, y) = |xy|2which is regular at the diagonal as in
Example 2.17 above. We take coordinates as in Example 2.17. By Theorem 2.27 we have that
26 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
a0,0(x, R) = 1
n!ωnRn+1 and
a2,0(x, R) = 3c1,n (n21)
(n!ωn)2
N
X
l=n+1 X
i+k=4,
i,k>0
(iϕl⊗ ∇kϕl)(g2
G)Rn1
3c2,n(n+ 5)3,2
(n!ωn)2
N
X
l1,l2=n+1 X
i1+k1=i2+k2=3,
i1,i2,k1,k2>0
(i1ϕl1⊗ ∇k1ϕl1⊗ ∇i2ϕl2⊗ ∇k2ϕl2)(x, g3
G)Rn1,
where gGis the dual metric to the transversal Hessian:
HG(v) = |v|2+
N
X
l=n+1
(ϕl(x)·v)2.
Example 2.31 (Evaluations of symbols for geodesic distances).Consider the geodesic distance on
a Riemannian manifold Mas in Example 2.18. Let gMdenote the Riemannian metric, and recall
from Example 2.18 that gMcoincides with the transversal Hessian of d2
geo at the diagonal. We
can compute a2,0in this case by means of known Riemannian curvatures. We fix a point xand
choose coordinates so that Γ vanishes in that point (normal coordinates). In these coordinates,
C3
d2
geo (x, v) = 0 and C4
d2
geo (x, ·) is a third of the Riemannian curvature in xby Proposition 2.19.
By Theorem 2.27 we conclude that for n= 3, we have that
a2,0(x, R) = 80R2
(3!ω3)2sg(x),
while for n6= 1,3, we have that
a2,0(x, R) = Rn1
(n!ωn)2c1,n(n21)sg(x),
where sgdenotes the scalar curvature.
3. Global behavior of Zon compact manifolds
In the previous section we studied the localization Qof Znear the diagonal. Here Zis the
operator with parameter Rdefined from a distance function as in Equation (7). We now turn to
study Zby considering distance functions for which L:= Z Qin a certain sense is negligible
so that Qdominates.
3.1. Controlling the off-diagonal part of Z.In this subsection we shall study the remainder
L=Z Q. We note that
L(R)f(x) = 1
RZM
(1 χ(x, y))eRd(x,y)f(y)dy.
We start making two initial observations concerning the remainder term L. The first observation
concerns the behavior of the remainder term in L2.
Proposition 3.1. Let Mbe a compact manifold and d : M×M[0,)a distance function
on M. Then
C\ {0} ∋ R7→ L(R)∈ L2(L2(M)),
defines a holomorphic Hilbert-Schmidt valued function. Moreover, Lsatisfies that
kL(R)kL2(L2(M)) =O(Re(R)−∞)as Re(R)+.
By the standard norm estimate kKkB≤ kKkL2, the statement in the proposition also holds
in the operator norm. We remark that by Theorem 2.9 and B.11, the localization to the diagonal
satisfies
kQ(R)kLp(L2(M)) =O(Re(R)n
pn1) as Re(R)+,
for any p > 1 + 1/n (the bound is not uniform in p).
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 27
Proof. The function C\ {0} ∋ R7→ 1
R(1 χ(·,·))eRd(·,·)C(M×M) is clearly holomorphic
in the norm on C(M×M). Since χ= 1 in a neighborhood of the diagonal, compactness of
Mimplies that k1
R(1 χ(·,·))eRd(·,·)kC(M×M)=O(Re(R)−∞) as Re(R)+. Since M
is compact, an integral operator Kwith kernel kC(M×M) satisfies the estimate for the
Hilbert-Schmidt norm kKkL2(L2(M)) vol(M)kkkC(M×M). The proposition follows.
The second observation concerns how an a priori estimate with respect to the off-diagonal
remainder Laffects distributional solutions to the magnitude equation Zu= 1.
Proposition 3.2. Let Mbe a compact manifold and d : M×M[0,)a distance function
on Msuch that d2is regular at the diagonal. Let NNand Γbe a sector. Assume that
fC(M)and that (uR)RΓ⊆ D(M)is a family of solutions to
Z(R)uR=f
satisfying that hL(R)uR, ψi=O(Re(R)N)as Re(R)+in Γfor all ψC(M). Then
for large enough Re(R),
uR=Q(R)1f+vR,
where (vR)RΓ⊆ D(M)is a family satisfying that hvR, ψi=O(Re(R)N+n+1)as Re(R)+
in Γfor all ψC(M). In particular, for any ψC(M),
huR, ψi=hQ(R)1f, ψi+O(Re(R)N+n+1),as Re(R)+in Γ.
Proof. The equation Z(R)uR=fimplies that
uR=Q(R)1fQ(R)1L(R)uR.
Consider the distribution vR:= Q(R)1L(R)uRuRQ(R)1f. For ψC(M), we have
that
hvR, ψi=hL(R)uR, Q(R)1ψi=O(RN+n+1),
because of the assumption on L(R)uR=O(Re(R)N) in a weak sense and the fact that Q(R)1
is a pseudodifferential operator with parameter of order n+ 1 preserving C(M) with uniform
norm estimates kQ(R)1fkCkCk(1 + Re(R))n+1kfkCn+k+1.
Proposition 3.1 implies that Lis small as an operator on L2, and Proposition 3.2 implies
that the resulting remainder term will not alter the asymptotic properties of solutions given an
a priori estimate. However, as Qis of negative order and acts compactly on L2, well-posedness
of the problem in L2is not assured. We shall circumvent this problem by imposing a regularity
assumption on the distance function that forces the magnitude equation naturally into a Sobolev
space framework. We discuss examples satisfying this assumption, as well as counterexamples,
below in the Subsections 3.2 and 3.4, respectively.
Definition 3.3 (Property (MR) of distance functions).Let Mbe an n-dimensional compact
manifold and d : M×M[0,) a distance function on Msuch that d2is regular at the
diagonal. Set µ:= (n+ 1)/2. For a sector [1,)ΓC, we say that d has property (MR) on
Γ if for any RΓ, L(R) extends to a continuous mapping Hµ(M)Hµ(M) with
kL(R)kHµ(M)Hµ(M)=O(Re(R)−∞),as Re(R)+in Γ.
If L(R) : Hµ(M)Hµ(M) is a compact operator for RΓ and
ΓR7→ L(R)K(Hµ(M), Hµ(M)),
is holomorphic in norm sense, we say that d has property (SMR) on Γ.
The acronyms MR and SMR stand for magnitude regularity and strong magnitude regularity,
respectively. Assuming these properties, the operator Zinherits relevant analytic and geometric
properties from Q. Property (MR) will be used to compute asymptotic solutions to the mag-
nitude equation RZu= 1, while property (SMR) will be used for constructing meromorphic
extensions of Z1. If Γ is a sector on which a distance function has property (MR), it is clear
that 0 /Γ. We consider such results for compact manifolds below in Subsection 3.3.
28 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
3.2. Examples of distance functions satisfying property (MR) and (SMR). Let us give
a method to produce distance functions with property (SMR):
Proposition 3.4. Let Mbe a compact manifold embedded into a Riemannian manifold i:
MWsuch that the square of its geodesic distance d2
geo,W is smooth, for instance W=RN,
W=HN,Ror W=HN,C, for some NN.
The distance function d : M×M[0,),d(x, y) := dgeo,W (i(x), i(y)) satisfies
i) d2is smooth on M×Mand regular at the diagonal.
ii) LΨ−∞(M;C+)and L(R)Ψ−∞ (M)for any RC\ {0}.
iii) d has property (SMR) on C\ {0}.
Proof. Since d2
geo,W is smooth, it is clear that d2is smooth on M×M. It follows from Proposition
2.19 that d2is regular at the diagonal, and in fact gd2is the pullback metric igWfrom the
Riemannian metric gWon W. Therefore the singular support support of d is the diagonal, and
the integral kernel of L(R) is smooth so L(R) extends to a continuous mapping L(R) : Hs(M)
Ht(M) for any s, t R. Moreover, for any vector fields X1,...,Xmon M×Mwe can estimate
X1···Xm(1 χ)eRdCm|R|m1eεRe(R).
Again, we write ε:= inf{d(x, y) : (x, y)χ1(1)}>0. In particular, we readily can deduce
that LΨ−∞(M;C+), and for any s, t R,
kL(R)kHs(M)Ht(M)=O(Re(R)−∞),as Re(R)+.
Therefore d has property (SMR) on C\ {0}.
In light of Proposition 3.4, we note the following corollary of Theorem 2.23.
Corollary 3.5. Let Mbe a compact manifold equipped with a distance function d : M×M
[0,)such that d2is smooth, e.g. a subspace distance as in Proposition 3.4. Then Z(R)
Ψn1
cl (M)is an elliptic pseudodifferential operator for any RC\ {0}. Furthermore, Z ∈
Ψn1
cl (M;C+)is elliptic with parameter and its full symbol coincides with that of Qas given in
Theorem 2.9.
Another example of distance functions with property (MR) arises on spheres.
Proposition 3.6. Let ddenote the geodesic distance on a sphere Snin its round metric. The
distance function dhas property (MR) on C\ {0}but fails to satisfy property (SMR) on any
sector.
Proof. The square of the geodesic distance is regular at the diagonal by Proposition 2.19. We note
that d is smooth on {(x, y)Sn×Sn:x6=±y}. Consider the operator U f(x) := f(x). The
operator Uacts via pullback along the antipodal mapping ϕ(x) := xwhich acts isometrically
due to O(n)-invariance of the Riemannian metric on Sn. The operator Uextends to a unitary on
all Sobolev spaces Hs(Sn), sR. Since it holds that d(x, y) = πd(x, ϕ(y)) we can conclude
that the integral kernel of L(R)Uis given by χϕeRdeπR , where χϕ(x, y) := 1 χ(x, ϕ(y)).
In particular, since χϕsatisfies that χϕ= 1 on the diagonal and χϕ= 0 on a neighborhood
of the off-diagonal singularities of d, the operator L(R)UeπR is an elliptic pseudodifferential
operator with parameter of order n1 by the same argument as in Theorem 2.9. It follows
that property (SMR) fails on any sector. Using that Uis unitary, L(R) extends to a continuous
operator Hµ(Sn)Hµ(Sn) with
kL(R)UeπRkHµ(Sn)Hµ(Sn)=O(1),
as Re(R)→ ∞. Since Uis unitary, we deduce that
kL(R)kHµ(Sn)Hµ(Sn)=O(eπRe(R)) = O(Re(R)−∞) as Re(R)→ ∞.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 29
3.3. Analytic results for the operator Z.We are now ready to extend the results of Section
2 for Qto results on the operator Zfor compact manifolds with a distance function satisfying
property (MR) as defined in Definition 3.3.
Theorem 3.7. Let Mbe a compact n-dimensional manifold and d : M×M[0,)a distance
function on Mwith property (MR) on the sector Γ. Set µ:= (n+ 1)/2. Then there is an R00
such that
Z(R) : Hµ(M)Hµ(M),
is invertible for all RΓΓπ/(n+1) (R0). Moreover, for RΓΓπ/(n+1)(R0)
Z1=Q1+R,
where Q1Ψn+1
cl (M; Γπ/(n+1)(R0)) is the elliptic pseudodifferential operator with parameter
constructed in Corollary 2.22 and R:Hµ(M)Hµ(M)is a family of operators parametrized
by RΓΓπ/(n+1)(R0)such that
kRkHµ(M)Hµ(M)=O(Re(R)−∞),as Re(R)+in ΓΓπ/(n+1) (R0).
Moreover, there is a constant C > 0such that
(27) C1kfk2
Hµ
|R|(M)Rehf, Z(R)fiL2Ckfk2
Hµ
|R|(M),
for RΓΓπ/(n+1)(R0)and fHµ(M). In particular, for RΓΓπ/(n+1)(R0),Z(R)is
coercive in form sense on L2(M)for the Hµ-norm.
Proof. The operator Qis invertible by Corollary 2.22. We can therefore write
Q1Z= 1 + Q1L,
as operators on Hµ(M). Since Q1is a pseudodifferential operator with parameter, we have
that
kQ(R)1L(R)kHn+1
2(M)Hn+1
2(M)=O(Re(R)−∞),(28)
as Re(R)+in Γ Γπ/(n+1) (R0).
Therefore, for Re(R)0 the operator (1 + Q1L)1Q1exists and is a left inverse to Z. By
an analogous argument,
kL(R)Q(R)1kHn+1
2(M)Hn+1
2(M)=O(Re(R)−∞),(29)
as Re(R)+in Γ Γπ/(n+1) (R0),
and Zhas the right inverse Q1(1 + LQ1)1for Re(R)0. Therefore (1 + Q1L)1Q1=
Q1(1+ LQ1)1and this operator is an inverse to Z. By the estimates (28) and (29), it follows
that
R=Z1Q1=Q1(1 + LQ1)11=
X
k=0
(1)kQ1(LQ1)k,
as a norm convergent sum and has the required decay property as Re(R)+.
The estimate (27) follows from the decay property of Rand Theorem 2.23.
The following result is immediate from Lemma 2.24 and Theorem 3.7.
Corollary 3.8. Let Mbe a compact n-dimensional manifold and d : M×M[0,)a distance
function on Mwith property (MR) on the sector Γ. Take the sequence of homogeneous functions
(aj,0)jNC(M×ΓC+)as in Lemma 2.25. Then, for any NN, we have that
[Z(R)11](x) =
N
X
j=0
aj(x, R) + rN(x, R),
where rNCC+, Hµ(M)), for µ= (n+ 1)/2, is a function such that
krN(·, R)kHµ(M)=O(Re(R)n+1N),as Re(R)+in Γ.
30 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Remark 3.9.We remark that the role that property (MR) plays in Corollary 3.8 is to ensure
existence of a distributional solution to Z(R)uR= 1. For computing the integrated asymptotics
h1,Z(R)11i, property (MR) is not necessary. Indeed, with no assumptions of property (MR),
but assuming that d : M×M[0,) is a distance function on Msuch that d2is regular at
the diagonal and that (uR)R>R0⊆ D(M) is a family of solutions to
Z(R)uR= 1
satisfying that hL(R)uR, ψi=O(Re(R)N) as Re(R)+for all ψC(M), we have that
huR,1i=
N
X
j=1 ZM
aj(x, R)dx+O(Re(R)n+1N),
for any N. This follows from Lemma 2.24 and Proposition 3.2.
One instance where solutions to Z(R)uR= 1 exist, yet the distance function need not sat-
isfy property (MR), is the geodesic distance on a compact symmetric space M=G/H . See
Proposition 3.17 below for examples of symmetric spaces failing to satisfy property (MR). The
problem Z(R)uR= 1 was studied for compact symmetric spaces in [44]. For a compact symmet-
ric space M=G/H, we use the normalized G-invariant measure induced by the Haar measure.
By symmetry, the function
uR(x) = 1
RG/H eRd(x,y)dy,
is constant and therefore solves Z(R)uR= 1. It is readily verified that L(R)uR=O(R−∞ ) in
distributional sense. We conclude that each aj(x, R) is constant and that
uR(x) = uR(eH) =
N
X
j=0
aj(eH, R) + O(Re(R)n+1N),
for any N. For examples of computations of uRfor compact symmetric spaces, see [44].
The next result poses an obstruction to property (MR) for distance functions and should
be viewed as complementary to Theorem 3.16. Recall the following terminology from [32]: a
compact metric space (X, d) is said to be positive definite if for any finite subset FX, the
matrix (ed(x,y))x,yFis positive definite. If (X, Rd) is positive definite for all R > 0, we say
that (X, d) is stably positive definite.
Corollary 3.10. Assume that dis a distance function on a compact manifold Mwith property
(MR) on [1,). Then there exists an R00such that (M, Rd) is positive definite for all
R > R0.
Proof. Consider the quadratic form qR(u) = hu, Z(R)uiL2,uHµ(M). By Theorem 3.7, qRis
positive definite for R > R0, for some R00. In particular, for any subspace VHµ(M) the
restriction of qRto Vis also positive definite for R > R0. For a finite subset FM, consider
the subspace VFH(µ(M) spanned by {δx:xF}. In the basis (δx)xF, the quadratic
form qR|Vis represented by the |F| × |F|-matrix (eRd(x,y))x,y Fand so it is positive definite
for R > R0.
Remark 3.11.It was proven in [32, Subsection 3.2] that if Mis a compact Riemannian manifold
with π1(M)6= 0, the geodesic distance is not stably positive definite, i.e. there exists an R > 0
and a finite subset FMsuch that (eRdgeo (x,y))x,yFfails to be positive definite. The
manifold M=S1is not simply connected, and therefore fails to be stably positive definite. but
nevertheless Proposition 3.6 implies that M=S1with its geodesic distance has property (MR).
Therefore, property (MR) does not imply stably positive definiteness of the metric space but
only an asymptotic version thereof.
Theorem 3.12. Let Mbe an n-dimensional compact manifold with a distance function dhaving
property (SMR) on Γand set µ= (n+ 1)/2. Then the operator
Z(R) : Hµ(M)Hµ(M),
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 31
is a well defined Fredholm operator for all RΓinvertible for RΓΓπ/(n+1) (R0). Moreover,
the operator Z(R) : Hµ(M)Hµ(M)depends holomorphically on Rin Γand Z(R)1:
Hµ(M)Hµ(M)depends holomorphically on RΓΓπ/(n+1) (R0)and admits a meromor-
phic extension to Γ.
Proof. By Theorem 2.23, Qis a holomorphic function on Γ with values in the Fredholm operators
and by property (SMR), Lis a compact valued holomorphic function on Γ. Therefore Zdefines
a holomorphic function on Γ with values in the Fredholm operators. Since Zis invertible for a
large enough R, see Theorem 3.7, the theorem follows from the meromorphic Fredholm theorem,
see Appendix D.
Remark 3.13.To ensure holomorphicity of Zand Z1on sectors, the full property (SMR) is not
needed. Indeed, if d has property (MR) on a sector Γ and Γ R7→ L(R)B(Hµ(M), H µ(M))
is additionally holomorphic (in norm sense) then by Theorem 3.7, for some R00, the mapping
ΓΓπ/(n+1)(R0)R7→ Z(R)B(Hµ(M), Hµ(M))
is a holomorphic family of invertible operators. These properties are inherited by its inverse,
ΓΓπ/(n+1)(R0)R7→ Z(R)1B(Hµ(M), Hµ(M)).
By the proof of Proposition 3.6, this discussion applies to Snshowing that for some R0,Z(R)1
is holomorphic for RΓΓπ /(n+1)(R0) in this case.
The following result follows from Corollary 3.5 and Theorem 3.12.
Theorem 3.14. Let Mbe a compact manifold with a distance function dsuch that d2is smooth
on M×Mand regular at the diagonal (cf. Proposition 3.4), then ˜
Z(R) : Hµ(M)Hµ(M)
depends holomorphically on RC\{0}and the operator Z(R)1:Hµ(M)Hµ(M)extends
meromorphically to C\ {0}.
3.4. Examples of distance functions that fail to satisfy property (MR). Property (MR)
of a distance function, as defined in Definition 3.3, is a notable restriction on the singular
support and singularity structure of the distance function. We remark here that by a singular
point, we mean any point in the singular support, i.e. one in which the function is not C.
To better understand how these singularities affect the operator theoretic properties of L, the
reader is encouraged to review the proof of Proposition 3.6 where a crucial feature used in the
proof is that the geodesic distance on spheres near an off-diagonal singularity has the same
singular features as it has near the antipode of the singularity. An important property used
there can be stated as having control of the dimension of the off-diagonal singular support of the
metric. We make an elementary observation that follows from the smoothness of the function
(0,)t7→ t(0,).
Proposition 3.15. Let dbe a distance function on a manifold M. Then it holds that
singsupp(d) \DiagM= singsupp(d2)\DiagM.
Let us give a sufficient condition for a distance function (regular at the diagonal) not to satisfy
property (MR). We note that an additional obstruction was provided above in Proposition 3.10.
Theorem 3.16. Let Mbe a compact manifold and da distance function such that d2is regular at
the diagonal. Assume that there exists a submanifold NM×Mwith Nsingsupp(d2)\DiagM
such that any point z0Nadmits a neighborhood U0in M×Mand a coordinate chart
ϕ:Rdim(N)
t×Rdim(M)dim(N)
sU0,
with ϕ(0) = x0,ϕ1(U0N) = Rdim(N)
t× {0}and (t, s)7→ ϕd(t, s)− |s|being smooth in a
neighborhood of 0. Then L(R)does not extend to a continuous operator
Hµ(M)Hs(M),
for any s > (3 dim(M) + 1)/2dim(N)where µ= (dim(M) + 1)/2. In particular, if dim(N)>
dim(M)then ddoes not have property (MR) (see Definition 3.3) on any sector containing a
half-ray [R0,).
32 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Proof. We pick a point (x0, y0)Nand neighborhoods U1and U2of x0and y0respectively,
such that there exists a coordinate chart ϕas in item ii) above on U0=U1×U2. Pick functions
χ1C
c(U1) and χ2C
c(U2) such that χ1= 1 near x0,χ2= 1 near y0and such that
(t, s)7→ ϕd(t, s)−|s|is smooth on ϕ1(supp(χ1)×supp(χ2)). Clearly, it suffices to prove that for
any R > 0, the operator χ1L(R)χ2does not extend to a continuous operator Hµ(M)Hs(M)
for any s > (3 dim(M) + 1)/2dim(N).
Set k= dim(N) and n= dim(M). The Schwartz kernel of χ1L(R)χ2is a distribution on
M×Msupported in U0=U1×U2and pulling this kernel back along ϕ, we arrive at the
distribution
K(t, s) = χ0(s, t)eR|s|,
where χ0=ϕ[(χ1χ2)(1 χ)]eC
c(R2n) for ψ(t, s) = ϕd(t, s)− |s|. It follows from
Proposition A.7 and combining a Taylor expansion with asymptotic completeness, that K
CI k2n1(R2n,Rk). We conclude that χ1L(R)χ2is a Fourier integral operator of order k2n1
and this operator is elliptic in a neighborhood of (x0, y0). Therefore, since χ1L(R)χ2is elliptic
near (x0, y0) of order k2n1 it does not extend to a continuous operator H(n+1)/2(M)
Hs(M) for any
s > (n+ 1)/2(k2n1) = (3n+ 1)/2k.
Proposition 3.17. Let n > 1. The geodesic distance on the n-dimensional torus M=Tn
or the real projective space M=RPnfails to satisfy property (MR) (see Definition 3.3) on
any sector containing a half-ray [R0,). In fact, L(R)does not extend to a continuous map
Hµ(M)Hs(M)for s > n/2 + 3/2.
Proof. The proofs for both cases follow the same lines and rely on Theorem 3.16. For RPnwe
give a more geometric argument, and for Tnwe give a coordinate oriented argument.
We first prove the result for real pro jective space. The projective space RPnis the quotient
of Snby the antipodal map x7→ −x. This quotient map is a covering map, and it is locally
isometric with respect to the geodesic distance. For xRPn, the equator ˜
E(x)Snis defined
by
˜
E(x) = {vSn:v·x= 0}.
The condition v·x= 0 being invariant under the antipodal map, ˜
E(x) only depends on xRPn
and not on a choice of pre-image of xin Sn. We let E(x)RPndenote the image under the
quotient map. The off-diagonal singular support of the geodesic distance on RPnis the set
{(x, y)RPn×RPn:yE(x)}.
Indeed, any geodesic in RPnfrom a point xlifts uniquely up to a geodesic on Snup until the
point it crosses E(x) where the geodesic distance dgeo (x, ·) has a kink. The projection mapping
p1: singsupp(dgeo)\DiagRPnRPnis a locally trivial RPn1-bundle on RPn. Therefore,
N= singsupp(dgeo)\DiagRPnRPnis a manifold of dimension 2n1> n and suitable local
trivializations of p1:NRPnsatisfy the assumptions of item ii) in Theorem 3.16. We conclude
from Theorem 3.16 that L(R) has no bounded extension to an operator Hµ(RPn)Hs(RPn)
for any s > n/2 + 3/2.
We now prove the result for the n-dimensional torus Tn. Write Tn=Rn/Zn. While Tnis a
symmetric space, i.e. Tn=G/H for G=Tnand H= 1, it is instructive to consider d(x, y ) for
x= 0. We have that d(0, y) = |y|where we represent yby as an element of the fundamental
domain [1/2,1/2)n, and Tny7→ d(0, y) as a function on Tnis the Zn-periodic extension of
[1/2,1/2)ny7→ |y|. Therefore y7→ d(0, y) has kinks on the image of ([1/2,1/2)n) in Tn.
In particular, we see that the off-diagonal singular support of d is the set
{(x, y)Tn×Tn:xy([1/2,1/2)n) + Zn}.
Consider the submanifold N0:= {1/2}×(1/4,1/4)n1Rnand define the 2n1-dimensional
submanifold
N:= {(x, y)Tn×Tn:xyN0+Zn} ⊆ singsupp(d2)\DiagTn.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 33
Consider a point
x0= (x, 1/2, y)N.
On the open ball of radius 1/4 centred at x0, we introduce the coordinates u=x1y11/2
and t= (t, y) where t=xyin terms of standard coordinates x= (x1, x) and y= (y1, y).
In these coordinates, we have that
d(x, y) = s1
2− |u|2
+|t|2=r−|u|+|t|2+1
4+|u|2.
By shrinking the neighborhood of x0, we can Taylor expand
r−|u|+|t|2+1
4+|u|2=r|t|2+1
4+|u|2s1|u|
|t|2+1
4+|u|2=
X
k=0
α
α
αk|u|k
(|t|2+1
4+|u|2)k1=
=|u|
X
k=0
α
α
α2k+1 |u|2k
(|t|2+1
4+|u|2)2k
|{z }
g(u,t)
+
X
k=0
α
α
α2k|u|2k
(|t|2+1
4+|u|2)2k1
|{z }
˜g(u,t)
.
The functions gand ˜gare smooth near 0. Since g(0,0) 6= 0, we can define the new coordinate
s:= u˜g(u, t). We conclude that in these coordinates d(x, y)− |s|is smooth. We conclude from
Theorem 3.16 that L(R) has no bounded extension to an operator Hµ(Tn)Hs(Tn) for any
s > n/2 + 3/2.
Remark 3.18.The analytical issues arising from the remainder term Lreflect fundamental prob-
lems in Riemannian geometry. The singular support of the geodesic distance is akin to the
conjugate locus of the Riemannian metric, which in general is hard to describe, see [5, 42] and
for related technical issues arising in the X-ray transform on a Riemannian manifold see [20].
Furthermore, Theorem 3.16 shows that even when the singular support is a tractable set, i.e.
when it looks like a submanifold near some point, dimensional obstructions to property (MR) ap-
pear. This gives rise to the analytic problem that the operator Lin the decomposition Z=Q+L
is in general of order higher than n1 in the Sobolev order, while it is infinitely decaying in
the parameter R. In this case Lis of higher order than Q, which is elliptic with parameter of
order n1 and which determines the analytic and geometric properties of Zin this article.
4. The operator Zon Sobolev spaces for a manifold with boundary
We now turn to compact manifolds with boundary. For simplicity, we tacitly assume that
Xis a compact domain in a manifold Mand, for the purposes of this section, it suffices to
assume that Xhas a C0-boundary. Recall that a domain is said to have C0-boundary if its
boundary can be realized as the graph of a continuous function. We call such spaces Xa compact
manifold with C0-boundary. We may then study the operators Zand Qin Mand deduce
results in Xby restriction to distributions supported in X. In this section we study analytic
properties and meromorphic extensions. Asymptotic properties are studied in the following
section under additional regularity assumptions on the boundary. For notational clarity, we
indicate the manifold on which an operator is defined by a subscript, e.g. ZXand ZMfor the
corresponding operator on Xand M, respectively.
We shall make use of the following scales of Sobolev spaces. For sRand R > 0, write
˙
Hs
R(X) := {uHs
R(M) : supp(u)X},and Hs
R(X) := Hs
R(M)/˙
Hs
R(M\X).
An approximation argument shows that C
c(X)˙
Hs
R(X) is dense for any sR, see [31, The-
orem 3.29]. We equip these Sobolev spaces with Hilbert space structure induced from Hs
R(M),
i.e. ˙
Hs
R(X)Hs
R(M) as a subspace and Hs
R(X) as a quotient. We note that for s= 0,
˙
H0
R(X) = H0
R(X) = L2(X). The L2-pairing between ˙
Hs
R(X) and Hs
R(X) is a perfect pairing
and induces an isomorphism ˙
Hs
R(X)
=Hs
R(X) (uniformly in R). For R= 1, we omit Rfrom
the notation. We remark that any pseudodifferential operator with parameter AΨm
cl (M; Γ)
induces a continuous operator
AX:˙
Hs(X)Hsm(X),
34 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
defined by the composition
˙
Hs(X)֒Hs
c(M)A
Hsm
loc (M)Hsm(X).
Here the last map is the quotient map, Hs
c(M) denotes the space of compactly supported dis-
tributions that are s-Sobolev regular and Hsm
loc (M) denotes the space of distributions that are
locally sm-Sobolev regular.
Let us make two remarks regarding the operator AX:˙
Hs(X)Hsm(X). Firstly, for
any sRdensity ensures that AX:˙
Hs(X)Hsm(X) is determined by continuity and the
restriction AX:C
c(X)C(X). Secondly, if s=m/2 and Ais formally self-adjoint, then
AXis determined from the polarization identity by the continuous quadratic form
qAX(u) := hu, AuiL2, u ˙
Hm/2(X),
defined from Aand the perfect L2-pairing ˙
Hm/2(X)×Hm/2(X)C.
The analogue of Theorem 2.23 for QXis the following theorem.
Theorem 4.1. Let Xbe a compact n-dimensional manifold with C0-boundary and da distance
function on Xsuch that d2is regular at the diagonal. Set µ= (n+ 1)/2. Then the family of
operators
QX:= QM|X:˙
Hµ(X)Hµ(X),
is a well defined family of Fredholm operators for all RC\ {0}. For some R00,QX(R)is
invertible for all RΓπ/(n+1) (R0). Moreover, the following holds:
a) The family of operators
(QX(R) : ˙
Hµ(X)Hµ(X))RC\{0},
depends holomorphically on RC\ {0}. Moreover, the holomorphic family
(QX(R)1:Hµ(X)˙
Hµ(X))RΓπ/(n+1)(R0),
extends meromorphically to RC\ {0}.
b) There are C, R0>0such that
C1kfk2
˙
Hµ
|R|(X)Rehf, QX(R)fiL2Ckfk2
˙
Hµ
|R|(X),
for RΓπ/(n+1)(R0)and f˙
Hµ(X). In particular, for RΓπ/(n+1) (R0), the opera-
tor QX(R)is coercive on L2in the form sense and the sesquilinear form , QX(R)·iL2
is uniformly equivalent to the inner product of ˙
Hµ
R(X).
Proof. We first prove part b). This is a direct consequence of adapting Theorem 2.23, part b),
to compactly supported distributions that are µ-Sobolev regular and using that ˙
Hs
|R|(X)
Hs
|R|(M) is an isometric inclusion.
To prove part a), we note that for RC\ {0},QM(R) is a lower-order perturbation of
QM(R0) for any R00. Therefore, the Rellich lemma implies that the quadratic form
qQ,R(u) := hu, Q(R)uiL2≡ hu, QX(R)uiL2, u Hµ(X),
is a compact perturbation of qQ,R0. Therefore, the difference
QX(R)QX(R0) : ˙
Hµ(X)Hµ(X),
is a compact operator. Since part b) implies that QX(R0) is invertible for a large enough R00,
we conclude that (QX(R) : ˙
Hµ(X)Hµ(X))RC\{0}is a Fredholm family.
It remains to prove the assertion for the inverse of QX(R) The family of operators (QX(R) :
˙
Hµ(X)Hµ(X))RC\{0}is obtained from the holomorphic family of operators (QM(R) :
Hµ
c(M)Hµ
loc(M))RC\{0}(see Theorem 2.23, part a) via inclusions and pro jections, so it
is also holomorphic. As such, (QX(R)1:Hµ(X)˙
Hµ(X))RΓπ/(n+1)(R0)extends meromor-
phically to C\ {0}by the meromorphic Fredholm theorem (see Appendix D).
Similarly to the ideas in Section 3, we shall transfer the results of Theorem 4.1 to the operator
ZXusing property (MR). For a domain, let us make the notion of property (MR) more precise.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 35
Definition 4.2. Let Xbe a compact manifold with C0-boundary and d a distance function
on Xsuch that d2is regular at the diagonal. For a sector [1,)ΓC, we say that d has
property (MR) on Γ if (X, d) is isometrically embedded as a domain with smooth boundary in a
manifold Mequipped with a distance function dM, such that d2
Mis regular at the diagonal and
and for any RΓ, L(R) extends to a continuous mapping Hµ
c(M)Hµ
loc(M) with
kL(R)k˙
Hµ(K)¯
Hµ(K)=O(Re(R)−∞),as Re(R)+in Γ,
for any compact subsets K, K M.
If, for any compact subsets K, K M, the operator L(R) : ˙
Hµ(K)Hµ(K) is compact
for RΓ and
ΓR7→ L(R)K(˙
Hµ(K), Hµ(K)),
is holomorphic in norm sense, we say that d has property (SMR) on Γ.
In the absence of a boundary, the definition of property (MR) for a manifold with bound-
ary (Definition 4.2) is readily seen to be equivalent to property (MR) for a compact manifold
(Definition 3.3). The reader is encouraged to think of the definition of property (MR) for a
manifold with boundary as the distance function having “property (MR) on a neighborhood of
the manifold with boundary”. Let us consider two examples of distance functions with property
(SMR).
Example 4.3 (Domains in Riemannian manifolds with small diameter).Assume that XMis
a compact domain with C0-boundary in a Riemannian manifold with geodesic distance dgeo,M .
If the diameter of Xis strictly smaller than the injectivity radius of M, d2
geo,M is smooth on a
neighborhood of X. The same argument as in Proposition 3.4 shows that the distance function
dgeo := dgeo,M |Xon Xhas property (SMR) on C\ {0}. In fact, in this case, LΨ(X;C+)
and L(R)Ψ−∞(X) for any RC\ {0}.
Example 4.4 (Submanifolds with boundary).Assume that Xis a compact manifold with C0-
boundary embedded in a manifold i:XWand dWis a distance function on Wsuch that
the square d2
Wis smooth on W×Wand regular at the diagonal. This arises for instance for
W=RN,W=HN,Ror W=HN ,C, for some NN, with their geodesic distance.
The subspace distance function d : X×X[0,), d(x, y ) := dW(i(x), i(y)) will then satisfy
i) d2is smooth on X×Xand regular at the diagonal.
ii) LΨ−∞(X;C+) and L(R)Ψ−∞ (X) for any RC\ {0}.
iii) d has property (SMR) on C\ {0}.
This follows by the same arguments as in Proposition 3.4 by choosing a submanifold MWin
which i(X) is a compact domain (with C0-boundary).
For a distance function with property (MR), we tacitly assume that the manifold with C0-
boundary is embedded into the manifold Mimplementing property (MR). The next result is
proven exactly as Theorem 3.7 but using Theorem 4.1 instead of Corollary 2.22.
Theorem 4.5. Let Xbe a compact n-dimensional manifold with C0-boundary and da distance
function on Xwith property (MR) on the sector Γ. Then there is an R00such that
ZX(R) : ˙
Hµ(X)Hµ(X),
is invertible for all RΓΓπ/(n+1) (R0). Moreover,
Z1
X=Q1
X+RX,
where Q1
Xis the inverse of QX(existing by Theorem 4.1) and R:Hµ(X)˙
Hµ(X)is a
family of operators such that
kRkHµ(X)˙
Hµ(X)=O(Re(R)−∞),as Re(R)+in ΓΓπ/(n+1)(R0).
Moreover, there is a C > 0such that
(30) C1kfk2
˙
Hµ
|R|(X)Rehf, ZX(R)fiL2Ckfk2
˙
Hµ
|R|(X),
for RΓΓπ/(n+1)(R0)and f˙
Hµ(X). In particular, for RΓΓπ/(n+1)(R0),ReZX(R)
is positive in form sense on L2(X)for the Hµ-norm.
36 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
The next result poses an obstruction to property (MR) for distance functions on manifolds
with boundary. It is proven in the same way as Corollary 3.10 but using Theorem 4.5 instead
of Theorem 3.7.
Corollary 4.6. Assume that dis a distance function on a manifold with C0-boundary Xwith
property (MR) on [1,). Then there exists an R00such that for all finite subsets FXthe
|F| × |F|-matrix (eRd(x,y))x,yFis positive definite for all R > R0.
Using Theorem 4.1 instead of Theorem 3.7, the next result is proven ad verbatim as Theorem
3.12.
Theorem 4.7. Let Xbe an n-dimensional compact manifold with C0-boundary and assume that
distance function dhas property (SMR) on Γ. There is an R00such that the operator
ZX(R) : ˙
Hµ(X)Hµ(X),
is a well defined Fredholm operator for all RΓand invertible for RΓΓπ/(n+1) (R0).
Moreover, the operator ZX(R) : ˙
Hµ(X)Hµ(X)depends holomorphically on Rin Γand
ZX(R)1:Hµ(X)˙
Hµ(X)depends meromorphically on RΓ.
Similarly to Corollary 3.5, we deduce the following special case of Theorem 4.7.
Corollary 4.8. Let Xbe an n-dimensional compact manifold with C0-boundary and assume
that dis a distance function satisfying that d2is smooth on X×Xand regular at the diagonal
(e.g. as in Example 4.3 or 4.4). Then the family of operators
(ZX(R) : ˙
Hµ(X)Hµ(X))RC\{0},
depends holomorphically on RC\ {0}and for some R0the family
(ZX(R)1:Hµ(X)˙
Hµ(X))RΓπ/(n+1)(R0),
is holomorphic and extends meromorphically to RC\ {0}.
The above results in this subsection provide a functional analytic description of Zand its
dependence on R. The following result gives a slightly more precise description of Zin terms
of an extended Boutet de Monvel calculus; for its proof we refer to Appendix C. This result
requires the boundary to be smooth. Let us remark that while this result describes the inverse
of Zin terms of a well studied pseudodifferential calculus, we merely include it as an observation
as it is not used for computations below. The next section is devoted to an even more direct
asymptotic construction of the inverse of Zthat is put to use in the subsequent section.
Theorem 4.9. Let Xbe an n-dimensional compact manifold with boundary and consider a
distance function dsuch that d2is regular at the diagonal. Write µ:= (n+ 1)/2. The operator
QX:˙
Hµ(X)Hµ(X),
is an elliptic pseudodifferential operator with parameter Rof order n1, type (n+ 1)/2and
factorization index −∞ in the Boutet de Monvel calculus. In particular, QXadmits a classical
parameter dependent parametrix in an extended Boutet de Monvel calculus (made precise in
Appendix C).
If moreover dhas property (MR) on a sector Γ, then for RΓΓπ/(n+1)(R0),Z1differs
from a classical parameter dependent operator in an extended Boutet de Monvel calculus by an
operator R:Hµ(X)˙
Hµ(X)of infinitely low order in Rin the sense that
kRkHµ(X)˙
Hµ(X)=O(Re(R)−∞),as Re(R)+in ΓΓπ/(n+1)(R0).
Remark 4.10.If d is the distance function pulled back along an embedding X ֒W, where
the distance function on Wis smooth off-diagonally, then also Zis an elliptic pseudodifferential
operator with parameter Rof order n1, type (n+ 1)/2 and factorization index −∞ in
the Boutet de Monvel calculus and admits a classical parameter dependent parametrix in an
extended Boutet de Monvel calculus. In particular, Z1
Xis a classical parameter dependent
operator in an extended Boutet de Monvel calculus if Xis a domain in Euclidean space or
real/complex hyperbolic space.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 37
5. Structure of the inverse operator in the presence of a boundary
Consider a compact manifold with boundary Xequipped with a distance function d whose
square is regular at the diagonal. As above, we set µ:= (n+ 1)/2 where n:= dim(X). If d
has property (MR), Theorem 4.5 ensures that computations for QXrelate to computations for
ZXup to a term of infinitely low order in R(as Re(R)→ ∞), so we focus on the operator
QX. As proved in Theorem 4.1 above, the localized operator QX:˙
Hµ(X)Hµ(X) is an
isomorphism for large enough Rin the sector Γπ/(n+1) . We shall now describe the inverse of
QXin more precise terms under the assumption that the boundary is smooth. The inverse
Q1
X:Hµ(X)˙
Hµ(X) will be computed as a sum of
a pseudodifferential operator (with parameter) in the interior;
a composition of two mixed-regularity pseudodifferential operator near the boundary,
where the two factors are obtained from inverting a Wiener-Hopf factorization of the
magnitude operator at the boundary; as well as
an error term that acts as order 2µ, mapping Hµ(X)˙
Hµ+1(X), whose norm is
O(|R|−∞) as R→ ∞.
Asymptotically, only the two first terms play a role, and in the next section we compute the
asymptotics of conditional expectations from the symbols of these first two terms. To describe
the decomposition, we shall need further terminology.
5.1. Mixed-regularity symbols and Sobolev spaces.
Definition 5.1. Let s, t Rand nN>0. Write coordinates in Rnas ξ= (ξ, ξn)Rn1×R.
We define the Sobolev space of mixed-regularity (s, t) as
Hs,t(Rn) := f∈ S(Rn) : ZRnhξishξit|ˆ
f(ξ)|2dξ < .
If Ω Rnis a domain (so Ω = ), we define
˙
Hs,t(Ω) := {fHs,t (Rn) : supp(f)},and Hs,t (Ω) := Hs,t(Rn)/H s,t(Ωc).
We also define ˙
Hs,t
c(Ω) and Hs,t
c(Ω) as the elements with compact support. The local Sobolev
spaces of mixed-regularity are defined as
˙
Hs,t
loc(Ω) := {f∈ S(Rn) : χf ˙
Hs,t(Ω)χC
c(Rn)},
Hs,t
loc(Ω) := Hs,t
loc(Rn)/H s,t
loc(Ωc).
We note that ˙
Hs,t(Ω) Hs,t (Rn) is a closed subspace. We call the quotient mapping
˙
Hs,t(Rn)Hs,t (Ω) the restriction mapping. For large enough s > 0, we can identify ˙
Hs,t(Ω)
with a subspace of Hs,t (Ω) (but not for small s < 0). A standard computations with Fourier
transforms shows that the the identity operator induces continuous mappings Hs,t(Ω) Hs,t
(Ω)
and ˙
Hs,t(Ω) ˙
Hs,t(Ω) if and only if ssand tt(which is locally compact if and only if
s > sand t > t).
Definition 5.2. Let u, m Rand nN>0. Let Γ Cbe a sector and URnan open subset.
Write coordinates in Rnas ξ= (ξ, ξn)Rn1×R. We say that aC(U×Rn×Γ) is a
symbol with parameter of mixed-regularity (u, m) if for any compact KU,kN,αNn
and βNnthere is a constant C > 0 such that
sup
xKk
ξnβ
(ξ,R)α
xa(x, ξ, ξn, R)Ch(ξ, R)iukh(ξ, R)im−|β|,
for all (ξ, R)Rn+1. We let Su,m(U; Γ) denote the space of symbols with parameter of mixed-
regularity (u, m). We set Su,−∞(U; Γ) := mRSu,m(U; Γ).
For aSu,m(U; Γ) we define
Op(a) : C
c(U)C(U), Op(a)f(x) := 1
(2π)nZRn
a(x, ξ, R)ˆ
f(ξ)dξ.
Let Ψu,m(U; Γ) denote the linear space of operators C
c(U)C(U) spanned by {Op(a) : a
Su,m(U; Γ)}and smoothing operators with parameter. We set Ψu,−∞(U; Γ) := mRΨu,m(U; Γ).
38 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Example 5.3.Assume that 0 /Γ. Suppose that a(x, ξ, R) = b(x, ξ , R)(ξnh(x, ξ, R))uwhere
bis a homogeneous symbol with parameter of order mand his a homogeneous symbol with
parameter of order 1. A short computation shows that k
ξnβ
(ξ,R)α
xais a sum of terms of the
form ˜
b(x, ξ, R)(ξnh(x, ξ, R))uklwhere ˜
bis homogeneous of order m− |β|+l. Therefore
aSu,m(U; Γ), and in fact aSu0,m+uu0(U; Γ) for any u0u.
We note that since differentiation in the (ξ, R)-direction improves the order of decay, we have
for aSu,m(U; Γ) and fC
c(U) that
Op(a)f(x) := 1
(2π)nZRn×Rn1
a(x, ξ, R)Fynξnf(y, ξn)enxn+(xy)dydξ,
as an oscillatory integral. Moreover, we can conclude the following result from standard tech-
niques of oscillatory integrals (cf. [38, Chapter I.1]).
Proposition 5.4. Assume that AΨu,m (U; Γ). Then for any χ, χC(U)with χχ= 0
it holds that χAχΨu,−∞(U; Γ). In particular, if χ, χC
c(U)satisfies χχ= 0 then
kχAχkHsHs=O(|R|−∞)as R→ ∞ for all ss+u.
The last statement of the proposition follows from the next theorem.
Theorem 5.5. Let u, m, s, t, s, tRand nN>0. Let AΨu,m(Rn; Γ). Then Aextends to
a continuous operator
A:Hs,t
c(Rn)Hs,t
loc (Rn),
if ss+uand tt+m. In this case, we have for any χ, χC
c(Rn)that there exists a
C=C(s, s, A, χ, χ)>0
kχAχkHs,t(Rn)Hs,t(Rn)C(1 + |R|)tt+m.
Proof. The first part follows from the Calder´on-Vaillancourt theorem. The second part follows
from noting that Calder´on-Vaillancourt’s theorem proves the case t+m=tand for A
Ψu,m(Rn; Γ) compactly supported, then (R2+∆)(ttm)/2AΨu,tt(Rn; Γ) (where denotes
the Laplacian in the x-direction).
Theorem 5.6. Let u, m, s, t, s, tRand nN>0. Let aSu,m(Rn; Γ) be compactly supported
in the x-direction and assume that aextends to a holomorphic function in Im(ξn)<0. Set
A:= Op(a)Then Arestricts to and induces, respectively, continuous operators
˙
A:˙
Hs,t(Rn
+)˙
Hs,t(Rn
+)and A:Hs,t(Rn
)Hs,t
(Rn
),
if ss+uand tt+m.
Proof. Note that Ais well defined as the operator induced from A:Hs,t(Rn)Hs,t(Rn) since
˙
Apreserves supports in Rn
+. The result follows from the Paley-Wiener theorem.
Remark 5.7.Under the assumptions of Theorem 5.6, Theorem 5.5 implies that for any sand s
with ss+uthere is a C > 0 such that for tt+m
kAk˙
Hs,t(Rn
+)˙
Hs,t(Rn
+)C(1 + |R|)tt+mand kAkHs,t(Rn
)Hs,t(Rn
)C(1 + |R|)tt+m.
Definition 5.8. Let uR. Consider a sequence (aj)jNof mixed-regularity symbols with
ajSu,mj(U; Γ) for a sequence mj→ −∞. Set m:= maxjmj. If aSu,m(U; Γ) satisfies that
for any N, there is an Msuch that aPM
j=0 ajSu,N(U; Γ), we write
a
X
j=0
aj,
and call athe asymptotic sum of (aj)jN.
Proposition 5.9. Let uR. For any sequence (aj)jNof mixed symbols with ajSu,mj(U; Γ)
for a sequence mj→ −∞, the asymptotic sum aP
j=0 ajexists in Su,m(U; Γ), where m:=
maxjmj. The asymptotic sum is uniquely determined modulo Su,−∞(U; Γ).
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 39
Proof. The proof of this proposition is carried out ad verbatim as in [23, Proposition 18.1.3]
upon replacing the ξin [23] with (ξ, R).
Again, using that differentiation in the (ξ , R)-direction improves the order of decay, we can
conclude several results from the standard situation (cf. [38, Chapter I]). For instance, the ana-
logue of [38, Theorem 3.1, Chapter I.3] extends modulo Ψu,−∞ to Ψu,m which implies asymptotic
expansions of products and adjoints.
Proposition 5.10. Let AΨu,m(U; Γ) and BΨu,m(U; Γ) be mixed-regularity pseudodiffer-
ential operators out of which at least one is properly supported. Then AB Ψu+u,m+m(U; Γ) is
a mixed-regularity pseudodifferential operator. Moreover, if aSu,m(U; Γ) and bSu,m(U; Γ)
are symbols with AOp(a)and BOp(b)being smoothing with parameter, then AB Op(c)is
smoothing with parameter where cSu+u,m+m(U; Γ) is uniquely determined modulo Su+u,−∞(U; Γ)
as the asymptotic sum
cX
αNn
1
α!α
ξaDα
xb.
5.2. Wiener-Hopf factorization of QXnear the boundary. Using the machinery of the
previous subsection, we shall now factorize the operator QXnear the boundary into factors
that extend holomorphically into the upper respectively lower half-plane, and use Theorem 5.6
to (near the boundary) invert these individual factors as operators ˙
Hµ(X)L2(X) and
L2(X)Hµ(X), respectively. The reader should recall the structure of the full symbol of Q
from Theorem 2.9. We shorten the notation and write Cjfor Cj
d2, where Cj
d2are the Taylor
coefficients of d2as in Equation (10).
As above, we consider a compact manifold with boundary Xa distance function d on Xwhose
square is regular at the diagonal (cf. Definition 2.2). We tacitly fix a manifold Mcontaining X
as a smooth compact domain to which d extends as a distance function whose square is regular
at the diagonal. In particular, we can Taylor expand d2near any point in the diagonal as in
Equation (10) and its Taylor coefficients enter the full symbol of Qas in Theorem 2.9. To study
the behavior at the boundary, we first reduce to the model case that X=∂X ×[0,), as a
domain in ∂X ×R. We remark that X ×[0,) is not compact, but we shall later on only use
the constructed operators in a form localized to near the compact boundary.
Proposition 5.11. Let Xbe a compact manifold with boundary with a distance function dwhose
square is regular at the diagonal, embedded into a manifold Mas in the preceding paragraph.
Consider the compact manifold Y=∂X and choose a tubular neighborhood UMof ∂X and
a diffeomorphism ϕ:UY×(1,1), with X =ϕ1(Y× {0}). Then there exists a classical
elliptic pseudodifferential operator with parameter QΨn1
cl (Y×R;C+)and a number ε > 0
such that
Qis translation invariant outside a compact subset in the sense that there exists a
t0>0such that if fC
c(Y×R)is supported in {(y, t) : ±t > t0}then [Qf](· s) =
Q[f(· ∓ s)] for all s > 0.
For all fC
c(Y×(ε, ε)) it holds that Q(ϕf)is supported in Uand
Q(ϕf) = ϕ(Qf).
the principal symbol of Qis given by
σn1(x, ξ, R) = c(R2+g(ξ, ξ))µ,
where gis a Riemannian metric on Y×Rwhich is translation invariant in the R-direction
outside a compact and coincides with ϕgd2on Y×(1,1).
Proof. Construct gfrom interpolating between gd2near 0 and something at infinity. Construct
Qfrom interpolation along the real line between Qnear 0 and (R2+ ∆g)µat infinity. The
second part follows from that Qby construction has small propagation.
Henceforth, we shall fix a choice of Qand gas in Proposition 5.11.
40 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Remark 5.12.To fix a choice of a diffeomorphism ϕ:UY×(1,1) is (up to a self-
diffeomorphism of Y) equivalent to choosing a vector field defined near Y=∂X which is
transversal to the boundary. This choice of vector field, or equivalently, the last entry of
ϕ:UY×(1,1), gives rise to a coordinate that we denote by xn:U(1,1). We
remark that it is always possible to use the transversal vector field to be the metric normal to
the boundary, in which case we have that on X:
gd2= dx2
n+g∂X,d2,
where g∂X,d2is the induced Riemannian metric on X. For computational purposes, it becomes
clumsy to restrict to the the case when the transversal vector field is orthogonal to the boundary
but for some considerations it simplifies the formulas.
Following the notation of Subsection 5.1, we write xnfor this transversal coordinate and x
for coordinates on X . Similarly, ξndenotes the cotangent variable in the transversal direction
and ξdenotes the cotangent variables along ∂X .
We let qS2µ
cl (Y×R; Γ) denote the full symbol of Q. We note that qP
j=0 q
jin
S2µ(Y×R;C) where each q
jS2µj(Y×R;C) is a homogeneous symbol in (ξ, R) of order
2µj=n1jand near t= 0, we have in any local coordinates on Ythat q
j=qjwhere
qjis computed as in Theorem 2.9 using the coordinates induced from Yand ϕ.
Proposition 5.13. There are unique homogeneous degree 1symbols
h±=h±(x, ξ, R)S1(TY×R, Y ×R;C),
that determine the complex solutions to the equation R2+gx((ξ, ξn),(ξ, ξn)) = 0 for fixed
(x, ξ, R)with ±Im(ξn)>0. Furthermore, there is a unique function h0C(Y×R,R>0)such
that
R2+g(ξ, ξ) = h0(x)(ξnh+(x, ξ, R))(ξnh(x, ξ, R)).
Moreover, we have that
h±(x, ξ, R) = ξ(b(x))
h0(x)±ipR2+gY(ξ, ξ)(ξ(b))2
ph0(x),
for suitable band gYdetermined from the metric.
Proof. It is not hard to see that h0and h±are well defined and unique, but let us construct
them explicitly. We can decompose
(31) g=h0b
bTgY,
where gYis a metric on Yon each slice, and bC(Y×R, T Y ). Since gis translation invariant
outside a compact, h0,band gYare translation invariant outside a compact. We have that
R2+g(ξ, ξ) = R2+h0ξ2
n+ 2ξ(b)ξn+gY(ξ, ξ).
We see that h0in the above definition is the h0in Equation (31) and that the complex roots are
as prescribed. The proposition follows.
Theorem 5.14. Let qS2µ
cl (Y×R; Γ) be as above. Then there exists q
±Sµ,0(Y×R; Γ)
that are translation invariant outside a compact such that
(1) q
±Sµ,0(Y×R; Γ) admits asymptotic expansions (in Sµ,0in the sense of Definition
5.8 on page 38)
q
±
X
j=0
q
±,j ,
where q
±,0Sµ,0and for j > 0,
q
±,j (x, ξ, R) =
j1
X
k=1
b±,j,k(x, ξ , R)(ξnh±(x, ξ, R))µj+kSµ1,j+1 ,
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 41
where b±,j,k is homogeneous of degree kin (ξ, R)and can be computed by an iter-
ative scheme of partial fraction decompositions as a homogeneous rational function in
derivatives of h0,h+and h. The first terms are given by
q
+,0=n!ωn(ξnh+)µ,(32)
q
,0=hµ
0(ξnh)µ,
and q±,1are computed in Proposition 5.16 below.
(2) The mixed-regularity symbols q
±Sµ,0(Y×R; Γ) and q
±,j Sµ1,j+1 admit holo-
morphic extensions to Im(ξn)>0.
(3) It holds that
q=X
α
1
α!α
ξq
Dα
xq
+mod S2µ,−∞.
Proof. Let us first massage the statements of the theorem. We want to construct q
±P
j=0 q
±,j
Sµ,0admitting holomorphic extensions to Im(ξn)>0 and satisfying q=Pα1
α!α
ξq
Dα
xq
+
mod S2µ,−∞. We remark that to ensure item (2), i.e. the holomorphic extension of q
±, it
suffices to construct each q
±,j so that it admits a holomorphic extension to Im(ξn)>0. We
also note that the requirement on the composition is equivalent to
(33) q
j=X
k+l+|α|=j
1
α!α
ξq
,kDα
xq
+,l.
We take the formula (32) as a definition, and note that q
±,0satisfy the structural statement in
item (1), extends holomorphically to Im(ξn)>0 and q
0=q
,0q
+,0. Using an idea described
in [21], Equation (33) is for j > 0 equivalent to
q
+,j
q
+,0
+q
,j
q
,0
=q
j
q
01
q
0X
k+l+|α|=j
k,l<j
1
α!α
ξq
,kDα
xq
+,l
We proceed by induction. Assume that we have constructed q±,k for k < j satisfying the
statements of items (1), (2), and (3) in the relevant degrees. Using Lemma 2.20 and item (1) for
q±,k for k < j, we can use Lemma E.1 to uniquely partial fraction decompose
q
j
q
01
q
0X
k+l+|α|=j
k,l<j
1
α!α
ξq
,kDα
xq
+,l =q+,j +q,j ,
where q±,j by Proposition 2.6 and Theorem 2.9 takes the form
q±,j(x, ξ, R) =
j1
X
k=1
b±,j,k(x, ξ , R)(ξnh±(x, ξ, R))j+kS1,j+1 ,
where b±,j,k is homogeneous of degree kin (ξ, R) and can be explicitly computed from the
results of Appendix E and Theorem 2.9. We now define
q
±,j := q
±,0q±,j,
and note that it by construction satisfies items (1), (2), and (3) in the relevant degrees.
Remark 5.15.As noted in Proposition 5.13, the symbols h+and hare directly determined from
the metric and the choice of transversal to the boundary. Moreover, as the proof of Theorem
5.14 shows, each of the symbols b±,j,k =b±,j,k(x, ξ, R) depends
(1) polynomially on (C(γ)
G)γ∈∪kjIkand its derivatives contracted by gGand ιngGand its
derivatives
(2) polynomially on h+,hand rationally on h+hand h1/2
0,
The total degree is jwhere each C(γ)
G,γIk, has degree k, the metric and h0have degree zero,
h+and hhave degree 1 and x-derivatives increase the order by 1.
42 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Proposition 5.16. For n > 1, the terms q±,1appearing in the expansion of q±in Theorem
5.14 are given by:
q
+,1=n!ωna0,+(x, ξ, R)(ξnh+)µ1+n!ωna1,+(x, ξ, R)(ξnh+)µ2,
q
,1=a0,(x, ξ, R)hµ
0(ξnh)µ1+a1,(x, ξ, R)hµ
0(ξnh)µ2,
where the homogeneous symbols a+,0(of degree 0) and a+,1(of degree 1) are explicitly given in
Equation (34) and (35) below, and the homogeneous symbols a,0(of degree 0) and a,1(of
degree 1) are explicitly given in Equation (36) and (37) below.
Proof. Let us first make some preliminary computations with the decomposition from Lemma
E.1 using the explicit forms in Corollary E.4. We let ιndenote contraction by the unit normal.
We can write
C3(x, g ιξg) = C3(x, g ιng)ξn+C3(x, g ιξg).
Using Corollary E.4 we decompose
C3(x, g ιξg)(R2+gd(ξ, ξ))1=h1
0C3(x, g ιng)
h+hh+(ξnh+)1h(ξnh)1
+C3(x, g ιξg)h1
0
h+h(ξnh+)1(ξnh)1.
We can write
C3(x, ιξgιξgιξg) =C3(x, ιngιngιng)ξ3
n+ 3C3(x, ιξgιngιng)ξ2
n+
+ 3C3(x, ιξgιξgιng)ξn+C3(x, ιξgιξgιξg).
Using Corollary E.4 we decompose
C3(x, ιξgιξgιξg)(R2+gd(ξ, ξ))2=
C3(x, ιngιngιng)h2
0
(h+h)2h3
+(ξnh+)2+h3
(ξnh)2+
+h2
+(h+3h)
h+h
(ξnh+)1h2
(h3h+)
h+h
(ξnh)1
+3h2
0C3(x, ιξgιngιng)
(h+h)2h2
+(ξnh+)2+h2
(ξnh)2
2h+h
h+h(ξnh+)1(ξnh)1
+3h2
0C3(x, ιξgιξgιng)
(h+h)2h+(ξnh+)2+h(ξnh)2
h++h
h+h(ξnh+)1(ξnh)1
+h2
0C3(x, ιξgιξgιξg)
(h+h)2(ξnh+)2+ (ξnh)2
2
h+h(ξnh+)1(ξnh)1.
Using Proposition 2.14, we compute that
q
1
q
01
q
0X
|α|=1
1
α!α
ξq
,0Dα
xq
+,0=
=3ic1,n(n21)
n!ωn
C3(x, g ιξg)(R2+gd(ξ, ξ))1+
+ic1,n(n+ 3)3,2
n!ωn
C3(x, ιξgιξgιξg)(R2+gd(ξ, ξ))2+
+i(n+ 1)2h0
4(ξh· ∇xh+xnh+)(R2+gd(ξ, ξ))1.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 43
Decomposing as in the paragraphs above, we obtain
q+,1=n!ωna0,+(x, ξ, R)(ξnh+)µ1+n!ωna1,+(x, ξ, R)(ξnh+)µ2,
where
a0,+(x, ξ, R) = 3ic1,n(n21)
n!ωnC3(x, g ιng)h++C3(x, g ιξg)h1
0
h+h
+
(34)
+ic1,n(n+ 3)3,2
n!ωn
h2
0
(h+h)3
C3(x, ιngιngιng)h2
+(h+3h)6h+hC3(x, ιngιngιξg)
3(h++h)C3(x, ιngιξgιξg)2C3(x, ιξgιξgιξg)
+i(n+ 1)2
4
(ξh· ∇xh+xnh+)
h+h
,
and
a1,+(x, ξ, R) = ic1,n(n+ 3)3,2
n!ωn
h2
0
(h+h)2
(35)
C3(x, ιngιngιng)h3
++ 3h2
+C3(x, ιξgιngιng)+
+ 3h+C3(x, ιξgιξgιng) + C3(x, ιngιξgιξg).
We also obtain
q,1=a0,(x, ξ, R)hµ
0(ξnh)µ1+a1,(x, ξ, R)hµ
0(ξnh)µ2,
where
a0,(x, ξ, R) = 3ic1,n(n21)
n!ωnC3(x, g ιng)h+C3(x, g ιξg)h1
0
h+h
(36)
ic1,n(n+ 3)3,2
n!ωn
h2
0
(h+h)3
C3(x, ιngιngιng)h2
(h3h+)6h+hC3(x, ιngιngιξg)
3(h++h)C3(x, ιngιξgιξg)2C3(x, ιξgιξgιξg)+
i(n+ 1)2
4
(ξh· ∇xh+xnh+)
h+h
,
and
a1,(x, ξ, R) = ic1,n(n+ 3)3,2
n!ωn
h2
0
(h+h)2
(37)
C3(x, ιngιngιng)h3
+ 3h2
C3(x, ιξgιngιng)+
+ 3hC3(x, ιξgιξgιng) + C3(x, ιngιξgιξg).
The stated formulas follow.
Lemma 5.17. The operators Q
±:= Op(q
±)Ψµ,0(Y×R; Γ) satisfy that
(1) QQQ+Ψ2µ,−∞(Y×R; Γ);
44 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
(2) Q+restricts to a well defined operator ˙
Hµ(Y×[0,)L2(Y×[0,)) which is
invertible for large R;
(3) Qrestricts to a well defined operator L2(Y×[0,)) Hµ(Y×[0,)) which is
invertible for large R.
Proof. Part (1) follows from Proposition 5.10 and Theorem 5.14. Parts (2) and (3) follow from
Theorem 5.5 and Theorem 5.6.
Definition 5.18. Define w±,j Sµ,jinductively by
w±,0(x, ξ, R) := (q
±,0)1=
1
n!ωn(ξnh+(x, ξ, R))µ,for +,
h0(x)µ(ξnh(x, ξ, R))µ,for ,
and then
w±,j := w±,0X
k+l+|α|=j, l<j
1
α!α
ξq
±,kDα
xw±,l.
We also define w±:= Pjw±,j Sµ,0(Y×R; Γ) and W±Ψµ,0(Y×R; Γ) is defined as
a properly supported modification of Op(w±) with the same full symbol which is translation
invariant outside a compact subset.
Lemma 5.19. Let w±Sµ,0(Y×R; Γ) be as above. Then
(1) The asymptotic expansion (in Sµ,0in the sense of Definition 5.8 on page 38) of w±
Sµ,0(Y×R; Γ)
w±
X
j=0
w±,j ,
can for j > 0be expanded in a finite sum
w±,j (x, ξ, R) =
j1
X
k=0
w±,j,k(x, ξ , R)(ξnh±(x, ξ, R))µj+kSµ1,j+1,
where w±,j,k is homogeneous of degree kin (ξ, R)and can be computed by an iterative
scheme as a rational function of derivatives of h0,h+and h.
(2) The mixed-regularity symbols w±Sµ,0(Y×R; Γ) and w±,j Sµ1,j+1 admit holo-
morphic extensions to Im(ξn)>0.
(3) The symbols w±,j,k =w±,j,k(x, ξ, R)depends
(a) polynomially on (C(γ)
G)γ∈∪kjIkand its derivatives contracted by gGand ιngGand
its derivatives
(b) polynomially on h+,hand rationally on h+hand h1/2
0,
The total degree is jwhere each C(γ)
G,γIk, has degree k, the metric and h0have
degree zero, h+and hhave degree 1and x-derivatives increase the order by 1.
Proof. Items (1) and (2) follow from a short induction argument with the construction (in
Definition 5.18) and Theorem 5.14.
We now compute w±,1. By definition, we have that
w±,1=w2
±,0q
±,1w±,0X
|α|=1
α
ξq
±,0Dα
xw±,0.
A short algebraic manipulation with the computation of q±,1from Proposition 5.16 gives the
following formulas.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 45
Proposition 5.20. For n > 1, the terms w±,1appearing in the expansion of w±in Lemma 5.19
are given by:
w+,1(x, ξ, ξn, R) = 1
n!ωn
a0,+(x, ξ, R)(ξnh+)µ11
n!ωn
a1,+(x, ξ, R)(ξnh+)µ2
i(n+ 1)2
4·n!ωn
(xnh+− ∇ξh+· ∇xh+)(ξnh+)µ2,
w,1(x, ξ, ξn, R) = a0,(x, ξ, R)hµ
0(ξnh)µ1a1,(x, ξ, R)hµ
0(ξnh)µ2
i(n+ 1)2
4(xnh− ∇ξh· ∇xh)hµ
0(ξnh)µ2
i(n+ 1)2
4(xnh0− ∇ξh· ∇xh0)hµ1
0(ξnh)µ1,
where the homogeneous symbols a+,0(of degree 0) and a+,1(of degree 1) were explicitly given
in Equation (34) and (35) above, and the homogeneous symbols a,0(of degree 0) and a,1(of
degree 1) were explicitly given in Equation (36) and (37) above.
Lemma 5.21. The operators W±Ψµ,0(Y×R; Γ) satisfy that
(1) 1 W±Q
±,1Q
±W±Ψ0,−∞(Y×R; Γ);
(2) Wpreserves supports in Y×(−∞,0] and restricts to a well defined operator Hµ(Y×
[0,)) L2(Y×[0,)which is invertible for large R;
(3) W+preserves supports in Y×[0,)and restricts to a well defined operator L2(Y×
[0,)) ˙
Hµ(Y×[0,)which is invertible for large R.
In particular, the operators
S0:= 1 W+WQ:˙
Hµ(Y×[0,)) ˙
Hµ(Y×[0,)),and
S1:= 1 QW+W:Hµ(Y×[0,)) Hµ(Y×[0,)),
are normbounded by O(R−∞).
Proof. Part (1) follows from Proposition 5.10 and Lemma 5.19. Parts (2) and (3) follow from
Theorem 5.5 and Theorem 5.6.
5.3. Decomposition of the inverse magnitude operator.
Theorem 5.22. Let Xbe an n-dimensional compact manifold with boundary and da distance
function whose square is regular at the diagonal. Set µ:= (n+1)/2. Let QX:˙
Hµ(X)Hµ(X)
denote the restriction of Qχ,d2to Xand let AΨn+1
cl (X;C+)denote a parametrix of Qχ,d2.
For some R00and any RΓπ/(n+1) (R0), we can write
Q1
X=χ1
1+χ2(ϕ1)W+Wϕχ
2+S,
where χ1, χ
1C
c(X), and χ2, χ
2C(X)are functions supported in a collar neighborhood
U0of ∂X in Xsuch that
χ1+χ2= 1 and χ
j|supp(χj)= 1, j = 1,2,
ϕ:∂X ×[0,1) U0is a collar identification, and the operators S,Wand W+satisfy the
following:
(1) S:Hµ(X)˙
Hµ(X)is a continuous operator with
kSkHµ(X)˙
Hµ(X)=O(R−∞),as R→ ∞.
(2) W+:L2(∂X ×[0,)) ˙
Hµ(∂X ×[0,)) is the properly supported pseudodifferential
operator of mixed-regularity (µ, 0) from Definitions 5.18 which is invertible for large
R > 0and in local coordinates has an asymptotic expansion modulo Sµ,−∞ as in Lemma
5.21 and preserves support in X×[0,)X ×R. Moreover, for χ, χC+C
c(∂X ×
[0,)) with χχ= 0, it holds that
kχW+χkL2(∂X ×[0,))Hµ(∂X ×R)=O(R−∞),as R→ ∞.
46 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
(3) W:Hµ(∂X ×[0,)) L2(X ×[0,)) is the properly supported pseudodifferential
operator of mixed-regularity (µ, 0) from Definitions 5.18 which is invertible for large R >
0and in local coordinates has an asymptotic expansion modulo Sµ,−∞ as in Lemma 5.21
and preserves support in ∂X ×(−∞,0] ∂ X ×R. Moreover, for χ, χC+C
c(∂X ×R)
with χχ= 0, it holds that
kχWχkHµ(∂X ×R)L2(∂X ×R)=O(R−∞),as R→ ∞.
Proof. The properties of W+and Wlisted in items (2) and (3) follow from the results of
Subsection 5.1. We note that it follows from the previous subsection that
χ1Q1
Mχ
1+χ2(ϕ1)W+Wϕχ
2:Hµ(X)˙
Hµ(X),
is a well defined continuous operator. Pick a χ3supported close to X with χ3= 1 on supp(χ
2).
We compute that
(χ1Q1
Mχ
1+χ2(ϕ1)W+Wϕχ
2)QX=
=χ1+χ1Q1
M(χ
11)QX+χ2(ϕ1)W+WϕQXχ3+
+χ2(ϕ1)W+Wϕ(χ
21)QXχ3+χ2(ϕ1)W+Wϕχ
2QX(1 χ3) =
=χ1+χ1Q1
M(χ
11)QX+χ2(ϕ1)W+WQϕχ3+
+χ2(ϕ1)W+Wϕ(χ
21)QXχ3+χ2(ϕ1)W+Wϕχ
2QX(1 χ3) =
=χ1+χ1Q1
M(χ
11)QX+χ2+ (ϕ1)S0ϕχ3+
+χ2(ϕ1)W+Wϕ(χ
21)QXχ3+χ2(ϕ1)W+Wϕχ
2QX(1 χ3) =
=1 + χ1Q1
M(χ
11)QX
|{z }
=:S2
+(ϕ1)S0ϕχ3+
+χ2(ϕ1)W+Wϕ(χ
21)QXχ3
|{z }
=:S3
+χ2(ϕ1)W+Wϕχ
2QX(1 χ3)
|{z }
=:S4
.
Since χ1(χ
11) = 0, S2is a smoothing operator with parameter. Similarly, since χ
2(1χ3) = 0,
S4is a smoothing operator with parameter. Using Proposition 5.4 and Lemma 5.21, respectively,
we conclude that S3:˙
Hµ(X)˙
Hµ(X) and (ϕ1)S0ϕχ3:˙
Hµ(X)˙
Hµ(X) are
continuous with norms bounded by O(R−∞) as R→ ∞. In particular,
S5:= (χ1Q1
Mχ
1+χ2(ϕ1)W+Wϕχ
2)QX1,
satisfies that S5:˙
Hµ(X)˙
Hµ(X) is continuous and kS5k˙
Hµ(X)˙
Hµ(X)=O(R−∞) as
R→ ∞. We conclude that (1 + S5)1exists for large Rand k1(1 + S5)1k˙
Hµ(X)˙
Hµ(X)=
O(R−∞) as R→ ∞. We therefore have that
Q1
X= (1 + S5)1(χ1Q1
Mχ
1+χ2(ϕ1)W+Wϕχ
2) = χ1Q1
Mχ
1+χ2(ϕ1)W+Wϕχ
2+S,
where
S:= (1 (1 + S5)1)(χ1Q1
Mχ
1+χ2(ϕ1)W+Wϕχ
2).
Since k1(1 + S5)1k˙
Hµ(X)˙
Hµ(X)=O(R−∞) as R→ ∞, the same holds for Sand the
proof is complete.
By combining Theorem 4.5 with Theorem 5.22, we arrive at the following corollary.
Corollary 5.23. Let Xbe an n-dimensional compact manifold with boundary and da distance
function with property (MR) on Γ. For some R00and any RΓπ/(n+1)(R0)Γ, we can
write
Z1
X=χ1
1+χ2(ϕ1)W+Wϕχ
2+˜
S,
where A,W+,Wand χ1, χ1, χ2, χ
2C(X)are as in Theorem 5.22 and ˜
S:Hµ(X)
˙
Hµ(X)is a continuous operator with
k˜
SkHµ(X)˙
Hµ(X)=O(Re(R)−∞),as Re(R)→ ∞ in Γ.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 47
6. Conditional expectations of Q1
Xand Z1
X
A large motivation for this paper is the relation of the operator ZXwith magnitude. For
that purpose, we shall be interested in computing conditional expectations of Q1
Xand Z1
X
against the constant function 1. In an accompanying paper [12], we prove that this conditional
expectation of (RZX(R))1coincides with the magnitude function. The section is divided into
three subsections: firstly, we study the case of no boundary, secondly we proceed to compute
the asymptotic expansion of the conditional expectation of Q1
Xand finally we produce explicit
formulas for the asymptotic expansion and consider examples. As in the previous sections, we
perform computations for Qthat later translates into results for Zunder assumptions of property
(MR).
6.1. Asymptotic expansions for compact manifolds. Let us consider the case that X=M
is a compact manifold. Starting from Lemma 2.24 we compute the asymptotics of hQ(R)11,1i
as R→ ∞ for a pseudodifferential operator with parameter R. Let vold(M) denote the volume
of Min the Riemannian metric defined from the transversal Hessian of d2at the diagonal.
Theorem 6.1. Let Mbe an n-dimensional compact manifold with a distance function dwhose
square is regular at the diagonal. Let (aj,0)jNC(M;C+)denote the sequence of homoge-
neous functions obtained from restriction to ξ= 0 of the full symbol of Q1
M, as in Lemma 2.24.
It holds that
h1, QM(R)11i ∼
X
k=0
ck(M, d)Rn+1k+O(Re(R)−∞ ),as Re(R)+,
where
ck(M, d) = ZM
ak,0(x, 1)dx.
Here dxis the Riemannian volume density defined from gd2. The functions ak,0(x, 1) depend on
the Taylor expansion (10) as described in Theorem 2.27 and can be computed inductively using
Lemma 2.25. In particular,
ck(M, d) =
0,when kis odd,
vold(M)
n!ωn,when k= 0,
n+1
6·n!ωnRXsd2dx, when k= 2,
where sd2in local coordinates is computed as the polynomial in the Taylor coefficients of d2at
the diagonal given as
sd2(x) :=3C4(x, g g)3c2,n (n+ 5)(n29)
c1,n
(C3C3)(x, g gg),if n6= 1,3
sd2(x) :=310C4
G(x, gGgG)c2,3
c1,3
(C3
GC3
G)(x, gGgGgG),if n= 3
Proof. The asymptotic expansion
hQ1
M1,1i=
X
k=0
ck(M, d)Rn+1k+O(R−∞ ),
where ck(M, d) = RMak,0(x, 1)dxfollows directly from Lemma 2.24 and the fact that Q1
Mis of
order n+ 1. It follows from Lemma 2.25 that ak(x, 0,1) = 0 for odd k. It follows from Theorem
2.27 that c0and c2take the prescribed form.
The justification for the notation sd2in Theorem 6.1 comes from Example 2.31 which shows
that for the geodesic distance on a Riemannian manifold, sd2is the scalar curvature. We further
conclude the following corollary.
48 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Corollary 6.2. Let Mbe a compact Riemannian manifold equipped with its geodesic distance.
Then
h1, QM(R)11i=vold(M)
n!ωn
Rn+1 +n+ 1
6·n!ωnZM
sdxRn1+O(Re(R)n3),as Re(R)+,
where sdenotes the scalar curvature of M.
Combining Theorem 3.7 with Theorem 6.1 we arrive at the following corollary.
Corollary 6.3. Let Mbe an n-dimensional compact manifold with a distance function dwith
property (MR) on Γ. It holds that
h1,ZM(R)11i ∼
X
k=0
ck(M, d)Rn+1k+O(Re(R)−∞ ),as Re(R)+in Γ,
where ck(M, d) is as in Theorem 6.1.
6.2. A lengthy exercise in integration by parts. To study the asymptotic expansions of
h1, Q1
X1iin the presence of a boundary, we need a series of smaller lemmas. The reader should
recall the notation from Theorem 5.22.
Lemma 6.4. Let Xbe an n-dimensional compact manifold with boundary and da distance
function whose square is regular at the diagonal. It holds that
hQ1
X1,1iL2(X)=hA1, χ1iL2(X)+hW1,(W+)(χ2ϕ)iL2(∂X×[0,)) +O(R−∞ ).
Proof. We first note that Wpreserves supports in ∂ X ×(−∞,0] X ×Rby Lemma 5.21 and
(W+)preserves supports in ∂ X ×(−∞,0] ∂X ×Rsince W+preserves supports in ∂ X ×[0,)
by Lemma 5.21. Therefore, viewing 1 as an element of Hµ
loc(∂ X ×[0,)) and χ2ϕas an element
of Hµ
c(∂X ×[0,)), the images W1L2
loc( X ×[0,)) and (W+)(χ2ϕ)L2
c(∂X ×[0,))
are well defined and hW1,(W+)(χ2ϕ)iL2(∂X ×[0,)) is well defined. By the same token,
hA1, χ1iL2(X)is defined as the inner product of χ1L2(X) with the restriction of A1ML2(M)
to X.
Since χ
j|supp(χj)= 1, for j= 1,2, it follows that
hA1, χ1iL2(X)=h
1, χ1iL2(X)+O(R−∞) and
hW1,(W+)(χ2ϕ)iL2(∂X×[0,)) =hW(χ
2ϕ),(W+)(χ2ϕ)iL2(∂X×[0,)) +O(R−∞ ).
The last equality follows from Proposition 5.4. Therefore, Theorem 5.22 reduces the statement
of the theorem to the property that hS1,1iL2(X)=O(R−∞). This is clear from the property of
Sthat kSkHµ˙
Hµ=O(R−∞).
Lemma 6.5. Let Xbe an n-dimensional compact manifold with boundary and da distance
function whose square is regular at the diagonal. Let (aj,0)jNC(M;C+)denote the sequence
of homogeneous functions obtained from restriction to ξ= 0 of the full symbol of A, as in Lemma
2.24. It holds that
hA1, χ1i=
X
k=0
ck,χ1(X, d)Rn+1k+O(R−∞),
where
ck,χ1(M, d) = ZX
χ1(x)ak,0(x, 1)dx.
Here dxis the Riemannian volume density defined from gd2.
Proof. The lemma follows immediately from Lemma 2.24 since χ1has compact support in X.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 49
Lemma 6.6. Let a=a(x, ξ)C(Rn1×Rn)be a polynomially bounded smooth function
with compact support in x, and χ∈ S(Rn)a real even Schwartz function. Then as R+,
1
(2π)nZRn1ZRn
a(x, ξ)Rnˆχ()eRixξdξdx=
=X
αNn
Dα
xχ(0)
α!ZRn1
Dα
ξ=0 a(x, ξ)eixξdxR−|α|+O(R−∞).
In particular, if χis locally constant near 0, then
1
(2π)nZRn1ZRn
a(x, ξ)Rnˆχ()eRixξdξdx=χ(0) ZRn1
a(x,0)dx+O(R−∞).
Proof. Consider the distribution uR(ξ) := Rnˆχ(). For any test function ϕ∈ S(Rn), we
compute that
(uR, ϕ) = ZRn
ˆχ(ξ)ϕ(ξ/R)dξ=X
αNn
Dα
xϕ(0)
α!ZRn
ˆχ(ξ)ξαdξR−|α|+O(R−∞ ) =
= (2π)nX
αNn
Dα
xχ(0)
α!R−|α|(δα, ϕ) + O(R−∞)
We conclude that in S(Rn), we have an asymptotic expansion
uR= (2π)nX
αNn
Dα
xχ(0)
α!R−|α|δα+O(R−∞).
Using standard methods for oscillatory integrals, we see that the same expansion holds also for
in the weak topology against polynomially bounded smooth functions.
We compute that
1
(2π)nZRn1ZRn
a(x, ξ)Rnˆχ()eRixξdξdx=1
(2π)nZRn1ZRn
a(x, ξ)uR(ξ)eRixξdξdx
=X
αNn
Dα
xχ(0)
α!R−|α|ZRn1
(δα
ξ, a(x, ξ)eixξ)dx+O(R−∞ ) =
=X
αNn
Dα
xχ(0)
α!ZRn1
Dα
ξ=0 a(x, ξ)eixξdxR−|α|+O(R−∞ ).
Lemma 6.7. Let Xbe an n-dimensional compact manifold with boundary and da distance
function whose square is regular at the diagonal. We denote the symbols of W±by w±(as in
Definition 5.18 and Lemma 5.18). Then it holds that
hW1, W
+χ2i=
X
k=0
ck,χ2(X, d)Rn+1k+O(R−∞),
where
ck,χ2(X, d) = ZX
χ2(x)ak,0(x, 1)dx+
+X
k=|β|+γn+j+l
γn>0
i|β|+|γn|(1)|β|+1
β!(βn+γn)! Z∂X
β
xw,j (x,0,0,1)γn1
xnβ+(0n)
ξw+,l(x,0,0,1)dx.
Here dxis the Riemannian volume density on Xdefined from gd2and dxthe induced Riemann-
ian volume density on ∂X .
Proof. The computation can be reduced to one in local coordinates, so we can assume that w+
and ware symbols of mixed-regularity (µ, 0) in Rn, and up to O(R−∞ ) we can treat W+and
50 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Was compactly based. As such, we replace Mby Rnand Xby Rn
+in all computations. Let
w
+denote the symbol of W
+. By the same arguments as in [38, Chapter I.3], we have that
(38) w
+(x, ξ, R)X
α
1
α!α
ξDα
xw+(x, ξ, R),
in the sense of Definition 5.8. We note that Equation (38) only identifies w
+up to Sµ,−∞ but
this suffices as symbols from Sµ,−∞ will only contribute to the conditional expectation with
O(R−∞).
Using that Wand W
+preserves supports in Rn
, we can consider χ2as an element of
C
c(Rn), and write
hW1, W
+χ2iL2(Rn
+)=ZRn
+
[W1](x)[W
+χ2](x)dx,
where
W
+χ2(x) := 1
(2π)nZRn
w
+(x, ξ, R) ˆχ2(ξ)dξ,
is computed from the action of (Q1
+)on χC
c(Rn). We compute that
hW1, W
+χ2iL2(Rn
+)=1
(2π)nZRn
+ZRn
w(x, 0, R)w
+(x, ξ, R) ˆχ2(ξ)eixξdξdx=
=1
(2π)nZRn
+ZRn
w(x, 0, R)w
+(x, ξ, R) ˆχ2(ξ)eixξdξdx=
=X
α
(1)|α|
(2π)nα!ZRn
+ZRn
w(x, 0, R)α
ξDα
xw+(x, ξ, R) ˆχ2(ξ)eixξdξdx+O(R−∞ ) =
=X
α
(1)αn
(2π)nα!ZRn
+ZRn
Dα
x(w(x, 0, R)eixξ )Dαn
xnα
ξw+(x, ξ, R) ˆχ2(ξ)dξdx+O(R−∞) =
=X
αX
γ+β=α
(1)αn
(2π)nβ!γ!αn!ZRn
+ZRn
Dβ
xw(x, 0, R)Dαn
xnα
ξw+(x, ξ, R)()γˆχ2(ξ)eixξ dξdx+O(R−∞ ) =
=X
γ,β
1
(2π)nβ!γ!ZRn
+ZRn
Dβ
xw(x, 0, R)γ+β
ξw+(x, ξ, R)()γˆχ2(ξ)eixξ dξdx+
+X
γ,β,
γn>0
βn
X
k=0
bγ,β,k ZRn1ZRn
Dβ(0,k)
xw(x,0,0, R)Dγn1
xnβ+γ
ξw+(x,0, ξ, R)()(γ,k)ˆχ2(ξ)eixξdξdx+
+O(R−∞).
where
bγ,β ,k =i(1)|γn|+1βn!
(2π)nβ!γ!(βn+γn)!k!(βnk)!
By the composition formula for pseudodifferential operators (see [38, Chapter I.3]), we have
that
X
γ,β
1
(2π)nβ!γ!ZRn
+ZRn
Dβ
xw(x, 0, R)γ+β
ξw+(x, ξ, R)()γˆχ2(ξ)eixξdξdx=
=ZRn
+
χ2(x)a(x, 0, R)dx+O(R−∞) = hQ1
M1, χ2iL2(Rn
+)+O(R−∞).
We can therefore continue our calculation
hW1, W
+χ2iL2(Rn
+)=hQ1
M1, χ2iL2(Rn
+)
+X
γ,β,
γn>0
βn
X
k=0
bγ,β,k ZRn1ZRn
Dβ(0,k)
xw(x,0,0, R)Dγn1
xnβ+γ
ξw+(x,0, ξ, R)()(γ,k)ˆχ2(ξ)eixξ dξdx+
+O(R−∞)
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 51
To obtain an asymptotic expansion, we expand w±in its defining homogeneous expansion
w±Pw±,l from Definition 5.18 (see also Lemma 5.21). We see that
X
γ,β,
γn>0
βn
X
k=0
bγ,β,k ZRn1ZRn
Dβ(0,k)
xw(x,0,0, R)Dγn1
xnβ+γ
ξw+(x,0, ξ, R)()(γ,k)ˆχ2(ξ)eixξ dξdx=
=
X
i=0 X
i=|β|+|γ|+j+l,
γn>0
βn
X
k=0
bγ,β,k ZRn1ZRn
Dβ(0,k)
xw,j (x,0,0, R)Dγn1
xnβ+γ
ξw+,l(x,0, ξ , R)()(γ,k)ˆχ2(ξ)eixξdξdx
Let us consider each of the terms
X
i=|β|+|γ|+j+l,
γn>0
βn
X
k=0
bγ,β,k ZRn1ZRn
Dβ(0,k)
xw,j (x,0,0, R)Dγn1
xnβ+γ
ξw+,l(x,0, ξ , R)()(γ,k)ˆχ2(ξ)eixξdξdx=
=R2µiX
i=|β|+|γ|+j+l,
γn>0
βn
X
k=0
bγ,β,k ZRn1ZRn
Dβ(0,k)
xw,j (x,0,0,1)Dγn1
xnβ+γ
ξw+,l(x,0,ξ
R,1)()(γ,k)ˆχ2(ξ)eixξdξdx.
We can compute each of the terms using Lemma 6.6 which implies that
1
(2π)nZRn1ZRn
Dβ(0,k)
xw,j (x,0,0,1)Dγn1
xnβ+γ
ξw+,l(x,0, ξ, 1)()(γ,k)Rnˆχ2()eRixξdξdx=
=(O(R−∞),if (γ, k)6= 0,
RRn1Dβ
xw,j (x,0,0,1)Dγn1
xnβ+(0n)
ξw+,l(x,0,0,1)dx+O(R−∞ ),if (γ, k) = 0
We conclude that
hQ1
1,(Q1
+)χ2iL2(Rn
+)− hQ1
M1, χ2iL2(Rn
+)=
=R2µ
X
i=0 X
i=|β|+γn+j+l,
γn>0
i(1)|γn|+1Ri
β!(βn+γn)! ZRn1
Dβ
xw,j (x,0,0,1)Dγn1
xnβ+(0n)
ξw+,l(x,0,0,1)dx+O(R−∞ ).
After using D=i∂, the boundary contributions have been computed.
The lemma now follows from Lemma 2.24 giving the asymptotic expansion
hQ1
M1, χ2iL2(Rn
+)=X
k
Rn+1kZRn
+
χ2(x)ak(x, 0,1)dx.
6.3. Asymptotic expansions for compact manifolds with boundary. We now study as-
ymptotic expansions of h1, Q1
X1ifor a compact manifold with boundary, and give a procedure to
compute the coefficients. An important difference to the case of empty boundary is the boundary
contributions: we identify the from Lemma 6.7 as follows.
Definition 6.8. If Xis an n-dimensional compact manifold with boundary and d a distance
function whose square is regular at the diagonal, then we define the sequence of functions
(Bd2,k)k>0C(X ) by
Bd2,k(x) := X
k=|β|+γn+j+l
γn>0
i|β|+|γn|(1)|β|+1
β!(βn+γn)! β
xw,j (x,0,0,1)γn1
xnβ+(0n)
ξw+,l(x,0,0,1).
For notational simplicity, we set B0:= 0.
Proposition 6.9. Let Xbe an n-dimensional manifold with boundary, da distance function
whose square is regular at the diagonal, and (Bd2,k )k>0C(X)as in Definition 6.8. Then
for each k > 0,Bd2,k is a polynomial in (C(γ)
G)γ∈∪kjIkand its derivatives contracted by the
metric gG, its contraction along the normal to the boundary, and its derivatives of total degree j
where each C(γ)
G,γIk, has degree k, the metric has degree zero and x-derivatives increase the
order by 1.
52 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Computing from the results of Appendix F, we can describe the special cases k= 1 and k= 2.
Proposition 6.10. Let (X, d) be as in Proposition 6.9. Then
Bd2,1(x) = (n+ 1)
2·n!ωnph0(x).
In particular, if xnis the transversal coordinate defined from the unit normal to ∂X (in gd2),
then
Bd2,1(x) = (n+ 1)
2·n!ωn
.
Proof. By definition, we have that
Bd2,1(x) = iw,0(x,0,0,1)ξnw+,0(x,0,0,1) =
=i
n!ωn
h0(x)µ(h(x,0,1)))µξn[(ξnh+(x, 0,1))µ]|ξn=0 =
=i(n+ 1)
2·n!ωn
h0(x)µ(h(x,0,1)))µ(h+(x, 0,1))µ1=
=i(n+ 1)
2·n!ωn
h0(x)(h(x,0,1))) = (n+ 1)
2·n!ωnph0(x).
Here we have used the identities of Lemma F.1. If xnis the transversal coordinate defined from
the unit normal to X, then h0= 1.
Proposition 6.11. Let (X, d) be as in Proposition 6.9 and assume that xnis the transversal
coordinate defined from the unit normal nto ∂X (in gd2). Then there are universal polynomials
α1and α2with rational coefficients such that
Bd2,2(x) = α1(n)
n!ωn
C3(x, ∂nnn) + α2(n)
n!ωn
C3(x, g n).
Proof. By definition, we have that
Bd2,2(x) =1
2w,0(x,0,0,1)xn2
ξnw+,0(x,0,0,1) 1
2xnw,0(x,0,0,1)2
ξnw+,0(x,0,0,1)
iw,1(x,0,0,1)ξnw+,0(x,0,0,1) iw,0(x,0,0,1)ξnw+,1(x,0,0,1)+
+xw,0(x,0,0,1) · ∇ξξnw+,0(x,0,0,1).
These expressions were computed in Section F of the appendix. If xnis the transversal coordinate
defined from the unit normal to X, then h0= 1 and b= 0. The lemmas of Section F, for h0= 1
and b= 0, shows that Bd2,2(x) is in the linear span of C3(x, ∂nnn) and C3(x, g n),
and carefully inspecting the computations imply the existence of the universal polynomials α1
and α2.
Proposition 6.12. Let XRnbe a domain with smooth boundary equipped with the Euclidean
distance. Then for a universal polynomial β, it holds that
Bd2,2=β(n)
n!ωn
H,
where Hdenotes the mean curvature of the boundary.
Proof. We compute that
c1,n(n21)
2(n!ωn)2=(n2)!ωn2ω2(n21)
2(n!ωn)2=(n1)!
(n1)!
2πωn2
n
n+ 1
4·n!ωn
=n+ 1
4·n!ωn
.
Fix a point x0X and choose coordinates as in Example 2.16; in other words we write X as
the graph of a function ϕ=ϕ(x) with ϕ(x0) = 0. The computations in Example 2.16 show
that h0(x) = 1 + |∇ϕ(x)|2is xn-independent and that b(x0) = ϕ(x0) = 0. Moreover, C3(x, v)
is a first order order polynomial in vn, so C3(x, ιngιngιng) = 0. A short computation using
Equation (15) gives us that
C3(x0, g ιng) = 2gx0(2ϕ(x0)) = (n1)H(x0),
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 53
where Hdenotes the mean curvature. We conclude that
Bd2,2(x0) = n21
4·n!ωn
H(x0).
Combining Lemmas 6.4, 6.5 and 6.7 we arrive at the following theorem:
Theorem 6.13. Let Xbe an n-dimensional compact manifold with boundary and da distance
function whose square is regular at the diagonal. Denote the Riemannian volume density on X
defined from gd2by dxand the induced Riemannian volume density on X by dx. It holds that
(39) h1, Q1
X1iL2(X)=
X
k=0
ck(X, d)Rn+1k+O(R−∞),as R+,
where the coefficients ck(X, d) are given as
ck(X, d) = ZX
ak,0(x, 1)dx+Z∂X
Bd2,k(x)dx,
where
(1) ak,0(·,1) C(X)is an invariant polynomial in the entries of the Taylor expansion
(10) as described in Theorem 2.27 and can be computed inductively using Lemma 2.25,
with ak,0= 0 if kis odd; and
(2) Bd2,k C(∂X )is an invariant polynomial in the entries of the Taylor coefficients of
d2at the diagonal in Xnear ∂X as described in Proposition 6.9 and can be inductively
computed using Lemma 5.19.
In particular, we have that
c0(X, d) = vol(X)
n!ωn
(40)
c1(X, d) = (n+ 1)vol(∂X )
2n!ωn
,(41)
c2(X, d) = n+ 1
6·n!ωnZX
sd2dx+(n1)(n+ 1)2
8·n!ωnZ∂X
Hd2dx.(42)
where the scalar curvature sd2is defined as in Theorem 6.1 and the mean curvature Hd2is an
explicit function in the linear span of C3(x, ∂nnn)and C3(x, g n)that coincides with
the usual mean curvature for domains in Rn.
Our notation Hd2in Theorem 6.13 is justified by Proposition 6.12 showing that Hd2=His
the mean curvature if Xis a domain in Euclidean space.
Proof. The expression in Equation (39) follows from Lemma 6.4 by adding together the compu-
tation of Lemma 6.5 with that in Lemma 6.7.
The computation (40) follows from the fact that a0,0(x, 1) = 1
n!ωn(see Theorem 2.27). The
computation (41) follows from Proposition 6.10. The computation (42) is a consequence of The-
orem 2.27 (computing the interior contribution) and Proposition 6.11 (computing the boundary
contribution).
Combining Theorem 4.5 with Theorem 6.13 we arrive at the following corollary.
Corollary 6.14. Let Xbe an n-dimensional compact manifold with boundary and da distance
function with property (MR) on [R0,), for some R00. It holds that
h1,Z1
X1iL2(X)=
X
k=0
ck(X, d)Rn+1k+O(R−∞),as R+,
where the coefficients ck(X, d) are as in Theorem 6.13.
54 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Corollary 6.15. If XRnis a compact domain with smooth boundary, then
c0(X, d) = vol(X)
n!ωn
c1(X, d) = µvol(X)
n!ωn
,
c2(X, d) = µ2(n1)
2·n!ωnZ∂X
HdS.
The computation of Corollary 6.15 is compatible with the computations of [11] for µN. We
note that the precise proportionality constant in c2follows from the computation from [11] for
µNsince the pre-factor by Proposition 6.12 is determined as a universal polynomial in n.
Appendix A. Overview of conormal distributions
Pseudodifferential operators with parameters will play an important role in our study of
the operators Qand Z, both to prove meromorphic extensions and to compute asymptotic
expansions. We will use an approach to parameter dependence described in terms of conormal
distributions to which the operator Qis susceptible.
First we recall the basics of conormal distributions. We follow the approach of [23, Chapter
18.2]. For a tempered distribution u∈ S(RN) we write Fuor sometimes ˆufor its Fourier
transform. We define the following subsets of RNas B1:= B(0,1) and Bj:= B(0,2j)\B(0,2j1)
for j > 1. For a function u∈ S(RN) we write u=P
j=1 ujin a distributional sense where uj
is determined by ˆuj= ˆBj. Following the notation of [23, Appendix B], for sR, we set
Hs(RN) := {u∈ S(RN) : sup
jN+
2sj kujkL2(RN)<∞}.
Written in terms of the standard notation for Besov spaces,
Hs(RN) = Bs
,2(RN). By [23,
Theorem 18.2.9], the notion of belonging to
Hs(RN) is coordinate invariant for compactly
supported distributions.
If Zis a smooth N-dimensional manifold, and u∈ D(Z) satisfies that for each coordinate
chart κ:UURNand χC
c(U), (κ1)(χu)
Hs(RN) we say that uis locally
Hs.
We define
Hloc
s(Z) := {u∈ D(Z) : uis locally
Hs}.
Due to coordinate invariance on compacts of the space
Hs(RN), it holds that
Hloc
s(RN) = {u∈ D(Rn) : χu
Hs(RN)χC
c(RN).
Due to the locality of the definition, if (κα)αIis a locally finite atlas on a smooth manifold Z
and (χα)αIa subordinate smooth partition of unity, u
Hloc
s(Z) if and only if (κ1
α)(χαu)
Hs(RN) for all αI.
Definition A.1 (Definition 18.2.6 of [23]).Let Zbe a smooth N-dimensional manifold and
YZa smooth submanifold which is closed in the topology of Z. We let Im(Z;Y) denote the
space of conormal distributions of order m. We say that u∈ D(Z) is a distribution conormal
to Yof order mif for each collection of first order differential operator L1,...,Lp(with C-
coefficients) that are tangential to Y, it holds that
L1···Lpu
Hloc
m(Nk)/2(Z).
We let Im(Z, Y ) denote the space of distributions conormal to Yof order m.
We here define the order of conormal distributions in such a way that the order of the conormal
distribution matches the order of the operator it will define. Our convention differs from that in
[23] but is consistent with that in [39].
The reader should note that for uIm(Z, Y ), it holds that u|Z\YC(Z\Y). Moreover,
if Lis an arbitrary differential operator (with C-coefficients) of order pthen Lu Im+p(Z, Y )
whenever uIm(Z, Y ). However, if uIm(Z, Y ) then for any collection of first order differential
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 55
operator L1,...,Lp(with C-coefficients) that are tangential to Y, then L1···LpuIm(Z, Y ).
By elliptic regularity, we have that
I−∞(Z, Y ) := mRIm(Z, Y ) = C(Z).
Conormality of a distribution to Yencompasses being a smooth function away from Yand a
prescribed type of singularity as one approaches Y. The singularity at Yis characterized by a
symbol in the direction normal to Y.
Definition A.2. Let EYbe a real vector bundle over a k-dimensional smooth manifold.
We say that aC(E) is a symbol of order mRif for each vector bundle trivialization
E|UU×Rpover an open set UYevery compact KUand multiindices βNk,γNp
there is a constant C > 0 such that
|β
xγ
ξa(x, ξ)| ≤ C(1 + |ξ|2)(m−|γ|)/2,for (x, ξ )K×Rp.
Here we have identified awith a function on U×Rpusing the trivialization E|UU×Rp.
We let Sm(E) denote the space of symbols of order mon EY. If Y=Rkand E=Y×Rp,
we write Sm(Rk×Rp) instead of Sm(E).
Let Z=RNand Y=Rkembedded into the first factor and write the coordinates on RNas
x= (y, z) where yRkand zRNk. It was proven in [23, Theorem 18.2.8] that the map
a7→ u, where
(43) u(x) := ZRNk
a(y, z, ξ)eiz·ξdξ,
defines a surjection Sm(RN×RNk)Im(Z, Y ). Moreover, it was also proven in [23, Lemma
18.2.1] that the map ˜a7→ u, where
(44) u(x) := ZRNk
˜a(y, ξ)eiz·ξdξ,
defines an isomorphism Sm(Rk×RNk)Im(Z, Y ). The relationship between the aappearing
in Equation (43) and the ˜aappearing in Equation (44) is stated in [23, Lemma 18.2.1] to be
˜a(y, ξ)X
αNNk
1
α!α
zDα
ξa(y, z, ξ)|z=0 .
The right hand side is an asymptotic sum, for more details see [23], and is only well defined up
to smooth functions. Here denotes equality up to smooth errors.
In the case of a general manifold, we need some further set up. Consider a smooth manifold
Zand a smooth submanifold YZclosed in the topology of Z. We define the conormal bundle
NYYas the kernel of the restriction mapping TZ|YTYand the normal bundle
NY Yas the vector bundle N Y := T Z|Y/T Y . By construction, NY= (NY )as vector
bundles on Y. We equip the normal bundle with a fixed fiberwise volume density. After making
a choice of metric, one can find a tubular neighborhood UYof YZand construct a fiber
preserving diffeomorphism ψ:UYN Y mapping Yonto the zero section of N(Y). Here we
consider the tubular neighborhood to be a ball bundle over Y. We pick a χYC(UY) with
χY= 1 in a neighborhood of Ysuch that the pro jection mapping supp (χY)ψ
N Y Yis
proper. We define the mapping
q:Sm(NY)→ D(Z),
as the composition of the fiberwise Fourier transform Sm(NY)→ D(NY ) (with respect to the
volume density), pullback along ψand multiplication by χY. We can also define the mapping
σ:Im(Z, Y )→ D(NY),
as the composition of multiplication by χY, pullback along ψand Fourier transform in the fiber
direction (with respect to the volume density).
Theorem A.3. The maps qand σgive well defined maps
q:Sm(NY)Im(Z, Y )and σ:Im(Z, Y )Sm(NY),
56 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
that induce isomorphisms
q:Sm(NY)/S−∞ (NY)Im(Z, Y )/C(Z)and
σ:Im(Z, Y )/C(Z)Sm(NY)/S−∞ (NY).
The qoutient mappings
qm:Sm(NY)/Sm1(NY)Im(Z, Y )/Im1(Z, Y )and
σm:Im(Z, Y )/Im1(Z, Y )Sm(NY)/S m1(NY),
are mutual inverses and independent of the choice of ψand χY.
Proof. The details of the proof can be found in [23, Chapter XVIII.2]. The reader can also
consult [39, Chapter 4], see Theorem 4.3.2 and Theorem 4.3.16.
To digest this theorem, let us consider what this means in practice. Fix a tubular neighbor-
hood UYof Yinside Zand a bundle isomorphism ψ:UYN Y . It says that uIm(Z, Y ) if
and only if uis Coutside Yand we for any χC
c(Z) supported in a small enough open set
UUYcan write
χu(y, z ) = ZRNk
a(y, z, ξ)eiz·ξdξ+r(x),
in local coordinates on Ufor a symbol aSm(NY) and an rC(U). We note that the
order of uis determined by the order of the symbol a.
An important subclass of conormal distributions that we will later make use of are the classical
ones. Classicality simplifies computations and are by definition given by asymptotic sums,
making them highly suitable for studying asymptotics of the magnitude with. Let us define
classicality in the context of both symbols and conormal distributions. For a vector bundle
EYand t > 0, we let λtdenote the dilation if functions and distributions in the fiber
direction. We say that a function or distribution uis homogeneous of degree mCif λtu=tmu
for all t > 0.
Definition A.4. Consider a smooth N-dimensional manifold Zand a smooth k-dimensional
submanifold YZclosed in the topology of Z. Fix a tubular neighborhood UYof Yinside Z,
a bundle isomorphism ψ:UYNY and a . Let mC.
(1) We say that aC(NY) is a classical symbol of order mif there is a collection
(aj)jNC(NY\Y), with ajbeing homogeneous of degree mj, and a smooth
function χC(NY) which is 1 outside a fiberwise precompact neighborhood of Y,
such that
a
X
j=0
χaj.
We let CSm(NY) denote the space of classical symbols of order m.
(2) For m /Z, we say that u∈ D(Z) is a classical conormal distribution of order mif u|Z\Y
is smooth and there is a collection (uj)jN∈ D(N Y ), with ujbeing homogeneous of
degree jmN+k, and a smooth function χC(Z) which is 1 in a neighborhood
of Ysuch that for each lthere is an Lwith
χu
L
X
j=0
ψujCl(Z).
We let CIm(Z, Y ) denote the space of classical conormal distributions of order m.
(3) For mZ, we say that u∈ D(Z) is a classical conormal distribution of order mif u|Z\Y
is smooth and there is a collection (uj)jN∈ D(N Y ), with ujbeing homogeneous of
degree jmN+k, a collection (pj)jNC(NY ) of fiber wise homogeneous
polynomials, with each pjbeing of degree jmN+k, and a smooth function χ
C(Z) which is 1 in a neighborhood of Ysuch that for each lthere is an Lwith
χu
L
X
j=0
ψ(uj+pjlog | · |)Cl(Z).
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 57
We let CIm(Z, Y ) denote the space of classical conormal distributions of order m.
Let us make some remarks on the case mZ. Here log | · | C(NY \Y) denotes the
fiberwise logarithm in some choice of Riemannian metric. The reader should note that pj= 0
if j < m +Nk. The appearance of logarithms is due to the fact that despite symbols of
the form |ξ|mbeing classical and homogeneous outside ξ6= 0, their Fourier transforms are not
homogeneous if m∈ −N+kNand contains logarithms. We shall explore this further in our
main example below where the Fourier transform of |ξ|kNis precisely the logarithm. This is of
relevance to us since the conormal distribution defined from the operator Qis a logarithm (see
Proposition 2.5).
Proposition A.5. It holds that CSm(NY)SRe(m)(NY)and CIm(Z, Y )IRe(m)(Z, Y ).
Moreover, the maps from Theorem A.3 induce mappings
q:CS m(NY)CIm(Z, Y )and σ:C I m(Z, Y )CS m(NY),
that induce isomorphisms
q:CS m(NY)/S−∞(NY)C I m(Z, Y )/C(Z)and
σ:CI m(Z, Y )/C (Z)CSm(NY)/S−∞(NY),
qm:CS m(NY)/CSm1(NY)CIm(Z, Y )/CIm1(Z, Y )and
σm:CI m(Z, Y )/CIm1(Z, Y )C Sm(NY)/CSm1(NY)
The last two mappings are independent of the choices of ψand χYand are mutual inverses.
The reader should note that if we pick a Riemannian metric on NY, the restriction map-
ping to the associated sphere bundle S N YNYof the leading term induces an isomor-
phism CS m(NY)/CSm1(NY)
=C(SN Y). We can as such view σmas an isomorphism
CI m(Z, Y )/C I m1(Z, Y )C(SN Y).
We shall not give the details of the proof of Theorem A.5, but merely note that it is a trivial
consequence of Theorem A.3 in conjunction with homogeneity properties of the Fourier trans-
form. We shall give the details for the case of interest to us below in Subsection A.1.
Conormal distributions often arise from the Schwartz kernels of pseudodifferential operators.
To study the operator Q, we will need to apply conormal distributions to pseudodifferential
operators with parameters. But let us nevertheless provide the reader with some context first
by reviewing pseudodifferential operators from the point of view of conormal distributions.
Consider a manifold Mand set Z:= M×M. We let Y:= DiagMZdenote the diagonal.
Consider a continuous operator A:C
c(M)C(M) with Schwartz kernel KA∈ D(M×
M). In terms of conormal distributions, Ais called a pseudodifferential operator of order m
Rif KAIm(M×M, DiagM). The standard definition of a pseudodifferential operator is
equivalent by Theorem A.3. In the case at hand Y
=Mvia the projection map and NY=
TM. As such, the symbol mapping induces isomorphisms Im(M×M, DiagM)/C(M×M)
=
Sm(TM)/S−∞ (TM) and analogous mappings in the classical setting.
A.1. Examples of conormal distributions. In this subsection we consider two examples
coming from powers and logarithms of distance functions in Euclidean space. Both examples
will play a pivotal role in our study of the operator Q. In lack of finding a good reference we
have included a large amount of details.
We consider Z=RNand Y=Rkviewed as a submanifold of Z. We write the Euclidean
coordinates as x= (y, z) for yY=Rkand zRNk. For tR+, define the automorphism
λtof C
c(Z) by λtϕ(y, z) := ϕ(y, tz). We define λton D(Z) by
hλtu, ϕi:= tkhu, λ1/tϕi.
Take an αCand define uα,0C(Z\Y) by uα,0(y, z) := |z|α. If α /kN+N, [22,
Theorem 3.2.3] guarantees that uα,0has a unique extension to a distribution uα∈ D(Z) such
that λtuα=tαuαfor all t > 0. A short computation shows that uαdepends holomorphically
on αC\(kN+N). If f=f(w) is a function depending holomorphically on win a punctured
58 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
neighborhood of α, we write F.P.w=αffor the constant coefficient in the Laurent expansion of
faround w=α. For αC, we use the notation F.P.|z|αto denote the distribution
hF.P.|z|α, ϕi:= F.P.w=αhuw, ϕi.
It follows from the construction that if αC\(kN+N), then F.P.|z|αis homogeneous of
degree α, i.e. λt.F.P.|z|α=tαF.P.|z|αfor all t > 0. By [22, Theorem 3.2.3], F.P.|z|α=uα
for αC\(kN+N). The computation [22, Equation (3.2.24), page 76] shows that if
αkN+Nwe have for all t > 0 that
λtF.P.|z|αtαF.P.|z|α= log(t)X
βNk:|β|=α+Nk
cββ
zδY,
for some coefficients cβand δY∈ D(Z) is the distribution defined by
hδY, ϕi=ZRk
ϕ(y, 0)dy.
Proposition A.6. Let αC. Consider the distribution F.P.|z|αon RNkas constructed in
the preceding paragraph (for a fixed y). Then F.P.|z|αis a tempered distribution on RNkand
for ξ6= 0, we have that
FF.P.|z|α=
π(Nk)/22α+NkΓ(α+Nk
2)
Γ(α
2)|ξ|N+kα, α C\(N+k2N),
π(Nk)/2(1)l
22ll(Nk
2+l)|ξ|2l(log |ξ|2+βl,Nk), α =N+k2l, l N,
where
βl,Nk:= 2 log(2) + 1
2ψ((Nk)/2 + l)Hlγ,
and ψ(z) := Γ(z)
Γ(z),H0= 0 and Hl:= Pl
j=1 1
jfor l > 0, and γis the Euler-Mascheroni constant.
We note that in the case α2N, the right hand side of the equality has a zero which is
compatible with that FF.P.|z|αis a sum of distributions supported at ξ= 0. A closely related
computation of hFF.P.|z|α, ϕifor test functions ϕwith vanishing moments may be found in [36],
Lemma 25.2. It implies the above result except for the value of βl,Nk.
Proof. The distribution F.P.|z|αis polynomially bounded and therefore a tempered distribution.
To compute its Fourier transform, we first assume that α /∈ −N+k2N. In this case, F.P.|z|αis
homogeneous of degree α, so its Fourier transform must be homogeneous of degree N+kα.
Moreover, F.P.|z|αis O(Nk)-invariant, so its Fourier transform must be O(Nk)-invariant.
The space of O(Nk)-invariant tempered distributions of degree α /∈ −N+k2Nis one-
dimensional and therefore there is a constant cαsuch that FF.P.|z|α=cαF.P.|ξ|N+kαif
α /(N+k2N)2Nand FF.P.|z|αis supported at ξ= 0 if α2N. To verify that
cα=π(Nk)/22α+NkΓ(α+Nk
2)
Γ(α
2)one restricts to αin the range (N+k, (Nk)/2) and
integrates against the standard Gaussian (see [37, Exemple 5, Chapitre VII.7] but beware of the
non-standard convention with 2πin the Fourier transform of [37]).
The case that α∈ −N+k2Nfollows from that the Fourier transform is continuous and
therefore commutes with taking finite part values. Let us compute the details. Near αl=
N+k2lwe have that
cα=2al
ααl
+bl+O(ααl),
where
al=π(Nk)/2(1)l
22llNk
2+land bl=π(Nk)/2(1)l
22llNk
2+lβl,Nk.
The expressions for aland blfollows from the fact that the Γ-function has no zeroes and its
poles are situation in ζ∈ −Nwhere
Resζ=kΓ(ζ) = (1)k
k!and F.P.ζ=kΓ(ζ) = (1)k+1
k!(γ+Hk).
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 59
Taking the finite part of FF.P.|z|α=cαF.P.|ξ|N+kαat α=αl, gives us for ξ6= 0 that
FF.P.|z|N+k2l=bl|ξ|2l2al|ξ|2llog |ξ|=bl|ξ|2lal|ξ|2llog |ξ|2,
which produces the expression in the statement of the proposition.
Write CS m,k for the class of log-classical symbols and CIm,k for the corresponding class of
log-classical conormal distributions, see more in [30].
Proposition A.7. Let Z=RN,Y=Rkand αC\{0}. The distribution F.P.|z|αconstructed
in the preceding paragraph satisfies that F.P.|z|αCI αN+k ,j (Z, Y ), where j∈ {0,1}and
j= 1 if and only if αNk+ 2N, and
σαN+kF.P.|z|α(y, ξ) =
π(Nk)/22α+NkΓ(α+Nk
2)
Γ(α
2)|ξ|N+k+α, α C\(Nk+ 2N),
π(Nk)/2(1)l
22ll(Nk
2+l)|ξ|2l(log |ξ|2+βl,Nk), α =Nk+ 2l, l N.
Proof. For notational simplicity, set u:= F.P.|z|α. Pick a compactly supported χ0C
c(RNk)
with χ= 1 near z= 0. Write u=u1+u2where ˆu1=χˆuand u2=uu1. The distribution u1is
constant in the y-direction. By Proposition A.6, u1is the Fourier transform in the z-direction of
the compactly supported distribution cαχF.P.|ξ|N+k+α, so u1is smooth. It therefore suffices
to prove that u2CI αN+k(Z, Y ). Consider the classical symbol a(ξ) := (1 χ(ξ))ˆu(ξ). By
viewing aas a constant function of x= (y, z )Rn, we have that aCSN+k+α,j (RN×RNk)
by the computation of Proposition A.6. Moreover,
u2(y, z) = ZRNk
a(y, z, ξ)eiz·ξdξ,
so u2CI αN+k(Z, Y ) by Proposition A.5.
For Z=RNand Y=Rk, with coordinates x= (y, z ) for yY=Rkand zRNk,
we define the function u(y, z) := log |z|2. This function is locally integrable and defines a
distribution. Let us turn to studying its singularity at Y. First we need an elementary Fourier
transform computation that follows from Proposition A.6.
Proposition A.8. The function ˜u(z) := log |z|2on RNkis a tempered distribution and for
ξ6= 0,
F˜u=2π(Nk1)!ωNk1|ξ|kN,
where ωNk1denotes the volume of the unit ball in dimension Nk1.
Proof. Since ˜uis locally integrable and polynomially bounded, it is a tempered distribution. To
compute its Fourier transform, we note that λt˜u˜u= log(t). In other words, ˜uis homogeneous
of degree 0 up to a constant function. In particular, F˜umust therefore be homogeneous of degree
n+kup to a multiple of δ0. Moreover, ˜uis O(Nk)-invariant, so F˜umust be O(Nk)-
invariant. The space of O(Nk)-invariant elements of S(RNk)/Cδ0that are homogeneous
of degree N+kis one dimensional and is spanned by the equivalence class defined from
F.P.1
|ξ|Nk. It is clear that F˜uis not compactly supported, so its class in S(RNk)/Cδ0is
non-zero. It follows from the computation in Proposition A.7 that for ξ6= 0,
F˜u=2Nkπ(Nk)/2ΓNk
2|ξ|kN.
A short computation, as in Proposition 2.8, gives that
ΓNk
2ΓNk1
2+ 1=π(Nk1)!
2Nk1.
Therefore we have that
2Nkπ(Nk)/2ΓNk
2= 2π(Nk1)! π(Nk1)/2
ΓNk1
2+ 1= 2π(Nk1)!ωNk1.
60 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Proposition A.9. Let Z=RNand Y=Rk. The distribution log |z|satisfies that log |z| ∈
CI N+k(Z, Y )and
σN+k(log |z|) (y, ξ) = 2π(Nk1)!ωNk1|ξ|kN, ξ 6= 0.
The proof is analogous to that of Proposition A.7 and is therefore omitted.
For gC(Z) and a submanifold YZwith a prescribed tubular neighborhood U
=NY ,
we define the transversal Hessian of gin yYas the symmetric bilinear form on (N Y )ydefined
from the Hessian at the zero section of grestricted to (NY )yalong the tubular neighborhood.
Proposition A.10. Assume that YZis an k-dimensional smooth submanifold of an N-
dimensional smooth manifold. Let ˜
GC(Z)be a smooth function such that
˜
Gand d˜
Gvanishes on Y;
˜
G(x)>0for x /Y; and
for each yY, the transversal Hessian H˜
Gof ˜
G(defined as in Definition 2.1) is a
positive definite quadratic form on the transversal tangent bundle of YZ.
Then log ˜
GCI N+k(Z;Y)and its principal symbol σN+klog ˜
GC(NY\Y)is given
by
σN+klog ˜
G(y, ξ) = 2π(Nk1)!ωNk1|g˜
G(ξ, ξ)|(Nk)/2, ξ 6= 0,
where g˜
Gis the metric dual to the transversal Hessian H˜
G.
Proof. The statement is local, so we can assume that there is an open set URncontaining
0 such that Z=Uand Y=URk. Since dgvanishes on T Y , we can consider its restriction
to Yto be a section dg|Y:YNY. Under the assumption that the transversal Hessian of
gis non-degenerate in all points of Y, we can assume that Uis taken small enough to be able
to choose coordinates (˜y, ˜z) on Usuch that gy, ˜z) = |˜z|2for ˜z6= 0. For notational simplicity,
we assume that g(y, z ) = |z|2and that Z=U=RNand Y=Rk. The proposition now follows
from Proposition A.9.
Appendix B. Parameter dependent pseudodifferential operators
The reason for the above adventure through the seven circles of conormal distributions is
that it simplifies our description of the magnitude operator as a pseudodifferential operator with
parameter. We shall make heavy use of parameter dependent pseudodifferential operators, so let
us recall their definition and describe their kernel structure. In this subsection we only consider
classical symbols and operators.
Definition B.1. Let Γ Cbe a conical subset, mCand n, p N. A function a=a(x, ξ, R)
C(Rp×Rn×Γ) is said to be a classical symbol with parameter of order mif there exists a
sequence (aj)jNC(Rp×((Rn×Γ) \{0})) of functions homogeneous of degree mjin the
sense that
aj(x, tξ, tR) = tmjaj(x, ξ , R),t > 0,
and a χC
c(Rn×Γ) such that
aX
j
(1 χ)aj.
We write CSm(Rp×Rn; Γ) for the space of classical symbols with parameter of order m.
For an n-dimensional manifold M, we define CSm(M; Γ) C(TMΓ) as the space of
functions aC(TMΓ) such that in each local chart φ:UMRnand χC
c(U),
()(χa)CSm(Rn×Rn; Γ).
Remark B.2.Let us clarify what we mean by aPj(1 χ)aj. We write aPj(1 χ)aj
when for any αNp,βNn,k, N Nand compact KRpthere is a constant C > 0 and an
N0Nsuch that
α
xβ
ξk
R
a
N0
X
j=0
(1 χ)aj
(x, ξ, R)C(1 + |ξ|+|R|)N, x K, ξ Rn, R Γ.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 61
If this condition is satisfied, one can in fact take N0to be any natural number N− |β| −
k+ Re(m). Conversely, if (aj)jNC(Rp×((Rn×Γ) \ {0})) is a sequence of functions
homogeneous of degree mjthen for any χC
c(Rp×Γ) which equals 1 in a neighborhood
of 0 Rn×Γ there exists an aCSm(Rp×Rn; Γ) with aPj(1 χ)aj.
Remark B.3.We use the notation S−∞(Rp×Rn; Γ) for the space of smoothing symbols, i.e. the
space of aC(Rp×Rn×Γ) satisfying that for any αNp,βNn,k, N Nand compact
KRpthere is a constant C > 0 such that
α
xβ
ξk
RaC(1 + |ξ|+|R|)N.
Note that S−∞(Rp×Rn; Γ) = mRC Sm(Rp×Rn; Γ). For a, b C(Rp×Rn×Γ) we write
abif abis a smoothing symbol.
Remark B.4.For an n-dimensional manifold M, we shall implicitly use a Riemannian metric
on Mand write S(TMΓ) Mto denote fiber bundle of elements (ξ , R)TMΓ
such that |ξ|2+|R|2= 1. An element aCS m(M; Γ) is determined modulo lower order
terms (i.e. CSm1(M; Γ)) by its principal symbol. In other words, if aPj(1 χ)ajthen
aa0CS m1(M; Γ). Since a0is homogeneous of degree m, it is determined by its restriction
to S(TMΓ). We deduce that a7→ a0|S(TMΓ) defines an isomorphism
CS m(M; Γ)/CSm1(M; Γ)
=C(S(TMΓ)).
We will mainly be interested in the case p= 2nor p=nwhere nis the dimension of
the underlying manifold. If Γ = Rour definition coincides with that of classical symbols on
Rp×Rn+1.
Let us turn to the quantization of symbols to operators. We can consider an element K
S−∞(R2n× {0}; Γ) C(R2n×Γ) as a family of operators K=K(R) : C
c(Rn)C(Rn)
defined by
K(R)f(x) := ZRn
K(x, y, R)f(y)dy.
Such a family of operators is called a smoothing operator with parameter. We write Ψ−∞(Rn; Γ)
for the space of smoothing operators with parameters. If a=a(x, y, ξ, R)C Sm(R2n×Rn; Γ)
we can associate a family of operators Op(a) = Op(a)(R) : C
c(Rn)C(Rn) defined by
Op(a)(R)f(x) := ZRnZRn
a(x, y, ξ, R)f(y)e·(xy)dydξ.
We note that in this order of integration, both integrals are well defined for fC
c(Rn). Al-
ternatively, we can consider this as an oscillatory integral in which the order of integration is
irrelevant. A family of operators A=A(R) : C
c(Rn)C(Rn) is called a classical pseudodif-
ferential operator of order mwith parameter if there is a classical symbol aCSm(R2n×Rn; Γ)
and a smoothing operator KΨ−∞ (Rn; Γ) such that
A=Op(a) + K.
We write Ψm
cl (Rn; Γ) for the space of classical pseudodifferential operators of order mwith
parameter. For two operators A1, A2:C
c(Rn)C(Rn) we write A1A2if A1A2is
smoothing with parameter. If AΨm
cl (Rn; Γ) satisfies A=χAχfor some χ, χC
r(Rn), we
say that Ais compactly supported.
Proposition B.5. Let mCand consider a conical subset ΓC. Then the following holds:
(1) Assume that Γ = Rand let AΨm
cl (Rn;R)be a classical pseudodifferential operators
of order mwith parameter. There is an AΨm
cl (Rn;R)with AAsuch that the
family of Schwartz kernels KA(R)∈ D(Rn×Rn)satisfies that FRηKACIm(Rn×
Rn×R;Rn× {0}), where FRηKAdenotes the Fourier transform in the R-direction
and we identify Rn× {0} ⊆ Rn×Rn×Ras a submanifold via the diagonal inclusion
RnRn×Rn.
62 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
(2) Let A=Op(a) + KΨm
cl (Rn; Γ) for an aCSm(R2n×Rn; Γ). For
˜a(x, ξ, R) := X
αNn
1
α!α
yDα
ξa(x, y, ξ, R)|x=yCSm(Rn×Rn; Γ),
we have that Op(a)Opa). In particular, we can write A=Opa) + ˜
Kfor an
˜aCS m(Rn×Rn; Γ) and a smoothing operator with parameter ˜
K.
(3) An element Aas in (2) is uniquely determined up to smoothing operators by ˜amodulo
smoothing symbols. In particular, the mapping
Ψm
cl (Rn; Γ)/Ψ−∞(Rn; Γ) CSm(Rn; Γ)/S −∞ (Rn; Γ), A 7→ ˜a,
is a well defined isomorphism.
(4) If A=Opa)Ψm
cl (Rn; Γ) and B=Op(˜
b)Ψm
cl (Rn; Γ) for ˜aCSm(Rn; Γ) and
˜
bCS m(Rn; Γ) then AB Ψm+m
cl (Rn; Γ) and AB Op(a#b)where
a#b(x, ξ)X
α
1
α!Dα
ξa(x, ξ, R)α
xb(x, ξ, R)CSm+m(Rn×Rn; Γ).
Proof. For (1) we take Ato be the classical pseudodifferential operator defined from that KA=
χKAwhere χC(Rn×Rn) is defined from χ(x, y) = χ0(|xy|2) for some χ0C
c(R) with
χ0= 1 in a neighborhood of 0. It is clear from standard arguments with oscillatory integrals
that KAKAΨ−∞(Rn;R). Since KAis properly supported, we can write A=Op(a) for
an aCS m(R2n×Rn;R). It follows from the arguments around Equation (43) that
[FRηKA](x, y, η) = ZRn+1
a(x, y, ξ, R)ei(xy)ξiηRdRdξ,
defines an element of CIm(Rn×Rn×R;Rn× {0}).
Items (2), (3) and (4) follow as in the case of no parameters, see [38, Theorem 3.1], [39,
Theorem 4.3.2] (with ρ= 1 and δ= 0), and [38, Theorem 3.4], respectively.
Remark B.6.With regards to item (1) in Proposition B.5, we refer to aC Sm(R2n×Rn; Γ) as a
“two-variable symbol” and ˜aCSm(Rn×Rn; Γ) as a “one-variable symbol”. In the applications
we are concerned with, the two-variable symbol is easily obtained. Due to item (3), i.e. that the
two variable symbol is not determined by the operator, and item (4) we shall need to use the
transition from two-variable symbols to one-variable symbols. The isomorphism in item (3) of
Proposition B.5 is called the full symbol isomorphism.
For the remainder of this subsection let Mdenote an n-dimensional smooth manifold. For
simplicity we assume that Mis compact. For mCand a conical subset Γ C, an family of
operators A=A(R) : C(M)C(M) is a classical pseudodifferential operators of order m
with parameter if for any coordinate chart φ:UMURn, and any χ, χC
c(U) the
composition of operators defined on fC
c(Rn) as
f7→ φ(χf)7→ (χf )7→ (φ1)(χ(χf )) C(Rn),
is a classical pseudodifferential operators of order mwith parameter on Rn. We write Ψm
cl (M; Γ)
for the space of classical pseudodifferential operators of order mwith parameter on M. The space
of smoothing operators Ψ−∞ (M; Γ) is by definition isomorphic to the space S(Γ; C(M×M))
consisting of Schwartz functions from Γ into the Fr´echet space of smoothing operators C(M×
M).
Since the full symbol of a pseudodifferential operator with parameter is uniquely determined
modulo smoothing symbols in local coordinates, we obtain a full symbol isomorphism
Ψm
cl (M; Γ)/Ψ−∞(M; Γ)
=CS m(M; Γ)/S−∞(M; Γ).
The next theorem contains well known statements that summarize the properties of pseu-
dodifferential operators with parameter we shall make use of. First, let us introduce some
notation. The 2n+ 1-dimensional manifold M×M×Rcarries an R-action by translation in
the third factor. We shall assume that ZM×M×Ris an R-invariant open neighborhood
of DiagM× {0} ⊆ M×M×R, i.e. that there is an open neighborhood UM×Mof
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 63
DiagMsuch that Z=U×R. From Proposition B.5 and the coordinate transformation laws of
pseudodifferential operators we deduce the following theorem.
Theorem B.7. Let mCand let ΓCbe a sector.
(1) Assume that Γ = R. Item (1) of Proposition B.5 and the full symbol mapping, respec-
tively, induce isomorphisms
CI m(Z; DiagM× {0})/C(Z)
=Ψm
cl (M; Γ)/Ψ−∞(M; Γ)
=
=CS m(M; Γ)/S−∞(M; Γ),
and
CI m(Z; DiagM× {0})/CI m1(Z; DiagM× {0})
=
=CS m(M; Γ)/CSm1(M; Γ)
=C(S(TMΓ)).
(2) The principal mapping that maps a pseudodifferential operator with parameter to its
leading homogeneous term defines an isomorphism
σm: Ψm
cl (M; Γ)/Ψm1
cl (M; Γ) C Sm(M; Γ)/CSm1(M; Γ)
=C(S(TMΓ)).
(3) If AΨm
cl (M; Γ) and BΨm
cl (M; Γ), then AB Ψm+m
cl (M; Γ). The full symbol
a#bof AB is computed in local coordinates from the full symbols aand bof Aand B,
respectively, and the formula
a#b(x, ξ)X
α
1
α!Dα
ξa(x, ξ, R)α
xb(x, ξ, R)CSm+m(M; Γ).
Definition B.8. Let mC,Mbe a compact manifold and AΨm
cl (M; Γ). We say that Ais
elliptic if σm(A)C(S(TMΓ)) is an invertible element.
Remark B.9.The reader should beware that in item (3) of Theorem B.7, the full symbol depends
on the choice of coordinates.
The following proposition follows from item (2) of Theorem B.7 and asymptotic completeness
of the space of pseudodifferential operators with parameter.
Proposition B.10. Let AΨm
cl (M; Γ) be an operator with full symbol aCSm(M; Γ). The
following are equivalent:
Ais elliptic
There exists bCSm(M; Γ) with ab = 1 outside a compact subset of TMΓ.
There exists BΨm
cl (M; Γ) such that AB 1, BA 1Ψ−∞ (M; Γ).
We recall that we have implicitly used a Riemannian metric on M. Using this metric, we
also define the scale of Hilbert spaces Hs(M) := (1 + ∆)s/2L2(M) for sR, where ∆ is the
Laplace operator defined from the Riemannian metric. We also consider the scale Hs
R(M) :=
(R2+ ∆)s/2L2(M) defined for RR\ {0}and sR. We note that elliptic regularity implies
that Hs(M) = Hs
R(M) as vector spaces with equivalent norms, but their Hilbert space structure
differs in a non-uniform way as Rvaries. The difference in Hilbert space structure is best seen
from the mapping properties of pseudodifferential operators with parameters, which is made
precise in the following theorem.
Theorem B.11. Let ΓΓα(0) ∪ −Γα(0) be a bisector with opening angle < α [0, π/2), and
AΨm
cl (M; Γ). For any s, t Rwith tsRe(m)there is a constant Cs,t >0such that for
RΓ\ {0}kAfkHt
|R|Cs,t(1 + |R|)ts+Re(m)kfkHs
|R|,fHs(M).
Moreover, A:Hs
|R|(M)Ht
|R|(M)is compact if t < s Re(m). In particular, if Ais elliptic
then there are for any sRconstants Cs, R0>0such that for |R|> R0
1
CskfkHs
|R|≤ kAfkHsRe(m)
|R|CskfkHs
|R|,fHs(M).
64 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Proof. It is clear that A:Hs
|R|(M)Ht
|R|(M) is compact if t < sRe(M) by the corresponding
statement without parameters. We start by showing the norm estimate kAf kHt
|R|Cs,t(1 +
|R|)ts+Re(m)kfkHs
|R|. Since Γ does not contain the imaginary axis, the operator (R2+ ∆)m/2
Ψm
cl (M; Γ) is an invertible elliptic element. Assume that α[π/4, π /2). Since there is a positive
angle between Γ and the imaginary axis we have a lower quadratic form estimate
(R2+ ∆)(R2+ ∆) (1 cos2(2α))|R|4,for RΓ.
It therefore follows by interpolation that
(45) k(R2+ ∆)m/2fkHt
|R|Cs,t(1 + |R|)ts+Re(m)kfkHs
|R|, f Hs(M).
By combining Equation (45) with item (4) of Theorem B.7 we can reduce to t=s=m= 0.
To prove the theorem in the case t=s=m= 0, we need to show that point evaluation in
Rdefines a continuous representation Ψ0
cl(M; Γ) → B(L2(M)) with uniform seminorm bounds.
This statement follows from the fact that point evaluations in Rdefines a continuous mapping
Ψ0
cl(M; Γ) Ψ0
cl(M) in the respective Fechet topologies with uniform seminorm bounds and the
Calder´on-Vaillancourt theorem implies that the action of zero order pseudodifferential operators
on L2(M) defines a continuous representation Ψ0
cl(M)→ B(L2(M)).
Fix an sR. We want to show that for some R0and Cs, we have the estimates 1
CskfkHs
|R|
kAfkHsRe(m)
|R|CskfkHs
|R|for |R|> R0. By the preceding paragraph, the upper estimate
holds. To show the lower estimate we note that if AΨm
cl (M; Γ) is elliptic, then there is a
BΨm
cl (M; Γ) such that AB 1, BA 1Ψ−∞ (M; Γ). Write Asfor the continuous operator
Hs
|R|(M)HsRe(m)
|R|(M) defined from Aand Bsfor the continuous operator HsRe(m)
|R|(M)
Hs
|R|(M) defined from B. From the preceding paragraph, we have that k1AsBsk,k1BsAsk=
O(R−∞) so there is an R0such that Bs(R)As(R)1is a smoothing operator for |R|> R0. We
conclude from the preceding paragraph that there is a Csuch that kBsgkHs
|R|CkgkHsRe(m)
|R|
for all gHsRe(m)
|R|(M). This shows that 1
CkfkHs
|R|≤ kAfkHsRe(m)
|R|
for all fHs
|R|(M) and
|R|> R0, and we conclude the lower estimate.
Corollary B.12 (G˚arding inequality).Let ΓΓα(0) Γα(0) be a bisector with opening angle
< α [0, π/2), and AΨm
cl (M; Γ) a formally self-adjoint operator with strictly positive principal
symbol, i.e. for some ε > 0,σ(A)(x, ξ , R)εfor all |ξ|2+|R|2= 1 and xM.
Then for large R, the quadratic form f7→ hAf, f iL2is continuous, positive and coercive on
HRe(m)/2
|R|. To be precise, there is an R0>0and a C > 0such that
1
CkfkHRe(m)/2
|R|≤ hAf, f iL2CkfkHRe(m)
|R|
,fHs(M),|R|> R0.
Proof. It follows in the same way as in [38, Proposition 6.1], that there is a BΨm/2
cl (M; Γ)
such that r:= ABBΨ−∞(M; Γ). It is clear that Bis elliptic and that Ris self-adjoint,
so the previous theorem implies that for some C0>0,
1
CkfkHRe(m)/2
|R|− hrf, f iL2≤ hAf, f iL2CkfkHRe(m)
|R|
+hrf, f iL2,fHs(M).
Since rΨ−∞(M; Γ), we have that kr(R)kL2L2=O(|R|−∞) and the corollary follows.
One of the reasons for introducing conormal distributions above was that it will give us a
direct way of verifying that the magnitude operator is an elliptic pseudodifferential operator
with parameter. We will next present the relevant technical result needed for such an endeavor.
For a compact smooth n-dimensional manifold, identified with its diagonal in M×M, we let
Z=U×RM×M×Rdenote an R-invariant tubular neighborhood of the diagonal of M. After
fixing some metric on Mthat we for notational simplicity assume to have injectivity radius >1,
we can assume that we have exponential coordinates on Zidentifying Zwith the ball bundle
BM R={(x, v, η)T M R:|v|<1}.
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 65
This is the ball bundle in the normal bundle of DiagM× {0} ⊆ Zunder the identification of
Mwith its diagonal. We denote the coordinate in the R-direction by ηsince for conormal
distributions it plays the role of a dual variable (cf. item (1) of Proposition B.5). In the
situation at hand, the conormal bundle of DiagM× {0} ⊆ Zis under the identification of M
with its diagonal given by TMRM. We denote coordinates in the fiber of the conormal
bundle by (ξ, R). We note that under these identifications, we have a canonical isomorphism
(46) CSm(N(DiagM× {0} ⊆ Z))
=CS m(M;R).
Compare this to Theorem B.7. A problem we need to address is that the correspondence be-
tween operators and symbols is only well behaved modulo smoothing terms, and the notions
of smoothing symbols and operators in the setting of conormal distributions differ from that in
the setting of the parameter dependent calculus. To address the issue at the level of operators,
instead of equivalence classes, we introduce a uniform notion of asymptotic expansions.
Assume that KCIm(Z;M× {0}) in exponential coordinates has a classical asymptotic
expansion of the form KP
j=0 χKjas in Definition A.4. Here χC
c(U) is a function
with χ= 1 near the diagonal. In the above choice of coordinates, Kjis a smooth function on
T M R\(M× {0}). If m /Z,Kjis homogeneous of degree mjn1. If mZ,
Kj=uj+pjlog(|v|2+η2) where ujis homogeneous of degree mjn1 and pjis a
homogeneous polynomial in (v, η) of degree mjn1 (in particular pj= 0 if j < mn1).
Definition B.13. We shall say that KCIm(Z;M× {0}) has a uniform asymptotic ex-
pansion if for any αNp,βNn,k, N Nthere is a constant C > 0 and an N0Nsuch
that for R6= 0 α
xβ
vk
η
K
N0
X
j=0
χKj
C(1 + |v|+|η|)N.
For xM, we write expx:TxMMfor the exponential map. Note that under our
assumption on the injectivity radius, expx:BxMMis a diffeomorphism onto its range.
Proposition B.14. Let Mbe a smooth n-dimensional manifold and Zis as in the preceding
paragraphs. Assume that KCIm(Z;M× {0})admits a uniform asymptotic expansion. Then
there is a pseudodifferential operator with parameter AΨm(M;R)such that for any R, the
Schwartz kernel of A(R)is given by FηRK. In other words, for fC(M),A(R)fis defined
as the oscillatory integral
A(R)f(x) := ZBxMR
K(x, v, η)f(expx(v))eRdvdη.
In particular, the full symbol of Ain CSm(M;R)/S−∞ (M;R)coincides with the full symbol of
Kin CS m(N(DiagM× {0} ⊆ Z))/S−∞ (N(DiagM× {0} ⊆ Z)) under the isomorphism (46).
Proof. If the uniform asymptotic expansion of Konly contains one term, i.e. K=K0, the
statement of the proposition holds by homogeneity properties of the Fourier transform. As such,
the proposition is in fact a statement concerning the asymptotic completeness of the space of
pseudodifferential operators with parameters. This is proven just as in the usual setting (see
[23, Proposition 18.1.3]).
Appendix C. Inverting Qin an extended Boutet de Monvel calculus
In this Appendix we prove Theorem 4.9. More generally, we discuss the magnitude operator
ZX(R) in the context of general techniques which have been developed for elliptic pseudodiffer-
ential boundary problems. While ZX(R) is not always a pseudodifferential operator, for distance
functions having property (MR) Theorem 4.5 shows that ZX(R) closely relates to the pseudodif-
ferential operator QX(R). While there is an extensive theory for boundary problems for elliptic
differential operators, developed over many decades, boundary problems for pseudodifferential
operators pose severe difficulties since the operators are nonlocal. Much of the recent study was
motivated by fractional powers of the Laplacian. In particular, for a larger class of operators
pseudodifferential methods were developed starting with [19], under the assumption that the op-
erator satisfies a µ-transmission condition at the boundary. They allowed to show, for example,
66 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
regularity results for solutions of elliptic Dirichlet problems and integration by parts formulas.
A basic observation is that such problems could be reduced to problems in the Boutet de Monvel
calculus, originally developed for differential boundary problems [19]. While the results in this
Appendix are not directly used in this article, they complement the specific analysis of Z(R)
by results and challenges for a large class of related problems. We refer to [15, 19] for further
context and notation.
As the techniques are local, it is sufficient to prove Theorem 4.9 for X⊂⊂ Rn. Consider the
Dirichlet problem
(47) r+PRuR=fin X
uR= 0 in Xc.
Generalizing QX(R), here PRis a parameter dependent, classical pseudodifferential operator on
Xwhich is elliptic of order m=n1, of type m/2 and has factorization index m/2. We
make the further assumption that it is of infinite regularity.
We reduce (47) to a problem of type and order 0 in the Boutet de Monvel calculus, where a
parametrix can be constructed using classical techniques. The reduction relies on the following
operators to raise the order of PR, while preserving support in X, see [19, Section 2.5]:
Definition C.1. For l1
2Z, define λl
±Ψl
cl(Rn; Γ)
λl
(ξ, R) = hξ, Riψξn
bhξ, Rinl
, λl
+(ξ, R) = λl
(ξ, R).
Here ψ∈ S(R) with supp F1ψRand ψ(0) = 1, and b2 sup |tψ(t)|. We set Λl
±,R :=
Op λl
±(ξ, R).
The symbols λl
±are uniformly parameter-elliptic on Rn×Rn+1
+of order l, and they are of
factorization index and type l, respectively 0.
Composition of (47) on the left with r+Λm
2
,Re+gives
r+Λm
2
,Re+r+PRuR=r+Λm
2
,RPRuR=r+Λm
2
,Re+f.
Letting vR:= r+Λm
2
+,RuR,equivalently uR= Λ m
2
+,Re+vR,and denoting AR:= Λ m
2
,RPRΛm
2
+,R gives
the following problem for vR:
(48) r+ARe+vR=r+Λm
2
,Re+fin X
vr= 0 in M\X .
We next show that (48) is a problem in the Boutet de Monvel calculus, based on arguments
in [19, Section 2.5]:
Proposition C.2. The operator ARis an elliptic parameter-dependent pseudodifferential oper-
ator of order, type, and factorization index 0.
Using a parametrix constructed in this calculus, one recovers the solution to the original prob-
lem (47) by the transformation uR= Λ m
2
+,Re+vR. In particular, this implies the assertions about
QX(R) in Theorem 4.9. Unfortunately, for the purposes of this paper the general properties
of of the parametrix after c omposition with Λ m
2
+,R are not currently understood sufficiently to
directly yield results for the magnitude problem.
The second part of Theorem 4.9, about ZX(R), then follows from the decomposition ZX(R)1=
QX(R)1+RX(R) in Theorem 4.5.
Proof. That it is a pseudodifferential operator follows from the fact that it is a composition of
honest pseudodifferential operators. It is immediate that it is of order m
2m+m
2= 0 and
factorization index m
2+m
2= 0.
All that is left to show is that the composition λm/2
,R #σ#λm/2
+,R is of type 0, where by σwe
denote the symbol of AR.
By our assumption on PRand due to the nature of the Λ operators, we see that we can regard
e
A(x, (ξ, R), ξn) = AR(x, ξ, R) as a classical elliptic ψdo, with the parameter Rabsorbed in the
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 67
ξvariable. For easier notation, we still write the new variable as ξ, and use vand wto denote
the symbols λm
2
,R and λm
2
+,R respectively.
We first show that the composition σ#wis of type 0.
Since σis of type m
2, we have that
(49) Dβ
xDα
ξσmj(x, ξ,N) = (1)(m2(m
2)j−|α|)Dβ
xDα
ξσmj(x, ξ, N )
for all multiindices β, α, where σjare the terms in the polyhomogeneous expansion. Similarly,
since wis of type m
2it satisfies
(50) Dβ
xDα
ξwjm
2j(x, ξ,N) = (1)(m
22(m
2)j−|α|)Dβ
xDα
ξwm
2j(x, ξ, N )
for all multiindices β, α, where wjare the terms in the polyhomogeneous expansion.
Similarly to above, denoting the terms in the polyhomogeneous expansion of σ#wby [σ#w]l,
we have that
[σ#w]m
2l="X
α
1
α!(Dα
ξσmj)(Dα
xwm
2k)#m
2l
=X
α:|α|=lkj
1
α!(Dα
ξσmj)(Dα
xwm
2k)
and thus
Dβ
xDγ
ξ[σ#w]m
2l=X
α:|α|=lkj
1
α!Dβ
xDγ
ξ(Dα
ξσmj)(Dα
xwm
2k)
=X
α:|α|=lkj
1
α!Dβ
x
X
ν:νγγ
ν(Dα+ν
ξσmj)(Dγν
ξDα
xwm
2k)
=X
α:|α|=lkj
1
α!X
ν:νγ
ν:νββ
νγ
ν(Dβν
xDα+ν
ξσn1j)(Dα+ν
xDγν
ξwm
2k).
By (49) and (50), we have that
Dβν
xDα+ν
ξσmj(x, ξ,N) = (1)(j−|α+ν|)Dβν
xDα+ν
ξσmj(x, ξ, N )
and
Dα+ν
xDγν
ξwm
2k(x, ξ,N) = (1)(m
2k−|γm|)wm
2k(x, ξ, N ).
We thus have that
Dβ
xDγ
ξ[σ#w]m
2l(x, ξ,N)
=X
α:|α|=lkj
1
α!X
ν:νγ
ν:νββ
νγ
ν(1)(m
2(j+k)(|α+γ|))
(Dβν
xDα+ν
ξσmj(x, ξ, N ))(Dα+ν
xDγν
ξwm
2k(x, ξ, N ))
= (1)(m
2lγ)X
α:|α|=lkj
1
α!Dβ
xDγ
ξDα
ξσmj(x, ξ, N )Dα
xwm
2k(x, ξ, N ))
= (1)(m
2lγ)Dβ
xDγ
ξ[σ#w]m
2l(x, ξ, N )
and we see that this symbol is of type 0.
We now want to show that v#σ#wis of type 0. We let s:= σ#wand thus all we want to
show is that v#sis of type 0, and the calculation is analogous to the one above. Both vand s
are of type 0 and in addition the composition is of order 0.
68 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
As above,
[v#s]l="X
α
1
α!Dα
ξvj(Dα
xsk)#l
=X
α:|α|=lkj
1
α!Dα
ξvj(Dα
xsk)
and similarly
Dβ
xDγ
ξ[v#s]l=X
α:|α|=lkj
1
α!X
ν:νγ
ν:νββ
νγ
ν(Dβν
xDα+ν
ξvj)(Dα+ν
xDγν
ξsk).
Since vis such that
Dβ
xDα
ξvj(x, ξ,N) = (1)(j−|α|)Dβ
xDα
ξvj(x, ξ, N )
and the same for sthe calculation follows from above.
Appendix D. The meromorphic Fredholm theorem
The meromorphic Fredholm theorem describes the inverse of a holomorphic family of Fredholm
operators. The version we consider can be found in [29, Proposition 1.1.8]. For two Hilbert spaces
H1and H2let Fred(H1,H2)B(H1,H2) denote the set of Fredholm operators, which is open
in the operator norm.
Theorem D.1. Let DCbe a connected domain and T:DFred(H1,H2)a holomorphic
function. Assume that T(λ)is invertible for at least one λD. Then the set
Z:= {zD: 0 Spec(T(z))}
is a discrete subset of D, and the function λ7→ T(λ)1exists as a meromorphic function
DFred(H1,H2). For λnear any zZ,λ7→ T(λ)1has a pointwise norm-convergent
Laurent expansion
(51) T(λ)1=
X
k=N
Tk(λz)k,
where Tkare finite rank operators whenever k < 0.
Appendix E. Partial fraction decompositions of symbols
We note the following structural result from basic calculus:
Lemma E.1. For all l, m Nwith m < 2l, there exists homogeneous rational functions
(with rational coefficients) of (h+, h)denoted by βl,m,0,±, βl,m,1,±,...,βl,m,l1,±, where each
βl,m,j,±=bl,m,j,±(h+, h)has homogeneous degree mjlin (h+, h), such that
ξm
n(ξnh+)l(ξnh)l=
l1
X
j=0
βl,m,j,+(h+, h)(ξnh+)jl+
l1
X
j=0
βl,m,j,(h+, h)(ξnh)jl.
For explicit computations of the first few terms, we require the precise form of βl,m,j,±:
Proposition E.2. Let h+, hCbe two distinct complex numbers and lN>0. Then for
ξnC\ {h+, h}, we have that
(ξnh+)l(ξnh)l
=1
(h+h)l
l1
X
j=0
(1)j
(h+h)jl+j1
j(ξnh+)l+j+ (1)lj(ξnh)l+j
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 69
Proof. We show the assertion by induction in l. The case l=1 is easily checked:
(ξnh+)1(ξnh)1=1
h+h(ξnh+)1(ξnh)1.
Assume now that the assertion holds for l. To show it for l+ 1, we take derivatives 2
∂h+ hon
both sides:
2
∂h+h
(ξnh+)l(ξnh)l=l2(ξnh+)l1(ξnh)l1,
respectively,
2
∂h+h
(ξnh+)l(ξnh)l
=
l1
X
j=0
(1)jl+j1
j2
∂h+h1
(h+h)l+j(ξnh+)l+j+ (1)lj(ξnh)l+j.
Consider
2
∂h+h1
(h+h)l+j(ξnh+)l+j+ (1)lj(ξnh)l+j
=h+h
1
(h+h)l+j(ξnh+)l+j+ (1)lj(ξnh)l+j
+h+
1
(h+h)l+j(1)ljh(ξnh)l+j
+h
1
(h+h)l+jh+(ξnh+)l+j.
Using that
h±(ξnh±)l=l(ξnh±)l1,
h+(h+h)l=l(h+h)l1, ∂h(h+h)l=l(h+h)l1,
as well as
h+h(h+h)l=l(l+ 1)(h+h)l2,
we conclude
2
∂h+h
(ξnh+)l(ξnh)l
=
l1
X
j=0
(1)jl+j1
j(l+j)(l+j+ 1)
(h+h)l+j+2 (ξnh+)l+j+ (1)lj(ξnh)l+j
+(lj)(l+j)
(h+h)l+j+1 (ξnh+)l+j1+ (1)lj+1 (lj)(l+j)
(h+h)l+j+1 (ξnh)l+j1.
Note that the coefficient of (ξnh+)l+k= (ξnh+)(l+1)+(k+1) is given by
(1)kl+k1
k((l+k)(l+k+ 1)) + (1)k+1l+k
k+ 1(lk1)(l+k+ 1)
= (1)k+1 l+k1
k(l+k) + l+k
k+ 1(lk1)(l+k+ 1)
= (1)k+1 (l+k1)!
k!(l1)! (l+k) + (l+k)!
(k+ 1)!(l1)!(lk1)(l+k+ 1)
= (1)k+1l2l+k+ 1
k+ 1 .
70 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
A similar computation applies to the coefficient of (ξnh)l+k= (ξnh)(l+1)+(k+1), so
that
l2(ξnh+)l1(ξnh)l1=2
∂h+h
(ξnh+)l(ξnh)l
=1
(h+h)l+1
l
X
j=0
(1)jl2
(h+h)jl+j
j(ξnh+)l1+j+ (1)l+1j(ξnh)l1+j.
The asserted formula follows for exponent l+ 1 after dividing by l2.
More generally, by differentiating with respect to h±we obtain:
Lemma E.3. For all l, m Nand two distinct complex numbers h+, hC, consider the
rational function:
Km,l(ξn) := (ξnh+)m(ξnh)l.
This rational function can be decomposed as
Km,l(ξn)
=
m1
X
j=0
(1)j
(h+h)l+jl+j1
j(ξnh+)m+j+
l1
X
j=0
(1)m
(h+h)m+jm+j1
j(ξnh)l+j.
These following formulas allow us to obtain explicit partial fraction decompositions for the
terms relevant to the factorization of ZR.
Corollary E.4. For all lNand two distinct complex numbers h+, hC,
ξn(ξnh+)l(ξnh)l=Kl1,l(ξn) + h+Kl,l(ξn),
ξ2
n(ξnh+)l(ξnh)l=Kl1,l1(ξn) + hKl1,l(ξn) + h+Kl,l1(ξn) + h+hKl,l(ξn),
ξ3
n(ξnh+)l(ξnh)l=Kl2,l1(ξn) + (2h++h)Kl1,l1(ξn)+
+ (h2
+h2
++h+h)Kl1,l(ξn) + h2
+hKl,l(ξn)
In particular, we have the formulas
(h+h)ξn(ξnh+)1(ξnh)1=h+(ξnh+)1h(ξnh)1,
(h+h)2ξn(ξnh+)2(ξnh)2=h+(ξnh+)2+h(ξnh)2
h++h
h+h
((ξnh+)1(ξnh)1),
(h+h)2ξ2
n(ξnh+)2(ξnh)2=h2
+(ξnh+)2+h2
(ξnh)2
2h+h
h+h
((ξnh+)1(ξnh)1),
(h+h)2ξ3
n(ξnh+)2(ξnh)2=h3
+(ξnh+)2+h3
(ξnh)2+
+h2
+(h+3h)
h+h
(ξnh+)1h2
(h3h+)
h+h
(ξnh)1.
Appendix F. Evaluation of some boundary symbols at zero
For the purpose of computations in Subsection 6.3, we are interested in evaluating some
symbols at ξ= 0 and R= 1. We will use the notations from the Sections 5 and 6 freely. We
tacitly assume that n > 1 to avoid limit cases.
Recall from Proposition 5.13 that
R2+g(ξ, ξ) = h0(ξnh+)(ξnh),
where h±=h±(x, ξ, R)S1(TY×R, Y ×R;C) are of the form
h±(x, ξ, R) = ξ(b(x))
h0(x)±ipR2+gY(ξ, ξ)(ξ(b))2
ph0(x).
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 71
Here we use the splitting of the metric
g=h0b
bTgY,
For xn= 0, i.e. on X, we write xinstead of (x,0). We conclude the following lemma from
elementary computations.
Lemma F.1. The following identities hold on ∂X :
(52) h0(x)ν(h+(x,0,1))ν(h(x,0,1))ν= 1,for all νR.
(53) h±(x,0,1) = ±ih0(x)1/2.
(54) xnh±(x,0,1) = i
2
xnh0(x)
h0(x)3/2.
(55) xh±(x,0,1) = i
2xh0(x)
h0(x)3/2.
(56) ξh±(x,0,1) = b(x)
h0(x).
From Lemma F.1 we deduce the following series of lemmas. We use the notation µ=n+1
2.
Lemma F.2. The following identity holds on ∂X :
w,0(x,0,0,1)xn2
ξnw+,0(x,0,0,1) = µ(µ1)(µ2)
2n!ωn
xnh0(x).
Proof. We compute that
w,0(x,0,0,1)xn2
ξnw+,0(x,0,0,1) =
=µ(µ1)(µ2)
n!ωn
xnh+(x,0,1)h0(x)µ(h(x,0,1))µ(h(x,0,1))µ3=
=µ(µ1)(µ2)
n!ωn
xnh+(x,0,1)h0(x)3(h(x,0,1))3=
=µ(µ1)(µ2)
n!ωni
2
xnh0(x)
h0(x)3/2h0(x)3(ih0(x)1/2)3=
=µ(µ1)(µ2)
2n!ωn
xnh0(x)
Lemma F.3. The following identity holds on ∂X :
xnw,0(x,0,0,1)2
ξnw+,0(x,0,0,1) = µ2(µ1)
2·n!ωn
xnh0(x).
Proof. We compute that
xnw,0(x,0,0,1)2
ξnw+,0(x,0,0,1) =
=µ2(µ1)
n!ωnxnh0(x)h0(x)µ1(h(x,0,1))µ
xnh(x,0,1)h0(x)µ(h(x,0,1))µ1(h+(x,0,1))µ2=
=µ2(µ1)
n!ωnxnh0(x)h(x,0,1)
h+(x,0,1) +xnh(x,0,1) h0(x)
h+(x,0,1)=
=µ2(µ1)
n!ωnxnh0(x) + i
2
xnh0(x)
h0(x)3/2
h0(x)
ih0(x)1/2=µ2(µ1)
2·n!ωn
xnh0(x)
72 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Lemma F.4. The following identity holds on ∂X :
w,1(x,0,0,1)ξnw+,0(x,0,0,1) =
=c1,n(n21)
(n!ωn)23
2C3(x, g ιng) + 17(n+ 3)
4h0(x)C3(x, ιngιngιng)
73
4·n!ωnxnh0(x) + b(x)
h0(x)· ∇xh0(x)
Proof. Recall the computation of w,1from Proposition 5.20, and the homogeneous symbols
a,0(of degree 0) and a,1(of degree 1) computed in Proposition 5.16 and explicitly given in
Equation (36) and (37), respectively. We compute that
w,1(x,0,0,1)ξnw+,0(x,0,0,1) =
=µ
n!ωna,0(x,0,1)h0(x)µ(h(x,0,1))µ1a,1(x,0,1)h0(x)µ(h(x,0,1))µ2
2(xnh(x,0,1) − ∇ξh(x,0,1) · ∇xh(x,0,1))h0(x)µ(h(x,0,1))µ2
2(xnh0(x)− ∇ξh(x,0,1) · ∇xh0(x))h0(x)µ1(h(x,0,1))µ1·
·(h+(x,0,1))µ1=
=µ
n!ωna,0(x,0,1)h0(x)a,1(x,0,1)h0(x)(h+(x,0,1))
2(xnh(x,0,1) − ∇ξh(x,0,1) · ∇xh(x,0,1))h0(x)2(h+(x,0,1))
2(xnh0(x)− ∇ξh(x,0,1) · ∇xh0(x))=
=µ
n!ωna,0(x,0,1)h0(x) + ia,1(x,0,1)h0(x)3/2
2i
2
xnh0(x)
h0(x)3/2+i
2
b(x)
h0(x)·xh0(x)
h0(x)3/2h0(x)2(ih0(x)1/2)
2xnh0(x) + b(x)
h0(x)· ∇xh0(x)=
=µ
n!ωna,0(x,0,1)h0(x) + ia,1(x,0,1)h0(x)3/2
3i
2µ2xnh0(x) + b(x)
h0(x)· ∇xh0(x).
(57)
Computing with Equation (36) and (37) gives us
a0,(x, 0, R) =3ic1,n(n21)
n!ωn
C3(x, g ιng)h0(x)1h(x,0,1)
h+(x,0,1) h(x,0,1)
ic1,n(n+ 3)3,2
n!ωn
h0(x)2h(x,0,1)2(h(x,0,1) 3h+(x,0,1))
(h+(x,0,1) h(x,0,1))3C3(x, ιngιngιng)+
i(n+ 1)2
4
(ξh(x,0,1) · ∇xh+(x,0,1) xnh+(x,0,1))
h+(x,0,1) h(x,0,1) =
=ic1,n(n21)
n!ωn3
2h0(x)C3(x, g ιng) + 4(n+ 3)
h0(x)2C3(x, ιngιngιng)+
+2
4h0(x)xnh0(x) + b(x)
h0(x)· ∇xh0(x),
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 73
and
a1,(x, ξ, R) = ic1,n(n+ 3)3,2
n!ωn
h(x,0,1)3
h0(x)2(h+(x,0,1) h(x,0,1))2C3(x, ιngιngιng) =
=c1,n(n21)(n+ 3)
4·n!ωnh0(x)5/2C3(x, ιngιngιng)
Continuing from Equation (57), we have that
w,1(x,0,0,1)ξnw+,0(x,0,0,1) =
=µ
n!ωnic1,n(n21)
n!ωn3
2C3(x, g ιng) + 4(n+ 3)
h0(x)C3(x, ιngιngιng)
2
4xnh0(x) + b(x)
h0(x)· ∇xh0(x)+ic1,n(n21)(n+ 3)
4·n!ωnh0(x)C3(x, ιngιngιng)
3i
2µ2xnh0(x) + b(x)
h0(x)· ∇xh0(x)=
=c1,n(n21)
(n!ωn)23
2C3(x, g ιng) + 17(n+ 3)
4h0(x)C3(x, ιngιngιng)
73
4·n!ωnxnh0(x) + b(x)
h0(x)· ∇xh0(x).
Lemma F.5. The following identity holds on ∂X :
w,0(x,0,0,1)ξnw+,1(x,0,0,1) =
=ic1,n(n21)
(n!ωn)23(µ1)
2C3(x, g ιng) + µ(n+ 3)
4h0(x)C3(x, ιngιngιng)+
+2(3µ5)
4·n!ωnxnh0(x) + b(x)
h0(x)· ∇xh0(x).
Proof. Recall the computation of w+,1from Proposition 5.20, and the homogeneous symbols
a+,0(of degree 0) and a+,1(of degree 1) computed in Proposition 5.16 and explicitly given in
Equation (34) and (35), respectively. Note that a+,0,a+,1,h0and h±are independent of ξn.
We compute that
w,0(x,0,0,1)ξnw+,1(x,0,0,1) =
=1
n!ωn
h0(x)µ(h(x,0,1))µ·
·(µ1)a+,0(x,0,1)(h+(x,0,1))µ2+ (µ2)a+,1(x,0,1)(h+(x,0,1))µ3+
+2(µ2)(xnh+(x,0,1) − ∇ξh+(x,0,1) · ∇xh+(x,0,1))(h+(x,0,1))µ3=
=1
n!ωn(µ1)a+,0(x,0,1)h0(x)2(h(x,0,1))2+
+ (µ2)a+,1(x,0,1)h0(x)3(h(x,0,1))3+
+2(µ2)(xnh+(x,0,1) − ∇ξh+(x,0,1) · ∇xh+(x,0,1))h0(x)3(h(x,0,1))3=
=1
n!ωn(µ1)a+,0(x,0,1)h0(x) + i(µ2)a+,1(x,0,1)h0(x)3/2+
+2(µ2)
2xnh0(x) + b(x)
h0(x)· ∇xh0(x).
(58)
74 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
Computing with Equation (34) and (35) gives us
a0,+(x,0,1) = 3ic1,n(n21)
n!ωn
C3(x, g ιng)h+(x,0,1)
h0(x)(h+(x,0,1) h(x,0,1))+
+ic1,n(n+ 3)3,2
n!ωn
h+(x,0,1)2(h+(x,0,1) 3h(x,0,1))
h0(x)2(h+(x,0,1) h(x,0,1))3C3(x, ιngιngιng)+
+2ξh(x,0,1) · ∇xh+(x,0,1) xnh+(x,0,1)
h+(x,0,1) h(x,0,1) =
=ic1,n(n21)
n!ωn3C3(x, g ιng)ih0(x)1/2
h0(x)2ih0(x)1/2+
+ (n+ 3)(ih0(x)1/2)24ih0(x)1/2
h0(x)2(2ih0(x)1/2)3C3(x, ιngιngιng)+
+2
b(x)
h0(x)·ixh0(x)
2h0(x)3/2+i
2
xnh0(x)
h0(x)3/2
2ih0(x)1/2=
=ic1,n(n21)
n!ωn3
2h0(x)C3(x, g ιng) + n+ 3
2h0(x)2C3(x, ιngιngιng)+
+2
4h0(x)xnh0(x) + b(x)
h0(x)· ∇xh0(x)
and
a1,+(x,0,1) =ic1,n(n+ 3)3,2
n!ωn
h+(x,0,1)3
h0(x)2(h+(x,0,1) h(x,0,1))2C3(x, ιngιngιng) =
=c1,n(n21)(n+ 3)
4·n!ωnh0(x)5/2C3(x, ιngιngιng).
Continuing from Equation (58), we have that
w,0(x,0,0,1)ξnw+,1(x,0,0,1) =
=1
n!ωn(µ1)ic1,n (n21)
n!ωn3
2C3(x, g ιng) + n+ 3
2h0(x)C3(x, ιngιngιng)+
+2(µ1)
4xnh0(x) + b(x)
h0(x)· ∇xh0(x)+
ic1,n(n21)(n+ 3)(µ2)
4·n!ωnh0(x)C3(x, ιngιngιng)+
+2(µ2)
2xnh0(x) + b(x)
h0(x)· ∇xh0(x)=
=ic1,n(n21)
(n!ωn)23(µ1)
2C3(x, g ιng) + µ(n+ 3)
4h0(x)C3(x, ιngιngιng)+
+2(3µ5)
4·n!ωnxnh0(x) + b(x)
h0(x)· ∇xh0(x).
Lemma F.6. The following identity holds on ∂X :
xw,0(x,0,0,1) · ∇ξξnw+,0(x,0,0,1) = µ2(µ1)
2·n!ωn
b(x)
h0(x)· ∇xh0(x).
SEMICLASSICAL ANALYSIS OF A NONLOCAL BOUNDARY VALUE PROBLEM 75
Proof. We compute that
xw,0(x,0,0,1) · ∇ξξnw+,0(x,0,0,1) =
=µ2(µ1)
n!ωnxh0(x)h0(x)µ1(h(x,0,1))µ− ∇xh(x,0,1)h0(x)µ(h(x,0,1))µ1·
· ∇ξh+(x,0,1)(h+(x,0,1))µ2=
=µ2(µ1)
n!ωnxh0(x)· ∇ξh+(x,0,1)h(x,0,1)
h+(x,0,1)+
+xh(x,0,1) · ∇ξh+(x,0,1) h0(x)
h+(x,0,1)=
=µ2(µ1)
n!ωnb(x)
h0(x)· ∇xh0(x)b(x)
2h0(x)· ∇xh0(x)=µ2(µ1)
2·n!ωn
b(x)
h0(x)· ∇xh0(x)
References
[1] H. Antil, T. Berry, J. Harlim, Fractional diffusion maps, Applied and Computational Harmonic Analysis
54 (2021), pp. 145–175.
[2] J. A. Barcel´o, and A. Carbery, On the magnitudes of compact sets in Euclidean spaces, Amer. J. Math.
140 (2018), pp. 449–494.
[3] R. Berman, S. Boucksom, D. Witt Nystr¨om, Fekete points and convergence towards equilibrium measures
on complex manifolds, Acta Math. 207 (2011), no. 1, pp. 1–27.
[4] R. J. Berman, Determinantal point processes and fermions on polarized complex manifolds: bulk univer-
sality, Algebraic and analytic microlocal analysis, pp. 341–393, Springer Proc. Math. Stat., 269, Springer,
Cham, 2018.
[5] R. L. Bishop, Decomposition of cut loci, Proc. Amer. Math. Soc. 65 (1977), pp. 133–136.
[6] E. Bunch, J. Kline, D. Dickinson, S. Bhat, G. Fung, Weighting vectors for machine learning: numerical
harmonic analysis applied to boundary detection, arXiv:2106.00827.
[7] E. Bunch, J. Kline, D. Dickinson, G. Fung, Practical applications of metric space magnitude and weighting
vectors, arXiv:2006.14063.
[8] S. Cho, Quantales, persistence, and magnitude homology, arXiv:1910.02905.
[9] G. I. Eskin, Boundary value problems for elliptic pseudodifferential equations, Translations of Mathematical
Monographs, 52. American Mathematical Society, Providence, R.I., 1981.
[10] R. L. Frank, E. H. Lieb, A ‘liquid-solid’ phase transition in a simple model for swarming, based on the ‘no
flat-spots’ theorem for subharmonic functions, Indiana Univ. Math. J. 67 (2018), pp. 1547–1569.
[11] H. Gimperlein, M. Goffeng, On the magnitude function of domains in Euclidean space, Amer. J. Math. 143
(2021), pp. 939–967.
[12] H. Gimperlein, M. Goffeng, N. Louca, The magnitude and spectral geometry, preprint.
[13] D. Govc, R. Hepworth, Persistent magnitude, J. Pure Appl. Algebra 225 (2021), no. 3, Paper No. 106517,
40 pp.
[14] G. Grubb, Spectral results for mixed problems and fractional elliptic operators, J. Math. Anal. Appl. 421
(2015), pp. 1616–1634.
[15] G. Grubb, Fractional Laplacians on domains, a development of H¨ormander’s theory of µ-transmission
pseudodifferential operators, Adv. Math. 268 (2015), pp. 478–528.
[16] G. Grubb, Local and nonlocal boundary conditions for µ-transmission and fractional elliptic pseudodiffer-
ential operators, Anal. PDE 7 (2014), pp. 1649–1682.
[17] G. Grubb, Green’s formula and a Dirichlet-to-Neumann operator for fractional-order pseudodifferential
operators, Comm. Partial Differential Equations 43 (2018), pp. 750–789.
[18] G. Grubb, Integration by parts and Pohozaev identities for space-dependent fractional-order operators, J.
Differential Equations 261 (2016), pp. 1835–1879.
[19] G. Grubb, Functional Calculus of Pseudodifferential Boundary Problems, Birkh¨auser Boston, 1996.
[20] S. Holman, G. Uhlmann, On the microlocal analysis of the geodesic X-ray transform with conjugate points,
J. Differential Geom. 108 (2018), no. 3, pp. 459–494.
[21] L. ormander, Seminar notes on pseudo-differential operators and boundary prob-
lems, Lectures at IAS Princeton 1965-66, available from Lund University,
https://lup.lub.lu.se/record/7c9d8485-d7d6-4d47-80a5-a5533685c4ca.
[22] L. H¨ormander, The analysis of linear partial differential operators. I. Distribution theory and Fourier
analysis, Reprint of the 1994 edition. Classics in Mathematics. Springer, Berlin, 2007.
[23] L. H¨ormander, The analysis of linear partial differential operators. III. Pseudo-differential operators,
Reprint of the 1994 edition. Classics in Mathematics. Springer, Berlin, 2007.
[24] T. Leinster, and C. A. Cobbold, Measuring diversity: the importance of species similarity, Ecology 93
(2012), pp. 477–489.
76 HEIKO GIMPERLEIN, MAGNUS GOFFENG, NIKOLETTA LOUCA
[25] T. Leinster, The magnitude of metric spaces, Doc. Math. 18 (2013), pp. 857–905.
[26] T. Leinster, M. Meckes, The magnitude of a metric space: from category theory to geometric measure
theory, in: N. Gigli (ed.), Measure theory in non-smooth spaces, pp. 156–193, Partial Differ. Equ. Meas.
Theory, De Gruyter Open, Warsaw, 2017.
[27] T. Leinster, M. Shulman, Magnitude homology of enriched categories and metric spaces, Algebr. Geom.
Topol. 21 (2021), pp. 2175–2221.
[28] T. Leinster, S. Willerton, On the asymptotic magnitude of subsets of Euclidean space, Geom. Dedicata
164(1) (2013), pp. 287–310.
[29] M. Lesch, Operators of Fuchs type, conical singularities, and asymptotic methods, Teubner-Texte zur Math-
ematik, 136. B. G. Teubner Verlagsgesellschaft mbH, Stuttgart, 1997. arXiv:dg-ga/9607005.
[30] M. Lesch, On the noncommutative residue for pseudodifferential operators with log-polyhomogeneous sym-
bols, Ann. Global Anal. Geom. 17, 2 (1999), pp. 151–187.
[31] W. McLean, Strongly elliptic systems and boundary integral equations, Cambridge University Press, Cam-
bridge, 2000.
[32] M. Meckes, Positive definite metric spaces, Positivity 17 (2013), pp. 733–757.
[33] M. Meckes, Magnitude, diversity, capacities and dimensions of metric spaces, Potential Anal. 42 (2015),
pp. 549–572.
[34] M. Meckes, On the magnitude and intrinsic volumes of a convex body in Euclidean space, Mathematika 66
(2020), pp. 343–355.
[35] N. Otter, Magnitude meets persistence. Homology theories for filtered simplicial sets, arXiv:1807.01540.
[36] S. G. Samko, A. A. Kilbas, O. I. Marichev, Fractional Integrals and Derivatives: Theory and Applications,
Gordon and Breach Science Publishers, Amsterdam, 1993.
[37] L. Schwartz, Th´eorie des distributions, Hermann, Paris, 1997.
[38] M. Shubin, Pseudodifferential operators and spectral theory, Springer-Verlag, Berlin, second edition, 2001.
[39] S. R. Simanca, Pseudo-differential operators, Pitman Research Notes in Mathematics Series, 236. Longman
Scientific & Technical, Harlow; copublished in the United States with John Wiley & Sons, Inc., New York,
1990.
[40] V. W. Summer, Torsion in the Khovanov homology of links and the magnitude ho-
mology of graphs, Ph.D. thesis, North Carolina State University, 2019, available at
https://repository.lib.ncsu.edu/handle/1840.20/36588
[41] H. Triebel, D. Yang, Spectral theory of Riesz potentials on quasi-metric spaces, Math. Nachr. 238 (2002),
pp. 160–184.
[42] F. W. Warner, The conjugate locus of a Riemannian manifold, Amer. J. Math. 87 (1965), pp. 575–604.
[43] S. Willerton, Heuristic and computer calculations for the magnitude of metric spaces, arXiv:0910.5500.
[44] S. Willerton, On the magnitude of spheres, surfaces and other homogeneous spaces, Geom. Dedicata 168
(2014), pp. 291–310.
[45] S. Willerton, The magnitude of odd balls via Hankel determinants of reverse Bessel polynomials, Discrete
Anal. 2020, Paper No. 5, 42 pp.
[46] A. Zabrodin, P. Wiegmann, Large-N expansion for the 2D Dyson gas, Journal of Physics A 39 (2006),
pp. 8933–8963.
Heiko Gimperlein, Nikoletta Louca
Maxwell Institute for Mathematical Sciences and
Department of Mathematics, Heriot-Watt University
Edinburgh EH14 4AS
United Kingdom
Magnus Goffeng,
Centre for Mathematical Sciences
University of Lund
Box 118, SE-221 00 Lund
Sweden
Email address:h.gimperlein@hw.ac.uk, nl24@hw.ac.uk, magnus.goffeng@math.lth.se
ResearchGate has not been able to resolve any citations for this publication.
Article
Full-text available
Magnitude is an invariant of metric spaces with origins in category theory. Using potential theoretic methods, Barcel\'o and Carbery gave an algorithm for calculating the magnitude of any odd dimensional ball in Euclidean space, and they proved that it was a rational function of the radius of the ball. In this paper an explicit formula is given for the magnitude of each odd dimensional ball in terms of a ratio of Hankel determinants of reverse Bessel polynomials. This is done by finding a distribution on the ball which solves the weight equations. Using Schr\"oder paths and a continued fraction expansion for the generating function of the reverse Bessel polynomials, combinatorial formulae are given for the numerator and denominator of the magnitude of each odd dimensional ball. These formulae are then used to prove facts about the magnitude such as its asymptotic behaviour as the radius of the ball grows.
Article
Full-text available
We study Leinster's notion of magnitude for a compact metric space. For a smooth, compact domain XR2m1X\subset \mathbb{R}^{2m-1}, we find geometric significance in the function MX(R)=mag(RX)\mathcal{M}_X(R) = \mathrm{mag}(R\cdot X). The function MX\mathcal{M}_X extends from the positive half-line to a meromorphic function in the complex plane. Its poles are generalized scattering resonances. In the semiclassical limit RR \to \infty, MX\mathcal{M}_X admits an asymptotic expansion. The three leading terms of MX\mathcal{M}_X at R=+R=+\infty are proportional to the volume, surface area and integral of the mean curvature. In particular, for convex X the leading terms are proportional to the intrinsic volumes, and we obtain an asymptotic variant of the convex magnitude conjecture by Leinster and Willerton, with corrected coefficients.
Article
Full-text available
The paper treats boundary value problems for the fractional Laplacian (Δ)a(-\Delta )^a, a>0a>0, and its generalizations to pseudodifferential operators (ψ\psi do's) P of order 2a with even symbol, applied to functions on a smooth subset Ω\Omega of Rn{\Bbb R}^n. There are several meaningful local boundary conditions, such as the Dirichlet and Neumann conditions γka1u=φ\gamma_k^{a-1}u=\varphi , k=0,1, where γka1u=Γ(a+1+k)γk(u/da1)\gamma_k^{a-1}u=\Gamma (a+1+k)\gamma_k(u/d^{a-1}), d(x)=dist(x,Ω)d(x)=\operatorname{dist}(x,\partial\Omega ). We show a new Green's formula (Pu,v)Ω(u,Pv)Ω=(s0γ1a1u+Bγ0a1u,γ0a1v)Ω(s0γ0a1u,γ1a1v)Ω,(Pu,v)_\Omega -(u,P^*v)_\Omega =(s_0\gamma_1^{a-1}u+B\gamma_0^{a-1}u,\gamma_0^{a-1}v)_{\partial\Omega }-(s_0\gamma_0^{a-1}u,\gamma_1^{a-1}v)_{\partial\Omega }, where B is a first-order ψ\psi do on Ω\partial\Omega . Moreover, we show in the elliptic case how the Poisson-like solution operator KDK_D for the nonhomogeneous Dirichlet problem is constructed from P+P^+ in the factorization PPP+P\sim P^-P^+ obtained in earlier work. The Dirichlet-to-Neumann operator SDN=γ1a1KDS_{DN}=\gamma_1^{a-1}K_D is derived from this as a first-order ψ\psi do on Ω\partial\Omega , with an explicit formula for the principal symbol. This leads to a characterization of those operators P for which the Neumann problem is Fredholm solvable.
Article
Magnitude homology is a bigraded homology theory for finite graphs defined by Hepworth and Willerton, categorifying the power series invariant known as magnitude which was introduced by Leinster. We analyze the structure and implications of torsion in magnitude homology. We show that any finitely generated abelian group may appear as a subgroup of the magnitude homology of a graph, and, in particular, that torsion of a given prime order can appear in the magnitude homology of a graph and that there are infinitely many such graphs. Finally, we provide complete computations of magnitude homology of a class of outerplanar graphs and focus on the ranks of the groups along the main diagonal of magnitude homology.
Article
In this paper, we extend the diffusion maps algorithm on a family of heat kernels that are either local (having exponential decay) or nonlocal (having polynomial decay), arising in various applications. For example, these kernels have been used as a regularizer in various supervised learning tasks for denoising images. Importantly, these heat kernels give rise to operators that include (but are not restricted to) the generators of the classical Laplacian associated to Brownian processes as well as the fractional Laplacian associated with β-stable Lévy processes. For local kernels, while the method is a version of the diffusion maps algorithm, we show that the applications with non-Gaussian local heat kernels approximate temporally rescaled Laplace-Beltrami operators. For the non-local heat kernels, we modify the diffusion maps algorithm to estimate fractional Laplacian operators. Here, the graph distance is used to approximate the geodesic distance with appropriate error bounds. While this approximation becomes numerically expensive as the number of data points increases, it produces an accurate operator estimation that is robust to the choice of the kernel bandwidth parameter value. In contrast, the local kernels are numerically more efficient but more sensitive to the choice of kernel bandwidth parameter value. In an application to estimate non-smooth regression functions, we find that using the nonlocal kernel as a regularizer produces a more robust and accurate estimate than using local kernels. For manifolds with boundary, we find that the proposed fractional diffusion maps framework implemented with non-local kernels approximates the regional fractional Laplacian.
Article
Magnitude is a numerical invariant of enriched categories, including in particular metric spaces as [0,)[0,\infty)-enriched categories. We show that in many cases magnitude can be categorified to a homology theory for enriched categories, which we call magnitude homology (in fact, it is a special sort of Hochschild homology), whose graded Euler characteristic is the magnitude. Magnitude homology of metric spaces generalizes the Hepworth--Willerton magnitude homology of graphs, and detects geometric information such as convexity.
Article
We consider a non-local shape optimization problem, which is motivated by a simple model for swarming and other self-assembly/aggregation models, and prove the existence of different phases. A technical key ingredient, which we establish, is that a strictly subharmonic function cannot be constant on a set of positive measure.
Article
Magnitude is a numerical isometric invariant of metric spaces, whose definition arises from a precise analogy between categories and metric spaces. Despite this exotic provenance, magnitude turns out to encode many invariants from integral geometry and geometric measure theory, including volume, capacity, dimension, and intrinsic volumes. This paper will give an overview of the theory of magnitude, from its category-theoretic genesis to its connections with these geometric quantities.