索伯列夫空间理论是上个世纪30年代初由苏联数学家S.L.Sobolev发展起来的。这些空间是由多个实变量的弱可微函数所组成的Banach空间,它们是为研究偏微分方程的近代理论极易研究与数学分析有关的领域中许多问题的需要而产生的。
但目前的绝大多数文献并没有用通俗易懂的语言去解释引入索伯列夫空间的意义。这造成了大部分读者一头雾水。我前段时间见识过某普通大学的一位数学系老师教了十多年的泛函分析但还是无法理解索伯列夫空间。当然,本人也不是高手,所讲的也未必正确,但我的初衷是能给读者一些启发,以及文中有不当之处有老师能不吝赐教。
1
Dirichlet
原理
微分方程是伴随着微积分的产生而产生的。而微分方程的核心问题是求解问题,直到19世纪中叶,下列
求
其中,
当
达到最小值,则
因对任意
当时,人们认为这是无可置疑的,但在1870年法国数学家Weierstrass用巧妙的数学证明推翻了这个论断。数学家们意识到,Riemann所建立的数学模型有缺陷,无法准确用来描述微分方程解的函数空间。接下来的当务之急就是建立能够很好的描述微分方程解及边值问题的理论体系。首先遇到的问题是如何把函数的概念及方程解的概念拓广,这就要引入检验函数的概念,它的严格的数学基础是在20世纪40年代有Schwartz等人完成的,但在本文并不打算讨论广义函数。
2 检验函数的基本空间
D(Ω)
( the basic space of test function )
基本空间是指一类“性质很好”的空间。这里需要先引入支集的概念:
设
的闭包(关于
对于整数
所谓基本空间
我们说序列
1. 存在一个相对于
2. 对于任意指标
这样的空间是能够满足我们微分方程的解的需求的(通过引入广义解)。但它有一个缺陷,使得我们在使用它时并不是很方便,我们只在
接下来的思路自然是能不能找到另外一个模型,使得在结构上等于或者趋近于
3
B0
空间
我们想用模来刻画上述的这种收敛性。事实上,可以引入可数个模(半模):
所以显而易见,
即
到这里了,似乎结果已经挺完满,可数学家们不可能停滞,还想:是否能用一个范数来近似的刻画这可数个半模?或者更加好的结果,能否定义一个Banach空间来刻画或者近似的刻画这样的数学模型?自然想到了用加和的形式定义范数。这就引出了索伯列夫空间。
4 索伯列夫空间(Sobolev)
本文写的较为浅显,目的只是对索伯列夫空间的由来提供自己的一点点思路,很多知识点没有引出,在这里,索伯列夫空间仅指整指数的索伯列夫空间。
定义:设
按模
容易得出,该范数可以近似的描述上述的可数模,并且满足范数的性质。另外可以证明
除此之外,可以定义
至此,良好的数学模型就建立起来了,我们可以用它来解决前面的
考虑
若存在
其中
则称
利用Sobolev空间的理论,不难证明式4.4当
参考文献:
[1] 泛函分析讲义 张恭庆 林源渠著
[2] 索伯列夫空间讲义 王元明 徐君祥著
[3] 应用泛函分析 JEAN-PIERRE AUBIN原著 国立编译馆主编 赖汉卿译
[4] 广义函数理论 L.施瓦兹著 姚家燕译
[5] Wikipedia,the free encyclopedia that anyone can edit.5,035,994 articles in English.
转载请注明出处:http://blog.csdn.net/fourierFeng/article/details/51393337