1 Introduction

Since 2020, the coronavirus (COVID-19) pandemic has seriously affected people’s normal life. Stay-at-home commands and isolation increased the consumption of digital amusement, particularly online game and related activities (such as e-sports viewing and video game streaming). For example, Verizon, the US telecoms provider, reported in a report that online game activity increased by 75% during the initial stay-at-home order [7]. According to a report from Italy, web traffic related to the “Fortnite game” increased by 70% during the early stay-at-home order period compared to the previous year [6]. Online games can enrich people’s lives, but excessive gaming can cause many negative effects, including harmful patterns on mental health, sleep, or physical health [21]. It’s also worrisome that the increase in gaming time is causing many of the inadequately recovered game addicts who are in self-quarantine and are undergoing treatment to relapse and become addicted again [10].

Infectious disease dynamics is an important method for theoretical quantitative research. It is based on the characteristics of population growth, the occurrence of diseases, the transmission pattern within the population and related social influence factors to build a reasonable mathematical model to reflect the dynamic changes of infectious diseases [11]. Because of these characteristics, the research methods of infectious disease dynamics have been applied by many scholars to analyze and solve other contagious social problems, such as smoking, alcoholism, drug addiction, game addiction, information diffusion etc. [3, 5, 13, 14, 16,17,18,19, 23, 26].

Rahman et al. [19] presented a qualitative analysis of a new smoking model and provided parametric conditions for controlling the influence of smoking. This novel model took into account harmonic mean type incidence rate between the incidence of potential and casual smokers. Ma et al. [17] established and analyzed an alcohol consumption model that considered health education and three time delays. The global dynamic characteristics and control problem of the model with three different time delays are analyzed. Ma et al. [16] proposed a new model of drug transmission that included the influence of media coverage, and analyzed the dynamic behavior to answer the question: Does media coverage affect the transmission of drug addiction? The results showed that the effect of media coverage did not change the stability of drug transmission, but it did affect the number of drug addicts. Li and Guo [14] established a mathematical model of game addiction with a compartment of professional game players for the first time by studying the problem of game addiction in the real world. Through stability analysis and optimal control strategy research, scientific prevention and control suggestions are provided for reducing the number of game addicts. Tian and Ding [26] established a new mathematical model of rumor propagation with rumor refutation behavior, which considered the existence of rumor refutation behavior for the first time, and analyzed the influence of rumor refutation behavior on rumor propagation.

Optimal control theory can be used as a powerful tool to solve the control problem of infectious disease dynamics, and can provide scientific advice for public health administration. Therefore, this method has been widely used in the field of biological mathematics [2, 8, 9, 15, 20, 27, 28, 30]. In [8], the authors developed a Zika virus control model with asymptomatic carriers, taking into account control measures such as mosquito nets, insecticide spraying, and treatment. The numerical solutions with and without control were carried out by the backward Runge–Kutta method. The results of the study provide an optimal control strategy to effectively inhibit the spread of Zika virus. In [28], the authors developed a mathematical model of COVID-19 that took into account an effective contact tracing policy and hospitalization of confirmed cases. In the absence of effective drug interventions, the authors proposed an optimal control strategy to effectively reduce the number of infected persons. In [30], the authors established a stage-structured compartment model in order to study the spread of Huanglongbing. With the aid of optimal control theory, four control methods including spraying insecticide, injecting nutrient solution, cutting down infected trees and setting yellow adhesive traps were considered, and a scientific proposal was put forward to prevent and control the spread of Huanglongbing. There are some other important applications, please see the references.

Some game quitters who are not fully recovered may relapse, fall back into game addiction again, and become addicts. This kind of phenomenon is objective existence, relatively serious, and can not be ignored, especially during home quarantine due to COVID-19 [10]. In order to highlight this phenomenon, we set up a compartment for incompletely recovered quitters when building the model, and there is a certain possibility of recurrence among the population in this compartment.

Based on the above literature and idea, we establish a mathematical model of online game addiction with incompletely recovered quitters, and these incompletely recovered quitters have a certain possibility of relapse. The structure of this paper is as follows. The establishment of the model is shown in Sect. 2, the basic reproduction number and all equilibria of the model are solved in Sect. 3, the stability of the equilibria are proved in Sect. 4, the optimal control problem of the model is analyzed in Sect. 5, and the numerical simulation is studied in Sect. 6.

2 The Model Formulation

2.1 System Description

We divide the total population N(t) into six compartments: susceptible compartment S(t), exposed compartment E(t), infected compartment I(t), professional compartment P(t), the compartment of the incompletely recovered quitters \(Q_{1}(t)\), and the compartment of the completely recovered quitters \(Q_{2}(t)\). Thus, the total population is given by:

$$\begin{aligned} N(t) = S(t) + E(t)+I(t)+P(t)+Q_{1}(t)+Q_{2}(t). \end{aligned}$$
(1)

S(t): the group of susceptible people who have never been exposed to games;

E(t): the group of exposed people with less exposure to games;

I(t): the group of infected people who are addicted to games;

P(t): the group of professionals who work in professional games or games-related jobs;

\(Q_{1}(t)\): the group of people who were previously addicted to games and now have temporarily withdrawn;

\(Q_{2}(t)\): the group of people who the group of people who quit the game permanently.

In the study of gaming addiction, there exists a group of people who cannot be ignored, who have professional scientific training or who have gaming-related jobs as a profession. Although they have been in contact with games for a very long time, it is not reasonable to classify them in the same category as game addicts. Therefore, we classify people who are professionally involved in gaming as a professional compartment P(t). There are some more descriptions of professional compartment P(t), please see references [5, 14].

There is an important group of game quitters who are influenced by external environmental factors or their own psychological factors and become addicted to games again. This was especially evident during the COVID-19 epidemic, when stay-at-home mandates was imposed in many places [1, 29]. Therefore, we classify these unstable and dissolute dropouts as the incomplete recovery group \(Q_{1}(t)\).

With the rapid development of e-sports, there are more and more e-sports type competitions, many colleges and universities have opened e-sports majors, and many gamers choose to become professional gamers or engage in game-related careers, such as: game designers, game commentators, e-sports tournament hosts, etc [22]. They can go directly from exposed E(t) to professional P(t) without going through the stage of addicted to games. Therefore, we set up a direct connection from E(t) to P(t).

The population flow among those compartments is shown in Fig. 1.

Fig. 1
figure 1

Transfer diagram of model

The transfer diagram leads to the following system of ordinary differential equations:

$$\begin{aligned}&S'(t)=\mu N(t)-\mu S(t)-S(t)\frac{\alpha I(t)+\beta P(t)}{N(t)}, \nonumber \\&E'(t)=S(t)\frac{\alpha I(t)+\beta P(t)}{N(t)}-(\xi _{1}+\xi _{2}+\mu )E(t), \nonumber \\ {}&I'(t)=\xi _{1}E(t)+\delta _{1}Q_{1}(t)-(v_{1}+v_{2}+v_{3}+\mu )I(t), \nonumber \\ {}&P'(t)=\xi _{2}E(t)+v_{1}I(t) -(w_{1}+w_{2}+\mu )P(t),\nonumber \\&Q'_{1}(t)=v_{2}I(t)+w_{1}P(t) -(\delta _{1}+\delta _{2}+\mu )Q_{1}(t),\nonumber \\ {}&Q'_{2}(t)=v_{3}I(t)+w_{2}P(t)+\delta _{2}Q_{1}(t)-\mu Q_{2}(t), \end{aligned}$$
(2)

where

   \(\mu \) is the nature birth rate and death rate;

   \(\alpha \) denotes the transmission coefficient of the addicted users I;

   \(\beta \) is the transmission coefficient of the professional users P;

   \(\xi _{1}\) is the transfer rate from E to I;

   \(\xi _{2}\) is the transfer rate from E to P;

   \(v_{1}\) represents the transfer rate from I to P;

   \(v_{2}\) represents the proportion of temporarily quit game in I;

   \(v_{3}\) represents the proportion of quit game permanently I;

   \(w_{1}\) represents the proportion of temporarily quit game in P;

   \(w_{2}\) represents the proportion of quit game permanently P;

   \(\delta _{1}\) denotes the recurrence rate;

   \(\delta _{2}\) denotes the proportion of quit game permanently \(Q_{1}\).

For the convenience of expression, we make some shorthand. \(k_{1}=\xi _{1}+\xi _{2}+\mu \), \(k_{2}=v_{1}+v_{2}+v_{3}+\mu \), \(k_{3}=w_{1}+w_{2}+\mu \), \(k_{4}=\delta _{1}+\delta _{2}+\mu \).

2.2 Positivity and Boundedness of Solutions

Since the number of people in each compartment of model (2) is nonnegative and finite, we want to verify here that the solution of model (2) is non-negative and bounded for all \(t > 0\).

System (2) can be put into the matrix form

$$\begin{aligned} X' = G(X), \end{aligned}$$
(3)

where \(X=(S,E,I,P,Q_{1},Q_{2})^\mathrm {T} \in R^{6}\) and G(X) is given by

$$\begin{aligned} G(X)= & {} \left( \begin{array}{c} G_{1}(X)\\ G_{2}(X)\\ G_{3}(X)\\ G_{4}(X)\\ G_{5}(X)\\ G_{6}(X) \end{array} \right) \nonumber \\= & {} \left( \begin{array}{c} \mu N-\mu S-S\frac{\alpha I+\beta P}{N}\\ S\frac{\alpha I+\beta P}{N}-k_{1}E\\ \xi _{1}E+\delta _{1}Q_{1}-k_{2}I\\ \xi _{2}E+v_{1}I -k_{3}P\\ v_{2}I+w_{1}P -k_{4}Q_{1}\\ v_{3}I+w_{2}P+\delta _{2}Q_{1}-\mu Q_{2} \end{array} \right) . \end{aligned}$$
(4)

Because of \(\Sigma _{i=1}^{6}G_{i}(X)=0\), N(t) is a constant denoted by N. Letting \(\varphi (t)=\frac{\alpha I+\beta P}{N}+\mu \), the first equation of system (2) can be written in the following form.

$$\begin{aligned} \frac{dS}{dt}=\mu N-\varphi (t) S. \end{aligned}$$

Since the initial values of system (2) are all non-negative, we can obtain the following results by using the integration factor method.

$$\begin{aligned}&S(t)=S(0)\exp \left( -\int _{0}^{t}\varphi (u)du\right) +\exp \left( -\int _{0}^{t}\varphi (u)du\right) \int _{0}^{t}\mu N\left[ \int _{0}^{x}\varphi (z)dz\right] dx\ \\&\qquad >0. \end{aligned}$$

For the remaining 5 variables, by a similar method, we can obtain the positivity of the solution. We set

$$\begin{aligned} \Omega =\left\{ \left( S,E,I,P,Q_{1},Q_{2}\right) \in R_{+}^{6}: S+E+I+P+Q_{1}+Q_{2}= N\right\} , \end{aligned}$$
(5)

and it is a positive invariant set of system (2).

3 The Basic Reproduction Number and Existence of Addiction-Present Equilibrium

3.1 The Basic Reproduction Number

The model has an addiction-free equilibrium \(D_{0}\) given by

$$\begin{aligned} D_{0}=(N,0,0,0,0,0). \end{aligned}$$
(6)

In the following, the basic reproduction number of system (2) will be obtained by the next generation matrix method. Let \(x=(E,I,P,Q_{1},Q_{2},S)^\mathrm {T}\), then system(2) can be written as

$$\begin{aligned} \frac{dx}{dt}=\mathscr {F}(x)-\mathscr {V}(x). \end{aligned}$$
(7)

where

$$\begin{aligned} \mathscr {F}(x)=\left( \begin{array}{c} S\frac{\alpha I+\beta P}{N}\\ 0\\ 0\\ 0\\ 0\\ 0 \end{array} \right) , \quad \mathscr {V}(x)=\left( \begin{array}{c} k_{1}E_{1}\\ -\xi _{1}E-\delta _{1}Q_{1}+k_{2}I\\ -\xi _{2}E-v_{1}I +k_{3}P\\ -v_{2}I-w_{1}P +k_{4}Q_{1}\\ -v_{3}I-w_{2}P-\delta _{2}Q_{1}+\mu Q_{2}\\ -\mu N+\mu S+S\frac{\alpha I+\beta P}{N} \end{array} \right) . \end{aligned}$$

The Jacobian matrices of \(\mathscr {F}(x)\) and \(\mathscr {V}(x)\) at the addiction-free equilibrium \(D_{0}\) are

$$\begin{aligned} D\mathscr {F}(D_{0})=\left( \begin{array}{cc} F_{4\times {4}} &{} 0\\ 0 &{} 0 \end{array} \right) , \quad D\mathscr {V}(D_{0})=\left( \begin{array}{cc} V_{4\times {4}} &{} 0\\ J_{1} &{} J_{2} \end{array} \right) . \end{aligned}$$

where

$$\begin{aligned} \quad \quad F_{4\times {4}}= & {} \left( \begin{array}{cccc} 0 &{} \alpha &{} \beta &{} 0\\ 0 &{} 0 &{} 0&{} 0\\ 0 &{} 0 &{} 0&{} 0\\ 0 &{} 0 &{} 0&{} 0\\ \end{array} \right) , \quad V_{4\times {4}}=\left( \begin{array}{cccc} k_{1} &{} 0&{} 0&{} 0 \\ -\xi _{1} &{}k_{2}&{} 0&{} -\delta _{1} \\ -\xi _{2} &{} -v_{1}&{} k_{3}&{} 0 \\ 0&{} -v_{2}&{} -w_{1}&{} k_{4} \\ \end{array} \right) . \\ J_{1}= & {} \left( \begin{array}{cccc} 0 &{}-v_{3} &{} -w_{2}&{} -\delta _{2}\\ 0 &{} \alpha &{}\beta &{} 0\\ \end{array} \right) , \quad J_{2}=\left( \begin{array}{cc} \mu &{} 0 \\ 0 &{} \mu \\ \end{array} \right) . \end{aligned}$$

Following Diekmann et al. [4], we can obtain the expression for the basic reproduction number from the spectral radius of \(FV^{-1}\).

$$\begin{aligned}R_{0}=\rho \left( FV^{-1}\right) =\frac{\alpha \xi _{1}k_{3}k_{4}+\alpha \delta _{1}\xi _{2}w_{1}+\beta \xi _{2}k_{2}k_{4}+\beta \xi _{1}v_{1}k_{4}-\beta \delta _{1}\xi _{2}v_{2}}{k_{1}k_{2}k_{3}k_{4}-\delta _{1}v_{2}k_{1}k_{3}-\delta _{1}v_{1}w_{1}k_{1}},\end{aligned}$$

where \(\rho (A)\) denotes the spectral radius of a matrix A.

Since \(\beta \xi _{2}(k_{2}k_{4}-\delta _{1}v_{2})\) is greater than 0, the numerator of \(R_{0}\) is greater than 0. In the denominator of \(R_{0}\), we get that

$$\begin{aligned}&k_{1}k_{2}k_{3}k_{4}-\delta _{1}v_{2}k_{1}k_{3}-\delta _{1}v_{1}w_{1}k_{1}\\&\quad>k_{1}k_{2}k_{3}k_{4}-\delta _{1}v_{2}k_{1}k_{3}-\delta _{1}v_{1}k_{3}k_{1}\\&\quad =k_{1}k_{3}(k_{2}k_{4}-\delta _{1}v_{2}-\delta _{1}v_{1})\\&\quad>k_{1}k_{3}(k_{2}k_{4}-\delta _{1}k_{2})\\&\quad >0. \end{aligned}$$

Therefore, the basic reproduction number \(R_{0}\) is always positive.

3.2 Existence of Addiction-Present Equilibrium

The addiction-present equilibrium \(D^{*}\left( S^{*},E^{*},I^{*},P^{*},Q_{1}^{*},Q_{2}^{*}\right) \) of system (2) is determined by equations:

$$\begin{aligned}&\mu N-\mu S-S\frac{\alpha I+\beta P}{N}=0, \end{aligned}$$
(8)
$$\begin{aligned}&S\frac{\alpha I+\beta P}{N}-k_{1}E=0, \end{aligned}$$
(9)
$$\begin{aligned}&\xi _{1}E+\delta _{1}Q_{1}-k_{2}I=0, \end{aligned}$$
(10)
$$\begin{aligned}&\xi _{2}E+v_{1}I -k_{3}P=0, \end{aligned}$$
(11)
$$\begin{aligned}&v_{2}I+w_{1}P -k_{4}Q_{1}=0, \end{aligned}$$
(12)
$$\begin{aligned}&v_{3}I+w_{2}P+\delta _{2}Q_{1}-\mu Q_{2}=0. \end{aligned}$$
(13)

Through the above equations we can have \(D^{*}\left( S^{*},E^{*},I^{*},P^{*},Q_{1}^{*},Q_{2}^{*}\right) \).

Theorem 3.1

In the model (2), there is always an addiction-free equilibrium \(D_{0}=(N,0,0,0,0,0)\). When \(R_{0}>1\), the model has a unique addiction-present equilibrium \(D^{*}\left( S^{*},E^{*},I^{*},P^{*},Q_{1}^{*},Q_{2}^{*}\right) \), where

$$\begin{aligned}&S^{*}=\frac{N}{R_{0}}, \\ {}&E^{*}=\frac{\mu N}{k_{1}}\left( 1-\frac{1}{R_{0}}\right) , \\ {}&I^{*}=\frac{\mu N(\xi _{1}k_{3}k_{4}+\xi _{2}\delta _{1}w_{1})}{k_{1}k_{2}k_{3}k_{4}-\delta _{1}v_{2}k_{1}k_{3}-\delta _{1}v_{1}w_{1}k_{1}}\left( 1-\frac{1}{R_{0}}\right) , \\ {}&P^{*}=\frac{ \mu N\left( \xi _{1}v_{1}k_{4}+\xi _{2}k_{2}k_{4}-\xi _{2}\delta _{1}v_{2}\right) }{k_{1}k_{2}k_{3}k_{4}-\delta _{1}v_{2}k_{1}k_{3}-\delta _{1}v_{1}w_{1}k_{1}}\left( 1-\frac{1}{R_{0}}\right) , \\ {}&Q^{*}_{1}=\frac{ \mu N\left( w_{1}\xi _{1}v_{1}+w_{1}\xi _{2}k_{2}+v_{2}\xi _{1}k_{3}\right) }{k_{1}k_{2}k_{3}k_{4}-\delta _{1}v_{2}k_{1}k_{3}-\delta _{1}v_{1}w_{1}k_{1}}\left( 1-\frac{1}{R_{0}}\right) , \\ {}&Q^{*}_{2}=N\bigg (\frac{ v_{3}\xi _{1}k_{3}k_{4}+v_{3}\xi _{2}\delta _{1}w_{1}+ w_{2}\xi _{1}v_{1}k_{4}+w_{2}\xi _{2}k_{2}k_{4}- w_{2}\xi _{2}\delta _{1}v_{2}+w_{1}\xi _{1}\delta _{2}v_{1}}{k_{1}k_{2}k_{3}k_{4}-\delta _{1}v_{2}k_{1}k_{3}-\delta _{1}v_{1}w_{1}k_{1}} \\ {}&\qquad \qquad +\frac{\delta _{2}v_{2}\xi _{1}k_{3}+\delta _{2}w_{1}\xi _{2}k_{2}}{k_{1}k_{2}k_{3}k_{4}-\delta _{1}v_{2}k_{1}k_{3}-\delta _{1}v_{1}w_{1}k_{1}}\bigg )\left( 1-\frac{1}{R_{0}}\right) . \end{aligned}$$

4 Stability Analysis of Equilibria

Theorem 4.1

For the system (2), the addiction-free equilibrium \(D_{0}\) is globally asymptotically stable (GAS) if \(R_{0}<1\).

Proof

In order to construct a Lyapunov function, let’s first prove that \(k_{1}k_{3}-\beta \xi _{2}\) is positive. When \(0<R_{0}<1\),

$$\begin{aligned}&\alpha (\xi _{1}k_{3}k_{4}+\delta _{1}\xi _{2}w_{1})+\beta k_{4}(\xi _{2}k_{2}+\xi _{1}v_{1})-\beta \delta _{1}\xi _{2}v_{2}\\&\quad<k_{1}(k_{2}k_{3}k_{4}-\delta _{1}v_{2}k_{3}-\delta _{1}v_{1}w_{1}),\\&\alpha (\xi _{1}k_{3}k_{4}+\delta _{1}\xi _{2}w_{1})+\beta \xi _{1}v_{1}k_{4}+\delta _{1}v_{1}w_{1}k_{1}<(k_{1}k_{3}-\beta \xi _{2})(k_{2}k_{4}-\delta _{1}v_{2}). \end{aligned}$$

Due to \(\alpha \left( \xi _{1}k_{3}k_{4}+\delta _{1}\xi _{2}w_{1}\right) +\beta \xi _{1}v_{1}k_{4}+\delta _{1}v_{1}w_{1}k_{1}>0\) and \(k_{2}k_{4}-\delta _{1}v_{2}>0\), \(k_{1}k_{3}-\beta \xi _{2}\) is positive. Thus, we can introduce the Lyapunov function V as follows:

$$\begin{aligned} V(t)= \frac{\xi _{1}k_{3}k_{4}+\delta _{1}w_{1}\xi _{2}}{k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4}}E_{1}(t)+I(t)+\left( \frac{\beta }{k_{3}}\frac{\xi _{1}k_{3}k_{4}+\delta _{1}w_{1}\xi _{2}}{k_{1}k_{3}k_{4} -\beta \xi _{2}k_{4}}+\frac{\delta _{1}w_{1}}{k_{3}k_{4}}\right) P+\frac{\delta _{1}}{k_{4}}Q_{1}. \end{aligned}$$

So

$$\begin{aligned} V'(t)= & {} \frac{\xi _{1}k_{3}k_{4}+\delta _{1}w_{1}\xi _{2}}{k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4}}\left( S\frac{\alpha I+\beta P}{N}-k_{1}E\right) +\xi _{1}E+\delta _{1}Q_{1}-k_{2}I \\&+\bigg (\frac{\beta }{k_{3}}\frac{\xi _{1}k_{3}k_{4}+\delta _{1}w_{1}\xi _{2}}{k_{1}k_{3}k_{4} -\beta \xi _{2}k_{4}}+\frac{\delta _{1}w_{1}}{k_{3}k_{4}}\bigg )\left( \xi _{2}E+v_{1}I-k_{3}P\right) \\&+\frac{\delta _{1}}{k_{4}}\left( v_{2}I+w_{1}P-k_{4}Q_{1}\right) \\< & {} \frac{\xi _{1}k_{3}k_{4}+\delta _{1}w_{1}\xi _{2}}{k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4}}\left( \alpha I+\beta P-k_{1}E\right) +\xi _{1}E+\delta _{1}Q_{1}-k_{2}I \\&+\bigg (\frac{\beta }{k_{3}}\frac{\xi _{1}k_{3}k_{4}+\delta _{1}w_{1}\xi _{2}}{k_{1}k_{3}k_{4} -\beta \xi _{2}k_{4}}+\frac{\delta _{1}w_{1}}{k_{3}k_{4}}\bigg )\left( \xi _{2}E+v_{1}I-k_{3}P\right) \\&+\frac{\delta _{1}}{k_{4}}(v_{2}I+w_{1}P-k_{4}Q_{1}) \\= & {} E\bigg [-\frac{\xi _{1}k_{1}k_{3}k_{4}+\delta _{1}w_{1}\xi _{2}k_{1}}{k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4}}+\xi _{1}+\bigg (\frac{\beta }{k_{3}}\frac{\xi _{1}k_{3}k_{4}+\delta _{1}w_{1}\xi _{2}}{k_{1}k_{3}k_{4} -\beta \xi _{2}k_{4}}+\frac{\delta _{1}w_{1}}{k_{3}k_{4}}\bigg )\xi _{2}\bigg ] \\&+I\bigg [\frac{\alpha \xi _{1} k_{3}k_{4}+\alpha \delta _{1}w_{1}\xi _{2}}{k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4}}-k_{2}+\bigg (\frac{\beta }{k_{3}}\frac{\xi _{1}k_{3}k_{4}+ \delta _{1}w_{1}\xi _{2}}{k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4}}+\frac{\delta _{1}w_{1}}{k_{3}k_{4}}\bigg )v_{1}+\frac{\delta _{1}v_{2}}{k_{4}}\bigg ] \\&+P\bigg [\frac{\beta \xi _{1} k_{3}k_{4}+\beta \delta _{1}w_{1}\xi _{2}}{k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4}}-\bigg (\frac{\beta }{k_{3}}\frac{\xi _{1}k_{3}k_{4}+ \delta _{1}w_{1}\xi _{2}}{k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4}}+\frac{\delta _{1}w_{1}}{k_{3}k_{4}}\bigg )k_{3}+\frac{\delta _{1}w_{1}}{k_{4}}\bigg ] \\= & {} \frac{I}{k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4}}\bigg [\alpha \xi _{1}k_{3}k_{4}+\alpha \delta _{1}w_{1}\xi _{2}-k_{1}k_{2}k_{3}k_{4}+\beta \xi _{2}k_{2}k_{4} \\&+\frac{\beta }{k_{3}}\left( v_{1}\xi _{1}k_{3}k_{4}+ v_{1}\delta _{1}w_{1}\xi _{2}\right) +\frac{\delta _{1}w_{1}v_{1}}{k_{3}k_{4}}(k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4})\\&+\frac{\delta _{1}v_{2}}{k_{4}}(k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4})\bigg ] \\= & {} \frac{I}{k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4}}[\alpha \xi _{1}k_{3}k_{4}+\alpha \delta _{1}w_{1}\xi _{2}+\beta \xi _{2}k_{2}k_{4}+\beta v_{1}\xi _{1}k_{4}-\beta \delta _{1}\xi _{2}v_{2}\\&-(k_{1}k_{2}k_{3}k_{4}-\delta _{1}v_{2}k_{1}k_{3}-\delta _{1}w_{1}v_{1}k_{1})] \\= & {} \frac{I}{k_{1}k_{3}k_{4}-\beta \xi _{2}k_{4}}(k_{1}k_{2}k_{3}k_{4}-\delta _{1}v_{2}k_{1}k_{3}-\delta _{1}w_{1}v_{1}k_{1})(R_{0}-1). \end{aligned}$$

It can be shown that \(V'(t)< 0\) if \(R_{0}<1\), and \(V'(t)=0\) if \(I=0\). So we can get that \(V'(t)\le 0\), and the addiction-free equilibrium \(D_{0}\) is the singleton largest compact invariant set in \(\Omega \). Due to the LaSalle’s Invariance Principle [11], the addiction-free equilibrium \(D_{0}\) is globally asymptotically stable. \(\square \)

Theorem 4.2

 For the system (2), the addiction-present equilibrium \(D^{*}=(S^{*},E^{*},I^{*},P^{*},Q_{1}^{*},Q_{2}^{*})\) is globally asymptotically stable if \(R_{0}>1\).

Proof

First, let’s make the following variable substitution. By denoting

$$\begin{aligned} x=\frac{S}{S^{*}}, y=\frac{E}{E^{*}}, z=\frac{I}{I^{*}}, m=\frac{P}{P^{*}}, n=\frac{Q_{1}}{Q_{1}^{*}}. \end{aligned}$$

We have

$$\begin{aligned}&\frac{dx}{dt}=x\left[ \frac{\mu N}{S^{*}}\left( \frac{1}{x}-1\right) -\alpha \frac{I^{*}}{N}(z-1)-\beta \frac{P^{*}}{N}(m-1)\right] , \\&\frac{dy}{dt}=y\left[ \alpha _{1}\frac{S^{*}I^{*}}{E^{*}N}\left( \frac{xz}{y}-1\right) +\beta \frac{S^{*}P^{*}}{E^{*}N}\left( \frac{xm}{y}-1\right) \right] , \\&\frac{dz}{dt}=z\left[ \xi _{1}\frac{E^{*}}{I^{*}}\left( \frac{y}{z}-1\right) +\delta _{1}\frac{Q_{1}^{*}}{I^{*}}\left( \frac{n}{z}-1\right) \right] , \\&\frac{dm}{dt}=m\left[ \xi _{2}\frac{E^{*}}{P^{*}}\left( \frac{y}{m}-1\right) +v_{1}\frac{I^{*}}{P^{*}}\left( \frac{z}{m}-1\right) \right] , \\&\frac{dn}{dt}=n\left[ v_{2}\frac{I^{*}}{Q_{1}^{*}}\left( \frac{z}{n}-1\right) +w_{1}\frac{P^{*}}{Q_{1}^{*}}\left( \frac{m}{n}-1\right) \right] . \end{aligned}$$

Therefore, we can see that the addiction-present equilibrium \(D^{*}\) of system (2) is transformed into \(\bar{D}^{*}=(1,1,1,1,1,1)\). Setting a Lyapunov function V as follows:

$$\begin{aligned} V= & {} a_{1}S^{*}(x-1-lnx)+a_{2}E^{*}(y-1-lny)+a_{3}I^{*}(z-1-lnz) \\&+a_{4}P^{*}(m-1-lnm)+a_{5}Q_{1}^{*}(n-1-lnn), \end{aligned}$$

where \(a_{1}\), \(a_{2}\), \(a_{3}\), \(a_{4}\) and \(a_{5}\) are undetermined positive coefficients. We obtain the derivative of V as follows:

$$\begin{aligned} V'= & {} a_{1}S^{*}\left( 1-\frac{1}{x}\right) x'+a_{2}E^{*}\left( 1-\frac{1}{y}\right) y'+a_{3}I^{*}\left( 1-\frac{1}{z}\right) z'+a_{4}P^{*}\left( 1-\frac{1}{m}\right) m'\\&+a_{5}Q_{1}^{*}\left( 1-\frac{1}{n}\right) n' \\= & {} a_{1}\left( 2\mu N-S^{*}\frac{\alpha I^{*}}{N}-S^{*}\frac{\beta P^{*}}{N}\right) +a_{2}\left( S^{*}\frac{\alpha I^{*}}{N}+S^{*}\frac{\beta P^{*}}{N}\right) +a_{3}\left( \xi _{1}E^{*}+\delta _{1}Q_{1}^{*}\right) \\&+a_{4}\left( \xi _{2}E^{*}+v_{1}I^{*}\right) +a_{5}\left( v_{2}I^{*}+w_{1}P^{*}\right) -\left( a_{1}\mu N-a_{1}S^{*}\frac{\alpha I^{*}}{N}-a_{1}S^{*}\frac{\beta P^{*}}{N}\right) x \\&-a_{1}\mu N\frac{1}{x}-\left( a_{2}S^{*}\frac{\alpha I^{*}}{N}+a_{2}S^{*}\frac{\beta P^{*}}{N}-a_{3}\xi _{1}E^{*}-a_{4}\xi _{2}E^{*}\right) y-a_{2}S^{*}\frac{\alpha I^{*}}{N}\frac{xz}{y} \\&-a_{2}S^{*}\frac{\alpha P^{*}}{N}\frac{xm}{y}-\left( -a_{1}S^{*}\frac{\alpha I^{*}}{N}+a_{3}\xi _{1}E^{*}+a_{3}\delta _{1}Q_{1}^{*}-a_{4}v_{1}I^{*}-a_{5}v_{2}I^{*}\right) z \\&-a_{3}\xi _{1}E^{*}\frac{y}{z}-a_{3}\delta _{1}Q_{1}^{*}\frac{n}{z}-\left( -a_{1}S^{*}\frac{\beta P^{*}}{N}+a_{4}\xi _{2}E^{*}+a_{4}v_{1}I^{*} -a_{5}w_{1}P^{*}\right) m \\&-a_{4}\xi _{2}E^{*}\frac{y}{m}-a_{4}v_{1}I^{*}\frac{z}{m}-\left( -a_{3}\delta _{1}Q_{1}^{*}+a_{5}v_{2}I^{*}+a_{5}w_{1}P^{*}\right) n\\&-a_{5}v_{2}I^{*}\frac{z}{n}-a_{5}w_{1}P^{*}\frac{m}{n} \\&+\left( -a_{1}S^{*}\frac{\alpha I^{*}}{N}+a_{2}S^{*}\frac{\alpha I^{*}}{N}\right) xz+\left( -a_{1}S^{*}\frac{\beta P^{*}}{N}+a_{2}S^{*}\frac{\beta P^{*}}{N}\right) xm. \end{aligned}$$

Applying the arithmetic geometric mean inequality,

$$\begin{aligned}\frac{a_{1}+a_{2}+\cdots +a_{n}}{n}\ge \root n \of {a_{1}\cdot a_{2} \cdots a_{n}},\ \ \ \ a_{i}>0, \end{aligned}$$

we recombine the variables in the above equation as follows.

$$\begin{aligned} \left\{ \begin{array}{l} 2-x-\frac{1}{x}\le 0,\\ 2-\frac{n}{z}-\frac{z}{n}\le 0,\\ 3-\frac{1}{x}-\frac{xz}{y}-\frac{y}{z}\le 0,\\ 3-\frac{1}{x}-\frac{xm}{y}-\frac{y}{m}\le 0,\\ 3-\frac{n}{z}-\frac{z}{m}-\frac{m}{n}\le 0,\\ 4-\frac{1}{x}-\frac{mx}{y}-\frac{y}{z}-\frac{z}{m}\le 0,\\ 5-\frac{1}{x}-\frac{xz}{y}-\frac{n}{z}-\frac{y}{m}-\frac{m}{n}\le 0.\\ \end{array} \right. \end{aligned}$$

Thus, let’s assume that

$$\begin{aligned} F(x,y,z,m,n)= & {} b_{1}\left( 2-x-\frac{1}{x}\right) +b_{2}\left( 2-\frac{n}{z}-\frac{z}{n}\right) +b_{3}\left( 3-\frac{1}{x}-\frac{xz}{y}-\frac{y}{z}\right) \\&+b_{4}\left( 3-\frac{1}{x}-\frac{xm}{y}-\frac{y}{m}\right) +b_{5}\left( 3-\frac{n}{z}-\frac{z}{m}-\frac{m}{n}\right) \\&+b_{6}\left( 4-\frac{1}{x}-\frac{mx}{y}-\frac{y}{z}-\frac{z}{m}\right) +b_{7}\left( 5-\frac{1}{x}-\frac{xz}{y}-\frac{n}{z}-\frac{y}{m}-\frac{m}{n}\right) .\end{aligned}$$

Variables that are not successfully combined will not appear in the final formula, so we let the coefficients of these terms be 0.

$$\begin{aligned}&a_{2}S^{*}\frac{\alpha I^{*}}{N}+a_{2}S^{*}\frac{\beta P^{*}}{N}-a_{3}\xi _{1}E^{*}-a_{4}\xi _{2}E^{*}=0, \\&-a_{1}S^{*}\frac{\alpha I^{*}}{N}+a_{3}\xi _{1}E^{*}+a_{3}\delta _{1}Q_{1}^{*}-a_{4}v_{1}I^{*}-a_{5}v_{2}I^{*}=0, \\&-a_{1}S^{*}\frac{\beta P^{*}}{N}+a_{4}\xi _{2}E^{*}+a_{4}v_{1}I^{*}-a_{5}w_{1}P^{*}=0, \\&-a_{3}\delta _{1}Q_{1}^{*}+a_{5}v_{2}I^{*}+a_{5}w_{1}P^{*} =0, \\&-a_{1}S^{*}\frac{\alpha I^{*}}{N}+a_{2}S^{*}\frac{\alpha I^{*}}{N}=0, \\&-a_{1}S^{*}\frac{\alpha P^{*}}{N}+a_{2}S^{*}\frac{\alpha P^{*}}{N} =0. \end{aligned}$$

We can obtain that

$$\begin{aligned}&a_{1}=1, \\&a_{2}=1, \\&a_{3}=\frac{1}{\xi _{1}}\left[ k_{1}-\frac{\xi _{2}k_{1}k_{2}Nw_{1}+\xi _{1}\xi _{2}S^{*}\beta v_{2}-\xi _{1}\xi _{2}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}\right] , \\&a_{4}=\frac{k_{1}k_{2}Nw_{1}+\xi _{1}S^{*}\beta v_{2}-\xi _{1}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}, \\&a_{5}= \frac{k_{1}k_{2}k_{3}Nw_{1}+\xi _{1}S^{*}\beta v_{2}k_{3}-\xi _{1}S^{*}w_{1}\alpha k_{3}}{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}-\frac{S^{*}\beta }{Nw_{1}}. \end{aligned}$$

Substituting the above coefficients into \(V'\),

$$\begin{aligned} V'= & {} 2\mu N+\frac{1}{\xi _{1}}\left[ k_{1}-\frac{\xi _{2}k_{1}k_{2}Nw_{1}+\xi _{1}\xi _{2}S^{*}\beta v_{2}-\xi _{1}\xi _{2}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}\right] \left[ \xi _{1}E^{*}+\delta _{1}Q_{1}^{*}\right] \\&+\frac{k_{1}k_{2}Nw_{1}+\xi _{1}S^{*}\beta v_{2}-\xi _{1}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}[\xi _{2}E^{*}+v_{1}I^{*}]\\&+\bigg [\frac{k_{1}k_{2}k_{3}Nw_{1}+\xi _{1}S^{*}\beta v_{2}k_{3}-\xi _{1}S^{*}w_{1}\alpha k_{3}}{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}-\frac{S^{*}\beta }{Nw_{1}}\bigg ]\left[ v_{2}I^{*}+w_{1}P^{*}\right] \\&-\left[ \mu N-S^{*}\frac{\alpha I^{*}}{N}-S^{*}\frac{\beta P^{*}}{N}\right] x-\mu N\frac{1}{x}-S^{*}\frac{\alpha I^{*}}{N}\frac{xz}{y}-S^{*}\frac{\beta P^{*}}{N}\frac{xm}{y} \\&-\frac{1}{\xi _{1}}\left[ k_{1}-\frac{\xi _{2}k_{1}k_{2}Nw_{1}+\xi _{1}\xi _{2}S^{*}\beta v_{2}-\xi _{1}\xi _{2}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}\right] \xi _{1}E^{*}\frac{y}{z} \\&-\frac{1}{\xi _{1}}\left[ k_{1}-\frac{\xi _{2}k_{1}k_{2}Nw_{1}+\xi _{1}\xi _{2}S^{*}\beta v_{2}-\xi _{1}\xi _{2}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}\right] \delta _{1}Q_{1}^{*}\frac{n}{z} \\&-\frac{k_{1}k_{2}Nw_{1}+\xi _{1}S^{*}\beta v_{2}-\xi _{1}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}\xi _{2}E^{*}\frac{y}{m} \\&-\frac{k_{1}k_{2}Nw_{1}+\xi _{1}S^{*}\beta v_{2}-\xi _{1}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}v_{1}I^{*}\frac{z}{m} \\&-\left[ \frac{k_{1}k_{2}k_{3}Nw_{1}+\xi _{1}S^{*}\beta v_{2}k_{3}-\xi _{1}S^{*}w_{1}\alpha k_{3}}{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}-\frac{S^{*}\beta }{Nw_{1}}\right] v_{2}I^{*}\frac{z}{n} \\&-\left[ \frac{k_{1}k_{2}k_{3}Nw_{1}+\xi _{1}S^{*}\beta v_{2}k_{3}-\xi _{1}S^{*}w_{1}\alpha k_{3}}{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}-\frac{S^{*}\beta }{Nw_{1}}\right] w_{1}P^{*}\frac{m}{n}. \end{aligned}$$

Letting the coefficients of all variables of F(xyzmnp) and that of \(V'\) be equal, we can get the following results.

$$\begin{aligned}&b_{1}=\mu S^{*}, \\&b_{2}=\left[ \frac{k_{1}k_{2}k_{3}Nw_{1}+\xi _{1}S^{*}\beta v_{2}k_{3}-\xi _{1}S^{*}w_{1}\alpha k_{3}}{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}-\frac{S^{*}\beta }{Nw_{1}}\right] v_{2}I^{*}, \\&b_{3}=\frac{1}{\xi _{1}}\left[ k_{1}-\frac{\xi _{2}k_{1}k_{2}Nw_{1}+\xi _{1}\xi _{2}S^{*}\beta v_{2}-\xi _{1}\xi _{2}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}\right] \xi _{1}E^{*}, \\&b_{4}=S^{*}\frac{\beta P^{*}}{N}, \\&b_{5}=\frac{k_{1}k_{2}Nw_{1}+\xi _{1}S^{*}\beta v_{2}-\xi _{1}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}v_{1}I^{*}, \\&b_{6}=0, \\&b_{7}=\left[ \frac{k_{1}k_{2}k_{3}Nw_{1}+\xi _{1}S^{*}\beta v_{2}k_{3}-\xi _{1}S^{*}w_{1}\alpha k_{3}}{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}-\frac{S^{*}\beta }{Nw_{1}}\right] w_{1}P^{*} \\&\qquad \ -\frac{k_{1}k_{2}Nw_{1}+\xi _{1}S^{*}\beta v_{2}-\xi _{1}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}v_{1}I^{*}. \end{aligned}$$

We only need to verify that the constant terms of \(V'\) and that of F(xyzmn) are equal.

$$\begin{aligned}&2b_{1}+2b_{2}+3b_{3}+3b_{4}+3b_{5}+5b_{7} \\&\quad =2\mu N+\frac{1}{\xi _{1}}\left[ k_{1}-\frac{\xi _{2}k_{1}k_{2}Nw_{1}+\xi _{1}\xi _{2}S^{*}\beta v_{2}-\xi _{1}\xi _{2}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}\right] (\xi _{1}E^{*}+\delta _{1}Q_{1}^{*})\\&\qquad \ +\frac{k_{1}k_{2}Nw_{1}+\xi _{1}S^{*}\beta v_{2}-\xi _{1}S^{*}w_{1}\alpha }{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}(\xi _{2}E^{*}+v_{1}I^{*})\\&\qquad \ +\left[ \frac{k_{1}k_{2}k_{3}Nw_{1}+\xi _{1}S^{*}\beta v_{2}k_{3}-\xi _{1}S^{*}w_{1}\alpha k_{3}}{N(\xi _{2}k_{2}w_{1}+\xi _{1}w_{1}v_{1}+\xi _{1}k_{3}v_{2})}-\frac{S^{*}\beta }{Nw_{1}}\right] (v_{2}I^{*}+w_{1}P^{*}). \end{aligned}$$

Through the arithmetic geometric mean inequality, we can get the conclusion that

$$\begin{aligned}&V'=F(x,y,z,m,n) \\&\quad \ =b_{1}\left( 2-x-\frac{1}{x}\right) +b_{2}\left( 2-\frac{n}{z}-\frac{z}{n}\right) +b_{3}\left( 3-\frac{1}{x}-\frac{xz}{y}-\frac{y}{z}\right) \\&\quad \quad \ +b_{4}\left( 3-\frac{1}{x}-\frac{mx}{y}-\frac{y}{m}\right) +b_{5}\left( 3-\frac{n}{z}-\frac{z}{m}-\frac{m}{n}\right) \\&\quad \quad \ +b_{7}\left( 5-\frac{1}{x}-\frac{xz}{y}-\frac{n}{z}-\frac{y}{m}-\frac{m}{n}\right) \\&\quad \ \le 0. \end{aligned}$$

Therefore, \(V'(t)\le 0\) and the equal sign holds when and only when \(x=y=m=n=z=1\), i.e., when \(S=S^{*}\), \(E=E^{*}\), \(I=I^{*}\), \(P=P^{*}\), \(Q_{1}=Q_{1}^{*}\), \(Q_{2}=Q_{2}^{*}\). The addiction-present equilibrium \(D^{*}\) is the largest invariant set in \(\Omega \). Using the LaSalle’s Invariance Principle [11], the addiction-present equilibrium \(D^{*}\) is globally asymptotically stable. \(\square \)

Remark 4.1

When we use Lyapunov’s theorem and LaSalle’s invariance principle [11] to prove the global asymptotic stability of the equilibrium point, we need to show that the derivative of the Lyapunov function over time must be negative definite or semi-negative definite. One of the common construction techniques is to use the arithmetic geometric mean inequality, i.e., the arithmetic mean will be greater than or equal to the geometric mean, and the equal sign will hold when and only when each positive number is equal. This result also makes it easy to obtain that the equilibrium point is the largest invariant set in the feasible domain. The global asymptotic stability of this equilibrium point is then obtained by LaSalle’s invariance principle.

5 Optimal Control

In this section, we extend model (2) by adding some controls. We consider the following four common control measures. Distance control \(u_{1}\) prevents susceptible people from becoming infectious by detecting and isolating infected people I(t). The media coverage \(u_{2}\) is primarily for the exposers. By promoting the dangers of game addiction on some public platforms and raising the public’s awareness of prevention, the aim is to reduce the number of people addicted to games. Treatment \(u_{3}\) is a physical and psychological treatment for addicts to increase the probability of permanently quitting the game. \(\varphi \) is the level of treatment. \(u_{4}\) stands for household supervision and caring controls for people who temporarily quit the game.

The goal of control is not only to minimize the number of addicts, but also to minimize the cost of control. In order to get the optimal control strategy, we research the optimal control effect by the following objective function

$$\begin{aligned} J( u_{1},u_{2},u_{3},u_{4})=\int _{0}^{t_{f}}\left( A_{1}E+A_{2}I+\frac{C_{1}}{2} u_{1}^{2}+\frac{C_{2}}{2}u_{2}^{2}+\frac{C_{3}}{2}u_{3}^{2}+\frac{C_{4}}{2}u_{4}^{2}\right) dt, \end{aligned}$$

where \(A_{1},A_{2}\) are the weight coefficients relate to the exposed and infected people. The constants \(C_{1}, C_{2}, C_{3}, C_{4}\) are the weight coefficients of the control variables \(u_{1}, u_{2}, u_{3}, u_{4}\).

Thus, the state system becomes

$$\begin{aligned} \left\{ \begin{array}{l} S'(t)=\mu N-\mu S-(1-u_{1})\alpha \frac{SI}{N}-\beta \frac{SP}{N}, \\ E'(t)=(1-u_{1})\alpha \frac{SI}{N}+\beta \frac{SP}{N}-[(1-u_{2})\xi _{1}+\xi _{2}+\mu ]E, \\ I'(t)=(1-u_{2})\xi _{1}E+(1-u_{4})\delta _{1}Q_{1}-[v_{1}+v_{2}+(v_{3}+u_{3}\varphi )+\mu ]I, \\ P'(t)=\xi _{2}E+v_{1}I -(w_{1}+w_{2}+\mu )P, \\ Q'_{1}(t)=v_{2}I+w_{1}P -[(1-u_{4})\delta _{1}+\delta _{2}+u_{4}\delta _{1}+\mu ]Q_{1}, \\ Q'_{2}(t)=(v_{3}+u_{3}\varphi )I+w_{2}P+(\delta _{2}+u_{4}\delta _{1})Q_{1}-\mu Q_{2}. \end{array} \right. \end{aligned}$$
(14)

Then we want to find an optimal control such that

$$\begin{aligned} J( u_{1}^{*},u_{2}^{*},u_{3}^{*},u_{4}^{*})=\min J( u_{1}, u_{2}, u_{3}, u_{4}),\quad u_{1},u_{2},u_{3},u_{4}\in U \end{aligned}$$

Here, \(u_{i}(t)\in (0,1)\), for all \(t\in [0, t_{f}]\), \(i=1,2,3,4\). The control set is defined as

$$\begin{aligned} U=\{(u_{1},u_{2},u_{3},u_{4})|u_{i}(t)\ is\ Lebesgue\ measurable\ on\ [0,1],\ i=1,2,3,4 \}. \end{aligned}$$

According to the Pontryagin’s maximum principle, we set up a Hamiltonian function as follows

$$\begin{aligned} H= & {} A_{1}E_{1}+A_{2}I+\frac{1}{2}\left( C_{1}u_{1}^{2}+C_{2}u_{2}^{2}+C_{3}u_{3}^{2}+C_{4}u_{4}^{2}\right) \\&+\lambda _{1}\left[ \mu N-\mu S-(1-u_{1})\alpha \frac{SI}{N}-\beta \frac{SP}{N}\right] \\&+\lambda _{2}\{(1-u_{1})\alpha \frac{SI}{N}+\beta \frac{SP}{N}-[(1-u_{2})\xi _{1}+\xi _{2}+\mu ]E\} \\&+\lambda _{3} \{(1-u_{2})\xi _{1}E+(1-u_{4})\delta _{1}Q_{1}-[v_{1}+v_{2}+(v_{3}+u_{3}\varphi )+\mu ]I\} \\&+\lambda _{4}[\xi _{2}E+v_{1}I -(w_{1}+w_{2}+\mu )P] \\&+\lambda _{5}\{v_{2}I+w_{1}P -[(1-u_{4})\delta _{1}+\delta _{2}+u_{4}\delta _{1}+\mu ]Q_{1}\} \\&+\lambda _{6}[(v_{3}+u_{3}\varphi )I+w_{2}P+(\delta _{2}+u_{4}\delta _{1})Q_{1}-\mu Q_{2}], \end{aligned}$$

where \(\lambda _{i}\ (i=1,2,3,4,5,6)\) are the adjoint variables.

Theorem 5.1

Given optimal control pairs \(( u_{1}^{*}, u_{2}^{*}, u_{3}^{*})\) and solutions S(t), E(t), I(t), P(t), \(Q_{1}(t)\), \(Q_{2}(t)\) of the state system (18), there exist adjoint variables \(\lambda _{i}, i=1,2,3,4,5,6\), satisfying the following adjoint system

$$\begin{aligned} \left\{ \begin{array}{l} \lambda '_{1}=\lambda _{1}(1-u_{1})\alpha \frac{I}{N}+\lambda _{1}\beta \frac{P}{N} +\lambda _{1}\mu -\lambda _{2}(1-u_{1})\alpha \frac{I}{N}-\lambda _{2}\beta \frac{P}{N}, \\ \lambda '_{2}=-A_{1}+\lambda _{2}[\mu +(1-u_{2})\xi _{1}+\xi _{2}]-\lambda _{3}(1-u_{2})\xi _{1}-\lambda _{4}\xi _{2},\\ \lambda '_{3}=-A_{2}+\lambda _{1}(1-u_{1})\alpha \frac{S}{N}-\lambda _{2}(1-u_{1})\alpha \frac{S}{N}+\lambda _{3}[v_{1}+v_{2}+(v_{3}+u_{3}\varphi )+\mu ]\\ \qquad \quad -\lambda _{4}v_{1}-\lambda _{5}v_{2}-\lambda _{6}(v_{3}+u_{3}\varphi ),\\ \lambda '_{4}=\lambda _{1}\beta \frac{S}{N}-\lambda _{2}\beta \frac{S}{N}+\lambda _{4}(w_{1}+w_{2}+\mu )-\lambda _{5}w_{1}-\lambda _{6}w_{2},\\ \lambda '_{5}=-\lambda _{3}(1-u_{4})\delta _{1}+\lambda _{5}(\mu +(1-u_{4})\delta _{1}+\delta _{2}+u_{4}\delta _{1})-\lambda _{6}(\delta _{2}+u_{4}\delta _{1}),\\ \lambda '_{6}=\lambda _{6}\mu .\\ \end{array} \right. \end{aligned}$$

The terminal condition of adjoint equations is given by

$$\begin{aligned} \lambda _{i}(t_{f})=0, \qquad i=1,2,3,4,5,6. \end{aligned}$$
(15)

and the optimal control functions are given by

$$\begin{aligned} \left\{ \begin{array}{l} u_{1}^{*}=\max \{0,\min \{1,\frac{\lambda _{2}-\lambda _{1}}{C_{1}}\alpha \frac{SI}{N}\}\}, \\ u_{2}^{*}=\max \{0,\min \{1,\frac{\lambda _{3}-\lambda _{2}}{C_{2}}\xi _{1}E\}\}, \\ u_{3}^{*}=\max \{0,\min \{1,\frac{\lambda _{3}-\lambda _{6}}{C_{3}}\varphi I\}\},\\ u_{4}^{*}=\max \{0,\min \{1,\frac{\lambda _{5}-\lambda _{6}}{C_{4}}\delta _{1}Q_{1}\}\}. \end{array} \right. \end{aligned}$$
(16)

Proof

According to the Pontryagin’s Maximum Principle, first we differentiate the Hamiltonian operator H. The adjoint system can be written as

$$\begin{aligned}&\lambda '_{1}(t)=-\frac{\partial H}{\partial S}(t),\qquad \lambda '_{2}(t)=-\frac{\partial H}{\partial E}(t),\qquad \lambda '_{3}(t)=-\frac{\partial H}{\partial I}(t), \\&\lambda '_{4}(t)=-\frac{\partial H}{\partial P}(t),\qquad \lambda '_{5}(t)=-\frac{\partial H}{\partial Q_{1}}(t),\qquad \lambda '_{6}(t)=-\frac{\partial H}{\partial Q_{2}}(t), \end{aligned}$$

and \(( u_{1}^{*}, u_{2}^{*}, u_{3}^{*}, u_{4}^{*})\) satisfy the condition

$$\begin{aligned} \frac{\partial H}{\partial u_{i}}=0, \end{aligned}$$

where i=1,2,3,4. By solving the above equations, the proof is completed. \(\square \)

Remark 5.1

In studies on controlling the spread of infectious diseases, the control means considered (e.g., isolation) are added additionally to daily life. Because these means interfere with people’s normal lives, these control measures are considered for a period of time only when the situation is more severe. When the disease transmission is not severe, these control measures are withdrawn. If the number of infections decreases to 0 during the implementation of some control measures, the control system will be stable and the equilibrium point is \(D_{0}\). The control system is also stable if the number of infections is continuously maintained at a low level of non-zero during the implementation of some control measures. However, after the end of the control measures, the disease spreads gradually, and the equilibrium point is \(D^{*}\).

Remark 5.2

In the basic framework of the optimal control problem, it is included to prove the existence of optimal control. However, the proof process is mostly the same for many models. Therefore, in this paper, we omit it. To understand the details of the proof procedure, please see Theorem 5 of Reference [14].

How the boundaries of the control variables are chosen does not affect the adjoint equations, but it does affect the rate of change of the adjoint variables and will further affect the change pattern of the control variables. Therefore, different boundaries of the control variables are chosen, and different optimal control results will occur. A more detailed discussion about the boundaries of control variables can be found in Chapter 9 “Bounded case” of Reference [12]. In this paper, due to the objective constraints of disease transmission in reality and the form of control variables we used, we chose the interval of variation of the control variables to be [0, 1].

6 Numerical Simulation

In this section, the parameters in model (2) are first estimated by fitting the real data. Secondly, the global asymptotic stability of the equilibria are demonstrated by the images, and the previous stability theories are verified. Finally, the optimal control strategy is determined by comparing the number of infections under different control strategies.

6.1 Estimation of Model Parameters

We collect the number of e-sports users in mainland China over the years from 2010 to 2020 from the China Statistical Yearbook [24]. These data are shown in Table 1.

Table 1 Real data for the number of e-sports users (unit: million)

From the data in Table 1, we can see that the current number of e-sports users in China is increasing almost every year, which shows the popularity of online games in China. And we can guess from it that with the popularity of online games, more and more users are addicted to online games, which will bring some negative effects to individuals, society and the country.

Fig. 2
figure 2

Fitting result to the reported data using model (2)

Before using the above data to estimate the parameters in model 2, the values of some parameters can be obtained from some existing literatures. According to the Chinese Demographic Survey [25], the resident population in China in 2020 is about \(N=1400050000\), and the average life expectancy of Chinese people in 2020 is 77 years, so we take the natural death rate \(\mu =1/77\) per year.

The method we use to estimate the parameters is the least squares estimation method. The sum of the squares errors (SSE), is expressed mathematically as:

$$\begin{aligned} SSE=\sum _{j=1}^{n}(y_{t_{j}}-{\tilde{y}}_{t_{j}})^{2}, \end{aligned}$$
(17)

where \({\tilde{y}}_{t_{j}}\) are the reported data and \(y_{t_{j}}\) is the solution of the model (2) at time \(t_{j}\). In order to obtain estimates of the model parameters, our goal is to minimize the following objective function

$$\begin{aligned} \left\{ \begin{array}{l} \min \ \ {\text {SSE}}\\ {\text {subject}}\ \ {\text {to}}\ \ {\text {system}}\ \ (2). \end{array} \right. \end{aligned}$$
(18)

We use the fminsearch package in MATLAB to fit these real data. According to the fitting results shown in Fig. 2, we get a relatively satisfactory fitting effect. All the fitted and estimated parameters are given in Table 2. Based on the above results, the approximate value of the basic reproduction number is \(R_{0}\approx 5.05\).

Table 2 Estimated parameters for model (2)

6.2 Stability of Equilibria

By fitting the real data in the previous subsection, \(R_{0}=5.05\) was obtained. Theorem 4.2 tells us that when \(R_{0}>1\), addiction-present equilibrium (APE) is globally asymptotically stable. We assume the initial value \(X_{0}=(1041152500\), 243280000, 30410000, 30410000, 27398750, 27398750), and use ODE45 in MATLAB to simulate the change process of each compartment in the system. The results are shown in Fig. 3.

Fig. 3
figure 3

The addiction-present equilibrium \(D^{*}=(277097542\), 89933450, 133071278, 6869641, 32799019, 860279067) is globally asymptotically stable, and \(R_{0}=5.05>1\)

As can be seen from Fig. 3, the addiction-present equilibrium is stable. If we modify the contact rate of addicted users \(\alpha \) to 0.05 in Table 1, other parameters and initial values \(X_{0}\) remain unchanged, we can get \(R_{0}= 0.46\) through calculation. From theorem 4.1 we can see that the addiction-free equilibrium \(D_{0}\) is globally asymptotically stable when \(R_{0}\) is less than 1. Therefore, we simulate the stability of \(D_{0}\) through MATLAB, and the results are shown in Fig. 4.

Fig. 4
figure 4

The addiction-free equilibrium \(D_{0}=(1400050000\), 0, 0, 0, 0, 0) is globally asymptotically stable, and \(R_{0}=0.46<1\) when \(\alpha =0.05\)

Figures 3 and 4 reflect the correctness of the previous theory. From Fig. 3c, we can also see that, as time goes by, the number of addicted people will continue to increase in a short period of time, reaching a peak of 370 million. This is such a serious situation that it is necessary to investigate the issue of controlling game addiction.

6.3 The Simulation of Optimal Control

In this section, forward–backward sweep method is used to study the control problem of online game addiction. For more information on this method and its application, see references [2, 8, 9, 15, 20, 27, 28, 30]. In the course of the simulation, we select \(A_{1} = 10\), \(A_{2} = 10\), \(C_{1} = 300000000\), \(C_{2}=1000000\), \(C_{3} = 200000000\), and \(C_{4}=35000000\). The values of all model parameters are taken as shown in Table 1. Since the control effect may be affected by many factors during the implementation of the control measures, it is difficult to achieve the ideal 100% effect. So we set the upper limit of the control effect as 0.8. The time of the whole control process is set at 30 years.

In the process of exploring the optimal control strategy, we design the following scenarios to analyze the various combination strategies. Since in the real world, multiple controls are often implemented simultaneously, we will not consider the single control scenario here.

Scenario 1: Coupled control strategies

Strategy A: Isolation\(+\)Media coverage (\(u_{1}, u_{2}\)).

Strategy B: Isolation\(+\)Treatment (\(u_{1}, u_{3}\)).

Strategy C: Isolation\(+\)Family care (\(u_{1}, u_{4}\)).

Strategy D: Media coverage\(+\)Treatment (\(u_{2}, u_{3}\)).

Strategy E: Media coverage\(+\)Family care (\(u_{2}, u_{4}\)).

Strategy F: Treatment\(+\)Family care (\(u_{3}, u_{4}\)).

Scenario 2: Threefold control strategies

Strategy G: Isolation\(+\)Media coverage\(+\)Treatment (\(u_{1}, u_{2}, u_{3}\)).

Strategy H: Isolation\(+\)Media coverage\(+\)Family care (\(u_{1}, u_{2}, u_{4}\)).

Strategy I: Isolation\(+\)Treatment\(+\)Family care (\(u_{1}, u_{3}, u_{4}\)).

Strategy J: Media coverage\(+\)Treatment\(+\)Family care (\(u_{2}, u_{3}, u_{4}\)).

Scenario 3: Fourfold control strategies

Strategy K: Isolation\(+\)Media coverage\(+\)Treatment\(+\)Family care (\(u_{1}, u_{2}, u_{3}, u_{4}\)).

Fig. 5
figure 5

The number of a exposed individuals E(t) and b infected individuals I(t) corresponding to various strategies in scenario 1

Fig. 6
figure 6

Optimal control strategies with two interventions (Scenario 1)

Figure 5 shows the changes in the number of exposed and infected people in each strategy under scenario 1. Figure 6 shows the strength of the control variables in each strategy under scenario 1. From Fig. 5, we can see that in strategy A-F under scenario 1, the number of exposed and infected persons in strategy B is the least, and the corresponding control intensity is shown in Fig. 6(B). Control variables \(u_{1}\) and \(u_{3}\) maintain a maximum control intensity of 0.8 at the beginning and continue until 2038 and 2042, respectively, and then gradually decrease to 0.

Fig. 7
figure 7

The number of a exposed individuals E(t) and b infected individuals I(t) corresponding to various strategies in scenario 2

Fig. 8
figure 8

Optimal control strategies with three interventions (Scenario 2)

The changes in the number of exposed and infected people in each strategy under scenario 2 are shown in Fig. 7. The control strength of each strategy in scenario 2 is shown in Fig. 8. From Fig. 7a, b, we can see that the number of exposed and infected people in strategy G and strategy I is about the same, and is less than that in other strategies.

In strategy G, the control variables \(u_{1}\) and \(u_{3}\) need to be maintained at the maximum strength of 0.8 at the beginning and continue until 2038 and 2042, respectively, then gradually decrease to 0. The control variable \(u_{2}\) should be kept at 0 at the beginning, gradually increase by 0.8 in 2046, and decrease to 0 in 2049. In strategy I, \(u_{1}\), \(u_{3}\), and \(u_{4}\) all need to be maintained at their maximum strength of 0.8 at the beginning and continue until 2037, 2040, and 2026, respectively, and then gradually decrease to 0.

Fig. 9
figure 9

The number of a exposed individuals E(t) and b infected individuals I(t) corresponding to the optimal control strategies in scenario 3

Fig. 10
figure 10

Optimal control strategies with four interventions (Scenario 3)

The changes in the number of exposed and infected people under strategy K and without control are shown in Fig. 9. The control forces in strategy K are shown in Fig. 10. As can be seen from Fig. 9, under strategy K, the number of exposed people and infected people will decrease sharply compared with that without control. These good results are exactly what we want.

We found that there are some good controls in all three scenarios, but it was not easy to distinguish them graphically. Therefore, we need to further examine these strategies in terms of specific data indicators. The total infectious individuals (TI) during the control process is defined as follows.

$$\begin{aligned} TI=\int _{0}^{t_{f}}\left[ (1-u_{1}(t))\alpha \frac{S(t)I(t)}{N}+\beta \frac{S(t)P(t)}{N}\right] dt. \end{aligned}$$

The definition expression of the total averted cases (TA) of strategy A is as follows

$$\begin{aligned} TA(A)=TI(0)-TI(A), \end{aligned}$$

where TI(0) denotes the infected users of without control, TI(A) denotes the infected users of strategy A.

Table 3 Comparison of different strategies

From the IAR data in the last column of Table 3, it can be seen that the implementation of strategy K enables more people to avoid infection. Therefore, from this perspective, strategy K is the optimal control strategy we are looking for. Therefore, we suggest that the four control measures should be implemented simultaneously, as shown in Fig. 10, so as to minimize the number of infections.

It is worth noting that by comparing the results of strategy G and strategy K, we can conclude that if we increase the continuous family care for the incomplete recovered population, this measure can prevent more people from becoming addicted to the game.

7 Conclusion

In today’s world, the problem of online game addiction is becoming more and more serious, and it has also attracted the attention of many countries. Many game addicts have an important stage of temporary withdrawal in the process of quitting the game, and they may have a certain possibility of relapse and become addicts again. Based on these considerations, a new mathematical model of online game addiction was established in this paper.

First, we analyzed the basic properties of the model. By means of the next generation matrix, the basic reproduction number with important biological significance was obtained. By constructing appropriate Lyapunov functions, the global asymptotic stability of addiction-free equilibrium and addiction-present equilibrium were proved, respectively.

In the process of numerical simulation, we first collected data from the China Statistical Yearbook, which includes the number of e-sports users in mainland China from 2010 to 2020. The least squares estimation method was used to estimate the parameters of the model, and the approximation of the basic reproduction number \(R_{0}\approx 5.05\) was obtained. From this result, we can see that the transmission problem of game addiction is very serious. Using the obtained parameters, the stability of the equilibria in the previous theory were verified. Finally, through different combination strategies, we got the minimum number of infections under each strategy, and found the optimal control strategy. The results showed that the four control measures should be implemented simultaneously according to the rule indicated by the optimal control strategy, so as to minimize the addicted people.

This paper provided a framework for analyzing and controlling the spread of game addiction, and the results provided a scientific suggestion for the relevant management departments.