Bacterial Competition in the Presence of a Virus in a Chemostat

Abstract

We derive a mathematical model that describes the competition of two populations in a chemostat in the presence of a virus. We suppose that only one population is affected by the virus. We also suppose that the substrate is continuously added to the bioreactor. We obtain a model taking the form of an “SI” epidemic model using general increasing growth rates of bacteria on the substrate and a general increasing incidence rate for the viral infection. The stability of the steady states was carried out. The system can have multiple steady states with which we can determine the necessary and sufficient conditions for both existence and local stability. We exclude the possibility of periodic orbits and we prove the uniform persistence of both species. Finally, we give some numerical simulations that validate the obtained results.

1. Introduction

A bioreactor (Figure 1) is a tank (a lake) in which microorganisms multiply (yeasts, bacteria, fungi, algae, etc.) which consume substrates or feed on other organisms to develop, and which use precursors and activators to produce biomass, synthesize metabolites, or even bioconvert molecules of interest (e.g., depollution). Thanks to the bioreactor, it is possible to control the culture conditions (temperature, pH, aeration, etc.) and, therefore, to collect relatively reliable experimental data for monitoring bacterial growth and/or the chemical reaction of interest. If we consider a competition between two species for an essential substrate, a classical postulate, known as the competitive exclusion principle, suggests that, at most, one species can survive and the other species disappear. This principle has been frequently demonstrated mathematically and validated experimentally (see, for example, [1,2,3,4,5]). Several works [6,7,8,9,10,11,12,13,14] have tried to explain coexistence of bacterial competitors using several approaches. Increasingly interested in aquatic environments, researchers are discovering that the organisms colonized by viruses are much more varied than the bacterial species anticipated [15]. The shape and size of some viruses are also surprising. Finally, we are beginning to measure the impact of viral diversity on the living world. Through various mechanisms, such as the destruction of a dominant species to the benefit of rarer species [16] or the transfer of viral genes to the host, viruses (bacteriophage) maintain the biodiversity of aquatic ecosystems and facilitate genetic mixing [17]. Several works [17,18] confirm that viruses have a significant role in aquatic bacterial diversity. Therefore, the role of viruses in aquatic ecosystems cannot be neglected and should be taken into account when modeling bacterial competition in an aquatic ecosystem.

Note that a viral infection can be modeled with an epidemiological model, using either a deterministic, delayed, or stochastic approach [20,21,22,23,24]. One of the basic models for the spread of a disease was proposed in [25], dividing the population into three compartments, namely the infected population compartment (I), the susceptible population compartment (S), and the recovered population compartment (R), known as the “SIR” model. An extension of the “SIR” models is given by the “SEIR” (Susceptible, Exposed, Infected, Recovered) ones [26,27,28,29]. The “SEIR” epidemic models were extended to “SVEIR” models (Susceptible, Vaccinated, Exposed, Infected, Recovered), taking into account the proportion of immigrants who have been vaccinated [30,31,32,33]. Most of these works investigated the proposed models by giving the basic reproduction number and the local and global stability of the steady states using local linearisation and Lyapunov theory.

An important question has been asked in [34]: does the presence of a virus induce the stable coexistence of bacterial competitors in an aquatic-like system?

The response was given by proposing and analyzing a mathematical model of exploitative competition in a continuous reactor containing a virus [34]. The authors assume that only the species which have the best affinity with the substrate are affected by the virus. They proved under certain conditions that the coexistence of competitor bacteria is possible. Mestivier et al. [35] and Weitz et al. [36] proposed some mathematical models where the virus dynamics are given explicitly. It is shown that the coexistence between two competitor bacteria is possible in the presence of a virulent virus. Similarly, in [37], the authors considered a mathematical model where the virus behaviour is given explicitly and they give some conditions satisfying the coexistence of all competitors.

In this paper, we propose a generalized model of the one given in [34] by considering general increasing growth rates of bacteria on the substrate and a general increasing incidence rate for the viral infection. We introduce the model in Section 2 and we give some general results. In Section 3, we discuss the case where there is no viral infection where the competitive exclusion principle is valid. In Section 4, we reduce the system to a three-dimensional one which facilitates the mathematical analysis. We discuss the local analysis in Section 4.1, we prove that there is no periodic orbits on the faces in Section 4.2, and then we conclude on the persistence in Section 4.3 and the uniform persistence in Section 4.4. Then, we return in Section 5 to the main model where we discuss the uniform persistence. Then, we give some numerical simulations in Section 6. Finally, we summarize the main results and discuss certain implications in Section 7.

2. Modeling Bacterial Competition in the Presence of a Virus

Consider a bio-reactor in which the bacterial competition of two species in the presence of a virus that affects only species 1 was studied (see Figure 1 and Figure 2). Therefore, species 1 is present in two compartments, susceptibles ($X_s$) and infectives or bacteriophage ($X_i$); however, species 2 is present in a single form ($X_2$). We know that a virus requires a host to replicate; that is why we do not explicitly model the virus dynamics and we assume that the virus spreads when an infected species takes contact with a susceptible one, which is the case of the classical epidemic models (“SI”, “SIS”, “SIR”, “SIRS”, “SEIR”, “SEIRS”, “SVEIR”). The limiting substrate (S) was added instantaneously to the reactor with a flow rate D and a concentration $S_{in}$. The culture liquid, containing the substrate, species 1 (either infected or not), and species 2, is continuously mixed and removed at the same flow rate, D. Note that the viral infection concerns only species 1. We neglected all natural mortality rates compared to the dilution rate.

We proposed a mathematical model describing the competition of two species for a single non-reproducing growth-limiting substrate in a continuous reactor that it is well-stirred in the presence of a virus that affects only species 1 (species 2 is not susceptible to the virus attack, Figure 2). The mathematical model takes the form of an “SI” epidemic model where the main goal is to find under what conditions the coexistence of all species is possible. This model is a generalization of the model proposed in [34] by considering generalized growth rates for all species and also a generalized incidence rate for the viral infection. The model is given by the following fourth-dimensional system of ordinary differential equations:

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\dot{S}\hfill & =\hfill & {\displaystyle D(S_{in}-S)-{\displaystyle \frac{{\mu }_s\left(S\right)}{Y_1}}{X}_s-{\displaystyle \frac{{\mu }_i\left(S\right)}{Y_1}}{X}_i-{\displaystyle \frac{{\mu }_2\left(S\right)}{Y_2}}{X}_2,}\hfill \\ {\dot{X}}_s\hfill & =\hfill & {\displaystyle {\mu }_s\left(S\right)X_s-D{X}_s-f\left(X_i\right)X_s,}\hfill \\ {\dot{X}}_i\hfill & =\hfill & {\displaystyle {\mu }_i\left(S\right)X_i-D{X}_i+f\left(X_i\right)X_s,}\hfill \\ {\dot{X}}_2\hfill & =\hfill & {\displaystyle {\mu }_2\left(S\right)X_2-D{X}_2.}\hfill \end{array}\right.\end{array}$$

(1)

Here, S denotes the concentration of the resource with $S\left(0\right)\ge 0$, whereas $X_s,X_i$, and $X_2$ stand for the concentrations of susceptible species 1, infected species 1, and species 2, respectively, with initial conditions satisfying $X_s\left(0\right)>0,X_i\left(0\right)>0$ and $X_2\left(0\right)>0$. Note that D and $S_{in}$ describe the dilution rate and the substrate input concentration, respectively, and are assumed to be constant and positive. $Y_1$ and $Y_2$ denote the yield coefficients, commonly referred to as the substrate-to-species-1 (either infected or not) and substrate-to-species-2 yields, respectively. The significance of the variables and parameters is shown in

Table 1. Variables and parameters meaning of system (1).

Notation	Description
${\mu }_s(·)$	Specific growth rate of susceptible species 1
${\mu }_i(·)$	Specific growth rate of infected species 1
${\mu }_2(·)$	Specific growth rate of species 2
$f(·)$	Saturated incidence rate
$S_{in}$	Substrate input concentration
D	Flow rate
$Y_1$	Yield coefficient expressing the substrate-to-species-1 yield
$Y_2$	Yield coefficient expressing the substrate-to-species-2 yield

.

By making the following change of variable, we obtain a more simplified model. Let $s=S,s_{in}=S_{in},x_s={\displaystyle \frac{X_s}{Y_1}},x_i={\displaystyle \frac{X_i}{Y_1}},x_2={\displaystyle \frac{X_2}{Y_2}}$, and $\mu \left(x_i\right)=f\left(Y_1{x}_i\right)$. Then, the model takes the form:

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\dot{s}\hfill & =\hfill & {\displaystyle D(s_{in}-s)-{\mu }_s\left(s\right)x_s-{\mu }_i\left(s\right)x_i-{\mu }_2\left(s\right)x_2,}\hfill \\ {\dot{x}}_s\hfill & =\hfill & {\displaystyle {\mu }_s\left(s\right)x_s-D{x}_s-\mu \left(x_i\right)x_s,}\hfill \\ {\dot{x}}_i\hfill & =\hfill & {\displaystyle {\mu }_i\left(s\right)x_i-D{x}_i+\mu \left(x_i\right)x_s,}\hfill \\ {\dot{x}}_2\hfill & =\hfill & {\displaystyle {\mu }_2\left(s\right)x_2-D{x}_2.}\hfill \end{array}\right.\end{array}$$

(2)

Let us define some operating parameters as follows: $D_s={\mu }_s\left(s_{in}\right)$, $D_2={\mu }_2\left(s_{in}\right)$, and $D_i={\mu }_i\left(s_{in}\right)$. All the mentioned parameters are positive. Through the paper, we will consider the most important case by using the following assumption:

Assumption 1. 

The growth rates ${\mu }_s$, ${\mu }_i$, and ${\mu }_2$ are increasing, non-negative, $C^1\left({\mathbb{R}}_{+}\right)$ functions, such that ${\mu }_s\left(0\right)={\mu }_i\left(0\right)={\mu }_2\left(0\right)=0$. Furthermore, ${\mu }_i\left(s\right)<{\mu }_2\left(s\right)<{\mu }_s\left(s\right)$ for all $s\in (0,s_{in})$ and $D_i<D<D_2$.

Let us define the values ${\overline{s}}_1$ and ${\overline{s}}_2$ as the solutions of ${\mu }_s\left(s\right)=D$ and ${\mu }_2\left(s\right)=D$, respectively.

Remark 1. 

1. 

Assumption 1 expresses that species 1 has the best affinity with the substrate and then it wins the competition in the absence of the infection. Once the infection is present, Assumption 1 expresses that the non-infected species 1 ($x_s$) still has the best affinity with the substrate; however, infected species 1 ($x_i$) has a growth rate (${\mu }_i$) smaller than both growth rates (${\mu }_s$ and ${\mu }_2$) of the non-infected species 1 and species 2.

2. 

Monod functions (or Holling’s functions type II) are candidate functions that can express growth rates (Figure 3):

$${\mu }_s\left(s\right)={\displaystyle \frac{{\overline{\mu }}_{s}s}{k_s+s}},{\mu }_i\left(s\right)={\displaystyle \frac{{\overline{\mu }}_{i}s}{k_i+s}},{\mu }_2\left(s\right)={\displaystyle \frac{{\overline{\mu }}_{2}s}{k_2+s}} and \mu \left(s\right)={\displaystyle \frac{\overline{\mu }s}{k+s}}$$

where $k_s,k_i$, and $k_2$ are Monod constants. ${\overline{\mu }}_s$, ${\overline{\mu }}_i$, and ${\overline{\mu }}_2$ are positive constants. All constants can be chosen such that the functions ${\mu }_s$, ${\mu }_i$, and ${\mu }_2$ satisfy Assumption 1. For example, we can take ${\overline{\mu }}_s>{\overline{\mu }}_2>{\overline{\mu }}_i$ and $k_s=k_2=k_i$.

The model (2) of the chemostat is a dynamical system defined on the non-negative cone, for which we recall some fundamental properties (see, for instance, [38]).

Proposition 1. 

System (2) satisfies

1. 

All solutions of system (2) are defined, non-negative, and bounded.

2. 

$\Sigma =\left\{(s,x_s,x_i,x_2)\in {\mathbb{R}}_{+}^4|s+x_s+x_i+x_2=s_{in}\right\}$ is a positively invariant attractor set of solutions of the system (2).

Proof. 

• The invariance of ${\mathbb{R}}_{+}^4$ is confirmed by the following points: $s\left(t\right)=0\Rightarrow \dot{s}\left(t\right)=D{s}_{in}>0$, $x_i\left(t\right)=0\Rightarrow {\dot{x}}_i\left(t\right)=0$, $x_s\left(t\right)=0\Rightarrow {\dot{x}}_s\left(t\right)=0$, and $x_2\left(t\right)=0\Rightarrow {\dot{x}}_2\left(t\right)=0$.
  Consider the variable $M\left(t\right)=s\left(t\right)+x_s\left(t\right)+x_i\left(t\right)+x_2\left(t\right)-s_{in}$. By adding all equations of model (2), we deduce that:

  $$\dot{M}\left(t\right)=-DM\left(t\right),$$

  (3)

  and, therefore, we obtain:

  $$s\left(t\right)+x_s\left(t\right)+x_i\left(t\right)+x_2\left(t\right)=s_{in}+M_0{e}^{-Dt}$$

  with $M_0=s\left(0\right)+x_s\left(0\right)+x_i\left(0\right)+x_2\left(0\right)-s_{in}$. Since all compartments of the sum are non-negative, we can conclude on the boundedness of the solution.
• It can be deduced from the relation (3).

□

Lemma 1. 

${\overline{s}}_1$ and ${\overline{s}}_2$ exist and are unique and satisfy $0<{\overline{s}}_1<{\overline{s}}_2<s_{in}$.

Proof. 

The function ${\mu }_s$ is continuous and increasing, such that ${\mu }_s\left(0\right)=0$ and $D<D_s={\mu }_s\left(s_{in}\right)$; therefore, ${\overline{s}}_1\in (0,s_{in})$ exists and is unique. The function ${\mu }_2$ is continuous and increasing, such that ${\mu }_2\left(0\right)=0$ and $D<D_2={\mu }_2\left(s_{in}\right)$; therefore, ${\overline{s}}_2\in (0,s_{in})$ exists and is unique. Since ${\mu }_2\left(s\right)<{\mu }_s\left(s\right)$ for all $s\in (0,s_{in})$ then ${\overline{s}}_1<{\overline{s}}_2<s_{in}$. □

Assumption 2. 

The incidence rate μ is an increasing, non-negative, $C^1\left({\mathbb{R}}_{+}\right)$ concave function, such that $\mu \left(0\right)=0$. Furthermore, μ satisfies:

$$\begin{array}{c}\hfill \begin{array}{c}{\mu }_s\left({\overline{s}}_2\right)<D+\mu (s_{in}-{\overline{s}}_2)\hfill \end{array}\end{array}$$

(4)

and

$$\begin{array}{c}\hfill \begin{array}{c}{\mu }_i^{\prime }\left(0\right)<{\mu }^{\prime }\left(x_i\right)\forall x_i\in {\mathbb{R}}_{+}.\hfill \end{array}\end{array}$$

(5)

Remark 2. 

Monod (or Holding type II) function is a candidate function that can express the incidence rate $\mu \left(x\right)={\displaystyle \frac{\overline{\mu }x}{k+x}}$, where k is the Monod constant. $\overline{\mu }$ is the maximum incidence rate. Note that μ satisfies Assumption 2.

The incidence rate $\mu$ satisfies the following lemma.

Lemma 2. 

The incidence rate μ satisfies ${\mu }^{\prime }\left(x\right)\le {\displaystyle \frac{\mu \left(x\right)}{x}}\le {\mu }^{\prime }\left(0\right),\forall x>0$.

Proof. 

Let $x,x_1\in {\mathbb{R}}_{+}$, and the function ${\phi }_1\left(x\right)=\mu \left(x\right)-x{\mu }^{\prime }\left(x\right)$. Since ${\mu }^{\prime }\left(x\right)\ge 0$ ($\mu$ is an increasing function) and ${\mu }^{″}\left(x\right)\le 0$ ($\mu$ is a concave function), then ${\phi }_1^{\prime }\left(x\right)=-x{\mu }^{″}\left(x\right)\ge 0$ and ${\phi }_1\left(x\right)\ge {\phi }_1\left(0\right)=0$. Therefore, $\mu \left(x\right)\ge x{\mu }^{\prime }\left(x\right)$. Similarly, let ${\phi }_2\left(x\right)=\mu \left(x\right)-x{\mu }^{\prime }\left(0\right)$; then, ${\phi }_2^{\prime }\left(x\right)={\mu }^{\prime }\left(x\right)-{\mu }^{\prime }\left(0\right)\le 0$ once $\mu$ is a concave function. Thus, ${\phi }_2\left(x\right)\le {\phi }_2\left(0\right)=0$ and $\mu \left(x\right)\le x{\mu }^{\prime }\left(0\right)$. □

Let us define the basic reproduction number ${\mathcal{R}}_0$ for system (2) using the next-generation operator approach proposed in [39] and deduced from the third equation (infected compartment) of system (2) and, therefore, given by:

$$\begin{array}{c}\hfill \begin{array}{ccc}{\mathcal{R}}_0& =& {\displaystyle \frac{{\mu }_i\left({\overline{s}}_1\right)+{\mu }^{\prime }\left(0\right)(s_{in}-{\overline{s}}_1)}{D}}.\end{array}\end{array}$$

Here, ${\mu }_i\left({\overline{s}}_1\right)+{\mu }^{\prime }\left(0\right)(s_{in}-{\overline{s}}_1)$ describes the mean number of infective produced in a chemostat by introducing a single infective into a totally susceptible population inside the reactor. ${\displaystyle \frac{1}{D}}$ describes the average time that an infective individual passes inside the chemostat as an infective.

For the rest of the paper, we consider the most important case where ${\mathcal{R}}_0>1$.

Assumption 3. 

${\mathcal{R}}_0>1$ or, equivalently, $s_{in}>{\displaystyle \frac{D+{\mu }^{\prime }\left(0\right){\overline{s}}_1-{\mu }_i\left({\overline{s}}_1\right)}{{\mu }^{\prime }\left(0\right)}}$.

Let us recall the classical ‘chemostat’ model in the absence of the virus.

3. Virus-Free Subsystem

Consider the following three-dimensional system which is the virus-free subsystem:

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}\dot{s}\hfill & =\hfill & {\displaystyle D(s_{in}-s)-{\mu }_s\left(s\right)x_s-{\mu }_2\left(s\right)x_2,}\hfill \\ {\dot{x}}_s\hfill & =\hfill & {\displaystyle {\mu }_s\left(s\right)x_s-D{x}_s,}\hfill \\ {\dot{x}}_2\hfill & =\hfill & {\displaystyle {\mu }_2\left(s\right)x_2-D{x}_2.}\hfill \end{array}\right.\end{array}$$

(6)

This model is the same as (2) in the absence of the viral infection ($x_i=0$). This model predicts the competitive exclusion; that is, under Assumption 1, at most, the first species (which has the best affinity with the substrate) avoids extinction; however, the second species goes to extinction (see, for example, [19,38,40,41]). Let us define the steady-states of system (6) on the non-negative quadrant by $S{S}_0$, $S{S}_1$, and $S{S}_2$ with:

$$S{S}_0=(s_{in},0,0),S{S}_1=({\overline{s}}_1,s_{in}-{\overline{s}}_1,0),S{S}_2=({\overline{s}}_2,0,s_{in}-{\overline{s}}_2)$$

where ${\overline{s}}_1<{\overline{s}}_2$ (according to Lemma 1). Therefore, we have:

Proposition 2. 

The equilibrium point $S{S}_1$ is globally asymptotically stable [38].

Note that by introducing a virus that affects only species 1, which has the best affinity with the nutriment, we aim to give a possibility of the coexistence of both competing species.

4. Reduction to Three-Dimensional System

Note that all solutions of the 4D-dynamics (2) converge toward $\Sigma$. Now, because we are interested by the asymptotic behavior of the dynamics (2), we will restrict the study to $\Sigma$. Thanks to Thieme’s results [42], the asymptotic behavior of the reduced dynamics will be informative for the dynamics (2); see [19,43] for other applications. The reduced dynamics of (2) on $\Sigma$ is given by:

$$\begin{array}{c}\hfill \left\{\begin{array}{ccccc}{\dot{x}}_s\hfill & =\hfill & {\mu }_s(s_{in}-x_s-x_i-x_2)x_s-D{x}_s-\mu \left(x_i\right)x_s\hfill & =\hfill & x_s{h}_1(x_s,x_i,x_2),\hfill \\ {\dot{x}}_i\hfill & =\hfill & {\mu }_i(s_{in}-x_s-x_i-x_2)x_i-D{x}_i+\mu \left(x_i\right)x_s\hfill & =\hfill & x_i{h}_2(x_s,x_i,x_2),\hfill \\ {\dot{x}}_2\hfill & =\hfill & {\mu }_2(s_{in}-x_s-x_i-x_2)x_2-D{x}_2\hfill & =\hfill & x_2{h}_3(x_s,x_i,x_2),\hfill \end{array}\right.\end{array}$$

(7)

where the functions $h_1,h_2$, and $h_3$ are given by:

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}{h}_1(x_s,x_i,x_2)\hfill & :=\hfill & {\mu }_s(s_{in}-x_s-x_i-x_2)-D-\mu \left(x_i\right),\hfill \\ h_2(x_s,x_i,x_2)\hfill & :=\hfill & {\mu }_i(s_{in}-x_s-x_i-x_2)-D+{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}{x}_s,\hfill \\ h_3(x_s,x_i,x_2)\hfill & :=\hfill & {\mu }_2(s_{in}-x_s-x_i-x_2)-D.\hfill \end{array}\right.\end{array}$$

(8)

Thus, for (7) the state-vector $(x_s,x_i,x_2)$ belongs to the following subset of ${\mathbb{R}}_{+}^3$:

$$\Lambda =\left\{(x_s,x_i,x_2)\in {\mathbb{R}}_{+}^3:x_s+x_i+x_2\le s_{in}\right\}.$$

Formally, let $F_{000}$, $F_{100}$, $F_{001}$, and $F_{111}$ be the four equilibrium points of dynamics (7) on $\Lambda$. $F_{000}$ reflects the extinction of all species and predators, and $F_{100}$ reflects the extinction of the infected first species and the second species while the non-infected first species is present. $F_{001}$ reflects the extinction of the first species (either infected or not) while the second species is present. Finally, $F_{111}$ reflects the coexistence of both species including the first species in its two forms, infected or not.

$F_{000}$, $F_{100}$, $F_{001}$, and $F_{111}$ are given by:

• $F_{000}=(0,0,0)$.
• $F_{100}=(s_{in}-{\overline{s}}_1,0,0)$, where ${\overline{s}}_1$ is the unique solution of the equation ${\mu }_s\left(s\right)=D$.
• $F_{001}=(0,0,s_{in}-{\overline{s}}_2)$, where ${\overline{s}}_2$ is the unique solution of the equation ${\mu }_2\left(s\right)=D$.
• $F_{111}=({\check{x}}_s,{\check{x}}_i,{\check{x}}_2)$, where $({\check{x}}_s,{\check{x}}_i,{\check{x}}_2)$ is the solution of the three-dimensional system given by:

  $$\begin{array}{c}\hfill \left\{\begin{array}{ccccc}{h}_1(x_s,x_i,x_2)\hfill & =\hfill & {\mu }_s(s_{in}-x_s-x_i-x_2)-D-\mu \left(x_i\right)\hfill & =\hfill & 0,\hfill \\ h_2(x_s,x_i,x_2)\hfill & =\hfill & {\mu }_i(s_{in}-x_s-x_i-x_2)-D+{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}{x}_s\hfill & =\hfill & 0,\hfill \\ h_3(x_s,x_i,x_2)\hfill & =\hfill & {\mu }_2(s_{in}-x_s-x_i-x_2)-D\hfill & =\hfill & 0.\hfill \end{array}\right.\end{array}$$

  (9)

From the third equation of system (9), and by Assumption 1, there exists a unique value ${\overline{s}}_2\in (0,s_{in})$, such that ${\overline{s}}_2=s_{in}-x_s-x_i-x_2$. Thus, $x_2=s_{in}-x_s-x_i-{\overline{s}}_2$ and the system (9) is reduced to:

$$\begin{array}{c}\hfill \left\{\begin{array}{ccc}{\mu }_s\left({\overline{s}}_2\right)-D-\mu \left(x_i\right)\hfill & =\hfill & 0,\hfill \\ {\mu }_i\left({\overline{s}}_2\right)-D+{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}{x}_s\hfill & =\hfill & 0.\hfill \end{array}\right.\end{array}$$

(10)

From the second equation of (10), we have $x_s=(D-{\mu }_i\left({\overline{s}}_2\right)){\displaystyle \frac{x_i}{\mu \left(x_i\right)}}$. Let ${\phi }_i\left(x_i\right)={\mu }_s\left({\overline{s}}_2\right)-D-\mu \left(x_i\right)$. Therefore, from the first equation of (10), we have:

$${\phi }_i\left(x_i\right)={\mu }_s\left({\overline{s}}_2\right)-D-\mu \left(x_i\right)=0.$$

The derivative of ${\phi }_i$ is given by:

$${\phi }_i^{\prime }\left(x_i\right)=-{\mu }^{\prime }\left(x_i\right)<0.$$

Furthermore, we have:

$$\begin{array}{ccc}{\phi }_i\left(0\right)\hfill & =\hfill & {\mu }_s\left({\overline{s}}_2\right)-D>0,\hfill \\ {\phi }_i(s_{in}-{\overline{s}}_2)\hfill & =\hfill & {\mu }_s\left({\overline{s}}_2\right)-D-\mu (s_{in}-{\overline{s}}_2)\hfill \\ & <\hfill & 0 \mathrm{by}\mathrm{Assumption}2.\hfill \end{array}$$

(11)

Therefore, the equation ${\phi }_i\left(x_i\right)=0$ admits a unique solution ${\check{x}}_i\in (0,s_{in}-{\overline{s}}_2)$ and, thus, the existence and uniqueness of the equilibrium point $F_{111}$ corresponding to the coexistence of all species:

$$F_{111}=({\check{x}}_s,{\check{x}}_i,{\check{x}}_2)=((D-{\mu }_i\left({\overline{s}}_2\right)){\displaystyle \frac{{\check{x}}_i}{\mu \left({\check{x}}_i\right)}},{\check{x}}_i,s_{in}-(D-{\mu }_i\left({\overline{s}}_2\right)){\displaystyle \frac{{\check{x}}_i}{\mu \left({\check{x}}_i\right)}}-{\check{x}}_i-{\overline{s}}_2).$$

The following equilibrium points are either not generic or not possible; that is why they are neglected.

• $F_{101}=({\tilde{x}}_s,0,{\tilde{x}}_2)$, where $({\tilde{x}}_s,{\tilde{x}}_2)$ is the solution of the two-dimensional system given by:

  $$\begin{array}{c}\hfill \left\{\begin{array}{ccccc}{h}_1(x_s,0,x_2)\hfill & =\hfill & {\mu }_s(s_{in}-x_s-x_2)-D\hfill & =\hfill & 0,\hfill \\ h_3(x_s,0,x_2)\hfill & =\hfill & {\mu }_2(s_{in}-x_s-x_2)-D\hfill & =\hfill & 0.\hfill \end{array}\right.\end{array}$$

  (12)
  This case will be ignored since it is non-generic because we obtain ${\overline{s}}_1={\overline{s}}_2$ (classical model of bacterial competition in a chemostat).
• $F_{011}=(0,{\widehat{x}}_i,{\widehat{x}}_2)$, where $({\widehat{x}}_i,{\widehat{x}}_2)$ is the solution of the two-dimensional system given by:

  $$\begin{array}{c}\hfill \left\{\begin{array}{ccccc}{h}_2(0,x_i,x_2)\hfill & =\hfill & {\mu }_i(s_{in}-x_i-x_2)-D\hfill & =\hfill & 0,\hfill \\ h_3(0,x_i,x_2)\hfill & =\hfill & {\mu }_2(s_{in}-x_i-x_2)-D\hfill & =\hfill & 0.\hfill \end{array}\right.\end{array}$$

  (13)
  This case will be ignored since we obtain ${\mu }_2(s_{in}-x_i-x_2)={\mu }_2\left({\overline{s}}_2\right)={\mu }_i\left({\overline{s}}_2\right)=D$, which is impossible because ${\mu }_i\left(s_{in}\right)=D_i<D$.
• $F_{010}=(0,s_{in}-{\overline{s}}_3,0)$, where ${\overline{s}}_3$ is the solution of the equation ${\mu }_i\left(s\right)=D$. Again, this equilibrium is not possible since ${\mu }_i\left(s_{in}\right)=D_i<D$.
• $F_{110}=({\overline{x}}_s,{\overline{x}}_i,0)$, where $({\overline{x}}_s,{\overline{x}}_i)$ is the solution of the two-dimensional system given by:

  $$\begin{array}{c}\hfill \left\{\begin{array}{ccccc}{h}_1(x_s,x_i,0)\hfill & =\hfill & {\mu }_s(s_{in}-x_s-x_i)-D-\mu \left(x_i\right)\hfill & =\hfill & 0,\hfill \\ h_2(x_s,x_i,0)\hfill & =\hfill & {\mu }_i(s_{in}-x_s-x_i)-D+{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}{x}_s\hfill & =\hfill & 0.\hfill \end{array}\right.\end{array}$$

  (14)
  Let:

  $${\Gamma }_1=\left\{(x_s,x_i,0)\in \Lambda ;{\mu }_s(s_{in}-x_s-x_i)-D-\mu \left(x_i\right)=0\right\}$$

  and

  $${\Gamma }_2=\left\{(x_s,x_i,0)\in \Lambda ;{\mu }_i(s_{in}-x_s-x_i)-D+{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}{x}_s=0\right\}.$$
  ${\Gamma }_1$ and ${\Gamma }_2$ are non-empty and can intersect at a finite number of positive equilibrium points of the form $F_{110}=({\overline{x}}_s,{\overline{x}}_i,0)$, such that ${\overline{x}}_s>0$ and ${\overline{x}}_i>0$. Functions $x_s\to {\mu }_s(s_{in}-x_s-x_i)-D-\mu \left(x_i\right)$ and $x_s\to {\mu }_i(s_{in}-x_s-x_i)-D+{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}{x}_s$ are decreasing. Therefore, the isoclines are the graphs of two functions $x_s={\phi }_1\left(x_i\right)$ and $x_s={\phi }_2\left(x_i\right)$ and, then, ${\phi }_1\left(0\right)=s_{in}-{\overline{s}}_1$ and ${\phi }_1(s_{in}-{\overline{s}}_3)=0$. ${\overline{x}}_i$ is solution of $\psi \left({\overline{x}}_i\right)=0$, where $\psi \left(x_i\right)={\phi }_2\left(x_i\right)-{\phi }_1\left(x_i\right)$. The derivatives of ${\phi }_1$ and ${\phi }_2$ are given by ${\phi }_1^{\prime }\left(x_i\right)=-1-{\displaystyle \frac{{\mu }^{\prime }\left(x_i\right)}{{\mu }_s^{\prime }(s_{in}-x_s-x_i)}}$ and ${\phi }_2^{\prime }\left(x_i\right)=-1+{\displaystyle \frac{\left({\mu }^{\prime }\left(x_i\right)-{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}\right){\displaystyle \frac{x_s}{x_i}}-{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}}{{\mu }_i^{\prime }(s_{in}-x_s-x_i)-{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}}}$. According to Assumption 2, we have ${\mu }_i^{\prime }(s_{in}-x_s-x_i)-{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}<0$, and by Lemma 2, we have ${\mu }^{\prime }\left(x_i\right)-{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}\le 0$; therefore, one deduces that:

  $$\begin{array}{c}\hfill \begin{array}{ccc}{\psi }^{\prime }\left(x_i\right)\hfill & =\hfill & {\phi }_2^{\prime }\left(x_i\right)-{\phi }_1^{\prime }\left(x_i\right)\hfill \\ & =\hfill & {\displaystyle \frac{{\mu }^{\prime }\left(x_i\right)}{{\mu }_s^{\prime }(s_{in}-x_s-x_i)}}+{\displaystyle \frac{\left({\mu }^{\prime }\left(x_i\right)-{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}\right){\displaystyle \frac{x_s}{x_i}}-{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}}{{\mu }_i^{\prime }(s_{in}-x_s-x_i)-{\displaystyle \frac{\mu \left(x_i\right)}{x_i}}}}\hfill \\ & >\hfill & 0.\hfill \end{array}\end{array}$$

  (15)
  Note that $\psi \left(0\right)={\phi }_2\left(0\right)-s_{in}+{\overline{s}}_1>0$, since ${\mathcal{R}}_0>1$ by Assumption 3. Therefore, there is no equilibrium points of the form $F_{110}$ if $D_i<D<D_2$.

Therefore, we will consider only the equilibrium points $F_{000}$, $F_{100}$, $F_{001}$, and $F_{111}$ to be the four equilibrium points of dynamics (7) on $\Lambda$ and we resume them in Proposition 3.

Proposition 3. 

Under Assumptions 1–3, the dynamics (7) admit four equilibrium points $F_{000}$, $F_{100}$, $F_{001}$, and $F_{111}$.

4.1. Local Stability

The Jacobian matrix at a point $(x_s,x_i,x_2)$ solution of system (7) is given by:

$$\begin{array}{c}\hfill J(x_s,x_i,x_2)=\left(\begin{array}{ccc}-{\mu }_s^{\prime }{x}_s+{\mu }_s-D-\mu \left(x_i\right)& -{\mu }_s^{\prime }{x}_s-{\mu }^{\prime }\left(x_i\right)x_s& -{\mu }_s^{\prime }{x}_s\\ -{\mu }_i^{\prime }{x}_i+\mu \left(x_i\right)& -{\mu }_i^{\prime }{x}_i+{\mu }^{\prime }\left(x_i\right)x_s+{\mu }_i-D& -{\mu }_i^{\prime }{x}_i\\ -{\mu }_2{x}_2& -{\mu }_2{x}_2& -{\mu }_2^{\prime }{x}_2+{\mu }_2-D\end{array}\right).\end{array}$$

• The Jacobian matrix calculated at the steady-state $F_{000}$ is given by:

  $$\begin{array}{c}\hfill J_{000}=\left(\begin{array}{ccc}{D}_s-D& 0& 0\\ 0& D_i-D& 0\\ 0& 0& D_2-D\end{array}\right).\end{array}$$
  $J_{000}$ admits three eigenvalues: ${\lambda }_1=D_s-D>0$, ${\lambda }_2=D_i-D<0$, and ${\lambda }_3=D_2-D>0$. Then, the steady-state $F_{000}$ is a saddle point.
• The Jacobian matrix calculated at the steady-state $F_{100}=(s_{in}-{\overline{s}}_1,0,0)$ is given by:

  $$\begin{array}{c}\hfill J_{100}=\left(\begin{array}{ccc}-{\mu }_s^{\prime }\left({\overline{s}}_1\right)(s_{in}-{\overline{s}}_1)& -{\mu }_s^{\prime }\left({\overline{s}}_1\right)(s_{in}-{\overline{s}}_1)-{\mu }^{\prime }\left(0\right)(s_{in}-{\overline{s}}_1)& -{\mu }_s^{\prime }\left({\overline{s}}_1\right)(s_{in}-{\overline{s}}_1)\\ 0& {\mu }^{\prime }\left(0\right)(s_{in}-{\overline{s}}_1)+{\mu }_i\left({\overline{s}}_1\right)-D& 0\\ 0& 0& {\mu }_2\left({\overline{s}}_1\right)-D\end{array}\right)\end{array}$$

  where ${\mu }_s$ and ${\mu }_2$ are expressed at ${\overline{s}}_1$. $J_{100}$ admits three eigenvalues: ${\lambda }_1=-{\mu }_i^{\prime }\left({\overline{s}}_1\right)(s_{in}-{\overline{s}}_1)<0$, ${\lambda }_2={\mu }^{\prime }\left(0\right)(s_{in}-{\overline{s}}_1)+{\mu }_i\left({\overline{s}}_1\right)-D=D({\mathcal{R}}_0-1)>0$, and ${\lambda }_3={\mu }_2\left({\overline{s}}_1\right)-D<0$. Then, the steady-state $F_{100}$ is a saddle point.
• The Jacobian matrix calculated at the steady-state $F_{001}=(0,0,s_{in}-{\overline{s}}_2)$ is given by:

  $$\begin{array}{ccc}\hfill J_{001}& =& \left(\begin{array}{ccc}{\mu }_s\left({\overline{s}}_2\right)-D& 0& 0\\ 0& {\mu }_i\left({\overline{s}}_2\right)-D& 0\\ -{\mu }_2\left({\overline{s}}_2\right)(s_{in}-{\overline{s}}_2)& -D(s_{in}-{\overline{s}}_2)& -{\mu }_2^{\prime }\left({\overline{s}}_2\right)(s_{in}-{\overline{s}}_2)\end{array}\right)\hfill \end{array}$$

  where ${\mu }_s$ and ${\mu }_2$ are expressed at ${\overline{s}}_2$. $J_{001}$ admits three eigenvalues: ${\lambda }_1={\mu }_s\left({\overline{s}}_2\right)-D>0$, ${\lambda }_2={\mu }_i\left({\overline{s}}_2\right)-D<0$, and ${\lambda }_3=-{\mu }_2^{\prime }\left({\overline{s}}_2\right)(s_{in}-{\overline{s}}_2)<0$. Thus, the steady-state $F_{001}$ is a saddle point.
• The Jacobian matrix calculated at the steady-state $F_{111}=({\check{x}}_s,{\check{x}}_i,{\check{x}}_2)$ is given by:

  $$\begin{array}{c}\hfill J_{111}=\left(\begin{array}{ccc}-{\mu }_s^{\prime }{\check{x}}_s& -\left({\mu }_s^{\prime }{\check{x}}_s+{\mu }^{\prime }\left(x_i\right){\check{x}}_s\right)& -{\mu }_s^{\prime }{\check{x}}_s\\ -{\mu }_i^{\prime }{\check{x}}_i+\mu \left({\check{x}}_i\right)& -\left({\mu }_i^{\prime }{\check{x}}_i-{\mu }^{\prime }\left({\check{x}}_i\right){\check{x}}_s+\mu \left({\check{x}}_i\right){\displaystyle \frac{{\check{x}}_s}{{\check{x}}_i}}\right)& -{\mu }_i^{\prime }{\check{x}}_i\\ -D{\check{x}}_2& -D{\check{x}}_2& -{\mu }_2^{\prime }{\check{x}}_2\end{array}\right)\end{array}$$

  where ${\mu }_s$, ${\mu }_i$, and ${\mu }_2$ are expressed at $(s_{in}-{\check{x}}_s-{\check{x}}_i-{\check{x}}_2)$.

  $$P\left(\lambda \right)=\left|\begin{array}{ccc}-\left(\lambda +{\mu }_s^{\prime }{\check{x}}_s\right)& -\left({\mu }_s^{\prime }{\check{x}}_s+{\mu }^{\prime }\left(x_i\right){\check{x}}_s\right)& -{\mu }_s^{\prime }{\check{x}}_s\\ -{\mu }_i^{\prime }{\check{x}}_i+\mu \left({\check{x}}_i\right)& -\left(\lambda +{\mu }_i^{\prime }{\check{x}}_i-{\mu }^{\prime }\left({\check{x}}_i\right){\check{x}}_s+\mu \left({\check{x}}_i\right){\displaystyle \frac{{\check{x}}_s}{{\check{x}}_i}}\right)& -{\mu }_i^{\prime }{\check{x}}_i\\ -D{\check{x}}_2& -D{\check{x}}_2& -(\lambda +{\mu }_2^{\prime }{\check{x}}_2)\end{array}\right|.$$
  $J_{111}$ admits three eigenvalues: ${\lambda }_1$, ${\lambda }_2$, and ${\lambda }_3$, roots of the characteristic polynomial given by:

  $$\begin{array}{c}\hfill \begin{array}{c}{\lambda }^3+a_2{\lambda }^2+a_1\lambda +a_0=0\hfill \end{array}\end{array}$$

  with:

  $$\begin{array}{c}\hfill \begin{array}{ccc}{a}_0\hfill & =\hfill & {\mu }_s^{\prime }{\check{x}}_s\left[{\mu }_2^{\prime }{\check{x}}_2\left({\mu }_i^{\prime }{\check{x}}_i-{\mu }^{\prime }\left({\check{x}}_i\right){\check{x}}_s+\mu \left({\check{x}}_i\right){\displaystyle \frac{{\check{x}}_s}{{\check{x}}_i}}\right)-D{\check{x}}_2{\mu }_i^{\prime }{\check{x}}_i\right]\hfill \\ & & -({\mu }_i^{\prime }{\check{x}}_i-\mu \left({\check{x}}_i\right))\left[{\mu }_2^{\prime }{\check{x}}_2\left({\mu }_s^{\prime }{\check{x}}_s+{\mu }^{\prime }\left(x_i\right){\check{x}}_s\right)-D{\check{x}}_2{\mu }_s^{\prime }{\check{x}}_s\right]\hfill \\ & & +D{\check{x}}_2\left[{\mu }_i^{\prime }{\check{x}}_i\left({\mu }_s^{\prime }{\check{x}}_s+{\mu }^{\prime }\left(x_i\right){\check{x}}_s\right)-{\mu }_s^{\prime }{\check{x}}_s\left({\mu }_i^{\prime }{\check{x}}_i-{\mu }^{\prime }\left({\check{x}}_i\right){\check{x}}_s+\mu \left({\check{x}}_i\right){\displaystyle \frac{{\check{x}}_s}{{\check{x}}_i}}\right)\right]\hfill \\ & =\hfill & {\mu }_s^{\prime }{\check{x}}_s{\mu }_2^{\prime }{\check{x}}_2\left({\displaystyle \frac{\mu \left({\check{x}}_i\right)}{{\check{x}}_i}}-{\mu }^{\prime }\left({\check{x}}_i\right)\right){\check{x}}_s{\mu }_2^{\prime }{\check{x}}_2{\mu }_i^{\prime }{\check{x}}_i+\mu \left({\check{x}}_i\right){\mu }_2^{\prime }{\check{x}}_2{\mu }_s^{\prime }{\check{x}}_s+\mu \left({\check{x}}_i\right){\mu }_2^{\prime }{\check{x}}_2{\mu }^{\prime }\left(x_i\right){\check{x}}_s\hfill \\ & & +D{\check{x}}_2{\mu }_i^{\prime }{\check{x}}_i{\mu }^{\prime }\left(x_i\right){\check{x}}_s+D{\check{x}}_2{\mu }_s^{\prime }{\check{x}}_s{\mu }^{\prime }\left({\check{x}}_i\right){\check{x}}_s-{\mu }_i^{\prime }{\check{x}}_i{\mu }_2^{\prime }{\check{x}}_2{\mu }^{\prime }\left(x_i\right){\check{x}}_s-D{\check{x}}_2\mu \left({\check{x}}_i\right){\mu }_s^{\prime }{\check{x}}_s\hfill \\ & & -D{\check{x}}_2{\mu }_s^{\prime }{\check{x}}_s\mu \left({\check{x}}_i\right){\displaystyle \frac{{\check{x}}_s}{{\check{x}}_i}},\hfill \\ a_1\hfill & =\hfill & {\mu }_s^{\prime }{\check{x}}_s{\mu }_i^{\prime }{\check{x}}_i+{\mu }_s^{\prime }{\check{x}}_s^2\left({\displaystyle \frac{\mu \left({\check{x}}_i\right)}{{\check{x}}_i}}-{\mu }^{\prime }\left({\check{x}}_i\right)\right)+{\mu }_s^{\prime }{\check{x}}_s{\mu }_2^{\prime }{\check{x}}_2+{\mu }_2^{\prime }{\check{x}}_2{\mu }_i^{\prime }{\check{x}}_i\hfill \\ & & +{\mu }_2^{\prime }{\check{x}}_2\left({\displaystyle \frac{\mu \left({\check{x}}_i\right)}{{\check{x}}_i}}-{\mu }^{\prime }\left({\check{x}}_i\right)\right){\check{x}}_s-D{\check{x}}_2{\mu }_i^{\prime }{\check{x}}_i-{\mu }_i^{\prime }{\check{x}}_i{\mu }_s^{\prime }{\check{x}}_s-{\mu }_i^{\prime }{\check{x}}_i{\mu }^{\prime }\left(x_i\right){\check{x}}_s+\mu \left({\check{x}}_i\right){\mu }_s^{\prime }{\check{x}}_s\hfill \\ & & +\mu \left({\check{x}}_i\right){\mu }^{\prime }\left(x_i\right){\check{x}}_s-D{\check{x}}_2{\mu }_s^{\prime }{\check{x}}_s,\hfill \\ a_2\hfill & =\hfill & {\mu }_s^{\prime }{\check{x}}_s+{\mu }_i^{\prime }{\check{x}}_i-{\mu }^{\prime }\left({\check{x}}_i\right){\check{x}}_s+\mu \left({\check{x}}_i\right){\displaystyle \frac{{\check{x}}_s}{{\check{x}}_i}}+{\mu }_2^{\prime }{\check{x}}_2\hfill \\ & =\hfill & {\mu }_s^{\prime }{\check{x}}_s+{\mu }_i^{\prime }{\check{x}}_i+\left({\displaystyle \frac{\mu \left({\check{x}}_i\right)}{{\check{x}}_i}}-{\mu }^{\prime }\left({\check{x}}_i\right)\right){\check{x}}_s+{\mu }_2^{\prime }{\check{x}}_2.\hfill \end{array}\end{array}$$
  We can verify, by using Maple, that $a_2>0,a_1>0,a_0>0$, and $a_2{a}_1>a_0$. Then, the steady-state $F_{111}$ is locally asymptotically stable once it exists.

According to Assumptions 1–3, we resume the local stability of equilibrium points in the following proposition.

Proposition 4. 

$F_{000}$, $F_{100}$, and $F_{001}$ are saddle points; however, $F_{111}$ is stable node.

4.2. No Periodic Orbits on the Faces

We start by excluding the possibility of periodic trajectory in one of the faces of the invariant set $\Lambda$.

• Consider a trajectory of dynamics (7) on the part of $\Lambda$ where $x_2=0$:

  $$\begin{array}{c}\hfill \left\{\begin{array}{ccc}{\dot{x}}_s\hfill & =\hfill & {\mu }_s(s_{in}-x_s-x_i)x_s-D{x}_s-\mu \left(x_i\right)x_s,\hfill \\ {\dot{x}}_i\hfill & =\hfill & {\mu }_i(s_{in}-x_s-x_i)x_i-D{x}_i+\mu \left(x_i\right)x_s.\hfill \end{array}\right.\end{array}$$

  (16)

  defined on ${\Lambda }_{x_s{x}_i}$, given by:

  $${\Lambda }_{x_s{x}_i}=\left\{(x_s,x_i)\in {\mathbb{R}}_{+}^2:x_s+x_i\le s_{in}\right\}.$$
  Note that the axes $x_s=0$ and $x_i=0$ are invariant. Let us apply the transformation ${\eta }_s=ln\left(x_s\right)$ and ${\eta }_i=ln\left(x_i\right)$ for $x_s,x_i>0$. Then, one gets the following new system:

  $$\left\{\begin{array}{cc}{\displaystyle {\dot{\eta }}_s=}\hfill & g_s({\eta }_s,{\eta }_i):={\mu }_s(s_{in}-e^{{\eta }_s}-e^{{\eta }_i})-D-\mu \left(e^{{\eta }_i}\right),\hfill \\ {\displaystyle {\dot{\eta }}_i=}\hfill & g_i({\eta }_s,{\eta }_i):={\mu }_i(s_{in}-e^{{\eta }_s}-e^{{\eta }_i})-D+\mu \left(e^{{\eta }_i}\right)e^{{\eta }_s-{\eta }_i}.\hfill \end{array}\right.$$

  (17)
  Note that using Lemma 2, we have:

  $$\begin{array}{ccc}{\displaystyle \frac{\partial g_s}{\partial {\eta }_s}}+{\displaystyle \frac{\partial g_i}{\partial {\eta }_i}}\hfill & =\hfill & -e^{{\eta }_s}{\mu }_s^{\prime }(s_{in}-e^{{\eta }_s}-e^{{\eta }_i})-e^{{\eta }_i}{\mu }_i^{\prime }(s_{in}-e^{{\eta }_s}-e^{{\eta }_i})\hfill \\ \hfill & \hfill & +e^{{\eta }_i}{\mu }^{\prime }\left(e^{{\eta }_i}\right)e^{{\eta }_s-{\eta }_i}-\mu \left(e^{{\eta }_i}\right)e^{{\eta }_s-{\eta }_i}\hfill \\ \hfill & =\hfill & -e^{{\eta }_s}{\mu }_s^{\prime }(s_{in}-e^{{\eta }_s}-e^{{\eta }_i})-e^{{\eta }_i}{\mu }_i^{\prime }(s_{in}-e^{{\eta }_s}-e^{{\eta }_i})\hfill \\ \hfill & \hfill & +e^{{\eta }_s}\left(e^{{\eta }_i}{\mu }^{\prime }\left(e^{{\eta }_i}\right)-\mu \left(e^{{\eta }_i}\right)\right)<0.\hfill \end{array}$$

  (18)
  By the criterion of Dulac [38], system (17) (and then, system (16)) has no periodic solution. Therefore, system (7) has no periodic solution in $x_s{x}_i$-face ($x_2=0$).
• Consider a trajectory of dynamics (7) on the part of $\Lambda$ where $x_s=0$:

  $$\begin{array}{c}\hfill \left\{\begin{array}{ccc}{\dot{x}}_i\hfill & =\hfill & {\mu }_i(s_{in}-x_i-x_2)x_i-D{x}_i,\hfill \\ {\dot{x}}_2\hfill & =\hfill & {\mu }_2(s_{in}-x_i-x_2)x_2-D{x}_2.\hfill \end{array}\right.\end{array}$$

  (19)

  defined on ${\Lambda }_{x_i{x}_2}$, given by:

  $${\Lambda }_{x_i{x}_2}=\left\{(x_i,x_2)\in {\mathbb{R}}_{+}^2:x_i+x_2\le s_{in}\right\}.$$
  Note that the axes $x_i=0$ and $x_2=0$ are invariant. Let ua apply the transformation ${\eta }_i=ln\left(x_i\right)$ and ${\eta }_2=ln\left(x_2\right)$ for $x_i,x_2>0$. Then, one gets the following new system:

  $$\left\{\begin{array}{cc}{\displaystyle {\dot{\eta }}_i=}\hfill & g_i({\eta }_i,{\eta }_2):={\mu }_i(s_{in}-e^{{\eta }_i}-e^{{\eta }_2})-D,\hfill \\ {\displaystyle {\dot{\eta }}_2=}\hfill & g_2({\eta }_1,{\eta }_3):={\mu }_2(s_{in}-e^{{\eta }_i}-e^{{\eta }_2})-D.\hfill \end{array}\right.$$

  (20)
  Note that:

  $$\begin{array}{ccc}{\displaystyle \frac{\partial g_i}{\partial {\eta }_i}}+{\displaystyle \frac{\partial g_2}{\partial {\eta }_2}}\hfill & =\hfill & -e^{{\eta }_i}{\mu }_i^{\prime }(s_{in}-e^{{\eta }_i}-e^{{\eta }_2})-e^{{\eta }_2}{\mu }_2^{\prime }(s_{in}-e^{{\eta }_i}-e^{{\eta }_2})<0.\hfill \end{array}$$

  (21)
  From the Dulac criterion [38], system (20) (and then, system (19)) has no periodic solution. Therefore, system (7) has no periodic solution in $x_i{x}_2$-face ($x_s=0$).
• Consider a trajectory of dynamics (7) on the part of $\Lambda$ where $x_i=0$:

  $$\begin{array}{c}\hfill \left\{\begin{array}{ccc}{\dot{x}}_s\hfill & =\hfill & {\mu }_s(s_{in}-x_s-x_2)x_s-D{x}_s,\hfill \\ {\dot{x}}_2\hfill & =\hfill & {\mu }_2(s_{in}-x_s-x_2)x_2-D{x}_2.\hfill \end{array}\right.\end{array}$$

  (22)

  defined on ${\Lambda }_{x_s{x}_2}$, given by:

  $${\Lambda }_{x_s{x}_2}=\left\{(x_s,x_2)\in {\mathbb{R}}_{+}^2:x_s+x_2\le s_{in}\right\}.$$
  Note that the axes $x_s=0$ and $x_2=0$ are invariant. Let ua apply the transformation ${\eta }_1^s=ln\left(x_s\right)$ and ${\eta }_2=ln\left(x_2\right)$ for $x_s,x_2>0$. Then, one gets the following new system:

  $$\left\{\begin{array}{cc}{\displaystyle {\dot{\eta }}_s=}\hfill & g_s({\eta }_s,{\eta }_2):={\mu }_s(s_{in}-e^{{\eta }_s}-e^{{\eta }_2})-D,\hfill \\ {\displaystyle {\dot{\eta }}_2=}\hfill & g_2({\eta }_2,{\eta }_3):={\mu }_2(s_{in}-e^{{\eta }_s}-e^{{\eta }_2})-D.\hfill \end{array}\right.$$

  (23)
  Note that:

  $$\begin{array}{ccc}{\displaystyle \frac{\partial g_s}{\partial {\eta }_s}}+{\displaystyle \frac{\partial g_2}{\partial {\eta }_2}}\hfill & =\hfill & -e^{{\eta }_s}{\mu }_s^{\prime }(s_{in}-e^{{\eta }_s}-e^{{\eta }_2})-e^{{\eta }_2}{\mu }_2^{\prime }(s_{in}-e^{{\eta }_s}-e^{{\eta }_2})<0.\hfill \end{array}$$

  (24)
  By the criterion of Dulac [38], system (23) (and then, system (22)) has no periodic solution. Therefore, system (7) has no periodic solution in $x_s{x}_2$-face ($x_i=0$).

4.3. Persistence

In this subsection, we aim to prove the coexistence of both species 1 (either infected or not) and species 2 by proving the uniform persistence of dynamics (7). The saddle points $F_{000}$, $F_{100}$, and $F_{001}$ are the only boundary steady states for the dynamics (7). Then, we apply the proof used in [37,43,44] using the Butler-McGehee Lemma [38] frequently to prove the persistence of system (7).

Theorem 1. 

Dynamics (7) is persistent.

Proof. 

All the faces $x_s{x}_i$, $x_s{x}_2$, and $x_i{x}_2$ are invariant. Furthermore, stable and unstable manifolds of the boundary equilibrium points are represented in Figure 4.

Consider a solution $\overrightarrow{\mathbf{z}}=(x_s\left(t\right),x_i\left(t\right),x_2\left(t\right))$ with an initial condition $\overrightarrow{\mathbf{z}}\left(0\right)=(x_s\left(0\right),x_i\left(0\right),x_2\left(0\right))$, where $x_s\left(0\right)>0$, $x_i\left(0\right)>0$, and $x_2\left(0\right)>0$ are given data. Let us denote $\omega =\omega \left({\gamma }^{+}\left(\overrightarrow{\mathbf{z}}\left(0\right)\right)\right)$ to be the omega limit set of ${\gamma }^{+}\left(\overrightarrow{\mathbf{z}}\left(0\right)\right)$, where ${\gamma }^{+}\left(\overrightarrow{\mathbf{z}}\left(0\right)\right)$ is the positive semi-orbit passing through $\overrightarrow{\mathbf{z}}\left(0\right)$. We aim to prove that the omega limit set has no points on each of the three faces.

• Assume that $F_{000}\in \omega$. Then, $\exists z^{*}\ne F_{000}$ inside $\omega \cap W^s\left(F_{000}\right)\backslash \left\{F_{000}\right\}$. The stable manifold $W^s\left(F_{000}\right)$ is one-dimensional and is restricted to the $x_i$-axis. Therefore, the entire orbit passing through $z^{*}$, which is inside $\omega$, becomes unbounded, which contradicts the existence of $z^{*}$.
• Assume that $F_{100}\in \omega$. $F_{100}$ is a saddle point with a stable manifold, $W^s\left(F_{100}\right)$, of dimension two, restricted to the $x_s{x}_2$-plane. Therefore, $\left\{F_{100}\right\}$ is not the entire omega limit set $\omega$. Using the Butler-McGehee Lemma [38], there exists a point $z^{*}\ne F_{100}$ inside $\omega \cap W^s\left(F_{100}\right)\backslash \left\{F_{100}\right\}$. Since $W^s\left(F_{100}\right)$ lies entirely in the $x_s{x}_2$-plane, and since the entire orbit through $z^{*}$ is in $\omega$, this orbit is unbounded, which contradicts the fact that $F_{100}$ is inside $\omega$.
• Assume that $F_{001}\in \omega$. Since $F_{001}$ is a saddle point where its stable manifold $W^s\left(F_{001}\right)$ is of dimension two and is restricted to the $x_i{x}_2$-plane, then $\left\{F_{001}\right\}$ is not the entire omega limit set $\omega$. Therefore, using the Butler-McGehee Lemma [38], there exists a point $z^{*}\ne F_{001}$ inside $\omega \cap W^s\left(F_{001}\right)\backslash \left\{F_{001}\right\}$. Since $W^s\left(F_{001}\right)$ lies entirely in the $x_i{x}_2$-plane, and since the entire orbit through $z^{*}$ is in $\omega$, this orbit is unbounded, which contradicts the fact that $F_{001}$ is inside $\omega$.

Now, let $\underline{\mathbf{z}}=({\underline{\mathrm{x}}}_s\left(t\right),{\underline{\mathrm{x}}}_i\left(t\right),{\underline{\mathrm{x}}}_2\left(t\right))$ with at least one of the components ${\underline{\mathrm{x}}}_s\left(t\right)$, ${\underline{\mathrm{x}}}_i\left(t\right)$, and ${\underline{\mathrm{x}}}_2\left(t\right)$ is zero, and suppose that $\underline{\mathbf{z}}\in \omega$. Thus, the entire orbit passing through $\underline{\mathbf{z}}$ should be inside $\omega$. However, since the orbit should lie entirely inside either $x_s{x}_i$, $x_i{x}_2$, or $x_s{x}_2$ faces, it should converge to one of the boundary equilibrium points, since there is no periodic trajectory. Therefore, this boundary equilibrium point is inside $\omega$, which contradicts the fact that all boundary equilibrium points are saddle points. Therefore, each of the components of the trajectory is greater than zero:

$$\underset{t\to \infty }{lim\; inf}{x}_s\left(t\right)>0,\underset{t\to \infty }{lim\; inf}{x}_i\left(t\right)>0\mathrm{and}\underset{t\to \infty }{lim\; inf}{x}_2\left(t\right)>0,$$

and then system (7) is persistent (see Section 4.3 in [44] for another example). □

4.4. Uniform Persistence of System (7)

Persistence and uniform persistence [45] are equivalent in many examples of mathematical models. Recall a theory in [45] stating that if $\mathcal{D}$ is a dynamical system, such that ${\mathbb{R}}_{+}^3$ and $\partial {\mathbb{R}}_{+}^3$ are both invariant, then $\mathcal{D}$ is uniformly persistent if it satisfies the following statements.

• $\mathcal{D}$ is weakly persistent;
• $\mathcal{D}$ is dissipative;
• $\partial \mathcal{D}$ is isolated, where $\partial \mathcal{D}$ be the restriction of $\mathcal{D}$ to $\partial {\mathbb{R}}_{+}^3$;
• $\partial \mathcal{D}$ is acyclic.

Consider the dynamics $\mathcal{D}$ on the invariant attractor bounded set $\Sigma$. We can apply the theorem given in [45] if $\partial \Sigma ={\Sigma }_1\cup {\Sigma }_2$ and $\mathcal{D}$ is invariant on ${\Sigma }_1$, but repelling into the interior of $\Sigma$ on ${\Sigma }_2$ if Conditions 3 and 4 are satisfied when restricting $\mathcal{D}$ to ${\Sigma }_1$. It is clear that condition 1 is satisfied. Condition 2 is also satisfied according to Theorem 1. Condition 3 is satisfied because all boundary equilibrium points are hyperbolic and then their union forms a covering of the omega limit sets of ${\Sigma }_1$. Condition 4 is also satisfied because the boundary equilibrium points are not linked cyclically. Thus, we conclude on the uniform persistence of system (7).

Theorem 2. 

Dynamics (7) is uniformly persistent, i.e., $\exists \beta >0$, such that:

$$\underset{t\to \infty }{lim\; inf}{x}_s\left(t\right)>\beta ,\underset{t\to \infty }{lim\; inf}{x}_i\left(t\right)>\beta ,\underset{t\to \infty }{lim\; inf}{x}_2\left(t\right)>\beta .$$

5. Uniform Persistence of System (2)

Return to the main mathematical model (2) describing the competition of two bacteria in a chemostat in the presence of a virus that affects only the first bacteria. System (2) admits $E_{000}=(s_{in},0,0,0)$, $E_{100}=({\overline{s}}_1,s_{in}-{\overline{s}}_1,0,0)$, $E_{001}=({\overline{s}}_2,0,0,s_{in}-{\overline{s}}_2)$, and $E_{111}=(s_{in}-{\check{x}}_s-{\check{x}}_i-{\check{x}}_2,{\check{x}}_s,{\check{x}}_i,{\check{x}}_2)$ as equilibrium points. $E_{000}$, $E_{100}$, and $E_{001}$ are saddle points; however, $E_{111}$ is locally asymptotically stable. We need to prove the uniform persistence of the main system (2). Let $\overrightarrow{{\mathbf{z}}_{\mathbf{0}}}=(s\left(0\right),x_s\left(0\right),x_i\left(0\right),x_2\left(0\right))$ with $s\left(0\right)\ge 0,x_s\left(0\right)\ge 0,x_i\left(0\right)\ge 0$ and $x_2\left(0\right)\ge 0$; then, $\omega \left(\overrightarrow{{\mathbf{z}}_{\mathbf{0}}}\right)\in \Sigma$. Furthermore, assume that $\exists \overrightarrow{\mathbf{Ø}}\in {\mathbb{R}}_{+}^4\backslash \Sigma$ such that the the solution converges to $\overrightarrow{\mathbf{Ø}}$. This is not possible since $\Sigma$ is a global attractor according to proposition 1. Now, suppose that $\omega \left(\overrightarrow{{\mathbf{z}}_{\mathbf{0}}}\right)$ contains a point on one of the faces where one of the variables $x_s,x_i$, or $x_2$ is zero; therefore, the entire trajectory passing through this point should be inside $\omega \left(\overrightarrow{{\mathbf{z}}_{\mathbf{0}}}\right)$. Thus, the omega limit set $\omega \left(\overrightarrow{{\mathbf{z}}_{\mathbf{0}}}\right)$ should be entirely inside $\Sigma$.

Theorem 3. 

Dynamics (2) is uniformly persistent, i.e., $\exists \eta >0$, such that:

$$\underset{t\to \infty }{lim\; inf}s\left(t\right)>\eta ,\underset{t\to \infty }{lim\; inf}{x}_s\left(t\right)>\eta ,\underset{t\to \infty }{lim\; inf}{x}_i\left(t\right)>\eta ,\underset{t\to \infty }{lim\; inf}{x}_2\left(t\right)>\eta .$$

6. Numerical Simulations

We cofirm the theoretical findings by some numerical results using Monod functions (or Holling’s functions type II) to express all growth rates and the incidence rate:

$${\mu }_s\left(s\right)={\displaystyle \frac{{\overline{\mu }}_{s}s}{k_s+s}},{\mu }_i\left(s\right)={\displaystyle \frac{{\overline{\mu }}_{i}s}{k_i+s}},{\mu }_2\left(s\right)={\displaystyle \frac{{\overline{\mu }}_{2}s}{k_2+s}} \mathrm{and}\mu \left(s\right)={\displaystyle \frac{\overline{\mu }s}{k+s}}$$

where $k_s,k_i,k_2$, and k are Monod constants. ${\overline{\mu }}_s$, ${\overline{\mu }}_i$, ${\overline{\mu }}_2$, and $\overline{\mu }$ are positive constants. We used Holling type-II functions as typical examples [46,47] since they are nonlinear and satisfied all our assumptions on growth rates and incidence rates. All constants are chosen such that the functions ${\mu }_s$, ${\mu }_i$, ${\mu }_2$, and $\mu$ satisfy Assumptions 1–3.

Consider the parameters values given in the following

Table 2. The parameter values are used to illustrate the theoretical results, but they have no biological significance.

Parameter	${\overline{\mathit{\mu }}}_{\mathit{s}}$	${\overline{\mathit{\mu }}}_{\mathit{i}}$	${\overline{\mathit{\mu }}}_2$	$\overline{\mathit{\mu }}$	${\mathit{k}}_{\mathit{s}}$	${\mathit{k}}_{\mathit{i}}$	${\mathit{k}}_2$	k	${\mathit{s}}_{\mathbf{in}}$	${\mathit{D}}_{\mathit{s}}$	${\mathit{D}}_2$	${\mathit{D}}_{\mathit{i}}$
Value	3	1	$2.4$	3	3	$2.5$	5	2	10	$2.3$	$1.6$	$0.8$

.

We give two examples that satisfy Assumptions 1–3, which ensures the persistence of both species 1 (either infected or not) and species 2, as seen in Figure 5 and Figure 6.

7. Conclusions

Since we aim to prove that the competitive exclusion principle is not usually valid when two competitors grow on a single essential resource, we add, in this paper, an additional mechanism of competition by adding a virus in the chemostat that affects only the first species, and then the coexistence becomes possible. We propose a mathematical model that describes the competition of two species in a chemostat in the presence of a virus. We suppose that only one population is affected by the virus. We suppose also that the substrate is continuously added to the bioreactor. We obtain a model taking the form of an ’SI’ epidemic model. The stability of the steady states was carried out. The system can have multiple steady states with which we can determine the necessary and sufficient conditions for both existence and local stability. We exclude the possibility of periodic orbits and we prove the uniform persistence of both species. Finally, we give some numerical simulations that validate the obtained results.

The main result of this work is that the presence of the virus allows the coexistence of the two bacterial species when the species cannot coexist unless the virus is present. A biological explanation of this result is that the virus affects the species which should win the competition and then it gives the opportunity to the second species to persist.