Abstract
The evolution and emergence of antibiotic resistance is a major public health concern. The understanding of the within-host microbial dynamics combining mutational processes, horizontal gene transfer and resource consumption, is one of the keys to solving this problem. We analyze a generic model to rigorously describe interactions dynamics of four bacterial strains: one fully sensitive to the drug, one with mutational resistance only, one with plasmidic resistance only, and one with both resistances. By defining thresholds numbers (i.e. each strain’s effective reproduction and each strain’s transition threshold numbers), we first express conditions for the existence of non-trivial stationary states. We find that these thresholds mainly depend on bacteria quantitative traits such as nutrient consumption ability, growth conversion factor, death rate, mutation (forward or reverse), and segregational loss of plasmid probabilities (for plasmid-bearing strains). Next, concerning the order in the set of strain’s effective reproduction thresholds numbers, we show that the qualitative dynamics of the model range from the extinction of all strains, coexistence of sensitive and mutational resistance strains, to the coexistence of all strains at equilibrium. Finally, we go through some applications of our general analysis depending on whether bacteria strains interact without or with drug action (either cytostatic or cytotoxic).
Similar content being viewed by others
References
Ankomah P, Levin BR (2014) Exploring the collaboration between antibiotics and the immune response in the treatment of acute, self-limiting infections. Proc Natl Acad Sci 111(23):8331–8338
Bahl MI, Sørensen SRJ, Hestbjerg Hansen L (2004) Quantification of plasmid loss in Escherichia coli cells by use of flow cytometry. FEMS Microbiol Lett 232(1):45–49
Bergstrom CT, Lipsitch M, Levin BR (2000) Natural selection, infectious transfer and the existence conditions for bacterial plasmids. Genetics 155(4):1505–1519
Blanquart F (2019) Evolutionary epidemiology models to predict the dynamics of antibiotic resistance. Evol Appl 12(3):365–383
Bush K, Fisher JF (2011) Epidemiological expansion, structural studies, and clinical challenges of new \(\beta \)-lactamases from gram-negative bacteria. Annu Rev Microbiol 65:455–478
Carattoli A, Villa L, Poirel L, Bonnin RA, Nordmann P (2012) Evolution of IncA/C blaCMY-2-carrying plasmids by acquisition of the blaNDM-1 carbapenemase gene. Antimicrob Agents Chemother 56(2):783–786
CDC (2019) Antibiotic Resistance Threats in the United States, 2019. U.S, Department of Health and Human Services, CDC, Atlanta, GA
Charlton CL, Hindler JA, Turnidge J, Humphries RM (2014) Precision of vancomycin and daptomycin MICs for methicillin-resistant Staphylococcus aureus and effect of subculture and storage. J Clin Microbiol 52(11):3898–3905
Colijn C, Cohen T (2015) How competition governs whether moderate or aggressive treatment minimizes antibiotic resistance. Elife 4:e10559
Cushing JM (1998) An Introduction to Structured Population Dynamics, CBMS-NSF Reg. Conf. Ser. Appl. Math. 71, SIAM, Philadelphia
Dionisio F, Matic I, Radman M, Rodrigues OR, Taddei F (2002) Plasmids spread very fast in heterogeneous bacterial communities. Genetics 162(4):1525–1532
Engel KJ, Nagel R (2001) One-parameter semigroups for linear evolution equations. In Semigroup forum (Vol. 63, No. 2, pp. 278-280). Springer-Verlag
Gjini E, Brito PH (2016) Integrating antimicrobial therapy with host immunity to fight drug-resistant infections: classical vs. adaptive treatment. PLoS computational biology, 12(4), e1004857
Gordon DM (1992) Rate of plasmid transfer among Escherichia coli strains isolated from natural populations. Microbiology 138(1):17–21
Hale JK, Waltman P (1989) Persistence in infinite-dimensional systems. SIAM. J. Math. Anal. 20:388–395
Handel A, Margolis E, Levin BR (2009) Exploring the role of the immune response in preventing antibiotic resistance. J Theor Biol 256(4):655–662
Hughes VM, Datta N (1983) Conjugative plasmids in bacteria of the ‘pre-antibiotic’era. Nature 302(5910):725
Kato T (1976) Perturbation theory for linear operators. 1966. New York, 3545
Levin BR, Stewart FM, Rice VA (1979) The kinetics of conjugative plasmid transmission: fit of a simple mass action model. Plasmid 2(2):247–260
Lili LN, Britton NF, Feil EJ (2007) The persistence of parasitic plasmids. Genetics 177(1):399–405
Li MY, Wang L (1998) A criterion for stability of matrices. J Math Anal Appl 225(1):249–264
Loewe L, Textor V, Scherer S (2003) High deleterious genomic mutation rate in stationary phase of Escherichia coli. Science 302(5650):1558–1560
Lopatkin AJ, Huang S, Smith RP, Srimani JK, Sysoeva TA, Bewick S, Karing DK, You L (2016) Antibiotics as a selective driver for conjugation dynamics. Nature microbiology 1(6):16044
Martinez JL (2008) Antibiotics and antibiotic resistance genes in natural environments. Science 321(5887):365–367
Melnyk AH, Wong A, Kassen R (2015) The fitness costs of antibiotic resistance mutations. Evol Appl 8(3):273–283
Moellering RC Jr (2010) NDM-1-a cause for worldwide concern. N Engl J Med 363(25):2377–2379
Philippon A, Arlet G, Jacoby GA (2002) Plasmid-determined AmpC-type \(\beta \)-lactamases. Antimicrob Agents Chemother 46(1):1–11
San Millan A, Peña-Miller R, Toll-Riera M, Halbert ZV, McLean AR, Cooper BS, MacLean RC (2014) Positive selection and compensatory adaptation interact to stabilize non-transmissible plasmids. Nature communications 5(1):1–11
Sniegowski P (2004) Evolution: bacterial mutation in stationary phase. Curr Biol 14(6):R245–R246
Svara F, Rankin DJ (2011) The evolution of plasmid-carried antibiotic resistance. BMC Evol Biol 11(1):130
Tazzyman SJ, Bonhoeffer S (2014) Plasmids and evolutionary rescue by drug resistance. Evolution 68(7):2066–2078
Thomas CM, Nielsen KM (2005) Mechanisms of, and barriers to, horizontal gene transfer between bacteria. Nat Rev Microbiol 3(9):711
Vogwill T, MacLean RC (2015) The genetic basis of the fitness costs of antimicrobial resistance: a meta-analysis approach. Evol Appl 8(3):284–295
Yates CM, Shaw DJ, Roe AJ, Woolhouse MEJ, Amyes SGB (2006) Enhancement of bacterial competitive fitness by apramycin resistance plasmids from non-pathogenic Escherichia coli. Biol Lett 2(3):463–465
zur Wiesch PS, Engelstädter J, Bonhoeffer S (2010) Compensation of fitness costs and reversibility of antibiotic resistance mutations. Antimicrob Agents Chemother 54(5):2085–2095
zur Wiesch PA, Kouyos R, Engelstädter J, Regoes RR, Bonhoeffer S (2011) Population biological principles of drug-resistance evolution in infectious diseases. Lancet Infect Dis 11(3):236–247
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Proof of Theorem 3.1
The right-hand side of System (2.2) is continuous and locally lipschitz on \({\mathbb {R}}^5\). Using a classic existence theorem, we then find \(T>0\) and a unique solution \(E(t)\omega _0= \left( B(t),N_s(t),N_m(t),N_p(t),N_{m.p}(t)\right) \) of (2.2) from \([0,T) \rightarrow {\mathbb {R}}^5\) and passing through the initial data \(\omega _0\) at \(t=0\). Let us now check the positivity and boundedness of the solution E on [0, T).
Since \(E(\cdot )\omega _0\) starts in the positive orthant \({\mathbb {R}}^5_+\), by continuity, it must cross at least one of the five borders \(\{B=0\}\), \(\{N_j=0\}\) (with \(j\in {\mathcal {J}}\)) to become negative. Without loss of generality, let us assume that E reaches the border \(\{N_s=0\}\). This means we can find \(t_1 \in (0,t)\) such that \(N_j(t)>0\) for all \(t \in (0,t_1)\), \(j \in {\mathcal {J}}\) and \(N_s(t_1)=0\), \(B(t_1) \ge 0\), \(N_j(t_1) \ge 0\) for \(j \in {\mathcal {J}}\). Then, the \(\dot{N}_s\)-equation of (2.2) yields \(\dot{N}_s(t_1)= \theta \tau _p\beta _p B(t_1)N_p(t_1) +\varepsilon _m\tau _m\beta _m B(t_1)N_m(t_1) \ge 0\), from where the orbit \(E(\cdot )\omega _0\) cannot cross \({\mathbb {R}}^5_+\) through the border \(\{N_s=0\}\). Similarly, we prove that at any borders \(\{B=0\}\), \(\{N_j=0\}\) (with \(j \in {\mathcal {J}}\)), either the resulting vector field stays on the border or points inside \({\mathbb {R}}^5_+\). Consequently, \(E([0,T))\omega _0 \subset {\mathbb {R}}^5_+\).
Recalling that \(N=\sum _{j \in {\mathcal {J}}} N_j\) and adding up the \(\dot{N}\)- and \(\dot{B}\)-equations, it comes
from where one deduces estimate (3.2). So, the aforementioned local solution of System (2.2) is a global solution i.e. defined for all \(t\in {\mathbb {R}}_+\). Which ends the proof of Theorem 3.1.
Proof of Theorem 3.3
If we consider a small perturbation of the bacteria-free steady state \(E^0\), the initial phase of the invasion can be described by the linearized system at \(E^0\). Since the linearized equations for bacteria populations do not include the one for the nutrient, we then have
with \( J[E^0]= \left( \begin{array}{cc} B_0G-D &{}\quad B_0L_p\\ 0 &{}\quad B_0(G_p-L_p)-D_p \end{array} \right) .\)
We claim that
Claim B.1
For small mutation rates \(\varepsilon _j\), the principal eigenvalue \(r(B_0G-D )\) and \(r( B_0(G_p-L_p)-D_p)\), of matrices \((B_0G-D )\) and \(( B_0(G_p-L_p)-D_p)\) writes
i.e.
In the same way, we have
Denoting by \(\sigma (J[E^0])\) the spectrum of \(J[E^0]\), we recall that the stability modulus (Li and Wang 1998) or spectral bound (Engel and Nagel 2001) of \(J[E^0]\) is \(s_0(J[E^0])=\{\max \text {Re}(z): z\in \sigma (J[E^0]) \}\) and \(J[E^0]\) is said to be locally asymptotically stable (l.a.s.) if \(s_0(J[E^0])<0\). Following Claim B.1 it comes
where the last approximation holds for small mutation rates.
Note that, when mutation rates are small enough, we obtain \(s_0(J[E^0])<0\) if and only if \({\mathcal {R}}^*<1\), i.e. \(E^0\) is l.a.s if \({\mathcal {R}}^*<1\) and unstable if \({\mathcal {R}}^*>1\).
We now check the global stability of \(E^0\) when \({\mathcal {T}}^* <1\). The \(\dot{B}\)-equation of (2.2) gives \( \dot{B} \le \Lambda - dB\). Further, \(B_0\) is a globally attractive stationary state of the upper equation \( \dot{w} = \Lambda - dw\), i.e. \(w(t)\rightarrow B_0\) as \(t\rightarrow \infty \). Which gives \(w(t)\le B_0\) for sufficiently large time t, from where \(B(t)\le B_0\) for sufficiently large time t. Combining this last inequality with the total bacteria dynamics described by (2.1), we find \(\dot{N}\le \sum _{j \in {\mathcal {J}}}\left( \beta _j\tau _j B_0 -d_j\right) N\le c_0({\mathcal {T}}^*-1)N\), with \(c_0>0\) a positive constant. Therefore \(N(t) \le N(0) e^{c_0({\mathcal {T}}^*-1)t} \rightarrow 0\) as as \(t\rightarrow \infty \). This ends the proof of the global stability of \(E^0\) when \({\mathcal {T}}^* <1\).
Item (iii) of the theorem remains to be checked. To do so we will apply results in Hale and Waltman (1989). Let us first notice that \(E^0\) is an unstable stationary state with respect to the semiflow E. To complete the proof, it is sufficient to show that \(W^s(\{E^0\})\cap X_0=\emptyset \), where \(W^s(\{E^0\})= \left\{ w \in \Omega : \lim _{t\rightarrow \infty } E(t)w= E^0\right\} \) is the stable set of \(\{E^0\}\). To prove this assertion, let us argue by contradiction by assuming that there exists \(w \in W^s(\{E^0\})\cap X_0\). We set \(E(t)w=(B(t),N_s(t),N_m(t),N_p(t),N_{m.p}(t))\). The \(\dot{N}\)-equation defined by (2.1) gives
Since \(\min _j {\mathcal {T}}_j>1\) and it is assumed that \(B(t) \rightarrow B_0\) as \(t\rightarrow \infty \), we find that the function \(t \mapsto N(t)=N_s(t)+N_m(t)+N_p(t)+N_{m.p}(t)\) is not decreasing for t large enough. Hence there exists \(t_0\ge 0\) such that \(N(t) \ge N(t_0)\) for all \(t\ge t_0\). Since \(N(t_0)>0\), this prevents the component \((N_s,N_m,N_p,N_{m.p})\) from converging to (0, 0, 0, 0) as \(t \rightarrow \infty \). A contradiction with \(E(t)\omega \rightarrow E^0\). This completes the proof of Theorem 3.3.
Proof of Theorem 4.1
The stationary state \(E^*_{s-m}= \left( B^*,u^*,0 \right) \). Here, it is useful to considered the abstract formulation of the model given by (2.3). Setting \(v=0\), the \(\dot{u}\)-equation of (2.3) gives \(\left[ BG-D\right] u=0\) i.e. \(D^{-1}Gu= u/B\). Since \(D^{-1}G= \left[ \begin{array}{cc} {\mathcal {R}}_s/B_0 &{}\quad {\mathcal {K}}_{m\rightarrow s}/B_0\\ {\mathcal {K}}_{s\rightarrow m}/B_0 &{}\quad {\mathcal {R}}_m/B_0 \end{array} \right] \) is a positive and irreducible matrix, from the so-called Perron-Frobenius theorem, \(1/B= r(D^{-1}G)\) and \(u=c\phi \), where \(\phi >0\) is the eigenvector of \(D^{-1}G\) corresponding to \(r(D^{-1}G)\) and normalized such that \(\Vert \phi \Vert _1=1\) and \(c>0\) is a positive constant. Notice that \(\phi >0\) means all components of the vector \(\phi \) are positive. More precisely, we have
with \(\phi _0= \left( {\mathcal {R}}_s -{\mathcal {R}}_m + \left[ \left( {\mathcal {R}}_s -{\mathcal {R}}_m \right) ^2 +4 {\mathcal {K}}_{m\rightarrow s} {\mathcal {K}}_{s\rightarrow m} \right] ^{1/2} ,2 {\mathcal {K}}_{s\rightarrow m}\right) ^T\).
Further, from the \(\dot{B}\)-equation we find \(\Lambda -dB= c B \left\langle (\beta _s,\beta _m),\phi \right\rangle \), i.e.
Approximation of \({\mathcal {P}} \left( E^*_{s-m}\right) \) for small mutation rates. Now, let us assume that mutation rates \(\varepsilon _j\) are small enough. Without loss of generality, we express parameters \(\varepsilon _j\) as functions of the same quantity, let us say \(\eta \), with \(\eta \ll 1\). We have
By setting \(\zeta _\eta ={\mathcal {R}}_s -{\mathcal {R}}_m + \left[ \left( {\mathcal {R}}_s -{\mathcal {R}}_m \right) ^2 +4 {\mathcal {K}}_{m\rightarrow s} {\mathcal {K}}_{s\rightarrow m} \right] ^{1/2}\), it comes
Next, we find a simple approximation of the frequency \({\mathcal {P}} \left( E^*_{s-m}\right) \) for cases \({\mathcal {R}}_s>{\mathcal {R}}_m\) and \({\mathcal {R}}_s<{\mathcal {R}}_m\), i.e. \({\mathcal {T}}_s>{\mathcal {T}}_m\) and \({\mathcal {T}}_s<{\mathcal {T}}_m\) for small mutations \(\varepsilon _j\)’s.
Case \({\mathcal {T}}_s>{\mathcal {T}}_m\). From estimates (C.2) and (C.3) it comes
Case \({\mathcal {T}}_s<{\mathcal {T}}_m\). From estimates (C.2) and (C.3) it comes
The stationary state \(E^*= \left( B^*,N_s^*,N_m^*,N_p^*,N^*_{m.p} \right) \). By setting \(u=(N_s,N_m)^T\), \(v=(N_p,N_{m.p})^T\) and taking \(\dot{u}= \dot{v}=0\) in (2.3), we have
i.e.
with
Note that the spectrum of L is \(\sigma (L)= \sigma \left( D^{-1}G\right) \cup \sigma \left( D_p^{-1}(G_p-L_p)\right) \) and the spectral radius of matrices \(D^{-1}G\) and \(D_p^{-1}(G_p-L_p)\) are given by
We now introduced a parametric representation of the stationary state \(E^*\) with respect to the small parameter \(\alpha \). Using the Lyapunov–Schmidt expansion (see Cushing 1998 for more details), the expanded variables are
with \(u^0=(N_s^0,N_m^0)\), \(v^0=(N_p^0,N_{m.p}^0)\) and \(N^0=N_s^0+N_m^0+N_p^0+N_{m.p}^0.\)
Evaluating the substitution of expansions (C.5) into the eigenvalue equation (C.4) at \({\mathcal {O}}(\alpha ^0)\) produces \(b_0 L (u^0,v^0)= (u^0,v^0)\), i.e.
Since we are interested in \(v_0>0\), System (C.6) leads to \(b^0 D_p^{-1}(G_p-L_p)v^0=v^0\). The irreducibility of the matrix \(D_p^{-1}(G_p-L_p)\) gives that \((1/b_0,v^0)\) is the principal eigenpair of \(D_p^{-1}(G_p-L_p)\). That is \(1/b^0= r(D_p^{-1}(G_p-L_p))\) and \(v^0= c_0 \frac{\varphi _0}{\Vert \varphi _0\Vert _1} \), wherein \(c_0\) is a positive constant and
\(\varphi _0= \left( {\mathcal {R}}_p -{\mathcal {R}}_{m.p} + \left[ \left( {\mathcal {R}}_p -{\mathcal {R}}_{m.p} \right) ^2 +4 {\mathcal {K}}_{m.p\rightarrow p} {\mathcal {K}}_{p\rightarrow m.p} \right] ^{1/2} ,2 {\mathcal {K}}_{p\rightarrow m.p}\right) ^T.\)
Again, System (C.6) gives
Since \(D^{-1}L_pv^0 = \text {diag} \left( {\mathcal {K}}_{p\rightarrow s}, {\mathcal {K}}_{m.p\rightarrow m}\right) v^0\) which is positive, equation (C.7) can be solved for \(u_0>0\) iff \(1/b^0> r\left( D^{-1}G\right) \) and so \(u^0 = -(D^{-1}G -1/b^0{\mathbb {I}})^{-1} D^{-1}L_pv^0.\)
From the \(\dot{B}\)-equation of the model, the term of order \({\mathcal {O}}(\alpha ^0)\) leads to
Consequently, it comes \(b_0>0\) and \((u^0,v^0)>0\) are such that
conditioned by
Again, evaluating the substitution of expansions (C.5) into the eigenvalue equation (C.4) at \({\mathcal {O}}(\alpha )\) produces
that is
As \(1/b^0\) is a characteristic value of \(D_p^{-1}(G_p-L_p)\), \((b^0D_p^{-1}(G_p-L_p)-{\mathbb {I}})\) is a singular matrix. Thus, for (C.9b) to have a solution, the right-hand side of (C.9b) must be orthogonal to the null space of the adjoint \((b^0D_p^{-1}(G_p-L_p)-{\mathbb {I}})^{T}\) of \((b^0D_p^{-1}(G_p-L_p)-{\mathbb {I}})\). The null space of \((b^0D_p^{-1}(G_p-L_p)-{\mathbb {I}})^{T}\) is spanned by \(\omega _0\), where \(\omega _0^T\) is the eigenvector of \((D_p^{-1}(G_p-L_p))^T\) corresponding to the eigenvalue \(1/b^0\) and normalized such that \(\Vert \omega _0\Vert _1=1\). The Fredholm condition for the solvability of (C.9b) is \( \omega _0 \cdot \left( \frac{b_1}{b_0} v^0 + \frac{N_p^0+ N_{m.p}^0}{a_H+b_HN^0} D_p^{-1}u^0 \right) = 0\). Which gives
and so
Approximation of \(E^*\) for small mutation and HGT flux rates. Here we derive a simple approximation of the stationary state \(E^*\) when mutation and HGT flux rates \(\varepsilon _j\) and \(\alpha \) are small. Without loss of generality, we express parameters \(\varepsilon _j\) and \(\alpha \) as functions of the same quantity, let us say \(\eta \), with \(\eta \ll 1\). First, we have
Next, we consider two cases \({\mathcal {R}}_p> {\mathcal {R}}_{m.p}\) and \({\mathcal {R}}_p< {\mathcal {R}}_{m.p}\), i.e. \({\mathcal {T}}_p> {\mathcal {T}}_{m.p} \) and \({\mathcal {T}}_p< {\mathcal {T}}_{m.p}\) for small mutations \(\varepsilon _j\)’s.
Case \({\mathcal {T}}_p> {\mathcal {T}}_{m.p}\). Recall that condition (C.8) for the existence of the stationary state \(E^*\) simply rewrites
which, for small \(\eta \), rewrites
We have \(\varphi _0= \left( ({\mathcal {T}}_p -{\mathcal {T}}_{m.p})(1-\theta )(1-\eta ) , \eta B_0\tau _p\beta _p/d_{m.p}\right) ^T + {\mathcal {O}}(\eta ^2)\) and \(\omega _0= \left( ({\mathcal {T}}_p -{\mathcal {T}}_{m.p})(1-\theta )(1-\eta ) , \eta B_0\tau _{m.p}\beta _{m.p}/d_p \right) + {\mathcal {O}}(\eta ^2)\). Which gives the following approximation of the stationary state \(E^*\):
with \(\Delta ^\eta _{p-m.p}= ({\mathcal {T}}_p -{\mathcal {T}}_{m.p})(1-\theta )(1-\eta )\), \(\Delta ^\eta _{p-m}= {\mathcal {T}}_p (1-\theta )(1-\eta )- {\mathcal {T}}_m (1-\eta )\),
\(\Delta ^\eta _{p-s}= {\mathcal {T}}_p (1-\theta )(1-\eta )- {\mathcal {T}}_s (1-\eta )\), \(c_0= \frac{d \left( {\mathcal {R}}_p -{\mathcal {R}}_{m.p} + {\mathcal {K}}_{p\rightarrow m.p}\right) \left( {\mathcal {R}}_p-1 \right) }{ \beta ^* }>0\) and
From where, \({\mathcal {P}}(E^*)= {\mathcal {P}}^*_m+ {\mathcal {P}}^*_p+ {\mathcal {P}}^*_{m.p}\),
with \({\mathcal {P}}^*_m= \eta \frac{B_0 \theta }{\Delta ^\eta _{p-s} } \frac{\Delta ^\eta _{p-m.p} \frac{B_0\tau _s\beta _s}{d_m} \frac{B_0\tau _p \beta _p}{d_s} + \Delta ^\eta _{p-s} \frac{B_0\tau _{m.p}\beta _{m.p}}{d_m} \frac{B_0\tau _p\beta _p}{d_{m.p}} }{ \Delta ^\eta _{p-m} N^\eta }\), \({\mathcal {P}}^*_p= \frac{\Delta ^\eta _{p-m.p}}{N^\eta }\), \({\mathcal {P}}^*_{m.p} = \eta \frac{B_0\tau _p\beta _p}{d_{m.p} N^\eta }\) and \(N^\eta =\Delta ^\eta _{p-m.p} + \eta \frac{B_0\tau _p\beta _p}{d_{m.p}} + \frac{B_0 \theta }{\Delta ^\eta _{p-s} } \left( \Delta ^\eta _{p-m.p} \frac{B_0\tau _p\beta _p}{d_s}+ \eta \frac{\Delta ^\eta _{p-m.p} \frac{B_0\tau _s\beta _s}{d_m} \frac{B_0\tau _p\beta _p}{d_s} + \Delta ^\eta _{p-s} \frac{B_0\tau _{m.p}\beta _{m.p}}{d_m} \frac{B_0\tau _p\beta _p}{d_{m.p}} }{ \Delta ^\eta _{p-m} } \right) .\)
With the Taylor expansion it comes
Case \({\mathcal {T}}_p< {\mathcal {T}}_{m.p}\). Again, condition (C.8) for the existence of the stationary state \(E^*\) becomes
which, for sufficiently \(\eta \), rewrites
Again, by Taylor expansion, we find
Since \(u^0= -(D^{-1}G -1/b^0{\mathbb {I}})^{-1} D^{-1}L_pv^0,\) we then have
From where, \({\mathcal {P}}(E^*)= {\mathcal {P}}^*_m+ {\mathcal {P}}^*_p+ {\mathcal {P}}^*_{m.p}\), with
Proof of Theorem 4.2
The linearized system at a given stationary state \(E^*=(B^*,u^*,v^*)\) writes
wherein \(J[E^*]\) is defined by the Jacobian matrix associated to (D.12) and is given by
with \(\xi ^*_s=H'(N^*)N^*_s(N^*_p+N^*_{m.p}),\) and \(\xi ^*_m=H'(N^*)N^*_m(N^*_p+N^*_{m.p})\). Without loss of generality, and when necessary, we express parameters \(\varepsilon _j\) and \(\alpha \) as functions of the same quantity, let us say \(\eta \), with \(\eta \ll 1\).
Recall that the stability modulus of a matrix M is \(s_0(M)=\{\max \text {Re}(z): z\in \sigma (M) \}\) and M is said to be locally asymptotically stable (l.a.s.) if \(s_0(M)<0\) (Li and Wang 1998).
Stablity of \(E^*_{s-m}\). At point \(E^*_{s-m}\), the Jacobian matrix \(J[E^*_{s-m}]\) writes
with
Then, \(E^*_{s-m}\) is unstable if \(s_0 \left( Y[E^*_{s-m}]\right) >0\) and a necessary condition for the stability of \(E^*_{s-m}\) is that \(s_0 \left( Y[E^*_{s-m}]\right) <0\). By setting \(h^*_j= \frac{N^*_j}{a_H+b_HN^*}\), with \(j=s,m\); note that
and eigenvalues \(z_1\), \(z_2\) of \(Y[E^*_{s-m}]\) are such that
From where, for sufficiently small mutation and flux of HGT rates, we have
Next, it remains to check the stability of the block matrix \(Z[E^*_{s-m}]\):
Again, recalling that \((N^*_s,N^*_m)= \frac{d\left( B_0r(D^{-1}G)-1\right) }{\left\langle (\beta _s,\beta _m),\phi _0\right\rangle } \phi _0 \), the expansion of the matrix \(Z[E^*_{s-m}]\) takes the form \( Z[E^*_{s-m}]= Z^0+ \eta Z^\eta \), wherein
with \(n^0_s= \frac{c^0}{2} \left( {\mathcal {T}}_s- {\mathcal {T}}_m +|{\mathcal {T}}_s-{\mathcal {T}}_m | \right) \), \(\frac{1}{b^0}= \frac{1}{2B_0} \left( {\mathcal {T}}_s+ {\mathcal {T}}_m +|{\mathcal {T}}_s-{\mathcal {T}}_m | \right) \), and where \(c^0\) is a positive constant (which does not depends on \(\eta \)). We first assume that \({\mathcal {T}}_s > {\mathcal {T}}_m\). Then, eigenvalues \(z^0_k\) (\(k=1,2,3\)) of \(Z^0\) are such that \(z^0_1= b^0\tau _m\beta _m -d_m\), and \(z^0_2\), \(z^0_3\) are solution of
Since \(d_s- b^0\tau _s\beta _s= d_s \left( 1- \frac{2}{{\mathcal {T}}_s+ {\mathcal {T}}_m +|{\mathcal {T}}_s-{\mathcal {T}}_m |} {\mathcal {T}}_s \right) \ge 0 \), coefficients of the previous polynomial are positive and so \({\mathcal {R}}_e(z^0_2)<0\), \({\mathcal {R}}_e(z^0_3)<0\). Moreover, \(z^0_1= d_m \left( \frac{2}{{\mathcal {T}}_s+ {\mathcal {T}}_m +|{\mathcal {T}}_s-{\mathcal {T}}_m |} {\mathcal {T}}_m -1 \right) \le 0\), from where \(s_0(Z^0)<0\), which gives \(s_0(Z[E^*_{s-m}])<0\) for \(\eta \) sufficiently small (Kato 1976). Consequently, for small \(\eta \), \(E^*_{s-m}\) is l.a.s if and only if \(s_0(Y[E^*_{s-m}])<0\).
Stability of \(E^*\). Let
Then \(J[E^*]\) takes the form \(J[E^*]= J^*_0 + \eta J^*_\eta \), with \(J^*_0= \)
Recall that, for \(\eta \) sufficiently small, the existence of \(E^*\) is ensured by
If \({\mathcal {T}}_p> {\mathcal {T}}_{m.p}\), from (C.10), we have \(b^*_0=\frac{B_0}{(1-\theta ){\mathcal {T}}_p}\), \(x^*_m=x^*_{m.p}=0\), and \(J^*_0\) rewrites \(J^*_0= \)
Denoting by \(\sigma (\cdot )\) the spectrum of a given matrix, we have \(\sigma (J^*_0)=\left\{ b^*_0(1-\theta )\mu _{m.p}-d_{m.p}, b^*_0\mu _m-d_m \right\} \cup \sigma (Y^*_0)\), where
Since \(b^*_0(1-\theta )\mu _{m.p}-d_{m.p}= d_{m.p} \left( {\mathcal {T}}_{m.p}/{\mathcal {T}}_p-1\right) <0 \) and \(b^*_0\mu _{m}-d_m= d_{m} \left( {\mathcal {T}}_{m}/((1-\theta ){\mathcal {T}}_p)-1\right) <0\), then \(E^*\) is l.a.s. iff \(s_0\left( Y^*_0\right) <0\). The characteristic polynomial of \(Y^*_0\) writes \(\pi (z)=z^3 +\pi _2 z^2 + \pi _1 z +\pi _0\), with
By the Routh–Hurwitz stability criterion we deduce that \(\pi \) is a stable polynomial (i.e. \(s_0\left( Y^*_0\right) <0\)), and then \(E^*\) is l.a.s..
If \({\mathcal {T}}_p< {\mathcal {T}}_{m.p}\), again from (C.11), we have \(b^*_0=\frac{B_0}{(1-\theta ){\mathcal {T}}_{m.p}}\), \(x^*_s=x^*_{p}=0\), and the characteristic polynomial of \(J^*_0\) writes \(|J^*_0 -z {\mathbb {I}}|= (b^*_0\mu _s-d_s-z ) (b^*_0(1-\theta )\mu _p -d_p-z) \times \)
Same arguments as previously lead to the local stability of \(E^*\).
The model with mutations depending on the abundance of the parental cells
When the occurrence of new mutants depends on the abundance of the parental cells, the model writes
wherein state variables and model parameters are the same as for Model (2.2).
Rights and permissions
About this article
Cite this article
Djidjou-Demasse, R., Alizon, S. & Sofonea, M.T. Within-host bacterial growth dynamics with both mutation and horizontal gene transfer. J. Math. Biol. 82, 16 (2021). https://doi.org/10.1007/s00285-021-01571-9
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00285-021-01571-9