广义特征集与多变量微分维数多项式

引进一种新的微分多项式约化方法,进而推广了Ritt-Kolchin的特征集方法。利用这些新的技术,给出了计算微分扩张的多元维数多项式的计算方法;利用维数多项式,获得了几个新的关于微分域有限扩张的双有理不变量,这些不变量将在代数几何与微分代数理论中发挥重要作用。     

线性微分理想的维数

微分理想的维数是微分代数中一个重要的概念，利用Hilbert多项式来计算微分理想的维数，计算量较大。本文通过吴微分特征列算法和偏微分方程的形式解理论，给出了线性微分理想的维数多项式、维数的定义和算法，且算法容易实现。     

工程和科学中出现的多项式系的数值解

本书主题是多复变量多项式系的数值解法。由于代数几何及计算机技术的发展，从上世纪80年代以来，多复变量多项式系的数值解法已由求弧立解发展到求正维数解集，成为数值代数几何这门新兴学科的重要组成部分。本书系统全面地总结了所取得的成果，是多项式系数值解的代数几何方法、特别是正维数解集研究方面第一本专著。     

两类Heisenberg李超代数的标准上同调

利用微分复形计算4维偶中心与3维奇中心Heisenberg李超代数系数取自于1维平凡模的标准上同调.首先,计算这两类Heisenberg李超代数的微分算子;其次,计算这两类Heisenberg李超代数系数取自于1维平凡模的标准上同调.并给出这两类代数标准上同调的基底和维数.     

二维离散系统稳定性的复系数列表检验法

提出了新的二维离散系统的稳定性检验定理。与现有的二维离散系统的代数检验法不同，本方法是直接对复变量系数列表，然后利用提出的检验定理进行稳定性检验，不需要在整个ｘ∈［－１，１］的实数域进行逐点检验，并且无有理多项式出现，因而检验过程大为简化，计算量大为减少，只须进行有限次运算，即可确定二维离散系统的稳定性。     

两类代数的整体维数

同调代数作为研究代数问题的有力工具,在代数领域中有重要的地位,而同调维数(即投射维数,内射维数与整体维数)是最为重要的同调不变量之一。本文主要计算两类k-代数的整体维数,揭示出代数的关系与代数的整体维数之间的内在联系。     

无穷维Hamilton系统的反问题

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

西尔维斯特与代数不变量理论

文中利用文献研读与历史分析法,系统研究和探讨了西尔维斯特(James Joseph Sylvester,1814—1897)创立代数不变量理论的相关思想及其贡献:西尔维斯特建立了代数不变量理论的学科语言;发明了计算不变量的一般方法——复合换位法;引进微分算子,建立了不变量零化子理论;尝试利用施图姆函数的合冲关系解决不变量的合冲问题;证明了凯莱定理。西尔维斯特的工作奠定了代数不变量的理论基础,反映了19世纪英国不变量理论研究的主要轨迹及特点。     

关于PBW型代数及其上的模的Gelfand-Krillov维数的计算方法

在本文我们研究PBW型代数及其上模的Gelfand-Krillov维数的计算方法。为此,我们首先给出计算PBW型代数及其上模的Gelfand-Krillov维数的计算方法。然后,给出利用此种方法来计算一个具体PBW型代数及其上一个模的Gelfand-Krillov维数。最后,利用HilbertSamule polynomial计算方法检验计算结果的正确性。     

度量李代数的扩张

3-李代数在数学及数学物理的很多领域有着广泛的应用,利用李代数实现3-李代数,一直是人们关注的问题,文章主要研究利用度量李代数的维数扩张实现3-李代数.利用m-维度量李代数V及V上的线性函数f,分别做V的一维扩张与二维扩张,构造了(m+1)-维3-李代数与(m+2)-维3-李代数,并研究了3-李代数的度量结构.     

多体系统力学微分／代数方程组的一类紧凑算法

本文提出了多体系统动力学微分／代数混合方程组的一类紧凑算法．首先把参数ｔ并入广义坐标讨论，简化了方程组及其隐含约束条件的结构；然后根据简化后的方程组的特殊结构，引入一类局部离散方法．这一算法结构简单，易于编程，具有较高的计算效率和良好的数值性态，且其形式适合于各种数值积分方法的实施．     

钢模台车模板变截面梁的变形计算

在工程设计中，经常需要计算复杂截面梁的变形．由于变截面梁在受到复杂载荷作用时，其微分方程数学描述复杂，推导和计算困难．有限差分法采用一组以挠度为未知量的代数方程，近似地代替挠曲线的微分方程，通过解这一组代数方程即可求得挠曲线上某点的挠度．     

11-Round impossible differential algebraic attack for serpent encryption algorithm

This paper explored algebraic features of nonlinear parts in Serpent encryption algorithm and offered an 11-round Serpent-128 impossible differential algebraic attack through utilizing the method in constructing S-box algebraic equations. The new method analyzed block 11-round Serpent with 2¹²⁷ selected plaintexts and 2¹²⁹ bytes memory space at the same time of giving a new design principle of S-box anti-algebraic attack.     

一类常微分方程的初等解析解

从几何实例引入了一类新的常微分方程 ,运用初等代数的方法证明了这类微分方程是具有初等解析解的 ,并引入了特征方程的概念 ,给出了通解的代数表达式 ,从而扩大了常微分方程封闭可解的范围     

改进的截断展开法及其在变系数非线性方程中的应用

本文对截断展开法进行了改进.首先,通过行波变换,将偏微分方程(PDE)转化为常微分方程(ODE).然后,在截断展开中,采用了非线性Riccati方程F′=p qF rF2将复杂的变系数非线性方程转变为一组超定代数方程组.再利用计算软件mathematic求解出代数方程组.从而得到变系数非线性演化方程的精确解.我们将这种方法应用于第一类变系数KdV方程和广义变系数KdV方程,得到了一系列精确解,其中包括一组Weierstrass椭圆函数解.这组解可以表示成Jacobi椭圆函数解,在模数m→1或m→0时这组解又可以分别退化为双曲函数解和三角函数解.     

一类平面微分方程极限环的计算

应用摄动－增量法研究一类平面多项式微分方程的极限环相图,半稳定极限环分叉和极限环个数的计算问题,该方法的特点是用有限Ｆｏｕｒｉｅｒ级数给出极限环的挖解析表达式,把微分方程化为线性增量方程,应用谐波平衡法建立Ｆｏｕｒｉｅｒ系数的线性代数方程组,再用迭代法求解。二次系统的算例表明该方法是有效的。     

非简谐振子的激光激发

应用李代数方法讨论了非简谐振子激光激发的统计性质。有关算符的统计平均值随时间的演化满足一个封闭的一阶线性微分方程组。得到一组力学量的解析解,显示出激光激发与激光频率及强度的关系。     

mKdV 方程的有理精确解

基于新的辅助方程系统,提出了一种构造偏微分方程精确解的代数方法.选择 mKdV方程验证了算法的有效性,获得了丰富的新有理孤波解和周期解.该方法可用于获得其他的偏微分方程的精确解.     

用两项谐波法求解强非线性Duffing方程

提出了一类强非线性动力系统的两项谐波法。采用Ritz-Galerkin法,将描述动力系统的二阶常微分方程化为以频率、振幅为变量的非线性代数方程组;考虑初始条件补充约束方程,构成频率、振幅为变量的封闭非线性代数方程组。利用Maple程序可以方便地求解。分析了三种标准类型的Duffing方程,实例表明,两项谐波法方法简单,具有较高的精度。两项谐波法将谐波平衡法与等效线性化方法相结合,克服了二者的缺点吸取了二者的优点,取较少的谐波数目就可以达到比较高的精度。     

某些非线性发展方程新的精确解(英文)

利用新的辅助微分方程,描述了一个构造数学物理中非线性发展偏微分方程精确解的直接代数方法.借助这种方法,考察了某些具有重要应用背景的非线性发展偏微分方程,并且获得了丰富的新的精确行波解.所得结果推广了先前文献的结果.