第1章绪论
1.1RH问题
1.1.1RH问题的产生和发展
1900年,Hilbert在巴黎国际数学家大会演讲中,提出23个著名的数学问题,其涉及现代数学大部分重要领域,对20世纪数学发展进程产生了深远的影响.到目前为止,Hilbert问题近半已经获得解决.Hilbert的第21问题为“具有给定单值群的线性微分方程解的存在性证明”,通常称作RH问题,其定义如下:
设Σ为复平面C内的有向路径,的自相交点},假设存在一个在上光滑的映射,则(Σ,V(z))决定了一个RH问题:寻找一个n×n矩阵M(z)满足.
.M(z)在C\Σ上解析;
.M(z)满足如下的跳跃条件M+(z)=M_(z)V(z),z∈Σ;(1.1.1)
.当z→∞时,M(z)→I,其中M±表示在正负域内点趋于边界Σ上相应的z点时的极限,这里所说的正负域是指当沿着有向路径Σ的方向移动时,位于左边的区域称为正域,位于右边的区域称为负域,RH问题实际上是复平面上矩阵值函数的边值问题.
RH问题的解决经历了一个比较曲折的研究过程:1908年,Plemelj对RH问题做出了肯定回答,他的途径是借助Fredholm理论,将RH问题转化为积分方程来处理;1913年,美国数学家Birkhoff又采用逼近方法证明了Plemelj的结果;1957年,Rolle从代数几何的观点将Plemelj的结果推广到一般的Riemann曲面上去;研究RH问题的代数几何途径在20世纪六七十年代又被Deligne大大发展和完善,因此,长期以来,人们一直认为RH问题早已被解决.然而,80年代,Kohn,Arnold等数学家开始发现并指出了Plemelj的工作存在着缺陷.原来,Plemelj定理实际上并不是真正的Fuchsian型方程组,而是比Fuchsian更特殊的正则型方程组,1989年,苏联数学家Bolibruch关于Hilbert的反例.这就是说,在Plemelj的“肯定”结果发表七十多年以后,数学家们才看到Hilbert第21问题在一般情况下不成立.
虽然数学是一门精密的科学,但数学家的推理也难保不会出现疏漏,这种疏漏有时甚至能逃过*严格的审查.在这方面,Hilbert第21问题也并非数学史上绝无仅有的例子.例如,著名的四色问题的研究,也发生过这样的情况.1879年,Kempe证明了四色问题,并发表于著名数学家Sylvester任主编的《美国数学杂志》.但十一年以后,英国学者Heawood发现Kempe的证明有漏洞.另一方面,在数学研究中,有时概念和方法比*终结果更为重要,有些数学结果尽管后来被指出有误,但在解决问题过程中发展起来的概念与方法,却依然能够成为有价值的数学财富.虽然RH问题在一般情况下不成立,但RH问题本身被独立发展成解决一大类纯粹和应用数学的强有力的分析工具——RH方法,不仅用于分析可积系统的初值问题解的长期行为、零色散极限问题、Toda格的冲击波、稀疏波问题等,而且在量子场和统计力学模型、无穷维Grassmann流形、全纯向量丛、正交多项式理论、随机排列、随机矩阵理论、组合学等方面也获得了突破性应用.
本书中,我们主要关心RH方法在可积系统、正交多项式和随机矩阵理论中的应用,由于目前这三个方面内容非常丰富,我们仅限于基本的方法和技巧,希望给大家提供一个快速入门的资料.
1.1.2RH方法和思想
将所研究问题转化为复平面上RH问题解决的过程和技巧称为RH方法,用RH方法解决问题一般都需要两个标准步骤:
(1)将要解决的问题转化为复平面上的RH问题,即将要解决的问题提升到复平面去考虑;
(2)用速降法等技巧,对得到的RH问题通过分解跳跃矩阵、形变积分路径
去除渐近单位矩阵的跳跃,将其化为可解的RH问题,由此获得原来问题的解.例如,NLS方程初值的解可用RH问题的解表示
其中RH问题为
.m(x,t,z)在C\R上解析,(1.1.5)
.m+(x,t,z)=m_(x,t,z)v(x,t,z),z∈R,(1.1.6)
.m(x,t,z)→I,z→∞,(1.1.7)
这里v(x,t,z)为跳跃矩阵,重构公式(1.1.4)将求解NLS方程初值问题(1.1.2)—(1.1.3)转化为求解RH问题(1.1.5)—(1.1.7).
由于RH问题本身是复问题,因此RH方法的*大特点是将要解决的问题提升到复平面进行解决,这种思想实际已经在大学复变函数中使用,在数学分析中,由于很多函数的原函数不能用初等函数表示,因此无法直接套用Newton-Leibniz公式,使得求定积分很困难,例如.(1.1.8)但我们可以换一个角度解决问题,将积分化为复积分解决,因为解析函数与积分路径无关,既然实轴R上不容易积分,我们可以选择一个容易积分的路径实问题.
上述问题的解决实际体现了RH方法的两个步骤:①将实问题转化为复问题;
②对得到的复问题,利用复平面上解析函数与积分路径无关的性质,改变积分路径获得解决.
图1.1复平面积分路径
1.2RH方法在可积系统初值问题应用状况
通常一个非线性微分方程称作可积的,如果它可以表示为Lax对的相容条件.而Lax求解可积系统有三种经典的方法:反散射方法、RH方法和方法,其中RH方法和方法是现代版本的反散射方法,都属于散射理论,所以下面我们在反散射的框架下讨论这些方法的产生和发展.
1.2.1求解可积系统方面
1.快速衰减初值问题——反散射和局部RH方法
1967年,Gardner,Greene,Kruskal和Miura在研究KdV方程快速衰减的初值问题时,发现了一种求解非线性可积系统初值问题的反散射方法,这种方法也称为非线性Fourier变换,可以将求解微分方程快速衰减的初值问题转变为复平面上求解散射数据的GLM方程.实际上,在GGKM工作之前,苏联科学院院士、著名数学家Faddeev已经成功地求解了NLS算子的反问题.1968年,美国科学院院士Lax从GGKM的工作中意识到如果一个非线性偏微分方程可以表示为一对线性方程的相容性条件,则这个偏微分方程可以反散射求解,这个线性方程组通常称为Lax对,阐述了用反散射方法求解其他非线性偏微分方程的一般框架.1971年,苏联数学物理学家Zakharov和Shabat发现NLS方程的Lax对,并将反散射方法推广到NLS方程的初值问题[9].随后,1973年,Ablowitz用反散射方法求解了sine-Gordon方程;1974年,Ablowitz、Kaup、Newell、Segur用反散射方法求解了AKNS系统.目前已经发现一大类非线性方程的初值问题都可以用反散射方法解决.反散射方法的发现是孤子理论中的里程碑性工作,对数学和物理诸多领域产生了深远影响,确立了可积系统在数学领域的重要地位.经典反散射方法已经成为求解可积系统初值问题的成熟方法,国内外已有大量专著,但国内专著一般都没涉及RH方法和方法.
反散射方法向各类方程推广应用的同时,在方法上也做了不断改进和发展,1975年,Shabat首先用RH问题研究可积系统的谱问题,其实他和Zakharov在1972年的工作中已经很接近RH问题形式.之后,经过Zakharov和Shabat的系列工作,奠定了RH方法的理论以及在孤子理论中的重要地位,RH方法的思想是将求解微分方程的初值问题转化为寻找一个在给定曲线上具有特定跳跃形式解析函数的RH问题.20世纪80年代之后,RH方法作为比反散射更一般的方法开始应用于可积系统,这方面文献可见,RH方法一般在有些反散射专著中涉及一部分,除了杨建科的专著,还没见其他专门讲RH方法的专著.
2.周期初值问题——代数几何法
反散射方法出现以后,人们试图对这种方法进行推广,希望用于解决KdV方程的周期初值问题,Dubrovin和Novikov发展了反问题方法并建立了周期Sturm-Liouville算子的谱理论,使得在反问题方法框架下解决KdV方程的周期初值问题成为可能.Dubrovin和Novikov的结果以及周期Sturm-Liouville算子特征函数的解析性质则由Krichever以一种不同角度给出[35,36].在Krichever的方法中,Baker-Akhiezer函数起着关键的作用.不久,Krichever的方法被Novikov、Dubrovin、Matveev、Its、Moerbeke以不同的方式实现在KdV方程、sine-Gordon方程和其他Lax形式的方程中.继Lax,Dubrovin,Novikov,Matveev,Its,VanMoerbeke等的先驱性工作之后,代数几何法在成功地解决了可积系统反散射方法的周期初值问题,发现了微分方程与代数几何未曾预料到的深刻联系,从而引起了这两个学科的交叉发展,进一步巩固了可积系统在微分方程研究中的作用和地位.在可积系统理论中产生了许多新的结果,例如,20世纪80年代,Mumford发现KdV、KP、sine-Gordon等可积系统的解隐含在Riemanntheta的特殊公式——Fay三角正割公式中,从而提出了用Fay恒等式构造可积系统代数几何解的方法.基于Mumford方法,Klein用Fay恒等式和Rauch变分公式成功地构造Ernst方程的代数几何解.之后,Mumford的方法被Kalla用于研究Camassa-Holm方程.并且Kalla进一步将Fay恒等式推广成梯度形式,用于获得高维可积系统新的结果.20世纪90年代,基于谱分析和代数几何理论,美国数学家Gesztesy和挪威数学家Holden进一步发展了孤子方程族的代数几何解理论,采用一种有效的多项式递推方法,成功地将代数几何解从单个方程扩展到方程族,解决了整个方程族中所有方程代数几何解的构造.近年来,基于Deift,Its,Zhou的工作,RH方法被进一步发展,用于构造可积系统的代数几何解[49,50].代数几何解方面更多的工作可见文献.
3.高维系统——和非局部RH方法
1974年,为寻找新的可积系统和更广泛的精确解,Zakharov,Shabat发展了穿衣法,主要思想是将直线上积分算子分解为两个线性Volterra积分算子的乘积.一般地,穿衣(dressing)意指从一个系统的简单状态(bare,seed)到高级状态(dressed)变换的构造过程,两种状态之间的联系称为穿衣变换.特殊情况下,穿衣变换是一种纯代数构造,如方程解之间的Backlund变换,或者线性问题作用在解空间上的Darboux变换都属于穿衣变换.实际上,穿衣概念远比孤子自身应用广泛,如量子场理论、物理中的群论和代数方法也使用穿衣概念.1981年,作为对RH问题的推广,Beals、Coifman提出一种吸收ˉ.问题的更强有力的穿衣法,将求解微分方程初值问题转化为特定复区域上的ˉ.问题.作为RH问题的重要进展,Manakov进一步提出了非局部RH问题,由此解决了Kadomtsev-PetviashiliI(KPI)方程初值问题的反散射变换.非局部RH问题是解决2+1维方程和1+1维积微分方程的一个自然框架,在Davey-StewartsonI(DSI)和Benjiman-Ono等方程初值问题求解中也起重要作用.但与KPI,DSI相比,KPII和DSII的*大不同在于特征函数关于谱参数在复平面上有界但处处不解析,妨碍了用RH方法或者非局部RH问题求解.Ablowitz和Fokas首次应用ˉ.穿衣法解决了KPII和DSII的反散射问题,表明求解非线性方程的非局部衣法有两个版本,一个是利用Zakharov,Shabat提出的线性Volterra积分,另一个是Beals,Coifman和Manakov提出的复平面上的问题.穿衣法更多
展开