具体描述
内容简介
《现代数学基础:索伯列夫空间》作为一本研究生教材或参考书,较系统地介绍了各向同性的整指数(整数阶)索伯列夫(Sobolev)空间,实指数(分数阶)Sobolev空间,关于x与t异性的Sobolev空间,Morrey空间、Campanato空间和BMO空间。书中内容深入浅出,文字通俗易懂,并配有适量难易兼顾的习题。《现代数学基础:索伯列夫空间》可作为微分方程、动力系统、泛函分析、计算数学与相关理工科专业研究生的教材和教学参考书,亦可作为数学、工程等领域的青年教师和科研人员的参考书。
内页插图
目录
前言
第一章 预备知识
1.1 若干记号
1.2 几个初等不等式
1.3 空间Lρ(Ω)
1.3.1 几个常用不等式
1.3.2 完备性,Lρ(Ω)与L∞(Ω)之间的关系
1.3.3 整体连续性
1.3.4 可分性、一致凸性与自反性
1.4 H61der空间
1.5 磨光
1.6 空间Lρ(Ω)的紧性
1.7 截断与分解
1.8 弱导数
习题
第二章 各向同性的整指数S0bolev空间
2.1 定义和初等性质
2.2 逼近
2.2.1 用光滑函数局部逼近
2.2.2 用光滑函数整体逼近
2.2.3 用整体光滑函数逼近
2.3 延拓
2.4 边界迹和迹定理
2.5 空间W1ρ(Ω)的基本性质
2.5.1 复合函数的性质
2.5.2 水平函数的性质
2.5.3 差商和空间W1ρ(Ω)
2.5.4 Lipschitz函数和空间W1∞(Ω)
2.6 sobolev不等式和Morrey不等式
2.6.1 Sobolev不等式
2.6.2 Morrey不等式
2.6.3 Morrey空间,Riesz位势与H61del,连续函数
2.7 空间Wkp(Ω)中的嵌入定理
2.8 空间Wkp(Ω)中的紧嵌入定理
2.9 Poincar6不等式
2.10 迹定理(续)
2.11 内插不等式,Wkp(Ω)中的等价范数
2.12 空间H-1(Ω)的刻画
2.13 嵌人定理的补充和反例
2.13.1 集合的光滑性
2.13.2 一般开集情形的嵌入定理
2.13.3 反例
2.14 作为Banactl代数的空间□
2.15 关于嵌入常数的补充
习题
……
第三章 各向同性的实指数S0bolev空间
第四章 Morrey空间,Campanat0空间和BM0空间
第五章 关于z与t异性的S0bolev空间
附录 实变函数与泛函分析中的一些基本结论
参考文献
索引
前言/序言
作为一本研究生教材或教学参考书,本书较系统地介绍了各向同性的整指数(整数阶)索伯列夫(Sobolev)空间,实指数(分数阶)Sobolev空间,关于x与t异性的Sobolev空间,Morrey空间、Campanato空间和BMO空间。
Sobolev空间是由多个实变量弱可微函数组成的一些特殊可积空间的统称,它们都是Banach空间,虽然这些空间的原型早已出现,但对其进行系统研究并使之成为一套理论,是20世纪30年代初由苏联数学家S.L.Sobolev完成的。Sobolev空间理论不但是一个非常有趣的数学分支,其重要性是它在其他数学分支中的应用。它不仅是偏微分方程近代理论的基础,也是与分析学相关的其他数学分支的重要基础和必备工具,是与分析学相关的各研究方向的研究生必修课,
所谓Sobolev空间理论,就是研究这些函数空间的基本性质:自反性、可分性、稠密性(逼近)、延拓、嵌入定理、内插不等式和边界迹(迹定理),而嵌入定理则是其核心内容,
本书的定位是为研究生和青年学者提供一本Sobolev空间理论的基础教材和参考书,力求用较短的篇幅,集中介绍那些业已证明的最常用而又最重要的内容。由于偏微分方程是推动Sobolev空间理论发展的主要动力,本书的选材侧重于在偏微分方程的研究中应用较多的内容。Sobolev空间有许多重要的推广,除了第四章的Morrey空间、Campanato空间和BMO空间之外,本书没有涉及Sobolev空间的其他推广,如Lions的迹空间、Besov空间、Orlicz空间、Orlicz-Sobolev空间、BV空间、Lorentz空间等。有兴趣的读者可以参见R。A。Adams的专著及R.A.Adams和J.J.F.Fournier的专著。
本书的第一章是预备知识。首先介绍若干记号和几个重要的初等不等式。由于Lp空间和Holder空间是两个最简单和最基本的Sobolev空间,也是建立其他类型的Sobolev空间的基础,所以在1.3节和1.4节,我们复述这两个空间的基本性质。Sobolev空间中许多重要性质(估计,不等式等)的推导,大多都是先针对“陛质较好”的函数(光滑函数),而后利用逼近(稠密性)过渡到原来的函数,因而逼近是Sobolev空间研究中的一个常用方法,把一个函数磨光,是用光滑函数逼近一般可积函数的有效途径,本章的1.5节介绍磨光函数及其性质。截断方法是把问题局部化的一个重要手段,它既能有效地保留原问题的局部性质,又能避免邻域外各种因素的影响,把问题局部化以后,往往还需要把局部结果整合以得到整体结果,而单位分解就是整合局部到整体的一个重要方法。在第1.7节,我们介绍截断与单位分解。Sobolev空间中出现的导数几乎都是弱导数,这是一种介于古典导数与广义导数之间的一种导数,也是古典导数的推广。在本章的最后一节,我们介绍弱导数及其基本性质。
第二章是各向同性的整指数(整数阶)Sobolev空间,这是Sobolev空间理论的最基本部分,学完本章,读者就可以了解该理论的基本思想和方法。为了便于讲授和学习,在不影响其基本思想的前提下,我们只对“适当好”的开集的情况(边界有适当的光滑性,有时还要求是有界的,甚至要求是有界区域),给出每个定理的严格证明。对于一般情况以及嵌入定理的反例,单独作为一节,只列出主要结果而省略了证明过程。
现代数学基础:索伯列夫空间 导言:一个新时代的数学基石 在现代数学的宏伟殿堂中,泛函分析占据着至关重要的地位。它不仅为偏微分方程(PDEs)的研究提供了严谨的理论框架,更深刻地影响了调和分析、概率论乃至理论物理学的诸多分支。而在这片广袤的理论海洋中,索伯列夫空间(Sobolev Spaces)无疑是最为核心、最具革命性的概念之一。 本书《现代数学基础:索伯列夫空间》旨在为读者构建一个全面、深入且富有洞察力的索伯列夫空间理论体系。我们不满足于仅仅介绍定义和基本性质,而是致力于揭示其深层次的数学结构、内在联系以及在解决实际问题中的强大威力。本书面向的是已经具备扎实实分析基础(包括勒贝格积分理论、泛函分析初步知识)的研究生、高级本科生以及希望深入理解现代偏微分方程理论的科研人员。 --- 第一部分:泛函分析与测度论的巩固 在正式踏入索伯列夫空间的世界之前,我们首先需要回顾并强化构建其理论的两个核心支柱:勒贝格积分理论和基础泛函分析。 第1章:勒贝格积分的再审视与$L^p$空间 本章首先对测度论的若干关键概念进行回顾,特别是对$sigma$-代数、测度和可测函数的定义进行精确化处理。我们将重点关注$L^p(Omega)$空间的完备性,即证明它们是巴拿赫空间。这不仅是索伯列夫空间构造的先决条件,也是理解“弱导数”概念所必需的函数类基础。我们详细探讨了闵可夫斯基不等式在$mathbb{R}^n$上的推广,并引入了广义积分的概念,为后续处理不可微函数打下基础。 第2章:基础拓扑与算子理论 本章侧重于必要的拓扑工具。我们将讨论局部紧性、紧算子以及Hille-Yosida定理的初步思想,尽管后者在后续章节中将以更具体的方式出现。重点在于理解赋范线性空间上的拓扑结构如何影响函数的可微性与收敛性。我们还将引入分部积分公式的泛函形式,这是理解“弱导数”的几何直观基础。 --- 第二部分:弱导数的诞生与索伯列夫空间的定义 本部分是全书的理论核心,致力于精确定义和刻画索伯列夫空间,并阐明其相对于经典导数的优越性。 第3章:导数的概念延伸——弱解与测试函数 经典微积分中的导数要求函数在某一点上连续且极限存在。当处理不连续或“粗糙”的函数时,这一概念便失效了。本章引入了测试函数(Test Functions)——即光滑且紧支撑的函数$C_c^infty(Omega)$——作为工具。通过与测试函数进行积分,我们推导出弱导数(Weak Derivative)的定义。我们将详细证明:若函数在经典意义下可微,则其经典导数即为其弱导数;反之,若弱导数存在且光滑,则它就是经典导数。 第4章:索伯列夫空间 $W^{k,p}(Omega)$ 的构造 基于弱导数的概念,我们正式定义索伯列夫空间 $W^{k,p}(Omega)$:它是所有定义在$Omega$上,且其所有(广义)偏导数均属于$L^p(Omega)$的函数构成的空间。本章的核心工作是证明$W^{k,p}(Omega)$是一个巴拿赫空间,其范数为: $$|u|_{W^{k,p}} = left( sum_{|alpha| le k} |D^alpha u|_{L^p}^p
ight)^{1/p}$$ 我们还将探讨$W^{k,p}(Omega)$作为一个向量空间的完备性,并讨论$C_c^infty(Omega)$在该空间中的稠密性。 第5章:关键特例与空间关系 本章深入探讨了索伯列夫空间中的几个特例和它们之间的内在联系: 1. $W^{1,p}(Omega)$: 专门分析一阶索伯列夫空间,它与BV(有界变差)空间的早期联系。 2. $H^k(Omega)$: 当$p=2$时,索伯列夫空间退化为希尔伯特空间,记为$H^k(Omega)$。我们利用内积结构,展示$H^k$空间在处理自伴算子和椭圆方程中的便利性。 3. Sobolev嵌入定理(Sobolev Embedding Theorems): 这是索伯列夫理论的“魔术”所在。我们详细分析了当区域$Omega$的形状(即$n$维空间)和函数空间参数$k, p$满足特定条件时,函数可以被“嵌入”到更光滑的空间(如$L^q$或$C^m$)中。这为偏微分方程的解的正则性提供了强大的工具。 --- 第三部分:索伯列夫空间的几何与分析性质 索伯列夫空间的优越性不仅在于其定义,更在于其内在的几何和分析性质。 第6章:迹的理论与边界行为 对于定义在$Omega$上的函数,我们如何讨论其在边界$partialOmega$上的性质?本章引入了迹(Trace)的概念。我们证明了存在一个连续的线性算子 $T: W^{1,p}(Omega) o L^p(partialOmega)$,将索伯列夫函数“限制”到边界上。我们详细分析了迹算子的性质,特别是对于$p > 1$的情况,并探讨了零迹空间 $H_0^k(Omega)$,它们是Dirichlet边界条件的基础。 第7章:紧性与收敛性 在泛函分析中,紧性往往意味着我们能够从有界序列中提取出收敛子序列。本章主要关注索伯列夫空间中的紧性: 1. Rellich-Kondrachov 定理: 这是关于$W^{k,p}(Omega)$到$L^q(Omega)$嵌入的紧性结果,其重要性不亚于嵌入定理本身。我们通过Moser序列等方法,对定理的条件和结论进行细致的辨析。 2. 弱收敛与强收敛: 在$L^p$和$W^{k,p}$空间中,函数序列的收敛可能表现为弱收敛。本章解释了强收敛和弱收敛的区别,以及如何在特定条件下,从弱收敛中推导出更强的收敛性(例如,通过利用黎斯表示定理的推广)。 --- 第四部分:应用基础——偏微分方程的视角 索伯列夫空间最终的价值体现在其解决实际问题的能力上。本章将理论与应用连接起来,展示索伯列夫空间如何成为现代PDE理论的“通用语言”。 第8章:椭圆型方程的弱解 我们以泊松方程 $Delta u = f$ 为例,展示索伯列夫理论如何工作。首先,我们使用分部积分将原方程转化为一个变分形式(或弱形式):寻找$u in H_0^1(Omega)$,使得对所有$phi in H_0^1(Omega)$,满足: $$int_Omega
abla u cdot
abla phi , dx = int_Omega f phi , dx$$ 我们利用Lax-Milgram 定理(它依赖于$H^1$空间的内积结构)来证明该弱解的存在性、唯一性,并分析其在$H^1$空间中的正则性。 第9章:正则性提升与 $W^{2,p}$ 空间 如果右端项$f$足够光滑,我们期望解$u$也能比弱解所要求的更光滑。本章探讨正则性提升(Regularity Theory)的基础。通过将弱导数应用于弱形式的方程,我们引入了二阶索伯列夫空间 $W^{2,p}(Omega)$,并探讨了何时满足Dirichlet边界条件的$W^{2,p}$函数可以作为方程的解。 --- 结语:通往更深层次理论的阶梯 《现代数学基础:索伯列夫空间》提供了一个从基础到前沿的、逻辑严密的索伯列夫空间构建路径。掌握本书内容,读者不仅能够熟练运用$W^{k,p}$空间解决经典PDE问题,更能为深入研究非线性PDE、调和分析中的BMO空间、或者更精细的嵌入理论(如Morrey空间)打下无可动摇的分析基础。本书的每一个证明都力求清晰,每一个定义都力求精确,确保读者能够真正“掌握”这一现代数学分析中不可或缺的核心工具。