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