Miura type transformations and homogeneous spaces

We relate Miura type transformations (MTs) over an evolution system to its zero-curvature representations with values in Lie algebras g. We prove that certain homogeneous spaces of g produce MTs and show how to distinguish these spaces. For a scalar translation-invariant evolution equation this allows to classify all MTs in terms of homogeneous spaces of the Wahlquist-Estabrook algebra of the equation. For other evolution systems this allows to construct some MTs. As an example, we study MTs over the KdV equation, a 5th order equation of Harry-Dym type, and the coupled KdV-mKdV system of Kersten and Krasilshchik.Comment: 17 pages; v3, v2: minor improvement

Lie algebras responsible for zero-curvature representations of scalar evolution equations

Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable PDEs. In particular, Lax pairs for (1+1)-dimensional PDEs can be interpreted as ZCRs. For any (1+1)-dimensional scalar evolution equation $E$, we define a family of Lie algebras $F(E)$ which are responsible for all ZCRs of $E$ in the following sense. Representations of the algebras $F(E)$ classify all ZCRs of the equation $E$ up to local gauge transformations. To achieve this, we find a normal form for ZCRs with respect to the action of the group of local gauge transformations. As we show in other publications, using these algebras, one obtains some necessary conditions for integrability of the considered PDEs (where integrability is understood in the sense of soliton theory) and necessary conditions for existence of a B\"acklund transformation between two given equations. Examples of proving non-integrability and applications to obtaining non-existence results for B\"acklund transformations are presented in other publications as well. In our approach, ZCRs may depend on partial derivatives of arbitrary order, which may be higher than the order of the equation $E$. The algebras $F(E)$ generalize Wahlquist-Estabrook prolongation algebras, which are responsible for a much smaller class of ZCRs. In this paper we describe general properties of $F(E)$ and present generators and relations for these algebras. In other publications we study the structure of $F(E)$ for equations of KdV, Krichever-Novikov, Kaup-Kupershmidt, Sawada-Kotera types. Among the obtained algebras, one finds infinite-dimensional Lie algebras of certain matrix-valued functions on rational and elliptic algebraic curves.Comment: 23 pages; v4: some results have been moved to other preprint

On Lie algebras responsible for integrability of (1+1)-dimensional scalar evolution PDEs

Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable PDEs. In particular, Lax pairs for (1+1)-dimensional PDEs can be interpreted as ZCRs. In [arXiv:1303.3575], for any (1+1)-dimensional scalar evolution equation $E$, we defined a family of Lie algebras $F(E)$ which are responsible for all ZCRs of $E$ in the following sense. Representations of the algebras $F(E)$ classify all ZCRs of the equation $E$ up to local gauge transformations. In [arXiv:1804.04652] we showed that, using these algebras, one obtains necessary conditions for existence of a B\"acklund transformation between two given equations. The algebras $F(E)$ are defined in terms of generators and relations. In this paper we show that, using the algebras $F(E)$, one obtains some necessary conditions for integrability of (1+1)-dimensional scalar evolution PDEs, where integrability is understood in the sense of soliton theory. Using these conditions, we prove non-integrability for some scalar evolution PDEs of order $5$. Also, we prove a result announced in [arXiv:1303.3575] on the structure of the algebras $F(E)$ for certain classes of equations of orders $3$, $5$, $7$, which include KdV, mKdV, Kaup-Kupershmidt, Sawada-Kotera type equations. Among the obtained algebras for equations considered in this paper and in [arXiv:1804.04652], one finds infinite-dimensional Lie algebras of certain polynomial matrix-valued functions on affine algebraic curves of genus $1$ and $0$. In this approach, ZCRs may depend on partial derivatives of arbitrary order, which may be higher than the order of the equation $E$. The algebras $F(E)$ generalize Wahlquist-Estabrook prolongation algebras, which are responsible for a much smaller class of ZCRs.Comment: 29 pages; v2: consideration of zero-curvature representations with values in infinite-dimensional Lie algebras added. arXiv admin note: text overlap with arXiv:1303.3575, arXiv:1804.04652, arXiv:1703.0721

Prolongation structure of the Krichever-Novikov equation

We completely describe Wahlquist-Estabrook prolongation structures (coverings) dependent on u, u_x, u_{xx}, u_{xxx} for the Krichever-Novikov equation u_t=u_{xxx}-3u_{xx}^2/(2u_x)+p(u)/u_x+au_x in the case when the polynomial p(u)=4u^3-g_2u-g_3 has distinct roots. We prove that there is a universal prolongation algebra isomorphic to the direct sum of a commutative 2-dimensional algebra and a certain subalgebra of the tensor product of sl_2(C) with the algebra of regular functions on an affine elliptic curve. This is achieved by identifying this prolongation algebra with the one for the anisotropic Landau-Lifshitz equation. Using these results, we find for the Krichever-Novikov equation a new zero-curvature representation, which is polynomial in the spectral parameter in contrast to the known elliptic ones.Comment: 13 pages, revised version with minor change

On the formalism of local variational differential operators

The calculus of local variational differential operators introduced by B. L. Voronov, I. V. Tyutin, and Sh. S. Shakhverdiev is studied in the context of jet super space geometry. In a coordinate-free way, we relate these operators to variational multivectors, for which we introduce and compute the variational Poisson and Schouten brackets by means of a unifying algebraic scheme. We give a geometric definition of the algebra of multilocal functionals and prove that local variational differential operators are well defined on this algebra. To achieve this, we obtain some analytical results on the calculus of variations in smooth vector bundles, which may be of independent interest. In addition, our results give a new a new efficient method for finding Hamiltonian structures of differential equations

On Lie algebras responsible for zero-curvature representations of multicomponent (1+1)-dimensional evolution PDEs

Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable $(1+1)$-dimensional PDEs. According to the preprint arXiv:1212.2199, for any given $(1+1)$-dimensional evolution PDE one can define a sequence of Lie algebras $F^p$, $p=0,1,2,3,\dots$, such that representations of these algebras classify all ZCRs of the PDE up to local gauge equivalence. ZCRs depending on derivatives of arbitrary finite order are allowed. Furthermore, these algebras provide necessary conditions for existence of Backlund transformations between two given PDEs. The algebras $F^p$ are defined in arXiv:1212.2199 in terms of generators and relations. In the present paper, we describe some methods to study the structure of the algebras $F^p$ for multicomponent $(1+1)$-dimensional evolution PDEs. Using these methods, we compute the explicit structure (up to non-essential nilpotent ideals) of the Lie algebras $F^p$ for the Landau-Lifshitz, nonlinear Schrodinger equations, and for the $n$-component Landau-Lifshitz system of Golubchik and Sokolov for any $n>3$. In particular, this means that for the $n$-component Landau-Lifshitz system we classify all ZCRs (depending on derivatives of arbitrary finite order), up to local gauge equivalence and up to killing nilpotent ideals in the corresponding Lie algebras. The presented methods to classify ZCRs can be applied also to other $(1+1)$-dimensional evolution PDEs. Furthermore, the obtained results can be used for proving non-existence of Backlund transformations between some PDEs, which will be described in forthcoming publications.Comment: 56 pages. arXiv admin note: text overlap with arXiv:1303.357

Coverings and the fundamental group for partial differential equations

Following I. S. Krasilshchik and A. M. Vinogradov, we regard systems of PDEs as manifolds with involutive distributions and consider their special morphisms called differential coverings, which include constructions like Lax pairs and B\"acklund transformations in soliton theory. We show that, similarly to usual coverings in topology, at least for some PDEs differential coverings are determined by actions of a sort of fundamental group. This is not a discrete group, but a certain system of Lie groups. From this we deduce an algebraic necessary condition for two PDEs to be connected by a B\"acklund transformation. For the KdV equation and the nonsingular Krichever-Novikov equation these systems of Lie groups are determined by certain infinite-dimensional Lie algebras of Kac-Moody type. We prove that these two equations are not connected by any B\"acklund transformation. To achieve this, for a wide class of Lie algebras $\mathfrak{g}$ we prove that any subalgebra of $\mathfrak{g}$ of finite codimension contains an ideal of $\mathfrak{g}$ of finite codimension