Abstract
In this article, we develop a martingale approach to localized Bismut-type Hessian formulas for heat semigroups on Riemannian manifolds. Our approach extends the Hessian formulas established by Stroock (An estimate on the Hessian of the heat kernel: 355–371, 1996) and removes in particular the compact manifold restriction. To demonstrate the potential of these formulas, we give as application explicit quantitative local estimates for the Hessian of the heat semigroup, as well as for harmonic functions on regular domains in Riemannian manifolds.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let M be a complete Riemannian manifold of dimension n with Levi-Civita connection \(\nabla \). We consider the operator \(L=\frac{1}{2}\Delta \) where \(\Delta :={{\text {tr}}}\,\nabla \mathbf{d}\) is the Laplace-Beltrami operator on M and \(\mathbf{d}\) the exterior differential (note that we use a bold letter for the exterior differential to distinguish it from the Itô differential d appearing later). Denote by X.(x) a Brownian motion on M starting at \(x\in M\) with generator L and explosion time \(\zeta (x)\). The explosion time is the random time at which the process leaves all compact subsets of M. Furthermore, let \(B_t\) be the stochastic anti-development of X.(x) which is a Brownian motion on \(T_xM\), stopped at the lifetime \(\zeta (x)\) of X.(x), and denote by \(P_tf\) the associated minimal heat semigroup, acting on bounded measurable functions f, which is represented in probabilistic terms by the formula
Recall that for any \(T>0\) fixed, \((t,x)\mapsto (P_tf)(x)\) is smooth and bounded on \({(0,T]}\times M\) with \(P_0f=f\).
Let \(Q_t:T_xM\rightarrow T_{X_t}M\) be defined by
where \(D:=/\!/_t\,d \,/\!/_t^{-1}\) and \(/\!/_t:=/\!/_{0,t}: T_{x}M \rightarrow T_{X_{t}(x)}M\) denotes parallel transport along X(x). The following formula is taken from [16] and gives a typical probabilistic derivative formula for the semigroup \(P_tf\); it extends earlier formulas of Elworthy-Li [8]. Results in this direction are centered around Bismut’s integration by parts formula [3]. To be precise, let D be a fixed regular domain in M and \(\tau _D\) be the first exit time of X.(x) from D when started at \(x\in D\). A regular domain is by definition an open, relatively compact connected domain in M with non-empty boundary. Then for \(v\in T_xM\),
where the function \(k\in L^{1,2}({\mathbb {R}}^+, [0,1])\) satisfies the property that \(k(0)=0\) and \(k(s)=1\) for all \(s\ge \tau _D\wedge t\). An explicit choice of the random function k in the above Bismut formula can be used to derive sharp gradient estimates in various situations, e.g. for heat semigroups, as well as for harmonic functions on regular domains in Riemannian manifolds, see [17, 20] for explicit results. Recently, such formulas have also been applied to quantitative estimates for the derivative of a \(C^2\) function u in terms of local bounds on u and \(\Delta u\) [6].
A similar approach has been used by Arnaudon, Driver and Thalmaier [1] to approach Cheng-Yau type inequalities for the harmonic functions. Actually, the effect of curvature on the behavior of harmonic functions on a Riemannian manifold M is a classical problem (see e.g. [13, 21]), see also [7] for characterizations of gradient estimates in the context of metric measure spaces. In this paper, we aim to clarify in particular the effect of curvature on the Hessian of harmonic functions on regular domains in Riemannian manifolds. To this end, we establish a local version of a Bismut type formula for \({{\text {Hess}}}P_tf\) which is consistent with Stroock’s formula in [14] while here we follow a martingale approach and allow the manifold to be non-compact.
We start by giving some background on Bismut type formulas for second order derivatives of heat semigroups. A first such formula appeared in Elworthy and Li [8, 9] for a non-compact manifold, however under strong curvature restrictions. An intrinsic formula for \({{\text {Hess}}}P_tf\) was given by Stroock [14] for a compact Riemannian manifold, while a localized intrinsic formula was obtained by Arnaudon, Planck and Thalmaier [2] adopting a martingale approach. A localized version of the Hessian formula (still with doubly stochastic damped parallel translations) for the Feynman-Kac semigroup was derived by Thompson [19]. The study of the Hessian of a Feynman-Kac semigroup generated by a Schrödinger operator of the type \(\Delta +V\) where V is a potential, has been pushed forward by Li [10, 11]. Very recently, Bismut-type Hessian formulas have been used for new applications, see for instance Cao-Cheng-Thalmaier [4] where \(L^p\) Calderón-Zygmund inequalities on Riemannian manifolds have been established under natural geometric assumptions for indices \(p>1\).
The following formula is taken from [2] and gives a localized intrinsic Bismut type formula for the Hessian of the heat semigroup. Define an operator-valued process \(W_t:T_xM\otimes T_xM\rightarrow T_{X_t}M\) as solution to the covariant Itô equation
with initial condition \(W_0(v,w)=0\). Here R denotes the Riemann curvature tensor. It is easy to check that
The operator \(\mathbf{d}^*R\) is defined by \(\mathbf{d}^*R(v_1)v_2:=-{{\text {tr}}}\nabla {.}R(\cdot , v_1)v_2\) and satisfies
for all \(v_1,v_2,v_3\in T_xM\) and \(x\in M\). Let \(v,w\in T_xM\) with \(x\in D\), \(f\in {\mathcal {B}}_b(M)\) and fix \(0<S<T\). Suppose that \(D_1\) and \(D_2\) are regular domains such that \(x\in D_1\) and \({\bar{D}}_1\subset D_2\subset D\). Let \(\sigma \) and \(\tau \) be two stopping times satisfying \(0<\sigma \le \tau _{D_1}<\tau \le \tau _{D_2}\). Assume \(k,\ell \) are bounded adapted processes with paths in the Cameron-Martin space \(L^{1,2}([0,T]; [0,1])\) such that
-
\(k(0)=1\) and \(k(s)=0\) for \(s\ge \sigma \wedge S\);
-
\(\ell (s)=1\) for \(s\le \sigma \wedge S\) and \(\ell (s)=0\) for \(s\ge \tau \wedge T\).
Let \({{\text {Hess}}}=\nabla \mathbf{d}\). Then for \(f\in {\mathcal {B}}_b(M)\), we have
This formula has the advantage to be concise with only two terms on the right-hand side to characterize the Hessian of semigroup; the martingale approach to this formula is direct and does not need advanced path perturbation theory on Riemannian manifold. However, it depends on the choice of two random test functions k and \(\ell \). For local estimates the construction of two different random times \(\tau \) and \(\sigma \) is required, which complicates the calculation of the coefficients in the estimates, see [2].
Let us compare formula (1.1) with the Hessian formula from [14] where the manifold is supposed to be compact. Stroock proved that in this case one deterministic function test function \(k\in C^{1}([0,T], [0,1])\) satisfying \(k(0)=1\) and \(k(t)=0\) is sufficient in a Bismut-type formula for the Hessian of the semigroup (see [15, Eq. (1.6)] and formula (2.17) below). In what follows, we call it the Bismut-Stroock Hessian formula. Although its proof relies on perturbation theory of Brownian paths and more terms are involved in the formula, the fact that only one test function k enters makes it attractive for applications to the short-time behavior of the heat kernel, see [15]. Recently, Chen, Li and Wu [5] adopted a perturbation of the driving force \(B_t\) with a second order term for a new approach to this formula. The formula is derived with localized vector fields and extends to a general (non-compact) complete Riemannian manifold by introducing a family of cut-off processes.
The described works motivate the following two questions:
-
(i)
Can one extend the Stroock-Bismut Hessian formula [14] to a local Bismut-type formula for the Hessian heat semigroup by a direct construction of suitable martingales, and achieve from it explicit local estimates of \({{\text {Hess}}}P_tf\) by a proper choice of k?
-
(ii)
Can the localized Bismut-Stroock Hessian formula be transformed into a formula for the Hessian of harmonic functions on regular domains in Riemannian manifolds from where quantitative estimates can be derived?
In the sequel we answer both questions positively. Note that for the first question, it has been explained in [5, Section 4] that it seems difficult to adopt the perturbation theory of M-valued Brownian motions in order to replace the non-random vector field on path space by a random one; the time reversed field will not be adapted anymore and the Itô integral no longer be well defined. This reason motivates our search for a different stochastic approach to the problem in the form of a direct martingale argument. Actually, establishing localized Bismut-Stroock Hessian formula of semigroup relies on the proper construction of martingales which turns out to be the main difficulty for the first question. As an application of our formula, we can give explicit local Hessian estimates for the heat semigroup: for any regular domain \(D\subset M\) and \(x\in D\),
where \(\delta _x=\rho (x,\partial D)\) is the Riemannian distance of x to the boundary of D and constants \(K_0\), \(K_1\) and \(K_2\) are defined as in (2.10)–(2.12) below. Compared with known estimates, e.g. [2], the constants in (1.2) are explicit and concise. The estimate is not essentially more complicated, compared to the local gradient estimate [17].
The second problem is then to extract Hessian estimates for harmonic functions from the Bismut-Stroock Hessian formula which requires a careful estimate of the terms involving W.(v, w) and Q.(v), along with a proper choice of the process k. Let \(D\subset M\) be a regular domain. In Section 3, we obtain that for a bounded positive harmonic function u on D,
see also Theorem 3.5.
The paper is organized as follows. In Section 2 we construct several local martingales to achieve local Hessian formulas for the heat semigroup which are consistent with Stroock’s construction [15] on compact manifolds with a deterministic function k. In Section 3 we give explicit local Hessian estimates for harmonic functions. For reader’s convenience, Section 3.1 provides the method to construct k which follows [17]. Finally, in Section 4, we apply our method to estimate the second derivative of heat semigroups and heat kernels.
2 Bismut-type formulas for the Hessian of \(P_tf\)
We start by constructing our fundamental martingale which will be the basis for our approach. To this end, for \(v,w\in T_xM\) and \(k\in L^{1,2}({\mathbb {R}}^+,\mathbb {R})\) let
It is easy to see that \(W_{t}^k\) solves the following equation:
and \(W_{0}^k(v,w)=0\).
Theorem 2.1
Let \(x\in M\) and D be a relatively compact open domain in M such that \(x\in D\). Let \(\tau \) be a stopping time such that \(0<\tau \le \tau _D\) where \(\tau _D\) denotes the first exit time of X(x) with starting point \(x\in D\). Fix \(T>0\) and suppose that k is a bounded, non-negative and adapted process with paths in the Cameron-Martin space \(L^{1,2}([0,T];{\mathbb {R}})\) such that \(k(s)=0\) for \(s\ge T\wedge \tau \), \(k(0)=1\). Then for \(f\in {\mathcal {B}}_b(M)\) and \(v,w\in T_xM\),
is a local martingale on \([0, \tau \wedge T)\).
Proof
First of all, by an approximation argument we may assume that \(f\in C^{\infty }(M)\) and is constant outside a compact set so that \(|\mathbf{d}f|\) and \(\Delta f\) are bounded.
Let
Then \(N_t(v,v)\) is a local martingale, see for instance the proof of [19, Lemma 2.7] with potential \(V\equiv 0\). Furthermore, define
According to the definition of \(W^k_t(v,v)\), resp. \(W_t(v,v)\), and in view of the fact that \(N_t(v,v)\) is a local martingale, it is easy to see that
is a local martingale as well. Replacing in \(N_t^k(v,v)\) the second argument v by k(t)v, we further see that also
is a local martingale. Note that \(N_t^k(v,k(t)v)=N_t^k(v,v)\,k(t)\). Exchanging the order of integration in the last term shows that
is a local martingale. Moreover, by the formula
and integration by parts,
is a local martingale. Similarly, from the formula
it follows that
is also a local martingale. Concerning the last term in (2.6), we note that
is a local martingale. Combining this with (2.6) we conclude that
is a local martingale. Using the local martingales (2.5) and (2.7) to replace the last two terms in (2.3), we conclude that
is a local martingale as well. On the other hand, by the product rule for martingales, we have
which along with (2.4) implies that
is a local martingale. Applying this observation to Eq. (2.8), we finally see that
is a local martingale. This completes the proof. \(\square \)
In order to formulate explicit Hessian estimates we need to introduce some geometric bounds. Let \(D\subset M\) be a regular domain and \(\tau _D\) be the first exit time of X(x) from D. We consider the following constants:
For \(x\in M\) and \(v,w\in T_xM\), we remark that
where
and \(\{e_i\}_{i=1}^n\) denotes an orthonormal base of \(T_xM\).
We shall need the following lemma.
Lemma 2.2
Keep the assumptions and the definition of k as in Theorem 2.1, and assume that k is bounded by 1. If \(\int _0^T|{\dot{k}}(t)|^{2q}\,dt\in L^1\) for some \(q\in (1,+\infty ]\) and \(v\in T_xM\), then
for \(\delta >0\) and \(1/p+1/q=1\). In particular, if \(K_2\equiv 0\) and \(k\in C^1([0,T],[0,1])\) a deterministic function, then
Proof
From the definition of the operator \(Q_s\) and the constant \(K_0\), we know that \(|Q_s|\le {\text {e}}^{-K_0s/2}\). According to Itô’s formula and the definitions of \( K_1,K_2\), we have for \(v\in T_xD\) and \(s<\tau \le \tau _D\),
Taking into account that for \(\delta >0\),
we thus have
Integrating this inequality from 0 to \(t\wedge \tau \) and taking expectation yields
If \(|v|=1\), we then arrive at
from where we conclude that
Thus we have
which completes the proof of first inequality.
In particular, if \(k\in C^1([0,T])\), then
Moreover, from the calculation in (2.13) with \(K_2\equiv 0\) we see that
which implies
Combining (2.15) and (2.16) we obtain
which gives the additional claim. \(\square \)
By means of Theorem 2.1 and Lemma 2.2 we are now in position to formulate the localized Bismut-Stroock Hessian formula as follows.
Theorem 2.3
Let D be a relatively compact open domain such that \(x\in D\). Let \(\tau \) be a stopping time such that \(0<\tau \le \tau _D\). Suppose that k is a bounded, non-negative and adapted process with paths in the Cameron-Martin space \(L^{1, 2q}([0,T]; {\mathbb {R}})\) such that \(k(t)=0\) for \(t\ge T\wedge \tau \), \(k(0)=1\) and \(\int _0^{T\wedge \tau }|{\dot{k}}(t)|^{2q}\,dt\in L^1\) for some constant \(q>1\). Then for \(f\in {\mathcal {B}}_b(M)\) and \(v\in T_xM\), we have
Proof
For \(\varepsilon >0\) small, let \(k^{\varepsilon }(t)\) be a bounded, non-negative and adapted process with path in the Cameron-Martin space \(L^{1, 2q}([0,T]; {\mathbb {R}})\) such that \(k^{\varepsilon }(t)=0\) for \(t\ge (T-\varepsilon )\wedge \tau \), \(k^{\varepsilon }(0)=1\). We know that
By the boundedness of \(P_tf\) on \([0,T]\times D\) and the boundedness of \(|\mathbf{d}P_tf|\) and \(|{{\text {Hess}}}P_tf|\) on \([\varepsilon ,T]\times D\) since P.f is smooth on \((0,T]\times M\), it follows first that the local martingale in Theorem 2.1 is a true martingale for the chosen \(k^{\varepsilon }\). By taking expectations, along with the strong Markov property, we get the formula
Finally, through approximating the given k by an appropriate sequence of \(k^{\varepsilon }\) as above and letting \(\varepsilon \downarrow 0\), we finish the proof. \(\square \)
Remark 2.4
-
(i)
In view of Eq. (2.9), formula (2.17) also can be written as
$$\begin{aligned}&({{\text {Hess}}}P_{T}f)(v,v)= -{\mathbb {E}}^x\left[ f(X_T)\mathbf {1}_{\{T<\zeta (x)\}}\int _0^{T\wedge \tau }\langle W^k_s(v,{\dot{k}}(s)v), /\!/_s d B_s\rangle \right] \nonumber \\&\quad +2{\mathbb {E}}^x\left[ f(X_T)\mathbf {1}_{\{T<\zeta (x)\}}\int _0^{T\wedge \tau }\left( \int _0^{s}\langle Q_r({\dot{k}}(r)v), /\!/_r d B_r\rangle \right) \langle Q_s({\dot{k}}(s)v), /\!/_s d B_s\rangle \right] . \end{aligned}$$(2.18) -
(ii)
Since \( ({{\text {Hess}}}P_{T}f)\) is a symmetric form, it is straightforward from Theorem 2.3 that
$$\begin{aligned}&({{\text {Hess}}}P_{T}f)(v,w)= -\frac{1}{2}{\mathbb {E}}^x\left[ f(X_T)\mathbf {1}_{\{T<\zeta (x)\}}\int _0^{T\wedge \tau }\langle W^k_s(v,{\dot{k}}(s)w), /\!/_s d B_s\rangle \right] \nonumber \\&\quad -\frac{1}{2}{\mathbb {E}}^x\left[ f(X_T)\mathbf {1}_{\{T<\zeta (x)\}}\int _0^{T\wedge \tau }\langle W^k_s(w,{\dot{k}}(s)v), /\!/_s d B_s\rangle \right] \nonumber \\&\quad +{\mathbb {E}}^x\left[ f(X_T)\mathbf {1}_{\{T<\zeta (x)\}}\left( \int _0^{T\wedge \tau }\langle Q_s({\dot{k}}(s)v), /\!/_sd B_s \rangle \right) \left( \int _0^{T\wedge \tau }\langle Q_s({\dot{k}}(s)w), /\!/_sd B_s \rangle \right) \right] \nonumber \\&\quad -{\mathbb {E}}^x\left[ f(X_T)\mathbf {1}_{\{T<\zeta (x)\}}\int _0^{T\wedge \tau } \langle Q_s({\dot{k}}(s)v), Q_s({\dot{k}}(s)w) \rangle \,ds\right] \end{aligned}$$(2.19)for \(v,w\in T_xM\) and \(x\in D\).
Denoting by \(p_t(x,y)\) the transition density of the diffusion with generator L, using Theorem 2.3, we obtain the following Bismut-type Hessian formula for the logarithmic density.
Corollary 2.5
We keep the assumptions of Theorem 2.3. Then
Remark 2.6
Corollary 2.5 is well adapted to determine the short-time behavior of the Hessian of the heat kernel on a non-compact manifold (see the procedure in [5, Section 5]).
3 Hessian estimates for Harmonic functions
We now adjust Theorem 2.3 to the case of harmonic functions on regular domains. Recall that by a regular domain we mean a connected relatively compact open subset of M with non-empty boundary. For \(D\subset M\) a regular domain and \(f\in C^2({\bar{D}})\), let
Since \({{\text {Hess}}}f\) is symmetric, it is easy to see that
Theorem 3.1
Let \(D\subset M\) be a regular domain, \(u\in C^2({\bar{D}})\) be harmonic on D, further \(x\in D\) and \(v\in T_xM\). Then for any bounded adapted process k with sample paths in \(L^{1,2q}({\mathbb {R}}^+;{\mathbb {R}})\) for some \(q>1\) such that
and the property that \(k(0)=0\) and \(k(s)=1\) for all \(s\ge \tau _D\), the following formula holds:
Proof
Let \((P_t^Du)(x):={\mathbb {E}}[u(X_{t\wedge \tau _D}(x))]\). Since u is harmonic, we have \(P^D_tu=u\) for \(t\ge 0\), and then analogously to Theorem 2.3,
By letting t tend to infinity, we obtain the claim. \(\square \)
Remark 3.2
Taking Eq. (2.9) into account, the above formula can be rewritten as follows:
3.1 Construction of the random function k
We are now going to briefly sketch the method from [17, 18] to construct the function k. We restrict ourselves to Brownian motion on D with lifetime \(\tau _D\) (exit time from D). Let f be a continuous function defined on \(\bar{D}\) which is strictly positive on D. For \(x\in D\), we consider the strictly increasing process
and let
Obviously \(T(\tau (t))=t\) since \(\tau _D<\infty \), and \(\tau (T(t))=t\) for \(t\le \tau _D\). Note that since X is a diffusion with generator \(\frac{1}{2}\Delta \), the time-changed diffusion \(X_t':=X_{\tau (t)}\) has generator \(L'=\frac{1}{2}f^2\Delta \). In particular, the lifetime \(T(\tau _D)\) of \(X'\) is infinite, see [17].
Fix \(t>0\) and let
Then for \(s\ge \tau (t)\),
Next, let \(h_1\in C^1([0,t],{\mathbb {R}})\) with \(h_1(0)=0\) and \(h_1(t)=1\). We consider \(k(s)=1-(h_1\circ h_0)(s)\). Then k is an adapted bounded process with \(k(0)=1\) and \(k(s)=0\) for \(s\ge \tau (t)\).
Lemma 3.3
Suppose with \(0<f\le 1\) on D, \(f(x)=1\) and \(f\vert _{\partial D} = 0\). For \(\delta _1, \delta _2>0\) and \(q>1\) set
where \(K_0\) is defined as in (2.10). Then there exists f satisfying conditions with,
where \(\delta _x:=\rho (x,\partial D)\) denotes the Riemannian distance of x to the boundary \(\partial D\).
Proof
Take
This choice of f clearly satisfies the conditions and furthermore,
By the Laplacian comparison theorem, we have
which together with (3.8) gives the claimed estimates on \({\tilde{c}}_q(f),c_1(f), c_2(f)\) and \( c_3(f)\). \(\square \)
The following lemma is taken from [6, Lemma 2.2] or [17] with a trivial modification.
Lemma 3.4
Suppose with \(f >0\) and \(f \le 1\) on D, \(f(x)=1\), \(f\vert _{\partial D} = 0\) and set \({\tilde{c}}_q(f)\) as in (3.7) for \(q\ge 1\). Then there exists a bounded adapted process k with paths in the Cameron-Martin space \(L^{1,2q}([0,t];{\mathbb {R}})\) for some \(q\in [1,\infty )\) such that \(k(0)=1\), \(k(s)=0\) for \(s\ge t\wedge \tau _D\) and
where \({\tilde{c}}_q\) is defined in Lemma 3.3.
3.2 Estimate for the Hessian of a harmonic function
In this subsection we focus on explicit Hessian estimates for harmonic functions defined on regular domains in Riemannian manifolds.
Theorem 3.5
Let \(D\subset M\) be a regular domain. For \(x\in D\), let \(\delta _x=\rho (x,\partial D)\) be the Riemannian distance of x to the boundary of D. For a bounded positive harmonic function u on D, one has
![](http://media.springernature.com/lw606/springer-static/image/art%3A10.1007%2Fs40072-022-00241-1/MediaObjects/40072_2022_241_Equ30_HTML.png)
![](http://media.springernature.com/lw528/springer-static/image/art%3A10.1007%2Fs40072-022-00241-1/MediaObjects/40072_2022_241_Equ31_HTML.png)
where \(K_0\), \(K_1\) and \(K_2\) are defined as in (2.10)–(2.12).
Proof of Theorem 3.5 (Part I)
We fix \(x\in D\) and denote by \(B=B(x,\delta _x)\) the open ball about x of radius \(\delta _x\). Then Theorem 3.1 applies with B now playing the role of D. First, by formula (3.1) and the Cauchy inequality, we get
where the stopping time \(\tau (t)\) is defined by (3.3). For the first term I, according to the relation between \(\tau (t)\) and f, we can estimate as
For the second term II, we find
Substituting these estimates back into (3.11) yields
Let
Itô’s formula gives
According to the definition of \(W^k_s\), we thus obtain
Since all geometric quantities are bounded on D and \(|Q_{\tau (s)}|\le \exp \big (-\frac{1}{2}K_0\tau (s)\big )\), we have
For any \(\delta _1>0\) and \(\delta _2>0\), it thus follows that
where
This implies
By integrating from 0 to s and taking expectations, we then arrive at
On the other hand, concerning \(\Phi _2\), we first observe
and conclude
where \(c_2(f)\) is defined in (3.5). Integrating the above inequality from 0 to s then yields
Hence it remains to estimate the term \({\mathbb {E}}^x\left[ {\text {e}}^{-2K_0\tau (u)} f^{-4}(X_{\tau (u)})\right] \). By Itô’s formula, we have
which implies
Substituting this estimate into (3.15) leads to
By means of this inequality we can estimate the second integral on the right-hand side of (3.13) to obtain
Combining this estimate and inequality (3.14) with inequality (3.13) yields
It now suffices to choose a suitable function \(h_1\). By Lemma 3.3, we have
We define
If \(\delta _1\le \frac{1}{2}\), then it is easy to see that \( c_2(f)\le c_2\le c_1 \) and \(c_1\ge K_0^-\),
for \(0<\delta _1\le \frac{1}{2}\) and \(\delta _2>0\). We complete the proof of inequality (3.9) by taking the infimum with respect to \(\delta _1\) and \(\delta _2\). \(\square \)
Proof of Theorem 3.5 (Part II)
Theorem 3.1 allows to control \(|{{\text {Hess}}}\,u(v,v)|\) directly in terms of \(\Vert u\Vert _D\) as follows:
For the second term \(\mathrm{II}\) we observe
the first term has been dealt with in (3.12) above. We conclude from (3.16) that
Recall that by Lemma 3.3,
Thus
and hence
Define
so that
The estimate
is immediate. Since \( c_3(f)\le c_3\le c_1\), we have
Using these estimates to bound (3.17) from above and letting t tend to \(\infty \), we deduce
for \(\delta _1>0\) and \(\delta _2>0\). This completes the proof of inequality (3.10). \(\square \)
4 Estimate of the Hessian of the semigroup
We are now going to apply our results to give explicit local Hessian estimates for the heat semigroup on a Riemannian manifold.
Remark 4.1
Local Hessian estimates for the semigroup have been derived in [12, Section 4.2] by using the Hessian formula in [2]. We can improve these results significantly by clarifying the coefficients.
Theorem 4.2
Let \(x\in M\) and D be a relatively compact open domain such that \(x\in D\). Then for \(f\in {\mathcal {B}}_b(M)\),
Proof
By Theorem 2.3 and Cauchy’s inequality, we have
Using a similar argument as in the proof of Theorem 3.5 (Part II) and Lemma 2.2, we obtain
for any \(\delta >0\). We complete the proof by substituting \({\tilde{c}}_1\) defined in Lemma 2.2 into the above inequality and letting \(p \rightarrow 1\). \(\square \)
For global results (i.e. the case \(D=M\)), if M is compact, Theorem 2.3 holds with \(\tau \equiv \infty \) and the Cameron-Martin valued process k can be chosen deterministic and linear, which leads immediately to straightforward estimates. If the manifold is non-compact, \({{\text {Ric}}}\ge K_0\), \(\Vert R\Vert _{\infty }:=\sup _{x\in M}|R|(x)<\infty \) and
then Theorem 4.2 still holds when replacing D by M and letting \(\delta _x\rightarrow \infty \). In the following, we use a different argument by choosing \(k\in C^1([0,T])\) such that \(k(0)=0\) and \(k(T)=1\) and estimating \({\mathbb {E}}^x|W^k_s(v,v)|^2\).
Corollary 4.3
Let M be a complete Riemannian manifold. Assume \({{\text {Ric}}}\ge K_0\) and \(K_1:=\Vert R\Vert _{\infty }<\infty \),
Then,
for \(\delta >0\). Moreover, if the manifold M is Ricci parallel, i.e. \(\nabla {{\text {Ric}}}=0\), then
Proof
From (4.1), we know that for \(k\in C^1([0,T])\) such that \(k(0)=0\) and \(k(T)=1\),
If we choose \(k(s)=(T-s)/T\), then it follows from (2.14) that
If the manifold is Ricci parallel, then \(\mathbf{d}^* R+\nabla {{\text {Ric}}}=0\) and \(\delta \) is not needed in the estimate of \({\mathbb {E}}^x|W_t(v,v)|^2\), see inequality (2.13). Thus, in this case, estimate (4.2) reduces to (4.3). \(\square \)
References
Arnaudon, M., Driver, B.K., Thalmaier, A.: Gradient estimates for positive harmonic functions by stochastic analysis. Stochastic Process. Appl. 117(2), 202–220 (2007)
Arnaudon, M., Plank, H., Thalmaier, A.: A Bismut type formula for the Hessian of heat semigroups. C. R. Math. Acad. Sci. Paris 336(8), 661–666 (2003)
Bismut, J.-M.: Large deviations and the Malliavin calculus, Progress in Mathematics, vol. 45. Birkhäuser Boston Inc, Boston, MA (1984)
Cao, J., Cheng, L.-J., Thalmaier, A.: Hessian heat kernel estimates and Calderón-Zygmund inequalities on complete Riemannian manifolds, arXiv:2108.13058 (2021)
Chen, X., Li, X.-M., Wu, B.: Logarithmic heat kernels: estimates without curvature restrictions, arXiv:2106.02746v1 (2021)
Cheng, L.-J., Thalmaier, A., Thompson, J.: Quantitative \(C^1\)-estimates by Bismut formulae. J. Math. Anal. Appl. 465(2), 803–813 (2018)
Coulhon, T., Jiang, R., Koskela, P., Sikora, A.: Gradient estimates for heat kernels and harmonic functions, J. Funct. Anal. 278 (2020), no. 8, 108398, 67
Elworthy, D. K., Li, X.-M.: Formulae for the derivatives of heat semigroups. J. Funct. Anal. 125(1), 252–286 (1994)
Li, X.-M.: Stochastic differential equations on noncompact manifolds. University of Warwick, Thesis (1992)
Li, X.-M.: Doubly damped stochastic parallel translations and Hessian formulas, Stochastic partial differential equations and related fields, Springer Proc. Math. Stat., vol. 229, Springer, Cham, (2018), pp. 345–357
Li, X.-M.: Hessian formulas and estimates for parabolic Schrödinger operators, J. Stoch. Anal. 2 (2021), no. 3, Art. 7, 53
Plank, H.: Stochastic representation of the gradient and Hessian of diffusion semigroups on Riemannian manifolds. Universität Regensburg (2002). (PhD thesis)
Schoen, R.: The effect of curvature on the behavior of harmonic functions and mappings, Nonlinear partial differential equations in differential geometry (Park City, UT,: IAS/Park City Math. Ser., vol. 2, Amer. Math. Soc. Providence, RI 1996, 127–184 (1992)
Stroock, D. W.: An estimate on the Hessian of the heat kernel, pp. 355–371. Springer, Tokyo, Itõ’s Stochastic calculus and probability theory (1996)
Stroock, D. W., Turetsky, J.: Short time behavior of logarithmic derivatives of the heat kernel. Asian J. Math. 1(1), 17–33 (1997)
Thalmaier, A.: On the differentiation of heat semigroups and Poisson integrals. Stochastics Stochastics Rep. 61(3–4), 297–321 (1997)
Thalmaier, A., Wang, F.-Y.: Gradient estimates for harmonic functions on regular domains in Riemannian manifolds. J. Funct. Anal. 155(1), 109–124 (1998)
Thalmaier, A., Wang, F.-Y.: A stochastic approach to a priori estimates and Liouville theorems for harmonic maps. Bull. Sci. Math. 135(6–7), 816–843 (2011)
Thompson, J.: Derivatives of Feynman-Kac semigroups. J. Theoret. Probab. 32(2), 950–973 (2019)
Wang, F.-Y.: Analysis for diffusion processes on Riemannian manifolds, Advanced Series on Statistical Science & Applied Probability, vol. 18, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, (2014)
Shing, T.Y.: Harmonic functions on complete Riemannian manifolds. Comm. Pure Appl. Math. 28, 201–228 (1975)
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.
Funding
The Project is partly supported by Zhejiang Provincial Natural Science Foundation of China (No. LGJ22A010001).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Chen, QQ., Cheng, LJ. & Thalmaier, A. Bismut-Stroock Hessian formulas and local Hessian estimates for heat semigroups and harmonic functions on Riemannian manifolds. Stoch PDE: Anal Comp 11, 685–713 (2023). https://doi.org/10.1007/s40072-022-00241-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40072-022-00241-1