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

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名

邮箱

手机号码

标题

留言内容

验证码

基金项目: 国家973资助项目(G1998030600);国家自然科学基金资助项目(10072013)

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

Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, P R China

摘要: 从微分代数的角度出发,借助于吴微分特征集理论,对于线性偏微分方程组,给出了判定它的解的完备性的一个符号计算方法.这个算法是一个机械化的算法,借助于符号计算软件Maple,可以在计算机上实现.
- 微分代数 /
- 偏微分方程组 /
- 符号计算 /
- 特征集
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.
- differential algebra /
- system of partial differential equation /
- symbolic computation /
- characteristic set

[1]	张鸿庆. 弹性力学方程组一般解的统一理论[J]. 大连工学院学报,1978,18(3):23-47.
[2]	张鸿庆,王震宇. 胡海昌解的完备性和逼近性[J]. 科学通报,1985,30(5):342-344.
[3]	王敏中. 关于胡海昌解的完备性[J]. 应用数学和力学,1981,2(2):243-249.
[4]	Ritt J F. Differential Algebra[M]. New York:Dover Publication Inc,1950,57-140.
[5]	Kolchin E R. Differential Algebra and Algebraic Groups[M]. New York:Academic Press,1973,43-54.
[6]	WU Wen-tsun. On the foundation of algebraic differential geometry[R]. MM research preprints,1989,3:1-29.
[7]	Rosenfeld A. Specialization in differential algebra[J]. Trans Amer Math Soc,1959,90(2):394-407.
[8]	Boulier F,Lazard D,Ollivier F,et al. Representation for the radical of a finitely generated differential ideal[A]. In:Levelt A Ed. ISSAC'95[C]. Montrel,Canada:ACM Press,1995,158-166.