MiniIB一个计算线性微分系统最小对合基Maple软件包.pdfVIP

_______________________________________________________________________________ MiniIB: A Maple package for computing a minimal involutive basis of linear differential system Shan-Qing Zhang1)2) , Zhi-Bin Li1) 1) Department of Computer Science, East China Normal University, Shanghai, China, 200062 2) Software School, Hangzhou University of Electronic Science and Technology , Hangzhou, China, 310018 Abstract: A Maple package MiniIB is described, which is an implementation of the algorithm presented by Gerdt for the construction of minimal involutive bases for linear differential ideals. As a straightforward application, the minimal involutive bases of the determining system of classical Lie symmetry for some partial differential equation(s) are computed with package MiniIB. Keywords: Involutive division, Involutive bases, Partial differential equations, Sym- metry. 1. INTRODUCTION A new concept of involutive division [1] was presented, which forms the foundation of algo- rithms [1][3] for the construction of involutive bases. Involutive bases are Gr¨obner bases [4] , but generally redundant. An involutive form of a system of partial differential equations(PDEs) is very important, incorporating all integrability conditions into the system [5][6] . Involutive division bases on the idea of separation of variable into multiplicative and non- multiplicative, which goes back to classical papers of Janet [5] , Thomas[7] and [6] . These classical separations allow one to generate the integrability conditions by means of multiplicative reductions of nonmultiplicative prolongations. More recently, Gerdt and Blinkov [1] extracted the common properti