| 判定线性偏微分方程组解的完备性的一个符号计算方法 |
| |
| 引用本文： | 张鸿庆,谢福鼎,陆斌.判定线性偏微分方程组解的完备性的一个符号计算方法[J].应用数学和力学,2002,23(10):1008-1012. |
| |
| 作者姓名： | 张鸿庆 谢福鼎 陆斌 |
| |
| 作者单位： | 大连理工大学,应用数学系,大连,116024 |
| |
| 基金项目： | 国家 973资助项目 (G19980 30 6 0 0 )，国家自然科学基金资助项目 (10 0 72 0 13) |
| |
| 摘 要： | 从微分代数的角度出发，借助于吴微分特征集理论，对于线性偏微分方程组，给出了判定它的解的完备性的一个符号计算方法。这个算法是一个机械化的算法，借助于符号计算软件Maple，可以在计算机上实现。
|
| 关 键 词： | 解 完备性 微分代数 偏微分方程组 符号计算 特征集 |
| 文章编号： | 1000-0887(2002)10-1008-05 |
| 修稿时间： | 2001年6月16日 |
A Symbolic Computation Method to Decide the Completeness of the Solutions to the System of Linear Partial Differential Equations |
| |
| ZHANG Hong_qing,XIE Fu_ding,LU Bin.A Symbolic Computation Method to Decide the Completeness of the Solutions to the System of Linear Partial Differential Equations[J].Applied Mathematics and Mechanics,2002,23(10):1008-1012. |
| |
| Authors: | ZHANG Hong_qing XIE Fu_ding LU Bin |
| |
| Abstract: | 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. |
| |
| Keywords: | differential algebra system of partial differential equation symbolic computation characteristic set |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
