偏微分方程的读书报告

上传人:人*** 文档编号:552652520 上传时间:2023-10-12 格式:DOC 页数:10 大小:567KB
返回 下载 相关 举报
偏微分方程的读书报告_第1页
第1页 / 共10页
偏微分方程的读书报告_第2页
第2页 / 共10页
偏微分方程的读书报告_第3页
第3页 / 共10页
偏微分方程的读书报告_第4页
第4页 / 共10页
偏微分方程的读书报告_第5页
第5页 / 共10页
点击查看更多>>
资源描述

《偏微分方程的读书报告》由会员分享,可在线阅读,更多相关《偏微分方程的读书报告(10页珍藏版)》请在金锄头文库上搜索。

1、 .wd.读书报告读王明新?非线性椭圆型方程?此书系统地介绍了二阶线性椭圆算子的特征值理论,半线性椭圆型方程和方程组的上下解方法及其应用,拓扑度理论和分支理论及其应用,方程组的解耦方法,Nehari流形方法及其应用,p-Laplace算子的特征值理论和p-Laplace方程组的上下解方法及其应用。本书选题先讲,内容新颖丰富,大局部内容取自同行近几年发表的论文最新的内容是2009年发表的。由于我是入学后才读此书,我只读了其中的局部内容,这里我只对前六章的内容写个读书笔记。书中罗列了同行近几年发表的论文,对读者来说,有难度,同样也是训练读者查参考文献的能力。此书的第一章内容是介绍后面要用到的相关的

2、预备知识。第一节,书上对于Banach空间,引入了Frechet导数和Gateaux导数以下简称为F导数和G导数。定义F导数 称在点处是F可微的,如果存在有界限性算子,使得当时.算子成为在处的F导数.定义G导数 设.对任意的当适当小时都有,并且极限存在,那么称在处G导,称其极限是在处沿方向的G微分,记为.并且给出了两者之间的联系:由定义我们可以看出,F导比G导难求。利用这个关系,在求算子的F导数的时候,我们可以转化为求G导,然后只需证明求得的G导是连续的,利用上面的关系,就知道,我们所求得的G导就是F导,这样,我们就把复杂的难于求的F导转化为易求的G导。而本书中后面屡次提到了求F导数。第二节介

3、绍了无条件局部极值的定义、存在性和必要性。这一节的内容类似与微积分中学过的一元或是二元函数的局部极值的定义和费马定理,学习的时候结合内容记忆起来方便。第三节介绍了在拟线性方程的边值的非负非平凡解的存在性方面的一个应用,前面讲到的知识在例子中屡次被用到。第二章主要介绍二阶线性椭圆算子的特征值问题。我以前读过叶其孝编写的?反响扩散方程?中有介绍二阶线性椭圆的特征值问题,内容较少,篇幅不多,而这本书中较大篇幅的介绍了二阶线性椭圆的特征值问题,并且内容也比照丰富,可以说是这方面内容的经典汇总。然而,对于二阶线性椭圆的特征值问题,到目前为止,只是第一特征值的研究比照全面,至于第二特征值以及再高的特征值的

4、研究很贫乏,这方面可作的东西非常多,也可以说是对我们读者来说的一个指引作用。书中先介绍了一般形式的二阶线性椭圆算子的特征值问题:这里的指的是Dirichlet边值条件、Neumann边值条件和Robin边值条件。假设A是一致椭圆的;B.由于此类算子的特征值构造非常复杂,书中介绍的主要是主特征值的内容,相关的结论是:上述的特征值问题有唯一的主特征值,与它对应的特征函数在内是正的或者负的;其余的非主特征值对应的特征函数如果是实函数,那么它一定在内改变符号;并且特征值的个数是可数个:。还有几个重要的结论:1. 假设,是特征值问题的主特征值,并且还是实的和简单的,其中或者如果或者,那么.如果,那么2.

5、设,是一个常数。如果存在正函数,使得那么进一步,如果上式不是恒等式,那么其次是考虑的散度型的二阶线性椭圆算子的特征值问题:假设A是一致椭圆的;B由于此算子是对称算子,故它的特征值的具有非常清晰的构造。相关的结论有:1特征值全是实数;2不同的特征值所对应的特征函数是正交的;3特征值的极小原理和极大-极小原理;4特征值是无界的,即;5特征函数系是中的一个完备正交系;6特征值的变化特征值关于是单调增加的,Dirichlet边值问题的特征值关于区域是单调减少的;7特征值连续依赖于系数;8假设,为常数,是问题的第个特征值,那么;9非完全耦合的二阶线性椭圆方程组的特征值问题:设,算子都是区域上的一致椭圆算

6、子,特征值分别记为和,系数.定义,那么算子的谱仅由特征值构成,并且;10Poincare不等式:与Sobolev空间的Poincare不等式比照记忆记是算子在上带有齐次Dirichlet边界条件的第一特征值,那么并且是使得上式成立的最小常数,也称为最正确嵌入常数。记是算子在上带有齐次Neumann边界条件的第二个特征值,那么并且是使得上式成立的最小常数,也称为最正确嵌入常数。补充:(Bessel不等式)设X是一个内积空间,如果是X中的正交标准基,那么,有.研究特征值问题的意义目前主要在于研究主特征值,因为主特征值所对应的特征函数在整个定义域内不改变符号,即恒正或是恒负,这对于后面要讲的生态模型

7、的正共存解的存在性起到关键的作用,这也是本书中在讲共存解时屡次采用的方法,这也给读者在研究问题的时候提供了一种很有用的方法。第三章介绍了椭圆型方程的上下解方法利用上下解得到解的存在性的方法称为上下解方法,此法是研究非线性偏微分方程的一种重要方法。对于一个非线性偏微分方程的定解问题,只要比照原理成立,都可以利用上下解方法来处理。上下解方法非常简单初等,构造又非常深刻。这种方法即给出了解的存在性,又给出了解的估计。但此法也有困难的地方,那就是构造适宜的上下解。下面先给出一个一般形式的比照原理,然后依次给出方程式和方程组的上下解方法,最后结合叶其孝编写的?反响扩散方程?总结一下构造上下解的方法。比照

8、原理假设是中的一个有界区域,函数在内非负连续,常数,非负函数.又设函数并且在内是正的,在分布意义下满足,在边界附件满足.如果1当时,函数关于单调不减;2当时,是非负非平凡的连续函数,关于严格单增,那么在内恒成立。注:由上面的比照原理,得边值问题有唯一的正解。下面具体来总结一下方程式的上下解方法。先对拟线性方程,利用不动点定理证明:如果所讨论的问题具有有序的上下解,那么它在上下解之间一定有解;其次对半线性方程,借助有序上下解构造单调迭代序列,进而得到位于上下解之间的最大解和最小解的存在性。设是中的一个有界区域,边界,算子在上是一致椭圆算子,系数属于.边界算子其中都是非负函数,并且.考虑下面的边值

9、问题 定义上下解函数分别称为上述问题的上下解,如果假设边界条件是,那么上下解的光滑性条件可以减弱为.定理:假设在上,函数为上述边值问题的上下解,并且满足。记,。又设关于,以及满足Nagumo条件,即存在连续函数,使得.那么上述边值问题存在解,并且满足其中N是依赖于的系数的Nagumo常数. 此定理的意义在于判断椭圆型方程解的存在性。同样,对于椭圆型方程组也有类似的结果,这与抛物型方程的上下解方法是不一样的,抛物型方程的上下解方法在判断解的存在性的同时,还给出了解的唯一性。要注意椭圆型和抛物型方程的比照。上下解的方法虽然简单初等,但是困难的是合理构造出上下解。结合叶其孝编写的?反响扩散方程?,现

10、总构造造上下解的方法:常数上下解;常微分方程法;转化为偏微分方程法;利用第一特征值和特征函数等等。课后习题中的重要结论:研究边值问题假定且在上,是一个常数,那么(1) 如果上述问题有一个正的严格下解,那么上述问题有唯一的正解,并且(2) 如果,那么上述问题有唯一的正解.书的第四章内容主要介绍了非线性泛函分析中的拓扑度理论和分支也称为分歧,或分叉理论,因为此理论也是研究椭圆型方程和方程组的边值问题的解的存在性的重要工具。在书中,主要是介绍那些在椭圆型方程的应用中经常出现的有关拓扑度和分支理论的主要结果,可以看成是拓扑度和分支理论的速成。先介绍了有限维空间的拓扑度Brower度:定义:1如果是的一

11、个正那么值,定义在处的拓扑度为,其中为的行列式,满足.2如果是的一个临界值,存在正那么值,满足。定义在处的拓扑度为. 基本性质:(1) 同伦不变性;(2) 可加性;(3) 切除性;(4) 乘积性质;(5) 连续映射的度;(6) 边界性质;(7) 复合映射的Leray乘积;再介绍Banach空间上的拓扑度Leray-Schauder度定义:设X是一个Banach空间,是有界开集,是紧的,.是的有限维逼近,的像集属于有限维空间, ,那么性质与有限维空间的Brower性质类似。特别地Leray-Schauder定理,其中是的大于1的所有特征值的重数之和.分支理论:考虑方程其中,把点的某个邻域映入一个

12、Banach空间Y,并且满足.定义:点称为一个分支点,如果的任意邻域都包含方程的一个解并且定理:,.又假设1;2是一维的,由生成;3的余维数是1;4.那么点是一个分支点,并且的解的集合在点的邻域内由两条只在相交的类曲线构成。下面介绍一下椭圆型方程组解的稳定性与不动点指数的关系:定义:记,.假设是边值问题的解,其中,.是散度型的二阶一致椭圆算子,系数有界,为三种边界算子.如果上述问题在的线性化特征值问题的所有特征值的实部都大于零,那么称是线性稳定的,否那么,就称为不是线性稳定的。如果是线性化特征值问题的特征值,那么称是退化的,否那么就称为非退化的。 利用拓扑度方法研究1的解,通常是把它等价地转化

13、为算子的不动点问题,其中,适当大,使得算子是紧的.定理:如果是线性稳定的,那么.最后一节内容是锥上的拓扑度理论。因为在椭圆型方程和方程组的齐次Dirichlet边值问题的正解研究中,通常需要限制在正锥上来讨论,故引进锥上的拓扑度。几个重要的定义:定义:设是一个Banach空间,称为一个楔,如果是一个非空闭凸集,并且对任意的,有.定义:对于,.定义:设是紧线性算子,称具有性质,如果存在,使得.定理:如果在上可逆,那么1假设具有性质,那么;2假设不具有性质,那么其中是的所有大于1的特征值的重数之和。当不具有性质,那么.第五章是利用前面建设的分支理论和锥上的拓扑度理论,研究两个椭圆型方程组的齐次Di

14、richlet边值问题正解的存在性、多解性、分支与稳定性。这两个例子分别是作者的发表的两篇文章。一个是带有修正的Holling型响应函数的捕食模型:其中分别表示食物和猎物的分布函数,函数,并且所有的参数都是正常数。另一个是带有Holling型响应函数的捕食模型:其中都是正常数。文中主要是讨论了上面两种捕食模型的共存解的存在性、多解性、分支与稳定性。两种模型采用的都是正锥上的拓扑度理论和分支理论。现在我自己对书中采用的方法做一下归纳:要采用正锥拓扑度理论,必须要对所要讨论的问题做先验估计,估计出上下界,这是此法的前提条件,这个决定想采用锥上拓扑度理论研究问题时,在构造模型时必须注意,要使得所构造

15、的模型有解的先验估计。比方说是上述问题讨论的正解,总是要先对正解做先验估计,估计出它的上下界,采用的方法是最大值原理、上下解方法和正解的唯一性等等。做出先验估计之后,然后做正锥,在正锥上讨论问题,找出问题的平凡正解和半平凡正解。将所要研究的问题转化为紧算子的不动点问题,利用锥上的拓扑度理论,求出每个平凡正解和半平凡正解的不动点指数方法就是看看紧算子的导算子有没有性质,利用前面的定理即可,然后利用拓扑度与不动点指数之间的关系拓扑度等于不动点指数之和,来探讨共存解的存在性以及多解性。分支理论是严格按照分支定理来处理的,严格验证分支定理中的几条性质即可。正解的线性稳定性也是严格按照定义来处理,就是要证明所研究问题的线性化特征值问题的所有特征值的实部都是大于零即可。这里文章大局部采用的方法都是反证法,因为直

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 建筑/环境 > 施工组织

电脑版 |金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号