Skip to main content

Theory and Modern Applications

Dynamical features of pine wilt disease through stability, sensitivity and optimal control


This work investigates the dissemination mechanism of pine wilt disease. The basic reproduction number is computed explicitly, and an ultimate invariable level of contagious hosts and vectors, without and with disease, is discussed by using this number. Highly effective techniques, Lyapunov functional and graph theoretic, are utilised to obtain the ultimate constant level of the whole population. The idea of complete disease eradication and reduction of endemic level is explored through the utilisation of two efficient methods. Using sensitivity analysis approach, necessary control measures are suggested to overcome the disease. Using the literature data, the robustness of control strategies is shown graphically.

1 Introduction

Pine trees are evergreen conifers. These are some of the famous plants around the world because of trade of timber (Fig. 1). Manufacturing of turpentine, pulp rosin and paper explores the value of these trees. Some species have seeds (called pine nuts) that are used for cooking and baking.

Figure 1
figure 1

Types of pine trees

Pine wilt disease (PWD), the disease of pines, is so nasty that after getting the disease the infected tree becomes dead within a few weeks to a few months. The usual symptom is needles’ discolouration. Their colour first changes to greyish green and finally it turns out to be totally brown. Infected pine trees cease oleoresin after succumbing to the disease (Fig. 2). It was reported that PWD first occurred in Japan in the early twentieth century [1]. It was observed in the Japanese prefecture Hyogo in 1921. In 1930, this disease appeared in distant places of Kyushu. This malady ultimately spread to the shore of Seto Inland Sea [2].

Figure 2
figure 2

Healthy and infected pine trees

Bursaphelenchus xylophilus, which has an international common name “pine wood nematode (PWN)”, is the casual pathogen of this malady (Fig. 3). This nematode exists in the upper portions of pine trees. Disturbed water conditions, through small air pockets, are created by Bursaphelenchus xylophilus in the xylem of pine tree, which prevents water movement. As a result, the tree becomes dead soon [3]. After more than 60 years, this pathogen has been discovered. It was first reported as the casual agent in Japanese native pines in 1971 [4]. Numerous genetic varieties of PWN were studied, and it was concluded that it came to Japan from the United States. From this place, it spread to China, Portugal, Korea and Spain [5].

Figure 3
figure 3

Picture of nematode separately and in pine wood

PWN is not capable of moving itself from one tree to another. Bark beetles (pine sawyer) serve as the transporting agent (Fig. 4). Monochamus alternatus, commonly known as the Japanese pine sawyer, is a species of beetles that belong to the family of Cerambycidae. These are the vectors for the transmission of PWN. When nematode approaches the dispersal stage, it attaches to the insects’ respiratory system, and when adult beetles feed on healthy pine trees, this Bursaphelenchus xylophilus is transferred into the tree.

Figure 4
figure 4

Bark beetle, transporting agent of nematode

Transmission mechanism of PWD occurs in three ways: First, when infected pine sawyers fly and start maturation feeding. These infected pine sawyers feed on the twigs of a pine tree, and during this process the nematode is transferred into the tree. It is called the primary transmission. Second transmission occurs during the egg laying activities of the pine sawyer on a freshly cut, dying or dead pine tree [6]. Third transmission, which may be called horizontal transmission, occurs during the mating process of the pine sawyer [7]. The PWD cycle can be explained through Fig. 5.

Figure 5
figure 5

Transmission of PWD

Modelling is the branch of science in which we use inspirational approaches of applied mathematics equipped with inspiration. In order to analyse the dynamics of an ecosystem and quantitative prediction, mathematical treatment is an indispensable tool. Mathematical modelling has become an essential tool which enables one to comprehend the causes, patterns and effects of the disease. Mathematicians, through investigations and prediction of an epidemic, provide an invaluable assistance to health care agencies who attempt and allocate resources to control an infectious disease or epidemic in the community.

Various mathematical models have been proposed for investigation of Bursaphelenchus xylophilus transmission. A simple deterministic model for wilt disease of pines has been presented by Yoshimura et al. [8]. The model demonstrates disease epidemic through three important factors, namely, initial pine density, beetles’ density and the capability of elimination of the pine sawyer. Takasu et al. [9] presented a mathematical model based on integro-change equation to explain the range expansion of PWD. Mechanistic contact of beetles and pine trees is supposed in [10]. In this article, it was shown that the Alee effect appears from the reality that the beetles have contact with the pine tree at least twice to reproduce successfully. Shi and Song [11] presented the mathematical model of PWD and analysed it qualitatively by considering two types of transmissions: maturation feeding of infectious beetles on healthy pine trees and oviposition of the pine sawyer on dying or dead trees due to the pine wilt infection. However, another transmission that happens through copulation of pine sawyers, as suggested by Togashi and Arakawa, has not been discussed in their work [12]. Other mathematical models based on ordinary and fractional derivatives are comprehensively explained in [1325].

This work is based on the reconsideration of model studied in [26] with the addition of the following distinguished aspects:

  • The exploitation rate of tainted pines is higher than all other compartments containing pine trees.

  • Transmission of nematode in vector population occurs during copulation.

  • Formulation of optimal control problem through sensitivity analysis of the threshold parameter, pine trees having nematodes and beetles having nematodes.

This work has three fold intentions:

  1. 1.

    To reveal the stability of equilibria.

  2. 2.

    To recognise those factors, for basic reproduction number and infectious compartments, that have high impact.

  3. 3.

    To formulate the optimal control techniques by making use of sensitivity analysis.

2 Model formulation and flow diagram

We construct the mathematical model by considering two populations, host and vector. The host population consists of susceptible, exposed, asymptomatic and infectious carriers represented by \(S_{h}(t)\), \(E_{h}(t)\), \(A_{h}(t)\) and \(I_{h}(t)\), respectively. There are two compartments of vector population, susceptible and infectious vectors. These are denoted by \(S_{v}(t)\) and \(I_{v}(t)\), respectively. Transmission of nematode among vectors and the pine sawyer arises during maturation feeding of the pine sawyer and oviposition of these vectors. However, the pine sawyer may also attain infection through copulation. Suppose that \(N_{h}\) and \(N_{v}\) denote the whole host and vector population at any time t, respectively. So, \(N_{h}= S_{h}+E_{h}+A_{h}+I_{h}\) and \(N_{v}=S_{v}+I_{v}\).

Suppose that the planting rate of healthy pines is \(\lambda _{h}\) and the recruitment rate of a mature pine sawyer is \(\lambda _{v}\). The exploitation rate of pine trees (except infectious pines, which is denoted by δ) is \(\mu _{h}\) and the fatality rate of vectors is \(\mu _{v}\). The transferring rate of nematodes through an infectious pine sawyer during maturation feeding is α. The mean number of daily contacts of fully developed infectious vectors with the susceptible pines is ϕ. Suppose that the pine sawyer makes a mean number of ψ contacts with the tree for reproducing themselves and β is the transmission rate of nematode through oviposition. The parameter θ shows the probability that a dead tree was not infected with the nematode and ceases oleoresin due to natural causes. Let γ denote the emergence rate of an infectious pine sawyer from an expired tree. Exposed trees move to either the infectious or the asymptomatic carrier class. These trees move with the per capita rate k, the fraction ρ (\(0<\rho <1\)) of them move to the infectious compartment.

We design a system of nonlinear ODEs, based on the above stated assumptions, as follows:

$$\begin{aligned}& \frac{dS_{h}}{dt} = \lambda _{h}-\alpha \phi S_{h}I_{v}- \beta \psi \theta S_{h}I_{v}-\mu _{h}S_{h}, \\& \frac{dE_{h}}{dt} = \alpha \phi S_{h}I_{v}- (\mu _{h+k} ) E_{h}, \\& \frac{dA_{h}}{dt} = ( 1-\rho )k E_{h}-\mu _{h}A_{h}, \\& \frac{dI_{h}}{dt} = k\rho E_{h}+\beta \psi \theta S_{h}I_{v}- \delta I_{h}, \\& \frac{dS_{v}}{dt} = \lambda _{v}-\gamma I_{h}S_{v}- \beta _{1}S_{v}I_{v}- \mu _{v}S_{v}, \\& \frac{dI_{v}}{dt} = \gamma I_{h}S_{v}+\beta _{1}S_{v}I_{v}- \mu _{v}I_{v}. \end{aligned}$$

Figure 6 shows the flow sheet of the model. All the above variables will be nonnegative, because we are dealing with the population, and the whole populace of both species has the following form of differential equations:

$$\begin{aligned}& \frac{d{N_{h}}}{d\mathbf{t}} = \lambda _{h}-\mu _{h}(S_{h}+E_{h}+A_{h})- \delta I_{h}, \\& \frac{d{N_{v}}}{d\mathbf{t}} = \lambda _{v}-\mu _{v}N_{v}. \end{aligned}$$

Obviously, \(\Delta = \{(S_{h},E_{h},A_{h},I_{h},S_{v},I_{v})\in R_{+}^{6}| \frac{\lambda _{h}}{\delta }\leq N_{h}\leq \frac{\lambda _{h}}{\mu _{h}}, N_{h}\leq \frac{\lambda _{v}}{\mu _{v}}\}\) is invariant positively. The global attractor for (1) exists in the set Δ, and the system is dissipative.

Figure 6
figure 6

Flow diagram of model (1)

3 Equilibria and basic reproduction number

Two kinds of equilibria, disease free equilibrium (DFE) and endemic equilibrium (EE), exist for the above presented model. We denote DFE by \(E_{o}\) and EE by \(E^{*}\), respectively. Disease free equilibrium can be easily computed by putting all the diseased classes and right-hand sides of each class of system (1) equal to zero. We get \(E_{o}= ( \frac{\lambda _{h}}{\mu _{h}},0,0,0,\frac{\lambda _{v}}{\mu _{v}},0 )\). The whole dynamics of the disease is based on the threshold parameter known as the basic reproduction number. It identifies the status of the disease, i.e. whether the disease is spreading in the community or not. It is termed “the mean number of secondary infections brought about by an infectious individual during its complete course of infection”. We find the expression of basic reproduction number with the help of the next generation matrix method.

Let \(\mathbf{x}=(\mathbf{y}_{1}, \mathbf{y}_{2}, \ldots, \mathbf{y}_{n})^{T} \in R^{n}\) and \(\mathbf{y}=(\mathbf{z}_{1},\mathbf{z}_{2},\ldots,\mathbf{z}_{m})^{T} \in R^{m}\) denote the population in the infected and non-infected classes, respectively. \(\check{F}=(\check{F}_{1}, \check{F}_{2}, \ldots, \check{F}_{n})^{T}\) and \(\check{V}=(\check{V}_{1}, \check{V}_{2}, \ldots, \check{V}_{n})^{T}\), where \(\check{F}_{l}\) shows a new infection rate in the lth infected compartment, \(\check{V}_{l}\) symbolises the transition terms, for example, recovery and fatality in the lth infected class [27]. The dominant eigenvalue of the matrix \(\hat{F}\hat{V}^{-1}\) with \(\tilde{F}= [ \frac{\partial (\check{F}_{l}(E_{\circ }))}{\partial (\mathbf{y}_{j})} ]\) and \(\tilde{V}= [ \frac{\partial (\check{V}_{l}(E_{\circ }))}{\partial (\mathbf{y}_{j})} ]\) is called the basic reproduction number. Contaminated compartments are \(E_{h}\), \(A_{h}\), \(I_{h}\) and \(I_{v}\). Therefore

$$\begin{aligned} \begin{bmatrix} \check{F}_{1} \\ \check{F}_{2} \\ \check{F}_{3} \\ \check{F}_{4} \end{bmatrix} = \begin{bmatrix} \alpha \phi S_{h}I_{v} \\ 0 \\ \beta \psi \theta S_{h}I_{v} \\ \gamma I_{h}S_{v}+\beta _{1}S_{v}I_{v} \end{bmatrix},\qquad \begin{bmatrix} \check{{V}_{1}} \\ \check{{V}_{2}} \\ \check{{V}_{3}} \\ \check{{V}_{4}} \end{bmatrix} = \begin{bmatrix} ( k+\mu _{h} ) E_{h} \\ \mu _{h}A_{h}-k ( 1-\rho ) E_{h} \\ \delta I_{h}-k\rho E_{h} \\ \mu _{v}I_{v} \end{bmatrix}. \end{aligned}$$


$$\begin{aligned} \tilde{F}= { \begin{pmatrix} 0 & 0 & 0 & \alpha \phi \frac{\lambda _{h}}{\mu _{h}} \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & \beta \psi \theta \frac{\lambda _{h}}{\mu _{h}} \\ 0 & 0 & \gamma \frac{\lambda _{v}}{\mu _{v}} & \beta _{1} \frac{\lambda _{v}}{\mu _{v}} \end{pmatrix} },\qquad \tilde{V}={ \begin{pmatrix} ( k+\mu _{h} ) & 0 & 0 & 0 \\ -k ( 1-\rho ) & \mu _{h} & 0 & 0 \\ -k\rho & 0 & \delta & 0 \\ 0 & 0 & 0 & \mu _{v} \end{pmatrix} }, \end{aligned}$$

which gives

$$\begin{aligned} \tilde{F}\tilde{V}^{-1}= \begin{bmatrix} 0 & 0 & 0 & \alpha \phi \frac{\lambda _{h}}{\mu _{h}\mu _{v}} \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 0 & \theta \beta \psi \frac{\lambda _{h}}{\mu _{h}\mu _{v}} \\ k\gamma \rho \frac{\lambda _{v}}{\mu _{v} ( k\delta +\delta \mu _{h} ) } & 0 & \frac{\gamma }{\delta }\frac{\lambda _{v}}{\mu _{v}} & \beta _{1}\frac{\lambda _{v}}{\mu _{v}^{2}} \end{bmatrix}. \end{aligned}$$

As \(R_{\circ }\) is the dominant eigenvalue of \(\hat{F}\hat{V}^{-1}\), hence

$$\begin{aligned} {R_{\circ }}= \frac{\frac{\beta _{1}\lambda _{v}}{\mu _{v}^{2}}+\sqrt{ ( \frac{\beta _{1}\lambda _{v}}{\mu _{v}^{2}} ) ^{2}+4\lambda _{h}\lambda _{v}\gamma ( \frac{\theta \beta \psi }{\delta \mu _{h}\mu _{v}^{2}}+\frac{k\alpha \phi \rho }{\delta \mu _{h}\mu _{v}^{2} ( k+\mu _{h} ) } ) }}{2}. \end{aligned}$$

Suppose that \(E^{*}=(S_{h}^{*}, E_{h}^{*}, A_{h}^{*}, I_{h}^{*}, S_{v}^{*}, I_{v}^{*})\) is the endemic equilibrium for the reproduction number greater than one and

$$\begin{aligned}& S_{h}^{\ast } = \frac{\lambda _{h}}{I_{v}^{\ast } ( \alpha \phi +\beta \psi \theta ) +\mu _{h}}, \\& E_{h}^{\ast } = \frac{\alpha \phi \lambda _{h}I_{v}^{\ast }}{ ( I_{v}^{\ast } ( \alpha \phi +\beta \psi \theta ) +\mu _{h} ) ( k+\mu _{h} ) }, \\& A_{h}^{\ast } = \frac{k ( 1-\rho ) \alpha \phi \lambda _{h}I_{v}^{\ast }}{\mu _{h} ( I_{v}^{\ast } ( \alpha \phi +\beta \psi \theta ) +\mu _{h} ) ( k+\mu _{h} ) }, \\& I_{h}^{\ast } = \frac{\lambda _{h}}{\delta }\biggl( \frac{\kappa \rho \alpha \phi +\beta \psi \theta (\kappa +\mu _{h})}{(\kappa +\mu _{h})(I_{v}^{\ast }(\alpha \phi +\beta \psi \theta )+\mu _{h})} \biggr)I_{v}^{ \ast }, \\& S_{v}^{\ast } = \frac{\lambda _{v}}{\gamma I_{h}^{\ast }+\beta _{1}I_{v}^{\ast }+\mu _{v}}, \end{aligned}$$

and we can get the value \(I_{v}^{\ast }\) by solving the following second degree equation:

$$\begin{aligned} AI_{v}^{\ast ^{2}}+BI_{v}^{\ast }+C=0, \end{aligned}$$


$$\begin{aligned}& A = \beta _{1}\mu _{v} ( k+\mu _{h} ) ( \alpha \phi + \beta \psi \theta ) , \\& \begin{aligned} B &= \gamma \mu _{v}\frac{\lambda _{h}}{\delta }\bigl( (\kappa +\mu _{h}+ \kappa \rho \alpha \phi )\beta \psi \theta \bigr)+\beta _{1}\mu _{v}\mu _{h}( \kappa +\mu _{h})\\ &\quad {}+(\kappa +\mu _{h}) (\alpha \phi +\beta \psi \theta ) \bigl( \mu _{v}^{2}-\beta _{1}\lambda _{v}\bigr), \end{aligned} \\& C = \mu _{h}(\kappa +\mu _{h})\mu _{v}^{2} \biggl[1-\biggl\{ \frac{\beta _{1}\lambda _{v}}{\mu _{v}^{2}}+\gamma \lambda _{v}\lambda _{h}\biggl( \frac{\kappa \rho \alpha \phi }{\delta \mu _{v}^{2}\mu _{h}(\kappa +\mu _{h})}+ \frac{\beta \psi \theta }{\delta \mu _{v}^{2}\mu _{h}}\biggr)\biggr\} \biggr]. \end{aligned}$$

The changes in signs of coefficients A, B and C tell us about the zeros of the above quadratic equation. We can see that A is always positive and \(C<0\) if and only if \(R_{\circ }>1\). Paying no attention to the sign of B, we conclude that there is a unique positive value of \(I_{v}^{\ast }\) because there is only one sign change for \(R_{\circ }>1\). Hence the unique EE \(E^{*}=(S_{h}^{*}, E_{h}^{*}, A_{h}^{*}, I_{h}^{*}, S_{v}^{*}, I_{v}^{*})\) of model (1) exists for \(R_{\circ }>1\).

4 Global behaviour of equilibria

We explore the global behaviour of equilibria by using Lyapunov functional theory and graph theory. The comprehensive procedure of global stability using graph theory has been omitted here. We recommend the keen reader to go through [28].

Theorem 1

The set of equations (1) expresses the global asymptotic stability about \(E_{o}\) inside the positively unvarying set Δ, whenever \(R_{\circ }\leq 1\).


Suppose that we have the Lyapunov function

$$\begin{aligned} L= \frac{k\rho \gamma \lambda _{v}}{\delta \mu _{v} ( \mu _{h}+k ) }E_{h}+ \frac{\gamma \lambda _{v}}{\delta \mu _{v}} I_{h}+I_{v}. \end{aligned}$$

Differentiation of L w.r.t time t leads to

$$\begin{aligned} L^{\prime } =&\frac{k\rho \gamma \lambda _{v}}{\delta \mu _{v} ( \mu _{h}+k ) }E_{h}^{ \prime }+ \frac{\gamma \lambda _{v}}{\delta \mu _{v}}I_{h}^{\prime }+I_{v}^{\prime } \\ =& \frac{k\rho \gamma \lambda _{v}}{\delta \mu _{v} ( \mu _{h}+k ) } \bigl( \alpha \phi S_{h}I_{v}- ( k+ \mu _{h} ) E_{h} \bigr) +\frac{\gamma \lambda _{v}}{\delta \mu _{v}} ( k\rho E_{h}+\beta \psi \theta S_{h}I_{v}-\delta I_{h} )\\ &{} + ( \gamma I_{h}S_{v}+\beta _{1}S_{v}I_{v}-\mu _{v}I_{v} ) \\ \leq & \mu _{v} \biggl( \alpha \phi \frac{\lambda _{h}}{\mu _{h}\mu _{v}} \frac{k\rho \gamma \lambda _{v}}{\delta \mu _{v} ( \mu _{h}+k ) }+ \beta \psi \theta \frac{\lambda _{h}}{\mu _{h}\mu _{v}} \frac{\gamma \lambda _{v}}{\delta \mu _{v}}+a_{3} \beta _{1} \frac{\lambda _{v}}{\mu _{v}\mu _{v}}-1 \biggr) I_{v} \\ &{}+ \biggl( \frac{\gamma \lambda _{v}}{\delta \mu _{v}}k\rho - \frac{k\rho \gamma \lambda _{v}}{\delta \mu _{v} ( \mu _{h}+k ) } ( k+\mu _{h} ) \biggr) E_{h} + \biggl( \gamma \frac{\lambda _{v}}{\mu _{v}}- \frac{\gamma \lambda _{v}}{\delta \mu _{v}}\delta \biggr) I_{h} \\ \leq & \mu _{v} \biggl( \frac{\alpha \phi k\rho \gamma \lambda _{v}\lambda _{h}}{\delta \mu _{h}\mu _{v}^{2} ( \mu _{h}+k ) }+\frac{\beta \psi \theta \gamma \lambda _{v}\lambda _{h}}{\delta \mu _{h}\mu _{v}^{2}}+ \beta _{1}\frac{\lambda _{v}}{\mu _{v}^{2}}-1 \biggr) I_{v}. \end{aligned}$$

It can be easily observed that \(L^{\prime }\leq 0\) when \(R_{\circ }\leq 1\) and \(L ^{\prime }=0\) for \(E_{h}=I_{h}=I_{v}=0\). Thus, the maximal dense unvarying set, for a system of equations (1), contains a single component which is \({E_{\circ }}\). With the help of Lasalle’s invariance principle [29], we can say that \(E_{o}\) is globally asymptotically stable in Δ. □

Theorem 2

The endemic equilibrium point \((E^{*})\) exhibits global asymptotic stability in Δ for \(R_{\circ }>1\).


Suppose that

$$\begin{aligned}& \tilde{D}_{1} = S_{h}-S_{h}^{\ast } \ln \frac{S_{h}}{S_{h}^{\ast }}-S_{h}^{\ast }, \\& \tilde{D}_{2} = E_{h}-E_{h}^{\ast }\ln \frac{E_{h}}{E_{h}^{\ast }}-E_{h}^{ \ast }, \\& \tilde{D}_{3} = A_{h}-A_{h}^{\ast }\ln \frac{A_{h}}{A_{h}^{\ast }}-A_{h}^{ \ast }, \\& \tilde{D}_{4} = I_{h}-I_{h}^{\ast }\ln \frac{I_{h}}{I_{h}^{\ast }}-I_{h}^{ \ast }, \\& \tilde{D}_{5} = S_{v}-S_{h}^{\ast }\ln \frac{S_{v}}{S_{v}^{\ast }}-S_{v}^{ \ast }, \\& \tilde{D}_{6} = I_{v}-I_{v}^{\ast }\ln \frac{I_{v}}{I_{v}^{\ast }}-I_{v}^{ \ast }. \end{aligned}$$

Taking the rate of change of above \(D's\) w.r.t t and by making use of the result \(1+\ln x-x\leq 0\) for positive x, the derivatives can be expressed as follows:

$$\begin{aligned} \tilde{D}_{1}^{\prime } =& \biggl( 1-\frac{S_{h}^{\ast }}{S_{h}} \biggr) S_{h}^{\prime } \\ =& \biggl( 1-\frac{S_{h}^{\ast }}{S_{h}} \biggr) ( \lambda _{h}- \alpha \phi S_{h}I_{v}-\beta \psi \theta S_{h}I_{v}- \mu _{h}S_{h} ) \\ =& \biggl( 1-\frac{S_{h}^{\ast }}{S_{h}} \biggr) \bigl( \alpha \phi S_{h}^{ \ast }I_{v}^{\ast }+ \beta \psi \theta S_{h}^{\ast }I_{v}^{\ast }+\mu _{h}S_{h}^{ \ast }-\alpha \phi S_{h}I_{v}- \beta \psi \theta S_{h}I_{v}-\mu _{h}S_{h} \bigr) \\ =& \biggl( 1-\frac{S_{h}^{\ast }}{S_{h}} \biggr) \bigl( \alpha \phi S_{h}^{ \ast }I_{v}^{\ast }- \alpha \phi S_{h}I_{v} \bigr) + \biggl( 1-\frac{S_{h}^{\ast }}{S_{h}} \biggr) \bigl( \beta \psi \theta S_{h}^{ \ast }I_{v}^{\ast }- \beta \psi \theta S_{h}I_{v} \bigr) \\ &{}+ \biggl( 1- \frac{S_{h}^{\ast }}{S_{h}} \biggr) \bigl( \mu _{h}S_{h}^{\ast }- \mu _{h}S_{h} \bigr) \\ =&\alpha \phi S_{h}^{\ast }I_{v}^{\ast } \biggl( 1- \frac{S_{h}^{\ast }}{S_{h}} \biggr) \biggl( 1- \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }} \biggr) +\beta \psi \theta S_{h}^{\ast }I_{v}^{\ast } \biggl( 1-\frac{S_{h}^{\ast }}{S_{h}} \biggr) \biggl( 1- \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }} \biggr) \\ &{}+ \mu _{h}S_{h}^{ \ast } \biggl( 1-\frac{S_{h}^{\ast }}{S_{h}} \biggr) \biggl( 1-\frac{S_{h}}{S_{h}^{\ast }} \biggr) \\ =&\alpha \phi S_{h}^{\ast }I_{v}^{\ast } \biggl( 1- \frac{S_{h}^{\ast }}{S_{h}}-\frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }}+ \frac{I_{v}}{I_{v}^{\ast }} \biggr) + \beta \psi \theta S_{h}^{\ast }I_{v}^{ \ast } \biggl( 1-\frac{S_{h}^{\ast }}{S_{h}}- \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }}+ \frac{I_{v}}{I_{v}^{\ast }} \biggr)\\ &{} -\mu _{h}S_{h}^{\ast }\frac{ ( S_{h}-S_{h}^{\ast } ) ^{2}}{S_{h}S_{h}^{\ast }} \\ \leq & \alpha \phi S_{h}^{\ast }I_{v}^{\ast } \biggl( \ln \frac{S_{h}}{S_{h}^{\ast }}+\ln \frac{I_{v}}{I_{v}^{\ast }}-\ln \frac{I_{v}}{I_{v}^{\ast }}- \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }}+ \frac{I_{v}}{I_{v}^{\ast }} \biggr) \\ &{}+\beta \psi \theta S_{h}^{\ast }I_{v}^{\ast } \biggl( \ln \frac{S_{h}}{S_{h}^{\ast }}+\ln \frac{I_{v}}{I_{v}^{\ast }}-\ln \frac{I_{v}}{I_{v}^{\ast }}- \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }}+ \frac{I_{v}}{I_{v}^{\ast }} \biggr) \\ \leq & \alpha \phi S_{h}^{\ast }I_{v}^{\ast } \biggl( \ln \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }}- \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }}-\ln \frac{I_{v}}{I_{v}^{\ast }}+ \frac{I_{v}}{I_{v}^{\ast }} \biggr) \\ &{}+\beta \psi \theta S_{h}^{\ast }I_{v}^{\ast } \biggl( \ln \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }}- \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }}-\ln \frac{I_{v}}{I_{v}^{\ast }}+ \frac{I_{v}}{I_{v}^{\ast }} \biggr) \\ :=&a_{14}\mathbf{G}_{14}+a_{16} \mathbf{G}_{16}, \end{aligned}$$

and similarly,

$$\begin{aligned}& \tilde{D}_{2}^{\prime }\leq \alpha \phi S_{h}^{\ast }I_{v}^{ \ast } \biggl( \ln \frac{S_{h}I_{v}E_{h}^{\ast }}{S_{h}^{\ast }I_{v}^{\ast }E_{h}}- \frac{S_{h}I_{v}E_{h}^{\ast }}{S_{h}^{\ast }I_{v}^{\ast }E_{h}}-\ln \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }}+ \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }} \biggr):= a_{21} \mathbf{G}_{21}, \\& \tilde{D}_{3}^{\prime }\leq \mu _{h}A_{h}^{\ast } \biggl( \ln \frac{A_{h}^{\ast }}{A_{h}}\frac{E_{h}}{E_{h}^{\ast }}- \frac{A_{h}^{\ast }}{A_{h}}\frac{E_{h}}{E_{h}^{\ast }}-\ln \frac{E_{h}}{E_{h}^{\ast }}+ \frac{E_{h}}{E_{h}^{\ast }} \biggr) := a_{35}\mathbf{G}_{35}, \\& \begin{aligned} \tilde{D}_{4}^{\prime }&\leq k\rho E_{h}^{\ast } \biggl( \ln \frac{E_{h}I_{h}^{\ast }}{E_{h}^{\ast }I_{h}}- \frac{E_{h}I_{h}^{\ast }}{E_{h}^{\ast }I_{h}}-\ln \frac{E_{h}}{E_{h}^{\ast }}+ \frac{E_{h}}{E_{h}^{\ast }} \biggr)\\ &\quad {} +\beta \psi \theta S_{h}^{\ast }I_{v}^{ \ast } \biggl( \ln \frac{S_{h}I_{v}I_{h}^{\ast }}{S_{h}^{\ast }I_{v}^{\ast }I_{h}}+ \frac{S_{h}I_{v}I_{h}^{\ast }}{S_{h}^{\ast }I_{v}^{\ast }I_{h}}-\ln \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }}+ \frac{S_{h}I_{v}}{S_{h}^{\ast }I_{v}^{\ast }} \biggr) \\ &:=a_{43}\mathbf{G}_{43}+a_{46} \mathbf{G}_{46}, \end{aligned} \\& \begin{aligned} \tilde{D}_{5}^{\prime }&\leq \gamma I_{h}^{\ast }S_{v}^{ \ast } \biggl( \ln \frac{I_{h}S_{v}}{I_{h}^{\ast }S_{v}^{\ast }}- \frac{I_{h}S_{v}}{I_{h}^{\ast }S_{v}^{\ast }}-\ln \frac{I_{h}}{I_{h}^{\ast }}+ \frac{I_{h}}{I_{h}^{\ast }} \biggr) \\ &\quad {}+\beta _{1}S_{v}^{\ast }I_{v}^{\ast } \biggl( \ln \frac{S_{v}I_{v}}{S_{v}^{\ast }I_{v}^{\ast }}- \frac{S_{v}I_{v}}{S_{v}^{\ast }I_{v}^{\ast }}-\ln \frac{I_{v}}{I_{v}^{\ast }}+\frac{I_{v}}{I_{v}^{\ast }} \biggr) \\ &:=a_{52} \mathbf{G}_{52}+a_{56}\mathbf{G}_{56}, \end{aligned} \\& \begin{aligned} \tilde{D}_{6}^{\prime }&\leq \gamma I_{h}^{\ast }S_{v}^{\ast } \biggl( \ln \frac{I_{v}^{\ast }I_{h}S_{v}}{I_{v}I_{h}^{\ast }S_{v}^{\ast }}- \frac{I_{v}^{\ast }I_{h}S_{v}}{I_{v}I_{h}^{\ast }S_{v}^{\ast }}-\ln \frac{I_{h}S_{v}}{I_{h}^{\ast }S_{v}^{\ast }}+ \frac{I_{h}S_{v}}{I_{h}^{\ast }S_{v}^{\ast }} \biggr) \\ &\quad {}+\beta _{1}S_{v}^{ \ast }I_{v}^{\ast } \biggl( \ln \frac{S_{v}}{S_{v}^{\ast }}-\frac{S_{v}}{S_{v}^{\ast }}-\ln \frac{S_{v}I_{v}}{S_{v}^{\ast }I_{v}^{\ast }}+ \frac{S_{v}I_{v}}{S_{v}^{\ast }I_{v}^{\ast }} \biggr) \\ &:=a_{62}\mathbf{G}_{62}+a_{63} \mathbf{G}_{63}. \end{aligned} \end{aligned}$$

Figure 7 shows a weighted digraph with ten arcs and six vertices. One can observe that Fig. 7 contains five cycles, and for each of these cycle, \(\mathbf{G}_{21}+\mathbf{G}_{52}+\mathbf{G}_{35}+\mathbf{G}_{43}+ \mathbf{G}_{14}=0\), \(\mathbf{G}_{21}+\mathbf{G}_{52}+\mathbf{G}_{35}+\mathbf{G}_{63}+ \mathbf{G}_{16}=0\), \(\mathbf{G}_{21}+\mathbf{G}_{62}+\mathbf{G}_{46}+\mathbf{G}_{14}=0\), \(\mathbf{G}_{35}+\mathbf{G}_{63}+\mathbf{G}_{56}=0\). Thus, by Theorem 3.5 from [28], there exist \(c_{1}\), \(c_{2}\), \(c_{3}\), \(c_{4}\), \(c_{5}\), \(c_{6}\) such that

$$\begin{aligned} \tilde{D}=c_{1}\tilde{D}_{1}+c_{2} \tilde{D}_{2}+c_{3} \tilde{D}_{3}+c_{4} \tilde{D}_{4}+c_{5}\tilde{D}_{5}+c_{6} \tilde{D}_{6}. \end{aligned}$$

Using Theorem 3.3 given in [28], we have

$$\begin{aligned}& c_{2}a_{21} = c_{1} ( a_{16}+a_{14} ), \\& c_{2}a_{21} = c_{5}a_{52}+c_{6}a_{62}, \\& c_{3}a_{35} = c_{4}a_{43}+c_{6}a_{63}, \\& c_{1}a_{14} = c_{4} ( a_{43}+a_{46} ), \\& c_{3}a_{35} = c_{5} ( a_{52}+a_{56} ). \end{aligned}$$

Solving the above equations, we get

$$\begin{aligned} \tilde{D} =&\tilde{D}_{1} + \biggl( \frac{\beta \psi \theta }{ \alpha \phi }+1 \biggr) {a_{21}}\tilde{D}_{2} + \frac{\gamma I_{h}^{\ast }S_{v}^{\ast }+ \beta _{1}S_{v}^{\ast }I_{v}^{\ast }}{\mu _{h}A_{h}^{\ast }} \tilde{D}_{3} + \frac{\alpha \phi S_{h}^{\ast }I_{v}^{\ast }}{k\rho E_{h}^{\ast }+ \beta \psi \theta S_{h}^{\ast }I_{v}^{\ast }} \tilde{D}_{4} + \tilde{D}_{5} \\ &{}+ \frac{1}{\gamma I_{h}^{\ast }S_{v}^{\ast }+\beta _{1}S_{v}^{\ast }I_{v}^{\ast }} \biggl( \beta \psi \theta S_{h}^{\ast }I_{v}^{\ast }+ \alpha \phi S_{h}^{ \ast }I_{v}^{\ast }+ \beta _{1}S_{v}^{\ast }I_{v}^{\ast } - \frac{\alpha \phi \beta _{1}S_{h}^{\ast }S_{v}^{\ast }{I_{v}^{\ast }}^{2}}{k\rho E_{h}^{\ast }+ \beta \psi \theta S_{h}^{\ast }I_{v}^{\ast }} \biggr)\tilde{D}_{6} \end{aligned}$$

is the Lyapunov function for system (1). Utilising LaSalle’s invariance principle and the Lyapunov function [29], \(E^{*}\) is GAS in the set \((\Delta )\).

Figure 7
figure 7

Weighted digraph


5 Application of the model

Now the given model (1) is applied on real data containing infectious pines in order to check the robustness of the model. Numerical values obtained through the calibration of model outcomes with the real number of spoiled pines will be used for the identification of crucial factors for the transmission of the disease as well as to design the control strategies to reduce the malady from tree community. We used the data of the real number of spoiled pines that were infected in Korea from 2010 to 2019 and were given in [30]. Explanation of the parameters used in model (1) and their estimated values are shown in Table 1. It can be seen from Fig. 8 that the model outcomes are in great ascension with the real figure of pines that become infected in Korea during the period of 10 years.

Figure 8
figure 8

Comparison of real and estimated data

Table 1 Definition, dimension and parameter values of model (1)

6 Sensitivity analysis

The primary concern about PWD is to ponder the potential of this malady in the community. Sensitivity analysis will be performed to comprehend the main factors which play the key role in dissemination or persistence of the disease in the community. The complete eradication of PWD from tree community is an ideal situation. It means that we cannot make \(R_{\circ }\) less than unity absolutely. However, attention can be paid to those parameters that cause high infection level. They can be identified by observing the variation in a constant level of the infectious compartments by swapping parameter values. We can focus specially on those parameters due to which huge fluctuation in the endemic state of contagious pine trees and pine sawyers occurs.

6.1 Sensitivity indices of \(R_{0}\)

For brief introduction about the calculation of sensitivity indices, one can consult [31]. We use its definition here in the form of partial derivative. It is given as follows:

$$ \Gamma ^{x}_{p}=\frac{\partial x}{\partial p}\times \frac{p}{x}. $$

Using the above definition, mathematical expressions to calculate the sensitivity indices of \({R}_{0}\) are obtained. For instance, \({R}_{0}\) has the sensitivity index with respect to δ and \(\mu _{v}\) as follows:

$$\begin{aligned}& \begin{aligned} \Gamma ^{R_{0}}_{\delta }\times \frac{\delta }{R_{0}} &= \biggl(2 \gamma \delta \lambda _{v} \lambda _{h} \biggl(-\frac{\alpha \kappa \rho \phi }{\delta ^{2} \mu _{h} (\kappa +\mu _{h} ) \mu _{v}{}^{2}}-\frac{\beta \theta \psi }{\delta ^{2} \mu _{h} \mu _{v}{}^{2}} \biggr)\biggr)\\ &\quad {}\Big/\biggl(\sqrt{\frac{\beta _{1}{}^{2} \lambda _{v}{}^{2}}{\mu _{v}{}^{4}}+4 \gamma \lambda _{v} \lambda _{h} \biggl(\frac{\alpha \kappa \rho \phi }{\delta \mu _{h} (\kappa +\mu _{h} ) \mu _{v}{}^{2}}+\frac{\beta \theta \psi }{\delta \mu _{h} \mu _{v}{}^{2}} \biggr)} \\ &\quad {}\times \biggl(\frac{\beta _{1} \lambda _{v}}{\mu _{v}{}^{2}}+\sqrt{\frac{\beta _{1}{}^{2} \lambda _{v}{}^{2}}{\mu _{v}{}^{4}}+4 \gamma \lambda _{v} \lambda _{h} \biggl(\frac{\alpha \kappa \rho \phi }{\delta \mu _{h} (\kappa +\mu _{h} ) \mu _{v}{}^{2}}+\frac{\beta \theta \psi }{\delta \mu _{h} \mu _{v}{}^{2}} \biggr)} \biggr)\biggr), \end{aligned} \\& \Gamma ^{R_{0}}_{\mu _{v}}\times \frac{\mu _{v}}{R_{0}} = \frac{\mu _{v} (-\frac{2 \beta _{1} \lambda _{v}}{\mu _{v}{}^{3}}+\frac{-\frac{4 \beta _{1}{}^{2} \lambda _{v}{}^{2}}{\mu _{v}{}^{5}}+4 \gamma \lambda _{v} \lambda _{h} (-\frac{2 \alpha \kappa \rho \phi }{\delta \mu _{h} (\kappa +\mu _{h} ) \mu _{v}{}^{3}}-\frac{2 \beta \theta \psi }{\delta \mu _{h} \mu _{v}{}^{3}} )}{2 \sqrt{\frac{\beta _{1}{}^{2} \lambda _{v}{}^{2}}{\mu _{v}{}^{4}}+4 \gamma \lambda _{v} \lambda _{h} (\frac{\alpha \kappa \rho \phi }{\delta \mu _{h} (\kappa +\mu _{h} ) \mu _{v}{}^{2}}+\frac{\beta \theta \psi }{\delta \mu _{h} \mu _{v}{}^{2}} )}} )}{\frac{\beta _{1} \lambda _{v}}{\mu _{v}{}^{2}}+\sqrt{\frac{\beta _{1}{}^{2} \lambda _{v}{}^{2}}{\mu _{v}{}^{4}}+4 \gamma \lambda _{v} \lambda _{h} (\frac{\alpha \kappa \rho \phi }{\delta \mu _{h} (\kappa +\mu _{h} ) \mu _{v}{}^{2}}+\frac{\beta \theta \psi }{\delta \mu _{h} \mu _{v}{}^{2}} )}}. \end{aligned}$$

Mathematical expressions given in the above two equations do not provide any information on how much difference happens in the value of basic reproduction number when values of δ and \(\mu _{v}\) are changed. However, after utilisation of fitted values of all the parameters mentioned in Table 1, we examine that \(R_{0}\) has sensitivity index −0.276506 with respect to δ. It means that deceleration in the basic reproduction number by almost 3% occurs as a result of enhancement of falling rate of infectious pines by 10%. If we have a look at all the sensitivity indices of the threshold parameter (\(R_{0}\)) given in Table 2, we inspect that the most responsive parameter for \(R_{0}\) is the fatality rate of pine sawyer. It has value −1.44699. This value indicates that the reproduction number is going to decelerate by almost 15% if we amplify the fatality rate of pine sawyer by 10%.

Table 2 Sensitivity indices of \({R}_{0}\) corresponding to all parameters

6.2 Parameters’ influence on infectious pines and pine sawyer

The most important parameters by which \(R_{\circ }\) can be made less than unity have been calculated in the above subsection. It seems an impractical task to get rid of PWD completely from pine tree community. However, the factors that help to reduce the infection may be identified. This objective can be obtained by the calculation of a relative change in the number of infectious hosts and vectors with the amplification of difference in parameter values.

6.2.1 Reduction of infectious pines

We can see from Figures 922 that a constant level of infectious pine trees is extremely influenced by the parameters α, β, δ, \(\lambda _{h}\) and \(\mu _{h}\). However, the computation of percentage difference of \(I_{h}^{*}\) shows that the most sensitive parameter is the probability of susceptible pines not to be infectious (θ). Its value is 8765.984. It means that we should cut those trees that stop oleoresin as soon as possible. Percent enhancement in the number of infectious pines with respect to all parameters given in the model has been calculated in Table 3.

Figure 9
figure 9

Number of infectious pines for different values of α

Figure 10
figure 10

Number of infectious pines for different values of β

Figure 11
figure 11

Number of infectious pines for different values of \(\beta _{1}\)

Figure 12
figure 12

Number of infectious pines for different values of δ

Figure 13
figure 13

Number of infectious pines for different values of γ

Figure 14
figure 14

Number of infectious pines for different values of k

Figure 15
figure 15

Number of infectious pines for different values of \(\lambda _{h}\)

Figure 16
figure 16

Number of infectious pines for different values of \(\lambda _{v}\)

Figure 17
figure 17

Number of infectious pines for different values of \(\mu _{h}\)

Figure 18
figure 18

Number of infectious pines for different values of \(\mu _{v}\)

Figure 19
figure 19

Number of infectious pines for different values of ϕ

Figure 20
figure 20

Number of infectious pines for different values of ψ

Figure 21
figure 21

Number of infectious pines for different values of ρ

Figure 22
figure 22

Number of infectious pines for different values of θ

Table 3 Sensitivity of \(I_{h}^{*}\) corresponding to all parameters:

6.2.2 Reduction of pine sawyer

Figures 2336 show that if we increase the fatality rate of pine sawyers, exploitation rate of infectious pines and decrease the transmission probability through maturation feeding, the number of infectious pine sawyers can be reduced significantly. We also observe from Table 4 that the removal of adult pine sawyers is essential to decreasing the infection. This observation tells us that we should focus on the minimum possible emergence of pine sawyers. It can be made achievable through the use of pesticide spray into newly cut timber or bark of dead trees.

Figure 23
figure 23

Endemic level of infectious pine sawyer for different values of α

Figure 24
figure 24

Endemic level of infectious pine sawyer for different values of β

Figure 25
figure 25

Endemic level of infectious pine sawyer for different values of \(\beta _{1}\)

Figure 26
figure 26

Endemic level of infectious pine sawyer for different values of δ

Figure 27
figure 27

Endemic level of infectious pine sawyer for different values of γ

Figure 28
figure 28

Endemic level of infectious pine sawyer for different values of κ

Figure 29
figure 29

Endemic level of infectious pine sawyer for different values of \(\lambda _{h}\)

Figure 30
figure 30

Endemic level of infectious pine sawyer for different values of \(\lambda _{v}\)

Figure 31
figure 31

Endemic level of infectious pine sawyer for different values of \(\mu _{h}\)

Figure 32
figure 32

Endemic level of infectious pine sawyer for different values of \(\mu _{v}\)

Figure 33
figure 33

Endemic level of infectious pine sawyer for different values of ϕ

Figure 34
figure 34

Endemic level of infectious pine sawyer for different values of ψ

Figure 35
figure 35

Endemic level of infectious pine sawyer for different values of ρ

Figure 36
figure 36

Endemic level of infectious pine sawyer for different values of θ

Table 4 Sensitivity of \(I_{v}^{*}\) corresponding to all parameters:

7 Optimal control

The observations of former section indicates that we should target the appearance of mature pine sawyers, ousting the spoiled pines rapidly and demise of pine sawyers. Now, we have to redesign model (1) to get the results of some control strategies to overcome this disease. Model (1) gets the following shape after the inclusion of these controls:

$$\begin{aligned}& \frac{dS_{h}}{dt} = \lambda _{h}-\alpha \phi (1-u_{1})S_{h}I_{v}- \beta \psi \theta S_{h}I_{v}-\mu _{h}S_{h}, \\& \frac{dE_{h}}{dt} = (1-u_{1})\alpha \phi S_{h}I_{v}- (\mu _{h}+k ) E_{h}, \\& \frac{dA_{h}}{dt} = k E_{h} ( 1-\rho )-\mu _{h}A_{h}, \\& \frac{dI_{h}}{dt} = k\rho E_{h}+\beta \psi \theta S_{h}I_{v}-\delta I_{h}-r_{0}u_{2}I_{h}, \\& \frac{dS_{v}}{dt} = \lambda _{v}(1-u_{3})-\gamma I_{h}S_{v}-\beta _{1}S_{v}I_{v}- \mu _{v}S_{v}-r_{1}u_{3}S_{v}, \\& \frac{dI_{v}}{dt} = \gamma I_{h}S_{v}+\beta _{1}S_{v}I_{v}-\mu _{v}I_{v}-r_{1}u_{3}I_{v} . \end{aligned}$$

The control \(u_{1}(t)\) expresses the defensive measures like the application of nematocide inserted into the cane of well fit pines and vaccination for the reduction of the strength of infection. Control \(u_{2}(t)\) means ousting the spoiled pines quickly so that pine sawyers have no option to lay eggs on them. To keep the number of vectors in control, we are using \(u_{3}\) as control which is the application of adulticide. Objective functional J has been formulated in the way to cut down this malady. The main objective of its construction is to minimise the spoiled pines and also to reduce the expenses of implemented controls \(u_{1}\), \(u_{2}\) and \(u_{3}\). One has

$$ \tilde{O}(u_{1},u_{2},u_{3})= \int _{0}^{T}\biggl(M_{1}I_{h}+M_{2}I_{v}+ \frac{1}{2}D_{1}u_{1}^{2}+ \frac{1}{2}D_{2}u_{2}^{2}+ \frac{1}{2}D_{3}u_{3}^{2}\biggr)\,dt, $$

where \(M_{1}\), \(M_{2}\) are the weights having positive values. The main objective of applying the controls is to make the effort to retrench the number of contaminated pines and vectors keeping in mind that the cost of applied controls should be minimum. It is done with the help of the above objective functional. Controls \(u_{1}^{\ast }\), \(u_{2}^{\ast }\) and \(u_{3}^{\ast }\) can be found in such a way that

$$ \tilde{O}\bigl(u_{1}^{\ast },u_{2}^{\ast },u_{3}^{\ast } \bigr)=min\bigl\{ \tilde{O}(u_{1},u_{2},u_{3}),(u_{1},u_{2},u_{3}) \in U\bigr\} . $$

The set U is called control set. It is defined as

$$ \begin{aligned} U&=\bigl\{ (u_{1},u_{2},u_{3})|u_{i}(t) \text{ is Lebsgue measurable on the unit interval } [0,1],\\ &\quad 0 \leq u_{i}(t)\leq 1,i=1,2,3\bigr\} . \end{aligned} $$

We have a very useful result in the form of a principle called Pontryagin’s maximum principle and given in [32]. We will use it to get the mandatory states and the solution of (3).

8 Persistence of optimal control

A very powerful procedure is applied for existence and analysis of the optimal control. According to [33], the necessary hypotheses are as follows:

\((H_{1})\) A set of control and corresponding described unknowns has at least one element.

\((H_{2})\) U must fulfil the two properties, convexity and closeness.

\((H_{3})\) The right-hand side of the described system is bounded by a linear function with respect to state and control.

\((H_{4})\) The integrand of the objective functional is convex on U and has lower \(c_{1}(\sum_{i=1}^{3}|u_{i}|^{2})^{\frac{\tau }{2}}-c_{2}\), where \(c_{1},c_{2}>0\) and \(\tau >1\).

The existence of solutions of system (3) can be proved by utilising the result given in ([34], Th. 9.2.1, p. 182). In this manner, we validate the above axioms. \((H_{1})\) is fulfilled because of finiteness of coefficients. The finiteness of solutions reflects that U attains the 2nd hypothesis. Note that system (3) is bilinear in \(u_{1}\), \(u_{2}\), \(u_{3}\). Because of bilinearity of controls and boundedness of solutions, R. H. S of (3) satisfy the 3rd hypothesis \(H_{3}\). As the integrand of the integral J is convex, we have the assurance of \(H_{4}\).

$$ M_{1}I_{h}+M_{2}I_{v}+ \frac{1}{2}D_{1}u_{1}^{2}+ \frac{1}{2}D_{2}u_{2}^{2}+ \frac{1}{2}D_{3}u_{3}^{2}\geq c_{1}\Biggl(\sum_{i=1}^{3} \vert u_{i} \vert ^{2}\Biggr)^{ \frac{\tau }{2}}-c_{2}, $$

where \(D_{1},D_{2},D_{3},M_{1},M_{2},c_{1},c_{2}>0\) and τ is greater than 1, hence we come up with the conclusion given below.

Theorem 3

For the objective functional \(\tilde{O}(u_{1},u_{2},u_{3})=\int _{0}^{T}(M_{1}I_{h}+M_{2}I_{v}+ \frac{1}{2}D_{1}u_{1}^{2}+\frac{1}{2}D_{2}u_{2}^{2}+\frac{1}{2}D_{3}u_{3}^{2})\,dt\), where \(U=\{(u_{1},u_{2},u_{3})|0\leq u_{1},u_{2},u_{3}\leq 1,t\in [0,T]\}\) corresponding to Eqs. (3) with initial conditions, there exists an optimal value of control \(u=(u_{1}^{\ast },u_{2}^{\ast },u_{3}^{\ast })\) so that \(\tilde{O}(u_{1}^{\ast },u_{2}^{\ast },u_{3}^{\ast })=min\{\tilde{O}(u_{1},u_{2},u_{3}),(u_{1},u_{2},u_{3}) \in U\}\).

The optimal solution of system (3) can be obtained through the Lagrangian and Hamiltonian. We consider the Lagrangian for (3) as follows:

$$ \mathbb{L}(I_{h},I_{v},u_{1},u_{2},u_{3})=M_{1}I_{h}+M_{2}I_{v}+ \frac{1}{2}D_{1}u_{1}^{2}+ \frac{1}{2}D_{2}u_{2}^{2}+ \frac{1}{2}D_{3}u_{3}^{2} \geq c_{1}( \vert u_{1} \vert ^{2}+ \vert u_{2} \vert ^{2}+ \vert u_{3} \vert ^{2}. $$

We have to find the least possible value of the Lagrangian L given above. To do this, we introduce the Hamiltonian H as follows:

Let us take \(X=(S_{h},E_{h},A_{h},I_{h},S_{v},I_{v})\), \(\mu =(\mu _{1},\mu _{2},\mu _{3},\mu _{4},\mu _{5},\mu _{6})\) and \(U=(u_{1},u_{2},u_{3})\), then we have

$$\begin{aligned} H(X,U,\mu ) =&M_{1}I_{h}+M_{2}I_{v}+ \frac{B_{1}}{2}u_{1}^{2}+\frac{B_{2}}{2}u_{2}^{2}+ \frac{B_{3}}{2}u_{3}^{2}\\ &{}+\mu _{1}\bigl(\mu _{h}- \alpha \phi (1-u_{1})S_{h}I_{v}- \beta \psi \theta S_{h}I_{v}-\mu _{h}S_{h} \bigr) \\ &{}+\mu _{2}\bigl(\alpha \phi (1-u_{1})S_{h}I_{v}- (\mu _{h}+k ) E_{h}\bigr)+\mu _{3}\bigl( ( 1- \rho )k E_{h}-\mu _{h}A_{h}\bigr) \\ &{}+\mu _{4}(k\rho E_{h}+\beta \psi \theta S_{h}I_{v}-\delta I_{h}-r_{0}u_{2}I_{h}) \\ &{}+\mu _{5}\bigl(\mu _{v}(1-u_{3})-\gamma I_{h}S_{v}-\beta _{1}S_{v}I_{v}- \mu _{v}S_{v}-r_{1}u_{3}S_{v} \bigr) \\ &{}+\mu _{6}(\gamma I_{h}S_{v}+\beta _{1}S_{v}I_{v}-\mu _{v}I_{v}-r_{1}u_{3}I_{v}). \end{aligned}$$

8.1 The optimality system

We have made use of Pontryagin’s maximum principle, contained in [35], for finding necessary states for the control. This has been done in the following way:

For a streamlined arrangement \((u_{1}^{*},u_{2}^{*},u_{3}^{*})\) of system (3), a nontrivial relation \(\mu (t)=(\mu _{1}(t),\ldots,\mu _{6}(t))\) satisfies the following conditions:

$$\begin{aligned}& \frac{dx}{dt}=\frac{\partial }{\partial \mu }\bigl(H\bigl(t,U^{*},\mu (t) \bigr)\bigr), \\& 0=\frac{\partial }{\partial u}\bigl(H\bigl(t,U^{*},\mu (t)\bigr)\bigr), \\& \frac{d\mu }{dt}=-\frac{\partial }{\partial x}\bigl(H\bigl(t,U^{*},\mu (t) \bigr)\bigr). \end{aligned}$$

Theorem 4

For \(U^{*}(u_{1}^{*},u_{2}^{*},u_{3}^{*})\) and \((S_{h}^{*},E_{h}^{*},A_{h}^{*},I_{h}^{*},S_{v}^{*},I_{v}^{*})\), which are solutions of system (3), unknowns \(\mu _{1},\ldots,\mu _{6}\) occur having

$$\begin{aligned}& \frac{d\mu _{1}}{dt} = ( \mu _{1}-\mu _{2} ) \alpha \phi (1-u_{1})I_{v}- (\mu _{4}-\mu _{1} ) \beta \psi \theta I_{v}+\mu _{1}\mu _{h}, \\& \frac{d\mu _{2}}{dt} = ( \mu _{2}-\mu _{3} ) k+ ( \mu _{4}-\mu _{3} ) k\rho +\mu _{2}\mu _{h}, \\& \frac{d\mu _{3}}{dt} = \mu _{3}\mu _{h}, \\& \frac{d\mu _{4}}{dt} = -M_{1}+\mu _{4}(\delta +r_{0}u_{2})+ ( \mu _{5}-\mu _{6} ) \gamma S_{v}, \\& \frac{d\mu _{5}}{dt} = ( \mu _{5}-\mu _{6} ) (\gamma I_{h}+ \beta _{1}I_{v})+\mu _{5} ( \mu _{v}+r_{1}u_{3} ), \\& \begin{aligned} \frac{d\mu _{6}}{dt} &= -M_{2}+ ( \mu _{1}-\mu _{2} ) \alpha \phi (1-u_{1})S_{h}- (\mu _{4}- \mu _{1} ) \beta \psi \theta S_{h}\\ &\quad {}+ ( \mu _{5}-\mu _{6} ) \beta _{1}S_{v}+ \mu _{6} ( \mu _{v}+r_{1}u_{3} ), \end{aligned} \end{aligned}$$

with the boundary conditions \(\mu _{1}(T)=\mu _{2}(T)=\cdots=\mu _{6}(T)=0\). Furthermore, \(u_{1}^{\ast }\), \(u_{2}^{\ast }\), \(u_{3}^{\ast }\) are considered as

$$\begin{aligned}& u_{1}^{\ast } = \max \biggl\{ \min \biggl\{ 1, \frac{ ( \mu _{2}-\mu _{1} ) \alpha \phi S_{h}I_{v}}{B_{1}} \biggr\} ,0\biggr\} , \\& u_{2}^{\ast } = \max \biggl\{ \min \biggl\{ 1,\frac{\mu _{4}r_{0}I_{h}}{B_{2}} \biggr\} ,0 \biggr\} , \\& u_{3}^{\ast } = \max \biggl\{ \min \biggl\{ 1, \frac{\mu _{5}\mu _{v}+\mu _{5}r_{1}S_{v}+\mu _{6}r_{1}I_{v}}{B_{3}} \biggr\} ,0\biggr\} . \end{aligned}$$


Transversality states and adjoint equations can be obtained with the help of H. Taking \((S_{h},E_{h},A_{h},I_{h},S_{v},I_{v})=(S_{h}^{*},E_{h}^{*},A_{h}^{*},I_{h}^{*},S_{v}^{*},I_{v}^{*})\) and calculating the rate of change of Hamiltonian with respect to all state variables, we obtain

$$\begin{aligned}& \frac{d\mu _{1}}{dt} = ( \mu _{1}-\mu _{2} ) \alpha \phi (1-u_{1})I_{v}+ ( \mu _{1}-\mu _{4} ) \beta \psi \theta I_{v}+\mu _{1}\mu _{h}, \\& \frac{d\mu _{2}}{dt} = ( \mu _{2}-\mu _{3} ) k+ ( \mu _{3}-\mu _{4} ) k\rho +\mu _{2}\mu _{h}, \\& \frac{d\mu _{3}}{dt} = \mu _{3}\mu _{h}, \\& \frac{d\mu _{4}}{dt} = -M_{1}+\mu _{4}(\delta +r_{0}u_{2})+ ( \mu _{5}-\mu _{6} ) \gamma S_{v}, \\& \frac{d\mu _{5}}{dt} = ( \mu _{5}-\mu _{6} ) (\gamma I_{h}+ \beta _{1}I_{v})+\mu _{5} ( \mu _{v}+r_{1}u_{3} ), \\& \begin{aligned} \frac{d\mu _{6}}{dt}& = -M_{2}+ ( \mu _{1}-\mu _{2} ) \alpha \phi (1-u_{1})S_{h}+ ( \mu _{4}-\mu _{1} ) \beta \psi \theta S_{h}\\ &\quad {}+ ( \mu _{5}-\mu _{6} ) \beta _{1}S_{v}+ \mu _{6} ( \mu _{v}+r_{1}u_{3} ), \end{aligned} \end{aligned}$$

with boundary conditions \(\mu _{1}(T)=\mu _{2}(T)=\cdots=\mu _{6}(T)=0\). The property of the control set U and optimality conditions give the result

$$\begin{aligned}& u_{1}^{\ast } = \max \biggl\{ \min \biggl\{ 1, \frac{ ( \mu _{2}-\mu _{1} ) \alpha \phi S_{h}I_{v}}{B_{1}} \biggr\} ,0\biggr\} , \\& u_{2}^{\ast } = \max \biggl\{ \min \biggl\{ 1,\frac{\mu _{4}r_{0}I_{h}}{B_{2}} \biggr\} ,0 \biggr\} , \\& u_{3}^{\ast } = \max \biggl\{ \min \biggl\{ 1, \frac{\mu _{5}\mu _{v}+\mu _{5}r_{1}S_{v}+\mu _{6}r_{1}I_{v}}{B_{3}} \biggr\} ,0\biggr\} . \end{aligned}$$


One can also draw the conclusions, when control strategies have been used to limit the spread of PWD, numerically. It can be seen from Fig. 37 that the strength of healthy trees goes on increasing due to these controls. It seems true because after the application of controls all infected pine trees will be removed, as a result we have more tress in the susceptible class. Figure 38 shows the substantial depletion in exposed pines when we apply these controls. Figure 39 depicts the behaviour of asymptotic carrier trees when the control is applied, one can see a little decrease here. From Fig. 40, we can clearly see that there is a substantial decrease in spoiled pine trees due to these controls.

Figure 37
figure 37

Susceptible pines with and without control

Figure 38
figure 38

Exposed pines with and without control

Figure 39
figure 39

Asymptomatic carrier pines with and without control

Figure 40
figure 40

Infectious pines with and without control

To get the information about the number of susceptible pine sawyers by the application of controls, we see Fig. 41; it shows no significant depletion. On the other hand, Fig. 42 shows the outstanding result of the use of these controls on a class of infected vectors: first they are approaching zero for ten days, then they increase moderately. This behaviour of infectious pine sawyer guides us to the periodic use of adulticide. We have shown the control profile in Fig. 43.

Figure 41
figure 41

Susceptible bark beetles with and without control

Figure 42
figure 42

Exposed bark beetles with and without control

Figure 43
figure 43

Control profile

9 Conclusions

PWD has been analysed in this work through a deterministic model. First, we studied the model qualitatively and calculated the explicit formula for the basic reproduction number. Constant levels (infection free and disease present) of all the compartments have been calculated. We have also shown that if at any stage we are able to reduce the basic reproduction number below unity, then the disease will be completely eradicated from the community. If the policy makers of any country fail to get the basic reproduction number less than one, then we have identified the constant level of vector and host population.

The actual data of infectious Korean pines from 2010 to 2010 have been used, and the model has been simulated. The values of parameters for which the model outcomes had the best match with the actual data have been identified. We performed sensitivity analysis so that an effective control strategy could be designed to remove the disease from pine tree community completely or to obtain the least figure of infectious pines. We computed the sensitivity indices of the threshold parameter by using the fitted values of the parameters. The parameters that play a significant role in reducing the threshold parameter to less than one have been identified. The effects of parameters on the constant level of contaminated trees and vectors have been observed if we fail to get the value of the basic reproduction number below unity. We varied the values of the parameters and noticed the corresponding difference in the constant level of infectious hosts (pines) and vectors (bark beetles). To get the most effective parameters for the endemic position of contaminated trees and pine sawyers, we used the least value to normalise all the percentage changes.

For successful strategies to overcome the disease, we have done sensitivity analysis. We modified the model by inserting the control functions and calculated the optimal values of these functions. We simulated the model by using the fitted values of the parameters used in the model, and the efficacy of implemented strategies has been examined. It can be seen that control strategies are very effective in reducing the number of infectious pines and vectors. The same idea can be applied to any community whose real data is available. The model can also be modified by taking the fractional derivative instead of ordinary derivatives to gain a better insight about PWD. It will be included in the future research, and comparison of outcomes through ordinary and fractional derivatives will be performed.

Availability of data and materials

The data used to support the findings of this study are available from the corresponding author upon request.


  1. Yano, M.: Investigation on the causes of pine mortality in Nagasaki prefecture. Sanrinkoho 4(Suppl.), 1–14 (1913)

    Google Scholar 

  2. Mamiya, Y.: History of pine wilt disease in Japan. J. Nematol. 20(2), 219 (1988)

    Google Scholar 

  3. Kuroda, K., Yamada, T., Mineo, K., Tamura, H.: Effects of cavitation on the development of pine wilt disease caused by Bursaphelenchus xylophilus. Jpn. J. Phytopathol. 54(5), 606–615 (1988)

    Article  Google Scholar 

  4. Kiyohara, T., Tokushige, Y.: Inoculation experiments of a nematode, Bursaphelenchus sp., onto pine trees. J. Jpn. For. Soc. 53(7), 210–218 (1971)

    Google Scholar 

  5. Donald, P.A., Stamps, W.T., Linit, M.J.: Pine Wilt Disease (2003)

    Google Scholar 

  6. Wingfield, M.J., Blanchette, R.A.: The pine-wood nematode, Bursaphelenchus xylophilus, in Minnesota and Wisconsin: insect associates and transmission studies. Can. J. For. Res. 13(6), 1068–1076 (1983)

    Article  Google Scholar 

  7. Arakawa, Y., Togashi, K.: Newly discovered transmission pathway of Bursaphelenchus xylophilus from males of the beetle Monochamus alternatus to Pinus densiflora trees via oviposition wounds. J. Nematol. 34(4), 396 (2002)

    Google Scholar 

  8. Yoshimura, A., Kawasaki, K., Takasu, F., Togashi, K., Futai, K., Shigesada, N.: Modeling the spread of pine wilt disease caused by nematodes with pine sawyers as vector. Ecology 80(5), 1691–1702 (1999)

    Article  Google Scholar 

  9. Takasu, F., Yamamoto, N., Kawasaki, K., Togashi, K., Kishi, Y., Shigesada, N.: Modeling the expansion of an introduced tree disease. Biol. Invasions 2(2), 141–150 (2000)

    Article  Google Scholar 

  10. Takasu, F.: Individual-based modeling of the spread of pine wilt disease: vector beetle dispersal and the Allee effect. Popul. Ecol. 51(3), 399–409 (2009)

    Article  Google Scholar 

  11. Shi, X., Song, G.: Analysis of the mathematical model for the spread of pine wilt disease. J. Appl. Math. 2013, Article ID 184054 (2013)

    MATH  Google Scholar 

  12. Togashi, K., Arakawa, Y.: Horizontal transmission of Bursaphelenchus xylophilus between sexes of Monochamus alternatus. J. Nematol. 35(1), 7 (2003)

    Google Scholar 

  13. Lee, K.S., Kim, D.: Global dynamics of a pine wilt disease transmission model with nonlinear incidence rates. Appl. Math. Model. 37(6), 4561–4569 (2013)

    Article  MathSciNet  Google Scholar 

  14. Ozair, M.: Analysis of pine wilt disease model with nonlinear incidence and horizontal transmission. J. Appl. Math. 2014, Article ID 204241 (2014)

    Article  Google Scholar 

  15. Ozair, M., Shi, X., Hussain, T.: Control measures of pine wilt disease. Comput. Appl. Math. 35(2), 519–531 (2016)

    Article  MathSciNet  Google Scholar 

  16. Awan, A.U., Ozair, M., Din, Q., Hussain, T.: Stability analysis of pine wilt disease model by periodic use of insecticides. J. Biol. Dyn. 10(1), 506–524 (2016)

    Article  MathSciNet  Google Scholar 

  17. Awan, A.U., Hussain, T., Okosun, K.O., Ozair, M.: Qualitative analysis and sensitivity based optimal control of pine wilt disease. Adv. Differ. Equ. 2018(1), 27 (2018)

    Article  MathSciNet  Google Scholar 

  18. Morales-Delgado, V.F., Gómez-Aguilar, J.F., Saad, K.M., Khan, M.A., Agarwal, P.: Analytic solution for oxygen diffusion from capillary to tissues involving external force effects: a fractional calculus approach. Phys. A, Stat. Mech. Appl. 523, 48–65 (2019)

    Article  MathSciNet  Google Scholar 

  19. Agarwal, P., Deniz, S., Jain, S., Alderremy, A.A., Aly, S.: A new analysis of a partial differential equation arising in biology and population genetics via semi analytical techniques. Phys. A, Stat. Mech. Appl. 542, 122769 (2020)

    Article  MathSciNet  Google Scholar 

  20. Naik, P.A., Yavuz, M., Qureshi, S., Zu, J., Townley, S.: Modeling and analysis of COVID-19 epidemics with treatment in fractional derivatives using real data from Pakistan. Eur. Phys. J. Plus 135(10), 1–42 (2020)

    Article  Google Scholar 

  21. Atangana, E., Atangana, A.: Facemasks simple but powerful weapons to protect against COVID-19 spread: can they have sides effects? Results Phys. 19, 103425 (2020)

    Article  Google Scholar 

  22. Memon, Z., Qureshi, S., Memon, B.R.: Assessing the role of quarantine and isolation as control strategies for COVID-19 outbreak: a case study. Chaos Solitons Fractals 144, 110655 (2021)

    Article  MathSciNet  Google Scholar 

  23. Khan, M.A., Atangana, A., Alzahrani, E.: The dynamics of COVID-19 with quarantined and isolation. Adv. Differ. Equ. 2020(1), 425 (2020)

    Article  MathSciNet  Google Scholar 

  24. Hussain, T., Aslam, A., Ozair, M., Tasneem, F., Gómez-Aguilar, J.F.: Dynamical aspects of pine wilt disease and control measures. Chaos Solitons Fractals 145, 110764 (2021)

    Article  MathSciNet  Google Scholar 

  25. Romero, J., Awan, A., Hussain, T., Ozair, M., Aslam, A., Ali, F., Sharif, A.: Analysis of a mathematical model for the pine wilt disease using a graph theoretic approach. Appl. Sci. 22, 189–204 (2020)

    MathSciNet  Google Scholar 

  26. Lashari, A.A., Lee, K.S.: Stability analysis of a host-vector transmission model for pine wilt disease with asymptomatic carrier trees. J. Korean Math. Soc. 54(3), 987–997 (2017)

    Article  MathSciNet  Google Scholar 

  27. Van den Driessche, P., Watmough, J.: Reproduction numbers and sub-threshold endemic equilibria for compartmental models of disease transmission. Math. Biosci. 180(1–2), 29–48 (2002)

    Article  MathSciNet  Google Scholar 

  28. Shuai, Z., van den Driessche, P.: Global stability of infectious disease models using Lyapunov functions. SIAM J. Appl. Math. 73(4), 1513–1532 (2013)

    Article  MathSciNet  Google Scholar 

  29. LaSalle, J.P.: The Stability of Dynamical Systems. Regional Conf. Ser. Appl. Math. SIAM, Philadephia (1976)

    Book  Google Scholar 

  30. Kim, D.S., Lee, S.M., Huh, H.S., Park, N.C., Park, C.G.: Escape of pine wood Nematode, Bursaphelenchus xylophilus, through feeding and oviposition behavior of Monochamus alternatus and M. saltuarius (Coleoptera: Cerambycidae) adults. Korean J. Appl. Entomol. 48(4), 527–533 (2009)

    Article  Google Scholar 

  31. Chitnis, N., Hyman, J.M., Cushing, J.M.: Determining important parameters in the spread of malaria through the sensitivity analysis of a mathematical model. Bull. Math. Biol. 70(5), 1272 (2008)

    Article  MathSciNet  Google Scholar 

  32. Pontryagin, L.S., Boltyanskii, V.G., Gamkrelidze, R.V., Mishchenko, E.F.: The Mathematical Theory of Optimal Processes, vol. 4. Gordon & Breach, New York (1986)

    MATH  Google Scholar 

  33. Fleming, W.H., Rishel, R.W.: Deterministic and Stochastic Optimal Control, vol. 1. Springer, Berlin (2012)

    MATH  Google Scholar 

  34. Lukes, D.L.: Differential Equations: Classical to Controlled (1982)

    MATH  Google Scholar 

  35. Lenhart, S., Workman, J.T.: Optimal Control Applied to Biological Models. CRC Press, Boca Raton (2007)

    Book  Google Scholar 

Download references


The first author is grateful to National University of Sciences and Technology for financial support, and all the authors are thankful to the editor and reviewers for their valuable comments which led us to improving the manuscript.


The first author may get a partial financial support from National University of Sciences and Technology (NUST).

Author information

Authors and Affiliations



All the authors have contributed equally to this manuscript. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Riaz Ahmad Khan.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence 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 licence, visit

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Khan, R.A., Hussain, T., Ozair, M. et al. Dynamical features of pine wilt disease through stability, sensitivity and optimal control. Adv Differ Equ 2021, 261 (2021).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: