R ENDICONTI
del
S EMINARIO M ATEMATICO
della
U NIVERSITÀ DI P ADOVA
S ARA P ASQUALI
The stochastic logistic equation : stationary solutions and their stability
Rendiconti del Seminario Matematico della Università di Padova, tome 106 (2001), p. 165-183
<http://www.numdam.org/item?id=RSMUP_2001__106__165_0>
© Rendiconti del Seminario Matematico della Università di Padova, 2001, tous droits réservés.
L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions).
Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright.
Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques
http://www.numdam.org/
Logistic Equation:
Stationary Solutions and their Stability.
SARA
PASQUALI (*)
ABSTRACT -
Starting
from thelogistic equation
we introduceuncertainty
on the parameters and then we look for stochasticstationary
solutions and condi- tions for theirstability.
In the stochastic case we do not obtain all the determi- nisticstationary
solutions, but we can find invariant distributions which can be considered the stochasticanalogue
of the deterministicstationary
sol-utions. In
particular,
in this work wegive
conditions on the parameters of theequation
under which these invariant distributions exist and conditions under which thestationary
solutions are stable.1. Introduction.
We consider the deterministic
logistic equation
where a and
P
are twopositive
constants. It is well known that the sol- utions of(1)
are of the formIn
particular,
forxo = 0
and xo =f,
we have thestationary
solu-f3
(*) Indirizzo dell’A.:
Dipartimento
di Matematica, Universitadegli
Studi di Parma, Via M.D’Azeglio
85, I - 43100 Parma,Italy.
E-mail:sara.pasquali@uni-
pr.it
166
t
It is also well known that the
stationary solution xt
--- 0 is unstable since theeigenvalue
of the Jacobian isgreater
than zero(it
isequal
toa)
while the
stationary solution xt
= a isasymptotically stable,
in fact the~
eigenvalue
of the Jacobian is - a.In this work we suppose that the
parameters
a andfl
are notexactly known,
so we introduceuncertainty
on them and transform the deter- ministicproblem
into acorresponding
stochasticproblem.
The aim is tostudy,
for thelatter,
thestability
of the stochasticequilibria.
Introducing
theauxiliary
processes andy t2~, equation (1)
can be written in thefollowing
formNow,
we suppose that the processes andy t2~
aresubject
to uncer-tainty,
so we consider thesystem
where and
wt 2~
are twoindependent
Wiener processes and or, and Q 2 twopositive
constants. In this case we obtain the stochastic differen- tialequation
In what follows we will discuss the
stability
of thestationary
solutionsof
equation (5)
and of twoparticular equations
obtained from ittaking
Or 2 = 0 and a~ 1= 0
respectively,
that isand
In
equation (6)
we do not knowexactly
the linearterm,
while we have aperfect knowledge
of thequadratic term; conversely,
inequation (7)
we do not knowexactly
thequadratic
term.In
equations (6)
and(7)
we haveput,
forsimplicity,
and G2 * Jrespectively.
In section 2 we recall some useful results
concerning
stochastic sta-bility
of theequilibrium
solution of a stochastic differentialequation
andin section 4 we
apply
theseconcepts
to model(5).
In section 3 we deter- mine thestationary
solutions and the conditions for the existence of in- variant distributions for the three modelsgiven
before.2. Stochastic
stability.
Consider a one-dimensional stochastic differential
equation
m
, ,
w uere YY t = ~’GVt’ ’ , ... , ’Wt’ ’) 6LUliuuru ’//G-lilIIICII~lUiliL1 VV leller pru- cess and the coefficients
f
and gi(i
=1, ... , m) satisfy
theassumptions
for the existence and
uniqueness
of the solution of a stochastic differen- tialequation.
DEFINITION 1. The stochastic process xt = x is a
stationary
sol-ution
of equation (8)
with initial conditionx(to)
= xif
rl..L 7::B. n -- I..L 7::B. n i _ ---,
1. stable in
probability if for
> 0 and s ~to
1 B
,.,.. ,..., ..., I - ~ ~ 1 .",~. , " ~ ., ~. ,., ." ".. ., V’J 1-1 ---V-iu ~.... , "~ .",., , "., "
itiaL condition
x( s )
= y.2.
asymptotically stable if it
is stable inprobabitity
and more-over
Denoting by
L the differentialoperator
defined for a functionthe
following
theoremgives
sufficient conditions for thestability
of theequilibrium
solution of the stochastic differentialequation (8)
in terms ofLyapunov
functions.THEOREM 1.
If
there exists aLyaprunov function V(t, x), defined
on a bounded open
neighborhood
Dof
theorigin (i. e. a function
V eCl, 2
such that
V(t, 0)
= 0 andV(t, x)
> 0for
anyx eDB{0}),
such thatfor
anyx E DB~ 0 ~,
then theequilibrium
solution xt = 0of
the stochasticdifferentials equation (8)
is stable(respectively, asymptotically stable)
in
probability.
3.
Stationary
solutions and invariant distributions.In order to find the
stationary
solutions toequation (5),
weequal
tozero both drift and diffusion coefficient of
(5) (see
definition1),
then weobtain
only
thestationary solution xt = 0 ,
which is the same as in the de- terministic case ofequation (1).
In the stochastic model we lookat xt
= 0as
degenerate
process with mass concentrated in 0. All the solutions ob- tainedequaling
to zero both drift and diffusion coefficients aredegener-
ate processes. We remark
that,
in this way, we do not obtain the secondstationary
solutiona
that is is not adegenerate
solution of(5).
# ~
Numerically,
thetrajectories
of the process solutionof (5),
obtainedby
an Eulerdiscretization,
aregiven
inFigure
1(for
some value of a 1and
As we can see from
Figure 1,
for or, andsufficiently small,
the tra-jectories of rt , satisfying equation (5),
fluctuate around the deterministictrajectories.
So we can think that there issomething analogous
to thedeterministic
equilibrium a .
#
Associated to the
equilibrium solution xt
= 0 there is an invariant Dirac deltadistribution,
so we can ask if there exists another invariantFig.
1. - Deterministic and stochastictrajectories
for some value of aand
a 2 forequation
(5). We have denotedby
ode and sde the deterministic and stochastic tra-jectories respectively.
In thesegraphics
a =0.5, {3
= 0.8 and xo = 0.1.distribution which
plays
the role of the deterministicstationary
solutionxt
a
To this end we look for the solution of thestationary
forward~
Fokker-Plank
equation (see [5]).
In the case of
equation (5),
thestationary
Fokker-Plankequation
isx 1 j 2
with
P(x)
aC2
function.The
following
result holds:THEOREM 2.
Equation (12)
has a non-trivial solutionif
andonly if
J"" Q ..
The
non-degenerate
solution is adensity function of
theform
whA
is the
normalizing
constant.PROOF. Write
equation (12)
in thefollowing simpler
form- #X)
and c is a constant.The solution of
(16)
is,
It follows that
We prove that
p(x)
is adensity
function if andonly
if c = 0.Function
P(x)
is adensity
if itsintegral
between 0 andinfinity
isbounded.
We show
that,
in aneighborhood
of0, p(x)
has boundedintegral only
when c = 0 and condition
(13)
holds.We take k > 0 and c ~ 0 because
p(r)
is adensity
tilat,
x
W l lrl l li 1
2a
’""""9
where C2 is a
positive constant,
in aneighborhood
of 0 we have(0 z 1)
~ ...,
T’r - 1 - 2n
}
1 T7 - 1it, iUliUW)3 tlittll 1U1 V 1 ‘
2a -
WILII .fi3, zB-4 anu f~g pUSlLiVC CUllbtilliL,6. Ille lliteg.1-Ul Ul Lne rigiit, IIUIIU SiUC
of
(19)
between 0 and 1 is infinite for c # 0.Then,
for2 a,
it must bec = 0 otherwise
p(x)
is not adensity.
Analogously,
fora2
>2a,
theintegral
ofp(x)
isgreater
than2a , 2a n 1
W l lrl fi6, 6M1U 118 j11U 1,11C UJ. lrl ll,,~’ 4.U¿j,UlJIlJ-Y
between 0 and 1
diverges positively
for anypositive
value of c and k.Finally,
fora 1
= 2a we have. 1 - - /--,
Fig.
2. -Density
(14) for some value of Q1 and a 2. The distributions areplotted
for. a = 0.5
and fl
= 0.8.with
Kg
andK10 positive
constants.Again,
theright
hand side of(20)
has infiniteintegral
between 0 and 1.It is easy to see, from the
previous discussion,
that theintegral
ofp(r)
is finiteonly
in the casea1
2a and c = 0.We can conclude
that,
underhypothesis (13),
is adensity
and ithas the form
( 14).
Density (14)
isplotted,
for some values of c~ 1 andFigure
2.The
graphics
inFigure
2suggest
that in this case thedensity
func-tion converges, as (7i
1 and
a~ 2 go to zero, to a Dirac delta distribution withmass concentrated in
a ,
while forsufficiently large, density (14)
isf3
concentrated in a
right neighborhood
of zero.Now we consider the
particular
case =0,
that isequation (6).
L L
Fig.
3. - Deterministic and stochastictrajectories
for c~ = 0.1, a = 0.5, Q = 0.8 and a = 1,respectively,
forequation
(6). We have denotedby
ode and sde the determi- nistic and stochastictrajectories respectively.
In thesegraphics
a =0.5, ~3
= 0.8and xo = 0.1.
As we can see from the numerical simulation of the
trajectories given
in
Figure 3,
for small values of a thetrajectories
fluctuate(for
sufficient-ly large t )
around the deterministicstationary solution xt
=a .
Infact, following
theproof
of theorem 2 one can prove {3COROLLARY 1.
Equation (12), for a2 = 0
has a non-triviale solutions
if
andonly if
i,ne non-tnvtat sotutton ts a ciamma aenstty
parameters , 2
(ma2a
oror2
174
Since
p(x)
is a Gammadensity,
it has the formfor
~2a.
The mean of the
density (22)
isand the variance
REMARK 1. The Gamma
density (22), for a2
a , has a maximuma - 2
in x
= a a ,
whilefor a2
E[ a , 2 a)
the maximum is in zero.So,
P _ 2
for
eacht ,
thedensity (22)
is concentratedaround -
andfor
a 2 E [ a , 2 a )
in aright neighborhood of
zero. ~Remark 1 tells us
that,
in the casea2
2 a , the process, for t suffi-ciently large,
fluctuates around the maximum of thedensity (22)
but re-maining always positive.
REMARK 2. It is
important
to observethat, for
agoing
to zero, thisnon-trivial invariant distribution
approaches
the Dirac delta distri- bution with mass concentratedin - .
Infact,
as one can seefrom
equa-p a
tions
(23)
and(24),
var(x)
goes to zero andE(x)
goes to - as a goes to~ p
zero. This means
that, for
asufficiently smaLh
thedistribution
is con-centrated around the deterministic
stationary
solution{3
Fig.
4. - Gamma distribution for a = 0.1, a = 0.3, o~ = 0.6 and on = 0.8,respectively.
The distributions are
plotted
for a = 0.5and {3
= 0.8.The
previous
remarks are confirmedby
the numerical resultsgiven
in
Figure
4.Figure
5 shows that also in theparticular
case ofequation (7), namely
when at 1= 0 in
equation (5),
thetrajectories
fluctuate around the deter- ministicstationary solution xt
=a .
Infact, following again
theproof
oftheorem
(2),
one can prove {3COROLLARY 2.
Equation (12), for c~ 1= 0
and non-triviale
solution,
that is adensity function of
theform
176
Fig.
5. - Deterministic and stochastictrajectories
for a = 0.1, Q = 0.5, a = 0.8 andQ = 1.2,
respectively,
forequation
(7). We have denotedby
ode and sde the deter- ministic and stochastictrajectories respectively.
In thesegraphics
a =0.5 ~3
= 0.8and xo = 1.
where K is the
follouring
constantand
(P(-) represents
the normal cumulative distributionfunction.
Corollary
2 tells usthat,
forequation (7),
we have two invariant dis- tributions : the Dirac delta distribution associated to the null solution and a distribution withdensity (25).
REMARK 3. In the case
«{3
uncertain»(a, = 0),
the non-trivial in- variant distributionalways
exists without conditions on the par- ameter a.The mean of the
density (25)
isand the variance
REMARK 4. Observe
that,
as in theprevious
case(a uncertain),
thenon-degenerate
distribution converges, as a goes to zero, to a DiracFig.
6. -Density
(25) for a = 0.1, a = 0.5, Q = 0.8 and a = 1.2,respectively.
Thedensities are
plotted
for a = 0.5and f3
= 0.8.178
delta distribution with mass concentrated
in a
which is the second~ {3
stationary
solutionof
the deterministiclogistic equation (1).
Infact,
one can see
that,
as a goes to zero,E(x)
goesto a
andvar (x)
goes tozero. {3
These results are confirmed
by Figure
6.4.
Stability
of thestationary
solutions.The invariant distribution with
density (14)
existsonly
under condi- tion(13).
So we want toanalyze
the behavior of the solution fora1
> 2 a.To this end we
study
thestability
of the process xt = 0.Figures
1 and 2suggest
that the null process is stable for a 1large
and unstable for a 1 small.
By choosing
anappropriate Lyapunov
function andapplying
theorem1,
we show thestability of xt
= 0 for (7i 1large.
The
following
result holdsTHEOREM 3. For the model
(5),
thestationary
solution xt = 0 is stable inprobability
> 2 a andasymptotically
stable inprobabili- ty if Q 1 >
1 2 °‘positive
constant less than1 ).
1-E
PROOF. Consider the function
where A 1 is a
positive
constant.V(x)
is aLyapunov
function and(30) LV(x)
=LV ~ 0 for
a 1, 2 a ,
that is thestationary solution xt
* 0 is stable forQ i ; 2a
A(in particular
for A =Q1 2
Moreprecisely, applying
theorem 1B at
we obtain that
xt = 0
is stable inprobability
xt = 0 is
asymptotically
stable inprobability
if iwhere f is a
positive
constant less than 1.Theorem 3
gives
thestability
of thestationary solution xt
= 0 in thecase
a1
> 2 a without conditions on the coefficient a 2.In
fact,
in theparticular
case a 1=0 ,
theorem 2 asserts that there al- ways exists thenon-degenerate
distribution withdensity (25),
so theprocess fluctuates in a
neighborhood
of the deterministicsolution f
and thestationary solution Xt ==
0 isalways
unstable(see Figure 5). {3
The
particular
case a 2 = 0 isanalogous
to that ofequation (5).
In factwe have
COROLLARY 3. For the model
(6),
thestationary solution xt
= 0 isstable in
probability if a2
> 2 a andasymptotically
stable inprobabili- ty for a2
>2013~- (with
f apositive
constant less thanone).
PROOF. We consider the
Lyapunov
functionwhere A 1 is a positive constant (tor A > 1 the integral in (31) does not
exists).
Following
theproof
of theorem 3 we obtain the thesis.Corollary
3gives
thestability
of thestationary solution xt
= 0 in thecase
a2 > 2 a ,
that is when thenon-degenerate
invariant distribution does not exist. In the casea2 2 a, instead,
the processfluctuates,
for tsufficiently large,
around the maximum of thedensity
function(22),
asstated in remark 1. It is also
possible
to determine a band withinwhich,
for t
sufficiently large,
the process is withprobability approximately
one.Denoting by
Qx the standard deviation of the process(that
is c~x ==
var (x)
withvar (x)
defined in(24)),
theprobability that,
for t suffi-ciently large,
the process differs from its meanby
less than K times theFig.
7. - Thetrajectories
of the process (case ofequation
(6)), for tsufficiently
lar-ge, remains in the
region
between the dotted lines. Thisregion
is the same indica-ted in formula (34).
standard deviation is
Since is a Gamma
distribution,
theintegral
cannot becomputed
in asimple
way, but it can beapproximated numerically.
Nevertheless,
we recall that the standardization of a random variable distributedGamma,
withparameter r
and~, ,
converges to a standard normal random variable for rgoing
toinfinity.
This allows us to make thefollowing approximation,
for (7sufficiently small,
where we have denoted
by x
a random variablehaving density (22)
andby W
the cumulative normal distribution function.Recalling (23)
and(24)
we obtain that the process is withprobability approximately
one(for
Qsufficiently
small and tsufficiently large)
in theinterval
In
Figure
7 we haveplotted
the«limiting region»
for thetrajectories
for some value of a~.
5. Conclusions.
If we introduce
uncertainty
on theparameter
a,obtaining equation (6),
we can have one or two invariantdistributions,
itdepends
on the ra-2
tio -- .
Ifc~2 2 a ,
then there exists anon-degenerate
invariant distribu-a
tion
(besides
the Dirac delta distribution with mass concentrated in0)
with Gammadensity given by (22).
Fora2
a thetrajectories
of the_ 2
process solution of
(6)
fluctuate around thevalue a-0,2
while for2 · ~ ·
Q E
[ a , 2a)
the mostprobable
values are those of aright neighborhood
of zero
(as
stated in remark1).
These observations are confirmedby Figure
4.For a~
sufficiently small,
the maximum value of thedensity
function(22) approaches
the deterministicequilibrium - and,
inparticular,
four a~
going
to zero, the non-trivial invariant distribution becomes adegener-
ate distribution with mass concentrated in
a .
It follows that the non-de-~
generate
invariant distributionplays
the role of the deterministic sta-tionary solution xt - a .
~
Moreover,
for asufficiently small,
we can say that the process, for tsufficiently large, is,
withprobability approximately
one, in a «band» ofwidth
depending
on a andf3
andgiven by (34).
This means that the tra-jectories,
for tsufficiently large
and Qsufficiently small,
remain in aneighborhood
of the mean value(23),
withprobability approximately
one.
If
c~ 2
>2 a ,
then the non-trivial invariant distribution does not existany more and the
degenerate
process xt = 0 is stable inprobability
asstated in theorem 3.
We can conclude
that,
for~2a,
the process, for tsufficiently large,
fluctuates around the maximum value of thestationary density (which
existsonly
fora2 2 a ),
otherwise the process goes to zero which becomes a stablestationary
solution.In the case
of {3
uncertain wealways
have two invariant distributions:the Dirac delta distribution associated to the unstable
stationary
sol-ution and a
non-degenerate
invariant distribution withdensity given
in(25).
Thetrajectories
fluctuate in aneighborhood
of the deter- ministicequilibrium a .
Also in this case, for agoing
to zero, the non-~
trivial invariant distribution becomes a
degenerate
distribution withmass concentrated in
a .
It follows that this invariant distribution can be {3considered as the stochastic
analogue
of the deterministicstationary
sol-ution xt * a
ution xt
= 2013.{3
If we introduce
uncertainty
both on aand {3
we have a situation simi- lar to that ofequation (6),
that is we can have one or two invariant distri-2 _
butions
depending
on the ratioa 2 1;
there exist two invariant distribu-a
tions
only
in the case 2 a: the Dirac delta distribution with mass concentrated in 0 and an invariant distribution withdensity given
in(14).
When the non-trivial invariant distribution does not
exist, namely
ifQ 1 > 2a,
the process becomes stable inprobability (see
theorem3).
We conclude that if we introduce
uncertainty only
onparameter P
thesituation is
quite
similar to the deterministic case, that is the null sol- ution isalways
unstable and the process fluctuates around the determin- isticstationary solution xt - a .
~
Uncertainty
on a, on thecontrary,
causes achange
in thestability properties
of the nullsolution, depending
on the value of theparameter
Q 1 in
equation (5) (or
Q inequation (6)):
for small values of a(or o~),
thenull solution is
unstable,
while it becomes stable forlarge
values of(or a)
and in that case the Dirac delta distribution with mass concentrated in 0 is theonly
invariant distribution.AknowLedgment.
I would like to thank EnricoVitali, Monique
Jean-blanc and
Wolfgang Runggaldier
for theprecious suggestions.
REFERENCES
[1] H. DENG - M. KRSTIC, Stochastic nonlinear stabilization,
Systems
Control Lett., 32 (1997), pp. 143-159.[2] P. FLORCHINGER,
Lyapunov-like techniques for
stochasticstability,
SIAM J.Control
Optim.,
33 (1995), pp. 1151-1169.[3] C. W. GARDINER, Handbook
of
stochastic methods,Springer-Verlag,
Berlin,1985.
[4] R. KHASMINSKII, Stochastic
stability of differential equations, Sijthoff
& No-ordhoff,
Alphen
aan denRijn,
1980.[5] P. E. KLOEDEN - E. PLATEN, Numerical solution
of
stochasticdifferential equations, Applications
of Mathematics Series Vol. 23,Springer-Verlag,
Hei-delberg,
1992.[6] H. J. KUSHNER, Stochastic
stability
and control, Academic Press, New York,1967.
[7] E. M. LUNGU - B.
OKSENDAL, Optimal harvesting from
apopulation
in astochastic crowded environment, Math. Biosci., 145 (1997), pp. 47-75. ,
[8] H. RISKEN, The Fokker-Planck
equation, Springer-Verlag,
Berlin, 1984.Manoscritto pervenuto in redazione il 10 ottobre 2000.