判定线性偏微分方程组解的完备性的一个符号计算方法  

A Symbolic Computation Method to Decide the Completeness of the Solutions to the System of Linear Partial Differential Equations

作　　者：张鸿庆[1] 谢福鼎[1] 陆斌[1] 

机构地区：[1]大连理工大学应用数学系,大连116024

出　　处：《应用数学和力学》2002年第10期1008-1012,共5页Applied Mathematics and Mechanics

基　　金：国家 973资助项目 (G19980 30 6 0 0 ) ;国家自然科学基金资助项目 (10 0 72 0 13)

摘　　要：从微分代数的角度出发 ,借助于吴微分特征集理论 ,对于线性偏微分方程组 ,给出了判定它的解的完备性的一个符号计算方法·　这个算法是一个机械化的算法 ,借助于符号计算软件Maple 。A symbolic computation method to decide whether the solutions to the system of linear partial differential equation is complete via using differential algebra and characteristic set is presented.This is a mechanization method,and it can be carried out on the computer in the Maple environment.

关 键 词：解 完备性 微分代数 偏微分方程组 符号计算 特征集 

分 类 号：O175.2[理学—数学] O155[理学—基础数学]