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

Article Contents

Article Navigation > Applied Mathematics and Mechanics > 2002 > 23(10): 1008-1012

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.

Citation:

PDF( 2012 KB)

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

Received Date: 2001-06-16
Rev Recd Date: 2002-04-09
Publish Date: 2002-10-15

Abstract

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

FullText(HTML)

References(8)

References

[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.