论文部分内容阅读
本文主要研究一类带拟周期强迫的非线性Schr(o)dinger方程的拟周期解的存在性.关于非线性Schr(o)dinger方程的研究在近些年取得了很大的成果，尤其在物理中有很大应用价值.下列形式的非线性Schr(o)dinger方程是Bose-Einstein凝聚态中平均场的一个重要模型，iut-（-△+V（x）+m）u+(γ0+γ1γ(t))|u|2u=0，m＞0，γ0，γ1∈R，(0.1)这是Bose-Einstein凝聚态研究中有关Feshbach共振控制和光纤通信的非线性的周期补偿中最感兴趣的一个问题，很多学者对它进行了相关研究.当方程(0.1)中的γ(t)关于时间t是拟周期函数时关于它的动力学性质以及解的解析性的结果还是比较少的，本文的研究包括这两个方面. 本文主要用无穷维KAM理论，得到了一类带拟周期强迫项的非线性Schr(o)dinger方程的拟周期解的存在性，具体方程为iut-uxx+mu+φ(t)|u|2u=εg(t),(0.2)满足周期边界条件u(t,x)=u(t,x+2π),(0.3)其中ε是一个小参数，m＞0，φ(t)和g(t)是两个关于t的拟周期函数，频率为ω=(ω1，ω2…，ωL)，并对0＜(p)＜1，Λ＞0满足ω∈DΛ:={ω∈[(p)，2(p)]L:|＜k，ω＞|≥Λ/|k|L+1，0≠k∈ZL}.可以看出当g(t)≠0和ε≠0时，u≡0不是方程(0.2)的解.为了克服这个难点，在方程(0.2)中令u=u0(t)+εv(x，t)可以得到一个拟周期的非线性常微分方程i(u)0+mu0+φ(t)|u0|2u0=εg(t),(0.4)和零为平衡点的带拟周期强迫项的Schr(o)dinger方程ivt-vxx+mv+φ(t)2|u0|2v+u20(v)+2εu0|v|2+ε(u)0v2+ε2|v|2v)=0,(0.5)通过解这两个方程最终得到方程(0.2)的拟周期解u（t,x）. 本文的具体安排如下: 第一章介绍Hamilton系统的定义和性质，辛结构，辛流形的基本定义和性质，以及介绍经典的KAM理论和一个无穷维的KAM定理，并给出带拟周期强迫的非线性Schr(o)dinger方程的研究背景和研究现状. 第二章主要讲述了本文的主要结论以及用KAM理论来证明这个结论.我们通过分别求非线性常微分方程(0.4)的解以及带拟周期强迫项的Schr(o)dinger方程(0.5)的解来得到系统(0.2)+(0.3)的解.具体过程为，我们先用Bibikov引理（见[6]）求解带拟周期的非线性常微分方程(0.4)并得到该方程的解为u0(t，ξ，ε)=O(ε1/4)，其频率为(w)(ξ)=(w1，ω2，…，ωL，α(ξ))∈DΛ×Aγ，其中Aγ:={α∈R:|＜k,ω＞+lα|＞γ(|k|+|l|)-（L+1)，0≠（k，l）∈ZL×Z}，然后求解零为平衡点的带拟周期强迫的非线性Schr(o)dinger方程(0.5).而求解方程(0.5)需要经过约化过程来处理拟周期强迫项问题，最后用Birkhoff正规形方法将方程的Hamilton函数化为ε3H=＜(w)（ξ），J＞+（w）0（ρ）0+Σ1≤j≤n（w）j（ρ）j+Σj＞n(λ)jzj(z)j+ε3/2Σ1≤i,j≤n(G)*ij（ρ）i(ξ)j+ε3/2Σ1≤i,j≤n(G)*ij(ξ)i（ρ）j+ε3∑1≤i≤n＜j(G)*ij(ξ)i|zj|2+P，(0.6)其中ξ，(ξ)=（(ξ)j）0≤j≤n，(ξ)j∈[0，1]为参数，并有λj=j2+m，μj=j2+m+O（ε1/2），j=0，1，…，(c)=（[φ]/2π-9[φD(θ，ξ，ε)]2/π(m+2[φD2(θ，ξ，ε)]+O(ε1/2+σ))）(1+O(ε1/4)，cj=([φ]/π-24[φD(θ，ξ，ε)]2/π(m+2[φD2(θ，ξ，ε)]+O（ε1/2+σ））(1+O(ε1/4)),(w)0=μ0+2(c)ε3(ξ)0+ε3∑1≤j≤ncj(ξ)j，(w)j=μj+ε3(ξ)0cj，j=1,…，n，(λ)j=μj+ε3(ξ)0cj，j＞n，24[(G)4iijj]=(3[φ]/π-288[φD(θ，ξ，ε)]2/πλ0+o(1))（1+O（ε1/4），i≠j，(G)*ij=｛24[(G)4iijj]=(3[φ]/π-288[φD(θ，ξ，ε)]2/πλ0+o(1))（1+O（ε1/4），i≠j，12[(G)4iiii]=(9[φ]/π-144[φD(θ，ξ，ε)]2/π（λ0+λi)+o(1))（1+Oε1/4），i=j.上式中当ε→0时有o(1)→0，和P=ε2(G)**+ε2(G)*+ε3K，(G)**=O(|(ρ)|2)+O(|(ρ)|‖(Z)‖).为了应用无穷维的KAM定理，我们引入了新的参数(w). 给定ω-=ω1-,…，ωL-，ωL+1-）∈(Π)*和对(w_(ξ)=(w1,…，ωL，α(ξ))有(w)(ξ)∈(Π)*={(w)(ξ)∈DΛ×Aγ，:|ωi-ωi-|≤ε，|α(ξ)-ωL+1-(ξ)|≤ε}.引入新的参数(w)=((w)1，(w)2，…，(w)L，(ω)L+1)使得wj=wj-+ε3(w)j，(w)j∈[0，1]，j=1,…L，α(ξ)=ωL+1-+ε3(w)L+1，(w)L+1∈[0，1].因此Hamilton函数(0.6)变为H=＜(w)(ξ)，(y)＞+＜(Ω)(ξ)，(Z)＞+P,(0.7)其中(w)((ξ))=(w)(ξ)⊕(w)0⊕(w)及(w)=(α)+ε3A(ξ),(Ω)(ξ)=(β)+ε3B(ξ),(ξ)=(w)⊕(ξ)0⊕(ξ)，(ξ)=（(ξ)1，…，(ξ)n），并有(y)=J⊕(ρ)0⊕(ρ)(α)=（(w)1，…，(w)n），(β)=（(λ)n+1，(λ)n+2，…）.经过验证可得Hamilton函数(0.7)符合了P(o)schel中的无穷维KAM定理的条件，从而可以用无穷维KAM理论来证明该Hamilton系统的拟周期解的存在性，即证明了方程(0.5)的解析解的存在性.最后得到了原系统(0.2)+(0.3)的解，即得到本文的主要结论. 本文的主要结论: 假设φ(t)和g(t)是两个关于t的实解析拟周期函数，频率为ω∈DΛ.对于任意的指标集J={1，2，…，n}，n≥1，都存在一个充分小的正数ε*使得对任意的0＜ε＜ε*，都存在子集(J)（c）[1/1(m+2[φ])，3/2（m+2[φ]）]，(Π)*(∈)DΛ×Aγ和∑ε(∈)∑:=DΛ×Aγ×[0，1]n+1以及meas(J)＞0和meas(∑∑ε)≤ε，使得对任意的ξ∈(J)，(ω，α(ξ))∈(Π)*，(ω，α(ξ)，(ξ)0，(ξ)1，…，(ξ)n）∈∑ε，系统(0.2)+(0.3)有下形式的解u(t,x)=u0(t)+ε3/2u1(t,x)+o(ε3/2),u1(t,x):=nΣj=0√(ξ)jei(j2+m)tcos(jx),其频率为(w)=（ω，α（ξ），（(w)j）0≤j≤n）∈RL+n+2，其中： (1)α，(w)j是证明中构造出来的，依赖于ε，参数ξ和(ξ)=((ξ)0，…，(ξ)n）∈Rn+1.特别的，(w)j=μj(ε）+ε3aj((ξ)，ε)，μj=j2+m+ε1/2((c)j+(r)j(ε))，j=0，1，…，n，这里|aj((ξ)，ε)|≤C|(ξ)|，(c)j是一个常数，当ε→0时有|(r)j(ε)|→0; (2)u0(t)是方程(0.4)的一个非平凡解，依赖于参数（ξ，ε），频率为(w，α(ξ))∈DΛ×Aγ，并有u0(t)=O(ε1/4）; (3)u1(t，x)频率为j2+m是下列线性方程的拟周期解i(u)1-(a)xxu1+mu1=0. 第三章是一些测度估计的详细证明.在第二章中求Hamilton函数的正规形时，需要对一些辛变换进行估计，这时有一些小除数问题需要考虑，因此我们在附录中对这些小除数问题进行了详细的估计.