Hopf Bifurcation Analysis for a Computer Virus Model with Two Delays
Abstract
This paper is concerned with a computer virus model with two delays. Its dynamics are studied in terms of local stability and Hopf bifurcation. Sufficient conditions for local stability of the positive equilibrium and existence of the local Hopf bifurcation are obtained by regarding the possible combinations of the two delays as a bifurcation parameter. Furthermore, explicit formulae for determining direction of the Hopf bifurcation and stability of the bifurcating periodic solutions are obtained by using the normal form method and center manifold theory. Finally, some numerical simulations are presented to support the theoretical results.
1. Introduction
This paper is organized as follows. In Section 2, local stability of the positive equilibrium and the existence of local Hopf bifurcation are discussed. In Section 3, the direction of the Hopf bifurcation and the stability of the bifurcating periodic solutions are determined by using the normal form theory and center manifold theorem. In order to illustrate the validity of the theoretical analysis, some numerical simulations are presented in Section 4. Some main conclusions are drawn in Section 5.
2. Stability and Existence of Local Hopf Bifurcation
Case 1 (τ1 = τ2 = 0). Equation (8) reduces to
By the Routh-Hurwitz criterion, sufficient conditions for all roots of (10) to have a negative real part are given in the following form:
Thus, if condition (H1) (12) holds, then the positive equilibrium D* is locally asymptotically stable in the absence of delay.
Case 2 (τ1 > 0, τ2 = 0). When τ1 > 0, τ2 = 0, (8) becomes the following form:
Lemma 1. Let
- (i)
if e20 < 0, (18) has at least one positive root;
- (ii)
if e20 ≥ 0 and α1 ≥ 0, (18) has positive roots if and only if v11 > 0 and f1(v11) < 0;
- (iii)
if e20 ≥ 0 and α1 < 0, (18) has positive roots if and only if there exists at least one v1* ∈ {v11, v12, v13} such that v1* > 0 and f1(v1*) ≤ 0.
In what follows, we assume that (H21): the coefficients in f1(v1) satisfy one of the following conditions in (a)–(c):
- (a)
e20 < 0;
- (b)
e20 ≥ 0, α1 ≥ 0, v11 > 0, and f1(v11) < 0;
- (c)
e20 ≥ 0, α1 < 0, and there exists at least one v1* ∈ {v11, v12, v13} such that v1* > 0 and f1(v1*) ≤ 0.
If (H21) holds, we know that (16) has at least a positive root ω10 such that (13) has a pair of purely imaginary root ±iω10. The corresponding critical value of the delay is
Thus, if condition holds, then the transversality condition is satisfied. According to the Hopf bifurcation theorem in [24], we have the following results.
Theorem 2. Suppose that the conditions (H21)-(H22) hold. Consider
- (i)
the positive equilibrium D*(S*, E*, I*, R*) of system (3) is asymptotically stable for τ1 ∈ [0, τ10);
- (ii)
system (3) undergoes a Hopf bifurcation at the positive equilibrium D*(S*, E*, I*, R*) when τ1 = τ10 and a family of periodic solutions bifurcate from the positive equilibrium D*(S*, E*, I*, R*) near τ1 = τ10.
Case 3 (τ1 = 0, τ2 > 0). When τ1 = 0, τ2 > 0, (8) becomes the following form:
- (a′)
e30 < 0;
- (b′)
e30 ≥ 0, α2 ≥ 0, v21 > 0, and f2(v21) < 0;
- (c′)
e30 ≥ 0, α2 < 0, and there exists at least one v2* ∈ {v21, v22, v23} such that v2* > 0 and f2(v2*) ≤ 0.
Theorem 3. Suppose the conditions (H31)-(H32) hold.
- (i)
The positive equilibrium D*(S*, E*, I*, R*) of system (3) is asymptotically stable for τ2 ∈ [0, τ20).
- (ii)
System (3) undergoes a Hopf bifurcation at the positive equilibrium D*(S*, E*, I*, R*) when τ2 = τ20 and a family of periodic solutions bifurcate from the positive equilibrium D*(S*, E*, I*, R*) near τ2 = τ20.
Case 4 (τ1 = τ2 = τ > 0). Substituting τ1 = τ2 = τ > 0 into (8), then (8) becomes
(H41) (42) has at least one positive real root.
Theorem 4. Suppose that conditions (H41)-(H42) hold.
- (i)
The positive equilibrium D*(S*, E*, I*, R*) of system (3) is asymptotically stable for τ ∈ [0, τ0).
- (ii)
System (3) undergoes a Hopf bifurcation at the positive equilibrium D*(S*, E*, I*, R*) when τ = τ0 and a family of periodic solutions bifurcate from the positive equilibrium D*(S*, E*, I*, R*) near τ = τ0.
Case 5 (τ1 > 0, τ2 ∈ (0, τ20)). We consider (8) with τ2 in its stable interval, regarding τ1 as a parameter.
Let λ = iω1* (ω1* > 0) be the root of (8); we obtain
Theorem 5. Suppose that conditions (H51)-(H52) hold and τ2 ∈ (0, τ20).
3. Direction and Stability of the Hopf Bifurcation
In this section, we will investigate the direction of the Hopf bifurcation and the stability of the bifurcating periodic solutions w.r.t. τ1 for τ2 ∈ (0, τ20) by using the normal form theory and the center manifold argument in [24]. We assume that where .
Theorem 6. For system (3), if (), the Hopf bifurcation is supercritical (subcritical). If () the bifurcating periodic solutions are stable (unstable). If (), the period of the bifurcating periodic solutions increases (decreases).
4. Numerical Simulation
Then, we can get R0 = 2.5996 > 1 and the unique positive equilibrium D*(27.9,239.2915,265.8794, 466.9290) of system (70). Further, we have Det1 = 3.4288 > 0, Det2 = 5.4964 > 0, Det3 = 0.6898 > 0, Det4 = 9.6572e − 004 > 0. That is, condition (H1) holds.
For τ1 > 0, τ2 = 0, by some complicated computation, we obtain ω10 = 0.6102, τ10 = 17.2530. By Theorem 2, we know that when τ1 ∈ [0,17.2530) the positive equilibrium D* is asymptotically stable which can be illustrated by Figures 1 and 2. However, if we let τ1 = 20.05 > 17.2530 = τ10, the positive equilibrium D* becomes unstable and a Hopf bifurcation occurs and a branch of periodic solutions bifurcates from the positive equilibrium D*. This property can be shown in Figures 3 and 4. Similarly, we have ω20 = 0.1181, τ20 = 52.4927 for τ1 = 0, τ2 > 0. The corresponding wave forms and plots are shown in Figures 5, 6, 7, and 8.




















For τ1 = τ2 = τ > 0, we get ω0 = 2.0670, τ0 = 5.1094. According to Theorem 4, we can conclude that when τ ∈ [0,5.1094), the positive equilibrium D* is asymptotically stable, which can be seen from Figures 9 and 10. If τ = 5.23 > 5.1094 = τ0; then, the positive equilibrium D* becomes unstable, and a branch of bifurcating periodic solutions occurs, which can be shown in Figures 11 and 12.










Lastly, we have , for τ1 > 0, τ2 = 3 ∈ (0, τ20). The corresponding wave forms and phase plots are shown in Figures 13, 14, 15, and 16. In addition, we have , C1(0) = −0.2079 − 0.6067i, , , . Thus, by Theorem 6, we can conclude that the Hopf bifurcation is supercritical, the bifurcating periodic solutions are stable, and the period of the periodic solutions increases.










5. Conclusions
Based on the SEIR model considered in the literature [10], we propose an SEIRS model with two delays for the propagation of computer viruses in networks. The effects of the two delays on the dynamics of the model are investigated. It is found that the two delays may lead to local Hopf bifurcation and make the model unstable under some certain conditions. When the corresponding delay is suitable and small, the positive equilibrium is asymptotically stable. In this case, the propagation of computer viruses can be predicted and controlled. However, a local Hopf bifurcation occurs and a branch of periodic solutions bifurcates from the positive equilibrium when the corresponding delay passes though a critical value. In such conditions, propagation of the computer viruses is out of control. This phenomenon is not welcome in networks. Therefore, In order to control and even eliminate the propagation of computer viruses, the two delays τ1 and τ2 in the model should remain less than the corresponding critical value. Furthermore, by using the normal form theory and center manifold theorem, the properties of the Hopf bifurcation such as direction and stability are determined. Some numerical simulations are also included to testify the theoretical analysis.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this article.
Acknowledgment
This work was supported by the National Natural Science Foundation of China (61273070), a project funded by the Priority Academic Program Development of Jiangsu Higher Education Institutions.