Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility
We show that under certain technical assumptions any weakly nonlocal Hamiltonian structure compatible with a given nondegenerate weakly nonlocal symplectic structure J can be written as the Lie derivative of J −1 along a suitably chosen nonlocal vector field. Moreover, we present a new description f...
Збережено в:
| Дата: | 2007 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | English |
| Опубліковано: |
Інститут математики НАН України
2007
|
| Назва видання: | Symmetry, Integrability and Geometry: Methods and Applications |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/147362 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility / A. Sergyeyev // Symmetry, Integrability and Geometry: Methods and Applications. — 2007. — Т. 3. — Бібліогр.: 32 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
irk-123456789-147362 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1473622019-02-15T01:24:34Z Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility Sergyeyev, A. We show that under certain technical assumptions any weakly nonlocal Hamiltonian structure compatible with a given nondegenerate weakly nonlocal symplectic structure J can be written as the Lie derivative of J −1 along a suitably chosen nonlocal vector field. Moreover, we present a new description for local Hamiltonian structures of arbitrary order compatible with a given nondegenerate local Hamiltonian structure of zero or first order, including Hamiltonian operators of the Dubrovin-Novikov type. 2007 Article Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility / A. Sergyeyev // Symmetry, Integrability and Geometry: Methods and Applications. — 2007. — Т. 3. — Бібліогр.: 32 назв. — англ. 1815-0659 2000 Mathematics Subject Classification: 37K10; 37K05 http://dspace.nbuv.gov.ua/handle/123456789/147362 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 |
We show that under certain technical assumptions any weakly nonlocal Hamiltonian structure compatible with a given nondegenerate weakly nonlocal symplectic structure J can be written as the Lie derivative of J −1 along a suitably chosen nonlocal vector field. Moreover, we present a new description for local Hamiltonian structures of arbitrary order compatible with a given nondegenerate local Hamiltonian structure of zero or first order, including Hamiltonian operators of the Dubrovin-Novikov type. |
| format |
Article |
| author |
Sergyeyev, A. |
| spellingShingle |
Sergyeyev, A. Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility Symmetry, Integrability and Geometry: Methods and Applications |
| author_facet |
Sergyeyev, A. |
| author_sort |
Sergyeyev, A. |
| title |
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility |
| title_short |
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility |
| title_full |
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility |
| title_fullStr |
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility |
| title_full_unstemmed |
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility |
| title_sort |
weakly nonlocal hamiltonian structures: lie derivative and compatibility |
| publisher |
Інститут математики НАН України |
| publishDate |
2007 |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/147362 |
| citation_txt |
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility / A. Sergyeyev // Symmetry, Integrability and Geometry: Methods and Applications. — 2007. — Т. 3. — Бібліогр.: 32 назв. — англ. |
| series |
Symmetry, Integrability and Geometry: Methods and Applications |
| work_keys_str_mv |
AT sergyeyeva weaklynonlocalhamiltonianstructuresliederivativeandcompatibility |
| first_indexed |
2025-07-11T01:54:59Z |
| last_indexed |
2025-07-11T01:54:59Z |
| _version_ |
1837313729512865792 |
| fulltext |
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 3 (2007), 062, 14 pages
Weakly Nonlocal Hamiltonian Structures:
Lie Derivative and Compatibility?
Artur SERGYEYEV
Mathematical Institute, Silesian University in Opava,
Na Rybńıčku 1, 746 01 Opava, Czech Republic
E-mail: Artur.Sergyeyev@math.slu.cz
Received December 15, 2006, in final form April 23, 2007; Published online April 26, 2007
Original article is available at http://www.emis.de/journals/SIGMA/2007/062/
Abstract. We show that under certain technical assumptions any weakly nonlocal Hamil-
tonian structure compatible with a given nondegenerate weakly nonlocal symplectic struc-
ture J can be written as the Lie derivative of J−1 along a suitably chosen nonlocal vector
field. Moreover, we present a new description for local Hamiltonian structures of arbitrary
order compatible with a given nondegenerate local Hamiltonian structure of zero or first
order, including Hamiltonian operators of the Dubrovin–Novikov type.
Key words: weakly nonlocal Hamiltonian structure; symplectic structure; Lie derivative
2000 Mathematics Subject Classification: 37K10; 37K05
1 Introduction
Nonlinear integrable systems usually are bihamiltonian, i.e., possess two compatible Hamiltonian
structures. This ingenious discovery of Magri [14] has naturally lead to an intense study of pairs
of compatible Hamiltonian structures both in finitely and infinitely many dimensions, see e.g.
[1, 3, 5, 13, 16, 24, 26, 30] and references therein.
Using the ideas from the Lichnerowicz–Poisson cohomology theory [13, 30] it can be shown
[5, 26] that under certain minor technical assumptions all Hamiltonian structures compatible
with a given nondegenerate Hamiltonian structure P can be written as the Lie derivatives of P
along suitably chosen vector fields. This allows for a considerable reduction in the number of
unknown functions: roughly speaking, we deal with components of a vector field rather than
with those of a skew-symmetric tensor, and the number of the former is typically much smaller
than that of the latter, see e.g. [26] for more details. This idea works well for compatible
pairs of finite-dimensional Hamiltonian structures [26, 28] and of local Hamiltonian operators
of Dubrovin–Novikov type [21, 26], when the corresponding vector fields are local as well.
In the present work we extend this approach to the weakly nonlocal [16] Hamiltonian struc-
tures using weakly nonlocal vector fields. To this end we first generalize the local homotopy
formula (7) to weakly nonlocal symplectic structures in Theorem 2 below. This enables us to
characterize large classes of Hamiltonian structures compatible with a given weakly nonlocal
symplectic structure using the weakly nonlocal (co)vector fields, i.e., elements of Ṽ (resp. Ṽ∗),
as presented below in Theorems 3 and 4 and Corollaries 2, 3, 4, and 5.
The paper is organized as follows. In Section 2 we recall some basic features of infinite-
dimensional Hamiltonian formalism. Section 3 contains the main theoretical results of the paper
while Sections 4 and 5 deal with the particular cases of local Hamiltonian structures of zero and
first order where important simplifications occur. Finally, in Section 6 we briefly discuss the
results of the present work.
?This paper is a contribution to the Vadim Kuznetsov Memorial Issue ‘Integrable Systems and Related Topics’.
The full collection is available at http://www.emis.de/journals/SIGMA/kuznetsov.html
mailto:Artur.Sergyeyev@math.slu.cz
http://www.emis.de/journals/SIGMA/2007/062/
http://www.emis.de/journals/SIGMA/kuznetsov.html
2 A. Sergyeyev
2 Preliminaries
Following [5, 24], recall some basic aspects of infinite-dimensional Hamiltonian formalism for the
case of one independent variable x ∈ B (usually B = R or B = S1) and n dependent variables.
We start with an algebra Aj of smooth functions of x,u,u1, . . . ,uj , where uk = (u1
k, . . . , u
n
k)T
for k > 0 are n-component vectors from Rn, u0 ≡ u ∈ M ⊂ Rn, M is an open domain in Rn,
and the superscript T indicates the transposed matrix. Set A =
⋃∞
j=0Aj . The elements of A
are called local functions.
Consider (see e.g. [5] and [24] and references therein) a derivation of A
D ≡ Dx = ∂/∂x+
∞∑
j=0
uj+1∂/∂uj .
and let ImD be the image of D in A, and Ā = A/ImD. The space Ā is the counterpart the
algebra of (smooth) functions on a finite-dimensional manifold in the standard de Rham complex.
Informally, x can be thought of as a space variable and D as a total x-derivative, cf. e.g. [24].
The canonical projection π : A → Ā is traditionally denoted by
∫
dx, and for any f, g ∈ A
we have∫
fD(g)dx = −
∫
gD(f)dx.
The quantity F =
∫
fdx should not be confused with a nonlocal variable D−1(f): these are
different objects. Informally,
∫
fdx can be thought of as
∫
B fdx, i.e., this is, roughly speaking,
a definite x-integral, and D−1(f) is a formal indefinite x-integral. If f 6∈ ImD then D−1(f) 6∈ A,
and we need to augment A to include a nonlocal variable ω such that D(ω) = f and to extend
the action of D accordingly, see below for further details.
The generalized Leibniz rule [17, 18, 19, 24]
aDi ◦ bDj = a
∞∑
q=0
i(i− 1) · · · (i− q + 1)
q!
Dq(b)Di+j−q (1)
turns the space Matq(A)[[D−1]] of formal series in powers of D of the form L =
∑k
j=−∞ hjD
j ,
where hj are q × q matrices with entries from A, into an algebra, and the commutator [P,Q] =
P ◦Q −Q ◦ P further makes Matq(A)[[D−1]] into a Lie algebra. In what follows we shall often
omit the composition sign ◦ (for instance, we shall write KL instead of K ◦ L) wherever this
does not lead to a possible confusion.
The degree degL of formal series L =
∑k
j=−∞ hjD
j ∈ Matq(A)[[D−1]] is [17, 18, 19, 24] the
greatest integer m such that hm 6= 0. If, moreover, dethm 6= 0 we shall call L nondegenerate, and
then there exists a unique formal series L−1 ∈ Matq(A)[[D−1]] such that L−1 ◦L = L ◦L−1 = Iq,
where Iq stands for the q × q unit matrix. For any L =
∑m
j=−∞ hjD
j ∈ Matq(A)[[D−1]]
let L+ =
∑m
j=0 hjD
j denote its differential part, L− =
∑−1
j=−∞ hjD
j its nonlocal part (so
L− + L+ = L), and let L† =
∑m
j=−∞(−D)j ◦ hT
j stand for the formal adjoint of L, see e.g.
[17, 18, 19, 24]. A formal series L is said to be skew-symmetric if L† = −L. As usual, an
L ∈ Matq(A)[[D−1]] is said to be a purely differential (or just differential) operator if L− = 0.
Let Aq be the space of q-component functions with entries from A, no matter whether they
are interpreted as column or row vectors. For any ~f ∈ Aq define (see e.g. [12]) its directional
derivative as
~f ′ =
∞∑
i=0
∂ ~f/∂uiD
i.
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility 3
We shall also need the operator of variational derivative (see e.g. [1, 5, 24, 2])
δ/δu =
∞∑
j=0
(−D)j ◦ ∂/∂uj .
Following [16], an L ∈ Matq(A)[[D−1]] is called weakly nonlocal if there exist ~fα ∈ Aq, ~gα ∈ Aq
and k ∈ N such that L− =
∑k
α=1
~fα ⊗D−1 ◦ ~gα. Nearly all known today Hamiltonian and sym-
plectic operators in (1+1) dimensions are weakly nonlocal, cf. e.g. [32]. Recall that an operator
of the form L = ~f ⊗D−1 ◦ ~g acts on an ~h ∈ Aq as follows:
L(~h) =
(
D−1
(
~g · ~h
))
~f,
where “·” denotes the standard Euclidean scalar product in Aq.
Denote by V the space of n-component columns with entries from A. The commutator
[P ,Q] = Q′[P ]−P ′[Q] turns V into a Lie algebra, see e.g. [1, 12, 18, 24]. The Lie derivative of
R ∈ V along Q ∈ V reads LQ(R) = [Q,R], see e.g. [1, 5, 31, 24]. The natural dual of V is the
space V∗ of n-component rows with entries from A.
The canonical pairing of V and V∗ is given by the formula (see e.g. [5, 32])
〈γ,Q〉 =
∫
(γ ·Q)dx, (2)
where γ ∈ V∗,Q ∈ V, and “·” here and below refers to the standard Euclidean scalar product
of the n-component vectors.
For γ ∈ V∗ define [1, 5, 31] its Lie derivative along Q ∈ V as LQ(γ) = γ ′[Q]− (Q′)†(γ), see
e.g. [5, 31] for further details.
For Q ∈ V and L =
∑m
j=−∞ hjD
j we set L′[Q] =
∑m
j=−∞ h′j [Q]Dj .
If Q ∈ V and γ ∈ V∗ then we have [24] δ(Q · γ)/δu = (Q′)†(γ) + (γ ′)†(Q). Hence if
(γ ′)†(Q)− γ ′[Q] = 0 then we obtain [27]
LQ(γ) = δ(Q · γ)/δu. (3)
For weakly nonlocal R : V → V, J : V → V∗, P : V∗ → V, N : V∗ → V∗ define [12] their
Lie derivatives along a Q ∈ V as follows: LQ(R) = R′[Q]− [Q′, R], LQ(N) = N ′[Q] + [Q′†, N ],
LQ(P ) = P ′[Q] − P ◦Q′ −Q′† ◦ P , LQ(J) = J ′[Q] + J ◦Q′ + Q′† ◦ J . Here and below we do
not assume R and J to be defined on the whole of V, respectively P and N on the whole of V∗.
We shall call an operator J : V → V∗ (respectively P : V∗ → V) formally skew-symmetric if
it is skew-symmetric when considered as a formal series, i.e., J† = −J (respectively P † = −P ).
Recall that the proper way to extend the concept of the finite-dimensional Hamiltonian
structure to evolutionary systems of PDEs in (1+1) dimensions is the following one. A for-
mally skew-symmetric operator P : V∗ → V is Hamiltonian [5] (or implectic [12]) if its Schouten
bracket with itself vanishes: [P, P ] = 0. The Schouten bracket [·, ·] is given by the formula
[H,K](χ1,χ2,χ3) = 〈HLKχ1
(χ2),χ3〉+ 〈KLHχ1
(χ2),χ3〉+ cycle(1, 2, 3), (4)
where χi ∈ V∗ and 〈, 〉 is given by (2), see e.g. [5]. Throughout the rest of the paper [·, ·] will
denote the Schouten bracket rather than the commutator.
Two Hamiltonian operators are said to be compatible [12] (or to form a Hamiltonian pair [5])
if any linear combination thereof is again a Hamiltonian operator. Note that the Hamiltonian
operators are compatible if and only if their Schouten bracket vanishes [5].
4 A. Sergyeyev
The Poisson bracket {, }P associated with a Hamiltonian operator P is (see e.g. [5, 24])
a mapping from Ā × Ā to Ā given by the formula
{F ,G}P =
∫
dxδFP (δG) (5)
for any F ,G ∈ Ā. Here we set δF def= δf/δu for any F =
∫
fdx ∈ Ā.
A formally skew-symmetric operator J : V → V∗ is symplectic [12] if
〈J ′[P ]Q,R〉+ 〈J ′[Q]R,P 〉+ 〈J ′[R]P ,Q〉 = 0 (6)
for any P ,Q,R ∈ V.
Following the tradition established in the literature we shall sometimes speak of Hamiltonian
(or symplectic) structures rather than of Hamiltonian (or symplectic) operators, even though
the latter terms are equivalent with the former.
We shall call a Hamiltonian or symplectic operator nondegenerate if it is nondegenerate as
a formal series in powers of D. A nondegenerate operator P : V∗ → V is Hamiltonian if and
only if P−1 is symplectic. Following [12], and in contrast with a number of other references, in
what follows we do not assume symplectic operators to be a priori nondegenerate.
We have the following homotopy formula (see [24, Ch. 5] and [5, 23] for details): if J : V → V∗
is a differential symplectic operator and M × B is a star-shaped domain (recall that M and B
are domains of values of u and x, respectively) then we have J = ζ′ − ζ′† for
ζ =
∫ 1
0
(J(u))[λu]dλ. (7)
Here J(u) means the result of action of the differential operator J on the vector u, and for any
f ∈ A the quantity f [λu] is defined as follows: if f = f(x,u, . . . ,uk) then
f [λu] def= f(x, λu, . . . , λuk).
In what follows we make the blanket assumption that M × B is a star-shaped domain so that
(7) is automatically valid.
In order to see how (7) works, consider the following simple example. Let J = D. Then we
have J(u) = D(u) = u1, and therefore (J(u))[λu] = λu1. By (7) we obtain ζ = u1/2 and
indeed the equality J = ζ′ − ζ′† holds, as desired.
Note that the proper geometrical framework for the above results is provided by the formal
calculus of variations, and we refer the interested reader to [2, 5, 24, 31] and references therein
for further details.
Our immediate goal is to generalize (7) to the case when the matrix operator J is weakly
nonlocal rather than purely differential, see Theorem 2 below. However, we shall need a few
more definitions and known results in order to proceed.
A symplectic operator J is compatible [12] with a Hamiltonian operator P̃ if JP̃J is again
symplectic. If the symplectic operator J is an inverse of a Hamiltonian operator P , then the
compatibility of J and P̃ is equivalent to that of P and P̃ . In fact, a more general assertion holds.
Lemma 1. Consider a nondegenerate Hamiltonian operator P and a formally skew-symmetric
operator P̃ : V∗ → V which is not necessarily Hamiltonian. Their Schouten bracket vanishes
([P, P̃ ] = 0) if and only if the operator P−1P̃P−1 is symplectic.
Sketch of proof. By (6), the operator J̃ = P−1P̃P−1 is symplectic if and only if
〈J̃ ′[X1]X2,X3〉+ 〈J̃ ′[X2]X3,X1〉+ 〈J̃ ′[X3]X1,X2〉 = 0. (8)
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility 5
Let Xi = Pχi, χi ∈ V. By equation (4.12) and Proposition 4.3 of [30] which are readily seen to
be applicable in the infinite-dimensional case as well, we have
[P, P̃ ](χ1,χ2,χ3) = 〈J̃ ′[X1]X2,X3〉+ 〈J̃ ′[X2]X3,X1〉+ 〈J̃ ′[X3]X1,X2〉,
and the result follows. �
Note also the following easy corollary of Theorem 1 of [15].
Theorem 1. Let εα be arbitrary nonzero constants, and ψα ∈ A be local functions such that
δψα/δu 6= 0 for all α = 1, . . . , q. Then the operator
J =
q∑
α=1
εα
δψα
δu
⊗D−1 ◦ δψα
δu
(9)
is symplectic.
We now need to extend A, V and V∗ to include weakly nonlocal elements. First of all, a q-
component vector function ~f is said to be weakly nonlocal if there exist a nonnegative integer s
and ~f0 ∈ Aq, ~fα ∈ Aq, Kα ∈ A, α = 1, . . . , s such that ~f can be written as
~f = ~f0 +
s∑
α=1
~fαD
−1(Kα), (10)
where ~fα are linearly independent over A for α = 1, . . . , s, δKα/δu 6= 0, α = 1, . . . , s, and Kα
are linearly independent over the constants.
We shall denote the space of weakly nonlocal q-component vectors in the sense of above
definition by Ãq; Ṽ (resp. Ṽ∗) will stand for the space of n-component columns (resp. rows)
with entries from à ≡ Ã1. The definition of directional derivative is extended to Ãq as follows:
for ~f of the form (10) we set
~f ′ = ~f0
′ +
s∑
α=1
(
D−1(Kα)~fα
′ + ~fαD
−1 ◦K ′
α
)
.
Moreover, the definitions of directional derivative and the Lie derivative along Q ∈ V readily
extend to the elements of Ṽ. In the present paper we adopt a relatively informal approach to
nonlocal variables in spirit of [11]. For a more rigorous approach to nonlocal symmetries see e.g.
[2, 25] and references therein.
We shall call a weakly nonlocal Hamiltonian operator P normal if for any Q ∈ Ṽ the condition
LQ(P ) = 0 implies that Q ∈ V.
3 Main results
We start with the following nonlocal generalization of the homotopy formula (7).
Theorem 2. Let J : V → V∗ be a weakly nonlocal formally skew-symmetric operator. Suppose
that there exist εα and local Hα such that ε2α = 1 (i.e., εα = ±1) and we have
J− =
q∑
α=1
εαδHα/δu⊗D−1 ◦ δHα/δu.
Then the operator J is symplectic if and only if there exists a local γ0 ∈ V∗ such that we have
J = γ ′ − (γ ′)† for
γ = γ0 +
1
2
q∑
α=1
εαδHα/δuD
−1(Hα). (11)
6 A. Sergyeyev
Proof. If there exists γ0 such that γ (11) satisfies
J = γ ′ − (γ ′)† (12)
then J is obviously symplectic.
Now assume that J is symplectic and construct a suitable γ0 such that γ (11) satisfies (12).
Let γ̃ = γ − γ0. We readily see that we have(
γ̃ ′ − γ̃ ′†)
− = J−. (13)
On the other hand,
(
γ̃ ′ − γ̃ ′†
)
obviously is a symplectic operator and therefore so is
J̃ = J −
(
γ̃ ′ − γ̃ ′†).
By virtue of (13) we have J̃− = 0, i.e., J̃ is purely differential. Let
γ0 =
∫ 1
0
(J̃(u))[λu]dλ.
Clearly, this γ0 is local [5], and by (7) we have J̃ = γ ′
0 − (γ ′
0)†. Hence γ (11) satisfies (12),
and the result follows. �
Theorem 2 means that the existence of a (not necessarily globally defined) weakly nonlocal γ
such that (12) holds is a necessary and sufficient condition for a weakly nonlocal J to be
symplectic. An important feature of this result is that the nonlocal terms in γ are uniquely
determined by the structure of nonlocal terms in J , so in fact we only need to determine a local γ0.
Combining Lemma 1 and Theorem 2 we arrive at the following results.
Corollary 1. Let P be a nondegenerate Hamiltonian operator and P̃ : V∗ → V be a formally
skew-symmetric operator such that P−1P̃P−1 is weakly nonlocal and there exist εα = ±1 and
local Fα such that
P−1P̃P−1 =
s∑
α=1
εαδFα/δu⊗D−1 ◦ δFα/δu. (14)
Then [P, P̃ ] = 0 if and only if there exists a local γ0 ∈ V∗ such that
γ = γ0 +
1
2
s∑
α=1
εαδFα/δuD
−1(Fα) (15)
satisfies P−1P̃P−1 = γ ′ − (γ ′)†.
Corollary 2. Under the assumptions of Corollary 1 suppose that P is a normal weakly nonlocal
Hamiltonian operator of the form
P =
p̄∑
m=0
amD
m +
q̄∑
ρ=1
ε̄ρGρ ⊗D−1 ◦Gρ, (16)
where am are n× n matrices with entries from A, ε̄ρ are arbitrary nonzero constants, Gρ ∈ V,
and we have
LGρ(δFα/δu) = 0, α = 1, . . . , s, ρ = 1, . . . , p̄. (17)
Then [P, P̃ ] = 0 if and only if there exists a weakly nonlocal τ ∈ Ṽ such that P̃ = Lτ (P ).
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility 7
Proof. Under the assumptions of Corollary 1 let τ = −Pγ +Q, where γ is given by (15) and Q
satisfies LQ(P ) = 0. Then we have P̃ = Lτ (P ), cf. proof of Proposition 3 in [26].
The Hamiltonian operator P is normal by assumption, and hence Q is local, i.e., Q ∈ V.
Hence the only nonlocal terms in τ originate from −Pγ and read
−1
2
s∑
α=1
εαD
−1(Fα)P (δFα/δu) +
1
2
q∑
α=1
q̄∑
ρ=1
εαε̄ρGρD
−1
((
D−1 (δFα/δu ·Gρ)
)
Fα
)
.
Now, the expressions D−1((δFα/δu ·Gρ)) are in fact local. Indeed, by (3) the conditions (17)
are equivalent to
δ(Gρ · δFα/δu)/δu = 0, α = 1, . . . , q, ρ = 1, . . . , q̄. (18)
In turn, (18) implies that (Gρ · δFα/δu) ∈ ImD, as desired.
Hence P (δFα/δu) and
(
D−1 (δFα/δu ·Gρ)
)
Fα are local, and τ is weakly nonlocal.
On the other hand, if there exists a weakly nonlocal τ such that P̃ = Lτ (P ) then we have
[P, P̃ ] = 0, cf. the proof of Proposition 7.8 of [5] or equation (4) of [26], and the result follows. �
The above two results are more than a mere test of whether a given P̃ has a zero Schouten
bracket with P (and, in particular, whether the Hamiltonian operators P and P̃ are compa-
tible). In particular, Corollary 2 shows that if P is purely differential and normal then, under
certain technical assumptions that appear to hold in all interesting examples, all weakly nonlocal
Hamiltonian operators compatible with P can be written in the form Lτ (P ) for suitably chosen
weakly nonlocal τ .
Therefore, we can search for Hamiltonian operators compatible with P by picking a gene-
ral weakly nonlocal τ and requiring the operator Lτ (P ) to be Hamiltonian. Clearly, we have
considerably fewer unknown functions to determine than if we would just assume that P̃ is
weakly nonlocal and formally skew-symmetric and then require P̃ to be a Hamiltonian operator
compatible with P .
It is natural to ask under which conditions the operator P−1P̃P−1 meets the requirements
of Corollary 1. To this end consider first a weakly nonlocal operator of the form
J =
p∑
m=1
bmD
m +
q∑
α=1
εα
δψα
δu
⊗D−1 ◦ δψα
δu
, (19)
where bm are n×n matrices with entries from A, εα are arbitrary nonzero constants, and ψα ∈ A
are local functions.
In what follows we assume without loss of generality that δψα/δu, α = 1, . . . , q, are linearly
independent over the constants. We have the following well-known result.
Lemma 2. Let J : V → V∗ be a nondegenerate operator of the form (19). If P = J−1 is a purely
differential operator then we have
P
(
δψα
δu
)
= 0, α = 1, . . . , q. (20)
In particular, if J is symplectic then
∫
ψαdx are Casimir functionals for the bracket {, }P .
Proof. We have
J(0) =
q∑
α=1
cαεα
δψα
δu
,
8 A. Sergyeyev
where cα are arbitrary constants. Acting by P = J−1 on the left- and right-hand side of this
equation yields
q∑
α=1
cαεαP
(
δψα
δu
)
= 0,
and since cα are arbitrary we obtain (20). �
Further let P̃ be a weakly nonlocal formally skew-symmetric operator of the form
P̃ =
p̃∑
m=0
ãmD
m +
q̃∑
ρ=1
ε̃ρY ρ ⊗D−1 ◦ Y ρ, (21)
where ãm are n× n matrices with entries from A and ε̃ρ are arbitrary nonzero constants.
Theorem 3. Let J be a weakly nonlocal symplectic operator of the form (19) and P̃ : V∗ → V be
a weakly nonlocal formally skew-symmetric operator of the form (21). Suppose that there exist
local functions Hρ and Kα such that
JY ρ = δHρ/δu, ρ = 1, . . . , q̃, and (22)
JP̃ (δψα/δu) = δKα/δu, α = 1, . . . , q,
Then JP̃J is weakly nonlocal and we have
(JP̃J)− =
q∑
α=1
εα
(
δKα
δu
⊗D−1 ◦ δψα
δu
+
δψα
δu
⊗D−1 ◦ δKα
δu
)
−
q̃∑
ρ=1
ε̃ρ
δHρ
δu
⊗D−1 ◦ δHρ
δu
. (23)
Moreover, the operator JP̃J is symplectic if and only if there exists a local γ0 ∈ V∗ such that
γ = γ0 −
1
2
q̃∑
ρ=1
ε̃ρ
δHρ
δu
D−1(Hρ) +
1
2
q∑
α=1
εα
(
δKα
δu
D−1(ψα) +
δψα
δu
D−1(Kα)
)
(24)
satisfies JP̃J = γ ′ − (γ ′)†.
The proof is by straightforward computation. Note that imposing the conditions (22) is
a very weak restriction, as (22) can be shown to follow from weak nonlocality and symplecticity
of JP̃J under certain minor technical assumptions.
The conditions (22) have a very simple meaning. The first of these conditions ensures that
LY ρ(J) = 0, i.e., Y ρ are Hamiltonian with respect to J . The second condition means that the
action of the operator N = JP̃ on δψα/δu yields a variational derivative of another Hamilto-
nian density Kα. Moreover, if the operator N † = P̃ J is hereditary, the said second condition
guarantees [23] that Nk(δψα/δu) are variational derivatives (of possibly nonlocal Hamiltonian
densities) for all k = 2, 3, . . . .
Combining Theorem 3 and Corollary 2 we readily obtain the following results.
Corollary 3. Let P be a nondegenerate Hamiltonian operator such that J = P−1 is weakly
nonlocal and can be written in the form (19) for suitable p, q, bm and ψα. Then under the
assumptions of Theorem 3 any formally skew-symmetric operator P̃ : V∗ → V such that [P, P̃ ]=0
can be written as P̃ = Lτ (P ), where τ = −Pγ and γ is given by (24).
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility 9
Corollary 4. Under the assumptions of Corollary 3 suppose that P is a weakly nonlocal operator
of the form (16) and we have
LGρ(δKα/δu) = 0, LGρ(δψα/δu) = 0, α = 1, . . . , q, ρ = 1, . . . , q̄. (25)
Then τ = −Pγ is weakly nonlocal.
Moreover, if P is a differential operator then τ = −Pγ has the form
τ = τ 0 +
1
2
q̃∑
ρ=1
ε̃ρP
(
δHρ
δu
)
D−1(Hρ)− 1
2
q∑
α=1
εαP
(
δKα
δu
)
D−1(ψα), (26)
where τ 0 ∈ V is local.
Proof. Using (25) and Corollary 2 we readily see that under the assumptions made τ = −Pγ is
indeed weakly nonlocal. If P is a differential operator then we have P
(
δψα
δu
)
= 0 by Lemma 2,
and a straightforward computation yields (26). �
For instance, let n = 2, and u = (u, v)T . Consider
J =
(
0 1
−1 0
)
and P̃ =
(
D + 2vD−1 ◦ v −2vD−1 ◦ u
−2uD−1 ◦ v D + 2uD−1 ◦ u
)
,
the symplectic structure and the Hamiltonian structure for the nonlinear Schrödinger equation,
see e.g. [32] and references therein. We can rewrite P̃ as
P̃ =
(
D 0
0 D
)
+ Y 1 ⊗D−1 ◦ Y 1, Y 1 =
√
2
(
−v
u
)
.
We have
JP̃J =
(
−D − 2uD−1 ◦ u −2uD−1 ◦ v
−2vD−1 ◦ u −D − 2vD−1 ◦ v
)
=
(
−D 0
0 −D
)
− δH1
δu
⊗D−1 ◦ δH1
δu
,
H1 = (u2 + v2)/
√
2.
The conditions of Theorem 2 and Corollary 3 are readily seen to hold, and therefore we have
JP̃J = γ ′ − (γ ′)†, where
γ = γ0 −
1
2
δH1
δu
D−1(H1), γ0 = (v1/2, u1/2),
and P̃ = Lτ (J−1), where
τ = −u1/2 +
1
2
Y 1D
−1(H1).
Given a Hamiltonian operator P , it is natural to ask under which conditions P̃ = Lτ (P ) also
is a Hamiltonian operator. A straightforward but tedious computation yields the following
Theorem 4. Under the assumptions of Corollary 3 suppose that there exist local functions Lρ
and Mα such that
JP̃ (δHρ/δu) = δLρ/δu, ρ = 1, . . . , q̃, and (27)
JP̃ (δKα/δu) = δMα/δu, α = 1, . . . , q.
10 A. Sergyeyev
Then P̃ = Lτ (P ) is a Hamiltonian operator if and only if there exists a local γ̃0 ∈ V∗ such that
γ̃ = γ̃0 −
1
2
q̃∑
ρ=1
ε̃ρ
(
δLρ
δu
D−1(Hρ) +
δHρ
δu
D−1(Lρ)
)
+
1
2
q∑
α=1
εα
(
δMα
δu
D−1(ψα) +
δKα
δu
D−1(Kα) +
δψα
δu
D−1(Mα)
)
, (28)
satisfies (JP̃ )2J = γ̃ ′ − (γ̃ ′)†.
Proof. By Proposition 1 of [26] the operator P̃ = Lτ (P ) is Hamiltonian if and only if
[L2
τ (P ), P ] = 0. (29)
If P is nondegenerate then by Lemma 1 the condition (29) is equivalent to the requirement that
the operator JL2
τ (P )J be symplectic. It is readily seen that
JL2
τ (P )J = JLτ (P̃ )J = Lτ (JP̃J) + 2(JP̃ )2J.
In turn, as JP̃J is symplectic, we have Lτ (JP̃J) = (JP̃Jτ )′ − (JP̃Jτ )′†, and, as τ = −Pγ =
−J−1γ, where γ is given by (24), we obtain
Lτ (JP̃J) = −(JP̃γ)′ + (JP̃γ)′†,
so the operator Lτ (JP̃J) is symplectic.
Hence the operator JL2
τ (P )J is symplectic if and only if so is (JP̃ )2J . By virtue of (27) the
operator (JP̃ )2J is weakly nonlocal, so we can verify its symplecticity using Theorem 2, and
the result follows. �
Combining Theorem 4 and Corollary 2 we obtain the following
Corollary 5. Under the assumptions of Theorem 4 suppose that P is normal, weakly nonlocal
and has the form (16). Further assume that we have
LGρ(δHσ/δu) = 0, LGρ(δLσ/δu) = 0, ρ = 1, . . . , q̄, σ = 1, . . . , q̃,
LGρ(δKβ/δu) = 0, LGρ(δMβ/δu) = 0,
LGρ(δψβ/δu) = 0, ρ = 1, . . . , q̄, β = 1, . . . , q, (30)
LY ρ(δHσ/δu) = 0, LY ρ(δKα/δu) = 0,
LY ρ(δψα/δu) = 0, α = 1, . . . , q, ρ, σ = 1, . . . , q̃,
Then P̃ is a Hamiltonian operator if and only if there exists a weakly nonlocal τ̃ ∈ Ṽ such that
L2
τ (P ) = Lτ̃ (P ).
Proof. We readily find that τ̃ = −P (−JP̃γ +2γ̃)+Q = P̃γ−2P γ̃ +Q, where Q ∈ V because
P is normal. In complete analogy with the proof of Corollary 2 we find that the conditions (30)
ensure that the coefficients at the nonlocal variables in τ̃ are local, and therefore τ̃ is weakly
nonlocal. �
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility 11
4 Local Hamiltonian operators of zero order
Now assume that J has the form
J = b0, (31)
where b0 is an n× n matrix with entries from A.
A complete description of all symplectic operators of this form can be found in [20]. Namely,
if J (31) is symplectic then we have [20]
b0 =
n∑
s=1
b
(1,s)
0 (x,u)us
1 + b
(0)
0 (x,u), (32)
i.e., b0 depends only on x, u, u1 and, moreover, is linear in u1. Of course, for J (31) to be
symplectic the quantities b(1,s)
0 and b(0)0 must satisfy certain further conditions, see [20] for details.
Corollary 6. Let P be a nondegenerate Hamiltonian operator such that J = P−1 has the
form (31). Then any formally skew-symmetric differential operator P̃ : V∗ → V such that
[P, P̃ ] = 0 can be written as P̃ = Lτ (P ) for a local τ ∈ V.
Proof. Indeed, by Corollary 3 we can take τ = −Pγ and γ given by (24) is now local. �
Theorem 5. Let P be a nondegenerate Hamiltonian operator such that J = P−1 has the
form (31). Then a formally skew-symmetric differential operator P̃ : V∗ → V is a Hamilto-
nian differential operator P̃ : V∗ → V compatible with P if and only if there exist a local τ ∈ V
and a local τ̃ ∈ V such that P̃ = Lτ (P ) and L2
τ (P ) = Lτ̃ (P ).
Proof. The existence of a local τ ∈ V such that P̃ = Lτ (P ) is immediate from Corollary 6.
By Proposition 1 of [26] the operator P̃ = Lτ (P ) is Hamiltonian if and only if [L2
τ (P ), P ] = 0.
But by Corollary 6 the latter equality holds if and only if there exists a local τ̃ ∈ V such that
L2
τ (P ) = Lτ̃ (P ), and the result follows. �
5 Local Hamiltonian operators of Dubrovin–Novikov type
Assume now that P is a Hamiltonian operator of Dubrovin–Novikov type [6, 7], cf. also [8, 9, 10],
i.e., it is a matrix differential operator with the entries
P ij = gij(u)D +
n∑
k=1
bijk (u)uk
1, (33)
and det gij 6= 0, i.e., P , considered as formal series, is nondegenerate.
An operator P (33) with det gij 6= 0 is [6, 7] a Hamiltonian operator if and only if gij is
a contravariant flat (pseudo-)Riemannian metric on an n-dimensional manifold M with local
coordinates ui and bijk = −
∑n
m=1 g
imΓj
mk, where Γj
mk is the Levi-Civita connection associated
with gij : Γk
ij = (1/2)
∑n
s=1 g
ks(∂gsj/∂x
i + ∂gis/∂x
j − ∂gij/∂x
s). Here gij is determined from
the conditions
∑n
s=1 g
ksgsm = δk
m, k,m = 1, . . . , n.
Let us pass to the flat coordinates ψα(u), α = 1, . . . , n, of gij . In these coordinates gij
becomes a constant matrix ηij , where ηij = 0 for i 6= j and ηii satisfy (ηii)2 = 1, i, j = 1, . . . , n,
and the Hamiltonian operator P of Dubrovin–Novikov type associated with gij takes the form
P ij
can = ηijD. (34)
12 A. Sergyeyev
Theorem 6 ([4]). Let P be a nondegenerate Hamiltonian operator of Dubrovin–Novikov type
and P̃ : V∗ → V be a purely differential formally skew-symmetric operator such that{∫
ψαdx,
∫
ψβdx
}
P̃
= 0, α, β = 1, . . . , n, (35)
where ψα = ψα(u) are flat coordinates for the metric gij associated with P . Then [P, P̃ ] = 0 if
and only if there exist a local τ ∈ V such that P̃ = Lτ (P ).
Corollary 7. Under the assumptions of Theorem 6 suppose that{∫
ψαdx,
∫
ψβdx
}
L2
τ (P )
= 0, α, β = 1, . . . , n, (36)
Then P̃ is a Hamiltonian operator compatible with P if and only if there exists a local τ̃ ∈ V
such that L2
τ (P ) = Lτ̃ (P ).
Proof. If there exist local τ , τ̃ ∈ V such that P̃ = Lτ (P ) and L2
τ (P ) = Lτ̃ (P ) then by
Proposition 3 of [26] the operator P̃ indeed is a Hamiltonian operator compatible with P . On
the other hand, the existence of τ such that P̃ = Lτ (P ) is guaranteed by Theorem 6. Thus we
only have to show that if the operator P̃ is Hamiltonian then there exists a local τ̃ ∈ V such
that L2
τ (P ) = Lτ̃ (P ).
By Proposition 1 of [26] the operator P̃ = Lτ (P ) is Hamiltonian if and only if [L2
τ (P ), P ] = 0.
As (36) holds by assumption, by Theorem 6 we have [L2
τ (P ), P ] = 0 if and only if there exists
a local τ̃ ∈ V such that L2
τ (P ) = Lτ̃ (P ), and the result follows. �
For a simple example, let n = 1, u ≡ u, and let P = D and P̃ = D3 + 2uD + u1 be the
first and the second Hamiltonian structure of the KdV equation. We have [4] P̃ = Lτ (P ) for
τ = −(u2 +u2)/2, and it is readily seen that the conditions of Corollary 7 are satisfied, so there
exists a local τ̃ such that L2
τ (P ) = Lτ̃ (P ). An easy computation shows that the latter equality
holds e.g. for τ̃ = −u4/2− u2
1/2 + 5u3/6.
6 Conclusions
In the present paper we extended the homotopy formula (7) to a large class of weakly non-
local symplectic structures, see Theorem 2 above. Besides the potential applications to the
construction of nonlocal extensions for the variational complex, this result enabled us to provide
a complete description for a large class of weakly nonlocal Hamiltonian operators compatible
with a given nondegenerate weakly nonlocal Hamiltonian operator P that possesses a weakly
nonlocal inverse (Corollaries 2, 3, 4, and 5) or, more broadly, with a given weakly nonlocal sym-
plectic operator J (Theorems 3 and 4). These results admit useful simplifications for the case
of zero- and first-order differential Hamiltonian operators, as presented in Sections 4 and 5. In
particular, in Section 5 we provide a simple description for a very large class of local higher-order
Hamiltonian operators compatible with a given local Hamiltonian operator of Dubrovin–Novikov
type. Note that finding an efficient complete description of the nondegenerate weakly nonlocal
Hamiltonian operators with a weakly nonlocal inverse is an interesting open problem, because
such operators would naturally generalize the Hamiltonian operators (33) of Dubrovin–Novikov
type from Section 5 and the zero-order local Hamiltonian operators from Section 4.
Thus, we extended the Lie derivative approach to the study of Hamiltonian operators com-
patible with a given Hamiltonian operator P from finite-dimensional Poisson structures [26, 28]
and Hamiltonian operators of Dubrovin–Novikov type [21, 26] to the weakly nonlocal Hamil-
tonian operators of more general form. An important advantage of this approach is that the
Weakly Nonlocal Hamiltonian Structures: Lie Derivative and Compatibility 13
vector fields τ and τ̃ in general involve a considerably smaller number of unknown functions
than a generic formally skew-symmetric operator being a “candidate” for a Hamiltonian opera-
tor compatible with P , and the search for such vector fields is often much easier than calculating
directly the Schouten brackets involved, cf. also the discussion in [26, 28]. This could be very
helpful in solving the classification problems like the following one: to describe all weakly nonlo-
cal Hamiltonian operators compatible with a given Hamiltonian operator P and having a certain
prescribed form.
Acknowledgements
I am sincerely grateful to Prof. M. B laszak and Drs. M. Marvan, E.V. Ferapontov, M.V. Pavlov
and R.G. Smirnov for stimulating discussions. I am also pleased to thank the referees for useful
suggestions.
This research was supported in part by the Czech Grant Agency (GA ČR) under grant
No. 201/04/0538, by the Ministry of Education, Youth and Sports of the Czech Republic (MŠMT
ČR) under grant MSM 4781305904 and by Silesian University in Opava under grant IGS 1/2004.
References
[1] B laszak M., Multi-Hamiltonian theory of dynamical systems, Springer, Heidelberg, 1998.
[2] Bocharov A.V. et al., Symmetries and conservation laws for differential equations of mathematical physics,
American Mathematical Society, Providence, RI, 1999.
[3] Cooke D.B., Compatibility conditions for Hamiltonian pairs, J. Math. Phys. 32 (1991), no. 11, 3071–3076.
[4] Degiovanni L., Magri F., Sciacca V., On deformation of Poisson manifolds of hydrodynamic type, Comm.
Math. Phys. 253 (2005), 1–24, nlin.SI/0103052.
[5] Dorfman I., Dirac structures and integrability of nonlinear evolution equations, John Wiley & Sons, Chich-
ester, 1993.
[6] Dubrovin B.A., Novikov S.P., Hamiltonian formalism of one-dimensional systems of the hydrodynamic type
and the Bogolyubov–Whitham averaging method, Soviet Math. Dokl. 27 (1983), 665–669.
[7] Dubrovin B.A., Novikov S.P., On Poisson brackets of hydrodynamic type, Soviet Math. Dokl. 30 (1984),
651–654.
[8] Ferapontov E.V., Compatible Poisson brackets of hydrodynamic type, J. Phys. A: Math. Gen. 34 (2001),
2377–2388, math.DG/0005221.
[9] Ferapontov E.V., Differential geometry of nonlocal Hamiltonian operators of hydrodynamic type, Funct.
Anal. Appl. 25 (1991), 195–204.
[10] Ferapontov E.V., Nonlocal Hamiltonian operators of hydrodynamic type, differential geometry and appli-
cations, Am. Math. Soc. Trans. 170 (1995), 33–58.
[11] Finkel F., Fokas A.S., On the construction of evolution equations admitting a master symmetry, Phys.
Lett. A 293 (2002), 36–44, nlin.SI/0112002.
[12] Fuchssteiner B., Fokas A.S., Symplectic structures, their Bäcklund transformations and hereditary symme-
tries, Phys. D 4 (1981/82), no. 1, 47–66.
[13] Lichnerowicz A., Les variétés de Poisson et leurs algèbres de Lie associées, J. Differential Geometry 12
(1977), no. 2, 253–300.
[14] Magri F., A simple model of the integrable Hamiltonian equation, J. Math. Phys. 19 (1978), 1156–1162.
[15] Maltsev A.Ya., Weakly nonlocal symplectic structures, Whitham method and weakly nonlocal symplectic
structures of hydrodynamic type, J. Phys. A: Math. Gen. 38 (2005), 637–682, nlin.SI/0405060.
[16] Maltsev A.Ya., Novikov S.P., On the local systems Hamiltonian in the weakly non-local Poisson brackets,
Phys. D 156 (2001), no. 1–2, 53–80, nlin.SI/0006030.
[17] Mikhailov A.V., Shabat A.B., Sokolov V.V., The symmetry approach to classification of integrable equa-
tions, in What is Integrability?, Editor V.E. Zakharov, Springer, New York, 1991, 115–184.
http://arxiv.org/abs/nlin.SI/0103052
http://arxiv.org/abs/math.DG/0005221
http://arxiv.org/abs/nlin.SI/0112002
http://arxiv.org/abs/nlin.SI/0405060
http://arxiv.org/abs/nlin.SI/0006030
14 A. Sergyeyev
[18] Mikhailov A.V., Shabat A.B., Yamilov R.I., The symmetry approach to classification of nonlinear equations.
Complete lists of integrable systems, Russ. Math. Surv. 42 (1987), no. 4, 1–63.
[19] Mikhailov A.V., Yamilov R.I., Towards classification of (2+1)-dimensional integrable equations. Integrability
conditions. I, J. Phys. A: Math. Gen. 31 (1998), 6707–6715.
[20] Mokhov O.I., Symplectic and Poisson geometry on loop sapces of manifolds in nonlinear equations, in
Topics in Topology and Mathematical Physics, Editor S.P. Novikov, AMS, Providence, RI, 1995, 121–151,
hep-th/9503076.
[21] Mokhov O.I., Compatible Dubrovin–Novikov Hamiltonian operators, Lie derivative and integrable systems
of hydrodynamic type, Theoret. and Math. Phys. 133 (2002), no. 2, 1557–1564, math.DG/0201281.
[22] Mokhov O.I., Compatible nonlocal Poisson brackets of hydrodynamic type and related integrable hierarchies,
Theoret. and Math. Phys. 132 (2002), no. 1, 942–954, math.DG/0201242.
[23] Oevel W., Rekursionmechanismen für Symmetrien und Erhaltungssätze in Integrablen Systemen, Ph.D.
Thesis, University of Paderborn, Paderborn, 1984.
[24] Olver P.J., Applications of Lie groups to differential equations, Springer, New York, 1993.
[25] Sergyeyev A., On recursion operators and nonlocal symmetries of evolution equations, in Proc. Sem. Diff.
Geom., Editor D. Krupka, Silesian University in Opava, Opava, 2000, 159–173, nlin.SI/0012011.
[26] Sergyeyev A., A simple way to make a Hamiltonian system into bi-Hamiltonian one, Acta Appl. Math. 83
(2004), 183–197, nlin.SI/0310012.
[27] Sergyeyev A., Why nonlocal recursion operators produce local symmetries: new results and applications,
J. Phys. A: Math. Gen. 38 (2005), no. 15, 3397–3407, nlin.SI/0410049.
[28] Smirnov R.G., Bi-Hamiltonian formalism: a constructive approach, Lett. Math. Phys. 41 (1997), 333–347.
[29] Sokolov V.V., On symmetries of evolution equations, Russ. Math. Surv. 43 (1988), no. 5, 165–204.
[30] Vaisman I., Lectures on the geometry of Poisson manifolds, Birkhäuser, Basel, 1994.
[31] Wang J.P., Symmetries and conservation laws of evolution equations, Ph.D. Thesis, Vrije Universiteit van
Amsterdam, Amsterdam, 1998.
[32] Wang J.P., A list of 1 + 1 dimensional integrable equations and their properties, J. Nonlinear Math. Phys.
9 (2002), suppl. 1, 213–233.
http://arxiv.org/abs/hep-th/9503076
http://arxiv.org/abs/math.DG/0201281
http://arxiv.org/abs/math.DG/0201242
http://arxiv.org/abs/nlin.SI/0012011
http://arxiv.org/abs/nlin.SI/0310012
http://arxiv.org/abs/nlin.SI/0410049
1 Introduction
2 Preliminaries
3 Main results
4 Local Hamiltonian operators of zero order
5 Local Hamiltonian operators of Dubrovin-Novikov type
6 Conclusions
References
|