arXiv subjects

Yuri B. Suris

Publications and source records attributed to Yuri B. Suris.

At least 55 records · Page 3Linked to original sources

arXiv2013

Variational formulation of commuting Hamiltonian flows: multi-time Lagrangian 1-forms

Recently, Lobb and Nijhoff initiated the study of variational (Lagrangian) structure of discrete integrable systems from the perspective of multi-dimensional consistency. In the present work, we follow this line of research and develop a Lagrangian theory of integrable one-dimensional systems. We give a complete solution of the following problem: one looks for a function of several variables (interpreted as multi-time) which delivers critical points to the action functionals obtained by integrating a Lagrangian 1-form along any smooth curve in the multi-time. The Lagrangian 1-form is supposed to depend on the first jet of the sought-after function. We derive the corresponding multi-time Euler-Lagrange equations and show that, under the multi-time Legendre transform, they are equivalent to a system of commuting Hamiltonian flows. Involutivity of the Hamilton functions turns out to be equivalent to closeness of the Lagrangian 1-form on solutions of the multi-time Euler-Lagrange equations. In the discrete time context, the analogous extremal property turns out to be characteristic for systems of commuting symplectic maps. For one-parameter families of commuting symplectic maps (Bäcklund transformations), we show that their spectrality property, introduced by Kuznetsov and Sklyanin, is equivalent to the property of the Lagrangian 1-form to be closed on solutions of the multi-time Euler-Lagrange equations, and propose a procedure of constructing Lax representations starting from the maps themselves.

math-ph↗

arXiv2012

S. Kovalevskaya system, its generalization and discretization

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.

math-ph↗

arXiv2012

Spherical geometry and integrable 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.

math-ph↗

arXiv2011

On the Lagrangian structure of 3D consistent systems of asymmetric quad-equations

Recently, the first-named author gave a classification of 3D consistent 6-tuples of quad-equations with the tetrahedron property; several novel asymmetric 6-tuples have been found. Due to 3D consistency, these 6-tuples can be extended to discrete integrable systems on Z^m. We establish Lagrangian structures and flip-invariance of the action functional for the class of discrete integrable systems involving equations for which some of the biquadratics are non-degenerate and some are degenerate. This class covers, among others, some of the above mentioned novel systems.

nlin.SI↗

arXiv2011

On integrability of Hirota-Kimura type discretizations

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.

nlin.SI↗

arXiv2010

Classification of integrable discrete equations of octahedron type

We use the consistency approach to classify discrete integrable 3D equations of the octahedron type. They are naturally treated on the root lattice $Q(A_3)$ and are consistent on the multidimensional lattice $Q(A_N)$. Our list includes the most prominent representatives of this class, the discrete KP equation and its Schwarzian (multi-ratio) version, as well as three further equations. The combinatorics and geometry of the octahedron type equations are explained. In particular, the consistency on the 4-dimensional Delaunay cells has its origin in the classical Desargues theorem of projective geometry. The main technical tool used for the classification is the so called tripodal form of the octahedron type equations.

nlin.SI↗

arXiv2010

On the Lagrangian structure of integrable quad-equations

The new idea of flip invariance of action functionals in multidimensional lattices was recently highlighted as a key feature of discrete integrable systems. Flip invariance was proved for several particular cases of integrable quad-equations by Bazhanov, Mangazeev and Sergeev and by Lobb and Nijhoff. We provide a simple and case-independent proof for all integrable quad-equations. Moreover, we find a new relation for Lagrangians within one elementary quadrilateral which seems to be a fundamental building block of the various versions of flip invariance.

nlin.SI↗

arXiv2009

Non-symmetric discrete Toda systems from quad-graphs

For all non-symmetric discrete relativistic Toda type equations we establish a relation to 3D consistent systems of quad-equations. Unlike the more simple and better understood symmetric case, here the three coordinate planes of $\mathbb Z^3$ carry different equations. Our construction allows for an algorithmic derivation of the zero curvature representations and yields analogous results also for the continuous time case.

nlin.SI↗

arXiv2008

Integrable discrete nets in Grassmannians

We consider discrete nets in Grassmannians $\mathbb{G}^d_r$ which generalize Q-nets (maps $\mathbb{Z}^N\to\mathbb{P}^d$ with planar elementary quadrilaterals) and Darboux nets ($\mathbb{P}^d$-valued maps defined on the edges of $\mathbb{Z}^N$ such that quadruples of points corresponding to elementary squares are all collinear). We give a geometric proof of integrability (multidimensional consistency) of these novel nets, and show that they are analytically described by the noncommutative discrete Darboux system.

math.DG↗

arXiv2007

Discrete Koenigs nets and discrete isothermic surfaces

We discuss discretization of Koenigs nets (conjugate nets with equal Laplace invariants) and of isothermic surfaces. Our discretization is based on the notion of dual quadrilaterals: two planar quadrilaterals are called dual, if their corresponding sides are parallel, and their non-corresponding diagonals are parallel. Discrete Koenigs nets are defined as nets with planar quadrilaterals admitting dual nets. Several novel geometric properties of discrete Koenigs nets are found; in particular, two-dimensional discrete Koenigs nets can be characterized by co-planarity of the intersection points of diagonals of elementary quadrilaterals adjacent to any vertex; this characterization is invariant with respect to projective transformations. Discrete isothermic nets are defined as circular Koenigs nets. This is a new geometric characterization of discrete isothermic surfaces introduced previously as circular nets with factorized cross-ratios.

math.DG↗

arXiv2007

On the Hamiltonian structure of Hirota-Kimura discretization of the Euler top

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.

math-ph↗

arXiv2007

An integrable discretization of the rational su(2) Gaudin model and related systems

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.

nlin.SI↗

arXiv2007

Discrete nonlinear hyperbolic equations. Classification of integrable cases

We consider discrete nonlinear hyperbolic equations on quad-graphs, in particular on the square lattice. The fields are associated to the vertices and an equation Q(x_1,x_2,x_3,x_4)=0 relates four fields at one quad. Integrability of equations is understood as 3D-consistency. The latter is a possibility to consistently impose equations of the same type on all the faces of a three-dimensional cube. This allows to set these equations also on multidimensional lattices Z^N. We classify integrable equations with complex fields x, and Q affine-linear with respect to all arguments. The method is based on analysis of singular solutions.

nlin.SI↗

arXiv2006

On organizing principles of Discrete Differential Geometry. Geometry of spheres

Discrete differential geometry aims to develop discrete equivalents of the geometric notions and methods of classical differential geometry. In this survey we discuss the following two fundamental Discretization Principles: the transformation group principle (smooth geometric objects and their discretizations are invariant with respect to the same transformation group) and the consistency principle (discretizations of smooth parametrized geometries can be extended to multidimensional consistent nets). The main concrete geometric problem discussed in this survey is a discretization of curvature line parametrized surfaces in Lie geometry. We find a discretization of curvature line parametrization which unifies the circular and conical nets by systematically applying the Discretization Principles.

math.DG↗

arXiv2006

Isothermic surfaces in sphere geometries as Moutard nets

We give an elaborated treatment of discrete isothermic surfaces and their analogs in different geometries (projective, Möbius, Laguerre, Lie). We find the core of the theory to be a novel projective characterization of discrete isothermic nets as Moutard nets. The latter belong to projective geometry and are nets with planar faces defined through a five-point property: a vertex and its four diagonal neighbors span a three dimensional space. Analytically this property is equivalent to the existence of representatives in the space of homogeneous coordinates satisfying the discrete Moutard equation. Restricting the projective theory to quadrics, we obtain Moutard nets in sphere geometries. In particular, Moutard nets in Möbius geometry are shown to coincide with discrete isothermic nets. The five-point property in this particular case says that a vertex and its four diagonal neighbors lie on a common sphere, which is a novel characterization of discrete isothermic surfaces. Discrete Laguerre isothermic surfaces are defined through the corresponding five-plane property which requires that a plane and its four diagonal neighbors share a common touching sphere. Equivalently, Laguerre isothermic surfaces are characterized by having an isothermic Gauss map. We conclude with Moutard nets in Lie geometry.

math.DG↗

arXiv2005

Discrete differential geometry. Consistency as integrability

A new field of discrete differential geometry is presently emerging on the border between differential and discrete geometry. Whereas classical differential geometry investigates smooth geometric shapes (such as surfaces), and discrete geometry studies geometric shapes with finite number of elements (such as polyhedra), the discrete differential geometry aims at the development of discrete equivalents of notions and methods of smooth surface theory. Current interest in this field derives not only from its importance in pure mathematics but also from its relevance for other fields like computer graphics. Recent progress in discrete differential geometry has lead, somewhat unexpectedly, to a better understanding of some fundamental structures lying in the basis of the classical differential geometry and of the theory of integrable systems. The goal of this book is to give a systematic presentation of current achievements in this field.

math.DG↗

arXiv2004

Linear and nonlinear theories of discrete analytic functions. Integrable structure and isomonodromic Green's function

Two discretizations, linear and nonlinear, of basic notions of the complex analysis are considered. The underlying lattice is an arbitrary quasicrystallic rhombic tiling of a plane. The linear theory is based on the discrete Cauchy-Riemann equations, the nonlinear one is based on the notion of circle patterns. We clarify the role of the rhombic condition in both theories: under this condition the corresponding equations are integrable (in the sense of 3D consistency, which yields also the existense of zero curvature representations, B"acklund transformations etc.). We demonstrate that in some precise sense the linear theory is a linearization of the nonlinear one: the tangent space to a set of integrable circle patterns at an isoradial point consists of discrete holomorphic functions which take real (imaginary) values on two sublattices. We extend solutions of the basic equations of both theories to Z^d, where d is the number of different edge slopes of the quasicrystallic tiling. In the linear theory, we give an integral representation of an arbitrary discrete holomorphic function, thus proving the density of discrete exponential functions. We introduce the d-dimensional discrete logarithmic function which is a generalization of Kenyon's discrete Green's function, and uncover several new properties of this function. We prove that it is an isomonodromic solution of the discrete Cauchy-Riemann equations, and that it is a tangent vector to the space of integrable circle patterns along the family of isomonodromic discrete power functions.

math.DG↗

arXiv2002

Integrable discretizations of some cases of the rigid body dynamics

A heavy top with a fixed point and a rigid body in an ideal fluid are important examples of Hamiltonian systems on a dual to the semidirect product Lie algebra $e(n)=so(n)\ltimes\mathbb R^n$. We give a Lagrangian derivation of the corresponding equations of motion, and introduce discrete time analogs of two integrable cases of these systems: the Lagrange top and the Clebsch case, respectively. The construction of discretizations is based on the discrete time Lagrangian mechanics on Lie groups, accompanied by the discrete time Lagrangian reduction. The resulting explicit maps on $e^*(n)$ are Poisson with respect to the Lie--Poisson bracket, and are also completely integrable. Lax representations of these maps are also found.

nlin.SI↗