1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2: %%%%% LATEX FILE with TOC: RUN *THREE* times %%%%%%
3: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4: \documentclass[12pt]{article}
5: %\documentclass{article}
6: \usepackage{amsmath,amssymb,epsf%,showkeys
7: }
8: \setlength{\textwidth}{5.6in}%per [12pt]
9: \setlength{\topmargin}{-0.2in}
10: \setlength{\textheight}{8.7in} %per[12pt]
11: \setlength{\oddsidemargin}{.3in}
12: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
13: %
14: % IF YOU *DON'T* HAVE THE ``AMSFONTS'',
15: % STRIP OUT THE ABOVE LINES AND UNCOMMENT
16: % THE FOLLOWING 5 ONE
17: %
18: %
19: %\newcommand{\Bbb}[1]{\bf #1}
20: %
21: %\newcommand{\frak}[1]{\rm #1}
22: %\let\goth\frak
23: %\newcommand{\sheaf}[1]{\cal #1}
24: %
25: %\newcommand{\square}{\mbox{\bf QED}}
26: %%
27: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
28: % END FONT MATTER
29: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
30: %
31: %%%%%%%% ENVIRONMENTS %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
32: \newcommand{\beq}{\begin{equation}}
33: \newcommand{\eeq}{\end{equation}}
34: \newcommand{\ba}{\begin{array}}
35: \newcommand{\ea}{\end{array}}
36: \newcommand{\bea}{\begin{eqnarray}}
37: \newcommand{\eea}{\end{eqnarray}}
38: \newcommand{\bean}{\begin{eqnarray*}}
39: \newcommand{\eean}{\end{eqnarray*}}
40: \renewcommand{\arraystretch}{1.7}
41: \newtheorem{theorem}{Theorem}[section]
42: \newtheorem{prop}[theorem]{Proposition}
43: \newtheorem{lem}[theorem]{Lemma}
44: \newtheorem{exe}[theorem]{Exercise}
45: \newtheorem{defi}[theorem]{Definition}
46: \newtheorem{remark}[theorem]{Remark}
47: \newenvironment{rem}{\begin{remark} \rm}{\end{remark}}
48: \newenvironment{exer}{\begin{exe} \rm}{\end{exe}}
49: \newtheorem{proof}{Proof.}\renewcommand{\theproof}{}
50: \newenvironment{pf}{\begin{proof} \rm}{\hfill$\square$ \end{proof}}
51: %%%%%%%%% CALLIGRAPHIC LETTERS %%%%%%%%%%%%%%%%%%%%%%%%%%
52: \newcommand{\CH}{{\cal H}}
53: \newcommand{\CA}{{\cal A}}
54: \newcommand{\CD}{{\cal D}}
55: \newcommand{\CE}{{\cal E}}
56: \newcommand{\CW}{{\cal W}}
57: \newcommand{\CZ}{{\cal Z}}
58: \newcommand{\CS}{{\cal S}}
59: \newcommand{\CN}{{\cal N}}
60: \newcommand{\CF}{{\cal F}}
61: \newcommand{\CM}{{\cal M}}
62: \newcommand{\CQ}{{\cal Q}}
63: \newcommand{\CL}{{\cal L}}
64: \newcommand{\CK}{{\cal K}}
65: \newcommand{\CX}{{\cal X}}
66: \newcommand{\CU}{{\cal U}}
67: \newcommand{\CV}{{\cal V}}
68: %%%%%%%%% THIS NUMBERS EQUATIONS BY SECTIONS %%%%%%%%%%%%%
69: \makeatletter
70: \@addtoreset{equation}{section}
71: \renewcommand{\theequation}{\thesection.\arabic{equation}}
72: %\thesection instead of \arabic{section} for correct equation numbering
73: % in appendices
74: \makeatother
75: %%%%%%%%%%%%%%%%%%%%BLACKBOARD AND JORGE'S LETTERS%%%%%%%%%%%%%%
76: \newcommand{\Hh}{{\mathsf H}}
77: \newcommand{\Ee}{{\mathsf E}}
78: \newcommand{\Vv}{{\mathsf V}}
79: \newcommand{\Uu}{{\mathsf U}}
80: \newcommand{\Ww}{{\mathsf W}}
81: \newcommand{\Ff}{{\mathsf F}}
82: \newcommand{\Tt}{{\mathsf T}}
83: \newcommand{\HH}{{\mathbb H}}
84: \newcommand{\RR}{{\mathbb R}}
85: \newcommand{\CC}{{\mathbb C}}
86: \newcommand{\PP}{{\mathbb P}}
87: \newcommand{\FF}{{\mathbb F}}
88: \newcommand{\ZZ}{{\mathbb Z}}
89: \newcommand{\DD}{{\mathbb D}}
90: \newcommand{\NN}{{\mathbb N}}
91: \newcommand{\VV}{{\mathbb V}}
92: \newcommand{\YY}{{\mathbb Y}}
93: %%%%%%%%%%%%%%%%%%%%GREEK LETTERS%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
94: \def\th{\theta} \def\Th{\Theta}
95: \def\ga{\gamma} \def\Ga{\Gamma}
96: \def\be{\beta}
97: \def\al{\alpha}
98: \def\ep{\epsilon}
99: \def\la{\lambda} \def\La{\Lambda}
100: \def\de{\delta} \def\De{\Delta}
101: \def\om{\omega} \def\Om{\Omega}
102: \def\sig{\sigma} \def\Sig{\Sigma}
103: \def\ph{\phi} \def\Ph{\Phi}
104: \def\vphi{\varphi}
105: %%%%%%%%%%%%%%%%%%%JOURNALS%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
106: \newcommand{\ajm}[3]{Amer. J. Math. {\bf #1} (#2), #3}
107: \newcommand{\cmp}[3]{Comm. Math. Phys. {\bf #1} (#2), #3}
108: \newcommand{\pl}[3]{Phys. Lett. {\bf B #1} (#2), #3}
109: \newcommand{\pla}[3]{Phys. Lett. {\bf A #1} (#2), #3}
110: \newcommand{\np}[3]{Nucl. Phys. {\bf B #1} (#2), #3}
111: \newcommand{\fap}[3]{Funkt. Anal. Pril. {\bf #1} (#2), #3}
112: \newcommand{\faa}[3]{Funct. Anal. Appl. {\bf #1} (#2), #3}
113: \newcommand{\ihes}[3]{Publ. Math. I.H.E.S. {\bf #1} (#2), #3}
114: \newcommand{\prl}[3]{Phys. Rev. Lett. {\bf #1} (#2), #3}
115: \newcommand{\ijmp}[3]{Int. Jour. Mod. Phys. A{\bf #1} (#2), #3}
116: \newcommand{\ap}[3]{Ann. Phys. {\bf #1} (#2), #3}
117: \newcommand{\lmp}[3]{Lett. Math. Phys. {\bf #1} (#2), #3}
118: \newcommand{\plms}[3]{Proc. London Math. Soc. {\bf #1} (#2), #3}
119: \newcommand{\rmp}[3]{Rev. Math. Phys. {\bf #1} (#2), #3}
120: \newcommand{\tams}[3]{Trans. AMS {\bf #1} (#2), #3}
121: \newcommand{\mplA}[3]{Mod. Phys. Lett. {\bf A#1} (#2), #3}
122: \newcommand{\lanl}[1]{LANL preprint, hep-th/#1}
123: \newcommand{\jmp}[3]{Jour. Math. Phys. {\bf #1} (#2), #3}
124: %%%%%%%%%%%%%%%%%%%VARIOUS DEF'S%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
125: \newcommand{\rref}[1]{(\ref{#1})} %puts parentheses around ref's
126: \def\binomial#1#2{{#1\choose #2}}
127: \newcommand{\half}{\frac{1}{2}}
128: \newcommand{\dz}{\mbox{d}z}
129: \newcommand{\dzb}{\mbox{d}\bar z}
130: \def\frc{{\sim\hskip -2.5pt\sim\hskip -2.5pt\sim\hskip -4.2pt
131: \triangleright }}
132: \def\ristr{{\restriction}}
133: \def\dsl{\displaystyle}
134: \def\deriv#1#2{{\strut{\del#1\over\del#2}\displaystyle}}
135: \def\plusminus{\pm}
136: \newcommand{\del}{{\partial}}
137: \newcommand{\delb}{{\bar\partial}}
138: \def\mapright#1{\smash{\mathop{\longrightarrow}
139: \limits^{#1}}}
140: \def\Ad{{{\cal A}_{(2)}}}
141: \def\mapdown#1{\big\downarrow\rlap{$\vcenter
142: {\hbox{$\scriptstyle#1$}}$}}
143: %%%%%%%%%%%%%%% LOCAL DEFINITIONS (SYMB) %%%%%%%%%%%%%%%%
144: \def\Fdb{{Fa\`a di Bruno}}
145: \def\parpo#1#2{\{#1,#2\}}
146: %\def\dp#1{\partial_{#1}}
147: \def\mat2#1#2#3#4{{\left(\begin{array}{cc}#1 & #2\\ #3 & #4 \end{array}\right)}}
148: \def\mats2#1#2#3#4{{\left(\begin{array}{cc}#1 & #2\vspace{2truemm} \\ #3 & #4
149: \end{array}\right)}}
150: \def\vec2#1#2{{\left(\begin{array}{c}
151: #1 \\ #2 \end{array}\right)}}
152: \def\Bdpt#1#2{\displaystyle{\frac{\partial #1}{\partial t_{#2}}}}
153: \def\dpt#1#2{{\frac{\partial #1}{\partial t_{#2}}}}
154: \def\ddd#1#2{\displaystyle{\frac{\partial #1}{\partial #2}}}
155: \def\Hdd#1{\displaystyle{\frac{\partial H}{\partial h_{#1}}}}
156: \def\fddd#1#2{\displaystyle{\frac{\delta #1}{\delta #2}}}
157: \newcommand{\dddx}{{\ddd{}{x}}}
158: \newcommand{\DT}{\frac{d}{dt}}
159: \newcommand{\Ha}[1]{H^{(#1)}}
160: \newcommand{\h}[1]{h^{(#1)}}
161: \newcommand{\Wa}[1]{W^{(#1)}}
162: \newcommand{\ala}[1]{\al^{(#1)}}
163: \newcommand{\bb}[1]{\be^{(#1)}}
164: \newcommand{\Lax}[1]{L^{(#1)}}
165: \newcommand{\eqcon}[1]{{\buildrel{(#1)}\over{=}}}
166: \def\Hit#1{\Hi^{(#1)}}
167: \def\Aa#1{A^{(#1)}}
168: \newcommand{\ha}[1]{h^{(#1)}}
169: \def\Nij{Nijenhuis}
170: \def\HJ{Hamilton--Jacobi\ }
171: \def\k#1{k^{(#1)}}
172: \def\f#1{f^{(#1)}}
173: \def\g#1{g^{(#1)}}
174: \def\a#1{a^{(#1)}}
175: \def\hi{\tilde{h}}
176: \def\Hi{\tilde{H}}
177: \def\endpf{\begin{flushright}$\square$\end{flushright}}
178: \def\kp#1{{KP$^{{(#1)}}$}}
179: \def\akp#1#2{{KP$^{{(#1)}}_#2$}}
180: \def\Alg{{\mathfrak G}}
181: \def\Dua{{\mathfrak G}^*}
182: \def\alg{{\mathfrak g}}
183: \def\algd{{\mathfrak g}^*}
184: \def\pdx{{\partial_x}}
185: \newcommand{\fraksl}{{\mathfrak s}{\mathfrak l}}
186: \def\ger{hierarch}
187: \def\var{manifold}
188: \def\p#1#2#3{{p^{(#1)}_{#2}(#3)}}
189: \def\bih{bihamiltonian}
190: \def\varb{\bih\ \var}
191: \def\ham{Hamiltonian}
192: \def\vefi{vector field}
193: \def\bou{Boussinesq}
194: \def\parp{Poisson bracket}
195: \def\ger{hierarch}
196: \def\gerb{bi-Ham\-il\-ton\-ian hierarch}
197: \def\parpu{{\parpo{\cdot}{\cdot}}}
198: \def\tenp{Poisson tensor}
199: \def\res{\mbox res}
200: \newcommand{\expo}[1]{{e^{#1}}}
201: \newcommand{\wid}[1]{\widehat{#1}}
202: \newcommand{\ddx}{{\frac{d}{dx}}}
203: \newcommand{\ddt}{{\frac{d}{dt}}}
204: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
205: \begin{document}
206: \null
207: \begin{flushright}
208: Ref. SISSA 35/2005/FM
209: \end{flushright}
210: \vspace{0.6truecm} \baselineskip=24pt
211: \begin{center}
212: {\Large\bf
213: On a Camassa-Holm type equation\\
214: with two dependent variables}
215: \end{center}
216: \vspace{0.3truecm}
217: \begin{center}
218: {\large
219: Gregorio Falqui\\ \vspace{0.2 truecm}
220: SISSA, Via Beirut 2/4, I-34014 Trieste, Italy\\
221: }
222: \end{center}
223: \baselineskip=18pt \vspace{0.5truecm} \noindent{ {\bf Abstract}:
224: We consider a generalization of the Camassa Holm (CH) equation
225: with two dependent variables, called CH2, introduced in
226: \cite{LZ04}. We briefly provide an alternative derivation of it
227: based on the theory of Hamiltonian structures on (the dual of) a
228: Lie Algebra. The Lie Algebra here involved is the same algebra
229: underlying the NLS \ger y. We study the structural properties of
230: the CH2 \ger y within the \bih\ theory of integrable PDEs, and
231: provide its Lax representation. Then we explicitly discuss how to
232: construct classes of solutions, both of peakon and of
233: algebro-geometrical type. We finally sketch the construction of a
234: class of singular solutions, defined by setting to zero
235: one of the two dependent variables.}
236: \section{Introduction}
237: The relevance of Camassa Holm equation, first discovered by means
238: of geometric considerations by Fokas and Fuchssteiner \cite{FF81},
239: was brought to the light in \cite{CH93}, where it was obtained as
240: a suitable limit of the Green-Naghvi equations. One of its more
241: interesting features is that it is an integrable approximation of
242: an order higher than KdV to the Euler equations in one spatial
243: dimension.
244:
245: From the mathematical point of view, until quite recently the CH
246: \ger y was possibly the only well known example of integrable \ger
247: y not comprised in the Dubrovin-Zhang classification
248: scheme of evolutionary \bih\ hierarchies \cite{DZ02}.
249: The reason for this is
250: that the CH \ger y does not admit a formulation by means of a
251: $\tau$-function. This lacking is reflected in the properties of
252: notable classes of solutions. Indeed, bounded traveling waves for
253: the CH equation (termed {\em peakons}) develop a discontinuity in
254: the first derivatives, and the evolution properties of finite
255: gap solutions, as discussed in \cite{achm94,
256: CMc99,acfhm01}, are somewhat peculiar, even if
257: they can be expressed in terms of hyperelliptic curves
258: as in the KdV case. The Whitham modulation theory
259: associated with genus one solutions of CH, discussed in
260: \cite{AG05}, also presents some non standard features.
261:
262: The integrable equations we are going to discuss in the present
263: paper are conservation laws for two dependent variables of the
264: form:
265: \begin{equation}
266: \label{eq:ch2-eq}
267: \begin{array}{lcl}
268: {(v- v_{x})_{t}}
269: &=& (-2\rho
270: u+v^2- vv_x)_x\\
271: {(u+ u_{x})_{t}}&=&(2uv+ u_x v)_x,
272: \end{array}
273: \end{equation}
274: with $\rho$ a parameter. These equations was derived (for
275: $\rho=1$) in \cite{LZ04} within the framework of the general
276: deformation theory of hydrodynamic \ger ies of \bih\ evolutionary
277: PDEs \cite{DZ02}; more recently, a related equation has been
278: considered in \cite{CLZ05}, within the framework of reciprocal
279: transformations, and the properties of solitary waves and
280: 2-particle like solutions described.
281:
282: Actually, a similar equation was introduced by Olver and Rosenau
283: in \cite{OR95}, as a deformation of the Boussinesq system;
284: traveling wave solutions of the resulting equation can be found in
285: \cite{LOR99}.
286: In particular, in the paper \cite{OR95}, various non-standard
287: integrable equations were defined. The key observation was that
288: one can define \bih\ pencils from a given Poisson tensor using
289: scaling arguments, and hence apply a recipe used in \cite{FF81}.
290:
291: Our derivation of the equation resembles the one of \cite{OR95};
292: however, on the one hand we will take advantage of the fact that the
293: phase space is the dual of a Lie algebra, and, on the other
294: hand, we will require that the hydrodynamical limit of the resulting equations
295: be ``substantially'' the same as that of the classical equation we
296: are starting from. As it will be briefly sketched in Section \ref{sec:2}, the
297: latter are the well known AKNS equations, that is, a complex form
298: of the Nonlinear Schr\"odinger equations.
299:
300: In the core of the paper we will study both formal and concrete
301: properties of the \ger y \rref{eq:ch2-eq},
302: which we call {\em CH2 \ger y}. At first
303: we will characterize it from the \bih\ point of view, find its Lax
304: representation, and discuss the
305: associated {\em negative} \ger y.
306:
307: Then we will discuss the features of two main classes of solutions. We
308: will show that it admits peaked traveling waves, and show that
309: these solutions can be consistently superposed, giving rise to the same
310: finite dimensional Hamiltonian system associated with the N-peakon solution of
311: the CH equation. Then we will address the problem of characterizing
312: algebro-geometric solutions. We will show that the same phenomenon that happens
313: in the Harry-Dym and CH finite gap solutions, namely the occurrence of
314: non-standard Abel-Jacobi maps, is reproduced here.
315:
316: We will end noticing that the reduction of the CH2 equations on the
317: submanifold $u(x,t)=0$, where they yield
318: the one-field equation
319: \[
320: (v-v_x)_t=(v^2-vv_x)_x
321: \]
322: admits weak solutions of traveling wave type
323: with peculiar interaction properties.
324:
325: \section{Some remarks on the CH \ger y}\label{sec:1}
326: We herewith collect some remarks on the CH equation
327: \begin{equation}
328: \label{eq:che}
329: u_t-u_{xxt}=-3u u_x+2 u_x u_{xx}+u u_{xxx},
330: \end{equation}
331: and highlight those features that will lead us to define its
332: $2$-field generalization the next Sections. In particular, we will
333: focus on a connection of CH with the KdV equation $
334: u_t=-u_{xxx}+6uu_x$ which was (although implicitly) pointed out
335: \cite{KM00} in the framework of Euler equations on
336: diffeomorphisms groups.
337:
338: From the \bih\ point of view, the KdV theory can be regarded as the
339: Gel'fand--Zakharevich \cite{GZ93} theory of the Poisson pencil
340: \begin{equation}
341: \label{eq:ppkdv}
342: Q-\la P=-\del_x^3+2u\del_x+u_x-\la \del_x.
343: \end{equation}
344: defined on a suitable space $\CU$ of functions $u=u(x)$ of one
345: independent variable. As it has been long known, $\CU$ admits a
346: very natural geometrical interpretation of dual of the Witt
347: algebra $\CV$ of vector fields in ``one dimension''\footnote{E. g., on the
348: punctured plane $\CC^*$.}, whose elements will be represented with
349: $f\dsl{\ddd{}{x}}$, endowed with the natural Lie bracket. Actually,
350: a closer look at the expression of the KdV Poisson pencil
351: \ref{eq:ppkdv} shows that, calling
352: \begin{equation}
353: \label{eq:ppp}
354: Q_\omega=\del^3_x,\quad P=\del_x,\quad Q_h=2u\del_x+u_x,
355: \end{equation}
356: we are facing a {\em triple} of Poisson tensors, $P,Q_\omega,
357: Q_h$, all of which have a well defined geometrical and algebraic
358: meaning. Namely:
359: \begin{enumerate}
360: \item $Q_h$ is the Lie Poisson structure on $\CV^*$. \item $P$ is
361: associated with the coboundary ${c}(f\dddx,g\dddx)=\oint fg_x$.
362: \item $Q_\omega$ is associated with the Gel'fand-Fuchs cocycle
363: $\omega(f\dddx,g\dddx))=\oint f g_{xxx}$.
364: \end{enumerate}
365: So
366: $(\CV^*, \{Q_h,Q_\omega,P\})$ is actually a `tri'--Hamiltonian manifold,
367: that is, that for any (complex) numbers $\eta, \la,\mu$ the linear
368: combination
369: \begin{equation}
370: \label{eq:poitri}
371: P_{\eta, \la,\mu}=\eta Q_h+\mu Q_\omega+\la P
372: \end{equation}
373: is a Poisson tensor. This follows from the obvious compatibility
374: between the two constant tensors $Q_\omega$ and $P$, and the known
375: property that the compatibility condition between the Lie Poisson
376: structure and any constant structure on the dual of a Lie algebra
377: $\alg$ coincides with the closure condition for 2-cochains in the
378: cohomology of $\alg$.
379:
380: In this respect we see that KdV can be regarded as the GZ theory
381: on $\CV^*$, equipped with a particular pencil extracted from the
382: web of Poisson tensors~\rref{eq:poitri}, namely that obtained
383: ``freezing'' (in the parlance of \cite{KM00}) $\mu$ and $\eta$ to
384: the value $1$.
385:
386: The route towards the (bi)Hamiltonian approach to the CH equation
387: is similar. Indeed, we can (following \cite{CH93}) consider, in
388: the space $\CM$ defined by the associated dependent variable (the
389: momentum) $m=u-u_{xx}$, the two Poisson structures
390: \begin{equation}
391: \label{eq:ppch}
392: Q_h=2m\del_x+m_x,\quad \text{ and } R=Q_\omega-P=\del^3-\del=-(\del_x
393: \cdot({\mathbf 1}-\del_x^2)).
394: \end{equation}
395: They form another Poisson pencil extracted from the web
396: \rref{eq:poitri}, and provide the CH equation with a
397: \bih\ representation,
398: with Hamiltonian functions given by
399: \begin{equation}
400: \label{eq:ch-ham2}
401: H_1=\frac12\int u^2 dx, \quad H_2=\frac12\int (u^3+uu_x^2)\, dx.
402: \end{equation}
403: We finally recall the following points:
404: \begin{description}
405: \item[i)] Apart from an inessential multiplicative factor, the
406: hydrodynamical limit of CH and KdV coincide with the Burgers
407: equation $u_t=u u_x.$ \item[ii)] One can define a {\em negative CH}
408: \ger y by iteration of the Casimir $H_{-1}=\int\sqrt{m}dx$ of $Q_h$.
409: \item[iii)] The traveling wave solution of the CH equation is
410: the {\em peakon}
411: \begin{equation}
412: \label{eq:peak}
413: u(x,t)=c\exp{(-|x-ct|)};
414: \end{equation}
415: More generally, the CH equations admit $N$-peakon solutions of the
416: form
417: \begin{equation}
418: \label{eq:npeak}
419: u(x,t)=\sum p_i(t)\exp{(-|x-q_i(t)|)},
420: \end{equation}
421: where $\big(p_i(t),q_i(t)\big)$ describe the geodesic motion on a manifold
422: with (inverse) metric $ g^{i,j}=\exp(-|q_i-q_j|)$ \item[iv)] The
423: CH equation admits a Lax pair, being the compatibility condition
424: of the linear system
425: \begin{equation}
426: \label{eq:laxpair}
427: \psi_{xx}=\big(\frac14-\frac{m}{2\la}\big)\psi,\quad
428: \psi_t=-(\la+u)\psi_x+\frac12 u_x\psi.
429: \end{equation}
430: \item[v)] Cnoidal waves for CH satisfy the following relation
431: tying $u'=\frac{d}{dr}u(r)$ and $u=u(r)$, where $r=x-ct$:
432: \begin{equation}
433: \label{eq:cnwav}
434: {u'}^2(c-u)+u^3+a_2 u^2+a_1 u +a_0=0,
435: \end{equation}
436: that is, they involve the integration of an Abelian differential
437: of the third kind on this genus $1$ curve, having simple poles at
438: $u=\pm\infty$. The same holds \cite{achm94,acfhm01} for algebro
439: geometrical solutions of higher genus.
440: \end{description}
441:
442: \section{From the AKNS hierarchy to the CH2 hierarchy}\label{sec:2}
443: The AKNS equations describe isospectral deformations of the linear
444: operator
445: \[
446: L=\del_x-\left( \begin{array}{cc} \la& p(x)\\
447: q(x)&-\la\end{array}\right),
448: \]
449: and read:
450: \begin{equation}\label{eq:akns}
451: \dot p=-p_{xx}+qp^2\qquad \dot q=q_{xx}+q^2p.
452: \end{equation}
453: As it is well known, these equation admit a \bih\ formulation, and
454: their restriction to $p(x)=\bar{q}(x)$ yields (after setting $t\to
455: it$) the Non-Linear Schr\"odinger equation
456: \begin{equation}
457: \label{eq:nls}
458: -i\dot q=q_{xx}+|q|^2q.
459: \end{equation}
460: A perhaps less known fact is the following. Under the
461: ``coordinate change''
462: \begin{equation}
463: \label{eq:coch}
464: v=q_x/q,\quad u=p\,q,
465: \end{equation}
466: the AKNS equations become
467: \begin{equation}
468: \label{eq:19}
469: u_t={-u_{xx}+2(uv)_x},\quad
470: v_t={v_{xx}+2vv_x-2u_x}.
471: \end{equation}
472: They admit a \bih\ formulation via the Poisson pair
473: \begin{equation}
474: \label{eq:newpb}
475: P_0=\mat2{0}{\del_x}{\del_x}{0},\quad P_1=\mat2{2u\del_x +u_x}{-\del_x^2+v\del_x}{\del_x^2+\del_x\,v}{-2\del_x},
476: \end{equation}
477: and Hamilton functions
478: \begin{equation}
479: h_1=\int_{S^1} (uv) dx, \quad h_2=\int_{S^1} (uv^2-u^2-u_x v) dx.
480: \end{equation}
481:
482: In analogy with the KdV case, the brackets \rref{eq:newpb}, being
483: at most linear in $(u,v)$, admit a sound Lie-algebraic
484: interpretation.
485:
486: Let $\CW=\CV\ltimes\CF$ be the semidirect product of the algebra
487: of vector fields on $\CC^*$ with the algebra $\CF$ of functions on
488: $\CC^*$, that is the space of pairs
489: \begin{equation}
490: (f\dddx, g),\quad f, g\in \CC((x)),
491: \end{equation}
492: equipped with the Lie bracket
493: \[
494: [(f_1\dddx, g_1),(f_2\dddx, g_2)]=\big((f_1f_{2,x}-f_2f_{1,x})
495: \dddx, f_1g_{2,x}-f_2 g_{1,x}\big).
496: \]
497: Decomposing the second Poisson tensor of Eq. \rref{eq:newpb} as
498: $P_1=P_1^{h}+P_1^{c}+P_1^{lp}$, where:
499: \begin{equation}
500: \label{eq:p1dec}
501: P_1^{h}=\mat2{0}{0}{0}{-2\del_x},\>
502: P_1^{c}=\mat2{0}{-\del^2_x)}{\del^2_x}{0},\>
503: P_1^{lp}\mat2{2u\del_x +u_x}{v\del_x}
504: {\del_x v}{0},
505: \end{equation}
506: we see:
507: \begin{description}
508: \item[i)] $P_0$ is the bracket associated with the coboundary $
509: \int(f_1g_{2,x}-f_2g_{1,x})$. \item[ii)] $P_1^{lp}$ is the Lie
510: Poisson bracket on $\CW^*$. \item[iii)] $P_1^h$ is (a multiple of)
511: the bracket associated with the Heisenberg cocycle $\omega^h:=\int
512: g_{1,x} g_2$. \item[iv)] $P_1^c$ is the bracket associated with
513: the non-trivial cocycle $ \int (f_1g_{2,xx}-f_2g_{1,xx})$.
514: \end{description}
515: These statements can be proven referring to, e.g., \cite{ADKP86},
516: where $H^2(\CW)$ was computed to be three--dimensional, with
517: generators given by $\omega^c,\omega^h$ and the Virasoro cocycle
518: $ \omega^v=\int f_1f_{2,xxx}$. This tensor does not enter the
519: local representation of the AKNS/NLS theory we are dealing with,
520: but rather the dispersive generalization of the Boussinesq system
521: \begin{equation}\label{boh2}
522: u_t=(u^2+h+u_x)_x\quad
523: h_t=(2uh+u_{xx}-h_x)_x
524: \end{equation}
525: discussed in \cite{Kup95}.
526:
527: From the theory of Poisson brackets on (duals of) Lie algebras we
528: get:
529: \begin{prop}
530: The linear combination
531: \[
532: P(\la_1,\la_2,\la_3,\la_4,\la_5)=\la_1P_0+\la_2P_1^{lp}+\la_3P_1^h+\la_4
533: P_1^c+\la_5 P^{vir}
534: \]
535: is, for all values of the parameters $\la_i$, a Poisson tensor.
536: \end{prop}
537: In the sequel we will study the pencil $P_\la$ defined by:
538: \begin{equation}
539: \label{eq:pencil}
540: P_\la=(P^0-P^c)-\la (\rho P_1^h+P_1^{lp})\equiv P-\la Q,
541: \end{equation}
542: where $\rho$ is a (fixed) parameter.
543: Clearly enough, different
544: choices could be made. For example, in \cite{OR95}, the pair
545: $P'=P^0+P^c+P^h$, $Q'=P^{lp}$ has been considered, on the basis of scaling
546: considerations.
547: With our choice, the dispersionless limits of \rref{eq:pencil} and of
548: \rref{eq:newpb} coincide (up to the parameter $\rho$). Essentially we once
549: again mimicked the Camassa-Holm case in moving the ``dispersive cocycle''
550: $P^c$ to the first member of the Poisson pair.
551:
552: We notice that the Poisson tensor $P$ of Eq. \rref{eq:pencil}
553: admits, in analogy with the CH case, the factorization
554: \[
555: P=\del_x\cdot \mat2{0}{\mathbf{1}-\del_x}{\mathbf{1}+\del_x}{0}\equiv
556: \del_x\cdot \Psi
557: \]
558: in which the operator
559: $\Psi$
560: is {\em symmetric}. This will enable us to write evolutionary PDEs for the
561: ``physical'' dependent variables $u,v$ by studying the
562: Lenard-Magri sequences associated with the Poisson pencil $Q-\la
563: P$ defined on the space of the associated dependent variables
564: \[
565: \eta=v- v_x,\quad \xi=u+u_x,
566: \] as in the ordinary CH case, at least for
567: the first few steps.
568: In matrix form, the
569: Hamiltonian vector fields associated with the Poisson pencil
570: $P_\la$ of \rref{eq:pencil} will have the following explicit expression:
571: \begin{equation}
572: \label{eq:mapenc}
573: \vec2{{\eta}_t}{{\xi}_t}=\left(\mat2{-2\rho\del_x}{\del_x\cdot\eta} {\eta\cdot\del_x}{2\xi\del_x
574: +\xi_x} -\la \mat2{0}{\del_x-\del^2_x}{\del_x+\del^2_x}{0}\right)
575: \cdot \vec2{\fddd{H}{\eta}}{\fddd{H}{\xi}}.
576: \end{equation}
577: \subsection{The \ger y}\label{subs:3.1} To write the
578: analogue of the CH equations we apply the Gel'fand-Zakharevich
579: iteration scheme to the Poisson pencil $Q-\la P$ defined by
580: \rref{eq:mapenc}. In particular, starting with the Casimir\footnote{The other
581: regular Casimir $\int \eta$ of $P$ is a common Casimir.} $
582: H_1=\int \xi\, dx \equiv \int u\, dx$ the first vector field of
583: the (``positive'') \ger y is $x$-translation.
584:
585: This vector field is Hamiltonian with respect to $P$ as well, with
586: Hamiltonian function $H_2$ given by
587: \begin{equation}
588: \label{eq:H1}
589: H_2=\int u\eta\, dx=\int u(v-v_x)\, dx.
590: \end{equation}
591: The equation we are interested in, (the {\em CH2 equation}),
592: is the next equation in the
593: Lenard-Magri ladder, that is
594: \begin{equation}
595: \label{eq:zlfch-eq}
596: \vec2{\ddd{\eta}{t}}{\ddd{\xi}{t}}=Q\cdot
597: \vec2{\fddd{H_2}{\eta}}{\fddd{H_2}{\xi}}\Leftrightarrow
598: \begin{array}{lcl}
599: {(v- v_{x})_{t}}
600: &=& \del_x(-2\rho
601: u+v^2- vv_x)\\
602: {(u+ u_{x})_{t}}&=&\del_x(2uv+ u_x v).
603: \end{array}
604: \end{equation}
605: This equation is actually \bih. Indeed, it is easily verified that it is
606: Hamiltonian w.r.t. $P$, with (second) Hamiltonian given by:
607: \begin{equation}
608: \label{eq:scndH}
609: H_3=\int \big(-\rho u^2+u(v^2- vv_x)\big)\, dx.
610: \end{equation}
611: The Lenard-Magri recursion could be prolonged further. As in the CH
612: case, the next Hamiltonians are no more local functional in $(u,v)$.
613:
614: Along with the positive \ger y we can define a {\em negative} \ger
615: y. We switch the roles of $P$ and $Q$, that is, we seek for a
616: Casimir function for the pencil $P-\la Q$. Actually, as a first
617: step we seek for the differential of this Casimir, that is for two
618: Laurent series
619: $\beta_\eta=\beta_\eta^0+\frac1\la\beta_\eta^1+\cdots,
620: \beta_\xi=\beta_\xi^0+\frac1\la\beta_\xi^1+\cdots$ satisfying
621: \begin{equation}
622: \label{eq:caspoi}
623: \mat2{2\rho\la\del_x}{\del_x-\del_x^2-\la\del_x\cdot\eta}
624: {\del_x+\del_x^2-\la \eta\del_x}{-\la(2\xi\del_x
625: +\xi_x)}\cdot\vec2{\beta_\eta}{\beta_\xi}=\vec2{0}{0}.
626: \end{equation}
627:
628: We see that these two one-forms must satisfy the equations:
629: \begin{equation}
630: \label{eq:casint}
631: \begin{split}
632: &2\rho\la\beta_\eta+\beta_\xi(1-\la\eta)-\beta_{\xi,x}=F_1(\la)\\
633: &\la(\rho\beta_\eta^2-\beta_\eta\beta_\xi\eta-\xi\beta_\xi^2)+
634: \beta_\eta\beta_\xi-\beta_\eta\beta_{\xi,x}+\beta_{\eta,x}\beta_\xi=F_2(\la),
635: \end{split}
636: \end{equation}
637: for some suitable functions $F_1(\la), F_2(\la)$, independent of
638: $x$. It is not difficult to ascertain that the choice $F_1(\la)=0,
639: F_2(\la)=-\rho\la$ is a good one. Indeed one can show that, with
640: such a choice, we have
641: \begin{enumerate}
642: \item $\beta_\eta^0=\fddd{H_{-1}}{\eta},\>
643: \beta_\xi^0=\fddd{H_{-1}}{\xi}$, with
644: $H_{-1}=\int\sqrt{\eta^2+4\rho\xi}\, dx$. \item The coefficients
645: $\beta_\eta^i,\beta_\xi^i$ can be algebraically found
646: from eq. \rref{eq:casint} (with $F_1(\la)=0, F_2(\la)=-\rho\la$) as differential
647: polynomials of $\{\beta_\eta^j,\beta_\xi^j\}_{j=0,\ldots,i-1}$.
648: \end{enumerate}
649: Actually, more is true. Indeed it holds:
650: \begin{prop}
651: The normalized equations
652: \begin{equation}
653: \label{eq:ncasint}
654: \begin{split}
655: &2\rho\la\beta_\eta+\beta_\xi(1-\la\eta)-\beta_{\xi,x}=0\\
656: &\la(\rho\beta_\eta^2-\beta_\eta\beta_\xi\eta-\xi\beta_\xi^2)+
657: \beta_\eta\beta_\xi-\beta_\eta\beta_{\xi,x}+\beta_{\eta,x}\beta_\xi+\rho\la=0
658: \end{split}
659: \end{equation}
660: give the recursive equations for the Casimir function of the Poisson
661: pencil $P_\la$, that has the form
662: \begin{equation}
663: \label{eq:hcas}
664: \CH_-(\la)= \int \frac{2\rho}{\beta_\xi}\, dx.
665: \end{equation}
666: \end{prop}
667: {\bf Proof}. Solving for $(\eta,\xi)$ the equations
668: \rref{eq:ncasint}, we get, in terms of $\beta_\xi$ and
669: $h=\beta_\eta/\beta_\xi$ the equations
670: \begin{equation}\label{ex-bh}
671: \begin{split}
672: &\eta=2\rho h + \frac{1}{\la} \big(1-(\log{\beta_\xi})_x\big)\\
673: &\xi= -\rho\big( {h}^2-\frac{1}{\beta_{\xi}^{2}}\big)+
674: \frac{1}{\la} \big( h_x+ h(\log{\beta_\xi})_x\big)
675: \end{split}
676: \end{equation}
677: So, if $(\dot \eta, \dot \xi)$ is any tangent vector to the
678: manifold of pairs $(\eta,\xi)$ we get
679: \begin{equation}\label{eq:ui}
680: \begin{split}
681: &\dot{\eta}=2\rho \dot{h} +
682: \frac{1}{\la}\ddt{}((\log{\beta_\xi})_x)
683: \\&\dot{\xi}=
684: -\rho\big(2h\dot{h}+\frac{2\dot{\beta}_\xi}{\beta_{\xi}^{3}}\big)+
685: \frac{1}{\la} \big( \dot{h_x}+ \dot{h}(\log{\beta_\xi})_x
686: +h\ddt{}((\log{\beta_\xi})_x) \big).
687: \end{split}
688: \end{equation}
689: A straightforward computation shows that
690: \begin{equation}\label{endcomp}
691: \dot\eta\beta_\eta+\dot\xi\beta_\xi\equiv \dot\eta
692: h\beta_\xi+\dot\xi\beta_\xi= -2\rho
693: \frac{\dot{\beta_\xi}}{\beta_{\xi}^2}+\frac{\big(\dot{h}b\big)_x}{\la}
694: \end{equation}
695: whence the assertion.
696:
697: The first coefficients of the Casimir $H(\la)$ of the negative
698: \ger y beyond $H_1=\int\sqrt{4\rho\xi+\eta^2}$ can be explicitly
699: computed as
700: \begin{equation}\begin{split}
701: &H_{-2}=-\int \frac{\eta+\eta_x}{\sqrt{4\rho\xi+\eta^2}},\\
702: &H_{-3}=
703: \int\left(\frac{(2\rho(\xi+\xi_{xx})+\frac12\eta_x^2-\eta(\eta_x-\eta_{xx}))}{(4\rho\xi+\eta^2)^{3/2}}-\frac52\frac{(2\rho\xi_x+\eta\eta_x)^2}{(4\rho\xi+\eta^2)^{5/2}}
704: \right),\end{split} \end{equation}
705: the expression of the subsequent coefficients being
706: too complicated to be usefully reported.
707: \subsection{Lax representation}\label{subsec4.1} The GZ analysis
708: of the Poisson pencil $P_\la$ of \rref{eq:mapenc} provides a way
709: to find a Lax representation for the CH2 equations
710: \rref{eq:zlfch-eq}. Indeed, as we are considering a Casimir of
711: $Q-\la P$, the "first integrals" corresponding to \rref{eq:casint}
712: acquire the form:
713: \begin{equation}\label{eq:n1}
714: \left\{
715: \begin{array}{l}
716: 2\rho\beta_\eta+\beta_\xi(\la-\eta)-\la\beta_{\xi,x}=f_1(\la)\\
717: \rho\beta_\eta^2-\beta_\eta\beta_\xi\eta-\xi\beta_\xi^2+\la(
718: \beta_\eta\beta_\xi-\beta_\eta\beta_{\xi,x}+\beta_{\eta,x}\beta_\xi)=f_2(\la).
719: \end{array}
720: \right.
721: \end{equation}
722: Since the Casimir of the pencil starts with $\int \xi \, dx$, a
723: consistent normalization is $f_1(\la)=\la$, $f_2(\la)=0$. Let us
724: define
725: \begin{equation}\label{eq:hdef}
726: h=\beta_\eta/\beta_\xi.
727: \end{equation}
728: Dividing the second of equations~\rref{eq:n1} by $({\beta_\xi})^2$
729: we can rewrite it as a Riccati equation for $h$:
730: \begin{equation}\label{eq:rh}
731: \rho h^2-\eta h -\xi+\la(h_x+h)=0,
732: \end{equation}
733: where the right hand side can be set to zero consistently
734: with the normalization of $f_1(\la), f_2(\la)$.
735: In turn, setting
736: \begin{equation}\label{eq:hpsi}
737: \psi=\exp \frac{\rho}{\la}\int^x h,
738: \end{equation}
739: equation \rref{eq:rh} linearizes as
740: \begin{equation}\label{eq:l}
741: \psi_{{{xx}}}= \left( \dsl{\frac {\eta}{\lambda}}-1 \right) \psi_{{x}}
742: +\dsl{{\frac {\xi\,\rho}{{\lambda}^{2}}}} \psi.
743: \end{equation}
744: This scalar operator is the first member of the Lax pair for CH2.
745:
746: To get the second member, we substitute \rref{eq:hpsi} into
747: \rref{eq:hdef}, and notice that the differential of $H^+(\la)$
748: starts with
749: \begin{equation}\label{eq:n2}
750: (\frac{u}{\la}, 1+\frac{v}{\la}).
751: \end{equation}
752: Since CH2 can be, using standard techniques of the \bih\ theory,
753: written as a Hamiltonian equation {w.r.t. the Poisson pencil}
754: $Q-\la P$ with $\la$--dependent Hamilton function
755: \begin{equation}\label{eq:n3}
756: \CH(\la)=\int(\la u+u\eta) dx,
757: \end{equation}
758: we arrive at the second member of the Lax pair for CH2, given by
759: the linear equation
760: \begin{equation}\label{eq:lt}
761: \psi_t=\left( \lambda+v \right) \psi_{{x}}-{\frac
762: {u\rho}{\lambda}}\psi,
763: \end{equation}
764: interpreting Eq. \rref{eq:hdef} as
765: \[
766: \fddd{\CH}{\xi}h-\fddd{\CH}{\eta}\sim \del_t\log{\psi}.
767: \]
768: \begin{prop}\label{prop:lax}
769: The CH2 equations
770: \[
771: (v- v_{x})_{t}={(-2\rho
772: u+v^2- vv_x)_x};\quad
773: {(u+ u_{x})_{t}}=(2uv+ u_x v)_x
774: \]
775: are the compatibility conditions of the two linear equations:
776: \begin{equation}\label{eq:cc}
777: \psi_{{{xx}}}= \left( \dsl{\frac {\eta}{\lambda}}-1 \right)
778: \psi_{{x}} +\dsl{{\frac {\xi\,\rho}{{\lambda}^{2}}}} \psi;\quad
779: \psi_t=\left( \lambda+v \right) \psi_{{x}}-{\frac
780: {u\rho}{\lambda}}\psi.
781: \end{equation}
782: \end{prop}
783: For further reference, as well as for the reader's convenience, we
784: remark that CH2 can be seen as the compatibility condition for the
785: two first order matrix linear operator $\del_x-L$ and $\del_t-V$,
786: where
787: \begin{equation}\label{eq:lax2}
788: L= \left( \begin {array}{cc} 0&1\\\noalign{\medskip}\dsl{{\frac
789: {\rho\,\xi}{{\lambda}^{2}}}}&\dsl{{\frac {\eta}{\lambda}}}-1\end
790: {array} \right), \quad V= \left( \begin {array}{cc} -\dsl{\frac
791: {\rho\,u}{\lambda}}&\lambda+v
792: \\\noalign{\medskip}\rho\, \left( \dsl{\frac {u}{\lambda}}+\dsl{\frac {v\xi}{{
793: \lambda}^{2}}} \right) &-\lambda+\dsl{\frac
794: {v\eta}{\lambda}}-\dsl{\frac {\rho \,u}{\lambda}}\end {array}
795: \right).
796: \end{equation}
797:
798:
799: \section{Solutions}\label{sec:5}
800: The aim of this Section is to describe a few solutions of the CH2
801: equations. We start with cnoidal waves. Searching for solutions of
802: the form
803: \begin{equation}\label{5.1}
804: u=u(x-ct),\> v=v(x-ct)
805: \end{equation}
806: we have
807: \begin{equation}\label{5.2q}
808: \begin{array}{l}{c(v'-v)=(-2\rho u+v^2-v'v)+\gamma_1}\\{c(u+u')=-(2vu+u'v)-\gamma_2},
809: \end{array}\Rightarrow \begin{array}{l}
810: v'=\dsl{\frac{-2\rho u+v^2+cv+\gamma_1}{(c+v)}}\\
811: u'=-\dsl{\frac{2vu+cu+\gamma_2}{c+v}}.
812: \end{array}
813: \end{equation}
814: Multiplying the first of \rref{5.2q} by $u'$ and the second
815: by $v'$ and subtracting the two equations we get
816: \begin{equation}\label{5.3}
817: -c(uv'+u'v)=-2\rho u'u+u'v^2+2vv'u+\gamma_1u'+\gamma_2 v',
818: \end{equation}
819: that integrates to the elliptic curve $\CE$
820: \begin{equation}\label{5.3a}
821: cuv -\rho u^2+uv^2+\gamma_1 u+\gamma_2 v+\gamma_3=0.
822: \end{equation}
823: It is easy to ascertain that \rref{5.2q} expresses the cnoidal wave
824: solutions of CH2 via third kind Abelian integrals on $\CE$,
825: as in the Camassa-Holm case.
826:
827: \subsection{The traveling wave solution}\label{ssec:peak}
828: We can find the traveling wave solution of the CH2 equations
829: setting to zero the three constants $\gamma_i, i={1,2,3}$ of Eq. \rref{5.3},
830: that is, considering the degenerate curve $ u(cv -\rho
831: u+v^2)=0.$
832: Let us suppose $c>0$ and $\rho>0$.\\
833: A solution for $u=u(r)$ is
834: \begin{equation}\label{eq:su}
835: u(r)= \left( -\frac{c}{\sqrt {\rho}}+\kappa\,{e^{-r}} \right)
836: \kappa\,{e^{-r }},
837: \end{equation}
838: where $\kappa$ is a (positive) constant.
839:
840: This solution vanishes for
841: for $r\to+\infty$ and for
842: \[
843: r=r_0=-\log{\dsl{\frac{c}{\kappa\sqrt{\rho}}}}.
844: \]
845: It is negative for $r> r_0$ and
846: has an absolute minimum for
847: \[
848: r=r_{min}=-\log{\dsl{\frac{c}{2\kappa\sqrt{\rho}}}}.
849: \]
850: This means that a bounded continuous solution for the traveling
851: wave of CH2 can be obtained joining the trivial solution
852: \[
853: u=0 \quad \text{for }\> r\le r_0
854: \]
855: with this one, that is, considering
856: \begin{equation}\label{eq:ur}
857: u(r)= \left( -\frac{c}{\sqrt {\rho}}+\kappa\,{e^{-r}} \right)
858: \kappa\,{e^{-r }}\theta(r-r_0),
859: \end{equation}
860: where $\theta(r)$ is the Heaviside step function. Substituting
861: this result in the equations \rref{5.2q} we see that we can find a
862: bounded continuous solution for $v(r)$ as well in the form of a
863: ordinary (although well-shaped) peakon
864: \begin{figure}
865: \caption{CH2 peakon profiles with $c=1,\rho=0.1,\> 0.5,\> 1$. The
866: thick line is $u(s)$, the thin line is $v(s)$} \vspace{0.8truecm}
867: \boxed{\centerline{\epsfxsize=4.8cm\epsfbox{2c010.eps},\quad
868: \epsfxsize=4.8cm\epsfbox{2c05.eps}\quad
869: \epsfxsize=4.8cm\epsfbox{2c10.eps}}}
870: \end{figure}
871: \begin{equation}\label{eq:vr}
872: \left\{\begin{array}{l}
873: v(r)=-\dsl{\frac{c^2}{\kappa\sqrt{\rho}}}\expo{r},\quad r\le r_0\\
874: v(r)=-\kappa\sqrt{\rho}\expo{(-r)},\qquad r\ge
875: r_0,\end{array}\right.
876: \end{equation}
877: In terms of the normalized variable $s=r-r_0$, we can compactly
878: write this peakon solution as
879: \begin{equation}\label{eq:rpeak}
880: u(s)=\dsl{\frac{c^2}{\rho}}(e^{-2s}-e^{-s})\theta(s),\> v(s)=-c
881: e^{-|s|}, \quad s=x-ct+r_0.
882: \end{equation}
883: We notice that the derivatives of both $u(s)$ and $v(s)$ have a
884: discontinuity in $s=0$ and that Rankine-Hugoniot type conditions
885: are satisfied at $s=0$. The profile of three such peaked solutions
886: are depicted in Figure 1.
887:
888:
889: Mimicking the Camassa-Holm original paper, we can seek for
890: $N$-peakon solutions of CH2 by means of a linear superposition of
891: elementary solutions of the form given by Eq. \rref{eq:rpeak},
892: .i.e., via the {\em Ansatz}
893: \begin{equation}\label{eq:Npe}
894: \begin{array}{l}
895: u(x,t)=\sum_{i=1}^{N}
896: \pi_i(t)(\expo{(-2x+q_i(t))}-e^{(-x+q_i(t))})\theta(x-q_i(t)),\\
897: v(x,t)=\sum_{i=1}^N -p_i(t)e^{(-|x-q_i(t)|)}.
898: \end{array}
899: \end{equation}
900: A tedious but straightforward computation shows the following:
901: \begin{prop}\label{prop:N-peak}
902: The Ansatz \rref{eq:Npe} gives solutions of the CH2 equation
903: provided that the $2N$ dynamical variables $(q_i, p_i)$ evolve as
904: \begin{equation}\label{eq:pq}
905: \dot{q_i}=\sum_j p_j\expo{(-|q_i-q_j|)};\quad \dot{p}_i=p_i\sum_{j=1}^N
906: p_j\expo{(-|q_i-q_j|)}\wid{\epsilon}_0(q_i-q_j),
907: \end{equation}
908: that is, they evolve, as in the CH case \cite{CH93} as canonical
909: variables under the Hamiltonian flow of
910: \[
911: H_N=\frac12 \sum_{i,j=1}^N p_ip_j\expo{(-|q_i-q_j|)}.
912: \]
913: The quantities $\pi_i$ can be obtained from the solutions
914: $(q_i(t),p_i(t))_{i=1\ldots N}$ of \rref{eq:pq} via the formula:
915: \begin{equation}\label{eq:pi}
916: \pi_i=\dsl{\frac{2p_i}{\rho}}\sum_{j=1}^N
917: p_j\expo{(q_j-q_i)}\wid{\theta}_{\frac12}(q_i-q_j).
918: \end{equation}
919: In these formulas, $\wid{\theta}_{\frac12}(s)$ is the Heaviside step
920: function with the normalization $\wid{\theta}_{\frac12}(0)=\frac12$,
921: and
922: $\wid{\epsilon}_0(s)=\wid{\theta}_{\frac12}(s)-\wid{\theta}_{\frac12}(-s)$.
923: \end{prop}
924: \noindent {\bf Remark}. The coincidence of the peakon solution of
925: CH2 with those of CH can be, {\em a posteriori}, understood by
926: means of the following direct link between CH2 and CH, which we
927: report from \cite{LZ04}. If we apply the operator
928: $\mathbf{1}+\del_x$ to the first of Eq \rref{eq:zlfch-eq}, we get
929: \[\begin{split}
930: &(v-v_{xx})_{t}=\del_x(-2\rho(u+ u_x)+
931: vv_x+v^2-(vv_{xx} + v_x^2))\\
932: &=\del_x(w+(\frac32v^2-(\frac12 v_x^2+vv_{xx}))).\end{split}
933: \]
934: Since the additional term $w$ in this equation is given by
935: \[
936: w=-2\rho(u+ u_x)-\frac12(v- v_x)^2
937: \]
938: we deduce the following system:
939: \begin{equation}
940: \label{eq:zch}
941: \begin{split}
942: &(v-v_{xx})_{t}=\del_x(w+(\frac32v^2-(\frac12
943: v_x^2+vv_{xx})))\\
944: &w_{t}=v_{t}w+2w_{t}v,\end{split}
945: \end{equation}
946: whose consistent reduction to $w=0$ exactly gives the CH
947: equation~\rref{eq:che}.
948:
949: \subsection{Finite gap solutions}
950: In this Section we will address the basic properties of ``finite gap''
951: solutions of the CH2 \ger y.
952:
953: To this end, we use the Lax representation of the \ger y, i.e.,
954: the vanishing curvature relations (see the end of Subsection
955: \ref{subsec4.1})
956: \begin{equation}\label{eq:0cur}
957: \del_t L-\del_x V+[L,V]=0, \quad\text{with } L=\left( \begin
958: {array}{cc} 0&1\\\noalign{\medskip}\dsl{{\frac
959: {\rho\,\xi}{{\lambda}^{2}}}}&\dsl{{\frac {\eta}{\lambda}}}-1\end
960: {array} \right),
961: \end{equation}
962: and $V$ given in Eq. \rref{eq:lax2}.
963:
964: Following standard techniques in the theory of integrable
965: systems, we consider a matrix $2\times 2$ matrix $W(\la)$, with
966: elements that depend on $\la$, such that the Zakharov-Shabat
967: relations
968: \begin{equation}\label{eq:zash}
969: W(\la)_x-[L({\la}),W(\la)]=\frac{\del}{\del t_W} L(\la)
970: \end{equation}
971: yield consistent equations for the variables $\eta,\xi$.
972:
973: A straightforward computation shows
974: \begin{prop}\label{prop:0c}
975: To yield consistent Zakharov-Shabat equations~\rref{eq:zash} the
976: matrix $W(\la)$ must have the form
977: \begin{equation}\label{eq:wmat}
978: W(\la)= \left( \begin {array}{cc} -\dsl{{\frac {\rho\,a }{\lambda
979: }}}&b
980: \\\noalign{\medskip}-\dsl{{\frac{\rho {a_x }}{\lambda}}}+\dsl{{\frac {\rho\,\xi b
981: }{{\lambda}^{2}}}}&{b_x
982: -b } +\dsl{{\frac {b \eta -\rho\,a }{\lambda}}}\end {array}
983: \right),
984: \end{equation}
985: with the "time" evolution $\ddd{}{t_W}$ given by
986: \begin{equation}\label{eq:gh}
987: \vec2{\ddd{\eta}{t_W}}{\ddd{\xi}{t_W}}=\left(Q-\la
988: P\right)\vec2{a}{b}
989: \end{equation}
990: This means that $a=a(x,\la)$ and $b(x,\la)$ are obtained form the
991: Casimir of the Poisson pencil $\CH(\la)=\CH_0+\frac1\la
992: \CH_1+\cdots $ via:
993: \[
994: a(x,\la)=[p(\la)(\fddd{\CH(\la)}{\eta})]_+, \quad
995: b(x,\la)=[p(\la)(\fddd{\CH(\la)}{\xi})]_+,
996: \]
997: for some polynomial (with constant coefficients) $p(\la)$, where
998: $[f(\la)]_+$ represents the
999: polynomial part in the expansion in $\la$ of
1000: $f(\la)$.
1001: \end{prop}
1002: {\bf Remarks. 1)} The Zakharov-Shabat representation for the times
1003: of the negative \ger y of Subsection \ref{subs:3.1} can be obtained in a similar manner.
1004: \\
1005: {\bf 2)} Eq. \rref{eq:n1} with the normalization $f_1(\la)=\la,
1006: f_2(\la)=0$, reads $\text{Tr}(W(\la))=1$. Solving this for
1007: $a(x,\la)$, we can express every element in terms of $b(x,\la)$ as
1008: follows:
1009: \begin{equation} \label{eq:nw}
1010: \begin{split} & W(\la)=\frac12
1011: \left( \begin {array}{ccc} -b(x,\la)_{x}+b(x,\la)(1-\dsl{{\frac{\eta}{
1012: \lambda}}})-1&&2b(x,\la)\\
1013: W_{2,1}&& W_{2,2}
1014: \end {array} \right),\\&
1015: W_{2,1}=b(x,\la)_{x}-\,b(x,\la)_{x\,
1016: x}-(b(x,\la)\eta)_x/\la+(2\rho\,\xi\,b(x,\la))/\la^2,\\&
1017: W_{2,2}=b(x,\la)_{x}-b(x,\la)(1-\eta /\lambda)-1.
1018: \end{split}
1019: \end{equation}
1020: {\bf 3)} In the notations of Section \ref{sec:2}, the
1021: Lax representation of the $n$-th flow of the \ger y\footnote{We
1022: use the convention that
1023: $\ddd{}{t_1}=\ddd{}{x}$, $\ddd{}{t_2}=CH2$.} will be obtained choosing
1024: \begin{equation}\label{eq:ab}
1025: a_n(x,\la)=[\la^{n-1}\beta_\eta]_+, b_n(x,\la)=[\la^{n-1}\beta_{\xi}]_+.
1026: \end{equation}
1027: We notice that, in this way, $b_n(x,\la)$ is a monic polynomial of
1028: degree $n-1$ (while $a_n(x,\la)$ is of $n-2$). For further
1029: use we recall that, if $n\ge k$, the following relation holds, as
1030: a consequence of the definitions:
1031: \begin{equation}\label{eq:bnk}
1032: b_k(x,\la)=\Big[\dsl{\frac{b_n(x;\la)}{\la^{n-k}}}\Big]_+.
1033: \end{equation}
1034:
1035: As it has been already noticed, the recurrence relations for the
1036: differentials of the Casimir function of the {\em positive \ger y}
1037: -- that is, the \ger y to which the CH2 equations belong - cannot
1038: be solved, via local functionals in $u,v$, let alone in
1039: $\xi,\eta$. However, we can still use the Zakharov-Shabat
1040: representation of the \ger y in the study of (some properties of)
1041: the {\em stationary} $t_n$ submanifolds for CH2.
1042:
1043: Indeed, applying a scheme that dates back to \cite{Al79} and has
1044: been used in \cite{achm94,acfhm01} for studying finite-gap
1045: solutions of Harry-Dym and Camassa-Holm type, we can argue as
1046: follows.
1047:
1048: We consider $L=W_1$ and the matrices $W_n$ associated with the
1049: time $t_n$ of the \ger y\footnote{From now on we will not
1050: explicitly write the dependence on $(x, \la)$ of the polynomial
1051: $b$ anymore.}. On the stationary manifold of the time $t_n$ the
1052: matrix
1053: \begin{equation}\label{eq:Wn}
1054: W_n=\frac12\mat2{b_n(1-\eta/\la)-b_{nx}-1}{2b_n}{b_{n x}-b_{n\,
1055: xx}-(b_n\eta)_x/\la +2\rho\xi/\la^2}{b_n(\eta/\la-1)+b_{nx}-1},
1056: \end{equation}
1057: where $b_n=[\la^{n-1}\beta_\xi]_+$,
1058: undergoes, along the time $t_m$ of the \ger y, the Lax equation
1059: \begin{equation}\label{eq:laxwn}
1060: \ddd{}{t_m}{W_n}=[W_m,W_n],
1061: \end{equation}
1062: and so its spectral curve $\Gamma=\text{det}(\nu-W_n(\la))$,
1063: is a constant of the motion. Defining
1064: $\nu=\dsl{\frac{\mu-\la}{2\la}}$, $\Gamma$ is
1065: given by $\mu^2=R(\la)$, where
1066: \begin{equation}\label{eq:spcu}
1067: R(\la)=(b_n^2-2b_nb_{n\,xx}+
1068: b_{n\,x}^2)\la^2-2b_n^2\big((\eta-\eta_x)\la-(4\rho\xi+\eta^2)\big).
1069: \end{equation}
1070: We notice that, since $b_n$ is a monic
1071: polynomial of degree $n-1$ in $\la$, the degree of $R(\la)$ is $2n$,
1072: and so the genus of $\Gamma$ is $n-1$.
1073:
1074: Let $(\la_1,\ldots,\la_{n-1})$ be the $n-1$ roots of $b_n$, i.e, $
1075: b_n=\dsl{\prod_{j=1}^{n-1}(\la-\la_j)}$.
1076: The $x=t_1$ evolution equation of these roots is governed
1077: by the equation
1078: \begin{equation}\label{eq:xev}
1079: \la'_i=\ddd{\la_i}{x}=\dsl{\frac{\sqrt{(R(\la_i))}}{\la_i\prod_{j\neq
1080: i}^n(\la_i-\la_j)}}
1081: \end{equation}
1082: Moreover, thanks to the form of the matrices $W_n$, the Lax
1083: equations~\rref{eq:laxwn} imply that $b_n$ evolves along $t_k$ as
1084: follows
1085: \begin{equation}\label{eq:bntk}
1086: \ddd{b_n}{t_k}=b_k\ddd{b_n}{x}-b_n\ddd{b_k}{x}, \qquad k=1,\ldots, n-1,
1087: \end{equation}
1088: and so we get, evaluating these relations for $\la=\la_i$,
1089: \begin{equation}\label{eq:btk}
1090: \ddd{\la_i}{t_k}=b_k(\la_i)
1091: \ddd{\la_i}{x}= b_k(\la_i)
1092: \dsl{\frac{\sqrt{(R(\la_i))}}{\la_i\prod_{j\neq
1093: i}^n(\la_i-\la_j)}}.
1094: \end{equation}
1095: Since the equations~\rref{eq:bnk} imply that $b_k(\la_i)$ is the
1096: symmetric polynomial of order $k-1$ in
1097: $\big(\la_1,\ldots,\la_{i-1},\la_{i+1},\ldots,\la_{n-1}\big)$
1098: (see, e.g., \cite{acfhm01} for the details), one arrives at the
1099: following relations
1100: \begin{equation}\label{eq:nsjacobi}
1101: dt_k=\sum_{i=1}^{n-1}
1102: \dsl{\frac{\la_i^{n-k}d\la_i}{\sqrt{R(\la_i)}}}.
1103: \end{equation}
1104: These are non-standard Abel-Jacobi relations on the genus $g=n-1$
1105: curve $\Gamma(\mu,\la)$, entailing that the third kind Abelian
1106: differential $\frac{\la^g\,d\la}{\sqrt{R(\la)}}$ is involved in
1107: the integration of the finite dimensional dynamical system
1108: associated with the stationary $t_n$ manifold of CH2.
1109:
1110: \subsection{The manifold $\mathbf{u=0}$ and singular solutions}
1111: The CH2 equations admit a consistent reduction to the manifold
1112: $u=0$. In this section we will show that the resulting equation,
1113: namely
1114: \begin{equation}\label{eq:gf}
1115: \partial_t(v-v_x)=\partial_x(v^2-v v_x)
1116: \end{equation}
1117: admit, with a suitable interpretation, non-continuous solutions,
1118: that could be called half-peakons or {\em "cliffon"} solutions\footnote{We borrow the name
1119: from the paper \cite{DHH02}.}. We notice that the opportunity
1120: of studying this equation (or rather the variant of it therein
1121: considered) was suggested in \cite{OR95}.
1122:
1123: We start noticing that the Green operator for $\mathbf{1}-\del_x$
1124: is the following:
1125: \begin{equation}\label{eq:green}
1126: G(f)(x)=\int_x^\infty\expo{x-y}f(y) dy=\int_{-\infty}^\infty
1127: \expo{x-y}\theta(y-x) f(y) dy,
1128: \end{equation}
1129: where $\theta(r)$ is the Heaviside step function.
1130:
1131: By means of this Green operator, we can rewrite Eq. \rref{eq:gf}
1132: in the following integral form:
1133: \begin{equation}\label{eq:gf-i}
1134: \partial_t v=\partial_x\big(\frac{v^2}{2}+G(\frac{v^2}2)\big),
1135: \end{equation}
1136: to be considered as the analogue of Eq. (0.1) of \cite{CMc99}.
1137: With the Ansatz
1138: \begin{equation}\label{eq:an}
1139: v(x,t)=A\expo{(x-ct)}\theta(ct-x),
1140: \end{equation}
1141: we get
1142: \begin{equation}\begin{split}
1143: &G(v^2)(x)=A^2\,\int_{-\infty}^\infty
1144: \expo{(x+y-2ct)}\theta(y-x)\theta(ct-y) dy=\\
1145: &
1146: A^2\theta(ct-x)\big(\expo{(x-ct)}-\expo{(2x-2ct)}\big)=-v^2+Av.\end{split}
1147: \end{equation}
1148: so that bounded traveling waves for Eq.
1149: \rref{eq:gf} are of the form
1150: \begin{equation}
1151: v(x,t)=-2c \expo{(x-ct)}\theta(ct-x),
1152: \end{equation}
1153: that is, well-shaped peakons (with amplitude twice their speed),
1154: for $x< ct$ that drops to zero for $x> ct$. One can notice the
1155: same solution can be gotten from the differential
1156: equation\rref{eq:gf}, provided we agree to regularize the product
1157: of an Heaviside function and a Dirac $\delta$-function as
1158: $\theta(r)\delta(r)=\frac12 \delta(r)$.
1159:
1160: The interaction of $N$ right moving cliffons can be described much
1161: in the same way of that concerning $N$ right moving peakons,
1162: described in Subsection \ref{ssec:peak}, via the Ansatz:
1163: \begin{equation}\label{a:N}
1164: v(x,t)=\sum_{i=1}^N -2p_i(t)\expo{(x-q_i(t))}\theta(q_i(t)-x).
1165: \end{equation}
1166: One should notice the following. To evaluate $G(v^2)$ we have to
1167: consider products
1168: \begin{equation}
1169: F_{ij}=p_ip_j\expo{(2x-q_i-q_j)}\theta(q_i-x)\theta(q_j-x).
1170: \end{equation}
1171: They can be written as
1172: \[
1173: F_{ij}=p_ip_j\expo{(2x-q_i-q_j)}\big(\wid{\theta}_{\frac12}(q_i-q_j)\theta(q_j-x)+
1174: \wid{\theta}_{\frac12}(q_j-q_i)\theta(q_i-x)\big),
1175: \]
1176: where the normalized Heaviside function
1177: $\wid{\theta}_{\frac12}(r)$ has been defined in Proposition
1178: \ref{prop:N-peak}.
1179: Since a straightforward computation yields
1180: \begin{equation}
1181: \label{eq:boh}\begin{split} G(F_{ij})(x)+F_{ij}&(x)=\\
1182: p_ip_j\big(\expo{(x-q_j)}\theta(q_i-x)\wid{\theta}_{\frac12}(q_j-q_i)&+
1183: \expo{(x-q_i)}\theta(q_j-x)\wid{\theta}_{\frac12}(q_i-q_j)\big),\end{split}
1184: \end{equation}
1185: we obtain that the resulting dynamical system for the $2N$
1186: quantities $(q_i,p_i)$ is the following {\em impulsive} system:
1187: \begin{equation}\label{eq:dynsyst}
1188: \left\{\begin{array}{l} \dot{p_i}=0\\
1189: \dot{q_i}=2\sum_j
1190: p_j\expo{q_i-q_j}\wid{\theta}_{\frac12}(q_j-q_i).\end{array}\right.
1191: \end{equation}
1192: \begin{figure}
1193: \caption{2-cliffon interaction: thin lines represent the
1194: individual cliffons, while the thick one their superposition.}
1195: \vspace{1.truecm}\boxed{
1196: \centerline{\epsfxsize=4.8cm\epsfbox{2CC3.eps},\quad
1197: \epsfxsize=4.8cm\epsfbox{2CC1.eps}\quad
1198: \epsfxsize=4.8cm\epsfbox{2CC0.eps}}}
1199: \end{figure}
1200: We close the paper examining these equations of motion for a
1201: system of two cliffons, with initial conditions
1202: \[
1203: q_1(0)\ll q_2(0), p_1(0)\simeq p_2(0)
1204: \]
1205: For $t\simeq 0$ the evolution will be as follows (notice that
1206: $p_i(t)\equiv p_i(0)$):
1207: \[
1208: \dot{q}_1=p_1+2p_2\expo{q_1-q_2}, \quad \dot{q}_2=p_2.
1209: \]
1210: This means that the rightmost cliffon (whose tip is located at
1211: $x=q_2(t)$) will travel undisturbed, while the leftmost one is
1212: accelerated towards the rightmost. The initial acceleration is
1213: small, but positive. When the distance $q_1-q_2$ between the two
1214: tips is small but non zero, the acceleration of the leftmost
1215: cliffon will become sensible, so that the asymptotic equation is
1216: \[
1217: \dot{q}_1\simeq p_1+2p_2, \quad \dot{q}_2=p_2,\quad\text{for }
1218: q_2-q_1\to 0^+.
1219: \]
1220: At the moment of overtaking, however, the presence of the factor
1221: $\wid{\theta}_{\frac12}(q_j-q_i)$ will decrease the speed of the
1222: cliffon \# 1 of a factor $p_2$, while increasing the speed of the
1223: cliffon \# 2 of a factor $p_1$, so that the two cliffons merge
1224: into a single one, traveling with the sum of their "initial"
1225: speeds. This behavior is depicted in Figure 2, as seen in the
1226: reference frame of the rightmost cliffon.
1227: \subsection*{Acknowledgments}
1228: The author wishes to thank B.
1229: Dubrovin, T. Grava, P. Lorenzoni, and Y. Zhang for useful
1230: discussions. He is also grateful to the organizers of SPT04 (Cala
1231: Gonone --IT, May 2004), of the Workshop {\em
1232: Analytic and Geometric theory of the Camassa-Holm equation and Integrable
1233: Systems}, (Bologna--IT, September 2004),
1234: and of the GNFM annual Meeting (Montecatini
1235: -- IT, October 2004) for the possibility of presenting a few of
1236: the results herewith collected in those Conferences. This work has
1237: been partially supported by INdAM-GNFM under the research project
1238: {\em Onde nonlineari, struttura $\tau$ e geometria delle variet\`a
1239: invarianti: il caso della gerarchia di Camassa-Holm}, by the ESF
1240: project {\em MISGAM}, by the by the Italian M.I.U.R. under the
1241: research project {\em Geometric methods in the theory of nonlinear
1242: waves and their applications}, and by the European Community
1243: through the FP6 Marie Curie RTN {\em ENIGMA} (Contract number
1244: MRTN-CT-2004-5652).
1245: \begin{thebibliography}{99}
1246: \bibitem{AG05} S. Abenda, T. Grava, {\em Modulation of Camassa-Holm equation
1247: and reciprocal transformations}, To appear in Ann. Inst. Fourier,
1248: retrievable at http://misgam.sissa.it/?page=papers.
1249: \bibitem{ADKP86} E. Arbarello, C. De Concini, V. Kac, C. Procesi,
1250: {\em Moduli spaces of curves and representation theory}.
1251: Comm. Math. Phys. {\bf 117} (1988), 1--36.
1252: \bibitem{Al79} S.J. Alber, {\em Investigation of equations of KdV
1253: type by the method of recurrence relations}. J. Lond. Math. Soc.
1254: {\bf 19}, (1979) 467--480.
1255: \bibitem{achm94} M.S. Alber, R. Camassa, D.D. Holm, J.E. Marsden,
1256: {\em The geometry of peaked solitons and billiard solution of a
1257: class of integrable PDEs}, \lmp{32}{1994}{137--151}.
1258: \bibitem{acfhm01} M.S. Alber, R. Camassa, Yu. N. Fedorov,D.D. Holm, J.E.
1259: Marsden, {\em The Complex Geometry of Weak Piecewise Smooth
1260: Solution of Integrable PDEs of Shallow Water and Dym type}.
1261: \cmp{221}{2001}{197--227}.
1262: \bibitem{CH93} R. Camassa, D.D. Holm, {\em An integrable shallow water
1263: equation with peaked solitons}. \prl{81}{1993}{1661--1664}.
1264: \bibitem{CLZ05}M. Chen, S-Q. Liu, Y. Zhang, {\em A 2-Component Generalization
1265: of the Camassa-Holm Equation and Its Solutions}, nlin.SI/0501028.
1266: \bibitem{DHH02}A. Degasperis, D.D. Holm, A.N.W. Hone, {\em
1267: Integrable and non-integrable equations with peakons.}
1268: Nonlinear physics: theory and experiment, II (Gallipoli, 2002),
1269: 37--43, World Sci. Publishing, River Edge, NJ, 2003.
1270: \bibitem{DZ02} B. Dubrovin, Y. Zhang, {\em Normal forms of integrable PDEs,
1271: Frobenius manifolds and Gromov - Witten invariants}. Book in preparation,
1272: first draft in math.DG/0108160.
1273: \bibitem{DLZ04}
1274: B. Dubrovin, S-Q. Liu, Y. Zhang,
1275: {\em
1276: On Hamiltonian perturbations of hyperbolic systems of conservation laws}.
1277: math.DG/0410027.
1278: \bibitem{FF81} B. Fuchssteiner, A.S. Fokas, {\em Symplectic structures,
1279: their B\"acklund transformations and hereditary symmetries}.
1280: Physica {\bf D}, 4 (1981/82), 47--66.
1281: \bibitem{GZ93} I.M. Gel'fand, I. Zakharevich,
1282: {\em On the local geometry of a bi-Hamiltonian structure.}
1283: In: The Gel'fand Mathematical Seminars 1990-1992
1284: (L. Corwin et al., eds.), Birkh\"auser, Boston, 1993, pp. 51--112.
1285: \bibitem{Kup95} B.A. Kupershmidt, {\em Mathematics of Dispersive Water
1286: Waves}, \cmp{99}{1995}{51--73}
1287: \bibitem{KM00} B. Khesin, G. Misio\l ek, {\em Euler equations on homogeneous
1288: spaces and Virasoro orbits}. Adv. Math. {\bf 176}, (2003), 116--144.
1289: \bibitem{LOR99} Yi A. Li, P.J. Olver, P. Rosenau, {\em
1290: Non-analytic solutions of nonlinear wave models}.
1291: Nonlinear theory of generalized functions (Vienna, 1997), 129--145,
1292: Chapman \& Hall/CRC Res. Notes Math., {\em 401}, Boca Raton, 1999.
1293: \bibitem{LZ04} S-Q. Liu, Y. Zhang, {\em Deformations of Semisimple
1294: Bihamiltonian Structures of Hydrodynamic Type},
1295: Jour. Geom. Phys. {\bf 54} (2005), 427--453.
1296: \bibitem{CMc99} H. McKean, A. Constantin, {\em The Camassa-Holm
1297: equation on the circle}, Comm. Pure Appl. Math. {\bf LII},
1298: 949-982, (1999).
1299: \bibitem{OR95} P.J. Olver, P. Rosenau, {\em Tri-Hamiltonian duality
1300: between solitons and solitary waves having compact support}, Phys.
1301: Rev. E., {\bf 53}, 1889--1906, (1996).
1302: .
1303: \end{thebibliography}
1304: \end{document}
1305:
1306: