Symbolic computation of conservation laws for nonlinear partial differential equations in multiple space dimensions
Douglas Poole, Willy Hereman
备注：
26 pages. Paper will appear in Journal of Symbolic Computation (2011). Presented at the Special Session on Geometric Flows, Moving Frames and Integrable Systems, 2010 Spring Central Sectional Meeting of the American Mathematical Society, Macalester College, St. Paul, Minnesota, April 10, 2010
A method for symbolically computing conservation laws of nonlinear partial differential equations (PDEs) in multiple space dimensions is presented in the language of variational calculus and linear algebra. The steps of the method are illustrated using the Zakharov-Kuznetsov and Kadomtsev-Petviashvili equations as examples. The method is algorithmic and has been implemented in Mathematica. The software package, ConservationLawsMD.m, can be used to symbolically compute and test conservation laws for polynomial PDEs that can be written as nonlinear evolution equations. The code ConservationLawsMD.m has been applied to (2+1)-dimensional versions of the Sawada-Kotera, Camassa-Holm, and Gardner equations, and the multi-dimensional Khokhlov-Zabolotskaya equation.
The system of equations of one-dimensional shallow water over uneven bottom in Euler's and Lagrange's variables is considered. Intermediate system of equations is introduced. Hydrodynamic conservation laws of intermediate system of equations is used to find all first order conservation laws of shallow water equations in Lagrange's variable for all bottom profiles. The obtained conservation laws are compared with the hydrodynamic conservation laws of the system of equations of one-dimensional shallow water over uneven bottom in Euler's variables. Bottom profiles are given for which there are ad…
In \cite{RH3} Rasin and Hydon suggested a way to construct an infinite number of conservation laws for the discrete KdV equation (dKdV), by repeated application of a certain symmetry to a known conservation law. It was not decided, however, whether the resulting conservation laws were distinct and nontrivial. In this paper we obtain the following results: (1) We give an alternative method to construct an infinite number of conservation laws using a discrete version of the Gardner transformation. (2) We give a direct proof that the Rasin-Hydon conservation laws are indeed distinct and nontrivia…
Infinitely many nonlocal symmetries and conservation laws of the (1+1)-dimensional Sine-Gordon (SG) equation are derived in terms of its Bäcklund transformation (BT). Some special nonlocal symmetries and nonlocal conservation laws are obtained from the linearized equations of the SG equation and its BT. Furthermore, one can derive infinitely many nonlocal symmetries from a known nonlocal symmetry, but also infinitely many nonlocal conservation laws from a known nonlocal conservation law. In addition, infinitely many local and nonlocal conservation laws can be directed generated from BT through…
In this paper we introduce a new property of two-dimensional integrable systems -- existence of infinitely many local three-dimensional conservation laws for pairs of integrable two-dimensional commuting flows. Infinitely many three-dimensional local conservation laws for the Korteweg de Vries pair of commuting flows and for the Benney commuting hydrodynamic chains are constructed. As a by-product we established a new method for computation of local conservation laws for three-dimensional integrable systems. The Mikhalev equation and the dispersionless limit of the Kadomtsev--Petviashvili equa…
By the Cole-Hopf transformation, with any linear evolution equation in 1+1 dimensions a generalized Burgers equation is associated. We describe local conservation laws of these equations. It turns out that any generalized Burgers equation has only one conservation law, while a linear evolution equation with constant coefficients has an infinite number of (x,t)-independent conservation laws iff the equation involves only odd order terms and, therefore, is bi-Hamiltonian.
New approach to classification of integrable hydrodynamic chains is established. Generating functions of conservation laws are classified by the method of hydrodynamic reductions. N parametric family of explicit hydrodynamic reductions allows to reconstruct corresponding hydrodynamic chains. Plenty new hydrodynamic chains are found.
We discuss nonlocal symmetries and nonlocal conservation laws that follow from the systematic potentialisation of evolution equations. Those are the Lie point symmetries of the auxiliary systems, also known as potential symmetries. We define higher-degree potential symmetries which then lead to nonlocal conservation laws and nonlocal transformations for the equations. We demonstrate our approach by the Burgers' hierarchy and the Calogero-Degasperis-Ibragimov-Shabat hierarchy.
In the paper we derive infinitely many conservation laws for the ABS lattice equations from their Lax pairs. These conservation laws can algebraically be expressed by means of some known polynomials. We also show that H1, H2, H3, Q1, Q2, Q3 and A1 equation in ABS list share a generic discrete Riccati equation.
Sequences of canonical conservation laws and generalized symmetries for the lattice Boussinesq and the lattice modified Boussinesq systems are successively derived. The interpretation of these symmetries as differential-difference equations leads to corresponding hierarchies of such equations for which conservation laws and Lax pairs are constructed. Finally, using the continuous symmetry reduction approach, an integrable, multidimensionally consistent system of partial differential equations is derived in relation with the lattice modified Boussinesq system.
We derive infinitely many conservation laws for some multi-dimensionally consistent lattice equations from their Lax pairs. These lattice equations are the Nijhoff-Quispel-Capel equation, lattice Boussinesq equation, lattice nonlinear Schrödinger equation, modified lattice Boussinesq equation, Hietarinta's Boussinesq-type equations, Schwarzian lattice Boussinesq equation and Toda-modified lattice Boussinesq equation.
We consider two discrete completely integrable evolutions: the Toda Lattice and the Ablowitz-Ladik system. The principal thrust of the paper is the development of microscopic conservation laws that witness the conservation of the perturbation determinant under these dynamics. In this way, we obtain discrete analogues of objects that we found essential in our recent analyses of KdV, NLS, and mKdV. In concert with this, we revisit the classical topic of microscopic conservation laws attendant to the (renormalized) trace of the Green's function.
We determine, by hierarchy, dependencies between higher order linear symmetries which occur when generating them using recursion operators. Thus, we deduce a formula which gives the number of independent generalized symmetries (basis) of several orders. We construct a basis for conservation laws (with respect to the group admitted by the system of differential equation) and hence generate infinite conservation laws in each equivalence class.
A method based on infinite parameter conservation laws is described to factor linear differential operators out of nonlinear partial differential equations (PDEs) or out of differential consequences of nonlinear PDEs. This includes a complete linearization to an equivalent linear PDE (-system) if that is possible. Infinite parameter conservation laws can be computed, for example, with the computer algebra package ConLaw.
This paper presents recent work on connections between symmetries and conservation laws. After reviewing Noether's theorem and its limitations, we present the Direct Construction Method to show how to find directly the conservation laws for any given system of differential equations. This method yields the multipliers for conservation laws as well as an integral formula for corresponding conserved densities. The action of a symmetry (discrete or continuous) on a conservation law yields conservation laws. Conservation laws yield non-locally related systems that, in turn, can yield nonlocal symm…
In this paper, we construct and analyse the symmetries and conservation laws (conserved densities) of a model of a nonlinear Scrodinger equation with PT-symmetric potentials and inhomogeneity.
We prove that the generalized Swift--Hohenberg equation with nonlinear right-hand side, a natural generalization of the Swift--Hohenberg equation arising in physics and describing inter alia pattern formation, has no nontrivial local conservation laws.
Algorithms for the symbolic computation of polynomial conservation laws, generalized symmetries, and recursion operators for systems of nonlinear differential-difference equations (DDEs) are presented. The algorithms can be used to test the complete integrability of nonlinear DDEs. The ubiquitous Toda lattice illustrates the steps of the algorithms, which have been implemented in {\em Mathematica}. The codes {\sc InvariantsSymmetries.m} and {\sc DDERecursionOperator.m} can aid researchers interested in properties of nonlinear DDEs.
We investigate conservation laws of diffusion-convection equations to construct first-order potential systems corresponding to these equations. We do two iterations of the construction procedure, looking, in the second step, for the first-order conservation laws of the potential systems obtained in the first step.
We provide a complete classification of generalized and formal symmetries and local conservation laws for an evolution equation which generalizes the Kawahara equation having important applications in the study of plasma waves and capillary-gravity water waves. In particular, we show that the equation under study admits no genuinely generalized symmetries and has only finitely many local conservation laws, and thus this equation is not symmetry integrable.
We study local conservation laws for evolution equations in two independent variables. In particular, we present normal forms for the equations admitting one or two low-order conservation laws. Examples include Harry Dym equation, Korteweg-de-Vries-type equations, and Schwarzian KdV equation. It is also shown that for linear evolution equations all their conservation laws are (modulo trivial conserved vectors) at most quadratic in the dependent variable and its derivatives.
We find noncommutative analogs for well-known polynomial evolution systems with higher conservation laws and symmetries. The integrability of obtained non-Abelian systems is justified by explicit zero curvature representations with spectral parameter.
Using the lax pair, nonlocal symmetry of the coupled Hirota equation is obtained. By introducing an appropriate auxiliary dependent variable the nonlocal symmetry is successfully localized to a Lie point symmetry. For the closed prolongation, one-dimensional optimal systems and nonlocal conservation laws of the coupled Hirota equation are studied.
All three-point and five-point conservation laws for the discrete Korteweg-de Vries equations are found. These conservation laws satisfy a functional equation, which we solve by reducing it to a system of partial differential equations. Our method uses computer algebra intensively, because the determining functional equation is quite complicated.
For the hyperbolic system of quasilinear first-order partial differential equations, linearizable by hodograph transformation, the conservation laws are used to solve the Cauchy problem. The equivalence of the initial problem for quasilinear system and the problem for conservation laws system permits to construct the characteristic lines in domains, where Jacobian of hodograph transformations is equal to zero. Moreover, the conservation laws give all solutions of the linearized system. Some examples from the gas dynamics and theory of plasticity are considered.
We introduce notions of equivalence of conservation laws with respect to Lie symmetry groups for fixed systems of differential equations and with respect to equivalence groups or sets of admissible transformations for classes of such systems. We also revise the notion of linear dependence of conservation laws and define the notion of local dependence of potentials. To construct conservation laws, we develop and apply the most direct method which is effective to use in the case of two independent variables. Admitting possibility of dependence of conserved vectors on a number of potentials, we g…
A set of infinitely many nonlocal conservation laws are revealed for (1+1)-dimensional evolution equations. For some special known integrable systems, say, the KdV and Dym equations, it is found that different nonlocal conservation laws can lead to same new integrable systems via reciprocal transformation. On the other hand, it can be considered as one solution of the new model obtained via reciprocal transformation(s) can be changed to different solutions of the original model. The fact indicates also that two or more different (local and nonlocal) conservation laws can be used to find implic…
We study the hydrodynamic-type system of differential equations modeling isothermal no-slip drift flux. Using the facts that the system is partially coupled and its subsystem reduces to the (1+1)-dimensional Klein--Gordon equation, we exhaustively describe generalized symmetries, cosymmetries and local conservation laws of this system. A generating set of local conservation laws under the action of generalized symmetries is proved to consist of two zeroth-order conservation laws. The subspace of translation-invariant conservation laws is singled out from the entire space of local conservation …
We present infinitely many nonlocal conservation laws, a pair of compatible local Hamiltonian structures and a recursion operator for the equations describing surfaces in three-dimensional space that admit nontrivial deformations which preserve both principal directions and principal curvatures (or, equivalently, the shape operator).
