Skip to content


  • Research
  • Open Access

Gradient estimates for the Fisher–KPP equation on Riemannian manifolds

Boundary Value Problems20182018:25

  • Received: 29 October 2017
  • Accepted: 21 February 2018
  • Published:


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).


  • Fisher–KPP equation
  • Gradient estimate
  • Harnack inequality


  • 58J35

1 Introduction

Let \((M,g)\) be a complete Riemannian manifold. We consider the parabolic equation
$$ u_{t}=\Delta u+cu(1-u) $$
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 [46] 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 $$
for all x and t, provided that
  1. (i)

    \(0<\alpha <1\),

  2. (ii)

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

  3. (iii)

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

$$\phi(t)=\frac{\mu (\frac{e^{2\mu\omega t}}{\nu-\omega }-\frac{1}{\mu+\omega} )}{1-e^{2\mu\omega t}}, $$
$$\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}$$
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}$$

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}$$
$$\begin{aligned}& W_{t}=-qu^{-q-1}u_{t}, \end{aligned}$$
$$\begin{aligned}& \frac{{{W_{t}}}}{W} = - q\frac{{{u_{t}}}}{u}, \end{aligned}$$
$$\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}$$
$$ \biggl(\Delta -\frac{\partial}{\partial t} \biggr)W=\frac {q+1}{q} \frac{|\nabla W|^{2}}{W}+cqW-cqW^{\frac{q-1}{q}}. $$
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}$$
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.

$$\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}$$
$$\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}$$
$$\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}$$
$$\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}$$
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}$$
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}$$
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}}}}. $$
$$\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}$$
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}}}}. $$
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}$$
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}$$
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}}}}. $$
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}$$
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}$$

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}$$

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}$$
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} ]}\).


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 $$
$$\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}$$
$$\begin{aligned}& \frac{{\partial ( {\phi\cdot H} )}}{{\partial t}} \ge0, \end{aligned}$$
$$\begin{aligned}& \Delta ( {\phi\cdot H} ) \le0. \end{aligned}$$
By (3.2), we have
$$ \nabla H = - \frac{{\nabla\phi}}{\phi}H. $$
By (3.4), we have
$$ \Delta\phi\cdot H + 2\nabla\phi\cdot\nabla H + \phi\Delta H \le0. $$
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. $$
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}$$
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 $$
$$ 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. $$
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}$$
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}$$
where we have used \(2\nabla \phi\cdot \nabla H=-2\frac{|\nabla \phi|^{2}}{\phi }H\geq-\frac{2C_{1}}{R^{2}}H\).
$$\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}$$
Multiplying through by 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}$$
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 ) }}. $$

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}\).


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 ) }} $$
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} }, $$
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}$$
$$\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}$$
$$\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.



The authors would like to thank Professor Xiaodong Cao for his suggestion on the paper and would also like to thank referees for their valuable comments.

Availability of data and materials

Not applicable.


The second author was supported by the Chinese Universities Scientific Fund (2017LX003).

Authors’ contributions

All authors contributed equally to this work. All authors read and approved the final manuscript.

Competing interests

The authors declare that they have no competing interests.

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, 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.

Authors’ Affiliations

Department of Applied Mathematics, College of Science, China Agricultural University, Beijing, P.R. China


  1. Cao, X., Liu, B., Pendleton, I., Ward, A.: Differential Harnack estimates for Fisher’s equation. Pac. J. Math. 290(2), 273–300 (2017) MathSciNetView ArticleMATHGoogle Scholar
  2. Fisher, R.A.: The wave of advance of advantageous genes. Annu. Eugen. 7, 355–369 (1937) View ArticleMATHGoogle Scholar
  3. Kolmogorov, A.N., Petrovsky, I.G., Piskunov, N.S.: Ètude de l’équation de la diffusion avec croissance de la quantité de matière et son application à un problème biologique. Bull. Univ. Mosc. Sér. Int. A 1, 1–25 (1937). English transl. in: Pelcé, P. (ed.) Dynamics of Curved Fronts, pp. 105–130. Academic Press, New York (1988) Google Scholar
  4. Hamel, F., Nadirashvili, N.: Travelling fronts and entire solutions of the Fisher–KPP equation in \(\mathbb{R}^{n}\). Arch. Ration. Mech. Anal. 157(2), 91–163 (2001) MathSciNetView ArticleMATHGoogle Scholar
  5. Berestycki, H., Hamel, F., Matano, H.: Bistable traveling waves around an obstacle. Commun. Pure Appl. Math. 62(6), 729–788 (2009) MathSciNetView ArticleMATHGoogle Scholar
  6. Liang, X., Zhao, X.Q.: Asymptotic speeds of spread and traveling waves for monotone semiflows with applications. Commun. Pure Appl. Math. 60(1), 1–40 (2007) MathSciNetView ArticleMATHGoogle Scholar
  7. Cao, X.: Differential Harnack estimates for backward heat equations with potentials under the Ricci flow. J. Funct. Anal. 255(4), 1024–1038 (2008) MathSciNetView ArticleMATHGoogle Scholar
  8. Cao, X., Hamilton, R.S.: Differential Harnack estimates for time-dependent heat equations with potentials. Geom. Funct. Anal. 19(4), 989–1000 (2009) MathSciNetView ArticleMATHGoogle Scholar
  9. Li, P., Yau, S.T.: On the parabolic kernel of the Schrödinger operator. Acta Math. 156, 153–201 (1986) MathSciNetView ArticleGoogle Scholar
  10. Yau, S.T.: Harmonic functions on complete Riemannian manifolds. Commun. Pure Appl. Math. 28, 201–228 (1975) MathSciNetView ArticleMATHGoogle Scholar
  11. Cheng, S.Y., Yau, S.T.: Differential equations on Riemannian manifolds and their geometric applications. Commun. Pure Appl. Math. 28(3), 333–354 (1975) MathSciNetView ArticleMATHGoogle Scholar
  12. Li, J.: Gradient estimates and Harnack inequalities for nonlinear parabolic and nonlinear elliptic equations on Riemannian manifolds. J. Funct. Anal. 100, 233–256 (1991) MathSciNetView ArticleMATHGoogle Scholar
  13. Negrin, E.R.: Gradient estimates and a Liouville type theorem for the Schrödinger operator. J. Funct. Anal. 127, 198–203 (1995) MathSciNetView ArticleMATHGoogle Scholar
  14. Souplet, P., Zhang, Q.S.: Sharp gradient estimate and Yau’s Liouville theorem for the heat equation on noncompact manifolds. Bull. Lond. Math. Soc. 38, 1045–1053 (2006) MathSciNetView ArticleMATHGoogle Scholar
  15. Yang, Y.: Gradient estimates for a nonlinear parabolic equation on Riemannian manifolds. Proc. Am. Math. Soc. 136, 4095–4102 (2008) MathSciNetView ArticleMATHGoogle Scholar
  16. Bailesteanu, M., Cao, X., Pulemotov, A.: Gradient estimates for the heat equation under the Ricci flow. J. Funct. Anal. 258(10), 3517–3542 (2013) MathSciNetView ArticleMATHGoogle Scholar
  17. Bailesteanu, M.: Gradient estimates for the heat equation under the Ricci-harmonic map flow. Adv. Geom. 15(4), 445–454 (2015) MathSciNetView ArticleMATHGoogle Scholar
  18. Albanese, G., Rigoli, M.: Lichnerowicz-type equations on complete manifolds. Adv. Nonlinear Anal. 5(3), 223–250 (2016) MathSciNetMATHGoogle Scholar
  19. Ghergu, M., Radulescu, V.: Nonlinear PDEs: Mathematical Models in Biology, Chemistry and Population Genetics. Springer Monographs in Mathematics. Springer, Heidelberg (2012) View ArticleMATHGoogle Scholar
  20. Calabi, E.: An extension of E. Hopf’s maximum principle with an application to Riemannian geometry. Duke Math. J. 25, 45–56 (1958) MathSciNetView ArticleMATHGoogle Scholar