资源描述：
《泛函分析在数值分析中的应用》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、泛函分析在数值分析中的应用刘肖廷工程力学160420040007一、数学概述数学是一门从集合概念角度去研究物质世界数量关系与空间形式的基础的口然学科。它从应川的角度口J以分为基础数学与应川数学两大范畴，而基础数学又可以划分为纯数学和基础应用数学两人范畴。其屮，纯数学是建立在基础应用数学基础上进行的单纯的数学研究。可见基础应用数学是数学学科的基础。基础应用数学以代数学，儿何学，分析学与拓扑学为基础研究物质世界的数学关系与空间形式。分而言Z,代数学主耍是从集合概念角度去研究物质世界的数量关系；几何学主要是从集合概念的角度去研究物质世
2、界的空间形式;分析学则主要研究集合间的映射关系及其运算；而拓扑学则包含点集拓扑，代数拓扑，微分拓扑，辛拓普等几个分支，融合与代数学与儿何学之中。应用数学则是以基础数学的基木方法（代数，儿何，分析）为基础，去探讨物质世界不同类型的数量关系与空间形式的。它主要包括三角学，概率论，数理统计，随机过程，积分变换，运筹学，微分方程，积分方程，模糊数学，数值分析，数值代数，矩阵论，测度论，李群与李代数等领域。当然，我们同样不能忽视应用数学对基础数学在理论上的支持与贡献。由此可见，集合概念是数学的核心概念，代数、儿何与分析是是数学的三人基本方
3、法，代数学、儿何学、分析学与拓扑学是支撑数学大厦的四根最紧要的支柱，此四者同吋乂是相互联系，不可分割的。这一点印证了一句名言，数学的魅力正在于其中各个分支Z间的相互联系。泛函分析的基本内容和基本特征（一）度量空间和赋范线性空间1、度量空间是现代数学中一•种基本的、重要的、最接近于欧儿里得空间的抽象空间。19世纪末，德国数学家G.康托尔创立了集合论，为各种抽象空间的建立奠定了基础。20世纪初期，法国数学家M.R.列雷歇发现许多分析学的成果从更抽彖的观点看來，都涉及函数间的距离关系，从而抽象出度盘空间的概念。定义:设X为一个集合，一
4、个映射d:XXXTRo若对于任何x,y,z属于x,有⑴（正定性）d（x,y）nO,且d（x,y）=0。当且仅当%=y；（2）（对称性）〃（兀,y）=d（y,无）；（3）（三角不等式）d（x,刃Sd（x,z）+c/（y,z）,则称d为集合x的一个度量（或距离）。称偶对'（X,d）为一个度量空间，或者称x为一个对■于度量d而言的度量空间。度量空间中最为我们所熟知的是三维欧氏空间，这个空间中的度量定义为连接该两点线段的长度。2、泛函分析所要研究的主要是实数域或复数域上完备的赋范线性空间。这类空间称为巴拿赫空间，巴拿赫空间屮最重要的特例
5、称为希尔们特空间。希尔们特空间可以利用以下结论來完全分类，即对于任意两个希尔们特空间，若其基的基数相等，则它们必彼此同构。对于有限维希尔伯特空间而言，其上的连续线性算子即是线性代数中所研究的线性变换。对于无穷维希尔伯特空间而言，其上的任何态射均可以分解为町数维度(基的基数为50)上的态射，所以泛函分析主要研究可数维度上的希尔伯特空间及其态射。希尔伯特空间中个尚未完全解决的问题是，是否对于每个希尔伯特空间上的算子，都存在一个真不变子空间。该问题在某些特定情况下的答案是肯定的。3、巴拿赫空间理论(Banachspace)是1920年
6、由波兰数学家巴拿赫(S.Banach)—手创立的，数学分析中常用的许多空间都是巴拿赫空间及其推广，它们在许多重要的应用。大多数巴拿赫空间是无穷维空间，可看成通常向量空间的无穷维推广，即有
7、
8、x
9、
10、=suplxjo巴拿赫空间(Banachspace)是一种赋有”长度“的线性空间，是泛函分析的基本研究对彖Z一。数学各个分支的发展为巴拿赫空间理论的完善提供了丰富H•生动的素材。从外尔斯特拉斯，K.(T.W.)以来，人们就己十分关心闭区间［a,b］上的连续函数以及它们的一致收敛性。其至在19世纪末，G.阿斯科利就得到［a,b］±-族连续
11、函数Z列紧性的判断准则，后十分成功地应用于常微分方程和复变函数论中。(二)线性算子出现在各个数学领域中具冇线性性质的运算(例如线性代数中的线性变换，微分方程论、积分方程论中大量出现的微分、积分运算、积分变换等)的抽象概括。它是线性泛函分析研究的重要对象。关于线性算子的理论不仅在数学的许多分支屮有很好的应用，同时也是盘子物理的数学基础之。中国物理学界习惯上把算子称为算符。设X,Y是两个实数域或复数域上的线性空间，T是X到Y的映射。T的定义域和值域分别记为D(T),R(T)。如果对任何数cx,0和Xi，x26D(T),满足axx+p
12、x2eD(T),并AT(aX1+Px2)=aTxj+PTxz，则称T是以D仃)为定义域的X到Y的线性算子。特别当D(T)=X,Y是实数域或复数域时，则称T是X上的线性泛函。设T】,T2是x到y的线性算子，它们的定义域分别是D(T1)/D(T2)o对任一数a,规定
