In mathematical models for chemical or biological systems the unknowns, which might be concentrations or populations, are naturally positive quantities. It is of interest to know whether in the course of time these quantities may approach zero in some sense. For example in the case of ecological models this is related to the question whether some species might become extinct. The notions of persistence and permanence are attempts to formulate precise concepts which could be helpful in discussing these questions. Unfortunately the use of these terms in the literature is not consistent.
I first consider the case of a dynamical system with continuous time defined by a system of ODE . The system is defined on the closure
of a set
which is either the positive orthant in Euclidean space (the subset where all coordinates are non-negative) or the intersection of that set with an affine subspace. The second case is included to allow the imposition of fixed values of some conserved quantities. Let
be the boundary of
, where in the second case we mean the boundary when
is considered as a subset of the affine subspace. Suppose that for any
there is a unique solution
with
. If
let
, where
is the solution with initial datum
and
is the Euclidean distance. Let
. A first attempt to define persistence (PD1) says that it means that
for all
. Similarly, a first attempt to define uniform persistence (PD2) is to say that it means that there is some
such that
for all
. The system may be called weakly persistent (PD3) if
for all
but this concept will not be considered further in what follows. A source of difficulties in dealing with definitions of this type is that there can be a mixing between what happens at zero and what happens at infinity. In a system where all solutions are bounded PD1 is equivalent to the condition that no positive solution has an
-limit point in
. Given the kind of examples I am interested in I prefer to only define persistence for systems where all solutions are bounded and then use the definition formulated in terms of
-limit points. In that context it is equivalent to PD1. The term permanence is often used instead of uniform persistence. I prefer the former term and I prefer to define it only for systems where the solutions are uniformly bounded at late times, i.e. there exists a constant
such that all components of all solutions are bounded by
for times greater than some
, where
might depend on the solution considered. Then permanence is equivalent to the condition that there is a compact set
such that for any positive solution
for
. A criterion for permanence which is sometimes useful will now be stated without proof. If a system whose solutions are uniformly bounded at infinity has the property that
then it is permanent. Here
is the
-limit set of
, i.e. the union of the
-limit sets of solutions starting at points of
. If there is a point in
there is a solution through that point on an interval
which is non-negative. For some systems points like this can be ruled out directly and this gives a way of proving that they are permanent.
Let be the flow of the dynamical system, i.e.
is the value at time
of the solution with
. The time-one map
of the system is defined as
. Its powers define a discrete semi-dynamical system with flow
, where
is a non-negative integer. For a discrete system of this type there is an obvious way to define
-limit points, persistence and permanence in analogy to what was done in the case with continuous time. For the last two we make suitable boundedness assumptions, as before. It is then clear that if the system of ODE is persistent or permanent its time-one map has the corresponding property. What is more interesting is that the converse statements also hold. Suppose the the time-one map is persistent. For a given
let
be the closure of the set of points
. This is a compact set and because of persistence it lies in
. Let
. This is also a compact subset of
. If
is sufficiently large then
where
is the largest integer smaller that
. This implies that
and proves that the system of ODE is persistent. A similar argument shows that if the time-one map is permanent the system of ODE is permanent. We only have to start with the compact set
provided by the permanence of the time-one map.
Leave a Reply