對(duì)Banach空間中脈沖微分積分方程初值問(wèn)題解的探究

栗 裕，郭紅梅

(1.山西體育職業(yè)學(xué)院，山西 太原 030006;2.山西生物應(yīng)用職業(yè)技術(shù)學(xué)院，山西 太原 030031)

設(shè)(E，‖·‖)是實(shí)Banach空間，f∈C(J×E×E×E，E)，J=[0，a](a>0)，0=t0

(1)

其中

(2)

K∈C?D0，R+」，h∈C?D1，R+」，D0={(t，s)∈R2:0≤s≤t≤a}，D1={(t，s)∈R2:t≥0，s≤a}

1 概念和引理

引理1 設(shè)X是Banach空間，Ω?X是有界開(kāi)集，θ∈Ω，A:X→X連續(xù)，并且滿足下列條件：

(i)x≠λAx，?λ=[0，1]，x∈?Ω，

引理2 設(shè)m∈C[J，R+]且

其中L>0，N≥0并滿足N(eLa-1)

m(t)=0，?t∈J.

這里L(fēng)1≥0，L2≥0，L3≥0，Mi∈R+(i=0，1，…，m)，則m(t)≡0，?t∈J.

(3)

引理4 算子A是映PC[J，E]到PC[J，E]的連續(xù)算子.

2 主要結(jié)果

文中使用如下假設(shè)

(Q1)存在常數(shù)L1≥0，L2≥0，L3≥0，使得

a(f(t，D(t)，(TD)(t)，(SD)(t)))≤L1a(D(t))+L2a((TD)(t))+L3a((SD)(t))且滿足下列條件之一：

(i)KaL3h0(eδ(2L1+2ak0L2)-1)

(ii)a(2L1+aL2K0+aKL3h0)<1.

(Q2)對(duì)?t∈J，存在常數(shù)b1≥0，以及J上的非負(fù)有界函數(shù)b2(t)，b3(t)，b4(t)，使得‖f(t，u，Tu，Su)‖≤b1+b2(t)‖u‖+b3(t)‖Tu‖+b4(t)‖Su‖.

定理1 設(shè)E為實(shí)Banach空間，P為E中的正規(guī)錐，如果有f∈C[J×E×E×E，E].Ii∈C[E，E](i=1，2，…，m)，且Ii(i=1，2，…，m)在Tr上有界，若(Q1)、(Q2)成立，則方程(1)在PC[J，E]∩C1(J'，E)中至少有一個(gè)解.

證明 (1)由題易知，u∈PC[J，E]∩C1[J'，E]是方程(1)的解當(dāng)且僅當(dāng)Au=u，由引理4知，A是映PC[J，E]到PC[J，E]的連續(xù)算子.

(2)利用遞歸法證明Ω0={u∈PC[J，E]：u=λAu，0≤λ≤1}是PC[J，E]中的有界集.事實(shí)上，設(shè)u0∈Ω0，則存在λ0∈[0，1]，使得

u0(t)=λ0(Au0)(t)，t∈J.

(4)

易知

‖Tu0‖≤k0t1‖u0‖，‖Su0‖≤h0t1‖u0‖

(5)

令u(t)=‖u0(t)‖，由條件(Q2)、(2)、(4)、(5)可得

(6)

其中

(ii)當(dāng)t∈J1=[t1，t2]時(shí)，

‖u0(t)‖≤C2，t∈J1.

(iii)繼而可知存在不依賴(lài)于u0的常數(shù)Ci>0，使‖u0(t)‖≤Ci，t∈Ji-1(i=3，4，…，m+1)，令C=max{Ci:1≤i≤m+1}，則‖u0(t)‖≤C.

其次，取R>C，Ω={u∈PC[J，E]:‖u‖PC

令m(t)=α(D(t))，由引理3可知，m∈?Ji，R+」(i=0，1，…，m)，那么當(dāng)t∈J0=[0，t1]時(shí)，由條件(Q1)、式(2)及引理可知有

a(D(t))≤α(AD(t))≤

由引理3和條件(Q1)，可知m(t)=0(t∈J0)，因此

α(D(t))=0，?t∈J0

(7)

特別地，α(D(t1))=0.

又因?yàn)镮1∈C[E，E]，所以

α(I1(D(t1)))=0

(8)

當(dāng)t∈J1=(t1，t2]時(shí)，由條件(Q1)、式(2)及引理可知

α(D(t))≤

由引理3和條件(Q1)，可知m(t)=0(t∈J1)，故

α(D(t))=0，?t∈J1

(9)

特別地，α(D(t2))=0.

又因?yàn)镮2∈C[E，E]，所以

α(I2(D(t2)))=0

(10)

如此，繼而易證α(D(t))=0，t∈Ji(i=2，3，4,…，m)，因此D是PC[J，E]中的相對(duì)緊集.

綜上所述，由引理1可知，A在Ω中至少有一個(gè)不動(dòng)點(diǎn)，從而式(1)在PC[J，E]∩C1(J'，E)中至少有一個(gè)解.

參考文獻(xiàn)：

[1]孫經(jīng)先，劉立山.混合型微分-積分方程的單調(diào)迭代方法[J].系統(tǒng)科學(xué)與數(shù)學(xué)，1993(1):160～166.

[2]劉立山.Banach空間混合型微分-積分方程的解[J].數(shù)學(xué)學(xué)報(bào)，1995，38(6):721～731.

[3]郭大鈞.非線性泛函分析[M].濟(jì)南:山東科技出版社，1985.