#### Abstract

This paper formulates and analyzes a pine wilt disease model. Mathematical analyses of the model with regard to invariance of nonnegativity, boundedness of the solutions, existence of nonnegative equilibria, permanence, and global stability are presented. It is proved that the global dynamics are determined by the basic reproduction number and the other value which is larger than . If and are both less than one, the disease-free equilibrium is asymptotically stable and the pine wilt disease always dies out. If one is between the two values, though the pine wilt disease could occur, the outbreak will stop. If the basic reproduction number is greater than one, a unique endemic equilibrium exists and is globally stable in the interior of the feasible region, and the disease persists at the endemic equilibrium state if it initially exists. Numerical simulations are carried out to illustrate the theoretical results, and some disease control measures are especially presented by these theoretical results.

#### 1. Introduction

Pine wilt is a dramatic disease of pine caused by the pinewood nematode (*Bursaphelenchus xylophilus*), which constitutes a major threat to forest ecosystems worldwide, from both the economical point of view and the environmental (landscape) perspective [1]. Pine trees are affected by pine wilt disease, wilt, and usually die within a few months. Symptoms of pine wilt disease usually become evident in late spring or summer. The first observable symptom is the lack of resin exudation from barks wounds. The foliage then becomes pale green, then yellow, and finally reddish brown when the tree succumbs to the disease. The wood in affected trees is dry and totally lacks resin.

In [2], Evans et al. reviewed the principle of the *Bursaphelenchus xylophilus* transmission and disease dissemination. The *Bursaphelenchus xylophilus* is transmitted from pine tree to pine tree by a bark beetle called the pine sawyer (*Monochamus alternatus*) either when the sawyer beetles are fed on the bark and phloem of twigs of susceptible live trees (primary transmission) or when the female beetles lay eggs (oviposition) in freshly cut timber or dying trees (secondary transmission). Nematodes introduced during primary transmission can reproduce rapidly in the sapwood, and a susceptible host can wilt and die within weeks of being infested if conditions are favorable to disease development. In the summer, adult pine sawyers emerge from pine trees and fly to new trees. If the beetle is carrying the pine wood nematode, it spreads to the new trees (see Figure 1).

Pine wilt disease causes significant economic losses in natural coniferous forests in Eastern Asia (especially Japan, China, and South Korea) and Western Europe (especially Portugal). As such, the pine wilt disease is among the most important pests included in the quarantine lists of many countries around the world [3]. In the beginning of the 20th century, pine wilt disease was first reported in Japan. Up to the present day, pine wilt disease has become the major ecological catastrophe of pine forests in Japan. For example, it has losses reaching over 2 million m^{3}/year in the 1980s. Since then, it has spread to other Asian countries and regions such as China, Taiwan, and Korea, causing serious losses and economic damage. The pinewood nematode was first detected in Portugal’s Setúbal region in 1999. Immediately, several governments of the European Union prompted actions to assess the extent of the nematode’s presence and to contain *Bursaphelenchus xylophilus* and *Monochamus alternatus* in an area with a 30 km radius in the Setbal Peninsula, 20 km south of Lisbon [4]. Despite the dedicated and concerted actions of government agencies, this disease continues to spread. In 2006, a new strategy which is the coordination of the national program for the control of the pinewood nematode for the control and ultimately the eradication of the nematode has been announced in Portugal [4].

Experience from control actions in Japan included aerial spraying of insecticides to control the insect vector (the cerambycid beetle *Monochamus alternatus*), injection of nematicides to the trunk of infected trees, slashing and burning of large areas out of control, beetle traps, biological control, and tree breeding programs [1]. These actions allowed not only some positive results, but also unsuccessful cases due to the pinewood nematode spread and virulence. Other Asian countries also followed similar strategies, but the nematode is still spreading in many regions.

In recent years, many attempts have been made to develop realistic mathematical models for investigating the transmission dynamics of the pine wilt disease, see [5–7]. Previous studies have worked on modeling of population dynamics of the vector beetle (*Monochamus alternatus*) and the pine tree to explore expansion of the disease using an integro-difference equation with a dispersal kernel that describes beetle mobility. In this paper, we revisit these previous models but retain individuality by building a differential system model to study the relation between pine tree, Bursaphelenchus xylophilus, and its insect vector *Monochamus alternatus* in the long run. The following assumptions are made in formulating the mathematical model. The population of pine is divided into two classes: pine which is normal and susceptible and pine which has been infected by Bursaphelenchus xylophilus. , express the number of pine which is normal and susceptible and pine which is infected by Bursaphelenchus xylophilus at time , respectively. , Are the number of *Monochamus alternatus* which does not carry Bursaphelenchus xylophilus Nickle and which carries Bursaphelenchus xylophilus Nickle at time , respectively. The pine is infected by the *Monochamus alternatus* which carries Bursaphelenchus xylophilus Nickle, and this contact process is assumed to follow the standard incident rate ; the *Monochamus alternatus* which does not carry the Bursaphelenchus xylophilus Nickle is infected by Bursaphelenchus xylophilus Nickle through the infected pine, and this contact process is also assumed to follow the standard incident rate .

The dynamic of the whole model is indeed determined by the four-dimensional system involving only the pine and *Monochamus alternatus*. And the model for the transmission of the virus in the pine *Monochamus alternatus* cycle reads
where is the constant input rate of *Monochamus alternatus*; is the constant increase rate of pine; is the mortality of *Monochamus alternatus*; is the probability that *Monochamus alternatus* carries Bursaphelenchus xylophilus Nickle; is the probability that pine is infected by Bursaphelenchus xylophilus; is the exploitation percent of pine which is normal and susceptible; is the percent isolated and felled of pine which has infected Bursaphelenchus xylophilus. Here we suppose that . All parameters are assumed to be positive.

Let It follows from the system (1) that satisfies the following differential equation: This leads to as . Thus, the system (1) is reduced to the following three-dimensional system:

The initial conditions of the system (4) are assumed as follows:

This paper is organized as follows. In Section 2, we present some preliminaries such as the positivity and the boundedness of solutions. In Section 3, we firstly calculate the basic reproduction number of system (4). Then we obtain the local and global stability of the disease-free equilibrium. In Section 4, we present the local and global stability of the endemic equilibrium of the system (4). In Section 5, we conclude with some numerical simulations and discussions.

#### 2. Positivity and Boundedness of Solutions

It is important to prove that the solutions of the system (4) are positive and bounded with the positive initial conditions (5) for the biology meaning.

Let

Proposition 1. * All solutions of the system (4) are nonnegative. Moreover, is a global attractor in and positively invariant for the system (4).*

* Proof. * The first statement is trivial. It easily follows from the argument for reduction in the last equation that . It follows from the first two equations of the system (4) that
for all , then the second statement follows immediately.

#### 3. Stability of the Disease-Free Equilibrium

For all infectious diseases, the basic reproduction number, sometimes called the basic reproductive rate or the basic reproductive ratio, is one of the most useful threshold parameters which characterize mathematical problems concerning infectious diseases. This metric is useful because it helps determine whether or not an infectious disease will spread through a population. In this section, we will calculate the basic reproduction number of the system (4). Moreover, we will obtain the local and global stability of the disease-free equilibrium.

It is easy to see that the system (4) always has a disease-free equilibrium (the absence of infection, i.e., ), , where . Let . Then system (4) can be written as where We can get Submitting into , then and giving is the next generation matrix for the system (4). It then follows that the spectral radius of matrix is . According to Theorem 2 in [8], the basic reproduction number of model (4) is

In the following, we will discuss the local and global stability of the disease-free equilibrium. From above and [8], we can obtain the following theorems.

Theorem 2. * The disease-free equilibrium is locally asymptotically stable for and unstable for .*

Theorem 3. * The disease-free equilibrium is globally asymptotically stable if , where .*

* Proof. * Define a Lyapunov function of the system (4) as follows:
Its derivative along a solution of the system (4) is
It is clear from (16) that for , as . Furthermore, if is the set of solutions of the system where , then the Lyapunov-Lasalle Theorem [9] implies that all paths in approach the largest positively invariant subset of the set . Here, is the set where . On the boundary of where , we have and . So as . Hence, all solution paths in approach the disease-free equilibrium .

*Remark 4. * This above result is of outmost importance because it shows that if at any time, through appropriate interventions, we are able to lower and to less than 1, then the pine wilt disease will disappear. Obviously, . The condition of global stability of disease-free equilibrium is stronger than that of local stability. In fact, since , it is possible to be no outbreak appearance, see Figure 2(a). indicates that pine wilt disease could occur, while shows that the outbreak will stop since the infected pine decreases to the disease-free equilibrium. We know that and depend on , the mortality of *Monochamus alternatus*. Thus, if we are able to increase the value of , and will decrease.

**(a)**

**(b)**

**(c)**

#### 4. Global Stability of the Endemic Equilibrium

In this section, we will discuss the local and global stability of the endemic equilibrium. The endemic equilibrium of the system (4) can be deduced by the following equations:

Clearly, the system (4) has a unique endemic equilibrium when and no endemic equilibrium when , where , , and .

In the following, we will consider the locally asymptotical stability of the positive equilibrium when .

Theorem 5. * If , the endemic equilibrium is locally asymptotically stable.*

* Proof. * Jacobian matrix of the system (4) is evaluated at the endemic equilibrium :

The eigenvalue problem for the Jacobian matrix (18) provides the characteristic equation
where the coefficients () are

Note that , , and if .

Expressing in terms of , we have
where
Clearly, since . Then it becomes obvious from the expression for , and that . Hence, thanks to the Routh-Hurwitz criterion all eigenvalues of have negative real part, and consequently is locally asymptotically stable.

We have shown that implies the existence and uniqueness of the endemic equilibrium . In the following, we provide sufficient conditions leading to a globally asymptotically stable infected steady state when . The stability analysis of will be here performed through the geometric approach to global stability due to Li and Muldowney [10–12]. Firstly, we will summarize the main facts related to our research.

Let us consider the system of differential equations
where is an open subset on and is twice continuously differentiable in . The noncontinuable solution of (23) satisfying is denoted by , the positive (negative) semiorbit through is denoted by , and the orbit through is denoted by . We use the notation for the positive (negative) limit set of , provided the latter semiorbit has compact closure in .

The system (23) is competitive in [13–16] if, for some diagonal matrix , where is either or , has nonpositive off-diagonal elements for , where is the Jacobian of (23). It is shown in [16] that if is convex the flow of such a system preserves for the partial order in defined by the orthant

Hirsch [13] and Smith [15, 16] proved that three-dimensional competitive systems that live in convex sets have the Poincare-Bendixson property [17]; that is, any nonempty compact omega limit set that contains no equilibria must be a closed orbit.

We recall additional definitions that we will use later. We first recall the basic definitions in [18]. Suppose that (23) has a periodic solution with minimal period and orbit . This orbit is orbitally stable if and only if, for each , there exists a such that any solution , for which the distance of from is less , remains at a distance less than from for all . It is asymptotically orbitally stable, if the distance of from also tends to 0 as goes to . This orbit is asymptotically orbitally stable with asymptotic phase if it is asymptotically orbitally stable and there exists a , such that, any solution , for which the distance of from is less than , satisfying as for some which may depend on .

*Definition 6. *We say that the system (23) has the property of stability of periodic orbits if and only if the orbit of any periodic solution , if it exists, is asymptotically orbitally stable.

The following lemma is the main tool to prove the global stability of the endemic equilibrium with disease.

Lemma 7 (see [19]). * Assume that and is convex and bounded. Suppose that (4) is competitive and persistent and has the property of stability of the periodic orbits. If is the only equilibrium in int () and if it is locally asymptotically stable, then it is globally asymptotically stable in int ().*

In order to apply this lemma to prove the globally asymptotically stability of the endemic equilibrium, we will prove the persistence of the system (4).

Theorem 8. * On the boundary of , the system (4) has only one -limit point which is the equilibrium . Moreover, for , cannot be the -limit of any orbit in int().*

* Proof. * The vector field is transversal to the boundary of except in the -axis, which is invariant with respect to (4). On the -axis we have
which implies that as . Therefore, is the only -limit point on the boundary of .

To prove the second part of the position, we consider the function
the derivative of which along solutions is given by
Since , then and . Therefore, there exists a neighborhood of such that for the expression inside the brackets is positive. In this neighborhood, we have unless . Moreover, the level sets of are the planes
which go away from the -axis as increase. Since increases along the orbits starting in , we conclude that they go away from . This proves the proposition and therefore the persistence of system (4) when .

By looking at the Jacobian matrix of the system (4) and choosing the matrix as
we can see that the system (4) is competitive in , with respect to the partial order defined by the orthant , , . Our main results will follow from this observation and the above theorems.

Theorem 9. * If , then the positive equilibrium of the system (4) is globally asymptotically stable.*

* Proof. * Since the system (4) is competitive permanent if holds and the only equilibrium point of the system (4) is locally asymptotically stable. Furthermore, in accordance with Lemma 7, Theorem 9 would be established if we show that the system (4) has the property of stability of periodic orbits. In the following, we prove it.

Let be a periodic solution whose orbit is contained in and suppose that its minimal period is . The second compound equation is the following periodic linear system:
where and is derived from the Jacobian matrix of the system (4) and defined as follows: For the solution , (30) becomes

To prove that (32) is globally asymptotically stable, we shall use the following Lyapunov function:

Function (33) is positive, but not differentiable everywhere. Fortunately, this lack of differentiability can be remedied by using the right derivative of , denoted as . Then we have the following equalities:

Therefore,

Define Rewriting the last two equations of (4) as then

Thus, we obtain It follows from (38) that , and thus, from (39) and Gronwall’s inequality, we obtain Since in int(), which implies that as , therefore, , as . This implies that the linear system (32) is asymptotically stable, and therefore, the periodic solution is asymptotically orbitally stable. This proves the theorem.

#### 5. Numerical Simulations and Disease Control

In this paper, we investigate the dynamical behavior of a pine wilt disease model that incorporates a standard incidence rate. Qualitative analysis of the model is presented. The model has two equilibria, the disease-free equilibrium and endemic equilibrium. The behavior of the system (4) near each equilibrium has been studied. Threshold value of the relative basic reproductive number which determines the spread of infection has been worked out.

We obtain the basic reproduction number of the system (4), . Furthermore, we obtain that the disease-free equilibrium of the system (4) is globally asymptotically stable when (see Figure 2(c)). And if , the endemic equilibrium is globally asymptotically stable (see Figure 2(b)). That is to say, if and are lower than the threshold 1, the system of forest insect pest appears in disease-free state, that is, Bursaphelenchus xylophilus will be eradicated ultimately, which is what we hope; if , while , though the pine wilt disease could occur, the outbreak will stop since the infected pine decreases to the disease-free equilibrium. If is larger than 1, the system of forest insect pest have insect pests equilibrium, that is Bursaphelenchus xylophilus will not disappear, and with the time to develop, susceptible pine, infected pine, Bursaphelenchus xylophilus, and its vector will be extend to a stable state, that is, pine wilt disease will in an endemic steady state.

By simple calculation, we can find . Hence, we can make by increasing . Also from Figure 2, we can find that in Figure 2(b) and the pine wilt disease is not disappearing. As increases from to , we calculate the in Figure 2(c), keeping all the other parameters the same as in Figure 2(b). Thus, the disease-free equilibrium of system (4) is globally asymptotically stable, and Bursaphelenchus xylophilus will be eradicated ultimately. From the Remark 4, we know that the pine wilt disease will not break out when . So we only need to lower to less than 1 to control the pine wilt disease. We can also find and by a simple calculation. Hence, we can make by increasing or (and) . Since and are the mortality of *Monochamus alternatus* and the percent isolated and felled of pine which has been infected by Bursaphelenchus xylophilus, respectively, we can increase or (and) by various control efforts in reality. On the one hand, we can take a set of measures to increase the mortality of Monochamus alternatus, for example, setting out beetle traps, setting vertical wood traps, releasing the natural enemies of Bursaphelenchus xylophagous (such as releasing the Scleroderma guanior), using chemicals to kill sawyer beetles to reduce the number of longhomed beetle. On the other hand, we can also take a set of techniques for specialized treatment of timber to increase the mortality of infected longhorned beetle; removal of dying branches on affected trees or dead and dying trees and fumigation of nematode-infested lumber.

But it is difficult to make by increasing or (and) dramatically in practice. In fact, although these above measures are very effective to control pine wilt disease, they have not yet been practiced to eradicate pine wilt disease ultimately because these measures require more cost and labor and even entail danger of forest fires that most owners of forests hesitate to use these measures.

From Theorem 8, we can know that the endemic equilibrium is globally asymptotically stable when . That is to say, if we do not control the pine wilt disease, then the disease will be prevalent, and it will achieve a balance in the ecological environment finally. But it will suffer large economic losses if we let the disease spread at will. If we do not control the parameters well, the pine which has been infected by Bursaphelenchus xylophilus at the endemic equilibrium will reach a significant number. As the infected wood can not be used as wood products, the loss of afforestation will be large. We have to think of any other ways to control pine wilt disease. We can control the number of infected pine trees in the infected equilibrium point by controlling some parameters.

We can also get and . is a decreasing function of parameter (or ). Hence, we can decrease by increasing (or ) properly. In this case, we need not increase (or ) large enough to make to eradicate the pine wilt disease, and we only need to control the infected pine in a lower level stable state (see Figure 3). In Figure 3(a), we illustrate the effect of varying on . Keeping all the other parameters the same as in Figure 2(b), we plot for different (). In Figure 3(b), we illustrate the effect of varying on . Keeping all the other parameters the same as in Figure 2(b), we plot for different (). The numerical simulations show that the infected pine approaches to the steady state , and decreases as or increases. Though the Bursaphelenchus xylophilus exists, the pine wilt disease spreads only in a low level, which can lower our economic losses to a large extent, and the pine wilt disease will not break out in the long time.

**(a)**

**(b)**

#### Acknowledgments

This work is supported by the National Natural Science Foundation of China (11171284 and 11071011), program for Innovative Research Team (in Science and Technology) in University of Henan Province (2010IRTSTHN006), Innovation Scientists and Technicians Troop Construction Projects of Henan Province (104200510011), Natural Science Foundation of the Education Department of Henan Province (2011B110028), and Key Project for the Education Department of Henan Province (13A110771).