阮周生，張文，王澤文

(1.東華理工大學(xué) 放射性地質(zhì)與勘探技術(shù)國防重點(diǎn)學(xué)科實(shí)驗(yàn)室，江西 南昌　330013；

2.東華理工大學(xué) 理學(xué)院，江西 南昌　330013)

?

帶周期邊界條件時(shí)間分?jǐn)?shù)階擴(kuò)散方程逆時(shí)反問題的條件穩(wěn)定性

阮周生1，2，張文1，2，王澤文2

(1.東華理工大學(xué) 放射性地質(zhì)與勘探技術(shù)國防重點(diǎn)學(xué)科實(shí)驗(yàn)室，江西 南昌330013；

2.東華理工大學(xué) 理學(xué)院，江西 南昌330013)

摘要：基于伴隨思想，利用分離變量方法研究了一類帶周期邊界條件時(shí)間分?jǐn)?shù)階擴(kuò)散方程，首先在弱解意義下推得了正問題解的正則性，然后基于對初值的光滑性假設(shè)推得了逆時(shí)反問題條件穩(wěn)定性結(jié)論.

關(guān)鍵詞：時(shí)間分?jǐn)?shù)階擴(kuò)散方程; 逆時(shí)反問題；條件穩(wěn)定性

MSC 2010：35K05

第一作者：阮周生(1980)，江西吉安人，東華理工大學(xué)講師，博士，主要從事偏微分方程正反問題理論與數(shù)值方法研究.

E-mail:zhshruan@126.com

本文考慮初邊界問題

(1)

(2)

Γ(1-α)為伽馬函數(shù).

上面定解問題中邊界條件含有周期邊界條件，是非局部的.對帶有非局部邊界條件定解問題的數(shù)值研究始于文獻(xiàn)[1]. 帶非局部邊界的定解問題具有特殊的性質(zhì)，因?yàn)閷?yīng)的空間微分算子不是自伴算子，故對應(yīng)的特征函數(shù)系統(tǒng)不是完備的系統(tǒng)，需要通過伴隨函數(shù)來對特征函數(shù)系統(tǒng)完備化.

Ionkin等[2]利用分離變量法證明了二維帶非局部邊界條件熱傳導(dǎo)方程定解問題解的存在性、唯一性及解對初值的穩(wěn)定性.Sergei[3]考慮了一類帶積分非局部邊界條件的初邊值波動方程問題，通過對定解條件的合理假設(shè)，利用Fourier分析方法證明了該問題經(jīng)典解的存在性與唯一性. 整數(shù)階帶非局部邊界條件定解問題數(shù)值方法研究可以參考文獻(xiàn)[4-7].Benchohra等[8]研究了Caputo分?jǐn)?shù)階微分方程帶非局部邊界條件定解問題解的存在性條件.文獻(xiàn)[9-11]分別利用擬逆法、優(yōu)化方法和數(shù)據(jù)正則化方法研究帶Dirichlet邊界條件的時(shí)間分?jǐn)?shù)階擴(kuò)散方程逆時(shí)反問題，帶非局部邊界條件分?jǐn)?shù)階微分方程反問題的研究可參考文獻(xiàn)[12-13].

上面所述帶非局部邊界條件分?jǐn)?shù)階微分方程正問題的研究是基于經(jīng)典解意義下考慮的，帶非局部邊界條件逆時(shí)問題的研究僅僅局限于反問題解的存在性、唯一性研究，針對逆時(shí)反問題條件穩(wěn)定性問題不曾考慮. 本文對以上的研究結(jié)果做進(jìn)一步研究，首先在弱解的意義下研究解的正則性，而后推導(dǎo)出逆時(shí)反問題的條件穩(wěn)定結(jié)果.

1弱解及基本引理

引理1[12-13]Mittag-Leffler函數(shù)滿足

給出弱解定義.

已知特征系統(tǒng)

X″(x)+λX=0,x∈(0,1),X(0)=0,X′(0)=X′(1).

(3)

對應(yīng)的特征值和特征函數(shù)系為

(4)

(5)

可推得伴隨問題對應(yīng)的特征函數(shù)系統(tǒng)為

(6)

(7)

(8)

(9)

同理，對伴隨特征系統(tǒng)重排可得

(10)

f0=(f,Y0),f1,k=(f,Y2k-1),f2,k=(f,Y2k),k=1,2,….

(11)

為了證明方便， 給出輔助函數(shù)Hk(t)定義并證明其相關(guān)性質(zhì).

定義3

(12)

引理3

2正問題解的正則性及逆時(shí)反問題條件穩(wěn)定性

利用分離變量法求問題(1)的級數(shù)形式解，設(shè)問題(1)的形式解為

(13)

將式(13)代入問題(1)得

(14)

(15)

為了后續(xù)表示方便，形式上記解算子K:φ→u(.,T)， 故有

(16)

給出問題(1)解的正則性結(jié)論.

定理1當(dāng)φ(x)∈L2[0,1],可推得問題(1)存在唯一的弱解u(x,t)，使得u∈C([0,T];L2[0,1])∩C((0,T];H2[0,1]),且存在常數(shù)C,滿足

形式推導(dǎo)有

其中

經(jīng)計(jì)算得

由Lebesgue控制收斂定理，

接下來證明弱解的唯一性，由弱解定義，只需要證明當(dāng)φ(x)=0時(shí)，問題只有平凡解.

由分?jǐn)?shù)階常微分方程解的存在唯一性結(jié)論[15]得Ti,k(t)=0,i=1,2,k=1,2,…,故u(x,t)≡0,(x,t)∈[0,1]×[0,T]，綜合可知，定理得證.

(17)

當(dāng)φ(x)∈H2[0,1]，可以推得

(18)

定理2(條件穩(wěn)定性)若φ(x)∈H2[0,1],且‖φ(x)‖H2[0,1]≤U0，則有下面條件穩(wěn)定性結(jié)果

(19)

證明：

3小結(jié)

本文基于分離變量法考慮了一類帶周期邊界條件的時(shí)間分?jǐn)?shù)階擴(kuò)散方程正反問題，通過對初始條件的先驗(yàn)假設(shè)，推得了初值反問題的條件穩(wěn)定性結(jié)論，從結(jié)論中看出帶周期邊界條件的時(shí)間分?jǐn)?shù)階逆時(shí)反問題是中度不適定的，比整數(shù)階逆時(shí)反問題不適定性要稍弱.

參考文獻(xiàn):

[1]BITSADZEAV,SAMARSKIIAA.Someelementarygeneralizationsoflinearellipticboundaryvalueproblems[J].DokLAkadNaukSSSR,1969,185(4): 739-740.

[2]IONKINNI,MOROZOVAVA.Thetwo-dimensionalheatequationwithnonlocalboundaryconditions[J].DifferEq,2000,36(7): 982-987.

[3]BEILINSA.Existenceofsolutionsforone-dimensionalwaveequationswithnonlocalconditions[J].ElectronJDifferEq,2001,76:1-8.

[4]BOUZIANIA.Onaclassofparabolicequationswithanonlocalboundarycondition[J].AcadRoyBelgBullClSci,1999,10: 61-77.

[5]BOUZIANIA,MERAZGAN,BENAMIRAS.Galerkinmethodappliedtoaparabolicevolutionproblemwithnonlocalboundaryconditions[J].NonlinearAnal,2008,69: 1515-1524.

[6]LINYanping,XUShuzhan,YINHongming.Finitedifferenceapproximationforaclassofnonlocalparabolicequations[J].IntJMathMathSci,1997,20:147-164.

[7]WANGShingmin,LINYanping.Anumericalmethodforthediffusionequationwithnonlocalboundaryspecifications[J].IntJEngrgSci,1990,28(6): 543-546.

[8]BENCHOHRA M,HAMANI S,NTOUYAS S K. Boundary value problems for differential equations with fractional order and nonlocal conditions[J]. Nonlinear Anal-Theor,2009,71(7): 2391-2396.

[9]LIU Jijun, YAMAMOTO M. A backward problem for the time-fractional diffusion equation[J]. Appl Anal,2010,89(11): 1769-1788.

[10]XIONG Xiangtuan, LI Ming. An optimal method for fractional heat conduction problem backward in time[J]. Appl Anal,2012,91(4): 823-840.

[11]WANG Liyan, LIU Jijun. Data regularization for a backward time-fractional diffusion problem[J]. Comput Math Appl,2012,64: 3613-3626.

[12]KIRANE M,MALIK S A,GWAIZ M A. An inverse source problem for a two dimensional time fractional diffusion equation with nonlocal boundary conditions[J]. Math Meth Appl Sci， 2013,36:1056-1069.

[13]KIRANE M,MALIK S A. Determination of an unknown source term and the temperature distribution for the linear heat equation involving fractional derivative in time[J]. Appl Math Comput,2011,218:163-170.

[14]KELDYSH M V.On eigenvalues and eigenfunctions of certain classes of not self-adjoint equations[J]. Doklady Acad Nauk SSSR,1951,87:11-14.

[15]PODLUBNY I. Fractional differential equations:an introduction to fractional derivatives，fractional differential equations,to methods of their solution and some of their applications[M]. San Diego: Academic Press,1999.

(責(zé)任編輯：王蘭英)

Conditional stability of backward problem for a time fractional

diffusion equation with periodic boundary condition

RUAN Zhousheng1，2，ZHANG Wen1，2，WANG Zewen2

(1. Key Laboratory for Radioactive Geology and Exploration Technology, Fundamental Science for

National Defense，East China University of Technology，Nanchang 330013，China;

2.College of Science， East China University of Technology， Nanchang 330013，China)

Abstract:Based on the adjoint idea， a kind of time fractional diffusion equation with periodic boundary condition by method of separation of variables was considered. Firstly， the regularization result of the solution to the direct problem in the sense of weak solution was derived. Then based on the smoothing assumption for the initial data， the conditional stability for the backward problem was gived.

Key words:time fractional diffusion equation; backward problem; conditional stability

基金項(xiàng)目：國家高新技術(shù)研究發(fā)展計(jì)劃(2012AA061504)；國家自然科學(xué)基金資助項(xiàng)目(11561003)；放射性地質(zhì)與勘探技術(shù)國防重點(diǎn)學(xué)科實(shí)驗(yàn)室資助項(xiàng)目(RGET1513)；江西省高?？萍悸涞赜?jì)劃資助項(xiàng)目(KJLD14051)

收稿日期：2015-01-10

中圖分類號：O175

文獻(xiàn)標(biāo)志碼:A

文章編號：1000-1565(2015)06-0561-05

DOI：10.3969/j.issn.1000-1565.2015.06.001