1、Banach空間壓縮映像原理和不動點原理及其應用摘要本文進一步揭示了Banach空間壓縮映像原理與完備性的關系，對壓縮映像原理與不動點的相關理論做了詳細地闡述，并對Banach空間中壓縮映像原理與不動點原理的應用做了詳細的舉例說明。關鍵詞Banach空間壓縮原理完備性不動點引言泛函分析是本世紀出才逐漸形成的一個新的數學分支，以其高度的統(tǒng)一性和廣泛的應用性，在現代數學領域占有重要的地位。在泛函分析中，Banach空間理論在隱函數定理、微分方程解的存在性定理、積分方程解的存在性定理等等中，否起到了關鍵的作用，且都歸結為一個定理不動點定理。這正是抽像的結果。不動點定理實際上是算子方程Tx二x的求解問

2、題，是分析學的各個分支中存在和唯一性定理的重要基礎，它是關于具體問題解的存在唯一性的定理，其中Banach不動點定理，亦稱壓縮映射原理，它提供了線性方程解的最佳逼近程序，給出了近似解的構造，在常微分方程、積分方程等領域中也有著廣泛的應用，在現代數學發(fā)展中有著重要的地位和作用。正文1.Banach空間壓縮映像定理及其應用我們在解方程（包括常微分方程、偏微分方程、積分方程、差分方程、代數方程等）的過程中，大量使用的是逐次逼近的迭代法。幾乎可以這樣說：對一個方程，只要我們找到一個迭代公式，就算解出了這個方程（當然我們還要考慮迭代公式的收斂性、解的穩(wěn)定性和收斂速度等問題）。但是，在逐次迭代中，我們必須

3、保證迭代過程中得到的是個收斂序列，否則就是毫無意義的了。而選代法解方程的實質就是尋求變換（映射、映像）的不動點。例如求方程f（x）=0的根，我們可令g（x）=x-f（x），則求f（x）=0的根就變成求g（x）的不動點，即求,使.而在通常求映射的不動點的方法中，最簡單的就是下面我們所講的-Banach空間壓縮映像定理。定義（壓縮映像）設T是度量空間X到X中的映像，如果對都有（是常數）則稱T是X上的一個壓縮映像。從幾何上說：壓縮映像即點x和y經過映像T后，它們的像的距離縮短了（不超過d（x,y）的倍）定理1（Banach壓縮映像原理）1922年（Banach1892-1945波蘭數學家）設（X,d

4、）是一個完備度量空間，T是X上的一個壓縮映像，則T有唯一的不動點。即存在x屬于X,使得Tx=x。（證明存略）對于壓縮映像原理的應用，最典型的有以下幾個定理可說明問題。定理2（隱函數存在定理）設uf（x,y）在帶狀區(qū)域D（x,y）:axb,y上處處連'續(xù)，處處有關于y的偏導數fy（x，y），且如果存在常數m,M適合0mfy（x,y）M.則方程f（x,y）0在閉區(qū)間a,b上有唯一的連續(xù)函數y（x），使f（x,（X）0。T1fxx.證：（在Cab中考慮映像M，,若其為壓縮映像，則有不動點Tfx，x0）1在完備度量空間Cab中作映像TMf"x，顯然，對Cab由連續(xù)函數的運算性質有TC

5、abOT是Cab到自身的一個映像下證是壓縮的.即證dT1，T2d1，2，1，2Cab，01,故T取最大值dT 2,T 1 d 2, 1 ,01映像T是壓縮的.由Banach壓縮映像定理在C a b上有唯一的不動點 x使T顯然這個不動點適合fx，x 0注： 注意本定理的證明思路：先確定空間，再找映像（這是,任取1，2Cab由微分中值定理，存在01,使x, 1 xM1fx，fyx,1難點），然后證明此映像是壓縮的，最后利用定理即得。注意到這是利用Banach壓縮映像定理解題的一般方法。此隱函數存在定理給出的條件強于數學分析中隱函數存在定理所給出的條件，因而得出的結論也強些：此處得出區(qū)間上的連續(xù)隱函

6、數yx.下面我們介紹Banach不動點定理在常微分方程解的存在唯一性定理中的應用-Picard定理.定理3:（Picard定理Cauchy-Peano微分方程解的存在唯性定理）設ft,x在矩形Rt，x:lttola，xx0b上連續(xù)，設ft,xM,t,xR又ft,x在R上關于x匍！LLipschitz（德國人1832-1903）條件，即存在常數k使對t,x1,t,x2R有一一.dxb 1min a ,一 M kft,x1ft,x2kx1x2，那么方程dt,在區(qū)間Jt0,t0上有唯一的滿足初始條件xt0x0的連續(xù)函數解.其中證：設C"t0表示在區(qū)間Jt0,t0上的連續(xù)函數全體。maxdx

7、,yxtyt對tJ成完備度量空間。又令C表示Ct0t0中滿足條件xtx0tMtJ的連續(xù)函數全體所成的子空間。顯然C閉，因而C也是完備度量空間.Txttx0f,xdt0Mb如果xtC當tJ時，t,xtR而ft,x是R上的二元連續(xù)函數，映像中積分有意義。ttJTxtx0f,xdMt10M又對一切0t0,0TxtC故T是C到C的一個映像下證是壓縮的。由Lipschitz條件，對C中的任意兩點xt,vttTx,Tvt°f，xf,vdtf,xf,vdt0maxtt0kxtvtkdx,vtJk,則由b1mina,MkmaxdTx,TvTxTvdx,vtJ有01.故T是壓縮的由Banach壓縮映像

8、定理,T在C中有唯一的不動點即xtC使Txtxtt即xtx0t0f,xd且xt0xdxft,x,出,即xt是滿足初值條件的連續(xù)解。再證唯一性。二dxft,x,如果xxt也是dt滿足xt0x0的連續(xù)解xt那么,xd因而xC而且也是T的不動點.而T的不動點是唯一的故xtxtdxft,x出有唯一解。注：題設條件中Lipschitz條件的要求是十分強的，它保證了解的唯一性。實際上滿足Lipschtz條件即為一致收斂。因而可在積分號下求導，如果把解的要求降低，例如只要求廣義解，即只要求滿足t積分方程xt + 2. _.x= x+1 ,可得 X.V2或X-<2 舍不動點定理在圖論中的證明把一張小比例

9、尺的地圖，放在一張同地區(qū)的大比例尺地圖內, 有且僅有一個地名重合（有一個坐標相同的點相重合）010f,xd則題設條件可大大放寬：只要ft,x有界，即可利用Lebesgue控制收斂定理得到廣義解。注意到Banach壓縮映像定理不僅證明了方程的解的存在唯性，而且也提供了求解的方法-逐次逼近法：即只要任取X。X，令limnXnT X。XXn則解n.且在Banach不動點定理的證明中ndXn,xdX1,X。v1 .即此式給出了用a逼近解X的誤差估計式。2 .不動點定理的應用不動點證明數列極限定理X1-Xn+2對于數列,設X。二1,川4+1。求證：nimXn.2。一,XXn+2=1+_!>-1fv_x+2證明：由X。/，Xn+1Xn+1一。令j_不,X1,則f f X =1 < , X >1X+1 I 2 。那么xn 一定存在極限，設其為X。那么證明:把大地圖中所有的地名（包括未寫出來的）看作定理1中的X（距離按通常定義）；把小地圖所覆蓋的區(qū)域看作大地圖到自身的映像,顯然這是一個完備度量空間中的壓縮映像問題,故結論