![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
ABSTRACT
In this paper, we study complex dynamical behaviour in biological systems due to multiple limit cycles bifurcation. We use simple epidemic and predator–prey models to show exact routes to new types of bistability, that is, bistability between equilibrium and periodic oscillation, and bistability between two oscillations, which may more realistically describe the real situations. Bifurcation theory and normal form theory are applied to investigate the multiple limit cycles bifurcating from Hopf critical point.
1. Introduction
It is well known that dynamical systems, arising in almost all fields of science and engineering such as physics, mechanics, electronics, ecology, economy, biology, finance, etc. can exhibit self-sustained oscillations, leading to limit cycles. The phenomenon of limit cycle was first discovered by Poincaré [Citation8] in late of the nineteenth century, who developed a breakthrough qualitative theory of differential equations which studies the general behaviours of the system without obtaining a specific solution. In order to determine the existence of limit cycles for a given differential equation and the properties of limit cycles, Poincaré introduced the method of topographical systems, the Poincaré Map, the method of small parameter [Citation9] and the Annular Region Theorem. Ever since, the famous Poincaré Map is still the most basic tool for studying the stability and bifurcations of periodic orbits.
Since the mid of twentieth century, bifurcation theory was developed to promote the study of limit cycles and computational methods were developed to approximate the solution of limit cycles. From the point of view of dynamical system theory, there are four principal bifurcations in producing limit cycles: (i) Multiple Hopf bifurcations from a centre or focus; (ii) Separatrix cycle bifurcations from homoclinic or heteroclinic orbits; (iii) global centre bifurcation from a periodic annuli; and (iv) limit cycle bifurcations from multiple limit cycles. Limit cycles bifurcating from a focus or a centre are called local bifurcations of limit cycles or small-amplitude limit cycles, which are usually studied by using centre manifold theory and normal form theory (e.g. see [Citation4, Citation5, Citation7]). Centre manifold and normal form theories may be the two most popular and useful tools for studying local bifurcations, in particular limit cycles of dynamical systems.
One well-known problem closely related to limit cycle theory is Hilbert's 16th problem, which is one of the 23 mathematical problems proposed by D. Hilbert at the Second International Congress of Mathematicians in 1900 [Citation6]. Recently, a modern version of the second part of Hilbert's 16th problem was formulated by S. Smale, and chosen as one of his 18 most challenging mathematical problems for the twenty-first century [Citation11]. This problem is to find an upper bound on the number of limit cycles that a planar polynomial system can have. If the problem is restricted to the vicinity of isolated fixed points, it is equivalent to studying generalized Hopf bifurcations, and the main tasks become computing the focus values (or normal form of Hopf bifurcation) of the point and determining centre conditions. It is now well known that for quadratic systems the maximum number of small-amplitude limit cycles around an isolated singular point is three [Citation1]. However, globally, the problem is unsolved even for quadratic systems. Usually, people thought that Hilbert's 16th problem is an abstract mathematical problem and hard to have any applications.
In order to find multiple limit cycles bifurcating from Hopf singularity, efficient computational methods are essential, particularly in computing higher-order focus values or higher-order normal form coefficients. When the dimension of a dynamical system associated with Hopf bifurcation is more than two, centre manifold theory has to be used together with the normal form computation. In the 1990's computations of centre manifold and normal forms were extensively studied and some efficient computational methods were developed (e.g. see [Citation5] and references therein). This is particularly useful in solving real problems such as those arising in biology. Indeed, recent publications show that even for two-dimensional epidemic model or predator–prey model, determining whether the system can have more than one limit cycle bifurcating from a Hopf critical point is not easy (e.g. see [Citation10, Citation13, Citation19–21]). However, studying bifurcation of multiple limit cycles and determining the number of limit cycles are so important for applications. For example, in most disease models, due to difficulty of identifying multiple limit cycles, researchers often merely study bistable states which involve only equilibrium solutions. Nevertheless, in real situations, stable disease-free equilibrium and periodic disease motion may co-exist, and the motion can be generated from Hopf bifurcation. In such a more realistic case, one must investigate bifurcation of limit cycles and determine their stability. More recently, we have found two limit cycles in the vicinity of an equilibrium, with inner unstable and outer stable, showing the interesting bistable phenomenon [Citation18]. The simulation is shown in Figure .
Figure 1. Two limit cycles in an HIV model [Citation18]: when B=D=0.057, A=0.01846287, C=0.11969000: (a) three trajectories with moving directions indicated; and (b) two limit cycles with the inner unstable and outer stable.
![Figure 1. Two limit cycles in an HIV model [Citation18]: x˙=1−Dx−(B+A y/(y+C)) x y, y˙=(B+Ay/(y+C))xy−y when B=D=0.057, A=0.01846287, C=0.11969000: (a) three trajectories with moving directions indicated; and (b) two limit cycles with the inner unstable and outer stable.](/cms/asset/06d0ecc6-db9b-47cf-b779-b5d944b666b7/tjbd_a_1166270_f0001_b.gif)
In this paper, we will apply the method of normal forms to study bifurcation of multiple limit cycles in dynamical systems arising from biology. In particular, we investigate one epidemic model and one predator–prey model, and show that the former can have two limit cycles and the latter can exhibit three limit cycles for certain feasible parameter values. In the next section, we shall present a summary on centre manifold theory and normal form theory and their computations. Then, we consider the epidemic model in Section 3 and the predator–prey model in Section 4. Numerical simulations are given in Section 5 to verify the analytical predictions. Finally, conclusion is drawn in Section 6.
2. Theory, methodology and computation
In this section, we briefly describe centre manifold theory and normal form theory, as well as an efficient computational method. Consider a general nonlinear dynamical system described in the form of
(1)
(1) where the dot denotes differentiation with respect to time t,
and
represent the linear and nonlinear parts of the system, respectively, and
is assumed to be analytic. Here, the matrix A is assumed diagonalizable, implying that the singularity of the system is a semisimple case. Further, suppose
is an equilibrium of the system, leading to
and
. Denote the n eigenvalues of A by
,
, and without loss of generality, we assume that there are k eigenvalues
,
, having zero real part. This indicates that system (Equation1
(1)
(1) ) has a k-dimensional centre manifold.
Then, by using a proper linear transformation , we can transform system (Equation1
(1)
(1) ) into
(2)
(2) where J is a diagonal matrix, and
is expanded as
in which
denotes a vector
of n non-negative integers, satisfying
, and the index
in the summation denotes that the summation goes over all the sets for
.
Suppose that the matrix J is given in the form of , where
where
contains the eigenvalues with zero real part, while
involves the eigenvalues with negative zero real part. This means that the system only contains centre manifold and stable manifold. It should be noted that in general we can treat more general situation mathematically for which J also contains eigenvalues with positive real part, meaning that the system also contains an unstable manifold. However, for real applications a system with unstable manifold is usually unstable and the first task will be stabilizing the system, and therefore, without loss of generality, we assume there is no unstable manifold in the system.
Let , where
and
. Then, system (Equation2
(2)
(2) ) can be rewritten as
(3)
(3)
2.1. Centre manifold theory
Using the centre manifold theory [Citation2], we can represent the centre manifold of system (Equation3(3)
(3) ) as a (local) graph,
(4)
(4) where
is defined on some neighbourhood
of the origin.
We now consider the projection of the vector field on onto the centre eigenspace, and obtain the differential equation describing the dynamics on the centre manifold, given by
(5)
(5) Since
is tangent to
, the solutions of Equation (Equation5
(5)
(5) ) provide a good approximation of the flow restricted to the centre manifold
. More precisely, if the origin
of Equation (Equation5
(5)
(5) ) is locally asymptotically stable (respectively, unstable), then the origin of system (Equation3
(3)
(3) ) is also locally asymptotically stable (respectively unstable).
The centre manifold can be found as follows: Substituting into the second equation of (Equation3
(3)
(3) ) and using the chain rule yield
(6)
(6) with the boundary conditions
. The nonlinear differential equation for
cannot, of course, be solved exactly in most cases (to do so would imply that a solution of the original equation had been found), but its solution can be approximated arbitrarily closely as a Taylor series at
, described in the following theorem.
Theorem 2.1
[Citation2]
If a function with
can be found such that
for some
as
then it follows that
(7)
(7)
Thus, we can approximate as closely as we wish by seeking series solutions of (Equation6
(6)
(6) ). Note that by using centre manifold theory, we have reduced the n-dimensional differential system (Equation3
(3)
(3) ) to the k-dimensional differential system and keep the local dynamics unchanged.
2.2. Normal form theory
Having applied centre manifold theory to obtain the simple differential system (Equation5(5)
(5) ) which describes the dynamical behaviour of the system restricted to the centre manifold, now we want to further simplify the differential system (Equation5
(5)
(5) ) by applying normal form theory. To achieve this, rewrite Equation (Equation5
(5)
(5) ) as
(8)
(8) where
denotes the sth-degree homogeneous polynomial in
. Define
as the linear space of vector fields whose elements are homogeneous polynomials of degree s, and thus
. Next, we introduce the near-identity transformation:
(9)
(9) where
, into Equation (Equation8
(8)
(8) ) to obtain the normal form,
(10)
(10) where
. The procedure of normal form method is to use the transformation
to simplify
‘as simple as possible’ order by order for
. Note that the s-order transformation
does not affect the lower-order normal form terms
but affect all higher-order normal form terms
. Therefore, assuming that the normal form reduction up to order s−1 has been preformed, we can introduce the transformation
, and differentiating it gives
(11)
(11) Now, we introduce the map, called homological operator, as follows:
(12)
(12) where
is called Lie bracket operation, with
, and define the subspace induced by the map as
. Thus
, where
is the complement for
in
.
Then, it follows from Equation (Equation11(11)
(11) ) that
(13)
(13) Here it should be noted that
since it is assumed that the normal form reduction has been performed up to order s−1. Now, to simplify the s-order term,
, we need to find suitable
such that
becomes as simple as possible, where
and
. Therefore, once the basis of
is found, one can determine the basis of the complementary space
and thus the ‘form’ of the normal form. It is well known that the normal form is not unique since the basis is not unique.
2.3. Normal form computation
From the view point of computation, it seems computing centre manifold and normal form is straightforward. But actually designing an efficient algorithm is not an easy task. As a matter of fact, many researchers have devoted to develop efficient computational methods on normal forms (e.g. see [Citation3, Citation5, Citation15, Citation17]). Recently, an explicit recursive formula has been developed for computing the normal form together with centre manifold for general n-dimensional differential systems associated with semisimple singularities. We briefly outline the approach as follows. Rewrite Equations (Equation9(9)
(9) ) and (Equation10
(10)
(10) ) as
(14)
(14) and
(15)
(15) respectively, and then the centre manifold can be expressed in the new variable
as
(16)
(16) Combining the centre manifold and normal form computations yields the following equations,
(17)
(17) where
,
. Comparing the coefficients on both sides of Equation (Equation17
(17)
(17) ), we obtain the recursive formulas for the coefficients of the centre manifold and the normal form as well as the associated nonlinear transformation.
For convenience, we express the powers of and
, for
, as
(18)
(18) Then, the following result is obtained.
Theorem 2.2
[Citation12]
For any fixed
let
. Then the recursive formulas for the coefficients of the nonlinear transformation (Equation14
(14)
(14) ), the normal form (Equation15
(15)
(15) ) and the centre manifold (Equation16
(16)
(16) ) of system (Equation3
(3)
(3) ), that is,
and
are given below.
For
and
if
then
otherwise,
For
, the formulas are given by
where
The proof for this theorem and Maple program can be found in [Citation12].
2.4. Bifurcation of multiple limit cycles
Now we discuss how to determine the maximal number of limit cycles which may bifurcate from a Hopf critical point. Suppose that the normal form of system (Equation1(1)
(1) ) has been obtained in the polar coordinates up to the
th order term:
(19)
(19) where r and θ denote the amplitude and phase of motion, respectively. Both
and
are explicitly expressed in terms of the original system's coefficients.
is called the kth-order focus value of the Hopf-type critical point (the origin). The zero-order focus value
is obtained from linear analysis.
The basic idea of finding k small-amplitude limit cycles of system (Equation1(1)
(1) ) around the origin is as follows: First, find the conditions based on the original system's coefficients such that
(note that
is automatically satisfied at the critical point), but
, and then perform appropriate small perturbations to prove the existence of k limit cycles. This indicates that the procedure for finding multiple limit cycles involves two steps: Computing the focus values (i.e. computing the coefficients of the normal form) and solving multivariate coupled nonlinear polynomial equations:
. In the following theorem, we give sufficient conditions for the existence of small-amplitude limit cycles. (The proofs can be found in [Citation16].)
Theorem 2.3.
Suppose that the focus values depend on k parameters, expressed as
(20)
(20) satisfying
(21)
(21) Then, for any given
there exist
and
with
such that the equation
has exactly k real positive roots
i.e. system (Equation1
(1)
(1) ) has exactly k limit cycles) in a δ-ball with its centre at the origin.
3. An epidemic model with a nonlinear incidence rate
The first system we consider in this section for bifurcation of multiple limit cycles is an epidemic model with a nonlinear incidence rate. Detailed dynamical analysis including saddle-node bifurcation, Hopf bifurcation and homoclnic bifurcation was given in [Citation10]. In [Citation10] the critical conditions on Hopf bifurcation are given in terms of system parameters. Moreover, the stability of bifurcating limit cycles is determined by calculating the first focus value. In particular, in Theorem 2.6 of [Citation10], it was mentioned that there are at least two limit cycles if the first focus value vanishes. But no further discussions are given in [Citation10] on how to obtain the conditions for the existence of two limit cycles. Here, we want to show that this epidemic model actually can have maximal two limit cycles due to Hopf bifurcation, and derive the explicit conditions on the existence of two limit cycles. It should be noted that the Hopf bifurcation condition and the first-order focus value obtained in this paper are different from that given [Citation10], though they are equivalent. Our simple formulas help us to compute higher-order focus values for analysing bifurcation of multiple limit cycles. Consider the normalized system (1.3) in [Citation10] describing the epidemic model:
(22)
(22) where I and R denote the number of infective individuals and the number of removed individuals, respectively, and all the four parameters, p,A,m and q, take positive values. The system has a disease-free equilibrium
, which is a stable node, and a disease equilibrium (a positive equilibrium),
, where
and
is determined by the equation:
(23)
(23) Therefore,
there is no positive equilibrium if
;
there is one positive equilibrium if
; and
there are two positive equilibria if
.
Regarding the bifurcation of multiple limit cycles in system (Equation22(22)
(22) ), we have the following result.
Theorem 3.1.
For any real values of if the parameters satisfy
then system (Equation22
(22)
(22) ) can have two limit cycles due to Hopf bifurcation. The condition under which only one limit cycle exists is also given.
Proof.
To find the maximal number of limit cycles which can bifurcate from a Hopf critical point, we will not explicitly solve the positive equilibrium (like what is done in [Citation10]) since the explicit expression involving square root will cause very messy calculations in computing higher-order focus values. The Jacobian matrix evaluated at the positive equilibrium has the trace, given by
(24)
(24) Now, linearly solving Equation (Equation23
(23)
(23) ) and
for m and q yields
(25)
(25) Then, the determinant of the Jacobian matrix becomes
(26)
(26) It is obvious that m>0 requires that
, and a Hopf bifurcation can occur if
which in turn guarantees q>0. Multiplying
on both sides of the equations in (Equation22
(22)
(22) ) and then introducing the following transformation into the resulting equation,
(27)
(27) where
, with time scaling
, yielding a new system:
(28)
(28) whose linear part is in Jordan canonical form.
Next, applying the Maple program [Citation12, Citation14] to system (Equation28(28)
(28) ) we obtain the first focus value, given by
(29)
(29) Note that the denominator of
is positive. Solving
for A yields
(30)
(30) which requires
in order for
. Under the condition (Equation30
(30)
(30) ), executing the Maple program yields the second focus value,
(31)
(31) which clearly shows that
for positive parameter values, implying that system (Equation22
(22)
(22) ) can exhibit at most two small-amplitude limit cycles due to Hopf bifurcation, and the outer is unstable (due to
) and the inner is stable. Note that the system contains four free parameters, and so mathematically it may be possible to find at most four limit cycles without the physical restriction on the parameters.
Finally, we want to find the feasible positive parameters for the existence of the two limit cycles. Let
(32)
(32) Then, p>0 requires
(33)
(33) which guarantees A>0 and
(34)
(34) Further, under the condition (Equation33
(33)
(33) ), the q given in Equation (Equation25
(25)
(25) ) becomes
(35)
(35) Consequently, substituting Equation (Equation32
(32)
(32) ) into Equation (Equation31
(31)
(31) ) results in
(36)
(36)
Moreover, we may also discuss the existence of only one limit cycle, for which , that is,
In order to find the above condition given in terms of the system parameters, we eliminate
from Equation (Equation23
(23)
(23) ) and
(see Equation (Equation24
(24)
(24) )) to obtain the solution for
,
and a resultant equation,
Then, with
, substituting the solution
into
yields the following condition:
under which there exists only one small-amplitude limit cycle.
It is noted in [Citation10] that one unstable limit cycle is obtained when A=10.02,m=4.0,q=3.6,p=0.2, for which . In fact, for one limit cycle, we can choose some parameter values to obtain a stable limit cycle, since
changes its sign around the value of A given in Equation (Equation30
(30)
(30) ). For example, by choosing
(which yields
) we obtain
, leading to a stable limit cycle; and if taking
(which also yields
) then we have
, leading to an unstable limit cycle.
To end this section, we give a set of parameter values for model (Equation22(22)
(22) ) to exhibit two limit cycles as follows: Taking E=1 yields
. Then, choosing
results in
(37)
(37) Hence, proper perturbations on the parameters can be chosen such that
to yield two limit cycles, with the outer stable and the inner unstable, both enclosing the stable equilibrium
. A more detailed numerical example with computer simulation will be given in Section 5.1.
4. A predator–prey model with negative effect of prey on its predator
The next system we consider in this section is a predator–prey model with negative effect of prey on its predator [Citation13], described by
(38)
(38) where X and Y represent population densities of the predator and prey, respectively.
is the intrinsic growth rate of the predator,
is the intensity of intraspecific competitions, while
represents the carrying capacity of the predator when in isolation from the prey. Similarly,
is the intrinsic growth rate of the prey,
is the intensity of intranspecific competition, while
represents the carrying capacity of the prey when in isolation from the predator. When
, system (Equation38
(38)
(38) ) becomes the Rosenzweig–MacArthur model. Both cases
and
were discussed in [Citation13] for a preliminary study of the transition of system states. Complex dynamics and bifurcations such as Hopf bifurcation were not investigated in [Citation13].
In this section, we will consider two cases for bifurcations of multiple limit cycles, one is for and the other for
, but
. In order to simplify the system and reduce the number of parameters, introducing the following scaling,
into system (Equation38
(38)
(38) ), we obtain (still using the notation t for τ)
(39)
(39) which now contains only six parameters:
and
. Now, the first case is given by
, and the second case is defined by
. In the following, we first consider the first case and then the second case. We will show that there are feasible positive parameter values for both cases such that system (Equation39
(39)
(39) ) can have maximal three small-amplitude limit cycles though the second case has less restrictions on the parameters.
4.1. Case ![](//:0)
![](//:0)
For this case, system (Equation39(39)
(39) ) becomes
(40)
(40) which only contains four parameters:
and
. Ideally, four limit cycles might be possible if feasible parameter values exist. However, due to physical limitation on the parameters, we can have three limit cycles for system (Equation40
(40)
(40) ), as stated in the following theorem.
Theorem 4.1.
System (Equation40(40)
(40) ) can have three small-amplitude limit cycles bifurcating from the origin due to Hopf bifurcation, with the parameters satisfying the following conditions:
where
is determined from the equation:
.
Proof.
First, note that system (Equation40(40)
(40) ) has three equilibrium solutions, two of them are boundary equilibria and one is a positive equilibrium:
(41)
(41) where
is determined from the following equation:
(42)
(42) It can be shown that
is a degenerate saddle and
is a saddle. For the equilibrium
, suppose
is the Jacobian matrix of system (Equation40
(40)
(40) ) evaluated at this positive equilibrium. Then, solving the equation
and Equation (Equation42
(42)
(42) ) for A and
yields
(43)
(43) The positivity condition on A and
requires that
(44)
(44) Next, multiplying
on both sides of the equations in (Equation40
(40)
(40) ) and then introducing the following linear transformation into the resulting equation,
(45)
(45) where
(46)
(46) with time scaling
, yields the system:
(47)
(47) where
and
are both 4th-degree polynomials. Note that under the conditions given in
Equation (Equation44
(44)
(44) ),
requires that
(48)
(48) Now, we apply the Maple program in [Citation12, Citation14] for system (Equation47
(47)
(47) ) to obtain the focus values
, all of them are functions of
and
.
is given by
(49)
(49) and other lengthy higher-order focus values are not listed here for brevity. Since there are three free parameters, the best result we expect is that we may find conditions such that
, but
, possibly yielding four small-amplitude limit cycles.
Since the factor in the script bracket in is not a linear function in any of its variables
and
, we eliminate
from the two pairs of equations
and
, and obtain two solutions for
:
and
, and two resultant equations. Then, we use the Maple built-in command resultant(
) to obtain a single-variate resultant equation
, which yields 11 real positive solutions such that
with positive solutions of
. Next, we verify these 11 solutions by checking if the two solutions
and
are equal,
. It is found that there are only two solutions satisfying this condition:
Finally, we want to verify if these two solutions satisfy
and
. It is easy to use Equations (Equation54
(54)
(54) ) and (Equation57
(57)
(57) ) to obtain that
indicating that no solutions exist for system (Equation40
(40)
(40) ) to have four limit cycles. Thus, the next best result could be three limit cycles.
To find feasible parameter values for the existence of three limit cycles, we only need to solve the resultant equation with
. For the convenience of choosing the perturbations later to obtain three limit cycles, we may solve the equation
(
given in Equation (Equation49
(49)
(49) )) for
to obtain a solution, and then solve the resultant equation
. Note that feasible solutions must satisfy the conditions given in Equations (Equation44
(44)
(44) ) and (Equation48
(48)
(48) ). Now there is one free parameter, we may use a numerical searching in the interval
to find feasible solutions from the equation
. It can be shown that
has real positive solutions for
. For example, letting
, we have only one feasible solution:
(50)
(50) for which
, but
. Thus, proper perturbations can be chosen on the parameters to obtain three small-amplitude limit cycles.
A more detailed numerical example with computer simulation will be given in Section 5.2.
4.2. Case ![](//:0)
![](//:0)
Now we turn to a more general case with only . For this case, system (Equation39
(39)
(39) ) can be rewritten as
(51)
(51) Ideally, five limit cycles might be possible if feasible parameter values are allowed. However, due to physical limitation on the parameters, we can still have only three small-amplitude limit cycles for system (Equation51
(51)
(51) ).
Theorem 4.2.
For system (Equation51(51)
(51) ), if the following conditions hold:
then the system can have three small-amplitude limit cycles bifurcating from the origin due to Hopf bifurcation.
Proof.
To prove this result, we first find four equilibrium solutions for system (Equation51(51)
(51) ), three of them are boundary equilibria and one is positive equilibrium:
(52)
(52) where
is determined from the following equation:
(53)
(53) Suppose
is the Jacobian matrix of system (Equation51
(51)
(51) ) evaluated at the positive equilibrium
. Then, solving the equation
and Equation (Equation53
(53)
(53) ) for A and
yields
(54)
(54) In order to have A>0 and
, it requires that
(55)
(55) Next, multiplying
on both sides of the equations in (Equation51
(51)
(51) ) and then introducing the following transformation into the resulting equation,
(56)
(56) where
and
(57)
(57) with time scaling
, yields the system in the form of (Equation47
(47)
(47) ). Now, similarly, we apply the Maple program in [Citation12, Citation14] to system (Equation47
(47)
(47) ) to obtain the focus values
, all of them are functions of
and
. Thus, the best result we expect is that we may choose them such that
,
, possibly yielding five small-amplitude limit cycles.
First, we try to find if there exist feasible parameter values for the existence of five limit cycles. To achieve this, we need to find feasible parameter values such that . Solving r from the equation
we obtain a solution for
, where
(58)
(58) and then
and
are expressed in terms of
and
. The numerators of these equations are respectively 3rd-degree, 8th-degree and 13th-degree polynomials with respect to
. To solve these equations, we eliminate
from the two pairs of equations
and
, and obtain two solutions for
:
and
, and two resultant equations,
and
, where
and
are respectively 31th-degree and 79th-degree polynomials with respect to
. Eliminating
from these two equations is difficult. So we use the Maple built-in command resultant(
) to obtain a single-variate resultant equation
. Solving this equation for positive
we obtain 62 real positive solutions, among which only 17 solutions lead to
with positive solutions of
. Next, we verify these 17 solutions by checking if the two solutions
and
are equal,
. We find that there are only 3 solutions satisfying this condition:
Finally, we want to verify if these three solutions satisfy
and
. It is easy to use
Equations (Equation54
(54)
(54) ) and (Equation57
(57)
(57) ) to obtain that
So, none of the 3 solutions is a candidate for system (Equation51
(51)
(51) ) to exhibit five limit cycles. Therefore, there do not exist feasible parameter values for the existence of five limit cycles in system (Equation51
(51)
(51) ). Thus, the next best result could be four limit cycles.
To find feasible parameter values for the existence of four limit cycles, we only need to solve (
has been solved for r), and thus if there are solutions they should have infinitely many solutions. Now we only need to solve the resultant equation
with
. It follows from
Equations (Equation54
(54)
(54) ) and (Equation57
(57)
(57) ) that
and
need the following conditions to be satisfied:
(59)
(59) and
, where
and
are given in Equation (Equation58
(58)
(58) ). Since now there is one free parameter, we may use a numerical searching for
in the interval
to find feasible solutions from the equation
. It can be shown that
has no real positive solutions which satisfy the conditions in Equation (Equation59
(59)
(59) ). Hence, there do not exist feasible parameter values for the existence of four limit cycles in system (Equation51
(51)
(51) ). Thus, the next best result could be three limit cycles.
To find feasible parameter values for the existence of three limit cycles, we only need to solve (
has been solved for r), and thus if there are solutions they should have infinitely many solutions. To achieve this we can numerically search the region in the 2-dimensional parameter space,
, and we have indeed found the feasible solutions which exist for
. For example, letting
and
, we have two feasible solutions:
for which
, but
. Thus, proper perturbations can be chosen on the parameters to obtain three small-amplitude limit cycles.
Remark 1.
Similarly, we may follow the procedure given in Section 3 to discuss the conditions for which the predator–prey model (Equation40(40)
(40) ) or (Equation51
(51)
(51) ) may have only one or two limit cycles. Since the main purpose of this paper is to show how to get maximal number of limit cycles from Hopf bifurcation, we shall not discuss further on this here.
5. Numerical simulation
In this section, we present numerical simulations for the two models, considered in Sections 3 and 4, to verify the analytical predictions obtained in the previous two sections.
5.1. The endemic model (eqn22)
For the epidemic model (Equation22(22)
(22) ), it has been shown in Section 3 that the maximal number of small-amplitude limit cycles bifurcating from a Hopf critical point is two and the outer is unstable. We take the critical parameter values given in Equation (Equation37
(37)
(37) ), and choose two small perturbations
and
:
for which the first three focus values associated with the disease equilibrium
are given by
Therefore, the polynomial equation,
, yields two positive roots:
and
, which roughly measures the amplitudes of the two bifurcating limit cycles. The simulation is shown in Figure . The large limit cycle is unstable with neighbouring trajectories diverging from this limit cycle, as shown in Figure (a). For a clear view, Figure (b) depicts the two limit cycles, with solid curve and dotted curve to denote the stable and unstable limit cycles, respectively. For this example, it is seen that the analytical predictions agree well with the simulation, predicting the correct dynamical behaviour.
Figure 2. Simulation of the endemic Model (Equation22(22)
(22) ) for
, showing the existence of two limit cycles enclosing the disease equilibrium
: (a) trajectories diverging from the outer limit cycle; and (b) two limit cycles, enclosing a stable equilibrium, with the outer unstable (dotted curve) and the inner stable (solid curve).
![Figure 2. Simulation of the endemic Model (Equation22(22) I˙=I21+pI2(A−I−R)−mI,R˙=qI−R,(22) ) for p=0.33333333, A=14.72222222, m=1.50254546, q=21.14141414, showing the existence of two limit cycles enclosing the disease equilibrium (I1,R1)=(0.52343041,11.06605899): (a) trajectories diverging from the outer limit cycle; and (b) two limit cycles, enclosing a stable equilibrium, with the outer unstable (dotted curve) and the inner stable (solid curve).](/cms/asset/eb1c5108-dc03-4593-990d-0d7cffcf9fb4/tjbd_a_1166270_f0002_b.gif)
For planar dynamical systems, unstable limit cycles can be identified by using so called time-reversible numerical integration scheme, that is, merely taking negative time steps in a regular numerical integration approach. This technique changes α-limit sets to ω-limit sets and thus unstable limit cycles become ‘stable’ by using this technique. In fact, the unstable limit cycle shown in Figure (a) is obtained by using a fourth-order Runge–Kutta method with negative time step. Once the unstable limit cycle is identified, the stable limit cycle can be alternatively determined by checking the eigenvalues of the linearized system at the endemic equilibrium. Indeed, at these perturbed parameter values, the eigenvalues are , implying that the endemic equilibrium is an usable focus, and thus there must exist at least one stable limit cycle between the equilibrium and the unstable limit cycle, as confirmed by the simulation shown in Figure (b). However, it should be pointed out that this time-reversible integration technique does not work for dynamical systems with dimension higher than two.
For this endemic model, it is noted that bistable phenomenon appears, with one stable node at the origin and one stable limit cycle enclosing a positive equilibrium solution. The attracting region for the stable limit cycle is inside the unstable limit cycle, while the whole area outside the unstable limit cycle is the attracting region of the stable node (the origin). It should be pointed out that the single unstable limit cycle shown in [Citation10] indicates a bistable phenomenon with purely (two) equilibria. This new type of bistability found in this paper reveals a more complex but more realistic situation: the predicted state may not be necessarily an equilibrium (either the disease-free equilibrium or the disease equilibrium), but may also involve disease periodic oscillation. This implies that the infective individuals and removed individuals are not necessarily fixed, but in a more realistically, mutually stable periodic motion.
5.2. The predator–prey model (eqn38)
In Section 4, we have considered the predator–prey model (Equation38(38)
(38) ) for two cases:
and
. Since both the two cases can have maximal three limit cycles, we shall only present a simulation for the first case. That is, we shall use system (Equation40
(40)
(40) ) to perform computer simulation. According to Equation (Equation50
(50)
(50) ), for the critical parameter values:
the first four focus values are
, implying that the outer limit cycle is stable. We take the following three perturbations:
with
and
, for which the positive equilibrium solution is given by
and the first four focus values become
Thus, the equation
gives the three positive roots:
, which are the approximations of the three limit cycles. The simulation for this case is given in Figure , where Figure (a) shows the convergence of trajectories to the outer limit cycle; while Figure (b) depicts the three limit cycles, with solid curve and dotted curve to represent the stable and unstable limit cycles, respectively. It can be seen that for this example the amplitudes of the simulated limit cycles agree very well with the analytical predictions.
Figure 3. Simulation of the predator–prey model (Equation40(40)
(40) ) for
, showing the existence of three limit cycles enclosing the equilibrium
: (a) trajectories converging to the outer limit cycle; and (b) three limit cycles, enclosing an unstable equilibrium, with the outer and the inner stable (solid curve) and the middle one unstable (dotted curve).
![Figure 3. Simulation of the predator–prey model (Equation40(40) x˙=xAyE3+y−x,y˙=y1−B2xE2+y−y,(40) ) for E2=0.01839684, E3=0.73192174, A=4.19123136,B2=0.20423339, showing the existence of three limit cycles enclosing the equilibrium (x2,y2)=(0.63214554,0.12999997): (a) trajectories converging to the outer limit cycle; and (b) three limit cycles, enclosing an unstable equilibrium, with the outer and the inner stable (solid curve) and the middle one unstable (dotted curve).](/cms/asset/329106df-283f-4982-85c2-fceceb1833e3/tjbd_a_1166270_f0003_b.gif)
Similarly, for the perturbed parameter values, the Jacobian matrix of the system evaluated at the positive equilibrium has the eigenvalues: , indicating that the positive equilibrium is an unstable focus. Therefore, if there is another stable limit cycle enclosing the equilibrium, then there must also have an unstable limit cycle between the two stable limit cycles. As a matter of fact, the smaller stable limit cycle is confirmed by the simulation, but the convergence speed is extremely slow, while the unstable limit cycle can be identified by using the time-reversible numerical integration scheme.
For this predator–prey model, it is again seen that bistable phenomenon occurs, but now both stable states are limit cycles, with no equilibria, showing a new interesting bistable phenomenon in biological systems. The two attracting regions are separated by an unstable limit cycle. The region inside the unstable limit cycle is the attracting region for the small stable limit cycle, while the region outside the unstable limit cycle is the attracting region for the large stable limit cycle. This implies that in real situation the predator and prey can be balanced on two periodic motions, either a small oscillation or a large oscillation depending upon the initial conditions.
6. Conclusion
In this paper, we have applied normal form theory to investigate bifurcation of multiple limit cycles for one epidemic model and one predator–prey model. New interesting bistable phenomenon has been found, which may involve equilibria and oscillating motions. In particular, for the epidemic model, we have shown that two limit cycles can bifurcate from a Hopf critical point, indicating that the infective individuals and removed individuals are not necessarily fixed, but can be on a mutually stable periodic motion. For the predator–prey model, three limit cycles have been obtained from Hopf bifurcation, which reveals that the predator and prey can be dynamically balanced either on a small oscillation or on a large oscillation depending upon the initial conditions. Moreover, it has been shown that due to physical restriction on system parameters, the maximal number of limit cycles may be hard to reach. However, for some cases, two or three limit cycles are possible to obtain. Hence, the complex dynamical behaviour of a biological system not only depends upon the number of free parameters contained in the system, but also on the physical restriction on those parameters.
Acknowledgment
P. Yu thanks the Key Laboratory of Mathematics for Nonlinear Sciences, Ministry of Education, China for supporting his visit and preparation of this manuscript during the visit.
Disclosure statement
No potential conflict of interest was reported by the authors.
Additional information
Funding
References
- N. N. Bautin, On the number of limit cycles which appear with the variation of coefficients from an equilibrium position of focus or center type, Mat Sb. 30 (1952), pp. 181–196.
- J. Carr, Applications of Center Manifold Theory, Springer-Verlag, New York, 1981.
- M. Gazor and P. Yu, Spectral sequences and parametric normal forms, J. Difference Equ. Appl. 252 (2012), pp. 1003–1031. doi: 10.1016/j.jde.2011.09.043
- J. Guckenheimer and P. Holmes, Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields, 4th ed., Springer-Verlag, New York, 1993.
- M. Han and P. Yu, Normal Forms, Melnikov Functions, and Bifurcations of Limit Cycles, Springer-Verlag, New York, 2012.
- D. Hilbert, Mathematical problems, (M. Newton, Transl.)., Bull. Amer. Math. 8 (1902), pp. 437–479. doi: 10.1090/S0002-9904-1902-00923-3
- Y.A. Kuznetsov, Elements of Applied Bifurcation Theory, 2nd ed., Springer-Verlag, New York, 1998.
- H. Poincaré, Mémoire sur les courbes définies par une équation différentielle.I, II, J. Math. Pures Appl. 7(3) (1881), pp. 375–422 ; 8 (1882), pp. 251–296; Sur les courbes définies par les équations différentielles. III, IV, ibid. 1(4) (1885), pp. 167-224; 2 (1886), pp. 155–217.
- H. Poincaré, Les Methodes Nouvelles de la Mecanique Celeste, 1892–1899.
- S. Ruan and W. Wang, Dynamical behavior of an epidemic model with a nonlinear incidence rate, J. Difference Equ. Appl. 188 (2003), pp. 135–163. doi: 10.1016/S0022-0396(02)00089-X
- S. Smale, Mathematical problems for the next century, Math. Intelligencer 20 (1988), pp. 7–15. doi: 10.1007/BF03025291
- Y. Tian and P. Yu, An explicit recursive formula for computing the normal forms associated with semisimple cases, Commun. Nonlinear Sci. Numer. Simul. 19 (2014), pp. 2294–2308. doi: 10.1016/j.cnsns.2013.11.019
- Y. Wang, H. Wu, and S. Wang, A predator–prey model characterizing negative effect of prey on its predator, Appl. Math. Comput. 219 (2013), pp. 9992–9999.
- P. Yu, Computation of normal forms via a perturbation technique, J. Sound Vibration 211 (1998), pp. 19–38. doi: 10.1006/jsvi.1997.1347
- P. Yu, A simple and efficient method for computing center manifold and normal forms associated with semi-simple cases, Dyn. Contin. Discrete Impuls. Syst. Ser. B Appl. Algorithms 10 (2003), pp. 273–286.
- P. Yu and M. Han, Small limit cycles bifurcating from fine focus points in cubic-order Z2-equivariant vector fields, Chaos Solitons Fractals 24 (2005), pp. 329–348. doi: 10.1016/S0960-0779(04)00599-5
- P. Yu and A.Y.T. Leung, The simplest normal form of Hopf bifurcation, Nonlinearity 16 (2003), pp. 277–300. doi: 10.1088/0951-7715/16/1/317
- P. Yu, W. Zhang, and L. M. Wahl, Dynamical analysis and simulation of a 2-dimensional disease model with convex incidence, Commun. Nonlinear Sci. Numer. Simul. 37 (2016), pp. 163–192. doi: 10.1016/j.cnsns.2015.12.022
- W. Zhang, L. M. Wahl, and P. Yu, Conditions for transient viremia in deterministic in-host models: viral blips need no exogenous trigger, SIAM J. Appl. Math. 73 (2013), pp. 853–881. doi: 10.1137/120884535
- W. Zhang, L.M. Wahl, and P. Yu, Viral blips may not need a trigger: How transient viremia can arise in deterministic in-host models, SIAM Rev. 56 (2014), pp. 127–155. doi: 10.1137/130937421
- W. Zhang, L.M. Wahl, and P. Yu, Modelling and anlysis of recurrent autoimmune disease, SIAM J. Appl. Math. 74 (2014), pp. 1998–2025. doi: 10.1137/140955823