Gradient estimates for the Fisher–KPP equation on Riemannian manifolds

Abstract

In this paper, we consider positive solutions to the Fisher–KPP equation on complete Riemannian manifolds. We derive the gradient estimate. Using the estimate, we get the classic Harnack inequality which extends the recent result of Cao, Liu, Pendleton, and Ward (Pac. J. Math. 290(2):273–300, 2017).

1 Introduction

Let $(M,g)$ be a complete Riemannian manifold. We consider the parabolic equation

$$ u_{t}=\Delta u+cu(1-u) $$

(1.1)

on $M\times[0,\infty)$, where c is a positive constant. In the pioneering work of Fisher in 1937 [2], he proposed equation (1.1) to study the propagation of advantageous genes in a population, where $u=u(x,t)$ stands for the population density. In another well-known paper [3], Kolmogorov, Petrovsky, and Piskunov also described the solution to (1.1). Since then, the equation is often referred to as the Fisher–KPP equation and has been widely used in the study of traveling wave solutions and propagation problems (refer to [4–6] and so on).

Recently, Cao et al. [1] derived differential Harnack estimates for positive solutions to (1.1) on Riemannian manifolds with nonnegative Ricci curvature. The idea comes from [7, 8] where a systematic method was developed to find a Harnack inequality for geometric evolution equations. In the complete noncompact case, they obtained the following theorem.

Theorem A

(Cao et al.)

Let $(M,g)$ be an n-dimensional complete noncompact Riemannian manifold with nonnegative Ricci curvature, and let $u(x,t) : M\times[0,\infty)\rightarrow\mathbb{R}$ be a positive solution to (1.1), where u is $C^{2}$ in x and $C^{1}$ in t.

Let $f=\log u$, then we have

$$ \Delta f+\alpha |\nabla f|^{2}+\beta e^{f}+\phi(t)\ge0 $$

(1.2)

for all x and t, provided that

• (i) $0<\alpha <1$,

• (ii) $\beta < \frac{-cn(1+\alpha )}{4\alpha ^{2}-4\alpha +2n}<0$,

• (iii) $\frac{-cn(2+\sqrt{2})}{4(1-\alpha )}<\beta <\frac{-cn(2-\sqrt {2})}{4(1-\alpha )}$,

where

$$\phi(t)=\frac{\mu (\frac{e^{2\mu\omega t}}{\nu-\omega }-\frac{1}{\mu+\omega} )}{1-e^{2\mu\omega t}}, $$

with

$$\begin{aligned}& \mu= \beta c\sqrt{\frac{2(1-\alpha )}{c(-cn-8\beta (1-\alpha ))}}, \\& \nu= \biggl(\frac{4\beta (1-\alpha )}{n}+c \biggr)\cdot\sqrt{\frac {2(1-\alpha )}{c(-cn-8\beta (1-\alpha ))}}, \\& \omega= \sqrt{\frac{2(1-\alpha )}{n}}. \end{aligned}$$

Using Theorem A, one can integrate along space-time curves to get a Harnack inequality, but it is different from the classical Li–Yau Harnack [9] in form.

Gradient estimates play an important role in studying elliptic and parabolic operators. The method originated first in [10] and [11], and was further developed by Li and Yau [9], Li [12], Negrin [13], Souplet and Zhang [14], Yang [15], etc. Recent gradient estimates under the geometric flow include [16] and [17]. For more results on the nonlinear PDEs, one may refer to [18, 19].

In this paper, following the line in [12], we prove the following theorems.

Theorem 1.1

Let M be a complete Riemannian manifold with boundary ∂M (possibly empty). We denote by $B_{p}(2R)$ the geodesic ball of radius 2R around $P\in M$ not intersecting the boundary ∂M. Suppose that the Ricci curvature of M is bounded from below by $-K(2R)$ in $B_{p}(2R)$, and $K(2R)\geq0$. Denote $K=K(2R)$. If $u(x,t)$ is a positive smooth solution of (1.1) on $M\times[0,\infty)$, then we have

$$\begin{aligned}& \frac{{{{ \vert {\nabla u} \vert }^{2}}}}{u^{2}}+ sc ( {1 - u} ) - s\frac{{{u_{t}}}}{u} \\& \quad \leq\frac{ns^{2}}{2(1-\varepsilon )}\frac{1}{t}+\frac{ns^{2}}{2(1-\varepsilon )(s-1)}K + \frac{sc}{q}\sqrt{\frac{n}{2(1-\varepsilon )}}M_{1} \\& \qquad {}+\frac{ns^{2}}{2(1-\varepsilon )R^{2}}\biggl(\frac{ns^{2}}{4(1-\varepsilon )(s-1)}C_{1}+(n+1)C_{1} \\& \qquad {} + C_{1}R(n-1)\sqrt{K}+C_{2}\biggr) \end{aligned}$$

(1.3)

on $B_{p}(R)\times(0,+\infty)$, where $C_{1}$, $C_{2}$ are positive constants and $0<\varepsilon <1$, $s>1$, $q>0$ such that $\frac{2(1-\varepsilon )}{n}\frac{s-1}{sq}\ge\frac{1}{\varepsilon }-1+\frac{(2s-1)^{2}}{8}$, $M_{1}=\sup_{ (x,t)\in B_{p}(2R)\times[0,\infty)} u(x,t)$. In particular, we can choose $q=\frac{2(1-\varepsilon )(s-1)}{ns [\frac{1}{\varepsilon }-1+\frac {(2s-1)^{2}}{8} ]}$.

Using Theorem 1.1, we get the classic Harnack inequality.

Theorem 1.2

Let M be an n-dimensional complete noncompact Riemannian manifold with Ricci tensor $R_{ij}\geq-{k }g_{ij}$ (${k\geq0}$). If $u(x,t)$ is a positive solution of (1.1) and $0< u< 1$, then

$$\begin{aligned} u({x_{1}},{t_{1}}) \leq& u({x_{2}},{t_{2}}){ \biggl( {\frac{{{t_{2}}}}{{{t_{1}}}}} \biggr)^{\frac{ns}{2(1-\varepsilon )}}} \\ &{}\times\exp \biggl(\frac{sr^{2}}{4(t_{2}-t_{1})} +(t_{2}-t_{1}) \biggl(\frac{{nsk}}{{2(1-\varepsilon )(s - 1)}} + \frac {c}{{q}}\sqrt{\frac{n}{2(1-\varepsilon )}} \biggr) \biggr), \end{aligned}$$

where $x_{1},x_{2}\in M$, $0< t_{1}< t_{2}<\infty$, and $r(x_{1},x_{2})$ is the geodesic distance between $x_{1}$ and $x_{2}$. In particular, taking $s=3/2$ and $\varepsilon =1/4$, we get

$$\begin{aligned} u({x_{1}},{t_{1}}) \leq& u({x_{2}},{t_{2}}){ \biggl( {\frac{{{t_{2}}}}{{{t_{1}}}}} \biggr)^{n}} \\ &{}\times\exp \biggl(\frac{3r^{2}}{8(t_{2}-t_{1})} +(t_{2}-t_{1}) \biggl(2nk + \frac{7\sqrt{6}n\sqrt{n}c}{3} \biggr) \biggr). \end{aligned}$$

(1.4)

The rest of the paper is arranged as follows. In Sect. 2, we get a technical lemma which is important to the proof. In Sect. 3, we prove Theorems 1.1 and 1.2.

2 Technical lemma

As in [12], we define

$$W(x,t)=u^{-q}, $$

where q is a positive constant to be fixed later. A direct computation shows that

$$\begin{aligned}& \nabla W=-qu^{-q-1}\nabla u, \\& |\nabla W|^{2}=q^{2}u^{-2q-2}|\nabla u|^{2}, \\& \frac{|\nabla W|^{2}}{W^{2}}=q^{2}u^{-2}|\nabla u|^{2}, \end{aligned}$$

(2.1)

$$\begin{aligned}& W_{t}=-qu^{-q-1}u_{t}, \end{aligned}$$

(2.2)

$$\begin{aligned}& \frac{{{W_{t}}}}{W} = - q\frac{{{u_{t}}}}{u}, \end{aligned}$$

(2.3)

$$\begin{aligned}& \Delta W=q(q+1)u^{-q-2}|\nabla u|^{2}-qu^{-q-1}\Delta u \\& \hphantom{\Delta W}=\frac{q+1}{q}\frac{|\nabla W|^{2}}{W}+cqW-cqW^{\frac{q-1}{q}}+W_{t}. \end{aligned}$$

(2.4)

Therefore

$$ \biggl(\Delta -\frac{\partial}{\partial t} \biggr)W=\frac {q+1}{q} \frac{|\nabla W|^{2}}{W}+cqW-cqW^{\frac{q-1}{q}}. $$

(2.5)

We follow the line in [12]. Define three functions:

$$\begin{aligned}& F_{0}(x,t)=\frac{|\nabla W|^{2}}{W^{2}}+\alpha c\bigl(1-W^{-1/q}\bigr), \\& F_{1}=\frac{W_{t}}{W}, \\& F=F_{0}+\beta F_{1}, \end{aligned}$$

(2.6)

where α, β are two positive constants to be fixed later.

Let $e_{1}, e_{2},\ldots, e_{n}$ be a local orthonormal frame field. We adopt the notation that subscripts in i, j, and k, with $1\leq i, j, k\leq n$, denote covariant differentiations in the $e_{i}$, $e_{j}$, and $e_{k}$ directions, respectively.

Calculate

$$\begin{aligned}& \nabla F_{0}(x,t)=\frac{2W_{i}W_{ij}}{W^{2}}-\frac {2W_{i}^{2}W_{j}}{W^{3}}+ \frac{\alpha c}{q}W^{-(q+1)/q}W_{j}, \end{aligned}$$

(2.7)

$$\begin{aligned}& \Delta F_{0}(x,t)=\frac{2W_{ij}^{2}}{W^{2}}+\frac{2W_{i}W_{ijj}}{W^{2}}-8 \frac {W_{i}W_{ij}W_{j}}{W^{3}}+6\frac{W_{i}^{4}}{W^{4}}-2\frac{W_{i}^{2}W_{jj}}{W^{3}} \\& \hphantom{\Delta F_{0}(x,t)={}}{}-\frac{\alpha c(q+1)}{q^{2}}\frac{W^{-1/q}}{W^{2}}W_{j}^{2}+ \frac{\alpha c}{q}W^{-(q+1)/q}W_{jj}, \end{aligned}$$

(2.8)

$$\begin{aligned}& \frac{\partial F_{0}(x,t)}{{\partial t}}= \frac {{2{W_{i}}{W_{it}}}}{{{W^{2}}}} - \frac{{2{W_{i}^{2}}{W_{t}}}}{{{W^{3}}}} + \frac{{\alpha c}}{q}{W^{ - \frac{{q + 1}}{q}}} {W_{t}}, \end{aligned}$$

(2.9)

$$\begin{aligned}& \nabla F_{1}=\frac{W_{ti}W-W_{t}W_{i}}{W^{2}}, \\& \Delta F_{1}=\frac{WW_{iit}-2W_{i}W_{ti}-W_{t}W_{ii}}{W^{2}}+\frac{2W_{t}W_{i}^{2}}{W^{3}}, \\& \frac{\partial F_{1}}{\partial t}=\frac{W_{tt}W-W_{t}^{2}}{W^{2}}, \\& \biggl(\Delta -\frac{\partial}{\partial t} \biggr)F_{1}=\frac{W(\Delta W-W_{t})_{t}-W_{t}(\Delta W-W_{t})-2W_{i}W_{ti}}{W^{2}}+ \frac{2W_{t}W_{i}^{2}}{W^{3}} \\& \hphantom{ (\Delta -\frac{\partial}{\partial t} )F_{1}={}}{}=\frac{2}{q}\nabla \log W \cdot\nabla{F_{1}} + c{W^{ - \frac {1}{q} - 1}} {W_{t}}. \end{aligned}$$

(2.10)

We denote the Ricci tensor of M by $R_{jj}$:

$$\frac{{2{W_{i}}{W_{ijj}}}}{{{W^{2}}}} = \frac{{2{W_{i}}{W_{jji}}}}{{{W^{2}}}} + \frac{{2{R_{ij}}{W_{i}}{W_{j}}}}{{{W^{2}}}}. $$

It follows that

$$\begin{aligned} \frac{2W_{i}W_{ijj}}{W^{2}}-\frac{2W_{i}W_{it}}{W^{2}} =&\frac {2W_{i}}{W^{2}} (\Delta W-W_{t} )_{i}+\frac{2R_{ij}W_{i}W_{j}}{W^{2}} \\ =&\frac{4(q+1)}{q}\frac{W_{i}W_{ij}W_{j}}{W^{3}}-\frac{2(q+1)}{q}\frac {W_{i}^{4}}{W^{4}} \\ &{}+\frac{2cW_{i}^{2}}{W^{2}} \bigl[q-(q-1)W^{-1/q} \bigr] + \frac{2R_{ij}W_{i}W_{j}}{W^{2}}. \end{aligned}$$

(2.11)

Equalities (2.2) and (2.4) yield

$$\begin{aligned} - \frac{{2W_{i}^{2}{W_{jj}}}}{{{W^{3}}}} + \frac{{2W_{i}^{2}{W_{t}}}}{{{W^{3}}}} =& -\frac{{2W_{i}^{2}}}{{{W^{3}}}} ( {\Delta W - {W_{t}}} ) \\ =& - \frac{{2(q + 1)}}{q} \frac{{W_{i}^{4}}}{{{W^{4}}}} - 2cq\frac {{W_{i}^{2}}}{{{W^{2}}}} + 2cq{W^{ - \frac{1}{q}}}\frac{{W_{i}^{2}}}{{{W^{2}}}}. \end{aligned}$$

(2.12)

By Hölder’s inequality, we have

$$\frac{{2\varepsilon W_{ij}^{2}}}{{{W^{2}}}} + \frac{2}{\varepsilon} \cdot\frac{{W_{i}^{4}}}{{{W^{4}}}} \ge4 \frac{{{W_{i}}{W_{ij}}{W_{j}}}}{{{W^{3}}}}. $$

So,

$$\frac{{2W_{ij}^{2}}}{{{W^{2}}}} - 8\frac{{{W_{i}}{W_{ij}}{W_{j}}}}{{{W^{3}}}} + 6\frac{{W_{i}^{4}}}{{{W^{4}}}} \ge \frac{{2 ( {1 - \varepsilon} )W_{ij}^{2}}}{{{W^{2}}}} - 4\frac{{{W_{i}}{W_{ij}}{W_{j}}}}{{{W^{3}}}} + \biggl( {6 - \frac{2}{\varepsilon}} \biggr)\frac{{W_{i}^{4}}}{{{W^{4}}}}, $$

where $0<\varepsilon<1$.

Noting the inequality $W_{ij}^{2} \ge\frac{1}{n}{ ( {{W_{ii}}} )^{2}}$, we obtain

$$\begin{aligned}& \frac{{2W_{ij}^{2}}}{{{W^{2}}}} - 8\frac {{{W_{i}}{W_{ij}}{W_{j}}}}{{{W^{3}}}} + 6\frac{{W_{i}^{4}}}{{{W^{4}}}} \\& \quad \ge\frac{2 (1 - \varepsilon )}{n} \biggl(\frac{\Delta W}{W} \biggr)^{2}- 4 \biggl(\frac{{{W_{i}}{W_{ij}}{W_{j}}}}{{{W^{3}}}}-\frac {W_{i}^{4}}{W^{4}} \biggr) -2 \biggl( { \frac{1}{\varepsilon}-1} \biggr)\frac{{W_{i}^{4}}}{{{W^{4}}}}. \end{aligned}$$

(2.13)

By (2.7), we have

$$ \nabla{F_{0}} \cdot\nabla\log W = \frac {{2{W_{i}}{W_{ij}}{W_{j}}}}{{{W^{3}}}} - \frac{{2W_{i}^{4}}}{{{W^{4}}}} + \frac {{\alpha c}}{q}{W^{ - \frac{1}{q}}}\frac{{W_{j}^{2}}}{{{W^{2}}}}. $$

(2.14)

Plugging (2.11), (2.12), (2.13), and (2.14) into (2.8) and (2.9), we have

$$\begin{aligned} \biggl( {\Delta - \frac{\partial}{{\partial t}}} \biggr){F_{0}} \ge& \frac{{2 ( {1 - \varepsilon} )}}{n} \biggl(\frac{\Delta W}{W} \biggr)^{2} - 2 \biggl( { \frac{1}{\varepsilon} - 1} \biggr)\frac {{W_{i}^{4}}}{{{W^{4}}}} \\ &{}+ \frac{2}{q}\nabla{F_{0}} \cdot\nabla\log W \\ &{} + 2c \biggl(1-\frac{\alpha }{q^{2}} \biggr)\frac {{W_{i}^{2}}}{{{W^{2}}}}{W^{ - \frac{1}{q}}} \\ &{}+ \frac{{2{R_{ij}}{W_{i}}{W_{j}}}}{{{W^{2}}}} + \alpha{c^{2}} {W^{ - \frac {1}{q}}} - \alpha{c^{2}} {W^{ - \frac{2}{q}}}. \end{aligned}$$

(2.15)

Setting $\beta=\alpha/q$ and combining (2.10), we conclude that

$$\begin{aligned} \biggl( {\Delta - \frac{\partial}{{\partial t}}} \biggr){F} \ge& \frac{{2 ( {1 - \varepsilon} )}}{n} \biggl(\frac{\Delta W}{W} \biggr)^{2}- 2 \biggl( {\frac{1}{\varepsilon} - 1} \biggr)\frac {{W_{i}^{4}}}{{{W^{4}}}} \\ &{}+ \frac{2}{q}\nabla{F} \cdot\nabla\log W \\ &{} + 2c \biggl(1-\frac{\alpha }{q^{2}} \biggr)\frac {{W_{i}^{2}}}{{{W^{2}}}}{W^{ - \frac{1}{q}}} \\ &{}+ \frac{{2{R_{ij}}{W_{i}}{W_{j}}}}{{{W^{2}}}} + \alpha{c^{2}} {W^{ - \frac {1}{q}}} - \alpha{c^{2}} {W^{ - \frac{2}{q}}} \\ &{} + \frac{{\alpha c}}{q}{W^{ - \frac{1}{q} - 1}} {W_{t}}. \end{aligned}$$

(2.16)

By (2.4) and (2.6), we arrive at

$$ \frac{{\Delta W}}{W} = \frac{q}{\alpha}F + \biggl( { \frac{{q + 1}}{q} - \frac{q}{\alpha}} \biggr)\frac{{{{ \vert {\nabla W} \vert }^{2}}}}{{{W^{2}}}}. $$

(2.17)

Setting $\alpha=sq^{2}$ yields

$$\begin{aligned} \frac{{\Delta W}}{W} &= \frac{1}{{sq}}F + \biggl( { \frac{{q + 1}}{q} - \frac{1}{{sq}}} \biggr)\frac{{{{ \vert {\nabla W} \vert }^{2}}}}{{{W^{2}}}} \\ &= \frac{1}{{sq}}F + { \biggl( {\frac{{q + 1 - 1/s}}{q}} \biggr)}\frac{{{{ \vert {\nabla W} \vert }^{2}}}}{{{W^{2}}}}. \end{aligned}$$

(2.18)

Substituting (2.18) into (2.16), we obtain

$$\begin{aligned} \biggl( {\Delta - \frac{\partial}{{\partial t}}} \biggr)F \ge& \frac{{2(1 - \varepsilon)}}{n} \frac{1}{{{s^{2}q^{2}}}} {F^{2}} \\ &{}+ \biggl[ {\frac{{2(1 - \varepsilon)}}{n}\frac{{{{ ( {sq + s - 1} )}^{2}}}}{{{s^{2}}{q^{2}}}} - 2 \biggl( \frac{1}{\varepsilon} - 1 \biggr)} \biggr]\frac{|\nabla W |^{4}}{{{W^{4}}}} \\ &{}+ \frac{{4(1 - \varepsilon)}}{n}\frac{{ ( {sq + s - 1} )}}{{{s^{2}}{q^{2}}}}F\frac{|\nabla W|^{2}}{{{W^{2}}}} + \frac{2}{q} \nabla F \cdot \nabla \log W \\ &{}+ 2c (1-s )\frac{|\nabla W|^{2}}{{{W^{2}}}}{W^{ - \frac{1}{q}}} + \frac{{2{R_{ij}}{W_{i}}{W_{j}}}}{{{W^{2}}}} + s{q^{2}} {c^{2}} {W^{ - \frac {1}{q}}} \\ &{}- s{q^{2}} {c^{2}} {W^{ - \frac{2}{q}}}+ sqc{W^{ - \frac{1}{q} - 1}} {W_{t}}. \end{aligned}$$

(2.19)

An immediate consequence is the following lemma.

Lemma 2.1

Let M be an n-dimensional complete Riemannian manifold with Ricci tensor $R_{ij}$. If F is defined by (2.6) where $\beta =\alpha/q$, $\alpha=sq^{2}$, then we have

$$\begin{aligned} \biggl( {\Delta - \frac{\partial}{{\partial t}}} \biggr)F \ge& \frac{{2(1 - \varepsilon)}}{n} \frac{1}{{{s^{2}q^{2}}}} {F^{2}} \\ &{}+ \biggl[ {\frac{{2(1 - \varepsilon)}}{n}\frac{{{{ ( {sq + s - 1} )}^{2}}}}{{{s^{2}}{q^{2}}}}- 2 \biggl( \frac{1}{\varepsilon} - 1 \biggr)} \biggr]\frac{|\nabla W|^{4}}{{{W^{4}}}} \\ &{}+ \frac{{4(1 - \varepsilon)}}{n}\frac{{ ( {sq + s - 1} )}}{{{s^{2}}{q^{2}}}}F\frac{|\nabla W|^{2}}{{{W^{2}}}} \\ &{}+\frac{2}{q} \nabla F\cdot\log W+ ( {c - 2cs} )\frac {|\nabla W|^{2}}{{{W^{2}}}}{W^{ - \frac{1}{q}}} \\ &{}+ c{W^{ - \frac{1}{q}}}F + \frac{{2{R_{ij}}{W_{i}}{W_{j}}}}{{{W^{2}}}}. \end{aligned}$$

(2.20)

3 Main theorems

Theorem 3.1

Let M be a complete Riemannian manifold with boundary ∂M (possibly empty). We denote by $B_{p}(2R)$ the geodesic ball of radius 2R around $P\in M$ not intersecting the boundary ∂M. Suppose that the Ricci curvature of M is bounded from below by $-K(2R)$ in $B_{p}(2R)$, and $K(2R)\geq0$. Denote $K=K(2R)$. If $u(x,t)$ is a positive smooth solution of (1.1) on $M\times[0,\infty)$, then we have

$$\begin{aligned}& \frac{{{{ \vert {\nabla u} \vert }^{2}}}}{u^{2}}+ sc ( {1 - u} ) - s\frac{{{u_{t}}}}{u} \\& \quad \leq\frac{ns^{2}}{2(1-\varepsilon )}\frac{1}{t}+\frac{ns^{2}}{2(1-\varepsilon )(s-1)}K + \frac{sc}{q}\sqrt{\frac{n}{2(1-\varepsilon )}}M_{1} \\& \qquad {}+\frac{ns^{2}}{2(1-\varepsilon )R^{2}}\biggl(\frac{ns^{2}}{4(1-\varepsilon )(s-1)}C_{1}+(n+1)C_{1} \\& \qquad {} + C_{1}R(n-1)\sqrt{K}+C_{2}\biggr) \end{aligned}$$

(3.1)

on $B_{p}(R)\times(0,+\infty)$, where $C_{1}$, $C_{2}$ are positive constants, $0<\varepsilon <1$, $s>1$, $q>0$ such that $\frac{2(1-\varepsilon )}{n}\frac{s-1}{sq}\ge\frac{1}{\varepsilon }-1+\frac{(2s-1)^{2}}{8}$, and $M_{1}=\sup_{ (x,t)\in B_{p}(2R)\times[0,\infty)} u(x,t)$. In particular, we can choose $q=\frac{2(1-\varepsilon )(s-1)}{ns [\frac{1}{\varepsilon }-1+\frac {(2s-1)^{2}}{8} ]}$.

Proof

Let χ $\in C^{2}[0,+\infty)$ be a cut-off function such that $\chi(r)=1$ for $r\le1$, $\chi(r)=0$ for $r>2$, and $0\leq\chi(r)\leq1$. We choose χ satisfying $-\sqrt{C_{1}}\chi^{1/2}(r)\leq\chi'(r)\leq0$, $\chi''(r)\geq -C_{2}$, where $C_{1}$, $C_{2}$ are positive constants.

Denote by $r(x)$ the geodesic distance between x and some fixed point P. Set

$$\phi(x)=\chi \biggl(\frac{r(x)}{R} \biggr). $$

By the conditions on χ and the Laplacian comparison theorem, we get

$$|\nabla \phi|^{2}\leq\frac{C_{1}}{R^{2}}\phi $$

and

$$\Delta \phi\geq- \frac{{{C_{2}} + {C_{1}}(n - 1)}}{{{R^{2}}}} - \frac {{{C_{1}}(n - 1)\sqrt{K} }}{R}. $$

Define the function $H(x,t):=tF(x,t)$. Using the argument of Calabi [20], we assume that the function $\phi(x)\cdot H(x,t)$ with support in $B_{P}(2R)$ is smooth. For any fixed $T>0$, let $(x_{0},t_{0})$ be the point where $\phi\cdot H$ achieves its maximum in $B_{P}(2R)\times [0,T]$. Without loss of generality, we assume that $\phi(x_{0})\cdot H(x_{0},t_{0})>0$. Otherwise, (3.1) is obviously true. By the maximum principle, at $(x_{0},t_{0})$, we have

$$\begin{aligned}& \nabla ( {{{\phi}} \cdot{{H}}} ) = 0, \end{aligned}$$

(3.2)

$$\begin{aligned}& \frac{{\partial ( {\phi\cdot H} )}}{{\partial t}} \ge0, \end{aligned}$$

(3.3)

$$\begin{aligned}& \Delta ( {\phi\cdot H} ) \le0. \end{aligned}$$

(3.4)

By (3.2), we have

$$ \nabla H = - \frac{{\nabla\phi}}{\phi}H. $$

(3.5)

By (3.4), we have

$$ \Delta\phi\cdot H + 2\nabla\phi\cdot\nabla H + \phi\Delta H \le0. $$

(3.6)

It follows from (3.3) and (3.6) that

$$ \Delta\phi\cdot H + 2\nabla\phi\cdot\nabla H + \phi \biggl( { \Delta - \frac{\partial}{{\partial t}}} \biggr)H \le0. $$

(3.7)

Setting $\beta=\alpha /q$, $\alpha=sq^{2}$, by Lemma 2.1 we have

$$\begin{aligned} \biggl( {\Delta - \frac{\partial}{{\partial t}}} \biggr)H =& t \biggl( {\Delta - \frac{\partial}{{\partial t}}} \biggr)F - F \\ \ge&\frac{2{ ( {1 - \varepsilon} )}}{{n}}\frac {1}{{{s^{2}q^{2}}}}{H^{2}} \frac{1}{t} + \biggl[ {\frac{{2 ( {1 - \varepsilon} )}}{n}\frac{{{{ ( {sq+s-1} )^{2}}}}}{{{s^{2}q^{2}}}} - 2 \biggl( { \frac{1}{\varepsilon} - 1} \biggr)} \biggr]\frac{|\nabla W|^{4}}{{{W^{4}}}}t \\ & {} + \frac{{4 ( {1 - \varepsilon} )}}{n}\frac{{ ( sq+s-1 )}}{{{s^{2}q^{2}}}}\frac{{{{ \vert {\nabla W} \vert }^{2}}}}{{{W^{2}}}}H + \frac{2}{q}\nabla H\cdot\nabla\log W + c{W^{ - \frac{1}{q}}}H \\ & {} -c(2s-1)\frac{|\nabla W|^{2}}{W^{2}}W^{-1/q}t- 2K\frac{{{{ \vert {\nabla W} \vert }^{2}}}}{{{W^{2}}}}t - \frac{H}{t}. \end{aligned}$$

(3.8)

By Hölder’s inequality, we get

$$ 2Kt\frac{{{{ \vert {\nabla W} \vert }^{2}}}}{{{W^{2}}}} \le\frac{{2 ( {1 - \varepsilon} )}}{n}\frac {(s-1)^{2}}{s^{2}q^{2}} \frac{{{{ \vert {\nabla W} \vert }^{4}}}}{{{W^{4}}}}t + \frac{n}{2 ( {1 - \varepsilon} )}\frac{s^{2}q^{2}}{(s-1)^{2}}{K^{2}}t $$

(3.9)

and

$$ c(2s-1)\frac{|\nabla W|^{2}}{W^{2}}W^{-1/q}t\leq\frac {(2s-1)^{2}}{4} \frac{|\nabla W|^{4}}{W^{4}}t+c^{2}M_{1}^{2}t. $$

(3.10)

Substituting (3.9) and (3.10) into (3.8), and choosing $s>1$ and $q>0$ such that $\frac{2(1-\varepsilon )}{n}\frac{s-1}{sq}\ge\frac{1}{\varepsilon }-1+\frac{(2s-1)^{2}}{8}$, we have

$$\begin{aligned} \biggl( {\Delta - \frac{\partial}{{\partial t}}} \biggr)H \ge&\frac{{2 ( {1 - \varepsilon} )}}{{n}}\frac {1}{{{s^{2}q^{2}}}}{H^{2}} \frac{1}{t} + \frac{{4 ( {1 - \varepsilon} )}}{n}\frac{{ ( {sq+s-1} )}}{{{s^{2}q^{2}}}}\frac {{{{ \vert {\nabla W} \vert }^{2}}}}{{{W^{2}}}}H \\ & {} + \frac{2}{q}\nabla H\cdot\nabla\log W - \frac{H}{t} - \frac{n}{2 (1 - \varepsilon )}\frac {s^{2}q^{2}}{(s-1)^{2}}{K^{2}}t-c^{2}M_{1}^{2}t. \end{aligned}$$

(3.11)

Substituting (3.11) into (3.7) and using (3.5), we have

$$\begin{aligned} \begin{aligned}[b] &\frac{{2 ( {1 - \varepsilon} )}}{{n}}\frac {1}{{{s^{2}q^{2}}}}{H^{2}}\frac{1}{t}\phi+ \frac{{4 ( {1- \varepsilon } )}}{n}\frac{{ ( {sq+s-1} )}}{{{s^{2}q^{2}}}}\frac {{{{ \vert {\nabla W} \vert }^{2}}}}{{{W^{2}}}}H\phi - \frac{2}{q}H \nabla\phi\cdot\frac{{\nabla W}}{W} \\ &\quad {} - \frac{H}{t}\phi-\frac{n}{2 (1 - \varepsilon )}\frac {s^{2}q^{2}}{(s-1)^{2}}{K^{2}} \phi t-c^{2}M_{1}^{2}\phi t \\ &\quad {} - \biggl(\frac{{{C_{2}} + {C_{1}}(n +1)}}{{{R^{2}}}}+ \frac{{{C_{1}}(n - 1)\sqrt{K}}}{R} \biggr)H \leq0, \end{aligned} \end{aligned}$$

(3.12)

where we have used $2\nabla \phi\cdot \nabla H=-2\frac{|\nabla \phi|^{2}}{\phi }H\geq-\frac{2C_{1}}{R^{2}}H$.

Clearly,

$$\begin{aligned}& \frac{2}{q}H \nabla\phi\cdot\frac{{\nabla W}}{W} \\& \quad \le\frac{{4 ( {1 - \varepsilon} )}}{n}\frac{{ ( {sq+s-1} )}}{{{s^{2}q^{2}}}}\frac{{{{ \vert {\nabla W} \vert }^{2}}}}{{{W^{2}}}}H\phi+ \frac{n}{{4 ( {1 - \varepsilon} )}}\frac{s^{2}H}{{ ( {sq+s-1} )}}\frac{{{{ \vert {\nabla \phi} \vert }^{2}}}}{\phi}. \end{aligned}$$

(3.13)

Multiplying through by tϕ at (3.12) and using (3.13), we arrive at

$$\begin{aligned}& \frac{2{ ( {1 - \varepsilon} )}}{{n}}\frac {1}{{{s^{2}q^{2}}}}{H^{2}}\phi^{2}-H\phi \\& \quad {}-t\biggl(\frac{ns^{2}}{4(1-\varepsilon )(sq+s-1)}\frac{C_{1}}{R^{2}}+\frac {C_{2}+(n+1)C_{1}}{R^{2}} + \frac{C_{1}(n-1)\sqrt{K}}{R}\biggr) H\phi \\& \quad {}-t^{2} \biggl(\frac{n}{2(1-\varepsilon )}\frac {s^{2}q^{2}}{(s-1)^{2}}K^{2}+c^{2}M_{1}^{2} \biggr)\leq0. \end{aligned}$$

(3.14)

Equation (3.14) yields

$$\begin{aligned} H\phi \leq&\frac{ns^{2}q^{2}}{2(1-\varepsilon )} \biggl[1+t \biggl(\frac {ns^{2}}{4(1-\varepsilon )(sq+s-1)} \frac{C_{1}}{R^{2}}+\frac {C_{2}+(n+1)C_{1}}{R^{2}}+\frac{C_{1}(n-1)\sqrt{K}}{R} \biggr) \biggr] \\ &{}+t\sqrt{\frac{ns^{2}q^{2}}{2(1-\varepsilon )}}\sqrt{\frac{n}{2(1-\varepsilon )} \frac {s^{2}q^{2}}{(s-1)^{2}}K^{2}+c^{2}M_{1}^{2}} \end{aligned}$$

at $(x_{0}, t_{0})$.

It is easy to see that

$$\begin{aligned}& \sup_{x\in B_{p}(R)}H(x,T) \\& \quad \leq H(x_{0},t_{0}) \phi(x_{0}) \\& \quad \leq\frac{ns^{2}q^{2}}{2(1-\varepsilon )} \biggl[1+T \biggl(\frac{ns^{2}}{4(1-\varepsilon )(sq+s-1)} \frac{C_{1}}{R^{2}}+\frac{C_{2}+(n+1)C_{1}}{R^{2}}+\frac {C_{1}(n-1)\sqrt{K}}{R} \biggr) \biggr] \\& \qquad {}+T\sqrt{\frac{ns^{2}q^{2}}{2(1-\varepsilon )}}\sqrt{\frac{n}{2(1-\varepsilon )} \frac {s^{2}q^{2}}{(s-1)^{2}}K^{2}+c^{2}M_{1}^{2}}. \end{aligned}$$

Then we get

$$\begin{aligned}& \frac{{{{ \vert {\nabla u} \vert }^{2}}}}{u^{2}}+ sc ( {1 - u} ) - s\frac{{{u_{t}}}}{u} \\& \quad \leq\frac{ns^{2}}{2(1-\varepsilon )}\frac{1}{t}+\frac{ns^{2}}{2(1-\varepsilon )(s-1)}K + \frac{sc}{q}\sqrt{\frac{n}{2(1-\varepsilon )}}M_{1} \\& \qquad {}+\frac{ns^{2}}{2(1-\varepsilon )R^{2}} \biggl(\frac{ns^{2}}{4(1-\varepsilon )(s-1)}C_{1}+(n+1)C_{1}+C_{1}R(n-1) \sqrt{K}+C_{2} \biggr) \end{aligned}$$

on $B_{p}(R)\times(0,+\infty)$ since $T>0$ is arbitrary. □

Using Theorem 3.1 and letting $R\rightarrow+\infty$, we can get the following corollary.

Corollary 3.2

Let M be an n-dimensional complete Riemannian manifold with Ricci tensor $R_{ij}\geq-{k}g_{ij}$ (${k\geq0}$). If $u(x,t)$ is a positive solution of (1.1) and $0< u<1$, then

$$ \frac{{{{ \vert {\nabla u} \vert }^{2}}}}{u^{2}} - s\frac {{{u_{t}}}}{u}\leq \frac{ns^{2}}{2(1-\varepsilon )} \frac{1}{t}+\frac {ns^{2}}{2(1-\varepsilon )(s-1)}k +\frac{sc}{q}\sqrt{ \frac{n}{2(1-\varepsilon ) }}. $$

(3.15)

Remark 3.3

Let M be an n-dimensional complete Riemannian manifold with nonnegative Ricci curvature. Suppose that $u(x,t)$ is a positive solution of (1.1) and $0< u<1$. Let $f=\log u$. Then we have

$$f_{t}=\Delta f+|\nabla f|^{2}+c\bigl(1-e^{f}\bigr). $$

It follows from Corollary 3.2 that

$$\Delta f+\frac{s-1}{s}|\nabla f|^{2}+\frac{ns}{2(1-\varepsilon )} \frac{1}{t} +\frac{c}{q}\sqrt{\frac{n}{2(1-\varepsilon ) }}\geq0. $$

In particular, taking $s=3/2$ and $\varepsilon =1/4$, we get

$$\Delta f+\frac{1}{3}|\nabla f|^{2}+\frac{n}{t} + \frac{7\sqrt{6}n\sqrt{n}c}{3}\geq0. $$

This estimate is simpler than (1.2) in form.

Theorem 3.4

Let M be an n-dimensional complete Riemannian manifold with Ricci tensor $R_{ij}\geq-{k }g_{ij}$ (${k\geq0}$). If $u(x,t)$ is a positive solution of (1.1) and $0< u<1$, then

$$\begin{aligned} u({x_{1}},{t_{1}}) \leq& u({x_{2}},{t_{2}}){ \biggl( {\frac{{{t_{2}}}}{{{t_{1}}}}} \biggr)^{\frac{ns}{2(1-\varepsilon )}}} \\ &{}\times\exp \biggl(\frac{sr^{2}}{4(t_{2}-t_{1})} +(t_{2}-t_{1}) \biggl(\frac{{nsk}}{{2(1-\varepsilon )(s - 1)}} + \frac {c}{{q}}\sqrt{\frac{n}{2(1-\varepsilon )}} \biggr) \biggr), \end{aligned}$$

where $x_{1},x_{2}\in M$, $0< t_{1}< t_{2}<\infty$, and $r(x_{1},x_{2})$ is the geodesic distance between $x_{1}$ and $x_{2}$.

Proof

If we set $f=\log u$, then

$$ \vert {\nabla{f}} \vert ^{2} - s{f_{t}} \le \frac {ns^{2}}{2(1-\varepsilon )}\frac{1}{t}+\frac{ns^{2}}{2(1-\varepsilon )(s-1)}k +\frac{sc}{q} \sqrt{\frac{n}{2(1-\varepsilon ) }} $$

(3.16)

for all $(x,t)\in M\times(0,+\infty)$.

Fix points $(x_{1},t_{1})$ and $(x_{2},t_{2})$ in $M\times(0,+\infty)$ with ${t_{1}}<{t_{2}}$, and let $r:[0,1]\rightarrow M$ be the shortest geodesic joining $x_{1}$ and $x_{2}$ with $r(0)=x_{2}$ and $r(1)=x_{1}$.

Define the curve $\eta:[0,1]\rightarrow M\times(0,+\infty)$ by $\eta(y)=(r(y),(1-y){t_{2}}+y{t_{1}})$. It is clear that $\eta (0)=(x_{2},t_{2})$, $\eta(1)=(x_{1},t_{1})$ and

$$ f({x_{1}},{t_{1}}) - f({x_{2}},{t_{2}}) = \int_{0}^{1} {\frac {{df(\eta(y))}}{{dy}}\, dy \le \int_{0}^{1} {\bigl(\rho \vert {\nabla f} \vert - ({t_{2}} - {t_{1}}){f_{t}}\bigr)\, dy} }, $$

(3.17)

where $\rho=r(x_{1},x_{2})$.

By inequality (3.16), we get

$$- {f_{t}} \le-\frac{|\nabla f|^{2}}{s}+\frac{{ns}}{{2(1-\varepsilon )t}} + \frac {{nsk}}{{2(1-\varepsilon )(s - 1)}} + \frac{c}{{q}}\sqrt{\frac{n}{2(1-\varepsilon )}}. $$

Thus (3.17) becomes

$$\begin{aligned}& f({x_{1}},{t_{1}}) - f({x_{2}},{t_{2}}) \\& \quad \leq \int_{0}^{1} \biggl(\rho|\nabla f|-(t_{2}-t_{1}) \frac{|\nabla f|^{2}}{s} \\& \qquad {}+(t_{2}-t_{1})\frac{ns}{2(1-\varepsilon )t}+(t_{2}-t_{1}) \biggl(\frac {{nsk}}{{2(1-\varepsilon )(s - 1)}} + \frac{c}{{q}}\sqrt{\frac{n}{2(1-\varepsilon )}} \biggr)\biggr)\, dy, \end{aligned}$$

where $t=(1-y)t_{2}+yt_{1}$.

We can see that as a function of $|\nabla f|$, the quadratic

$$\begin{aligned}& \rho|\nabla f|-(t_{2}-t_{1})\frac{|\nabla f|^{2}}{s}+(t_{2}-t_{1}) \frac{ns}{2(1-\varepsilon )t} \\& \qquad {}+(t_{2}-t_{1}) \biggl(\frac{{nsk}}{{2(1-\varepsilon )(s - 1)}} + \frac {c}{{q}}\sqrt{\frac{n}{2(1-\varepsilon )}} \biggr) \\& \quad \le\frac{s\rho^{2}}{4(t_{2}-t_{1})}+(t_{2}-t_{1}) \frac{ns}{2(1-\varepsilon )t} +(t_{2}-t_{1}) \biggl(\frac{{nsk}}{{2(1-\varepsilon )(s - 1)}} + \frac {c}{{q}}\sqrt{\frac{n}{2(1-\varepsilon )}} \biggr). \end{aligned}$$

So,

$$\begin{aligned} f({x_{1}},{t_{1}}) - f({x_{2}},{t_{2}}) \le&\frac{s\rho^{2}}{4(t_{2}-t_{1})} +(t_{2}-t_{1}) \biggl( \frac{{nsk}}{{2(1-\varepsilon )(s - 1)}} + \frac {c}{{q}}\sqrt{\frac{n}{2(1-\varepsilon )}} \biggr) \\ &{}+\frac{ns}{2(1-\varepsilon )}\log \biggl(\frac{t_{2}}{t_{1}} \biggr), \end{aligned}$$

i.e.,

$$\begin{aligned} u({x_{1}},{t_{1}}) \leq& u({x_{2}},{t_{2}}){ \biggl( {\frac{{{t_{2}}}}{{{t_{1}}}}} \biggr)^{\frac{ns}{2(1-\varepsilon )}}} \\ &{}\times\exp \biggl(\frac{sr^{2}}{4(t_{2}-t_{1})} +(t_{2}-t_{1}) \biggl(\frac{{nsk}}{{2(1-\varepsilon )(s - 1)}} + \frac {c}{{q}}\sqrt{\frac{n}{2(1-\varepsilon )}} \biggr) \biggr). \end{aligned}$$

 □

4 Conclusions

In this paper, we use the method of gradient estimates to study the Fisher–KPP equation. We get the local gradient estimate (Theorem 1.1). Since the solution u of (1.1) often describes the density, it is natural to study solutions of which $0< u<1$. We get the Harnack estimate if $0< u<1$ (Theorem 1.2). Our results can be used to study the solution of (1.1) further. The similar method can be also applied to the following equation:

$$u_{t}=\Delta u+au^{p}+bu^{q}, $$

where a, b, p, q are constants.