- 1、本文档共12页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
偏微分方程学习笔记
偏微分方程
一.预备知识
1.平面凸集定义:若E是一个平面凸集,则对于E中任意两点x,y,连接这两点的线段也在E内。即
??x + (1-???y∈E ( 任意x, y∈E ,任意0≤??≤ 1)
2.空间凸集定义:设X是线性空间,E是X中一个空间凸集,如果
??x + (1-???y∈E ( 任意x, y∈E ,任意0≤??≤ 1)
3.设D是E的一个子集,为凸集,泛函
f : D → R,称为在D上是凸的
是指任意x,y∈D,t∈ [0,1]均有
f?(tx + (1-t??y?≤t f?( x ?? (1-t?? f?( y ?
若只在x = y时取等号,则称f是严格凸的.
4.Cauchy不等式: .
证明:由于,可得.
5.带的Cauchy不等式: .
证明:在公式中,令为,为,则有
6.Young不等式:设且则有
证明: 泛函 f : x → ,是凸的,因此有
从而有
7. 带的Young不等式: 设且则有
证明:在不等式中用和代替,可得
8.Holder不等式:设且若则且
证明:设与是中这样的可测函数
(★)
根据Young不等式有 ,
对上述不等式两边在上积分得
其次,若,则函数
满足(★)式的条件,故有
即
也就是
推论:(1)若则有
(2)若且
设则有
9.Minkowski’s不等式:设,且则有
证明:而
从而有因此有
上面两式相加得
=
即是: ,因此
10.内插不等式:设且有若
则有且有
证明:我们计算,因为即是
利用赫尔德不等式有
两边同时次方得到:
11.柯西-施瓦茨不等式:
证明:让并注意到从而有下列结果
设时取右边的最小值得到
12.Gronwall’s 不等式(differential form).
(i)Let be a nonnegative, Absolutely continuous function on which satisfies for a.e t theDifferential inequality
(15)
Where and are nonnegative, summable functions on Then
(16)
For all
(ii)In particular, if then
Proof. From (15) we see
For a.e 因此对每一个we have
This implies inequality(16).
13.Gronwall’s inequality ( integral form ).
(i)Let be a nonnegative, summable function on [0,T] which satisfies for a.e. t the integral inequality
(17)
For constants Then
(18)
for a.e.
(ii) In particular, if
for a.e then
Proof. Let According to the differential form of Gronwall’s inequality above
Then (17) implies
14.Poincare不等式(也叫Friedrichs不等式)
符号说明:这个集合是线性的。引入内积
则是一个Hilbert空间(即完备的内积空间,完备即是空间中每个Cauchy列都收敛)。把按照中的泛数完备化而得到的空间记为,显然.若取,则可证明下面我们证明Poincare不等式:,,C仅依赖和n.
证明:设且包含在立方体中。扩大的定义域。设在之外u=0.显然而且
,从而
=由Holder不等式又有
,从而有.两边在上积分得
上式关于i从1到n求得:
,即是,令,则得,若,作序列使在中,对每个,仍然成立:
令得=.其中常数C仅依赖和n. 称为Poincare不等式(也叫Friedrichs不等式)。
15.下确界定义:设这表示对于任意的,且存在序列使得
16. 序列弱收敛定义:
设若对于任意都有,则称序列弱收敛于记为:?
17. 集合弱列紧定义:集合如果对于任意序列有子列弱收敛于某个则称集合是弱列紧的。在距离空间中,X是紧空间,X是列紧空间及X是全有界和完备的等价。
18. 紧空间定义: 如果X的每一个开覆盖都含有一个有限
您可能关注的文档
最近下载
- 【论文】浅析目前我国幼儿德育教育工作中存在的问题与解决措施.pdf VIP
- 安徽省亳州市(2024年-2025年小学六年级语文)统编版期末考试(下学期)试卷及答案.docx VIP
- 小升初数学毕业总复习必考知识点.doc VIP
- 54.地质灾害治理工程质量检验评定标准(试行)-TCAGHP 054-2019.pdf VIP
- 2025年新高考2卷(新课标Ⅱ卷)英语试卷(含答案解析).pdf
- 静态混合器的设计和数值模拟.docx VIP
- 20210428-【小红书】小红书营销资源手册.pdf VIP
- 美国Sabic PBT DR48英文物性表(原料生产商提供).pdf
- 投入产出系数及其模型.ppt
- 有限空间作业专项施工方案(2018年).doc
文档评论(0)