Searcharxiv⌕ Search

arXiv subjects

Yuri B. Suris

Publications and source records attributed to Yuri B. Suris.

At least 37 records · Page 2Linked to original sources

Discrete time Toda systems

In this paper, we discuss several concepts of the modern theory of discrete integrable systems, including: - Time discretization based on the notion of Bäcklund transformation; - Symplectic realizations of multi-Hamiltonian structures; - Interrelations between discrete 1D systems and lattice 2D systems; - Multi-dimensional consistency as integrability of discrete systems; - Interrelations between integrable systems of quad-equations and integrable systems of Laplace type; - Pluri-Lagrangian structure as integrability of discrete variational systems. All these concepts are illustrated by the discrete time Toda lattices and their relativistic analogs.

math-ph↗

Variational symmetries and pluri-Lagrangian systems in classical mechanics

We analyze the relation of the notion of a pluri-Lagrangian system, which recently emerged in the theory of integrable systems, to the classical notion of variational symmetry, due to E. Noether. We treat classical mechanical systems and show that, for any Lagrangian system with $m$ commuting variational symmetries, one can construct a pluri-Lagrangian 1-form in the $(m+1)$-dimensional time, whose multi-time Euler-Lagrange equations coincide with the original system supplied with $m$ commuting evolutionary flows corresponding to the variational symmetries. We also give a Hamiltonian counterpart of this construction, leading, for any system of commuting Hamiltonian flows, to a pluri-Lagrangian 1-form with coefficients depending on functions in the phase space.

math-ph↗

On a discretization of confocal quadrics. II. A geometric approach to general parametrizations

We propose a discretization of classical confocal coordinates. It is based on a novel characterization thereof as factorizable orthogonal coordinate systems. Our geometric discretization leads to factorizable discrete nets with a novel discrete analog of the orthogonality property. A discrete confocal coordinate system may be constructed geometrically via polarity with respect to a sequence of classical confocal quadrics. Various sequences correspond to various discrete parametrizations. The coordinate functions of discrete confocal quadrics are computed explicitly. The theory is illustrated with a variety of examples in two and three dimensions. These include confocal coordinate systems parametrized in terms of Jacobi elliptic functions. Connections with incircular (IC) nets and a generalized Euler-Poisson-Darboux system are established.

math.DG↗

A construction of commuting systems of integrable symplectic birational maps. Lie-Poisson case

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.

nlin.SI↗

A construction of commuting systems of integrable symplectic birational maps

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.

nlin.SI↗

A construction of a large family of commuting pairs of integrable symplectic birational 4-dimensional maps

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.

nlin.SI↗

On a discretization of confocal quadrics. I. An integrable systems approach

Confocal quadrics lie at the heart of the system of confocal coordinates (also called elliptic coordinates, after Jacobi). We suggest a discretization which respects two crucial properties of confocal coordinates: separability and all two-dimensional coordinate subnets being isothermic surfaces (that is, allowing a conformal parametrization along curvature lines, or, equivalently, supporting orthogonal Koenigs nets). Our construction is based on an integrable discretization of the Euler-Poisson-Darboux equation and leads to discrete nets with the separability property, with all two-dimensional subnets being Koenigs nets, and with an additional novel discrete analog of the orthogonality property. The coordinate functions of our discrete nets are given explicitly in terms of gamma functions.

math.DG↗

On the construction of elliptic solutions of integrable birational maps

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.

nlin.SI↗

On the classification of multidimensionally consistent 3D maps

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}}. $$

math-ph↗

On the Lagrangian structure of integrable hierarchies

We develop the concept of pluri-Lagrangian structures for integrable hierarchies. This is a continuous counterpart of the pluri-Lagrangian (or Lagrangian multiform) theory of integrable lattice systems. We derive the multi-time Euler Lagrange equations in their full generality for hierarchies of two-dimensional systems, and construct a pluri-Lagrangian formulation of the potential Korteweg-de Vries hierarchy.

math-ph↗

On the variational interpretation of the discrete KP equation

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.

math-ph↗

Multi-time Lagrangian 1-forms for families of Bäcklund transformations. Relativistic Toda-type systems

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.

math-ph↗

On integrability of discrete variational systems. Octahedron relations

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.

nlin.SI↗

What is integrability of discrete variational systems?

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.

math-ph↗

Multi-time Lagrangian 1-forms for families of Bäcklund transformations. Toda-type systems

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.

nlin.SI↗