HAL Id: jpa-00246626
https://hal.archives-ouvertes.fr/jpa-00246626
Submitted on 1 Jan 1992
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
A continum analysis of cellular growth for a model of immune response relevant to HIV infection
R. Pandey
To cite this version:
R. Pandey. A continum analysis of cellular growth for a model of immune response relevant to HIV infection. Journal de Physique I, EDP Sciences, 1992, 2 (7), pp.1353-1360. �10.1051/jp1:1992107�.
�jpa-00246626�
Classification
Physics
Abstracts05.50 87.10
A continuum analysis of cellular growth for
amodel of immune response relevant to HIV infection
R. B.
Pandey
The Program in Scientific
Computing
andDepartment
ofPhysics
andAstronomy, University
of SouthemMississipi, Hattiesburg,
MS 39406, U.S.A.(Received 9 March 1992, accepted 17 March 1992)
Abstract. A continuum
approach
isproposed
tostudy
thepopulation dynamics
of an immune response model relevant to HIV infections. Effects ofdysfunction
of thehelperlinducer
T cells are taken into accountby
a failureprobability
p of interleukins.Using
the numericalanalysis
of theinhomogeneous coupled
differentialequations,
it is shown that the incubation time for the viral growth can be increased byreducing
the failureprobability
p.Despite
the differences, both thecontinuum and discrete methods lead to a common result.
1. Introduction.
Understanding
the immune response via theoretical models has been asubject
of considerable interest in recent years[1, 2].
Most of the theoreticalattempts
can be classified into two mainapproaches,
the discrete and the continuum methods. In the continuumdescription [3-6],
thegrowth
of the cellular elements is describedby
a set of differentialequations
in which aprobabilistic approach
iscommonly
used toimplement
thegrowth
anddecay
rates some linearapproximations
are invoked very often in order to avoid the mathematicalcomplexities
and to derive closed form
expressions
for thepopulation
of cellular elements. On the otherhand,
in the discrete method[2, 3, 7-9],
one starts withsimplified
interactions in which the cellularpopulation
is evolvedby
a set of discretelogical
interactions in an iterative process ; such a method is notnecessarily
restricted to a linearregime.
The use ofarbitrary parameters
is almost unavoidable in both methods.However, comparing
the results ofanalyzing
the sameproblem by
both discrete as well as continuum methods would beinteresting.
In this paper, we introduce a continuum model to capture some of the details of a discrete
model
[10]
for the immune response relevant to HIV infection. While ourapproach
ofanalysing
thegrowth equations
is similar to recent theoreticalattempts [16, 17]
towardsmodelling
the cellulargrowth
in HIVinfections,
it is different in tworespects
:(I)
it involves indeterministiccoupled equations,
and(it)
thegrowth parameters
are chosen to make this modelcompatible
with a discrete model. In thefollowing
section2,
webriefly
describe the discrete model[10]
with its mainfindings.
The continuum model and itsanalysis
isprovided
insection 3 with a summary and conclusion in section 4.
1354 JOURNAL DE PHYSIQUE I N° 7
2. Discrete model.
Using
aprobabilistic
cellular automata asimplified
model has been studiedby Pandey
and Stauffer[10]
with a discreteapproach
where an attempt has been made to understand thelong
incubation time in HIV infections. Five cellular elements are considered in which the
concentration of the
macrophages (the
mainantigen presenting
cells(APC))
iskept
constant at theirhigh concentration,
whereas the concentration of the other cellular elements such as the virus(V),
thehelperlinducer
T cells(T~),
thecytotoxic
T cells(T~)
and the interleukinmolecules
(I)
evolve from their interaction.Binary
variables « I » and « 0 » are used to describe «high
» and « low» concentrations
respectively
of these cellular elements. Thegrowth
anddecay
of thesebinary
cells aregovemed by
thelogical
interactions in thefollowing
boolean
expressions [15]
:V
(t
+I)
=
T~(t)
orinot T~(t)i T~(t
+ I= I
(t)
orinot
Vit)i
T~it
+I)
= I
(t)
I(t
+ I=
Th(t) (1)
where t represents the time. The interleukins at the next time
step
areproduced by
T~
cells at the current time step,and, similarly,
theT~
cells at the next time step are induced from the interleukins at the current time step. Virus will growonly
when theT~
cell is present and theT~
cell is absent, whereas theT~
cell will growonly
if the interleukins are present and the viruses are absent. Thissimplified
interaction is alsopresented
infigure
I wherecontinuous and broken lines represent the
stimulatory
andinhibitory signals. Thus,
after an HIVinfection,
thedynamics
becomessimple
if we fix the APC concentration ashigh [10].
This set of interaction does capture some of the main features of the cell mediated immune response
[13].
Thehelperlinducer T~-cells play
a crucial role incoordinating
the functions of all cell typesby releasing
avariety
ofmediatorsleffectors
such aslymphokines (which
includeinterleukin
2). T~-cells
cannotrecognize
the freeantigens
on their own ;antigens
must bepresented
in aspecific
formby
APCalong
with MHC II markers («major histocompatibility
Z
,'
~,~
~
T8 T4
--
APC
~ ~ ~
~
~
IFig.
I. Schematicrepresentation
of the interactions between virus (V), T~ cell, T~ cell and Interleukin molecules. The concentration of APC is kepthigh.
The full lines with arrow represent thestimulatory
function and broken lines, the
inhibitory
function of the cells (Ref. [10]).complex »)
forT~-cells
to interact andrecognize
theantigens.
The conformationalcomple- mentarity
of the surface markers such as CD4 onT~-cells
and that ofgp120
of HIV[14, 15] (a protein
section which ispart
of thevirus)
leads the virus to be more reactive withT~-cells.
The HIV behaves like a retrovirus. Thepath
of theirsporadic growth
makes these HIVSunique
andcomplex [14, 15]
:(I)
On the onehand,
the HIVS seem tomanipulate
thegenetic
transformations(with
thehelp
of reversetranscriptase
and hostenzymes)
to remain latent in theT~-cell
nucleus as aprovirus. (ii)
On the otherhand,
with the aid ofintegrase,
other
effectors,
and messenger RNA within thecell,
HIVSmultiply, rupturing
theT~-cell leading
to a burst of virus. Thissporadic growth
of virus may lead to anirregular
stimulation in the
growth
ofT~-cells
andtherefore,
in theproduction
of interleukins. With thehelp
of the above set of interactions these facts are taken into account in thefollowing.
With the four
binary variables, V, T~,
T~ andI,
there are 16possible
initialconfiguration.
Ifwe start with any of these
configuration randomly
we end up with two fixedpoints
and onelimit
cycle [10].
The fixedpoint (V, T~, T~, 1)
=(1000), corresponds
to thecomplete
destruction of the immune system while the other fixed
point (I
III) corresponds
to a weak(an
infected butfully present)
immunesystem.
The limitcycle
is an oscillation between thetwo states
( Ii10)
and(1001)
withpartially destroyed
immunesystem.
We shouldpoint
it out that theconfiguration (I
III)
describes the state in which ahealthy body
isjust
infected and it will remain infected as this is a fixedpoint
in the meanfield discrete model. With nearestneighbor
interaction[10]
on alattice,
the immune systemalways
run into the stable state(I
III) regardless
of initialconfiguration.
Further more these stable states are reached withina very short time. In the mean field
approach (with only
one cellvariable,
withoutlattice)
ifwe introduce a
probabilistic
cellular automata with a smallprobability
p of interleukinfailure,
then all the sixteenconfigurations
lead to the same fixedpoint (1000). However,
the timerequired
to reach this fixedpoint
issufficiently large
anddepends
on the interleukin failureprobability
p. Thislong
relaxation time(to
reach the stablestate)
isintepreted [10]
as thelong
incubation time in HIV infections the small failure
probability
p of the interleukin isassigned
to the effects ofdysfunction
of infectedT~
cells or due to some rare eventspeculiar
toHIV infection
[10].
We now focuss on this model with the continuumapproach.
3. Continuum model.
Let us consider the
growth
rate of these cellularelements,
introduced inpreceeding section, by
thefollowing equations
:div (t)i/dt
= a +
Pi(t)
xTh(t) P21t)
xT~it) (2a)
diT~(t)i/dt
= a +P3(t)
xI(t) P~(t)
x V(t) (2b)
dil (t)i/dt
= P5(t)
xT~it) (2c)
diT~(t)i/dt
=
p~(t)
x i(t) (2d)
with,
Pi(t)
= v
(t)/iv (t)
+T~(t)i P~(t)
= v
(t)/iv (t)
+Tc(t)i p~(t)
=
T~(t)/iT~(t)
+ i(t)1 P4(t)
=
Th(t)/iTh(t)
+ V(t)i p~(t)
=
i
(t)/ii(t)
+T~(t)i P~(t)
=
Tc(t)/iTc(t)
+I(t)1 (3)
1356 JOURNAL DE PHYSIQUE I N° 7
where a is the
product
of the concentration ofantigen presenting
cells and the associatedprobability
ofgrowth.
Thegrowth
rateprobabilities P~(tl's
are assumed to bedirectly proportional
to thepopulation
of thegrowing
cellular elements normalizedby
the totalpopulation
ofinteracting
cells.Irrespective
of theresults,
let us see the solution of theseequations (2)
in theirsteady
state where the time derivatives of each cellularpopulation
I.e. the left hand side ofequations (2)
will vanish. Fromequations (2c)
and(2d)
weget,
I
(t)
=lo
andT~(t)
= T~o(4)
where
lo
and T~o are constants(Io
= 0 is onepossible solution). Equations (2a)
and(2b),
onthe other
hand,
lead tocoupled equations,
V
=
i- a(T~o
+Th)
+(Ci)~'~y12(a
+Th T~o)1 (5)
Th
"i- a(Io
+ V)
+(C2)~'~y12(a
+lo
V)1 (6)
where,
Cj =a(a-4T~o).T)+2aT~o(2T~o-a).T~+a~Tjo (7)
C~ =a(a+4Io).V~-2aIo(a+2Io).V +a~I(. (8)
As we see that for a
meaningful
solution of thesteady
state values of viral andT~
cellpopulations
bothCi
andC~
must bepositive.
Inaddition,
fromequation (5),
for anonzero
positive
viralpopulations,
we musthave, (I)
a + T~ ~ T~o and(C1)~'~
~a(T~o
+T~),
or
(it)
a + T~ ~ T~o and(Ci)~~~~ a(T~o+ T~).
To obtain a zero value of V we must haveT~=0
anda~T~o.
On the otherhand,
fromequation (6),
for a nonzeropositive T~
cellpopulation following
conditions must be satisfied:(iii)
a+lo
~V andC('~~
a(Io
+ V),
or(iv)
a +lo
~ V and(C2)~'~
<
a(Io
+ V).
Thepopulation
of the activatedT~
cells in thesteady
state vanishes if V= 0 and
lo
~ V ; as it should be at the end of immune response in normal state. Instead of
going through
the numericalanalysis
of thesesteady
statecoupled equations,
forarbitrary
values of cellular constants such as a, as isusually
done in such studies[I],
we will concentrate here on theanalysis
of thegrowth equations
for theinterleukin failure case. We
should, however, point
it out that a numericalstudy
ofequation (2)
shows that bothT~
cells as well as viralpopulations
continues to increase within the limit of our time steps(10~)
for all values of initial cellular concentrations we have studied ;however,
thepopulation
ofT~
cells(and
that of the interleukins and T~cells)
remaindominant over the viral
populations.
As we mentioned in section
2,
in the discrete model with theprobabilistic
cellularautomata, the
long
incubation time in HIV infection appears due to small interleukin failure.The failure
probability
p of the interleukin isjustified [10]
in thepreceeding
section as an effect of infectedT~
cells or due to somepeculiar
events characteristics of HIV infections.Implementing
the interleukin failure with aprobability
p andfinding
a closed form solution of thecoupled equation (2)
is notpossible
here andtherefore,
we resort to numerical studies of theseequations.
To avoid the technicalproblems (specially
thedivergence)
we addunity
in the denominators ofgrowth probabilities P~'s (Eq. (3))
the constant a is taken to beunity throughout.
We start with a very small value of the initial concentrations c; of these celltypes,
and look into the timedevelopment
of the cellularpopulations.
The interleukin concentration and itsgrowth
rateP~
are then set to zero withprobability
p with thehelp
of apseudo
randomnumber
generator
on our main frame(DPS-90, Honeywell machine),
as weanalyse
equation (2) by
finite difference method. A randomnumber,
between zero and one is selectedrandomly
at each timestep
; if the random number is less than orequal
to theinterleukin failure
probability
p, then the interleukin concentration and itsgrowth
rateP~
is set to zero.Up
to 105 timesteps
are used tostudy
the time evolution ofequation (2).
Further more, « NRUN »
independent
runs are used toget
a reliable estimate of the averagepopulation growth
of these cells.We have carried out a detailed numerical
study
of the evolution of cellularpopulations
at several interleukin failureprobabilities
as a function of the initial concentrations of thecellular elements for various time
scales,
each with a number ofindependent samples
(NRUN).
At thehigh
values of the interleltkin failureprobability
~p ~0.2),
with NRUN=
500,
for all values of the initial concentrations of the cellular elements, we observe that thepopulation
of the virus(N ~)
increases and that of theT~
cells(N~ decays
very fast to a verylow value the interleukin counts
(Nj)
goes down to zero while thepopulation
of thecytotoxic
T cells(N
j~) reaches a constant value which iscomparable
to the maximum value ofNj~.
The viralpopulation
dominates over that of theT~
cellsleading
to an immunodeficientstate in which the immune
system continuously
weakens asN~
grows andN~~ decays
withtime. On
decreasing
the interleukin failureprobability
p(0.ll-0.15),
with the initial concentrations ci(0.001-0.01)
of all celltypes,
thepopulation
of theT~ cells,
rises very fast toa maximum value
(Nm)
and then itdecays
veryslowly
with time. Themagnitude
ofN~
varies with c; and with runs, infact we observe alarge
fluctuation in themagnitude
ofN~
withinindependent samples.
The viralpopulation,
on the otherhand,
continues toincrease with time. In most of the runs, the viral
population
is greater than that of theT~
cells while in some runs, thepopulation
of theT~
cells outnumbers the viralpopulation (for
timesteps
up to 4 x 160'). Thepopulation
of thecytotoxic T~
cells increases to a saturation valuecomparable
toN~
while the interleukin counts goes down to zero. Atypical
variation of theT~
cells and viralpopulations
are shown infigure
2.Although
the viralpopulation always
increasescontinuously
in the full range of our timescale,
itspopulation N~
is greater than that of theT~
cells in most of the runsbeyond
a certain time step whichdepends
on themagnitude
ofN~; however,
the constantdecay
ofN~
and continuousgrowth
inN~
leads us to believe that in thelong
timeregime N~
~ N~ even if it is other way around in the
beginning. Therefore,
we ascribe this state as an immunodeficient state similar to state(1000)
observed in the discreteapproach.
On
decreasing
theprobability
p of interleltkinfailure,
the maximumpopulation
ofT~ cells, Nm
increases. Then thedecay
in itsmagnitude
with time is so slow that N~~ remains muchlarger
thanN~ during
the time interval of our observation(105
timesteps) specially
atextremely
low values of p(0.001-0.08).
Let us define the relaxation timet~ in which the
population
ofT~
cells remain dominant over the viralpopulation.
Thisrelaxation time t~ is very
large
atextremely
low values of interleukin failureprobability
p ; onincreasing
the value of p, t~ decreases. Thus the relaxation time t~ or the incubation time of the viral detection can be madesufficiently large by reducing
p and in thisregards
this modelcaptures one of the main
findings
of the discreteapproach recently proposed by Pandey
and Stauffer[10]. Although
it is not feasible to compare these resultsquantitatively
withexperimental findings,
it appears that our model may be furtherdeveloped
to understandsome of the
experimental
observations(I.e. by Layne
et al.[15]
on the effects of soluble CD4density).
4.
Summary
and conclusion.We have introduced a continuum
approach
tostudy
asimple
model of immune responserelevant to HIV infections in which the
growth
anddecay
ofviruses, T~ cells, T~
cells andinterleukins are considered.
Attempts
have been made to consider theinhomogeneous
cellular interactions
recently
studiedby
a discrete method[10] using probabilistic
cellular1358 JOURNAL DE PHYSIQUE I N° 7
automata. Unlike the two stable
configurations
and a limitcycle
in immunodeficient states indiscrete
model,
here we observe aconstantly growing
cellularpopulation
withN~ (the
number of
helper
Tcells)
muchlarger
than that of the viralpopulations
forparameters
such asthe concentration of
APC,
and the initial concentration of cells ci. We have also obtained avariety
of stable solutionsdescribing
theimmunological
states, some of which have been discussed in a closed formsteady
state solution. An interleukin failureprobability
p is introduced to take into account the effects of thedysfunction
ofT~
cells and other defects dueGROfITH 0F fllLPlR/INOUCIR Tfl-GILLS
iooo
80c
~o
I
~ u
Iwo
~
z o
j
~4oo~
~
o
~
200
IOO 200 300 40c SOD
I(i~~
a)
Fig.
2. Variation of T~ cells and viralpopulation
with time steps at the initial concentration of the cellular elements c,= 0.003 and interleukin failureprobability
p =0.ll in (a);c~=0.003
and p =0.12 in (b). 500
independent
runs were used in both sets to find out the average values of cellularpopulations.
GROfITH 0F fllLPlR/INOUCIR Tfl-GILLS
iooo
Boo
~0
~
~ ld U
I soo
~
z
o
~4oo
<
j
~ o
~
20c
10c 200 30c MO SOD
I(i~[
b)
Fig.
2 (continued).to HIVS. The
resulting inhomogeneous coupled equations
arenumerically
studied in detail.At
high
values ofp(~0.2),
the viralpopulation N~
dominates over that of theT~
cellsbeyond
the incubation time t~N~
continues to increase whileN~
risessharply
to a maximum valueN~
and then it continues todecay slowly.
BothN~
and t~depend
upon the initial concentration of cells and on the interleukin failureprobability.
Ondecreasing
the failureprobability
p, the relaxation(I.e.
theincubation)
time t~ tends to increaseconsiderably.
The result of
reducing
the interleukin failureprobability
p to a very small value andobtaining
a very
long
incubation timeleading
tometastability
is similar to that observed in the discreteapproach
withbinary
cellular elements[10]
in thisregard,
both discrete and continuum modelsgive
the same result here.1360 JOURNAL DE
PHYSIQUE
I N° 7Acknowledgments.
The author would like to thank Dietrich Stauffer for the
helpful
discussion. This work issupported by
a ResearchCorporation
grant andcomputation
wasperformed
at the DPS-90Honeywell
machine at theUniversity
of SouthemMississipi.
References
[11 A. S. Perelson Ed., Theoretical
Immunology
Part One and Two(Addison-Wesley, 1988).
[2] H. Atlan and I. R. Cohen Eds., Theories of Immune Network
(Springer Verlag,
Heidelberg, 1989).[3] KAUFMAN M., UBAIN J. and THOMAS R., J. Theor. Biol. 114 (1985) 527.
[4] COOPER L. N., Proc. Natl. Acad. Sci. 83 (1986) 9159.
[5] BEHN U. and VAN HEMMEN J. L., J. Stat.
Phys.
56 (1989) 533.[6] HOFFMANN G. W. and GRANT M. D., Lecture Notes in Biomathematics, Issues on Mathematical
Modelling
of AIDS, C. Castillo-Chavez Ed.(Springer-Verlag,
1989).[7] WEISBUCH G. and ATLAN H., J.
Phys.
A 21 (1988) L189.[8] PANDEY R. B. and STAUFFER D., J. Phys. France 50 (1989) PANDEY R. B., J.
Phys.
A 23 (1990).[9] CHOWDHURY D., STAUFFER D. and CHOUDARY P. V., J. Theor. Biol. 145 (1990j 207.
[10] PANDEY R. B. and STAUFFER D., J. Stat.
Phys.
61 (1990).[11] NELSON G. W. and PERELSON A. S.,
Preprint
for J. AIDS (1991).[12] NOWAK M. A. et al., Science 254
(1991)
963.[13] ROITT I., Essential
Immunology
(Blackwell, 1988).[14] FAUCI A. S., Science 239 (1988) 617
HO D. D., MOUDGIN T. M. and MASUD A., New Eng. J. Med. 321
(1989)
1621;Ho D. D. et al., J. Virol. 65