楊 帥

(中國(guó)礦業(yè)大學(xué)(北京)理學(xué)院，北京100083)

0 引 言

近年來(lái)，隨著分?jǐn)?shù)階微分方程模型廣泛建立于分?jǐn)?shù)物理學(xué)、粘彈性力學(xué)、自動(dòng)控制、生物化學(xué)、流體力學(xué)、隨機(jī)過(guò)程等諸多應(yīng)用科學(xué)領(lǐng)域［1］，分?jǐn)?shù)階微分方程理論引起了許多科研人員的濃厚興趣和積極關(guān)注.關(guān)于分?jǐn)?shù)階微分方程解的存在性及其求解也取得了豐碩的成果［2～5］.分?jǐn)?shù)階微分方程初值問(wèn)題是非線性微分方程的一個(gè)重要研究課題［6～9］.Diethelm［3］討論了如下一類分?jǐn)?shù)階微分方程邊值問(wèn)題

本文同樣討論上述方程，遵循Diethelm 的核心證明思想，但將其假設(shè)條件弱化，應(yīng)用Schauder 不動(dòng)點(diǎn)定理證明這類分?jǐn)?shù)階微分初值問(wèn)題解的存在性.

1 預(yù)備知識(shí)

定理1.1 設(shè)n ＞0，n ?N，且m=［n］.更設(shè)K ＞0，h*＞0，b1，b2，…，bm∈R.定義

G= (x，y)∈R2:0 ≤x ≤h*，y ∈R時(shí){ ，

假定f:G →R 在G 上連續(xù)有界，并且關(guān)于第二個(gè)變量滿足Lipschitz 條件，即?L ＞0，s.t.?(x，y1)，(x，y2)∈G，有

定理1.2 在定理1.1 的假設(shè)條件下，設(shè)h ＞0.y ∈C(0，h］是(1)的一個(gè)解當(dāng)且僅當(dāng)它是Volterra 積分方程

的一個(gè)解.

定理1.1 和定理1.2 分別引自Diethelm［3］定理5.1 和引理5.2.Diethelm 關(guān)于(1)或(2)解的存在性證明見(jiàn)Diethelm［3］引理5.3.

2 主要結(jié)果

定理2.1 在定理1.1 中將假定f 關(guān)于第二個(gè)變量滿足Lipschitz 條件去掉后，定理結(jié)論依然成立.也就是說(shuō)，即使f 關(guān)于第二個(gè)變量不滿足Lipschitz 條件，(1)仍然有連續(xù)解y ∈C(0，h］.

證明: 由定理1.2 的證明過(guò)程知，將假定f 關(guān)于第二個(gè)變量滿足Lipschitz 條件去掉后，(1)與(2)依然等價(jià).

(i)，顯然‖y‖^B≥0，且‖y‖^B=0?y=0.

(ii)?y1，y2∈^B，，有

(iii)?α ∈R，有

接下來(lái)，定義集合

證明B 的凸性.?α ∈R，滿足0 ≤α ≤1，?y1，y2∈B，有

現(xiàn)在，在B 上定義算子F:

則求解Volterra 積分方程(2)轉(zhuǎn)化為求算子的不動(dòng)點(diǎn)問(wèn)題.

事實(shí)上，

則算子F 的不動(dòng)點(diǎn)問(wèn)題又可以轉(zhuǎn)化為這樣一個(gè)算子H:B →B.

的不動(dòng)點(diǎn)問(wèn)題.

分以下幾步來(lái)證明:

第一步，由

知，

取?y ∈B，可以得到

即Hy*(x)∈B，于是算子H:B →B.且可以得到Hy*(x)一致有界.

第二步，來(lái)討論算子H 的連續(xù)性.?y1?y2∈B，x ∈(0，h］，看到，對(duì)于?ε ＞0，由f 在‖y*‖∞≤K 上的一致連續(xù)性知，?δ0＞0 使得當(dāng)|y1－y2|＜δ0時(shí)，有

則H:B →B 連續(xù).

第三步，?y ∈B，?x1，x2∈(0，h］，不妨設(shè)0＜x1≤x2≤h.對(duì)于?ε ＞0，討論

因?yàn)閚 ＞0，n ?N，所以

(I)當(dāng)n ＞1 時(shí)，

則假定此時(shí)存在|x2－x1|＜δ1，有

那么

即δ1=δ1(ε).

(II)當(dāng)n ＜1 時(shí)，有

此時(shí)假定存在|x2－x1|＜δ2，則

那么可以推出

即δ2=δ2(ε).

由(I)、(II)，取δ=min{δ1(ε)，δ2(ε)}，則當(dāng)|x2－x1|＜δ 時(shí)，|Hy*(x1)－Hy*(x2)|＜ε.則Hy*等度連續(xù).

由Ascoli－Arzela 定理知Hy*是B 中的相對(duì)緊集.因此H:B →B 全連續(xù).根據(jù)Schauder 不動(dòng)點(diǎn)定理知H 在B 中必有不動(dòng)點(diǎn).

綜上，證明了分?jǐn)?shù)階微分初值問(wèn)題(1)解的存在性，即(1)必有連續(xù)解y ∈C(0，h］.

［1］ J.Sabatier，O.P.Agrawal，J.A.Tenreiro Machado.Advances in Fractional Calculus［M］.Nether－Lands:Springer，2007.

［2］ A.A.Kilbas，H.M.Srivastava，J.J.Trujillo.Theory and Applications of Fractional Differential Equations［M］.Amsterdam:Elsevier，2006.

［3］ Kai Diethelm.The Analysis of Fractional Differential Equations［M］.Heidelberg:Springer，2010.

［4］ Kenneth S.Miller，Bertram Ross.An Introduction to the Fractional Calculus and Fractional Differential Equations［M］.New York:Wiley，1993.

［5］ Igor Podlubny.Fractional Differential Equations［M］.London:Academic Press，1999.

［6］ Shuqin Zhang.Positive Solutions to Singular Boundary Value Problem for Nonlinear Fractional Differential Equation［J］.Computers and Mathematics with Applications，2009，593.

［7］ Shuqin Zhang.Positive Solution of Singular Boundary Value Problem for Nonlinear Fractional Differential Equation with Nonlinearity That Changes Sign［J］.Positivity，2012，161.

［8］ Xinwei Su.Boundary Value Problem for a Coupled System of Nonlinear Fractional Differential Equations［J］.Appl.Math.Lett.，2009，22.

［9］ Xinwei Su.Positive Solutions to Singular Boundary Value Problems for Fractional Functional Differential Equations with Changing Sign Nonlinearity［J］.Computers and Mathematics with Applications，2012，6410.

［10］ Emmanuele DiBenedetto.Real Analysis［M］.Heidelberg:Springer，2002.