BISTABLE DYNAMICS AND EARLY WARNING SIGNALS 5
obtain a critical threshold on the slowly varying dynamics along the unstable manifold, such that
if a solution goes below it, it must approach the boundary equilibrium state. Finally, the analysis
is used to devise a method for finding early warning signals of the onset of a drastic change in
the population of one of the species of predators. The results are in good agreement with the
numerical simulations carried out for system (1).
The remainder of the paper is organized as follows. In Section 2, we present the general formu-
lation of the class of equations and lay down the assumptions. We briefly discuss the geometric
structure of system (1) and perform few numerical investigations to gain insight into the dynamics.
In Section 3, we reduce the general system to a topologically equivalent form, which is valid near
the singular Hopf bifurcation and analyze the equivalent system. We obtain a set of sufficient
conditions on the initial data in a neighborhood of the coexistence equilibrium to lie in the basin
of attraction of the periodic attractor. Using the analysis, we then devise a method of detecting an
early warning signal of population collapse in Section 4. The results are supported by numerical
simulations in Section 5. Finally, we summarize our conclusion in Section 6.
2. Mathematical Model
2.1. General Formulation. The class of equations under consideration is of the form
ζ˙x=f1(x, y, z, h) := xϕ(x, y, z, h)
˙y=f2(x, y, z, h) := yχ(x, y, z, h)
˙z=f3(x, y, z, h) := zψ(x, y, z, h),
(3)
where x, y, z rehresent the population densities of the prey and the two species of predators respec-
tively, pis a parameter in a compact subset of Rand ϕ, χ, and ψare smooth functions having the
properties described by (H1)-(H7) and (Q1)-(Q5) below. The overdots in (3) denote differentiation
with respect to the time variable sand 0 < ζ ≪1 represents a singular parameter. We assume
that the prey evolves on a faster timescale than the predators, a phenomenon commonly observed
in many ecosystems [13, 14, 29, 32]. We make the following assumptions:
(H1) ϕ(0,0,0, h)>0, χ(0,0,0, h)<0, ψ(0,0,0, h)<0, ϕ(1,0,0, h) = 0, χ(1,0,0, h)>0,
ψ(1,0,0, h)>0 and ϕx(1,0,0, h)<0.
(H2) ϕx(x, y, z, h) = 0 defines a smooth curve Fon the surface S:= {(x, y, z)∈R3:
ϕ(x, y, z, h)=0}dividing Sinto two smooth surfaces:
Sa={(x, y, z)∈S:ϕx(x, y, z, h)<0}, Sr={(x, y, z)∈S:ϕx(x, y, z, h)>0}.
Condition (H1) implies that the equilibrium points (0,0,0) and (1,0,0) are saddles, where
(0,0,0) is attracting in the invariant yz-plane and repelling along the invariant x-axis while (1,0,0)
is attracting along the invariant x-axis and repelling along the yz directions. Depending on h,
(3) may admit other equilibria, some of which may lie on the xy-plane or the xz-plane. These
equilibria will be referred to as the boundary equilibria and will be denoted by Exy and Exz
respectively. Rescaling sby ζand letting t=s/ζ, system (3) can be reformulated as
x′=f1(x, y, z, h)
y′=ζf2(x, y, z, h)
z′=ζf3(x, y, z, h),
(4)
where the primes denote differentiation with respect to t. System (4) is referred to as the fast
system, whereas (3) as the slow system. The set of equilibria of (4) in its singular limit is called
the critical manifold [15], M:= Π ∪S, where Π is the invariant yz plane and Sis the surface as
defined in (H2). Hypothesis (H2) implies that the surface Sais normally attracting while Sris
normally repelling with respect to the limiting fast system. The normal hyperbolicity of Sis lost
via saddle-node bifurcations along the fold curve F.
We assume that there exists a point (¯x, ¯y, ¯z, ¯
h) such that the linearization of (3) at this point
has a pair of eigenvalues that approach infinity as ζ→0 and the following conditions on f1,f2,
f3and their derivatives hold at (¯x, ¯y, ¯z, ¯
h):