第;六章广义函数与Sobolev空间简介第六章广义函数与Sobolev空间简介函数是经典分析中的基本概念之一，然而这样的一个基本概念，在近代科学技术的发展中逐渐不够用了。下面用几个例子加以说明。例6.1（脉冲）20世纪初，Heaviside在解电路方程时，提出了一种运算方法，称之为算子演算。这套算法要求对如下函数10()00xhxx求导数，并把导数记为()x。但按照经典分析的理论，()hx并不可导，因此()x不可能是普通意义下的函数，它除了作为一个记号进行形式演算外，在数学上是没有意义的。但是，这个()x在实际中是没有意义的，又代表一种理想化的“瞬时”单位脉冲。例6.2（Dirac符号）在微观世界中，把可观测到物质的状态用波函数来描述，最简单的波函数具有形式((,))ixex，是实参数，并考虑如下形式的积分12ixedx这种积分按Cauchy积分来定义，即111sinlimlim22nixixnnnnedxedx显然，这个极限在普通意义下不存在。然而，物理学家认为这个极限是前面所提到的()x，并认为是Dirac符号。特别，在量子力学中，进一步发展了不少关于()x的运算法则，并广泛地使用。例6.3（广义微分）在数学本身的发展中，也时常要求冲破经典分析中对一些基本运算使用范围所加的限制。20世纪30年代，Sobolev为了确定微分方程的存在性和惟一性问题，通过分部积分公式，推广了函数可微性的概念，建立了广义微商理论，形成了以他的名字命名的Sobolev空间理论。这标志着现代微分方程理论的诞生。基于上述原因，扩充函数概念，为广义函数寻找坚实的数学基础，对数学家提出了新的挑战。20世纪40年代，Schwartz完成了这一艰巨的任务，创立了广义函数的系统理论，并因此于1950年获得数学最高奖——菲尔兹奖。6.1基本函数空间与广义函数6.1.1基本函数空间把普通函数视为某类函数空间上的线性泛函是推广函数概念的一条行之有效的途径。广义函数正是定义在一类性质很好的函数空间上的线性泛函。这类函数空间称为基本函数空间。在引进基本函数空间之前，先介绍一些记号和术语。对于欧氏空间12,(,,,)nnRxxxxL表示nR中的点，范数1222212()nxxxxL。设12,,,npppL为n个非负整数，有序数组12(,,,)nppppL称为多重指标。应用泛函分析(第二版)12nppppL。对于多重指标p，引进偏微分算子1212nppppnpDxxxLnR是非空开集，是的闭包。()C表示在上定义的连续函数全体组成的线性空间。对于任何非负整数k，()kC表示全体在内由k次连续可微的偏导数，且在上的连续的函数组成的线性空间，特别0()()CC。设的支集是集合{:()0}xx在内的闭包，并记为sup{:()0}pxx。0()kC表示()kC中满足支集是内紧集（有界集）的所有函数组成的空间，000()()kkCCI，即表示支集是内紧集的无穷次可微函数全体。显然，下面的包含关系成立10000()()()()kkCCCCLL例6.4设nR上定义的函数为2111()01xnCexjxx这里nC是依赖于维数n的常数，即nC＝21111xxedx那么()jx是无穷次连续可微的，且sup:1npjxRx，()1nRjxdx，因此0()()njxCR。从()jx出发，我们可以构造出许多0()nCR中的函数。下面我们来构造对任何非空开集，0()C中的函数。为此，对任意0，记1()()nxjxj，那么0()njCR【定理6.1】设()x是上定义的一个可积函数，并且在的一个紧集K外恒为零，第;六章广义函数与Sobolev空间简介则当0充分小时，可积函数()()()xyjxydy是0()C中的函数。证明：记:(,)nKxRdistxK，这里(,)distxK表示x到K的距离，当充分小时，K，当xK时，对一切yK均有xy，于是()0jxy。()()()()()0Kxyjxydyyjxydy因此suppK，而1011011lim()()()lim()()hhjxheyjxyydyxhjxheyydyx上式利用了微分中值定理，1(0,1),(1,0,,0)neRL，又j是连续可微函数，因此存在0M使1()()njxMxRx应用Lebesgue控制收敛定理，得10111lim()()()()hjxheyydyxxjxyydyx由于0()njCR，对任何多重指标12(,,,)nppppL重复上述过程，可得到()()ppDDjxyydy于是0()C。下面我们在0()C上引进收敛的概念。【定义6.1】设0()iC，0()C，如果满足下列条件：（1）存在一个紧集K，使得sup()(1,2,),sup()jpKjpKL应用泛函分析(第二版)（2）对于任意多重指标12(,,,)nppppL，函数列pjD在K上一致收敛于pD，即max()()0()ppjxKDxDxj则称i收敛于，记为Dj，而称0()C按照收敛概念及线性...
