Symmetries of the Continuous and Discrete Krichever-Novikov Equation
A symmetry classification is performed for a class of differential-difference equations depending on 9 parameters. A 6-parameter subclass of these equations is an integrable discretization of the Krichever-Novikov equation. The dimension n of the Lie point symmetry algebra satisfies 1≤n≤5. The highe...
Gespeichert in:
| Datum: | 2011 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Artikel |
| Sprache: | English |
| Veröffentlicht: |
Інститут математики НАН України
2011
|
| Schriftenreihe: | Symmetry, Integrability and Geometry: Methods and Applications |
| Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/147657 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Symmetries of the Continuous and Discrete Krichever-Novikov Equation / D. Levi, P. Winternitz, R.I. Yamilov // Symmetry, Integrability and Geometry: Methods and Applications. — 2011. — Т. 7. — Бібліогр.: 31 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-147657 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1476572019-02-16T01:25:40Z Symmetries of the Continuous and Discrete Krichever-Novikov Equation Levi, D. Winternitz, P. Yamilov, R.I. A symmetry classification is performed for a class of differential-difference equations depending on 9 parameters. A 6-parameter subclass of these equations is an integrable discretization of the Krichever-Novikov equation. The dimension n of the Lie point symmetry algebra satisfies 1≤n≤5. The highest dimensions, namely n=5 and n=4 occur only in the integrable cases. 2011 Article Symmetries of the Continuous and Discrete Krichever-Novikov Equation / D. Levi, P. Winternitz, R.I. Yamilov // Symmetry, Integrability and Geometry: Methods and Applications. — 2011. — Т. 7. — Бібліогр.: 31 назв. — англ. 1815-0659 2010 Mathematics Subject Classification: 35B06; 35K25; 37K10; 39A14 http://dspace.nbuv.gov.ua/handle/123456789/147657 en Symmetry, Integrability and Geometry: Methods and Applications Інститут математики НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
English |
| description |
A symmetry classification is performed for a class of differential-difference equations depending on 9 parameters. A 6-parameter subclass of these equations is an integrable discretization of the Krichever-Novikov equation. The dimension n of the Lie point symmetry algebra satisfies 1≤n≤5. The highest dimensions, namely n=5 and n=4 occur only in the integrable cases. |
| format |
Article |
| author |
Levi, D. Winternitz, P. Yamilov, R.I. |
| spellingShingle |
Levi, D. Winternitz, P. Yamilov, R.I. Symmetries of the Continuous and Discrete Krichever-Novikov Equation Symmetry, Integrability and Geometry: Methods and Applications |
| author_facet |
Levi, D. Winternitz, P. Yamilov, R.I. |
| author_sort |
Levi, D. |
| title |
Symmetries of the Continuous and Discrete Krichever-Novikov Equation |
| title_short |
Symmetries of the Continuous and Discrete Krichever-Novikov Equation |
| title_full |
Symmetries of the Continuous and Discrete Krichever-Novikov Equation |
| title_fullStr |
Symmetries of the Continuous and Discrete Krichever-Novikov Equation |
| title_full_unstemmed |
Symmetries of the Continuous and Discrete Krichever-Novikov Equation |
| title_sort |
symmetries of the continuous and discrete krichever-novikov equation |
| publisher |
Інститут математики НАН України |
| publishDate |
2011 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/147657 |
| citation_txt |
Symmetries of the Continuous and Discrete Krichever-Novikov Equation / D. Levi, P. Winternitz, R.I. Yamilov // Symmetry, Integrability and Geometry: Methods and Applications. — 2011. — Т. 7. — Бібліогр.: 31 назв. — англ. |
| series |
Symmetry, Integrability and Geometry: Methods and Applications |
| work_keys_str_mv |
AT levid symmetriesofthecontinuousanddiscretekrichevernovikovequation AT winternitzp symmetriesofthecontinuousanddiscretekrichevernovikovequation AT yamilovri symmetriesofthecontinuousanddiscretekrichevernovikovequation |
| first_indexed |
2025-07-11T02:34:29Z |
| last_indexed |
2025-07-11T02:34:29Z |
| _version_ |
1837316232837070848 |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 7 (2011), 097, 16 pages
Symmetries of the Continuous
and Discrete Krichever–Novikov Equation?
Decio LEVI †, Pavel WINTERNITZ ‡ and Ravil I. YAMILOV §
† Dipartimento di Ingegneria Elettronica, Università degli Studi Roma Tre and Sezione INFN,
Roma Tre, Via della Vasca Navale 84, 00146 Roma, Italy
E-mail: levi@roma3.infn.it
URL: http://optow.ele.uniroma3.it/levi.html
‡ Centre de recherches mathématiques and Département de mathématiques et de statistique,
Université de Montréal, C.P. 6128, succ. Centre-ville, H3C 3J7, Montréal (Québec), Canada
E-mail: wintern@crm.umontreal.ca
URL: http://www.crm.umontreal.ca/~wintern/
§ Ufa Institute of Mathematics, Russian Academy of Sciences,
112 Chernyshevsky Street, Ufa 450008, Russian Federation
E-mail: RvlYamilov@matem.anrb.ru
URL: http://matem.anrb.ru/en/yamilovri
Received June 16, 2011, in final form October 15, 2011; Published online October 23, 2011
http://dx.doi.org/10.3842/SIGMA.2011.097
Abstract. A symmetry classification is performed for a class of differential-difference
equations depending on 9 parameters. A 6-parameter subclass of these equations is an
integrable discretization of the Krichever–Novikov equation. The dimension n of the Lie
point symmetry algebra satisfies 1 ≤ n ≤ 5. The highest dimensions, namely n = 5 and
n = 4 occur only in the integrable cases.
Key words: symmetry classification; integrable PDEs; integrable differential-difference
equations
2010 Mathematics Subject Classification: 35B06; 35K25; 37K10; 39A14
1 Introduction
The Krichever–Novikov (KN) equation [7] is given by
u̇ =
1
4
uxxx −
3
8
(uxx)2
ux
+
3
2
P (u)
ux
, u̇ ≡ ut, (1.1)
where P (u) is an arbitrary fourth degree polynomial of its argument with constant coefficients.
This is a nonlinear partial differential equation with 5 arbitrary constant parameters. Equa-
tion (1.1) first appeared in the study of the finite gap solutions of the Kadomtsev–Petviashvili
equation [8, 7, 21]. For a special choice of P (u) (1.1) reduces to the Korteweg–de Vries equa-
tion but for a generic polynomial no differential substitution exists reducing equation (1.1) to
a KdV-type equation [24]. In [7, 5, 20], a zero-curvature representation was obtained for (1.1)
involving sl(2) matrices. The Hamiltonian structure of (1.1) was analyzed and possible applica-
tions were reviewed in [23, 17]. Bäcklund transformations have been constructed together with
the nonlinear superposition formulae in [1]. The Lax representation was used in [23] to prove
?This paper is a contribution to the Proceedings of the Conference “Symmetries and Integrability of
Difference Equations (SIDE-9)” (June 14–18, 2010, Varna, Bulgaria). The full collection is available at
http://www.emis.de/journals/SIGMA/SIDE-9.html
mailto:levi@roma3.infn.it
http://optow.ele.uniroma3.it/levi.html
mailto:wintern@crm.umontreal.ca
http://www.crm.umontreal.ca/~wintern/
mailto:RvlYamilov@matem.anrb.ru
http://matem.anrb.ru/en/yamilovri
http://dx.doi.org/10.3842/SIGMA.2011.097
http://www.emis.de/journals/SIGMA/SIDE-9.html
2 D. Levi, P. Winternitz and R.I. Yamilov
that (1.1) has conservation laws. In [3] the authors considered a generalization of (1.1) in which
the polynomial P (u) is an arbitrary function of u and studied its symmetry classification.
In 1983 Yamilov [30] introduced an integrable discretization of the Krichever–Novikov equa-
tion (the YdKN equation):
u̇n ≡ un,t = fn =
Sn
un+1 − un−1
, (1.2)
where the polynomial Sn is given by
Sn = Pnun+1un−1 +Qn(un+1 + un−1) +Rn,
Pn = αu2n + 2βun + γ, Qn = βu2n + λun + δ, Rn = γu2n + 2δun + ω. (1.3)
This is a differential-difference equation with 6 arbitrary constant parameters. By carrying out
the continuous limit, we get the Krichever–Novikov equation (1.1) [30] (see Section 2 below).
The YdKN equation has been obtained as a result of a classification of differential-difference
equations of the form u̇n = f(un−1, un, un+1) with no explicit n and t dependence [30, 31]
that allow at least two conservation laws (or one conservation law and one generalized sym-
metry) of a high enough order. In the general case, when all parameters are different from zero,
(1.2), (1.3) is the only example in the complete list of Volterra type equations which cannot be
transformed by Miura transformations into the Volterra or Toda lattice equation [31]. Recently
it has been observed that most of the known integrable discrete equations on square lattices are
closely related to the YdKN equation in the sense that they generate Bäcklund transformations
of the YdKN equation [10, 27, 16]. An L−A pair for the YdKN equation has been constructed
in [27].
A generalization of the YdKN equation (GYdKN) introduced by D. Levi and R. Yamilov
in [15] has the same form (1.2), (1.3), but with n-dependent coefficients:
Pn = αu2n + 2βnun + γn, Qn = βn+1u
2
n + λun + δn+1,
Rn = γn+1u
2
n + 2δnun + ω. (1.4)
Here βn, γn, δn are two-periodic, i.e. can be written in the form
βn = β + β̂(−1)n, γn = γ + γ̂(−1)n, δn = δ + δ̂(−1)n. (1.5)
Thus the GYdKN equation depends on 9 arbitrary constant parameters. It has been shown
in [15] that the GYdKN equation satisfies the lowest integrability conditions in the generalized
symmetry classification of Volterra type equations. Both YdKN and GYdKN equations are
integrable in the sense that they possess master symmetries [2] and therefore they have infinite
hierarchies of generalized symmetries and conservation laws. The GYdKN equation is also closely
related to non-autonomous discrete equations on square lattices [29]. It is worth mentioning here
that this generalization does not allow a continuous limit to the Krichever–Novikov equation or
any of its generalizations.
Extensions of the YdKN, which in the continuous limit reduce to the KN equation or its
generalizations can be obtained by choosing Pn, Qn and Rn as arbitrary t-independent functions
of un. An interesting extension of the YdKN equation is given by the equation
un,t ≡ u̇n =
P (un)un+1un−1 +Q(un)(un+1 + un−1) +R(un)
un+1 − un−1
, (1.6)
P (un) = αu2n + 2βun + γ, Q(un) = β̂u2n + λun + δ, R(un) = γ̂u2n + 2δ̂un + ω, (1.7)
where α, . . . , ω are 9 real constants, at least one of them nonzero. We will call (1.6) the EYdKN
(extended YdKN). Like the GYdKN the EYdKN equation depends on 9 constant coefficients.
By choosing β̂ = β, γ̂ = γ, δ̂ = δ it reduces to the YdKN equation.
Symmetries of the Continuous and Discrete Krichever–Novikov Equation 3
In the following we are going to carry out the point symmetry classification for all particular
cases of the EYdKN equation. These are differential-difference equations and for them we will
use the theory of symmetries of difference equations as presented in [4, 11, 13, 26, 14]. Due to
its complication we present here just one example of an equation belonging to the GYdKN class
which possesses a nontrivial point symmetry algebra.
In Section 2 we first take the continous limit of a generalized YdKN equation and then
calculate the Lie point symmetries of the obtained (continuous) generalized Krichever–Novikov
equation (1.1) in which f(u) ≡ P (u) is an arbitrary function. Sections 3 and 4 are devoted
to a symmetry classification of the EYdKN equation for which P (un), Q(un) and R(un) are
restricted to being second order polynomials. This includes the integrable YdKN equation as
a subcase. Some conclusions and future outlook are presented in Section 5.
2 Continuous limit of a generalized YdKN equation
and its Lie point symmetries
2.1 The continuous limit
Let us look for the continuous limit of a generalization of the YdKN equation (1.2), (1.3). Here,
for the sake of simplicity of notation we take P (un), Q(un) and R(un) as arbitrary functions of
their argument. We carry out the continuous limit generalizing the procedure used in [30].
First of all we redefine the functions P (un), Q(un) and R(un)
P (un) = P̃ (un) + k, Q(un) = Q̃(un)− kun, R(un) = R̃(un) + ku2n,
where k is an arbitrary constant. We introduce a small parameter h, the lattice spacing, by
putting
P̃ (un) = 2hF (v(x, t)), Q̃(un) = 2hG(v(x, t)), R̃(un) = 2hH(v(x, t)),
un(t) = v(x, t), x = nh+ 6
t
h2
, k = −12
h3
.
Taking the limit, h→ 0 and n→∞ with nh finite, we get
vt = vxxx −
3
2
v2xx
vx
+
v2F (v) + 2vG(v) +H(v)
vx
+O
(
h2
)
.
Putting v2F (v)+2vG(v)+H(v) = f(v) and replacing v(x, t) by u(x, t) we obtain the “generalized
Krichever–Novikov equation”
ut = uxxx −
3
2
(uxx)2
ux
+
f(u)
ux
. (2.1)
Rescaling and restricting the arbitrary function f(u) to a fourth order polynomial we obtain the
Krichever–Novikov equation (1.1).
2.2 Lie point symmetries of the continuous
generalized Krichever–Novikov equation
For comparison with the extended YdKN equation (1.7) we present a symmetry classification
of (2.1), thus completing the partial classification performed in [3].
Equation (2.1) is form-invariant under “allowed transformations” that only change the form
of f(u). These include Möbius transformations of the dependent variable u and a simultaneous
rescaling of x and t
u =
αũ+ β
γũ+ δ
, αδ − βδ 6= 0, t = k3t̃, x = kx̃. (2.2)
4 D. Levi, P. Winternitz and R.I. Yamilov
The function f(u) transforms into
f̃(ũ) =
k4
(αδ − βγ)2
f
(
αu+ β
γu+ δ
)
(γu+ δ)4. (2.3)
We shall classify (2.1) into symmetry classes under the action of the group of allowed transfor-
mations (2.2). The “group of allowed transformations” is sometimes also called the “equivalence
group” of the equation.
We write a general element of the symmetry algebra of (2.1) in the form
X = τ(x, t, u)∂t + ξ(x, t, u)∂x + φ(x, t, u)∂u. (2.4)
Requiring that the third prolongation pr(3)X of (2.4) should annihilate (2.1) on the solution
set, we obtain 9 determining equations for the coefficients τ , ξ and φ. The first 8 of them are
elementary and imply
τ = τ1t+ τ0, ξ =
1
3
τ1x+ ξ0, φ = φ2u
2 + φ1u+ φ0,
where τ0, τ1, ξ0, φ2, φ1 and φ0 are constants. The remaining determining equation implies that
the function f(u) figuring in (2.1) must satisfy the following first order ODE:
(
φ2u
2 + φ1u+ φ0
) df
du
+
[
−4φ2u+
4
3
τ1 − 2φ1
]
f = 0. (2.5)
A symmetry analysis of (2.1) thus boils down to analyzing all possible solutions of (2.5).
First of all (2.5) does not contain τ0 and ξ0. This is just a reflection of the obvious fact
that (2.1) does not depend explicitly on t and x and is hence invariant under time and space
translations for any function f(u). They are generated by
P0 = ∂t, P1 = ∂x, (2.6)
respectively.
Let us now assume that at least one of the coefficients φ0, φ1, φ2 or τ1 is nonzero. In Table 1
we present representatives of all classes of functions f(u) for which the symmetry algebra L
of (2.1) is larger than (2.6). We have 2 < dimL ≤ 6 in all cases. The classification is under the
allowed transformations (2.2), (2.3). The following cases occur, depending on the properties of
the polynomial
φ(u) = φ2u
2 + φ1u+ φ0.
1. φ2 6= 0, φ(u) = 0 has complex roots u1,2 = r ± is, s > 0. After an allowed transformation
the solution is
f(u) = f0
(
1 + u2
)2
ep arctanu, f0 = ±1,
with p ∈ R; p = 0 is a special case.
2. φ2 6= 0, φ(u) = 0 has two real roots u1 < u2,
f(u) = f0(u+ 1)p(u− 1)4−p, f0 = ±1. (2.7)
Since p and 4− p are equivalent, we can restrict to the case 2 ≤ p <∞. The case p = 2 is
again special. For p = 2, 3, 4 (2.7) is a fourth order polynomial.
Symmetries of the Continuous and Discrete Krichever–Novikov Equation 5
Table 1. Symmetry classification of the continuous generalized Krichever–Novikov equation; f0 = ±1,
see Section 2 for notation.
N0 f(u) dim L Basis elements of symmetry algebra L
1 0 6 P0, P1, D, U0, U1, U2
2 f0 4 P0, P1, D + 2
3U1, U0
3 f0u
p 3 P0, P1, (p− 2)D − 4
3U1, 2 ≤ p <∞
4 f0e
u 3 P0, P1, D − 4
3U0
5 f0(u
2 + 1)2ep arctanu 3 P0, P1, pD − 4
3(U2 + U0)
6 f0(u+ 1)p(u− 1)4−p 3 P0, P1, (p− 2)D − 2
3(U2 − U0) 2 ≤ p <∞
3. φ2 6= 0, φ(u) = 0 has a double root and we shift it to u1 = u2 = 0. We obtain f(u) =
f0u
4e−
p
u . An allowed transformation takes this into
f(u) = f0e
u, f0 = ±1. (2.8)
4. φ2 = 0, φ1 6= 0 We obtain
f(u) = f0u
p, f0 = ±1.
Under an allowed transformation we have p → 4 − p so we can restrict p to 2 ≤ p < ∞.
The case p = 4 is equivalent to f(u) = f0.
5. φ2 = 0, φ1 = 0, φ0 6= 0. We reobtain (2.8) or f(u) = f0.
In Table 1 we give the functions f(u) in column 2 and the basis elements of the Lie algebra in
column 4. Throughout we have f0 = ±1 and we use the notation (2.6) and
D = t∂t +
1
3
x∂x, U0 = ∂u, U1 = u∂u, U2 = u2∂u.
The Lie algebras in cases 3, 4, 5 and 6 of Table 1 are all solvable with {P0, P1} as their nilradical.
The values p = 2 in case 3 and 6 and p = 0 in case 5 are special as the Lie algebra for these
values contracts to an Abelian one.
3 Symmetry structure of the extended YdKN equation
3.1 Allowed transformations
First of all we notice that (1.6), (1.7) is form-invariant under the Möbius transformation
un → ũn =
η1un + η2
η3un + η4
, ∆ = η1η4 − η2η3 = ±1, (3.1)
where ηi, i = 1, . . . , 4 are arbitrary real constants. All such SL(2,R) transformations can be
induced by combinations of translations ũn = un + κ, dilations ũn = κun and the inversion
ũn = 1/un. Explicitly the coefficients α, . . . , ω of (1.7) transform under a translation into
α∗ = α, β∗ = β + ακ, β̂∗ = β̂ + ακ, γ∗ = γ + 2βκ+ ακ2,
γ̂∗ = γ̂ + 2β̂κ+ ακ2, λ∗ = λ+ 2(β + β̂)κ+ 2ακ2,
δ̂∗ = δ̂ + (γ̂ + λ)κ+ (β + 2β̂)κ2 + ακ3, δ∗ = δ + (γ + λ)κ+ (2β + β̂)κ2 + ακ3,
6 D. Levi, P. Winternitz and R.I. Yamilov
ω∗ = ω + 2(δ + δ̂)κ+ (γ + γ̂ + 2λ)κ2 + 2(β + β̂)κ3 + ακ4, (3.2)
under a dilation into
α∗ = ακ2, β∗ = βκ, β̂∗ = β̂κ, γ∗ = γ, γ̂∗ = γ̂, λ∗ = λ,
δ∗ = δ/κ, δ̂∗ = δ̂/κ, ω∗ = ω/κ2,
and under the inversion into
α∗ = ω, β∗ = δ̂, β̂∗ = δ, γ∗ = γ̂, γ̂∗ = γ, λ∗ = λ,
δ∗ = β̂, δ̂∗ = β, ω∗ = α.
Equation (1.6) is also form-invariant under dilation of time (and invariant under time transla-
tion).
3.2 Theorems simplifying the symmetry classif ication
First of all, we shall show that we can restrict the study of the EYdKN equation to the case
P (un) 6= 0 in (1.7) and that this can be split into precisely 3 subcases.
Theorem 1. Using the Möbius transformation (3.1) we can reduce the EYdKN equa-
tion (1.6), (1.7) for (Pn, Qn, Rn) 6= (0, 0, 0) to one of the 3 following cases:
1. α = 1, β = 0;
2. α = 0, β = 1, γ = 0;
β + β̂ = δ + δ̂ = γ + γ̂ + 2λ = ω = 0; (3.3)
3. α = 0, β = 0, γ = 1
β̂ = δ = δ̂ = γ + λ = γ̂ + λ = ω = 0. (3.4)
In all cases we have P (un) 6= 0.
Proof. If α 6= 0 we can scale it to α = 1 and then transform β into β = 0 by a translation
of un.
Now assume α = 0, β 6= 0. Up to Möbius transformations we must also assume α∗ = 0
in (3.2). This imposes the conditions (3.3) on the other coefficients in the EYdKN equation,
otherwise we can always chose κ to obtain α∗ 6= 0. For β 6= 0 we can again dilate to obtain
β = 1 and translate un to obtain γ = 0.
The third case corresponds to α = β = 0, γ 6= 0 and we dilate to obtain γ = 1. Condi-
tions (3.4) follow from the requirement α∗ = 0, β∗ = 0 for all values of ηi, i = 1, . . . , 4 in the
Möbius transformation.
Finally, if we impose α = β = γ = 0 and also α∗ = β∗ = γ∗ = 0 for all values ηi, i = 1, . . . , 4
we obtain not only P (un) = 0 but also Q(un) = R(un) = 0, i.e. (1.6) is trivial. �
Comment. A further scaling of one more parameter can be achieved using a dilation of time t.
This can provide simplifications which will be discussed below in Section 4 in each specific case.
Theorem 2. The Lie algebra of local Lie point symmetries of the EYdKN equation with
(Pn, Qn, Rn) 6= (0, 0, 0) consists of vector fields of the general form
X = τ(t)∂t + φn(t, un)∂un (3.5)
Symmetries of the Continuous and Discrete Krichever–Novikov Equation 7
with
τ = τ0 + τ1t, φn = an + bnun + cnu
2
n, (3.6)
an = a+ â(−1)n, bn = b+ b̂(−1)n, cn = c+ ĉ(−1)n, (3.7)
where τ0, τ1, a, â, b, b̂, c and ĉ are constants.
Proof. In a previous article [14] we have shown that for a large class of differential-difference
equations, including the EYdKN equation, the vector field corresponding to Lie point sym-
metries must have the form (3.5), in particular τ(t) does not depend on n or un. The first
prolongation of X to be applied to (1.6) is
prX = τ(t)∂t +
n+1∑
j=n−1
φj(t, uj)∂uj + φ(1)n ∂u̇n , φ(1)n = Dtφn(t, un)− [Dtτ(t)]u̇n,
where Dt is the total derivative operator. Applying prX to the equation and requiring the result
to be zero on the solution set, we obtain the determining equation
φn,t(un+1 − un−1)2 + (φn,un − τ̇)[Pun+1un−1 +Q(un+1 + un−1) +R](un+1 − un−1)
− φn[P,unun+1un−1 +Q,un(un+1 + un−1) +R,un ](un+1 − un−1)
= φn−1
[
Pu2n+1 + 2Qun+1 +R
]
− φn+1
[
Pu2n−1 + 2Qun−1 +R
]
. (3.8)
From Theorem 1 we know that we only need to consider the case P (un) 6= 0. Applying the
fourth derivative ∂2un+1
∂2un−1
to (3.8) and dividing by Pn we obtain
φn+1,un+1un+1 − φn−1,un−1un−1 = 0.
This implies
φn = an + bnun + cnu
2
n, cn = c+ ĉ(−1)n. (3.9)
Putting (3.9) back into (3.8) and comparing independent terms we obtain
τ̈ = 0, an+1 = an−1, bn+1 = bn−1,
where all coefficients are time independent. This completes the proof of Theorem 2. �
3.3 The determining equations
Let us now return to (3.8) and substitute into it the expression (3.6) and (3.7) for τ and φn, as
well as (1.7) for P , Q and R. The expressions multiplying (un+1)
k(un−1)
` for different values of k
and ` must vanish separately. This will provide us with two sets of linear algebraic homogeneous
equations, one for the vector ~v1 = (a, b, c, τ1), the other for ~v2 = (â, b̂, ĉ). The coefficient τ0 does
not figure anywhere, so
P0 =
∂
∂t
is always an element of the algebra.
We write these two matrix determining equations as
M̂1~v1 = ~0, M̂2~v2 = ~0
8 D. Levi, P. Winternitz and R.I. Yamilov
and denote
r1 = rank M̂1, r2 = rank M̂2.
The dimension of the symmetry algebra of the EYdKN equation will be
dimL = 8− (r1 + r2),
and in view of Theorem 1 we need only to consider the case P 6= 0. The two matrices involved
are
M̂1 =
α β −(λ+ γ) β
α β̂ −(λ+ γ̂) β̂
0 2α −2(β + β̂) α
2β 0 −2δ γ
−2(β + β̂) 0 2(δ + δ̂) −λ
2β̂ 0 −2δ̂ γ̂
−(λ+ γ) δ ω −δ
−(λ+ γ̂) δ̂ ω −δ̂
2(δ + δ̂) −2ω 0 ω
, (3.10)
M̂2 =
α −β −(γ − λ)
α −β̂ −(γ̂ − λ)
β −γ δ
β̂ −γ̂ δ̂
β − β̂ 0 δ − δ̂
γ − λ δ −ω
γ̂ − λ δ̂ −ω
δ − δ̂ 0 0
0 0 β − β̂
. (3.11)
4 Symmetry classif ication for the EYdKN equation
4.1 General comments
Let us introduce a notation for the matrix of coefficients of the EYdKN equation (1.6), (1.7):
K =
α β γ
β̂ λ δ
γ̂ δ̂ ω
.
We will analyze the possible ranks of the two matrices M̂1 and M̂2 of (3.10) and (3.11), as
functions of the coefficients in K. We shall first determine all cases when the ranks r1 and r2
satisfy r1 + r2 ≤ 5 so that the symmetry algebra L has dimension 3 ≤ dimL ≤ 5. Separately
we list all cases when we have dimL = 2.
4.2 Symmetry algebras with dimL ≥ 3 and α 6= 0
We take α = 1, β = 0. Inspecting the matrices M̂1 and M̂2 of (3.10) and (3.11) we see that
their ranks satisfy
2 ≤ r1 ≤ 4, 1 ≤ r2 ≤ 3.
Symmetries of the Continuous and Discrete Krichever–Novikov Equation 9
The cases relevant for this section are:
dimL = 5.
r1 = 2, r2 = 1, α = 1, β = β̂ = γ = γ̂ = δ = δ̂ = λ = ω = 0.
K =
1 0 0
0 0 0
0 0 0
, u̇n =
u2nun+1un−1
un+1 − un−1
, (4.1)
X0 = ∂t, X1 = 2t∂t − un∂un , X2 = (−1)nun∂un ,
X3 = u2n∂un , X4 = (−1)nu2n∂un .
This is a 5-dimensional solvable Lie algebra with Abelian nilradical {X0, X3, X4}. The non-
nilpotent elements {X1, X2} commute and have a diagonal action on the nilradical. We mention
that the allowed transformation un → 1
un
takes (4.1) into the differential-difference equation
u̇n =
1
un+1 − un−1
sometimes called the discrete KdV equation [18, 9, 10, 28, 22].
dimL = 4.
r1 = 3, r2 = 1, α = 1, β = β̂ = γ = γ̂ = δ = δ̂ = 0, ω = λ2, λ = ±1.
K =
1 0 0
0 λ 0
0 0 1
, u̇n =
u2nun+1un−1 + λun(un+1 + un−1) + λ2
un+1 − un−1
, (4.2)
X0 = ∂t, X1 = (−1)nun∂un , X2 = (−1)n(u2n − λ)∂un , X3 = (u2n + λ)∂un .
The algebra is reductive and isomorphic to gl(2,R).
dimL = 3. We obtain two cases, namely:
1. r1 = 3, r2 = 2, α = 1, β = β̂ = δ = δ̂ = λ = ω = 0, γ = γ̂ = ±1.
K =
1 0 γ
0 0 0
γ 0 0
, u̇n =
(u2n + γ)(un+1un−1 + γ)
un+1 − un−1
,
X0 = ∂t, X1 = (−1)n
(
u2n + γ
)
∂un , X2 =
(
u2n + γ
)
∂un . (4.3)
The algebra is Abelian.
2. r1 = 3, r2 = 2, α = 1, β = β̂ = 0, γ = γ̂ = −µ2, δ = δ̂ = 2µ3, λ = −2µ2 and ω = −3µ4.
K =
1 0 −µ2
0 −2µ2 2µ3
−µ2 2µ3 −3µ4
,
u̇n =
(un − µ)[(un + µ)un+1un−1 − 2µ2(un+1 + un−1)− µ2(un − 3µ)]
un+1 − un−1
, (4.4)
X0 = ∂t, X1 = (−1)n(un − µ)2∂un , X2 = t∂t −
1
4µ
(un + 3µ)(un − µ)∂un .
The algebra is solvable with an Abelian nilradical {X0, X1}.
10 D. Levi, P. Winternitz and R.I. Yamilov
4.3 Symmetry algebras with dimL ≥ 3 and α = 0, β 6= 0
In this case we take β = 1, γ = 0 and in view of (3.3) we have
α = 0, β = 1, γ = 0, β̂ = −1, δ̂ = −δ, γ̂ = −2λ, ω = 0,
so the matrix K is
K =
0 1 0
−1 λ δ
−2λ −δ 0
.
In this case the rank of M̂2 is always r2 = 3 so we have â = b̂ = ĉ = 0 in (3.7). The dimension
of the symmetry algebra is dimL = 5 − r1. The only case of interest here is r1 = 2 and that
requires λ = δ = 0. In this case we have
dimL = 3.
r1 = 2, r2 = 3. β = 1, β̂ = −1, α = γ = γ̂ = δ = δ̂ = λ = ω = 0.
K =
0 1 0
−1 0 0
0 0 0
, u̇n =
2unun+1un−1 − u2n(un+1 + un−1)
un+1 − un−1
, (4.5)
X0 = ∂t, X1 = t∂t − un∂un , X2 = u2n∂un .
The algebra is solvable with an Abelian nilradical {X0, X2}.
4.4 Symmetry algebras with dimL ≥ 3 and α = β = 0, γ 6= 0
We normalize γ to γ = 1 by rescaling t and have
K =
0 0 1
0 −1 0
1 0 0
.
This leads to one further four-dimensional Lie algebra, namely
dimL = 4.
r1 = 1, r2 = 3.
u̇n =
un+1un−1 − un(un+1 + un−1) + u2n
un+1 − un−1
, (4.6)
X0 = ∂t, X1 = ∂un , X2 = un∂un , X3 = u2n∂un .
The algebra is isomorphic to gl(2,R).
4.5 Symmetry algebras of dimension dimL = 2
A symmetry algebra of dimension dimL = 2 will have one element X, in addition to X0 = ∂t.
The element X can have one of two forms: X = (a+ bun + cu2n)∂un + τ1∂t and it occurs for
r1 = 3, r2 = 3, or X = (−1)n(â + b̂un + ĉu2n)∂un for r1 = 4, r2 = 2. We shall consider the two
cases separately, following the same branches as for dimL ≥ 3.
Symmetries of the Continuous and Discrete Krichever–Novikov Equation 11
I. r1 = 3, r2 = 3
Branch 1. α = 1, β = 0
I1, γ 6= 0 (we can normalize it to γ = ±1). The matrix M̂1 is equivalent to
M̂1 ∼
1 0 −(λ+ γ) 0
0 1 −β̂ 1
2
0 0 −2δ
γ 1
with all further rows vanishing in order for the rank to be r1 = 3. This implies the following
conditions on the parameters in the equation
γ − γ̂ + β̂2 +
δβ̂
γ
= 0, δ + δ̂ − β̂(λ+ γ)− λδ
γ
= 0,
ω − (λ+ γ)2 + β̂δ − 3
δ2
γ
= 0, ω − (λ+ γ)(λ+ γ̂) + β̂δ − 3
δδ̂
γ
= 0,
(δ + δ̂)(λ+ γ)− β̂ω +
2δω
γ
= 0, δ(γ + γ̂ − λ) = 0. (4.7)
In order to obtain all symmetry algebras with dimL = 2 we must find all solutions of the
system (4.7). From the last equation we obtain either δ = 0, or λ = γ + γ̂. Thus the problem
immediately branches in two. We then obtain γ̂, δ̂ and ω from the first 3 equations. The
remaining two equations provide nonlinear constraints on the remaining parameters. We shall
not present the rather boring (computer assisted) analysis here, and only list the results. In
each case we must make sure that we also have r2 = 3 for the rank of M̂2.
1. K =
1 0 γ
β̂ λ 0
γ + β̂2 β̂(λ+ γ) (λ+ γ)2
, (β̂, γ, λ) 6= (0, 0, 0),
u̇n = {(u2n + γ)un+1un−1 + (β̂u2n + λun)(un+1 + un−1) + γu2n
+ (β̂un + λ+ γ)2}/(un+1 − un−1),
X = [λ+ γ + β̂un + u2n]∂un .
2. K =
1 0 γ
0 2γ δ
γ δ −3γ2
, (γ, δ) 6= (0, 0), δ2 + 4γ3 = 0, γ < 0,
u̇n =
(u2n + γ)un+1un−1 + (2γun + δ)(un+1 + un−1) + γu2n + 2δun − 3γ2
un+1 − un−1
,
X =
γ
2δ
[
γ − 1
2
un + u2n
]
∂un + t∂t. (4.8)
3. K =
1 0 γ
β̂ λ δ
γ̂ δ̂ ω
, (β̂, δ) 6= (0, 0), γ < 0,
β̂ = 2ε
√
−γ − δ
γ
, ε = ±1, γ̂ = −3γ + 2ε
δ√
−γ
,
δ̂ = 2(δ + ε(−γ)3/2), ω = γ2 − 6ε
√
−γδ,
u̇n =
(u2n + γ)un+1un−1 + (β̂u2n + λun + δ)(un+1 + un−1) + γ̂u2n + δ̂un + ω
un+1 − un−1
,
X = t∂t +
[
(λ+ γ)
γ
2δ
+
1
2
(
β̂
γ
δ
− 1
)
un +
γ
2δ
u2n
]
∂un .
12 D. Levi, P. Winternitz and R.I. Yamilov
4. K =
1 0 0
β̂ λ 0
β̂2 β̂λ λ2
, β̂ 6= 0, λ 6= β̂2,
u̇n =
u2nun+1un−1 + un(β̂un + λ)(un+1 + un−1) + β̂2u2n + 2β̂λun + λ2
un+1 − un−1
,
X =
[
β̂λ+ β̂un + u2n
]
∂un .
5. K =
1 0 0
β̂ 0 0
0 0 0
, β̂ 6= 0,
u̇n =
u2nun+1un−1 + β̂u2n(un+1 + un−1)
un+1 − un−1
, X = −
[
un +
1
2β̂
u2n
]
∂un + t∂t.
6. K =
1 0 0
β̂ β̂2 0
β̂2 β̂3 β̂4
, β̂ 6= 0,
u̇n =
u2nun+1un−1 + β̂(u2n + β̂un)(un+1 + un−1) + β̂2(u2n + 2β̂un + β̂2)
un+1 − un−1
,
X =
[
β̂2 + β̂un + u2n
]
∂un .
Branch 2. α = 0, β = 1, γ = 0, β + β̂ = 0, δ + δ̂ = 0, γ̂ + 2λ = 0, ω = 0.
7. K =
0 1 0
−1 λ δ
−2λ −δ 0
, (λ, δ) 6= (0, 0),
u̇n =
unun+1un−1 + (−u2n + λun + δ)(un+1 + un−1)− 2λu2n − 2δun
un+1 − un−1
,
X =
[
δ + λun + u2n
]
∂un .
Branch 3. α = 0, β = 0, γ = 1, β̂ = δ = δ̂ = ω = 0, γ̂ = 1, λ = −1.
We have r1 = 1, r2 = 3, so dimL = 3.
II. r1 = 4, r2 = 2
We again follow the 3 branches.
Branch 1. α = 1, β = 0.
I1. γ 6= 0. We have
M̂2 ∼
(
1 0 λ− γ
0 1 − δ
γ
)
and all other entries in the row reduced matrix M̂2 must vanish (because r2 = 2). We obtain
γ̂ − γ + β̂
δ
γ
= 0, −δ̂ + β̂(λ− γ) + γ̂
δ
γ
= 0,
ω − (λ− γ)2 − δ2
γ
= 0, ω − (λ− γ)(λ− γ̂)− δ̂ δ
γ
= 0,
(γ − λ)(δ − δ̂) = 0, β̂ = 0, δ − δ̂ + β̂(λ− γ) = 0. (4.9)
Symmetries of the Continuous and Discrete Krichever–Novikov Equation 13
Conditions (4.9) imply
β̂ = 0, δ = δ̂ 6= 0, γ = γ̂, ω = (λ− γ)2 +
δ2
γ
.
The result is:
8. K =
1 0 γ
0 λ δ
γ δ (λ− γ)2 + δ2
γ2
,
(2λγ2 + δ2, δ[2γ − λ], δ[2γ3 + λ2γ − λγ2 + δ2]) 6= (0, 0, 0),
u̇n =
(u2n + γ)un+1un−1 + (λun + δ)(un+1 + un−1) + γu2n + 2δun + (λ− γ)2 + δ2
γ2
un+1 − un−1
,
X = (−1)n
[
γ − λ+
δ
γ
un + u2n
]
∂un . (4.10)
I2. γ = 0. To have r2 = 2 we must put β̂ = δ = 0 and also γ̂ = δ̂ = 0. Then we obtain
9. K =
1 0 0
0 λ 0
0 0 ω
, ω 6= λ2,
u̇n =
u2nun+1un−1 + λun(un+1 + un−1) + ω
un+1 − un−1
, X = (−1)nun∂un . (4.11)
The branches II (β = 1, α = γ = β + β̂ = δ + δ̂ = γ̂ + 2λ = ω = 0) and III (α = β = β̂ =
δ = δ̂ = γ + λ = γ̂ + λ = ω = 0, γ = 1) do not yield any new result.
5 Conclusions
What we mean by “integrable” was defined in the introduction. Thus an equation of the EYdKN
family is integrable if and only if it satisfies (1.3), i.e. it is of the YdKN type.
It follows from the previous analysis that the symmetry algebra L of the EYdKN equation
satisfies 1 ≤ dimL ≤ 5. The largest dimension, namely 5, is achieved for the equation (4.1).
This is an integrable equation and in addition to point symmetries it allows higher symmetries.
The two equations with four-dimensional Lie algebras, (4.2) and (4.6), are also both integrable.
Of the three equations with three-dimensional symmetry algebras, (4.3) and (4.4) are inte-
grable but (4.5) is not. Among the nine equations with two dimensional symmetry algebras
only (4.8), (4.10) and (4.11) are integrable (they possess higher symmetries) for all values of the
parameters involved.
We see that integrable equations, i.e. those in the YdKN class, rather than in the EYdKN one,
tend to have larger Lie point symmetry algebras than the nonintegrable ones. This is however not
a reliable integrability criterion. Indeed the nonintegrable equation (4.5) has a three-dimensional
symmetry algebra whereas the generic integrable equation in the class YdKN class with α 6= 0
has only the one symmetry X0 = ∂t (specifically an equation with α = 1, β = 0, λ 6= 2γ,
ω 6= γ(λ− γ2 + δ2)).
This rather loose relation between Lie point symmetries and integrability was already ob-
served in a symmetry analysis of Toda type equations [12].
A complete symmetry analysis of the integrable GYdKN equation (1.4), (1.5) is not attempted
here. We will just present one non-trivial example. Work is in progress to provide a complete
classification.
14 D. Levi, P. Winternitz and R.I. Yamilov
An example of the GYdKN equation is
u̇n =
χn+1(un+1 + un−1) + 2χnun
un+1 − un−1
, χn =
1 + (−1)n
2
, χn+1 =
1− (−1)n
2
.
Using the same approach as in Sections 3 and 4 above, we find that the symmetry algebra is
four-dimensional with basis
X0 = ∂t, X1 = t∂t + un∂un , X2 = χn+1∂un , X3 = χnun∂un .
This is a direct sum {X0, X1, X2}+ {X3}, where {X0, X1, X2} is solvable with {X0, X2} as its
Abelian nilradical.
The limit from the discrete equations considered in this article to the usual (continuous)
Krichever–Novikov equation is quite complicated (see Section 2) and does not preserve sym-
metries. From Table 1 we see that the largest symmetry algebra is obtained for f(u) = 0 and
satisfies dimL = 6. Equation (2.1) in this case remains nontrivial. It is just the Schwarzian KdV
equation [6, 19, 25]. A discrete analogue in this case would be P = Q = R = 0 in (1.6), (1.7).
This equation is trivial, the symmetry algebra is infinite-dimensional generated by
X(τ) = τ(t)∂t, U(φn) = φn(un)∂un ,
where τ(t) and φn(un) are arbitrary (C∞) functions of their arguments.
The Lie algebra element P1 = ∂x, generating space translations, is always absent in the
discrete case. Formally we can add the operator N̂ = ∂n to the symmetry algebra, as was done
previously for the Toda lattice [11, 12]. This corresponds (formally) to introducing a (discrete)
group transformation n∗ = n + N with the understanding that N is an integer (a shift on the
lattice). This symmetry allows us to consider a periodic EYdKN equation, or equivalently to
restrict to a finite lattice.
Finally, let us just give some examples showing how the Lie point symmetries can be used to
reduce the considered differential-difference equation to simpler equations. Consider (4.1) and
its dilation subalgebra X1. A solution invariant under the subgroup generated by X1 will have
the form un = cnt
−1/2. Putting this into (4.1) we find that the coefficient cn must satisfy the
nonlinear difference equation
cn =
1
2
[
1
cn+1
− 1
cn−1
]
, un =
cn√
t
.
Similarly the subalgebra X3 + aX0 leads to the invariant solution
un =
a
cn − t
, cn = −a
2
2
n+ β.
Work is in progress for a complete study of the group invariant solutions for all the invariant
equations obtained in this article.
Acknowledgements
The research of L.D. has been partly supported by the Italian Ministry of Education and Re-
search, PRIN “Continuous and discrete nonlinear integrable evolutions: from water waves to
symplectic maps”. The research of P.W. was partly supported by a research grant from NSERC
of Canada. R.I.Y. has been partially supported by the Russian Foundation for Basic Research
(grant numbers 10-01-00088-a and 11-01-97005-r-povolzhie-a).
Symmetries of the Continuous and Discrete Krichever–Novikov Equation 15
References
[1] Adler V.E., Bäcklund transformation for the Krichever–Novikov equation, Int. Math. Res. Not. 1998 (1998),
no. 1, 1–4, solv-int/9707015.
[2] Adler V.E., Shabat A.B., Yamilov R.I., Symmetry approach to the integrability problem, Theoret. and Math.
Phys. 125 (2000), 1603–1661.
[3] Bruzon M.S., Gandarias M.L., Classical and nonclassical reductions for the Krichever–Novikov equation,
in ICNAAM 2010: International Conference of Numerical Analysis and Applied Mathematics, AIP Conf.
Proc. 1281 (2010), 2147–2150.
[4] Dorodnitsyn V., Applications of Lie groups to difference equations, Differential and Integral Equations and
Their Applications, Vol. 8, CRC Press, Boca Raton, FL, 2011.
[5] Dubrovin B., Krichever I.M., Novikov S.P., Integrable systems. I, Current Problems in Mathematics. Fun-
damental Directions, Vol. 4, VINITI, Moscow, 1985, 179–284 (in Russian).
[6] Güngör F., Lahno V.I., Zhdanov R.Z., Symmetry classification of KdV-type nonlinear evolution equations,
J. Math. Phys. 45 (2004), 2280–2313, nlin.SI/0201063.
[7] Krichever I.M., Novikov S.P., Holomorphic bundles over algebraic curves and non-linear equations, Russ.
Math. Surv. 35 (1980), no. 6, 53–80.
[8] Krichever I.M., Novikov S.P., Holomorphic fiberings and nonlinear equations. Finite zone solutions of rank 2,
Sov. Math. Dokl. 20 (1979) 650–654.
[9] Levi D., Petrera M., Continuous symmetries of the lattice potential KdV equation, J. Phys. A: Math. Theor.
40 (2007), 4141–4159, math-ph/0701079.
[10] Levi D., Petrera M., Scimiterna C., Yamilov R.I., On Miura transformations and Volterra-type equations
associated with the Adler–Bobenko–Suris equations, SIGMA 4 (2008), 077, 14 pages, arXiv:0802.1850.
[11] Levi D., Winternitz P., Continuous symmetries of discrete equations, Phys. Lett. A 152 (1991), 335–338.
[12] Levi D., Winternitz P., Symmetries of discrete dynamical systems, J. Math. Phys. 37 (1996), 5551–5576.
[13] Levi D., Winternitz P., Continuous symmetries of difference equations, J. Phys. A: Math. Gen. 39 (2006),
R1–R63, nlin.SI/0502004.
[14] Levi D., Winternitz P., Yamilov R.I., Lie point symmetries of differential-difference equations, J. Phys. A:
Math. Theor. 43 (2010), 292002, 14 pages, arXiv:1004.5311.
[15] Levi D., Yamilov R.I., Conditions for the existence of higher symmetries of evolutionary equations on the
lattice, J. Math. Phys. 38 (1997), 6648–6674.
[16] Levi D., Yamilov R.I., Generalized symmetry integrability test for discrete equations on the square lattice,
J. Phys. A: Math. Theor. 44 (2011), 145207, 22 pages, arXiv:1011.0070.
[17] Mokhov O.I., Canonical Hamiltonian representation of the Krichever–Novikov equation, Math. Notes 50
(1991), 939–945.
[18] Nijhoff F.W., Capel H., The discrete Korteweg–de Vries equation, Acta Appl. Math. 39 (1995), 133–158.
[19] Nijhoff F.W., Hone A., Joshi N., On a Schwarzian PDE associated with the KdV hierarchy, Phys. Lett. A
267 (2000), 147–156, solv-int/9909026.
[20] Novikov D.P., Algebraic-geometric solutions of the Krichever–Novikov equation, Theoret. and Math. Phys
121 (1999), 1567–1573.
[21] Novikov S.P., Manakov S.V., Pitaevsky L.P., Zakharov V.E., Theory of solitons. The inverse scattering
method, Contemporary Soviet Mathematics, Plenum, New York, 1984.
[22] Rasin O.G., Hydon P.E., Symmetries of integrable difference equations on the quad-graph, Stud. Appl.
Math. 119 (2007), 253–269.
[23] Sokolov V.V., On the Hamiltonian property of the Krichever–Novikov equation, Sov. Math. Dokl. 30 (1984),
44–46.
[24] Svinolupov S.I., Sokolov V.V., Yamilov R.I., On Bäcklund transformations for integrable evolution equations,
Soviet Math. Dokl. 28 (1983), 165–168.
[25] Weiss J., The Painlevé property for partial differential equations. II. Bäcklund transformation, Lax pairs,
and the Schwarzian derivative, J. Math. Phys. 24 (1983), 1405–1413.
[26] Winternitz P., Symmetries of discrete systems, in Discrete Integrable System, Editors B. Grammaticos,
Y. Kosmann-Schwarzbach and T. Tamizhmani, Lecture Notes in Phys., Vol. 644, Springer, Berlin, 2004,
185–243, nlin.SI/0309058.
http://dx.doi.org/10.1155/S1073792898000014
http://arxiv.org/abs/solv-int/9707015
http://dx.doi.org/10.1023/A:1026602012111
http://dx.doi.org/10.1023/A:1026602012111
http://dx.doi.org/10.1063/1.3498390
http://dx.doi.org/10.1063/1.3498390
http://dx.doi.org/10.1063/1.1737811
http://arxiv.org/abs/nlin.SI/0201063
http://dx.doi.org/10.1070/RM1980v035n06ABEH001974
http://dx.doi.org/10.1070/RM1980v035n06ABEH001974
http://dx.doi.org/10.1088/1751-8113/40/15/006
http://arxiv.org/abs/math-ph/0701079
http://dx.doi.org/10.3842/SIGMA.2008.077
http://arxiv.org/abs/0802.1850
http://dx.doi.org/10.1016/0375-9601(91)90733-O
http://dx.doi.org/10.1063/1.531722
http://dx.doi.org/10.1088/0305-4470/39/2/R01
http://arxiv.org/abs/nlin.SI/0502004
http://dx.doi.org/10.1088/1751-8113/43/29/292002
http://dx.doi.org/10.1088/1751-8113/43/29/292002
http://arxiv.org/abs/1004.5311
http://dx.doi.org/10.1063/1.532230
http://dx.doi.org/10.1088/1751-8113/44/14/145207
http://arxiv.org/abs/1011.0070
http://dx.doi.org/10.1007/BF01156139
http://dx.doi.org/10.1007/BF00994631
http://dx.doi.org/10.1016/S0375-9601(00)00063-3
http://arxiv.org/abs/solv-int/9909026
http://dx.doi.org/10.1007/BF02557203
http://dx.doi.org/10.1111/j.1467-9590.2007.00385.x
http://dx.doi.org/10.1111/j.1467-9590.2007.00385.x
http://dx.doi.org/10.1063/1.525875
http://arxiv.org/abs/nlin.SI/0309058
16 D. Levi, P. Winternitz and R.I. Yamilov
[27] Xenitidis P.D., Integrability and symmetries of difference equations: the Adler–Bobenko–Suris case, in Proc.
4th Workshop “Group Analysis of Differential Equations and Integrable Systems”, University of Cyprus,
Nicosia, 2009, 226–242, arXiv:0902.3954.
[28] Xenitidis P.D., Symmetry algebra of discrete KdV equations and corresponding differential-difference equa-
tions of Volterra type, arXiv:1105.4779.
[29] Xenitidis P.D., Papageorgiou V.G., Symmetries and integrability of discrete equations defined on a black-
white lattice, J. Phys. A: Math. Theor. 42 (2009), 454025, 13 pages, arXiv:0903.3152.
[30] Yamilov R.I., Classification of discrete evolution equations, Uspekhi Mat. Nauk 38 (1983), no. 6, 155–156
(in Russian).
[31] Yamilov R.I., Symmetries as integrability criteria for differential difference equations, J. Phys. A: Math.
Gen. 39 (2006), R541–R623.
http://arxiv.org/abs/0902.3954
http://arxiv.org/abs/1105.4779
http://dx.doi.org/10.1088/1751-8113/42/45/454025
http://arxiv.org/abs/0903.3152
http://dx.doi.org/10.1088/0305-4470/39/45/R01
http://dx.doi.org/10.1088/0305-4470/39/45/R01
1 Introduction
2 Continuous limit of a generalized YdKN equation and its Lie point symmetries
2.1 The continuous limit
2.2 Lie point symmetries of the continuous generalized Krichever-Novikov equation
3 Symmetry structure of the extended YdKN equation
3.1 Allowed transformations
3.2 Theorems simplifying the symmetry classification
3.3 The determining equations
4 Symmetry classification for the EYdKN equation
4.1 General comments
4.2 Symmetry algebras with dimL 3 and =0
4.3 Symmetry algebras with dimL 3 and =0, =0
4.4 Symmetry algebras with dimL 3 and ==0, =0
4.5 Symmetry algebras of dimension dimL=2
5 Conclusions
References
|