| 查看: 6247 | 回复: 8 | |||
| 当前主题已经存档。 | |||
wudzir新虫 (小有名气)
|
[交流]
Sobolev迹定理及其嵌入定理
|
||
| 不知哪位高人能给讲一下Sobolev trace theorem 以及 嵌入定理？特别是如何理解这两个定理？ |
回复此楼» 猜你喜欢
建议基金发布提前给出明确的时间点
已经有12人回复
-
2026国自然函评费到账
已经有3人回复
-
科研孤儿太难了
已经有17人回复
-
今日不放榜？网传国自然预计 8 月 27 日可查结果
已经有19人回复
-
看来今天不会放榜了？
已经有11人回复
-
时间戳又变了
已经有19人回复
-
filecode，4个jtjc了
已经有14人回复
-
让我中一个面上吧！
已经有13人回复
-
人气不行了
已经有7人回复
-
感觉是下周放榜了
已经有12人回复
haixing2008
荣誉版主 (文坛精英)
- 应助: 22 (小学生)
- 贵宾: 2.252
- 金币: 32603.8
- 散金: 2020
- 红花: 44
- 沙发: 1
- 帖子: 25068
- 在线: 429.1小时
- 虫号: 540264
- 注册: 2008-04-06
- 性别: GG
- 专业: 计算数学与科学工程计算
- 管辖: 信息科学
2楼2009-12-04 08:29:01
yanl02
金虫 (小有名气)
- 应助: 0 (幼儿园)
- 金币: 1248.8
- 帖子: 54
- 在线: 3.5小时
- 虫号: 463370
- 注册: 2007-11-20
- 性别: GG
- 专业: 计算数学与科学工程计算
3楼2009-12-04 09:10:17
haixing2008
荣誉版主 (文坛精英)
- 应助: 22 (小学生)
- 贵宾: 2.252
- 金币: 32603.8
- 散金: 2020
- 红花: 44
- 沙发: 1
- 帖子: 25068
- 在线: 429.1小时
- 虫号: 540264
- 注册: 2008-04-06
- 性别: GG
- 专业: 计算数学与科学工程计算
- 管辖: 信息科学
★ ★
formleaf(金币+2,VIP+0):hai版好热心！ 12-4 12:17
formleaf(金币+2,VIP+0):hai版好热心！ 12-4 12:17
|
可参见：《Sobolev空间与偏微分方程引论》，钟承奎等《非线性泛函分析引论》兰州大学出版社，陆文端《微分方程中的变分方法》科学出版社。 同时我给出Sobolev嵌入定理： 下载链接： http://www.brsbox.com/filebox/do ... 55401275760ccfd4f76 希望对楼主有用，祝好运！ |
4楼2009-12-04 09:25:49
殛殛殛残酷
木虫 (著名写手)
- 应助: 3 (幼儿园)
- 金币: 3095.4
- 散金: 416
- 红花: 2
- 帖子: 1421
- 在线: 84.5小时
- 虫号: 853364
- 注册: 2009-09-21
- 性别: GG
- 专业: 计算数学与科学工程计算
5楼2009-12-04 09:42:04
★ ★
formleaf(金币+2,VIP+0):谢谢你的介绍！ 12-4 12:17
formleaf(金币+0,VIP+0):吴卓群，那个是伍卓群吧，我本科毕业证上的！ 12-4 12:18
formleaf(金币+2,VIP+0):谢谢你的介绍！ 12-4 12:17
formleaf(金币+0,VIP+0):吴卓群，那个是伍卓群吧，我本科毕业证上的！ 12-4 12:18
|
sobolev嵌入定理和迹定理是偏微分方程（尤其是椭圆和抛物）理论研究中非常重要的一个定理，在偏微分方程的先验估计中应用很广，相信很多临界指标来源于sobolev嵌入定理的嵌入指标。sobolev嵌入定理最常见的形式是当p 在我导师写的一个note上面，他说应该做如下的理解： W^{1,p}函数显然比L^p函数性质要好，但是究竟好多少，Sobolev定理就回答了这个问题。 关于迹定理，最常见的是W^{1,p}(\Omega)嵌入W^{1-1/p,p}(\partial\Omega)。因为在n维区域上，说一个W^{1,p}函数在某一点的值是没有意义的，因此没有办法定义函数在边界上的值，而迹定理正好解决了这一问题。 这两个定理在讲sobolev空间的书上都有叙述，完整的定理可以参看： 吴卓群，尹景学 王春鹏 《椭圆于抛物型方程引论》 的第一章，大型的书店应该有这本书。或者参看一些外文的讲偏微分方程的书，上面都有详细的介绍和严格的证明。 |
6楼2009-12-04 10:04:14
yanl02
金虫 (小有名气)
- 应助: 0 (幼儿园)
- 金币: 1248.8
- 帖子: 54
- 在线: 3.5小时
- 虫号: 463370
- 注册: 2007-11-20
- 性别: GG
- 专业: 计算数学与科学工程计算
7楼2009-12-04 11:02:19
jfili
金虫 (正式写手)
- 数学EPI: 17
- 应助: 17 (小学生)
- 贵宾: 0.25
- 金币: 2063.5
- 散金: 110
- 红花: 6
- 沙发: 1
- 帖子: 594
- 在线: 111.6小时
- 虫号: 730814
- 注册: 2009-03-25
- 专业: 偏微分方程
- 管辖: 数学
★ ★ ★
dingleimilan(金币+3,VIP+0):辛苦了 12-4 15:05
dingleimilan(金币+3,VIP+0):辛苦了 12-4 15:05
|
可以参见Adams 的Sobolev space 在学习这两个定理之前首先要明白某一个广义函数属于 L^p（或连续函数）空间是什么意思 可以按两种方式来理解这两个定理。 1、集合。即当 f 属于 H^1, 则 f 属于X（L^p或Hoiler连续） 2、空间。即 f 属于H^1, 则存在C^\infty_c函数列f^k按H^1范数收敛于f，（此时f^k属于C或者迹都是有经典的意义了），而这个函数列如果在X中也收敛（按X中的范数），则称 f 属于X 而值得注意的是，嵌入定理中后面的一个集合是正好最小的一个集合（在某种意义下）。如 H^1嵌入L^2*（当空间维数满足一定的关系时），而当p大于2*时，H^1是不属于L^p的，这可以找到反例的 而为什么要有这两个定理。H^1空间是一个在广义函数空间，而L^p空间是我们很熟悉的空间，这两个定理告诉我们，实际上这个广义函数空间并不是太“广义”。 |
8楼2009-12-04 12:49:02
9楼2009-12-04 12:54:58
40