无限维KAM定理及其运用

来源 :南京大学 | 被引量 : 0次 | 上传用户:bbyyqq555
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在1991年,W.Craig和C.E.Wayne[cWa2]得到了φ-非线性Klein-Gordon方程的 u<,tt>-u<,xx>+b<2>u-u=0,d=2n,n>2 许多周期解。文中他们明确地指出构造带高阶非线性项的偏微方程拟周期解的工作当时还没开展。他们的方法基于他们在[CWal]一文中发展起来的经典方法。 在2000年,Bambusi[Bam1]用一个更简明的方法得到了带任意高阶非线性项的一维波方程及梁方程的周期解。他的方法基于Lyapunov-Schmidt分解以及压缩映像原理。具体来说,对不可数多的m,一维的波动方程 u<,tt>-u<,xx>+mu+u<2k+1>=0,k≥1, 有许多的周期解。对一维梁方程 u<,tt>+u<,xxxx>+mu+u<2k+1>=0,k≥1,m≥0, 他的结果更好些。他证明对几乎所有的m≥0,上面方程存在周期解。 对于非线性薛定谔方程 iu<,t>=u-mu-f(|u|<2>)u, 这里f(0)=f<(1)>(O)=…=f<(k-1)>(0)=0,f<(k)>(0)≠0,k≥1,Kuksin和?在[KP]一文中简单运用隐函数定理得到了许多周期解。但对于上面提到所有方程拟周期解的存在性,一直以来没有得到解决。 主要原因有二:其一,上面的方程难以得到一个好的标准型。其二,所有已知的无限维KAM定理都不能运用到上面的方程。具体而言,对带高阶非线性项的一维波方程,薛定谔方程以及梁方程,Kuksin[K2]的无限维KAM定理中的非退化条件 通常不满足。就P?schel[P3]的无限维KAM定理而言,上面的方程不满足条件?。因此,我们必须发展适合处理上面方程的新的无限维KAM定理.在我的博士论文中,我们进一步发展了标准型理论并给出了新的无限维KAM定理(只包含分析部分).就测度估计而言,我们吸收了徐君祥、尤建功和仇庆久[XYQ,XYQ1]关于退化的KAM定理的想法并结合具体方程的特征来给出测度估计。具体而言,在本论文中,我们主要得到下面三个结果: 1.考察狄式边值下的一维薛定谔方程 我们证明对任意的m,上面的方程存在许多的KAM环面,上面充满了小振幅,线性稳定的拟周期解。 2.考察狄式边值下的一维波动方程 这里f(u)是实解析的奇函数,其具体形式为?。我们证明对几乎任意的m>0,上面的方程存在许多的KAM环面,上面充满了小振幅,线性稳定的拟周期解。对铰链边值下的一维梁方程 有类似的结论,这里f(u)同上。 3.考察铰链边值下的一维全共振的梁方程 我们证明其存在许多的KAM环面,上面充满了小振幅,线性稳定的拟周期解。 论文后面的内容是如下安排的:第一章,我们给出有限维哈密顿系统的一些基本概念,回忆了有限维KAM理论及其发展。在第二章,我们介绍了无限维哈密顿系统的一些基本概念,并且回忆了无限维的KAM定理的发展和运用。在三,四,五章,我们分别给出了前面提到三个主要结果的详细证明。
其他文献
随着软件复用技术的不断发展和应用,领域软件构件越来越容易被复用成功。领域变化性可以从组织机构、功能、数据、表示和过程连接五个方面构建。工作流技术由于在过程控制变
带吸收状态的M/M/2排队系统在交通,服务行业等领域中有广泛应用。因此对其进行动态分析不但在理论上而且在实际中具有重要的意义.本文对该系统进行动态分析.首先用概率论的有
本文对求解非线性最小二乘问题提出了一个新方法,该方法由目标函数F(x)的Hessian矩阵G(x)中的非线性项w(x)的近似表达式W,与其线性项M(x)一起合成G(x)的一个近似。但是由拟牛顿校正生成的
医学图像处理是目前医学影像后处理的重要环节,也是目前生物信息学应用中的关键技术之一。本论文结合不同医学图像的生成原理,系统地研究了这些图像的处理和识别算法,同时结合实
Daubechies已经证明,除Haar小波滤波器外的所有正交二通道有限冲击响应滤波器都不具有线性相位性质。为了能够满足线性相位特性,可以考虑牺牲正交性,于是便产生了对双正交小波或
人体体成份分析需定量化脂肪等体成份。其中,MR 图像方法由于其高度精确性,常用来校核 BIA 等应用方法。为提高校核可靠性,需对大样本使用全身 MR 图像方法,这在国内外都少见
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
随着生物医学、社会学、经济学和教育心理学等学科的快速发展,分类数据的研究越来越受到国内外相应领域的理论研究者和实际应用工作者的高度重视.利用分类数据来研究两种处理
基因调控网络旨在研究不同基因之间的调控关系,是细胞维持基本功能和响应外界刺激的基本单元。随着表观遗传层面调控机制的研究进展,已经产生出大量实验手段(代表性的有DNase-se
生物分子的数学模型和数值模拟方法的发展,尤其是隐式溶剂模型,对生物分子网格生成软件的稳定性、有效性和网格质量提出了更高的要求。在数值模拟计算中,网格的质量会影响数值计