Document not found! Please try again

Research Article Existence of Periodic Solutions and Stability of Zero

0 downloads 0 Views 3MB Size Report
Nov 28, 2013 - Lemma 1. If (H) holds, then ..... The conclusion of the lemma follows (27), (30). ..... Barbalat's lemma (Lemmas 1.2.2 and 1.2.3, Gopalsamy [15]),.
Hindawi Publishing Corporation Journal of Applied Mathematics Volume 2014, Article ID 765498, 10 pages http://dx.doi.org/10.1155/2014/765498

Research Article Existence of Periodic Solutions and Stability of Zero Solution of a Mathematical Model of Schistosomiasis Lin Li1,2 and Zhicheng Liu1,2 1 2

School of Biomedical Engineering, Capital Medical University, Beijing 100069, China Beijing Key Laboratory of Fundamental Research on Biomechanics in Clinical Application, Capital Medical University, Beijing 100069, China

Correspondence should be addressed to Zhicheng Liu; zcl [email protected] Received 29 July 2013; Revised 23 November 2013; Accepted 28 November 2013; Published 13 February 2014 Academic Editor: Yongkun Li Copyright Β© 2014 L. Li and Z. Liu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. A mathematical model on schistosomiasis governed by periodic differential equations with a time delay was studied. By discussing boundedness of the solutions of this model and construction of a monotonic sequence, the existence of positive periodic solution was shown. The conditions under which the model admits a periodic solution and the conditions under which the zero solution is globally stable are given, respectively. Some numerical analyses show the conditional coexistence of locally stable zero solution and periodic solutions and that it is an effective treatment by simply reducing the population of snails and enlarging the death ratio of snails for the control of schistosomiasis.

1. Introduction Schistosomiasis, a disease caused by a wormlike parasite, is one of the most prevalent parasitic diseases in the tropical and subtropical regions of the developing world. In China, despite remarkable achievements in schistosomiasis control over the past five decades, the disease still remains a major public health concern. It mainly prevails in 381 counties (cities, districts) of 12 provinces, autonomous regions, and municipalities along and to the south of the Yangtze River valley and caused a number of above 100 million victims (Chen, 2008 [1]). The mathematical models in schistosomiasis appeared in the 1960s (Macdonald, 1965 [2], Hairston, 1965 [3]). Since then, a number of mathematical models of the transmission dynamics of schistosomes have been developed (Williams et al., 2002 [4], Liang et al., 2005 [5], and references therein). Schistosomiasis is a serious infectious and parasitic disease transmitted through the medium of water. Male and female helminthes must mate in a host (e.g., humans, ducks, etc.). Thereafter, some of fertilized eggs leave the host in its feces. Upon contact with fresh water, it hatches and attempts to penetrate a snail. Once a snail is infected, a large number

of larvae are produced and swim freely in search of a host for reproduction. It might penetrate the skin of a host or be ingested with water or food grown in the water (Lucas, 1983 [6], Hoppensteadt, and Peskin, 1992 [7]). According to the process above Lucas, 1983 [6], provided a modified version of MacDonald’s model: 𝑑𝑖 = βˆ’π‘–π›Ώ + 𝐢 (π‘š) 𝐡 (𝑆 βˆ’ 𝑖) , 𝑑𝑑 π‘‘π‘š 𝐴 = βˆ’π‘Ÿπ‘š + 𝑖 , 𝑑𝑑 𝑆

(1)

where (also see Wu, 2005 [8]) π‘š is the mean number of worms upon each host and 𝑖 is the number of infected snails. The constants π‘Ÿ and 𝛿 are death probabilities of worms and snails, and 𝑆 is the number (fixed) of snails. The 𝐴 indicates the ratio of infection caused in final host population by a snail per unit time, while the 𝐡 means the ratio of infection in snail population caused by a worm per unit time. The 𝐢(π‘š) represents the probability of a snail infected once per time unit. If we suppose that 𝐢(π‘š) = π‘š2 /(π‘š + 1) (Hoppensteadt and Peskin 1992 [7]) and consider that there is a delay 𝑇 β‰₯ 0

2

Journal of Applied Mathematics

due to the development period of helminthes, then there is the following system: 𝑑π‘₯ (𝑑) 𝐴 = βˆ’π‘Ÿπ‘₯ (𝑑) + 𝑦 (𝑑) , 𝑑𝑑 𝑆 𝑑𝑦 (𝑑) π‘₯2 (𝑑 βˆ’ 𝑇) . = βˆ’π›Ώπ‘¦ (𝑑) + 𝐡 (𝑆 βˆ’ 𝑦 (𝑑)) 𝑑𝑑 1 + π‘₯ (𝑑 βˆ’ 𝑇)

π‘₯ (πœƒ) = π‘₯0 (πœƒ) > 0,

πœ‹π‘‘ 2πœ‹π‘‘ βˆ’ 2.897 cos 6 6

πœ‹π‘‘ 2πœ‹π‘‘ + 4.036 sin βˆ’ 0.441 sin , 6 6 2πœ‹π‘‘ πœ‹π‘‘ βˆ’ 0.006 cos 𝛿 (𝑑) = 0.048 βˆ’ 0.030 cos 12 12 βˆ’ 0.047 sin

which is generated by fitting the data reported in Lu et al., 2005 [9]. Therefore, the system (2) might be modified by 𝑑π‘₯ (𝑑) 𝐴 𝑦 (𝑑) , = βˆ’π‘Ÿπ‘₯ (𝑑) + 𝑑𝑑 𝑆 (𝑑) 𝑑𝑦 (𝑑) π‘₯2 (𝑑 βˆ’ 𝑇) = βˆ’π›Ώ (𝑑) 𝑦 (𝑑) + 𝐡 (𝑆 (𝑑) βˆ’ 𝑦 (𝑑)) . 𝑑𝑑 1 + π‘₯ (𝑑 βˆ’ 𝑇)

(4)

It is easy to check that system (4) does not belong to the situations studied in the literature (Tang and Kuang, 1997 [10], Tang and Zhou, 2006 [11], and Fan and Zou, 2004 [12]), though the systems therein are more general. The aim of this paper is to study the existence of periodic solution of the system (4). The periodic solutions of the models of schistosomiasis relate to the periodic phenomenon in epidemiology and control of schistosomiasis. As an application, we will discuss what conditions enable the zero solution of the model stable. We will also perform numerical simulations, which indicate that the conditions of existence of periodic solution can be further improved. To begin with, we study the boundedness of solutions of model (4). And then we will prove the existence of periodic solutions of this model and discuss the stability of zero solution.

2. Preliminaries The following assumptions apply to the whole paper concerning model (4). (H) The constants 𝐴, 𝐡, and π‘Ÿ are positive, and 𝛿(𝑑), 𝑆(𝑑) are periodic continuous positive functions with period of πœ”: 𝛿0 = min 𝛿 (𝑑) > 0, π‘‘βˆˆ[0,πœ”]

𝑆0 = min 𝑆 (𝑑) > 0. π‘‘βˆˆ[0,πœ”]

The following results will be used in next sections.

Proof. Let (π‘₯(𝑑), 𝑦(𝑑)) be the solution of (4) and (6). By the first equation of (4), we have 𝑑

0

πœ‹π‘‘ 2πœ‹π‘‘ + 0.021 sin , 12 12

(5)

(6)

is positive; that is, π‘₯(𝑑) β‰₯ 0, 𝑦(𝑑) β‰₯ 0, and π‘₯(𝑑) + 𝑦(𝑑) > 0 for 𝑑 ∈ 𝐼0 , the interval of existence of (π‘₯(𝑑), 𝑦(𝑑)).

π‘₯ (𝑑) = π‘₯0 (0) π‘’βˆ’π‘Ÿπ‘‘ + ∫ (3)

πœƒ ∈ [βˆ’π‘‡, 0] ,

𝑦 (0) = 𝑦0 > 0

(2)

In fact, as reported by Lu et al., 2005 [9], the number of snails 𝑆 and the death ratio of snails 𝛿 are related to time; for example, 𝑆 (𝑑) = 6.060 + 0.750 cos

Lemma 1. If (H) holds, then the solution (π‘₯(𝑑), 𝑦(𝑑)) of periodic system (4) with initial value

𝐴 𝑦 (πœƒ) π‘’βˆ’π‘Ÿ(π‘‘βˆ’πœƒ) π‘‘πœƒ. 𝑆 (πœƒ)

(7)

So, π‘₯(𝑑) > 0 as long as 𝑦(𝑑) β‰₯ 0. By the continuity of solutions, there is a 𝑑1 > 0 such that 𝑦(𝑑) > 0 for 𝑑 ∈ [0, 𝑑1 ). If we suppose that there exists a π‘‘βˆ— > 0 such that 𝑦 (𝑑) > 0,

𝑑 ∈ [0, π‘‘βˆ— ) ,

𝑦 (π‘‘βˆ— ) = 0,

𝑑 ∈ (π‘‘βˆ— , π‘‘βˆ— + 𝜏1 ) ,

𝑦 (𝑑) < 0,

(8)

where 𝜏1 is a positive number. By (7), π‘₯(𝑑) > 0 holds for 𝑑 ∈ [βˆ’π‘‡, π‘‘βˆ— ]. By the continuity of solutions again, there is a 𝜏2 > 0 such that π‘₯(𝑑) > 0 for 𝑑 ∈ [π‘‘βˆ— , π‘‘βˆ— + 𝜏2 ). Therefore in interval [π‘‘βˆ— , π‘‘βˆ— + 𝜏) (𝜏 = min(𝜏1 , 𝜏2 )), there hold 𝑦(𝑑) < 0 and 𝑑𝑦 (𝑑) = βˆ’π›Ώ (𝑑) 𝑦 (𝑑) 𝑑𝑑 + 𝐡 (𝑆 (𝑑) βˆ’ 𝑦 (𝑑))

π‘₯2 (𝑑 βˆ’ 𝑇) > βˆ’π›Ώ (𝑑) 𝑦 (𝑑) , 1 + π‘₯ (𝑑 βˆ’ 𝑇) 𝑑 ∈ [π‘‘βˆ— , π‘‘βˆ— + 𝜏) , (9)

which implies that 𝑦(𝑑) β‰₯ 𝑒(𝑑) for 𝑑 ∈ (π‘‘βˆ— , π‘‘βˆ— + 𝜏) where 𝑒(𝑑) is the solution of differential equation 𝑒󸀠 (𝑑) = βˆ’π›Ώ(𝑑)𝑒(𝑑) and 𝑒(π‘‘βˆ— ) = 0. This is a contradiction to (8). Thus the π‘‘βˆ— does not exist. The proof is completed. Lemma 2. Suppose that (H) holds. Then the interval of existence of the solution of periodic systems (4) and (6) is [0, +∞). Proof. By Lemma 1, the solution (π‘₯(𝑑), 𝑦(𝑑)) of (4) and (6) is positive. Suppose that [0, π‘‘βˆ— ) is the maximal interval of existence of (π‘₯(𝑑), 𝑦(𝑑)); that is, lim𝑑 β†’ π‘‘βˆ— π‘₯(𝑑) = +∞ or lim𝑑 β†’ π‘‘βˆ— 𝑦(𝑑) = +∞. If lim𝑑 β†’ π‘‘βˆ— 𝑦(𝑑) = +∞ is true, then there is 𝑑0βˆ— < π‘‘βˆ— such that 𝑦 (𝑑0βˆ— ) = 𝑆0 = max 𝑆 (𝑑) > 0, π‘‘βˆˆ[0,πœ”]

0

𝑦 (𝑑) > 𝑆 ,

π‘‘βˆˆ

(𝑑0βˆ— , π‘‘βˆ— ) ,

(10)

Journal of Applied Mathematics

3

which imply that

By the second equation of (4), we get

𝑑𝑦 (𝑑) π‘₯2 (𝑑 βˆ’ 𝑇) = βˆ’π›Ώ (𝑑) 𝑦 (𝑑) + 𝐡 (𝑆 (𝑑) βˆ’ 𝑦 (𝑑)) 𝑑𝑑 1 + π‘₯ (𝑑 βˆ’ 𝑇) < βˆ’π›Ώ (𝑑) 𝑦 (𝑑) ,

π‘‘βˆˆ

0= (11)

[𝑑0βˆ— , π‘‘βˆ— ) .

𝑑 𝑦 (𝑑 ) 𝑑𝑑 0 𝑗

= βˆ’π›Ώ (𝑑𝑗 ) 𝑦0 (𝑑𝑗 ) + 𝐡 (𝑆 (𝑑𝑗 ) βˆ’ 𝑦0 (𝑑𝑗 ))

It follows comparison principle that < βˆ’π›Ώ (𝑑𝑗 ) 𝑦0 (𝑑𝑗 ) < 0,

𝑑

𝑦 (𝑑) ≀ 𝑒 (𝑑) = 𝑦 (𝑑0βˆ— ) exp (βˆ’ ∫ 𝛿 (𝑠) 𝑑𝑠) 𝑑0βˆ—

𝑑

0

= 𝑆 exp (βˆ’ ∫ 𝛿 (𝑠) 𝑑𝑠) , 𝑑0βˆ—

(𝑑0βˆ— , π‘‘βˆ— )

holds, where 𝑒(𝑑) is the solution of differential equation 𝑒󸀠 (𝑑) = βˆ’π›Ώ(𝑑)𝑒(𝑑) and 𝑒(𝑑0βˆ— ) = 𝑦(𝑑0βˆ— ) = 𝑆0 . Obviously, (12) contradicts (10) due to 𝛿(𝑑) β‰₯ 𝛿0 > 0 in (H), which means that lim𝑑 β†’ π‘‘βˆ— 𝑦(𝑑) = +∞ does not hold. Since the function (𝐴/𝑆(𝑒))𝑦(𝑒)π‘’π‘Ÿ(𝑒) is continuous, one gets that 𝑑

lim π‘₯ (𝑑) = limβˆ— [π‘’βˆ’π‘Ÿπ‘‘ ∫

𝑑 β†’ π‘‘βˆ—

𝑑→𝑑

0

𝐴 𝑦 (𝑒) π‘’π‘Ÿπ‘’ 𝑑𝑒] < +∞. 𝑆 (𝑒)

(13)

Theorem 3. Suppose that (H) holds. Let (π‘₯(𝑑), 𝑦(𝑑)) be a solution of (4) and (6); then there is a number 𝑀 > 0, which is independent of (π‘₯(𝑑), 𝑦(𝑑)), such that lim sup𝑦 (𝑑) ≀ 𝑀. 𝑑 β†’ +∞

(14)

Proof. We claim that lim sup𝑑 β†’ +∞ 𝑦(𝑑) ≀ 𝑆0 = max[0,πœ”] 𝑆(𝑑). In fact, if it is false, then there are two cases. 0

(i) One has a 𝑇0 > 0 such that 𝑦0 (𝑑) > 𝑆 for 𝑑 β‰₯ 𝑇0 . By the second equation of (4), 𝑑𝑦0 (𝑑) π‘₯2 (𝑑 βˆ’ 𝑇) = βˆ’π›Ώ (𝑑) 𝑦0 (𝑑) + 𝐡 (𝑆 (𝑑) βˆ’ 𝑦0 (𝑑)) 𝑑𝑑 1 + π‘₯ (𝑑 βˆ’ 𝑇) (15) < βˆ’π›Ώ (𝑑) 𝑦0 (𝑑) ,

𝑑 β‰₯ 𝑇0 ,

which implies that for, 𝑑 β‰₯ 𝑇0 , the inequality 𝑦0 (𝑑) < 𝑑

𝑦0 (𝑇0 )π‘’βˆ’ βˆ«π‘‡ 𝛿(𝑠)𝑑𝑠 β†’ 0, (𝑑 β†’ +∞) is true. This is a contradiction.

(ii) The solution 𝑦0 (𝑑) is oscillatory with respect to 𝑆0 . Then there a sequence {𝑑𝑛 } with 𝑑𝑛 β†’ ∞ as 𝑛 β†’ ∞, such that 𝑦0 (𝑑𝑗 ) > 𝑆0 ,

𝑑 𝑦 (𝑑 ) = 0, 𝑑𝑑 0 𝑗

𝑗 = 1, 2, . . . .

lim sup 𝑦 (𝑑) ≀ 𝑆0 = max 𝑆 (𝑑) . [0,πœ”]

𝑑 β†’ +∞

(18)

By (18), one has a 𝑇1 > 0 large enough such that 𝑦(𝑑) ≀ 𝑆0 for 𝑑 β‰₯ 𝑇1 . The first equation of (4) gives that 𝑑π‘₯ (𝑑) 𝐴 𝐴 0 = βˆ’π‘Ÿπ‘₯ (𝑑) + 𝑦 (𝑑) ≀ βˆ’π‘Ÿπ‘₯ (𝑑) + 𝑆 𝑑𝑑 𝑆 (𝑑) 𝑆 (𝑑) (19) 𝑑 β‰₯ 𝑇1 ,

which implies that

Now we give a result of boundedness of solutions.

𝑑 β†’ +∞

𝑗 = 1, 2, . . . ,

which is a contradiction. Thus the following inequality is true:

𝐴𝑆0 ≀ βˆ’π‘Ÿπ‘₯ (𝑑) + , 𝑆0

It completes the proof.

lim supπ‘₯ (𝑑) ≀ 𝑀,

1 + π‘₯ (𝑑𝑗 βˆ’ 𝑇)

(17) (12)

π‘‘βˆˆ

π‘₯2 (𝑑𝑗 βˆ’ 𝑇)

(16)

lim sup π‘₯ (𝑑) ≀ 𝑑 β†’ +∞

𝐴 0 𝑆0 . π‘Ÿπ‘†0

(20)

It is obvious that (14) follows (18) and (20). The proof is completed.

3. Existence of Periodic Solution Suppose that (H) holds. We will discuss the existence of πœ”periodic solution of (4)–(6). Lemma 4. Assume that there is a number 𝛼 > 0, such that 𝐴𝐡𝑆0 𝛼 β‰₯ π‘Ÿπ‘†0 [𝛿0 (1 + 𝛼) + 𝐡𝛼2 ], where 𝛿0 = maxπ‘‘βˆˆ[0,πœ”] 𝛿(𝑑). Then the following differential equations 𝑑π‘₯ (𝑑) 𝐴 = βˆ’π‘Ÿπ‘₯ (𝑑) + 𝑦 (𝑑) , 𝑑𝑑 𝑆 (𝑑) 𝑑𝑦 (𝑑) 𝛼2 = βˆ’π›Ώ (𝑑) 𝑦 (𝑑) + 𝐡 (𝑆 (𝑑) βˆ’ 𝑦 (𝑑)) 𝑑𝑑 1+𝛼

(21)

admit a unique positive πœ”-periodic solution (π‘₯βˆ— (𝑑), π‘¦βˆ— (𝑑)), satisfying π‘₯βˆ— (𝑑) β‰₯ 𝛼,

π‘¦βˆ— (𝑑) β‰₯

𝐡𝑆0 𝛼2 , 𝛿0 (1 + 𝛼) + 𝐡𝛼2 𝑑 ∈ [0, πœ”] .

(22)

4

Journal of Applied Mathematics

Proof. Since the second equation of (21)

Thus there holds that 2

𝑑𝑦 (𝑑) 𝛼 = βˆ’π›Ώ (𝑑) 𝑦 (𝑑) + 𝐡 (𝑆 (𝑑) βˆ’ 𝑦 (𝑑)) 𝑑𝑑 1+𝛼 = βˆ’ (𝛿 (𝑑) +

𝐡𝛼2 𝐡𝛼2 ) 𝑦 (𝑑) + 𝑆 (𝑑) 1+𝛼 1+𝛼

π‘₯βˆ— (𝑑) β‰₯ (23)

πœ”

𝛼2 β‰₯ βˆ’π›Ώ 𝑦 (𝑑) + 𝐡 (𝑆0 βˆ’ 𝑦 (𝑑)) , 1+𝛼 and that the following equation,

(24)

0

𝑑𝑒 (𝑑) 𝛼2 = βˆ’π›Ώ0 𝑒 (𝑑) + 𝐡 (𝑆0 βˆ’ 𝑒 (𝑑)) , 𝑑𝑑 1+𝛼

𝐡𝑆0 𝛼2 , 𝛿0 (1 + 𝛼) + 𝐡𝛼2

(𝑑 󳨀→ +∞) ,

𝑑𝑦 (𝑑) πœ‡2 (𝑑 βˆ’ 𝑇) , = βˆ’π›Ώ (𝑑) 𝑦 (𝑑) + 𝐡 (𝑆 (𝑑) βˆ’ 𝑦 (𝑑)) 𝑑𝑑 1 + πœ‡ (𝑑 βˆ’ 𝑇)

(26)

is true for 𝑑 β‰₯ 0, where 𝑒 (𝑑) is the solution of (25) with π‘’βˆ— (0) = π‘¦βˆ— (0). Noting that π‘¦βˆ— (𝑑) is a periodic function, we obtain 𝐡𝑆0 𝛼2 , 𝑦 (𝑑) β‰₯ 0 𝛿 (1 + 𝛼) + 𝐡𝛼2

𝑑π‘₯ (𝑑) 𝐴 𝑦 (𝑑) , = βˆ’π‘Ÿπ‘₯ (𝑑) + 𝑑𝑑 𝑆 (𝑑)

𝑑 ∈ [0, πœ”] .

𝑑

𝑦 (𝑑) = 𝑦0 exp [βˆ’ ∫ (𝛿 (πœƒ) + 0

(27)

0

β‰₯ π‘₯βˆ— (0) π‘’βˆ’π‘Ÿπ‘‘ +

𝐴 βˆ— 𝑦 (πœƒ) π‘’βˆ’π‘Ÿ(π‘‘βˆ’πœƒ) π‘‘πœƒ 𝑆 (πœƒ)

𝐡𝑆0 𝛼2 𝐴 1 = 0 0 𝑆 𝛿 (1 + 𝛼) + 𝐡𝛼2 π‘Ÿ

(28)

𝑑

𝐴 𝑦 (πœƒ) π‘’βˆ’π‘Ÿ(π‘‘βˆ’πœƒ) 𝑑𝑒, 𝑆 (πœƒ)

(33)

where πœ”

πœ”

0

πœƒ

𝑦0 = ( ∫ exp [βˆ’ ∫ (𝛿 (πœ‰) +

π‘₯βˆ— (0)

Γ— πœ”

∫0 (π΄π‘¦βˆ— (πœƒ) π‘’βˆ’π‘Ÿ(πœ”βˆ’πœƒ) /𝑆 (πœƒ)) π‘‘πœƒ (𝐴/𝑆0 ) (𝐡𝑆0 𝛼2 / (𝛿0 (1 + 𝛼) + 𝐡𝛼2 )) (1/π‘Ÿ) (1 βˆ’ π‘’βˆ’π‘Ÿπœ” ) 1 βˆ’ π‘’βˆ’π‘Ÿπœ”

π΅πœ‡2 (πœ‰ βˆ’ 𝑇) ) π‘‘πœ‰] 1 + β„Ž (πœ‰ βˆ’ 𝑇)

π΅πœ‡2 (πœƒ βˆ’ 𝑇) 𝑆 (πœƒ) π‘‘πœƒ) 1 + πœ‡ (πœƒ βˆ’ 𝑇) βˆ’1

π΅πœ‡2 (πœƒ βˆ’ 𝑇) ) π‘‘πœƒ]) . Γ— (1 βˆ’ exp [βˆ’ ∫ (𝛿 (πœƒ) + 1 + πœ‡ (πœƒ βˆ’ 𝑇) 0 (34) πœ”

1 βˆ’ π‘’βˆ’π‘Ÿπœ”

𝐡𝑆0 𝛼2 1 𝐴 . 0 0 𝑆 𝛿 (1 + 𝛼) + 𝐡𝛼2 π‘Ÿ

(32)

π΅πœ‡2 (πœƒ βˆ’ 𝑇) 𝑆 (πœƒ) π‘‘πœƒ, 1 + πœ‡ (πœƒ βˆ’ 𝑇)

𝐴 1 𝑦 (πœƒ) π‘’βˆ’π‘Ÿ(πœ”βˆ’πœƒ) π‘‘πœƒ, π‘₯ = ∫ 1 βˆ’ π‘’βˆ’π‘Ÿπœ” 0 𝑆 (πœƒ)

where

=

π΅πœ‡2 (πœ‰ βˆ’ 𝑇) ) π‘‘πœ‰] 1 + πœ‡ (πœ‰ βˆ’ 𝑇)

πœ”

0

𝐡𝑆0 𝛼2 1 βˆ’π‘Ÿπ‘‘ 𝐴 + (π‘₯ (0) βˆ’ 0 0 )𝑒 , 2 𝑆 𝛿 (1 + 𝛼) + 𝐡𝛼 π‘Ÿ

β‰₯

πœƒ

0

βˆ—

=

0

π‘₯ (𝑑) = π‘₯0 π‘’βˆ’π‘Ÿπ‘‘ + ∫

2

𝐡𝑆0 𝛼 1 𝐴 (1 βˆ’ π‘’βˆ’π‘Ÿπ‘‘ ) 𝑆0 𝛿0 (1 + 𝛼) + 𝐡𝛼2 π‘Ÿ

𝑑

Γ—

Substitute 𝑦 = 𝑦 (𝑑) into the first equation of (21); we get 𝑑

𝑑

π΅πœ‡2 (πœƒ βˆ’ 𝑇) ) π‘‘πœƒ] 1 + πœ‡ (πœƒ βˆ’ 𝑇)

+ ∫ exp [βˆ’ ∫ (𝛿 (πœ‰) +

βˆ—

π‘₯βˆ— (𝑑) = π‘₯βˆ— (0) π‘’βˆ’π‘Ÿπ‘‘ + ∫

(31)

admit a unique πœ”-periodic solution:

βˆ—

βˆ—

(30)

Let πΆπœ” (𝑅) = {π‘₯ ∈ 𝐢(𝑅) : π‘₯(𝑑 + πœ”) = π‘₯(𝑑), 𝑑 ∈ 𝑅} be the set of all continuous functions in [0, πœ”] with the distance norm β€–πœ‡(𝑑) βˆ’ ](𝑑)β€– = maxπ‘‘βˆˆ[0,πœ”] |πœ‡(𝑑) βˆ’ ](𝑑)|; then πΆπœ” (𝑅) is a Banach space. Let πœ‡(𝑑) be a continuous πœ”-periodic function satisfying 𝛼 ≀ πœ‡(𝑑) ≀ 𝛽, 𝑑 ∈ [0, πœ”], where 𝛽 = 𝐴𝑆0 /𝑆0 π‘Ÿ. Denote the set of such functions by 𝐷, clearly, 𝐷 βŠ† 𝐢[0, πœ”]. For any πœ‡ ∈ 𝐷, the following differential equations,

(25)

has a globally stable equilibrium π‘’βˆ— = 𝐡𝑆0 𝛼2 /(𝛿0 (1+𝛼)+𝐡𝛼2 ). Therefore, by comparison principle, the following inequality, π‘¦βˆ— (𝑑) β‰₯ π‘’βˆ— (𝑑) 󳨀→

𝑑 ∈ [0, πœ”] .

The conclusion of the lemma follows (27), (30). It completes the proof.

is a linear equation with respect to 𝑦(𝑑) and ∫0 (𝐡𝛼2 /(1 + 𝛼) + 𝛿(𝑑))𝑑𝑑 > 0, it admits a unique periodic solution denoted by π‘¦βˆ— (𝑑). It is obvious that there holds 𝑑𝑦 (𝑑) 𝛼2 = βˆ’π›Ώ (𝑑) 𝑦 (𝑑) + 𝐡 (𝑆 (𝑑) βˆ’ 𝑦 (𝑑)) 𝑑𝑑 1+𝛼

𝐡𝑆0 𝛼2 1 𝐴 β‰₯𝛼 0 0 2 𝑆 𝛿 (1 + 𝛼) + 𝐡𝛼 π‘Ÿ

Obviously, π‘₯(𝑑) ∈ πΆπœ” (𝑅) is a periodic function. By the proof of Theorem 3, one knows that lim sup𝑑 β†’ +∞ π‘₯(𝑑) ≀ 𝐴 0 𝑆0 /π‘Ÿπ‘†0 , (29)

and so π‘₯(𝑑) ≀ 𝛽, 𝑑 ∈ [0, πœ”].

Journal of Applied Mathematics

5

Denote by 𝑇 the mapping from 𝐷 into πΆπœ” (𝑅) defined by (32)–(34); that is, 𝑇 : 𝐷 β†’ πΆπœ” (𝑅), π‘₯ = π‘‡πœ‡. Lemma 5. The mapping 𝑇 is monotonic; that is, if πœ‡1 , πœ‡2 ∈ 𝐷 and πœ‡1 (𝑑) ≀ πœ‡2 (𝑑) for 𝑑 ∈ [0, πœ”], then (π‘‡πœ‡2 )(𝑑) β‰₯ (π‘‡πœ‡1 )(𝑑), for 𝑑 ∈ [0, πœ”]. Proof. Let πœ‡1 , πœ‡2 ∈ 𝐷 and πœ‡1 ≀ πœ‡2 . Substitute πœ‡1 , πœ‡2 into the second equation of (21); one gets 𝑑𝑦𝑗 (𝑑) 𝑑𝑑

= βˆ’π›Ώ (𝑑) 𝑦𝑗 (𝑑) + 𝐡 (𝑆 (𝑑) βˆ’ 𝑦𝑗 (𝑑)) Γ—

πœ‡π‘—2 (𝑑 βˆ’ 𝑇) 1 + πœ‡π‘— (𝑑 βˆ’ 𝑇)

(35) ,

𝑗 = 1, 2.

which implies that (π‘‡πœ‡2 )(𝑑) β‰₯ (π‘‡πœ‡1 )(𝑑), for 𝑑 ∈ [0, πœ”]. It completes the proof of Lemma 5. By Lemma 5, we know that the mapping 𝑇 maps 𝐷 into 𝐷. Based on the results above, we can give the existence of periodic solution. Theorem 6. If (H) is satisfied and if there is a positive number 𝛼, such that 𝐴𝐡𝑆0 𝛼 β‰₯ π‘Ÿπ‘†0 [𝛿0 (1 + 𝛼) + 𝐡𝛼2 ], then (4) admits a positive periodic solution. Proof. For fixed 𝛼 satisfying 𝐴𝐡𝑆0 𝛼 β‰₯ π‘Ÿπ‘†0 [𝛿0 (1 + 𝛼) + 𝐡𝛼2 ], consider the following iterative sequence: π‘₯𝑛 = 𝑇π‘₯π‘›βˆ’1 ,

Therefore, 𝑑 (𝑦2 (𝑑) βˆ’ 𝑦1 (𝑑)) 𝑑𝑑 = βˆ’π›Ώ (𝑑) (𝑦2 (𝑑) βˆ’ 𝑦1 (𝑑)) + 𝐡 (𝑆 (𝑑) βˆ’ 𝑦2 (𝑑)) βˆ’ 𝐡 (𝑆 (𝑑) βˆ’ 𝑦1 (𝑑))

πœ‡22 (𝑑 βˆ’ 𝑇) 1 + πœ‡2 (𝑑 βˆ’ 𝑇)

πœ‡12 (𝑑 βˆ’ 𝑇) 1 + πœ‡1 (𝑑 βˆ’ 𝑇)

β‰₯ βˆ’ (𝑦2 (𝑑) βˆ’ 𝑦1 (𝑑)) (𝛿 (𝑑) + 𝐡

πœ‡12 (𝑑 βˆ’ 𝑇) ). 1 + πœ‡1 (𝑑 βˆ’ 𝑇)

By comparison principle, the solution 𝑒(𝑑) of the following initial value problem,

(37)

𝑒 (0) = 𝑦2 (0) βˆ’ 𝑦1 (0) ,

πœ‡2 (πœƒ βˆ’ 𝑇) + 𝛿 (πœƒ)] π‘‘πœƒ) 󳨀→ 0, = 𝑒 (0) exp (βˆ’ ∫ [ 1 0 1 + πœ‡1 (πœƒ βˆ’ 𝑇) 𝑑

(𝑑 󳨀→ +∞) . (38) Because of the periodicity of 𝑦2 βˆ’ 𝑦1 , one has 𝑦2 (𝑑) β‰₯ 𝑦1 (𝑑) for 𝑑 ∈ [0, πœ”]. By (33) we obtain that, for 𝑑 ∈ [0, πœ”], π‘₯2 (𝑑) βˆ’ π‘₯1 (𝑑)

𝑑2

= (π‘’βˆ’π‘Ÿπ‘‘2 βˆ’ π‘’βˆ’π‘Ÿπ‘‘1 ) 𝑒0 + ∫ π‘’βˆ’π‘Ÿ(𝑑2 βˆ’π‘ ) 𝑑1

𝐴 𝑦 (πœƒ) π‘‘πœƒ, 𝑆 (πœƒ) 𝑒

(41)

where 𝑦𝑒 is determined by (32) with β„Ž(β‹…) = π‘’π‘›βˆ’1 (β‹…) and 𝑒0 is given by the second equation of (33) with 𝑦(β‹…) = 𝑦𝑒 (β‹…). By differential mean theorem, there is a 𝜏 between 𝑑1 and 𝑑2 such that

+

𝑑 𝑑 βˆ’π‘Ÿ(π‘‘βˆ’π‘ ) 𝐴 [∫ 𝑒 𝑦 (𝑠) 𝑑𝑠] (𝑑2 βˆ’ 𝑑1 ) 𝑑𝑑 0 𝑆 (𝑠) 𝑒 𝑑=𝜏

= βˆ’π‘Ÿπ‘’βˆ’π‘Ÿπœ 𝑒0 (𝑑2 βˆ’ 𝑑1 ) +[

𝜏 𝐴 𝐴 𝑦𝑒 (𝜏) + ∫ π‘’βˆ’π‘Ÿ(π‘‘βˆ’π‘ ) 𝑦 (𝑠) 𝑑𝑠] (𝑑2 βˆ’ 𝑑1 ) . 𝑆 (𝜏) 𝑆 (𝑠) 𝑒 0 (42)

Therefore

= (π‘₯20 βˆ’ π‘₯10 ) π‘’βˆ’π‘Ÿπ‘‘ + ∫

𝑑

0

𝐴 (𝑦 (πœƒ) βˆ’ 𝑦1 (πœƒ)) π‘’βˆ’π‘Ÿ(π‘‘βˆ’πœƒ) 𝑑𝑒 𝑆 (πœƒ) 2

πœ” 𝐴 π‘’βˆ’π‘Ÿπ‘‘ = (𝑦2 (πœƒ) βˆ’ 𝑦1 (πœƒ)) π‘’βˆ’π‘Ÿ(πœ”βˆ’πœƒ) π‘‘πœƒ ∫ βˆ’π‘Ÿπœ” 1βˆ’π‘’ 0 𝑆 (πœƒ)

0

From Lemmas 4-5, for any positive integer 𝑛, one has π‘₯𝑛 ∈ 𝐷 and that the {π‘₯𝑛 } is an increasing sequence. Let 𝐷0 = {π‘₯𝑛 (𝑑) | defined by (40), 𝑛 = 1, 2, . . .}. It is obvious that 𝐷0 βŠ‚ 𝐷 βŠ‚ 𝐢[0, πœ”], and so for any 𝑛, we have |π‘₯𝑛 (𝑑)| ≀ 𝛽, where 𝛽 is independent on 𝐷0 . We claim that 𝐷0 = {π‘₯𝑛 } is equicontinuous on 𝐷. In fact, for arbitrary πœ€ > 0 and any 𝑒𝑛 ∈ 𝐷0 , by (32)-(33), we get that the following equation holds for any 𝑑1 , 𝑑2 ∈ [0, πœ”],

= βˆ’π‘Ÿπ‘’βˆ’π‘Ÿπœ 𝑒0 (𝑑2 βˆ’ 𝑑1 )

𝑦2 (𝑑) βˆ’ 𝑦1 (𝑑) β‰₯ 𝑒 (𝑑)

𝑑

(40)

𝑒𝑛 (𝑑2 ) βˆ’ 𝑒𝑛 (𝑑1 )

for 𝑑 β‰₯ 0 satisfies

+∫

(𝑛 = 1, 2, . . .) .

𝑒𝑛 (𝑑2 ) βˆ’ 𝑒𝑛 (𝑑1 ) (36)

πœ‡2 (𝑑 βˆ’ 𝑇) 𝑑𝑒 (𝑑) 𝑒 (𝑑) , = βˆ’π›Ώ (𝑑) 𝑒 (𝑑) βˆ’ 𝐡 1 𝑑𝑑 1 + πœ‡1 (𝑑 βˆ’ 𝑇)

π‘₯0 = 𝛼

𝐴 (𝑦 (πœƒ) βˆ’ 𝑦1 (πœƒ)) π‘’βˆ’π‘Ÿ(π‘‘βˆ’πœƒ) 𝑑𝑒 β‰₯ 0, 𝑆 (πœƒ) 2

(39)

󡄨󡄨 󡄨 󡄨󡄨𝑒𝑛 (𝑑2 ) βˆ’ 𝑒𝑛 (𝑑1 )󡄨󡄨󡄨 𝐴 󡄨 󡄨 󡄨 󡄨 ≀ σ΅„¨σ΅„¨σ΅„¨βˆ’π‘Ÿπ‘’βˆ’π‘Ÿπœ 󡄨󡄨󡄨 𝑒0 󡄨󡄨󡄨(𝑑2 βˆ’ 𝑑1 )󡄨󡄨󡄨 + [ 𝑦 (𝜏)] 𝑆 (𝜏) 𝑒 󡄨󡄨 πœ” 󡄨󡄨 𝐴 󡄨 󡄨 󡄨 󡄨 + ∫ σ΅„¨σ΅„¨σ΅„¨π‘Ÿπ‘’βˆ’π‘Ÿ(πœβˆ’π‘ ) 𝑦𝑒 (𝑠)󡄨󡄨󡄨 𝑑𝑠 󡄨󡄨󡄨𝑑2 βˆ’ 𝑑1 󡄨󡄨󡄨 󡄨 󡄨 𝑆 (𝑠) 0 󡄨 󡄨 󡄨󡄨 󡄨 0 ≀ [π‘Ÿπ‘’ + 𝑀1 (1 + π‘Ÿπœ”)] 󡄨󡄨𝑑2 βˆ’ 𝑑1 󡄨󡄨󡄨 ,

(43)

6

Journal of Applied Mathematics 12

0.5

10

0.4

8

0.3

6 0.2

4

0.1

2 0

0

20

40

60

0.0

80

0

20

40

(a)

60

80

(b)

Figure 1: A periodic solution ((a) 𝐴 = 1, 𝐡 = 2.4, and π‘Ÿ = 0.2 satisfy the conditions of Theorem 6) and a solution tending to zero ((b) 𝐴 = 0.2, 𝐡 = 0.02, and π‘Ÿ = 1.5 satisfy the conditions of Theorem 7), where square is π‘₯(𝑑), line is 𝑦(𝑑), 𝑦0 = 0, and π‘₯0 (πœƒ) = cos(πœ‹πœƒ/10).

Guo 2001 [13]). Thus as π‘š β†’ +∞, it follows 0 ≀ π‘₯βˆ— βˆ’ π‘’π‘š ≀ π‘₯βˆ— βˆ’ π‘’π‘›π‘˜ β†’ 0. Replace πœ‡ in (32) and (34) by the limit π‘₯βˆ— ; we get π‘¦βˆ— . Obviously (π‘₯βˆ— , π‘¦βˆ— ) is the periodic solution of (4). It completes the proof.

8

6 4

4. Stability of Zero Solution Theorem 7. The zero solution of (4) is uniformly stable, if the following inequality holds:

2 0

0

20

40

60

max [(

80

π‘‘βˆˆ[0,πœ”]

Figure 2: Coexistence of a stable zero solution (solid squares and circles, 𝑦0 = 0.2, π‘₯0 (πœƒ) = 0.2) and a periodic solutions (dots and hollow squares, 𝑦0 = 2, π‘₯0 (πœƒ) = 2) where 𝐴 = 0.6, 𝐡 = 0.4, and π‘Ÿ = 0.8.

𝑑𝑉 | 𝑑𝑑 (4) 𝐴 𝑦) + 𝑦 [ βˆ’ 𝛿 (𝑑) 𝑦 + 𝐡 (𝑆 (𝑑) βˆ’ 𝑦) 𝑆 (𝑑)

󡄨󡄨 𝐴 󡄨󡄨 󡄨 󡄨 𝑦𝑒 (𝑑)󡄨󡄨󡄨 , 𝑀1 = max max 󡄨󡄨󡄨 󡄨󡄨 π‘‘βˆˆ[0,πœ”] 󡄨󡄨 𝑆 (𝑑) π‘₯0 = ≀

πœ” 𝐴 1 𝑦 (𝑠) 𝑑𝑠 π‘’βˆ’π‘Ÿ(πœ”βˆ’π‘ ) ∫ 1 βˆ’ π‘’βˆ’π‘Ÿπœ” 0 𝑆 (𝑠)

Γ— (44)

𝑀1 πœ” . 1 βˆ’ π‘’βˆ’π‘Ÿπœ”

Since 𝑦𝑒 (𝑑) is a solution of the second equation of (31) with β„Ž(β‹…) = π‘’π‘›βˆ’1 (β‹…), by the proof of Theorem 3, 𝑦𝑒 (𝑑) has a bound of 𝑆0 . Consequently 𝑀1 ≀ 𝐴𝑆0 /𝑆0 , which is independent on 𝑒𝑛 . Therefore 𝐷0 is equicontinuous on 𝐷. By Arzela-Ascoli’s theorem, one has a subsequence {π‘’π‘›π‘˜ } βŠ‚ 𝐷0 such that π‘’π‘›π‘˜ β†’ π‘₯βˆ— . Obviously, for any 𝑛 = 1, 2, . . ., inequality π‘₯βˆ— β‰₯ 𝑒𝑛 holds. For all 𝑑 ∈ [0, πœ”], one has 0 ≀ π‘₯βˆ— βˆ’ π‘’π‘š ≀ π‘₯βˆ— βˆ’ π‘’π‘›π‘˜ as π‘š > π‘›π‘˜ . On the other hand, the cone 𝑃 = {πœ‘ | πœ‘ ∈ πΆπœ” (𝑅), πœ‘(𝑑) β‰₯ 0} is normal, and in cone 𝑃, there holds that if π‘₯𝑛 , 𝑦𝑛 , 𝑧𝑛 ∈ 𝑃 with π‘₯𝑛 ≀ 𝑧𝑛 ≀ 𝑦𝑛 , π‘₯𝑛 β†’ π‘₯, and 𝑦𝑛 β†’ π‘₯, then 𝑧𝑛 β†’ π‘₯ (see

(45)

Proof. Take 𝑉(π‘₯, 𝑦) = (π‘₯2 + 𝑦2 )/2; we get that

= π‘₯ (βˆ’π‘Ÿπ‘₯ +

where

2 𝐴 + 𝐡𝑆 (𝑑)) βˆ’ 4π‘Ÿπ›Ώ (𝑑)] < 0. 𝑆 (𝑑)

= βˆ’π‘Ÿπ‘₯2 βˆ’ 𝛿 (𝑑) 𝑦2 + βˆ’ 𝐡𝑦2

π‘₯2 (𝑑 βˆ’ 𝑇) ] 1 + π‘₯ (𝑑 βˆ’ 𝑇)

π‘₯2 (𝑑 βˆ’ 𝑇) 𝐴 π‘₯𝑦 + 𝐡𝑆 (𝑑) 𝑦 𝑆 (𝑑) 1 + π‘₯ (𝑑 βˆ’ 𝑇)

π‘₯2 (𝑑 βˆ’ 𝑇) 1 + π‘₯ (𝑑 βˆ’ 𝑇)

≀ βˆ’π‘Ÿπ‘₯2 βˆ’ 𝛿 (𝑑) 𝑦2 +

𝐴 π‘₯𝑦 + 𝐡𝑆 (𝑑) 𝑦π‘₯ (𝑑 βˆ’ 𝑇) 𝑆 (𝑑)

≀ βˆ’π‘Ÿπ‘₯2 βˆ’ 𝛿 (𝑑) 𝑦2 + [

𝐴 + 𝐡𝑆 (𝑑)] π‘₯𝑦, 𝑆 (𝑑)

(46)

if π‘₯(𝑑) β‰₯ π‘₯(𝑑 βˆ’ 𝑇). Because (45) holds, there are two positive numbers 𝛾1 and 𝛾2 small enough such that (𝐴/𝑆(𝑑) + 𝐡𝑆(𝑑))2 βˆ’ 4π‘Ÿπ›Ώ(𝑑)+4𝛾1 𝛿(𝑑)+4𝛾2 (π‘Ÿβˆ’π›Ό) < 0 hold for all 𝑑 ∈ [0, πœ”]. It follows

Journal of Applied Mathematics

7

0.12

12

0.10

10

0.08

8

0.06

6

0.04

4

0.02

2

0.00

0

5

10

15

0

20

0

5

10

(a)

15

20

(b)

Figure 3: The graphs (solid lines) and a control strategy (dash line) of 𝛿(𝑑) (a) and 𝑆(𝑑) (b).

that βˆ’π‘Ÿπ‘₯2 βˆ’ (𝐴/𝑆(𝑑) + 𝐡𝑆(𝑑))π‘₯𝑦 βˆ’ 𝛿(𝑑)𝑦2 ≀ βˆ’(𝛾1 π‘₯2 + 𝛾2 𝑦2 ). Consequently,

According to the assumption π‘Ÿ > 𝐡𝑆0 and 𝐴 < 𝛿0 𝑆0 , there exists πœ€ > 0 such that

𝑑𝑉 | ≀ βˆ’ (𝛾1 π‘₯2 + 𝛾2 𝑦2 ) 𝑑𝑑 (4)

󡄨 󡄨 𝐷+ 𝑉 (𝑑) ≀ βˆ’πœ€ (|π‘₯ (𝑑)| + 󡄨󡄨󡄨𝑦 (𝑑)󡄨󡄨󡄨) .

(47)

if π‘₯(𝑑) β‰₯ π‘₯(𝑑 βˆ’ 𝑇) and (45). As 𝑉(π‘₯, 𝑦) = (π‘₯2 + 𝑦2 )/2, by the stability theorems (Hale and Verduyn Lunel, 1993 [14]), the conclusions of the theorem are true. The proof is completed.

Integrating both sides of (50) from a sufficiently large number π‘‡βˆ— to 𝑑, we get 𝑑

󡄨 󡄨 𝑉 (𝑑) + πœ€ ∫ [|π‘₯ (𝑠)| + 󡄨󡄨󡄨𝑦 (𝑠)󡄨󡄨󡄨] 𝑑𝑠 ≀ 𝑉 (π‘‡βˆ— ) < +∞, π‘‡βˆ—

Theorem 8. If π‘Ÿ > 𝐡𝑆0 and 𝐴 < 𝛿0 𝑆0 hold, then the zero solution of (4) is globally asymptotically stable.

󡄨 󡄨 𝑉 (𝑑) = |π‘₯ (𝑑)| + 󡄨󡄨󡄨𝑦 (𝑑)󡄨󡄨󡄨 + 𝐡𝑆0 ∫

𝑑

π‘‘βˆ’π‘‡

|π‘₯ (𝑠)| 𝑑𝑠.

(48)

Now we calculate and estimate the upper-right derivative of 𝑉(𝑑) along the solutions of model (4): 𝐷+ 𝑉 (𝑑) = π‘₯Μ‡ (𝑑) sgn π‘₯ (𝑑) + 𝑦̇ (𝑑) sgn 𝑦 (𝑑) + 𝐡𝑆0 |π‘₯ (𝑑)| βˆ’ 𝐡𝑆0 |π‘₯ (𝑑 βˆ’ 𝑇)|

∫

+∞

π‘‡βˆ—

|π‘₯ (𝑠)| 𝑑𝑠 < +∞,

∫

(52)

By Theorem 3, |π‘₯(𝑑)| and |𝑦(𝑑)| are bounded on [π‘‡βˆ— , +∞). It is Μ‡ and 𝑦(𝑑) Μ‡ are bounded for 𝑑 β‰₯ π‘‡βˆ— . Therefore, obvious that π‘₯(𝑑) |π‘₯(𝑑)| and |𝑦(𝑑)| are uniformly continuous on [π‘‡βˆ— , +∞). By Barbalat’s lemma (Lemmas 1.2.2 and 1.2.3, Gopalsamy [15]), one can conclude that 󡄨 󡄨 lim 󡄨󡄨󡄨𝑦 (𝑑)󡄨󡄨󡄨 = 0.

(53)

5. Numerical Simulations

+ 𝐡𝑆0 |π‘₯ (𝑑)| βˆ’ 𝐡𝑆0 |π‘₯ (𝑑 βˆ’ 𝑇)| 𝐴 󡄨󡄨 󡄨 󡄨 󡄨 0 󡄨𝑦 (𝑑)󡄨󡄨󡄨 βˆ’ 𝛿 (𝑑) 󡄨󡄨󡄨𝑦 (𝑑)󡄨󡄨󡄨 + 𝐡𝑆 |π‘₯ (𝑑 βˆ’ 𝑇)| 𝑆0 󡄨

2 󡄨 π‘₯ (𝑑 βˆ’ 𝑇) 󡄨 βˆ’ 𝐡 󡄨󡄨󡄨𝑦 (𝑑)󡄨󡄨󡄨 + 𝐡𝑆0 |π‘₯ (𝑑)| βˆ’ 𝐡𝑆0 |π‘₯ (𝑑 βˆ’ 𝑇)| 1 + π‘₯ (𝑑 βˆ’ 𝑇)

𝐴 󡄨 󡄨 βˆ’ 𝛿0 ) 󡄨󡄨󡄨𝑦 (𝑑)󡄨󡄨󡄨 . 𝑆0

󡄨 󡄨󡄨 󡄨󡄨𝑦 (𝑠)󡄨󡄨󡄨 𝑑𝑠 < +∞.

It follows that the zero solution is globally asymptotically stable.

π‘₯2 (𝑑 βˆ’ 𝑇) sgn 𝑦 (𝑑) 1 + π‘₯ (𝑑 βˆ’ 𝑇)

≀ βˆ’ (π‘Ÿ βˆ’ 𝐡𝑆0 ) |π‘₯ (𝑑)| + (

+∞

π‘‡βˆ—

lim |π‘₯ (𝑑)| = 0,

𝐴 󡄨 󡄨 𝑦 (𝑑) sgn π‘₯ (𝑑) βˆ’ 𝛿 (𝑑) 󡄨󡄨󡄨𝑦 (𝑑)󡄨󡄨󡄨 𝑆 (𝑑)

+ 𝐡 (𝑆 (𝑑) βˆ’ 𝑦 (𝑑))

≀ βˆ’π‘Ÿ |π‘₯ (𝑑)| +

(51)

(π‘‡βˆ— ) for 𝑑 > π‘‡βˆ— , which implies that 𝑉(𝑑) is bounded on [π‘‡βˆ— , +∞) and

Proof. Define

= βˆ’π‘Ÿ |π‘₯ (𝑑)| +

(50)

(49)

In order to exemplify the results presented above to show some possible behaviors of the solutions of the model, we performed some simulations. For the following model 𝑑π‘₯ = 𝑓 (𝑑, π‘₯ (𝑑) , 𝑦 (𝑑)) , 𝑑𝑑 𝑑𝑦 = 𝑔 (𝑑, π‘₯ (𝑑) , 𝑦 (𝑑) , π‘₯ (𝑑 βˆ’ 𝑇)) , 𝑑𝑑 𝑦 (0) = 𝑦0 ,

π‘₯ (𝑠) = π‘₯0 (𝑠) ,

𝑠 ∈ [βˆ’π‘‡, 0] ,

(54)

8

Journal of Applied Mathematics 12

12

10

10

8

8

6

6

4

4

2

2

0

0

20

40

60

80

0

0

20

(a)

3.0

2.5

2.5

2.0

2.0

1.5

1.5

1.0

1.0

0.5

0.5 0

20

40

60

80

0.0

0

20

(c)

3.0

2.5

2.5

2.0

2.0

1.5

1.5

1.0

1.0

0.5

0.5 0

20

40

80

40

60

80

60

80

(d)

3.0

0.0

60

(b)

3.0

0.0

40

60

80

(e)

0.0

0

20

40 (f)

Figure 4: Comparison between uncontrolled and the controlled snails: a periodic solution ((a-b), 𝐴 = 1, 𝐡 = 2.4, and π‘Ÿ = 2.5), a solution tending to zero ((c-d), 𝐴 = 2, 𝐡 = 0.2, and π‘Ÿ = 3.8), and a changed case ((e-f), 𝐴 = 2, 𝐡 = 0.2, and π‘Ÿ = 2.5), where square is π‘₯(𝑑), dot is 𝑦(𝑑), 𝑦0 = 0, and π‘₯0 (πœƒ) = cos(πœ‹πœƒ/10).

based on the fourth-order Runge-Kutta’s formula for a ordinary differential system, we applied the following scheme:

π‘₯𝑛+1 = π‘₯𝑛 + 𝑦𝑛+1

β„Ž (𝐾 + 2𝐾2 + 2𝐾3 + 𝐾4 ) , 6 1

β„Ž = 𝑦𝑛 + (𝑆1 + 2𝑆2 + 2𝑆3 + 𝑆4 ) , 6 𝐾1 = 𝑓 (𝑑𝑛 , π‘₯𝑛 , 𝑦𝑛 ) ,

𝑆1 = 𝑔 (𝑑𝑛 , π‘₯𝑛 , 𝑦𝑛 , π‘₯π‘›βˆ’π‘š ) ,

π‘š=

𝑇 , β„Ž

β„Ž β„Ž β„Ž 𝐾2 = 𝑓 (𝑑𝑛 + , π‘₯𝑛 + 𝐾1 , 𝑦𝑛 + 𝑆1 ) , 2 2 2 β„Ž β„Ž β„Ž 𝑆2 = 𝑔 (𝑑𝑛 + , π‘₯𝑛 + 𝐾1 , 𝑦𝑛 + 𝑆1 , π‘₯π‘›βˆ’π‘š ) , 2 2 2 β„Ž β„Ž β„Ž 𝐾3 = 𝑓 (𝑑𝑛 + , π‘₯𝑛 + 𝐾2 , 𝑦𝑛 + 𝑆2 ) , 2 2 2

Journal of Applied Mathematics

9

12

12

12

10

10

10

8

8

8

6

6

6

4

4

4

2

2

2

0

0

0

20

40

60

80

0

20

(a)

40

60

80

0

12

12

10

10

10

8

8

8

6

6

6

4

4

4

2

2

2

0

0

20

40

20

60

80

0

20

(d)

40 (e)

40

60

80

60

80

(c)

12

0

0

(b)

60

80

0

0

20

40 (f)

Figure 5: The effects of delays on the behavior of solutions: (1) 𝐴 = 0.4, 𝐡 = 0.98, and π‘Ÿ = 0.5 (a–c) and (2) 𝐴 = 1, 𝐡 = 2.4, and π‘Ÿ = 2.5 (d–f) with initial data of 𝑦0 = 0, π‘₯0 (πœƒ) = cos(πœ‹πœƒ/10).

β„Ž β„Ž β„Ž 𝑆3 = 𝑔 (𝑑𝑛 + , π‘₯𝑛 + 𝐾2 , 𝑦𝑛 + 𝑆2 , π‘₯π‘›βˆ’π‘š ) , 2 2 2 𝐾4 = 𝑓 (𝑑𝑛 + β„Ž, π‘₯𝑛 + β„ŽπΎ3 , 𝑦𝑛 + β„Žπ‘†3 ) , 𝑆1 = 𝑔 (𝑑𝑛 + β„Ž, π‘₯𝑛 + β„ŽπΎ3 , 𝑦𝑛 + β„Žπ‘†3 , π‘₯π‘›βˆ’π‘š ) , (55) where the step size β„Ž is equal to 𝑇/𝑁1 , where 𝑐𝑁1 (𝑐 is about 20–400 ) is the total number of iterative steps. In computation the virtual range of parameters was 𝐴 ∈ [0.1, 2], 𝐡 ∈ [0.02, 3], π‘Ÿ ∈ [0.5, 4], and 𝑇 ∈ [0, 8]; both of 𝑆(𝑑) and 𝛿(𝑑) were given by (3). If one takes 𝐴 = 1, 𝐡 = 2.4, and π‘Ÿ = 0.2, then the conditions of Theorem 6 are satisfied and a periodic solution follows (Figure 1(a)). If one takes 𝐴 = 0.2, 𝐡 = 0.02, and π‘Ÿ = 1.5, then the condition (45) is satisfied and it can be found that the zero is uniformly stable (Figure 1(b)). Furthermore, the sufficient conditions given in Theorems 6 and 7 are far from being sharp. In some cases where the initial value is small enough, the solution tends to zero (solid squares and circles in Figure 2, 𝑦0 = 0.2, π‘₯0 (πœƒ) = 0.2), meanwhile in other cases where the initial value is larger both the solution tends to a periodic solution (dots and hollow squares in Figure 2, 𝑦0 = 2, π‘₯0 (πœƒ) = 2), where 𝐴 = 0.6, 𝐡 = 0.4, and π‘Ÿ = 0.8. Further simulations indicate that the periodic solution, if it exists, is locally stable. Concerning control strategies, many methods have been applied in order to reduce the number of snails, that is, 𝑆(𝑑), and at the same time to enlarge the death ratio of snails, 𝛿(𝑑). If a control approach was applied such that 𝑆(𝑑) ≀ 6 and 𝛿(𝑑) β‰₯ 0.04 (dash lines in Figure 3), we obtain some results shown in Figure 4. A periodic solution is shown in Figures 4(a)-4(b) and its amplitude is reduced by half by the control

strategy. A solution tending to zero is shown in Figures 4(c)4(d) and the time infected snails go extinct is reduced by a quarter by the control strategy. A periodic solution is changed to a solution tending to zero by the control strategy (Figures 4(e)-4(f)). Therefore it is an effective treatment by simply reducing the population of snails and enlarging the death ratio of snails. In order to study the effects of the delay on the behavior of solutions, a simulation was performed in two cases: (1) 𝐴 = 0.4, 𝐡 = 0.98, and π‘Ÿ = 0.5 (Figures 5(a)–5(c)) and (2) 𝐴 = 1, 𝐡 = 2.4, and π‘Ÿ = 2.5 (Figures 5(d)–5(f)) with initial data of 𝑦0 = 0, π‘₯0 (πœƒ) = cos(πœ‹πœƒ/10). It can be seen that the amplitude and period of the periodic solution 𝑦(𝑑) decrease, but no obvious changes were observed on the periodic solution π‘₯(𝑑) when the delay is changed from 8 to 1. Furthermore when the delay is changed from 1 to 0.2, the similar changes could not be found.

6. Discussion and Conclusion In the preceding sections we modified MacDonald’s models in schistosomiasis. It may be more reasonable in natural conditions that we consider a periodic model and introduce a delay to simulate the development period of helminthes. The existence of periodic solution shows that the infected snails and infecting worms in the host coexist in a periodic pattern. The stability of the zero solution shows that the population of infected snails and infecting worms in a host will extinct eventually. Although much to our expectation, the condition of existence of periodic solution is easier to be satisfied, rather than that of global stability of zero solution. It is needed to add that the condition of Theorem 6 can be improved, for example, the periodic solution shown

10 in Figure 4(a) with the parameters satisfying 𝐴𝐡𝑆0 𝛼 < π‘Ÿπ‘†0 [𝛿0 (1 + 𝛼) + 𝐡𝛼2 ] for all 𝛼 > 0 rather than the condition of Theorem 6. Also, the condition of Theorem 7 may be improved, for example, the stable zero solution shown in Figure 4(b) with the parameters not satisfying (45). From the simulations and Theorem 7, while the practical meaning of the parameter values chosen in numerical simulations has not been clear yet, we can see that an increase in π‘Ÿ and decrease in 𝐴, 𝐡 would enable (45) and thus lead to the stability of zero solution. In other words, to annihilate worms, it is required to increase the death probability of worms, while reducing the penetration of worms into snails and the disease transmission of snails to final hosts. This implication is in line with other published literature (Williams et al., 2002 [4], Liang et al., 2005 [5]). In conclusion, we present the conditions under which the model admits a periodic solution and the conditions under which the zero solution is uniformly stable and globally stable, respectively. We show the conditional coexistence of locally stable zero solution and periodic solutions in numerical method and show that it is an effective treatment of simply reducing the population of snails and enlarging the death ratio of snails for the control of schistosomiasis.

Conflict of Interests The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments The authors are very grateful to the referees for careful reading and valuable comments which led to improvements of the original paper. This research was supported in part by Beijing Leading Academic Discipline Project of Beijing Municipal Education Commission (PHR201110506) and Capital Medical University Research Foundation (2013ZR10).

References [1] W. Chen, Mathematical models of schistosomiasis epidemic and the simulation of applications in practical [Ph.D. Dissertation], Fudan University, Shanghai, China, 2008 (Chinese). [2] G. Macdonald, β€œThe dynamics of helminth infections, with special reference to schistosomes,” Transactions of the Royal Society of Tropical Medicine and Hygiene, vol. 59, no. 5, pp. 489– 506, 1965. [3] N. G. Hairston, β€œOn the mathematical analysis of schistosome populations,” Bulletin of the World Health Organization, vol. 33, pp. 45–62, 1965. [4] G. M. Williams, A. C. Sleigh, Y. Li et al., β€œMathematical modelling of schistosomiasis japonica: comparison of control strategies in the People’s Republic of China,” Acta Tropica, vol. 82, no. 2, pp. 253–262, 2002. [5] S. Liang, R. C. Spear, E. Seto, A. Hubbard, and D. Qiu, β€œA multigroup model of Schistosoma japonicum transmission dynamics and control: model calibration and control prediction,” Tropical Medicine and International Health, vol. 10, no. 3, pp. 263–278, 2005.

Journal of Applied Mathematics [6] W. F. Lucas, Modules in Applied Mathematics: Life Science Models, vol. 3, Springer, New York, NY, USA, 1983. [7] F. C. Hoppensteadt and C. S. Peskin, Mathematics in Medicine and the Life Science, Springer, New York, NY, USA, 1992. [8] K. Wu, β€œMathematical model and transmission dynamics of schistosomiasis and its application,” China Tropical Medicine, vol. 5, no. 4, pp. 837–844, 2005 (Chinese). [9] D. Lu, Q. Jiang, T. Wang et al., β€œStudy on the ecology of snails in Chengcun reservoir irrigation area of Jiangxian county,” Chininese Journal of Parasit Diseases Control, vol. 18, no. 1, pp. 52–55, 2005 (Chinese). [10] B. R. Tang and Y. Kuang, β€œExistence, uniqueness and asymptotic stability of periodic solutions of periodic functional-differential systems,” The Tohoku Mathematical Journal, vol. 49, no. 2, pp. 217–239, 1997. [11] X. H. Tang and Y. G. Zhou, β€œPeriodic solutions of a class of nonlinear functional differential equations and global attractivity,” Acta Mathematica Sinica, vol. 49, no. 4, pp. 899–908, 2006 (Chinese). [12] M. Fan and X. Zou, β€œGlobal asymptotic stability of a class of nonautonomous integro-differential systems and applications,” Nonlinear Analysis, vol. 57, no. 1, pp. 111–135, 2004. [13] D. Guo, Nonlinear Functional Analysis, Shandong Science and technology Publishing House, Jinan, China, 2001 (Chinese). [14] J. K. Hale and S. M. Verduyn Lunel, Introduction to FunctionalDifferential Equations, vol. 99, Springer, New York, NY, USA, 1993. [15] K. Gopalsamy, Stability and Oscillations in Delay Differential Equations of Population Dynamics, vol. 74, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1992.

Advances in

Operations Research Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Advances in

Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Applied Mathematics

Algebra

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Probability and Statistics Volume 2014

The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Differential Equations Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Submit your manuscripts at http://www.hindawi.com International Journal of

Advances in

Combinatorics Hindawi Publishing Corporation http://www.hindawi.com

Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Journal of

Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of Mathematics and Mathematical Sciences

Mathematical Problems in Engineering

Journal of

Mathematics Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Discrete Mathematics

Journal of

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Discrete Dynamics in Nature and Society

Journal of

Function Spaces Hindawi Publishing Corporation http://www.hindawi.com

Abstract and Applied Analysis

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

International Journal of

Journal of

Stochastic Analysis

Optimization

Hindawi Publishing Corporation http://www.hindawi.com

Hindawi Publishing Corporation http://www.hindawi.com

Volume 2014

Volume 2014