Stability of Stochastic Logistic Model with Ornstein-Uhlenbeck Process for Cell Growth of Microorganism in Fermentation Process ()
1. Introduction
Stochastic differential equations (SDEs) have been intensively used to model the natural phenomena in the last decades and these equations play a prominent applied role in various fields [1] [2]. Most SDEs do not have explicit solution but these equations can be solved numerically to approximate their solutions [3]. We use the SRK method to approximate the solution numerically ( [3] , p. 69) [4] [5] [6] [7]. Whereas, Rüemelin in [8] proposed the S-stage stochastic Runge-Kutta explicit method. Moreover, Xiao in [9] introduced the High strong order stochastic Runge-Kutta methods for stochastic differential equations in case of Stratonovich since our model is in Stratonovich sense.
This research deals with the stability of stochastic logistic model with Ornstein-Uhlenbeck process. This process is a batter model of Brownian motion ( [10] , p. 86). The Ornstein-Uhlenbeck process is used to model stock price, currency exchange rates and velocity.
The classical Brownian motion was introduced by Scottish Botanist Robert Brown in (1827). He described this motion based on random movements of pollen grains in liquid or gas [11]. This theory was further supported by Norbert Wiener (1923) who explained full mathematical theory of Brownian motion which existed as a rigorously defined mathematical objective to recognize his contribution [12]. Brownian motion is a simple continuous stochastic process which is extensively used to model phenomena in various fields such as industry, dynamic process, physics, finance and fermentation process [3] [11] [12]. This Brownian motion is the cause of instability (turbulence) in fermentation process [1].
Fermentation process converts sugar into alcohol with the help of yeast [13]. Madihah, in [14] used the logistic model to elaborate the cell growth of Clostridium acetobutylicum p. 262 in fermentation process proposed by Verhulst (1838). This model is inadequate to describe the cell growth of microorganism in fermentation process because fermentation process contains random fluctuations. Bahar and Mao in [2] introduced new stochastic logistic model for population dynamics. The stochastic logistic model was used in [15] to elucidate the cell growth of Clostridium acetobutylicum p. 262 in fermentation process. This cell growth of microorganism in fermentation process is affected by environmental noise, a batter model for modelling environmental noise is Ornstein-Uhlenbeck process. However, no specific research was conducted on stability stochastic logistic model with Ornstein-Uhlenbeck process for cell growth of microorganism in fermentation process. Nevertheless, there are some previous research works which have been done on stability of logistic equations with white noise, Lévy Jumps and other different aspects [16] - [22]. None of these researches were investigated the stability of stochastic logistic model with Ornstein-Uhlenbeck process for cell growth of microorganism in fermentation process. This research establishes the sufficient conditions for stochastic logistic equation with Ornstein-Uhlenbeck process for positive equilibrium point and zero solution by using Lyapunov function. Since, the Ornstein-Uhlenbeck process is a better model of Brwonian motion ( [10] , p. 86). In addition, our current study will indicate that the Ornstein-Uhlenbeck process is unfavorable for stability of cell growth in fermentation process. Moreover, we apply the SRK4 method to evaluate the numerical solution.
This paper is organized in five main sections; Introduction, Preliminaries and Models Description, Main Results, Numerical Simulation and Conclusion.
2. Preliminaries and Models Description
Throughout this paper; the notation
is the expectation of
, T shows the terminal time, t is time,
illustrates the initial time,
corresponds to the highest cell size,
is initial cell size,
denotes the maximum specific growth rate,
illustrates a carrying capacity,
indicates the random fluctuation,
shows Brownian motion and b is a constant.
The simplest mathematical model to illustrate the exponential phase for cell growth in fermentation process is:
(1)
The solution of Equation (1) is:
(2)
where t is time,
corresponds to the initial cell size and
denotes the maximum specific growth rate. If
, Equation (1) is strongly ascending, and if,
, strongly descending. Hence, Equation (1) is not adequate to model stationary phase in fermentation. Therefore, Pierre Francois Verhulst (1838) introduced new model containing stationary phase in fermentation process. Thus, the exponential growth model (1) is augmented by the inclusion of multiplicative
factor of
. Hence, the logistic ordinary differential equation is:
(3)
where
is a carrying capacity of a microbial species and Equation (3) can be solved analytically by determining the solution is:
(4)
where
is the highest cell size. Madihah, in [14] used Equation (3) to elaborate cell growth of Clostridium acetobutylicum p. 262 in batch fermentation process. Murray in [23] and May in [24] were proved that Equation (3) is stable. This model is inadequate to describe the cell growth of Clostridium acetobutylicum p. 262 in fermentation process because fermentation process suffers from random fluctuation. Bahar and Mao in [2] introduced new stochastic logistic equation to model uncontrolled fluctuation in stationary phase at fermentation process by using new perturbation very randomly which is:
(5)
where
is diffusion coefficient. Model (3) with perturbation (5) is:
(6)
where
is m-dimensional Weiner process and
is corresponding to the random fluctuation. Bazli, in [15] used Equation (6) to evaluate the cell growth of Clostridium acetobutylicum p. 262 in fermentation process.
Remarks 2.1: Liu et al., in [21] studied the stability of stochastic logistic with white noise which cannot model random fluctuations in stationary phase. Therefore, this research introduces new stochastic logistic model to cope with this problem and established the sufficient condition for positive equilibrium point. The new model is Equation (6) with Ornstein-Uhlenbeck process. The Ornstein-Uhlenbeck process is:
(7)
where
stands for positive Brownian motion at time t,
shows the coefficient friction,
indicates the diffusion coefficient and
is white noise.
By substituting
(8)
into Equation (7) hence, the Ornstein-Uhlenbeck process becomes;
(9)
Substituting Equation (9) into Equation (6) yields
(10)
Equation (10) is stochastic logistic model with Ornstein-Uhlenbeck process.
3. Main Results
First, it is needed to prove that Equation (10) has a unique positive solution and later on we will pay attention on stability.
Theorem 3.1: For all
and for any
Equation (10) has a unique positive solution.
Proof: For any given initial value
, the coefficients of Equation (10) are locally Lipschitz continuous. Hence, there is a unique locally solution
Where
shows the explosion time Arnold in [25] and Friedman [26]. To show that the
is a unique positive solution. So, it is
really necessary to determine that
. Let
and
is sufficiently large for each component of
, the stopping time for every integer
is:
is sufficiently large means that the
is increasing as
. Hence,
, whereas
.
If we can show that
a.s., then
a.s. and
a.s. for all
. In other words, to complete the proof all we need to show is that
a.s. For if this statement is false, then there is a pair of constants
and
such that
Therefore, there exist an integer
(11)
Define
for all
and the nonnegativity of this function can be seen from
Itô ( [27] , p. 95) [28] [29] [30] ( [31] , p. 54) formula shows that
(12)
To simplify A and B separately yields
An application of these facts
and
( [32] , p. 87) and somewhat lengthy calculation we have
By substituting the value of A and B into Equation (12) yields
(13)
(14)
(15)
Worth mentioning,
(16)
(17)
If
then
, it follows the boundedness
. Therefore, there is nonnegative number
which independent of x and t.
If
, obviously there is a positive number
which is independent of x and t, and it follow bounded
, such that
(18)
On the other hand, we show that there is a nonnegative number Q which independent of x and t such that
(19)
By substituting the inequality (19) into Equation (13) yields
(20)
where
is Brownian motion, and taking integral and expectation
(21)
By taking into account, the inequality (11) then we have
For every
,
or
. Therefore,
is no less than either
Based on (20) we have
where
illustrates the function
. Letting n tends to infinity leads to dissidence
Therefore, we need to have
. Eventually, our claim is proved truly.
In the next section we prove that Equation (10) with Ornstein-Uhlenbeck process is globally asymptotically stable in positive solution which illustrates the highly randomness in stationary phase.
Theorem 3.2: Equation (10) is globally asymptotically stable in positive equilibrium points
, under following assumptions a.s.
H1: For
1)
2)
and the
where,
and
are positive constant then the solution
satisfies the
.
Proof: An application Itô’s formula ( [27] , p. 95) [28] [29] [30] for Equation (10) and somewhat lengthy calculation leads to
(22)
For the convenience we set the denominator of Equation (22) to
and according to the ( [10] , p. 69), we have:
Taking limit from both sides of above equation yields:
(23)
where,
(24)
is a Martingale with quadratic variation
(25)
Based on ( [31] , p. 65) the
(26)
and
(27)
where
then Equation (23) becomes
(28)
(29)
By substituting Equation (29) into Equation (22) we have:
Ultimately, prove is completed.
Remark 3.1: Liu et al., in [21] studied the stability of stochastic logistic model with white noise which illustrates highly randomness in lag phase and the stationary phase is steady means there is no fluctuations. In lag phase microbes are adapted with each other and as a result no growth takes place. But, the model, conditions and approach which are presented in this study quite different and easy respectively. This research considers Equation (6) with Ornstein-Uhlenbeck process which highly presents the randomness in stationary phase. In stationary phase microbes fight with each other to survive (uncontrolled fluctuations reached maximum level). In addition, concentration of toxin reaches a value which is unable to maintain the maximum cell growth of microorganism rate in fermentation process. These agents become the cause of instability at stationary phase in fermentation process. In conclusion, the stochastic logistic model which presented in Lui et al., [21] is not suitable model for cell growth of microorganism in fermentation process. Since, Lui et al., in [21] narrates in zero solution (almost lag phase in fermentation process) the population (cell growth) is extinctive and in positive equilibrium point (almost stationary phase) the population will be permanent. It is contrary to the features phases in fermentation process. To support our theory, we use the SRK4 method for numerical simulations which presented in below section.
4. Numerical Simulation
In this section we consider a strong and accurate numerical method (SRK4) to elaborate the analytical results ( [3] , p. 69) [4] [5] [6] [7]. Worth mentioning, we cannot use the stochastic Runge-Kutta to approximate the numerical solution of Equation (10), due to it is in Itô sense [33]. Thus, it is convertible to Stratonovich sense by using the below formula
(30)
Hence,
(31)
where
is used to denote the Stratonovich form of SDE (i.e.
. Equation (10) and Equation (31) present some solution under different approach. We use the SRK4 method for numerical approximation. This method was introduced by Rümellin [8]. SRK was developed based on the increment of Wiener
process,
. Furthermore, Xiao in [9] introduced the High strong order
stochastic Runge-Kutta methods for stochastic differential equations in case of Stratonovich with scalar noise. Since our model is in Stratonovich sense. Figure 1 and Figure 2 show the stability of Equation (3) and Equation (10) in positive equilibrium for cell growth of microorganism in fermentation process respectively.
![]()
Figure 1. Shows the stability of Equation (10). For deterministic part we use
,
,
,
,
, and
and for stochastic part we chose same value just difference are
, and
respectively.
![]()
Figure 2. Illustrates the stability of Equation (10). For stochastic part we chose the
,
,
,
,
, and
. For deterministic part we use
,
,
,
,
,
.
The blue line indicates the simple path of Equation (10) and the red line shows the simple path of Equation (3) respectively. In Figure 1 and Figure 2, the difference are between the value of
. The blue line indicates the simple path of Equation (10) and the red line shows the simple path of Equation (3) respectively. Figure 1 and Figure 2 are plotted under H1.
In both Figure 1 and Figure 2 lag phase is the luck of random fluctuations due to microbes are adopt with each other. Therefore, no growth takes place in this phase. Contrariwise, in stationary phase microbes fight with each other for food and space and the behavior of cell proliferation of microorganism is different in phases at fermentation process. As time evolves, the system illustrates the intrinsic variability of the competing within species and deviations from exponential growth arise. It happens as a result of the nutrient level and toxin concentration achieves a value which can no longer support the maximum growth rate. So, the stochastic fluctuations mainly affect the logistic growth of microorganism and for more see Remarks 3.1.
Remark 4.1: The red line shows the simple path of Equation (3) and the blue line indicates the simple path of Equation (10) respectively. If
, there is no phases for cell growth which means this random fluctuations will destroy the phases in fermentation process on the other hands the process will tend to infinity.
Remark 4.2: Figures 1-4 show the stability of Equation (3) and Equation (10) in different equilibrium points. Figure 3 and Figure 4 are plotted under H1 option 2. The thick red line illustrates the stability of Equation (10) without Ornstein-Uhlenbeck process. It is thick in stationary phase due to the growth rate
, is increased, compare the value of
with three others Figures.
5. Conclusion
This research is conducted on stability of stochastic logistic model with Ornstein-Uhlenbeck process for cell growth of microorganism in fermentation.
![]()
Figure 3. Shows the stability of Equation (10). For deterministic part we use
,
,
,
,
, and
and for stochastic part we chose same value just difference are
,
and
respectively.
![]()
Figure 4. Illustrates the stability of Equation (10). For stochastic part we chose the
,
,
,
,
,
, and
. For deterministic part we use
,
,
,
,
,
.
This research proved that Equation (10) has a unique positive solution (see Theorem 3.1). Moreover, we proved that Equation (10) was stochastically stable in zero solution and positive equilibrium point (see Theorem 3.2 and Appendix A Theorem 1) and viewed in Figure 1 and Figure 2 and Appendix A. For numerical simulation we used SRK4 method to show the reality of this research. If the
, the result will be infinity which means that there are no phases for cell growth. On the other hand, it will not preserve the stochastically stable. If
, what will happen? Unfortunately, there are some impediments here which need some further investigation in future perspective.
Acknowledgements
This work is jointly supported by the National Natural Science Foundation of China under Grant Nos. 61573291, the Fundamental Research Funds for Central Universities XDJK2016B036.
Appendix A
Theorem 1: Equation (10) under the following assumption is globally asymptotically stable in zero solution a.s (almost surely).
(H2): For
, then the
.
Proof: An application of Itô’s formula for Equation (10) ( [27] , p. 95) leads to
(32)
Equation (32) has two parts A and B.
So,
and
To simplify the B we have
Using these facts
and
( [32] , p. 87) and somewhat lengthy calculation we have
By substituting the value of A and B into Equation (32) yields:
(33)
(34)
(35)
where
is Brownian motion and taking expectation from both sides of above equation. We know the expectation of Brownian motion is zero ( [10] , Section 3.2.3, p. 43), we get
(36)
Takes limit
(37)
(38)
For
and based on ( [10] , p. 66 and p. 69) the
and
. Therefore
(39)
Under H2 yields
(40)
Therefore, Equation (38) becomes
Ultimately, our claim is proved.
For plotting Figure 5 we use
,
,
,
,
,
and
,
and for Figure 6 we use
,
,
,
,
,
and
,
. The blue line indicates the simple path of Equation (10) and the red line shows the simple path of Equation (3).
![]()
Figure 5. Shows the stability of Equation (10) with different value of parameters.
![]()
Figure 6. Illustrates the stability of Equation (10) with different value of parameters.
Note: The thick red line shows the stability of Equation (10) without Ornstein-Uhlenbeck process. It is thick due to the growth rate
, is increased, compare the value of
with Figure 5.