The Poisson equation on manifolds with positive essential spectrum

TL;DR

This paper proves the existence of solutions to the Poisson equation on certain Riemannian manifolds with positive essential spectrum, even when Ricci curvature is unbounded below, broadening previous results.

Contribution

It introduces a more general framework for solving the Poisson equation on manifolds with positive essential spectrum, relaxing curvature bounds and spectrum conditions.

Findings

Solutions exist under sharp decay conditions on the source function

Allows Ricci curvature to be unbounded from below

Extends previous results to more general spectral and curvature settings

Abstract

We show existence of solutions to the Poisson equation on Riemannian manifolds with positive essential spectrum, assuming a sharp pointwise decay on the source function. In particular we can allow the Ricci curvature to be unbounded from below. In comparison with previous works, we can deal with a more general setting both on the spectrum and on the curvature bounds.

Equations

$$-\Delta u=f$$

$$u(x)={\int }_{M}G(x,y)f(y)dy,$$

$$|f(x)|\leq\frac{C}{\big{(}1+r(x)\big{)}^{2+\varepsilon}}$$

$$|f(x)|\leq\frac{C}{\big{(}1+r(x)\big{)}^{1+\varepsilon}}$$

$$|f(x)|\le \frac{1}{\zeta \left(r(x)\right)}for\; allx\in M,$$

$$\sum _j^{\infty }\frac{\theta (j+1)-\theta (j)}{{\lambda }_1\left(M\setminus B_{j-1}(p)\right)\zeta (j-1)}<\infty ,$$

$$-\Delta u=finM$$

$$\mathrm{Ric}\geq-C\big{(}1+r(x)\big{)}^{\gamma},\quad\quad|f(x)|\leq\frac{C}{\big{(}1+r(x)\big{)}^{1+\frac{\gamma}{2}+\varepsilon}},$$

$$-\Delta u=finM$$

$$-C\big{(}1+r(x)\big{)}^{\gamma_{1}}\leq\mathrm{Ric}\leq-\frac{1}{C}\big{(}1+r(x)\big{)}^{\gamma_{2}},\quad|f(x)|\leq\frac{C}{\big{(}1+r(x)\big{)}^{1+\frac{\gamma_{1}}{2}-\gamma_{2}+\varepsilon}},$$

$$-\Delta u=finM$$

$$\left|{\int }_{M}G(x,y)f(y)dy\right|<\infty .$$

$$\mathrm{Ric}(V,V)(x)\ge -(n-1)\frac{{\phi }^{\prime \prime }(r(x))}{\phi (r(x))},$$

$$\Delta r(x)\ge 0\text{in}{B}_{4{\epsilon }_0}(p).$$

$$\tilde{K}(R)$$

$$\hat{K}(R)$$

$$K(R)$$

$$\theta (R):=R\sqrt{K(R)}.$$

$$\mathrm{Vol}(B_R(p))\le C{\int }_0^R{\phi }^{n-1}(\xi )d\xi .$$

$$\Delta r(x)\le (n-1)\frac{{\phi }^{\prime }(r(x))}{\phi (r(x))}$$

$${\lambda }_1(M)=\underset{v\in C_c^{\infty }(M)}{\inf }\frac{{\int }_M|\nabla v{|}^{2}dV}{{\int }_M{v}^{2}dV}.$$

$$G(x,y)=\underset{R\to \infty }{\lim }{G}_R(x,y),$$

$${\lambda }_1^{\mathrm{ess}}(M)=\underset{K}{\sup }{\lambda }_1(M\setminus K),$$

$$|\nabla u(\xi )|\le C\sqrt{K(R+1)}u(\xi )\text{for any}\xi \in B_R(p)\setminus B_{3{\epsilon }_0}(p),$$

$$\Delta v=-|\nabla v{|}^2.$$

$$-C\le \frac{{\eta }^{\prime }}{{\eta }^{1/2}}\le 0\text{and}\frac{|{\eta }^{\prime \prime }|}{\eta }\le C\text{in}{B}_{R+1}(p)\setminus B_R(p),$$

$$0\le \frac{{\eta }^{\prime }}{{\eta }^{1/2}}\le \frac{2}{{\epsilon }_0},\text{and}\frac{|{\eta }^{\prime \prime }|}{\eta }\le \frac{2}{{\epsilon }_0^2}\text{in}{B}_{3{\epsilon }_0}(p)\setminus B_{2{\epsilon }_0}(p).$$

$$\frac{1}{2}\Delta w$$

$$\frac{1}{2}\Delta |\nabla v{|}^2$$

$$\ge \frac{1}{n}(\Delta v{)}^2-(n-1)\frac{{\phi }^{\prime \prime }}{\phi }|\nabla v{|}^2-⟨\nabla |\nabla v{|}^2,\nabla v⟩$$

$$=\frac{1}{n}|\nabla v{|}^4-(n-1)\frac{{\phi }^{\prime \prime }}{\phi }|\nabla v{|}^2-⟨\nabla |\nabla v{|}^2,\nabla v⟩.$$

$$\frac{1}{2}\Delta {\eta }^2$$

Full text

1. Introduction

In this paper we investigate existence of classical solutions to the Poisson equation

[TABLE]

on a complete non-compact Riemannian manifold $(M,g)$ for a given locally Hölder continuous function $f$. This very classical problem has been extensively studied under various assumptions on the geometry of the manifold, assuming either integral or pointwise conditions on the source function $f$.

As in [13], [14], [16], we will be always concerned with solutions $u$ of the Poisson equation $-\Delta u=f$ which can be represented as

[TABLE]

where $G(x,y)$ is a Green’s function on $M$ (see Section 2 for further details).

In our results, the only geometric assumption that we require is that $(M,g)$ has positive essential spectrum, i.e. $\lambda_{1}^{\operatorname{ess}}(M)>0$. We recall that this condition is weaker than the positivity of the whole $L^{2}$-spectrum of $-\Delta$, i.e. $\lambda_{1}(M)>0$, and it is not related to the non-parabolicity of the manifold, i.e. to the existence of a minimal positive Green’s function $G(x,y)$ for $-\Delta$ (see Section 2 for precise definitions). Moreover, we assume that the function $f$ satisfies a pointwise decay condition related to the geometry of the manifold at infinity. In addition, we show that such decay condition is optimal on spherically symmetric manifolds.

Concerning previous results in the literature, Malgrange [11] showed the existence of a Green’s function for $-\Delta$ on every complete Riemannian manifolds, which implies the solvability of the Poisson equation for any smooth function $f$ with compact support (see [18] for a direct proof of this fact using pseudo-differential calculus). Strichartz [17] showed that if $(M,g)$ has positive spectrum and $f$ is a function belonging to $L^{p}(M)$ for some $1<p<\infty$, then the Poisson problem has a weak solution. The case $p=1$ was essentially proved by Ni-Shi-Tam [16, Theorem 3.2] (see also [15, Lemma 2.3]) only assuming $(M,g)$ non-parabolic. In the same paper, Ni-Shi-Tam proved a very nice existence result for the Poisson problem on manifolds with non-negative Ricci curvature under a sharp integral assumption involving suitable averages of $f$. This condition, in particular, is satisfied if

[TABLE]

for some $C,\varepsilon>0$, where $r(x):=\operatorname{dist}(x,p)$ is the distance function of any $x\in M$ from a fixed reference point $p\in M$. In fact, they proved a more general result where the decay rate of $f$ is just assumed to be of order $1+\varepsilon$. Note that this result is sharp on the flat space $\mathbb{R}^{n}$ and that, in view of the nonnegative Ricci curvature assumption, $\lambda_{1}(M)=0$.

In [13] Muntenau-Sesum showed a very interesting existence result on manifolds with positive spectrum and Ricci curvature bounded from below, under the pointwise decay assumption

[TABLE]

for some $C,\varepsilon>0$. Note that this result is sharp on $\mathbb{H}^{n}$. Their proof relies on very precise integral estimates on the minimal positive Green’s function, which exists since $\lambda_{1}(M)>0$.

In order to state our results, let $\theta(R)$ be defined as in (3) (see Section 2 for further details). For the moment we just note that such a function is related to a lower bound on the Ricci curvature, locally on geodesic balls with center $p$ and radius $R$.

The main result of the paper reads as follows.

Theorem 1.1**.**

Let $(M,g)$ be a complete non-compact Riemannian manifold with positive essential spectrum, i.e. $\lambda_{1}^{\operatorname{ess}}(M)>0$, and let $f$ be a locally Hölder continuous function on $M$ satisfying

[TABLE]

for some non-decreasing function $\zeta\in C^{0}([0,\infty);(0,\infty))$. If

[TABLE]

then the Poisson equation

[TABLE]

admits a classical solution $u$.

A few remarks concerning the assumptions are in order.

Since $\lambda_{1}^{\operatorname{ess}}(M)\geq\lambda_{1}(M)$, it is clear that the result applies to a wider class of manifolds than those with positive spectrum. For instance we can deal with manifolds with positive essential spectrum and finite volume (e.g. hyperbolic manifolds with finite volume).

The quantities $\theta(j+1)-\theta(j)$ and $\lambda_{1}\left(M\setminus B_{j-1}(p)\right)$ are related to the geometry of the manifold at infinity. In particular, if $(M,g)$ has Ricci curvature bounded from below, $\mathrm{Ric}\geq-K$, then $\theta(j+1)-\theta(j)\leq C$ for any $j$. Moreover, by monotonicity, $\lambda_{1}\left(M\setminus B_{j-1}(p)\right)\geq\lambda_{1}(M)$. Thus, if $(M,g)$ satisfies $\lambda_{1}(M)>0$, $\mathrm{Ric}\geq-K$ and $f$ decays like C/\big{(}1+r(x)\big{)}^{1+\varepsilon}, for some $C,\varepsilon>0$, then all our assumptions are satisfied and we recover the existence result of Munteanu-Sesum’s [13]. Note that our proof does not provide any information on the behavior of the solution at infinity, contrary to the aforementioned result.

We also note that the assumptions of Theorem 1.1 are sharp as shown by the example of a rotationally symmetric manifold with unbounded Ricci curvature, provided in Section 6.

Concerning the regularity of $f$, we observe that, if $f$ is less regular, the same existence result holds for weak solutions.

In general, we can provide existence of solutions also on manifolds with unbounded Ricci curvature. For instance, we have the following

Corollary 1.2**.**

Let $(M,g)$ be a complete non-compact Riemannian manifold with positive essential spectrum, i.e. $\lambda_{1}^{\operatorname{ess}}(M)>0$, and let $f$ be a locally Hölder continuous function on $M$. If

[TABLE]

for some $C>0$, $\gamma\geq 0$ and $\varepsilon>0$, then the Poisson equation

[TABLE]

admits a classical solution $u$.

Using a Barta-type estimate, we can show that on Cartan-Hadamard manifolds with $\mathrm{Ric}\leq-(1/C)(1+r)^{\gamma}$ for some $\gamma\geq 0$, one has $\lambda_{1}\left(M\setminus B_{j-1}(p)\right)\geq C\,j^{\gamma}$. So, in particular, $\lambda^{\operatorname{ess}}_{1}(M)>0$ (actually $\lambda_{1}(M)>0$) and we have the following corollary which generalizes the existence result in [13, Proposition 1].

Corollary 1.3**.**

Let $(M,g)$ be a Cartan-Hadamard manifold and let $f$ be a locally Hölder continuous, bounded function on $M$. If

[TABLE]

for some $C>0$, $\gamma_{1},\gamma_{2}\geq 0$ and $\varepsilon>0$ with $1+\frac{\gamma_{1}}{2}-\gamma_{2}+\varepsilon\geq 0$, then the Poisson equation

[TABLE]

admits a classical solution $u$.

In particular, Corollary 1.3 implies that, if $\gamma_{1}=\gamma_{2}=\gamma>2$, existence of a solution to the Poisson equation is guaranteed whenever $f$ is bounded. In the case $\gamma>2$, Cartan-Hadamard manifolds behave, in some sense, like bounded domains of $\mathbb{R}^{n}$.

When the ambient manifold is non-parabolic, our approach follows the one in [13] which in turn uses some ideas originated in the work of Li-Wang [9]. In the other case, thanks to the works [2, 8] all ends of the manifold must have finite volume and thus we can use the decay estimates of Donnelly [4] on general Green’s functions to conclude.

Indeed, the proof of Theorem 1.1 essentially consists in obtaining an a priori pointwise bound on the solution $u$ represented by using the Green’s function. In order to do this, we need several estimates on the Green function. First a pointwise two-sided estimate is obtained, which is deduced from a local gradient estimate for harmonic functions. Then we get integral estimates from above for $G$. In particular, integral estimates on certain level sets will be derived. In such bounds the behaviour at infinity of Ricci curvature is involved. Finally, putting together conveniently such estimates and using the hypothesis that $\lambda^{\operatorname{ess}}_{1}(M)>0$, we can prove Theorem 1.1, by showing that for every $x\in M$

[TABLE]

The paper is organized as follows: in Section 2 we collect some preliminary results and we define precisely the function $\theta$; in Section 3 we recall and prove (for the sake of completeness) the local gradient estimates for positive harmonic functions; in Section 4 we prove key estimates on the positive minimal Green’s function $G(x,y)$ of a non-parabolic manifold; in Section 5 we prove Theorem 1.1 and Corollary 1.2; finally in Section 6 we prove Corollary 1.3 and show the optimality of the assumption in Theorem 1.1 for rotationally symmetric manifolds.

2. Preliminaries

Let $(M,g)$ be a complete non-compact $n$-dimensional Riemannian manifold. For any $x\in M$ and $R>0$, we denote by $B_{R}(x)$ the geodesic ball of radius R with centre $x$ and let $\mathrm{Vol}(B_{R}(x))$ be its volume. We denote by $\mathrm{Ric}$ the Ricci curvature of $g$. For any $x\in M$, let $\mu(x)$ be the smallest eigenvalue of $\mathrm{Ric}$ at $x$. Thus, for any $V\in T_{x}M$ with $|V|=1$, $\mathrm{Ric}(V,V)(x)\geq\mu(x)$ and we have $\mu(x)\geq-\omega(r(x))$ for some $\omega\in C([0,\infty))$, $\omega\geq 0$. Hence, for any $x\in M$, we have

[TABLE]

for some $\varphi\in C^{\infty}((0,\infty))\cap C^{1}([0,\infty))$ with $\varphi(0)=0$ and $\varphi^{\prime}(0)=1$. Note that $\varphi,\varphi^{\prime},\varphi^{\prime\prime}$ are positive in $(0,\infty)$, and $\frac{\varphi^{\prime\prime}}{\varphi}\in C([0,+\infty))$. Fix any $\varepsilon_{0}>0$ so that

[TABLE]

For any $R>\varepsilon_{0}$ we set

[TABLE]

For any $R>1$ we define

[TABLE]

Note that $R\mapsto\theta(R)$ is increasing and so invertible.

Under $\eqref{eq3}$, we know that

[TABLE]

Moreover, let $\operatorname{Cut}(p)$ be the cut locus of $p\in M$. By standard Laplacian comparison results (see e.g. [12, Theorem 1.11]),

[TABLE]

pointwise in $M\setminus(\{p\}\cup\operatorname{Cut}(p))$ and weakly on $M$.

It is known that every complete Riemannian manifold admits a Green’s function (see [11]), i.e. a smooth function defined in $(M\times M)\setminus\{(x,y)\in M\times M:\,x=y\}$ such that $G(x,y)=G(y,x)$ and $\Delta_{y}G(x,y)=-\delta_{x}(y)$. We say that $(M,g)$ is non-parabolic if there exists a minimal positive Green’s function $G(x,y)$ on $(M,g)$, and parabolic otherwise.

Let $\lambda_{1}(M)$ be the bottom of the $L^{2}$-spectrum of $-\Delta$. It is known that $\lambda_{1}(M)\in[0,+\infty)$ and it is given by the variational formula

[TABLE]

If $\lambda_{1}(M)>0$, then $(M,g)$ is non-parabolic (see [5, Proposition 10.1]). Whenever $(M,g)$ is non-parabolic, let $G_{R}(x,y)$ be the Green’s function of $-\Delta$ in $B_{R}(z)$ satisfying zero Dirichlet boundary conditions on $\partial B_{R}(z)$, for some $z\in M$. We have that $R\mapsto G_{R}(x,y)$ is increasing and, for any $x,y\in M$,

[TABLE]

locally uniformly in $(M\times M)\setminus\{(x,y)\in M\times M:\,x=y\}$. We define $\lambda_{1}(\Omega)$, with $\Omega$ an open subset of $M$, to be the first eigenvalue of $-\Delta$ in $\Omega$ with zero Dirichlet boundary conditions. It is well known that $\lambda_{1}(\Omega)$ is decreasing with respect to the inclusion of subsets. In particular $R\mapsto\lambda_{1}(B_{R}(x))$ is decreasing and $\lambda_{1}(B_{R}(x))\to\lambda_{1}(M)$ as $R\to\infty$.

Another interesting quantity of $(M,g$), which we denote by $\lambda_{1}^{\operatorname{ess}}(M)$, is the greatest lower bound of the essential spectrum of $-\Delta$, which consists of points of the spectrum of $-\Delta$ which are either accumulation points of points on the spectrum or which correspond to discrete eigenvalues of $-\Delta$ with infinite multiplicity. It is known that if $(M,g)$ is compact, the essential spectrum is empty. We also have $\lambda_{1}(M)\leq\lambda_{1}^{\operatorname{ess}}(M)$ and

[TABLE]

where $K$ runs through all compact subsets of $M$.

We explicitly note that by $C$ we will denote a positive constant, whose value could vary.

3. Local gradient estimate for harmonic functions

Following the classical argument of Yau, we obtain the next local gradient estimate.

Lemma 3.1**.**

Fin any $\varepsilon_{0}>0$. Let $R+1>3\varepsilon_{0}$ and let $u\in C^{2}(B_{R+1}(p)\setminus B_{\varepsilon_{0}}(p))$ be a positive harmonic function in $B_{R+1}(p)\setminus B_{\varepsilon_{0}}(p)$. Then

[TABLE]

with $K(R)$ defined as in (2) and for some positive constant $C=C(\varepsilon_{0})>0$.

Proof.

Let $v:=\log u$. Then

[TABLE]

Let $\eta(\xi)=\eta(\rho(\xi))$, with $\rho(\xi):=\operatorname{dist}(\xi,p)$, be a smooth cut-off function, with support in $B_{R+1}(p)\setminus B_{2\varepsilon_{0}}(p)$, $0\leq\eta\leq 1$, such that $\eta(\xi)\equiv 1$ on $B_{R}(p)\setminus B_{3\varepsilon_{0}}(p)$,

[TABLE]

and

[TABLE]

Let $w=\eta^{2}|\nabla v|^{2}$. Then

[TABLE]

Hence, from classical Bochner-Weitzenböch formula and Newton inequality, one has

[TABLE]

Moreover, let $\chi_{R}$ be the characteristic function of the set $B_{R+1}(p)\setminus B_{R}(p)$, and let $\chi_{\varepsilon_{0}}$ be the characteristic function of the set $B_{3\varepsilon_{0}}(p)\setminus B_{2\varepsilon_{0}}(p)$. By (5),

[TABLE]

pointwise in $[B_{R+1}(p)\setminus B_{\varepsilon_{0}}(p)]\setminus(\{z\}\cup\operatorname{Cut}(p))$ and weakly on $B_{R+1}(p)\setminus B_{\varepsilon_{0}}(p)$ with $C>0$. Thus,

[TABLE]

with $C^{\prime\prime}>0$. Let $q$ be a maximum point of $w$ in $\overline{B}_{R+1}(p)\setminus B_{\varepsilon_{0}}(p)$. Since $w\equiv 0$ on $\partial B_{R+1}(p)\cup\partial B_{\varepsilon_{0}}(p)$, we have $q\in B_{R+1}(p)\setminus\overline{B}_{\varepsilon_{0}}(p)$. First assume $q\notin\operatorname{Cut}(p)$. At $q$, we obtain

[TABLE]

So,

[TABLE]

Thus, for any $\xi\in B_{R}(p)\setminus B_{3\varepsilon_{0}}(p)$,

[TABLE]

Finally, we get

[TABLE]

with $C>0$. By the standard Calabi trick (see [1, 3]), the same estimate can be obtained when $q\in\operatorname{Cut}(p)$. This concludes the proof of the lemma.

∎

4. Green’s function estimates

This section is devoted to various estimates for the Green function. In particular, we recall from [4] an estimate for

[TABLE]

for any $x\in M$, which holds without assuming that $G$ is positive.

Furthermore, for any $0\leq a<b\leq+\infty$, let

[TABLE]

We obtain estimates from above (see subsection 4.3) for

[TABLE]

for suitable choices of $a,b.$

4.1. Pointwise estimate

By the continuity of $y\mapsto G(p,y)$ in $M\setminus\{p\}$, obviously we have the following

Lemma 4.1**.**

Let $(M,g)$ be non-parabolic and let $y\in M$ with $y\in\partial B_{1}(p)$. Then there exists a positive constants $A>1$ such that

[TABLE]

Remark 4.2**.**

Indeed, the estimate from below given in Lemma 4.1 holds for any any $y\in\overline{B_{1}(p)}$. This follows from Lemma 4.1 with $y\in\partial B_{1}(p)$ and the maximum principle, since $y\mapsto G(p,y)$ is harmonic in $B_{1}(p)\setminus\{p\}$ and $G(p,y)\to\infty$ as $y\to p$.

Lemma 4.3**.**

Let $z\in M\setminus B_{1}(p)$, and consider the minimal unit speed geodesic $\gamma$ joining $p$ and $z$, and let $z_{0}\in\partial B_{1}(p)$ be a point of intersection of $\gamma$ with $\partial B_{1}(p)$. Then

[TABLE]

Proof.

Fix any $\varepsilon_{0}\in\left(0,\frac{1}{2}\right)$. By Lemma 3.1 we get for every $\xi\in\gamma$

[TABLE]

Let $l(\gamma)$ be the length of $\gamma$. We have

[TABLE]

By Gronwall inequality the conclusion follows.

∎

4.2. Auxiliary estimates

For any $s>0$, let

[TABLE]

Lemma 4.4**.**

Let $(M,g)$ be non-parabolic. For any $s>0$, there holds

[TABLE]

where $dA(y)$ is the $(n-1)$-dimensional Hausdorff measure on $\mathcal{L}(s)$.

For the proof see [13, Lemma 2]. Moreover, on manifolds with positive essential spectrum, the following decay estimate holds (see [4, Section 4] and also [8, Corollary 1.3] for a sharp estimate in the case of positive spectrum).

Lemma 4.5**.**

Assume $\lambda_{1}^{\operatorname{ess}}(M)>0$ and let $0<\beta<\lambda_{1}^{\operatorname{ess}}(M)$. Then, for any $x\in M,R\geq 1$, one has

• (i)

If $(M,g)$ is non-parabolic, then the minimal positive Green’s function $G(x,y)$ satisfies

[TABLE]

• (ii)

If $V:=\mathrm{Vol}(M)<\infty$, then the (sign changing) Green’s function $\bar{G}(x,y)$

[TABLE]

satisfies $-\Delta\bar{G}(\cdot,y)=\delta_{y}-\frac{1}{V}$ and

[TABLE]

4.3. Integral estimates on level sets

Proposition 4.6**.**

Let $(M,g)$ be non-parabolic. Choose $A$ as in Lemma 4.1. Then there exists a positive constant $C$ such that

[TABLE]

Proof.

We claim that

[TABLE]

Let $y\in M$ with $\operatorname{dist}(p,y)>1$ and take $j>\operatorname{dist}(p,y)$. Since $G_{j}(p,y)\leq G(p,y)$ and $G_{j}(p,\cdot)\equiv 0$ on $\partial B_{j}(p)$, by Lemma 4.1, we have

[TABLE]

note that the right hand side is independent of $y$. Since $y\mapsto G_{j}(p,y)$ is harmonic in $B_{j}(p)\setminus B_{1}(p)$, by maximum principle,

[TABLE]

Sending $j\to\infty$, by (6), we obtain

[TABLE]

Therefore the claim follows. Since $G(p,\cdot)\in L^{1}_{\textrm{loc}}(M)$, we obtain

[TABLE]

∎

Note that, for any $R>0$, $0<\delta<1$ and $\varepsilon>0$, if $\phi\in C^{\infty}_{c}(M)$ with \operatorname{supp}\phi\subseteq\left(\mathcal{L}\Big{(}\frac{\delta\varepsilon}{2},2\varepsilon\Big{)}\cap B_{R+1}(p)\right) and $\phi\equiv 1$ on $\mathcal{L}(\delta\varepsilon,\varepsilon)\cap B_{R}(p)$ then

[TABLE]

In view of the previous estimate, by the same arguments as in the proof of [13, Claim 2] (which do not require that the Ricci curvature is bounded from below by a negative constant) and using Lemma 4.4 and Lemma 4.5 $(i)$, we get the next estimate.

Proposition 4.7**.**

Assume $(M,g)$ be non-parabolic and $\lambda_{1}^{\operatorname{ess}}(M)>0$. Then, there exists a positive constant $C$ such that, for any $0<\delta<1$ and $\varepsilon>0$,

[TABLE]

5. Proof of Theorem 1.1

In order to prove Theorem 1.1, we will show that for every $x\in M$

[TABLE]

We divide the proof in two parts, we first consider the case when $(M,g)$ is non-parabolic and then the case when it is parabolic.

Proof of Theorem 1.1.

Case 1: $(M,g)$* non-parabolic.* Let $x\in M$ and choose $R=R(x)>0$ large enough so that $x\in B_{R}(p)$. One has

[TABLE]

since $G(x,\cdot)\in L^{1}_{\text{loc}}(M)$. Hence, by Harnack’s inequality, we have

[TABLE]

where $C_{2}(x)$ can be chosen as the constant in the Harnack’s inequality for the ball $B_{r(x)+1}(p)$. Then we estimate

[TABLE]

By Proposition 4.6, we get

[TABLE]

For later use, we introduce the sequence

[TABLE]

To estimate the first term, we observe that, for any $m_{0}\geq 2$, one has

[TABLE]

We need the following lemma, whose proof will be given at the end of this section.

Lemma 5.1**.**

Choose $A$ as in Lemma 4.1 and $C_{0}$ as in Lemma 4.3. Then, for any $m\in\mathbb{N}$,

[TABLE]

Fix any $m_{0}\in\mathbb{N},m_{0}\geq 2$. By the same arguments as in the proof of Proposition 4.6, we get

[TABLE]

for some $l=l(m_{0})>0,$ and

[TABLE]

Now, for any $m\geq m_{0}$, applying Lemma 4.7 with $\varepsilon:=a_{m}$ and $\delta:=\frac{a_{m+1}}{a_{m}}$, we obtain

[TABLE]

Using the assumptions of Theorem 1.1, from inequality (12), Lemma 5.1 and the monotonicity of $\lambda_{1}$ with respect to the inclusion we obtain

[TABLE]

Putting together (11), (13) we obtain the thesis of Theorem 1.1, in this case.

Case 2: $(M,g)$* parabolic.*

Since $\lambda_{1}^{\operatorname{ess}}(M)>0$, there exists $\bar{R}>0$ such that $\lambda_{1}(M\setminus B_{\bar{R}}(p))>0$. Fix any $x\in M$. We can choose $R_{0}\geq r(x)+1$ such that $B_{R_{0}}(x)\supset B_{\bar{R}}(p)$. So,

[TABLE]

We have that

[TABLE]

where each $E_{i}$ is an end with respect to $B_{R_{0}}(x)$. Note that every end $E_{i}$ is parabolic. In fact, if at least one end $E_{i}$ is non-parabolic, then $(M,g)$ is non-parabolic (see [7] for a nice overview), but we are in the case that $(M,g)$ is parabolic. Since every $E_{i}$ is parabolic, every $E_{i}$ has finite volume (see [2, 8]), so obviously $(M,g)$ has finite volume. Let $\bar{G}(x,y)$ be the sign changing Green’s function defined in (7).

Let $\varphi\in C^{\infty}_{c}(M)$ a smooth compactly supported function with $\int_{M}\varphi=1$. Let $\psi\in C^{\infty}(M)$ be a solution of

[TABLE]

and let $\bar{f}:=f-\alpha\varphi$, with $\alpha$ fixed so that $\int_{M}\bar{f}=0$. Then Hence,

[TABLE]

since $\bar{G}(x,\cdot)\in L^{1}_{\rm{loc}}(M)$ and $\bar{f}$ is bounded. To estimate the first integral we recall that, by Lemma 4.5 $(ii)$ we have

[TABLE]

for every $0<\beta<\lambda_{1}\left(M\setminus B_{R_{0}}(x)\right)$. Hence

[TABLE]

Then

[TABLE]

solves $-\Delta\bar{u}=\bar{f}$, since $\bar{f}$ has zero average. Finally, the function

[TABLE]

solves $-\Delta u=\bar{f}+\alpha\varphi=f$ and this concludes the proof of Theorem 1.1.

∎

Proof of Corollary 1.2.

In view of our assumptions, it follows that, for every $j_{0}\in\mathbb{N}$ there exists a constant $C=C(j_{0})$ such that, for any $j\geq j_{0}>1$, $\theta(j)=C\,j(2+j)^{\frac{\gamma}{2}}$. In particular $\theta(j+1)-\theta(j)\sim C^{\prime}j^{\frac{\gamma}{2}}$ as $j\to\infty$. Moreover \lim_{j\to\infty}\lambda_{1}\big{(}M\setminus B_{j}(p)\big{)}=\lambda_{1}^{\operatorname{ess}}(M)>0. Thus we have

[TABLE]

So the series $\sum_{j}b_{j}$ converges and the thesis follows from Theorem 1.1. ∎

Proof of Lemma 5.1.

The choice of $m_{0}$ and Remark 4.2 imply

[TABLE]

Let $z$ and $z_{0}$ be as in Lemma 4.3. Then

[TABLE]

From Lemma 4.1 we obtain

[TABLE]

In particular, by (14), if $z\in\mathcal{L}\left(0,\,2a_{m}\right)$, then

[TABLE]

So,

[TABLE]

This yields, for every $m\in\mathbb{N},m\geq 1$,

[TABLE]

This concludes the proof of the lemma. ∎

6. Cartan-Hadamard and model manifolds

We consider Cartan-Hadamard manifolds, i.e. complete, non-compact, simply connected Riemannian manifolds with non-positive sectional curvatures everywhere. Observe that on Cartan-Hadamard manifolds the cut locus of any point $p$ is empty. Hence, for any $x\in M\setminus\{p\}$ one can define its polar coordinates with pole at $p$, namely $r(x)=\operatorname{dist}(x,p)$ and $\theta\in\mathbb{S}^{n-1}$. We have

[TABLE]

for a specific positive function $A$ which is related to the metric tensor, [5, Sect. 3]. Moreover, it is direct to see that the Laplace-Beltrami operator in polar coordinates has the form

[TABLE]

where $m(r,\theta):=\frac{\partial}{\partial r}(\log A)$ and $\Delta_{\theta}$ is the Laplace-Beltrami operator on $\partial B_{r}(p)$. We have

[TABLE]

Let

[TABLE]

We say that $M$ is a rotationally symmetric manifold or a model manifold if the Riemannian metric is given by

[TABLE]

where $d\theta^{2}$ is the standard metric on $\mathbb{S}^{n-1}$ and $\varphi\in\mathcal{A}$. In this case,

[TABLE]

Note that $\varphi(r)=r$ corresponds to $M=\mathbb{R}^{n}$, while $\varphi(r)=\sinh r$ corresponds to $M=\mathbb{H}^{n}$, namely the $n$-dimensional hyperbolic space. The Ricci curvature in the radial direction is given by

[TABLE]

Concerning the first eigenvalue of the Laplacian $\lambda_{1}(M\setminus B_{R}(p))$ we have the following lower bound.

Lemma 6.1**.**

Let $(M,g)$ be a Cartan-Hadamard manifold with

[TABLE]

for some $C,\gamma>0$ and any $x\in M\setminus\{p\}$. Then

[TABLE]

for some $C^{\prime}>0$.

Proof.

We can find $\varphi\in\mathcal{A}$ such that \varphi(r)=\exp\big{(}B\,r^{1+\frac{\gamma}{2}}\big{)} for $r>1$, $B>0$ small and $\mathrm{Ric}(\nabla r,\nabla r)(x)\leq-\frac{\varphi^{\prime\prime}(r(x))}{\varphi(r(x))}$. By the Laplacian comparison in a strong form, which is valid only on Cartan-Hadamard manifolds (see [19, Theorem 2.15]), one has

[TABLE]

Hence

[TABLE]

By a Barta-type argument (see e.g. [6, Theorem 11.17]),

[TABLE]

Thus, the thesis follows. ∎

Proof of Corollary 1.3.

By assumptions, it follows that, for every $j_{0}\in\mathbb{N}$, there exists a constant $C=C(j_{0})$ such that, for any $j\geq j_{0}>1$, $\theta(j)=C\,j(2+j)^{\frac{\gamma_{1}}{2}}$ and $\theta(j+1)-\theta(j)\sim C^{\prime}j^{\frac{\gamma_{1}}{2}}$ as $j\to\infty$. Moreover, by Lemma 6.1 have $\lambda_{1}\left(M\setminus B_{j-1}(p)\right)\geq C\,j^{\gamma_{2}}$ (Barta-type estimate). In particular $\lambda_{1}^{\operatorname{ess}}(M)>0$. Thus we have

[TABLE]

So the series $\sum_{j}b_{j}$ converges and the thesis follows from Theorem 1.1. ∎

In particular, in Corollary 1.3, if $(M,g)$ is a model manifold with $\varphi\in\mathcal{A}$,

[TABLE]

for some $\gamma>0$, $\lambda_{1}^{\operatorname{ess}}(M)>0$, the assumptions on the Ricci curvature are satisfied with $\gamma_{1}=\gamma_{2}=\gamma$ and the hypothesis on $f$ reads

[TABLE]

for some

[TABLE]

These remark allows us to discuss the sharpness of the assumptions in Theorem 1.1. Indeed we show that the previous condition on $f$ is also necessary for the existence of a solution to the Poisson equation on the model manifold. In fact, as it has been shown in Section 5,

[TABLE]

Hence a solution of $-\Delta u=f$ in $M$ exists if and only if

[TABLE]

With our choice of $\varphi$, by the change of variable $s=t^{1+\frac{\gamma}{2}}$, it is easily seen that, for any $r>0$ sufficiently large

[TABLE]

Hence

[TABLE]

Therefore,

[TABLE]

This yields that

[TABLE]

*Acknowledgments​​ *.

The authors are members of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM). The first two authors are supported by the PRIN-2015KB9WPT Grant “Variational methods, with applications to problems in mathematical physics and geometry”.

The authors would like to express their gratitude to the referees for their very useful comments and suggestions.