Abstract
Consider a second order, strongly elliptic negative semidefinite differential operator L (may be a system) on a compact Riemannian manifold \(\overline{M}\) with smooth boundary, where the domain of L is defined by a coercive boundary condition. Classically known results, and also recent work in Duong et al. (J Funct Anal 196:443–485, 2002) and Duong and McIntosh (Rev Math Iberoam 15:233–265, 1999) establish sufficient conditions for \(L^\infty -\text {BMO}_L\) continuity of \(\varphi (\sqrt{-L})\), where \(\varphi \in S^0_1({\mathbb {R}})\), and L is a suitable elliptic operator. Using a variant of the Cheeger–Gromov–Taylor functional calculus due to Mauceri et al. (Math Res Lett 16:861–879, 2009), and short time upper bounds on the integral kernel of \(e^{tL}\) due to Greiner (Arch Ration Mech Anal 41:168–218, 1971), we prove that a variant of such sufficient conditions holds for our operator L.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Consider a compact Riemannian manifold \(\overline{M}\) with smooth metric and smooth boundary, and a second order strongly elliptic differential operator \(L:L^2(M, E) \rightarrow L^2(M, E)\) with smooth coefficients, where E is a complex vector bundle with Hermitian metric. Assume a regular elliptic boundary condition \(B(x, \partial _x)u = 0\) on \(\partial M\) (see Proposition 11.9, Chapter 5 of [24]; see also [13] for general background information) which makes L into a negative semidefinite self-adjoint operator with domain \(\mathcal {D}(L) \subset H^2(M, E)\). For notational convenience, we will drop the letter E when denoting the space of sections; for example, \(L^2(M)\), or just \(L^2\), will stand for \(L^2(M, E)\) henceforth. Also, \(T:B_1 \rightarrow B_2\) will mean that T is a bounded linear operator from \(B_1\) to \(B_2\), where \(B_i\) are Banach spaces.
Given a bounded continuous function \(\psi :{\mathbb {R}}\longrightarrow {\mathbb {R}}\), the spectral theorem defines
as a bounded self-adjoint operator. Following [20, 23], here we consider functions \(\varphi \) in the pseudodifferential function class \(S^0_1({\mathbb {R}})\), which means that
We wish to prove that
Theorem 1.1
For the definition of \(\text {BMO}_L\), see Definition 2.1 and Lemma 1.5, which is in turn motivated by definitions in [8] (see also [1, 5] and [12]). As a corollary, we get that
Corollary 1.2
In a compact setting, and in the absence of a boundary, results like Theorem 1.1 are well-known (see [17], for example). Also well-known are sufficient conditions for such results in the general setting of a metric measure space, for example, see Theorem 1.6 below, which is due to [6]. However, except for well-behaved scalar elliptic operators (like the Laplace–Beltrami operator associated with the metric on M) with nice boundary conditions and global “heat kernel” bounds, such sufficient conditions are not easy to verify. As mentioned in the abstract, our main technical lemma for proving Theorem 1.1 is to check the following variant of the sufficiency condition proved in Theorem 3 of [6] (see also [8]):
Lemma 1.3
With \(\varphi ^{\#}(\sqrt{-L})\) as in (1.14) and (1.15), denote by \(k^{\#}(x, y)\) and \(k_t(x, y)\) the integral kernels of \(\varphi ^{\#}(\sqrt{-L})\) and the composite operator \(\varphi ^{\#}(\sqrt{-L})e^{tL}\) respectively. We have for some \(\varepsilon > 0,\)
Observe that the due to the generality of the elliptic operator L (we do not assume, for instance, that L can be written in the form \(D^*D\), where D is a first order differential operator), and due to the generality of the boundary conditions, Gaussian bounds on the integral kernel of \(e^{tL}\) are rather non-trivial to derive. Short time bounds are known from the work in [10]:
Theorem 1.4
(Greiner) Let \(\overline{M}\) be a compact manifold with boundary, and L be a second order self-adjoint negative semidefinite elliptic system defined by regular elliptic boundary conditions. If p(t, x, y) denotes the integral kernel for \(e^{tL},\) for some \(\kappa \in (0, \infty )\) we have,
and
Since the “heat kernel” bounds here are only known for short time, we prove Theorem 1.1 in two main steps. Firstly, we define a concept of local \(\text {BMO}_L\) spaces, denoted by \(\text {BMO}^\epsilon _L\) (see Definition 2.1 below). Then, Lemma 1.3 proves that \(\varphi ^{\#}(\sqrt{-L}) :L^\infty \rightarrow \text {BMO}_L^\epsilon \). This we supplement by the following lemma, which proves that \(\text {BMO}_{L}^\epsilon \) is in fact independent of \(\epsilon \).
Lemma 1.5
where \(R > 0\).
1.1 Tools, preliminaries and motivation
Our main tool will be the functional calculus used in [2], namely
We see that \(\sqrt{-L}\) is a first order elliptic self-adjoint operator with compact resolvent. So, Spec\((\sqrt{-L})\) is a discrete subset of \([0, \infty )\), and it is no loss of generality to assume that \(\varphi (\lambda )\) is an even function of \(\lambda \). This reduces (1.9) to
where \(\text {cos }t\sqrt{-L}\) is the solution operator to the “wave equation” with zero initial velocity, i.e.,
where
together with the coercive boundary conditions mentioned above.
We split (1.10) into two parts in the following way: let, for \(a > 0\) small, \(\theta (t)\) be an even function, such that
Now, denote
Then, we can write
where both \(\varphi ^{\#}(\sqrt{-L})\) and \(\varphi ^b(\sqrt{-L})\) are self-adjoint.
Now, (1.2) implies that \(\varphi ^b\) is smooth and rapidly decreasing. So we have
Then, the ellipticity of L implies
This is because, we can write \(\varphi ^b(\lambda ) = (1 + |\lambda |^2)^{-s/2}\psi ^b(\lambda ),\ s \in \mathbb {N}\), where \(\psi ^b(\lambda )\) is a bounded function. That implies
By the spectral theorem, \(\psi ^b(\sqrt{-L})\) is bounded on \(L^2\), and
We can see that \(L^1(M) \subset C(\overline{M})^*\) and the inclusion is continuous. Also, when \(m > n/2\), \(H^m(M) \subset C(\overline{M})\) by Sobolev embedding. This gives, via duality on (1.16), and self-adjointness of \(\varphi ^b(\sqrt{-L})\), that
This interpolates with (1.1) to give
Results of the type (1.4) have been well-studied for complete Riemannian manifolds M without boundary and \(L = \Delta \), the Laplace–Beltrami operator. When M is compact, we refer to [19], particularly the combination of Theorem 1.3 of Chapter XII and Theorem 2.5 of Chapter XI. For results in the non-compact setting, refer to [2, 14, 21,22,23], etc. In the papers which deal with a non-compact setting, an additional difficulty is in analyzing \(\varphi ^b(\sqrt{-\Delta })\), because of the failure of the compact Sobolev embedding. Particularly for manifolds like the hyperbolic space, where the volume growth is exponential with respect to the distance, one requires more stringent restrictions on \(\varphi \), namely, \(\varphi \) being holomorphic on a strip around the x-axis, satisfying bounds of the form (1.2). This condition was first introduced in the paper [3]. This motivated some research on the optimal width of said strip; to the best of our knowledge, the sharpest results in this direction appear in [22]. Also, in [2], \(\varphi ^{\#}(\sqrt{-\Delta })\) was analyzed as a pseudodifferential operator, something we cannot do in our present setting because of the presence of a boundary. It is well-known that the scalar square root of the Laplacian fails the “transmission condition” (see, for example, equation (18.2.20) of [11]) to be a pseudodifferential operator (in this context, see also [25, 26]). Our analysis will be a combination of methods from [6, 9], and the approach of [23], which follows and refines the results in [14].
Let us discuss some of the main lines of investigation in [6, 9]. The results therein are rather general, set in the context of an open subset X of a metric measure space of homogeneous type. If L is a negative semi-definite, self-adjoint operator on \(L^2(X)\), they assume that the integral kernel of L satisfies
Theorem 3.1 of [9] establishes \(L^p\)-continuity of \(\varphi ((-L)^{1/m})\) via proving that it is weak type (1, 1). What mainly concerns us with [9] is the fact that they proved \(L^p\) continuity of \(\varphi ((-L)^{1/m})\) via using the following result from [6]:
Theorem 1.6
(Duong–McIntosh) Under the hypothesis on L outlined above, let \(k_t(x, y)\) denote the integral kernel of \(\varphi ((-L)^{1/m})(I - e^{tL}),\) where \(\varphi :{\mathbb {R}}\rightarrow {\mathbb {R}}\) is bounded and continuous. Also assume
Then \(\varphi ((-L)^{1/m})\) is of weak type (1, 1).
It is naturally interesting to investigate when conditions like (1.20) are satisfied. In this paper, our aim is to check that (1.20) holds for a large class of operators L, as mentioned before, in the setting of a smooth compact manifold with boundary.
We also note here that in the proof of \(L^p\)-boundedness of \(\varphi (\sqrt{-L})\) in [20], the main approach is to prove the following
Lemma 1.7
(Taylor) There exists \(C < \infty ,\) independent of \(s \in (0, 1]\) and of \(y, y' \in \overline{M},\) such that
where \(K^{\#}(x, y)\) is the integral kernel of \(\varphi ^{\#}(\sqrt{-L})\).
With that in place, as is noted in [20], the weak type (1, 1) property of \(\varphi ^{\#}(\sqrt{-L})\) is a consequence of Proposition 3.1 of [14], which is a variant of Theorem 2.4 in Chapter III of [4].
Note that we are yet to argue the \(L^\infty - \text {BMO}_L\) boundedness of \(\varphi ^b(\sqrt{-L})\); this we will do at the beginning of Sect. 3. So, for all continuity related aspects, for the rest of our investigation, we will mainly be concerned with just \(\varphi ^{\#}(\sqrt{-L})\). These boundedness considerations will largely be addressed in Sects. 2 and 3. For those sections, our standing assumption will be the following:
Assumption
\(\text {cos }t\sqrt{-L}\) has finite speed of propagation, which, by scaling L if necessary, we will assume to be \(\le 1\).
It seems a challenging question to determine when \(\text {cos }t\sqrt{-L}\) has finite speed of propagation. However, for a reasonable class of operators L, we can prove the following “Davies–Gaffney” type estimates:
Proposition 1.8
Let \(-L = D^*D + H\) with the generalized Dirichlet or Neumann boundary conditions on D, as defined in (5.3) and (5.4), and with \(H \ge 0\) in \(L^2(M)\). Let U, V be two open balls such that dist\((U, V) = r\). With \(t>0\) fixed, let \(\phi (x) = \frac{r}{t}\text {dist }(x, U)\) and \(P = [D, e^\phi ]\) denote the usual commutator operator. Then \(\text {cos }t\sqrt{-L}\) has finite speed of propagation if it satisfies for all \(v \in L^2(V)\) the following :
Equation (1.21) follows when \(|D\phi |\) is bounded. As a special case, (1.21) follows trivially when \(L = \Delta \) with the Dirichlet or Neumann boundary conditions.
One last comment: for the purposes of proving Lemma 1.3, we will also a modification of (1.9), following [14, 20, 23]. For details on this, see Sect. 2.2.
1.2 Outline of the paper
In Sect. 2, we prove that Definition 2.1 of \(\text {BMO}^\epsilon _L\) is independent of \(\epsilon \), as long as we are on a compact setting. This is the content of Lemma 1.5. Then we proceed to prove our main technical lemma of the paper, Lemma 1.3. We begin Sect. 3 by arguing the \(L^\infty - \text {BMO}_L\) continuity of \(\varphi ^b(\sqrt{-L})\), and then prove in Proposition 3.1 (using Lemma 1.3) the \(L^\infty -\text {BMO}_L\) continuity of \(\varphi ^{\#}(\sqrt{-L})\), which finally proves Theorem 1.1. In Appendix 1, we collect together some useful information about the integral kernels of the operators \(e^{tL}\) and \(e^{-t\sqrt{-L}}\). The properties we establish are quite parallel to their usual scalar Laplacian counterparts, and are at the background of some of the estimates we derive in the main body of the paper. In Appendix 2, we prove some partial results towards establishing sufficient criteria for \(\text {cos }t\sqrt{-L}\) to have finite propagation speed. To wit, we prove that for those operators L which can be written in the specific form (5.1), under generalized Dirichlet or Neumann boundary conditions (see (5.3) and (5.4) below), and under the assumption (1.21), \(\text {cos }t\sqrt{-L}\) has finite speed of propagation. This is the content of Proposition 1.8.
2 Proof of Lemma 1.3
2.1 \(\text {BMO}_L\) and its variants
We combine the definition of \(\hbox {BMO}_L\) in [7] with the definition of local BMO spaces in [21] to give the following
Definition 2.1
\(f \in L^1_{loc}(M)\) is in BMO\(^\epsilon _L(M)\) if
where \(\sqrt{t}\) is the radius of the ball B, and B ranges over all balls in M of radius \(\le \epsilon \). Let
where \(\sqrt{t}\) is the radius of the ball B, and \(\mathcal {B}\) contains all balls of radius \(\le \epsilon \).
We now make the observation that our definition of \(BMO_L^\epsilon \) is actually independent of the \(\epsilon \) chosen.
Proof
Clearly,
For the reverse inequality, let us fix a point \(y \in \overline{M}\). Then we have, for \(r \le R\),
where A denotes the “annulus” \(B_{\sqrt{2r}}(y) \setminus B_{\sqrt{r}}(y)\), which can be covered by at most K balls of radius \(\sqrt{r}\), where K is a positive number independent of r, because \(\overline{M}\) is compact. Also, in the ensuing calculation, we tacitly use the fact that the volume of a ball of radius r is uniformly bounded.
Now, the last quantity in the above equation is
Putting everything together, we have that
Now, if we let \(e^{rL}f(x) = g(x)\), and can prove that
then we have that each of A, B, C is \(\lesssim \Vert f\Vert _{\text {BMO}^{\sqrt{R}}_L}\), giving us our result from (2.3).
Now we justify (2.4). Choose \(\varepsilon > 0\) and let \(\mathcal {B}\) consist of all balls in M whose radii are \(\le \varepsilon \). Choose \(s > 0\) such that \(\sqrt{s} \le \varepsilon \). As per the notation above, if \(u(x) = e^{sL}f(x) - f(x)\), observe that it suffices to prove that
Now, we have,
So we are done if we can prove that
Consider a partition of \(\overline{M}\) into balls coming from \(\mathcal {B}\). Let \(\overline{M} = \coprod _n B_n\), where \(B_n \in \mathcal {B}\). Then,
This finishes the proof. \(\square \)
2.2 A modification of the [2] functional calculus
At this point, let us recall the main approach of [14, 20, 23]. The analysis in these papers avoided producing a parametrix for (1.10). Instead, they replaced (1.10) by the following
where
\(J_\nu (\lambda )\) denoting the standard Bessel function (see [23], equation (3.1) and [24], Chapter 3, Section 6 for more details on Bessel functions), and
Taylor [23] derives (2.5) from (1.10) by an integration by parts argument (see (3.7)–(3.9) of [23]). Similarly, from [23], (3.14), we have
with
Also, (1.2) implies
which in turn implies
Now, let \(k^{\#}(x, y)\) denote the integral kernel of \(\varphi ^{\#}(\sqrt{-L})\), that is,
Without any loss of generality, we can scale L so that the speed of propagation of \(\text {cos }t\sqrt{-L}\) is \(\le 1\), which has been stated as an assumption on page 4. Also, let us select \(a = 1\) in (2.7) and (1.13).
Now we address one fundamental question: why this choice of a and why is the finite propagation speed of \(\text {cos }t\sqrt{-L}\) so important? This has to do with the support of the integral kernel \(k^{\#}(x, y)\). If the speed of propagation of \(\text {cos }t\sqrt{-L}\) is \(\le 1\), then \(k^{\#}(x, y)\) is supported within a distance \(\le 1\) from the diagonal. Let us justify this: we have
Suppose the propagation speed of \(\text {cos }t\sqrt{-L}\) is \(\le 1\). Then, when \(|t| \le 1\),
When \(|t| > 1\), \(\hat{\varphi }^{\#}(t) = 0\). So, for all \(t \in {\mathbb {R}}\), \(\varphi ^{\#}(\sqrt{-L})f(x)\) will be zero for all \(x \in \overline{M}\) such that dist\((x, \text {supp }f) > 1\). Since this happens for all \(f \in L^2(M)\), we have that \(k^{\#}(x, y)\) is supported within a distance of 1 from the diagonal. This property will be crucially used in the sequel.
Using (2.6), (2.7) and the fact that \(\psi _k\) is an even function, we can write
where \(B_k(t, x, y)\) is the integral kernel of \(\mathcal {J}_{k - 1/2}(t\sqrt{-L})\), that is,
Let us also record the following formula:
We have assumed that the speed of propagation of \(\text {cos }t\sqrt{-L}\) is \(\le 1\). Observe that, written in symbols, this means,
where \(K_{|t|} = \{x \in \overline{M} :\text {dist}(x, K) \le |t|\}\). This gives, in conjunction with (2.11),
We now derive a technical estimate on \(\Vert B_k(s, x, .)\Vert _{L^2(B_1(x)})\) which we will find essential in the sequel. These estimates are variants of Lemma 2.2 in [20].
Lemma 2.2
If \(G :{\mathbb {R}}\longrightarrow {\mathbb {R}}\) satisfies
then
This implies, in particular, the following
Proof
We use the following estimate:
We write
Now, let \(F(\lambda ) = G(\lambda )(1 - \lambda ^2)^{\sigma }\). Then, using \(\gamma > n/2\) and \(2\sigma = \gamma + 1\), we see that
Since F is bounded, by the spectral theorem, \(F(s\sqrt{-L}) :L^2 \longrightarrow L^2\) is continuous. So by virtue of (2.16), our task is reduced to proving that
Now, we use the following identity from that can be derived from the definition of the gamma function:
which gives
where in going from the second to the third step, we have used that
and
This establishes (2.14). That is,
In particular, with \(f = \delta _x\) and using the compactness of \(\overline{M}\), we have
\(\square \)
We are in a position to prove Lemma 1.3.
Proof
We have
Also,
Interchanging the variables y and z, we get
Comparing (2.18) and (2.19), we get
Interchanging x and y and using the symmetry of the integral kernels, we get
Henceforth, we shall drop the subscript x in \(L_x\) and L will refer to a differential operator in the x-variable, unless otherwise mentioned explicitly. To show (1.5), all we want is a uniform bound on
To derive (2.20), it is clear (by the Mean value theorem) that a uniform bound on
where \(t' \in (0, t]\), will suffice. Now, since \(k^{\#}(x, y)\) is a fixed kernel, we can choose t small enough such that
where C does not depend on t. This latter quantity, using the relation between \(k^{\#}(x, y)\) and \(B_k(s, x, y)\) given by (2.10), is equal to
Now, when \(s' \le \sqrt{t}\), we have by (2.12) that \(\int _0^{s'} \psi _k(s) B(s, x, y) ds\) is supported on \(\{(x, y) \in \overline{M} \times \overline{M} :\text {dist}(x, y) \le s'\}\). So, (2.21) gives via (2.8) that,
which we must prove to be uniformly bounded. If we can prove
then we are done. Observe that this will be implied by
This is because, from (2.12), we see that \(B_k(s, ., y)\) is supported on the ball \(B_s(y) \subset \overline{M}\), so
So, we are done if we can prove that,
We observe that (2.23) is another variant of Lemma 2.2 of [20] and proceeds along absolutely similar lines. See the lemmas below, which finish the proof. \(\square \)
Lemma 2.3
Proof
For \(f \in L^2(M)\), call
Then u is a solution of
where B represents the coercive boundary condition defining \(\mathcal {D}(L)\). We have, by the Hille–Yosida theorem,
Let us pick \(\delta \in (0, 1], s_0 = \delta ,\) and \(x_0 \in \overline{M}\). Let \(U = \{x \in \overline{M} :\text {dist} (x, x_0) < 2\delta \}\). We now scale the s and the x variables by a factor of \(1/\delta \), and let \(v_s(x)\) denote the new function corresponding to \(u_s\) in the scaled variables. Then v solves
which is a coercive boundary valued elliptic system with uniformly smooth coefficients and uniform ellipticity bounds. On calculation,
From elliptic regularity estimates we get that
This can be obtained by iterating the estimate (11.29) of Chapter 5 of [24] to prove that \(\Vert u\Vert _{H^k(I \times \tilde{U_0} )} \lesssim \Vert u\Vert _{L^2((1/2, 3/2) \times \tilde{U})}\), where \(1 \in I \subset (1/2, 3/2)\), and taking k high enough such that \(H^k \hookrightarrow C^{2, \alpha }\) for some \(\alpha \). This implies (2.30). Scaling back gives our result
\(\square \)
Lemma 2.4
If \(G :\mathbb {R} \rightarrow \mathbb {R}\) satisfies
then
This implies (2.23).
Proof
We start by using the formula
That implies, in conjunction with (2.24),
where \(\sigma > n/2 + 2\). Also, in the above calculation, we have used that when \(r \ge 1\),
The facts that (2.32) implies (2.31) and (2.31) implies (2.23) are absolutely similar to the proof of Lemma 2.2. \(\square \)
3 \(L^\infty - \text {BMO}_L\) continuity
We see that (1.17) gives, by duality,
Now, we can prove the following inclusion on a compact manifold:
This is because, for small enough \(t > 0\), we have
Equations (3.1) and (3.2) give
which means
Equations (3.2) and (3.4) give
Finally, we have
Proposition 3.1
Proof
where \(\psi \) is a smooth cut-off function supported in \(B_{\sqrt{t} + \delta }(y)\), and \(\psi (x) \equiv 1\) on \(B_{\sqrt{t}}(y)\). Clearly, by Hölder’s inequality,
Also
where \(k_t\) is the integral kernel of \(\varphi ^{\#}(\sqrt{-L})e^{tL}\). Now, choosing t small,Footnote 1 we are done by Lemmas 1.3 and 1.5. \(\square \)
So, let us see the immediate consequence of Proposition 3.1. By virtue of this, we immediately have \(L^p\)-continuity of \(\varphi (\sqrt{-L})\) upon application of Theorem 5.6 of [8]. This \(L^p\)-continuity result is not new of course. It is established in a more general context in [9]. Reference [20] has a different proof of this same result.
Note also the \(L^\infty -\text {BMO}_L\) result in Theorem 6.2 of [8]. However, the conditions used to prove Theorem 6.2 in [8] are stronger than (1.6). So, in comparison, it can be said that we prove similar results in a more restricted setting, but with less assumptions on the heat semigroup \(e^{tL}\).
It is also a natural question to ask what happens if we adopt the seemingly more natural definition of \(\text {BMO}\) spaces, as follows:
where \(\mathcal {B}\) contains all balls of radius less than or equal to \(\epsilon \), B is a ball of radius \(\sqrt{t}\), and \(A_t\) is the operator whose integral kernel is given by
On calculation, it can be seen that estimates on
will imply that
where \(k_t\) represents the integral kernel of \(\varphi ^{\#}(\sqrt{-L})A_t\). The issue is, here \(A_t\) and \(\varphi ^{\#}(\sqrt{-L})\) do not necessarily commute.
Change history
09 May 2018
In the original publication, the corresponding author’s affiliation was missed to include the ‘Max Planck’ institution details.
Notes
This is the main reason for introducing \(BMO^\epsilon _L\) instead of just the usual \(BMO_L\).
References
Brezis, H., Nirenberg, L.: Degree theory and BMO. II. Compact manifolds with boundaries. With an appendix by the authors and Petru Mironescu. Sel. Math. (N.S.) 2(3), 309–368 (1996)
Cheeger, J., Gromov, M., Taylor, M.: Finite propagation speed, kernel estimates for functions of the Laplace operator, and the geometry of complete Riemannian manifolds. J. Differ. Geom. 17, 15–53 (1982)
Clerc, J., Stein, E.: \(L^p\)-multipliers for noncompact symmetric spaces. Proc. Natl. Acad. Sci. USA 71, 3911–3912 (1974)
Coifman, R., Weiss, G.: Analyse harmonique non commutative sur certains espaces homogènes. LNM \(\#\) 42. Springer, New York (1971)
Deng, D., Duong, X., Sikora, A., Yan, L.: Comparison of the classical BMO with the BMO spaces associated with operators and applications. Rev. Math. Iberoam. 24(1), 267–296 (2008)
Duong, X., McIntosh, A.: Singular integral operators with non-smooth kernels on irregular domains. Rev. Math. Iberoam. 15, 233–265 (1999)
Duong, X., Yan, L.: Duality of Hardy and BMO spaces associated with operators with heat kernel bounds. J. AMS 18, 943–973 (2005)
Duong, X., Yan, L.: New function spaces of BMO type, the John–Nirenberg inequality, interpolation, and applications. Commun. Pure Appl. Math. LVIII, 1375–1420 (2005)
Duong, X., Ouhabaz, E., Sikora, A.: Plancherel-type estimates and sharp spectral multipliers. J. Funct. Anal. 196, 443–485 (2002)
Greiner, P.: An asymptotic expansion for the heat equation. Arch. Ration. Mech. Anal. 41, 168–218 (1971)
Hörmander, L.: The Analysis of Linear Partial Differential Operators III. Classics in Mathematics. Springer, Berlin (2007)
John, F., Nirenberg, J.: On functions of bounded mean oscillation. Commun. Pure Appl. Math. 14, 415–426 (1961)
Lions, J.L., Magenes, E.: Non-homogeneous Boundary Value Problems and Applications, vols. I–III. Springer, Berlin (1973)
Mauceri, G., Meda, S., Vallarino, G.: Estimates for functions of the Laplacian on manifolds with bounded geometry. Math. Res. Lett. 16, 861–879 (2009)
Reed, M., Simon, B.: Methods of Mathematical Physics. I. Functional Analysis. Academic Press, New York (1972)
Schmüdgen, K.: Unbounded Self-Adjoint Operators on Hilbert Space. GTM, vol. 265. Springer, Dordrecht (2012)
Seeger, A., Sogge, C.: On the boundedness of functions of pseudodifferential operators on compact manifolds. Duke Math. J. 59, 709–736 (1989)
Sikora, A.: Riesz transform, Gaussian bounds and the method of wave equation. Math. Z. 247, 643–662 (2004)
Taylor, M.: Pseudodifferential Operators. Princeton University Press, Princeton (1981)
Taylor, M.: \(L^p\) bounds on functions of generalized Laplacians on a compact manifold with boundary. http://www.unc.edu/math/Faculty/met/lpmb.pdf
Taylor, M.: Hardy spaces and BMO on manifolds with bounded geometry. J. Geom. Anal. 19(1), 137–190 (2009)
Taylor, M.: \(L^p\) estimates on functions of the Laplace operator. Duke Math. J. 58, 773–793 (1989)
Taylor, M.: Functions of the Laplace operator on manifolds with lower Ricci and injectivity bounds. Commun. PDE 34, 1114–1126 (2009)
Taylor, M.: Partial Differential Equations. I. Basic Theory. Applied Mathematical Sciences, vol. 115. Springer, New York (2010)
Xu, X.: Gradient estimates for the eigenfunctions on compact manifolds with boundary and Hormander multiplier theorem. Forum Math. 21, 455–476 (2009)
Xu, X.: Eigenfunction estimates for Neumann Laplacian and applications to multiplier problems. Proc. AMS 139, 3583–3599 (2011)
Acknowledgements
Open access funding provided by Max Planck Society. I am deeply grateful to my Ph.D. advisor Michael Taylor for bringing this project to my notice and for pointing out [20]. I also thank Jeremy Marzuola and Perry Harabin for discussions.
Author information
Authors and Affiliations
Corresponding author
Additional information
The original version of this article was revised: ‘Max Planck’ institution detail was missed to include in the corresponding author’s affiliation and it has been updated.
M. Mukherjee was partially supported by NSF Grant DMS-1161620.
Appendices
Appendix 1: Properties of heat and Poisson semigroups
In this Appendix, we include some essential facts about the semigroups \(e^{tL}\) and \(e^{-t\sqrt{-L}}\). Henceforth, we will call them heat and Poisson semigroups respectively. Since \(-L\) is a nonnegative semi-definite self-adjoint operator, by the Hille–Yosida theorem (see [16], Proposition 6.14), \(e^{tL}\) gives a contraction semigroup on \(L^2(M)\). Our first lemma is the following
Lemma 4.1
Proof
We will first use the gradient estimate (1.7) to prove that
Using (1.7), we see that
Now we consider the identity mapping \(i :(\overline{M}, g) \longrightarrow (\overline{M}, \frac{t}{2\kappa }g)\), where \((\overline{M}, \frac{t}{2\kappa }g)\) denotes the manifold \(\overline{M}\) with a scaled metric. That gives,
where Ji denotes the Jacobian of the map i, which finally gives (4.2).
We have, as usual,
which gives, by (4.2),
Now, if \( \text {Spec}(-L) \subset [\rho , \infty ), \) then \( \Vert e^{tL} f\Vert _{L^2} \le e^{-t\rho }\Vert f\Vert _{L^2}, \) which, in conjunction with
(4.3) means that for \(t > 1\),
So, putting (4.3) and the last inequality together, we have
\(\square \)
Similarly, for the Poisson semigroup, we have
Lemma 4.2
and
Proof
As in Lemma 4.1, starting from (1.6), we can establish that
Now the estimate on \(e^{-t\sqrt{-L}}\) can be obtained from the Subordination identity (see (5.22), Chapter 3 of [24]),
This gives,
Calling the first integral above \(I_1\) and the second one \(I_2\), we get \( I_2 \le c_0,\) where \(c_n\) is a multiple of \(\Gamma (\frac{n + 1}{2})\) (see [24] for details, particularly pp. 247–248). Similarly,
This gives (4.4). Now, when \(t \in (0, 1]\), we can write,
Lastly, when \(t \in [1, \infty )\),
This proves the lemma. \(\square \)
Appendix 2: Finite propagation speed of \(\text {cos }t\sqrt{-L}\)
In this section we investigate some sufficient criteria for \(\text {cos }t\sqrt{-L}\) to have finite propagation speed under special boundary conditions. Namely, we will establish finite speed of propagation for those L which can be written as
where D is a first order elliptic differential operator with either the generalized Dirichlet or Neumann boundary condition (see (5.3) and (5.4) below), and \(H \in L^2(M)\) is nonnegative. To do this, we invoke the so-called Davies–Gaffney estimates:
Definition 5.1
An operator L satisfies the Davies–Gaffney estimates on a manifold M if
for all \(t > 0\), for all pairs of open subsets U, V of M, \(\text {supp } u \subset U\), \(\text {supp }v \subset V\), sections \(u \in L^2(U), v \in L^2(V)\) and \(r = \text {dist }(U, V)\), the metric distance between U and V.
We also recall the following (see [18], Theorem 2).
Lemma 5.2
For a self-adjoint negative semi-definite operator L on \(L^2(M),\) satisfaction of the Davies–Gaffney estimates is equivalent to finite propagation speed property of \(\text {cos }t\sqrt{-L}\). Furthermore, it is enough to check the Davies–Gaffney estimates only for open sets U, V which are balls around some points.
It might be pointed out that this method is eminently suited to establishing finite propagation speed type results particularly when the manifold has boundary or is less “nice” in some other way, as Lemma 5.2 above holds in the great generality of metric measure spaces \((X, d, \mu )\), where \(\mu \) is a Borel measure with respect to the topology defined by d.
Now, let \(-L = D^*D + H\), where \(D :H^{1}(\overline{M}, E) \rightarrow H^2(\overline{M}, F)\) be a first-order differential operator between sections of vector bundles. Assume that the symbol \(\sigma _D(x, \xi ) :E_x \rightarrow F_x\) is injective for \(x \in \overline{M}, \xi \in T^*_x\overline{ M}{\setminus } \{0\}\). Following [20], consider the following generalization of the Dirichlet condition on \(\mathcal {D}(D)\):
where \(\beta (x)\) is an orthogonal projection on \(E_x\) for all \(x \in \partial M\). We also consider the following generalization of the Neumann boundary condition:
where \(\nu (x)\) is the outward unit normal to \(\partial M\) and \(\gamma (x)\) is an orthogonal projection on \(E_x\) for all \(x \in \partial M\).
We first argue that both these boundary conditions have the consequence that
when \(v \in \mathcal {D}(D), w \in \mathcal {D}(D^*)\) and v, w are smooth. This is because
Now, \(w \in \mathcal {D}(D^*)\) implies that the left hand side in the above equation vanishes. So, for the Dirichlet boundary condition, for smooth v, w we have
where \(\nu \) is the outward unit normal to \(\partial M\). This gives, for smooth v and w,
For the Neumann boundary condition, (5.6) will be replaced by
with the same conclusion (5.5). With that in place, we can now prove Proposition 1.8.
Proof
We first observe that by the Cauchy–Schwarz inequality
where \(\chi _V\) represents the characteristic function of V. So, to get finite speed of propagation, we want to establish (5.2), which will in turn be implied by
when supp \( u \subset U\). Now, let \(w = \chi _V e^{tL}u\) and call \(\rho = \frac{r}{t}\). Then we have
Let us define
Differentiating (5.11) with respect to t, we get
using the facts that \(H \ge 0\) and that under the Dirichlet or the Neumann boundary condition, the last term \(\int _{\partial M}\langle \sigma _D (x, \nu )e^{tL}u e^{\varphi (x)}, Du\rangle dS\) disappears. Now, if we can say that
then we will be in a position to use Gronwall’s inequality.
Now what is the condition that allows this? Let us define \(P = [D, e^{\varphi }]\). Now we have
So it seems that the correct condition is to demand that
or,
Heuristically, we can say that a condition like this is expected, as the propagation phenomenon of \(\text {cos }t\sqrt{-L}\) will be dictated by the interaction of L, and hence of D with the distance function on \(\overline{M}\).
So, now we can say
This gives, by Gronwall’s inequality, \(E(t) \le e^{\rho ^2t/2} E(0)\). Plugging everything back, we have from (5.10),
Using \(\rho = r/t\), we have
This proves what we want. \(\square \)
Remark 5.3
Though (1.21) does not seem to be much of an improvement over (5.2), in many practical situations (1.21) is easier to verify than (5.2). For example, if L is the Laplace Beltrami operator with Dirichlet or Neumann boundary condition, then (1.21) holds trivially, because \(|\nabla \varphi (x)| \le \frac{r}{t}\) (as the gradient of the distance function to any set is known as a 1-Lipschitz function), which gives us back the special case of finite propagation speed of \(\text {cos }t\sqrt{-\Delta }\). Verifying (5.2) seems to be harder in this case.
Now, we extend the range of H in Proposition 1.8 to \(H \in L^2(M)\). Towards that end, pick \(H_n\) continuous such that \(H_n \longrightarrow H\) and consider \(\mathcal {L}_n\) given by \(-\mathcal {L}_n = D^*D + H_n\). Let \(-\mathcal {L} = D^*D + H\).
We can see that \(\mathcal {L}_n (u) \longrightarrow \mathcal {L}(u)\) for \(u \in \mathcal {D}(D^*D)\) as \(n \longrightarrow \infty \). That means, \(\mathcal {L}_n \longrightarrow \mathcal {L}\) in the strong resolvent sense as \(n \longrightarrow \infty \) (see [15], Theorem VIII.25(a)). Then, \(\text{ cos } tx\) and \( e^{-tx}\) being bounded continuous functions on \({\mathbb {R}}\) for all \(t > 0\), by Theorem VIII.20(b) of [15], we have \(\forall u \in \mathcal {D}(D)\),
The finite propagation speed of \(\text{ cos } t\sqrt{-\mathcal {L}}\) now follows by the Davies–Gaffney estimates: if for a fixed pair \(U, V \subset \overline{M}\) of open sets, \(L^2\) sections u, v such that \(\text{ supp } u \subset U\), \(\text{ supp } v \subset V\), \(r = \text{ dist } (U, V)\), we have
then in the limit, we must have
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Mukherjee, M. Boundedness of spectral multipliers of generalized Laplacians on compact manifolds with boundary. Math. Z. 289, 1011–1031 (2018). https://doi.org/10.1007/s00209-017-1986-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-017-1986-9