1. Introduction
The model and its motivation: In this paper, we mainly consider the following equation:
\begin{equation} \left \{\begin{array}{l} \partial _{t} u(t, x)= \underset{\text{Cell-cell repulsion}}{\underbrace{ \chi \; \partial _{x}\left (u(t, x) \partial _{x} p(t, x)\right )}}+ \underset{\text{Vital dynamic}}{\underbrace{ \lambda \; u(t, x)\left (1- \dfrac{u(t,x)}{\kappa }\right )}}, \quad t\gt 0, x \in \mathbb{R}, \\[5pt] p(t, x)-\sigma ^{2} \, \partial _{x x} p(t, x)=u(t, x), \quad t\gt 0, x \in \mathbb{R}, \end{array}\right . \end{equation}
with the initial distribution
\begin{equation} u(0,x)=u_0(x) \in{\textrm{L}}^\infty \left ({\mathbb{R}}\right ), \end{equation}
where
$\lambda \gt 0$
is the growth rate,
$\kappa \gt 0$
is the carrying capacity,
$\chi \gt 0$
is the dispersion coefficient,
$\sigma \gt 0$
is a sensing coefficient,
$x \to u(t,x)$
is the density of population, and
$p(t, x)$
is an external pressure.
Here, the term density of population means that
\begin{equation*} \int _{x_1}^{x_2} u(t,x)dx \end{equation*}
is the number of individuals between
$x_1$
and
$x_2$
(when
$x_1\lt x_2$
).
In the model the term,
$\chi \partial _{x}\left (u(t, x) \partial _{x} p(t, x)\right )$
describes the cell-cell repulsion, and a logistic term
$\lambda u(t, x)(1- u(t,x)/\kappa )$
corresponds the cell division, cell mortality, and the quadratic term
$u(t,x)^2/\kappa$
corresponds to growth limitations due to quorum sensing (for short slow down the process of cell division) and due to competition for resources.
Replacing
$u(t,x)$
and
$p(t,x)$
by
$\widehat{u}(t,x)=u(t/\lambda,x)/\kappa$
and
$\widehat{p}(t,x)=p(t/\lambda,x)/ \kappa$
, we obtain (dropping the hat notation)
\begin{equation} \left \{\begin{array}{l} \partial _{t} u(t, x)= \chi \; \partial _{x}\left (u(t, x) \partial _{x} p(t, x)\right )+ u(t, x)(1- u(t, x)), \quad t\gt 0, x \in \mathbb{R},\\[5pt] p(t, x)-\sigma ^{2} \, \partial _{x x} p(t, x)=u(t, x), \quad t\gt 0, x \in \mathbb{R}. \end{array}\right . \end{equation}
Therefore, through the paper we will assume that
\begin{equation*} \lambda =1 \text { and }\kappa =1. \end{equation*}
Our original motivation comes from the description of cell motion in a Petri dish. In a previous paper [Reference Fu, Griette and Magal8], we derived a two-dimensional version of (1.3) to model the cell-cell repulsion in a Petri dish. We considered that cells grow in a circular domain (the Petri dish) and generate a repulsive gradient that pushes back neighbouring cells. We built a numerical simulation framework to study the solutions of the partial differential equation and compared the results to some real experiments realized by Pasquier and collaborators [Reference Pasquier, Magal, Boulangé-Lecomte, Webb and Le Foll17]. When starting from an isolated disk-like islet, the solution of the PDE looks like an expanding disk whose radius seems to be growing at a constant speed. We can study the shape of an expanding islet by considering travelling waves for (1.3). Previously, we studied the well-posedness of the problem (1.3) in [Reference Fu, Griette and Magal9] and proved the existence of an asymptotic propagation discontinuous profile – a travelling wave – in [Reference Fu, Griette and Magal10], corresponding to an initial data that is equal to 0 outside of some bounded region. In other words, in [Reference Fu, Griette and Magal10], we considered the case of an initial population of cells with compact support: no cell exists initially outside of the islet. The travelling waves constructed in [Reference Fu, Griette and Magal10] are called sharp because the transition between the occupied space (the area where
$u(t, x)\gt 0$
) and the empty space (when
$u(t, x)=0$
) occurs at some finite position. We also proved in [Reference Fu, Griette and Magal10] that sharp travelling waves are necessarily discontinuous. Our model is related to the study of Ducrot et al. [Reference Ducrot, Foll, Magal, Murakawa, Pasquier and Webb5] who introduced a complete model of in vitro cell dynamics with many different behaviours at the cellular level. Other features of closely related models have been investigated in [Reference Ducrot, Fu and Magal4, Reference Ducrot and Magal6, Reference Ducrot and Manceau7, Reference Hamel and Henderson12, Reference Henderson13].
In the previous paper, we proved the existence of sharp travelling waves for (1.3). Our goal here is to complete the description of existing travelling waves that are not sharp. Formally, our work relates to the result of de Pablo and Vazquez [Reference de Pablo and Vazquez18], who studied the existence of sharp and not sharp travelling waves for a porous medium equation. The porous medium equation corresponds (formally) to the case
$\sigma \to 0$
. The convergence of the travelling waves when
$\sigma \to 0$
has been observed only numerically in [Reference Fu, Griette and Magal10] and proved in [Reference Griette, Henderson and Turanova11], where the authors also propose an alternate method for the construction of discontinuous fronts by vanishing viscosity among other results.
The notion of solution: Throughout this paper, we impose that
$p\in{\textrm{L}}^\infty (\mathbb{R})$
so the second line of (1.3) has a unique solution for a given
$u(t, \cdot )\in{\textrm{L}}^\infty (\mathbb{R})$
. In order to give a sense of the solution (1.3), we first assume that
$x \to p(t,x)$
is regular enough. Then, the nonlinear diffusion can be understood as
\begin{equation*} \chi \partial _{x}\left (u(t, x) \partial _{x} p(t, x)\right )=\chi \partial _{x}u(t, x) \partial _{x} p(t, x)+\chi u(t, x) \partial _{xx} p(t, x) \end{equation*}
and by using the second equation of (1.3), we obtain
\begin{equation*} \chi \partial _{x}\left (u(t, x) \partial _{x} p(t, x)\right )=\chi \partial _{x}u(t, x) \partial _{x} p(t, x)+ \frac {\chi }{\sigma ^{2}} u(t, x) \left [ p(t,x)-u(t,x) \right ]. \end{equation*}
Therefore, the system (1.3) is understood for
$t \geq 0$
and
$x \in{\mathbb{R}}$
as
\begin{equation} \left \{\begin{array}{l} \partial _{t} u(t, x)=\chi \partial _{x}u(t, x) \partial _{x} p(t, x)+u(t, x) \left ( \left ( 1+\frac{\chi }{\sigma ^{2}} p(t,x) \right )-\left (1+\frac{\chi }{\sigma ^{2}} \right )u(t, x) \right ), \\[5pt] p(t, x)-\sigma ^{2} \partial _{x x} p(t, x)=u(t, x), \end{array}\right . \end{equation}
with the initial distribution
\begin{equation} u(0,x)=u_0(x) \in{\textrm{L}}^\infty \left ({\mathbb{R}}\right ). \end{equation}
The existence and uniqueness of solutions of (1.4) in
${\textrm{L}}^\infty \left ({\mathbb{R}}\right )$
have been considered as a subset of the weighted space
$L^1_\eta \left ({\mathbb{R}}\right )$
(with
$\eta \gt 0$
) with the norm
\begin{equation*} \Vert u\Vert _{L^1_\eta }=\int _{{\mathbb {R}}} e^{-\eta \vert x \vert }\vert u(x) \vert dx. \end{equation*}
The existence and uniqueness of solutions for (1.4) have been studied by Fu, Griette, and Magal [Reference Fu, Griette and Magal9, Theorem 2.2].
1.1. Notion of travelling wave:
Definition 1.1.
A
travelling wave
is a special solution of (1.3) such that
$u(t, x)$
has the specific form
\begin{equation*} u(t, x)=U(x-ct), \text { for a.e. } (t, x)\in \mathbb R^2, \end{equation*}
where the
profile
$U$
has the following behaviour at
$\pm \infty$
:
\begin{equation*} \lim _{z\to - \infty }U(z) =1,\quad \lim _{z\to \infty } U(z)=0. \end{equation*}
A travelling wave is
sharp
if there exists
$x_0 \in{\mathbb{R}},$
such that
\begin{equation*} U(x)=0, \text { for all } x \gt x_0. \end{equation*}
A travelling wave is not sharp if
\begin{equation*} U(x)\gt 0, \text { for all } x \in \mathbb R. \end{equation*}
We will say that system (1.3) has a
travelling wave with continuous profile
if we can find a bounded, continuous, and decreasing continuous function
$U\;:\;{\mathbb{R}} \to{\mathbb{R}}$
that is the profile of a travelling wave.
In Fu, Griette, and Magal [Reference Fu, Griette and Magal10, Proposition 2.4], we proved that the sharp travelling waves must be discontinuous. That is to say that
$x \to U(x)$
, the travelling wave profile of (1.3) can be either continuous or discontinuous. We illustrated both situations in Figure 1.
Figure 1. An illustration of two types of travelling wave solutions.
Estimations on the travelling speed for the discontinuous profile: Under a technical assumption on
$\hat \chi =\frac{\chi }{\sigma ^2}$
, we can prove the existence of sharp travelling waves which present a jump at the vanishing point.
Assumption 1.2 (Bounds on
$\hat \chi$
). Let
$\chi \gt 0$
and
$\sigma \gt 0$
be given and define
$\hat \chi \;:\!=\;\frac{\chi }{\sigma ^2}$
. We assume that
$0\lt \hat \chi \lt \bar \chi$
, where
$\bar \chi$
is the positive unique root of the function
\begin{equation*} \hat \chi \mapsto \ln \left (\frac {2-\hat \chi }{\hat \chi }\right )+\frac {2}{2+\hat \chi }\left (\frac {\hat \chi }{2}\ln \left (\frac {\hat \chi }{2}\right )+1-\frac {\hat \chi }{2}\right ). \end{equation*}
The existence of travelling waves with discontinuous profile has been studied by Fu, Griette, and Magal [Reference Fu, Griette and Magal10, Theorem 2.4].
Theorem 1.3 (Existence of a sharp discontinuous travelling wave). Let Assumption 1.2 be satisfied. There exists a travelling wave
$u(t,x)=U(x-ct)$
travelling at speed
\begin{equation*} c\in \left (\frac {\sigma \hat \chi }{2+\hat \chi },\frac {\sigma \hat \chi }{2}\right ), \end{equation*}
where
\begin{equation*} \hat \chi =\frac {\chi }{\sigma ^2}. \end{equation*}
Moreover, the profile
$U$
satisfies the following properties (up to a shift in space):
-
(i)
$U$
is sharp in the sense that
$U(x)=0$
for all
$x\geq 0$
; moreover,
$U$
has a discontinuity at
$x=0$
with
$ U(0^-)\geq \frac{2}{2+\hat \chi }$
. -
(ii)
$U$
is continuously differentiable and strictly decreasing on
$(\!-\!\infty, 0]$
and satisfies
and
\begin{equation*} -c\,U'-\chi (UP')' =U(1-U) \text { on } (\!-\!\infty, 0), \end{equation*}
and
\begin{equation*} U=0 \text { on } (0, \infty ), \end{equation*}
\begin{equation*} P-\sigma ^2 P''=U \text { on }{\mathbb {R}}. \end{equation*}
In this article, we focus on the existence of travelling waves with continuous profiles. The main result of this paper is the following theorem.
Theorem 1.4 (Existence of a continuous travelling wave). We assume that
\begin{equation*} c\geq \sqrt {\chi \left ( 1+\frac {\chi }{\sigma ^2} \right )}. \end{equation*}
There exists a travelling wave
$u(t, x)=U(x-ct)$
with a continuous profile
$x \to U(x)$
that is continuously differentiable and strictly decreasing, and
\begin{equation} \lim _{x\to -\infty }U(x)=1, \text{ and }\lim _{x\to +\infty }U(x)=0, \end{equation}
and satisfies travelling wave problem
\begin{equation} -c\,U'-\chi (UP')' =U(1-U), \text{ on }{\mathbb{R}}, \end{equation}
where
\begin{equation} P-\sigma ^2 P''=U, \text{ on }{\mathbb{R}} . \end{equation}
Estimations on the travelling speed: We obtain the following condition for the existence of a travelling wave with a continuous profile for all-speed
\begin{equation*} c\geq c_{\text {cont}}^*\;:\!=\;\sqrt {\chi \left ( 1+\frac {\chi }{\sigma ^2} \right )}. \end{equation*}
For the Fisher-KPP equation [Reference Aronson and Weinberger2, Reference Kolmogorov, Petrovsky and Piskunov15, Reference Weinberger21], travelling waves only exist for half-line of positive travelling speeds. Moreover, there is a minimum speed
$c_*\gt 0$
below which no travelling wave exists. Moreover, we can construct travelling waves for any values
$c$
above
$c_*$
. The existence of minimum speed is also true for porous medium equations with logistic dynamics [Reference de Pablo and Vazquez18]. By analogy with the porous medium equations, we expect that the minimal speed of the travelling waves corresponds to the sharp travelling wave constructed in [Reference Fu, Griette and Magal10]. In contrast, the continuous travelling waves constructed in the present paper correspond to higher velocities. Recall from [Reference Fu, Griette and Magal10, Theorem 2.4] that the sharp travelling wave is expected to travel at a speed
$c_{\text{sharp}}\in \left (\frac{\chi/\sigma }{2+\chi/(\sigma ^2)}, \frac{\chi }{2\sigma }\right )$
, and indeed, we have that
\begin{equation*} c_{\text {cont}}^*=\sqrt {\chi \left ( 1+\frac {\chi }{\sigma ^2} \right )}\geq \dfrac {\chi }{\sigma } \gt \frac {1}{2} \frac {\chi }{\sigma }\geq c_{\text {sharp}}. \end{equation*}
Further analysis will be necessary to connect the gap between
$c_{\text{cont}}^*$
and
$c_{\text{sharp}}$
and to possibly prove the non-existence of travelling waves slower than sharp waves. Understanding the relationships between the profiles and the travelling speeds is still an open problem.
The paper is organized as follows. Section 2 is devoted to preliminary results. Section 3 presents the fixed point problem and its properties. Section 4 is devoted to the proof of Theorem 1.4. In Section 5, we present some numerical simulations. In Section 6, we present an application to wound healing.
Figure 2. In this figure, we plot the travelling wave profile
$x \to U(x)$
.
2. Preliminary
We are interested in travelling waves of the system (1.3). In Figure 2, we illustrate the continuous travelling wave profiles.
Lemma 2.1.
Assume that system (1.4) has a travelling wave
$u(t,x)=U(x-ct)$
. Then, we must have
\begin{equation*} p(t,x)=P(x-ct), \end{equation*}
where
$P\;:\;{\mathbb{R}} \to{\mathbb{R}}$
is the unique bounded continuous function satisfying the elliptic equation
\begin{equation*} P( x) -\sigma ^{2} P''( x)=U(x), \forall x \in \mathbb {R}. \end{equation*}
Proof.
\begin{equation} p(t,x)=\frac{1}{2 \sigma } \int _{\mathbb{R}} e^{-\frac{|y|}{\sigma }} u(t,x-y){\mathrm{d}} y= \frac{1}{2 \sigma } \int _{\mathbb{R}} e^{-\frac{|y|}{\sigma }} U(x-y-ct){\mathrm{d}} y, \end{equation}
therefore,
$p(t,x)=P(x-ct)$
where
\begin{equation*} P(x)= \frac {1}{2 \sigma } \int _{\mathbb {R}} e^{-\frac {|y|}{\sigma }} U(x-y) \mathrm {d} y \Leftrightarrow P(x)-\sigma ^{2} P''( x)=U(x),x \in \mathbb {R}. \end{equation*}
The following proposition was proved by Fu, Griette and Magal [Reference Fu, Griette and Magal10, Proposition 2.4].
Proposition 2.2.
Assume that
$U$
is a continuous profile of travelling wave. Then,
$U\;:\;{\mathbb{R}} \to{\mathbb{R}}$
is continuously differentiable, and
\begin{equation} c+\chi P'(x) \gt 0, \forall x \in{\mathbb{R}} \left ( \Leftrightarrow 0 \leq -P'(x) \lt \dfrac{c}{\chi }, \forall x \in{\mathbb{R}}\right ). \end{equation}
Transforming
$U(x)$
into
$\widehat{U}(x)=U(\!-\!x)$
: In order to work with increasing functions rather than decreasing functions, we reverse the space variable. By Definition 1.1 and Lemma 2.1, we get the following travelling wave problem
\begin{equation} -\left (c+\chi P'(x) \right ) U'(x)=U(x) \left ( \left ( 1+\frac{\chi }{\sigma ^{2}} P(x) \right )-\left (1+ \frac{\chi }{\sigma ^{2}} \right )U(x) \right ), \forall x \in \mathbb{R}, \end{equation}
where
\begin{equation} P( x)-\sigma ^{2} P''( x)=U(x), \forall x \in \mathbb{R}. \end{equation}
Equation (2.3) has the following behaviour at
$\pm \infty$
:
\begin{equation*} \lim _{x\rightarrow -\infty }U(x) = 1,\quad \lim _{x\rightarrow +\infty }U(x) = 0. \end{equation*}
Now, let us perform the change of variables to reverse the space direction. Setting
$\widehat{U}(x) = U(\!-\!x)$
, and
$\widehat{P}(x) = P(\!-\!x)$
, then equations (2.3) and (2.4) become
\begin{align} \left (c-\chi \widehat{P}'(x) \right )\widehat{U}'(x)&=\widehat{U}(x)\left ( \left ( 1+\frac{\chi }{\sigma ^{2}} \widehat{P}(x) \right )-\left (1+ \frac{\chi }{\sigma ^{2}} \right )\widehat{U}(x) \right ), \forall x \in \mathbb{R}, \end{align}
where
\begin{equation*} \widehat {P}( x)-\sigma ^{2} \widehat {P}''( x)=\widehat {U}(x), \forall x \in \mathbb {R}. \end{equation*}
Assume that
$c+\chi P'(x) \gt 0, \forall x \in{\mathbb{R}},$
then we have
$c-\chi \widehat{P}'(x) \gt 0, \forall x \in{\mathbb{R}}$
by using
$\widehat{P}(x) = P(\!-\!x)$
.
For convenience, we drop the hat notation, and system (2.5) becomes a logistic equation
\begin{align} U'(x)&=\lambda (x) \, U(x) -\kappa (x) \, U^2(x), \forall x \in \mathbb{R}, \end{align}
where
\begin{equation} \lambda (x)\;:\!=\;\frac{1+\frac{\chi }{\sigma ^{2}} P(x)}{c-\chi P'(x)}, \forall x \in \mathbb{R}, \end{equation}
and
\begin{equation} \kappa (x)\;:\!=\;\frac{1+ \frac{\chi }{\sigma ^{2}}}{c-\chi P'(x)}, \forall x \in \mathbb{R}, \end{equation}
with
$P(x)$
is the unique solution of the elliptic equation
\begin{equation} P(x)-\sigma ^{2} P''(x)=U(x), \forall x \in \mathbb{R}. \end{equation}
System (2.6) has the following behaviour at
$\pm \infty$
\begin{equation} \lim _{x\rightarrow -\infty }U(x) = 0,\quad \lim _{x\rightarrow \infty }U(x) = 1. \end{equation}
Lemma 2.3.
Assume that
$U\;:\;{\mathbb{R}} \to{\mathbb{R}}$
is an increasing
$C^1$
function. Then, the map
$x \to P(x)$
solving the elliptic equation
\begin{equation*} P( x)-\sigma ^{2} P''( x)=U(x), \forall x \in \mathbb {R}, \end{equation*}
is an increasing
$C^3$
function, and we have the following estimation of the first derivative of
$P(x)$
\begin{equation} \sup _{x \in{\mathbb{R}}} P'(x) \leq \sup _{x \in{\mathbb{R}}} U'(x). \end{equation}
Proof. The result follows the following inequality
\begin{equation} 0 \leq P'(x)=\frac{1}{2 \sigma } \int _{\mathbb{R}} \mathrm{e}^{-\frac{|y|}{\sigma }}U'(x-y) \mathrm{d} y \leq \sup _{x \in{\mathbb{R}}} U'(x). \end{equation}
Lemma 2.4.
Assume that
$c\geq \sqrt{\chi \left (1+\frac{\chi }{\sigma ^2}\right )}$
,
\begin{equation} 0\leq U'(x)\leq{C_U\;:\!=\;\dfrac{c+\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}}{2\chi }}, \forall x \in \mathbb{R}, \end{equation}
and
\begin{equation*} 0\lt u_0\lt \frac {\sigma ^2}{2 \left ( \sigma ^2+\chi \right )}{\left (1-\sqrt {1-\frac {\chi }{c^2}\left (1+\frac {\chi }{\sigma ^2}\right )}\right )}. \end{equation*}
Then,
$U\;:\;{\mathbb{R}} \to{\mathbb{R}}$
is an increasing
$C^1$
function satisfying (2.6), (2.10) and
\begin{equation} U(0)=u_0, \end{equation}
which is given by the following formula
\begin{equation*} U(x)=\frac {u_0\mathrm {e}^{\int _{0}^{x}\lambda (s)\mathrm {d} s}}{1+u_0\int _{0}^{x}\kappa (s)\mathrm {e}^{\int _{0}^{s}\lambda (\tau )\mathrm {d} l}\mathrm {d} s}, \forall x \in {\mathbb {R}}, \end{equation*}
where
$\lambda (x)$
,
$\kappa (x)$
, and
$P(x)$
are given by equations (2.7), (2.8), and (2.9) above.
Proof. Let us prove that the formula
\begin{align} \frac{u_0\mathrm{e}^{\int _{0}^{x}\lambda (s)\mathrm{d} s}}{1+u_0\int _{0}^{x}\kappa (s)\mathrm{e}^{\int _{0}^{s}\lambda (l)\mathrm{d} l}\mathrm{d} s} \end{align}
is well defined for all
$x \in{\mathbb{R}}$
. So let us prove that if
$0\lt u_0\lt \frac{\sigma ^2}{2 \left ( \sigma ^2+\chi \right )}{\left (1-\sqrt{1-\frac{\chi }{c^2}\left (1+\frac{\chi }{\sigma ^2}\right )}\right )}$
, then we have
\begin{equation*} 1-u_0\int _{-\infty }^{0}\kappa (s)\mathrm {e}^{-\int _{s}^{0}\lambda (l)\mathrm {d} l}\mathrm {d} s\gt 0. \end{equation*}
Indeed, since by assumption
\begin{equation*} 0\leq U'(x)\leq C_U, \; \forall x\in {\mathbb {R}}, \end{equation*}
and Lemma 2.3, we deduce that
\begin{equation} 0 \leq P'(x)\leq \sup _{x \in{\mathbb{R}}}U'(x)\leq C_U,\; \forall x\in{\mathbb{R}}, \end{equation}
hence,
\begin{equation*} c-\chi P'(x)\geq c-\chi C_U=\dfrac {c-\sqrt {c^2-\chi \left (1+\frac {\chi }{\sigma ^2}\right )}}{2}\gt 0,\; \forall x\in {\mathbb {R}}, \end{equation*}
and since
$P'(x)\geq 0$
, we deduce that
\begin{equation} \frac{1}{c} \leq \frac{1}{c-\chi P'(x)}\leq \dfrac{2}{c-\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}}, \; \forall x\in{\mathbb{R}}. \end{equation}
Now by combining (2.17), and
$0\leq P(x)\leq 1,$
for any
$x\in{\mathbb{R}}$
, we deduce that
\begin{equation} \frac{1}{c}\leq \lambda (x)\leq \dfrac{2\left (1+\frac{\chi }{\sigma ^2}\right )}{c-\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}}\text{ and }0\lt \frac{1}{c}\left (1+\frac{\chi }{\sigma ^2}\right ) \leq \kappa (x)\leq \dfrac{2\left (1+\frac{\chi }{\sigma ^2}\right )}{c-\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}}, \forall x\in{\mathbb{R}}. \end{equation}
Define
\begin{equation*} G\;:\!=\;1-u_0\int _{-\infty }^{0}\kappa (s)\mathrm {e}^{-\int _{s}^{0}\lambda (l)\mathrm {d} l}\mathrm {d} s. \end{equation*}
Using (2.18), we have that
\begin{equation} \begin{aligned} G&\geq 1-u_0 \displaystyle \int _{-\infty }^{0}\dfrac{2\left (1+\frac{\chi }{\sigma ^2}\right )}{c-\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}}\mathrm{e}^{- \textstyle \int _{s}^{0}\frac{1}{c}\mathrm{d} l}\mathrm{d} s\\[5pt] &=1-u_0\dfrac{2\left (1+\frac{\chi }{\sigma ^2}\right )}{c-\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}} \displaystyle \int _{-\infty }^{0}\mathrm{e}^{\frac{s}{c}}\mathrm{d} s\\[5pt] &=1-u_0\dfrac{2c\left (1+\frac{\chi }{\sigma ^2}\right )}{c-\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}}\gt 0, \end{aligned} \end{equation}
by using the assumption
\begin{equation*} 0\lt u_0\lt \frac {\sigma ^2}{2(\sigma ^2+\chi )}\left (1-\sqrt {1-\frac {\chi }{c^2}\left (1+\frac {\chi }{\sigma ^2}\right )}\right )=\dfrac {c-\sqrt {c^2-\chi \left (1+\frac {\chi }{\sigma ^2}\right )}}{2c\left (1+\frac {\chi }{\sigma ^2}\right )}. \end{equation*}
3. The relationship between the fixed point and travelling waves
Definition 3.1.
Let
$\mathcal{A}$
be the set of all admissible function
$U\;:\;{\mathbb{R}}\rightarrow [0, 1]$
satisfying
-
(i)
$U \in C^1({\mathbb{R}})$
; -
(ii)
$0 \leq U(x) \leq 1, \forall x \in \mathbb{R}$
; -
(iii)
$0\leq U'(x)\leq{C_U=\dfrac{c+\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}}{2\chi }}, \forall x \in \mathbb{R}$
.
Note that the upper bound in (iii) is the same as in the statement of Lemma 2.4 (2.13).
For each
$U\in \mathcal{A}$
, we define
\begin{equation} \mathcal{T}(U)(x)\;:\!=\;V(x), \forall x \in \mathbb{R}, \end{equation}
where
\begin{equation} V(x)=\frac{u_0\mathrm{e}^{\int _{0}^{x}\lambda (s)\mathrm{d} s}}{1+u_0\int _{0}^{x}\kappa (s)\mathrm{e}^{\int _{0}^{s}\lambda (l)\mathrm{d} l}\mathrm{d} s}, \forall x \in \mathbb{R}, \end{equation}
with
\begin{equation} 0\lt u_0\lt \frac{\sigma ^2}{2 \left ( \sigma ^2+\chi \right )}\left (1-\sqrt{1-\frac{\chi }{c^2}\left (1+\frac{\chi }{\sigma ^2}\right )}\right ), \end{equation}
and
\begin{equation} \lambda (x)=\frac{1+\frac{\chi }{\sigma ^{2}}P(x) }{c-\chi P'(x)}, \forall x \in \mathbb{R}, \end{equation}
and
\begin{equation} \quad \kappa (x)=\frac{1+ \frac{\chi }{\sigma ^{2}}}{c-\chi P'(x)}, \forall x \in \mathbb{R}, \end{equation}
and
$P(x)$
is the unique solution of the elliptic equation
\begin{equation} P(x)-\sigma ^{2} P''(x)=U(x), \forall x \in \mathbb{R}. \end{equation}
Assumption 3.2. We assume that
\begin{equation*} c\geq {\sqrt {\chi \left ( 1+\frac {\chi }{\sigma ^2} \right )}}\text { and } 0\lt u_0\lt {\frac {\sigma ^2}{2 \left ( \sigma ^2+\chi \right )}\left (1-\sqrt {1-\frac {\chi }{c^2}\left (1+\frac {\chi }{\sigma ^2}\right )}\right )}. \end{equation*}
Lemma 3.3 (Invariance of
$\mathcal{A}$
by
$\mathcal{T}$
). Let Assumption 3.2 be satisfied. Let
$\mathcal{T}$
be the map defined by (3.1). Then,
\begin{equation*}\mathcal {T}(\mathcal {A})\subset \mathcal {A}.\end{equation*}
Proof. We divide the proof into three steps.
Step 1. We prove that
$V=\mathcal{T}(U)\in C^1({\mathbb{R}})$
. Indeed,
$V$
is continuously differentiable and
\begin{equation} V'(x)=\frac{\lambda (x) u_0\mathrm{e}^{\int _{0}^{x}\lambda (s)\mathrm{d} s} (1+u_0\int _{0}^{x}\kappa (s)\mathrm{e}^{\int _{0}^{s}\lambda (l)\mathrm{d} l}\mathrm{d} s) - \kappa (x) \, (u_{0}\mathrm{e}^{\int _{0}^{x}\lambda (s)\mathrm{d} s})^2}{(1+u_0\int _{0}^{x}\kappa (s)\mathrm{e}^{\int _{0}^{s}\lambda (l)\mathrm{d} l}\mathrm{d} s)^2}, \end{equation}
hence,
\begin{equation} V'(x)= \lambda (x)V(x)- \kappa (x)V^2(x), \forall x \in \mathbb{R}. \end{equation}
It follows from the definitions of
$\lambda (x)$
and
$\kappa (x)$
(see (3.4) and (3.5)) that
$\lambda (x)$
and
$\kappa (x)$
are continuously differentiable. Therefore, we have
\begin{equation*} V \in C^1({\mathbb {R}}). \end{equation*}
Step 2. We prove that
$0\lt V(x)\leq 1$
,
$\forall x\in{\mathbb{R}}$
. By (2.11) and
$U\in \mathcal{A}$
, we have that
\begin{equation*} 0\leq \sup _{x \in {\mathbb {R}}} P'(x) \leq \sup _{x \in {\mathbb {R}}} U'(x)\leq C_U. \end{equation*}
Therefore, we have
$c-\chi P'(x)\gt 0$
. Recall that
\begin{equation*} V(x)=\frac {u_0\mathrm {e}^{\int _{0}^{x}\lambda (s)\mathrm {d} s}}{1+u_0\int _{0}^{x}\kappa (s)\mathrm {e}^{\int _{0}^{s}\lambda (l)\mathrm {d} l}\mathrm {d} s}, \forall x \in \mathbb {R}. \end{equation*}
By using (3.3), we know that
\begin{equation} 1+u_0\int _{0}^{x}\kappa (s)\mathrm{e}^{\int _{0}^{s}\lambda (l)\mathrm{d} l}\mathrm{d} s\gt 0, \forall x \in{\mathbb{R}}. \end{equation}
Therefore, by definition of
$V(x)$
, we have that
$V(x)\gt 0, \forall x\in{\mathbb{R}}$
. On the other hand, by using (3.8), we have that
\begin{align} V'(x)&=\frac{1}{c-\chi P'(x)}V(x) \left ( \left ( 1+\frac{\chi }{\sigma ^{2}} P(x)\right )-\left (1+ \frac{\chi }{\sigma ^{2}} \right )V(x) \right ), \; \forall x \in \mathbb{R}, \end{align}
and
\begin{equation*} P(x)=\frac {1}{2 \sigma } \int _{\mathbb {R}}\mathrm {e}^{-\frac {|x-y|}{\sigma }}U(y) \mathrm {d} y=\frac {1}{2 \sigma } \int _{\mathbb {R}} \mathrm {e}^{-\frac {|y|}{\sigma }} U(x-y) \mathrm {d}y, \; \forall x \in \mathbb {R}. \end{equation*}
Since
$0\leq U(x)\leq 1,$
$\forall x\in{\mathbb{R}},$
we have
\begin{equation} 0\leq P(x)\leq 1, \forall x\in{\mathbb{R}}. \end{equation}
We deduce that for
$x \in \mathbb{R}$
\begin{align} V'(x)&\leq \frac{1+\frac{\chi }{\sigma ^{2}}}{c-\chi P'(x)}V(x) \big ( 1-V(x) \big ), \; \forall x \in \mathbb{R}, \end{align}
By (3.12) and the comparison principle, we have that
\begin{equation} 0\leq V(x)\leq 1, \; \forall x\in{\mathbb{R}}. \end{equation}
Step 3. Let us prove that
\begin{equation*} {0\lt V'(x)\leq C_U}, \; \forall x \in \mathbb {R}. \end{equation*}
Since
\begin{equation*} 0\leq U'(x)\leq C_U, \; \forall x \in \mathbb {R}, \end{equation*}
then we have
\begin{equation} 0 \leq P'(x)=\frac{1}{2 \sigma } \int _{\mathbb{R}} e^{-\frac{|y|}{\sigma }}U'(x-y) \mathrm{d} y \leq \sup _{x \in{\mathbb{R}}}U'(x)\leq C_U, \; \forall x \in \mathbb{R}. \end{equation}
By (3.14), we have that
\begin{equation*} c-\chi P'(x)\geq c-\chi C_U, \; \forall x \in \mathbb {R}. \end{equation*}
Therefore, we deduce
\begin{equation} 0\lt \frac{1}{c-\chi P'(x)}\leq \frac{1}{c-\chi C_U}, \; \forall x \in \mathbb{R}. \end{equation}
Since
$0\leq U(x)\leq 1$
, and
\begin{equation*} P(x)= \frac {1}{2 \sigma } \int _{\mathbb {R}} \mathrm {e}^{-\frac {|y|}{\sigma }} U(x-y) \mathrm {d} y,\; \forall x \in {\mathbb {R}}, \end{equation*}
we deduce that
\begin{equation} 0\leq P(x) \leq 1, \; \forall x \in{\mathbb{R}}. \end{equation}
Therefore, by using the fact that
$0\leq V(x)\leq 1$
,
$\forall x\in{\mathbb{R}}$
, (3.10), (3.15), and (3.16), we have
$V(x)(1-V(x))\leq 1/4$
and we deduce that for
$x\in{\mathbb{R}}$
\begin{equation*} V'(x) \leq {\frac {1+\frac {\chi }{\sigma ^2}}{4(c-\chi C_U)}} . \end{equation*}
Using the definition of
$C_U$
and
$c^2\geq \chi \left (1+\frac{\chi }{\sigma ^2}\right )$
, we have
\begin{align*} V'(x)&\leq \frac{1+\frac{\chi }{\sigma ^2}}{4(c-\chi C_U)} = \frac{1+\frac{\chi }{\sigma ^2}}{2\left (c-\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}\right )} \\[5pt] &=\frac{1+\frac{\chi }{\sigma ^2}}{2\left (c-\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}\right )}\times \dfrac{c+\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}}{c+\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}} \\[5pt] &=\frac{1+\frac{\chi }{\sigma ^2}}{2\left (c^2-c^2+\chi \left (1+\frac{\chi }{\sigma ^2}\right )\right )}\left (c+\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}\right ) \\[5pt] & = C_U \end{align*}
and we finally reach
\begin{equation} V'(x) \leq C_U . \end{equation}
On the other hand, by using (3.7), we have
\begin{equation} \begin{aligned} V'(x)&=\dfrac{\lambda (x) u_0\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s}\left (\displaystyle 1+u_0 \int _{0}^{x}\kappa (s)\mathrm{e}^{ \int _{0}^{s}\lambda (l)\mathrm{d} l}\mathrm{d} s \right )-\kappa (x)\left (u_{0}\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s} \right )^2 }{\displaystyle \left ( 1+u_0 \int _{0}^{x}\kappa (s)\mathrm{e}^{ \int _{0}^{s}\lambda (l)\mathrm{d} l}\mathrm{d} s \right )^2}\\[5pt] &=\dfrac{\displaystyle \lambda (x)u_0\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s} +\Lambda (x)}{\displaystyle \left ( 1+u_0 \int _{0}^{x}\kappa (s)\mathrm{e}^{ \int _{0}^{s}\lambda (l)\mathrm{d} l}\mathrm{d} s \right )^2}, \end{aligned} \end{equation}
where
\begin{equation*} \Lambda (x)\;:\!=\;u_{0}^{2}\mathrm {e}^{ \int _{0}^{x}\lambda (s)\mathrm {d} s} \left [ \lambda (x) \int _{0}^{x}\kappa (s)\mathrm {e}^{ \int _{0}^{s}\lambda (l)\mathrm {d} l}\mathrm {d} s-\kappa (x)\mathrm {e}^{ \int _{0}^{x}\lambda (s)\mathrm {d} s}\right ]. \end{equation*}
From (3.18), to prove
$V'(x)\gt 0$
for
$x\in{\mathbb{R}}$
, we only need to prove that
\begin{equation*} \Lambda _1(x)\;:\!=\;\lambda (x)u_0\mathrm {e}^{\int _{0}^{x}\lambda (s)\mathrm {d} s} +\Lambda (x)\gt 0. \end{equation*}
Indeed, we have
\begin{equation} \begin{aligned} \Lambda (x)=\kappa (x) \left ( u_{0}\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s} \right )^2 \left (\frac{\lambda (x) \int _{0}^{x}\kappa (s)\mathrm{e}^{ -\int _{s}^{x}\lambda (l)\mathrm{d} l}\mathrm{d} s}{\kappa (x)}-1\right ). \end{aligned} \end{equation}
By using the definitions
$\lambda (x)$
and
$\kappa (x)$
in (3.4) and (3.5), and the formula (3.19), we deduce that
\begin{equation} \Lambda (x)=\kappa (x) \left ( u_{0}\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s} \right )^2 \left ( \int _{0}^{x}\frac{1+\frac{\chi }{\sigma ^2}P(x)}{c-\chi P'(s)}\mathrm{e}^{\mathop{\textstyle - \int _{s}^{x}\frac{1+\frac{\chi }{\sigma ^{2}}P(l) }{c-\chi P'(l)}\mathrm{d} l}}\mathrm{d} s-1\right ). \end{equation}
Since by assumption
$U$
is increasing, it follows from (3.14) that
$P$
is increasing. Then, for any
$s\lt x$
, we have
$P(s)\leq P(x)$
. We deduce that
\begin{equation*} \begin {aligned} \int _{0}^{x}\frac {1+\frac {\chi }{\sigma ^{2}}P(x)}{c-\chi P'(s)}\mathrm {e}^{\mathop {\textstyle - \int _{s}^{x}\frac {1+\frac {\chi }{\sigma ^{2}}P(l)}{c-\chi P'(l)}\mathrm {d} l}}\mathrm {d} s& \geq \int _{0}^{x}\frac {1+\frac {\chi }{\sigma ^{2}}P(s)}{c-\chi P'(s)}\mathrm {e}^{\mathop {\textstyle - \int _{s}^{x}\frac {1+\frac {\chi }{\sigma ^{2}}P(l)}{c-\chi P'(l)}\mathrm {d} l}}\mathrm {d} s\\[5pt] &=\int _{0}^{x}\dfrac {{\mathrm {d}}}{\mathrm {d} s}\left (\mathrm {e}^{- \int _{s}^{x}\frac {1+\frac {\chi }{\sigma ^{2}}P(l)}{c-\chi P'(l)}\mathrm {d} l}\right )\mathrm {d} s\\[5pt] &=1-\mathrm {e}^{\mathop {\textstyle - \int _{0}^{x}\frac {1+\frac {\chi }{\sigma ^{2}}P(l)}{c-\chi P'(l)}\mathrm {d} l}}\\[5pt] &=1- \mathrm {e}^{ - \int _{0}^{x}\lambda (s)\mathrm {d} s}, \end {aligned} \end{equation*}
therefore by combining (3.20) and the above inequality, we obtain
\begin{equation} \begin{aligned} \Lambda (x)&\geq \kappa (x)\left ( u_{0}\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s} \right )^2 \left (1- \mathrm{e}^{ - \int _{0}^{x}\lambda (s)\mathrm{d} s}-1\right )\\[5pt] &=-\kappa (x)u_{0}^{2}\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s}. \end{aligned} \end{equation}
By using (3.21) and the definitions of
$\lambda (x)$
and
$\kappa (x)$
for
$x\in{\mathbb{R}}$
, we have that
\begin{equation} \begin{aligned} \Lambda _1(x)&=\lambda (x)u_0\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s} +\Lambda (x)\\[5pt] &\geq \lambda (x)u_0\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s}-\kappa (x)u_{0}^{2}\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s} \\[5pt] & =u_0\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s}\left [\frac{1+\frac{\chi }{\sigma ^{2}}P(x) }{c-\chi P'(x)}-u_0 \frac{1+\frac{\chi }{\sigma ^{2}} }{c-\chi P'(x)}\right ]\\[5pt] &=\frac{u_0\mathrm{e}^{ \int _{0}^{x}\lambda (s)\mathrm{d} s}}{c-\chi P'(x)}\left [1+\frac{\chi }{\sigma ^{2}}P(x) -u_0 \left (1+\frac{\chi }{\sigma ^{2}} \right )\right ]. \end{aligned} \end{equation}
To conclude, it remains to recall that by assumption we have
\begin{equation*} u_0\lt {\frac {\sigma ^2}{2 \left ( \sigma ^2+\chi \right )}\left (1-\sqrt {1-\frac {\chi }{c^2}\left (1+\frac {\chi }{\sigma ^2}\right )}\right )} \lt \frac {\sigma ^2}{\sigma ^2+\chi }, \end{equation*}
therefore since
$P(x)\geq 0$
and
$c-\chi P'(x)\gt 0$
, we have that
\begin{equation*} \Lambda _1(x)\geq \left (u_0\mathrm {e}^{ \int _{0}^{x}\lambda (s)\mathrm {d} s} \right )\frac {1+\frac {\chi }{\sigma ^{2} }}{c-\chi P'(x)}\left [ \frac {\sigma ^2}{\sigma ^2+\chi }-u_0 \right ] \gt 0, \; \forall x \in {\mathbb {R}}, \end{equation*}
which implies
\begin{equation} V'(x)\gt 0, \; \forall x \in{\mathbb{R}}. \end{equation}
The conclusion of the Step 3 now follows from (3.17) and (3.23). The proof is completed.
Let
$\eta \gt 0$
. Let
${\textrm{BUC}}\left ({\mathbb{R}} \right )$
be the space of bounded and uniformly continuous maps from
$\mathbb{R}$
to itself. Define the weighted space of continuous functions
\begin{equation*} BUC_\eta \left ( {\mathbb {R}}\right )=\left \{ U \in C\left ( {\mathbb {R}}\right ):\; x \to e^{-\eta \vert x \vert } U(x) \in {\textrm {BUC}}\left ( {\mathbb {R}}\right ) \right \}, \end{equation*}
and the weighted space
$n$
times continuous differentiable functions
\begin{equation*} BUC_\eta ^n \left ( {\mathbb {R}}\right )=\left \{ U \in C^n \left ( {\mathbb {R}}\right ):\; x \to e^{-\eta \vert x \vert } U^{(k)}(x) \in {\textrm {BUC}}\left ( {\mathbb {R}}\right ), \forall k=0,\ldots,n \right \}, \end{equation*}
which is a Banach space endowed with the norm
\begin{equation} \|U\|_{n,\eta }\;:\!=\;\sup _{x\in{\mathbb{R}}}\mathrm{e}^{-\eta |x|}|U(x)|+\sup _{x\in{\mathbb{R}}}\mathrm{e}^{-\eta |x|}|U'(x)|+\ldots +\sup _{x\in{\mathbb{R}}}\mathrm{e}^{-\eta |x|}|U^{(n)}(x)|. \end{equation}
Here we will use the above weighted space of
${\textrm{BUC}}^1_\eta \left ({\mathbb{R}} \right )$
maps to ensure that
\begin{equation*} \mathcal {A} = \left \{ U \in C^1\left ( {\mathbb {R}}\right ):\; 0\leq U(x) \leq 1, \text { and } 0\leq U'(x)\leq C_U, \forall x \in \mathbb {R} \right \}, \end{equation*}
is a closed subset of
${\textrm{BUC}}^1_\eta \left ({\mathbb{R}} \right )$
. As a consequence, the subset
$\mathcal{A}$
equipped with the distance
\begin{equation*} d_\eta (U_1,U_2)=\Vert U_1-U_2\Vert _{1,\eta }. \end{equation*}
is a complete metric space.
Lemma 3.4 (Compactness of
$\mathcal{T}$
). Let Assumption 3.2 be satisfied. Then, the set
$\overline{ \mathcal{T} \left (\mathcal{A} \right )}$
is a compact subset of the metric space
$\mathcal{A}$
equipped with the distance
$ d_\eta$
.
Proof. Let
$ \left \{ U_n \right \}_{n \geq 0} \subset \mathcal{A}$
be a sequence and define the corresponding sequence
$ \left \{P_n\right \}_{n \geq 0}$
solution of equation (3.6) where
$U$
is replaced by
$U_n$
. Define the corresponding sequences
$\left \{ \lambda _n \right \}_{n \geq 0}$
and
$\left \{ \kappa _n \right \}_{n \geq 0}$
by using (3.4) and (3.5) where
$P(x)$
is replaced by
$P_n(x)$
. Denote
$V_n=\mathcal{T}(U_n), \forall n\in \mathbb{N}$
. By Lemma 3.3, we know that
$\mathcal{T}(\mathcal{A})\subset \mathcal{A}$
. Therefore, we have
\begin{equation} 0\lt V_n(x)\leq 1 \text{ and }0\lt V'_{\!\!n}(x)\leq C_U, \; \forall x\in{\mathbb{R}}. \end{equation}
Similarly to equation (3.8) in the proof of Lemma 3.3, we have that
\begin{equation} V'_{\!\!n}(x)=\lambda _n(x)V_n(x)- \kappa _n(x)V_n^2(x), \; \forall x\in{\mathbb{R}}, \end{equation}
where
\begin{equation*} \lambda _n(x)=\frac {1+\frac {\chi }{\sigma ^{2}}P_n(x) }{c-\chi P'_{\!\!n}(x)}, \; \forall x\in {\mathbb {R}}, \end{equation*}
and
\begin{equation*}\quad \kappa _n(x)=\frac {1+ \frac {\chi }{\sigma ^{2}}}{c-\chi P'_{\!\!n}(x)}, \; \forall x\in {\mathbb {R}},\end{equation*}
and
$P_n(x)$
is the unique solution of the elliptic equation
\begin{equation*} P_n( x)-\sigma ^{2} P''_{\!\!\!n}( x)=U_n(x), \forall x \in \mathbb {R}. \end{equation*}
It follows from Lemma 2.3 that the map
$x \to P_n(x)$
solving the above equation is an increasing
$C^3$
function. By (3.14), we have that
$c-\chi P'_{\!\!n}(x)\gt 0$
. Since
$U_n(x)\in C^1({\mathbb{R}})$
, we have that
$\lambda _n(x), \kappa _n(x)\in C^2({\mathbb{R}})$
and
$V'_{\!\!n}(x)\in C^1({\mathbb{R}})$
. Then, we obtain that
$V_n(x)\in C^2({\mathbb{R}}).$
Therefore by using (3.25) and (3.26), we deduce that the families
$V'_{\!\!n}|_{[\!-\!k, k]}$
and
$V''_{\!\!\!n}|_{[\!-\!k, k]}$
are uniformly Lipschitz continuous on
$[\!-\!k,k]$
for each
$k\in \mathbb{N}$
. Applying Ascoli-Arzelà theorem, we have that the sets
$\{V_n|_{[\!-\!k, k]}\}_{n\gt 0}$
and
$\{V'_{\!\!n}|_{[\!-\!k, k]}\}_{n\gt 0}$
are relatively compact on
$[\!-\!k, k]$
for each
$k\in \mathbb{N}$
.
Using a diagonal extraction process, there exists a sub-sequence
$n_p$
and a bounded continuous function
$V$
such that
$V_{n_p}\rightarrow V$
uniformly on every compact subset of
$\mathbb{R}$
as
$p\rightarrow \infty$
. Indeed, recall that
$0\lt V_n(x)\leq 1$
and
$0\lt V'_{\!\!n}(x)\leq C_U$
,
$ \forall x\in{\mathbb{R}}$
. By the Ascoli-Arzelà theorem, there exists a sub-sequence
$\{V_{m_{p}^1}\}_{p\geq 0}$
of
$V_{n}$
and a function
$V_1 \in C^1([\!-\!1,1])$
such that
\begin{equation*} \lim _{p \to \infty } \Vert V_{m_{p}^1}- V_1 \Vert _{C^1([\!-\!1,1])}=0. \end{equation*}
Now we can extract
$\{V_{m_{p}^{2}}\}_{p\geq 0}$
a sub-sequence of
$\{V_{m_{p}^1}\}_{p\geq 0}$
, and function
$V_2 \in C^1([-2,2])$
\begin{equation*} \lim _{p \to \infty } \Vert V_{m_{p}^2}- V_2 \Vert _{C^1([-2,2])}=0. \end{equation*}
By construction, we will have
\begin{equation*} V_2(x)=V_1(x), \forall x \in [\!-\!1,1]. \end{equation*}
Replacing eventually
$m_{1}^{2}$
by
$m_{1}^{1}$
, we can assume that
$m_{p}^{2}=\{m_{1}^{1}, m_{2}^{2},\cdots,m_{p}^{2},\cdots \}$
. Proceeding by induction, we can find a
$\{V_{m_{p}^{k}}\}_{p\geq 0}$
a sub-sequence
$\{V_{m_{p}^{k-1}}\}_{p\geq 0}$
, such that
\begin{equation*} m_{p}^{k}=m_{p}^{k-1}, \forall p=1,\ldots,k-1, \end{equation*}
and a function
$V_k \in C^1([\!-\!k,k])$
such that
\begin{equation*} \lim _{p \to \infty } \Vert V_{m_{p}^k}- V_k \Vert _{C^1([\!-\!k,k])}=0. \end{equation*}
Set
\begin{equation*} n_p=m_{p}^{p}, \end{equation*}
and
\begin{equation*}V(x)=V_{n}(x), \text { for any }x\in [\!-\!k, k], \forall k\geq 1.\end{equation*}
Then, the sub-sequence
$\{V_{n_{p}}\}_{p\geq 0}$
converges locally uniformly with respect to the
$C^1$
norm, so we can define
\begin{equation*} V(x)= \lim _{p \to \infty } V_{n_{p}}(x), \forall x \in {\mathbb {R}}, \end{equation*}
and
\begin{equation*} V'(x)= \lim _{p \to \infty } V'_{\!\!n_{p}}(x), \forall x \in {\mathbb {R}}. \end{equation*}
By construction, we will have
\begin{equation} 0\lt V(x)\leq 1, \text{ and } 0\lt V'(x)\leq C_U, \forall x \in{\mathbb{R}}. \end{equation}
Now, we are ready to show that
$\|V_{n_p}-V\|_{1,\eta }\rightarrow 0$
as
$p\rightarrow +\infty$
. Let
$\varepsilon \gt 0$
be given. Let
$k$
be large enough to satisfy
\begin{equation} \mathrm{e}^{-\eta k}\leq \frac{\varepsilon }{4}\min \left \{1, \frac{1}{C_U}\right \}. \end{equation}
For all
$k$
large enough, since
$0\lt V_{n_p}(x)\leq 1$
,
$0\lt V'_{\!\!n_p}(x)\leq C_U$
,
$\forall x\in{\mathbb{R}}$
and (3.27), we deduce that
\begin{equation} \begin{aligned} \sup _{x\in{\mathbb{R}}\setminus [\!-\!k, k]}\mathrm{e}^{-\eta |x|}|V_{n_p}(x)-V(x)|&\leq \mathrm{e}^{-\eta k}\sup _{x\in{\mathbb{R}}}(|V_{n_p}(x)|+|V(x)|) \\[5pt] &\leq 2\mathrm{e}^{-\eta k}\\[5pt] &\leq \frac{\varepsilon }{2}, \end{aligned} \end{equation}
and
\begin{equation} \begin{aligned} \sup _{x\in{\mathbb{R}}\setminus [\!-\!k, k]}\mathrm{e}^{-\eta |x|}|V'_{\!\!n_p}(x)-V'(x)| & \leq \mathrm{e}^{-\eta k}\sup _{x\in{\mathbb{R}}}(|V'_{\!\!n_p}(x)|+|V'(x)|) \\[5pt] &\leq 2C_U\mathrm{e}^{-\eta k}\\[5pt] &\leq \frac{\varepsilon }{2}. \end{aligned} \end{equation}
Moreover, since
$V_{n_p}$
converges locally uniformly to
$V$
and
$V'_{\!\!n_p}$
converges locally uniformly to
$V'$
, for any fixed
$x\in [\!-\!k, k]$
, there exists an integer
$p_0\gt 0$
such that
\begin{equation} \sup _{x\in [\!-\!k, k]}\mathrm{e}^{-\eta |x|}|V_{n_p}(x)-V(x)|\leq \frac{\varepsilon }{2}, \forall p\geq p_0, \end{equation}
and
\begin{equation} \sup _{x\in [\!-\!k, k]}\mathrm{e}^{-\eta |x|}|V'_{\!\!n_p}(x)-V'(x)|\leq \frac{\varepsilon }{2}, \forall p\geq p_0. \end{equation}
It follows from (3.29), (3.30), (3.31), and (3.32) that for
$p \geq p_0$
,
\begin{equation*} \begin {aligned} \|V_{n_p}-V\|_{1,\eta }=&\Bigg \{\max \left \{\sup _{x\in {\mathbb {R}}\setminus [\!-\!k, k]}\mathrm {e}^{-\eta |x|}|V_{n_p}(x)-V(x)|,\sup _{x\in [\!-\!k, k]}\mathrm {e}^{-\eta |x|}|V_{n_p}(x)-V(x)|\right \}\\[5pt] &+\max \left \{\sup _{x\in {\mathbb {R}}\setminus [\!-\!k, k]}\mathrm {e}^{-\eta |x|}|V'_{\!\!n_p}(x)-V'(x)|,\sup _{x\in [\!-\!k, k]}\mathrm {e}^{-\eta |x|}|V'_{\!\!n_p}(x)-V'(x)|\right \}\Bigg \} \\[5pt] \leq & \frac {\varepsilon }{2}+ \frac {\varepsilon }{2}= \varepsilon . \end {aligned} \end{equation*}
Since the above inequality is true for any
$\varepsilon \gt 0$
, this completes the proof of lemma.
The most difficult part of the proof of existence of travelling waves is the continuity of the map
$\mathcal{T}\;:\; \mathcal{A} \to \mathcal{A}$
. To consider this problem, we decompose the real line into several intervals
$(\!-\!\infty, -K]$
,
$[\!-\!K,K]$
, and
$[K,\infty )$
. Before proving the continuity of
$\mathcal T$
, we establish the continuity of its components separately.
Lemma 3.5 (Continuity of
$P$
,
$P'$
,
$\lambda$
and
$\kappa$
). Let Assumption 3.2 be satisfied. Assume that
$0\lt \eta \lt \frac{1}{\sigma }$
. Let
$U_1, U_2\in \mathcal{A}$
and define, for
$i=1,2,$
\begin{align*} P_i(x) &=\frac{1}{2\sigma } \int _{\mathbb R} e^{-\frac{|x-y|}{\sigma }} U_i(y)\mathrm{d} y, & P_i'(x)&=\frac{1}{2\sigma ^2} \int _{\mathbb R}-\mathrm{sign}(x-y) e^{-\frac{|x-y|}{\sigma }} U_i(y)\mathrm{d} y, \\[5pt] \lambda _i(x)&= \dfrac{1+\frac{\chi }{\sigma ^2}P_i(x) }{c-\chi P_i'(x)}, & \kappa _i(x) &= \dfrac{1+\frac{\chi }{\sigma ^2}}{c-\chi P_i'(x)} . \end{align*}
There exist continuous functions of
$x\in \mathbb R$
,
$C_P(x)$
,
$C_\lambda (x)$
, and
$C_\kappa (x)$
such that, for all
$x\in \mathbb R$
,
\begin{align} |P_1(x)-P_2(x)| &\leq C_P(x)\Vert U_1-U_2\Vert _{0, \eta }, \end{align}
\begin{align} |P'_{\!\!1}(x)-P'_{\!\!2}(x)| &\leq \frac{1}{\sigma }C_P(x)\Vert U_1-U_2\Vert _{0, \eta }, \end{align}
\begin{align} |\lambda _1(x)-\lambda _2(x)| &\leq C_\lambda (x)\Vert U_1-U_2\Vert _{0, \eta }, \end{align}
\begin{align} |\kappa _1(x)-\kappa _2(x)| &\leq C_\kappa (x)\Vert U_1-U_2\Vert _{0, \eta }. \end{align}
The functions
$C_P(x)$
,
$C_\lambda (x)$
, and
$C_\kappa (x)$
do not depend on the particular choice of
$U_1\in \mathcal{A}$
and
$U_2\in \mathcal{A}$
but only on
$\eta$
,
$\sigma$
, and
$\chi$
.
Proof.
Step 1: We show (3.33). We have, for
$x\gt 0$
:
\begin{align} \nonumber |P_1(x)-P_{2}(x)|&= \frac{1}{2 \sigma }\left |\int _{-\infty }^{+\infty } \mathrm{e}^{-\frac{|x-y|}{\sigma }}(U_1(y)-U_{2}(y)) \mathrm{d} y\right | \\[5pt] \nonumber & =\frac{1}{2 \sigma }\left |\int _{-\infty }^{+\infty } \mathrm{e}^{-\frac{|x-y|}{\sigma }+\eta |y|}\mathrm{e}^{-\eta |y|}(U_1(y)-U_{2}(y)) \mathrm{d} y\right | \\[5pt] \nonumber &\leq \frac{1}{2\sigma }\int _{\mathbb R} \mathrm{e}^{ -\frac{|x-y|}{\sigma }+\eta |y|}\mathrm{d} y\Vert U_1-U_2\Vert _{0, \eta } \\[5pt] \nonumber &=\frac{1}{2\sigma }\Vert U_1-U_2\Vert _{0, \eta } \left ( \int _{-\infty }^{0} e^{-\frac{x-y}{\sigma }-\eta y}\mathrm{d} y +\int _{0}^x e^{-\frac{x-y}{\sigma }+\eta y} \mathrm{d} y +\int _{x}^{+\infty } \mathrm{e}^{\frac{x-y}{\sigma }+\eta y}\mathrm{d} y\right )\\[5pt] &=\frac{1}{2\sigma }\Vert U_1-U_2\Vert _{0, \eta } \left (\dfrac{1}{\frac{1}{\sigma }-\eta }e^{-\frac{x}{\sigma }} + \dfrac{1}{\frac{1}{\sigma }+\eta }\left (\mathrm{e}^{\eta x}-e^{-\frac{x}{\sigma }}\right ) + e^{\eta x}\dfrac{1}{\frac{1}{\sigma }-\eta }\right ), \end{align}
and similarly for
$x\lt 0$
:
\begin{equation} |P_1(x)-P_{2}(x)| \leq \frac{1}{2\sigma }\Vert U_1-U_2\Vert _{0, \eta } \left (\dfrac{1}{\frac{1}{\sigma }-\eta }e^{-\frac{|x|}{\sigma }} + \dfrac{1}{\frac{1}{\sigma }+\eta }\left (\mathrm{e}^{\eta |x|}-e^{-\frac{1}{\sigma }|x|}\right ) + e^{\eta |x|}\dfrac{1}{\frac{1}{\sigma }-\eta }\right ). \end{equation}
Rearranging the terms in (3.37) and (3.38), we have
\begin{equation} \begin{aligned} |P_1(x)-P_2(x)|&\leq \frac{1}{2 \sigma }\left [\left (\frac{1}{\sigma }-\eta \right )^{-1}\left (\mathrm{e}^{-\frac{|x|}{\sigma }}+\mathrm{e}^{\eta |x|}\right )+\left (\frac{1}{\sigma }+\eta \right )^{-1}\left (\mathrm{e}^{\eta |x|}-\mathrm{e}^{-\frac{|x|}{\sigma }}\right )\right ] \|U_1-U_{2}\|_{0,\eta } \end{aligned} \end{equation}
and (3.33) is proved.
Step 2: We show (3.34). We have
\begin{align*} |P'_{\!\!1}(x)-P'_{\!\!2}(x)|&= \frac{1}{2 \sigma ^2}\left |\int _{-\infty }^{+\infty }-\mathrm{sign}(x-y)\mathrm{e}^{-\frac{|x-y|}{\sigma }}(U_1(y)-U_{2}(y)) \mathrm{d} y\right |\\[5pt] & \leq \frac{1}{2 \sigma ^2}\int _{-\infty }^{+\infty } \mathrm{e}^{-\frac{|x-y|}{\sigma }+\eta |y|}\mathrm{e}^{-\eta |y|}\left |U_1(y)-U_{2}(y)\right | \mathrm{d} y, \end{align*}
so that the exact computations leading to (3.39) can be reproduced, and we have
\begin{equation*} |P'_{\!\!1}(x)-P'_{\!\!2}(x)|\leq \frac {1}{\sigma }C_P(x)\Vert U_1-U_2\Vert _{0, \eta }. \end{equation*}
(3.34) is proved.
Step 3: We show (3.35). It follows from the definitions of
$\lambda _1(x)$
and
$\lambda _2(x)$
that, for all
$x\in \mathbb R$
,
\begin{align} \nonumber &|\lambda _2(x)-\lambda _{1}(x)|\\[5pt] \nonumber &=\left |\frac{1+ \frac{\chi }{\sigma ^{2}}P_2(x)}{c-\chi P'_{\!\!2}(x)}-\frac{1+ \frac{\chi }{\sigma ^{2}}P_{1}(x)}{c-\chi P'_{\!\!1}(x)}\right |\\[5pt] &=\frac{\chi }{|c-\chi P'_{\!\!2}(x)||c-\chi P'_{\!\!1}(x)|}\left |\frac{c}{\sigma ^2}(P_2(x)-P_{1}(x))+P'_{\!\!2}(x)-P'_{\!\!1}(x)+\frac{\chi }{\sigma ^2}(P_{1}(x)P'_{\!\!2}(x)-P_2(x)P'_{\!\!1}(x))\right |. \end{align}
Since by Definition 3.1, we have
$U_i'(x)\leq C_U$
(
$i=1,2$
), then
$P_i'(x)=\int _{\mathbb R} \frac{1}{2\sigma }e^{-\frac{|x-y|}{\sigma }} U'(y)\mathrm{d} y\leq C_U$
(
$i=1,2$
), therefore
\begin{equation} c-\chi P_i'(x) \geq c-\chi C_U=\frac{1}{2}\left (c-\sqrt{c^2-\chi \left (1+\frac{\chi }{\sigma ^2}\right )}\right ) \gt 0, \qquad i=1,2. \end{equation}
It follows from (3.40) and (3.41) that
\begin{equation*} \begin {aligned} |\lambda _2(x)-\lambda _{1}(x)|&\leq \frac {c\chi }{\sigma ^2(c-\chi C_U)^2}|P_2(x)-P_{1}(x)|+\frac {\chi }{(c-\chi C_U)^2}|P'_{\!\!2}(x)-P'_{\!\!1}(x)| \\[5pt] &\quad +\frac {\chi }{\sigma ^2(c-\chi C_U)^2}|P_{1}(x)P'_{\!\!2}(x)-P_2(x)P'_{\!\!1}(x)|\\[5pt] &\leq \frac {c\chi }{\sigma ^2(c-\chi C_U)^2}|P_2(x)-P_{1}(x)|+\frac {\chi }{(c-\chi C_U)^2}|P'_{\!\!2}(x)-P'_{\!\!1}(x)| \\[5pt] &\quad +\frac {\chi }{\sigma ^2(c-\chi C_U)^2}\left (P_1(x)|P'_{\!\!2}(x)-P'_{\!\!1}(x)|+|P'_1(x)||P_{1}(x)-P_2(x)|\right ). \end {aligned} \end{equation*}
Using the fact that
$0\leq P_1(x)\leq 1$
and
$0\leq P'_1(x)\leq C_U$
for
$x\in{\mathbb{R}}$
, then (3.35) is a consequence of (3.33) and (3.34).
Step 4: We show (3.36). We have:
\begin{align*} \dfrac{1}{1+ \frac{\chi }{ \sigma ^2}} |\kappa _1(x)-\kappa _2(x)|&=\left |\frac{1}{c-\chi P'_{\!\!1}(x)}-\frac{1}{c-\chi P'_{\!\!2}(x)}\right |=\left |\dfrac{c-\chi P'_{\!\!1}(x)-c+\chi P'_{\!\!2}(x)}{\big (c-\chi P'_{\!\!2}(x)\big )\big (c-P'_{\!\!1}(x)\big )}\right |\\[5pt] &=\chi \left |\dfrac{P'_{\!\!2}(x)-P'_{\!\!1}(x)}{\big (c-\chi P'_{\!\!2}(x)\big )\big (c-P'_{\!\!1}(x)\big )}\right | \leq \dfrac{\chi }{(c-\chi C_U)^2}|P'_{\!\!2}(x)-P'_{\!\!1}(x)|. \end{align*}
Thus, (3.36) is a consequence of (3.34). Lemma 3.5 is proved.
Lemma 3.6 (Continuity of
$\mathcal{T}$
). Let Assumption 3.2 be satisfied. Assume that
$0\lt \eta \lt \frac{1}{\sigma }$
. Then, the map
$\mathcal{T}: \mathcal{A} \to \mathcal{A}$
is continuous on
$\mathcal{A}$
endowed with distance
$d(U_1,U_2)=\Vert U_1-U_2\Vert _{1,\eta }$
.
Proof. Let
$U_0 \in \mathcal{A}$
be fixed, and
$U \in \mathcal{A}$
, and define
\begin{equation*} V_0= \mathcal {T}(U_0) \text { and }V= \mathcal {T}(U). \end{equation*}
Part A: We prove that for each admissible profile
$U_0 \in \mathcal A$
and
$\varepsilon \gt 0$
, there is a
$\delta _1\gt 0$
such that
\begin{equation} \|V-V_0\|_{0,\eta } \leq \frac{\varepsilon }{2}, \end{equation}
whenever
\begin{equation*} \Vert U-U_0\Vert _{0,\eta } \leq \delta _1. \end{equation*}
Let
$K\gt 0$
be such that
\begin{equation*} e^{-\eta K} \leq \frac {\varepsilon }{12}. \end{equation*}
Then since
$V\in \mathcal{A}$
by Lemma 3.3, we have
$0\leq V(x)\leq 1$
and
$0\leq V_0(x)\leq 1$
for all
$x\in \mathbb R$
, therefore
\begin{align*} \Vert V-V_0\Vert _{0, \eta } & = \sup _{x\in \mathbb R} e^{-\eta \vert x \vert }|V(x)-V_0(x)| \\[5pt] &\leq \sup _{x\leq -K} e^{-\eta |x|}|V(x)-V_0(x)| + \sup _{|x|\leq K} e^{-\eta |x|}|V(x)-V_0(x)|+ \sup _{x\geq K}e^{-\eta |x|}|V(x)-V_0(x)|\\[5pt] &\leq e^{-\eta K}\left (\sup _{x\leq -K}|V(x)-V_0(x)|+\sup _{x\geq K}|V(x)-V_0(x)|\right ) + \sup _{|x|\leq K}e^{-\eta |x|}|V(x)-V_0(x)| \\[5pt] &\leq 4 e^{-\eta K}+ \sup _{|x|\leq K}e^{-\eta |x|}|V(x)-V_0(x)| \leq \frac{2\varepsilon }{6}+\sup _{|x|\leq K}e^{-\eta |x|}|V(x)-V_0(x)|. \end{align*}
Thus, there remains only to establish that
\begin{equation} \sup _{|x|\leq K}e^{-\eta |x|}|V(x)-V_0(x)|\leq \frac{\varepsilon }{6}, \end{equation}
if
$\Vert U-U_0\Vert _{1, \eta }\leq \delta _1$
, for
$\delta _1\gt 0$
sufficiently small. Recall that
\begin{equation*} V(x)=\dfrac {\displaystyle u_0\exp \left (\int _{0}^{x}\lambda (s)\mathrm {d} s\right )}{\displaystyle 1+u_0\int _{0}^{x}\kappa (s)\exp \left (\int _{0}^{s}\lambda (l)\mathrm {d} l\right )\mathrm {d} s}, \end{equation*}
wherein
\begin{equation*} \lambda (x)=\frac {1+\frac {\chi }{\sigma ^{2}}P(x) }{c-\chi P'(x)}, \end{equation*}
and
\begin{equation*} \quad \kappa (x)=\frac {1+ \frac {\chi }{\sigma ^{2}}}{c-\chi P'(x)}, \end{equation*}
and
$P(x)$
is the unique solution of the elliptic equation
\begin{equation*} P(x)-\sigma ^{2} P''(x)=U(x), \forall x \in \mathbb {R}. \end{equation*}
By using the definitions of
$V_0(x)$
and
$V(x)$
for
$x\in{\mathbb{R}}$
, we find that
\begin{align} \nonumber |V(x)-V_0(x)|&=\left |\frac{u_0\exp \left (\displaystyle \int _{0}^{x}\lambda (s)\mathrm{d} s\right )}{1+u_0\displaystyle \int _{0}^{x}\kappa (s)\exp \left (\displaystyle \int _{0}^{s}\lambda (l)\mathrm{d} l\right )\mathrm{d} s} \nonumber -\frac{u_0\exp \left (\displaystyle \int _{0}^{x}\lambda _0(s)\mathrm{d} s\right )}{1+u_0\displaystyle \int _{0}^{x}\kappa _0(s)\exp \left (\displaystyle \int _{0}^{s}\lambda _0(l)\mathrm{d} l\right )\mathrm{d} s}\right |\\[5pt] \nonumber &=\frac{u_0}{\left |1+u_0\displaystyle \int _{0}^{x}\kappa (s)\exp \left (\displaystyle \int _{0}^{s}\lambda (l)\mathrm{d} l\right )\mathrm{d} s\right | \left |1+u_0\displaystyle \int _{0}^{x}\kappa _{0}(s)\exp \left (\displaystyle \int _{0}^{s}\lambda _{0}(l)\mathrm{d} l\right )\mathrm{d} s\right |}\\[5pt] \nonumber &\quad \times \Bigg |\exp \left (\displaystyle \int _{0}^{x}\lambda (s)\mathrm{d} s\right )-\exp \left (\displaystyle \int _{0}^{x}\lambda _{0}(s)\mathrm{d} s\right )\\[5pt] \nonumber &\quad \quad +u_{0}\exp \left (\displaystyle \int _{0}^{x}\lambda (s)\mathrm{d} s\right )\displaystyle \int _{0}^{x}\kappa _{0}(s)\exp \left (\displaystyle \int _{0}^{s}\lambda _{0}(l)\mathrm{d} l\right )\mathrm{d} s\\[5pt] &\quad \quad -u_{0}\exp \left (\displaystyle \int _{0}^{x}\lambda _{0}(s)\mathrm{d} s\right )\displaystyle \int _{0}^{x}\kappa (s)\exp \left (\displaystyle \int _{0}^{s}\lambda (l)\mathrm{d} l\right )\mathrm{d} s\Bigg |. \end{align}
Since
\begin{equation*} \frac {1}{1+u_0\displaystyle \int _{0}^{x}\kappa _0(s)\exp \left (\displaystyle \int _{0}^{s}\lambda _0(l)\mathrm {d} l\right )\mathrm {d} s}=\frac {V_{0}(x)}{u_0\exp \left (\displaystyle \int _{0}^{x}\lambda _{0}(s)\mathrm {d} s\right )}, \end{equation*}
and similarly
\begin{equation*} \frac {1}{1+u_0\displaystyle \int _{0}^{x}\kappa (s)\exp \left (\displaystyle \int _{0}^{s}\lambda (l)\mathrm {d} l\right )\mathrm {d} s}=\frac {V(x)}{u_0\exp \left ({\displaystyle \int _{0}^{x}\lambda (s)\mathrm {d} s}\right )}, \end{equation*}
we have that
\begin{align*} &|V(x)-V_0(x)|\\[5pt] &=\left |\frac{V(x)V_0(x)}{u_{0}\exp \left ({\displaystyle \int _{0}^{x}\lambda (s)\mathrm{d} s}\right )\exp \left ({\displaystyle \int _{0}^{x}\lambda _{0}(s)\mathrm{d} s}\right )}\right | \Bigg |\exp \left ({\displaystyle \int _{0}^{x}\lambda (s)\mathrm{d} s}\right )-\exp \left ({\displaystyle \int _{0}^{x}\lambda _{0}(s)\mathrm{d} s}\right ) \\[5pt] &\quad +u_{0}\exp \left (\displaystyle \int _{0}^{x}\lambda (s)\mathrm{d} s\right )\displaystyle \int _{0}^{x}\kappa _{0}(s)\exp \left (\displaystyle \int _{0}^{s}\lambda _{0}(l)\mathrm{d} l\right )\mathrm{d} s\\[5pt] &\quad -u_{0}\exp \left (\displaystyle \int _{0}^{x}\lambda _{0}(s)\mathrm{d} s\right )\displaystyle \int _{0}^{x}\kappa (s)\exp \left (\displaystyle \int _{0}^{s}\lambda (l)\mathrm{d} l\right )\mathrm{d} s\Bigg | \end{align*}
\begin{align*}&=\dfrac{ \left |V(x)V_0(x)\right |}{u_0} \Bigg |\exp \left ({\displaystyle -\int _{0}^{x}\lambda _0(s)\mathrm{d} s}\right )-\exp \left ({\displaystyle -\int _{0}^{x}\lambda (s)\mathrm{d} s}\right ) \\[5pt] &\quad +u_{0}\exp \left (\displaystyle -\int _{0}^{x}\lambda _0(s)\mathrm{d} s\right )\displaystyle \int _{0}^{x}\kappa _{0}(s)\exp \left (\displaystyle \int _{0}^{s}\lambda _{0}(l)\mathrm{d} l\right )\mathrm{d} s\\[5pt] &\quad -u_{0}\exp \left (\displaystyle -\int _{0}^{x}\lambda (s)\mathrm{d} s\right )\displaystyle \int _{0}^{x}\kappa (s)\exp \left (\displaystyle \int _{0}^{s}\lambda (l)\mathrm{d} l\right )\mathrm{d} s\Bigg |, \end{align*}
hence,
\begin{equation} |V(x)-V_0(x)| \leq \frac{1}{u_0}H(x) + I(x), \end{equation}
where
\begin{equation} H(x)\;:\!=\;\left |\exp \left (-\displaystyle \int _{0}^{x}\lambda _{0}(s)\mathrm{d} s\right )-\exp \left (-\displaystyle \int _{0}^{x}\lambda (s)\mathrm{d} s\right )\right |, \end{equation}
and
\begin{equation} I(x)\;:\!=\;\left |\displaystyle \int _{0}^{x}\kappa _{0}(s)\exp \left (-\displaystyle \int _{s}^{x}\lambda _{0}(l)\mathrm{d} l\right )\mathrm{d} s -\displaystyle \int _{0}^{x}\kappa (s)\exp \left (-\displaystyle \int _{s}^{x}\lambda (l)\mathrm{d} l\right )\mathrm{d} s\right |. \end{equation}
We divide the rest of the proof of Part A into two steps, to estimate
$H(x)$
and
$I(x)$
.
Step 1: We show that
\begin{equation} H(x) \leq C_H(x)\Vert U-U_0\Vert _{0, \eta }, \; \forall x \in{\mathbb{R}}, \end{equation}
for some continuous function
$C_H(x)$
independent of
$\varepsilon$
,
$U$
,
$U_0$
.
By Taylor’s theorem, we have that
\begin{equation} |\mathrm{e}^{A}-\mathrm{e}^{B}|\leq |A-B|\mathrm{e}^{\max \{A, B\}},\quad \forall A, B\in{\mathbb{R}}. \end{equation}
Now we use (3.49) to estimate
$H(x)$
defined in (3.46).
\begin{equation} \begin{aligned} H(x)&\leq \left |\int _{0}^{x}\lambda (s)-\lambda _0(s)\mathrm{d} s\right |\exp \left (\displaystyle \max \left \{-\int _{0}^{x}\lambda (s)\mathrm{d} s,-\int _{0}^{x}\lambda _{0}(s)\mathrm{d} s\right \}\right )\\[5pt] &\leq \exp \left (\displaystyle \max \left \{-\int _{0}^{x}\lambda (s)\mathrm{d} s,-\int _{0}^{x}\lambda _{0}(s)\mathrm{d} s\right \}\right )\int _{0}^{x}\left |\lambda (s)-\lambda _0(s)\right |\mathrm{d} s. \end{aligned} \end{equation}
Recall from (3.35) in Lemma 3.5 that there is a continuous function
$C_\lambda (x)$
such that
\begin{equation*} |\lambda (x)-\lambda _0(x)|\leq C_\lambda (x)\Vert U-U_0\Vert _{0, \eta }, \; \forall x \in {\mathbb {R}}. \end{equation*}
Thus, we can rewrite (3.50) as
\begin{equation} H(x) \leq \exp \left (-\int _{0}^{x}\lambda (s)\mathrm{d} s,-\int _{0}^{x}\lambda _{0}(s)\mathrm{d} s\right )\int _0^xC_\lambda (s)\mathrm{d} s \Vert U-U_0\Vert _{0, \eta }. \end{equation}
Next recall the definition of
$\lambda (x)$
:
\begin{equation*} \lambda (x)=\dfrac {1+\frac {\chi }{\sigma ^2}P(x)}{c-\chi P'(x)}, \; \forall x \in {\mathbb {R}}. \end{equation*}
Since by Definition 3.1, we have
$U'(x)\leq C_U$
, then
$P'(x)=\int _{\mathbb R} \frac{1}{2\sigma }e^{-\frac{|x-y|}{\sigma }} U'(y)\mathrm{d} y\leq C_U$
; therefore,
\begin{equation*} c-\chi P'(x) \geq c-\chi C_U = \frac {1}{2}\left (c-\sqrt {c^2-\chi \left (1+\frac {\chi }{\sigma ^2}\right )}\right )\gt 0, \; \forall x \in {\mathbb {R}}, \end{equation*}
and therefore,
\begin{equation*} \lambda (x)=\dfrac {1+\frac {\chi }{\sigma ^2}P(x)}{c-\chi P'(x)}\leq \frac {1+\frac {\chi }{\sigma ^2}}{c-\chi C_U}, \; \forall x \in {\mathbb {R}}. \end{equation*}
Clearly, we have the same upper bound for
$\lambda _0(x)$
and
$\lambda (x)$
, and (3.51) becomes
\begin{equation*} H(x)\leq \exp \left (\frac {1+\frac {\chi }{\sigma ^2}}{c-\chi C_U}|x|\right ) \int _{[0,x]}C_\lambda (s)\mathrm {d} s\Vert U-U_0\Vert _{0, \eta } = C_H(x)\Vert U-U_0\Vert _{0, \eta }, \; \forall x \in {\mathbb {R}}, \end{equation*}
where
$C_H(x)$
is a continuous function. Therefore, (3.48) is proved.
Step 2: We show that
\begin{equation} I(x)\leq C_I(x)\Vert U-U_0\Vert _{0, \eta }, \; \forall x \in{\mathbb{R}}, \end{equation}
for some continuous function
$C_I(x)$
independent from
$\varepsilon$
,
$U$
,
$U_0$
.
Indeed, we have
\begin{align} \nonumber I(x)&\leq \left |\displaystyle \int _{0}^{x}\kappa _{0}(s)\exp \left (\displaystyle -\int _{s}^{x}\lambda _{0}(l)\mathrm{d} l\right )\mathrm{d} s -\displaystyle \int _{0}^{x}\kappa _{0}(s)\exp \left (\displaystyle -\int _{s}^{x}\lambda (l)\mathrm{d} l\right )\mathrm{d} s\right |\\[5pt] \nonumber &\quad +\left |\displaystyle \int _{0}^{x}\kappa _{0}(s)\exp \left (\displaystyle -\int _{s}^{x}\lambda (l)\mathrm{d} l\right )\mathrm{d} s -\displaystyle \int _{0}^{x}\kappa (s)\exp \left (\displaystyle -\int _{s}^{x}\lambda (l)\mathrm{d} l\right )\mathrm{d} s\right |\\[5pt] \nonumber &=\left |\displaystyle \int _{0}^{x}\kappa _{0}(s)\left (\exp \left (\displaystyle -\int _{s}^{x}\lambda _{0}(l)\mathrm{d} l\right ) \nonumber -\exp \left (\displaystyle -\int _{s}^{x}\lambda (l)\mathrm{d} l\right )\right )\mathrm{d} s\right |\\[5pt] \nonumber &\quad +\left |\displaystyle \int _{0}^{x}(\kappa _{0}(s)-\kappa (s))\exp \left (\displaystyle -\int _{s}^{x}\lambda (l)\mathrm{d} l\right )\mathrm{d} s\right | \\[5pt] &\;=\!:\;I_1(x)+I_2(x), \end{align}
where
\begin{equation} I_1(x)\;:\!=\;\left |\displaystyle \int _{0}^{x}\kappa _{0}(s)\left (\exp \left (\displaystyle -\int _{s}^{x}\lambda _{0}(l)\mathrm{d} l\right ) -\exp \left (\displaystyle -\int _{s}^{x}\lambda (l)\mathrm{d} l\right )\right )\mathrm{d} s\right |, \end{equation}
and
\begin{equation} I_2(x)\;:\!=\; \left |\displaystyle \int _{0}^{x}(\kappa _{0}(s)-\kappa (s))\exp \left (\displaystyle -\int _{s}^{x}\lambda (l)\mathrm{d} l\right )\mathrm{d} s\right |. \end{equation}
Using (3.49), we rewrite (3.54) as
\begin{align} I_1(x)\leq \int _0^x |\kappa _0(s)|\exp \left (- \max \left \{-\displaystyle \int _{s}^{x}\lambda (l)\mathrm{d} l,-\int _{s}^{x}\lambda _{0}(l)\mathrm{d} l\right \}\right )\int _s^x |\lambda (l)-\lambda _0(l)|\mathrm{d} l\mathrm{d} s. \end{align}
Since by Definition 3.1, we have
$U'(x)\leq C_U$
, then
$P'(x)=\int _{\mathbb R} \frac{1}{2\sigma }e^{-\frac{|x-y|}{\sigma }} U'(y)\mathrm{d} y\leq C_U$
; therefore,
\begin{equation*} c-\chi P'(x) \geq c-\chi C_U = \frac {1}{2}\left (c-\sqrt {c^2-\chi \left (1+\frac {\chi }{\sigma ^2}\right )}\right )\gt 0, \; \forall x \in {\mathbb {R}}, \end{equation*}
and finally
\begin{equation} |\lambda (x)|\leq \frac{1+\frac{\chi }{\sigma ^2}}{c-\chi C_U} \text{ and }|\kappa (x)|\leq \frac{1+\frac{\chi }{\sigma ^2}}{c-\chi C_U} . \end{equation}
By using (3.56), (3.57), and (3.35) in Lemma 3.5, we rewrite as
\begin{align*} I_1(x)\leq \frac{1+\frac{\chi }{\sigma ^2}}{c-\chi C_U} \int _{[0, x]} \exp \left (\frac{1+\frac{\chi }{\sigma ^2}}{c-\chi C_U}|x-s|\right ) \int _{[s, x]}C_\lambda (l)\mathrm{d} l \mathrm{d} s\Vert U-U_0\Vert _{0, \eta }. \end{align*}
Thus, there exists a continuous function
$C_{I_1}(x)$
such that
\begin{equation} I_1(x)\leq C_{I_1}(x)\Vert U-U_0\Vert _{0, \eta }. \end{equation}
Next we estimate
$I_2(x)$
in (3.55). By using (3.35) and (3.57), we have
\begin{align*} I_2(x)&\leq \displaystyle \int _{[0, x]}\left |\kappa _{0}(s)-\kappa (s)\right |\exp \left (\frac{1+\frac{\chi }{\sigma ^2}}{c-\chi C_U}|x-s|\right )\mathrm{d} s\\[5pt] &\leq \int _{[0, x]}C_\kappa (s)\exp \left (\frac{1+\frac{\chi }{\sigma ^2}}{c-\chi C_U}|x-s|\right )\mathrm{d} s\Vert U-U_0\Vert _{0, \eta }, \end{align*}
thus there exists a continuous function
$C_{I_2}(x)$
such that
\begin{equation} I_2(x)\leq C_{I_2}(x)\Vert U-U_0\Vert _{0, \eta }. \end{equation}
Combining (3.53), (3.58) and (3.59), there exists a continuous function
$C_I(x)\;:\!=\;C_{I_1}(x)+C_{I_2}(x)$
such that (3.52) holds. Step 2 is completed.
Conclusion of Part A: By choosing
$\delta _1$
such that
\begin{equation} \delta _1\;:\!=\;\dfrac{\varepsilon }{6}\left (\dfrac{1}{\displaystyle \sup _{x\in [\!-\!K, K]}\frac{1}{u_0}C_H(x)+C_I(x)}\right ), \end{equation}
we conclude from (3.38), (3.48), and (3.52) that indeed
\begin{align*} \sup _{x\in [\!-\!K, K]}e^{-\eta |x|}|V(x)-V_0(x)|&\leq \sup _{x\in [\!-\!K, K]}|V(x)-V_0(x)|\leq \sup _{x\in [\!-\!K, K]}\frac{1}{u_0}H(x)+I(x) \\[5pt] &\leq \sup _{x\in [\!-\!K, K]}\left (\frac{1}{u_0}C_H(x)+C_I(x)\right )\Vert U-U_0\Vert _{0, \eta }\\[5pt] &\leq \frac{\varepsilon }{6}, \end{align*}
whenever
$\Vert U-U_0\Vert _{0, \eta }\leq \delta _1$
. Thus, (3.43) holds, and this concludes Part A.
Part B: We prove that for each admissible profile
$U_0\in \mathcal{A}$
and
$\varepsilon \gt 0$
, there is
$\delta \gt 0$
such that whenever
\begin{equation*} \Vert U-U_0\Vert _{0, \eta }\leq \delta, \end{equation*}
we have
\begin{equation*} \Vert V-V_0\Vert _{1, \eta }\leq \varepsilon . \end{equation*}
By Lemma 3.3, we know that
$V=\mathcal{T}(U)\in \mathcal{A}$
and
$V_0=\mathcal{T}(U_0)\in \mathcal{A}$
. Therefore,
\begin{equation*} |V'(x)|\leq C_U \text { and } |V_0'(x)|\leq C_U, \; \forall x \in {\mathbb {R}}. \end{equation*}
Let
$K\gt 0$
be such that
\begin{equation*} C_Ue^{-\eta K}\leq \frac {\varepsilon }{12} . \end{equation*}
We have
\begin{align} \nonumber \sup _{x\in \mathbb R} e^{-\eta |x|}|V'(x)-V_0'(x)| &\leq \sup _{x\leq -K} e^{-\eta |x|}|V'(x)-V_0'(x)| + \sup _{|x|\leq K} e^{-\eta |x|}|V'(x)-V_0'(x)|\\[5pt] \nonumber &\quad + \sup _{x\geq K}e^{-\eta |x|}|V'(x)-V_0'(x)|\\[5pt] \nonumber &\leq e^{-\eta K}\left (\sup _{x\leq -K}|V'(x)-V_0'(x)|+\sup _{x\geq K}|V'(x)-V_0'(x)|\right ) \\[5pt] \nonumber &\quad + \sup _{|x|\leq K}e^{-\eta |x|}|V'(x)-V_0'(x)| \\[5pt] & \leq \frac{2\varepsilon }{6}+\sup _{|x|\leq K}e^{-\eta |x|}|V'(x)-V_0'(x)|. \end{align}
Thus, there remains only to establish that
\begin{equation} \sup _{|x|\leq K}e^{-\eta |x|}|V'(x)-V_0'(x)|\leq \frac{\varepsilon }{6}. \end{equation}
We note that
$V$
and
$V_0$
satisfy (3.2); therefore,
\begin{equation} V'(x)=\lambda (x)V(x)- \kappa (x)V^2(x),\text{ and } V_0'(x) = \lambda _0(x)-\kappa _0(x), \text{ for all }x\in{\mathbb{R}}. \end{equation}
Then, we have that
\begin{equation*} \begin {aligned} |V'(x)-V_0'(x)|&=|\lambda (x)V(x)- \kappa (x)V^2(x)-\lambda _0(x)V_0(x)+\kappa _0(x)V_{0}^2(x)|\\[5pt] &=|(\lambda (x)-\lambda _{0}(x))V(x)+\lambda _{0}(x)(V(x)-V_{0}(x))\\[5pt] &\quad +(\kappa _{0}(x)-\kappa (x))V_{0}^2(x)+\kappa (x)(V_{0}^2(x)-V^2(x))|\\[5pt] &\leq |\lambda (x)-\lambda _{0}(x)||V(x)|+\lambda _{0}(x)|V(x)-V_{0}(x)|\\[5pt] &\quad +|\kappa _{0}(x)-\kappa (x)|V_{0}^2(x)+\kappa (x)|V_{0}^2(x)-V^2(x)|\\[5pt] &=|\lambda (x)-\lambda _{0}(x)||V(x)|+\lambda _{0}(x)|V(x)-V_{0}(x)|\\[5pt] &\quad +|\kappa _{0}(x)-\kappa (x)|V_{0}^2(x)+\kappa (x)|V_{0}(x)-V(x)||V_{0}(x)+V(x)|. \end {aligned} \end{equation*}
By using the fact that
$0\leq V(x)\leq 1$
and
$0\leq V_0(x)\leq 1$
for
$x\in{\mathbb{R}}$
, we have that
\begin{equation} \begin{aligned} |V'(x)-V_0'(x)|&\leq |\lambda (x)-\lambda _{0}(x)|+\lambda _{0}(x)|V(x)-V_{0}(x)|+|\kappa _{0}(x)-\kappa (x)|+2\kappa (x)|V_{0}(x)-V(x)|. \end{aligned} \end{equation}
It follows from (3.45), (3.57), (3.52), (3.48), (3.35), and (3.36) that
\begin{equation} |V'(x)-V_0'(x)|\leq \left (C_\lambda (x)+\frac{1+\frac{\chi }{\sigma ^2}}{u_0(c-\chi C_U)}(C_H(x)+u_0C_I(x))+C_\kappa (x)+2\frac{1+\frac{\chi }{\sigma ^2}}{c-\chi C_U} \right )\Vert U-U_0\Vert _{0, \eta }. \end{equation}
Let
\begin{equation} \delta _2\;:\!=\;\frac{\varepsilon }{3}\left [\sup _{x\in [\!-\!K, K]}\left (C_\lambda (x)+\frac{1+\frac{\chi }{\sigma ^2}}{u_0(c-\chi C_U)}(C_H(x)+u_0C_I(x))+C_\kappa (x)+2\frac{1+\frac{\chi }{\sigma ^2}}{c-\chi C_U} \right )e^{-\eta |x|}\right ]^{-1}, \end{equation}
then whenever
$\Vert U-U_0\Vert _{0, \eta }\leq \delta _2$
, we have
\begin{equation*} \sup _{x\in [\!-\!K, K]}e^{-\eta |x|} |V'(x)-V_0'(x)| \leq \frac {\varepsilon }{3}, \end{equation*}
therefore, recalling (3.61),
\begin{equation} \sup _{x\in \mathbb R} e^{-\eta |x|}|V'(x)-V_0'(x)| \leq \frac{\varepsilon }{2}. \end{equation}
Conclusion of Part B: Let
$\delta \;:\!=\;\min (\delta _1, \delta _2)$
where
$\delta _1$
is defined in (3.60) and
$\delta _2$
is defined in (3.66). Then if
$\Vert U-U_0\Vert _{0, \eta }\leq \delta$
, we know from Part A (3.42) that
\begin{equation*} \sup _{x\in \mathbb R}e^{-\eta |x|}|V(x)-V_0(x)|\leq \frac {\varepsilon }{2}, \end{equation*}
and from (3.67) that
\begin{equation*} \sup _{x\in \mathbb R} e^{-\eta |x|}|V'(x)-V_0'(x)| \leq \frac {\varepsilon }{2}. \end{equation*}
So finally,
\begin{equation*} \Vert V-V_0\Vert _{1, \eta }=\sup _{x\in \mathbb R}e^{-\eta |x|}|V(x)-V_0(x)| + \sup _{x\in \mathbb R} e^{-\eta |x|}|V'(x)-V_0'(x)| \leq \varepsilon . \end{equation*}
Part B is proved. Since we always have
$\Vert U-U_0\Vert _{0, \eta }\leq \Vert U-U_0\Vert _{1, \eta }$
, the continuity holds for the norm
$\Vert \cdot \Vert _{1, \eta }$
. Lemma 3.5 is proved.
4. Proof of Theorem 1.4
From the definition of admissible functions
$\mathcal{A}$
, it is a nonempty, closed, convex, bounded subset of the Banach space
$BUC^1_\eta \left ({\mathbb{R}} \right )$
. By Lemmas 3.4 and 3.6, we obtain that
$\mathcal{T}$
is a continuous compact operator on
$\mathcal{A}$
. Therefore, by the Schauder fixed point theorem, there exists
$U$
in
$\mathcal{A}$
such that
\begin{equation*}\mathcal {T}(U) = U.\end{equation*}
Applying Lemma 3.3, we have that
$U\in C^1({\mathbb{R}})$
and
$0\leq U'(x)\leq C_U$
for any
$x\in{\mathbb{R}}$
. Therefore, we have that
\begin{equation*} U(x)=\frac {u_0\mathrm {e}^{\int _{0}^{x}\lambda (s)\mathrm {d} s}}{1+u_0\int _{0}^{x}\kappa (s)\mathrm {e}^{\int _{0}^{s}\lambda (l)\mathrm {d} l}\mathrm {d} s}, \end{equation*}
wherein
\begin{equation*}\lambda (x)=\frac {1+\frac {\chi }{\sigma ^{2}}P(x) }{c-\chi P'(x)},\end{equation*}
and
\begin{equation*}\quad \kappa (x)=\frac {1+ \frac {\chi }{\sigma ^{2}}}{c-\chi P'(x)},\end{equation*}
and
$P(x)$
is the unique solution of the elliptic equation
\begin{equation} P(x)-\sigma ^{2} P''(x)=U(x), \forall x \in \mathbb{R}. \end{equation}
Namely, we have that
\begin{align} U'(x)&=\frac{1}{c-\chi P'(x)}U(x) \left ( \left ( 1+\frac{\chi }{\sigma ^{2}} P(x)\right )-\left (1+ \frac{\chi }{\sigma ^{2}} \right )U(x) \right ), \forall x \in \mathbb{R}. \end{align}
Therefore, we have that
\begin{align*} cU'(x)-\chi P'(x)U'(x)-\frac{\chi }{\sigma ^{2}}U(x)( P(x)-U(x))=U(x)(1-U(x)), \forall x \in \mathbb{R}. \end{align*}
By using (4.1), we have that
\begin{equation} cU'(x)-\chi (P'(x)U(x))'=U(x)(1-U(x)), \forall x \in \mathbb{R}. \end{equation}
We prove that
\begin{equation*}U(\infty )\;:\!=\;\lim _{x\rightarrow +\infty }U(x)=1 \text { and }U(\!-\!\infty )\;:\!=\;\lim _{x\rightarrow -\infty }U(x)=0.\end{equation*}
Indeed, since
$U'(x)\geq 0$
and
$0\lt U(x)\leq 1$
for any
$x\in{\mathbb{R}}$
, then
$U(\infty )$
exists. By using
$P$
equation (1.8), the function
$x \to P(x)$
is increasing and bounded, and by Lebesgue’s dominated convergence theorem, we have
\begin{equation*} P(\pm \infty )=U( \pm \infty ). \end{equation*}
Therefore,
\begin{equation} \lim _{x\rightarrow \pm \infty }U'(x)=0, \text{ and }\lim _{x\rightarrow \pm \infty }P'(x)=0. \end{equation}
It follows from (4.3) and (4.4), we have that
\begin{equation*} \lim _{x\rightarrow \pm \infty }U(x)(1-U(x))=0, \end{equation*}
and since
$x \to U(x)$
increasing and
$U(0)=u_0\gt 0$
, this implies that
\begin{equation*} U( - \infty )=0, \text { and }U( + \infty )=1. \end{equation*}
This completes the proof of the Theorem 1.4.
5. Numerical simulations
We choose a bounded interval
$[\!-\!K,K]$
and an initial distribution
$u_0\in C([\!-\!K,K])$
as follows:
\begin{equation} \displaystyle u_0(x)=\dfrac{2\, \mathrm{e}^{\displaystyle -\beta (x+K)}}{1+\mathrm{e}^{\displaystyle -\beta (x+K)}}. \end{equation}
In the following numerical simulations, we solve the PDE numerically using the upwind scheme, and we refer to Leveque [Reference Leveque16] and Toro [Reference Toro19] for more results on this subject. The numerical method used for the simulations is presented in Section A of the Appendix.
In this section, we set the parameters of the system (A.1) all equal to one. That is,
\begin{equation*} \sigma =\chi =\lambda =\kappa =1. \end{equation*}
In Figure 3, we plot
$x \to u_0(x)$
with the parameter values
$\beta =1$
, and
$K=20$
, and the corresponding travelling wave profile which coincides with
$x \to u(20,x)$
the solution of system (A.1) at
$t=20$
days.
In Figure 4, we run a simulation from
$t=0$
until
$t=20$
of the model (A.1). We observe that the travelling wave appears almost immediately after the starting time
$t=0$
.
Next, we use the following initial value
\begin{equation} \displaystyle u_0(x)=\max \left ( 1- \beta \left (x+K\right ), 0\right ). \end{equation}
In Figure 5, we plot
$x \to u_0(x)$
the initial distribution of system (A.1) (on the left-hand side) and the corresponding travelling wave profile which coincides with
$x \to u(20,x)$
the solution of system (A.1) at
$t=20$
days.
Figure 5. On the left-hand side, we plot
$x \to u_0(x)$
the initial distribution of system (A.1), obtained by using formula (5.2) with
$\beta =0.1$
and
$K=20$
. On the right-hand side, we plot the travelling wave profile which coincide with
$x \to u(t,x)$
the solution of system (A.1) at
$t=20$
days.
In Figure 6, we run a simulation from
$t=0$
until
$t=20$
of the model (A.1). We observe that the travelling wave appears almost immediately after the starting time
$t=0$
.
On the one hand, our numerical simulations show that continuous travelling waves can be observed from an initial distribution decaying exponentially (slowly enough). On the other hand, sharp travelling waves can also be observed when starting the PDE with initial distributions equal to zero on the half-plane. So in practice, both types of travelling waves can be observed numerically.
Now concerning the travelling speed, we observe numerically that sharp travelling waves are slower than continuous travelling waves. In this aspect, the situation is somehow similar to what is observed with reaction-diffusion equations (like the Fisher-KPP equation), in that the ‘slowest’ wave is caught by starting from compactly supported initial data. The question of the minimal speed is quite intricate given the nonlinear nature of the equation, and we leave it for future works.
6. Application to wound healing
The wound healing assay is used in a range of disciplines to study the coordinated movement of a cell population (Figure 7). We refer to the paper of Jonkman et al. [Reference Jonkman, Cathcart, Xu, Bartolini, Amon, Stevens and Colarusso14] for a review on this topic. In this paper, we consider the cell-cell repulsion described by nonlinear diffusion, but cell-cell attraction also occurs and this problem was recently considered by Webb [Reference Webb20] (see also the references therein for more results).
Figure 7. Images from a scratch assay experiment at different time points. Human umbilical vein endothelial cells were plated on gelatin-coated plastic dishes, wounded with a p20 pipette tip, and then imaged overnight using a microscope equipped with point visiting and live-cell apparatus. Scale bar = 120
$\mu$
m. This figure is taken from Jonkman et al. [Reference Jonkman, Cathcart, Xu, Bartolini, Amon, Stevens and Colarusso14].
In this section, we set the parameters of the system (A.1) as follows
\begin{equation*} \chi =\lambda =4 \text { and }\sigma =\kappa =1. \end{equation*}
Initial distribution for imperfect wound: We choose a bounded interval
$[\!-\!K,K]$
and an initial distribution
$u_0\in C([\!-\!K,K])$
as follows
\begin{equation} \displaystyle u_0(x)=\dfrac{1}{2} \left ( \dfrac{2\, \mathrm{e}^{\displaystyle -\beta (x+K)}}{1+\mathrm{e}^{\displaystyle -\beta (x+K)}} \right )+ \dfrac{1}{2} \left ( \dfrac{2\, \mathrm{e}^{\displaystyle -\beta (K-x)}}{1+\mathrm{e}^{\displaystyle -\beta (K-x)}} \right ). \end{equation}
In Figure 8, we plot
$x \to u_0(x)$
with the parameter values
$\beta =0.5$
, and
$K=20$
, and
$x \to u(7,x)$
the solution of system (A.1) at
$t=7$
days.
In Figure 9, we run a simulation from
$t=0$
until
$t=7$
of the model (A.1). We observe that two travelling waves moving in opposite directions appear almost immediately after the starting time
$t=0$
. They merge together to give a flat distribution approximately on day
$2$
.
Initial distribution for perfect wound: We choose a bounded interval
$[\!-\!K,K]$
and an initial distribution
$u_0\in C([\!-\!K,K])$
as follows
\begin{equation} \displaystyle u_0(x)=\dfrac{1}{2} \left (\max \left ( 1- \beta \left (x+K\right ), 0\right ) \right )+ \dfrac{1}{2} \left ( \max \left ( 1- \beta \left (K-x\right ), 0\right ) \right ). \end{equation}
In Figure 10, we plot
$x \to u_0(x)$
with the parameter values
$\beta =0.07$
, and
$K=20$
, and
$x \to u(7,x)$
the solution of system (A.1) at
$t=7$
days.
In Figure 11, we run a simulation from
$t=0$
until
$t=7$
of the model (A.1) for the parameter values
$\sigma =1$
and
$\chi =1$
. We observe that two travelling waves moving in opposite directions appear almost immediately after the starting time
$t=0$
. They merge together to give a flat distribution approximately on day
$5$
.
It is observed that the speed of healing depends strongly on the imperfection of the wound. If we compare the two simulations, we see that the wound seems much larger in Figure 8 than in Figure 10. But the time required for healing is about
$2$
days in Figure 9 whereas it is about
$5$
days in Figure 11. Therefore, the imperfection of the wound has a strong influence on the healing time.
Financial support
Q.G. acknowledges support from ANR via the project Indyana under grant agreement ANR-21-CE40-0008. M.Z is supported by Natural Science Foundation of Tianjin (No. 23JCQNJC01010) and China Scholarship Council.
Competing interests
The authors declare none.
Appendix
An Upwind method applied to the numerical scheme
In Section 5, we use the following system of PDE to run the numerical simulations
\begin{equation} \left \{\begin{array}{l} \partial _{t} u(t, x)=\chi \partial _{x}\left (u(t, x) \partial _{x} p(t, x)\right )+ \lambda \; u(t, x)(1-u(t, x)/ \kappa ), \quad t\in (0, T], x \in [\!-\!K, K], \\[5pt] p(t, x)-\sigma ^{2} \partial _{x x} p(t, x)=u(t, x), \quad t\in (0, T], x \in [\!-\!K, K],\\[5pt] \partial _{x} p(t, - K)=\partial _{x} p(t, + K)=0, \quad t\in (0,T], \end{array}\right . \end{equation}
with
\begin{equation*} u(t,x)=u_0(x) \in L^\infty _+ \left ( [\!-\!K,K], {\mathbb {R}}\right ). \end{equation*}
Now we use the finite volume method to consider equation (A.1). Our numerical scheme reads as follows:
\begin{equation} u_{i}^{n+1}=u_{i}^{n}-\chi \frac{\Delta t}{\Delta x}\left (\phi (u_{i+1}^{n},u_{i}^{n})-\phi (u_{i}^{n},u_{i-1}^{n})\right )+\Delta t u_{i}^{n}(1-u_{i}^{n}), \quad i=1, 2, \ldots, M, \end{equation}
where the flux
$\phi (u_{i+1}^{n},u_{i}^{n})$
for
$i=0, \ldots, M$
is defined as
\begin{equation} \phi (u_{i+1}^{n},u_{i}^{n})=\left (v_{i+\frac{1}{2}}^{n}\right )^{+}u_{i}^{n}-\left (v_{i+\frac{1}{2}}^{n}\right )^{-}u_{i+1}^{n}= \begin{cases} v_{i+\frac{1}{2}}^{n}u_{i}^{n}, & v_{i+\frac{1}{2}}^{n}\geq 0, \\[5pt] v_{i+\frac{1}{2}}^{n}u_{i+1}^{n}, & v_{i+\frac{1}{2}}^{n}\lt 0, \end{cases} \end{equation}
where
\begin{equation*} x^+=\max (0,x), \text { and }x^-=\max (0,-x), \end{equation*}
and
\begin{equation} v_{i+\frac{1}{2}}^{n}=-\frac{p_{i+1}^{n}-p_{i}^{n}}{\Delta x}, i=0, 1, \ldots, M, \end{equation}
where
\begin{equation*} v_{0+\frac {1}{2}}^{n}=v_{M+\frac {1}{2}}^{n}=0. \end{equation*}
Moreover, the vector
$P^{n}$
is defined by
\begin{equation} P^{n}\;:\!=\;\left ( I- \dfrac{\sigma ^2}{\Delta x^2} A \right ) ^{-1} U^{n}, \end{equation}
where
\begin{equation} A= \begin{pmatrix} -1 & 1 & & &\\[5pt] 1 & -2 & 1 & &\\[5pt] &\ddots &\ddots &\ddots &\\[5pt] & & 1 & -2 & 1 \\[5pt] & & & 1 & -1 \end{pmatrix} _{M\times M}. \end{equation}
Indeed, we have
\begin{equation} p_{i}^{n}-\dfrac{\sigma ^2}{\Delta x^2} \left (p_{i+1}^{n}-2p_{i}^{n}+p_{i-1}^{n} \right )=u_{i}^{n},\quad i=1, 2, \ldots, M, \end{equation}
and since we use the Neumann boundary condition, we must impose
\begin{equation*} p_0^n=p_1^n \text { and } p_M^n=p_{M+1}^n. \end{equation*}
Since the Neumann boundary condition corresponds to a no flux boundary condition, we have
\begin{equation} \begin{aligned} \phi (u_{1}^{n},u_{0}^{n})=0,\text{ and } \phi (u_{M+1}^{n},u_{M}^{n})=0, \end{aligned} \end{equation}
which corresponds to
$p_0^n=p_1^n$
and
$p_{M+1}^n=p_M^n$
. Therefore, the numerical scheme at the boundary becomes
\begin{equation} \begin{aligned} u_{1}^{n+1}&=u_{1}^{n}-\chi \frac{\Delta t}{\Delta x}\phi (u_{2}^{n},u_{1}^{n})+\Delta t \, u_{1}^{n}(1-u_{1}^{n}),\\[5pt] u_{M}^{n+1}&=u_{M}^{n}+\chi \frac{\Delta t}{\Delta x}\phi (u_{M+1}^{n},u_{M}^{n})+\Delta t \, u_{M}^{n}(1-u_{M}^{n}). \end{aligned} \end{equation}
Due to the boundary condition, we have the conservation of mass for equation (A.1) when the reaction term equals zero.
Open access
