李斌
摘 要:不動點理論的出現推動了數學、物理學等領域的發(fā)展,由此受到廣泛關注。教師講授不動點理論,能開闊學生的眼界,為學生將來的理論研究奠定扎實的基礎。文章主要介紹不動點理論的發(fā)展歷程以及不定點定理的實質,并對幾個重要的不動點理論在已學知識中的應用加以探索和總結,以體現不動點理論應用的靈活性和廣泛性。
關鍵詞:不動點理論;數學;發(fā)展歷程;實質
中圖分類號:G642 文獻標志碼:A文章編號:1008-3561(2020)27-0110-02
不動點理論的探索興起于20世紀初,荷蘭數學家Brouwer在1909年創(chuàng)立了不動點理論。在此基礎上,波蘭數學家Banach提出了壓縮映射原理,從而使不動點定理有了進一步的發(fā)展,并產生了用迭代法求不動點的思想。美國數學家萊布尼茨于1923年發(fā)現了更為重要的不動點理論,并稱為萊布尼茨不動點理論。1927年,丹麥數學家尼爾森進一步研究了不動點個數問題,從而提出了尼爾森數的概念。不動點理論的研究內容屬于數學里的非線性泛函分析和一般拓撲學范疇,研究結果被廣泛應用于非線性規(guī)劃、分析數學、數理經濟學、力學、微分方程、控制理論、最優(yōu)化理論及博弈論等應用性學科和領域。本文對不動點理論的發(fā)展歷程、實質以及一些著名的不動點理論進行論述。
一、不動點理論的發(fā)展歷程
1909年,Brouwer發(fā)表了著名的不動點定理及一系列的論文,奠定了不動點理論的基礎。1922年,波蘭著名數學家巴拿赫提出了一個既簡單又實用的壓縮映射原理,稱為巴拿赫壓縮映射原理。巴拿赫壓縮映射原理不僅提出了映射不動點的存在性及唯一性,還提出了一種求不動點的逼近方法。1941年,日本著名數學家角谷靜夫的集值不動點理論為博弈論建立在數學基礎上做了理論準備。1967年,Brouwer不動點定理的構造性證明被美國數學家Scarf找到,其使用的是計算單純形連續(xù)映射不動點的組合拓撲有限算法。1968年Brouwer不動點定理被證明,1972年Himmelberg不動點定理被證明。1987年和1992年,Tarafdar分別在拓撲線性空間、H-空間建立的不動點定理都把不動點定理推向了更深遠。
關于不動點理論的研究達到高潮是在1990年以后,把討論不動點、幾乎不動點、隨機不動點等放在各種映射或空間條件下,新的不動點定理和各種迭代逼近方法不斷出現,每年有大量論文發(fā)表。不動點理論研究的內容大部分屬于非線性泛函分析和一般拓撲學范疇,其研究出的結果已經被廣泛應用于數理經濟學、分析數學、微分方程、控制理論、力學、最優(yōu)化處理、非線性規(guī)劃及博弈論等相應的學科。目前,關于不動點的理論發(fā)展,主要有兩方面:第一,各類方程不動點的存在性、唯一性以及解集的性態(tài)研究,第二,某些算子不動點逼近算法的理論研究,其中解集性態(tài)的研究成為近年來國內外學者研究的熱點。
二、不動點定理的實質
在泛函分析中,把某些分散在各個數學分支中的定理加以統(tǒng)一處理,如隱函數定理、微分方程解的存在性定理、積分方程解的存在性定理。在泛函分析中,把它們都歸結為一個定理既不動點定理,這正是抽象和統(tǒng)一的結果。關于算子方程Fx=x的求解問題的實質就是不動點定理,其在數學的各個分支中都是重要的基礎理論,通常是用來求解關于具體問題解的存在及唯一性的重要定理。最著名的巴拿赫不動點定理,亦稱壓縮映射原理,在現代數學發(fā)展中有著重要的地位和作用,它提供了線性方程解的最佳逼近方法,給出了近似解的構造程序,在偏微分方程、不定積分方程等領域中也有著廣泛的應用。
三、巴拿赫不動點定理
壓縮映射原理又稱為巴拿赫不動點定理或壓縮映射定理,是泛函分析里一個重要的定理,其不僅提供了度量空間中如何求出這些不動點的構造性方法,并且論證了度量空間的一定自映射的不動點的存在性及唯一性,在許多方程求解問題上都有著廣泛的應用。這個定理是波蘭數學家斯特凡·巴拿赫在1922年提出來的,并以此命名為巴拿赫定理。自此之后,許多數學研究人員在這方面進行了大量的研究,對該定理的推廣產生了深遠的理論和實際意義,取得了豐碩的成果。該不動點定理已經在數個領域有著深入且廣泛的應用,如積分方程、代數方程、數學分析、微分方程、算子方程等學科。其中,許多方程解的存在性與唯一性都可以用巴拿赫不動點定理及推論加以證明。在高等數學課程講授過程中融入巴拿赫不動點的思想,不僅對參加數學建模的學生有幫助,而且可以給參加大學生數學競賽的學生提供更多的解題思路。在高數的后續(xù)課程,如微分方程、數學建模、泛函分析、圖論中深入講解巴拿赫不動點定理,也能開闊學生的眼界,為他們將來的理論研究奠定扎實的基礎,激發(fā)學生積極探索的興趣。
四、不動點迭代
不動點迭代的研究最開始是從一個球體的實際問題引出的非線性方程進行探索的,是在理解迭代規(guī)則Pk+1=g(Pk)的基礎上,通過對迭代法和不動點迭代法的基本思想的融合,進而找出f(x)=0的同解變形x=g(x),然后給出初值x0,再運用迭代規(guī)則,求出誤差范圍內的近似解x≈Pk+1。迭代的步驟為:首先證明不動點的存在性,可以運用函數連續(xù)性,其次證明不動點唯一性,可以運用中值定理和均值定理,然后證明收斂性,可以運用均值定理及數學歸納法,并在此基礎上引出誤差邊界的定義,這樣就可以通過迭代求出非線性方程的近似解。再回到球體問題案例的求解中,進一步驗證非線性方程求解過程中不動點迭代的優(yōu)勢。由此,可以發(fā)現不動點定理的迭代法在其他學科領域的算子方程中也有重要的實用價值。不動點的迭代通常用于收斂算子的近似值求解,但對于不收斂的非線性算子,可以拓展到加速迭代法的收斂性討論,進而加速了對Steffensen加速迭代和Aitken加速迭代的研究,這也是以后研究的重點。
五、算子不動點
算子不動點理論是巴拿赫不動點定理一個重要應用,也是非線性泛函分析理論的重要研究領域,與近代數學的許多分支都有緊密的聯系,如拓撲學理論空間、算子理論、近代分析、結構理論等。它經常用來求解泛函微分方程、非線性方程、確定性和隨機性微分方程、函數方程、積分方程及各類算子方程等問題的解,并且用來判斷解的存在性。除此之外,算子不動點理論也是許多經濟均衡問題求解的重要工具。算子不動點理論更加具體化和代表性強,受到國內外學者的廣泛研究,理論成果顯著,每年都有大量的研究成果出現在各個領域。
總之,不動點理論是泛函分析和高等數學中的一個非常重要的理論,也是泛函分析教學中的一個難點。因此,教師應了解不動點理論的發(fā)展歷程以及不定點定理的實質,并將一些不定點定理教授給學生,為學生更深層次的數學學習奠定堅實的基礎,使學生能夠利用不定點定理開展數學、物理學、經濟學等相關學科的研究。
參考文獻:
[1]趙美娜,張樹義,鄭曉迪.2-距離空間中Fisher型映象的公共不動點定理[J].杭州師范大學學報:自然科學版,2016(06).
[2]石珍珍,賀飛,陳久駿,張瑞.實線性錐距離空間中帶有錐W-距離的不動點定理[J].應用泛函分析學報,2014(03).
[3]賀飛,丘京輝.實線性錐距離空間和不動點定理[J].數學學報,2014(01).
[4]王珊.關于不動點理論及有關應用[J].萍鄉(xiāng)高等??茖W校學報,2014(06).
[5]周作雄,侯代忠.高觀點下的不動點理論在各學段教學中的運用研究[J].廣西師范學院學報:自然科學版,2019(01).
[6]張麗娟.n-Banach空間中壓縮映射不動點理論[D].西北大學,2017.
[7]李群,高瑞貞,張京軍.基于不動點理論的改進遺傳算法及其應用[J].河北工程大學學報:自然科學版,2013(03).