劉麗環(huán)， 常 晶， 高艷超

(空軍航空大學(xué)基礎(chǔ)部，吉林長(zhǎng)春 130022)

0 引 言

利用拓?fù)涠壤碚?、半序方法以及臨界點(diǎn)理論可以研究常微分方程多個(gè)解的存在性，利用不動(dòng)點(diǎn)定理和單調(diào)迭代法可以研究脈沖常微分方程解的存在性。這些年來(lái)，這方面的結(jié)果有很多[1-5]。格林函數(shù)方法是求解常微分方程的一種重要方法，它的實(shí)質(zhì)是把常微分方程加上邊值條件轉(zhuǎn)化為一個(gè)積分方程，通過(guò)研究格林函數(shù)的性質(zhì)和函數(shù)非線性項(xiàng)的性質(zhì)求所述的非線性常微分方程邊值問(wèn)題的解[6-8]。文中主要應(yīng)用格林函數(shù)方法以及壓縮映射原理證明下面二階常微分方程

解的存在惟一性。

1 主要結(jié)果及證明

定理1 若方程(1)中f(t，y(t)，y′(t))連續(xù)，且滿足Lipschitz條件，即

且若

則方程(1)存在惟一解。

證明 首先構(gòu)造(1)的G reen函數(shù)為

則方程(1)等價(jià)于

與

因此

并且

此函數(shù)在t=a與t=b處達(dá)到最大值，由此可得

接下來(lái)需要尋找一個(gè)函數(shù)空間，使得y(t)以及y′(t)在此空間下均收斂。取S為[a，b]上的C1函數(shù)空間，取u∈S，并定義其范數(shù)為:

其中K與L為

中的Lipschitz常數(shù)。下面需要構(gòu)造映射 T:S→S，既需要證明:(1)只要u(t)是C′的，則Tu(t)就是C′的;(2)T為壓縮映射。為此構(gòu)造差商:

則

且關(guān)于t連續(xù)，故Tu(t)就是C′的。我們還需要證明(2)成立。

構(gòu)造

因

故可以推得

由Lipschitz條件

可得。

又因

從而

故當(dāng)

時(shí)，‖Tu-Tv‖≤α‖u-v‖，α＜1，故T為壓縮映射，從而方程(1)有惟一解，定理得證。

注1:若方程(1)的邊值條件改為

則其相應(yīng)的G reen函數(shù)為:

則問(wèn)題等價(jià)于

和

注2:若f中不含有y′時(shí)，即

其函數(shù)空間S的范數(shù)此時(shí)可定義為

這是S為完備的賦范線性空間，顯然u(t)是連續(xù)的，則Tu(t)就是連續(xù)的，這意味著T將S映射到自身，接下來(lái)確定何時(shí)T是S上的一個(gè)壓縮映射。首先

如果使用G(t，s)≥0，及Lipschitz條件

有

由于

因而

其中

引例:考慮

這時(shí)

[1] 程綱.二階微分方程邊值問(wèn)題的多重正解[J].應(yīng)用數(shù)學(xué)學(xué)報(bào)，2003，26(2):272-279.

[2] Dong H SF.Oppenheimer existenceand uniqueness results for some nonlinear boundary value prob lems [J].J.Math.Anal.App l.，1996，198:35-48.

[3] Erbe L H，Kong Q.Boundary value p rob lem s for singular second order functional differential equations[J].J.Comp.App l.M ath.，1994，53:377-388.

[4] LiY.On the existence and nonexistence of positive solutions for nonlinear Strum-Liouville boundary value prob lems[J].J.Math.Ana l.Appl.，2005，304:74-86.

[5] Li Y.Positive so lutions of second order boundary value problem s with sign-changing nonlinear terms [J].J.M ath.Anal.App l.，2003，282:232-240.

[6] Liu Yan Sheng，Yu H ui M in.Existence and uniqueness of positive solution for singular boundary value p roblem[J].Computers and M athematics with A pp lications，2005，50:133-143.

[7] BaiZhan Bing，GeW eiGao.Existence of three positive solutions for some second order boundary value problems[J].Computers and Mathematics with App lications，2004，48:699-707.

[8] Li Fu Y i，Zhang Q i，Liang Zhao Ping.Existence and multip licity of solutions of a kind of fourth order boundary value p rob lem[J].Nonlinear Analysis，2005，62:803-816.