資源描述:
《分?jǐn)?shù)階微分方程三點(diǎn)邊值問題解的存在唯一性.pdf》由會(huì)員上傳分享,免費(fèi)在線閱讀,更多相關(guān)內(nèi)容在應(yīng)用文檔-天天文庫(kù)。
1、倡2013年5月安慶師范學(xué)院學(xué)報(bào)(自然科學(xué)版)May.2013第19卷第2期JournalofAnqingTeachersCollege(NaturalScienceEdition)Vol.19No.2網(wǎng)絡(luò)出版時(shí)間:2013-5-3016:48 網(wǎng)絡(luò)出版地址:http://www.cnki.net/kcms/detail/34.1150.N.20130530.1648.002.html分?jǐn)?shù)階微分方程三點(diǎn)邊值問題解的存在唯一性吳婷,孫琳(安徽大學(xué)數(shù)學(xué)科學(xué)學(xué)院,安徽合肥230039)摘要:利用Schaefer不動(dòng)點(diǎn)定理、壓縮映像原理和H迸der不等式,
2、討論了一類非線性分?jǐn)?shù)階微分方程的三點(diǎn)邊值問題,得出了此類邊值問題的解的存在性和唯一性的兩個(gè)充分條件。關(guān)鍵詞:邊值問題;不動(dòng)點(diǎn)定理;存在性;唯一性中圖分類號(hào):O175.8文獻(xiàn)標(biāo)識(shí)碼:A文章編號(hào):1007-4260(2013)02-0004-05微分方程邊值問題的研究歷史悠久,從之前的常微分方程發(fā)展到如今的廣泛被研究的分?jǐn)?shù)階微分方程。隨著分?jǐn)?shù)階微分方程理論的不斷發(fā)展,有關(guān)分?jǐn)?shù)階微分方程邊值問題解的性質(zhì)的研究有著比較[3-8][3-6]豐富的結(jié)果,如分?jǐn)?shù)階微分方程邊值問題的正解和多點(diǎn)邊值問題的解。近年來,分?jǐn)?shù)階微分方[2]程在物理學(xué)、化學(xué)、天文學(xué)、生物學(xué)
3、以及控制理論等領(lǐng)域得到了廣泛的研究和應(yīng)用,但從實(shí)際問題抽象出來的方程有可能是較為復(fù)雜的含積分的分?jǐn)?shù)階微分方程,從而對(duì)分?jǐn)?shù)階積分微分方程的研究尤為必要。文獻(xiàn)[7]和[8]已經(jīng)研究了一類含積分的分?jǐn)?shù)階微分方程的解的相關(guān)性質(zhì),在此基礎(chǔ)上,本文主要考慮如下非線性分?jǐn)?shù)階積分微分方程三點(diǎn)邊值問題CαDu(t)=f(t,u(t),(Su)(t)),t∈J=[0,T]0+(1)u(0)=au(η),u(T)=bu(η)解的存在性和唯一性,其中1<α≤2,0<a<1,0<b<1,η∈(0,T),f∶J×R×R→R,且S是第一型Fredholm積分算子,定義為t(Su
4、)(t)=∫k(t,s)u(s)ds0t+其中k∈(J×J,R),另記γ=max{∫k(t,s)ds∶(t,s)∈J×J}。0本文首先給出有關(guān)分?jǐn)?shù)階微分方程的基本概念和準(zhǔn)備知識(shí),其次將邊值問題(1)轉(zhuǎn)化為等價(jià)的積分方程,最后,運(yùn)用不動(dòng)點(diǎn)定理得到解的存在性和唯一性的兩個(gè)充分條件。1 預(yù)備知識(shí)[2]定義函數(shù)y∶(0,+∞)→R的α階Riemann-Liouville分?jǐn)?shù)階積分為tα1α-1I0+y(t)=∫(t-s)y(s)dsΓ(α)0其中,α>0,Γ(·)為Gamma函數(shù)。[2]引理1若u∈C(0,0)∩L(0,1)有n階導(dǎo)數(shù)屬于C(0,0)∩L(
5、0,1),則αCα2n-1I0+D0+u(t)=u(t)+c1+c2t+c3t+?+cntci∈R,i=1,2,?,n,其中n=[α]+1。倡收稿日期:2012-10-30基金項(xiàng)目:教育部博士點(diǎn)基金(20113401110001)和安徽省自然科學(xué)基金(1308085MA01)資助。作者簡(jiǎn)介:吳婷,女,安徽省安慶人,安徽大學(xué)數(shù)學(xué)科學(xué)學(xué)院碩士研究生,研究方向:微分方程。第2期吳婷,孫琳:分?jǐn)?shù)階微分方程三點(diǎn)邊值問題解的存在唯一性··5引理2 假設(shè)函數(shù)h∈C(J,R),則函數(shù)u是分?jǐn)?shù)階積分方程tη1α-1c[(b-a)t+aT]α-1u(t)=∫(t-s)
6、h(s)ds+∫(η-s)h(s)ds-Γ(α)0Γ(α)0Tc[(1-a)t+aη]α-1∫(T-s)h(s)dsΓ(α)0的解,當(dāng)且僅當(dāng)是下述分?jǐn)?shù)階邊值問題CαDu(t)=h(t),1<α≤2,t∈J0+(2)u(0)=au(η),u(T)=bu(η)-1的解,其中c=[η(a-b)+T(1-a)]>0。證明由引理1,先將(2)式轉(zhuǎn)化成等價(jià)的積分方程αu(t)=Ih(t)+c1+c2t,c1,c2∈R0+由邊值條件u(0)=au(η),u(T)=bu(η)得ηTacTα-1acηα-1c1=∫(η-s)h(s)ds-∫(T-s)h(s)dsΓ(
7、α)0Γ(α)0ηTc(b-a)α-1c(1-a)α-1c2=∫(η-s)h(s)ds-∫(T-s)h(s)dsΓ(α)0Γ(α)0-1其中c=[η(a-b)+T(1-a)]>0。因此,tη1α-1c[(b-a)t+aT]α-1u(t)=∫(t-s)h(s)ds+∫(η-s)h(s)ds-Γ(α)0Γ(α)0Tc[(1-a)t+aη]α-1∫(T-s)h(s)dsΓ(α)0對(duì)于可測(cè)函數(shù)m∶J→R,定義其范數(shù)為1pp(∫|m(t)|dt),0≤p<∞‖m‖=JLp(J,R)inf{sup|m(t)|},p=∞μ(J)=0t∈J-Jp其中μ(J)是J上
8、的Lebesgue測(cè)度,L(J,R)表示所有Lebesgue可測(cè)函數(shù)m∶J→R構(gòu)成的Banach空間且‖m‖<∞。Lp(J