-
Delay ordinary differential equations: from Lagrangian approach to Hamiltonian approach
Authors:
Vladimir Dorodnitsyn,
Roman Kozlov,
Sergey Meleshko
Abstract:
The paper suggests a Hamiltonian formulation for delay ordinary differential equations (DODEs). Such equations are related to DODEs with a Lagrangian formulation via a delay analog of the Legendre transformation. The Hamiltonian delay operator identity is established. It states the relationship for the invariance of a delay Hamiltonian functional, appropriate delay variational equations, and their…
▽ More
The paper suggests a Hamiltonian formulation for delay ordinary differential equations (DODEs). Such equations are related to DODEs with a Lagrangian formulation via a delay analog of the Legendre transformation. The Hamiltonian delay operator identity is established. It states the relationship for the invariance of a delay Hamiltonian functional, appropriate delay variational equations, and their conserved quantities. The identity is used to formulate a Noether-type theorem, which provides first integrals for Hamiltonian DODEs with symmetries. The relationship between the invariance of the delay Hamiltonian functional and the invariance of the delay variational equations is also examined. Several examples illustrate the theoretical results.
△ Less
Submitted 12 September, 2024;
originally announced September 2024.
-
Symmetries and first integrals for variational ODEs with delay
Authors:
V. A. Dorodnitsyn,
R. V. Kozlov,
S. V. Meleshko
Abstract:
A Lagrangian formalism for variational second-order delay ordinary differential equations (DODEs) is developed. The Noether operator identity for a DODE is established, which relates the invariance of a Lagrangian function with the appropriate variational equations and the conserved quantities. The identity is used to formulate Noether-type theorems that give the first integrals for DODE with symm…
▽ More
A Lagrangian formalism for variational second-order delay ordinary differential equations (DODEs) is developed. The Noether operator identity for a DODE is established, which relates the invariance of a Lagrangian function with the appropriate variational equations and the conserved quantities. The identity is used to formulate Noether-type theorems that give the first integrals for DODE with symmetries. Relations between the invariance of the variational second-order DODEs and the invariance of the Lagrangian functions are also analyzed. Several examples illustrate the theoretical results.
△ Less
Submitted 16 March, 2023;
originally announced March 2023.
-
Lagrangian formalism and Noether-type theorems for second-order delay ODEs
Authors:
Vladimir A. Dorodnitsyn,
Roman V. Kozlov,
Sergey V. Meleshko
Abstract:
The Lagrangian formalism for variational problem for second-order delay ordinary differential equations (DODEs) is developed. The Noether-type operator identities and theorems for DODEs of second order are presented. Algebraic construction of integrals for DODEs based on symmetries are demonstrated by examples.
The Lagrangian formalism for variational problem for second-order delay ordinary differential equations (DODEs) is developed. The Noether-type operator identities and theorems for DODEs of second order are presented. Algebraic construction of integrals for DODEs based on symmetries are demonstrated by examples.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
Symmetries and conservation laws of the one-dimensional shallow water magnetohydrodynamics equations in Lagrangian coordinates
Authors:
S. V. Meleshko,
V. A. Dorodnitsyn,
E. I. Kaptsov
Abstract:
Symmetries of the one-dimensional shallow water magnetohydrodynamics equations (SMHD) in Gilman's approximation are studied. The SMHD equations are considered in case of a plane and uneven bottom topography in Lagrangian and Eulerian coordinates. Symmetry classification separates out all bottom topographies which yields substantially different admitted symmetries. The SMHD equations in Lagrangian…
▽ More
Symmetries of the one-dimensional shallow water magnetohydrodynamics equations (SMHD) in Gilman's approximation are studied. The SMHD equations are considered in case of a plane and uneven bottom topography in Lagrangian and Eulerian coordinates. Symmetry classification separates out all bottom topographies which yields substantially different admitted symmetries. The SMHD equations in Lagrangian coordinates were reduced to a single second order PDE. The Lagrangian formalism and Noether's theorem are used to construct conservation laws of the SMHD equations. Some new conservation laws for various bottom topographies are obtained. The results are also represented in Eulerian coordinates. Invariant and partially invariant solutions are constructed.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
One-dimensional MHD flows with cylindrical symmetry: Lie symmetries and conservation laws
Authors:
Vladimir A. Dorodnitsyn,
Evgeniy I. Kaptsov,
Roman V. Kozlov,
Sergey V. Meleshko
Abstract:
A recent paper considered symmetries and conservation laws of the plane one-dimensional flows for magnetohydrodynamics in the mass Lagrangian coordinates. This paper analyses the one-dimensional magnetohydrodynamics flows with cylindrical symmetry in the mass Lagrangian coordinates. The medium is assumed inviscid and thermally non-conducting. It is modeled by a polytropic gas. Symmetries and conse…
▽ More
A recent paper considered symmetries and conservation laws of the plane one-dimensional flows for magnetohydrodynamics in the mass Lagrangian coordinates. This paper analyses the one-dimensional magnetohydrodynamics flows with cylindrical symmetry in the mass Lagrangian coordinates. The medium is assumed inviscid and thermally non-conducting. It is modeled by a polytropic gas. Symmetries and conservation laws are found. The cases of finite and infinite electric conductivity need to be analyzed separately. For finite electric conductivity $σ(ρ,p)$ we perform Lie group classification, which identifies $σ(ρ,p)$ cases with additional symmetries. The conservation laws are found by direct computation. For cases with infinite electric conductivity variational formulations of the equations are considered. Lie group classifications are obtained with the entropy treated as an arbitrary element. A variational formulation allows to use the Noether theorem for computation of conservation laws. The conservation laws obtained for the variational equations are also presented in the original (physical) variables.
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
Plane one-dimensional MHD flows: symmetries and conservation laws
Authors:
Vladimir A. Dorodnitsyn,
Evgeniy I. Kaptsov,
Roman V. Kozlov,
Sergey V. Meleshko,
Potcharapol Mukdasanit
Abstract:
The paper considers the plane one-dimensional flows for magnetohydrodynamics in the mass Lagrangian coordinates. The inviscid, thermally non-conducting medium is modeled by a polytropic gas. The equations are examined for symmetries and conservation laws. For the case of the finite electric conductivity we establish Lie group classification, i.e. we describe all cases of the conductivity…
▽ More
The paper considers the plane one-dimensional flows for magnetohydrodynamics in the mass Lagrangian coordinates. The inviscid, thermally non-conducting medium is modeled by a polytropic gas. The equations are examined for symmetries and conservation laws. For the case of the finite electric conductivity we establish Lie group classification, i.e. we describe all cases of the conductivity $ σ( ρ, p)$ for which there are symmetry extensions. The conservation laws are derived by the direct computation. For the case of the infinite electrical conductivity the equations can be brought into a variational form in the Lagrangian coordinates. Lie group classification is performed for the entropy function as an arbitrary element. Using the variational structure, we employ the Noether theorem for obtaining conservation laws. The conservation laws are also given in the physical variables.
△ Less
Submitted 25 October, 2021; v1 submitted 15 October, 2021;
originally announced October 2021.
-
One-dimensional flows of a polytropic gas: Lie group classification, conservation laws, invariant and conservative difference schemes
Authors:
Vladimir A. Dorodnitsyn,
Roman Kozlov,
Sergey V. Meleshko
Abstract:
The paper considers one-dimensional flows of a polytropic gas in the Lagrangian coordinates in three cases: plain one-dimensional flows, radially symmetric flows and spherically symmetric flows. The one-dimensional flow of a polytropic gas is described by one second-order partial differential equation in the Lagrangian variables. Lie group classification of this PDE is performed. Its variational s…
▽ More
The paper considers one-dimensional flows of a polytropic gas in the Lagrangian coordinates in three cases: plain one-dimensional flows, radially symmetric flows and spherically symmetric flows. The one-dimensional flow of a polytropic gas is described by one second-order partial differential equation in the Lagrangian variables. Lie group classification of this PDE is performed. Its variational structure allows to construct conservation laws with the help of Noether's theorem. These conservation laws are also recalculated for the gas dynamics variables in the Lagrangian and Eulerian coordinates. Additionally, invariant and conservative difference schemes are provided.
△ Less
Submitted 29 November, 2020;
originally announced November 2020.
-
Invariant conservative difference schemes for shallow water equations in Eulerian and Lagrangian coordinates
Authors:
V. A. Dorodnitsyn,
E. I. Kaptsov
Abstract:
The one-dimensional shallow water equations in Eulerian coordinates are considered. Relations between symmetries and conservation laws for the potential form of the equations, and symmetries and conservation laws in Eulerian coordinates are shown. An invariant difference scheme for equations in Eulerian coordinates with arbitrary bottom topography is constructed. It possesses all the finite-differ…
▽ More
The one-dimensional shallow water equations in Eulerian coordinates are considered. Relations between symmetries and conservation laws for the potential form of the equations, and symmetries and conservation laws in Eulerian coordinates are shown. An invariant difference scheme for equations in Eulerian coordinates with arbitrary bottom topography is constructed. It possesses all the finite-difference analogues of the conservation laws. Some bottom topographies require moving meshes in Eulerian coordinates, which are stationary meshes in mass Lagrangian coordinates. The developed invariant conservative difference schemes are verified numerically using examples of flow with various bottom topographies.
△ Less
Submitted 28 August, 2020;
originally announced September 2020.
-
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.
-
Shallow water equations in Lagrangian coordinates: symmetries, conservation laws and its preservation in difference models
Authors:
V. A. Dorodnitsyn,
E. I. Kaptsov
Abstract:
The one-dimensional shallow water equations in Eulerian and Lagrangian coordinates are considered. It is shown the relationship between symmetries and conservation laws in Lagrangian (potential) coordinates and symmetries and conservation laws in mass Lagrangian variables. For equations in Lagrangian coordinates with a flat bottom an invariant difference scheme is constructed which possesses all t…
▽ More
The one-dimensional shallow water equations in Eulerian and Lagrangian coordinates are considered. It is shown the relationship between symmetries and conservation laws in Lagrangian (potential) coordinates and symmetries and conservation laws in mass Lagrangian variables. For equations in Lagrangian coordinates with a flat bottom an invariant difference scheme is constructed which possesses all the difference analogues of the conservation laws: mass, momentum, energy, the law of center of mass motion. Some exact invariant solutions are constructed for the invariant scheme, while the scheme admits reduction on subgroups as well as the original system of equations. For an arbitrary shape of bottom it is possible to construct an invariant scheme with conservation of mass and momentum or energy. Invariant conservative difference scheme for the case of a flat bottom tested numerically in comparison with other known schemes.
△ Less
Submitted 31 December, 2019;
originally announced December 2019.
-
Second-order delay ordinary differential equations, their symmetries and application to a traffic problem
Authors:
Vladimir A. Dorodnitsyn,
Roman Kozlov,
Sergey V. Meleshko,
Pavel Winternitz
Abstract:
This article is the third in a series the aim of which is to use Lie group theory to obtain exact analytic solutions of Delay Ordinary Differential Systems (DODSs). Such a system consists of two equations involving one independent variable $x$ and one dependent variable $y$. As opposed to ODEs the variable $x$ figures in more than one point (we consider the case of two points, $x$ and $x_-$). The…
▽ More
This article is the third in a series the aim of which is to use Lie group theory to obtain exact analytic solutions of Delay Ordinary Differential Systems (DODSs). Such a system consists of two equations involving one independent variable $x$ and one dependent variable $y$. As opposed to ODEs the variable $x$ figures in more than one point (we consider the case of two points, $x$ and $x_-$). The dependent variable $y$ and its derivatives figure in both $x$ and $x_-$. Two previous articles were devoted to {\it first}-order DODSs, here we concentrate on a large class of {\it second}-order ones. We show that within this class the symmetry algebra can be of dimension $n$ with $0 \leq n \leq 6$ for nonlinear DODSs and must be $n=\infty$ for linear or linearizable ones. The symmetry algebras can be used to obtain exact particular group invariant solutions. As a specific application we present some exact solutions of a DODS model of traffic flow.
△ Less
Submitted 8 July, 2020; v1 submitted 9 January, 2019;
originally announced January 2019.
-
One-dimensional gas dynamics equations of a polytropic gas in Lagrangian coordinates: symmetry classification, conservation laws, difference schemes
Authors:
Vladimir A. Dorodnitsyn,
Roman Kozlov,
Sergey V. Meleshko
Abstract:
Lie point symmetries of the one-dimensional gas dynamics equations of a polytropic gas in Lagrangian coordinates are considered. Complete Lie group classification of these equations reduced to a scalar second-order PDE is performed. The classification parameter is the entropy. Noether theorem is applied for constructing conservation laws. The conservation laws can be represented in the gas dynamic…
▽ More
Lie point symmetries of the one-dimensional gas dynamics equations of a polytropic gas in Lagrangian coordinates are considered. Complete Lie group classification of these equations reduced to a scalar second-order PDE is performed. The classification parameter is the entropy. Noether theorem is applied for constructing conservation laws. The conservation laws can be represented in the gas dynamics variables. For the basic adiabatic case invariant and conservative difference schemes are discussed.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
Linear or linearizable first-order delay ordinary differential equations and their Lie point symmetries
Authors:
Vladimir A. Dorodnitsyn,
Roman Kozlov,
Sergey V. Meleshko,
Pavel Winternitz
Abstract:
A previous article was devoted to an analysis of the symmetry properties of a class of first-order delay ordinary differential systems (DODSs). Here we concentrate on linear DODSs. They have infinite-dimensional Lie point symmetry groups due to the linear superposition principle. Their symmetry algebra always contains a two-dimensional {sub}algebra realized by linearly connected vector fields. We…
▽ More
A previous article was devoted to an analysis of the symmetry properties of a class of first-order delay ordinary differential systems (DODSs). Here we concentrate on linear DODSs. They have infinite-dimensional Lie point symmetry groups due to the linear superposition principle. Their symmetry algebra always contains a two-dimensional {sub}algebra realized by linearly connected vector fields. We identify all classes of linear first-order DODSs that have additional symmetries, not due to linearity alone. We present representatives of each class. These additional symmetries are then used to construct exact analytical particular solutions using symmetry reduction.
△ Less
Submitted 21 December, 2017;
originally announced December 2017.
-
Lie group classification of first-order delay ordinary differential equations
Authors:
Vladimir A. Dorodnitsyn,
Roman Kozlov,
Sergey V. Meleshko,
Pavel Winternitz
Abstract:
A group classification of first-order delay ordinary differential equation (DODE) accompanied by an equation for delay parameter (delay relation) is presented. A subset of such systems (delay ordinary differential systems or DODSs) which consists of linear DODEs and solution independent delay relations have infinite-dimensional symmetry algebras, as do nonlinear ones that are linearizable by an in…
▽ More
A group classification of first-order delay ordinary differential equation (DODE) accompanied by an equation for delay parameter (delay relation) is presented. A subset of such systems (delay ordinary differential systems or DODSs) which consists of linear DODEs and solution independent delay relations have infinite-dimensional symmetry algebras, as do nonlinear ones that are linearizable by an invertible transformation of variables. Genuinely nonlinear DODSs have symmetry algebras of dimension $n$, $0 \leq n \leq 3$. It is shown how exact analytical solutions of invariant DODSs can be obtained using symmetry reduction.
△ Less
Submitted 7 December, 2017;
originally announced December 2017.
-
First integrals of ordinary difference equations beyond Lagrangian methods
Authors:
V. Dorodnitsyn,
E. Kaptsov,
R. Kozlov,
P. Winternitz
Abstract:
A new method for finding first integrals of discrete equations is presented. It can be used for discrete equations which do not possess a variational (Lagrangian or Hamiltonian) formulation. The method is based on a newly established identity which links symmetries of the underlying discrete equations, solutions of the discrete adjoint equations and first integrals. The method is applied to invari…
▽ More
A new method for finding first integrals of discrete equations is presented. It can be used for discrete equations which do not possess a variational (Lagrangian or Hamiltonian) formulation. The method is based on a newly established identity which links symmetries of the underlying discrete equations, solutions of the discrete adjoint equations and first integrals. The method is applied to invariant mappings and discretizations of a second order and a third order ODEs. In examples the set of independent first integrals makes it possible to find the general solution of the discrete equations. The method is compared to a direct method of constructing first integrals.
△ Less
Submitted 7 November, 2013;
originally announced November 2013.
-
First integrals of ordinary difference equations which do not possess a variational formulation
Authors:
P. Winternitz,
V. Dorodnitsyn,
E. Kaptsov,
R. Kozlov
Abstract:
The paper presents a new method for finding first integrals of ordinary difference equations which do not possess Lagrangians, nor Hamiltonians. As an example we solve a third order nonlinear ordinary differential equation and its invariant discretization using three first integrals obtained using this method.
The paper presents a new method for finding first integrals of ordinary difference equations which do not possess Lagrangians, nor Hamiltonians. As an example we solve a third order nonlinear ordinary differential equation and its invariant discretization using three first integrals obtained using this method.
△ Less
Submitted 29 July, 2013;
originally announced July 2013.
-
Invariance and first integrals of continuous and discrete Hamiltonian equations
Authors:
Vladimir Dorodnitsyn,
Roman Kozlov
Abstract:
In this paper we consider the relation between symmetries and first integrals for both continuous canonical Hamiltonian equations and discrete Hamiltonian equations. We observe that canonical Hamiltonian equations can be obtained by variational principle from an action functional and consider invariance properties of this functional as it is done in Lagrangian formalism. We rewrite the well--kno…
▽ More
In this paper we consider the relation between symmetries and first integrals for both continuous canonical Hamiltonian equations and discrete Hamiltonian equations. We observe that canonical Hamiltonian equations can be obtained by variational principle from an action functional and consider invariance properties of this functional as it is done in Lagrangian formalism. We rewrite the well--known Noether's identity in terms of the Hamiltonian function and symmetry operators. This approach, based on symmetries of the Hamiltonian action, provides a simple and clear way to construct first integrals of Hamiltonian equations without integration. A discrete analog of this identity is developed. It leads to a relation between symmetries and first integrals for discrete Hamiltonian equations that can be used to conserve structural properties of Hamiltonian equations in numerical implementation. The results are illustrated by a number of examples for both continuous and discrete Hamiltonian equations.
△ Less
Submitted 10 June, 2009;
originally announced June 2009.
-
Invariance and first integrals of canonical Hamiltonian equations
Authors:
Vladimir Dorodnitsyn,
Roman Kozlov
Abstract:
In this paper we consider the relation between symmetries and first integrals of canonical Hamiltonian equations. Based on a newly established identity (which is an analog of well known Noether's identity for Lagrangian approach), this approach provides a simple and clear way to construct first integrals with the help of symmetries of a Hamiltonian. The approach is illustrated by a number of exa…
▽ More
In this paper we consider the relation between symmetries and first integrals of canonical Hamiltonian equations. Based on a newly established identity (which is an analog of well known Noether's identity for Lagrangian approach), this approach provides a simple and clear way to construct first integrals with the help of symmetries of a Hamiltonian. The approach is illustrated by a number of examples, including equations of the three-dimensional Kepler motion.
△ Less
Submitted 15 May, 2009; v1 submitted 8 September, 2008;
originally announced September 2008.
-
On the Linearization of Second-Order Differential and Difference Equations
Authors:
Vladimir Dorodnitsyn
Abstract:
This article complements recent results of the papers [J. Math. Phys. 41 (2000), 480; 45 (2004), 336] on the symmetry classification of second-order ordinary difference equations and meshes, as well as the Lagrangian formalism and Noether-type integration technique. It turned out that there exist nonlinear superposition principles for solutions of special second-order ordinary difference equatio…
▽ More
This article complements recent results of the papers [J. Math. Phys. 41 (2000), 480; 45 (2004), 336] on the symmetry classification of second-order ordinary difference equations and meshes, as well as the Lagrangian formalism and Noether-type integration technique. It turned out that there exist nonlinear superposition principles for solutions of special second-order ordinary difference equations which possess Lie group symmetries. This superposition springs from the linearization of second-order ordinary difference equations by means of non-point transformations which act simultaneously on equations and meshes. These transformations become some sort of contact transformations in the continuous limit.
△ Less
Submitted 16 August, 2006;
originally announced August 2006.
-
Continuous symmetries of Lagrangians and exact solutions of discrete equations
Authors:
Vladimir Dorodnitsyn,
Roman Kozlov,
Pavel Winternitz
Abstract:
One of the difficulties encountered when studying physical theories in discrete space-time is that of describing the underlying continuous symmetries (like Lorentz, or Galilei invariance). One of the ways of addressing this difficulty is to consider point transformations acting simultaneously on difference equations and lattices. In a previous article we have classified ordinary difference schem…
▽ More
One of the difficulties encountered when studying physical theories in discrete space-time is that of describing the underlying continuous symmetries (like Lorentz, or Galilei invariance). One of the ways of addressing this difficulty is to consider point transformations acting simultaneously on difference equations and lattices. In a previous article we have classified ordinary difference schemes invariant under Lie groups of point transformations. The present article is devoted to an invariant Lagrangian formalism for scalar single-variable difference schemes. The formalism is used to obtain first integrals and explicit exact solutions of the schemes. Equations invariant under two- and three- dimensional groups of Lagrangian symmetries are considered.
△ Less
Submitted 23 July, 2003;
originally announced July 2003.
