Abstract
Invasion phenomena for heterogeneous reaction–diffusion equations are contemporary and challenging questions in applied mathematics. In this paper we are interested in the question of spreading for a reaction–diffusion equation when the subdomain where the reaction term is positive is shifting/contracting at a given speed c. This problem arises in particular in the modelling of the impact of climate change on population dynamics. By placing ourselves in the appropriate moving frame, this leads us to consider a reaction–diffusion–advection equation with a heterogeneous in space reaction term, in dimension \(N\ge 1\). We investigate the behaviour of the solution u depending on the value of the advection constant c, which typically stands for the velocity of climate change. We find that, when the initial datum is compactly supported, there exists precisely three ranges for c leading to drastically different situations. In the lower speed range the solution always spreads, while in the upper range it always vanishes. More surprisingly, we find that both spreading and vanishing may occur in an intermediate speed range. The threshold between those two outcomes is always sharp, both with respect to c and to the initial condition. We also briefly consider the case of an exponentially decreasing initial condition, where we relate the decreasing rate of the initial condition with the range of values of c such that spreading occurs.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
Allee, W.C.: The Social Life of Animals. W. W. Norton and Co., New York (1938)
Araujo, M.B., Pearson, R.G.: Equilibrium of species’ distributions with climate. Ecogeography 28, 693–695 (2005)
Aronson, D.G., Weinberger, H.F.: Multidimensional nonlinear diffusion arising in population genetics. Adv. Math. 30(1), 33–76 (1978). https://doi.org/10.1016/0001-8708(78),90130-5
Berestycki, H., Desvillettes, L., Diekmann, O.: Can climate change lead to gap formation? Ecological Complexity 20(SI), 264–270 (2014). https://doi.org/10.1016/j.ecocom.2014.10.006
Berestycki, H., Diekmann, O., Nagelkerke, C.J., Zegeling, P.A.: Can a species keep pace with a shifting climate? Bull. Math. Biol. 71(2), 399–429 (2009). https://doi.org/10.1007/s11538-008-9367-5
Berestycki, H., Rossi, L.: Reaction–diffusion equations for population dynamics with forced speed. I. The case of the whole space. Discrete Contin. Dyn. Syst. 21(1), 41–67 (2008). https://doi.org/10.3934/dcds.2008.21.41
Berestycki, H., Rossi, L.: Reaction–diffusion equations for population dynamics with forced speed. II. Cylindrical-type domains. Discrete Contin. Dyn. Syst. 25(1), 19–61 (2009). https://doi.org/10.3934/dcds.2009.25.19
Bouhours, J., Nadin, G.: A variational approach to reaction–diffusion equations with forced speed in dimension 1. Discrete Contin. Dyn. Syst. 35(5), 1843–1872 (2015). https://doi.org/10.3934/dcds.2015.35.1843
Coddington, E.A., Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill Book Company Inc, New York-Toronto-London (1955)
Du, Y., Matano, H.: Convergence and sharp thresholds for propagation in nonlinear diffusion problems. J. Eur. Math. Soc. (JEMS) 12(2), 279–312 (2010). https://doi.org/10.4171/JEMS/198
Du, Y., Polacik, P.: Locally uniform convergence to an equilibrium for nonlinear parabolic equations on \(\mathbb{R}^{n}\). Indiana Univ. Math. J. 64, 787–824 (2015)
Gallay, T., Risler, E.: A variational proof of global stability for bistable travelling waves. Differ. Integral Equ. 20(8), 901–926 (2007)
Hadeler, K., Rothe, F.: Travelling fronts in nonlinear diffusion equations. J. Math. Biol. 2, 251–263 (1975)
Hamel, F., Monneau, R.: Solutions of semilinear elliptic equations in \(\mathbb{R}^N\) with conical-shaped level sets. Commun. Part. Differ. Equ. 25, 769–819 (2000)
Harsch, M.A., Zhou, Y., Hille Ris Lambers, J., Kot, M.: Keeping pace with climate change: stage-structured moving-habitat models. Am. Natl. 184(1), 25–37 (2014)
Heinze, S.: A variational approach to traveling waves. Technical Report 85, Max Planck Institute for Mathematical Sciences, Leipzig (2001)
Li, B., Bewick, S., Shang, J., Fagan, W.F.: Persistence and spread of a species with a shifting habitat edge. SIAM J. Appl. Math. 74(5), 1397–1417 (2014). https://doi.org/10.1137/130938463
Malcolm, J.R., Markham, A.T.: Global warming and terrestrial biodiversity decline. A Report Prepared for World Wildlife Fund (2000)
Muratov, C.B.: A global variational structure and propagation of disturbances in reaction-diffusion systems of gradient type. Discrete Contin. Dyn. Syst. Ser. B 4(4), 867–892 (2004). https://doi.org/10.3934/dcdsb.2004.4.867
Muratov, C.B., Novaga, M.: Global exponential convergence to variational traveling waves in cylinders. SIAM J. Math. Anal. 44(1), 293–315 (2012). https://doi.org/10.1137/110833269
Muratov, C.B., Zhong, X.: Threshold phenomena for symmetric decreasing solutions of reaction–diffusion equations. NoDEA Nonlinear Differ. Equ. Appl. 20(4), 1519–1552 (2013). https://doi.org/10.1007/s00030-013-0220-7
Ninomiya, H., Taniguchi, M.: Existence and global stability of traveling curved fronts in the Allen-Cahn equations. J. Differ. Equ. 213(1), 204–233 (2005)
Polacik, P.: Threshold solutions and sharp transitions for nonautonomous parabolic equations on \(\mathbb{R}^N\). Arch. Ration. Mech. Anal. 199(1), 69–97 (2011). https://doi.org/10.1007/s00205-010-0316-8
Potapov, A.B., Lewis, M.A.: Climate and competition: the effect of moving range boundaries on habitat invasibility. Bull. Math. Biol. 66(5), 975–1008 (2004). https://doi.org/10.1016/j.bulm.2003.10.010
Risler, E.: Global convergence toward traveling fronts in nonlinear parabolic systems with a gradient structure. Ann. I. H. Poincaré 25, 381–424 (2008)
Roques, L., Roques, A., Berestycki, H., Kretzschmar, A.: A population facing climate change: joint influences of Allee effects and environmental boundary geometry. Popul. Ecol. 50, 215–225 (2008). https://doi.org/10.1007/s10144-007-0073-1
Rothe, F.: Convergence to pushed fronts. Rocky Mt. J. Math. 11, 617–633 (1981)
Uchiyama, K.: The behavior of solutions of some non-linear diffusion equations for large time. J. Math. Kyoto Univ. 18, 453–508 (1978)
Vo, H.H.: Persistence versus extinction under a climate change in mixed environments. J. Differ. Equ. 259(10), 4947–4988 (2015). https://doi.org/10.1016/j.jde.2015.06.014
Walther, G.R., Post, E., Convey, P., Menzel, A., Parmesan, C., Beebee, T.J.C., Fromentin, J.M., Hoegh-Guldberg, O., Bairlein, F.: Ecological responses to recent climate change. Nature 416(6879), 389–395 (2002). https://doi.org/10.1038/416389a
Zhou, Y., Kot, M.: Discrete-time growth-dispersal models with shifting species ranges. Theor. Ecol. 4, 13–25 (2011). https://doi.org/10.1007/s12080-010-0071-3
Zhou, Y., Kot, M.: Life on the move: modeling the effects of climate-driven range shifts with integrodifference equations. In: Dispersal, individual movement and spatial ecology, Lecture Notes in Math., vol. 2071, pp. 263–292. Springer, Heidelberg (2013)
Zlatoš, A.: Sharp transition between extinction and propagation of reaction. J. Am. Math. Soc. 19(1), 251–263 (2006). https://doi.org/10.1090/S0894-0347-05-00504-7
Acknowledgements
The first author, J. B., was supported by a public grant as part of the Investissement d’avenir project, reference ANR-11-LABX-0056-LMH, LabEx LMH. The second author, T. G., was supported by the NONLOCAL Project (ANR-14-CE25-0013) funded by the French National Research Agency (ANR).
Author information
Authors and Affiliations
Corresponding author
Additional information
The first author, J. B., was supported by a public grant as part of the Investissement d’avenir project, reference ANR-11-LABX-0056-LMH, LabEx LMH. The second author, T.G., was supported by the NONLOCAL Project (ANR-14-CE25-0013) funded by the French National Research Agency (ANR).
Maximum Principle Lemmas
Maximum Principle Lemmas
1.1 An Elliptic Maximum Principle
In our proofs, we use extensively the following lemma:
Lemma A.1
Assume that \(c \ge 2\sqrt{g_+ '(0)}\). Let \(\underline{\phi } (x,y)\) and \(\overline{\phi }(x,y)\) be two nonnegative functions, respectively a sub and a supersolution of (1.1), and assume that they both decay to 0 at \(x \rightarrow +\infty \) as
where these estimates are understood to be uniform with respect to \(y \in \omega \).
Then there exists \(X>0\) large enough such that, for any \(X ' \ge X\), if \(\underline{\phi } (X',\cdot ) \le \overline{\phi } (X',\cdot )\), then either \(\underline{\phi } \equiv \overline{\phi }\) or \(\underline{\phi } (x,y) < \overline{\phi } (x,y)\) for all \((x,y) \in (X' ,+\infty ) \times \omega \).
Note first that when \(c < 2 \sqrt{g_+'(0)}\), then we prove in Sect. 3 that 0 is unstable with respect to compact perturbations so that there does not exist any supersolution decaying to 0 at infinity. Therefore, it is meaningful to only consider the case \(c \ge 2 \sqrt{g_+ '(0)}\).
Moreover, if instead of our assumptions, one chooses f to have a negative derivative with respect to its third variable, then the lemma reduces to the usual maximum principle. In particular, one can clearly derive a similar property on the far left of our problem. Because \(\partial _s f(x,y,0) >0\) for large positive x and all \(y \in \omega \), the situation is rather different on the far right. However, it is still quite standard that the maximum principle remains valid in an appropriate subspace of fast decaying functions, in which 0 is again stable. This is exactly Lemma A.1, whose proof we include below for the sake of completeness.
Proof
Let us first assume that \(c > 2 \sqrt{g_+'(0)}\). Let \(\varepsilon >0\) be small so that \(c > 2 \sqrt{g_+'(0) + 2 \varepsilon }\). We consider \(\delta >0\) and \(X>0\) such that, for all \(x \ge X\), \(y\in \omega \) and \(s \in [0,\delta ]\), one has
and for all \(x \ge X\) and \(y \in \omega \),
Then \(\psi := e^{\frac{c}{2}x } \left( \underline{\phi } - \overline{\phi }\right) \) satisfies, when \(x \ge X\):
Proceed by contradiction and assume that \(\psi >0\) at some point \((x_0,y_0)\) with \(x_0 > X'\ge X\) and \(y \in \overline{\omega }\). From our choice of X, we have wherever \(\psi >0\) that
hence \(\varDelta \psi > \varepsilon \psi \). Noting that \(\lim _{x \rightarrow +\infty } \psi (x,y) =0\) (uniformly with respect to y), we can assume without loss of generality that
If \(y_0 \in \omega \), then \(\varDelta \psi (x_0,y_0) \le 0\), a contradiction. The case \(y_0 \in \partial \omega \) is also ruled out, thanks to Hopf lemma. When \(\omega = \mathbb R^{N-1}\), it may be necessary to pass to the limit in a sequence of appropriate shifts of \(\psi \). More precisely, choosing a sequence \((x_n, y_n) \in (X',+\infty ) \times \mathbb R^{N-1}\) such that \(\psi (x_n,y_n) \rightarrow \max _{x \ge X', y \in \omega } \psi (x,y)\), we can extract a subsequence so that \(\psi _n:=\psi (x_n+ \cdot , y_n+ \cdot )\) converges to a function \(\psi _\infty \) which reaches a positive maximum at the point (0, 0), and satisfies the parabolic inequality \(\varDelta \psi \ge \varepsilon \psi \) on an open neighborhood of (0, 0). We reach the same contradiction.
We conclude that \(\underline{\phi } \le \overline{\phi }\) in \((X',+\infty ) \times \omega \). By the strong maximum principle, either \(\underline{\phi } \equiv \overline{\phi }\) or this inequality is also strict.
The case \(c = 2 \sqrt{g_+ '(0)}\) can be dealt with similarly, by defining instead
which satisfies
for all \( x>0\). Because of the critical choice of c, here we use the fact that \(\partial _s f(x,y,s)\) converges not only locally uniformly in s to \(g_+ ' (s)\) as \(x \rightarrow +\infty \), but also in the \(C^{0,r}\) topology where \(0<r<1\). Thus one can find \(\delta >0\), \(X>0\) and \(\eta >0\) such that for all \(x \ge X\), \(y \in \omega \) and \(s \in [0,\delta ]\), one has
Then, when \(\psi >0\) and x large enough, we get
Proceeding as above, we assume that there exists \((x_0,y_0)\in \varOmega \) such that \(x_0>X'\ge X\) and \(\psi (x_0,y_0)>0\) as well as \(\lim _{x\rightarrow +\infty } \psi (x,y)=0\) uniformly with respect to y. Then we apply the maximum principle to reach the conclusion. \(\square \)
The interest of this lemma is that a solution of (1.1) satisfies such exponential bounds when it does not spread: see Proposition 4.1. As we cannot a priori exclude the possibilty that the solution converges to nonstationary solutions as time goes to infinity, we also provide below a parabolic version of this maximum principle.
1.2 A Parabolic Maximum Principle
Lemma A.2
Assume \(c \ge 2 \sqrt{g_+'(0)}\). Assume that \(\underline{u}\) is a global in time subsolution, and \(\overline{u}\) a global in time supersolution, satisfying the exponential estimates from Lemma A.1 as \(x\rightarrow +\infty \), uniformly with respect to \(t \in \mathbb {R}\) and \(y\in \omega \).
Then there exists \(X>0\) large enough such that, for any \(X' \ge X\), if \(\underline{u} (\cdot ,X',\cdot ) \le \overline{u} (\cdot , X',\cdot )\), then \(\underline{u} \le \overline{u}\) in \(\mathbb {R} \times (X',+\infty )\times \omega \).
Note that the previous elliptic maximum principle lemma can be seen as a particular case. In fact the proof is quite similar and therefore we only briefly sketch it.
Proof
We start with the case \(c>2\sqrt{g'_+(0)}\), and define \(\varepsilon >0\) such that \(c>2\sqrt{g'_+(0)+\varepsilon }\). We use some exponential lift as above, so that \(\psi =e^{\frac{c}{2}x} (\underline{u} - \overline{u})\) satisfies
Proceeding as above, there exists \(X>0\) such that for all \(t>0\), \(x\ge X\), \(y\in \omega \),
Now choosing \(0<\delta <\varepsilon /2\) and \(\gamma >0\), the function \(w:=\gamma e^{-\delta t}\) is a supersolution of the above linear parabolic problem for all \(t\in \mathbb {R}\), \(x\ge X\), \(y\in \omega \). Noting that \(e^{\frac{c}{2} x} \times (\underline{u} - \overline{u})\) is uniformly bounded in space and time, one can choose \(\gamma \) so that \(\psi < \gamma \) for all time, \(x\ge X\) and \(y\in \omega \), as well as \(\psi (\cdot ,X',\cdot ) \ge 0\) (for some \(X'\ge X\) as assumed in Lemma A.2). By a comparison principle, we get that \(\psi (t,\cdot ) \le \gamma e^{-\delta s}\) for all \(t \in \mathbb {R}\), \(s >0\), all \(y \in \omega \) and \(x \ge X'\). Therefore \(\psi \le 0 \), and in other words, \(\overline{u}- \underline{u} \ge 0\).
The case \(c = 2 \sqrt{g'_+ (0)}\) is similar. Posing now \(\psi = \frac{e^{\frac{c}{2}x}}{1 + \sqrt{x}} (\underline{u} - \overline{u})\), one may find that \(\psi \) is a subsolution of the heat equation on a half-space \((X,+\infty ) \times \omega \), for all times. It also satisfies \(\psi (\cdot , +\infty , \cdot )\) and the conclusion of Lemma A.2 follows. \(\square \)
Rights and permissions
About this article
Cite this article
Bouhours, J., Giletti, T. Spreading and Vanishing for a Monostable Reaction–Diffusion Equation with Forced Speed. J Dyn Diff Equat 31, 247–286 (2019). https://doi.org/10.1007/s10884-018-9643-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10884-018-9643-5
Keywords
- Reaction–diffusion equations
- Climate change
- Travelling waves
- Long time behaviour
- Sharp threshold phenomena