金小微,張啟敏
(寧夏大學(xué)數(shù)學(xué)與計(jì)算機(jī)學(xué)院,銀川750021)
考慮如下具有年齡結(jié)構(gòu)帶Poisson 跳的隨機(jī)種群擴(kuò)散方程[1]
種群系統(tǒng)引起了許多學(xué)者的關(guān)注[2-6]. 例如,李健全和陳任昭[2]介紹了具空間擴(kuò)散和年齡結(jié)構(gòu)的種群系統(tǒng)的最優(yōu)分布控制,Zhang[3]證明了具有年齡結(jié)構(gòu)的隨機(jī)種群擴(kuò)散模型數(shù)值解的指數(shù)穩(wěn)定性. Wang 等[4]運(yùn)用半隱式歐拉法討論了具有年齡結(jié)構(gòu)帶Poisson 跳的隨機(jī)種群方程的收斂性.
上述文獻(xiàn)中不確定因素為隨機(jī)環(huán)境的影響. 然而,現(xiàn)實(shí)生活中,我們研究的系統(tǒng)不僅受到隨機(jī)環(huán)境的影響,還會(huì)受到模糊不確定性的影響. 例如,出生率、死亡率等. 因此,把模糊理論引入到種群模型(1)中更符合實(shí)際意義. 考慮如下帶Poisson 跳的模糊隨機(jī)種群擴(kuò)散方程
利用文獻(xiàn)[7]-[9]中模糊It? 積分的定義,討論帶Poisson 跳的模糊隨機(jī)種群擴(kuò)散方程強(qiáng)解的存在性和唯一性.本文所討論模型和得到的結(jié)論是文獻(xiàn)[1]的擴(kuò)展.
根據(jù)Zadeh 的擴(kuò)張?jiān)矶x模糊數(shù)的函數(shù),線性運(yùn)算的α 水平集滿足區(qū)間運(yùn)算式
這里At={ω:(t,x,ω)A}.
證明過程與文獻(xiàn)[7]類似.
考慮帶Poisson 跳的模糊隨機(jī)種群擴(kuò)散方程
且y0:Ω→(V)是一個(gè)模糊隨機(jī)變量.
定義2 模糊隨機(jī)過程yt:Ⅰ×Ω →(V)被稱為方程(3)的強(qiáng)解,如果滿足
(1)yt2(Ⅰ×Ω,;(V));
(2)yt是一個(gè)d∞-連續(xù)的模糊隨機(jī)過程;
(3)滿足
這里yt=y(t,x),y(t,x)=0,Σ=[0,T]×?Γ.
定義3 方程(3)的強(qiáng)解y1t:Ⅰ×Ω →(V)是唯一的,如果
其中y1t=y1(t,x),y2t=y2(t,x)且y2t:Ⅰ×Ω→(V)是方程(3)的任意強(qiáng)解.
為了證明本文的主要結(jié)論,給出以下假設(shè)條件:
(c0)μ(t,x)、β(t,x)和k(t)均是非負(fù)可測的,
(c1)存在一個(gè)常數(shù)L >0,對?u,v(V)使得
(c2)存在一個(gè)常數(shù)C >0,對?u(V),?(t,x)Ⅰ使得
(c3)存在一個(gè)常數(shù)M >0,對?u,v(V),使得
下面運(yùn)用逐次逼近法證明方程(3)解的存在性.首先,定義一個(gè)Picard 序列:Ⅰ×Ω →(V),當(dāng)n=0 時(shí)
當(dāng)n=1,2,…時(shí)
引理1 假設(shè)y0是一個(gè)0 -可測的隨機(jī)變量,滿足(y0,<0> )<∞,若f:Ⅰ× Ω ×(V)→(V),g:Ⅰ×Ω ×(V)→L(K,V),h:Ⅰ×Ω ×(V)→(V),且條件(c0)~(c3)成立. 則滿足下列不等式
根據(jù)條件(c0)~(c3)和文獻(xiàn)[7]以及三角不等式,可得
由最后一個(gè)不等式有
再由Gronwall 引理得證
定理1 令y02(Ⅰ×Ω,0,P;(V)). 假設(shè)f:Ⅰ×Ω×(V)→(V),g:Ⅰ×Ω×(V)→L(K,V),h:Ⅰ×Ω×(V)→(V)滿足條件(c0)~(c3),則方程(3)存在唯一的強(qiáng)解yt.
證明 記
由性質(zhì)1、文獻(xiàn)[7]以及條件(c1)、(c2)可得
因此,j1(t)≤K1t,?(t,x)Ⅰ,其中
類似地,運(yùn)用條件(c0)、(c1)和(c3),可得
因此可以推斷
由Chebyshev 不等式和式(11)可得
其中n≥n0,那么在概率1 的意義下,{yn(·,ω)}在(t,x)Ⅰ上一致收斂到d∞-連續(xù)函數(shù)yt≡y(·,Ω):Ⅰ→(V),?ωΩc,則yt是一個(gè)連續(xù)的-適應(yīng)模糊隨機(jī)過程. 由于Ω;(V)),我們有,對任意固定的t[0,T]和xΓ,模糊隨機(jī)變量(t,x)(Ω,,P;(V)).即對?t[0,T],xΓ,(y(t,x),<0> )x),<0> )<∞,即yt2(Ⅰ×Ω;(V)).
下面將證明yt是式(3)的一個(gè)解. 對每個(gè)t[0,T],xΓ,有
事實(shí)上,我們可以得到
因此yt滿足方程(3).
下面證明yt是唯一強(qiáng)解. 假設(shè)yt,zt:Ⅰ× Ω→(V)均是方程(3)的解.對于每個(gè)t[0,T],定義(y(u),z(u)).由此可得
定理得證.□
以上證明用到Picard 迭代來逼近方程(3)的解,下面的定理給出了Picard 迭代的估計(jì).
定理2 假設(shè)y0:Ω →(V),f:Ⅰ×Ω×(V)→(V),g:Ⅰ×Ω×(V)→L(K,V),h:Ⅰ×Ω×(V)→(V)滿足條件(c0)~(c3),yt是方程(3)的唯一解是式(10)定義的Picard 迭代,則
其中K1和K2為定理1 中定義的常數(shù).
證明 記
由性質(zhì)1、文獻(xiàn)[7]及條件(c0)、(c1)、(c3),有
運(yùn)用式(11)有
由Gronwall 不等式得式(13)成立.由定理2 得
于是可得具有年齡結(jié)構(gòu)帶Poisson 跳的模糊隨機(jī)種群擴(kuò)散方程的近似解
[1]Li R H,Pang W K,Wang Q H. Numerical analysis for stochastic age-dependent population equations with Poisson jumps[J]. Journal of Mathematical Analysis and Applications,2007,327:1214 -1224.
[2]李健全,陳任昭. 具空間擴(kuò)散和年齡結(jié)構(gòu)的種群系統(tǒng)的最優(yōu)分布控制[J]. 華南師范大學(xué)學(xué)報(bào):自然科學(xué)版,2004(4):29 -36.Li J Q,Chen R Z. Optimal distributed control of population dynamic with spatial-diffusion and age-structure[J].Journal of South China Normal University:Natural Science Edition,2004(4):29 -36.
[3]Zhang Q M. Exponential stability of numerical solutions to a stochastic age-dependent population system with diffusion[J]. Journal of Computational and Applied Mathematics,2008,220:22 -33.
[4]Wang L S,Wang X J. Convergence of the semi-implicit Euler method for stochastic age-dependent population equations with Poisson jumps[J]. Applied Mathematical Modelling,2010,34:2034 -2043.
[5]李建全.年齡相關(guān)的非線性種群擴(kuò)散系統(tǒng)最優(yōu)分布控制的必要條件[J]. 華南師范大學(xué)學(xué)報(bào):自然科學(xué)版,2007(1):1 -7.Li J Q. Necessary conditions of optmal distributted control for age-dependent nonlinear population diffusion system[J]. Journal of South China Normal University:Natural Science Edition,2007(1):1 -7.
[6]李建全,陳任昭. 一類非線性種群擴(kuò)散系統(tǒng)最優(yōu)分布控制的存在性[J]. 華南師范大學(xué)學(xué)報(bào):自然科學(xué)版,2005(4):4 -9.Li J Q,Chen R Z. Existence of the optmal distributed control for a class of nonlinear population diffusion system[J]. Journal of South China Normal University:Natural Science Edition,2005(4):4 -9.
[7]Malinowski M T. Strong solutions to stochastic fuzzy differential equations of It? type[J]. Mathematical and Computer Modelling,2012,55:918 -928.
[8]Malinowski M T. It? type stochastic fuzzy differential equations with delay[J]. Systems & Control Letters,2012,61:692 -701.
[9]Malinowski M T,Michta M. Stochastic fuzzy differential equations with an application[J]. Kybernetika,2011,47:123 -143.