索伯列夫(Sobolev)空间嵌入定理与集中紧性原理(三稿).doc

索伯列夫（Sobolev）空间嵌入定理与集中紧性原理摘 要本文主要研究索伯列夫空间嵌入定理及其证明，和集中紧性原理，加深对泛函知识的理解关键词 弱导数、Sobolev空间、嵌入定理、集中紧性原理AbstactKey words 目 录摘要…………………………………………………………………………………..IAbstract……………………………………………………………………………..II引言………………….……………………………….……………………………....1一、预备知识………………………………………………………………………..21.1 弱导数定义…………………………………………………...…………………21.2 Sobolev空间……………………………………….…………………21.3 引理…………………………………………..……………….…………………2二、嵌入定理的证明与集中紧性原理………………………………………………52.1 嵌入定理的证明………………………...………………………………………52.2 集中紧性原理………………………………………….………………………102.3 结论…………………………………………………………………………….12参考文献……………………………………………………………………………..13引 言索伯列夫空间理论是上世纪30年代初由苏联数学家S.L.Sobolev发展起来的。

这些空间是由弱可微函数所组成的Banach空间，它们是为研究偏微分方程的近代理论以及研究与数学分析有关的领域中许多问题的需要而产生的 苏联数学家索伯列夫( S.L. Sobolev) 从 1938年开始，在研究弹性体中的波动等问题时，建立了一系列新的概念，例如广义解、广义导数、嵌入定理等． 他以泛函分析为工具发展了一套新型的可微函数空间理论(现在国际上称为Sobolev空间)，同时他也为偏微分方程的近代研究奠定了理论基础，Sobolev这些开创性的工作在他的名著“ 泛函分析及其在数学物理中的应用” (1950)中作了系统的总结． 从那时以来， 这种理论已有很广泛的发展．1957～1959年， 意大利E. Gagliado 提出了一套与Sobolev不同的证法．1956～1958 年苏联Slobodeokii等人推广了Sobolev的工作， 引进了“分数次求导”等概念， 形成了分数次空间， 称Slobodeokii空间Sobolev空间的嵌入定理在函数空间理论、偏微分方程、偏微分方程数值解等学科中有重要应用一般区域上Sobolev空间的嵌入定理的证明已经给出，但证明一般过于复杂，限制了它在通常学科中的使用。

本文研究Sobolev空间的嵌入定理的证明和集中紧性原理的证明一、预备知识1.1 弱导数的定义设，对于给定的重指标，如果且对于所有的，有并记，则称是的阶弱导数.1.2 Sobolev空间设对，是非负整数， 对本身及其直到阶弱导数在内都是可和的函数集合： （1）在空间内引入范数 （2）1.3 引理引理1 设是具强局部Lipshitz性质的区域，简称型区域，则：（1） 存在开集，，…, ,使．（2） 存在开集，使．（3） 设，，则存在一个充分小的，当，，且时，有一个使，．（4） 对任意，存在顶点在原点的多面体，使得时，5） 存在，，及常数，使得当，且时，有，使（6） 存在一个顶点在原点的多面体，当时，此外存在，当，且时，7） 存在向量，当时，，对任意引理2（Gagliardo定理） 设是中的有界锥形区域，对任意的,存在开集，，…，，满足：（1）；（2）对每一个，存在一个顶点在原点的平行多面体，使，其中且其中直径小于等于引理3 设，是有界区域，是列紧的充要条件为：（1）是中的有界集，即存在，使对任意，；（2）是中等度连续，即对任意，存在，当时 （对任意）其中是的延拓函数，定义为引理4 设是中的有界开集，为正整数，使，，，，则引理 5 设是中边长为2的立方体，其边分别平行于坐标轴，而是由经平移得到的型区域，又，，，则其中是与无关的常数。

引理 6 设是中边长为1的立方体, 表示边长为的立方体，其表面积分别平行于的表面，如果，而，则 （对任意，）其中是与无关的常数引理7 设是中具有锥性质的有界区域，简称有界锥形区域，，若，则，其中是与无关的常数引理8 设，其中，则下列结论成立：（1），对任意，对几乎处处2），对任意其中是与无关的常数引理9 设是中的开集，，则引理10 设是中的开集，，则引理11 设是中的一个区域， ，如果，，则对任意的，有二、嵌入定理的证明与集中紧性原理2.1 嵌入定理的证明定理1 设是中的有界锥形区域，1） 如果，，则；（2） 如果，，，则；（3） 如果，，则.证明 由Gagliardo定理（引理2），有界锥形区域可以分解成一系列型区域的并，即，其中是型区域，为有限数如果，，则所以.再由Gagliardo定理，型区域可由一平行多面体经过一系列平移得到，即，其中是一顶点在原点的平行多面体又平行多面体可经过一个可逆线性变换映成边长为2的维立方体，记为，则在此变换下映成综上所述，为了证明定理（1）和定理（2），可以不妨假设1） 考虑的情形对作归纳来证明①时，，，要证由引理5，对任意，，其中是与无关的常数。

设，因在中稠密，故存在函数数列，使在中收敛于，从而是中的基本列由上述不等式知也是中的基本列，从而在中收敛，由实变函数论的基本定理，在中的极限函数必为于是由得到这样就证明了②假设结论（1）对是已成立，即当，时，成立③下证结论（1）对是也成立设，则的一阶偏导数记，由归纳假设得到：又显然，故于是，且由的情形知其中，于是结合前一个不等式得从而（2） 考虑，，再分两种情形① 设，令，则因，对任意，由不等式易知其中是与无关的常数于是，即，此时对，利用（1）得到结合前一个嵌入有② 设，由上述①的结论，因为有界区域，由不等式易知，从而3），的情形由引理8，，其中为任一维立方体设是任一多面体，则存在可逆的放射变换把映成立方体，于是由前面的讨论，设，，，则且，对任意从而若，，则经过平移变化为于是有其中是与无关的常数取，则从而定理2 设是中的有界锥形区域，，则证明 因为在中的稠密，所以只要证明对任意，有，其中与无关的常数1），的情形利用引理（7）即可2），的情形因，利用（1）的情形即可3），的情形取整数，使，且设是重指标，满足如果，则由引理1得其中从而因为，所以② 设此时，对任意由引理（1），对任意，有取，和情形①类似可证。

定理3 设是型区域，，则 其中由下列条件确定：（1） 如果，则；（2） 如果，则；（3） 如果，，则证明： 首先由定理2得，即对任意，有为了证明,只要证明对任意，有其中与无关的常数因为，所以其中根据下列情形确定1） 当时，取，此时；（2） 当且时，可任意选取，使；（3） 当，时，取对上述三种情形总有于是只要证明，对任意，存在，使对任意，成立 （*）又在中稠，，所以只要证明上式对中的函数成立当是中的立方体时，由引理（6），上述不等式已成立通过线性变换可知，对中的任意多面体，上述不等式也成立当是型区域时，由型区域的性质得（间引理1）：当充分小时，如果，且时，存在，使在多面体和上，结论已成立，于是若不满足上述条件，则再分下列两种情形a）,其中是待定常数此时根据引理1再分三种情形考虑①当时，存在，使，从而是已考虑的情形②当，时，取充分小，仍可使，从而也化为已考虑的情形③ 当时，则和必相交取，使得和上述类似推得不等式（*）也成立（b）当时，显然3.2 紧中紧性原理定义 设序列{}，且 a.e.在中，是上的测度如果 则称序列{}弱收敛于测度，记为定理（集中紧性原理） ，，是中的一个有界区域，{}是中的有界序列，在外视，{}满足下列条件其中，均是上的有界（Lebesgue—Stieltjes）测度，那么（i） 存在最多可数的指标集，不同点的集合及，使得（ii）存在使得，其中为sobolev嵌入的最佳常数，即2.3 结论 参考文献1 王元明，徐君祥.索伯列夫空间.东南大学出版社.20032 路文端.微分方程中的变分方法.科学出版社.20033 吴新民.Sobolev空间及推广.邵阳高等专科学校学报.2000.94 吴春兰，朱维宗.Sobolev空间嵌入定理.云南师范大学学报.1999.95 邢家省，张源章，崔玉英.一维区域上的Sobolev空间的嵌入定理.河南科学.2009.46 王向东，粱汲廷，戎海武．索伯列夫空问论[M]. 北京：科学出版社，20037 李荣华．偏微分方程数值解法[M]．北京：高等教育出版社，20058 R. AAarns 著．索伯列夫空间．叶其孝等译，人民教育出皈社，1981。