一类三波作用模型的不变代数曲面、 Hamilton结构及无穷远动力学行为

首先利用代数几何中的消除理论给出一类三波作用模型存在不变代数曲面的充分条件; 其次, 构造出该系统无穷多个Hamilton-Poisson结构, 即该系统是双Hamilton的; 最后, 利用R³中的Poincaré紧致化技巧完整刻画该系统在无穷远处的动力学行为.     

无穷维Hamilton系统的反问题

利用矩阵多元多项式的带余除法以及微分代数的观点得到把一类偏微分方程化为无穷维Ｈａｍｉｌｔｏｎ系统的充要条件及其具体无穷维Ｈａｍｉｌｔｏｎ系统形式 。     

效应代数的水平和与序列积的惟一性

目的给出效应代数水平和的合理定义及研究效应代数上序列积的惟一性。方法利用效应代数、序列效应代数的定义及算子分解的方法。结果在水平和HS(ε(H),[0,1])上存在无穷多个序列积。结论一个效应代数可以具有无穷多个序列积;作为特殊的效应代数-正交代数,能够分解为一些子效应代数的水平和。     

一个在无穷远点分支出6个极限环的三次多项式系统

研究了一类三次系统无穷远点的极限环分支问题.对一类三次系统给出了计算无穷远点奇点量的递推公式,并在计算机上用计算机代数系统Mathematica推导出该系统无穷远点的前6个奇点量,进而导出了无穷远点成为中心和最高阶细焦点的条件,在此基础上得到了一个三次系统在无穷远点分支出6个极限环的实例,指出了极限环的精确位置.     

一类耦合系统的共振经典解

考虑了一个基尔霍夫型问题的弱耦合系统,利用代数分析的方法获得无穷多共振经典解的存在性。特别地,当系统中的参数满足不同条件时,单个弱耦合的函数分别对应了1个、2个或3个线性相关的经典解。     

一类耦合系统的无穷多共振解

[目的]考虑含有线性项的基尔霍夫型耦合系统无穷多解的存在性.[方法]利用本征值问题相关理论和代数分析方法进行求解.[结果]获得无穷多经典解,在实际应用中它们表现出共振形态.[结论]每一个扰动函数至少对应一个共振解,系统中的参数满足不同条件时分别有1族、2族或3族解,并且通过实例验证了结果的可靠性.     

主手征场方程的对称及其构成的李代数

利用主手征场方程的Lax 对及无穷小意义下的“穿衣服”方法,得到了主手征场方程的无穷多串对称,并且证明了它们构成一圈代数以及某一与Virasors 代数类似的无穷维李代数.     

A Class of Infinite Dimensional Hamilton Operators with Finite Algebra Ascent

讨论了一类无穷维Hamilton算子特征值的代数指标问题.利用线性算子法,找到一类特征值的代数指标为有限的无穷维Hamilton算子,并以二维弹性问题为例说明了结果的有效性.     

一类代数指标有限的无穷维Hamilton算子

讨论了一类无穷维Hamilton算子特征值的代数指标问题.利用线性算子法,找到一类特征值的代数指标为有限的无穷维Hamilton算子,并以二维弹性问题为例说明了结果的有效性.     

算子代数上Hermitian双线性泛函表示

在紧支集无穷次可微函数空间,或急速下降无穷次可微函数空间上,给出取值算子代数中的Ｈｅｒｍｉｔｉａｎ双线性泛函的表示,为算子代数上的广义函数提供有用的工具。     

一个李代数及其相应的可积哈密顿系统

在理论上如何构造更好的可积模型,特别是无穷维哈密顿系统是可积系统研究工作的主要内容之一。本文构造了一个李代数并由此生成相应的圈代数,从而建立了一个适当的等谱问题,利用屠格式得到了一族拉克斯意义下的可积系统,根据迹恒等式得到了这个非线性可积系统的哈密顿结构。     

一类3次多项式系统无穷远点的奇点量与中心条件

研究了一类三次多项式系统无穷远点的奇点量与中心条件,用一同胚变换将无穷远点转变成原点（初等奇点）,用计算机代数系统Mathematica计算了这个多项式系统无穷远点的前18个奇点量,并得到了无穷远点的中心条件和18阶细焦点的条件．     

单位圆内无穷级代数体函数的强 Borel 点

为了研究单位圆内无穷级代数体函数的强Borel点存在性问题,首先给出了单位圆内无穷级代数体函数的强Borel点及最大型Borel点的定义,通过建立的相关引理,进而证明得到了单位圆内无穷级代数体函数必存在强Borel点且其强Borel点必是其最大型Borel点及Borel点。
     

高阶椭圆方程的Lie对称及不变解

对2维高阶线性椭圆方程进行了Lie对称分析.给出该方程拥有的无穷维Lie代数及其核心7维子Lie代数的1阶优化系统;构造了该椭圆方程对应优化系统的约化及不变精确解.最后给出了Lie代数在该方程初边值问题求解上的应用.     

2＋1维两分量BKP系列方程的对称和代数结构

本文利用形式级数对称理论，研究了２＋１维两分量ＢＫＰ系列方程的对称和代数结构，证明了该方程存在无穷多的截断对称，并可用一个简单的公式表达，而且他们构成一个广义的Ｗ∞代数。     

R0-代数中的广义相对零化子

首先, 利用滤子的扩张方法在R₀-代数中引入相对零化子的概念, 并结合滤子的概念提出广义相对零化子的概念, 证明R₀-代数中广义相对零化子仍是滤子; 其次, 利用广义相对零化子刻画素滤子, 并讨论相对零化子与广义相对零化子的关系; 最后, 基于R₀-代数中的两个给定元, 给出一个以广义相对零化子为对象的满足并无穷分配律的完备剩余格结构.     

矩阵多项式的综合除法及其应用

给出矩阵多项式的综合除法,利用微分代数的观点,将其应用于一类常系数偏微分方程化为无穷维Hamilton系统的问题中.再结合标准型算法,将其应用于构造一类偏微分方程组通解的问题中.     

与KdV系统相关联的Lax代数

证明了与Schr(?)dinger 谱问题相关联的全体Lax 算子构成无穷维Lie 代数,并给出了其明确表示.由此可以得出有关KdV 系统的代数性质.     

关于无穷级代数体函数Borel点的一个结果

定义了单位圆内无穷级代数体函数的Borel点,将关于复平面上无穷级半纯函数的聚值线判定定理推广到了单位圆内的无穷级代数体函数.     

基于计算代数和图分解的几何约束求解技术

满足几何约束是参数化设计中的中心问题。在许多应用中 ,需要找到约束系统的全部解。基于计算代数的方法可以实现这个目的 ,但其弱点在于计算复杂。利用图分解和计算代数相结合的方法对约束系统进行求解。通过图分解 ,将一个约束系统分解成为许多子系统 ,利用吴方法等技术求出各子系统的解 ,将各子系统的解结合从而求出整个约束系统的全部解。该方法比单纯利用计算代数求解高效 ,并且不会改变约束系统的解集。实验结果表明 ,该方法可以有效地求解某些约束系统