Abstract
This paper presents and examine a mathematical system of equations which describes the dynamics of pine wilt disease (PWD). Firstly, we examine the model with constant controls. Here, we investigate the disease equilibria and calculate the basic reproduction number of the disease. Secondly, we incorporate time dependent controls into the model and then analyze the conditions that are necessary for the disease to be controlled optimally. Finally, the numerical results for the model are presented.
Introduction
The forest has a significant role in human life, therefore, it is necessary to put in place safety measure in order to protect the trees from being infected with diseases. The trees do not only provide greenery to the environment but also provide pleasant atmosphere for human community. The pine wilt disease (PWD) is one of the major threat to the forest and ecosystem. It is one of the dramatic disease, that kills, pine trees within a very short time and one of the symptom of this diseases is the red dish brown foliage. The North American native pinewood nematode (Bursaphelenchus xylophilus) which is vectored by Monochamus alternatus (Japanese pine sawyer beetle, a species that transmits the nematode to healthy trees) is one of the causes of pine wilt disease^{1,2,3,4,5}. This disease has been known since 1900s in Japan^{6}, and 1980s^{7} in China and causes great economic and environmental loss to ecosystems worldwide.
This disease has three organisms: a pinewood nematode, a gymnosperm host, and an insect vector. During primary transmission, dauer juveniles (JIV stage) of Bursaphelenchus xylophilus are carried phoretically in the tracheae of their beetle host to young twigs of susceptible trees, where they enter through resin canals in wounds made during maturation feeding by the insect^{6, 8}. The dead or dying conifer is a suitable breeding host for the next generation of Monochamus spp. vectors. Nematodes brought into the conifer during oviposition of the beetle (secondary transmission) will moult from the dauer juvenile stage and enter the propagative phase to grow and reproduce on secondary fungi that are present as the pine host dies. Then the cerambycid eggs hatch and develop through several larval instars while producing galleries, at first in the inner bark, cambium and outer sapwood and later in deeper woody tissue^{8,9,10}. The pine wilt disease is caused by Bursaphelenchus xylophilus ^{11, 12} and the vector is the pine sawyer beetles (Monochamus alternatus). The nematode are scattered by the vector beetles over pine healthy trees from space, while in the vector population the direct transmission can happen while vectors are mating^{13, 14}. During breeding, mature beetles use healthy tree twigs mainly for feeding purposes while they focus on the infected trees only for copulation and oviposition^{15}. The transmission of Bursaphelenchus xylophilus horizontally between heterosexual vectors promotes multiple infections. The PWD’s first outbreak in 1905 occurred in Japan, the disease has spread throughout the country in the 1970s and only excluding the northern parts of Japan^{16}. After a decade, PWD had spread to many parts of Asia, such as China, Taiwan, Hong Kong and South Korea and in 1999, the disease hit Europe (Portugal)^{17}. Today, PWD has become one of the major threats all over the world to forests ecosystems.
Pine wilt disease is very disastrous and can within weeks kill affected trees. The death of the trees are actually caused by a microscopic pine wood nematodes (Bursaphelenchus xylophilus) and the management of pine wilt disease is limited to prevention primarily. There are no cures for the disease once a susceptible tree becomes infected with pinewood nematode and these parasitic nematodes do not associate with the plant roots, but to the aboveground parts of the pine trees. The spread of the nematode from trees to trees occur via the pine sawyer beetle (Monochamus spp.) as they feed on healthy trees branches, the nematodes would then emerge and thereafter enter through the feeding wounds caused by the beetles into the trees. Infected trees thereafter are killed by nematodes feeding on cells surrounding the resin ducts.
During oviposition (egg laying), the adult sawyers are by preference only attracted to the dead or dying trees. And the tree age also influences the risk of pine wilt. Trees that are 10 years and above are the most affected, beetles feed and infest one or more trees with nematodes and then move to other susceptible area. But very often the disease only affects a tree in a group. This is due to the nematodes movement, which is not based on physical contact or water or through grafts of roots^{18, 19}.
Some mathematical models have been presented on the dynamics of PWD. A mathematical model presented in ref. 20, examined the stability of pine wild disease and application of optimal control technique, where the population of pine trees were divided into two categories, that is, susceptible pine trees and infected pine trees, while the vector population (beetles) were divided into two classes; susceptible vector and infected vector^{20}. Also, K. S. Lee and A. A. Lashari^{21} introduced a mathematical model that incorporated the exposed class in the pine trees population with a detailed discussion made on the stability and optimal control of PWD. Also, M. Ozair presented a mathematical model on the dynamics of PWD by dividing the host pine trees and vector beetles into susceptible and infected classes with nonlinear incidence and horizontal transmission^{22}. Recently, K. S. Lee and D. Kim introduced a mathematical model that describe the dynamics of PWD by presenting its global stability with nonlinear incidence rates^{23}.
It is necessary to make the community and forest safe from infectious diseases, with different control measure used. Such as optimal control technique and mathematical models are widely used to understand the complicated nonlinear phenomena of infectious diseases with different purposes^{24,25,26,27} which is helpful in analyzing biological models. In the literature, various articles on the dynamics of infectious disease with optimal control strategies are presented^{28,29,30,31} and the reference there in.
The aim of this paper is to present a mathematical model on the dynamics of Pine trees and vector (beetles) population. We first presented the detail mathematical study of the model, which is the local and global stability, asymptotical stability and backward bifurcation phenomena. Then, we applied the optimal control technique to minimize the population of exposed pine trees, infected pine trees, susceptible vector, exposed vector and infected vector (beetles) as well as to maximize the population of susceptible pine trees. Different control strategies have been presented in order to reduce infection in the population of pine trees.
In the next, section Basic Model Formulation we give a detail analysis about the mathematical formulation of PWD. In section Stability analysis disease free a brief mathematical results are presented for disease free case and a backward bifurcation analysis. The stability analysis of the model at endemic equilibrium is presented in Section stability endemic equilibrium. Further, we apply the optimal control technique in section Optimal control problem while the numerical results and conclusion are presented in sections Numerical results and Conclusion respectively
Basic Model Formulation
The total population of pine wood trees is denoted by N(t) and we subdivide into four subclasses; the pine trees that are susceptible, S _{ H }(t), pine trees that are already exposed, E _{ H }, and the pine trees that are infected I _{ H } at any time t, with \({N}_{H}(t)={S}_{H}(t)+{E}_{H}(t)+{I}_{H}(t)\).
The total population of vector (beetles) is denoted by N _{ V }, which is categorized further into subclasses, namely, the susceptible beetles, S _{ V }, the exposed vector beetles, E _{ V }(t) (which not carrying pinewood nematode), and infected vector beetles, I _{ V }(t)(which have the ability to carry pinewood nematode) at any time t, with \({N}_{V}(t)={S}_{V}(t)+{E}_{V}(t)+{I}_{V}(t)\).
We are not interested to include the class R _{ H }(t) for pine wood trees population, this is because the infected pine wood tree dies in a year or may in a subsequent next years.
With the above assumptions, we present the model and their schematic diagram in Fig. 1 is follows:
The parameter Λ_{ H } denotes the recruitment rate of pine trees that are susceptible and the parameter κ _{1} stands for the contact rate during maturation. The average number of contacts during maturation per day with vector adult beetles is denoted by ψ. The mass action term κ _{1} ψS _{ H } I _{ V } represents the incidence rate. The parameter κ _{2}, denote the probability that a nematode is being transmitted through oviposition by an infected beetle, and the average number of contacts per day when adult beetles oviposit is denoted by ϕ. The probability that pine trees that are susceptible cease oleoresin exudation without infected by the nematode is represented by α. We show the transmission through oviposition by κ _{2} ϕα and hence, κ _{2} ϕαS _{ H } I _{ V } denotes the number of new infections. The rate of progression from pine trees that are exposed to trees that are infected and the natural death rate of pine trees respectively denoted by δ and d _{1}.
The vector pine beetle emergence rate is denoted by Λ_{ V }, while η measure the rate at which adult beetles that are escaping from dead trees carry the PWN with them and so the transmission via this route is denoted by ηS _{ V } I _{ H }. The transfer rate from E _{ v } to I _{ v }, the natural death rate and disease induced death rate for the vector beetles population are respectively denoted by μ, d _{2} and γ. The model (1) presents the pine wood trees and vector beetles populations, and it is understood that all the variables involved with parameters are nonnegative for nonnegative initial conditions.
So, the initials conditions for the model (1) is follows as: \({S}_{H}\mathrm{(0)}={S}_{H}^{o}\), \({E}_{H}\mathrm{(0)}={E}_{H}^{o}\), \({I}_{H}\mathrm{(0)}={I}_{H}^{o}\), \({S}_{V}\mathrm{(0)}={S}_{V}^{o}\), \({E}_{V}\mathrm{(0)}={E}_{V}^{o}\) and \({I}_{V}\mathrm{(0)}={I}_{V}^{o}\).
The total population of pinewood trees is \(d{N}_{H}/dt={{\rm{\Lambda }}}_{H}{d}_{1}{N}_{H}\). The total population of vector beetles is \(d{N}_{V}/dt={{\rm{\Lambda }}}_{V}{d}_{2}{N}_{H}\).
When t → ∞, the total dynamics of pine wood trees and beetles approaches \(({N}_{H}(t),{N}_{V}(t))\to ({{\rm{\Lambda }}}_{H}/{d}_{1},{{\rm{\Lambda }}}_{V}/{d}_{2})\). Thus, the biological feasible region for model (1) is
which is positively invariant and the global is attracted in \({\rm{\Psi }}\).
The disease free equilibrium of the system (1) denoted by \({{\mathscr{K}}}_{0}\) and is given by \({{\mathscr{K}}}_{0}=({S}_{H}^{0},0,0,{S}_{V}^{0},0,0)\).
Basic reproduction number
Here, we will compute the basic reproduction number \({ {\mathcal R} }_{0}\) of system (1). The concept of next generation matrix and basic reproduction number in refs 32, 33 will be used to obtain \({ {\mathcal R} }_{0}\) for the proposed model (1). Hence, we define the new vector \(\bar{x}=({E}_{H},{I}_{H},{E}_{V},{I}_{V})\) contains only the infected variables. Consider the following system:
In the computation of \({ {\mathcal R} }_{0}\) ^{32}, the necessary matrices involved are obtained as follows:
The inverse of V equals
Thus, the next generation matrix of system (2) is
So the basic reproduction number is
where ρ, \({S}_{H}^{0}=\frac{{{\rm{\Lambda }}}_{H}}{{d}_{1}}\), \({S}_{V}^{0}=\frac{{{\rm{\Lambda }}}_{V}}{{d}_{2}}\) represent respectively, the spectral radius, disease free equilibrium of trees and disease free equilibrium of vector. In the following, we show that \({ {\mathcal R} }_{0}\) is the key threshold parameters whose values completely characterize the global dynamics of system (1).
Stability Analysis of Disease free Equilibrium
Let
Define \(s(M)=max\{Re\lambda :\lambda \,is\,an\,eigenvalue\,of\,M\}\), so s(M) is a simple eigenvalue of M with a positive eigenvector^{34}. It follows from ref. 32, that two equivalences hold: \({ {\mathcal R} }_{0} > 1\iff s(M) > 0\), \({ {\mathcal R} }_{0} < 1\iff s(M) < 0\).
Theorem 0.1. If \({ {\mathcal R} }_{{0}} < {1}\), then the diseasefree equilibrium \({{\mathscr{K}}}_{{0}}\) is locally asymptotically stable on \({{\Psi }}_{{1}}\).
Proof: To show this results, we check the hypothesis present in ref. 32, namely (A _{1})–(A _{5}). The hypothesis (A _{1})–(A _{4}) can be verified easily, while A _{5} could be satisfied if all the eigenvalues of the 6 × 6 matrix
have negative real parts, where J _{3} = −F,
Calculated the eigenvalues of J _{4},
If \({ {\mathcal R} }_{0} < 1\), then s(M) < 0 and \(s({J}_{{{\mathscr{K}}}_{0}}) < 0\), the diseasefree equilibrium \({{\mathscr{K}}}_{0}\) of system (1) is locally asymptotically stable.
Analysis of Backward Bifurcation
In this subsection, we analyze the existence of Backward bifurcation for the model (1). To analyze this, we use the center manifold theory as described in CastilloChavez and Song (2004) (Theorem 4.1)^{35}, which is reproduced here below for convenience.
Theorem 0.2. (Theorem 4.1 of CastilloChavez and Song (2004))^{35} Consider the following general system of ordinary differential equations with a parameter ϕ.
where 0 is an equilibrium point of the system (that is, \(f\mathrm{(0},\varphi )=0,\forall \,\varphi \)) and assume

\(A={D}_{x}f\mathrm{(0},\mathrm{0)}=(\tfrac{\partial {f}_{i}}{{\partial }_{{x}_{j}}}\mathrm{(0,}\,\mathrm{0)})\) is the linearization matrix of (3) around the equilibrium point 0 with ϕ evaluated at 0. Zero is a simple eigenvalue of A and other eigenvalues of A have negative real parts;

Matrix A has a right eigenvector w and a left vector v (each corresponding to the zero eigenvalue).
Let f _{ k } be the kth component of f and
The local dynamics of the system (3) around 0 is totally determined by the signs of a and b.

(i)
a > 0, b > 0. When ϕ < 0 with \(\varphi \ll 1\), 0 is locally asymptotically stable, and there exists a positive unstable equilibrium; when \(0 < \varphi \ll 1\), 0 is unstable and there exists a negative and locally asymptotically stable equilibrium;

(ii)
a < 0, b < 0. When ϕ < 0 with \(\varphi \ll 1\), 0 is unstable; when \(0 < \varphi \ll 1\), 0 is locally asymptotically stable, and there exists a positive unstable equilibrium;

(iii)
a > 0, b < 0. When ϕ < 0 with \(\varphi \ll 1\) is unstable, and there exists a locally asymptotically stable negative equilibrium; when \(0 < \varphi \ll 1\), 0 is stable, and a positive unstable equilibrium appears;

(iv)
a < 0, b > 0. When ϕ changes from negative to positive, 0 changes its stability from stable to unstable. Correspondingly a negative unstable equilibrium becomes positive and locally asymptotically stable.
Particularly, if a > 0 and b > 0, then a backward bifurcation occurs at ϕ = 0. If we choose κ _{1} as a bifurcation parameter, then at \({ {\mathcal R} }_{0}=1\), we have
Then, we make the following change of variables S _{ H } = x _{1}, E _{ H } = x _{2}, I _{ H } = x _{3}, S _{ V } = x _{4}, E _{ V } = x _{5} and I _{ V } = x _{6}. In addition, using vector notation \({\bf{x}}={({x}_{1},{x}_{2},{x}_{3},{x}_{4},{x}_{5},{x}_{6})}^{T}\), the PWD model can then be written in the form \(dx/dt=F({\bf{x}})\), with \(F={({f}_{1},{f}_{2},{f}_{3},{f}_{4},{f}_{5},{f}_{6})}^{T}\), as shown below:
To follow the above method, we find the Jacobian matrix evaluated at disease free equilibrium \({{\mathscr{K}}}_{0}\) is given by
The Jacobian matrix \(J({{\mathscr{K}}}_{0})\) has a simple zero eigenvalue evaluated at \({\kappa }_{1}^{\ast }\). The Jacobian matrix \(J({{\mathscr{K}}}_{0})\) evaluated at \({\kappa }_{1}^{\ast }\) has right and left eigenvector denoted by \({\bf{W}}={[{w}_{1},{w}_{2},{w}_{3},{w}_{4},{w}_{5},{w}_{6}]}^{T}\) and \({\bf{V}}=[{v}_{1},{v}_{2},{v}_{3},{v}_{4},{v}_{5},{v}_{6}]\) respectively, and obtain
and
Computation of a:
To compute a, we find the following partial derivatives
we obtain
Computation of b:
To compute b, we find the following partial derivatives
we obtain
Obviously, the coefficient b is positive always so that, according to Theorem (0.2), it is the sign of the coefficient a which decides the local dynamics around the diseasefree equilibrium for \({\kappa }_{1}={\kappa }_{1}^{\ast }\).
Theorem 0.3. If \({ {\mathcal R} }_{0} < 1\), then the diseasefree equilibrium \({{\mathscr{K}}}_{0}\) is globally asymptotically stable on \({\rm{\Psi }}\).
Proof: Consider the following lyapunov function:
The derivative of L along the solution of model (1) is
where w _{ i }, for \(i=1,2,\ldots 6\) are positive constants to be chosen later.
Using \({S}_{H}^{0}=\frac{{{\rm{\Lambda }}}_{H}}{{d}_{1}}\) and \({S}_{V}^{0}=\frac{{{\rm{\Lambda }}}_{V}}{{d}_{2}}\) in equation (6), we get
Now choosing the constants such as w _{1} = w _{2} = δ, w _{3} = (d _{1} + δ), \({w}_{4}={w}_{5}=\frac{{d}_{2}({d}_{1}+\gamma )({d}_{1}+\delta )}{\eta {{\rm{\Lambda }}}_{V}}\), \({w}_{6}=\frac{{d}_{2}({d}_{1}+\gamma )({d}_{2}+\mu )({d}_{1}+\delta )}{\eta \mu {{\rm{\Lambda }}}_{V}}\) and simplifying, we obtain
Thus, L′(t) is negative for \({ {\mathcal R} }_{0}\le 1\) and zero if and only if \({S}_{H}={S}_{H}^{0}\), \({S}_{V}={S}_{V}^{0}\), E _{ H } = I _{ H } = 0 and E _{ V } = I _{ V } = 0. Therefore the largest compact invariant set in \({\rm{\Psi }}\) is the singleton set \({{\mathscr{K}}}_{0}\). So, the model (1) is globally asymptotically stable.
Stability Endemic Equilibrium
In this subsection, we investigate the stability results for the endemic case. The endemic equilibrium of the model (1) denoted by \({{\mathscr{K}}}_{1}=({S}_{H}^{\ast },{E}_{H}^{\ast },{I}_{H}^{\ast },{S}_{V}^{\ast },{E}_{V}^{\ast },{I}_{V}^{\ast })\) and is given by
Lemma 0.1. A unique endemic equilibrium exists for model (1) whenever \({ {\mathcal R} }_{0} > 1\).
Theorem 0.4. The endemic equilibrium of the model (1) is locally asymptotically stable when \({ {\mathcal R} }_{0} > 1\) and the conditions

\({c}_{1}{c}_{2}{c}_{3} > 0,\)

\({c}_{3}({c}_{1}{c}_{2}{c}_{3})+{c}_{1}({c}_{5}{c}_{1}{c}_{4}) > 0,\)

\(({c}_{1}{c}_{2}{c}_{3})({c}_{3}{c}_{4}{c}_{2}{c}_{5}){({c}_{5}{c}_{1}{c}_{4})}^{2} > 0\).
are satisfied.
Proof: The jacobian matrix evaluated at \({{\mathscr{K}}}_{1}\) is
The associated characteristics equation of \({J}_{{{\mathscr{K}}}_{0}}\) is
where
and \((\delta +{d}_{1})={Q}_{1},\,(\gamma +{d}_{1})={Q}_{2},\,({d}_{2}+\mu )={Q}_{3}\) and \(P=({\kappa }_{1}\psi +{\kappa }_{2}\varphi \alpha )\). In equation (7) one of the root −d _{2} is clearly negative, for the remaining the roots we use the following RouthHurtwiz conditions. c _{ i } > 0 for \(i=1,2,\ldots 5\) where
Here, all c _{ i } > 0 for \(i=1,2,\ldots 5\) and the parameters are positive. Thus, the given conditions in the theorem above ensure the local endemic stability of the endemic equilibrium of the model (1).
Global stability of Endemic Equilibrium
Here, we present the global stability of the system (1) at \({{\mathscr{K}}}_{1}\) by using the approach presented in refs 36,37,38. At the steady state the model (1) at \({{\mathscr{K}}}_{1}\) is
The above equations will be used in the following equations (10–15).
Theorem 0.5. If \({ {\mathcal R} }_{0} > 1\), then the endemic equilibrium \({{\mathscr{K}}}_{1}\) is globally asymptotically stable.
Proof: Consider the lyapunove function:
The derivative of L along the solutions of system (1) is
By direct calculations, we have that:
and
In equation (16),
One can see that the largest invariant subset, \(\dot{L}=0\) is \({{\mathscr{K}}}_{1}\). So, by LaSalle’s invariance Principle^{39}, \({{\mathscr{K}}}_{1}\) is globally asymptotically stable whenever \({ {\mathcal R} }_{0} > 1\).
Optimal Control Problem
Here, we incorporate control measures into the system (1) by including the density effects respectively to modifying the recruitment rate of the susceptible classes, that is, \({{\rm{\Lambda }}}_{H}\to {{\rm{\Lambda }}}_{H}+c{N}_{H}\) and \({{\rm{\Lambda }}}_{V}\to {{\rm{\Lambda }}}_{V}{N}_{V}\), where the constant c represent the density impact on recruitment rate^{40}. Our main goal is to investigate the best control strategies with minimum cost of implementation. The force of infections in pine trees population is reduce by (1 − u _{1}), where u _{1} measures the effort due to the precautionary measures, such as nematode treeinjection and vaccination. In order to prevent infection of the population of pine trees, a nematicideinjection preventative control is used. The deforestation of infected trees effort is denoted by the control variable u _{2}. The destruction and removal of infected pine trees can drastically reduce further infection. This will further ensure that eggs, larvae and pupa that are inhabiting the pines are destroyed. While the control variable u _{3} is the effort due to eradication through aerial insecticide spraying. Here, we consider that the death rate of the population of adult vector (beetle) increases as u _{3} increases. The factor (1 − u _{3}) measure the reduction in the population of adult beetles. We present the control model based on the assumptions and extensions made above,
subject to nonnegative initial conditions.
In system (17), we use three control variables \(u(t)=({u}_{1},{u}_{2},{u}_{3})\in {\mathscr{U}}\), which is define briefly above. The control variables \(u(t)=({u}_{1},{u}_{2},{u}_{3})\in {\mathscr{U}}\) associate to the variables S _{ H }, E _{ H }, I _{ H }, S _{ V }, E _{ V } and I _{ V } are bounded and measure with
Here, for the control problem we defined the objective functional as
subject to the control system (17). The constants in (19), C _{1}, C _{2}, B _{1}, B _{2} and B _{3} are the weight and balancing constants. These constants C _{1}, C _{2} and B _{1}, B _{2}, B _{3} measure respectively the relative cost of the interventions over the interval [0, T]. In order to find an optimal control, \({u}_{1}^{\ast },{u}_{2}^{\ast },{u}_{3}^{\ast }\), such that
where \({\mathscr{U}}\) is defined in (18) and subject to control system (17) with nonnegative initial conditions. Next, we use the well known Pontryagin’s Maximum Principle to find the solution to the control problem and derive its necessary conditions. Here, we show the existence for the control system (control problem). Let the variables S _{ H }(t), E _{ H }(t), I _{ H }(t), S _{ V }(t), E _{ V }(t) and I _{ V }(t) be represent the state variables with control associated control variables u _{1}(t), u _{2}(t) and u _{3}(t). For existence, we rewrite the control problem (17) in the following form:
where
and
and \({\mathscr{X}}^{\prime} \) represents the derivative with respect to time t. The system (21) is a nonlinear system with bounded coefficient. By setting
The term F \(({\mathscr{X}})\) on right hand side of (22) satisfies
where Z is the positive constant, Z = max(Z _{1}, Z _{2}, Z _{3}, Z _{4}, Z _{5}, Z _{6}) is independent of the state variables. Also we have
where Z = Z _{1} + Z _{2} + Z _{3} + Z _{4} + Z _{5} + Z _{6} + K < ∞. Thus, it follows that the function G \(({\mathscr{X}})\) is uniformly Lipschitz continuous. From the definition of control variables we can see that a solution of the system (17) exists^{41}.
Existence of the control problem
Following the result in ref. 42 we prove the existence of an optimal control problem. In control system (17), the equations are obviously bounded above and so the result in ref. 42 can be applied to the model (17), since the state variables and the set of control variables are nonempty, the set \({\mathscr{U}}\) of the control variables is closed and convex. The right hand side of each equation in control problem (17) is continuous, bounded above by a sum of the bounded control and state, and can be written as a linear function of u with coefficients depending on time and state and there exists constants l _{1}, l _{2} > 0 and m > 1 such that the integrand L(y, u, t) of the objective functional J is convex and satisfies
To satisfy the conditions mentioned above, we use the result given in ref. 43 to establish the existence of (17). The state variables and the set of control is obviously bounded and nonempty. The solutions are bounded, and convex. The system is bilinear in control variables (since the solutions are bounded). The last one can be verified as
where C _{1}, C _{2}, B _{1}, B _{2}, B _{3}, l _{1}, l _{2} > 0 and m > 1. So, we get
Theorem 0.6. The objective functional (19) and the control set (18) subject to control system (17) there exists an optimal control \({u}^{\ast }=({u}_{1}^{\ast },{u}_{2}^{\ast },{u}_{3}^{\ast })\) such that \(J({u}_{1}^{\ast },{u}_{2}^{\ast },{u}_{3}^{\ast })={{\rm{\min }}}_{{\mathscr{U}}}\,J({u}_{1},{u}_{2},{u}_{3})\).
In order to obtain the solution to the control problem, it is necessary to get the Lagrangian and Hamiltonian (17). Hence, the Lagrangian L for the control problem is expressed as
and for the Hamiltonian H, by choosing \(\underline{X}=({S}_{H},{E}_{H},{I}_{H},{S}_{V},{E}_{V},{I}_{V})\), \({\mathscr{U}}=({u}_{1},{u}_{2},{u}_{3})\) and λ = (λ _{1}, λ _{2}, λ _{3}, λ _{4}, λ _{5}, λ _{6}), we have:
Solution to the Optimal control problem
To obtain the optimal solution of the control system (17), we use the wellknown Pontryagin’s Maximum Principle^{44}:
Letting \({u}_{1}^{\ast }\), \({u}_{2}^{\ast }\) and \({u}_{3}^{\ast }\) represent the solutions to the control problem (17), then, there exists the adjoint variables λ _{ i } for i = 1, 2, 3, 4, 5, 6 satisfying the following conditions given below.
Here, by applying the necessary conditions to the Hamiltonian H, the following is obtained:
Theorem 0.7. The given optimal controls \({u}_{1}^{\ast },{u}_{2}^{\ast },{u}_{3}^{\ast }\) and the solutions \({S}_{H}^{\ast },{E}_{H}^{\ast },{I}_{H}^{\ast },{S}_{V}^{\ast },{E}_{V}^{\ast },{I}_{V}^{\ast }\) of the state system, there exists the adjoint variables λ _{ i } for i = 1, 2, 3, 4, 5, 6
with transversality conditions
Further, the controls, \({u}_{1}^{\ast },{u}_{2}^{\ast },{u}_{3}^{\ast }\) are given by
Proof: To find the adjoint system (28) and the transversality conditions (29), we use H (26) by setting \({S}_{H}={S}_{H}^{\ast }\), \({E}_{H}={E}_{H}^{\ast }\), \({I}_{H}={I}_{H}^{\ast }\), \({S}_{V}={S}_{V}^{\ast }\), \({E}_{V}={E}_{V}^{\ast }\) and \({I}_{V}={I}_{V}^{\ast }\) and taking the time derivative of H with respect to S _{ H }, E _{ H }, I _{ H }, S _{ V }, E _{ V }, I _{ V }, we obtain (28). To find the optimal control characterization (30), we use \(\frac{\partial H}{\partial {u}_{i}}=0\), for i = 1, 2, 3.
Numerical Simulations and Results
Here, we are investigating the numerical solutions of the system (17) and that of the model without control (1). For the solution of both systems (that is the control and without control) many method are available in the literature^{45, 46}. In this simulation, the cases without control population are labeled with bold line and the control cases by a dashed line. The constants (weight) values in the objective functional are C _{1} = 0.01, C _{2} = 0.0036, B _{1} = 0.02, B _{2} = 0.3, B _{3} = 3. The parameters values used in the optimal control solution is chosen in such a way, that the number of infected trees, exposed trees, susceptible vector, exposed vector and infected vector decreased while the population of susceptible trees increased. These are given in Table 1. We adopted different control strategies to minimize the infection in pine trees population by considering \(({u}_{1}=0,{u}_{2}\ne 0,{u}_{3}\ne 0)\), \(({u}_{1}\ne \mathrm{0,}{u}_{2}=\mathrm{0,}{u}_{3}\ne \mathrm{0)}\), \(({u}_{1}\ne \mathrm{0,}{u}_{2}\ne 0,{u}_{3}=\mathrm{0)}\), and \(({u}_{1}\ne \mathrm{0,}{u}_{2}\ne \mathrm{0,}{u}_{3}\ne \mathrm{0)}\).
Strategy 1: \(({u}_{1}=\mathrm{0,}{u}_{2}\ne \mathrm{0,}{u}_{3}\ne \mathrm{0)}\) In this strategy, we set the control variable u _{1} = 0 zero and the rest of the control variables are nonzero, this effect can bee seen in Fig. 2, (subfigures (a–c)) and Fig. 3 (subfigures, (a–d)). The population of susceptible trees increased while the exposed, infected trees and vector population decreased.
Strategy 2: \(({u}_{1}\ne \mathrm{0,}{u}_{2}=\mathrm{0,}{u}_{3}\ne \mathrm{0)}\) In this strategy, we set the control variable u _{2} = 0 and the rest of the control variables are nonzero, this impact can bee seen in Fig. 4, (subfigures (a–c)) and Fig. 5 (subfigures, (a–d)). The population of susceptible trees increased while the exposed, infected trees and vector population decreased. One can observe in Figs 2(c) and 4(c), that the infected trees population did not decrease compare to strategy 1.
Strategy 3: \(({u}_{1}\ne \mathrm{0,}{u}_{2}\ne \mathrm{0,}{u}_{3}=\mathrm{0)}\) In this strategy, we set the control variable u _{3} = 0 and the rest of the control variables are nonzero, this effect can bee seen in Fig. 6, (subfigures (a–c)) and Fig. 7 (subfigures, (a–d)). The population of susceptible trees increased sharply while the exposed, infected trees and vector population decreased. One can see that infected population significantly reduced, see Fig. 6(c).
Strategy 4: \(({u}_{1}\ne 0,{u}_{2}\ne 0,{u}_{3}\ne \mathrm{0)}\) In this strategy, we activate all the control. The figures for this strategy can be seen in Fig. 8, (subfigures (a–c)) and Fig. 9 (subfigures, (a–d)). The population of susceptible trees increased, while the exposed, infected trees and vector population decreased. Thus, by comparing all the control stratigies from 1–4, one can observe that the strategy 4 is the best strategy to control infections in the pine trees population.
Conclusion
We have considered a mathematical system of equation which describes the pine wilt disease. The analysis of the system is well established. The stability analysis of the disease free and endemic equilibria is presented on the basis of basic reproduction number \({ {\mathcal R} }_{0}\). Whenever the basic reproduction number \({ {\mathcal R} }_{0} < 1\), the disease free equilibrium is stable both locally and globally. If the basic reproduction number \({ {\mathcal R} }_{0} > 1\), then the endemic equilibrium equilibrium is stable both locally and globally. A bifurcation analysis of the model is presented and a control problem is formulated by using three control variables, two control for pine trees population and one control for vector population. The mathematical results for the control problem with different control strategies are presented and concluded that the strategy 4 is the best control strategy for cost minimization in the population of pine trees diseases. This work generalized the work presented in ref. 21 by incorporating the exploded class E _{ V } in the vector population. In ref. 21, the optimal control solution is investigated without defining the control strategies. In this new work, we suggests different control strategies for the eradication of infection in Pine trees. So, this work compared to the previous study is more helpful for the elimination of pine trees infections^{47}.
References
 1.
Zhao, B. G., Futai, K., Jack, R., Sutherland, J. R. & Takeuchi, Y. Pine Wilt Disease. Springer, New York (2008).
 2.
Kiyohara, T. & Tokushige, Y. Inoculation experiments of a nematode, Bursaphelenehus sp. onto pine trees. J. Jap. For. Soc. 53, 210–218 (1971).
 3.
Mamiya, Y. & Kiyohara, T. Description of Bursaphelenchus lignicolus n. sp. (Nematoda: Aphelenchoididae) from pine wood and histopathology of nematodeinfested trees. Nematolog. 18, 120–124 (1972).
 4.
Mamiya, Y. & Enda, N. Transmission of Bursaphelenchus lignicolus (Nematoda: Aphelenchoididae) by Monochamus alternatus (Coleoptera: Cerambycidae). Nematolog. 18, 159162 (1972).
 5.
Morimoto, K. & Iwasaki, A. Role of Monochamus alternatus(Coleoptera: Cerambycidae) as a vector of Bursaphelenchus lignicolus (Nematoda: Aphelenchoididae). J. Jpn. For. Soc. 54, 177–183 (1972).
 6.
Mamiya, Y. The pine wood nematode. In Plant and Insect Nematodes (ed. Nickle, W. R.) Marcel Dekker, New York, 589–626 (2002).
 7.
Rutherford, T. A., Mamiya, Y. & Webster, J. M. Nematodeinduced pine wilt disease: Factors influencing its occurrence and distribution. For. Sci. 36, 145–55 (1990).
 8.
GiblinDavis, R. M. Interactions of nematodes with insects, Nematode Interactions. (Chapman and Hall: London, UK, 1993; 302–344.
 9.
Kobayashi, T. Microorganisms associated with the pine wood nematode in Japan. In Pathogenicity of the Pine Wood Nematode (ed. Wingfield, M. J.) APS Press, St Paul. 91–101 (1987).
 10.
Unit, M. J. Nematodevector relationships in the pine wilt disease system. Jour. of Nema. 20, 227–35 (1988).
 11.
Kiyohara, T. & Tokushige, Y. Inoculation experiments of a nematode, Bursaphelenehus sp., onto pine trees. J. Jap. For. Soc. 53, 210–218 (1971).
 12.
Mamiya, Y. & Kiyohara, T. Description of Bursaphelenchus lignicolus n. sp. (Nematoda: Aphelenchoididae) by Monochamus alternatus (Colepotera:Cerambycidae). Nematolog. 18, 120–124 (1972).
 13.
Togashi, K. & Arakawa, Y. Horizontal transmission of Bursaphelenchus xylophilus between sexes of Monochamus alternatus. J. Nematol. 35, 7–16 (2003).
 14.
Arakawa, Y. & Togashi, K. Newly discovered transmission pathway of Bursaphelenchus xylophilus from males of the beetle Monochamus alternatus to Pinus via ovipostion wounds. J. Nematol. 34, 396–404 (2002).
 15.
Togashi, K. Spatial pattern of pine wilt disease caused by Bursaphelenchus xylophilus (Nematoda: Aphelenchoididae) within a Pinus thunbergii stand. Res. Popul. Ecol. 33, 245–256 (1991).
 16.
Kishi, Y. The Pinewood Nematode and the Japanese Pine Swayer: Forest Pests in JapanNo.1, Thomas Company Limited (1995).
 17.
Zhao, B. G., Futai, K., Sutherland, J. R. & Takeuchi, Y. Pine Wilt Disease, Springer (2008).
 18.
Mota, M. M., Futai, K. & Vieira, P. Pine wilt disease and the pinewood nematode, Bursaphelenchus xylophilus, in Integrated Management and Biocontrol of Vegetable and Grain Crops Nematodes, Ciancio, A. & Mukerji, K. G. Eds, pp. 253–274, Springer, Dordrecht, Te Netherlands (2009).
 19.
Evans, H., McNamara, D., Braasch, H., Chadouef, J. & Magnusson, C. Pest risk analysis (PRA) for the territories of the European Union (as PRA area) on Bursaphelenchus xylophilus and its vectors in the genus Monochamus. EPPO Bullet. 26, 199–249 (1996).
 20.
Lee, K. S. Stability Analysis and Optimal Control Strategy for Prevention of Pine Wilt Disease. Abstract and Applied Analysis 2014, 1–15 (2014).
 21.
Lee, K. S. & Lashari, A. A. Stability analysis and optimal control of pine wilt disease with horizontal transmission in vector population. Applied Mathematics and Computation. 226, 793–804 (2014).
 22.
Ozair, M. Analysis of Pine Wilt Disease Model with Nonlinear Incidence and Horizontal Transmission. Jour. Appl. Math. 2014, 1–9 (2014).
 23.
Lee, K. S. & Kim, D. Global dynamics of a pine wilt disease transmission model with nonlinear incidence rates. Appl. Math. Model. 37, 4561–4569 (2013).
 24.
GuiQuan, S. Pattern formation of an epidemic model with diffusion. Nonlin. Dyn. 69, 1097–1104 (2012).
 25.
GuiQuan, S. Mathematical modeling of population dynamics with Allee effect. Nonlin. Dyn. 85, 1–12 (2016).
 26.
GuiQuan, S., ZeYan, W., Zhen, W. & Zhen, J. Influence of isolation degree of spatial patterns on persistence of populations. Nonlin. Dyn. 83, 811–819 (2016).
 27.
GuiQuan, S., SuLan, W., Qian, R., Zhen, J. & YongPing, W. Effects of time delay and space on herbivore dynamics: linking inducible defenses of plants to herbivore outbreak. Scient. Rep. 2015, 1–10 (2015).
 28.
Okosun, K. O. & Smith, R. optimal control analysis of malariaschistosomiasis coinfection dynamics. Math. Biosci. 35, 250–270 (2016).
 29.
Okosun, K. O. & Makinde, O. D. A coinfection model of malaria and cholera diseases with optimal control. Math. Biosc. 231, 234–255 (2014).
 30.
Khan, M. A. et al. Prevention of Leptospirosis infected vector and human population by multiple control variables. Abs. App. Anal. 2014, 1–10 (2014).
 31.
Farasat, S. S. et al. Optimal Control of an Epidemic Model of Leptospirosis with Nonlinear Saturated Incidences. Ann. Rev. Res. Bio. 4, 1–16 (2014).
 32.
Driessche, P. V. D. & Watmough, J. Reproduction numbers and subthreshold endemic equilibria for compartmental models of disease transmission. Math. Biosci. 180, 29–48 (2002).
 33.
Diekmann, O., Heesterbeek, J. A. P. & Roberts, M. G. The construction of nextgeneration matrices for compartmental epidemic models. J. R. Soc. Inter. 7, 873–885 (2010).
 34.
Smith, H. L. & Waltman, P. The Theory of the Chemostat, Cambridge University Press (1995).
 35.
CastilloChavez, C. & Song, B. Dynamical models of tuberculosis and their applications. Math Biosci. Eng. 1, 361–404 (2004).
 36.
GuiQuan, S. et al. Transmission Dynamics of Cholera: Mathematical Modelling and Control Strategies. Comm. Nonl. Sci. Num. Sim., doi:10.1016/j.cnsns.2016.10.007. (2016).
 37.
MingTao, L., Zhen, J., GuiQuan, S. & Juan, Z. Modeling direct and indirect disease transmission using multigroup mode. J. Math. Anal. Appl. 1–23, http://dx.doi.org/10.1016/j.jmaa.2016.09.043 (2016).
 38.
Guo, H., Li, M. Y. & Shuai, Z. A graphtheoretic approach to the method of global Lyapunov functions. Proc. Am. Math. Soc. 136, 2793–2802 (2008).
 39.
Lasalle, J. P. Stability theroy for difference equations. In: Hale, J. K. (Ed.) Studies in Ordinary Differential Equations. Washington DC: Math. Assoc. of America (1977).
 40.
Blayneh, K. W., Gumel, A. B., Lenhart, S. & Clayton, T. Backward bifurcation and optimal control in transmission dynamics of West Nile virus. Bull. Math. Biol. 72, 1006–1028 (2010).
 41.
Birkhoff, G. & Rota, G. Ordinary Differential Equations, John Wiley & Sons, New York, NY, USA, 4th edition (1989).
 42.
Fleming, W. H. & Rishel, R. W. Deterministic and Stochastic Optimal Control, Springer Verlag, New York (1975).
 43.
Lukes, D. L. Differential equations: Classical to Controlled, Mathematics in Science and Engineering. (Academic Press: New York, 1982).
 44.
Lenhart, S. & Workman, J. T. Optimal control applied to biological models: Mathematical and Computational Biology Series. Chapman & Hall/CRC Press, London/Boca Raton (2007).
 45.
Khan, Y., VaquezLeal, H. & Faraz, V. An auxiliary parameter method using Adomian polynomials and Laplace transformation for nonlinear differential equations. Appl. Math. Model. 37, 2702–2708 (2013).
 46.
Khan, Y., Hector, V. & Qingbiao, W. An efficient iterated method for mathematical biology model. Neu. Comp. Appl. 23, 677–682 (2013).
 47.
Wingfeld, M. J. & Blanchette, R. B. The pinewood nematode, Bursaphelenchus xylophilus, in Minnesota and Wisconsin: insect associates and transmission studies. Can. Jour. For. Res. 13, 1068–1076 (1983).
 48.
Kobayashi, F., Yamane, A. & Ikeda, T. Te Japanese pine sawyer beetle as the vector of pine wilt disease. Ann. Rev. Ent. 29, 115–135 (1984).
 49.
Kim, D. S. et al. Movement of Monochamus altermatushope (Coleoptera: Cerambycidae) adults among young black pine trees in a screen cage. Kor. Jour. Appl. Ent. 50, 1–6 (2011).
 50.
Monserud, R. A. & Sterba, H. Modeling individual tree mortality for Austrian forest species. For. Ecol. Manag. 113, 109–123 (1999).
 51.
Kim, D. S. et al. Escape of pine wood Nematode, Bursaphelenchus xylophilus, through feeding and oviposition behavior of Monochamus alternatus and M. saltuarius (Coleoptera: Cerambycidae) adults. Kor. Jour. Appl. Ent. 48, 527–533 (2009).
 52.
Togashi, K. Population density of Monochamus alternatus adults (Coleoptera: Cerambycidae) and incidence of pine wilt disease caused by Bursaphelenchus xylophilus (Nematoda: Aphelenchoididae). Res. Pop. Ecol. 30, 177–192 (1988).
Acknowledgements
There is no funding source for this study.
Author information
Affiliations
Contributions
M.A.K. and K.A. formulate the model and obtained the mathematical results. E.B. and K.O. find the simulation of the model and S.I. and A.K. prepared the literature survey and references section. All the authors approved the final draft of the manuscript.
Corresponding author
Ethics declarations
Competing Interests
The authors declare that they have no competing interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Khan, M.A., Ali, K., Bonyah, E. et al. Mathematical modeling and stability analysis of Pine Wilt Disease with optimal control. Sci Rep 7, 3115 (2017). https://doi.org/10.1038/s4159801703179w
Received:
Accepted:
Published:
Further reading

An SIER model to estimate optimal transmission rate and initial parameters of COVD19 dynamic in Sri Lanka
Alexandria Engineering Journal (2021)

Modelling the dynamics of Pine Wilt Disease with asymptomatic carriers and optimal control
Scientific Reports (2020)

Optimization of the Controls against the Spread of Zika Virus in Populations
Computation (2020)

Spatiotemporal numerical modeling of reactiondiffusion measles epidemic system
Chaos: An Interdisciplinary Journal of Nonlinear Science (2019)

Optimal control for a fractional tuberculosis infection model including the impact of diabetes and resistant strains
Journal of Advanced Research (2019)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.