![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
ABSTRACT
A new modelling framework is proposed to study the within-host and between-host dynamics of cholera, a severe intestinal infection caused by the bacterium Vibrio cholerae. The within-host dynamics are characterized by the growth of highly infectious vibrios inside the human body. These vibrios shed from humans contribute to the environmental bacterial growth and the transmission of the disease among humans, providing a link from the within-host dynamics at the individual level to the between-host dynamics at the population and environmental level. A fast-slow analysis is conducted based on the two different time scales in our model. In particular, a bifurcation study is performed, and sufficient and necessary conditions are derived that lead to a backward bifurcation in cholera epidemics. Our result regarding the backward bifurcation highlights the challenges in the prevention and control of cholera.
1. Introduction
Mathematical modelling of infectious diseases has played a significant role in furthering our understanding of disease dynamics and developing effective prevention and control measures against epidemics. For infectious diseases, there are two typical modelling approaches to study the disease infection, and they are usually considered separately. One is to use epidemiological models to investigate disease transmission on a population level [Citation1], which concerns the between-host dynamics of the diseases. The other is to use immunological models to study the disease at the individual level, which is focused on the within-host dynamics. To link these dynamical processes at different levels, coupled (or nested) modelling approach is employed, and indeed this approach can offer new insight into the host–pathogen interactions (see [Citation3,Citation20] and references therein). The within- and between-host dynamics have been studied for several infectious diseases using the nested models (e.g. [Citation7,Citation9,Citation11–16,Citation25]). However, to the best of our knowledge, no existing work has attempted to address the coupled within- and between-host dynamics of cholera (a severe water-borne gastroenteric disease caused by the bacterium Vibrio cholerae), despite the fact that a large body of work has been devoted to its population level modelling (e.g. [Citation4–6,Citation17,Citation21,Citation22,Citation26,Citation28,Citation29,Citation32–36]). It is also worth mentioning that some of these between-host models have incorporated both human and environmental transmission pathways with nonlinear disease incidence functions (see, e.g. [Citation10,Citation26,Citation27,Citation28,Citation31] and the references therein).
When vibrios from the contaminated environment (typically, water) are ingested by a person and reach the small intestine, complex biological, chemical and genomic interactions occur that lead to human cholera, whose pathogenicity and aetiology remain a very active research area [Citation8]. Generally speaking, the environmental vibrios undergo evolutions through horizontal gene transfer and the formation of a toxin complex. As a result, highly toxic and infectious vibrios are generated with a large inoculum size, which cause severe diarrhea and are subsequently excreted out of the human body through shedding. Clinical studies [Citation23] have found that these freshly shed vibrios are up to 700-fold in terms of infectivity compared to environmental vibrios, and they remain at this highly infectious state out of the human body for several hours during which time they can be transmitted through person-to-person contacts (e.g. by shaking hands, or consuming foods prepared by household people with dirty/contaminated hands). Unfortunately, our knowledge of the precise mechanisms of the bacterial growth and evolution inside the human body and their impact on cholera epidemics at the population level, and the quantification of such mechanisms towards the design of effective disease control and prevention strategies, remains limited at present.
The goal of this work is to fill in our knowledge gap through mathematical modelling and analysis, as a first attempt, in that direction. A multi-scale model is formulated in this paper that couples the within-host and between-host dynamics of cholera. Essentially, we quantitatively distinguish the two types of vibrios: the environmental vibrios which have relatively low infectivity, and the human vibrios (which are formed within human body and then shed out into the environment) that are highly infectious. The highly infectious vibrios live only for a short period of time (in hours) compared to that of the environmental vibrios (in months), but they directly determine the transmission rate through person-to-person contacts and largely contribute to the growth of the vibrios in the aquatic environment. We note that a standard assumption in almost all the afore-mentioned mathematical cholera studies is that the persistence of environmental vibrios and the disease spread among human populations are independent of within-host disease dynamics, which leads to relatively simple, usually constant, formulations in terms of the associated per capita rates of interactions. In contrast, our modelling framework incorporates a general representation of the incidence and the bacterial growth and persistence, and explicitly link disease dynamics at the population and individual levels through the concept of human vibrios. Our approach is different from traditional coupling principles [Citation14] employed in nested models. Specifically, our explicit linkage is achieved by postulating the interaction between the cholera strains in the environment and those inside human hosts, instead of the cell–pathogen immunological interaction within a single host.
We shall mention that in the work of Hartley et al. [Citation17], the authors also classified the vibrios into two types: lower infective and hyper infective. However, there are important differences between these two studies. First, their classification is only concerned with environmental vibrios and there are no within-host dynamics in their work. Second, our model has incorporated both indirect transmission and direct transmission pathways, while the work in [Citation17] only has the indirect transmission route. Third, all the transmission rates in [Citation17] are constant whereas our model utilizes variable transmission rates, dependent on both the environmental and human vibrios, to explicitly link the fast and slow dynamics. Additionally, their cholera study has a major focus on the medical aspects, whereas our work is more mathematically sophisticated.
The remainder of the paper is organized as follows. Section 2 presents the formulation of the cholera model linking the within-host and between-host dynamics. In Section 3, we analyse the coupled model by using the fast-slow analysis, utilizing the time scale separation for the dynamical processes associated with the individual host and the environment and human population. Global dynamics of the subsystems (i.e. the slow and fast systems) are studied separately. For the slow system, we calculate the corresponding type reproduction number of the infectious humans, and use it to investigate the disease threshold dynamics and analyse the local and global stabilities of the equilibrium solutions. One of our main findings is that our model exhibits a backward bifurcation, which has never been reported in previous cholera studies. A precise condition under which the backward bifurcation occurs in the slow system is obtained. For the fast system, the global stability of the unique equilibrium is established. In addition, we present numerical simulation results to verify our analysis, particularly for the coupled system dynamics. Finally, we wrap up the paper with conclusions and discussion in Section 4.
2. Model formulation
Cholera infection involves different time scales. The between-host and environmental dynamics usually take place on a much slower time scale than that of the within-host dynamics [Citation2]. Here we consider a model system that couples the between-host and within-host dynamics and the interaction between humans and the environment. We use a susceptible-infected-recovered-susceptible epidemic framework [Citation21,Citation34] to describe the between-host dynamics:
(1)
(1) where S,I and R refer to the number of susceptible, infected and recovered humans, respectively, B is the concentration of the bacterium Vibrio cholerae in the contaminated water, and Z represents the vibrio concentration in humans. The incidence in this model is represented by both the direct (or person-to-person) transmission, which depends on the human vibrio concentration, and the indirect (or environment-to-person) transmission, which is subject to saturation. The model (Equation1
(1)
(1) ) characterizes the disease dynamics at the population level. The environmental dynamics are represented by the following equation that depicts the evolution of bacteria in the environment:
(2)
(2) where
is the shedding rate that depends on the human vibrios. δ is the degradation rate of B that includes natural death and other types of removal of pathogens from the aquatic environment. The dynamics at the within-host level are governed by
(3)
(3) where
is a constant emphasizing the faster time scale compared to that of the between-host dynamics. The environmental vibrios ingested into the human body are transformed into human vibrios at a rate of
. Meanwhile, we introduce a function,
, to describe the intrinsic growth of the human vibrios in the course of the biochemical and genomic interactions. In addition, we assume that the human vibrios are removed at a rate of
due to shedding or bacterial death.
In our model, the direct human-to-human transmission rate , the shedding rate of infectious hosts ξ, and the human vibrio intrinsic growth rate v are all dependent on Z, reflecting the coupling of the within-host and between-host disease dynamics and the link between the fast and slow time scales. The vibrio transition rate
is determined by the environmental vibrio concentration. We make the following biologically feasible assumptions regarding these four functions:
(a)
; (b)
(a)
; (b)
;
(a)
; (b)
;
(a)
; (b)
for some
; (c)
.
3. Analysis of the disease dynamics
Because of the multiple time scales presented, we will analyse the full system (Equation1(1)
(1) )–(Equation3
(3)
(3) ) by using the fast-slow analysis. This approach separates the time scales, and treats the fast system at its quasi-steady state (to which it quickly converges) in the slow system analysis. Readers interested in learning more about fast-slow analysis may refer to [Citation7,Citation11,Citation12] and references therein.
3.1. The slow system
Since , the within-host dynamics (Equation3
(3)
(3) ) can be written as
(4)
(4) Setting
, we obtain
(5)
(5) By assumptions (H3)–(H4), differentiating (Equation5
(5)
(5) ) with respect to B yields
So, there exists a unique strictly monotone function
(6)
(6) such that Equation (Equation5
(5)
(5) ) is satisfied. Consider the associated slow system
(7)
(7) It is easy to show that the slow system (Equation7
(7)
(7) ) always has the disease-free equilibrium (DFE),
.
We assume that the aquatic environment is regarded as a reservoir of the pathogen for the infection. The free-living vibrios adapt to the environment through physiological and genetic changes that can promote their survival and growth [Citation8]. Thus, our model assumes that secondary, new vibrios can be introduced through pathogen shedding by infectious human individuals. Let us denote . By our assumptions, matrices
and
associated with the next generation matrix technique [Citation30] take the following forms:
(8)
(8) The next generation matrix is
(9)
(9) Thus, by the standard next generation matrix technique [Citation30], the basic reproduction number for the epidemiological dynamics (Equation4
(4)
(4) ) (including between-host and host-environment dynamics) is given by
(10)
(10) where ρ denotes the spectral radius of a square matrix. We comment that in the current paper as well as the work of Wang et al. [Citation34,Citation35], bacterial shedding is interpreted as a means of generating new pathogen that leads to new infection, whereas in a few other studies [Citation26,Citation28,Citation29,Citation32], pathogen shedding is treated as a transfer between infectious compartments which would result in a different, but equivalent, basic reproduction number. Here we choose to address these two different perspectives through the introduction of the type reproduction number, given below.
We write
(11)
(11)
is the type reproduction number for the infectious persons, which defines the expected number of secondary infective persons caused by one infectious person in a completely susceptible population [Citation18,Citation24]. More details of the type reproduction number can be found in Appendix 1. Furthermore, it has been shown in [Citation24] that
(12)
(12)
3.1.1. Equilibrium solutions.
In this section, we will study equilibrium solutions and their stability of the slow system (Equation7(7)
(7) ). It is easy to verify that Equation (Equation7
(7)
(7) ) always has a DFE, and its endemic equilibrium (EE) satisfies
(13)
(13)
(14)
(14)
(15)
(15)
(16)
(16)
For simplicity, we write
(17)
(17) Substituting Equations (Equation14
(14)
(14) ) and (Equation15
(15)
(15) ) into Equation (Equation13
(13)
(13) ) yields
By Equations (Equation15
(15)
(15) ) and (Equation16
(16)
(16) ), we find that
where
(18)
(18) for which the second equality is obtained by Equation (Equation15
(15)
(15) ). We further assume that
There is a constant
such that
for all
;
and
;
for some
, and
with
.
Let . Since
, we have
(19)
(19) (which is due to
for some
). It implies that
(20)
(20) i.e.
is strictly increasing function of B. Thus, it has an inverse function (that is strictly monotonic increasing as well), denoted as
, such that
.
The fourth assumption we make is:
.
Let
Lemma 3.1
Under assumptions (Ha)–(Hd), and
.
Proof.
By direct calculation, we have
(21)
(21)
(22)
(22)
In view of assumption (Ha)
Thus, there exists
such that
for
. Applying assumptions (Hb)–(Hc) to Equation (Equation21
(18)
(18) ) yields
(23)
(23) Applying assumptions (Ha)–(Hc) to Equation (Equation22
(22)
(22) ), we obtain
(24)
(24) Then, Equations (Equation23
(19)
(19) ) and (Equation24
(20)
(20) ) imply that
(25)
(25) On the other hand,
It follows from Equations (Equation24
(20)
(20) ), (Equation25
(21)
(21) ),
and assumption (Hd) that
and
.
The intersections of the curves and
in the interior of
, determine the nontrivial equilibria. Note that the curve
is a decreasing line. Its zero is achieved at
. Meanwhile,
is strictly decreasing and concave upward by Lemma 3.1. Moreover,
(26)
(26) with
. At I=0, we see that
and
To study the nontrivial equilibrium solutions of Equation (Equation7
(7)
(7) ), let us consider all three scenarios in terms of
. Case 1:
. Then
. Lemma 3.1 and Equation (Equation26
(22)
(22) ) imply that these two curves have a unique intersection in the interior
. Case 2:
. We have
. In this case, these two curves have no (resp. a unique) intersection in the interior
when
(resp.
). Case 3:
. Then
and there will be three possibilities: (a) these two curves will have no intersection in
if
for
; (b) there will be one intersection if there exists
such that
and
; (c) otherwise, there would be two intersections. It shows that the system (Equation7
(7)
(7) ) has at most three biologically feasible equilibria: if
, this system has two equilibria: DFE and EE; if
, it can have one, two or three equilibria (and one of them is the DFE) depending on the parameter values. This result indicates that the system (Equation7
(7)
(7) ) may undergo a backward bifurcation.
3.1.2. Local stability and bifurcation analysis.
We now want to study the condition that generates a backward bifurcation. At the nontrivial equilibrium solutions of Equation (Equation7(7)
(7) ),
; i.e.
(27)
(27)
Note that is a scalar multiple of N (see Equation (Equation11
(11)
(11) )). Let us treat N as the independent variable and fix the rest of model parameters. Differentiating Equation (Equation27
(23)
(23) ) with respect to N yields
(28)
(28) Hence, if
,
; whereas if
,
. One can verify that
(29)
(29)
Suppose at
. Together with the existence of a unique EE when
, we find that, at I=0 with
(i.e.
), a backward bifurcation occurs when
. In this case (i.e.
), there must have a unique
such that
for
, and
for
. Thus,
for
, and
for
. Following immediately from the fact that a backward bifurcation occurs at
with I=0 when
, we obtain the following result:
Lemma 3.2
If then the system (Equation7
(7)
(7) ) undergoes a backward bifurcation at
and I=0.
Indeed, if (i.e.
), Equation (Equation29
(25)
(25) ) implies that
and, consequently,
, for all
. Thus, the system (Equation7
(7)
(7) ) has a forward bifurcation that occurs at
and I=0. Therefore, Lemma 3.2 establishes the necessary and sufficient condition under which a backward bifurcation occurs.
Figure illustrates the behaviour of the backward bifurcation for Equation (Equation37(33)
(33) ). It plots the equilibrium of infected human hosts vs.
, when
. Let
be the saddle-node bifurcation point (or turning point), where the two nontrivial equilibrium solutions come together and annihilate each other. As one can see from this figure that the bifurcation diagram can be divided into three regions vertically: (1) when
, the system has a unique equilibrium (i.e. the DFE) that is stable; (2) when
, this system has three equilibria. The top and bottom ones are stable and the middle one is unstable; (3) when
, this system has two equilibria and ones is stable and the other one is unstable. Here the local asymptotic stability is verified numerically. On the other hand, Figure shows that the backward bifurcation diagram is composed of three branches horizontally: the top, middle and bottom branches. The bottom (resp. top) branch represents the DFE (resp. EE).
Figure 1. Illustration of the backward bifurcation for the slow system (Equation7(7)
(7) ). It plots the number of infected humans as a function of
. Solid/dashed curves represent stable/unstable equilibrium solutions of Equation (Equation7
(7)
(7) ). The two curves above the horizontal axis come together and annihilate each other at
. In this example,
and
.
![Figure 1. Illustration of the backward bifurcation for the slow system (Equation7(7) dSdt=μN−βH(h(B))SI−βLSBκ+B−μS+σR,dIdt=βH(h(B))SI+βLSBκ+B−(γ+μ)I,dRdt=γI−(μ+σ)R,dBdt=ξ(h(B))I−δB.(7) ). It plots the number of infected humans as a function of T1h. Solid/dashed curves represent stable/unstable equilibrium solutions of Equation (Equation7(7) dSdt=μN−βH(h(B))SI−βLSBκ+B−μS+σR,dIdt=βH(h(B))SI+βLSBκ+B−(γ+μ)I,dRdt=γI−(μ+σ)R,dBdt=ξ(h(B))I−δB.(7) ). The two curves above the horizontal axis come together and annihilate each other at (T1h,I)=(T1s,Is). In this example, p(B)=ξM/δ and q(B)=q0+q1B+q2B2.](/cms/asset/e8bd8093-e792-4178-9fde-6e6025453218/tjbd_a_1231850_f0001_b.gif)
We now quantitatively characterize the turning point . It is apparent that
can be determined from
. To determine
, we let
and
denote the value of N that corresponds to
and
, respectively. Using Equation (Equation27
(23)
(23) ), we have
(30)
(30) Hence,
(31)
(31)
By the relationship (Equation12(12)
(12) ) and Theorem 2 of van den Driessche and Watmough [Citation30], the DFE is locally asymptotically stable for
and unstable for
, which resolves the local stability of the bottom branch. The following result is concerned with the local stability of the middle and top branches.
Theorem 3.3
The middle branch of the equilibrium solutions of the system (Equation7
(7)
(7) ) in the backward bifurcation diagram is always unstable.
The top branch of the equilibrium solutions of the system (Equation7
(7)
(7) ) is locally asymptotically stable provided that
.
Proof.
Note that is a constant. Removing the first equation of Equation (Equation7
(7)
(7) ) and replacing S by N−I−R, we can rewrite the system (Equation7
(7)
(7) ) as an equivalent system:
(32)
(32) where
and
are defined in Equation (Equation17
(14)
(14) ).
Let denote an equilibrium solution of Equation (Equation7
(7)
(7) ). Linearizing Equation (Equation32
(28)
(28) ) at
, we find that the corresponding Jacobian matrix,
, takes the form
(33)
(33) It follows from direct calculation that the characteristic equation associated with J is
(34)
(34) for which
(35)
(35) We now prove part 1. Assume that this system has a backward bifurcation. To show the middle branch in the backward bifurcation diagram is unstable, let us consider the equation that solves the nontrivial equilibrium solutions in terms of B; that is,
for which
. This equation gives
(36)
(36) Multiplying
on both sides of Equation (Equation36
(32)
(32) ) yields
(37)
(37) Regard N as an independent variable and fix the other model parameters. Differentiating Equation (Equation37
(33)
(33) ) with respect to N, we obtain
(38)
(38) This yields
(39)
(39) where
(40)
(40) Applying Equations (Equation20
(17)
(17) ) and (Equation21
(18)
(18) ), we have
(41)
(41) with
. Hence, Equation (Equation39
(35)
(35) ) implies that
and
have the same sign. By definition
, it yields
(42)
(42) Direct calculation together with Equation (Equation42
(38)
(38) ) leads to
(43)
(43) This implies that c has the same sign as
. Particularly, in the case where the system (Equation7
(7)
(7) ) has a backward bifurcation, there exists a unique
, at which
, such that
if
; whereas
if
. The middle branch of equilibrium solution (on which
) of a backward bifurcation satisfies c<0, and hence it must be unstable.
We now verify part 2. Each point on the top branch of the equilibrium solutions is an EE. In what follows, we denote the EE by and all the arguments below are restricted to this point. According to the Routh–Hurwitz criterion, it suffices to prove that
(44)
(44)
Clearly, c>0 since along the EE. On the other hand, (a)
; (b)
. Hence, we can rewrite
and
as follows:
(45)
(45) It is obvious that
and
(where the second inequality follows immediately from Equation (Equation19
(16)
(16) )). Meanwhile, by (Hb)–(Hc), one can verify that the following holds:
and
. Thus, a>0.
To prove Equation (Equation44(40)
(40) ), it remains to show that b>0 and ab−c>0. Again by
Equation (Equation42
(38)
(38) ), we obtain
(46)
(46) Additionally,
(47)
(47) In view of Equations (Equation39
(35)
(35) ) and (Equation47
(43)
(43) ), we have
(48)
(48) This first inequality of Equation (Equation48
(44)
(44) ) holds because of Equation (Equation20
(17)
(17) ). The second inequality of Equation (Equation48
(44)
(44) ) follows from Equation (Equation46
(42)
(42) ) and
. Thus, Equation (Equation48
(44)
(44) ) shows that b>0. On the other hand, we have
(49)
(49) This completes the proof.
3.1.3. Global stability analysis.
Let . It is easy to see that Ω is forward invariant for model (Equation7
(7)
(7) ), which can be verified by showing the solutions of Equation (Equation7
(7)
(7) ) do not cross the boundary of Ω. Write
The following results (i.e. Theorems 3.4 and 3.5) establish global dynamics of the slow system (Equation7
(7)
(7) ).
Theorem 3.4
If then the DFE of the slow system (Equation7
(7)
(7) ) is globally asymptotically stable in the region Ω.
Proof.
The idea of the proof is to construct a Lyapunov function. Let ,
One can verify directly that
and
Define a Lyapunov function as
with
. Differentiating Q along the solutions of Equation (Equation7
(7)
(7) ) and applying the definition of
and
, we obtain
(50)
(50) If
, then
implies that wY =0, and hence I=B=0. Furthermore, by the first and third equation of the slow system (Equation7
(7)
(7) ), S=N and R=0. Thus, the only invariant set in Ω where
is the singleton
. It shows that the DFE is globally asymptotically stable in Ω when
.
Proof
Remark of Theorem 3.4
Consider the case of the backward bifurcation. By Equation (Equation31(27)
(27) ) and the definition of
, we find that
(51)
(51) Thus, when
, we have
; i.e.
, and the DFE is globally asymptotically stable in the backward bifurcation domain.
To study the global stability of the EE, we introduce another assumption:
;
.
Theorem 3.5
If the EE of Equation (Equation7
(7)
(7) ) is globally asymptotically stable in
provided that
(C1)–(C2) hold additionally.
Proof.
If , Theorem 3.3 implies that the slow system (Equation7
(7)
(7) ) has a unique EE. In what follows, we will employ the geometric approach (based on the second additive compound matrix) [Citation19] to verify the global stability of the EE (see Appendix 3 for an outline of the geometric approach). Since the DFE is unstable and it lies on the boundary of the domain Ω, the disease is uniformly persistent in
; i.e.
for some
, where
is the
vector norm in
. Moreover, Ω is compact. This implies that there must exist a compact absorbing set in Ω. According to Theorem A.1 of Li and Muldowney [Citation19], it remains to verify that the generalized Bendixson criterion
(see Appendix 3 for the definition of
). The idea of the proof is to construct a norm in
and a matrix-valued function
such that
.
First, by R=N−S−I, we rewritten Equation (Equation7(7)
(7) ) as
(52)
(52) For simplicity, let
By direct calculation, we find that the Jacobian matrix of the linearized system of
Equation (Equation52
(48)
(48) ) is
and the associated second additive compound matrix is
Define
Clearly, P is nonsingular and
in
. Let f denote the vector field of Equation (Equation7
(7)
(7) ). Then
and
Rewrite the matrix
in the block form:
where
with
We now choose the following vector norm
in
One can verify that the Lozinskiǐ measure
with respect to this norm satisfies
where
Here
and
denote matrix norms induced by the
vector norm,
denotes the Lozinskiǐ measure in terms of the
norm. Specifically,
In view of
, we get
and this yields
(53)
(53) The last inequality follows from (C1) and
for all
. Using a similar argument together with (C2), we have
(54)
(54) Thus, Equations (Equation53
(49)
(49) ) and (Equation54
(50)
(50) ) yield
By
, we obtain that, if t is large enough,
Therefore,
if t is large enough. This in turn implies that
and it completes the proof.
Proof
Remark on Theorem 3.5
From the proof of the theorem, we can observe that the conditions (C1)–(C2) can be relaxed to:
; and one of the following :
,
; or
,
.
3.2. The fast system
Introduce a fast time scale . The full system (Equation1
(1)
(1) ), (Equation2
(2)
(2) ) and (Equation3
(3)
(3) ) in terms of the fast time s can be written as
(55)
(55) Populations of human hosts and bacteria in the environment change very little within the fast time scale; that is, if
, S,I,R and B can be regarded as a constant. Setting
in
Equation (Equation55
(51)
(51) ) leads to the fast system
(56)
(56) Integrating Equation (Equation56
(52)
(52) ) in terms of s yields
(57)
(57) The following result establishes the existence, uniqueness and global stability of the equilibrium solution of the fast system.
Theorem 3.6
For each the fast system (Equation56
(52)
(52) ) has a unique equilibrium and this equilibrium is globally asymptotically stable.
Proof.
We know that is the unique solution of
. Define
. We proceed to show that
. One can verify by the standard analysis technique that
If
, Equation (Equation57
(53)
(53) ) yields
This implies that
is the equilibrium solution and it is globally asymptotically stable.
When B=0, the fast system (Equation56(52)
(52) ) depicts the within-host dynamics in isolation. Particularly, if
, then
; i.e. the system has an infection-free equilibrium (IFE) and the within-host infection dies out. This can be easily obtained by looking at the within-host thresholds. Specifically, let
denote the within-host reproduction number, which is a function the bacterial level B in the environment. It is straightforward to derive that
and that
is an increasing function of B (since
is increasing). Let
denote the within-host baseline reproduction number. In view of (H4)
(58)
(58) and
. It then follows immediately from Theorem 2 in [Citation30] that the IFE is locally asymptotically stable.
When B>0, we have , and the fast system (Equation56
(52)
(52) ) captures the within-host dynamics linked to the between-host dynamics through
. In this case, the system has a unique nontrivial equilibrium and the within-host infection persists. Furthermore, the resulting bacterial level in humans will provide feedbacks for the between-host dynamics (involving environment-to-human and human-to-human transmission pathways). It can be observed, however, that this nontrivial equilibrium can be reduced to the IFE of another system through a simple translation, and its stability can then be easily understood. Let
. Then
(59)
(59) The second equality of Equation (Equation59
(55)
(55) ) is obtained by using
. Thus, the equilibrium
of the fast system (Equation56
(52)
(52) ) corresponds to the unique IFE
of the system (Equation59
(55)
(55) ) which is, based on assumption (H4), both locally and globally asymptotically stable.
3.3. The coupled system (1)–(3)
In this section, we will examine the dynamics of the full system (Equation1(1)
(1) )–(Equation3
(3)
(3) ). Let
(60)
(60) Similar to our discussion made to the slow system, the matrix
represents new infections and
represents transition terms of the coupled system (Equation1
(1)
(1) )–(Equation3
(3)
(3) ). Following the next generation method [Citation30], the associated basic reproduction number
is defined as the spectral radius of the next generation matrix
. One can verify that
(61)
(61) where
and
are the between-host (or epidemiological) and within-host (or individual) thresholds defined in Equations (Equation10
(10)
(10) ) and (Equation58
(54)
(54) ), respectively. Since
,
These results indicate that (1) when
or
,
, and the epidemiological reproduction number (i.e. the disease threshold of the slow system (Equation7
(7)
(7) )) will be the disease threshold of the full system. Particularly, when a forward bifurcation occurs, the disease will persist (resp. die out) if the epidemiological reproduction number is greater (resp. less) than one; (2) when
,
and within-host reproduction number will govern the disease threshold dynamics of the full system. On the other hand, it follows from direct calculation that the type reproduction number associated with infectious humans is
(62)
(62) The relationship in Equation (Equation62
(58)
(58) ) implies that this type reproduction number for the coupled system remains the same as the one for the slow system. This is due to our relatively simple formulation of the within-host dynamics, which leads to a one-to-one correspondence between the bacterial concentration in humans and that in the environment at the equilibrium state. Inclusion of human bacterial process generates a backward bifurcation not only in the coupled system but also in the epidemiological model (i.e. the slow system). The occurrence of the backward bifurcation indicates that an EE can exist and the infection can persist even if the epidemiological reproduction number is reduced to below the unity. This result underscores the challenges in the prevention and control of cholera. A numerical illustration of the backward bifurcation for the coupled system is displayed in Figure , which plots the number of infectious hosts as a function of time. It shows that (a) the disease can either die out (see the black dotted curve in Figure ) or persist (see the blue dash-dot curve in Figure ) even if the type reproduction number for infectious humans
is less than one; (b) the full system can undergo a catastrophic transition of the disease in a sense that a small perturbation of
from below one to above one can lead to a dramatic increase of disease prevalence. For instance, it is shown in this figure that the prevalence level in terms of the infectious human population size at the equilibrium can increase from 0 to 56 or so, as a matter of the fact that
is slightly elevated across 1. It is worth mentioning that the initial population size of infectious persons in the case of zero-prevalence is 100, whereas that in the case of 56-prevalence is only 10.
Figure 2. Illustration of the backward bifurcation in the coupled system (Equation1(1)
(1) )–(Equation3
(3)
(3) ). Each curve plots the number of infectious human hosts vs. time (in weeks). The black dotted (resp. blue dash-dot and red solid) curve shows the case where
and the disease dies out (resp. the disease persists when
and
). Note that the red curve is continuous and its peak value for the number of infectious hosts is much higher than the window displayed. Hence two disconnected pieces of red curves are shown. In this example, we set
,
,
and
.
![Figure 2. Illustration of the backward bifurcation in the coupled system (Equation1(1) dSdt=μN−βH(Z)SI−βLSBκ+B−μS+σR,dIdt=βH(Z)SI+βLSBκ+B−(γ+μ)I,dRdt=γI−(μ+σ)R,(1) )–(Equation3(3) dZdt=1ϵ(u(B)+v(Z)−ζZ),(3) ). Each curve plots the number of infectious human hosts vs. time (in weeks). The black dotted (resp. blue dash-dot and red solid) curve shows the case where T1<1 and the disease dies out (resp. the disease persists when T1<1 and T1>1). Note that the red curve is continuous and its peak value for the number of infectious hosts is much higher than the window displayed. Hence two disconnected pieces of red curves are shown. In this example, we set ξ(Z)=ξM, βH(Z)=b0+b1Z+b2Z2, u(B)=B and v(Z)=0.](/cms/asset/87e80395-87dc-4ec7-8a22-1c8265dc9620/tjbd_a_1231850_f0002_c.jpg)
We also numerically verify the global stability of the EE for the full system when by simulating the trajectories with many different initial conditions in the biologically relevant domain. Figure illustrates the projection of these trajectories onto S–I plane. It shows that the solutions converge to the EE (displayed in black dot) over time, an evidence that the EE is globally asymptotically stable.
Figure 3. Numerical verification of the global stability of the EE associated with the coupled system (Equation1(1)
(1) )–(Equation3
(3)
(3) ) when
. This figure plots the phase portrait on S–I plane. It shows that all the trajectories with biologically meaningful initial conditions converge to the EE (displayed in the black dot).
![Figure 3. Numerical verification of the global stability of the EE associated with the coupled system (Equation1(1) dSdt=μN−βH(Z)SI−βLSBκ+B−μS+σR,dIdt=βH(Z)SI+βLSBκ+B−(γ+μ)I,dRdt=γI−(μ+σ)R,(1) )–(Equation3(3) dZdt=1ϵ(u(B)+v(Z)−ζZ),(3) ) when T1>1. This figure plots the phase portrait on S–I plane. It shows that all the trajectories with biologically meaningful initial conditions converge to the EE (displayed in the black dot).](/cms/asset/b8c91479-ce14-4c24-b22f-4d2c25b3f51d/tjbd_a_1231850_f0003_c.jpg)
4. Conclusion and discussion
The main contribution of this work is that we have developed a new mathematical modelling framework to study the within- and between-host dynamics of cholera, and this framework can be easily extended to other infectious diseases with free-living pathogens in the environment. The explicit linkage between disease dynamics at different scales is formulated by presuming a general representation for both the direct transmission and the pathogen shedding, and the interaction between environmental vibrios and human vibrios. Using the proposed model, we have carefully analysed the within- and between-host dynamics of the disease. Our results show that dynamics of the coupled system can be recovered by those of the slow and fast systems obtained by the fast-slow approximations. Particularly, the fast system exhibits a unique equilibrium, either infection-free or endemic, and it is globally asymptotically stable. In contrast, the slow system that captures between-host dynamic is much more complex. This subsystem can undergo a backward bifurcation, and the precise condition for the occurrence of a backward bifurcation is derived. It indicates that reducing the type reproduction number of infectious persons (or the basic reproduction number) below one is not sufficient for eradicating the disease. This finding is distinct from all previous mathematical cholera studies, in which the models only exhibit a forward bifurcation and reducing a disease threshold (e.g. the basic reproduction number) below one leads to disease extinction. The occurrence of the backward bifurcation in our model is a direct result of coupling the within- and between-host cholera dynamics.
There are several limitations in our current study. Our model does not explicitly make a distinction among human hosts, other than partially accounting for it through the ingestion rate and intrinsic growth rate
, and thus each infected individual undergoes the same type of within-host dynamics. This assumption allows our model to be mathematically tractable, though we admit that it is unrealistic and, in reality, many factors (such as age, life style, health condition, and susceptibility level) will play together and possibly lead to very different disease dynamics for different individuals. Another limitation in our current model is the relatively simple formulation of the within-host dynamics which may not be able to capture the full complexity of the biological and pathophysiological processes inside the human body. Incorporation of the immunological modelling principles with detailed pathogen–cell interactions into our model will enrich the within-host dynamics, and lead to potentially deeper understanding of the disease mechanism. The challenge, however, is that the within-host system becomes high dimensional which will complicate the analysis for both the fast and slow system. In addition, our current model assumes that the growth of human vibrios only depends on the environmental vibrios and the intrinsic dynamics of the human vibrios. Practically, the within-host cholera dynamics may also connect to several epidemiological factors, such as the disease prevalence. We plan to investigate these issues in our future study, using both analytical and numerical approaches.
Acknowledgments
The authors would like to thank the editor and the anonymous reviewers for their suggestions that have improved this paper.
Disclosure statement
No potential conflict of interest was reported by the authors.
Additional information
Funding
References
- R.M. Anderson and R.M. May, Infectious Diseases of Humans: Dynamics and Control, Oxford University Press, Oxford, 1991.
- R. Antia, M.A. Nowak, and R.M. Anderson, Antigenic variation and the within-host dynamics of parasites, Proc. Natl. Acad. Sci. USA 93 (1996), pp. 985–989. doi: 10.1073/pnas.93.3.985
- B. Boldin and O. Diekmann, Superinfections can induce evolutionarily stable coexistence of pathogens, J. Math. Biol. 56 (2008), pp. 635–672. doi: 10.1007/s00285-007-0135-1
- V. Capasso and S.L. Paveri-Fontana, A mathematical model for the 1973 cholera epidemic in the European Mediterranean region, Rev. Epidemiol. Sante 27(2) (1979), pp. 121–132.
- V. Capasso and G. Serio, A generalization of the Kermack–Mckendrick deterministic epidemic model, Math. Biosci. 42(1) (1978), pp. 43–61. doi: 10.1016/0025-5564(78)90006-8
- A. Carpenter, Behavior in the time of cholera: Evidence from the 2008–2009 cholera outbreak in Zimbabwe, in Social Computing, Behavioral-Cultural Modeling and Prediction, J. Salerno, S.J. Yang, D. Nau, and S.-K. Chai, eds., Springer, College Park, MD, 2014, pp. 237–244.
- X. Cen, Z. Feng, and Y. Zhao, Emerging disease dynamics in a model coupling within-host and between-host systems, J. Theor. Biol. 361 (2014), pp. 141–151. doi: 10.1016/j.jtbi.2014.07.030
- R.R. Colwell, A global and historical perspective of the genus Vibrio, in The Biology of Vibrios, F.L. Thompson, B. Austin, and J. Swings, eds., ASM Press, Washington, DC, 2006, pp. 3–26.
- D. Coombs, M.A. Gilchrist, and C.L. Ball, Evaluating the importance of within- and between-host selection pressures on the evolution of chronic pathogens, Theor. Popul. Biol. 72 (2007), pp. 576–591. doi: 10.1016/j.tpb.2007.08.005
- M.C. Eisenberg, Z. Shuai, J.H. Tien, and P. van den Driessche, A cholera model in a patchy environment with water and human movement, Math. Biosci. 246(1) (2013), pp. 105–112. doi: 10.1016/j.mbs.2013.08.003
- Z. Feng, J. Velasco-Hernandez, B. Tapia-Santos, and M.C.A. Leite, A model for coupling within-host and between-host dynamics in an infectious disease, Nonlinear Dyn. 68 (2012), pp. 401–411. doi: 10.1007/s11071-011-0291-0
- Z. Feng, J. Velasco-Hernandez, and B. Tapia-Santos, A mathematical model for coupling within-host and between-host dynamics in an environmentally-driven infectious disease, Math. Biosci. 241 (2013), pp. 49–55. doi: 10.1016/j.mbs.2012.09.004
- Z. Feng, X. Cen, Y. Zhao, and J.X. Velasco-Hernandez, Coupled within-host and between-host dynamics and evolution of virulence, Math. Biosci. (2015). Available at http://dx.doi.org/10.1016/j.mbs.2015.02.01.
- W. Garira, D. Mathebula, and R. Netshikweta, A mathematical modelling framework for linked within-host and between-host dynamics for infections with free-living pathogens in the environment, Math. Biosci. 256 (2014), pp. 58–78. doi: 10.1016/j.mbs.2014.08.004
- M.A. Gilchrist and D. Coombs, Evolution of virulence: Interdependence, constraints, and selection using nested models, Theor. Popul. Biol. 69 (2006), pp. 145–153. doi: 10.1016/j.tpb.2005.07.002
- M.A. Gilchrist and A. Sasaki, Modeling host–parasite coevolution: A nested approach based on mechanistic models, J. Theor. Biol. 218 (2002), pp. 289– 308. doi: 10.1006/jtbi.2002.3076
- D.M. Hartley, J.G. Morris, and D.L. Smith, Hyperinfectivity: A critical element in the ability of V. cholerae to cause epidemics?, PLoS Med. 3 (2006), pp. 0063–0069. doi: 10.1371/journal.pmed.0030063
- J.A.P. Heesterbeek and M.G. Roberts, The type-reproduction number T in models for infectious disease control, Math. Biosci. 206 (2007), pp. 3–10. doi: 10.1016/j.mbs.2004.10.013
- M.Y. Li and J.S. Muldowney, A geometric approach to global-stability problems, SIAM J. Math. Anal. 27 (1996), pp. 1070–1083. doi: 10.1137/S0036141094266449
- N. Mideo, S. Alizon, and T. Day, Linking within- and between-host dynamics in the evolutionary epidemiology of infectious diseases, Trends Ecol. Evol. 23 (2008), pp. 511–517. doi: 10.1016/j.tree.2008.05.009
- Z. Mukandavire, S. Liao, J. Wang, H. Gaff, D.L. Smith, and J.G. Morris, Estimating the reproductive numbers for the 2008–2009 cholera outbreaks in Zimbabwe, Proc. Natl. Acad. Sci. USA 108 (2011), pp. 8767–8772. doi: 10.1073/pnas.1019712108
- R.L.M. Neilan, E. Schaefer, H. Gaff, K.R. Fister, and S. Lenhart, Modeling optimal intervention strategies for cholera, Bull. Math. Biol. 72 (2010), pp. 2004–2018. doi: 10.1007/s11538-010-9521-8
- E.J. Nelson, J.B. Harris, J.G. Morris, S.B. Calderwood, and A. Camilli, Cholera transmission: The host, pathogen and bacteriophage dynamics, Nat. Rev.: Microbiol. 7 (2009), pp. 693–702.
- M.G. Roberts and J.A.P. Heesterbeek, A new method for estimating the effort required to control an infectious disease, Proc. R. Soc. B 270 (2003), pp. 1359–1364. doi: 10.1098/rspb.2003.2339
- M. Shen, Y. Xiao, and L. Rong, Global stability of an infection-age structured HIV-1 model linking within-host and between-host dynamics, Math. Biosci. 263 (2015), pp. 37–50. doi: 10.1016/j.mbs.2015.02.003
- Z. Shuai and P. van den Driessche, Global dynamics of cholera models with differential infectivity, Math. Biosci. 234(2) (2011), pp. 118–126. doi: 10.1016/j.mbs.2011.09.003
- Z. Shuai and P. van den Driessche, Modelling and control of cholera on networks with a common water source, J. Biol. Dyn. 9(1) (2015), pp. 90–103. doi: 10.1080/17513758.2014.944226
- J.P. Tian and J. Wang, Global stability for cholera epidemic models, Math. Biosci. 232(1) (2011), pp. 31–41. doi: 10.1016/j.mbs.2011.04.001
- J.H. Tien and D.J.D. Earn, Multiple transmission pathways and disease dynamics in a waterborne pathogen model, Bull. Math. Biol. 72(6) (2010), pp. 1506–1533. doi: 10.1007/s11538-010-9507-6
- P. van den Driessche and J. Watmough, Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission, Math. Biosci. 180 (2002), pp. 29–48. doi: 10.1016/S0025-5564(02)00108-6
- Y. Wang and J. Cao, Global stability of general cholera models with nonlinear incidence and removal rates, J. Franklin Inst. 352(6) (2015), pp. 2464–2485. doi: 10.1016/j.jfranklin.2015.03.030
- J. Wang and S. Liao, A generalized cholera model and epidemic–endemic analysis, J. Biol. Dyn. 6(2) (2012), pp. 568–589. doi: 10.1080/17513758.2012.658089
- J. Wang and C. Modnak, Modeling cholera dynamics with controls, Can. Appl. Math. Quart. 19(3) (2011), pp. 255–273.
- X. Wang and J. Wang, Analysis of cholera epidemics with bacterial growth and spatial movement, J. Biol. Dyn. 9 (2015), pp. 233–261. doi: 10.1080/17513758.2014.974696
- X. Wang, D. Gao, and J. Wang, Influence of human behavior on cholera dynamics, Math. Biosci. 267 (2015), pp. 41–52. doi: 10.1016/j.mbs.2015.06.009
- X. Wang, D. Posny, and J. Wang, A reaction–convection–diffusion model for cholera spatial dynamics, Discrete Continuous Dyn. Syst. Ser. B. 21(8) (2016), pp. 2785–2809.
Appendix 1. Type reproduction number
If disease control is targeted at a particular host type, a useful threshold is known as the type reproduction number, T. The type reproduction number defines the expected number of secondary infective cases of a particular population type caused by a typical primary case in a completely susceptible population [Citation18,Citation24]. It is an extension of the basic reproduction number .
The type reproduction number for the control of the target population type i is defined in Refs. [Citation18,Citation24] as
(A1)
(A1) provided the spectral radius of matrix
is less than one. Here
is the next generation matrix of size n.
is the identity matrix.
is a column vector with all zero entries except that the ith entry is 1.
is the
projection matrix with all zero entries except that the
entry is 1. Write
. Particularly, if n=2, the type reproduction T can be easily defined in terms of the elements
(A2)
(A2)
(resp.
) exists provided
(resp.
).
Appendix 2. Model parameters and functions
The definition and base values of parameters in our cholera models are provided in Table . Here p (resp. y, d and h) represents a person (resp. year, day and hour).
Table A.1. Definition of model parameters.
Appendix 3. The geometric approach
We now present the main result of the geometric approach for global stability, originally developed by Li and Muldowney [Citation19].
We consider a dynamical system
(A3)
(A3) where
is a
function and
is a simply connected open set. Let
be a
matrix-valued
function in D, and set
where
is the derivative of P (entry-wise) along the direction of f, and
is the second additive compound matrix of the Jacobian
. Let
be the Lozinskiǐ measure of U with respect to a matrix norm; i.e.
where
represent the identity matrix. Define a quantity
as
where K is a compact absorbing subset of D. Then the condition
provides a Bendixson criterion in D. As a result, the following theorem holds:
Theorem A.1
Assume that there exists a compact absorbing set and the system (Equation65
(61)
(61) ) has a unique equilibrium point
in D. Then
is globally asymptotically stable in D if
.