论文信息 - Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions

Computer Algebra Algorithms and Routines for the Computation of Conservation Laws and Fixing of Gauge in Differential Expressions

In this paper we present three different approaches for the determination of conservation laws. For three correspondingREDUCEcomputer algebra programsCONLAW1/2/3the necessary subroutines are described. All three programs use subroutines which remove redundant functions and constants in the general solution of the conservation law conditions. The corresponding algorithm is explained. Such a program is not only applicable in the context of computing conservation laws but whenever redundancy in differential expressions is to be removed or gauge freedom to be fixed.

[1] A. Jamiołkowski. Book reviewApplications of Lie groups to differential equations : Peter J. Olver (School of Mathematics, University of Minnesota, Minneapolis, U.S.A): Graduate Texts in Mathematics, Springer-Verlag, New York, Berlin, Heidelberg, Tokyo, 1986, XXVI+497pp. , 1989 .

[2] Willy Hereman,et al. Symbolic Computation of Conserved Densities for Systems of Nonlinear Evolution Equations , 1997, J. Symb. Comput..

[3] Willy Hereman,et al. Complete integrability of a modified vector derivative nonlinear Schrödinger equation , 1994, solv-int/9407002.

[4] G. Bluman,et al. Direct Construction of Conservation Laws from Field Equations , 1997 .

[5] W. Hereman,et al. Computation of conserved densities for systems of nonlinear differential-difference equations1 , 1997, solv-int/9704016.

[6] Andreas Brand,et al. The Computer Algebra Package CRACK for Investigating PDEs , 1992 .

[7] Malcolm A. H. MacCallum,et al. An Ordinary Differential Equation Solver for Reduce , 1988, ISSAC.

[8] Published Elsewhere,et al. Published Elsewhere , 1983 .

[9] Thomas Wolf,et al. The Program CRACK for Solving PDEs in General Relativity , 1996 .