{'fraction_non_alphanumeric': 0.04234640749739674, 'fraction_numerical': 0.016412951852035503, 'mean_word_length': 4.405521307960332, 'pattern_counts': {'":': 0, '<': 4, '<?xml version=': 0, '>': 2, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 12, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Optimal Campaign in the Smoking Dynamics

We present the optimal campaigns in the smoking dynamics. Assuming that the giving up smoking model is described by the simplified PLSQ (potential-light-smoker-quit smoker) model, we consider two possible control variables in the form of education and treatment campaigns oriented to decrease the attitude towards smoking. In order to do this we minimize the number of light (occasional) and persistent smokers and maximize the number of quit smokers in a community. We first show the existence of an optimal control for the control problem and then derive the optimality system by using the Pontryagin maximum principle. Finally numerical results of real epidemic are presented to show the applicability and efficiency of this approach.


Introduction
Application of control theory to epidemics is a very large field, and the study of epidemic models is strongly related to the possibility of evaluation of different control strategies: screening and educational campaigns [1], the vaccination campaign [2], and resource allocation [3]. A comprehensive survey of control theory applied to epidemiology was performed by Wickwire [4]. Many different models with different objective functions have been proposed (see [5][6][7][8][9]). A major difficulty in applying control theoretic methods to practical epidemiology problems is the commonly made assumption that one has total knowledge of the state of the epidemics [10].
In 2000, Castillo-Garsow et al. [11] for the first time proposed a simple mathematical model for giving up smoking. They consider a system with a total constant population which is divided into three classes: potential smokers, that is, people who do not smoke yet but might become smokers in the future (P), smokers (S), and people (former smokers) who have quit smoking permanently (Q). Sharomi and Gumel developed mathematical models by introducing mild and chain classes [12]. In their work they presented the development and public health impact of smoking-related illnesses. Zaman [13] extended the work of Castillo-Garsow et al. [11] and developed a model taking into account the occasional smokers compartment in the giving up smoking model and presented its qualitative behavior.
In this study we consider the model introduced by Zaman [13] and extend that once a smoker quits smoking he/she may become a potential smoker again and first discuss the dynamical behavior and then use optimal control theory for our optimal problem to minimize the number of light and persistent smokers and maximize the number of quit smokers in a community. In our control problem we first show the existence of an optimal control and then we derive the optimality system. The technical tool used in this work to determine the optimal strategy is the Pontryagin maximum principle. We emphasize that we have not set up a smoking model that particularly fit our optimization scheme. In order to do this we use optimal control strategies associated with two types of control, an education and a treatment campaigns to minimize the number of light and persistent smokers and maximize the number of quit smokers in a community. That is, we derive the optimality system consisting of the state and adjoint equations and solve numerically the system by using an iterative method. We also give an example of the real epidemic model by real data so that we illustrate how the optimal control theory can be applied in real situation.
The structure of this paper is organized as follows. First, we presented the qualitative behavior of the proposed model and then control system for the optimality and its existence, and the optimal control pairs are derived in Section 2. In Section 3, we solve numerically the optimality system by using real data, which consists of the original state system, the 2 Computational and Mathematical Methods in Medicine adjoint system, and their boundary conditions. Finally, we conclude by discussing results of the numerical simulation for our giving up smoking model.

Optimal Control Problem
In this section, we begin our explorations with a PLSQ model for a population as defined by the following system consisting of differential equations: As described in [13] the variables P, L, S, and Q represent the potential, light (occasional), persistent, and quit smoker, respectively. The parameter b represents the birth rate, μ is the natural death rate, and γ is the quit rate from smoking. The parameters β 1 and β 2 approximate the average number of contacts with smoker individuals needed to make light and persistent smoker, respectively, in each unit of time. ρ is the rate of quit smoker becoming potential smoker again, and d 1 , d 2 , d 3 , and d 4 represent the death rate of potential smoker, occasional smoker, persistent smoker, and quit smoker, respectively. In this model, we also use the classic mass action hypothesis for both positive transmission coefficients β 1 and β 2 . Potential smokers acquire infection at per capita rate β 1 L(t). The total population size at time t is denoted by The dynamics of the total population are governed by the following differential equation: If all individuals die at the same death rates, then we have d 1 = d 2 = d 3 = d 4 = d, and dynamics of the total population become When the birth rate is equal to the disease and natural death rate then the total population remains constant, that is, b = d + μ. The total constant population models were studied by several authors; see, for example, [8,14]. In our proposed model it is not biologically feasible if we consider b < d + μ, so we assume that b d + μ. The unique positive epidemic equilibrium of the system (1) is given by where K = bβ 1 β 2 N /((d 2 + μ)(β 1 (γ + d 3 + ρ) + β 2 (d 1 + μ))) represents the smoking generation number (basic reproductive number). It measures the average number of new smokers generated by single smoker in a population of potential smokers. The reproduction number is a concept in the epidemiology of infectious diseases [12]. It is a measure of how infectious a disease is and is required if you wish to calculate how many people you need to vaccinate if you are to achieve herd immunity. When somebody starts smoking, they may pass it on to nobody else or they may assist 1, 2, or more other people (who become secondary cases). The reproduction number, K, is the average (mean) number of secondary cases caused by each case of an infectious disease, during the infectious period. The number K will, of course, depend on a large number of factors depending on the states of the diseases. In our proposed model when K > 1 there exist persistent smokers in the community while for K < 1 there are no smokers. In order to understand the qualitative behavior of the giving up smoking model we find the different equilibrium position of the model.

Remark 1. The Jacobian matrix around the trivial equilib-
The eigenvalues of the Jacobian matrix around the trivial Thus all the roots have negative real part, which shows that the trivial equilibrium is locally stable.  Proof. We can examine by linearizing our proposed giving up smoking model (1) around E l = (1, 0, 0, 0) to get local stability. Hence, the equilibrium point around E l gives us the Jacobian matrix: The eigenvalues of the Jacobian matrix J l around smoking- Thus, we deduce that all the roots have negative real part when β 1 < d 2 + μ which shows that the smoking-free equilibrium is locally asymptotically stable. Proof. For the proof of this theorem see Appendix A.
In order to investigate an effective campaign to control smoking in a community which satisfies that the maximum number of occasional (light) and persistent smoker individuals is not larger than that of potential smoker individuals and more individuals are recovered after quitting the use of tobacco, we consider the system (1) and use two control variables to control both the occasional (light) smoker and persistent smoker population. In the system (1) we have four state variables P(t), L(t), S(t), and Q(t). For the optimal control problem we consider the control variable u(t) = (u 1 (t), u 2 (t)) ∈ U relative to the state variables (P(t), Next, we describe the role played by the first control u 1 (t) and how it is incorporated in the system (1). It the beginning people start smoking occasionally for a variety of different reasons. Some think it looks cool. Others start because their family members or friends smoke. Statistics show that about 9 out of 10 tobacco users start occasionally and then gradually become persistent smoker. Furthermore there are strong evidence that the attitude towards smoking is starting from high (junior) school time. Thus, a campaign like movie particularly in a class or group to show them that smoking is more likely to develop cancer of the mouth and throat, bladder, kidney, liver, stomach, and pancreas which significantly raises risk of heart attack. Therefore control function u 1 (t) represents education campaign level used to control smoking in a community. The control u 2 (t) represents the level of treatment in the form of stop smoking injection (vaccine) that contains drugs that block nicotine receptors of the brain, which in turn helps in reducing the desire to smoke. The physical meaning of the control variable in this problem is that low levels of the number of occasional (light) and persistent smokers build. In case of no campaign or no treatment the number of persistent smoker increases while the number of former smoker decreases. Better and prefect time of campaign brings the number of occasional (light) and persistent smokers to a small level, potential smokers begin to build again and more individuals are recovered by quitting the use of tobacco. The effects of tobacco on both occasional (light) and persistent smokers are negative for quit smokers around them, so we wish to minimize both. Also small amount of control variables (campaign and treatment) are acceptable; therefore, we wish to penalize for amount too large, so quadratic terms for both control variables will be analyzed. Hence, our optimal control problem to minimize the objective functional is given by subject to with initial conditions Here α i and ξ i for i = 1, 2 are weight factors (positive constants) that represent a smoker level of acceptance of the control campaign. The goal is to minimize the occasional (light) and persistent smokers and the cost of implementing the control. Occasional smokers induce an optimal control u 1 (t) before they become persistent smokers, and an optimal control u 2 (t) should be provided to persistent smokers population. Various deterministic optimal control models and their existence are investigated by several authors [8,9,15]. First we shall show the existence for the control system (8). Let P(t), L(t), S(t), and Q(t) be state variables with control variable u(t) = (u 1 (t), u 2 (t)) ∈ U. For existence we consider the control system (8) with initial conditions in (9). Then we 4 Computational and Mathematical Methods in Medicine can rewrite the system (8) in the following form: where and V t denotes the derivative of V with respect to the time t. The system (10) is a nonlinear system with a bounded coefficient. We set The second term on the right-hand side of (12) satisfies where the positive constants Λ 1 , Λ 2 , and Λ 3 are independent of state variables P(t), L(t), and S(t) ≤ N(t), respectively. Also we get where Λ = Λ 1 + Λ 2 + Λ 3 + M < ∞. Thus it follows that the function G is uniformly Lipschitz continuous. From the definition of U and the restriction on P(t), L(t), S(t), and Q(t) ≥ 0 we can see that a solution of the system (10) exists (see [16]). To illustrate how to solve a control problem actually, first we should find Hamiltonian for the optimal control problem (7)- (9). To do this, we define the Hamiltonian H for the control problem as follows: H(P, L, S, Q, u 1 , u 2 , λ 1 , λ 2 , λ 3 , λ 4 ) = Ł(L, S, u 1 , u 2 ) + λ 1 (t)g 1 (t) + λ 2 (t)g 2 (t) + λ 3 (t)g 3 (t), where Ł(L, S, u 1 , u 2 ) = α 1 L(t) + α 2 S(t) + (1/2)(ξ 1 u 2 1 (t) + ξ 2 u 2 2 (t)) is the Lagrangian and g i for i = 1, 2, 3 is the righthand side of the differential equations of the state system (8), respectively.

Theorem 4. There exists an optimal control pair
subject to the control system (8) with initial conditions (9).
Proof. To prove the existence of an optimal control, we have to show the following.
(1) The control and state variables are nonnegative values.
(2) The control U set is convex and closed.
(3) The RHS of the state system is bounded by linear function in the state and control variables.
(4) The integrand of the objective functional is concave on U.
(5) There exist constants such that the integrand in (7) of the objective functional is satisfied.
In order to verify these conditions, we use a result by Fister [5]. We note that the solutions are bounded. The set of all the control variables u(t) = (u 1 (t), u 2 (t)) ∈ U, is also convex and closed by definition. The optimal system is bounded which determines the compactness needed for the existence of the optimal control. In addition, the integrand in functional (7) is given by α 1 L(t) + α 2 S(t) + (1/2)(ξ 1 u 2 1 (t) + ξ 2 u 2 2 (t)) and is convex on the control set U. Also we can easily see that there exist a constant σ > 1 and positive numbers η 1 and η 2 such that which completes the existence of an optimal control.
Pontryagin maximum principal (PMP) states necessary conditions [17] that must hold on an optimal trajectory. These conditions help us in calculation of the state, adjoint, Computational and Mathematical Methods in Medicine 5 and control variables in the optimal control problems. PMP can be used as both a computational technique and analytic technique. The technical tools used to determine the optimal strategy is given in the following form.
If (x * (t), u * (t)) is an optimal solution of an optimal control problem, then there exists a nontrivial vector function λ(t) = (λ 1 (t), λ 2 (t), . . . , λ n (t)) satisfying the following inequalities: where " " denotes the derivative with respect to time t. Now we apply the necessary conditions to the Hamiltonian H in (15).
Here we call formulas (21) and (22) for u * the characterization of the optimal control. The optimal control and the state are found by solving the optimality system, which consists of the state system (8), the adjoint system (20), boundary conditions (9) and (20), and the characterization of the optimal control (21) and (22). To solve the optimality system we use the initial and transversality conditions together with the characterization of the optimal control pair (u * 1 (t), u * 2 (t)) given by (21) and (22). By substituting the values of u * 1 (t) and u * 2 (t) in the control system (8) we get the following system: With the Hamiltonian H * at (P * ,L * , S * , Q * , u * 1 , u * 2 , λ 1 , λ 2 , λ 3 , λ 4 ), where g * i (t) for i = 1, 2, 3 is the right-hand side of the differential equations of the state system (23), respectively. To find out the optimal control and state we will numerically solve the system (23) and Hamiltonian (24).

Numerical Results
In this section, we shall solve numerically an optimal control problem for the PLSQ model. Here we obtain the optimality system from the state and adjoint equations. The optimal control problem strategy is obtained by solving the optimal system, which consists of eight ordinary differential equations and boundary conditions. The optimality system can be solved by using an iterative method by Runge-Kutta fourth scheme [18]. Using an initial guess for the control variables, u 1 (t) and u 2 (t), the state variables, P, L, S, and Q are solved forward in time, and then the adjoint variables, λ i for i = 1, 2, 3, 4, are solved backwards in time. If the new values of the state and adjoint variables differ from the previous values, the new values are used to update u 1 (t) and u 2 (t), and the process is repeated until the system converges. For the PLSQ model presented in this work, the state system is given by (8) with the initial conditions given by (9). The adjoint system is given by (20) with the final time conditions given by (21) and the characterization of the optimal control by (21) and (22).
To determine the numerical simulation of the optimality system we use a small time step size Δt = 0.005. We consider that the optimal campaign continues for 30 day, and use a real estimate of parameter value represented in Table 1.
For reasonable values of the parameter we restate the idea presented in [8,13,19]. When a person first becomes a smoker it is not likely that she/he quits for several years since tobacco contains nicotine, which is shown to be an addictive drug. We assume 1/γ to be a value between 15 and 25 years, that is, 20. Hence, the value of 1/γ is set to 7300 days. The death rate of each individual is different from others and depends on the real life situation. Here, we assume that The natural death rate μ is per 1000 per year (currently 8 in the US). There is strong evidence that the attitude towards smoking is starting from high (junior) school time. Therefore 1/b is set to be 1095 days. Death from lung cancer was the leading cause by smoking, with a rate of 37 per 100,000 individuals [20]. The reasonable value of parameters β 1 and β 2 which represent the average number of contacts with smoker individuals needed to make light and persistent smoker, respectively, in each unit of time can be obtained by using the same techniques presented in [13]. We consider the real data used in [8] for the P(0) = 153, S(0) = 79, and assume that L(0) = 40. and Q(0) = 9.
We presented in Figure 1 the potential smoker in two systems (1) and (8). The plain line denotes the population of potential smokers in the system (1) without control while the dotted line denotes the population of potential smokers in the system (8) with control. The potential smokers in the two systems (1) and (8) are almost the same in around days 1-10. After 10 days a slight increase appears in potential smokers population. Figure 2 represents the population of occasional smokers in two systems (1) without control and (8) with control. The population of occasional smokers sharply decreases from the first day of infection in systems both with control and without control and reaches its minimum number of occasional smokers L = 39.3 and L * = 39 at the end of the optimal campaign.    (1) and (8). The persistent smokers population in both systems (1) and (8) decreases more sharply than the light (occasional) smokers population and about S = 19 and S * = 16.8 persistent smokers population remains at the end of the optimal campaign. Figure 4 represents the numerical results of both systems (1) and (8) of the quit smokers population. After the optimal campaign the light (occasional) smokers and persistent smokers populations decreases while the quit smoker population increases.
In this work we use one set of parameters for both dynamical systems (1) and (8). Simulations with different sets of parameter values can be used in the future to obtain a sampling of possible behaviors of a dynamical system.

Conclusion
In this paper we considered the model introduced by Zaman [13] and extend that once a smoker quits he/she may becomes a potential smoker again, and then we used optimal control theory to minimize the number of light and persistent smokers and maximize the number of quit smokers in a community. The control plots obtained from the numerical simulation in this paper represent that the numbers of light and persistent smokers decreases and the number of quit smokers increases in the optimality system. We also showed that for certain values of control rate there exists its corresponding optimal solution. We considered a special disease (smoking) in a specific community as a realistic model, and we hope that the approach introduced in this paper will be applicable in other epidemic models beyond the giving up smoking model.

A. Proof of Theorem 3
The Jacobian matrix of the giving up smoking model (1)