壓縮映射原理及其應用數學畢業(yè)論文

上傳人:1666****666 文檔編號:38003805 上傳時間:2021-11-05 格式:DOC 頁數:10 大小:598.03KB
收藏 版權申訴 舉報 下載
壓縮映射原理及其應用數學畢業(yè)論文_第1頁
第1頁 / 共10頁
壓縮映射原理及其應用數學畢業(yè)論文_第2頁
第2頁 / 共10頁
壓縮映射原理及其應用數學畢業(yè)論文_第3頁
第3頁 / 共10頁

下載文檔到電腦,查找使用更方便

10 積分

下載資源

還剩頁未讀,繼續(xù)閱讀

資源描述:

《壓縮映射原理及其應用數學畢業(yè)論文》由會員分享,可在線閱讀,更多相關《壓縮映射原理及其應用數學畢業(yè)論文(10頁珍藏版)》請在裝配圖網上搜索。

1、 壓縮映射原理及其應用 摘 要: 本文較詳細地論述了Banach空間中的壓縮映射原理,以及它在關于一些問題的解的存在唯一性定理證明中的廣泛應用。 關鍵詞: 抽象函數,不動點,壓縮映射,抽象微分方程,隱函數存在性理 引 言: 壓縮映射原理的研究是算子方程Fx=x的求解問題,它不僅具有實 義,而且對泛函分析理論的發(fā)展起著重大作用。 我們首先介紹不動點和壓縮映射的定義以及壓縮映射原理,并在此基礎上,進一步給出一個推廣的壓縮映射原理。壓縮映射原理不僅指出了算子方程x=Fx的解的存在性和唯一性,而且給出了近似求解的方法及誤差估計,因而是很有用的。微分方程初值問題的解的存在唯一性

2、定理及畢卡(Picard)逐次逼近法就是它的特例。在Banach空間中這一問題將更為普遍。數學分析中的隱函數存在定理也是壓縮映射原理的一個特例。 一、幾個定義及壓縮映射原理 定義1 設X,Y為巴拿赫空間,算子(一般地,F是非線性的)。如果存在有界線性算子使得關系式 對于滿足的是一致成立的,則稱算子F在點處是弗力許(Frchet)可微的,并記,稱為算子F在點處的弗力許導數。 為了給出關于算子的有限增量公式(相當于中值定理),我們引入關于抽象函數的積分的概念。 設x(t)是由實數域到巴拿赫空間X的算子。這種算子通常稱為“抽象函數”。現設x(t)的定義域是區(qū)間[a,b]。將[a

3、,b]分成n個小區(qū)間,分點為 記此分劃為,及在每個小區(qū)間上任取一點,作和式 (*) 定義2 如果對任意的分劃及的任意取法,當時和式(*)都收斂(在X中范數意義下)于同一個元素,則抽象函數x(t)在[a,b]上黎蔓可積的,r稱為x(t)在[a,b]上的黎蔓積分,記為 性質1 設抽象函數x(t)黎蔓可積,則抽象函數在[a,b]上弗力許可薇,且 (**) 定義3 設X為巴拿赫空間,F為由X到X的算子,且D(F)R(F)非空。如果x*∈X滿足 F(x*)=x* 則稱x*為算子F的不動點。換句話說,不動點x*是算子方程 x=F(x

4、) (1) 的解。 定義4 設集合,如果存在常數q∈(0,1),使得對任意的均有不等式 ||F()-F()||≤q||-|| (2) 則稱F為集合Q上的壓縮算子,q稱為壓縮系數。 定理1(壓縮映射原理) 設算子F映巴拿赫空間X中的閉集Q為自己。且F為Q上的壓縮算子,壓縮系數為q,則算子F在Q內存在唯一的不動點。若為Q中任意一點,作序列 (3) 則序列且。并有誤差估計 (4) 證明:由于FQ故設利用算子F的壓縮性,可依次得到:

5、 (5) 現在估計。利用(5)式可得到 即 (6) 由此可知{}是柯西點列,由X的完備性知存在使得又因Q是閉集故 現在證明是算子F的不動點,由算子F在Q上的壓縮性知其在Q上連續(xù)。事實上,如果則由式(2)知F(于是在式(3)中令n。即得 再證的唯一性。設若另有一不動點則 由于q故上式只能在時成立于是x=至于估計式(4)的證明只需在式(6)中令p。證畢。 壓縮映射原理最常用的兩種特殊情形是Q=X及Q=--

6、--X中的閉球。對于后者,如下列推論所述 推論1設F為閉球上的壓縮算子,壓縮系數為q,R(F)且 (7) 則F在中有唯一不動點且序列(3)收斂于,收斂速度為式(4),初始近似可在中任取。 證明 : 只要證F映為自己。如果x即則。 二、推廣的壓縮映射原理 設算子F映集合Q為自己。對任一自然數n,算子F的n次冪定義為:當x時令如果已經定義,則令 定理2 設算子F映閉集Q為自己且對某一自然數k算子為Q上的壓縮算子則F在Q中存在唯一的不動點逼近序列(3)收斂于初始近似為任意。 證明 : 當k=1時即為定理1?,F

7、設k。考察算子G=,根據定理1,G在Q上有唯一的不動點,因為算子F與G在Q上可交換,故有 G(F())=F(G( 此即表明F(也是G的不動點。但G的不動點是唯一的,故F(即也是F的不動點。下證唯一。如果另有,滿足,則。但G的不動點是唯一的,故=。證畢。 三、壓縮映射原理的應用 在微分方程,積分方程以及其它各類方程的理論中,解的存在性唯一性以及近似解的收斂性等都是很重要的問題。為了證明一個微分方程,積分方程或其它類型的方程存在解。我們可以將它變成求某一映射的不動點。現在以大家熟悉的一階常微分方程 (8) 為例來說明這一點。求微分方程(8)滿足初始條件的解與求解積

8、分方程 等價。為了求解積分方程(9),我們可以根據f(x,y)所滿足解析條件適當地取一個度量空間,并在這個度量空間中作映射, 于是方程(9)的解就轉化為求使它滿足。也就是求出這樣的,它經映射T作用后仍變?yōu)?,這種稱為映射T的不動點。因此求解方程(8)就變成求映射T的不動點。 考察微分方程 (10) 其中f(x,y)在整

9、個平面內連續(xù),此外還設f(x,y)關于y滿足李普希茨條件: 則通過點微分方程(10)有一條且只有一條積分曲線。 證明 : 問題(10)等價于求解下面的積分方程 我們取使用表示在區(qū)間上的連續(xù)函數組成的空間,在中定義算子(映射)F: 則 因,由壓縮映射原理,存在唯一的連續(xù)函數y(x),使 由此可以看出,y(t)還是連續(xù)可微的,于是y=y(t)便是微分方程(10)通過的積分曲線。但只定義在上,重復利用壓縮映射原理,可以將它延拓到整個數軸上。 四、巴拿赫空間中的微分方程 對于微分方程初值問題的解的各種存在唯一定理,利用壓縮映射原理,可以給出一種很簡單的證明。下面我們在巴

10、拿赫空間中討論這一問題,這樣做具有普遍性,卻并不增加證明的復雜性。 設x(t)為從實數域到某一巴拿赫空間X的抽象函數.我們要討論的是非線性微分方程 (11) 其中F(t,x)是關于兩個變元的非線性算子,實變量,而x是X的元素.F的值域也在X中.的意義與通常理解的相同: 現在假設F為已知,所謂微分方程(11)的初值問題是指求x(t),它滿足(11)及初始條件 (12) 其中。 定理3 設當x為固定且時F(t,x)在上連續(xù),而當及時有 (13)

11、 (14) 則在[0,a]上初值問題(11),(12)存在唯一解x(t),且(當時)。 證明: 所討論的問題等價于積分方程 (15) 事實上,設x(t)是初值問題(11),(12)的解,則可將x(t)代入方程(15),再從0到t積分,考慮到條件(12),即得式(15),反之設x(t)滿足方程(15),注意到當時抽象函數F(s,x(s))連續(xù),這是因為 又根據x(t)的連續(xù)及F(t,x)對t的連續(xù)性,當且時上式右端的兩項均趨于零。根據式(**)即知 表明x(t)是問題(11)(12)的解。因此,初值問題(11)(12)等價于求方

12、程(15)的解。 記在[0,a]上連續(xù),在X中取值的抽象函數x(t)的全體所構成的巴拿赫空間為,其范數定義為 考察在中的閉球 則非線性算子 映為自己。這是因為 其中用到了不等式(13)及a的定義。同時,是上的壓縮算子,這是因為由條件(14)知 其中q=al<1(由a之定義)。于是利用壓縮映射原理,方程(15)在球中存在唯一解x(t)。定理得證。 這一定理的不足之處是初值問題(11),(12)的解僅確定在[0,a]上而不是在[0,b]上。對于算子F(t,x)附加以較強條件時可以彌補這個缺陷。 定理4 設算子F(t,x)對每一固定的x,關于連續(xù)且滿足李普希茨

13、條件: 則初值問題(11)、(12)在[0,b]上存在唯一解. 我們給出兩種證明它們都很簡單而富有啟發(fā)性. 第一種證明 如上所述,可等價地討論積分方程(15)。 在巴拿赫空間中考察積分算子 我們有下列估計 由此又有 一般地,我們有 在[0,b]上取最大值,得到 由于當時故對于充分大的n,是中的壓縮算子。于是定理得證. 第二種證明 在巴拿赫空間中引入另一種范數 (顯然)。我們證明積分算子是這種范數下的壓縮算子。事

14、實上 乘以因子,再在[0,b]上取max,得到 故壓縮系數為。定理得證 五、一個特例----隱函數存在定理 定理5 設函數在帶狀域 , 中處處連續(xù),且處處有關于y的偏導數.如果還存在常數m和M,滿足 , m

15、分中值定理,存在滿足 由于,所以令,則有0>[M],國防工業(yè)出

16、版社,1986; [7]葉懷安,《泛函分析》[M],安徽教育出版社,1984; [8]程其襄等,<〈實變函數與泛函分析基礎〉>[M],高教出版社,1984; [9]張鳴歧,<〈應用泛函分析引論〉>[M],北京理工大學出版社,1989。 Abstract: This paper expound the fact compression of Banach shine upon principle , and about store it in in detail。 Keywords: Abstract function; Do not move a bit; Compress and shine upon; Abstract differential equation; Having theorem of implicit function 10

展開閱讀全文
溫馨提示:
1: 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
2: 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯系上傳者。文件的所有權益歸上傳用戶所有。
3.本站RAR壓縮包中若帶圖紙,網頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
4. 未經權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
5. 裝配圖網僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
6. 下載文件中如有侵權或不適當內容,請與我們聯系,我們立即糾正。
7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

相關資源

更多
正為您匹配相似的精品文檔
關于我們 - 網站聲明 - 網站地圖 - 資源地圖 - 友情鏈接 - 網站客服 - 聯系我們

copyright@ 2023-2025  zhuangpeitu.com 裝配圖網版權所有   聯系電話:18123376007

備案號:ICP2024067431-1 川公網安備51140202000466號


本站為文檔C2C交易模式,即用戶上傳的文檔直接被用戶下載,本站只是中間服務平臺,本站所有文檔下載所得的收益歸上傳人(含作者)所有。裝配圖網僅提供信息存儲空間,僅對用戶上傳內容的表現方式做保護處理,對上載內容本身不做任何修改或編輯。若文檔所含內容侵犯了您的版權或隱私,請立即通知裝配圖網,我們立即給予刪除!