李 瑩

(寶雞文理學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院,陜西寶雞 721013)

抽象空間脈沖發(fā)展方程初值問(wèn)題的上下解方法

李 瑩

(寶雞文理學(xué)院數(shù)學(xué)與信息科學(xué)學(xué)院,陜西寶雞 721013)

主要研究有序Banach空間中一階脈沖發(fā)展方程的初值問(wèn)題解的存在性。僅在半群為正半群時(shí),對(duì)脈沖項(xiàng)加很少限制,利用正算子半群特征與上、下解單調(diào)迭代方法,得到了非線性脈沖發(fā)展方程初值問(wèn)題最小、最大mild解的存在性等若干結(jié)果,推廣了已有工作。

上下解;Mild解;初值問(wèn)題;正C0-半群;單調(diào)迭代方法

研究有序Banach空間X中含脈沖發(fā)展方程的初值問(wèn)題

解的存在性。其中A為X中的稠定閉算子,f(t,x)∶J×X→X連續(xù),J＝[0,T],0＝t0＜t1＜…＜tm＜tm＋1＝T。初值x0∈X。脈沖函數(shù)Ik∶X→X(k＝1,2,…,m)。分別表示u(t)在t＝tk處的左極限與右極限(k＝1,2,…,m)。

將上下解單調(diào)迭代方法應(yīng)用于不含脈沖的發(fā)展方程初值問(wèn)題

已有很多結(jié)果,見(jiàn)參考文獻(xiàn)[1-5]。如文獻(xiàn)[3]中在上、下ω-解存在的情形下,獲得了非脈沖發(fā)展方程(2)最小及最大mildω-周期解的存在性。但這些文獻(xiàn)研究的都是不含脈沖項(xiàng)的一般抽象發(fā)展方程。將上下解方法應(yīng)用于含脈沖的發(fā)展方程的相關(guān)文獻(xiàn)比較少,并且大多是在緊半群或等度連續(xù)半群的條件下獲得的,見(jiàn)文獻(xiàn)[6-13]。

假設(shè)-A生成的半群為正半群,在上、下解都存在的情形下,采用單調(diào)迭代方法,得到了含脈沖的發(fā)展方程(1)最小、最大mild解的存在性,并且最小、最大mild解可通過(guò)上下解單調(diào)迭代求解,在這一過(guò)程中,僅要求脈沖函數(shù)連續(xù)及單調(diào);若只要求mild解的存在性,還可將脈沖函數(shù)的條件減弱,只限制其單調(diào)性。同時(shí)在證明中可以看出:對(duì)非脈沖發(fā)展方程(2),即便不要求T(t)等度連續(xù),同樣可得到最小、最大mild解的存在性等結(jié)果,削弱了定理?xiàng)l件,得到的結(jié)果也是新的。

1 預(yù)備工作

設(shè)X為有序Banach空間,P為X中的正元錐,則可由P引出X中的序關(guān)系“≤”:x≤y?y－x∈P。令J＝[0,T],記PC(J,X)＝{u∶J→X∣u(t)在J′上連續(xù),在每個(gè)tk點(diǎn)左連續(xù)、右極限存在,(k＝1, 2,…,m),其中J′＝J{t1,t2,…,tm}。令J0＝[0,t1],J1＝(t1,t2],…,Jm＝(tm,T]。在有限區(qū)間上,易見(jiàn)PC(J,X)按凸錐＝{u∈PC(J,X)∶u(t)≥0,t∈J}導(dǎo)出的序也構(gòu)成有序Banach空間,且亦為正規(guī)錐。對(duì)?v,w∈PC(J,X),當(dāng)v≤w時(shí),記[v,w]為PC(J,X)中的序區(qū)間。

在后面的討論中,需要利用線性發(fā)展方程

的相關(guān)結(jié)論。先看一個(gè)引理。

引理1 對(duì)?x0∈D(A),Ik∶D(A)→D(A)(k＝1,2,…,m),h(t)∈PC(J,X)∩C1(J′,X),問(wèn)題(3)存在唯一古典解:

u(t)∈PC(J,X1)∩C1(J′,X)∩C(J′,X1),且此解表示如下:

證明由文獻(xiàn)[1]中非脈沖情形的結(jié)果知:在每個(gè)Ji(i＝0,1,…,m)上問(wèn)題(3)存在唯一古典解ui(t)∈C1(Ji,X)∩C(Ji,X1)(i＝0,1,…,m),且可表示如下:

構(gòu)造函數(shù)u(t)如下:

顯然

u(t)∈PC(J,X1)∩C1(J′,X)∩C(J′,X1),滿足問(wèn)題(3)。故又由uk(t)(k＝1,2,…,m)的唯一性知,問(wèn)題(3)存在唯一古典解:

u(t)∈PC(J,X1)∩C1(J′,X)∩C(J′,X1),且此解表示如下:

命題得證。

而對(duì)?x0∈X及h∈PC(J,X),Ik∶X→X(k＝1,2,…,m),引理1確定的式(4)不一定可微,僅有u(t)∈PC(J,X),是問(wèn)題(3)的mild解。

同樣地,對(duì)Banach空間X中的非線性脈沖發(fā)展方程初值問(wèn)題(1)有類似的結(jié)果。

引理2 設(shè)-A為C0-半群T(t)(t≥0)的無(wú)窮小生成元,C為一實(shí)數(shù),則u(t)∈PC(J,X)為方程(1)的mild解的充要條件是u(t)滿足積分方程:

其中:S(t)＝e－CtT(t)(t≥0)為－(A＋CI)生成的C0-半群。

對(duì)于上、下解有如下定義。

定義1 若v∈PC(J,X1)∩C1(J′,X)∩C(J′,X1)滿足[4]:

則稱v為脈沖發(fā)展方程(1)的上解;不等式全取反向時(shí),稱為下解。

2 主要結(jié)果

對(duì)于J＝[0,T],PC(J,X)構(gòu)成有序Banach空間,故可以在整個(gè)區(qū)間上考慮初值問(wèn)題(1)mild解的存在性[14],得到如下定理。

定理1-A生成正C0-半群T(t),x0∈X,Ik∶X→X(k＝1,2,…,m)連續(xù)。若問(wèn)題(1)存在下解v0及上解w0,使v0≤w0,且滿足如下假設(shè):

(H1) ?C≥0,對(duì)?x1,x2∈X,t∈J,當(dāng)v0(t)≤x1≤x2≤w0(t)時(shí),有

(H2) 對(duì)?x1,x2∈X,當(dāng)v0(tk)≤x1≤x2≤w0(tk)(k＝1,2,…,m)時(shí),有

(H3) ?L＞0,使得對(duì)任意的單調(diào)序列B＝{un}?[v0,w0],有

則初值問(wèn)題(1)在[v0,w0]中存在最小mild解u和最大mild解,并且和分別可用上、下解單調(diào)迭代求解。

證明記D＝[v0,w0],S(t)＝e－CtT(t)(t≥0)為－(A＋CI)生成的正C0-半群。令

對(duì)?h∈D,考慮X中的線性脈沖發(fā)展方程初值問(wèn)題:

由引理1,問(wèn)題(6)存在唯一的mild解:

由Ik(k＝1,2,…,m)的連續(xù)性,易見(jiàn)Q∶D→PC(J,X)連續(xù)。若u∈D為Q的不動(dòng)點(diǎn):u＝Qu,u滿足積分方程(5)。則由引理2知,u為問(wèn)題(1)的mild解,反之則不是問(wèn)題(1)的mild解。故問(wèn)題(1)的mild解即為Q的不動(dòng)點(diǎn)。

對(duì)?h1,h2∈D,h1≤h2,由假設(shè)(H1)和(H2),有

即Qh1≤Qh2,故Q∶D→PC(J,X)為增算子。

下證:v0≤Qv0,Qw0≤w0。

因?yàn)関0為方程(1)的下解,故h(t)＝v′0(t)＋Av0(t)＋Cv0(t)∈PC(J,X),且h(t)≤f(t,v0(t))＋Cv0(t)。由線性脈沖發(fā)展方程mild解的積分表示,有

又因?yàn)镮1∶X→X連續(xù),B0(t1)是X中的相對(duì)緊集,所以α(I1(B0(t1)))＝0。故

由Bellman不等式,α(B(t))≡0,t∈J1(特別地,α(B(t2))＝0),所以對(duì)?t∈J1,{vn(t)}相對(duì)緊。

類似地可以證明,對(duì)?t∈Jk(k＝2,3,…,m),α(B(t))≡0,從而{vn(t)}相對(duì)緊。因此,對(duì)?t∈J,{vn(t)}相對(duì)緊。結(jié)合單調(diào)性,{vn(t)}處處收斂,即{vn(t)}→ˉu(t)于t∈J。同理{wn(t)}→ˉu(t)于t∈J。

因?yàn)閧vn(t)}∈PC(J,X),所以在每個(gè)Jk(k＝2,3,…,m)上有界可積。又因?yàn)閠∈Jk時(shí),vn(t)＝(Qvn－1)(t)＝S(t)x0＋

令n→∞,由Lebesgue控制收斂定理,對(duì)?t∈Jk(k＝2,3,…,m),有

注:即使對(duì)于不含脈沖的發(fā)展方程(2),上述定理的結(jié)論也是新的,不要求T(t)的等度連續(xù)性。

如果分別在每個(gè)Ji(i＝0,1,…,m)上來(lái)討論,此時(shí)問(wèn)題轉(zhuǎn)化為不含脈沖的情形,因此可以不用假設(shè)脈沖函數(shù)的連續(xù)性,仍采用定理1的證明思路,僅得到了mild解的存在性。

定理2-A生成正C0-半群T(t),x0∈X,Ik∶X→X(k＝1,2,…,m)。若問(wèn)題(1)存在下解v0及上解w0,使v0≤w0,且滿足假設(shè)(H1)～(H3),則初值問(wèn)題(1)在[v0,w0]中存在mild解。

證明略。

當(dāng)P為正則錐時(shí),結(jié)合條件(H1)和正則錐的性質(zhì)可推出條件(H3)[3],這樣就可刪去定理1和定理2中的條件(H3),即有以下推論。

推論1 設(shè)P為正則錐,-A生成正C0-半群T(t),x0∈X,Ik∶X→X(k＝1,2,…,m)連續(xù)。若問(wèn)題(1)存在下解v0及上解w0,使v0≤w0,且滿足假設(shè)(H1)和(H2),則初值問(wèn)題(1)在[v0,w0]中存在最小mild解和最大mild解,并且和分別可用上下解單調(diào)迭代求解。

推論2 設(shè)P為正則錐,-A生成正C0-半群T(t),x0∈X,Ik∶X→X(k＝1,2,…,m)。若問(wèn)題(1)存在下解v0及上解w0,使v0≤w0,且滿足假設(shè)(H1)和(H2),則初值問(wèn)題(1)在[v0,w0]中存在mild解。

3 結(jié)語(yǔ)

不要求半群的等度連續(xù)型,僅在正C0-半群下,采用單調(diào)迭代方法,對(duì)脈沖函數(shù)附加極少限制,得到了含脈沖的發(fā)展方程(1)最小、最大mild解的存在性,并且最小、最大mild解可通過(guò)迭代求解,推廣了已有工作。得到的抽象結(jié)果可應(yīng)用于多種數(shù)學(xué)物理方程[17],在應(yīng)用中具有一定的有效性,限于篇幅不再贅述。

[1] Pazy A.Semigroups of Linear Operators and Applications to Partial Differential Equations[M].Berlin:Springer Verlag, 1983.

[2] 李永祥.抽象半線性發(fā)展方程的正解及應(yīng)用[J].數(shù)學(xué)學(xué)報(bào), 1996,61(5):666-672.

[3] 李永祥.Banach空間半線性發(fā)展方程的周期解[J].數(shù)學(xué)學(xué)報(bào), 1998,63(3):629-636.

[4] 李永祥.抽象半線性發(fā)展方程初值問(wèn)題解的存在性[J].數(shù)學(xué)學(xué)報(bào),2005,70(6):1 089-1 094.

[5] 李永祥.抽象半線性發(fā)展方程初值問(wèn)題的整體解[J].應(yīng)用泛函分析學(xué)報(bào),2001,3(4):339-347.

[6] Chen Pengyu,Li Yongxiang.Mixed Monotone Iterative Technique for a Class of Semilinear Impulsive Evolution Equations in Banach Spaces[J].Nonlinear Analysis,2011,74:3 578-3 588.

[7] Liu J H.Nonlinear Impulsive Evolution Equations[J].Dyn.Contin.Discrete Impuls.Syst.,1999,6(1):77-85.

[8] Ahmed N U.Impulsive Evolution Equations in Infinite Dimensional Spaces[J].Dyn.Contin.Discrete Impuls.Syst.Ser.(A),2003,10:11-24.

[9] Mu Jia.Extremal Mild Solutions for Impulsive Fractional Evolution Equations with Nonlocal Initial Conditions[J].Boundary Value Problems,2012,71(1):2-12.

[10] Mu Jia,Li Yongxiang.Monotone Iterative Technique for Impulsive Fractional Evolution Equations[J].Journal of Inequalities and Applications,2011,125(1):2-12.

[11] Chen Pengyu,Mu Jia.Monotone Iterative Method for Semilinear Impulsive Evolution Equations of Mixed Type in Banach Spaces[J].Electronic Journal of Differential Equations,2010, 14:91-13.

[12] 劉燚,李瑩.Banach空間脈沖發(fā)展方程整體解的存在性及其應(yīng)用[J].甘肅科學(xué)學(xué)報(bào),2014,26(5):14-19.

[13] 劉燚.無(wú)窮區(qū)間脈沖發(fā)展方程初值問(wèn)題的上、下解方法[J].寶雞文理學(xué)院學(xué)報(bào):自然科學(xué)版,2014,34(2):10-14.

[14] 秦麗娟.Banach空間中脈沖微分方程初值問(wèn)題解的存在性[J].應(yīng)用數(shù)學(xué)學(xué)報(bào),2013,36(2):249-256.

[15] 郭大鈞,孫經(jīng)先.非線性常微分方程泛函方法[M].濟(jì)南:山東科學(xué)技術(shù)出版社,1995.

[16] Heinz H R.On the Behaviour of Measure of Noncompactness with Respect to Differention and Integration of Vector Valued Functions[J].Nonlinear Analysis,1983,7:1 351-1 371.

[17] 伍卓群,尹景學(xué),王春明.橢圓與拋物型方程引論[M].北京:科學(xué)出版社,2003.

Upper and Lower Solutions Method of Initial-value Problem in Pulse Evolution Equation

Li Ying
(College of Mathematics and Information Science,Baoji University of Arts and Sciences,Baoji721013,China)

It is mainly study existence of initial-value problem solution in the first-order impulsive evolution equation in Banach space.Only when semigroup is positive semigroup,little limit is applied to impulsive item.By using the characteristic of positive semigroup of operators and upper and lower solutions monotonous iterative method,the existence and other some results of minimum and maximum mild solution of non-linear impulsive evolution equation initial-value problem can be attained,the current work has been popularized.

Upper and lower solutions;Mild solution;Initial-value problem;PositiveC0-semigroup;Monotonous iterative method

O175.3

:A

:1004-0366(2016)05-0005-05

2016-04-05;

:2016-05-25.

國(guó)家自然科學(xué)基金資助項(xiàng)目(11371031);陜西省自然科學(xué)基礎(chǔ)研究計(jì)劃資助項(xiàng)目(2014JM1027);寶雞文理學(xué)院重點(diǎn)科研計(jì)劃項(xiàng)目(ZK16028).

李瑩(1981-),女,甘肅張掖人,碩士,講師,研究方向?yàn)榘l(fā)展方程理論和應(yīng)用.E-mail:chinaly1981＠163.com.

Li Ying.Upper and Lower Solutions Method of Initial-value Problem in Pulse Evolution Equation[J].Journal of Gansu Sciences,2016,28(5):5-9.[李瑩.抽象空間脈沖發(fā)展方程初值問(wèn)題的上下解方法[J].甘肅科學(xué)學(xué)報(bào),2016,28(5):5-9.]

10.16468/j.cnkii.ssn1004-0366.2016.05.002.