Date post: | 19-Dec-2015 |
Category: |
Documents |
View: | 220 times |
Download: | 0 times |
MATHEMATICAL MODELS OF PRION PROLIFERATION
Yeast cells infected by prions. (http://www.mos.org/cst/article/368/7.html)
Prion Proliferation Models Research Team
Meredith Greer (Bates College, Lewiston, Maine, USA)
Hans Engler (Georgetown University, Washington, DC, USA)
Jan Pruss (Martin Luther Universitat, Halle-Wittenberg, Germany)
Laurent Pujo-Menjouet (University of Lyon, Lyon, France)
Gieri Simonett (Vanderbilt University, Nashville, Tennessee, USA)
Christoph Walker (Vanderbilt University, Nashville, Tennessee, USA)
Glenn Webb (Vanderbilt University, Nashville, Tennessee, USA)
Rico Zacher (Martin Luther Universitat, Halle-Wittenberg, Germany)
Transmissible Spongiform Encephalopathies (TSEs)
TSEs are diseases such as Creutzfeld-Jakob disease in humans, scrapie in sheep, and bovine spongiform encephalopathies in cows. These diseases are characterized by long incubation periods, lack of immune response, and invisibility to detection as viruses.
In 1982 Stanley Prusiner postulated that these diseases are caused not by viruses, but by abnormally shaped proteins, which he called prions. This hypothesis explains many of the features of the infectious agents of TSEs, except for their ability to replicate.
Prions lack DNA or RNA , which is the commonly accepted basis for replication. Current research in this field seeks to explain the mechanism of prion replication.
The nucleated polymerization theory
The leading theory of prion replication is nucleated polymerization. We use the notations for the normal PrPC (prion protein cellular) and abnormal PrPSc (prion protein scrapies) to denote the two primary forms of prions. By polymerize we mean that PrPSc increases its length by attaching units of PrPC in a string-like fashion.
After a monomer attaches to the polymer, it is converted to the infectious form. Once the PrPSc is long enough to wrap into a helical shape (the nucleus), it forms stabilizing bonds that constitute the polymer strings. These strings can be formed into lengths of thousands of monomer units.
J. Jarrett and P. Lansbury, Cell, 1993M. Eigen, Biophys. Chem, 1996
Replication of prion polymers by splitting
PrPSc polymers may split into two smaller polymers, which
results in two infectious polymers capable of further
lengthening. If after splitting, a smaller polymer falls below the
critical size, however, it degrades immediately into normal
PrPC monomers. The biological processes are
(1) lengthening (by addition of PrPC monomers),
(1) splitting (into two smaller polymer lengths), and
(2) degradation (by metabolic processes)
An infinite system of ODE model J. Masel, V. Jansen, M. Nowak, Biophys. Chem. 1999
€
V (t) = population of PrPC monomers at time t
ui(t) = population of PrP Sc polyomers of length i at time t
U(t) = ui(t)
i=n0
∞
∑ , where n0 is the minimum polymer length
€
d
dtV (t) = λ − γ V (t) − τ V (t)U(t)+ 2β i u
jj=i+1
∞
∑i=1
∞
∑ (t)
d
dtu
i(t) = τ V (t)(u
i−1(t) − u
i(t)) − μ u
i(t)
− β (i −1) ui(t) +2β u
jj=i+1
∞
∑ for i ≥ n0
ui(t) = 0 for i < n
0
A model with continuous polymer length
€
V(t) = population of normal PrPC monomers at time t
u(x,t) = density of polymers at time t w.r.t. length x in (x0, ), (where x0 > 0 is the minimum length)
Let
U(t) = total polymer population at time t.
€
= u(x,t)dx0x
∞
∫U(t)
Schematic diagram of the model
€
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
Dynamics of the monomer population
= background source of monomers
= degradation rate of monomers
= conversion rate of monomers to polymers
(y) = rate of splitting of monomers to polymers
(x,y) = probability that a polymer of length y
splits to lengths x and y-x
€
ddtV(t)=λ −γV(t)−τV(t)U(t)+2 x β(y
0x
∞
∫0
0x∫ )κ(x,y) u(y,t)dydx
Dynamics of the polymer population
€
∂∂t
u(x,t)+τV(t)∂∂x
u(x,t)
=−μ(x) u(x,t)−β(x)u(x,t)+2 β(y)x
∞
∫ κ(x,y) u(y,t)dy
x0<x<∞, t≥0
μ(x)=degradationrateofpolymers
κ(x,y)dx0
∞
∫ =0 if y≤x0 and κ(x,y)dx0
∞
∫ =1 if y>x0
Equations of the model
€
(1) ddtV(t)=λ −γV(t)−τV(t)U(t)+2 x β(y
0x
∞
∫0
0x∫ )κ(x,y) u(y,t)dydx
(2) V(0) =V0
(3)∂∂t
u(x,t)+τV(t)∂∂x
u(x,t)
=−μ(x) u(x,t)−β(x)u(x,t)+2 β(y)x
∞
∫ κ(x,y) u(y,t)dy
(4) u(x,0) =φ(x),x0 <x<∞
(5) u(x0,t)=0, t≥0
whereU(t)= u(x,t)dx0x
∞
∫
Assumptions on the parameters
€
(x) = β ⋅ x (the rate of splitting is proportional to polymer length x)
κ (x, y) =1
yif 0< x < y and x 0 ≤ y, and κ (x,y) = 0 if y ≤ x 0 or
y ≤ x. There is an equal probability of a polymer of length y splitting
to any shorter length x < y (with the other piece having length y − x).
Observe
κ (x,y)dx0
∞
∫ = 0 if y ≤ x 0
and
κ (x,y)dx0
∞
∫ =1
ydx =1
0
y
∫ if x 0 ≤ y.
An associated system of ODEs
€
where
V (t) = total population of monomers at time t
U(t) = u(x, t)dx =x0
∞
∫ total population of polymers at time t
P(t) = xu(x, t)dx =x0
∞
∫ total population of monomers in the
polymers at time t
€
d
dtV (t) = λ − γ V (t) − τV (t)U(t) + β x
02U(t)
d
dtU(t) = β P(t) − μU(t) − 2β x
0U(t)
d
dtP(t) = τ V (t)U(t) − μ P(t) − β x
02U(t)
Steady states for the associated system of ODEs
€
V =λγ
, U =0, P =0
The disease free steady state:
The disease steady state:
Linearization about the disease-free steady state
The linearization about the disease free steady state V = , U = 0, P = 0 is
The eigenvalues are
Theorem. The steady state V = , U = 0, P = 0 is locally exponentially asymptotically stable if
€
βλτ/γ <x0β +μ
€
−2x0β−μ 0 β
x02β −λτ/γ −γ 0
−x02β +λτ/γ 0 −μ
⎡
⎣
⎢ ⎢ ⎢
⎤
⎦
⎥ ⎥ ⎥
The inearization about the disease steady state is
€
−2x0β −μ 0 β
−μ(2x0β +μ)
β−γ−
βλτ−γ(x0β+μ)2
μ(2x0β+μ)0
μ(2x0β +μ)β
βλτ−γ(x0β +μ)2
μ(2x0β +μ)−μ
⎡
⎣
⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢ ⎢
⎤
⎦
⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥ ⎥
The eigenvalues of the linearization satisfy the characteristic equation
€
z3 +a1z2 +a2z+a3 =0
where
€
a1 =−x0
2β2(γ−4μ)+6x0βμ2 +2μ3 +βλτμ(2x0β +μ)
a2 =−2β(x0β+μ) (x0
2βγ−λτ)μ(2x0β +μ)
a3 =−γ(x0β +μ)2 +βλτ
By the Ruth-Hurwitz condition the eigenvalues all have negative real parts iff
€
a1 >0, a3 >0,and a1 a2 >a3.
Theorem. The prion disease steady state is locally exponentially asymptotically stable if
€
βλτ/γ >x0β +μ
A general model of infection dynamics
€
dx
dt= z−ξ x
dy
dt= σ − ρ y − x y + δ x
dz
dt= x y −z
€
Theorem. Let ξ ,σ ,ρ > 0 and δ ∈[0,ξ ). If (x(0), y(0),z(0)) ∈ ℜ+3,
then the solution to the initial value problem exists in ℜ+3 for all
t ≥ 0. If σ ≤ ξ ρ, then the (disease free) equilibrium (0,σ
ρ,0)is
globally asymptotically stable (exponentially if the inequality is
strict). If σ > ξ ρ, then the (disease) equilibrium (σ −ξ ρ
ξ −δ,ξ ,
ξ (σ −ξ ρ)
ξ −δ)
is globally exponentially asymptotically stable.
Lyapunov functionals
If < then a Lyapunov functional for disease free equilibruim is
If > then a Lyapunov functional for disease equilibruim is
€
Φ(x,y,z)= (x − x − x logx
x )+ (y − y − y log
y
y )
+ (z − z − z logz
z ) +
δ
ξ −δ(y − y −ξ log y)
€
where (x , y ,z )= (σ −ξ ρ
ξ −δ,ξ ,
ξ (σ −ξ ρ )
ξ −δ).
€
Φ(x, y,z)=1
2(y −
σ
ρ)2 +(2ξ −δ −
σ
ρ)(x + z)
Application to the prion ODE system
€
ddtV(t)=λ −γV(t)−τV(t)U(t)+β x0
2U(t)
ddtU(t)=βP(t)−μU(t)−2β x0U(t)ddtP(t)=τV(t)U(t)−μP(t)−β x0
2U(t)
€
Theorem. Let Σ = (V ,U,P) :V ≥ 0, U ≥ 0, P ≥ x0
U{ }. If
(V (0),U(0),P(0)) ∈ Σ, then the solution to the initial value
problem exists in Σ for all t ≥ 0. If βλτ /γ ≥ x0β + μ,
then the disease free steady state is globally asymptotically
stable in Σ (exponentially if the inequality is strict). If
βλτ /γ > x0β + μ, then the disease steady state is globally
exponentially asymptotically stable in Σ.
Convergence to the disease steady state
The parameters are taken from J. Masel, V. Jansen, M. Nowak, Biophys. Chem. 1999 and R. Rubenstein et al., J. Infect. Dis. 1991. x
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
Phase portrait of V(t), U(t), and P(t)
All solutions converge to the disease steady state (V,U,P) = (55, 250, 103,132).
Application to a model of HIV infection
D. Ho et al., Rapid turnover of plasma virions and CD 4 lymphocytes in HIV-1 infection, Nature 1995, and M. Nowak and R. May, Virus Dynamics, 2000
I(t) = infected CD4+ T cells at time t
T(t) = uninfected CD4+ T cells at time t
V(t) = virus at time t
€
d
dtI(t) = β V (t)T(t) −μ I(t)
d
dtT(t) =λ −δ T(t) −β V (t)T(t)
d
dtV (t) =Nμ I(t) −γ V (t)
Asymptotic behavior of the model of HIV infection
Let R0 = N / . R0 is the number of secondary infections produced by one infectious virus in a totally susceptible population.
If R0 < 1, then all solutions converge to the disease free steady state
Tss =/, Iss = 0, Vss = 0.
If R0 > 1, then all solutions converge to the disease steady state
€
Tss =γ
β N, Iss = R
0−1( )
δ γ
β μ N, Vss = R
0−1( )
δ
β
The case R0 < 1
Let = .01, = 10, = 10-4.1, N = 250, = .5, = 24.
R0 = .827.
All solutions converge to the disease free steady state
Tss=1000, Iss = 0, Vss = 0.
The case R0 > 1
Let = .01, = 10, = 10-4.1, N = 1000, = .5, = 24.
R0 = 3.31.
All solutions converge to the disease steady state
Tss =, Iss = 14, Vss = 291.
Application to an SEIS epidemic model
S(t) = susceptible population at time t
E(t) = exposed population at time t (infected but not yet infectious)
I(t) = infectious population at time t
€
d
dtS(t) =λ − γ S(t) −τ I(t) S(t)+ β I(t)
d
dtE(t) =τ I(t) S(t)−(α + μ) E(t)
d
dtI(t) =α E(t)−(β +ν ) I(t)
Asymptotic behavior of the SEIS epidemic model
Let R0 = / [ .
R0 is the number of secondary infections produced by one infective in a totally uninfected susceptible population.
If R0 < 1, then all solutions converge to the disease free steady state
Sss =/, Ess = 0, Iss = 0.
If R0 > 1, then all solutions converge to the disease steady state
€
Sss =(α + μ)(β + ν )
α τ, Ess =
β + ν
α, Iss =
α λ τ −γ (α + μ)(β + ν )
τ (μ β + α ν + μν )
.
The case R0 < 1
Let = 0.05, = 500, =0.1, 10-6.9, =0 .2, = .0003, .
R0 = .933.
All solutions converge to the disease free steady state
Sss =, Ess = 0, Iss =0.
The case R0 > 1
Let = .05, = 500, =.1, 10-6.5, = .2, = .0003, .
R0 = 2.34.
All solutions converge to the endemic steady state
Sss =, Ess = 1228,
Iss = 1637.
Analysis of the prion PDE model
€
(1)d
dtV (t) = λ − (γ + τ U(t)) V (t) + β x
02U(t)
(2) V (0) = V0
(3)∂
∂tu(x, t) + τ V (t)
∂
∂xu(x, t)
= − (μ + β x) u(x, t) + 2β u(y, t)dyx
∞
∫(4) u(x,0) = φ(x), x
0< x < ∞
(5) u(x0, t) = 0, t ≥ 0
The disease steady state problem for the PDE model
€
(1) λ −(γ+τU)V +β x02U =0
(2)τV ′ u (x) =−(μ+β x) u(x)+2βx
∞
∫ u(y)dy, x≥x0
(3) u(x0) =0
where V >0, u(x)≥0, and U =x0
∞
∫ u(x)dx
Solve (1) to obtain V =λ +β x0
2Uγ+τU
Then use (2) and (3) to show that u(x) satisfies
′ ′ u (x) +(μ+β x)(γ+τU)
τ(λ +β x02U)
′ u (x)+3β (γ+τU)
τ(λ +β x02U)
u(x) =0, x ≥x0
u(x0)=0
′ u (x0) =2βU (γ+τU)τ(λ +β x0
2U)
Solution of the disease steady state problem
€
Since the value for U at the disease steady state is
U =βλτ−γ(x0β+μ)2
μτ(2x0β +μ),
then the disease equilibrium u(x) must satisfy
(1) ′ ′ u (x)+β(μ+β x)(μ+β x0)
2 ′ u (x)+3β2
(μ+β x0)2 u(x)=0, x≥x0
(2) u(x0) =0
(3) ′ u (x0)=2β2(βλτ−γ(μ+βx0)
2)μτ(μ+βx0)
2(μ+2βx0).
Theorem. Let βλτ>γ(μ+βx0)2. The unique solution of (1),(2),(3) is
u(x) =e
-β(x-x0)(2μ+β(x+x0))2(μ+βx0)2
β2(x−x0)(2μ+β(x+x0))(βλτ−γ(μ+βx0)2)μτ(μ +βx0)3(μ +2βx0)
.
Analysis of the PDE model
€
Theorem. Let Z+ =ℜ+ × L1+((x
0,∞);xdx). The model generates a global
semiflow in Z+. If λ β τ /γ ≤(μ + β x0)2, then the disease free equilibrium
(λ /γ,0) is globally asymptotically stable, and even exponentially in the
case of strict inequality. If λ β τ /γ >(μ + β x0)2, then the unique disease
V*,u*(x) ⎛ ⎝ ⎜ ⎞
⎠ ⎟ equilibrium is globally asymptotically stable in Z+ \ ℜ+ ×{0},
where
€
V * = (μ +β x0
)2 /β τ ,
u*(x) =e
-β (x-x0)(2μ+β (x+x0))2(μ+βx0)2 β 2(x − x 0)(2μ + β (x + x 0))(βλτ − γ(μ + βx 0)2)
μτ (μ +βx 0)3(μ +2βx 0).
Ideas of the proof
(1) The solution V(t) can be considered known. Let (t) = V(t). (t) converges exponentially to * = in the disease free case and to * = ( x0)2/ in the disease case.
(2) First consider the autonomous equation for u(x,t), where (t) = * Prove that that there is a strongly continuous, linear, positive, contraction (exponentially in the disease free case) semigroup e-t L, t > 0
in the space X = L1((x0, );x dx) associated with the autonomous equation.
(3) Prove that the resolvent of L is compact in X, and thus has only point spectrum in the closed right-half plane. Show that 0 is the only eigenvalue of L on the imaginary axis, it is simple, the ergodic projection P onto the kernel on N(L) of L along the range R(L) of L exists and is rank one, find a formula for P, and prove that e-t L converges strongly to P in X.
(4) Use the method of characteristics to prove that the nonautonomous equation for u(x,t) is well-posed, obtain bounds for ux(.,t) in X, and use the convergence of (t) to * to show that u(.,t) converges in X to the equililbrium u*.
Model simulation compared to experimental data of scrapie associated fibril counts
SAF measurements after intracerebral injection of the 139A scrapie strain into Compton white mice from Rubenstein et al., J. Infect. Dis., 1991. The arrow indicates the onset of symptoms. The parameters of the simulation are x
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
Evolution of the polymer density u(x,t) QuickTime™ and a
TIFF (LZW) decompressorare needed to see this picture.
The polymer density u(x,t) converges to the steady state.
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
Evolution of the mean length P(t)/U(t) of the polymer density
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
The length of the average polymer u(x,t) increases fast initially and then slowly decreases due to the depletion of the PrPC monomer population.
Linear dependence on the log scale of the incubation times vs the inoculum dose
The linear dependence of the incubation times on the log scale for nine orders of magnitude of inoculum dilutions.
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
QuickTime™ and aTIFF (LZW) decompressor
are needed to see this picture.
More general models(1) Allow the parameters and to depend on polymer length x.
(2) Allow the splitting kernel (x,y) to have a more general form
€
Hypothesis :
μ(x) and β (x) ∈ L∞+ ((x
0,∞);ℜ) and κ (y, x) ≥ 0is measurable
⇒ existence of unique strong solution
Hypothesis :
there exists α ≥1 and ρ ∈ L∞+ ((x
0,∞);ℜ) such that
ρ(x) → 0 as x → ∞ and μ(x)+ β (x)≤ ρ(x) xα a.e. x ∈ (x0,∞),
for each ε > 0 there exists δ > 0 such that
sup|Ω|≤δ
β (x)
xα χx0
x
∫ Ω(y)κ (y,x) dy ≤ε a.e. x ∈ (x
0,∞)
⇒ existence of weak solution
ReferencesH. Engler, J. Pruss, and G. Webb, Analysis of a model for the dynamics of prions II, to appear in J. Math. Anal. Appl.
M. Greer, L. Pujo-Menjouet, and G. Webb, A mathematical analysis of the dynamics of prion proliferation, to appear.
J. Masel, V. Jansen, and M. Nowak, Quantifying the kinetic parameters of prion replication, Biophysical Chemistry 77 (1999) 139-152.
Nowak, M., et al. Prion infection dynamics, Integrative Biology 1 (1998) 3-15.
Prusiner, S. Molecular biology of prion diseases, Science 252 (1991) 1515-1522.
J. Pruss, L. Pujo-Menjouet, G. Webb, and R. Zacher, Analysis of a model for the dynamics of prions, to appear in Discr. Cont. Dyn. Sys.
Rubenstein, R. et al., Scrapie-infected spleens: analysis of infectivity, scrapie-associated fibrils, and protease-resistant proteins, J. Infect. Dis. 164, (1999) 29-35.
Simonett, G. and Walker, C., On the solvability of a mathematical model of prion proliferation, to appear.