In the article differential-difference (semi-discrete) lattices of hyperbolic type are investigated from the integrability viewpoint. More precisely we concentrate on a method for constructing generalized symmetries. This kind integrable lattices admit two hierarchies of generalized symmetries corresponding to the discrete and continuous independent variables $n$ and $x$. Symmetries corresponding to the direction of $n$ are constructed in a more or less standard way while when constructing symmetries of the other form we meet a problem of solving a functional equation. We have shown that to handle with this equation one can effectively use the concept of characteristic Lie-Rinehart algebras of semi-discrete models. Based on this observation, we have proposed a classification method for integrable semi-discrete lattices. One of the interesting results of this work is a new example of an integrable equation, which is a semi-discrete analogue of the Tzizeica equation. Such examples were not previously known.
A method of integrable discretization of the Liouville type nonlinear partial differential equations is suggested based on integrals. New examples of discrete Liouville type models are presented.
In this article we present some integrability conditions for partial difference equations obtained using the formal symmetries approach. We apply them to find integrable partial difference equations contained in a class of equations obtained by the multiple scale analysis of the general multilinear dispersive difference equation defined on the square.
We study the symmetry and integrability of a modified Camassa-Holm Equation (MCH), with an arbitrary parameter $k,$ of the form $$u_{t}+k(u-u_{xx})^2u_{x}-u_{xxt}+(u^{2}-{u_{x}}^2)(u_{x}-u_{xxx})=0.$$ By using Lie point symmetries we reduce the order of the above equation and also we obtain interesting novel solutions for the reduced ordinary differential equations. Finally we apply the Painlevé Test to the resultant nonlinear ordinary differential equation.
We consider the partial difference equations of the Adler-Bobenko-Suris classification, which are characterized as multidimensionally consistent. The latter property leads naturally to the construction of auto-B{ä}cklund transformations and Lax pairs for all the equations in this class. Their symmetry analysis is presented and infinite hierarchies of generalized symmetries are explicitly constructed.
Integrability conditions for difference equations admitting a second order formal recursion operator are presented and the derivation of symmetries and canonical conservation laws is discussed. In the generic case, nonlocal conservation laws are also generated. A new integrable equation satisfying the second order integrability conditions is presented and its integrability is established by the construction of symmetries, conservation laws and a 3x3 Lax representation. Finally, the relation of the symmetries of this equation to a generalized Bogoyavlensky lattice and a new integrable lattice a…
In this work, we establish a connection between the extended Prelle-Singer procedure with other widely used analytical methods to identify integrable systems in the case of $n^{th}$-order nonlinear ordinary differential equations (ODEs). By synthesizing these methods we bring out the interlink between Lie point symmetries, contact symmetries, $λ$-symmetries, adjoint-symmetries, null forms, Darboux polynomials, integrating factors, Jacobi last multiplier and generalized $λ$-symmetries corresponding to the $n^{th}$-order ODEs. We also prove these interlinks with suitable examples. By exploiting …
Recent concept of integrable nonholonomic deformation found for the KdV equation is extended to the mKdV equation and generalized to the AKNS system. For the deformed mKdV equation we find a matrix Lax pair, a novel two-fold integrable hierarchy and exact N-soliton solutions exhibiting unusual accelerating motion. We show that both the deformed KdV and mKdV systems possess infinitely many generalized symmetries, conserved quantities and a recursion operator.
An algorithm is constructed which allows to express conserved flows of hyperbolic equations in terms of corresponding conserved densities and to eliminate these flows from conservation laws of hyperbolic equations. The application of this algorithm to canonical conservation laws gives constructive necessary integrability conditions of hyperbolic equations in terms of the generalized Laplace invariants of these equations.
We study the deformations of the H equations, presented recently by Adler, Bobenko and Suris, which are naturally defined on a black-white lattice. For each one of these equations, two different three-leg forms are constructed, leading to two different discrete Toda type equations. Their multidimensional consistency leads to B{ä}cklund transformations relating different members of this class, as well as to Lax pairs. Their symmetry analysis is presented yielding infinite hierarchies of generalized symmetries.
We demonstrate, using the symbolic method together with p-adic and resultant methods,the existence of systems with exactly one or two generalized symmetries. Since the existence of one or two symmetries is often taken as a sure sign (or as the definition) of integrability, that is, the existence of symmetries on infinitely many orders,this shows that such practice is devoid of any mathematical foundation. Extensive computations show that systems with one symmetry are rather common, and with two symmetries are fairly rare, at least within the class we have been considering in this paper.
Generalized symmetry integrability test for discrete equations on the square lattice is studied. Integrability conditions are discussed. A method for searching higher symmetries (including non-autonomous ones) for quad graph equations is suggested based on characteristic vector fields.
We consider integrability structures of the generalized Hunter--Saxton equation. In particular, we obtain the Lax representation with nonremovable spectral parameter, find local recursion operators for symmetries and cosymmetries, generate an infinite-dimensional Lie algebra of higher symmetries, and prove existence of infinite number of cosymmetries of higher order. Further, we give an example of employing the higher order symmetry to constructing exact globally defined solutions for the generalized Hunter--Saxton equation.
We consider a class of systems of difference equations defined on an elementary quadrilateral of the ${\mathbb{Z}}^2$ lattice, define their eliminable and dynamical variables, and demonstrate their use. Using the existence of infinite hierarchies of symmetries as integrability criterion, we derive necessary integrability conditions and employ them in the construction of the lowest order symmetries of a given system. These considerations are demonstrated with the help of three systems from the class of systems under consideration.
In the paper we investigate integrability characteristics for the dispersionless Kadomtsev-Petviashvili hierarchy. These characteristics include symmetries, Hamiltonian structures and conserved quantities. We give a Lax triad to construct a master symmetry and a hierarchy of non-isospectral dispersionless Kadomtsev-Petviashvili flows. These non-isospectral flows, together with the known isospectral dispersionless Kadomtsev-Petviashvili flows, form a Lie algebra, which is used to derive two sets of symmetries for the isospectral dispersionless Kadomtsev-Petviashvili hierarchy. By means of the m…
The complete lists of vector hyperbolic equations on the sphere that have integrable third order vector isotropic and anisotropic symmetries are presented. Several new integrable hyperbolic vector models are found. By their integrability we mean the existence of vector Backlund transformations depending on a parameter. For all new equations such transformations are constructed.
Zero curvature formulations, pseudo-potentials, modified versions, ``Miura transformations'', and nonlocal symmetries of the Korteweg--de Vries, Camassa-- Holm and Hunter--Saxton equations are investigated from an unified point of view: these three equations belong to a two--parameters family of equations ``describing pseudo-spherical surfaces'', and therefore their basic integrability properties can be studied by geometrical means.
The different natures of approximate symmetries and their corresponding first integrals/invariants are delineated in the contexts of both Lie symmetries of ordinary differential equations and Noether symmetries of the Action Integral. Particular note is taken of the effect of taking higher orders of the perturbation parameter. Approximate symmetries of approximate first integrals/invariants and the problems of calculating them using the Lie method are considered.
It is investigated how two (standard or generalized) $λ-$symmetries of a given second-order ordinary differential equation can be used to solve the equation by quadratures. The method is based on the construction of two commuting generalized symmetries for this equation by using both $λ-$symmetries. The functions used in that construction are related with integrating factors of the reduced and auxiliary equations associated to the $λ-$symmetries. These functions can also be used to derive a Jacobi last multiplier and two integrating factors for the given equation. Some examples illustrate the …
We consider the problem of characterizing, for certain natural number $m$, the local $\mathcal{C}^m$-non-integrability near elliptic fixed points of smooth planar measure preserving maps. Our criterion relates this non-integrability with the existence of some Lie Symmetries associated to the maps, together with the study of the finiteness of its periodic points. One of the steps in the proof uses the regularity of the period function on the whole period annulus for non-degenerate centers, question that we believe that is interesting by itself. The obtained criterion can be applied to prove the…
Nonlinear reaction-diffusion systems are known to exhibit very many novel spatiotemporal patterns. Fisher equation is a prototype of diffusive equations. In this contribution we investigate the integrability properties of the generalized Fisher type equation to obtain physically interesting solutions using Lie symmetry analysis. In particular, we report several travelling wave patterns, static patterns and localized structures depending upon the choice of the parameters involved.
Representation theory is shown to be incomplete in terms of enumerating all integrable limits of quantum systems. As a consequence, one can find exactly solvable Hamiltonians which have apparently strongly broken symmetry. The number of these hidden symmetries depends upon the realization of the Hamiltonian.
We consider billiard ball motion in a convex domain on a constant curvature surface influenced by the constant magnetic field. We examine the existence of integral of motion which is polynomial in velocities. We prove that if such an integral exists then the boundary curve of the domain determines an algebraic curve in $\mathbf{C}^3$ which must be nonsingular. Using this fact we deduce that for any domain different from round disc for all but finitely many values of the magnitude of the magnetic field billiard motion does not have Polynomial in velocities integral of motion.
The article investigates systems of differential-difference equations of hyperbolic type, integrable in sense of Darboux. The concept of a complete set of independent characteristic integrals underlying Darboux integrability is discussed. A close connection is found between integrals and characteristic Lie-Rinehart algebras of the system. It is proved that a system of equations is Darboux integrable if and only if its characteristic algebras in both directions are finite-dimensional.
Nonlinear semi-discrete equations of the form t_x(n+1)=f(t(n), t(n+1), t_x(n)) are studied. An adequate algebraic formulation of the Darboux integrability is discussed and the attempt to adopt this notion to the classification of Darboux integrable chains has been undertaken.
We resolve the `baxterization' problem with the help of the automorphism group of the Yang-Baxter (resp. star-triangle, tetrahedron, \dots) equations. This infinite group of symmetries is realized as a non-linear (birational) Coxeter group acting on matrices, and exists as such, {\em beyond the narrow context of strict integrability}. It yields among other things an unexpected elliptic parametrization of the non-integrable sixteen-vertex model. It provides us with a class of discrete dynamical systems, and we address some related problems, such as characterizing the complexity of iterations.
In this paper, we investigate a relation between the Givental group of rank one and the Heisenberg-Virasoro symmetry group of the KP hierarchy. We prove, that only a two-parameter family of the Givental operators can be identified with elements of the Heisenberg-Virasoro symmetry group. This family describes triple Hodge integrals satisfying the Calabi-Yau condition. Using the identification of the elements of two groups we prove that the generating function of triple Hodge integrals satisfying the Calabi-Yau condition and its $Θ$-version are tau-functions of the KP hierarchy. This generalizes…
In this letter, the integrability aspects of a generalized Fisher type equation with modified diffusion in (1+1) and (2+1) dimensions are studied by carrying out a singularity structure and symmetry analysis. It is shown that the Painlevé property exists only for a special choice of the parameter ($m=2$). A Bäcklund transformation is shown to give rise to the linearizing transformation to the linear heat equation for this case ($m=2$). A Lie symmetry analysis also picks out the same case ($m=2$) as the only system among this class as having nontrivial infinite dimensional Lie algebra of symmet…
We review the integrable systems which arise as symmetry reductions of Plebanski's heavenly equations, and their generalisations. We also show that all four-dimensional null Kahler-Einstein (or type N hyper-heavenly) metrics with symmetry can be found from solutions to a variable coefficient generalisation of the dispersionless Kadomtsev-Petviashvili equation.
We study lens partitions functions for the three-dimensional $ N=2$ supersymmetric gauge theories on $S_b^3/Zr$. We consider an equality as a new hyperbolic hypergeometric solution to the star-star relation via the gauge/YBE correspondence. The correspondence allows the construction of integrable lattice spin models of statistical mechanics by the use of integral identities. Additionally, we obtain new hyperbolic hypergeometric integral identities of gauge theories.
The present paper is dedicated to integrable models with Mikhailov reduction groups $G_R \simeq \mathbb{D}_h.$ Their Lax representation allows us to prove, that their solution is equivalent to solving Riemann-Hilbert problems, whose contours depend on the realization of the $G_R$-action on the spectral parameter. Two new examples of Nonlinear Evolution Equations (NLEE) with $\mathbb{D}_h$ symmetries are presented.
A straightforward algorithm for the symbolic computation of higher-order symmetries of nonlinear evolution equations and lattice equations is presented. The scaling properties of the evolution or lattice equations are used to determine the polynomial form of the higher-order symmetries. The coefficients of the symmetry can be found by solving a linear system. The method applies to polynomial systems of PDEs of first-order in time and arbitrary order in one space variable. Likewise, lattices must be of first order in time but may involve arbitrary shifts in the discretized space variable. The a…
We discuss the interrelations between symmetry of an Ito stochastic differential equations (or systems thereof) and its integrability, extending in party results by R. Kozlov [J. Phys. A ${\bf 43}$ (2010) \& ${\bf 44}$ (2011)]. Together with integrability, we also consider the relations between symmetries and reducibility of a system of SDEs to a lower dimensional one. We consider both "deterministic" symmetries and "random" ones, in the sense introduced recently by Gaeta and Spadaro [J.Math. Phys. ${\bf 58}$ (2017)].
In this paper we try to find examples of integrable natural Hamiltonian systems on the sphere $S^2$ with the symmetries of each Platonic polyhedra. Although some of these systems are known, their expression is extremely complicated; we try here to find the simplest possible expressions for this kind of dynamical systems. Even in the simplest cases it is not easy to prove their integrability by direct computation of the first integrals, therefore, we make use of numerical methods to provide evidences of integrability; namely, by analyzing their Poincaré sections (surface sections). In this way …
In this paper we prove that the trapezoidal $H^{4}$ and the $H^{6}$ families of quad-equations are Darboux integrable systems. This result sheds light on the fact that such equations are linearizable as it was proved using the Algebraic Entropy test [G. Gubbiotti, C. Scimiterna and D. Levi, Algebraic entropy, symmetries and linearization for quad equations consistent on the cube, \emph{J. Nonlinear Math. Phys.}, 23(4):507543, 2016]. We conclude with some suggestions on how first integrals can be used to obtain general solutions.
The study of higher-dimensional black holes is a subject which has recently attracted a vast interest. Perhaps one of the most surprising discoveries is a realization that the properties of higher-dimensional black holes with the spherical horizon topology and described by the Kerr-NUT-(A)dS metrics are very similar to the properties of the well known four-dimensional Kerr metric. This remarkable result stems from the existence of a single object called the principal tensor. In our review we discuss explicit and hidden symmetries of higher-dimensional black holes. We start with the overview of…
Machine Learning of Nonlinear Waves: Data-Driven Methods for Computer-Assisted Discovery of Equations, Symmetries, Conservation Laws, and Integrability
School of Mathematics, Georgia Institute of Technology（佐治亚理工学院数学学院）
In the article a classification method for nonlinear integrable equations with three independent variables is discussed based on the notion of the integrable reductions. We call the equation integrable if it admits a large class of reductions being Darboux integrable systems of hyperbolic type equations with two independent variables. The most natural and convenient object to be studied within the frame of this scheme is the class of two dimensional lattices generalizing the well-known Toda lattice. In the present article we deal with the quasilinear lattices of the form $u_{n,xy}=α(u_{n+1} ,u…
We present a generalized study and characterization of the integrability properties of the derivative non-linear Schrödinger equation in 1+1 dimensions. A Lax pair is derived for this equation by means of a Miura transformation and the singular manifold method. This procedure, together with the Darboux transformations, allow us to construct a wide class of rational soliton-like solutions. Lie classical symmetries have also been computed and similarity reductions have been analyzed and discussed.
A Lax system in three variables is presented, two equations of which form the Lax pair of the stationary Davey-Stewartson II equation. With certain nonlinear constraints, the full integrability condition of this Lax system contains the hyperbolic Nizhnik-Novikov-Veselov equation and its standard Lax pair. The Darboux transformation for the Davey-Stewartson II equation is used to solve the hyperbolic Nizhnik-Novikov-Veselov equation. Using Darboux transformation, global $n$-soliton solutions are obtained. It is proved that each $n$-soliton solution approaches zero uniformly and exponentially at…
Three symbolic algorithms for testing the integrability of polynomial systems of partial differential and differential-difference equations are presented. The first algorithm is the well-known Painlevé test, which is applicable to polynomial systems of ordinary and partial differential equations. The second and third algorithms allow one to explicitly compute polynomial conserved densities and higher-order symmetries of nonlinear evolution and lattice equations. The first algorithm is implemented in the symbolic syntax of both Macsyma and Mathematica. The second and third algorithms are availa…
This article is devoted to the partial difference quad-graph equations that can be represented in the form $φ(u(i+1,j),u(i+1,j+1))=ψ(u(i,j),u(i,j+1))$, where the map $(w,z) \rightarrow (φ(w,z),ψ(w,z))$ is injective. The transformation $v(i,j)=φ(u(i,j),u(i,j+1))$ relates any of such equations to a quad-graph equation. It is proved that this transformation maps Darboux integrable equations of the above form into Darboux integrable equations again and decreases the orders of the transformed integrals by one in the $j$-direction. As an application of this fact, the Darboux integrable equations pos…
We derive and study the hyperbolic reduced Maxwell-Bloch equations (HRMB), a simplified model for the dynamics of strongly correlated Bose-Einstein condensates (BECs), and in particular for the interaction between the BEC atoms and its evaporated atoms under the strong interactions. This equation is one among four which are proven to be integrable via the existence of a Lax pair, and thus the method of inverse scattering transform. Another equation is the reduced Maxwell-Bloch equation of quantum optics and the two others do not have physical applications yet. By studying the linear stability …
We apply the Painleve test for integrability of partial differential equations to a system of two coupled Burgers-type equations found by Foursov, which was recently shown by Sergyeyev to possess infinitely many commuting local generalized symmetries without any recursion operator. The Painleve analysis easily detects that this is a typical C-integrable system in the Calogero sense and rediscovers its linearizing transformation.
The paper is devoted to hyperbolic (generally speaking, non-Lagrangian and nonlinear) partial differential systems possessing a full set of differential operators that map any function of one independent variable into a symmetry of the corresponding system. We demonstrate that a system has the above property if and only if this system admits a full set of formal integrals (i.e., differential operators which map symmetries into integrals of the system). As a consequence, such systems possess both direct and inverse Noether operators (in the terminology of a work by B. Fuchssteiner and A.S. Foka…
We begin by introducing a new procedure for construction of the exact solutions to Cauchy problem of the real-valued (hyperbolic) Novikov-Veselov equation which is based on the Moutard symmetry. The procedure shown therein utilizes the well-known Airy function $\Ai(ξ)$ which in turn serves as a solution to the ordinary differential equation $\frac{d^2 z}{d ξ^2} = ξz$. In the second part of the article we show that the aforementioned procedure can also work for the $n$-th order generalizations of the Novikov-Veselov equation, provided that one replaces the Airy function with the appropriate sol…
Quadratic systems generated using Yang-Baxter equations are integrable in a sense, but we display a deterioration in the possession of the Painlevé property as the number of equations in each `integrable system' increases. Certain intermediate systems are constructed and also tested for the Painlevé property. The Lie symmetries are also computed for completeness.
We give the Lax representations for for the elliptic, hyperbolic and homogeneous second order Monge-Ampere equations. The connection between these equations and the equations of hydrodynamical type give us a scalar dispersionless Lax representation. A matrix dispersive Lax representation follows from the correspondence between sigma models, a two parameter equation for minimal surfaces and Monge-Ampere equations. Local as well nonlocal conserved densities are obtained.
We obtain compatible Hamiltonian and symplectic structure for a new two-component fifth-order integrable system recently found by Mikhailov, Novikov and Wang (arXiv:0712.1972), and show that this system possesses a hereditary recursion operator and infinitely many commuting symmetries and conservation laws, as well as infinitely many compatible Hamiltonian and symplectic structures, and is therefore completely integrable. The system in question admits a reduction to the Kaup--Kupershmidt equation.
In this paper we make an attempt to give a consistent background and definitions suitable for the theory of integrable difference equations. We adapt a concept of recursion operator to difference equations and show that it generates an infinite sequence of symmetries and canonical conservation laws for a difference equation. Similar to the case of partial differential equations these canonical densities can serve as integrability conditions for difference equations. We have found the recursion operators for the Viallet and all ABS equations.
Using geometrical approach exposed in arXiv:math/0304245 and arXiv:nlin/0511012, we explore the Camassa-Holm equation (both in its initial scalar form, and in the form of 2x2-system). We describe Hamiltonian and symplectic structures, recursion operators and infinite series of symmetries and conservation laws (local and nonlocal).
The generalized symmetry method is applied to a class of completely discrete equations including the Adler-Bobenko-Suris list. Assuming the existence of a generalized symmetry, we derive a few integrability conditions suitable for testing and classifying equations of this class. Those conditions are used at the end to test for integrability discretizations of some well-known hyperbolic equations.
