-
On Exact and Approximate Symmetries of Algebraic and Ordinary Differential Equations with a Small Parameter
Authors:
Mahmood R. Tarayrah,
Alexei F. Cheviakov
Abstract:
The framework of Baikov-Gazizov-Ibragimov approximate symmetries has proven useful for many examples where a small perturbation of an ordinary differential equation (ODE) destroys its local symmetry group. For the perturbed model, some of the local symmetries of the unperturbed equation may (or may not) re-appear as approximate symmetries, and new approximate symmetries can appear. Approximate sym…
▽ More
The framework of Baikov-Gazizov-Ibragimov approximate symmetries has proven useful for many examples where a small perturbation of an ordinary differential equation (ODE) destroys its local symmetry group. For the perturbed model, some of the local symmetries of the unperturbed equation may (or may not) re-appear as approximate symmetries, and new approximate symmetries can appear. Approximate symmetries are useful as a tool for the construction of approximate solutions. We show that for algebraic and first-order differential equations, to every point symmetry of the unperturbed equation, there corresponds an approximate point symmetry of the perturbed equation. For second and higher-order ODEs, this is not the case: some point symmetries of the original ODE may be unstable, that is, they do not arise in the approximate point symmetry classification of the perturbed ODE. We show that such unstable point symmetries correspond to higher-order approximate symmetries of the perturbed ODE, and can be systematically computed. Two detailed examples, including a fourth-order nonlinear Boussinesq equation, are presented. Examples of the use of higher-order approximate symmetries and approximate integrating factors to obtain approximate solutions of higher-order ODEs are provided.
△ Less
Submitted 31 March, 2021;
originally announced April 2021.
-
Invariant Conservation Law-Preserving Discretizations of Linear and Nonlinear Wave Equations
Authors:
A. F. Cheviakov,
V. A. Dorodnitsyn,
E. I. Kaptsov
Abstract:
Symmetry- and conservation law-preserving finite difference discretizations are obtained for linear and nonlinear one-dimensional wave equations on five- and nine-point stencils, using the theory of Lie point symmetries of difference equations, and the discrete direct multiplier method of conservation law construction. In particular, for the linear wave equation, an explicit five-point scheme is p…
▽ More
Symmetry- and conservation law-preserving finite difference discretizations are obtained for linear and nonlinear one-dimensional wave equations on five- and nine-point stencils, using the theory of Lie point symmetries of difference equations, and the discrete direct multiplier method of conservation law construction. In particular, for the linear wave equation, an explicit five-point scheme is presented that preserves the discrete analogs of its basic geometric point symmetries, and six of the corresponding conservation laws. For a class of nonlinear wave equations arising in hyperelasticity, a nine-point implicit scheme is constructed, preserving four point symmetries and three local conservation laws. Other discretization of the nonlinear wave equations preserving different subsets of conservation laws are discussed.
△ Less
Submitted 15 July, 2020;
originally announced July 2020.
-
Variational symmetries and conservation laws of the wave equation in one space dimension
Authors:
Roman O. Popovych,
Alexei F. Cheviakov
Abstract:
The direct method based on the definition of conserved currents of a system of differential equations is applied to compute the space of conservation laws of the (1+1)-dimensional wave equation in the light-cone coordinates. Then Noether's theorem yields the space of variational symmetries of the corresponding functional. The results are also presented for the standard space-time form of the wave…
▽ More
The direct method based on the definition of conserved currents of a system of differential equations is applied to compute the space of conservation laws of the (1+1)-dimensional wave equation in the light-cone coordinates. Then Noether's theorem yields the space of variational symmetries of the corresponding functional. The results are also presented for the standard space-time form of the wave equation.
△ Less
Submitted 21 January, 2020; v1 submitted 8 December, 2019;
originally announced December 2019.
-
On the different types of global and local conservation laws for partial differential equations in three spatial dimensions: review and recent developments
Authors:
Stephen C. Anco,
Alexei F. Cheviakov
Abstract:
For systems of partial differential equations in three spatial dimensions, dynamical conservation laws holding on volumes, surfaces, and curves, as well as topological conservation laws holding on surfaces and curves, are studied in a unified framework. Both global and local formulations of these different conservation laws are discussed, including the forms of global constants of motion. The main…
▽ More
For systems of partial differential equations in three spatial dimensions, dynamical conservation laws holding on volumes, surfaces, and curves, as well as topological conservation laws holding on surfaces and curves, are studied in a unified framework. Both global and local formulations of these different conservation laws are discussed, including the forms of global constants of motion. The main results consist of providing an explicit characterization for when two conservation laws are locally or globally equivalent, and for when a conservation law is locally or globally trivial, as well as deriving relationships among the different types of conservation laws. In particular, the notion of a ``trivial'' conservation law is clarified for all of the types of conservation laws. Moreover, as further new results, conditions under which a trivial local conservation law on a domain can yield a non-trivial global conservation law on the domain boundary are determined and shown to be related to differential identities that hold for PDE systems containing both evolution equations and spatial constraint equations. Numerous physical examples from fluid flow, gas dynamics, electromagnetism, and magnetohydrodynamics are used as illustrations.
△ Less
Submitted 28 July, 2020; v1 submitted 23 March, 2018;
originally announced March 2018.
-
Nonlinear Dynamics of a Viscous Bubbly Fluid
Authors:
Ryan J. Thiessen,
Alexei F. Cheviakov
Abstract:
A physical model of a three-dimensional flow of a viscous bubbly fluid in an intermediate regime between bubble formation and breakage is presented. The model is based on mechanics and thermodynamics of a single bubble coupled to the dynamics of a viscous fluid as a whole, and takes into account multiple physical effects, including gravity, viscosity, and surface tension. Dimensionless versions of…
▽ More
A physical model of a three-dimensional flow of a viscous bubbly fluid in an intermediate regime between bubble formation and breakage is presented. The model is based on mechanics and thermodynamics of a single bubble coupled to the dynamics of a viscous fluid as a whole, and takes into account multiple physical effects, including gravity, viscosity, and surface tension. Dimensionless versions of the resulting nonlinear model are obtained, and values of dimensionless parameters are estimated for typical magma flows in horizontal subaerial lava fields and vertical volcanic conduits.
Exact solutions of the resulting system of nonlinear equations corresponding to equilibrium flows and traveling waves are analyzed in the one-dimensional setting. Generalized Su-Gardner-type perturbation analysis is employed to study approximate solutions of the model in the long-wave ansatz. Simplified nonlinear partial differential equations (PDE) satisfied by the leading terms of the perturbation solutions are systematically derived. It is shown that for specific classes of perturbations, approximate solutions of the bubbly fluid model arise from solutions of the classical diffusion, Burgers, variable-coefficient Burgers, and Korteweg-de Vries equations.
△ Less
Submitted 5 January, 2019; v1 submitted 30 November, 2017;
originally announced November 2017.
-
Symbolic Computation of Equivalence Transformations and Parameter Reduction for Nonlinear Physical Models
Authors:
Alexei F. Cheviakov
Abstract:
An efficient systematic procedure is provided for symbolic computation of Lie groups of equivalence transformations and generalized equivalence transformations of systems of differential equations that contain arbitrary elements (arbitrary functions and/or arbitrary constant parameters), using the software package GeM for Maple. Application of equivalence transformations to the reduction of the nu…
▽ More
An efficient systematic procedure is provided for symbolic computation of Lie groups of equivalence transformations and generalized equivalence transformations of systems of differential equations that contain arbitrary elements (arbitrary functions and/or arbitrary constant parameters), using the software package GeM for Maple. Application of equivalence transformations to the reduction of the number of arbitrary elements in a given system of equations is discussed, and several examples are considered. First computational example of a generalized equivalence transformation where the transformation of the dependent variable involves the arbitrary constitutive function is presented.
As a detailed physical example, a three-parameter family of nonlinear wave equations describing finite anti-plane shear displacements of an incompressible hyperelasic fiber-reinforced medium is considered. Equivalence transformations are computed and employed to radically simplify the model for an arbitrary fiber direction, invertibly reducing the model to a simple form that corresponds to a special fiber direction, and involves no arbitrary elements.
The presented computation algorithm is applicable to wide classes of systems of differential equations containing arbitrary elements.
△ Less
Submitted 18 January, 2017;
originally announced January 2017.
-
Computation of fluxes of conservation laws
Authors:
Alexei F. Cheviakov
Abstract:
The direct method of construction of local conservation laws of partial differential equations (PDE) is a systematic method applicable to a wide class of PDE systems [Anco S. and Bluman G., Direct construction method for conservation laws of partial differential equations Part II: General treatment. {\sl Europ. J. Appl. Math.} {\bf 13}, 567--585 (2002)]. Within the direct method, one seeks multi…
▽ More
The direct method of construction of local conservation laws of partial differential equations (PDE) is a systematic method applicable to a wide class of PDE systems [Anco S. and Bluman G., Direct construction method for conservation laws of partial differential equations Part II: General treatment. {\sl Europ. J. Appl. Math.} {\bf 13}, 567--585 (2002)]. Within the direct method, one seeks multipliers, such that the linear combination of PDEs of a given system with these multipliers yields a divergence expression.
After local conservation law multipliers are found, one needs to reconstruct the fluxes of the conservation law. In this review paper, we discuss common methods of flux computation, compare them, and illustrate by examples. An implementation of these methods in symbolic software is also presented.
△ Less
Submitted 3 July, 2009;
originally announced July 2009.
-
Symmetries, conservation laws and exact solutions of static plasma equilibrium systems in three dimensions
Authors:
Alexei F. Cheviakov,
Stephen C. Anco
Abstract:
For static reductions of isotropic and anisotropic Magnetohydrodynamics plasma equilibrium models, a complete classification of admitted point symmetries and conservation laws up to first order is presented. It is shown that the symmetry algebra for the isotropic equations is finite-dimensional, whereas anisotropic equations admit infinite symmetries depending on a free function defined on the s…
▽ More
For static reductions of isotropic and anisotropic Magnetohydrodynamics plasma equilibrium models, a complete classification of admitted point symmetries and conservation laws up to first order is presented. It is shown that the symmetry algebra for the isotropic equations is finite-dimensional, whereas anisotropic equations admit infinite symmetries depending on a free function defined on the set of magnetic surfaces. A direct transformation is established between isotropic and anisotropic equations, which provides an efficient way of constructing new exact anisotropic solutions. In particular, axially and helically symmetric anisotropic plasma equilibria arise from classical Grad-Shafranov and JFKO equations.
△ Less
Submitted 16 November, 2007; v1 submitted 30 August, 2007;
originally announced August 2007.
-
Point symmetries of 3D static plasma equilibrium systems: comparison and applications
Authors:
Alexei F. Cheviakov
Abstract:
Dynamic plasma equilibrium systems, both in isotropic and anisotropic framework, possess infinite-dimensional Lie groups of point symmetries, which depend on solution topology and lead to construction of infinite families of new physical solutions.
By performing the complete classification, we show that in the static isotropic case no infinite point symmetries arise, whereas static anisotropic…
▽ More
Dynamic plasma equilibrium systems, both in isotropic and anisotropic framework, possess infinite-dimensional Lie groups of point symmetries, which depend on solution topology and lead to construction of infinite families of new physical solutions.
By performing the complete classification, we show that in the static isotropic case no infinite point symmetries arise, whereas static anisotropic plasma equilibria still possess a Lie group of symmetries depending on one free function defined on the set of magnetic field lines. The finite form of the symmetries is found and used to obtain new exact solutions. We demonstrate how anisotropic axially- and helically-symmetric equilibria are obtained using conventional Grad-Shafranov and JFKO equations.
A recently developed multifunctional automated Maple-based software package for symmetry and conservation law analysis is presented and used in this work.
△ Less
Submitted 30 September, 2005;
originally announced October 2005.
-
Plasma equilibrium equations in coordinates connected with magnetic surfaces. Exact equilibrium solutions
Authors:
Alexei F. Cheviakov
Abstract:
A representation of the static MHD equilibrium system in coordinates connected with magnetic surfaces is suggested. It is used for producing families of non-trivial 3D exact solutions of isotropic and anisotropic plasma equilibria in different geometries, with and without dynamics, and often without geometrical symmetries. The ways of finding coordinates in which exact equilibria can be construc…
▽ More
A representation of the static MHD equilibrium system in coordinates connected with magnetic surfaces is suggested. It is used for producing families of non-trivial 3D exact solutions of isotropic and anisotropic plasma equilibria in different geometries, with and without dynamics, and often without geometrical symmetries. The ways of finding coordinates in which exact equilibria can be constructed are discussed; examples and their applications as physical models are presented.
△ Less
Submitted 19 October, 2004;
originally announced October 2004.
-
Lie Group analysis of Plasma equilibrium equations
Authors:
Alexei F. Cheviakov
Abstract:
In this paper we perform Lie group analysis of systems of partial differential equations which describe different cases of classical plasma equilibria, and find groups of transformations admitted by those equations in several important cases.
We also give a recipe how to apply Lie formalism to look for Bäcklund transformations between systems of partial differential equations, using plasma equ…
▽ More
In this paper we perform Lie group analysis of systems of partial differential equations which describe different cases of classical plasma equilibria, and find groups of transformations admitted by those equations in several important cases.
We also give a recipe how to apply Lie formalism to look for Bäcklund transformations between systems of partial differential equations, using plasma equilibrium system as an example.
△ Less
Submitted 30 October, 2002;
originally announced October 2002.
-
Infinite-dimensional Bäcklund transformations between isotropic and anisotropic plasma equilibria. Infinite symmetries of anisotropic plasma equilibria
Authors:
Alexei F. Cheviakov
Abstract:
In this paper we establish Bäcklund transformations between solutions of several cases of classical isotropic MHD and plasma equilibria and corresponding anisotropic equilibria. The transformations appear to be infinite-dimensional and allow building solutions with variety of physical properties. We also present a new infinite-dimensional Lie group of intrinsic symmetries of anisotropic plasma e…
▽ More
In this paper we establish Bäcklund transformations between solutions of several cases of classical isotropic MHD and plasma equilibria and corresponding anisotropic equilibria. The transformations appear to be infinite-dimensional and allow building solutions with variety of physical properties. We also present a new infinite-dimensional Lie group of intrinsic symmetries of anisotropic plasma equilibria equations, similar to those for the isotropic case.
△ Less
Submitted 30 October, 2002;
originally announced October 2002.
