耦合的Burger‘s方程族与一个新的Hamilton可积系

孤子方程族Ｌａｘ对的非线性化的发展，使得许多非线性方程的解转化为完全可积的Ｈａｍｉｌｔｏｎｉａｎ系统的对合解＾［１￣１０］，并由此得到了许多在Ｌｉｏｕｖｉｌｌｅ意义下的新的完全可积系＾［２￣１４］。采用新的约束方法，考虑特征值问题与伴随特征值问题得到了一个完全可积的Ｈａｍｉｌｔｏｎｉａｎ系统，并由此得到相关的发展方程族解的对合表示。     

与一个多项式特征值问题相联系的完全可积系统

在位势函数和特征函数的约束下，二阶特征值问题ψｒｒ＋∑ｕｉＸψ＝αψ被非线性化为一个Ｌｏｕｖｉｌｌｅ意义下的完全可积系统，该特征值问题的Ｌａｘ对的时间部分的非线性化给出了其对合系统．     

一个新的发展方程族及可积系

利用Lax对非线性化方法,讨论二阶矩阵特征值问题.利用位势函数与特征函数之间的Bargmann约束,将二阶矩阵特征值问题非线性化,获得一个新的有限维Hamilton系统和发展方程族解的对合表示.     

混合的非线性Schrodinger方程和一个复形式的完全可积的系统

探讨了混合的非线性Ｓｃｈｒｏｄｉｎｇｅｒ方程新的Ｌａｘ对，并给出相应的复形式的Ｌｉｏｕｖｉｌｌｅ完全可积系统。进一步将混合的非线性Ｓｃｈｒｏｄｉｎｇｅｒ方程的解优为Ｈａｍｉｌｔｏｎａｉａｎ方程的解。     

与四阶矩阵特征问题相关的约束流与完全可积系统

主要讨论与四阶矩阵特征值问题相联系的孤子方程及其Lax上,利用位势函数与特征函数之间的Bargmann约束,将四阶特征值问题及相应的伴随特征值问题非线性化,获得新的有限维Hamilton系统,并应用r-矩阵理论证明了新的有限维Hamilton系统在Liouville意义下的完全可积性。最后借助于在Liouville意义下完全可积Hamilton系统的对合解得到孤子方程族解的对合表示。     

Mkdv方程与对策约束

利用特征值问题得到了Ｍｋｄｖ方程的Ｌａｘ表示,并利用对称约束得到了一个新的可积系,讨论了可积系与特征问题之间的联系,进一步得到了Ｍｋｄｖ方程解的一种表示。     

能量依赖速度的二阶谱问题及其完全可积系

讨论了与能量依赖速度的二阶特征值问题相联系的有限维系统的可积性,利用位势函数与特征函数之间的Bargmann约束,将Lax对非线性化,得到新的有限维Hamilton正则系统,最后借助于Ligouville意义下的完全可积系的对合解得到发展方程族的对合表示.     

微分方程中一些新的可积类型

一般的Ｒｉｃｃａｔｉ方程和二阶变系数方程是不可积的，本文主要利用构造微分方程线性算子，得到了微分方程的算子矩阵，从这个算子矩阵列向量的线性相关性，得到了Ｒｉｃｃａｔｉ方程和二阶变系数方程的一些新的可积类型，并举例说明以往一些文献中收集的相应部分的可积方程几乎全是本文的特例。     

Broer—Kaup系统高阶约束流与Lagrangina—Hamilton系统

讨论了与Ｂｒｏｅｒ－Ｋａｕｐ方程相联系的高阶约束流,利用高阶主,得到方程族Ｌａｘ表示的时间部分与空间部分都具有一种伴随形式表示,并由此得到了高阶约束流与Ｌａｇｒａｎｇｉｎａ－Ｈａｍｉｌｔｏｎ系统之间的联系。     

Mkdv方程族的约束流与r-矩阵

利用矩阵特征值问题得到了Ｍｋｄｖ方程族的Ｌａｘ表示,对于Ｍｋｄｖ方程和约束流建立了ｒ－矩阵和经典的Ｐｏｉｓｓｏｎ结构,并由此得到了与Ｍｋｄｖ方程相联系的完全可积系。     

特征值问题的对称约束

利用对称约束，得到了一个与谱问题（＾ｙ１ ｙ２）ｚ＝（＾－λ＋ｖ ｕ＋ｖ ｕ－ｖλ－ｖ）（＾ｙ１ ｙ２）相联系的安全可积Ｈａｍｉｌｔｏｎｉａｎ系统，进一步讨论与相关的发展方程族的解．     

与广义KdV方程族相关的谱问题及其完全可积性

通过Lax方程获得了与二阶谱问题相联系的广义KdV方程族.利用位势函数与特征函数之间的Bargmann约束,将Lax对非线性化.由合适的Jacobi-Ostrogradsky坐标,得到一个新的有限维Hamilton正则系统,并证明其是完全可积系统.最后得到发展方程族的对合表示.     

基于Mathematica的特殊阿贝尔方程的可积性及其判定

对形如y^1=f3（x）y^3＋f2（x）y^2＋f1（x）y的特殊阿贝尔方程的精确解，一般是不能通过对方程的系数进行有限次的代数运算及有限次的微积分运算求得的，利用变换群的思想，通过具体的分式线性变换，给出了一种新的积分方法，得到了两组新的判定上述特殊阿贝尔方程可积的充分条件，利用数学软件mathematica，实现了计算机对该类方程可积性的自动判定与精确求解。     

复域上阿贝尔方程可积条件初步

判定微分方程是否可积或求其精确解是微分方程理论中最重要和最基本的问题之一.利用变换群的理论方法,将复域上的阿贝尔方程转化为可分离变量方程或Bernoulli方程,进而得到了一组较为适用的判定条件.     

复域上阿贝尔方程可积条件初步

判定微分方程是否可积或求其精确解是微分方程理论中最重要和最基本的问题之一。利用变换群的理论方法,将复域上的阿贝尔方程转化为可分离变量方程或Bernoulli方程,进而得到了一组较为适用的判定条件。     

基于Mathematica的特殊阿贝尔方程的可积性及其判定

对形如y'=f3(x)y3+f2(x)y2+f1(x)y的特殊阿贝尔方程的精确解,一般是不能通过对方程的系数进行有限次的代数运算及有限次的微积分运算求得的.利用变换群的思想,通过具体的分式线性变换,给出了一种新的积分方法,得到了两组新的判定上述特殊阿贝尔方程可积的充分条件,利用数学软件mathematica,实现了计算机对该类方程可积性的自动判定与精确求解.     

无穷维谱不变可积发展方程在有限维不变子流形上的约化--谱不变发展方程的周期解

利用广义Ｌｅｇｅｎｄｒｇｅ变换,证明了无穷维的可积方程ｕｔｍ＝ＪδＨｍ／δｕ可约化为在一个不变子流形Ｓ上不限维可积的Ｈａｍｉｌｒｏｎｉａｎ系统,即证明了在非奇异条件下ＦＬａｓｃｈｋａ＾「１」和Ａｄｌｏｗｉｒｚ所提出的无穷维可积系统的约化原理,从而求得了方程ｕｒｍ＝ＪδＨｍ／δｕ（ｍ＝０,１,２,…）的周斯或拟周期解,这一结果将Ｐ．Ｄ．Ｌ＾「２,３」、Ｎｏｖｉｋｏｖ＾「４」的关于Ｋｄｖ方程和周斯或拟     

子矩阵约束下AXB=C的双对称迭代解

构造了求解子矩阵约束下AXB=C的双对称解的迭代解法,利用残量正交的性质证明了算法的有限终止性,并进一步研究了求解子矩阵约束下矩阵方程问题的最佳逼近解,最后,给出了能够体现算法有效性的数值实例.