三階微分方程初值問題解的存在性研究

摘要：本文討論了三階微分方程的初值問題，通過定義耦合上下解并構(gòu)造迭代序列給出了研究三階微分方程初值問題的一種廣義迭代方法，證明了三階微分方程初值問題解的存在性，并通過實例加以驗證。

關(guān)鍵詞：初值問題；上下解；單調(diào)迭代方法

ABSTRACT：This paper discusses the initial value problem of three order differential equations，by defining the coupled of upper and lower solutions and constructing iterative sequence，it gives a generalized iterative method of three order differential equations，and proves the existence of solutions for initial value problems of three order differential equations and an example is given to illustrate the results obtained.

Key words：Initial value problem Upper and lower solutions Monotone iterative method

1 引言

微分方程理論的發(fā)展已有幾百年的歷史，但是一直處于發(fā)展中.微分方程初值問題理論在定性理論中占據(jù)著十分重要的位置，許多學(xué)者應(yīng)用了不同的方法和技巧對其進(jìn)行了深入研究，得到了不同的研究成果，文獻(xiàn)[1]是利用逐步逼近法來證明一階微分方程初值問題解的存在唯一性，另外還有文獻(xiàn)[2]運(yùn)用佩亞諾定理（丁同仁）對該問題的證明.這兩種方法都是對一階常微分方程的證明.自1985年，V.Laksmikanthan[3]等人出版了《非線性方程的單調(diào)迭代技術(shù)》，系統(tǒng)地介紹了如何利用上下解方法和單調(diào)迭代方法來解決非線性微分方程（組）的一些問題.不僅可以證明解的存在性，還可以構(gòu)造單調(diào)迭代序列，并在一定條件下序列一致收斂，其極限就是原問題的極值解，進(jìn)而給出了研究解的存在性問題的另一種有趣并十分有用的重要方法.許多學(xué)者應(yīng)用此類方法對方程解的存在性問題進(jìn)行了深入研究，并將此類研究方法進(jìn)行推廣，得到更多的理論研究.文獻(xiàn)[4]是對一階微分方程初值問題的研究，現(xiàn)在結(jié)合眾多學(xué)者的研究成果，本文對其進(jìn)行拓展和推廣，研究三階微分方程的初值問題.考慮如下微分方程：

{

（1.1）

其中 ， [ ]， = 是方程（1.1）的解，對于任意的 ， 分別關(guān)于 是單調(diào)非減的， 分別關(guān)于 是單調(diào)非增的.

下面介紹四類上下解的定義：

定義1：函數(shù) ， 在 上三階可導(dǎo)，稱為：

（1）一般上下解，如果：

（2）第一類耦合上下解，如果：

（3）第二類耦合上下解，如果：

（4）第三類耦合上下解，如果：

定義2：函數(shù) 在 上三階可導(dǎo)稱為（1.1）的耦合解.如果：

，

.

若 ，由于 的單調(diào)性，不難得出

故當(dāng) 時，第二類耦合上下解包含了一般上下解和第三類耦合上下解.一般情況下要求 ，因此以下只需要考慮第一、二類耦合上下解.

2 主要結(jié)果

定理2.1

假設(shè)：

（i） ， 是方程（1.1）的第一類耦合上下解，并且對任意 有 ；

（ii）對任意的 ， 是分別關(guān)于 是單調(diào)非減的， 是分別關(guān)于 是單調(diào)非增的；

則存在單調(diào)序列 使得

且分別一致收斂于方程（1.1）的耦合極值解.

證明：考慮迭代序列

利用數(shù)學(xué)歸納法證明：

先證 ，

（1）先證 ，

令 ， ，

因為 為第一類耦合上下解，

所以有

，

，

則

，

即 ，則 是單調(diào)遞增函數(shù).

， ，

即 ，則 是單調(diào)遞增函數(shù).

， ，

即 ，則 是單調(diào)遞增函數(shù).

，即 .

從而 得證，同理可證得 .

（2）再證 ，令 ，

=

由于 ， 的單調(diào)性及 ，可得

，

，

從而可得 ，則 是單調(diào)遞增函數(shù).

， ，

即 ，則 是單調(diào)遞增函數(shù).

， ，

即 ，則 是單調(diào)遞增函數(shù).

，

則 ，即 .

綜上所述可得 .

假設(shè) 成立，下證 也成立.

（1）先證 ，令 ，

，

由于 ， 的單調(diào)性及 ，可以得出 ，

則 是單調(diào)遞增函數(shù).

， ，

即 ，則 是單調(diào)遞增函數(shù).

，

，

即 ，則 是單調(diào)遞增函數(shù).

，

即 ，則 .同理可證得 .

（2）再證 ，令 ，

，

由于 ， 的單調(diào)性及 可得 ，則 是單調(diào)遞增函數(shù).

，

，

即 ，則 是單調(diào)遞增函數(shù).

，

，

即 ，則 是單調(diào)遞增函數(shù).

，

則 ，即 ，

綜上所述可知 .

由數(shù)學(xué)歸納法可知 ，

則序列{ }，{ }在 上單調(diào)有界，

則有 ， .

由于{ }，{ }等度連續(xù)，則由文獻(xiàn)[5]的定理可知{ }，{ }一致收斂于 ， .當(dāng) 時， ， 為方程（1.1）的耦合解.

下面證明 ， 為極值解，

設(shè)u是方程（1.1）滿足 的任意解，證明 .

顯然 .假設(shè) 成立，下證 也成立.

先證 ，令 ，

，

由 ， 的單調(diào)性及 可知

，

，

則 ，所以 是單調(diào)遞增函數(shù).

，

，

即 ，則 是單調(diào)遞增函數(shù).

， ，

即 ， 是單調(diào)遞增函數(shù).

，

則 ，即 ，同理可證得 .

綜上所述可得 ，對 都成立.

， .

上述討論僅考慮了第一耦合上下解的情況，同樣也可以考慮第二類耦合上下解的情況，給出相應(yīng)的定理.

定理2.2

假設(shè)：

（i）方程（1.1）存在第二類耦合上下解 ，并且對于所有的 有 ；

（ii）對于任意的 ， 分別關(guān)于 是單調(diào)非減的， 分別關(guān)于 是單調(diào)非增的；則當(dāng) ， ， 時定理2.1成立.

證明與定理2.1類似，故不再重復(fù).

參考文獻(xiàn)：

[1] 王高雄，周之銘，朱思銘.常微分方程[M].第三版.高等教育出版社，2006.

[2] 丁同仁，李承治.常微分方程教程[M].第二版.高等教育出版社，2004.

[3] G.S.Ladde，V.Lakshmikantham，A.S.Vatsala.非線性方程的單調(diào)迭代技術(shù)[M].Pitman，Boston.1985.

[4] I.H.West，A.S.Vatsala，初值問題的廣義單調(diào)迭代法，Appl.Math.Lett[J].2004，17：1231-1237.

[5] 傅涌.有界閉區(qū)間上連續(xù)函數(shù)列一致收斂的充要條件.大學(xué)數(shù)學(xué)[J].2007，23：117-120.

基金項目：

課題項目：河北省高等學(xué)校科學(xué)技術(shù)研究項目（Z2015018）。

作者簡介：

田淑環(huán) 女 河北定州市1980.8月。研究生 講師，研究方向微分方程及其應(yīng)用。

（作者單位：保定學(xué)院 白紅信 保定學(xué)院）