基于吴方法的确定微分方程对称Lie代数结构常数机械化算法

基于吴方法的确定微分方程对称Lie代数结构常数机械化算法

论文摘要

本文基于微分形式吴方法理论及算法给出无需确定对称Lie代数本身而事先构造其同构像(具有同结构常数的Lie代数)的机械化算法.该算法有效提高构造(偏)微分方程(组)对称Lie代数的效率,并可应用于对称Lie代数各类性质的机械化分析和判定.最后给出算例验证算法的有效性.

论文目录

文章来源

类型: 期刊论文

作者: 特木尔朝鲁,魏康康,姚裕丰,苏道

关键词: 微分形式吴方法,偏微分方程,对称代数,确定方程组,机械化算法

来源: 中国科学:数学 2019年05期

年度: 2019

分类: 基础科学

专业: 数学

单位: 上海海事大学文理学院,内蒙古工业大学理学院

基金: 国家自然科学基金(批准号:11571008,11771279和11661060)资助项目

分类号: O175;O152.5

页码: 751-764

总页数: 14

文件大小: 367K

下载量: 73

相关论文文献

  • [1].基于混合Lie算子辛算法的不变流形计算[J]. 力学学报 2017(05)
  • [2].3-Lie代数的次理想[J]. 数学年刊A辑(中文版) 2011(06)
  • [3].离散非保守系统的Lie对称性[J]. 巢湖学院学报 2008(06)
  • [4].B(X)上ξ-Lie导子的一个刻画[J]. 山东大学学报(理学版) 2013(08)
  • [5].利用Lie对称约化非线性发展方程[J]. 内蒙古民族大学学报(自然科学版) 2009(04)
  • [6].σ-半素拟环Lie理想上的导子的研究[J]. 绵阳师范学院学报 2020(02)
  • [7].三角代数上的交换零点ξ-Lie高阶可导映射[J]. 数学的实践与认识 2019(21)
  • [8].非完整力学系统的Lie对称性直接导致的一种守恒量[J]. 兵工学报 2012(11)
  • [9].B(X)上的广义-ξLie导子[J]. 西安工程大学学报 2011(02)
  • [10].4维3-Lie代数的导子代数[J]. 河北大学学报(自然科学版) 2008(03)
  • [11].三角代数上的交换零点ξ-Lie可导映射[J]. 数学的实践与认识 2017(07)
  • [12].平凡扩张代数上的ξ-Lie导子[J]. 河北北方学院学报(自然科学版) 2015(06)
  • [13].素的?-代数上的非线性混合Lie三重ξ-导子[J]. 数学杂志 2020(01)
  • [14].半素拟环Lie理想上的导子的研究[J]. 太原师范学院学报(自然科学版) 2020(01)
  • [15].子空间格代数上的ξ-Lie导子[J]. 南阳师范学院学报 2015(06)
  • [16].平凡扩张代数上的Lie-导子和可交换映射[J]. 西北师范大学学报(自然科学版) 2015(01)
  • [17].建筑几何造型中的Lie群Lie代数方法[J]. 土木建筑工程信息技术 2014(01)
  • [18].Lie理想上广义导子的一个结果[J]. 通化师范学院学报 2015(06)
  • [19].时间尺度上非完整系统相对于非惯性系的Lie对称性[J]. 华中师范大学学报(自然科学版) 2020(03)
  • [20].利用单参数Lie群组的一种可解性求自治系统首次积分的方法[J]. 应用数学学报 2013(04)
  • [21].函数变换下的Lie括号及其研究[J]. 南阳师范学院学报 2019(03)
  • [22].用两个单参数Lie群求三阶自治系统的积分因子[J]. 应用数学学报 2011(01)
  • [23].准坐标下完整力学系统Lie对称性的共形不变性与守恒量[J]. 江西科学 2013(01)
  • [24].套代数上的Lie导子的特征[J]. 青岛大学学报(自然科学版) 2010(04)
  • [25].高阶HBK方程组的Lie对称分析,非线性自伴随和守恒律[J]. 西北大学学报(自然科学版) 2017(04)
  • [26].时间尺度上相空间中非完整系统相对运动动力学的Lie对称性[J]. 云南大学学报(自然科学版) 2020(03)
  • [27].M_2(R)上的非线性Lie导子[J]. 数学的实践与认识 2014(19)
  • [28].Lagrange系统的Lie对称性与动力学逆问题[J]. 商丘师范学院学报 2013(03)
  • [29].广义Birkhoff系统Lie对称性的摄动与绝热不变量[J]. 科技通报 2011(03)
  • [30].事件空间中变质量非完整系统的Lie对称性与守恒量[J]. 山西师范大学学报(自然科学版) 2011(03)

标签:;  ;  ;  ;  ;  

基于吴方法的确定微分方程对称Lie代数结构常数机械化算法
下载Doc文档

猜你喜欢