Next Article in Journal
Collaborative Optimization Strategy for Dependent Task Offloading in Vehicular Edge Computing
Previous Article in Journal
Mixed Multi-Strategy Improved Aquila Optimizer and Its Application in Path Planning
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Effect of Leachate Recycling on the Dynamics of Two Competing Bacteria with an Obligate One-Way Beneficial Relationship in a Chemostat

by
Hanan H. Almuashi
,
Nada A. Almuallem
and
Miled El Hajji
*,†
Department of Mathematics and Statistics, Faculty of Science, University of Jeddah, P.O. Box 80327, Jeddah 21589, Saudi Arabia
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2024, 12(23), 3819; https://doi.org/10.3390/math12233819
Submission received: 29 October 2024 / Revised: 28 November 2024 / Accepted: 28 November 2024 / Published: 2 December 2024
(This article belongs to the Section C2: Dynamical Systems)

Abstract

:
In the present work, we study a simple mathematical model that describes the competition of two bacterial species with an obligate one-way beneficial relationship for a limited substrate in a bioreactor associated with leachate recirculation. The substrate is present into two forms, insoluble and soluble substrates, where the latter is consumed by the two competing bacteria, which have two general nonlinear growth rates. The reduction of the model to a 2D one facilitates the study of the nature of the equilibrium points. The dynamic system admits multiple steady states. We provide necessary and sufficient conditions on the added insoluble and soluble substrates and the dilution rate to guarantee the existence, uniqueness, and local and global stability of such steady states. It is deduced that the coexistence of both bacteria is possible, which contradicts the competitive exclusion principle. In the second step, we propose an optimal control on the leachate recirculation rate that reduces the organic matter inside the reactor. Finally, we provide some numerical examples that corroborate and reinforce the theoretical findings.

1. Introduction

A chemostat is a specific bioreactor used for the bacterial multiplication process for certain substrates in a controlled environment. In particular, the chemostat was used for the degradation of some organic matter in a liquid medium and to study the influence of such nutriment on bacterial growth. The competition between two bacteria types for a single essential resource has been considered in several theoretical studies. A classical theory result postulates that the two species cannot coexist. This result is named the competitive exclusion principle. The competitive exclusion principle was proved in several mathematical studies [1,2,3,4,5]. Several similar mathematical models were proposed and are analysed in [6,7,8,9,10,11,12,13], that aim to give an explanation of the coexistence of competing bacteria in real life through intra- and inter-specific relationships [14,15,16,17,18,19,20]. In [13,21], a viral infection was added to the competition which permits the persistence of both species.
The cooperation between different bacterial species has received great interest in recent decades since it has a major role in biodiversity [22,23]. In [24], the authors claimed that obligate intracellular bacteria can be found in all protozoa, plants, and animals, and that these specific relationships ensure the stable integration of the cell into a biological system, which is known as the endosymbiosis theory [25,26]. By using real experiments, it was deduced that in several cases, these relationships between two bacteria are obligatory and could be either in one or in both directions [27,28,29,30,31,32]. This would, of course, reflect the principle of competitive exclusion and keep the biodiversity in an ecosystem, which is also relevant from an engineering point of view. In fact, ensuring the presence of a microorganism inside an ecosystem provides several advantages. Such diversity plays a major role in several potential applications in agriculture and pollutant treatment.
In this paper, we consider an obligate one-way beneficial relationship between two species, where one species of which derives a benefit while the other suffers no harm and derives no advantage. More simply, we consider a relationship between two species in which one obtains benefits from the other without harming or benefiting it. The species that draws the benefit can be seen as a commensal, while the other can be seen as the host species [33]. Moreover, several studies have used the leachate recirculation within the waste of a waste storage center by creating favourable humidity conditions for the biodegradation of the organic matter contained in the waste [34,35]. Hence, it became possible to observe whether this technical choice allows for a reduction in the amounts of waste within this environment in the long term. Several tests were carried out in the laboratory to clarify the influence of physico-chemical factors and leachate recirculation on the characteristics of organic matter in household waste [36]. These studies demonstrate that the recirculation of leachates accelerates the production of biogas and the transfer of matter from the solid compartment to the liquid compartment [37]. Waste that has been treated with leachate recirculation shows advanced biodegradation of its organic matter compared to other waste [38]. In [39], the authors studied the problem of leachates in landfills, while [40] concerns a bioreactor in batch mode, which is the form most commonly used to model a landfill. Few mathematical works have modelled the leachate recirculation in a bioreactor [41,42,43]. In the present work, we extend the classical chemostat’s model [44] by considering a competition of two bacterial species that have an obligate one-way beneficial relationship when we recirculate the leachate inside the chemostat. The dynamics admits three steady states that we characterise in this work. Furthermore, we design an optimal control of the recirculation of leachate to optimise the organic matter inside the reactor.
The article is organised as follows: in Section 2, we present a four-dimensional dynamical system describing the competition of two bacterial species that have an obligate one-way beneficial relationship for an essential nutriment in a chemostat where the existence of the first biomass depends essentially on the presence of both the substrate and the second species, while the existence of the second species depends only on the presence of the substrate. We take into account the leachate recirculation in the reactor. In Section 3, some hypotheses on the bacterial growth rates are added, the positivity and boundedness of the solution are proved, and the definition of equilibrium points is provided. In Section 4, the four-dimensional dynamical system is reduced to planar dynamics. We discuss the existence and the stability of the equilibria of the reduced dynamics with respect to the operating parameters (substrates input concentrations and dilution rate) and the bacterial growth rates. Next, in Section 5, we discuss the global stability for the reduced dynamics and then for the main dynamics. In Section 6, we propose an optimal control strategy by minimising the organic matter inside the reactor and keeping an optimal recirculation rate for the leachate. In Section 7, we provide several numerical tests that validate the main theoretical results for both the direct and the optimal control problems. We finish the paper by providing a brief conclusion in Section 8.

2. Mathematical Model

The model proposed in this work is an extension of the classical chemostat model [44] by adding an obligate benefit relationship in one direction from the first species to the second one and by taking account of the leachate recirculation inside the reactor (see Figure 1) as it is applied in some references [39,40,41,43] with generalised growth functions. Let us denote by S 1 ( t ) , S 2 ( t ) , X 1 ( t ) , and  X 2 ( t ) the main variables of the dynamical system describing the concentrations of insoluble and soluble substrates, species 1 and species 2, present in the reactor at time t (see Figure 2).
Our model is given by the following four-dimensional dynamics.
S 1 ˙ = D ( S 1 i n S 1 ) σ ( r ) S 1 , S 2 ˙ = D ( S 2 i n S 2 ) + σ ( r ) S 1 f 1 ( S 2 , X 2 ) X 1 Y 1 f 2 ( S 2 ) X 2 Y 2 , X ˙ 1 = ( f 1 ( S 2 , X 2 ) D ) X 1 , X ˙ 2 = ( f 2 ( S 2 ) D ) X 2 ,
where S 1 i n and S 2 i n denote the concentrations of added soluble and insoluble substrates to the reactor, respectively. Y 1 and Y 2 are the yield coefficients. D describes the rate of dilution of the reactor. The constant parameters S 1 i n , S 2 i n , D, Y 1 , and  Y 2 are positive. The growth functions f 1 : R + 2 R + and f 2 : R + R + are of class C 1 . The hydrolysis rate σ : R + R + is a C 1 function on R + . More details on the variables and parameters are given in Table 1.
A simple transformation of the dynamics (1) can be made through the new notations as follows: s 1 = S 1 , s 1 i n = S 1 i n , s 2 = S 2 , s 2 i n = S 2 i n , x 1 = X 1 Y 1 , x 2 = X 2 Y 2 , μ 1 ( s 2 , x 2 ) = f 1 ( S 2 , X 2 ) , and  μ 2 ( s 2 ) = f 2 ( S 2 ) . We obtain a more simple system as follows:
s 1 ˙ = D ( s 1 i n s 1 ) σ ( r ) s 1 , s 2 ˙ = D ( s 2 i n s 2 ) + σ ( r ) s 1 μ 1 ( s 2 , x 2 ) x 1 μ 2 ( s 2 ) x 2 , x ˙ 1 = ( μ 1 ( s 2 , x 2 ) D ) x 1 , x ˙ 2 = ( μ 2 ( s 2 ) D ) x 2 ,
where s 1 i n > 0 , s 2 i n > 0 , D > 0 . The functions μ 1 : R + 2 R + , μ 2 : R + R + , and σ : R + R + are of class C 1 satisfying:
A1.
μ 2 ( 0 ) = 0 , μ 2 ( s 2 ) > 0 , s 2 R + .
A2.
μ 1 ( s 2 , 0 ) = μ 1 ( 0 , x 2 ) = 0 , s 2 , x 2 R + .
A3.
μ 1 s 2 ( s 2 , x 2 ) > 0 , ( s 2 , x 2 ) R + 2 .
A4.
μ 2 x 2 ( s 2 , x 2 ) > 0 , ( s 2 , x 2 ) R + 2 .
A5.
σ ( · ) is increasing such that σ ( 0 ) = 0 .
Assumption A1 expresses that no growth can be possible without the presence of the soluble substrate for bacteria 2, and that bacteria 2 growth increases with the soluble substrate concentration. Assumption A2 expresses that no growth can be possible without both soluble substrate and species 2 for species 1. Assumptions A3 and A4 express that species 1 growth increases with both soluble substrate and species 2. X 2 (species 2) favors the growth of X 1 (species 1), while X 1 (species 1) has no direct action on X 2 (species 2) apart from competition for substrate. Assumption A5 confirms that no production of soluble substrate can take place without leachate recirculation associated with the presence of the insoluble substrate that will be converted into a soluble one.
Remark 1. 
The function of Holling type II known also as Monod functions [45,46] can express growth rates that satisfy all previous assumptions: A1 to A4.
μ 1 ( s 2 , x 2 ) = μ ¯ 1 s 2 x 2 ( 1 + p 1 s 2 ) ( 1 + q x 2 ) and μ 2 ( s 2 ) = μ ¯ 2 s 2 ( 1 + p 2 s 2 ) ,
where the constants μ ¯ 1 , μ ¯ 2 , p 1 , p 2 , and q are positive.

3. Basic Properties

Lemma 1. 
If the function σ : R + R + satisfies Assumption A5, then there exists a unique value s 1 ( 0 , s 1 i n ) satisfying
σ ( r ) s 1 = D ( s 1 i n s 1 ) ,
where s 1 = D s 1 i n D + σ ( r ) .
Proof. 
Consider the function τ ( s 1 ) = D ( s 1 i n s 1 ) σ ( r ) s 1 ; thus, τ ( s 1 ) = D σ ( r ) < 0 , τ ( 0 ) = D s 1 i n > 0 , and τ ( s 1 i n ) = σ ( r ) s 1 i n < 0 . Then, there exists a unique value s 1 ( 0 , s 1 i n ) that satisfies (3).    □
Consider the following assumption on the species 2 growth rate μ 2 .
A6.
μ 2 ( s 1 i n + s 2 i n s 1 ) > D .
Lemma 2. 
If μ 2 : R + R + satisfies assumptions A1 and A6, then there exists a unique value s 2 ( 0 , s 1 i n + s 2 i n s 1 ) that satisfies
μ 2 ( s 2 ) = D .
Proof. 
It is evident because μ 2 is an increasing function that satisfies μ 2 ( 0 ) = 0 , μ 2 ( s 1 i n + s 2 i n s 1 ) > D .    □
Consider the following assumption on the species 1 growth rate μ 1 .
A7.
μ 1 ( s 2 , s 1 i n + s 2 i n s 1 s 2 ) > D .
Lemma 3. 
Under assumptions A2, A4, and A7, then there exists a unique value x 2 such that x 2 0 , s 1 i n + s 2 i n s 1 s 2 satisfying
μ 1 ( s 2 , x 2 ) = D .
Proof. 
It is evident because μ 1 ( s 2 , s 1 i n + s 2 i n s 1 s 2 ) > D , μ 1 ( s 2 , 0 ) = 0 and x 2 μ 1 ( s 2 , x 2 ) is an increasing function.    □
The solution of the dynamics (2) is defined on the non-negative cone [44] and satisfies the following Proposition.
Proposition 1. 
1. 
All solutions of the dynamics (2) are non-negative and bounded.
2. 
Ω = ( s 1 , s 2 , x 1 , x 2 ) R + 4 | s 1 + s 2 + x 1 + x 2 = s 1 i n + s 2 i n is a positively invariant set attracting all solutions of the dynamics (2).
Proof. 
  • R + 4 is invariant since we have s 1 ( t ) = 0 s ˙ 1 ( t ) = D s 1 i n > 0 , s 2 ( t ) = 0 s ˙ 2 ( t ) = D s 2 i n + σ ( r ) s 1 > 0 , x i ( t ) = 0 x ˙ i ( t ) = 0 for i = 1 , 2 .
    Consider the variable V ( t ) = s 1 ( t ) + s 2 ( t ) + x 1 ( t ) + x 2 ( t ) s 1 i n s 2 i n . The sum of the four equations of system (2) gives us
    V ˙ ( t ) = D V ( t ) .
    Thus, s 1 ( t ) + s 2 ( t ) + x 1 ( t ) + x 2 ( t ) = s 1 i n + s 2 i n + V ( 0 ) e D t with V ( 0 ) = s 1 ( 0 ) + s 2 ( 0 ) + x 1 ( 0 ) + x 2 ( 0 ) s 1 i n s 2 i n . As all components of V ( t ) are non-negative, thus, we obtain the boundedness of the solution.
  • It is deduced from Equation (6).    □
Lemma 4. 
Let ( s 1 , s 2 , x 1 , x 2 ) be a solution of the system (2). Consider
ρ 1 = s 1 s 1   a n d   ρ 2 = s 1 i n + s 2 i n s 1 s 2 x 1 x 2 = s 1 i n + s 2 i n s 1 ρ 1 s 2 x 1 x 2 .
Then,
ρ ˙ 1 = [ D + σ ( r ) ] ρ 1 ,
ρ ˙ 2 = D ρ 2 ,
and
x ˙ 1 = ( μ 1 ( s 1 i n + s 2 i n s 1 ρ 1 ρ 2 x 1 x 2 , x 2 ) D ) x 1 , x ˙ 2 = ( μ 2 ( s 1 i n + s 2 i n s 1 ρ 1 ρ 2 x 1 x 2 ) D ) x 2 .
Let us now study the nature of the equilibrium points of the system (2).
Theorem 1. 
Assume that the functions of system (2) verify Assumptions A1 to A7. Then, the system (2) has three equilibrium points given by
E 0 = ( s 1 , s 1 i n + s 2 i n s 1 , 0 , 0 ) , E 2 = ( s 1 , s 2 , 0 , s 1 i n + s 2 i n s 1 s 2 )   a n d   E = ( s 1 , s 2 , x 1 , x 2 ) ,
where s 1 is defined by Lemma 1, s 2 is defined by Lemma 2, x 2 is defined by Lemma 3, and x 1 = s 1 i n + s 2 i n s 1 s 2 x 2 .
Proof. 
Assume that the functions of system (2) verify Assumptions A1 to A7. Let E e = ( s 1 e , s 2 e , p e , x 1 e , x 2 e ) be a non-negative equilibrium point of system (2); then, we obtain
σ ( r ) s 1 e = D ( s 1 i n s 1 e ) , μ 1 ( s 2 e , x 2 e ) x 1 e = D x 1 e , μ 2 ( s 2 e ) x 2 e = D x 2 e , s 1 e + s 2 e + x 1 e + x 2 e = s 1 i n + s 2 i n .
If x 1 e = 0 , then s 1 e = s 1 , and either x 2 e = 0 and then E e = E 0 or x 2 e 0 and then s 2 e = s 2 and x 2 e = s 1 i n + s 2 i n s 2 ; therefore, we obtain E e = E 2 . The case x 1 0 and x 2 = 0 is impossible, since μ 1 ( s 2 e , 0 ) = 0 D . Still, there is the case when x 1 0 and x 2 0 . Then, we obtain σ ( r ) s 1 e = D ( s 1 i n s 1 e ) , μ 1 ( s 2 e , x 2 e ) = μ 2 ( s 2 e ) = D , and  s 1 e + s 2 e + x 1 e + x 2 e = s 1 i n + s 2 i n . From Lemmas 1–3, we deduce that s 1 e = s 1 , s 2 e = s 2 and x 2 e = x 2 and thus x 1 = s 1 i n + s 2 i n s 1 s 2 x 2 . Therefore, we deduce the uniqueness of the positive equilibrium point, E e = E .    □

4. Reduced System

In order to study the stability of model (2), we can restrict system (2) to the invariant attractor set Ω to obtain the following planar system.
x ˙ 1 = ψ 1 ( x 1 , x 2 ) , x ˙ 2 = ψ 2 ( x 1 , x 2 ) ,
with
ψ 1 ( x 1 , x 2 ) ψ 2 ( x 1 , x 2 ) = ( μ 1 ( s 1 i n + s 2 i n s 1 x 1 x 2 , x 2 ) D ) x 1 ( μ 2 ( s 1 i n + s 2 i n s 1 x 1 x 2 ) D ) x 2 ,
and
S = ( x 1 , x 2 ) ( R + ) 2 : 0 < x 1 + x 2 < s 1 i n + s 2 i n s 1 ,
as state space. Observe that the dynamics (2) and (10) are equivalent and that the dynamics (12) is deduced when considering the dynamics (10) such that ρ 1 = 0 and ρ 2 = 0 .
According to Theorem 1, the planar dynamics (12) admits three equilibrium points given by F 0 = ( 0 , 0 ) , F 2 = ( 0 , s 1 i n + s 2 i n s 1 s 2 ) and F = ( x 1 , x 2 ) .
Lemma 5. 
Assume that Assumptions A1 to A7 are satisfied. Therefore, F 0 and F 2 are saddle points and F is a locally exponentially stable equilibrium point for system (12).
Proof. 
The Jacobian matrix is given by
J ( x 1 , x 2 ) = [ μ 1 D μ 1 s 2 x 1 μ 1 s 2 x 1 + μ 1 x 2 x 1 μ 2 x 2 μ 2 D μ 2 x 2 ] ,
such that μ 1 is expressed at ( s 1 i n + s 2 i n s 1 x 1 x 2 , x 2 ) and μ 2 is expressed at ( s 1 i n + s 2 i n s 1 x 1 x 2 ) . Let us study the matrices J ( F 0 ) , J ( F 2 ) and J ( F ) . Since
J ( F 0 ) = [ D 0 0 μ 2 ( s 1 i n + s 2 i n s 1 ) D ] ,
then the eigenvalues are X 1 = D < 0 and X 2 = μ 2 ( s 1 i n + s 2 i n s 1 ) D > 0 according to Assumption A6. Consequently, F 0 is a saddle point of (12). The matrix at J ( F 2 ) is given by
J ( F 2 ) = [ μ 1 ( s 2 , s 2 i n + s 1 i n s 1 s 2 ) D 0 μ 2 ( s 2 ) ( s 2 i n + s 1 i n s 1 s 2 ) μ 2 ( s 2 ) ( s 2 i n + s 1 i n s 1 s 2 ) ] .
Their eigenvalues are X 1 = μ 1 ( s 2 , s 1 i n + s 2 i n s 1 s 2 ) D > 0 by Assumption A7 and X 2 = μ 2 ( s 2 ) ( s 1 i n + s 2 i n s 1 s 2 ) < 0 . Consequently, F 2 is a saddle point of (12).
The matrix at J ( F ) is given by
J ( F ) = [ μ 1 ( s 2 , x 2 ) s 2 x 1 μ 1 ( s 2 , x 2 ) s 2 x 1 + μ 1 ( s 2 , x 2 ) x 2 x 1 μ 2 ( s 2 ) x 2 μ 2 ( s 2 ) x 2 ] .
Note that
t r ( J ( F ) ) = μ 1 ( s 2 , x 2 ) s 2 x 1 μ 2 ( s 2 ) x 2 < 0 ,
and
d e t ( J ( F ) ) = μ 2 ( s 2 ) x 2 μ 1 ( s 2 , x 2 ) x 2 x 1 > 0 .
Thus, J ( F ) has two eigenvalues with negative real parts, and then the equilibrium point F is locally exponentially stable.    □
Theorem 2. 
Assume that Assumptions A1 to A7 are verified. Therefore, E 0 and E 2 are saddle points; however, E is a locally exponentially stable equilibrium point.
Proof. 
It is evident that the equilibrium points E 0 , E 2 and E have the same nature as the equilibrium points F 0 , F 2 and F , respectively.    □

5. Global Analysis

We start by studying the global stability of the reduced system (12). Then, we deduce on the global stability of (2).

5.1. Global Stability of (12)

We start by proving that S and S ¯ are positively invariant sets and that system (12) has no possible periodic orbits inside S ¯ .
Lemma 6. 
Assume that Assumptions A1–A7 hold. The sets S and S ¯ are positively invariant sets. Furthermore, the model (12) admits no periodic solution inside S ¯ .
Proof. 
We can verify that S and S ¯ are positively invariant, since we have
x ˙ 1 + x ˙ 2 = μ 1 ( s 1 i n + s 2 i n s 1 ( x 1 + x 2 ) , x 2 ) x 1 + μ 2 ( s 1 i n + s 2 i n s 1 ( x 1 + x 2 ) ) x 2 D ( x 1 + x 2 ) .
Now, consider a solution of (12) inside S , and we aim to exclude the possibility of a periodic solution inside S .
Notice that axis x 1 = 0 and x 2 = 0 are invariant. By using the change of variables ζ 1 = ln ( x 1 ) and ζ 2 = ln ( x 2 ) for x 1 , x 2 > 0 . Thus, we obtain the new dynamics given hereafter:
ζ ˙ 1 = g 1 ( ζ 1 , ζ 2 ) : = μ 1 ( s 1 i n + s 2 i n s 1 e ζ 1 e ζ 2 , e ζ 2 ) D , ζ ˙ 2 = g 2 ( ζ 1 , ζ 2 ) : = μ 2 ( s 1 i n + s 2 i n s 1 e ζ 1 e ζ 2 ) D .
Note that for e ζ 1 + e ζ 2 < s 1 i n + s 2 i n s 1 , we have
g 1 ζ 1 + g 2 ζ 2 = μ 1 s 2 ( s 1 i n + s 2 i n s 1 e ζ 1 e ζ 2 , e ζ 2 ) e ζ 1 μ 2 ( s 1 i n + s 2 i n s 1 e ζ 1 e ζ 2 ) e ζ 2 < 0 .
We consider the criterion of Dulac (see [47], Chapter 6) when applied to (15) for trajectories belonging to the simply connected region
D = ( ζ 1 , ζ 2 ) R 2 : e ζ 1 + e ζ 2 < s 1 i n + s 2 i n s 1 .
Since g 1 ζ 1 + g 2 ζ 2 does not change signs in D , this criterion ensures that the system (15) has no periodic trajectory in D . Then, the dynamics (12) has no periodic orbit in S . It cannot have polycycles because there is only one equilibrium point in S . Next, let us proceed by contradiction to prove that the system (12) has no periodic orbit inside S ¯ . Suppose that there exists in S ¯ a periodic solution of (12) that we denote ( x 1 ( t ) , x 2 ( t ) ) . We deduce easily from the fact that S is positively invariant that necessarily either x 1 ( t ) = 0 for all t 0 or x 2 ( t ) = 0 for all t 0 . If x 1 ( t ) = 0 for all t 0 ; then, necessarily, for all t 0 , x ˙ 2 ( t ) = [ μ 2 ( s 1 i n + s 2 i n s 1 x 2 ( t ) ) D ] x 2 ( t ) . Thanks to Assumptions A1 to A7, we deduce that necessarily, x 2 ( t ) converges either to 0 or to s 1 i n + s 2 i n s 1 s 2 when the time tends to the infinity. If x 2 ( t ) = 0 for all t 0 , then necessarily, for all t 0 , x ˙ 1 ( t ) = D x 1 ( t ) and x 1 ( t ) converges to zero when the time tends to the infinity. This concludes the proof.    □
We are ready to establish a crucial result for planar system (12).
Theorem 3. 
Suppose that Assumptions A1 to A7 are satisfied and consider system (12). Then, the point F is a globally asymptotically stable equilibrium point of (12) on S .
Proof. 
Consider a solution ( x 1 ( t ) , x 2 ( t ) ) of (12) belonging to S . The system (12) has no unbounded trajectory in S because S ¯ is a positively invariant compact set. Therefore, ( x 1 ( t ) , x 2 ( t ) ) is a bounded trajectory. Consequently, it admits a compact ω -limit set, that we denote ω , which is included in S ¯ . According to the Poincaré–Bendixon Theorem [47], ω either contains an equilibrium point or (12) admits a periodic solution in S ¯ . Since Lemma 6 ensures that there exist no periodic solutions of (12) in S ¯ , necessarily ω contains an equilibrium point of (12). The system (12) admits three equilibrium points F 0 , F 2 and F . F 0 and F 2 are saddle points, and only F is a stable node. If F ω , then F = ω because F is locally exponentially stable (see Lemma 5). Next, let us prove that F ω by proceeding by contradiction.
Let x 1 ( 0 ) > 0 , x 2 ( 0 ) > 0 . ω is an invariant compact set and ω S ¯ . Assume that ω contains a point M on the x 1 x 2 axis:
  • M cannot be F 0 , because F 0 is an unstable node and cannot be a part of the ω -limit set of ( x 1 ( 0 ) , x 2 ( 0 ) ) ;
  • If M ] 0 , s 1 i n + s 2 i n s 1 s 2 [ × { 0 } . ω contains γ ( M ) = ] 0 , s 1 i n + s 2 i n s 1 s 2 [ × { 0 } . Since ω is compact, then it contains the adherence [ 0 , s 1 i n + s 2 i n s 1 s 2 ] × { 0 } ; thus, ω contains F 0 , which is not possible;
  • If M { 0 } × ] s 1 i n + s 2 i n s 1 s 2 , s 1 i n + s 2 i n s 1 ] . As  ω is invariant, then γ ( M ) ω , which is not possible since ω is bounded and γ ( M ) = { 0 } × ] s 1 i n + s 2 i n s 1 s 2 , + [ ;
  • If M { 0 } × ] 0 , s 1 i n + s 2 i n s 1 s 2 [ . ω contains γ ( M ) = { 0 } × ] 0 , s 1 i n + s 2 i n s 1 s 2 [ . Since ω is compact, then it contains the adherence { 0 } × [ 0 , s 1 i n + s 2 i n s 1 s 2 ] and then ω contains F 0 , which is not possible;
  • If M = F 2 , then ω is not reduced to F 2 . Using the theorem of Butler–McGehee, we deduce that ω contains a point P of { 0 } × ( 0 , + ) other that F 2 , which is not possible.
Thus, the  ω -limit set cannot contain any point from the x 1 x 2 axis. This allows us to conclude that all the trajectories of the dynamics (12) in S converge asymptotically to F .    □

5.2. Global Analysis of the Main Dynamics (2)

In this section, we aim to prove the main results of this paper.
Theorem 4. 
Suppose that the dynamics (2) satisfies Assumptions A1 to A7. Therefore, the steady state E is globally asymptotically stable.
Proof. 
Theorem 4 will be proved by using an approach applied in [16] since the dynamics of the system (12) admits only stable and unstable steady states, and there are neither periodic trajectories nor cyclic chains. By using the results of Theme [48], we deduce the asymptotic behaviors of the trajectories of the main dynamics (2) from the asymptotic behaviors of the trajectories of the reduced dynamics (12). Let ( s 1 ( t ) , s 2 ( t ) , x 1 ( t ) , x 2 ( t ) ) be a solution of (2). Therefore, ( x 1 ( t ) , x 2 ( t ) ) is a trajectory of the following non-autonomous system:
x ˙ 1 = ( μ 1 ( s 1 i n + s 2 i n s 1 ρ 1 ρ 2 x 1 x 2 , x 2 ) D ) x 1 , x ˙ 2 = ( μ 2 ( s 1 i n + s 2 i n s 1 ρ 1 ρ 2 x 1 x 2 ) D ) x 2 ,
where ρ 1 and ρ 2 are solutions of Equations (8) and (9), which converge asymptotically to zero. This dynamics (17) is a non-autonomous dynamics which converges to the autonomous dynamics (12). Note that the reduced system (12) admits only locally stable and unstable steady states, and there are no periodic trajectories nor cyclic chains. Therefore, by using the theory of Thieme [48], we conclude that the asymptotic behaviours of the trajectories of the main dynamics (17) from the asymptotic behaviours of the trajectories of the reduced dynamics (12). This allows us to conclude.    □
Remark 2. 
An alternative way to prove Theorem 4 is by considering the new coordinates
ρ 1 = s 1 s 1 ,   a n d   ρ 2 = s 1 i n + s 2 i n s 1 s 2 x 1 x 2 = s 1 i n + s 2 i n s 1 ρ 1 s 2 x 1 x 2 ,
which leads us to consider the system
ω ˙ = A ω , x ˙ 1 = ( μ 1 ( s 1 i n + s 2 i n s 1 ρ 1 ρ 2 x 1 x 2 , x 2 ) D ) x 1 , x ˙ 2 = ( μ 2 ( s 1 i n + s 2 i n s 1 ρ 1 ρ 2 x 1 x 2 ) D ) x 2 ,
with ω = ( ρ 1 , ρ 2 ) , A = ( D + σ ( r ) ) 0 0 D . Therefore, since the dynamics (18) satisfies the assumptions given in [44] (Appendix F), we can conclude on the global asymptotic stability of the equilibrium point E .
For the rest of the paper, we assume that σ ( r ) = σ ¯ r with σ ¯ > 0 is a constant.

6. Optimal Control on Leachate Recirculation

Assume that the leachate is added to the reactor continuously with a rate r which is different to the dilution rate, D. The main goal of the optimal strategy is to reduce the organic matter ( s 1 ( t ) , s 2 ( t ) ) inside the chemostat through an optimal rate for leachate recirculation. Therefore, we will assume that the rate r ( t ) (recirculation costs) is variable on the time interval [ 0 , T ] where T > 0 is a constant. Assume that μ 1 and μ 2 are globally Lipschitz having Lipschitz constants L 1 and L 2 , respectively, with  upper bounds μ 1 m a x = sup s 2 , x 2 > 0 μ 1 ( s 2 , x 2 ) and μ 2 m a x = sup s 2 > 0 μ 2 ( s 2 ) , respectively. Therefore, the goal is to find the optimal control function r = r ( t ) in the admissible set
P a d = { r ( t ) : 0 r min r ( t ) r max , 0 t T , r ( t ) is Lebesgue measurable } .
minimising the functional given hereafter:
J ( r ) = κ 1 2 0 T s 1 2 ( t ) d t + κ 2 2 0 T s 2 2 ( t ) d t + κ 3 2 0 T r 2 ( t ) d t .
For appropriate values of the constants κ 1 > 0 , κ 2 > 0 and κ 3 > 0 , we aim to minimise the quantity of the organic matter in its two forms and keeping minimal the control cost. By using the theory in [49], one can easily prove that both the optimal control and the state exist. For φ = s 1 , s 2 , x 1 , x 2 t , the model (2) can be written as follows
φ ˙ = B φ + H 1 ( φ ) = H 2 ( φ )
with B = D 0 0 0 0 D 0 0 0 0 D 0 0 0 0 D and
H 1 ( φ ) = D s 1 i n σ ¯ r s 1 D s 2 i n + σ ¯ r s 1 μ 1 ( s 2 , x 2 ) x 1 μ 2 ( s 2 ) x 2 μ 1 ( s 2 , x 2 ) x 1 μ 2 ( s 2 ) x 2 .
Theorem 5. 
The continuous function H 2 is uniformly Lipschitz.
Proof. 
One can see that the continuous function H 1 is uniformly Lipschitz once it satisfies
H 1 ( φ ) H 1 ( φ ) 1 = | σ ¯ r s 1 σ ¯ r s 1 | + | μ 1 ( s 2 , x 2 ) x 1 μ 1 ( s 2 , x 2 ) x 1 | + | μ 2 ( s 2 ) x 2 μ 2 ( s 2 ) x 2 | + | σ ¯ r s 1 σ ¯ r s 1 ( μ 1 ( s 2 , x 2 ) x 1 μ 1 ( s 2 , x 2 ) x 1 ) ( μ 2 ( s 2 ) x 2 μ 2 ( s 2 ) x 2 ) | 2 σ ¯ r | s 1 s 1 | + 2 | μ 1 ( s 2 , x 2 ) x 1 μ 1 ( s 2 , x 2 ) x 1 | + 2 | μ 2 ( s 2 ) x 2 μ 2 ( s 2 ) x 2 | 2 σ ¯ r m a x | s 1 s 1 | + 2 μ 1 m a x | x 1 x 1 | + 2 ( s 1 i n + s 2 i n ) L 1 | ( s 2 , x 2 ) ( s 2 , x 2 ) | + 2 μ 2 m a x | x 2 x 2 | + 2 ( s 1 i n + s 2 i n ) L 2 | x 2 x 2 | L φ 1 φ 2 1 ,
where L = max ( 2 σ ¯ r m a x , 2 μ 1 m a x , 2 ( s 1 i n + s 2 i n ) L 1 , 2 μ 2 m a x , 2 ( s 1 i n + s 2 i n ) L 2 ) . The matrix B satisfies
B φ 1 B φ 2 1 D φ 1 φ 2 1 ,
thus,
H 2 ( φ 1 ) H 2 ( φ 2 ) 1 δ φ 1 φ 2 1 ,
with δ = max ( L , D ) and thus the continuous function, H 2 is uniformly Lipschitz.    □
Thus, the dynamics (19) has a unique solution. By using Pontryagin’s maximum principle [49,50,51], the control problem can be studied using the Hamiltonian function as follows:
H = κ 1 2 s 1 2 + κ 2 2 s 2 2 + κ 3 2 r 2 + λ 1 s ˙ 1 + λ 2 s ˙ 2 + λ 3 x ˙ 1 + λ 4 x ˙ 2 = κ 1 2 s 1 2 + κ 2 2 s 2 2 + κ 3 2 r 2 + λ 1 ( D ( s 1 i n s 1 ) σ ¯ r s 1 ) + λ 2 ( D ( s 2 i n s 2 ) + σ ¯ r s 1 μ 1 ( s 2 , x 2 ) x 1 μ 2 ( s 2 ) x 2 ) + λ 3 ( μ 1 ( s 2 , x 2 ) x 1 D x 1 ) + λ 4 ( μ 2 ( s 2 ) x 2 D x 2 ) .
The adjoint variables λ 1 , λ 2 , λ 3 , and  λ 4 are solutions of the following adjoint system
λ ˙ 1 = H s 1 = κ 1 s 1 + λ 1 ( D + σ ¯ r ) λ 2 σ ¯ r , λ ˙ 2 = H s 2 = κ 2 s 2 + λ 2 ( D + μ 1 ( s 2 , x 2 ) s 2 x 1 + μ 2 ( s 2 ) x 2 ) λ 3 μ 1 ( s 2 , x 2 ) s 2 x 1 λ 4 μ 2 ( s 2 ) x 2 , λ ˙ 3 = H x 1 = ( λ 2 λ 3 ) μ 1 ( s 2 , x 2 ) + D λ 3 , λ ˙ 4 = H x 2 = ( λ 2 λ 3 ) μ 1 ( s 2 , x 2 ) x 2 x 1 + ( λ 2 λ 4 ) μ 2 ( s 2 ) + D λ 4 ,
satisfying λ 1 ( T ) = 0 , λ 2 ( T ) = 0 , λ 3 ( T ) = 0 , and  λ 4 ( T ) = 0 .
The derivatives of the Hamiltonian are given by
H r = κ 3 r λ 1 σ ¯ s 1 + σ ¯ λ 2 s 1 = κ 3 r + σ ¯ ( λ 2 λ 1 ) s 1 .
Therefore, H r = 0 has a unique solution given by
r ( t ) = σ ¯ κ 3 ( λ 1 λ 2 ) s 1 ,
provided that κ 3 0 and 0 < r min σ ¯ κ 3 ( λ 1 λ 2 ) s 1 r max . To summarise, the control characterisation is:
{ i f   H r < 0   a t   t , t h e n   r ( t ) = r max , i f   H r > 0   a t   t , t h e n   r ( t ) = r min , i f   H r = 0   a t   t , t h e n   r ( t ) = r * ( t ) = σ ¯ κ 3 ( λ 1 λ 2 ) s 1 .

7. Numerical Examples

We confirm the obtained results by some numerical examples by taking Holling’s functions type II [45,46] (also known as Monod functions) to describe the growth functions and the hydrolysis function.
μ 1 ( s 2 , x 2 ) = μ ¯ 1 s 2 x 2 ( 1 + p 1 s 2 ) ( 1 + q x 2 ) , μ 2 ( s 2 ) = μ ¯ 2 s 2 ( 1 + p 2 s 2 ) , and σ ( r ) = σ ¯ r ,
where the constants μ ¯ 1 , μ ¯ 2 , p 1 , p 2 , q, and  σ ¯ are positive. The used functions μ 1 , μ 2 , and  σ satisfied Assumptions A1 to A7. The values of the parameters are given in Table 2. The numerical method applied to solve the model is the Runge–Kutta–Fehlberg method (RKF45) under MATLAB R2024a software (ode45).

7.1. Numerical Examples for System (2)

We provide several numerical examples for system (2) where the leachate recirculation rate is fixed; r = 2 . We start by three examples satisfying Assumptions A1 to A7 where the dilution rate D = 5.9 , D = 6.8 , and  D = 6.9 , which ensure the global stability of the unique positive equilibrium point E as it is proved in Theorem 4. The persistence of competing bacteria can be seen in Figure 3, Figure 4 and Figure 5 (left). By varying the initial conditions, the solutions converge to the positive point (Figure 3, Figure 4 and Figure 5, right).
In Figure 6, we chose D = 7 satisfying Assumptions A1 to A6 but not Assumption A7. As can be seen, species 2 persists; however, species 1 goes to extinction and the global stability of the steady state E 2 (Figure 6, right). In Figure 7, D = 8 and thus Assumptions A1 and A5 are not verified. Both competing bacteria go to extinction and then the trivial steady state E 0 is globally asymptotically stable. All solutions filling the positive cone converge to the point ( 0 , 0 ) (Figure 7, right). By comparing Figure 3, Figure 4, Figure 5, Figure 6 and Figure 7, one can see that by increasing the dilution rate (D) values, the equilibrium point E approaches slowly the steady state E 2 for a range of values of D; then, the steady state E 2 approaches the trivial steady state E 0 corresponding to the extinction of both bacteria.

7.2. Numerical Examples for the Control Problem

In the following examples, we assume that the control, r, is a time-varying function, r ( t ) , with bounds given by r min = 0.01 and r max = 5 and initial value r ( 0 ) = 0.05 . We consider an initial state value x 0 = ( 12 , 16 , 0.01 , 0.01 ) with final time T = 10 . The used numerical scheme for the control problem is given in Appendix A.
As it is seen in Figure 8, Figure 9 and Figure 10, the optimal solution is very smooth. The values of the control decrease if we increase the κ 3 values; however, they increase if we increase the values of κ 1 and κ 2 . Note that the final values of the organic matter and the biomass are the same when changing the values of κ 1 , κ 2 , and  κ 3 . The optimal strategy allows to decrease the organic matter and optimise the control values (costs).

8. Conclusions

We studied a simple four-dimensional mathematical model describing an obligate one-way beneficial relationship from one species to the other one under perfect mixing conditions in the presence of the leachate recirculation. We considered a two-component nutriment whose soluble component is degraded by both competing species and the insoluble nutriment is exposed to a solubilisation process. We reduced the model to a planar one, we study the local and global stability, and then we applied Thieme’s results [48] to deduce the persistence of both competing bacteria. This result contradicts the competitive exclusion principle. Furthermore, we proposed an optimal control on the leachate recirculation with the aim to reduce the organic matter inside the chemostat with optimal operation costs. Finally, we provided several numerical tests confirming the obtained results.
The effect of leachate recycling can be considered in several bioreactor configurations, in particular the membrane bioreactor process for a wastewater treatment. Another possible extension of this study that can be considered in the future is to investigate the impact of the periodic dilution rate on increasing bacteria production, which leads to reducing the organic matter (both insoluble and soluble nutriments).

Author Contributions

Conceptualisation, H.H.A., N.A.A. and M.E.H.; methodology, H.H.A., N.A.A. and M.E.H.; software, H.H.A., N.A.A. and M.E.H.; investigation, H.H.A., N.A.A. and M.E.H.; visualisation, H.H.A., N.A.A. and M.E.H.; writing—original draft, H.H.A., N.A.A. and M.E.H.; writing—review and editing, H.H.A., N.A.A. and M.E.H. All authors have read and agreed to the published version of the manuscript.

Funding

This work was funded by the University of Jeddah, Jeddah, Saudi Arabia under grant No. (UJ-24-DR-3251-1).

Data Availability Statement

The original contributions presented in the study are included in the article; further inquiries can be directed to the corresponding author/s.

Acknowledgments

This work was funded by the University of Jeddah, Jeddah, Saudi Arabia, under grant No. (UJ-24-DR-3251-1). Therefore, the authors thank the University of Jeddah for its technical and financial support. The authors are also grateful to the unknown referees for the many constructive suggestions, which helped to improve the presentation of the paper.

Conflicts of Interest

The authors declare no conflicts of interest.

Appendix A. Appropriated Scheme for the Control Problem

Consider the subdivision of the interval [ 0 , T ] as follows [ 0 , T ] = i = 0 N 1 [ t i , t i + 1 ] ,   t i = i d t , d t = T N . Let s 1 i , s 2 i , x 1 i , x 2 i , λ 1 i , λ 2 i , λ 3 i , λ 4 i and r i approaching s 1 ( t ) , s 2 ( t ) , x 1 ( t ) , x 2 ( t ) , λ 1 ( t ) , λ 2 ( t ) , λ 3 ( t ) , λ 4 ( t ) and the control r ( t ) at the time t i . An improvement of the Gauss–Seidel-like implicit finite-difference scheme will be applied for the state variables approximation, and a first-order backward-difference scheme will be applied for the adjoint variables approximation.
s 1 i + 1 s 1 i d t = D ( s 1 i n s 1 i + 1 ) σ ¯ r i s 1 i + 1 , s 2 i + 1 s 2 i d t = D ( s 2 i n s 2 i + 1 ) + σ ¯ r i s 1 i + 1 μ ¯ 1 s 2 i + 1 x 1 i x 2 i ( 1 + p 1 s 2 i ) ( 1 + q x 2 i ) μ ¯ 2 s 2 i + 1 x 2 i 1 + p 2 s 2 i , x 1 i + 1 x 1 i d t = μ ¯ 1 s 2 i + 1 x 2 i x 1 i + 1 ( 1 + p 1 s 2 i + 1 ) ( 1 + q x 2 i ) D x 1 i + 1 , x 2 i + 1 x 2 i d t = μ ¯ 2 s 2 i + 1 x 2 i + 1 1 + p 2 s 2 i + 1 D x 2 i + 1 , λ 1 N i λ 1 N i 1 d t = κ 1 s 1 i + 1 + λ 1 N i 1 D + σ ¯ r i λ 2 N i σ ¯ r i , λ 2 N i λ 2 N i 1 d t = κ 2 s 2 i + 1 λ 3 N i μ ¯ 1 x 1 i + 1 x 2 i + 1 ( 1 + p 1 s 2 i + 1 ) 2 ( 1 + q x 2 i + 1 ) λ 4 N i μ ¯ 2 x 2 i + 1 ( 1 + p 2 s 2 i + 1 ) 2 + λ 2 N i 1 D + μ ¯ 1 x 1 i + 1 x 2 i + 1 ( 1 + p 1 s 2 i + 1 ) 2 ( 1 + q x 2 i + 1 ) + μ ¯ 2 x 2 i + 1 ( 1 + p 2 s 2 i + 1 ) 2 , λ 3 N i λ 3 N i 1 d t = ( λ 2 N i 1 λ 3 N i 1 ) μ ¯ 1 s 2 i + 1 x 2 i + 1 ( 1 + p 1 s 2 i + 1 ) ( 1 + q x 2 i + 1 ) + D λ 3 N i 1 , λ 4 N i λ 4 N i 1 d t = ( λ 2 N i 1 λ 3 N i 1 ) μ ¯ 1 s 2 i + 1 x 1 i + 1 ( 1 + p 1 s 2 i + 1 ) ( 1 + q x 2 i + 1 ) 2 + D λ 4 N i 1 + ( λ 2 N i 1 λ 4 N i 1 ) μ ¯ 2 s 2 i + 1 ( 1 + p 2 s 2 i + 1 ) .
Hence, r i + 1 will be calculated as follows: r i + 1 = σ ¯ κ 3 ( λ 1 N i 1 λ 2 N i 1 ) s 1 i + 1 provided that κ 3 0 and 0 < r min r i + 1 r max . Thus, we will use the Algorithm A1 given hereafter.
Algorithm A1: Optimal leachate recirculation strategy procedure
s 1 0 s 1 ( 0 ) ,   s 2 0 s 2 ( 0 ) ,   x 1 0 x 1 ( 0 ) ,   x 2 0 x 2 ( 0 ) ,   λ 1 N 0 ,   λ 2 N 0 ,   λ 3 N 0 ,   λ 4 N 0 , r 0 r ( 0 ) ,
for  i = 0 to N 1  do
s 1 i + 1 s 1 i + d t D s 1 i n 1 + d t D + σ ¯ r i , s 2 i + 1 s 2 i + d t D s 2 i n + d t σ ¯ r i s 1 i + 1 1 + d t D + μ ¯ 1 x 1 i x 2 i ( 1 + p 1 s 2 i ) ( 1 + q x 2 i ) + μ ¯ 2 x 2 i 1 + p 2 s 2 i , x 1 i + 1 x 1 i 1 d t μ ¯ 1 s 2 i + 1 x 2 i ( 1 + p 1 s 2 i + 1 ) ( 1 + q x 2 i ) D , x 2 i + 1 x 2 i 1 d t μ ¯ 2 s 2 i + 1 1 + p 2 s 2 i + 1 D , λ 1 N i 1 λ 1 N i + d t κ 1 s 1 i + 1 + λ 2 N i σ ¯ r i 1 + d t D + σ ¯ r i , λ 2 N i 1 λ 2 N i + d t κ 2 s 2 i + 1 + λ 3 N i μ ¯ 1 x 1 i + 1 x 2 i + 1 ( 1 + p 1 s 2 i + 1 ) 2 ( 1 + q x 2 i + 1 ) + λ 4 N i μ ¯ 2 x 2 i + 1 ( 1 + p 2 s 2 i + 1 ) 2 1 + d t D + μ ¯ 1 x 1 i + 1 x 2 i + 1 ( 1 + p 1 s 2 i + 1 ) 2 ( 1 + q x 2 i + 1 ) + μ ¯ 2 x 2 i + 1 ( 1 + p 2 s 2 i + 1 ) 2 , λ 3 N i 1 λ 3 N i d t λ 2 N i 1 μ ¯ 1 s 2 i + 1 x 2 i + 1 ( 1 + p 1 s 2 i + 1 ) ( 1 + q x 2 i + 1 ) 1 d t μ ¯ 1 s 2 i + 1 x 2 i + 1 ( 1 + p 1 s 2 i + 1 ) ( 1 + q x 2 i + 1 ) D , λ 4 N i 1 λ 4 N i d t μ ¯ 1 s 2 i + 1 x 1 i + 1 ( λ 2 N i 1 λ 3 N i 1 ) ( 1 + p 1 s 2 i + 1 ) ( 1 + q x 2 i + 1 ) 2 + λ 2 N i 1 μ ¯ 2 s 2 i + 1 1 + p 2 s 2 i + 1 1 d t μ ¯ 2 s 2 i + 1 1 + p 2 s 2 i + 1 D , r i + 1 max min σ ¯ κ 3 s 1 i + 1 ( λ 1 N i 1 λ 2 N i 1 ) , r max , r min .
end

References

  1. Hsu, S.B.; Hubbell, S.; Waltman, P. A mathematical theory for single-nutrient competition in continuous cultures of micro-organisms. SIAM J. Appl. Math. 1977, 32, 366–383. [Google Scholar] [CrossRef]
  2. Butler, G.J.; Wolkowicz, G.S.K. A mathematical model of the chemostat with a general class of functions describing nutrient uptake. SIAM J. Appl. Math. 1985, 45, 138–151. [Google Scholar] [CrossRef]
  3. Wolkowicz, G.S.K.; Lu, Z. Global dynamics of a mathematical model of competition in the chemostat: General response functions and differential death rates. SIAM J. Appl. Math. 1992, 52, 222–233. [Google Scholar] [CrossRef]
  4. Smith, H.L.; Waltman, P. Competition for a single limiting resource in continuous culture: The variable-yield model. SIAM J. Appl. Math. 1994, 54, 1113–1131. [Google Scholar] [CrossRef]
  5. Smith, H.L.; Thieme, H.R. Chemostats and epidemics: Competition for nutrients/ hosts. Math. Biosci. Eng. 2013, 10, 1635–1650. [Google Scholar] [CrossRef]
  6. Korytowski, D.; Smith, H. Permanence and Stability of a Kill the Winner Model in Marine Ecology. Bull. Math. Biol. 2017, 79, 995–1004. [Google Scholar] [CrossRef]
  7. Browne, C.; Smith, H. Dynamics of virus and immune response in multi-epitope network. J. Math. Biol. 2018, 77, 1833–1870. [Google Scholar] [CrossRef]
  8. Wade, M.; Harmand, J.; Benyahia, B.; Bouchez, T.; Chaillou, S.; Cloez, B.; Godon, J.J.; Boudjemaa, B.M.; Rapaport, A.; Sari, T.; et al. Perspectives in mathematical modelling for microbial ecology. Ecol. Model. 2016, 321, 64–74. [Google Scholar] [CrossRef]
  9. Vandermeer, J.; Pascual, M. Competitive coexistence through intermediate polyphagy. Ecol. Complex. 2006, 3, 37–43. [Google Scholar] [CrossRef]
  10. Shyamsunder; Purohit, S. A novel study of the impact of vaccination on pneumonia via fractional approach. Partial Differ. Equ. Appl. Math. 2024, 10, 100698. [Google Scholar] [CrossRef]
  11. Shyamsunder; Purohit, S.D.; Suthar, D.L. A novel investigation of the influence of vaccination on pneumonia disease. Int. J. Biomath. 2024, online ready., 2450080. [Google Scholar] [CrossRef]
  12. Shyamsunder. Comparative Implementation of Fractional Blood Alcohol Model by Numerical Approach. Crit. Rev. Biomed. Eng. 2025, 53, 11–19. [Google Scholar] [CrossRef]
  13. Albargi, A.H.; El Hajji, M. Bacterial Competition in the Presence of a Virus in a Chemostat. Mathematics 2023, 11, 3530. [Google Scholar] [CrossRef]
  14. Sari, T. Commensalism and syntrophy in the chemostat: A unifying graphical approach. AIMS Math. 2024, 9, 18625–18669. [Google Scholar] [CrossRef]
  15. Hsu, S.B.; Waltman, P. Analysis of a model of two competitors in a chemostat with an external inhibitor. SIAM J. Appl. Math. 1991, 52, 528–540. [Google Scholar] [CrossRef]
  16. El Hajji, M. How can inter-specific interferences explain coexistence or confirm the competitive exclusion principle in a chemostat. Int. J. Biomath. 2018, 11, 1850111. [Google Scholar] [CrossRef]
  17. Grognard, F.; Mazenc, F.; Rapaport, A. Polytopic Lyapunov functions for the stability analysis of persistence of competing species. In Proceedings of the 44th IEEE Conference on Decision and Control, Seville, Spain, 15 December 2005. [Google Scholar] [CrossRef]
  18. Lobry, C.; Mazenc, F.; Rapaport, A. Persistence in ecological models of competition for a single resource. C.R. Acad. Sci. Paris Ser. I 2004, 340, 199–240. [Google Scholar] [CrossRef]
  19. Lobry, C.; Harmand, J. A new hypothesis to explain the coexistence of n species in the presence of a single resource. C. R. Biol. 2006, 329, 40–46. [Google Scholar] [CrossRef]
  20. Mazenc, F.; Lobry, C.; Rapaport, A. Persistence in Ratio-Dependent Models of Consumer-Resource Dynamics. In Proceedings of the Sixth Mississippi State—UAB Conference on Differential Equations & Computational Simulations, Strakville, MI, USA, 13–15 May 2005. [Google Scholar]
  21. Alsolami, A.A.; El Hajji, M. Mathematical Analysis of a Bacterial Competition in a Continuous Reactor in the Presence of a Virus. Mathematics 2023, 11, 883. [Google Scholar] [CrossRef]
  22. Bergstrom, C.T.; Bronstein, J.L.; Bshary, R.; Connor, R.C.; Daly, M.; Frank, S.A.; Gintis, H.; Keller, L.; Leimar, O.; Noe, R.; et al. Interspecific Mutualism: Puzzles and Predictions. In Genetic and Cultural Evolution of Cooperation; Hammerstein, P., Ed.; MIT Press: Cambridge, MA, USA, 2003; pp. 241–256. [Google Scholar]
  23. Boucher, D.H. The Biology of Mutualism: Ecology and Evolution; Oxford University Press: New York, NY, USA, 1985. [Google Scholar]
  24. Zientz, E.; Dandekar, T.; Gross, R. Metabolic Interdependence of Obligate Intracellular Bacteria and Their Insect Hosts. Microbiol. Mol. Biol. Rev. 2004, 68, 745–770. [Google Scholar] [CrossRef]
  25. Margulis, L. Origin of Eukaryotic Cells; Yale University Press: New Haven, CT, USA, 1970. [Google Scholar]
  26. Mereschkowsky, C. Uber Natur and Ursprung der Chromatophoren im Pflanzenreiche. Biol. Zentralbl. 1905, 25, 593–604. [Google Scholar]
  27. Cook, J.M.; Rasplus, J.Y. Mutualists with attitude: Coevolving fig wasps and figs. Trends Ecol. Evol. 2003, 18, 241–248. [Google Scholar] [CrossRef]
  28. Corsaro, D.; Venditti, D.; Padula, M.; Valassina, M. Intracellular life. Crit. Rev. Microbiol. 1999, 25, 39–79. [Google Scholar] [CrossRef]
  29. Hata, H.; Kato, M. A novel obligate cultivation mutualism between damselfish and Polysiphonia algae. Biol. Lett. 2006, 2, 593–596. [Google Scholar] [CrossRef]
  30. Pellmyr, O.; Leebens-Mack, J. Forty million years of mutualism: Evidence for Eocene origin of the yucca-yucca moth association. Proc. Natl. Acad. Sci. USA 1999, 96, 9178–9183. [Google Scholar] [CrossRef]
  31. Rowan, R.; Knowlton, N.; Baker, A.; Jara, J. Landscape ecology of algal symbiont communities explains variation in episodes of coral bleaching. Nature 1997, 338, 265–269. [Google Scholar] [CrossRef]
  32. Wernegreen, J.J. Genome evolution in bacterial endosymbionts of insects. Nat. Rev. Genet. 2002, 3, 850–861. [Google Scholar] [CrossRef]
  33. Wilson, E.O. Social Symbiosis. In Sociobiology: The New Synthesis, 25th Anniversary ed.; Harvard University Press: Cambridge, MA, USA, 1975; p. 354. [Google Scholar] [CrossRef]
  34. Giannis, A.; Makripodis, G.; Simantiraki, F.; Somara, M.; Gidarakos, E. Monitoring operational and leachate characteristics of an aerobic simulated landfill bioreactor. Waste Manag. 2008, 28, 1346–1354. [Google Scholar] [CrossRef]
  35. Benbelkacem, H.; Bayard, R.; Abdelhay, A.; Zhang, Y.; Gourdon, R. Effect of leachate injection modes on municipal solid waste degradation in anaerobic bioreactor. Bioresour. Technol. 2010, 101, 5206–5212. [Google Scholar] [CrossRef]
  36. Bilgili, M.S.; Demir, A.; Özkaya, B. Influence of leachate recirculation on aerobic and anaerobic decomposition of solid wastes. J. Hazard. Mater. 2007, 143, 177–183. [Google Scholar] [CrossRef]
  37. Hussein, O.A.; Ibrahim, J.A.A. Leachates Recirculation Impact on the Stabilization of the Solid Wastes—A Review. J. Ecolog. Eng. 2023, 24, 172–183. [Google Scholar] [CrossRef]
  38. Francois, V.; Feuillade, G.; Matejka, G.; Lagier, T.; Skhiri, N. Leachate recirculation effects on waste degradation: Study on columns. Waste Manag. 2007, 27, 1259–1272. [Google Scholar] [CrossRef] [PubMed]
  39. Bisi, M.; Groppi, M.; Martaló, G.; Travaglini, R. Optimal control of leachate recirculation for anaerobic processes in landfills. Discret. Contin. Dyn. Syst.-B 2021, 26, 2957–2976. [Google Scholar] [CrossRef]
  40. Laraj, O.; El Khattabi, N.; Rapaport, A. Mathematical model of anaerobic digestion with leachate recirculation. In Proceedings of the CARI 2022, Sophia Antipolis, France, 4–7 October 2022. [Google Scholar]
  41. El Hajji, M. Mathematical modeling for anaerobic digestion under the influence of leachate recirculation. AIMS Math. 2023, 8, 30287–30312. [Google Scholar] [CrossRef]
  42. El Hajji, M.; Al-Subhi, A.Y.; Alharbi, M.H. Mathematical investigation for two-bacteria competition in presence of a pathogen with leachate recirculation. Int. J. Anal. Appl. 2024, 22, 45. [Google Scholar] [CrossRef]
  43. El Hajji, M. Influence of the presence of a pathogen and leachate recirculation on a bacterial competition. Int. J. Biomath. 2024, online ready, 2450029. [Google Scholar] [CrossRef]
  44. Smith, H.L.; Waltman, P. Cambridge Studies in Mathematical Biology. In The Theory of the Chemostat. Dynamics of Microbial Competition; Cambridge University Press: Cambridge, UK, 1995; Volume 13. [Google Scholar] [CrossRef]
  45. Monod, J. Croissance des populations bactériennes en fonction de la concentration de l’aliment hydrocarboné. C. R. Acad. Sci. 1941, 212, 771–773. [Google Scholar]
  46. Lobry, J.R.; Flandrois, J.P.; Carret, G.; Pave, A. Monod’s bacterial growth revisited. Bull. Math. Biol. 1992, 54, 117–122. [Google Scholar] [CrossRef]
  47. Hsu, S.B. Ordinary differential equations with applications. Ser. Appl. Math. 2005, 16, 256. [Google Scholar] [CrossRef]
  48. Thieme, H.R. Convergence results and a Poincaré-Bendixson trichotomy for asymptotically autonomous differential equations. J. Math. Biol. 1992, 30, 755–763. [Google Scholar] [CrossRef]
  49. Fleming, W.; Rishel, R. Deterministic and Stochastic Optimal Control; Springer: New York, NY, USA, 1975. [Google Scholar] [CrossRef]
  50. Lenhart, S.; Workman, J.T. Optimal Control Applied to Biological Models; Chapman and Hall: London, UK, 2007. [Google Scholar] [CrossRef]
  51. Pontryagin, L.S.; Boltyanskii, V.G.; Gamkrelidze, R.V.; Mishchenko, E.F.; Trirogoff, K.N.; Neustadt, L.W. The Mathematical Theory of Optimal Processes; CRC Press: Boca Raton, FL, USA, 2000. [Google Scholar] [CrossRef]
Figure 1. Interactions between two competing bacteria associated with an obligate one-way benefit and recirculation of the leachate [43].
Figure 1. Interactions between two competing bacteria associated with an obligate one-way benefit and recirculation of the leachate [43].
Mathematics 12 03819 g001
Figure 2. A classical bioreactor (Chemostat) associated with leachate recirculation [41].
Figure 2. A classical bioreactor (Chemostat) associated with leachate recirculation [41].
Mathematics 12 03819 g002
Figure 3. Comportment of system (2); the comportment of the components (left) and the x 1 x 2 comportment (right) for D = 5.9 . The red dot (right) is the equilibrium point in the plane ( x 1 , x 2 ).
Figure 3. Comportment of system (2); the comportment of the components (left) and the x 1 x 2 comportment (right) for D = 5.9 . The red dot (right) is the equilibrium point in the plane ( x 1 , x 2 ).
Mathematics 12 03819 g003
Figure 4. Comportment of system (2); the comportment of the components (left) and the x 1 x 2 comportment (right) for D = 6.8 . The red dot (right) is the equilibrium point in the plane ( x 1 , x 2 ).
Figure 4. Comportment of system (2); the comportment of the components (left) and the x 1 x 2 comportment (right) for D = 6.8 . The red dot (right) is the equilibrium point in the plane ( x 1 , x 2 ).
Mathematics 12 03819 g004
Figure 5. Comportment of system (2); the comportment of the components (left) and the x 1 x 2 comportment (right) for D = 6.9 . The red dot (right) is the equilibrium point in the plane ( x 1 , x 2 ).
Figure 5. Comportment of system (2); the comportment of the components (left) and the x 1 x 2 comportment (right) for D = 6.9 . The red dot (right) is the equilibrium point in the plane ( x 1 , x 2 ).
Mathematics 12 03819 g005
Figure 6. Comportment of system (2); the comportment of the components (left) and the x 1 x 2 comportment (right) for D = 7 . The red dot (right) is the equilibrium point in the plane ( x 1 , x 2 ).
Figure 6. Comportment of system (2); the comportment of the components (left) and the x 1 x 2 comportment (right) for D = 7 . The red dot (right) is the equilibrium point in the plane ( x 1 , x 2 ).
Mathematics 12 03819 g006
Figure 7. Comportment of system (2); the comportment of the components (left) and the x 1 x 2 comportment (right) for D = 8 . The red dot (right) is the equilibrium point in the plane ( x 1 , x 2 ).
Figure 7. Comportment of system (2); the comportment of the components (left) and the x 1 x 2 comportment (right) for D = 8 . The red dot (right) is the equilibrium point in the plane ( x 1 , x 2 ).
Mathematics 12 03819 g007
Figure 8. Influence of the optimal strategy on the dynamics for κ 1 = 1 , κ 2 = 1 , κ 3 = 1 , D = 5.9 .
Figure 8. Influence of the optimal strategy on the dynamics for κ 1 = 1 , κ 2 = 1 , κ 3 = 1 , D = 5.9 .
Mathematics 12 03819 g008
Figure 9. Influence of the optimal strategy on the dynamics for κ 1 = 1 , κ 2 = 1 , κ 3 = 10 , D = 5.9 .
Figure 9. Influence of the optimal strategy on the dynamics for κ 1 = 1 , κ 2 = 1 , κ 3 = 10 , D = 5.9 .
Mathematics 12 03819 g009
Figure 10. Influence of the optimal strategy on the dynamics for κ 1 = 10 , κ 2 = 10 , κ 3 = 1 , D = 5.9 .
Figure 10. Influence of the optimal strategy on the dynamics for κ 1 = 10 , κ 2 = 10 , κ 3 = 1 , D = 5.9 .
Mathematics 12 03819 g010
Table 1. Variables, functions and parameters of the dynamics (1).
Table 1. Variables, functions and parameters of the dynamics (1).
NotificationSignificance
S 1 Insoluble substrate
S 2 Soluble substrate
X 1 Species 1
X 2 Species 2
rLeachate recirculation rate
σ ( · ) Hydrolysis rate
f 1 ( · , · ) Growth function of bacteria 1.
f 2 ( · ) Growth function of bacteria 2.
S 1 i n Insoluble substrate input
S 2 i n Soluble substrate input
DDilution rate
Y 1 , Y 2 Yield coefficients
Table 2. The used parameters values for the numerical simulations. Since we have no biological data, the parameter values are chosen arbitrarily.
Table 2. The used parameters values for the numerical simulations. Since we have no biological data, the parameter values are chosen arbitrarily.
Parameter μ ¯ 1 μ ¯ 2 σ ¯ p 1 p 2 q s 1 in s 2 in
Value2535 0.1 8 4.75 0.01 26
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Almuashi, H.H.; Almuallem, N.A.; El Hajji, M. The Effect of Leachate Recycling on the Dynamics of Two Competing Bacteria with an Obligate One-Way Beneficial Relationship in a Chemostat. Mathematics 2024, 12, 3819. https://doi.org/10.3390/math12233819

AMA Style

Almuashi HH, Almuallem NA, El Hajji M. The Effect of Leachate Recycling on the Dynamics of Two Competing Bacteria with an Obligate One-Way Beneficial Relationship in a Chemostat. Mathematics. 2024; 12(23):3819. https://doi.org/10.3390/math12233819

Chicago/Turabian Style

Almuashi, Hanan H., Nada A. Almuallem, and Miled El Hajji. 2024. "The Effect of Leachate Recycling on the Dynamics of Two Competing Bacteria with an Obligate One-Way Beneficial Relationship in a Chemostat" Mathematics 12, no. 23: 3819. https://doi.org/10.3390/math12233819

APA Style

Almuashi, H. H., Almuallem, N. A., & El Hajji, M. (2024). The Effect of Leachate Recycling on the Dynamics of Two Competing Bacteria with an Obligate One-Way Beneficial Relationship in a Chemostat. Mathematics, 12(23), 3819. https://doi.org/10.3390/math12233819

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop