-
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.
-
Group classification of the two-dimensional magnetogasdynamics equations in Lagrangian coordinates
Authors:
S. V. Meleshko,
E. I. Kaptsov,
S. Moyo,
G. M. Webb
Abstract:
The present paper is devoted to the group classification of magnetogasdynamics equations in which dependent variables in Euler coordinates depend on time and two spatial coordinates. It is assumed that the continuum is inviscid and nonthermal polytropic gas with infinite electrical conductivity. The equations are considered in mass Lagrangian coordinates. Use of Lagrangian coordinates allows reduc…
▽ More
The present paper is devoted to the group classification of magnetogasdynamics equations in which dependent variables in Euler coordinates depend on time and two spatial coordinates. It is assumed that the continuum is inviscid and nonthermal polytropic gas with infinite electrical conductivity. The equations are considered in mass Lagrangian coordinates. Use of Lagrangian coordinates allows reducing number of dependent variables. The analysis presented in this article gives complete group classification of the studied equations. This analysis is necessary for constructing invariant solutions and conservation laws on the base of Noether's theorem.
△ Less
Submitted 31 January, 2023; v1 submitted 4 December, 2022;
originally announced December 2022.
-
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.
-
Group classification of the two-dimensional Green-Naghdi equations with a time dependent bottom topography
Authors:
S. V. Meleshko
Abstract:
The two-dimensional Green-Naghdi equations with uneven bottom topography are studied in this paper. The function defining the bottom topography can be dependent on time. Group classification of these equations with respect to the function describing the topography of the bottom is performed in the paper. The algebraic approach used for the analysis of the classifying equations.
The two-dimensional Green-Naghdi equations with uneven bottom topography are studied in this paper. The function defining the bottom topography can be dependent on time. Group classification of these equations with respect to the function describing the topography of the bottom is performed in the paper. The algebraic approach used for the analysis of the classifying equations.
△ Less
Submitted 9 December, 2021;
originally announced December 2021.
-
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.
-
Group analysis approach for finding reciprocal transformations for the two-dimensional stationary gasdynamics
Authors:
P. Siriwat,
S. V. Meleshko
Abstract:
Equivalence transformations play one of the important roles in continuum mechanics. These transformations reduce the original equations to simpler forms. One of the classes of nonlocal equivalence transformations is the class of reciprocal transformations. Despite the long history of applications of such transformations in continuum mechanics, there is no method of obtaining them. Recently such a…
▽ More
Equivalence transformations play one of the important roles in continuum mechanics. These transformations reduce the original equations to simpler forms. One of the classes of nonlocal equivalence transformations is the class of reciprocal transformations. Despite the long history of applications of such transformations in continuum mechanics, there is no method of obtaining them. Recently such a method was proposed by the second author of the present paper. The method uses group analysis approach and it consists of similar steps as for finding an equivalence group of transformations. The new method provides a systematic tool for finding classes of reciprocal transformations (group of reciprocal transformations). As an illustration, the method was applied to the one-dimensional gas dynamics equations, and new reciprocal transformations were found. Similar to the classical group analysis this approach can be also applied for finding all reciprocal transformations (not only composing a group) of studied equations. The present paper provides this algorithm. As an illustration the method is applied to the two-dimensional stationary gas dynamics equations. Equivalence group, reciprocal equivalence group and completeness of all discrete reciprocal transformations are presented in the paper.
△ Less
Submitted 28 August, 2021;
originally announced August 2021.
-
Reciprocal Transformations in Relativistic Gasdynamics. Lie Group Connections
Authors:
Sergey V. Meleshko,
Colin Rogers
Abstract:
Reciprocal transformations associated with admitted conservation laws were originally used to derive invariance properties in non-relativistic gasdynamics and applied to obtain reduction to tractable canonical forms. They have subsequently been shown to have diverse physical applications to nonlinear systems, notably in the analytic treatment of Stefan-type moving boundary problem and in linking i…
▽ More
Reciprocal transformations associated with admitted conservation laws were originally used to derive invariance properties in non-relativistic gasdynamics and applied to obtain reduction to tractable canonical forms. They have subsequently been shown to have diverse physical applications to nonlinear systems, notably in the analytic treatment of Stefan-type moving boundary problem and in linking inverse scattering systems and integrable hierarchies in soliton theory. Here,invariance under classes of reciprocal transformations in relativistic gasdynamics is shown to be linked to a Lie group procedure.
△ Less
Submitted 15 July, 2021; v1 submitted 13 April, 2021;
originally announced April 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 Solutions of the Two-Dimensional Shallow Water Equations with a Particular Class of Bottoms
Authors:
S. V. Meleshko,
N. F. Samatova
Abstract:
The two-dimensional shallow water equations with a particular bottom and the Coriolis's force $f=f_{0}+Ωy$ are studied in this paper. The main goal of the paper is to describe all invariant solutions for which the reduced system is a system of ordinary differential equations. For solving the systems of ordinary differential equations we use the sixth-order Runge-Kutta method.
The two-dimensional shallow water equations with a particular bottom and the Coriolis's force $f=f_{0}+Ωy$ are studied in this paper. The main goal of the paper is to describe all invariant solutions for which the reduced system is a system of ordinary differential equations. For solving the systems of ordinary differential equations we use the sixth-order Runge-Kutta method.
△ Less
Submitted 7 January, 2020;
originally announced January 2020.
-
Conservation Laws of One-Dimensional Equations of Relativistic Gas Dynamics in Lagrangian Coordinates
Authors:
Warisa Nakpim,
Sergey V. Meleshko
Abstract:
The present paper is focused on the analysis of the one-dimensional relativistic gas dynamics equations. The studied equations are considered in Lagrangian description, making it possible to find a Lagrangian such that the relativistic gas dynamics equations can be rewritten in a variational form. Complete group analysis of the Euler-Lagrange equation is performed. The symmetries found are used to…
▽ More
The present paper is focused on the analysis of the one-dimensional relativistic gas dynamics equations. The studied equations are considered in Lagrangian description, making it possible to find a Lagrangian such that the relativistic gas dynamics equations can be rewritten in a variational form. Complete group analysis of the Euler-Lagrange equation is performed. The symmetries found are used to derive conservation laws in Lagrangian variables by means of Noether's theorem. The analogs of the newly found conservation laws in Eulerian coordinates are presented as well.
△ Less
Submitted 28 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.
-
Analysis of the One-dimensional Euler-Lagrange equation of continuum mechanics with a Lagrangian of a special form
Authors:
E. I. Kaptsov,
S. V. Meleshko
Abstract:
Flows of one-dimensional continuum in Lagrangian coordinates are studied in the paper. Equations describing these flows are reduced to a single Euler-Lagrange equation which contains two undefined functions. Particular choices of the undefined functions correspond to isentropic flows of an ideal gas, different forms of the hyperbolic shallow water equations. Complete group classification of the eq…
▽ More
Flows of one-dimensional continuum in Lagrangian coordinates are studied in the paper. Equations describing these flows are reduced to a single Euler-Lagrange equation which contains two undefined functions. Particular choices of the undefined functions correspond to isentropic flows of an ideal gas, different forms of the hyperbolic shallow water equations. Complete group classification of the equation with respect to these functions is performed. Using Noether's theorem, all conservation laws are obtained. Their analogs in Eulerian coordinates are given.
△ Less
Submitted 11 December, 2018;
originally announced December 2018.
-
Conservation Laws of the Two-Dimensional Gas Dynamics Equations
Authors:
E. I. Kaptsov,
S. V. Meleshko
Abstract:
Two-dimensional gas dynamics equations in mass Lagrangian coordinates are studied in this paper. The equations describing these flows are reduced to two Euler-Lagrange equations. Using group classification and Noether's theorem, conservation laws are obtained. Their counterparts in Eulerian coordinates are given. Among these counterparts there are new conservation laws.
Two-dimensional gas dynamics equations in mass Lagrangian coordinates are studied in this paper. The equations describing these flows are reduced to two Euler-Lagrange equations. Using group classification and Noether's theorem, conservation laws are obtained. Their counterparts in Eulerian coordinates are given. Among these counterparts there are new conservation laws.
△ 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.
-
Application of the admitted Lie group of the \\ classical Boltzmann equation to classification of the \\ Boltzmann equation with a source term
Authors:
Adisak Karnbanjong,
Amornrat Suriyawichitseranee,
Yurii N. Grigoriev,
Sergey V. Meleshko
Abstract:
The classical Boltzmann equation is an integro-differential equation which describes the time evolution of rarefied gas in terms of a molecular distribution function. For some kinetic problems where it is necessary to add in the Boltzmann equation a source term depending on the independent and dependent variables. This paper is devoted to applying preliminary group classification to the Boltzmann…
▽ More
The classical Boltzmann equation is an integro-differential equation which describes the time evolution of rarefied gas in terms of a molecular distribution function. For some kinetic problems where it is necessary to add in the Boltzmann equation a source term depending on the independent and dependent variables. This paper is devoted to applying preliminary group classification to the Boltzmann equation with a source function by using the Lie group $L_{11}$ admitted by the classical Boltzmann equation.
The developed strategy for deriving determining equation of an integro-differential equation with a source (in general form) using a known Lie group admitted by the corresponding equation without the source is applied to the Boltzmann equation with a source. Solving the determining equation for the source function for each subalgebra of the optimal system of subalgebras of the Lie algebra $L_{11}$, a preliminary group classification of the Boltzmann equation with respect to the source function is obtained.
Furthermore, representations of invariant solutions of the Boltzmann equation with a source are presented. The reduced equations are also shown for some representations of invariant solutions.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
Group analysis of the Fourier transform of the spatially homogeneous and isotropic Boltzmann equation with a source term
Authors:
A. Suriyawichitseranee,
Yu. N. Grigoriev,
S. V. Meleshko
Abstract:
The paper is devoted to group analysis of the spatially homogeneous and isotropic Boltzmann equation with a source term. In fact, the Fourier transform of the Boltzmann equation with respect to the molecular velocity variable is considered. Using a particular class of solutions, the determining equation for the admitted Lie group is reduced to a partial differential equation for the source functio…
▽ More
The paper is devoted to group analysis of the spatially homogeneous and isotropic Boltzmann equation with a source term. In fact, the Fourier transform of the Boltzmann equation with respect to the molecular velocity variable is considered. Using a particular class of solutions, the determining equation for the admitted Lie group is reduced to a partial differential equation for the source function. The latter equation is analyzed by an algebraic method. A complete group classification of the Fourier transform of the Boltzmann equation is given. All invariant solutions of this equation are also presented in the paper.
△ Less
Submitted 24 March, 2014;
originally announced March 2014.
-
Applications of Group Analysis to the Three-Dimensional Equations of Fluids with Internal Inertia
Authors:
Piyanuch Siriwat,
Sergey V. Meleshko
Abstract:
Group classification of the three-dimensional equations describing flows of fluids with internal inertia, where the potential function $W= W(ρ,\dotρ)$, is presented. The given equations include such models as the non-linear one-velocity model of a bubbly fluid with incompressible liquid phase at small volume concentration of gas bubbles, and the dispersive shallow water model. These models are o…
▽ More
Group classification of the three-dimensional equations describing flows of fluids with internal inertia, where the potential function $W= W(ρ,\dotρ)$, is presented. The given equations include such models as the non-linear one-velocity model of a bubbly fluid with incompressible liquid phase at small volume concentration of gas bubbles, and the dispersive shallow water model. These models are obtained for special types of the function $W(ρ,\dotρ)$. Group classification separates out the function $W(ρ,\dotρ)$ at 15 different cases. Another part of the manuscript is devoted to one class of partially invariant solutions. This solution is constructed on the base of all rotations. In the gas dynamics such class of solutions is called the Ovsyannikov vortex. Group classification of the system of equations for invariant functions is obtained. Complete analysis of invariant solutions for the special type of a potential function is given.
△ Less
Submitted 24 February, 2008;
originally announced February 2008.