Symbolic computation of conservation laws of nonlinear partial differential equations on multi-dimensions

被引:79
作者
Hereman, W [1 ]
机构
[1] Colorado Sch Mines, Dept Math & Comp Sci, Golden, CO 80401 USA
关键词
homotopy operator; conservation laws; nonlinear PDE;
D O I
10.1002/qua.20727
中图分类号
O64 [物理化学(理论化学)、化学物理学];
学科分类号
070304 ; 081704 ;
摘要
A direct method for the computation of polynomial conservation laws of polynomial systems of nonlinear partial differential equations (PDEs) in multidimensions is presented. The method avoids advanced differential-geometric tools. Instead, it is solely based on calculus, variational calculus, and linear algebra. Densities are constructed as linear combinations of scaling homogeneous terms with undetermined coefficients. The variational derivative (Euler operator) is used to compute the undetermined coefficients. The homotopy operator is used to compute the fluxes. The method is illustrated with nonlinear PDEs describing wave phenomena in fluid dynamics, plasma physics, and quantum physics. For PDEs with parameters, the method determines the conditions on the parameters so that a sequence of conserved densities might exist. The existence of a large number of conservation laws is a predictor of complete integrability. The method is algorithmic, applicable to a variety of PDEs, and can be implemented in computer algebra systems such as Mathematica, Maple, and REDUCE. (c) 2005 Wiley Periodicals, Inc.
引用
收藏
页码:278 / 299
页数:22
相关论文
共 30 条
[1]  
Ablowitz M.J., 1991, SOLITONS NONLINEAR E
[2]  
Ablowitz MJ., 1981, SOLITONS INVERSE SCA, V4
[3]  
ADAMS PJ, 2003, THESIS COLORADO SCH
[4]   Conservation laws of scaling-invariant field equations [J].
Anco, SC .
JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 2003, 36 (32) :8623-8638
[5]   Direct construction method for conservation laws of partial differential equations - Part I: Examples of conservation law classifications [J].
Anco, SC ;
Bluman, G .
EUROPEAN JOURNAL OF APPLIED MATHEMATICS, 2002, 13 :545-566
[6]  
ANDERSON IM, 2004, VARIATIONAL BIOCOMPL
[7]  
ANDERSON IM, 2004, VESSIOT PACKAGE
[8]   Symbolic calculation in chemistry: Selected examples [J].
Barnett, MP ;
Capitani, JF ;
von zur Gathen, J ;
Gerhard, J .
INTERNATIONAL JOURNAL OF QUANTUM CHEMISTRY, 2004, 100 (02) :80-104
[9]   Vector calculus and the topology of domains in 3-space [J].
Cantarella, J ;
DeTurck, D ;
Gluck, H .
AMERICAN MATHEMATICAL MONTHLY, 2002, 109 (05) :409-442
[10]  
DECONINCK B, MAPLE PACKAGE COMPUT