Hopf Bifurcation Analysis of Fractional SEIR Model with Double Time Delays ()
1. Introduction
Since the outbreak of coronavirus disease 2019 (COVID-19), the global public health system has faced very serious challenges for a long time. Moreover, the widespread spread of the virus will not only cause serious problems of human health and life safety, but also have an irreparable impact on global economic development and social stability. According to the mathematical modeling method, it is the core direction with important practical value in the study of infectious disease dynamics to deeply explore the dynamic law of the spread of novel coronavirus, accurately predict the evolution trend of the epidemic situation, and design scientific and effective prevention and control intervention programs accordingly. This paper systematically sorts out and summarizes the research results in related fields at home and abroad. The existing academic research provides a solid theoretical basis and research reference for the study of Hopf bifurcation of fractional-order multi-delay COVID-19 propagation model from two aspects: model system construction and dynamic analysis method. In the related research of biodynamic models, especially infectious disease transmission models, many scholars have achieved rich results. Among them, Reference [1] constructed an integer-order SEIR dynamic model with dual delay parameters of incubation period and recovery period based on the real transmission characteristics of the novel coronavirus epidemic, and focused on the mechanism of time delay on the stability of the equilibrium point and the Hopf bifurcation dynamic behavior of the system. This study further integrates control strategies and drug intervention-related variables, constructs an optimal control analysis framework with time-delay characteristics, and establishes the time-delay disturbance problem as the core research context, which provides an important reference for the research ideas of this paper. Based on the traditional SEIR model, Reference [2] extended the model into a spatial reaction-diffusion system. At the same time, it also introduced many realistic factors such as the randomness of population spatial migration and nonlinear infection rate, which enriched the research ideas of infectious disease modeling coupled with multi-dimensional realistic variables, and provided a new reference direction for the optimization and improvement of the model in this paper.
Fractional differential equations are widely used in epidemic modeling because they can describe the memory effect and historical cumulative dependence of the system. In the literature [3]-[9], etc., combined with the actual epidemic characteristics of asymptomatic infection, multiple physiological delays, saturated incidence, multi-group warehouse division, etc., different forms of fractional-order delay SEIR-like dynamic systems are constructed. It is fully confirmed that fractional-order operators combined with discrete delays can be more suitable for the complex evolution of infectious diseases. In addition, Reference [10] explored the bifurcation characteristics of the double-delay SEIR model under the dual propagation path. Reference [11] carried out the quantitative calculation of Hopf bifurcation based on the combination of saturation incidence and time delay. Reference [12] completed the threshold determination and global stability proof of the classical SEIR model. Reference [13] introduced the complex network topology to describe the non-uniform contact mode of the crowd, and improved the extended form of the traditional SEIR model from multiple angles. In [14]-[16], the optimal control problem of vaccination with state constraints is added to the SEIR model, and the optimal intervention scheme is solved by distinguishing different constraints, which provides an important reference for this paper to build a time-delay optimal control model with dual control variables of social contact control and drug treatment.
In terms of theoretical analysis and numerical simulation methodology, the existing research has formed a complete and mature technical system. In many literatures, the fixed point theory is widely used to prove the existence and uniqueness of the solution of the fractional order system. The next generation matrix method is used to solve the basic reproduction number, and the Lyapunov direct method is used to complete the local and global stability of the equilibrium point. The stability switching condition is determined by the root distribution of the characteristic equation. Based on the center manifold theorem and the normal form method, the direction, period and stability of Hopf bifurcation are derived. In the numerical simulation stage, Adams-Bashforth-Moulton predictor-corrector algorithm, finite difference method, network topology simulation and other tools are widely used to verify the theoretical derivation results. The above complete qualitative analysis theory and numerical calculation scheme lay a methodological foundation for the equilibrium point analysis, Hopf bifurcation condition derivation and numerical verification of the optimal control strategy of the fractional-order multi-delay new crown propagation model.
2. Statement of the Problem
We propose the following delayed SEIR model to describe the spread of the COVID-19 virus.
(1)
Here, the fractional order parameter
,
,
,
, and
denote the susceptible, exposed, infected, and recovered at time
, respectively, and
denotes the total population tree.
,
represents the time delay parameters of two different physiological processes, where
represents the latent period delay after infection, and
represents the recovery period delay of infected individuals. The biological interpretation of the remaining parameters in the system Equation (1) is summarized in Table 1.
Table 1. Parameter descriptions of the fractional-order delayed SEIR epidemic model.
Symbol |
Description |
|
Constant population recruitment rate |
|
Natural mortality rate |
|
Disease-induced excess mortality rate of infected individuals |
|
Effective transmission rate of exposed individuals
|
|
Effective transmission rate of symptomatic infected individuals
|
|
Conversion rate from exposed compartment
to infected compartment
|
|
Recovery rate of infected individuals
|
|
Direct self-healing rate of exposed individuals
|
|
Immunity waning rate of recovered individuals |
In order to facilitate the subsequent stability analysis and Hopf bifurcation study of system (1), the definition of Caputo fractional derivative and several basic lemmas are given.
Definition 2.1 (Caputo Fractional derivative [17]-[19]). The Caputo definition of fractional derivatives can be written as:
(2)
where
. In particular, if
,
, Equation (2) can be written as:
(3)
Definition 2.2 (Laplace Transform [20] [21] of Fractional Derivative). The Laplace transform of Caputo fractional derivative of order
(
) for the function
is
(4)
where
is the Laplace transform of
, and
are the initial conditions. Obviously, if
for
, Equation (4) can be written as
Definition 2.3. [22] Consider the following
-dimensional fractional-order system with time delay:
(5)
where
and the time delay
. System (5) undergoes Hopf bifurcation at the equilibrium
when
if the following three conditions are satisfied:
i) All the eigenvalues
(
) of the coefficient matrix
of the linearized system of (5) with
satisfy
ii) The characteristic equation of the linearized system of (5) has a pair of purely imaginary roots
when
.
iii)
where
denotes the real part of the complex number.
Using the next-generation matrix method proposed by van den Driessche and Watmough [23], the basic reproduction number of the system (1) can be expressed as:
For system (1), the disease-free and the endemic equilibrium points are defined as
and
where
(6)
where
,
,
We know that when the basic reproduction number
, only the disease-free equilibrium exists and the disease dies out;
corresponds to the critical bifurcation case; when
, an endemic equilibrium exists and the disease persists.
For Caputo fractional-order systems with
, the equilibria and the Jacobian matrix evaluated at each equilibrium are completely determined by the right-hand-side vector field of the system and are independent of the fractional order
. Accordingly, the eigenvalues of the Jacobian matrix can be solved by exactly the same algebraic procedures as those used for integer-order systems. Nevertheless, local asymptotic stability of an equilibrium for fractional-order systems is no longer equivalent to the condition that all eigenvalues have negative real parts. Instead, the fractional-order eigenvalue criterion should be adopted: an equilibrium is locally asymptotically stable if and only if every eigenvalue
of the Jacobian matrix satisfies
For the delay-free counterpart of our system, all eigenvalues of the Jacobian at the disease-free equilibrium satisfy
whenever
. Combined with
, we have
, so the fractional-order stability condition
is automatically fulfilled. Hence,
guarantees the local
asymptotic stability of the disease-free equilibrium in the delay-free case. It is worth noting that this property holds only in the absence of time delays. When time delays
are involved, the characteristic equation becomes transcendental, and the eigenvalue analysis based on the constant Jacobian matrix is invalid. We have to investigate the stability switches and Hopf bifurcation induced by time delays.
At the equilibrium point
, by applying the transformations
system (1) can be converted into
(7)
where
3. Stability and Hopf Bifurcation
In this section, we thoroughly investigate the local stability of the system (1) at its equilibrium points. Taking the time delay as the bifurcation parameter, we further demonstrate the existence of Hopf bifurcation at the equilibrium points of the system through case-by-case analysis.
Firstly, we need to discuss the stability of system (1) at
.
Case 3.1.1 If
, We can get the characteristic equation of system (1) is
(8)
where
According to Definition condition i), to guarantee the local asymptotic stability of the equilibrium point
of system (1) at
, the following Assumption (A1) needs to be satisfied.
(A1) The coefficients
of Equation (8) satisfy the following conditions
i)
;
ii)
;
iii)
.
Claim 1. According to the Routh-Hurwitz criterion, if Assumption (A1) holds, all roots of Equation (8) have negative real parts, which implies that
is satisfied for all characteristic roots. Therefore, the equilibrium
is locally asymptotically stable under the delay-free condition.
To analyze the stability and Hopf bifurcation behavior of system (1), this paper performs the Laplace transform on both sides of the linearized equation (7), and further derives the corresponding characteristic matrix of the system
.
It follows from
that the characteristic equation of the fractional-order system with two delays is given by
(9)
where the polynomial functions
are defined as
where
Next, we investigate the following cases for the delay parameters
and
at the equilibrium point
.
Case 3.1.2 If
, then Equation (9) becomes
(10)
Assume that
(
) is a purely imaginary root of Equation (6). Substitute
into
for
. Let
. By separating the real and imaginary parts of the characteristic Equation (10), we derive the following system:
where
For the convenience of subsequent calculations, we perform equivalent transformation on Equation (10) and obtain the following system of equations
where
We can readily derive
By the identity
, we have
(11)
Assume that Equation (11) has at least one positive real root
, which can be computed by the symbolic computation software Maple. Accordingly, the critical delay
corresponding to the bifurcation point is defined as
where
is the root of Equation (11).
Finally, we consider the transversality condition, namely Condition iii in Definition 2.3. Let
denote a root of Equation (6) in the neighborhood of
, which satisfies
and
. Differentiating both sides of Equation (10) with respect to
, we obtain
where
stands for the derivative of the function
(
). Hence,
(12)
Let
for
, and
for
. Substituting these expressions into Equation (8), we obtain
where
In summary, we propose the second assumption and obtain the following theorem1.
(A2):
Theorem 1. Assume that conditions (A1) and (A2) hold, then the equilibrium point
of the system (1) is asymptotically stable when
; when
, Hopf bifurcation occurs near the equilibrium point.
Case 3.1.3 If
, then Equation (9) becomes
(13)
Separating the real and imaginary parts, we obtain the following system of trigonometric equations:
For simplicity, we denote
Then the equation is rewritten as
By Cramer’s rule, we solve for
and
:
Using the fundamental trigonometric identity
we arrive at the constraint
(14)
Equation (14) guarantees the existence of a positive real root
. The critical delay
can be computed numerically with Maple 13 via the formula
The parameters are defined the same as those in Subsection case 3.1.2. Taking the partial derivative on both sides of Equation (13), we finally obtain:
where
Similar to the above case, we will get similar assumptions and theorems.
(A3):
Theorem 2. Assume that conditions (A1) and (A3) hold, then the equilibrium point
of the system (1) is asymptotically stable when
, when
, Hopf bifurcation occurs near the equilibrium point.
Case 3.1.4 If
, then equation (9) becomes
(15)
Multiply both sides of the equation (15) by
, we have
(16)
Separating the real and imaginary parts, we obtain the following system of trigonometric equations:
For simplicity, we denote
Then the system is rewritten as
By Cramer’s rule, we solve for
and
:
Using the fundamental trigonometric identity
we arrive at the constraint
(17)
Equation (17) guarantees the existence of a positive real root
. The critical delay
can be computed numerically with Maple 13 via the formula
The parameters are defined the same as those in Subsection case 3.1.2. Taking the partial derivative on both sides of Equation (16), we finally obtain:
where
Similar to the above case, we will get similar assumptions and theorems.
(A4):
Theorem 3. Assume that conditions (A1) and (A4) hold, then the equilibrium point
of the controlled system (1) is asymptotically stable when
, when
, Hopf bifurcation occurs near the equilibrium point.
4. Numerical Results
In this section, the influence of time delay as a bifurcation parameter on the stability of the equilibrium point of the system is intuitively felt through numerical examples. In this paper, two groups of parameters are selected as shown in Table 2. The first set of values makes the basic reproduction number
, so there is only one disease-free equilibrium. However, this paper mainly studies the local equilibrium point, so we use the second set of data, which makes
, there is a local equilibrium point, so we start numerical simulation. The fractional order parameter
is selected, and the critical frequency and critical bifurcation point are calculated by numerical calculation maple. The following five pictures show the stability changes of the five equilibrium points due to different time delays.
Table 2. Parameter values in the first and second groups.
Parameters |
First |
Second |
|
1.50 |
0.50 |
|
0.50 |
1.00 |
|
0.30 |
0.30 |
|
0.05 |
0.05 |
|
0.01 |
0.01 |
|
0.55 |
0.50 |
|
0.10 |
0.01 |
|
0.20 |
0.20 |
|
1.20 |
1.20 |
Figure 1.
is asymptotically stable.
Figure 2. When
,
is asymptotically stable for
.
Figure 3. When
,
is asymptotically stable for
.
Figure 4. When
,
is asymptotically stable for
.
Figure 5. When
,
is asymptotically stable for
.
From Figures 1-5, we observe that small time delays preserve stability of the endemic equilibrium
, while crossing the critical delay threshold triggers Hopf bifurcation and periodic oscillations. Figure 1 shows that when τ1 = τ2 = 0, the time-series of each compartment gradually converges, and the phase trajectories settle at a fixed point, so
is asymptotically stable. For τ1 = 0, Figure 2 illustrates that
remains asymptotically stable for τ2 = 5.16 < τ20. In Figure 3, as τ2 = 6 > τ20, periodic oscillations appear in all population curves and limit cycles form in phase portraits, which implies the onset of Hopf bifurcation. When τ2 = 0, Figure 4 presents stable dynamics for τ1 = 1.1 < τ10. By contrast, Figure 5 shows sustained periodic fluctuations once τ1 = 1.4 > τ10, confirming that a supercritical Hopf bifurcation takes place. Collectively, these simulations verify that each delay can destabilize E1 and induce periodic solutions when exceeding its corresponding critical value. From an epidemiological perspective, this warns public-health authorities that slow roll-out of quarantine policies will produce oscillatory waves of infections. To mitigate such periodic resurgence, intervention measures should be activated as early as possible to keep the effective response delay under the computed critical threshold.
5. Conclusions and Suggestions
For the fractional-order SEIR epidemic dynamics model constructed in this paper, the existence and uniqueness of the positive equilibrium point of the system are first strictly demonstrated. Then, the time delay term is selected as the core bifurcation parameter. By classifying and discussing the different situations of time delay, the local asymptotic stability of the positive equilibrium point is deeply analyzed, and the occurrence conditions of Hopf bifurcation of the system are determined. Based on the classical theory of Hopf bifurcation of fractional-order delay differential systems, a set of new sufficient criteria for determining the birth of Hopf bifurcation are derived. At the same time, the critical delay threshold of bifurcation of the system is accurately solved by Maple symbolic computing software.
Our mathematical and numerical results carry clear epidemiological implications. When the intervention response delay is kept below the critical threshold (
), the endemic equilibrium remains asymptotically stable, meaning that infection cases will gradually converge to a steady level. Once intervention delay exceeds
, Hopf bifurcation occurs and sustained periodic oscillations emerge in susceptible, exposed and infected populations, which corresponds to recurrent epidemic waves in reality. This indicates that delayed implementation of quarantine measures may trigger repeated resurgence of infections, even if other control parameters remain unchanged. Therefore, shortening the response lag of isolation interventions is crucial to suppressing periodic epidemic oscillations. Although full calibration against real-world case data is not the primary goal of this theoretical study, our parameter setup refers to epidemiological literature on latent periods and intervention timelines, so that our numerical observations can offer qualitative reference for practical public-health decision-making.
It should be noted that the parameter group used for numerical simulation in this paper is taken from typical ranges in existing epidemic-modelling literature for the purpose of qualitative verification of theoretical conclusions. The exact numerical values of critical delay thresholds
and
are parameter-dependent. Direct quantitative application of these threshold figures for real-world disease calls for further calibration against real surveillance data, which will be considered in our future research.
Funding
This work is supported by the National Natural Science Foundation of China (Grant No. 11872043), Natural Science Foundation of Sichuan Province (Grant No. 2023NSFSC1299), the Scientific Research and Innovation Team Program of Sichuan University of Science and Engineering (Grant No. SUSE652B002), Opening Fund of Key Laboratory of Higher Education of Sichuan Province for Enterprise Informationalization and Internet of Things (Grant No. 2023WZJ02).
Author Contributions
Conceptualization, F.H.Z. and X.L.L.; methodology, F.H.Z.; software, F.H.Z.; validation, F.H.Z., X.L.L., and Z.Z.; formal analysis, F.H.Z.; investigation, F.H.Z.; resources, X.L.L.; data curation, F.H.Z.; writing—original draft preparation, F.H.Z.; writing—review and editing, X.L.L.; visualization, F.H.Z.; supervision, X.L.L.; project administration, X.L.L. All authors have read and agreed to the published version of the manuscript.