泛函分析和偏微分方程的广义求解

《泛函分析和偏微分方程的广义求解》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、泛函分析和偏微分方程的广义求解1历史和背景1.1泛函分析简介1.1.1什么是泛函分析泛函分析（FunctionalAnalysis）是现代数学的一个分支，隶属于分析学，其研究的主要对象是函数构成的空间。泛函分析是由对变换（如傅立叶变换等）的性质的研究和对微分方程以及积分方程的研究发展而来的。使用泛函作为表述源自变分法，代表作用于函数的函数。泛函分析是20世纪30年代形成的数学分科。是从变分问题，积分方程和理论物理的研究中发展起来的。它综合运用函数论，几何学，代数学的观点来研究无限维向量空间上的函数，算子和极限理论。它可以看作无限维向量空间

2、的解析几何及数学分析。主要内容有拓扑线性空间等。泛函分析在数学物理方程，概率论，计算数学等分科中都有应用，也是研究具有无限个自由度的物理系统的数学工具。泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的分支学科。1.1.2赋范线性空间泛函分析研究的主要是实数域或复数域上的完备赋范线性空间。这类空间被称为巴拿赫空间，巴拿赫空间中最重要的特例被称为希尔伯特空间，其上的范数由一个内积导出。这类空间是量子力学数学描述的基础。更一般的泛函分析也研究Fréchet空间和拓扑向量空间等没有定义范数的空间。泛函分析所研究的一个重要

3、对象是巴拿赫空间和希尔伯特空间上的连续线性算子。这类算子可以导出C*代数和其他算子代数的基本概念。1.希尔伯特空间希尔伯特空间可以利用以下结论完全分类，即对于任意两个希尔伯特空间，若其基的基数相等，则它们必彼此同构。对于有限维希尔伯特空间而言，其上的连续线性算子即是线性代数中所研究的线性变换。对于无穷维希尔伯特空间而言，其上的任何态射均可以分解为可数维度（基的基数为50）上的态射，所以泛函分析主要研究可数维度上的希尔伯特空间及其态射。希尔伯特空间中的一个尚未完全解决的问题是，是否对于每个希尔伯特空间上的算子，都存在一个真不变子空间。该问题

4、在某些特定情况下的答案是肯定的。2.巴拿赫空间一般的巴拿赫空间比较复杂，例如没有通用的办法构造其上的一组基。对于每个实数p，如果p≥1，一个巴拿赫空间的例子是“所有绝对值的p次方的积分收敛的勒贝格可测函数”所构成的空间。（参看Lp空间）在巴拿赫空间中，相当部分的研究涉及到对偶空间的概念，即巴拿赫空间上所有连续线性泛函所构成的空间。对偶空间的对偶空间可能与原空间并不同构，但总可以构造一个从巴拿赫空间到其对偶空间的对偶空间的一个单同态。微分的概念可以在巴拿赫空间中得到推广，微分算子作用于其上的所有函数，一个函数在给定点的微分是一个连续线性映射

5、。1.1.1主要结果和定理泛函分析的主要定理包括：1.一致有界定理（亦称共鸣定理），该定理描述一族有界算子的性质。2.谱定理包括一系列结果，其中最常用的结果给出了希尔伯特空间上正规算子的一个积分表达，该结果在量子力学的数学描述中起到了核心作用。3.罕-巴拿赫定理（Hahn-BanachTheorem）研究了如何将一个算子保范数地从一个子空间延拓到整个空间。另一个相关结果是对偶空间的非平凡性。4.开映射定理和闭图像定理。1.1.2产生的历史、特点和内容十九世纪以来，数学的发展进入了一个新的阶段。这就是，由于对欧几里得第五公设的研究，引出了非

6、欧几何这门新的学科；对于代数方程求解的一般思考，最后建立并发展了群论；对数学分析的研究又建立了集合论。这些新的理论都为用统一的观点把古典分析的基本概念和方法一般化准备了条件。本世纪初，瑞典数学家弗列特荷姆和法国数学家阿达玛发表的著作中，出现了把分析学一般化的萌芽。随后，希尔伯特和海令哲来创了“希尔伯特空间”的研究。到了二十年代，在数学界已经逐渐形成了一般分析学，也就是泛函分析的基本概念。由于分析学中许多新部门的形成，揭示出分析、代数、集合的许多概念和方法常常存在相似的地方。比如，代数方程求根和微分方程求解都可以应用逐次逼近法，并且解的存在

7、和唯一性条件也极其相似。这种相似在积分方程论中表现得就更为突出了。泛函分析的产生正是和这种情况有关，有些乍看起来很不相干的东西，都存在着类似的地方。因此它启发人们从这些类似的东西中探寻一般的真正属于本质的东西。非欧几何的确立拓广了人们对空间的认知，n维空间几何的产生允许我们把多变函数用几何学的语言解释成多维空间的影响。这样，就显示出了分析和几何之间的相似的地方，同时存在着把分析几何化的一种可能性。这种可能性要求把几何概念进一步推广，以至最后把欧氏空间扩充成无穷维数的空间。这时候，函数概念被赋予了更为一般的意义，古典分析中的函数概念是指两个

8、数集之间所建立的一种对应关系。现代数学的发展却是要求建立两个任意集合之间的某种对应关系。研究无限维线性空间上的泛函数和算子理论，就产生了一门新的分析数学，叫做泛函分析。在二十世纪三十年代，泛函