论文部分内容阅读
本文主要研究非线性Schr(o)dinger方程.它在量子力学中有着广泛的应用.自无穷维KAM理论产生以来,作为一个Hamilton系统,人们渐渐开始利用KAM理论研究非线性Schr(o)dinger方程有限维不变环面(对应于拟周期解)以及无穷维不变环面(对应于概周期解)的存在性. 对于可积Hamilton系统而言,它的动力学行为是清楚明了的.然而,现实中可积系统少之又少,更多的是近可积系统.近可积Hamilton系统的动力学行为问题被Poincaré称为“动力学基本问题”.上世纪五六十年代,三位国际著名数学家A.N.Kohnogorov,V.I.Arnold和J.K.Moser建立了经典KAM理论.因其重要的应用价值,KAM理论被视作20世纪最重要的数学成就之一.八十年代末九十年代初,S.B.Kuksin,W.Craig和C.E.Wayne将有限维KAM理论推广应用至Hamilton型偏微分方程,发展出无穷维KAM理论.后来J.P(o)schel重新整理加以描述成一个容易理解的无穷维KAM定理,并成功将其应用于Dirichlet边界条件下的非线性Schr(o)dinger方程和非线性波动方程.同时J.Bourgain又将这一想法推广至一般的Hamilton偏微分方程.鉴于以上均在有界扰动情形下讨论,P(o)schel通过引入广义正规形并利用Kuksin求解变系数同调方程的引理,将有界扰动情形下的无穷维KAM定理推广至无界扰动的情形.然而仍有一大批重要的偏微分方程不能适用上面的定理,例如带导数的非线性波动方程,带导数的非线性Schr(o)dinger方程等.最近,刘建军和袁小平通过修改Kuksin的引理,得到了临界情形下的KAM定理.进而刘建军和袁小平,张静,高美娜和袁小平分别研究了几类带导数的非线性Schr(o)dinger方程.这些方程中既有Hamilton系统也有反转系统. 与Dirichlet边界条件不同,在周期边界条件下由于重特征值的出现,前面P(o)schel的KAM定理失效.Chierchia和尤建功最早用KAM方法解决了非线性波动方程在周期边界条件下拟周期解的存在性问题.事实上在他们的结果出现之前,Craig和Wyne已经利用推广的Lyapunov-Schmidt分解和Frohlich,Spence技巧,证明了周期解的存在性.这种由Craig和Wayne发展并由Bourgain改进的方法称为C-W-B方法. 对于高维Hamilton偏微分方程,难度较大,进展也比较缓慢.最早Bourgain研究了二维Schr(o)dinger方程的小振幅拟周期解.这方面的主要进展参见Bour-gain,耿建生和尤建功,Eliasson和Kuksin,耿建生,徐新东和尤建功,耿建生和尤建功,Eliasson,Grébert和Kuksin等. 在实际应用中,有三类著名的带导数的非线性Schr(o)dinger方程:iut+uxx+i(|u|2u)x=0,(Kaup-Newell方程),iut+uxx+i|u|2ux=0,(Chen-Liu-Lee方程),iut+uxx-i|u|2(u)x+1/2|u|4u=0,(Gerdjikov-Ivanov方程).2012年耿建生与吴健在周期边界条件下研究了带导数的非线性Schr(o)dinger方程iut-uxx-i(|u|4u)x=0,并得到了具有2个频率的实解析拟周期解.同时刘建军和袁小平在周期边界条件下研究了iux+uxx+i(|u|2u)x=0,并得到了具有N个频率的光滑拟周期解.需要说明的是,因采取了两种完全不同的策略,以上两个结果才会有差别.耿建生与吴健通过引入“紧性形式”和“不变性质”,将变系数的同调方程变为常系数,然后利用KAM迭代得到了实解析的拟周期解.而刘建军和袁小平利用修改的求解变系数同调方程的引理并同时假设扰动满足特殊形式,通过KAM迭代得到了光滑的拟周期解.特别需要指出的是,由于“紧性形式”和“不变性质”的限制使得耿建生与吴健所得拟周期解的频率仅为两个,而刘建军和袁小平的结果允许频率的个数是任意整数.本文首先利用耿建生与吴健的方法在周期边界条件下研究了第二类带导数的非线性Schr(o)dinger方程:Chen-Liu-Lee方程iut+uxx+i|u|2ux=0.通过利用“紧性形式”和“不变性质”我们得到了具有两个频率的实解析拟周期解. 当扰动项具有拟周期强迫时,相应的系统是非自治系统.对于具有周期强迫的完全共振波动方程的周期解首先由Rabinowitz利用整体变分方法和Lyapunov-Schmidt分解得到.后来Berti和Procesi将Lyapunov-Schmidt分解和Nash-Moser迭代结合起来研究了带周期强迫的完全共振波动方程具有两个频率的拟周期解的存在性.再后来焦蕾和王奕倩用Birkhoff标准形和KAM迭代方法证明了拟周期强迫下的非线性Schr(o)dinger方程拟周期解的存在性.近些年,张敏和司建国,司建国分别研究了具有拟周期强迫的非线性波动方程在Dirichlet边界条件下和周期边界条件下拟周期解的存在性.王怡和司建国,芮杰和司建国分别研究了具有拟周期强迫的非线性梁方程和非线性Schr(o)dinger方程拟周期解的存在性.需要注意的是以上讨论均是在有界扰动的情形下.当扰动无界时,特别是临界情形,即使对于自治系统也是比较困难的.当扰动是具有拟周期强迫的无界扰动时,这方面的结果非常少.弭鲁芳与张康康利用KAM方法研究了具有拟周期扰动的Benj anin Ono方程,Baldi, Berti和Montalto将Nash Moser迭代和KAM迭代结合起来研究了具有拟线性扰动的线性Airy方程.利用同样的方法,R.Feola和M.Procesi[39]研究了完全非线性反转Schr(o)dinger方程.论文中作者研究了具有拟周期强迫的带导数的非线性Schr(o)dinger方程iut十uxx+i(B+∈g(βt))(f(|u|2)u)x=0在满足周期边界条件u(t,0)=u(t,2π)的不变环面的存在性.这里B为正常数,g是实解析函数,关于时间变量t拟周期,频率向量为β=(β1,β2,…,βm).我们的方法基于Birkhoff正规形理论和KAM迭代.需要说明的是,在周期边界条件下,由于特征值是二重的,因此不能使用P(o)schel关于无界扰动的无穷维KAM定理.我们沿着刘建军和袁小平的思路,考虑广义正规形,同时还假设扰动满足类似的特殊形式:扰动项P(Ψ,q,(q))仅包含单项式Pn1n2n3n4…n2r-1n2r(Ψ)q1(q)2q3(q)4…q2r-1(q)2r这里n1-n2+n3-n4+…+n2r=1-n2r=0.然后利用求解变系数同调方程的引理,证明了不变环面的存在性.论文中我们分别在两种情形下讨论了该问题:(1)β为任意实数向量;(2)β与指定频率(β)“共线”(co-linear),即β=λβ∈Rm,λ∈[1/2,3/2].对于第一种情形我们利用修改的满足特殊形式的刘建军和袁小平[82]的KAM定理得到了具有任意正整数个频率的光滑拟周期解.而对于第二种情形,由于强迫项的频率是“固定”的,我们没有足够多的参数,因此文献[81][82]中关于参数集测度估计的方法并不适用.通过采用不同的测度估计方法,我们得到了具有任意正整数个频率的光滑拟周期解. 本论文共分为五章,主要内容如下: 第一章我们给出Hamilton系统和KAM理论的相关知识.这一章又包括以下四节.第一节介绍有限维Hamilton系统理论,包含Hamilton向量场及变换理论,可积Hamilton系统和Birkhoff正规形.第二节主要介绍经典KAM理论.第三节简单介绍了Hamilton系统扰动理论的三个主要研究方向:经典稳定性(Classical stability),几何稳定性(Geometric stability)和不稳定性(Instability).最后一节详细叙述了无穷维KAM理论及其应用于Hamilton型偏微分方程的研究现状,特别是非线性波动方程和非线性Schr(o)dinger方程. 第二章我们罗列了一些在KAM理论应用中常用的定义与结论,如拟周期函数,实解析函数,Cauchy估计等等. 第三章我们利用耿建生与吴健[48]方法在周期边界条件下研究了Chen-Liu-Lee方程iut+uxx+i|u|2ux=0.利用“紧性形式”和“不变性质”我们得到了具有两个频率的实解析拟周期解. 第四章与第五章研究了具有拟周期强迫的带导数的非线性Schr(o)dinger方程iut+uxx+i(B+∈g(βt))(f(|u|2)u)x=0.在周期边界条件下不变环面的存在性.第四章在β为任意实数向量的情形下讨论该问题.而第五章在β与指定频率(β)“共线”的情形下讨论该问题.