_________________________________
*Department of Mathematical Sciences, Faculty of Science and Engineering, Doshisha University, Kyoto, TEL:+81-774-65-6702, E-mail: [email protected].
Analysis of Periodic Solutions for the Nicholson-Bailey Model
Seiji SAITO*
(Received 20 August, 2012)
In this paper we consider the Nicholson-Bailey model in mathematical biology and prove the existence of periodic solutions for the model. Moreover we deal with periodic nonlinear difference equations and discuss the existence of periodic solutions by applying Liapunov functions under hypotheses that all solutions are equi-ultimate bounded.
Ydifference equationōNicholson-Bailey modelōperiodic solution, equi-ultimate boundedness, Liapunov function
$!$YÄáČËōg\x`yznWw{sexō©æĨō§ČÉēÀåăÓōwVmhlŁÞ
g\x`yznWw{sexG©æĨF»:RĨë
ŋĠ īÖ
ç°¨CHōÞÿāû´C©ćD8SRg\x
`yznWw{sex(2ķĐŇėÌÄáČË)
1-4)
€
N(n + 1) = N(n)e
r 1−N(n)K⎛
⎝ ⎜ ⎞
⎠ ⎟ −aP(n)
,
€
P(n + 1) = N(n) 1 ( − e
−aP(n))
(1)€
n = 0,1,2, … ;P(n),N(n) > 0;a,r,K > 0
( )
FŁ9BōïGħõ0PōÏêGĔìDÎGĬʼnUĵ JRŎ
ŏŌ¶Ë
ŐŌ©æĨG³®
őŌ©æĨGôĴµ¶Ó 8PFōÄáČË
€
x(n + 1) = f (n,x(n))
(2)€
(n = 0,1,2, … ;x(n) ∈ R
m;m ≥ 1
HßÞ)FŁ9BŒŌåăÓGé ~G©æĨG³®
UĵJRŎ
SR16(
2%=3H
ĝøăF/5RV_ZaXq]D\puicHō
¥*ō·(host)DÛ¸ā(Parasitoid)GŁF+RŎ ÎěHōěUŊ,¿4:ŁF+R. ņÝãŀ n
= 0,1,2,…F»9·GÞ(+R,H¹É)UN(n),
Û¸āU P(n) DĤ:(Fig 1.U¢ù)Ŏ
€
N(n)
ŔnCG·GÞ€
n = 0,1,2, …
( )
€
P(n)
ŔnCGÛ¸āGÞf
ŔÛ¸āFĺĹ9E,·G¦€
a > 0
ŔÛ¸āGÚĒĜ¶Þ€
r > 0
Ŕ·GāñýňFŁ:RĥðGÙÞĻ41
( )
THE SCIENCE AND ENGINEERING REVIEW OF DOSHISHA UNIVERSITY, VOL. 53, NO.3 October 2012
K > 0Ŕ2čUDQK4±0PòKRjvr{b
>GHE/&1
Û¸āFĺĹ9E,·Dōr ¬ĺĹ:R·1 +RŎĺĹH÷öFı6RD¶9ō ãŀF /5Rr¬ĺĹ:R¦HoV`yÅFÏ-D:
RDōÛ¸āFĺĹ9E,·G¦f = e-ap 0P Ë(1)UÐRŎ
·Ŕ
¡ &Èġ &8E3 &×ġN(n) ¡ 1 - f
Û¸āŔ×ġP(n) & Èġ
Fig. 1. Host and parasitoid.
TR*B:AI:
mïn[fxďŀG x(n), n = 0,1,2,…,FŁ:R ÄáČË(2)FA2ĨGåăÓG¶ęUĵJRŎŁ Þ f : Z+ Rm & RmHķĖōZ+ HŇİßÞGҦ
D:RŎßÞ k ) 1 D9BË(2)1ōk ©æąō+
R,Hk©æUNADHōÕGn ∈ Z+x ∈ RmF
»9B
€
f (n + k,x) = f (n,x)
1×QĐA6DU,-ŎS!= { x ∈ Rm : || x || ( ! }D:RŎ||x||H x ∈ Rm GhxqC+RŎ
MAI:
¶ęŏŎ([E.Ult.B]) Ë(2)GĨ1§ČÉēÀåă
(equi-ultimately bounded) C+RDHō+RðÞX > 0
1³®9BōÕGæãn0 DÕGðÞ ! >
0 F»9ðGßÞ # = #(n0, !)1³®9Bō$∈ S!EPIōæé x(n0) = $UL=:Ĩ x(n) = x(n;
n0 ,$)HōßÞn ) n0 +#GD2ō|| x(n) || ( XU L=:Ŏ
¶ ę Ő Ŏ([U.Ult.B]) Ë(2)GĨ1|îēÀåă
(uniformly ultimately bounded) C+RDHō+RðÞ
X > 01³®9BōÕGðÞ!> 0 F»9ðGßÞ
#=#(!)1³®9Bōn0 ∈ Z+$∈ S!EPIōæ é x(n0) = $UL=:Ĩ x(n) = x(n; n0 ,$)HōÕ
GßÞn ) n0 +#GD2ō|| x(n) || ( XUL=:Ŏ
*BM.+
k ©æąÄáČË GĨ1§ČÉēÀåă(¶ ę1)C+SIō|îēÀåă(¶ę )N×QĐAŎK
=ōË GĨ1k©æąō+R,Hk©æĨC+R DHōĆĄERkGõ0PERҦ Pk = { x0, x1, …, xk-1 }ōxp+1 = f (n, xp) (p = 0,1,…, k-2; f (n, xk-1) = x0 ; n ) 0 HÕGßÞ)1³®:R6DU,-Ŏï¶ÿ HļĦC+RŎ
¶ÿő k ©æąÄáČË 1§ČÉēÀå ăEPIōË(2)H¾E4DN|AGk©æĨUNAŎ
UR*BM
"#$ *BM g\x`yznWw{sexG©æĨFA,B ĵJR N(n), P(n) > 0 GH;>0PōN(n+1) <
N(n)exp(r(1 – N(n)/K)) D E R Ŏ 6 6 C ōh(N) = Nexp(r(1- N/K)) (N > 0 )ōM = max(h(K/r), N(n0)) D/
4D ÕGßÞn ) n0 + 1 F»9BōM ) N(n) UÐRŎK=0 < 1 – exp(-aP(n)) 0PōM ) P(n) C +RŎō
õ t(N(n), P(n)) ∈ R2 GhxqU ||(N,P)|| = |N|+ |P| D :SIōË(1)H§ČÉēÀåăōO@B|îēÀå ăCō||(N(n), P(n))|| ( 2M (n ) n0 + 1).
ËHĝđō:ET?ō¤ijGËFHãn 1 ŃFþSB,E,=MōËHÕG k FA2ōk
©æąC+RŎO@Bō¶ÿő0Pōg\x`yz nWw{sexHōÕGk©æĨUNAŎ
VR*BMDO01:
DO01:4;:-,:
ËF/,Bōn[fxx NP ∈ R2ō
¤ijUFx Nr% N/KapN ap D9BōËU
42 齋 藤 誠 慈
( ) 156
x(n+1) Fx(n) D/4Ŏ Hn[fxGIJĘUÕª:RŎ
ĵGĚºOQōËHōÕGßÞ k ) F Ł9Bk©æĨPk = { x0, x1, …, xk-1 }UNAŎ<GŅ
¦GŏAGõy ∈ Pk U¶:RŎk¬¦×UGx FkxD/4DōGy y:ET?õō+R, H
z(n+1) Gz(n) zn ∈ R2GÆģõC+RŎdWv{¶ÿ0P Gx Gy D G)yx - y "
UÐRŎ=>9ōD GHt\kĢō"= o(||x y||) as
||x y|| & 0C+RŎ
k©æĨGŏõ y ∈ Pk HōËGÆģõC+RŎ ÆģõGôĴµ¶ÓFH²K0FōŐĶQ+RŎŏ AHōÆģõG74łPS=ĴFŁ:RÀØąE ôĴµ¶ÓC+RŎN-ŏAHōæzn1Æ ģõ0P,4PņSB,BNãn 1÷ł²FER FÏ@BōĨ zn H©æĨGҦ©æõҦ Pk F£è:RD,-²¯ąEôĴµ¶ÓC+RŎ Æģõy ∈ Pk GÀØôĴµ¶ÓHōy F/5Rt
\kĢGåGĕ»1:JBŏOQ½C+S Iō¼0SRŎ
-,DO01:1G
²¯ąôĴµ¶ÓHōïG¶ÿUÒĂ:R6DF OQō¼0SRŎ
¶ÿŒŎïGé (i)-(iii)UL=:V : R2 & R+ 1
³®:RD¶:RŎR+={ x ∈ R: x ) 0 }Ŏ
(i) VH y FŁ9Bð¶ŕ
(ii) V (z) = V (G (z)) – V (z) Hō V (z) < 0 (z ≠ y)ŕ (iii) V(z) &+' as ||z|| &+'Ŏ
6GD2ōË(5)GÆģõz Ŗ yHō²¯ôĴµ¶C +RŎE/ōé (i),(ii)UL=:VULiapunovŁÞ D,-Ŏ
WRPK85'@J6
9C1G<7
|ĞGŇėÌÄáČË UĚ.RŎàü C HōïG¶ÿD§îE G¶ÿUĵJB,RŎ CI(R+) ={ f ∈ C(R+): f(r) )0, increasing and f(∞) = ∞ }Ŏ
V (n,x) = V (n+1, f (n,x)) – V (n,x)D:RŎ
¶ÿœŎïGé (i), (ii)UL=:V : Z+ Rm &
R+ 1³®:RD¶:RŎ
BHc = { x ∈ Rm : ||x|| ) H }(H > 0)ōD:RŎ (i) +Ra, b ∈ CI(R+) 1³®9Bō
a(||x||) (V(n, x) (b(||x||) (n ∈ Z+, x ∈ BHc )ŕ (ii) +Rc ∈ CI(R+)ō¶ÞMŗ0DŁÞP: R+ & R+
1³®9BōP(u) > u (u > 0)D:RŎ
N9P(V(n, x)) > V(n, x)ōn ∈ Z+, x ∈ BHc EPIō V (n,x) ( M – c(||x||)Ŏ
6GD2ōk©æąEË(2)H|îēÀåăC+RŎ
}ĩG¶ÿGé UÜğ9é F/5R ŁÞ P UĂ,E,áóHåĂC+RŎïG«ʼnGĨ ò1æÍ8SRŎ
«ʼnŎïGé (i), (ii)UL=: V : Z+ Rm &
R+ 1³®:RD¶:RŎ
BHc = { x ∈ Rm : ||x|| ) H }(H > 0)ōD:RŎ
(i) +R a ∈ CI(R+) 1³®9Bōa(||x||) (V(n, x) (n ∈ Z+, x ∈ BHc )ŕ
(ii) +R c ∈ CI(R+)D¶Þ Mŗ0 1³®9ōN9
V(n+1, f(n,x)) > V(n, x)ōn ∈ Z+, x ∈ BHc EPIō V (n,x) ( M – c(||x||)Ŏ
6GD2ōk©æąEË(2)H|îēÀåăC+RŎ
}ĩ«ʼnGĔĭD¶ÿő0Pōk ©æąÄáČ Ë(2)Hō¾E4DN|AGk©æĨUNAŎ
XRNQ
ç°¨CHōg\x`yznWw{sex K > 0Ŕ2čUDQK4±0PòKRjvr{b
>GHE/&1
Û¸āFĺĹ9E,·Dōr ¬ĺĹ:R·1 +RŎĺĹH÷öFı6RD¶9ō ãŀF /5Rr ¬ĺĹ:R¦HoV`yÅFÏ-D:
RDōÛ¸āFĺĹ9E,·G¦f = e-ap 0P Ë(1)UÐRŎ
·Ŕ
¡ &Èġ &8E3 &×ġN(n) ¡ 1 - f
Û¸āŔ×ġP(n) & Èġ
Fig. 1. Host and parasitoid.
TR*B:AI:
mïn[fxďŀG x(n), n = 0,1,2,…,FŁ:R ÄáČË(2)FA2ĨGåăÓG¶ęUĵJRŎŁ Þ f : Z+ Rm & RmHķĖōZ+ HŇİßÞGҦ
D:RŎßÞ k ) 1 D9BË(2)1ōk ©æąō+
R,Hk©æUNADHōÕGn ∈ Z+x ∈ RmF
»9B
€
f (n + k,x) = f (n,x)
1×QĐA6DU,-ŎS!= { x ∈ Rm : || x || ( ! }D:RŎ||x||H x ∈ Rm GhxqC+RŎ
MAI:
¶ęŏŎ([E.Ult.B]) Ë(2)GĨ1§ČÉēÀåă
(equi-ultimately bounded) C+RDHō+RðÞX > 0
1³®9BōÕGæãn0 DÕGðÞ ! >
0 F»9ðGßÞ # = #(n0, !)1³®9Bō$∈ S!EPIōæé x(n0) = $UL=:Ĩ x(n) = x(n;
n0 ,$)HōßÞn ) n0 +#GD2ō|| x(n) || ( XU L=:Ŏ
¶ ę Ő Ŏ([U.Ult.B]) Ë(2)GĨ1|îēÀåă
(uniformly ultimately bounded) C+RDHō+RðÞ
X > 01³®9BōÕGðÞ!> 0 F»9ðGßÞ
#=#(!)1³®9Bōn0 ∈ Z+$∈ S!EPIōæ é x(n0) = $UL=:Ĩ x(n) = x(n; n0 ,$)HōÕ
GßÞn ) n0 +#GD2ō|| x(n) || ( XUL=:Ŏ
*BM.+
k ©æąÄáČË GĨ1§ČÉēÀåă(¶ ę1)C+SIō|îēÀåă(¶ę )N×QĐAŎK
=ōË GĨ1k©æąō+R,Hk©æĨC+R DHōĆĄERkGõ0PERҦ Pk = { x0, x1, …, xk-1 }ōxp+1 = f (n, xp) (p = 0,1,…, k-2; f (n, xk-1) = x0 ; n ) 0 HÕGßÞ)1³®:R6DU,-Ŏï¶ÿ HļĦC+RŎ
¶ÿő k ©æąÄáČË 1§ČÉēÀå ăEPIōË(2)H¾E4DN|AGk©æĨUNAŎ
UR*BM
"#$ *BM g\x`yznWw{sexG©æĨFA,B ĵJR N(n), P(n) > 0 GH;>0PōN(n+1) <
N(n)exp(r(1 – N(n)/K)) D E R Ŏ 6 6 C ōh(N) = Nexp(r(1- N/K)) (N > 0 )ōM = max(h(K/r), N(n0)) D/
4D ÕGßÞn ) n0 + 1 F»9BōM ) N(n) UÐRŎK=0 < 1 – exp(-aP(n)) 0PōM ) P(n) C +RŎō
õ t(N(n), P(n)) ∈ R2 GhxqU ||(N,P)|| = |N|+ |P| D :SIōË(1)H§ČÉēÀåăōO@B|îēÀå ăCō||(N(n), P(n))|| ( 2M (n ) n0 + 1).
ËHĝđō:ET?ō¤ijGËFHãn 1 ŃFþSB,E,=MōËHÕG k FA2ōk
©æąC+RŎO@Bō¶ÿő0Pōg\x`yz nWw{sexHōÕGk©æĨUNAŎ
VR*BMDO01:
DO01:4;:-,:
ËF/,Bōn[fxx NP ∈ R2ō
¤ijUFx Nr% N/KapN ap D9BōËU
43
ニコルソン・ベイリーモデルの周期解に対する解析
( )
157
€
N(n + 1) = N(n)e
r 1−N(n)K⎛
⎝ ⎜ ⎞
⎠ ⎟ −aP(n)
,
€
P(n + 1) = N(n) 1 ( − e
−aP(n))
G¼D©æĨG³®ĪâUĉ9ō©æĨ1ôĴµ
¶C+R=MGÎGÁĿUĵJ=Ŏ 8PFō|ĞGŇėÌÄáČË
€
x(n + 1) = f (n,x(n))
F»9BōwVmhlŁÞGÒĂFOR©æĨG³
®¶ÿUįĭ9ōÏêGĔìUÜğ:R6DUĬʼn D9B,RŎ
çĈĎG|ĻH ÇɧÑĊ²´ÿôĈĎ ØĈĎ׼FO@BĸĢ8S=Ŏ66Fĩ9BĮ ÕUĤ:RŎ
)L?F
L. Edelstein-Keshet, Mathematical Models in Biology, Random House (1988), p79.
2) S.N. Elaydi, An Introduction to Difference Equations 3rd Edition, Springer (2000), p232.
ÂÊōÞÿāû´ľō úÀ J. D. Logan, W. R. Wolesensky, Mathematical Methods in Biology, Wiley(2009), p117.
T. Furumochi and M. Muraoka, Periodic solutions of periodic difference equations,Advanced Studies in Pure Mathematics, 53, 51-57 (2009).
)Ġńäōðg\x`yznWw{sexG©æĨō §ÑĊ²´Ã´ĻWydWw^Yyf԰ôċí ĭà
A. Halanay, V. Rasvan Stability and Stable Oscillations in Discrete Time Systems, Gordon and Breach Sci. Publ.(2000), p62.
S.N. Elaydi, Discrete Chaos 2rd Edition, Chapman & Hall /CRC (2008), p209.
9) S. Zhang, Boundedness of finite delay difference systems, Ann. Differential equations, 9 (1993), 107-115.
44 齋 藤 誠 慈
( ) 158