有限维Lie代数Killing型算法及其在偏微分方程对称性质判定中的应用

给出有限维Lie代数Killing型的计算方法和机械化实现,本算法适合于任意有限维Lie代数,适用于非线性偏微分方程对称性的判断和应用.以此算法为基础,给出了1+2维标准双曲和抛物方程拥有Lie代数性质的判定,得到该两个经典方程的Lie代数结构及相关性质.给出了1+2维抛物方程Lie代数的优化系统,为从代数角度研究偏微分方程问题提供了可借鉴的结果.     

建立有限维Lie代数的一类方法及其应用

通过建立一个有限维Lie代数给出生成Lie代数的一类方法.利用其相应的loop代数建立等谱Lax对问题,由该问题的相容性条件导出了一个孤立子方程族.利用二次型恒等式得到了该方程族的Hamilton结构.     

一类无限维Lie代数的不可约模

研究无限维Lie代数的结构和表示是Lie代数的主要课题,无限维Lie代数的不可约模是具体的一类表示.采用构造法给出了一类无限维Lie代数G的忠实模,同时给出此模为不可约模的一个充要条件,然后用反证法与基元素检验法证明该结果.此结果对研究无限维Lie代数的性质与表示有一定意义.     

B类Kadomtsev-Petviashvili非线性系统的弦方程和Virasoro约束

主要研究B类Kadomtsev-Petviashvili(BKP)非线性系统的弦方程以及弦方程加在该系统τ函数上的约束所形成的Lie代数.首先，通过对现有文献分析，发现BKP系统弦方程的定义会产生数学上的矛盾，因此在现有文献的基础上重新优化了BKP系统弦方程的定义.然后从此定义出发重新计算了弦方程的附加对称算子表达式，进一步算出弦方程约束在BKP系统波函数和τ函数上的表达式.由于p约化的约束需要去掉冗余变量，因此给出了弦方程加在p约化BKP系统的τ函数上所生成的无冗余变量的约束算子.最后，通过复杂的计算，低阶弦方程无冗余约束算子恰好能形成一个被广泛研究的经典无穷维Lie代数，即非负的Virasoro代数和W代数.其展现了BKP系统良好的代数结构，与现有经典结果相容.     

一个新的Lie代数及其应用

对已知Lie代数An.1推广得到一类新的Lie代数，由其相应的Loop代数及屠格式，获得一类新的可积Hamilton方程族。建立一个5维的loop代数，由可积耦合定义，得到所求方程族的一类扩展可积模型。     

耗散量子Zakharov方程的对称约化和守恒律

基于Lie对称分析,利用耦合非线性耗散量子Zakharov方程一维子Lie代数的优化系统完成其相似约化.此外,借助直接(乘子)方法也构造出耗散量子Zakharov方程的守恒律.     

一类链条件Lie代数的结构

有限维完备Lie代数的结构(分解唯一性)及链条件Lie代数的结构是很清楚的。本文将这些定理及所用方法推广到中心是零的链条件Lie代数(维数不一定有限)的情形,使这一类Lie代数的结构更加完美。     

一类Lie代数g（A）的根系

本文给出了一类Lie代数g(A)的实根、虚根和半虚根的定义.在此基础上,对这类Lie代数的根系进行了刻划,并得到了根基的共轭定理.     

具正规化子条件的Lie代数

给出具正规化子条件的Lie代数及Lie代数的次理想两个概念,讨论了它们的一些性质及其相互关系,证明了特征数零域F上有限维Lie代数为具正规化子条件的Lie代数当且仅当它是幂零的。     

广义几何Lie代数及其研究

为了探究Lie代数的一般拓展意义,构造了一般广义几何Lie括号与广义几何Lie代数,使得Lie代数是其一种特殊情况;然后讨论了它们的相关性质,证明了流形上向量场在广义几何Lie括号下的微分同胚,改进了Lie括号给出的结果.     

多分量loop代数及其应用

利用Lie代数A1 的两个子代数间的换位关系,通过线性同构映射,构造了两个相应的多分量Lie代数.根据Lie代数的分次,它们的loop代数的构造方法有多种.本文构造了其中的一类loop代数.作为第一个loop代数应用,得到了AKNS方程族的扩展可积模型.对于第二个loop代数的应用,我们将另文讨论.本文提供的方法可以普遍地应用.     

变系数二维边界层系统的对称分类

对含任意参数(函数)的微分方程进行对称群分类是经典Lie对称理论在微分方程中的主要应用之一,而获得分类方程、求解确定方程组是进行有效对称分类的关键.给出含两个任意函数的二维边界层系统的经典Lie对称分类,并构造了其不变解.     

Lie群上的最速下降算法

通过对Lie群及其Lie代数的基本性质及特殊结构的分析,提出了求解一般Lie群上优化问题的最速下降算法,并对算法的收敛性作了一定的分析.得到了该算法全局收敛的两个充分条件,并在一般框架下证明了该算法至少线性收敛.通过上Riemann质心的计算问题,证明该算法可行有效.     

一类无限维Cartan型Lie代数的Witt子代数与模

主要讨论了与Witt代数相关的一类无限维Cartan型Lie代数G的结构,同时通过构造法给出它的一类Witt子代数与一类模。     

时间尺度上奇异Chetaev型非完整力学系统的Lie对称性

研究了时间尺度上奇异Chetaev型非完整力学系统的Lie对称性与守恒量问题.首先,建立了系统的运动微分方程.其次,基于时间尺度上微分方程在无限小变换下的不变性,给出了时间尺度上奇异Chetaev型非完整系统Lie对称性的确定方程和限制方程.最后,建立时间尺度上奇异Chetaev型非完整系统Lie对称性的结构方程,给出了Lie对称性的守恒量,并举例说明结果的应用.     

有关Nijenhuis算子和形变Lie括号的几个充要条件

给出了Lie代数下上的线性变换成为Nijenhuis算子的充要条件 ,Lie代数g上的线性变换N所诱导的C∞(g )上的线性变换N′成为Lie代数 (C∞(g ) ,μ′={ ,} μ) (μ′为g的Lie括号 μ所决定的g 上的Lie Poisson结构 )上的Nijenhuis算子的充要条件 ,形变Lie括号仍为Lie括号的充要条件 .     

变质量单面完整约束系统的Lie对称性与守恒量

研究变质量单面完整约束系统的Lie 对称性与守恒量. 首先利用微分方程在无限小群变换下的不变性建立了系统的Lie 对称性的确定方程,给出了结构方程和守恒量;其次研究了系统的Lie 对称性逆问题;最后举例说明结果的应用.     

N=1超对称修正KdV方程的相互作用波解

通过一般玻色化方法把N=1超对称修正KdV系统转化成耦合玻色化系统,其分量场定义在无穷维偶Grassmann代数Ge上.通过相容tanh函数展开法得到了系统的相互作用波解,给出了孤子与椭圆余弦波的相互作用的图像表示.     

含阻尼项广义Boussinesq方程的李对称分析、优化系统、精确解和守恒律

利用李对称分析方法研究了含阻尼项广义Boussinesq方程,并得到了该方程的李代数和优化系统.继而利用得到的优化系统得到了该方程的相似约和精确解.利用幂级数法得到了该方程的幂级数解,最后给出该方程的无穷维守恒律.     

一类Lie代数所决定的Lie-Poisson结构的秩的计算

若实Lie代数（g,[,])是其子代数g1，…gn的直和，各gi是有限维的。本文利用gi的结构常数给出了g决定的g^*上的Lie-Poisson结构的秩的计算方法，最后，我们给出用该计算方法计算秩的几个实例。