Abstract
In this work, we examine a fractional epidemiological model with strong memory effects. We use a fractional derivative with Mittag–Leffler-type kernel to moderate the epidemiological model to narrate the spreading and controlling of the computer viruses. We obtain the solution of the mathematical model by using q-HATM. The existence and uniqueness of the solution of the epidemiological model for computer viruses are examined by employing the fixed-point theory. Finally, to demonstrate the outcomes of the investigation, some graphical results are presented.
Access provided by Autonomous University of Puebla. Download chapter PDF
Similar content being viewed by others
Keywords
- Epidemiological model
- Computer viruses
- Atangana–Baleanu fractional derivative
- Fixed-point theorem
- q-HATM
1 Introduction
In recent years, computer virus is a major problem in hardware and software technology. The computer virus is a particular kind of computer program which propagates itself and spreads from one computer to another. The file system generally damaged by the viruses and worms employs system vulnerability to look and attack computers. Consequently, for improving the safety and reliability in the computer setups and networks, the test on excellent examination of the computer virus spreading dynamical process is an important instrument. There are mainly two methods to examine the considered problem similar to the biological viruses as microscopic and macroscopic mathematical models. To describe and control the spreading of computer virus, many engineers and scientists suggested several ways to formulate mathematical models [1–18]. In recent work, Singh et al. [19] have reported a new mathematical model for describing spreading of computer virus by making use of a new fractional derivative with the exponential kernel. Fractional order calculus (FOC) has been employed to formulate the mathematical models of real-life problems. Nowadays, the FOC is acting a pivotal role in the areas of physics, computer science, chemistry, earth science, economics, etc. In recent years, many mathematicians and scientists paid their attention in this very special branch of mathematical analysis [20–32]. In 2016, Atangana–Baleanu (AB) fractional derivative was studied by Atangana and Baleanu [33] connected with the Mittag–Leffler function in its kernel. The AB fractional derivative has been used in describing various physical problems such as mathematical model of exothermic reactions having fixed heat source in porous media [34], Biswas–Milovic model in optical communications [35], regularized long-wave equation in plasma waves [36], Fornberg–Whitham equation in wave breaking [37], rumor spreading dynamical model [38], dynamical system for competition between commercial and rural banks in Indonesia [39], etc.
The principal aim of the present study is to suggest a novel epidemiological model for describing the spreading for computer viruses with Mittag–Leffler-type memory. A new numerical algorithm, namely q-HATM [40, 41] is used for solving the epidemiological model of arbitrary order for computer viruses associated with Mittag–Leffler-type kernel. The q-HATM is the combination of q-homotopy analysis method (q-HAM) [42, 43] and Laplace transform method [44,45,46,47].
Motivated and very useful consequences of fractional operators in mathematical modeling of real word problems, we present a fractional modified epidemiological model (FMEM) for computer viruses. The key aim of this investigation is to apply a novel fractional operator in describing the spreading of viruses in computers. The existence and uniqueness of the solution of the FMEM for computer viruses are investigated by using the concept of the well-known fixed-point theory. The article is organized as follows: Sect. 2 presents the key results related to AB fractional derivative. Section 3 is dedicated to the fractional modeling of computer viruses. In Sect. 4, we report the existence and uniqueness of the solution of the FMEM for computer viruses. In Sect. 5, the efficiency of q-HATM is used to obtain the analytical solution of the FMEM for computer viruses. Section 6 reports the numerical results and discussions. Section 7, which is the last portion of the article, points out the conclusions.
2 The AB Fractional Derivative and Its Properties
Definition 2.1
Assume that \( S \in H^{1} (\alpha ,\beta ),\,\beta > \alpha ,\,\kappa \in (0,1] \) and differentiable, then the AB fractional derivative in terms of Caputo is presented as [33]
In Eq. (1), \( B(\kappa ) \) is satisfying the property \( B(0) = B(1) = 1 \).
Definition 2.2
Let \( S \in H^{1} (\alpha ,\beta ),\,\beta > \alpha ,\,\kappa \in (0,1] \) and non-differentiable, then the AB fractional derivative in Riemann–Liouville sense is presented as [33]
Definition 2.3
Consider \( 0 < \kappa < 1 \), and S be a function of \( \tau \), then the fractional integral operator associated with AB fractional derivative of order \( \kappa \) is drafted as [33]
3 FMEM of Computer Viruses with Mittag–Leffler Memory
In this section, we extend the epidemiological model for computer viruses formulated by Piqueira and Araujo [5] by using the theory of AB fractional derivative to induce the strong memory in the model description. Here, we denote the total population by T. We divide the total population T into the following four categories:
-
Category I: The number of computers which are not infected is inclined to probable infection and is indicated by the symbol \( S(\tau ). \)
-
Category II: The number of computers which are not infected is associated with the anti-virus and represented by the symbol \( A(\tau ). \)
-
Category III: The number of computers which are infected by virus is denoted by the symbol \( I(\tau ). \)
-
Category IV: The number of removed computers because of infection or not is represented by the symbol \( R(\tau ). \)
In the mathematical formulation of the problem, the influx parameter mortality parameters are taken in the following manner:
\( \varpi \) indicates the influx rate, which is representing the involvement of novel computers to the interconnected system, and \( \theta \) stands for the proportion coefficient connected to the mortality rate, not due to the virus.
In order to decorate the magnificent report with infected ones, the susceptible category \( S(\tau ) \) is converted into the infected category with a rate that is pertaining to the chance of susceptible computers. Consequently, \( \xi \) represents the equivalent factor and this rate is straightforwardly equivalent to the multiplication of \( S(\tau ) \) and \( I(\tau ). \) The conversion of susceptible into antidotal is straightforwardly equivalent to the product of \( S(\tau ) \) and \( A(\tau ) \) with the equivalent factor represented via \( \mu_{SA} \). On making use of the anti-virus programs, the computers affected by virus can be got back to normal ones and being converted in the antidotal one with a rate straightforwardly equivalent to the product of \( A(\tau ) \) and \( I(\tau ) \) with the equivalent factor indicated via \( \mu_{IA} \). Here, we indicate the rate of reducing the computer into the useless and computer is removed from the system by the symbol \( \varepsilon \), while we represent the proportion factor of the computers that can be restored and converted into the susceptible category by the symbol \( \rho \).
The dynamical process of the spreading of the infection of a recognized virus is investigated with the aid of the present approach and, so, the conversion of antidotal into infected is not studied. Consequently, a scheme of vaccination can be described, and a cost-effective application of anti-virus programs can be clarified with the help of the understudy model.
Considering all these suppositions, the mathematical representations can be presented in the following manner
In considered model, the influx rate is investigated to be \( \varpi = 0 \), as action of viruses is very fast than the extension of system, so it is assumed that no new computer is involved in the system all the while the spreading of the assessed virus. On the similar manner, the fraction coefficient is taken to be \( \theta = 0 \), supposing that the machine obsolescence time is very bigger than the time of the virus movement.
Consequently, mathematical model (4) becomes as follows:
It is well known that the mathematical models with classical derivatives do not carry the memory of the system, so we extend the mathematical model (5) with the aid of AB fractional derivative, then it reduces as follows:
The initial conditions associated with fractional model (6) are presented as
In this investigation, we have taken \( T(\tau ) = S(\tau ) + I(\tau ) + R(\tau ) + A(\tau ) \) to be fixed at a time \( \tau \). We suppose that \( \Psi \) stands for the Banach space of continuous real-valued functions over the interval \( \Delta \) having the norm
In Eq. (8), \( \left\| {S(\tau )} \right\| = \sup \left\{ {\left| {S(\tau ):\tau \in \Delta } \right|} \right\} \), \( \left\| {I(\tau )} \right\| = \sup \left\{ {\left| {I((\tau ):\tau \in \Delta } \right|} \right\} \), \( \left\| {R(\tau )} \right\| = \sup \left\{ {\left| {R(\tau ):\tau \in \Delta } \right|} \right\} \) and \( \left\| {A(\tau )} \right\| = \sup \left\{ {\left| {A(\tau ):\tau \in \Delta } \right|} \right\} \). Specially \( \Psi = C(\Delta ) \times C(\Delta ) \times C(\Delta ) \times C(\Delta ) \), here \( C(\Delta ) \) is the Banach space of continuous \( \Re \) valued functions on the interval \( \Delta \) possessing the sup norm.
4 Existence and Uniqueness of a Solution of FMEM for Computer Viruses with Mittag–Leffler Memory
In the present part, we investigate the existence of the solution with the help of the concept of the well-known fixed-point approach.
Firstly, we employ the fractional integral operator on the fractional order model (6), and it gives
On using the representation given in Eq. (3), it reduces to the following system
In order to clarify the system, we use the subsequent notations
Theorem 4.1
The kernels \( \Omega _{1} (\tau ,S),\Omega _{2} (\tau ,I),\Omega _{3} (\tau ,R) \) and \( \Omega _{4} (\tau ,A) \) fulfill the Lipschitz condition and contraction if the subsequent result is satisfied
Proof We initiate with \( \Omega _{1} (\tau ,S) \). Let \( S(\tau ) \) and \( S^{*} (\tau ) \) are two functions, then we get
On utilizing of the inequality of triangular on Eq. (13), it gives
Letting \( \lambda_{1} = \mu_{SA} \beta_{4} + \xi \beta_{2} \), where \( \left\| {S(\tau )} \right\| \le \beta_{1} ,\,\left\| {I(\tau )} \right\| \le \beta_{2} ,\left\| {R(\tau )} \right\| \le \beta_{3} \) and \( \left\| {A(\tau )} \right\| \le \beta_{4} \) are bounded functions, then Eq. (14) gives
Thus, the \( \Omega _{1} (\tau ,S) \) satisfy the Lipschitz condition and if \( 0 \le \mu_{SA} \beta_{4} + \xi \beta_{2} < 1 \), then it is also a contraction.
In the similar way, we can easily prove the following results
On making use of the abovementioned kernels, Eq. (10) reduces as follows:
Now, we present the following recursive formula
The associated initial conditions are presented as
The difference formulas are written in the following manner
It is worth to observe that
We can easily obtain the subsequent result
On utilization of the triangular inequality on Eq. (22) enables us to get the result
We have already proved that \( \Omega _{1} (\tau ,S) \) holds the Lipchitz condition, so we get
Then, we have
On employing the same way, we get
On making use of the abovementioned results, we establish the following theorems.
Theorem 4.2
The exact solution of the FMEM for computer viruses (6) exists if we can find τ0 such that
Proof From the results (25) and (26), we have
Thus, the abovementioned solutions exist and are continuous. In order to demonstrate that Eq. (18) is a solution of FMEM for computer viruses (6), we suppose that
Therefore, we have
On making use of the abovementioned process recursively, it gives
Then at \( \tau_{0} \), we have
Next, on using the limit n tends to infinity, we have
In the same way, we get
Hence, the exact solution of the FMEM for computer viruses (6) exists if condition (27) is satisfied.
Now, we show that the FMEM for computer viruses (6) has a unique solution.
In order to prove the uniqueness of the solutions, we assume that there exists another system of solutions of mathematical model (6) be \( S^{ * } (\tau ),I^{ * } (\tau ),R^{ * } (\tau ) \) and \( A^{ * } (\tau ) \) then
On operating the norm on Eq. (33), we get
The use of the Lipschitz condition of \( \Omega _{1} (\tau ,S) \) enables us to get
Theorem 4.3
The FMEM for computer viruses (6) has a unique solution if
Proof From Eq. (35), we have
If condition (36) holds, then Eq. (37) yields
Thus, we have
On utilizing the similar methodology, we arrive at the following results
Thus, the proof of the uniqueness theorem is completed.
5 Application of q-HATM to Solve FMEM for Computer Viruses
First of all, we use the Laplace transform on FMEM for computer viruses (6), and it gives
The nonlinear operators are given as
and thus, we have
and \( k_{\ell } \) is defined as
Next, the deformation equations of \( \ell^{th} \)-order are presented as
The utilization the inversion of Laplace transform on Eq. (44) enables us to get
We take the initial guess \( S_{0} (\tau ) = \alpha_{1} \), \( I_{0} (\tau ) = \alpha_{2} \), \( R_{0} (\tau ) = \alpha_{3} \), \( A_{0} (\tau ) = \alpha_{4} \) and solving Eq. (45) for \( \ell = 0,1,2, \ldots , \) we determine the values of \( S_{\ell } (\tau ),I_{\ell } (\tau ),R_{\ell } (\tau ) \) and \( A_{\ell } (\tau ),\,\forall \ell \ge 1. \)
Finally, the solution of FMEM for computer viruses (6) is given as
6 Numerical Simulations
In this part, we present the numerical computation for FMEM for computer viruses (6) as function of time at \( \mu_{SA} = 0.025 \), \( \mu_{IA} = 0.25 \), \( \xi = 0.1,\,\varepsilon = 9,\,\rho = 0.8,\,\hbar = - 1 \) and \( n = 3 \) for defined values of order of AB fractional operator. The initial conditions are taken as \( S(0) = 3,\,I(0) = 95,\,R(0) = 1 \) and \( A(0) = 1 \). The numerical outcomes for different kind of computer populations are present through Figs. 1, 2, 3 and 4. Figure 1 presents the impact of order of AB fractional operator on the group of non-infected computers with the possibility of infection. Figure 2 demonstrates the impact of order of AB fractional operator on the group of infected computers. Figure 3 presents the influence of order of AB fractional operator on the class of removed ones due to the infection or not. Figure 4 presents the effect of order of AB fractional derivative on non-infected computers associated with anti-virus. It can be noticed from Figs. 1, 2, 3 and 4 that there is a significant impact of order of AB fractional operator on different kind of populations of computers due to Mittag–Leffler memory.
7 Concluding Remarks, Observations and Suggestions
In this work, the FMEM for computer viruses is studied involving Mittag–Leffler memory effects. The existence and uniqueness of the solution of FMEM for computer viruses are examined. The solution of the FMEM for computer viruses is obtained with the aid of q-HATM. To demonstrate the effects of Mittag–Leffler memory on different groups of computer, some numerical simulations are conducted. The numerical outcomes give very clear indications that the use of AB fractional derivative in mathematical modeling of computer viruses is very fruitful, and the q-HATM is a very accurate and easy approach for solving such type of fractional models.
References
J.O. Kephart, S.R. White, Measuring and modelling computer virus prevalence, in IEEE Computer Society Symposium on Research in Security and Privacy (1993), pp. 2–15
J.O. Kephart, S.R. White, D.M. Chess, Computers and epidemiology. IEEE Spectr. 5(30), 20–26 (1993)
L. Billings, W.M. Spears, I.B. Schwartz, A unified prediction of computer virus spread inconnected networks. Phys. Lett. A 297, 261–266 (2002)
X. Han, Q. Tan, Dynamical behavior of computer virus on Internet. Appl. Math. Comput. 6(217), 2520–2526 (2010)
J.R.C. Piqueira, V.O. Araujo, A modified epidemiological model for computer viruses. Appl. Math. Comput. 2(213), 355–360 (2009)
J. Ren, X. Yang, Q. Zhu, L.X. Yang, C. Zhang, A novel computer virus model and its dynamics. Nonlinear Anal. 1(13), 376–384 (2012)
J.C. Wierman, D.J. Marchette, Modeling computer virus prevalence with a susceptible-infected susceptible model with reintroduction. Comput. Stat. Data Anal. 1(45), 3–23 (2004)
A.H. Handam, A.A. Freihat, A new analytic numeric method solution for fractional modified epidemiological model for computer viruses. Appl. Appl. Math. 10(2), 919–936 (2015)
W. Murray, The application of epidemiology to computer viruses. Comput. Secur. 7, 139–150 (1988)
W. Gleissner, A mathematical theory for the spread of computer viruses. Comput. Secur. 8, 35–41 (1989)
J.O. Kephart, G.B. Sorkin, D.M. Chess, S.R. White, Fighting computer viruses, in Scientific American (1997), pp. 88–93
J.O. Kephart, S.R. White, Directed-graph epidemiological models of computer viruses, in Proceedings of the IEEE Symposium on Security and Privacy (1997), pp. 343–359
Z. Lu, X. Chi, L. Chen, The effect of constant and pulse vaccination of SIR epidemic model with horizontal and vertical transmission. Math. Comput. Model. 36, 1039–1057 (2002)
A.G. Atta, M. Moatimid, Y.H. Youssri, Generalized fibonacci operational collocation approach for fractional initial value problems. Int. J. Appl. Comput. Math 5, 9 (2019). https://doi.org/10.1007/s40819-018-0597-4
W.M. Abd-Elhameed, Y.H. Youssri, Sixth-kind Chebyshev spectral approach for solving fractional differential equations. Int. J. Nonlinear Sci. Numer. Simul. 20(2), 191–203 (2019). https://doi.org/10.1515/ijnsns-2018-0118
R.M. Hafez, Y.H. Youssri, Jacobi collocation scheme for variable-order fractional reaction-subdiffusion equation. Comput. Appl. Math. 37(4), 5315–5333 (2019)
S. Ullah, M.A. Khan, M. Farook, T. Gul, F. Hussain, A fractional order HBV model with hospitalization. Discr. Contin. Dyn. Syst. S (2019). https://doi.org/10.3934/dcdss.2020056
S. Ullah, M.A. Khan, M. Farooq, Z. Hammouch, D. Baleanu, A fractional model for the dynamics of tuberculosis infection using Caputo-Fabrizio derivative. Discr. Contin. Dyn. Syst. S (2019). https://doi.org/10.3934/dcdss.2020057
J. Singh, D. Kumar, Z. Hammouch, A. Atangana, A fractional epidemiological model for computer viruses pertaining to a new fractional derivative. Appl. Math. Comput. 316, 504–515 (2018)
M. Caputo, Linear models of dissipation whose Q is almost frequency independent, part II. Geophys. J. Int. 13(5), 529–539 (1967)
A.A. Kilbas, H.M. Srivastava, J.J. Trujillo, Theory and applications of fractional differential equations (Elsevier, Amsterdam, The Netherlands, 2006)
M. Caputo, M. Fabrizio, A new definition of fractional derivative without singular kernel. Progr. Fract. Differ. Appl. 1, 73–85 (2015)
J. Losada, J.J. Nieto, Properties of the new fractional derivative without singular kernel. Progr. Fract. Differ. Appl. 1, 87–92 (2015)
A. Atangana, B.T. Alkahtani, Analysis of the Keller-Segel model with a fractional derivative without singular kernel. Entropy 17(6), 4439–4453 (2015)
A. Atangana, B.T. Alkahtani, Analysis of non- homogenous heat model with new trend of derivative with fractional order. Chaos Soliton. Fract. 89, 566–571 (2016)
D. Kumar, J. Singh, D. Baleanu, Numerical computation of a fractional model of differential-difference equation. J. Comput. Nonlinear Dyn. 11(6), 061004 (2016)
D. Kumar, J. Singh, D. Baleanu, M.A. Qurashi, Analysis of logistic equation pertaining to a new fractional derivative with non-singular kernel. Adv. Mech. Eng. 9(1), 1–8 (2017)
J. Singh, D. Kumar, D. Baleanu, S. Rathore, On the local fractional wave equation in fractal strings. Math. Methods Appl. Sci. 42(5), 1588-1595 (2019).
X.J. Yang, A new integral transform operator for solving the heat-diffusion problem. Appl. Math. Lett. 64, 193–197 (2017)
A. Debbouche, D.F.M. Torres, Sobolev type fractional dynamic equations and optimal multi-integral controls with fractional nonlocal conditions. Fract. Calc. Appl. Anal. 18(1), 95–121 (2015)
D. Kumar, J. Singh, S.D. Purohit, R. Swroop, A hybrid analytical algorithm for nonlinear fractional wave-like equations. Math. Model. Nat. Phenom. 14, 304 (2019)
A. Goswami, J. Singh, D. Kumar, Sushila, An efficient analytical approach for fractional equal width equations describing hydro-magnetic waves in cold plasma. Phys. A 524, 563–575 (2019)
A. Atangana, D. Baleanu, New fractional derivative with nonlocal and non-singular kernel, theory and application to heat transfer model. Therm. Sci. 20(2), 763–769 (2016)
D. Kumar, J. Singh, K. Tanwar, D. Baleanu, A new fractional exothermic reactions model having constant heat source in porous media with power, exponential and Mittag-Leffler Laws. Int. J. Heat Mass Transf. 138, 1222–1227 (2019)
J. Singh, D. Kumar, D. Baleanu, New aspects of fractional Biswas-Milovic model with Mittag-Leffler law. Math. Model. Nat. Phenom. 14, 303 (2019)
D. Kumar, J. Singh, D. Baleanu, Analysis of regularized long-wave equation associated with a new fractional operator with Mittag-Leffler type kernel. Phys. A 492, 155–167 (2018)
D. Kumar, J. Singh, D. Baleanu, A new analysis of Fornberg-Whitham equation pertaining to a fractional derivative with Mittag-Leffler type kernel. Eur. J. Phys. Plus 133(2), 70 (2018)
J. Singh, A new analysis for fractional rumor spreading dynamical model in a social network with Mittag-Leffler law. Chaos 29, 013137 (2019)
Fatmawati, M.A. Khan, M. Khan, M. Azizah, Windarto, S. Ullah, Fractional model for the dynamics of competition between commercial and rural banks in Indonesia. Chaos Soliton. Fract. 122, 32–46 (2019)
D. Kumar, J. Singh, D. Baleanu, A new analysis for fractional model of regularized long-wave equation arising in ion acoustic plasma waves. Math. Methods Appl. Sci. 40(15), 5642–5653 (2017)
H.M. Srivastava, D. Kumar, J. Singh, An efficient analytical technique for fractional model of vibration equation. Appl. Math. Model. 45, 192–204 (2017)
M.A. El-Tawil, S.N. Huseen, The q-homotopy analysis method (q-HAM). Int. J. Appl. Math. Mech. 8, 51–75 (2012)
M.A. El-Tawil, S.N. Huseen, On convergence of the q-homotopy analysis method. Int. J. Contemp. Math. Sci. 8, 481–497 (2013)
S.A. Khuri, A Laplace decomposition algorithm applied to a class of nonlinear differential equations. J. Appl. Math. 1, 141–155 (2001)
D. Kumar, R.P. Agarwal, J. Singh, A modified numerical scheme and convergence analysis for fractional model of Lienard’s equation. J. Comput. Appl. Math. 339, 405-413 (2018)
D. Kumar, J. Singh, D. Baleanu, A fractional model of convective radial fins with temperature-dependent thermal conductivity. Rom. Rep. Phys. 69(1), 103 (2017)
D. Kumar, J. Singh, D. Baleanu, Analytic study of Allen-Cahn equation of fractional order. Bull. Math. Anal. Appl. 1, 31–40 (2016)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Singapore Pte Ltd.
About this chapter
Cite this chapter
Kumar, D., Singh, J. (2020). New Aspects of Fractional Epidemiological Model for Computer Viruses with Mittag–Leffler Law. In: Dutta, H. (eds) Mathematical Modelling in Health, Social and Applied Sciences. Forum for Interdisciplinary Mathematics. Springer, Singapore. https://doi.org/10.1007/978-981-15-2286-4_9
Download citation
DOI: https://doi.org/10.1007/978-981-15-2286-4_9
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-15-2285-7
Online ISBN: 978-981-15-2286-4
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)