-
Manin involutions for elliptic pencils and discrete integrable systems
Authors:
Matteo Petrera,
Yuri B. Suris,
Kangning Wei,
Rene Zander
Abstract:
We contribute to the algebraic-geometric study of discrete integrable systems generated by planar birational maps:
(a) we find geometric description of Manin involutions for elliptic pencils consisting of curves of higher degree, birationally equivalent to cubic pencils (Halphen pencils of index 1), and
(b) we characterize special geometry of base points ensuring that certain compositions of M…
▽ More
We contribute to the algebraic-geometric study of discrete integrable systems generated by planar birational maps:
(a) we find geometric description of Manin involutions for elliptic pencils consisting of curves of higher degree, birationally equivalent to cubic pencils (Halphen pencils of index 1), and
(b) we characterize special geometry of base points ensuring that certain compositions of Manin involutions are integrable maps of low degree (quadratic Cremona maps). In particular, we identify some integrable Kahan discretizations as compositions of Manin involutions for elliptic pencils of higher degree.
△ Less
Submitted 19 August, 2020;
originally announced August 2020.
-
How one can repair non-integrable Kahan discretizations
Authors:
Matteo Petrera,
Yuri B. Suris,
René Zander
Abstract:
Kahan discretization is applicable to any system of ordinary differential equations on $\mathbb R^n$ with a quadratic vector field, $\dot{x}=f(x)=Q(x)+Bx+c$, and produces a birational map $x\mapsto \widetilde{x}$ according to the formula $(\widetilde{x}-x)/ε=Q(x,\widetilde{x})+B(x+\widetilde{x})/2+c$, where $Q(x,\widetilde{x})$ is the symmetric bilinear form corresponding to the quadratic form…
▽ More
Kahan discretization is applicable to any system of ordinary differential equations on $\mathbb R^n$ with a quadratic vector field, $\dot{x}=f(x)=Q(x)+Bx+c$, and produces a birational map $x\mapsto \widetilde{x}$ according to the formula $(\widetilde{x}-x)/ε=Q(x,\widetilde{x})+B(x+\widetilde{x})/2+c$, where $Q(x,\widetilde{x})$ is the symmetric bilinear form corresponding to the quadratic form $Q(x)$. When applied to integrable systems, Kahan discretization preserves integrability much more frequently than one would expect a priori, however not always. We show that in some cases where the original recipe fails to preserve integrability, one can adjust coefficients of the Kahan discretization to ensure its integrability.
△ Less
Submitted 27 March, 2020;
originally announced March 2020.
-
Variational symmetries and pluri-Lagrangian structures for integrable hierarchies of PDEs
Authors:
Matteo Petrera,
Mats Vermeeren
Abstract:
We investigate the relation between pluri-Lagrangian hierarchies of $2$-dimensional partial differential equations and their variational symmetries. The aim is to generalize to the case of partial differential equations the recent findings in [Petrera, Suris. J. Nonlinear Math. Phys. 24:sup1, 121--145 (2017)] for ordinary differential equations. We consider hierarchies of $2$-dimensional Lagrangia…
▽ More
We investigate the relation between pluri-Lagrangian hierarchies of $2$-dimensional partial differential equations and their variational symmetries. The aim is to generalize to the case of partial differential equations the recent findings in [Petrera, Suris. J. Nonlinear Math. Phys. 24:sup1, 121--145 (2017)] for ordinary differential equations. We consider hierarchies of $2$-dimensional Lagrangian PDEs (many of which have a natural $(1+1)$-dimensional space-time interpretation) and show that if the flow of each PDE is a variational symmetry of all others, then there exists a pluri-Lagrangian 2-form for the hierarchy. The corresponding multi-time Euler-Lagrange equations coincide with the original system supplied with commuting evolutionary flows induced by the variational symmetries.
△ Less
Submitted 16 December, 2020; v1 submitted 11 June, 2019;
originally announced June 2019.
-
Geometry of the Kahan discretizations of planar quadratic Hamiltonian systems. II. Systems with a linear Poisson tensor
Authors:
Matteo Petrera,
Yuri B. Suris
Abstract:
Kahan discretization is applicable to any quadratic vector field and produces a birational map which approximates the shift along the phase flow. For a planar quadratic Hamiltonian vector field with a linear Poisson tensor and with a quadratic Hamilton function, this map is known to be integrable and to preserve a pencil of conics. In the paper `Three classes of quadratic vector fields for which t…
▽ More
Kahan discretization is applicable to any quadratic vector field and produces a birational map which approximates the shift along the phase flow. For a planar quadratic Hamiltonian vector field with a linear Poisson tensor and with a quadratic Hamilton function, this map is known to be integrable and to preserve a pencil of conics. In the paper `Three classes of quadratic vector fields for which the Kahan discretization is the root of a generalised Manin transformation' by P. van der Kamp et al., it was shown that the Kahan discretization can be represented as a composition of two involutions on the pencil of conics. In the present note, which can be considered as a comment to that paper, we show that this result can be reversed. For a linear form $\ell(x,y)$, let $B_1,B_2$ be any two distinct points on the line $\ell(x,y)=-c$, and let $B_3,B_4$ be any two distinct points on the line $\ell(x,y)=c$. Set $B_0=\tfrac{1}{2}(B_1+B_3)$ and $B_5=\tfrac{1}{2}(B_2+B_4)$; these points lie on the line $\ell(x,y)=0$. Finally, let $B_\infty$ be the point at infinity on this line. Let $\mathfrak E$ be the pencil of conics with the base points $B_1,B_2,B_3,B_4$. Then the composition of the $B_\infty$-switch and of the $B_0$-switch on the pencil $\mathfrak E$ is the Kahan discretization of a Hamiltonian vector field $f=\ell(x,y)\begin{pmatrix}\partial H/\partial y \\ -\partial H/\partial x \end{pmatrix}$ with a quadratic Hamilton function $H(x,y)$. This birational map $Φ_f:\mathbb C P^2\dashrightarrow\mathbb C P^2$ has three singular points $B_0,B_2,B_4$, while the inverse map $Φ_f^{-1}$ has three singular points $B_1,B_3,B_5$.
△ Less
Submitted 13 November, 2018;
originally announced November 2018.
-
Geometry of the Kahan discretizations of planar quadratic Hamiltonian systems
Authors:
Matteo Petrera,
Jennifer Smirin,
Yuri B. Suris
Abstract:
Kahan discretization is applicable to any quadratic vector field and produces a birational map which approximates the shift along the phase flow. For a planar quadratic Hamiltonian vector field, this map is known to be integrable and to preserve a pencil of cubic curves. Generically, the nine base points of this pencil include three points at infinity (corresponding to the asymptotic directions of…
▽ More
Kahan discretization is applicable to any quadratic vector field and produces a birational map which approximates the shift along the phase flow. For a planar quadratic Hamiltonian vector field, this map is known to be integrable and to preserve a pencil of cubic curves. Generically, the nine base points of this pencil include three points at infinity (corresponding to the asymptotic directions of cubic curves) and six finite points lying on a conic. We show that the Kahan discretization map can be represented in six different ways as a composition of two Manin involutions, corresponding to an infinite base point and to a finite base point. As a consequence, the finite base points can be ordered so that the resulting hexagon has three pairs of parallel sides which pass through the three base points at infinity. Moreover, this geometric condition on the base points turns out to be characteristic: if it is satisfied, then the cubic curves of the corresponding pencil are invariant under the Kahan discretization of a planar quadratic Hamiltonian vector field.
△ Less
Submitted 30 October, 2018; v1 submitted 23 October, 2018;
originally announced October 2018.
-
New results on integrability of the Kahan-Hirota-Kimura discretizations
Authors:
Matteo Petrera,
Yuri B. Suris
Abstract:
R. Hirota and K. Kimura discovered integrable discretizations of the Euler and the Lagrange tops, given by birational maps. Their method is a specialization to the integrable context of a general discretization scheme introduced by W. Kahan and applicable to any vector field with a quadratic dependence on phase variables. We report several novel observations regarding integrability of the Kahan-Hi…
▽ More
R. Hirota and K. Kimura discovered integrable discretizations of the Euler and the Lagrange tops, given by birational maps. Their method is a specialization to the integrable context of a general discretization scheme introduced by W. Kahan and applicable to any vector field with a quadratic dependence on phase variables. We report several novel observations regarding integrability of the Kahan-Hirota-Kimura discretization. For several of the most complicated cases for which integrability is known (Clebsch system, Kirchhoff system, and Lagrange top),
- we give nice compact formulas for some of the more complicated integrals of motion and for the density of the invariant measure, and
- we establish the existence of higher order Wronskian Hirota-Kimura bases, generating the full set of integrals of motion.
While the first set of results admits nice algebraic proofs, the second one relies on computer algebra.
△ Less
Submitted 31 May, 2018;
originally announced May 2018.
-
A construction of commuting systems of integrable symplectic birational maps. Lie-Poisson case
Authors:
Matteo Petrera,
Yuri B. Suris
Abstract:
We give a construction of completely integrable ($2n$)-dimensional Hamiltonian systems with symplectic brackets of the Lie-Poisson type (linear in coordinates) and with quadratic Hamilton functions. Applying to any such system the so called Kahan-Hirota-Kimura discretization scheme, we arrive at a birational ($2n$)-dimensional map. We show that this map is symplectic with respect to a symplectic s…
▽ More
We give a construction of completely integrable ($2n$)-dimensional Hamiltonian systems with symplectic brackets of the Lie-Poisson type (linear in coordinates) and with quadratic Hamilton functions. Applying to any such system the so called Kahan-Hirota-Kimura discretization scheme, we arrive at a birational ($2n$)-dimensional map. We show that this map is symplectic with respect to a symplectic structure that is a perturbation of the original symplectic structure on $\mathbb R^{2n}$, and possesses $n$ independent integrals of motion, which are perturbations of the original Hamilton functions and are in involution with respect to the invariant symplectic structure. Thus, this map is completely integrable in the Liouville-Arnold sense. Moreover, under a suitable normalization of the original $n$-tuples of commuting vector fields, their Kahan-Hirota-Kimura discretizations also commute and share the invariant symplectic structure and the $n$ integrals of motion. This paper extends our previous ones, arXiv:1606.08238 [nlin.SI] and arXiv:1607.07085 [nlin.SI], where similar results were obtained for Hamiltonian systems with a constant (canonical) symplectic structure and cubic Hamilton functions.
△ Less
Submitted 13 December, 2016;
originally announced December 2016.
-
New classes of quadratic vector fields admitting integral-preserving Kahan-Hirota-Kimura discretizations
Authors:
Matteo Petrera,
René Zander
Abstract:
We present some new families of quadratic vector fields, not necessarily integrable, for which their Kahan-Hirota-Kimura discretization exhibits the preservation of some of the characterizing features of the underlying continuous systems (conserved quantities and invariant measures).
We present some new families of quadratic vector fields, not necessarily integrable, for which their Kahan-Hirota-Kimura discretization exhibits the preservation of some of the characterizing features of the underlying continuous systems (conserved quantities and invariant measures).
△ Less
Submitted 12 October, 2016;
originally announced October 2016.
-
A construction of commuting systems of integrable symplectic birational maps
Authors:
Matteo Petrera,
Yuri B. Suris
Abstract:
We give a construction of completely integrable $(2m)$-dimensional Hamiltonian systems with cubic Hamilton functions. The construction depends on a constant skew-Hamiltonian matrix $A$, that is, a matrix satisfying $A^{\rm T}J=JA$, where $J$ is a non-degenerate skew-symmetric matrix defining the standard symplectic structure on the phase space $\mathbb R^{2m}$. Applying to any such system the so c…
▽ More
We give a construction of completely integrable $(2m)$-dimensional Hamiltonian systems with cubic Hamilton functions. The construction depends on a constant skew-Hamiltonian matrix $A$, that is, a matrix satisfying $A^{\rm T}J=JA$, where $J$ is a non-degenerate skew-symmetric matrix defining the standard symplectic structure on the phase space $\mathbb R^{2m}$. Applying to any such system the so called Kahan-Hirota-Kimura discretization scheme, we arrive at a birational $(2m)$-dimensional map. We show that this map is symplectic with respect to a symplectic structure that is a perturbation of the standard symplectic structure on $\mathbb R^{2m}$, and possesses $m$ independent integrals of motion, which are perturbations of the original Hamilton functions and are in involution with respect to the invariant symplectic structure. Thus, this map is completely integrable in the Liouville-Arnold sense. Moreover, under a suitable normalization of the original $m$-tuples of commuting vector fields, their Kahan-Hirota-Kimura discretizations also commute and share the invariant symplectic structure and the $m$ integrals of motion.
△ Less
Submitted 24 July, 2016;
originally announced July 2016.
-
A construction of a large family of commuting pairs of integrable symplectic birational 4-dimensional maps
Authors:
Matteo Petrera,
Yuri B. Suris
Abstract:
We give a construction of completely integrable 4-dimensional Hamiltonian systems with cubic Hamilton functions. Applying to the corresponding pairs of commuting quadratic Hamiltonian vector fields the so called Kahan-Hirota-Kimura discretization scheme, we arrive at pairs of birational 4-dimensional maps. We show that these maps are symplectic with respect to a symplectic structure that is a pert…
▽ More
We give a construction of completely integrable 4-dimensional Hamiltonian systems with cubic Hamilton functions. Applying to the corresponding pairs of commuting quadratic Hamiltonian vector fields the so called Kahan-Hirota-Kimura discretization scheme, we arrive at pairs of birational 4-dimensional maps. We show that these maps are symplectic with respect to a symplectic structure that is a perturbation of the standard symplectic structure on $\mathbb R^4$, and possess two independent integrals of motion, which are perturbations of the original Hamilton functions. Thus, these maps are completely integrable in the Liouville-Arnold sense. Moreover, under a suitable normalization of the original pairs of vector fields, the pairs of maps commute and share the invariant symplectic structure and the two integrals of motion.
△ Less
Submitted 27 June, 2016;
originally announced June 2016.
-
On the classification of multidimensionally consistent 3D maps
Authors:
Matteo Petrera,
Yuri B. Suris
Abstract:
We classify multidimensionally consistent maps given by (formal or convergent) series of the following kind: $$ T_k x_{ij}=x_{ij} + \sum_{m=2}^\infty A_{ij ; \, k}^{(m)}(x_{ij},x_{ik},x_{jk}), $$ where $A_{ij;\, k}^{(m)}$ are homogeneous polynomials of degree $m$ of their respective arguments. The result of our classification is that the only non-trivial multidimensionally consistent map in this c…
▽ More
We classify multidimensionally consistent maps given by (formal or convergent) series of the following kind: $$ T_k x_{ij}=x_{ij} + \sum_{m=2}^\infty A_{ij ; \, k}^{(m)}(x_{ij},x_{ik},x_{jk}), $$ where $A_{ij;\, k}^{(m)}$ are homogeneous polynomials of degree $m$ of their respective arguments. The result of our classification is that the only non-trivial multidimensionally consistent map in this class is given by the well known symmetric discrete Darboux system $$ T_k x_{ij}=\frac{x_{ij}+x_{ik}x_{jk}}{\sqrt{1-x_{ik}^2}\sqrt{1-x_{jk}^2}}. $$
△ Less
Submitted 24 February, 2016; v1 submitted 10 September, 2015;
originally announced September 2015.
-
On the variational interpretation of the discrete KP equation
Authors:
Raphael Boll,
Matteo Petrera,
Yuri B. Suris
Abstract:
We study the variational structure of the discrete Kadomtsev-Petviashvili (dKP) equation by means of its pluri-Lagrangian formulation. We consider the dKP equation and its variational formulation on the cubic lattice ${\mathbb Z}^{N}$ as well as on the root lattice $Q(A_{N})$. We prove that, on a lattice of dimension at least four, the corresponding Euler-Lagrange equations are equivalent to the d…
▽ More
We study the variational structure of the discrete Kadomtsev-Petviashvili (dKP) equation by means of its pluri-Lagrangian formulation. We consider the dKP equation and its variational formulation on the cubic lattice ${\mathbb Z}^{N}$ as well as on the root lattice $Q(A_{N})$. We prove that, on a lattice of dimension at least four, the corresponding Euler-Lagrange equations are equivalent to the dKP equation.
△ Less
Submitted 1 June, 2015;
originally announced June 2015.
-
On the construction of elliptic solutions of integrable birational maps
Authors:
Matteo Petrera,
Andreas Pfadler,
Yuri B. Suris
Abstract:
We present a systematic technique to find explicit solutions of birational maps, provided that these solutions are given in terms of elliptic functions. The two main ingredients are: (i) application of classical addition theorems for elliptic functions, and (ii) experimental technique to detect an algebraic curve containing a given sequence of points in a plane. These methods are applied to Kahan-…
▽ More
We present a systematic technique to find explicit solutions of birational maps, provided that these solutions are given in terms of elliptic functions. The two main ingredients are: (i) application of classical addition theorems for elliptic functions, and (ii) experimental technique to detect an algebraic curve containing a given sequence of points in a plane. These methods are applied to Kahan-Hirota-Kimura discretizations of the periodic Volterra chains with 3 and 4 particles.
△ Less
Submitted 7 March, 2016; v1 submitted 5 September, 2014;
originally announced September 2014.
-
Multi-time Lagrangian 1-forms for families of Bäcklund transformations. Relativistic Toda-type systems
Authors:
Raphael Boll,
Matteo Petrera,
Yuri B. Suris
Abstract:
We establish the pluri-Lagrangian structure for families of Bäcklund transformations of relativistic Toda-type systems. The key idea is a novel embedding of these discrete-time (one-dimensional) systems into certain two-dimensional pluri-Lagrangian lattice systems. This embedding allows us to identify the corner equations (which are the main building blocks of the multi-time Euler-Lagrange equatio…
▽ More
We establish the pluri-Lagrangian structure for families of Bäcklund transformations of relativistic Toda-type systems. The key idea is a novel embedding of these discrete-time (one-dimensional) systems into certain two-dimensional pluri-Lagrangian lattice systems. This embedding allows us to identify the corner equations (which are the main building blocks of the multi-time Euler-Lagrange equations) with local superposition formulae for Bäcklund transformations. These superposition formulae, in turn, are key ingredients necessary to understand and to prove commutativity of the multi-valued Bäcklund transformations. Furthermore, we discover a two-dimensional generalization of the spectrality property known for families of Bäcklund transformations. This result produces a family of local conservations laws for two-dimensional pluri-Lagrangian lattice systems, with densities being derivatives of the discrete 2-form with respect to the Bäcklund (spectral) parameter. Thus, a relation of the pluri-Lagrangian structure with more traditional integrability notions is established.
△ Less
Submitted 11 August, 2014;
originally announced August 2014.
-
On integrability of discrete variational systems. Octahedron relations
Authors:
Raphael Boll,
Matteo Petrera,
Yuri B. Suris
Abstract:
We elucidate consistency of the so-called corner equations which are elementary building blocks of Euler-Lagrange equations for two-dimensional pluri-Lagrangian problems. We show that their consistency can be derived from the existence of two independent octahedron relations. We give explicit formulas for octahedron relations in terms of corner equations.
We elucidate consistency of the so-called corner equations which are elementary building blocks of Euler-Lagrange equations for two-dimensional pluri-Lagrangian problems. We show that their consistency can be derived from the existence of two independent octahedron relations. We give explicit formulas for octahedron relations in terms of corner equations.
△ Less
Submitted 3 June, 2014;
originally announced June 2014.
-
What is integrability of discrete variational systems?
Authors:
Raphael Boll,
Matteo Petrera,
Yuri B. Suris
Abstract:
We propose a notion of a pluri-Lagrangian problem, which should be understood as an analog of multi-dimensional consistency for variational systems. This is a development along the line of research of discrete integrable Lagrangian systems initiated in 2009 by Lobb and Nijhoff, however having its more remote roots in the theory of pluriharmonic functions, in the Z-invariant models of statistical m…
▽ More
We propose a notion of a pluri-Lagrangian problem, which should be understood as an analog of multi-dimensional consistency for variational systems. This is a development along the line of research of discrete integrable Lagrangian systems initiated in 2009 by Lobb and Nijhoff, however having its more remote roots in the theory of pluriharmonic functions, in the Z-invariant models of statistical mechanics and their quasiclassical limit, as well as in the theory of variational symmetries going back to Noether. A d-dimensional pluri-Lagrangian problem can be described as follows: given a d-form L on an m-dimensional space (called multi-time, m>d), whose coefficients depend on a sought-after function x of m independent variables (called field), find those fields x which deliver critical points to the action functionals $S_Σ=\int_Σ L$ for any d-dimensional manifold $Σ$ in the multi-time. We derive the main building blocks of the multi-time Euler-Lagrange equations for a discrete pluri-Lagrangian problem with d=2, the so called corner equations, and discuss the notion of consistency of the system of corner equations. We analyze the system of corner equations for a special class of three-point 2-forms, corresponding to integrable quad-equations of the ABS list. This allows us to close a conceptual gap of the work by Lobb and Nijhoff by showing that the corresponding 2-forms are closed not only on solutions of (non-variational) quad-equations, but also on general solutions of the corresponding corner equations. We also find an example of a pluri-Lagrangian system not coming from a multidimensionally consistent system of quad-equations.
△ Less
Submitted 1 July, 2013;
originally announced July 2013.
-
Multi-time Lagrangian 1-forms for families of Bäcklund transformations. Toda-type systems
Authors:
Raphael Boll,
Matteo Petrera,
Yuri B. Suris
Abstract:
General Lagrangian theory of discrete one-dimensional integrable systems is illustrated by a detailed study of Bäcklund transformations for Toda-type systems. Commutativity of Bäcklund transformations is shown to be equivalent to consistency of the system of discrete multi-time Euler-Lagrange equations. The precise meaning of the commutativity in the periodic case, when all maps are double-valued,…
▽ More
General Lagrangian theory of discrete one-dimensional integrable systems is illustrated by a detailed study of Bäcklund transformations for Toda-type systems. Commutativity of Bäcklund transformations is shown to be equivalent to consistency of the system of discrete multi-time Euler-Lagrange equations. The precise meaning of the commutativity in the periodic case, when all maps are double-valued, is established. It is shown that gluing of different branches is governed by the so called superposition formulas. The closure relation for the multi-time Lagrangian 1-form on solutions of the variational equations is proved for all Toda-type systems. Superposition formulas are instrumental for this proof. The closure relation was previously shown to be equivalent to the spectrality property of Bäcklund transformations, i.e., to the fact that the derivative of the Lagrangian with respect to the spectral parameter is a common integral of motion of the family of Bäcklund transformations. We relate this integral of motion to the monodromy matrix of the zero curvature representation which is derived directly from equations of motion in an algorithmic way. This serves as a further evidence in favor of the idea that Bäcklund transformations serve as zero curvature representations for themselves.
△ Less
Submitted 28 February, 2013;
originally announced February 2013.
-
S. Kovalevskaya system, its generalization and discretization
Authors:
Matteo Petrera,
Yuri B. Suris
Abstract:
We consider an integrable three-dimensional system of ordinary differential equations introduced by S.V. Kovalevskaya in a letter to G. Mittag-Leffler. We prove its isomorphism with the three-dimensional Euler top, and propose two integrable discretizations for it. Then we present an integrable generalization of the Kovalevskaya system, and study the problem of integrable discretization for this g…
▽ More
We consider an integrable three-dimensional system of ordinary differential equations introduced by S.V. Kovalevskaya in a letter to G. Mittag-Leffler. We prove its isomorphism with the three-dimensional Euler top, and propose two integrable discretizations for it. Then we present an integrable generalization of the Kovalevskaya system, and study the problem of integrable discretization for this generalized system.
△ Less
Submitted 18 August, 2012;
originally announced August 2012.
-
Spherical geometry and integrable systems
Authors:
Matteo Petrera,
Yuri B. Suris
Abstract:
We prove that the cosine law for spherical triangles and spherical tetrahedra defines integrable systems, both in the sense of multidimensional consistency and in the sense of dynamical systems.
We prove that the cosine law for spherical triangles and spherical tetrahedra defines integrable systems, both in the sense of multidimensional consistency and in the sense of dynamical systems.
△ Less
Submitted 17 August, 2012;
originally announced August 2012.
-
On integrability of Hirota-Kimura type discretizations
Authors:
Matteo Petrera,
Andreas Pfadler,
Yuri B. Suris
Abstract:
We give an overview of the integrability of the Hirota-Kimura discretization method applied to algebraically completely integrable (a.c.i.) systems with quadratic vector fields. Along with the description of the basic mechanism of integrability (Hirota-Kimura bases), we provide the reader with a fairly complete list of the currently available results for concrete a.c.i. systems.
We give an overview of the integrability of the Hirota-Kimura discretization method applied to algebraically completely integrable (a.c.i.) systems with quadratic vector fields. Along with the description of the basic mechanism of integrability (Hirota-Kimura bases), we provide the reader with a fairly complete list of the currently available results for concrete a.c.i. systems.
△ Less
Submitted 4 February, 2011; v1 submitted 5 August, 2010;
originally announced August 2010.
-
Three-dimensional discrete systems of Hirota-Kimura type and deformed Lie-Poisson algebras
Authors:
A. N. W. Hone,
M. Petrera
Abstract:
Recently Hirota and Kimura presented a new discretization of the Euler top with several remarkable properties. In particular this discretization shares with the original continuous system the feature that it is an algebraically completely integrable bi-Hamiltonian system in three dimensions. The Hirota-Kimura discretization scheme turns out to be equivalent to an approach to numerical integratio…
▽ More
Recently Hirota and Kimura presented a new discretization of the Euler top with several remarkable properties. In particular this discretization shares with the original continuous system the feature that it is an algebraically completely integrable bi-Hamiltonian system in three dimensions. The Hirota-Kimura discretization scheme turns out to be equivalent to an approach to numerical integration of quadratic vector fields that was introduced by Kahan, who applied it to the two-dimensional Lotka-Volterra system.
The Euler top is naturally written in terms of the $\mathfrak{so}(3)$ Lie-Poisson algebra. Here we consider algebraically integrable systems that are associated with pairs of Lie-Poisson algebras in three dimensions, as presented by Gümral and Nutku, and construct birational maps that discretize them according to the scheme of Kahan and Hirota-Kimura. We show that the maps thus obtained are also bi-Hamiltonian, with pairs of compatible Poisson brackets that are one-parameter deformations of the original Lie-Poisson algebras, and hence they are completely integrable. For comparison, we also present analogous discretizations for three bi-Hamiltonian systems that have a transcendental invariant, and finally we analyze all of the maps obtained from the viewpoint of Halburd's Diophantine integrability criterion.
△ Less
Submitted 30 October, 2008;
originally announced October 2008.
-
On integrability of Hirota-Kimura type discretizations. Experimental study of the discrete Clebsch system
Authors:
M. Petrera,
A. Pfadler,
Yu. B. Suris
Abstract:
R. Hirota and K. Kimura discovered integrable discretizations of the Euler and the Lagrange tops, given by birational maps. Their method is a specialization to the integrable context of a general discretization scheme introduced by W. Kahan and applicable to any vector field with a quadratic dependence on phase variables. According to a proposal by T. Ratiu, discretizations of the Hirota-Kimura…
▽ More
R. Hirota and K. Kimura discovered integrable discretizations of the Euler and the Lagrange tops, given by birational maps. Their method is a specialization to the integrable context of a general discretization scheme introduced by W. Kahan and applicable to any vector field with a quadratic dependence on phase variables. According to a proposal by T. Ratiu, discretizations of the Hirota-Kimura type can be considered for numerous integrable systems of classical mechanics. Due to a remarkable and not well understood mechanism, such discretizations seem to inherit the integrability for all algebraically completely integrable systems. We introduce an experimental method for a rigorous study of integrability of such discretizations. Application of this method to the Hirota-Kimura type discretization of the Clebsch system leads to the discovery of four functionally independent integrals of motion of this discrete time system, which turn out to be much more complicated than the integrals of the continuous time system. Further, we prove that every orbit of the discrete time Clebsch system lies in an intersection of four quadrics in the six-dimensional phase space. Analogous results hold for the Hirota-Kimura type discretizations for all commuting flows of the Clebsch system, as well as for the $so(4)$ Euler top.
△ Less
Submitted 25 August, 2008;
originally announced August 2008.
-
On Miura Transformations and Volterra-Type Equations Associated with the Adler-Bobenko-Suris Equations
Authors:
Decio Levi,
Matteo Petrera,
Christian Scimiterna,
Ravil Yamilov
Abstract:
We construct Miura transformations mapping the scalar spectral problems of the integrable lattice equations belonging to the Adler-Bobenko-Suris (ABS) list into the discrete Schrödinger spectral problem associated with Volterra-type equations. We show that the ABS equations correspond to Bäcklund transformations for some particular cases of the discrete Krichever-Novikov equation found by Yamilo…
▽ More
We construct Miura transformations mapping the scalar spectral problems of the integrable lattice equations belonging to the Adler-Bobenko-Suris (ABS) list into the discrete Schrödinger spectral problem associated with Volterra-type equations. We show that the ABS equations correspond to Bäcklund transformations for some particular cases of the discrete Krichever-Novikov equation found by Yamilov (YdKN equation). This enables us to construct new generalized symmetries for the ABS equations. The same can be said about the generalizations of the ABS equations introduced by Tongas, Tsoubelis and Xenitidis. All of them generate Bäcklund transformations for the YdKN equation. The higher order generalized symmetries we construct in the present paper confirm their integrability.
△ Less
Submitted 8 November, 2008; v1 submitted 13 February, 2008;
originally announced February 2008.
-
Multiscale expansion on the lattice and integrability of partial difference equations
Authors:
Rafael Hernandez Heredero,
Decio Levi,
Matteo Petrera,
Christian Scimiterna
Abstract:
We conjecture an integrability and linearizability test for dispersive Z^2-lattice equations by using a discrete multiscale analysis. The lowest order secularity conditions from the multiscale expansion give a partial differential equation of the form of the nonlinear Schrodinger (NLS) equation. If the starting lattice equation is integrable then the resulting NLS equation turns out to be integr…
▽ More
We conjecture an integrability and linearizability test for dispersive Z^2-lattice equations by using a discrete multiscale analysis. The lowest order secularity conditions from the multiscale expansion give a partial differential equation of the form of the nonlinear Schrodinger (NLS) equation. If the starting lattice equation is integrable then the resulting NLS equation turns out to be integrable, while if the starting equation is linearizable we get a linear Schrodinger equation. On the other hand, if we start with a non-integrable lattice equation we may obtain a non-integrable NLS equation. This conjecture is confirmed by many examples.
△ Less
Submitted 24 January, 2008; v1 submitted 28 October, 2007;
originally announced October 2007.
-
On the Hamiltonian structure of Hirota-Kimura discretization of the Euler top
Authors:
Matteo Petrera,
Yuri B. Suris
Abstract:
This paper deals with a remarkable integrable discretization of the so(3) Euler top introduced by Hirota and Kimura. Such a discretization leads to an explicit map, whose integrability has been understood by finding two independent integrals of motion and a solution in terms of elliptic functions. Our goal is the construction of its Hamiltonian formulation. After giving a simplified and streamli…
▽ More
This paper deals with a remarkable integrable discretization of the so(3) Euler top introduced by Hirota and Kimura. Such a discretization leads to an explicit map, whose integrability has been understood by finding two independent integrals of motion and a solution in terms of elliptic functions. Our goal is the construction of its Hamiltonian formulation. After giving a simplified and streamlined presentation of their results, we provide a bi-Hamiltonian structure for this discretization, thus proving its integrability in the standard Liouville-Arnold sense.
△ Less
Submitted 30 July, 2007;
originally announced July 2007.
-
An integrable discretization of the rational su(2) Gaudin model and related systems
Authors:
Matteo Petrera,
Yuri B. Suris
Abstract:
The first part of the present paper is devoted to a systematic construction of continuous-time finite-dimensional integrable systems arising from the rational su(2) Gaudin model through certain contraction procedures. In the second part, we derive an explicit integrable Poisson map discretizing a particular Hamiltonian flow of the rational su(2) Gaudin model. Then, the contraction procedures ena…
▽ More
The first part of the present paper is devoted to a systematic construction of continuous-time finite-dimensional integrable systems arising from the rational su(2) Gaudin model through certain contraction procedures. In the second part, we derive an explicit integrable Poisson map discretizing a particular Hamiltonian flow of the rational su(2) Gaudin model. Then, the contraction procedures enable us to construct explicit integrable discretizations of the continuous systems derived in the first part of the paper.
△ Less
Submitted 27 July, 2007;
originally announced July 2007.
-
From su(2) Gaudin Models to Integrable Tops
Authors:
Matteo Petrera,
Orlando Ragnisco
Abstract:
In the present paper we derive two well-known integrable cases of rigid body dynamics (the Lagrange top and the Clebsch system) performing an algebraic contraction on the two-body Lax matrices governing the (classical) su(2) Gaudin models. The procedure preserves the linear r-matrix formulation of the ancestor models. We give the Lax representation of the resulting integrable systems in terms of…
▽ More
In the present paper we derive two well-known integrable cases of rigid body dynamics (the Lagrange top and the Clebsch system) performing an algebraic contraction on the two-body Lax matrices governing the (classical) su(2) Gaudin models. The procedure preserves the linear r-matrix formulation of the ancestor models. We give the Lax representation of the resulting integrable systems in terms of su(2) Lax matrices with rational and elliptic dependencies on the spectral parameter. We finally give some results about the many-body extensions of the constructed systems.
△ Less
Submitted 20 April, 2007; v1 submitted 13 March, 2007;
originally announced March 2007.
-
Gaudin models with ${\CU}_q(\mathfrak{osp}(1 | 2))$ symmetry
Authors:
Fabio Musso,
Matteo Petrera,
Orlando Ragnisco,
Giovanni Satta
Abstract:
We consider a Gaudin model related to the q-deformed superalgebra ${\CU}_q(\mathfrak{osp}(1 | 2))$. We present an exact solution to that system diagonalizing a complete set of commuting observables, and providing the corresponding eigenvectors and eigenvalues. The approach used in this paper is based on the coalgebra supersymmetry of the model.
We consider a Gaudin model related to the q-deformed superalgebra ${\CU}_q(\mathfrak{osp}(1 | 2))$. We present an exact solution to that system diagonalizing a complete set of commuting observables, and providing the corresponding eigenvectors and eigenvalues. The approach used in this paper is based on the coalgebra supersymmetry of the model.
△ Less
Submitted 17 January, 2005; v1 submitted 13 January, 2005;
originally announced January 2005.
-
Bäcklund transformations for the rational Lagrange chain
Authors:
Fabio Musso,
Matteo Petrera,
Orlando Ragnisco,
Giovanni Satta
Abstract:
We consider a long--range homogeneous chain where the local variables are the generators of the direct sum of $N$ $\mathfrak{e}(3)$ interacting Lagrange tops. We call this classical integrable model rational ``Lagrange chain'' showing how one can obtain it starting from $\mathfrak{su}(2)$ rational Gaudin models. Moreover we construct one- and two--point integrable maps (Bäcklund transformations)…
▽ More
We consider a long--range homogeneous chain where the local variables are the generators of the direct sum of $N$ $\mathfrak{e}(3)$ interacting Lagrange tops. We call this classical integrable model rational ``Lagrange chain'' showing how one can obtain it starting from $\mathfrak{su}(2)$ rational Gaudin models. Moreover we construct one- and two--point integrable maps (Bäcklund transformations).
△ Less
Submitted 6 December, 2004;
originally announced December 2004.
-
Algebraic extensions of Gaudin models
Authors:
Fabio Musso,
Matteo Petrera,
Orlando Ragnisco
Abstract:
We perform a Inönü--Wigner contraction on Gaudin models, showing how the integrability property is preserved by this algebraic procedure. Starting from Gaudin models we obtain new integrable chains, that we call Lagrange chains, associated to the same linear $r$-matrix structure. We give a general construction involving rational, trigonometric and elliptic solutions of the classical Yang-Baxter…
▽ More
We perform a Inönü--Wigner contraction on Gaudin models, showing how the integrability property is preserved by this algebraic procedure. Starting from Gaudin models we obtain new integrable chains, that we call Lagrange chains, associated to the same linear $r$-matrix structure. We give a general construction involving rational, trigonometric and elliptic solutions of the classical Yang-Baxter equation. Two particular examples are explicitly considered: the rational Lagrange chain and the trigonometric one. In both cases local variables of the models are the generators of the direct sum of $N$ $\mathfrak{e}(3)$ interacting tops.
△ Less
Submitted 21 December, 2004; v1 submitted 12 October, 2004;
originally announced October 2004.
-
Separation of variables and Bäcklund transformations for the symmetric Lagrange top
Authors:
Vadim B. Kuznetsov,
Matteo Petrera,
Orlando Ragnisco
Abstract:
We construct the 1- and 2-point integrable maps (Bäcklund transformations) for the symmetric Lagrange top. We show that the Lagrange top has the same algebraic Poisson structure that belongs to the $sl(2)$ Gaudin magnet. The 2-point map leads to a real time-discretization of the continuous flow. Therefore, it provides an integrable numerical scheme for integrating the physical flow. We illustrat…
▽ More
We construct the 1- and 2-point integrable maps (Bäcklund transformations) for the symmetric Lagrange top. We show that the Lagrange top has the same algebraic Poisson structure that belongs to the $sl(2)$ Gaudin magnet. The 2-point map leads to a real time-discretization of the continuous flow. Therefore, it provides an integrable numerical scheme for integrating the physical flow. We illustrate the construction by few pictures of the discrete flow calculated in MATLAB.
△ Less
Submitted 18 March, 2004; v1 submitted 16 March, 2004;
originally announced March 2004.
