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