1:
2: \documentclass[12pt]{article}
3: \usepackage{amssymb,latexsym,amsmath,epsfig}
4:
5: \newcommand{\comment}[1]{\vspace{5mm}\par
6: %\marginpar{\large\underline{\bf NB!}}
7: \framebox{\begin{minipage}[c]{.9 \textwidth}
8: \rm #1 \end{minipage}}\vspace{5 mm}\par}
9:
10: \newcommand{\rem}[1]{}
11: %\newcommand{\remfigure}[1]{}
12: \newcommand{\remfigure}[1]{#1}
13:
14: \newtheorem{theorem}{Theorem}[section]
15: \newtheorem{definition}[theorem]{Definition}
16: \newtheorem{lemma}[theorem]{Lemma}
17: \newtheorem{remark}[theorem]{Remark}
18: \newtheorem{proposition}[theorem]{Proposition}
19: \newtheorem{corollary}[theorem]{Corollary}
20: \newtheorem{example}[theorem]{Example}
21:
22: \rem{
23: \textheight6in
24: \textwidth9in}
25:
26: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
27: \begin{document}
28: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
29: %\Huge
30: \title{Wave Structures and Nonlinear Balances in a Family of 1+1
31: Evolutionary PDEs}
32: \author{ Darryl D. Holm and Martin F. Staley
33: \\Theoretical Division and Center for Nonlinear Studies
34: \\Los Alamos National Laboratory, MS B284
35: \\Los Alamos, NM 87545
36: \\{\footnotesize email: dholm@lanl.gov} }
37: \date{February 26, 2002}
38: \maketitle
39:
40: \begin{abstract} We introduce the following family of evolutionary 1+1 PDEs
41: that describe the balance between convection and stretching for
42: small viscosity in the dynamics of 1D nonlinear waves in fluids:
43: \[
44: m_t\
45: +\
46: \underbrace{\ \ um_x\ \
47: }
48: _{\hspace{-2mm}\hbox{convection}\hspace{-2mm}}\
49: +\
50: \underbrace{\ \ b\,u_xm\ \
51: }
52: _{\hspace{-2mm}\hbox{stretching}\hspace{-2mm}}\
53: =\
54: \underbrace{\ \
55: \nu\,m_{xx}\
56: }
57: _{\hspace{-2mm}\hbox{viscosity}
58: }
59: \,, \quad\hbox{with}\quad
60: u=g*m
61: \,.
62: \]
63: Here $u=g*m$ denotes
64: $
65: u(x)=\int_{-\infty}^\infty g(x-y)m(y)\,dy
66: \,.
67: $
68: This convolution (or filtering) relates velocity $u$ to momentum
69: density $m$ by integration against the kernel $g(x)$. We shall
70: choose $g(x)$ to be an even function, so that $u$ and $m$ have
71: the same parity under spatial reflection. When $\nu=0$, this equation is
72: both reversible in time and parity invariant. We shall study the effects of
73: the balance parameter $b$ and the kernel $g(x)$ on the solitary wave
74: structures, and investigate their interactions analytically for $\nu=0$ and
75: numerically for small viscosity, $\nu\ne0$.
76:
77: This family of equations admits the classic Burgers ``ramps and cliffs''
78: solutions which are stable for $-1<{b}<1$ with small viscosity.
79:
80: For $b<-1$, the Burgers ramps and cliffs are
81: unstable. The stable solution for $b<-1$ moves leftward instead of
82: rightward and tends to a stationary profile.
83: When $m=u-\alpha^2u_{xx}$ and $\nu=0$, this profile is given by
84: $u(x)\simeq{\rm sech}^2(x/(2\alpha))$ for $b=-2$, and
85: by $u(x)\simeq{\rm sech}(x/\alpha)$ for $b=-3$.
86:
87: For $b>1$, the Burgers ramps and cliffs are again unstable. The stable
88: solitary traveling wave for $b>1$ and $\nu=0$ is the ``pulson''
89: $u(x,t)=cg(x-ct)$, which restricts to the ``peakon'' solution in the
90: special case $g(x)=e^{-|x|/\alpha}$ when $m=u-\alpha^2u_{xx}$. Nonlinear
91: interactions among these pulsons or peakons are governed by the
92: superposition of solutions for $b>1$ and $\nu=0$,
93: \[u(x,t)=\sum_{i=1}^N p_i(t)\,g(x-q_i(t))\,.\]
94: These solutions obey a finite dimensional dynamical system for the
95: time-dependent speeds $p_i(t)$ and positions $q_i(t)$. We study the pulson
96: and peakon interactions analytically, and we determine their fate
97: numerically under adding viscosity.
98:
99: \end{abstract}
100:
101: %\newpage
102: \tableofcontents
103:
104:
105:
106:
107:
108: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
109: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
110: \section{Introduction}\label{Intro}
111: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
112: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
113:
114: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
115: \subsection{The b-family of fluid transport equations}
116: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
117:
118: We shall analyze a one-dimensional version of active fluid transport
119: that is described by the following family of 1+1 evolutionary equations,
120: \begin{equation}\label{b-family}
121: m_t\
122: +\
123: \underbrace{\ \ um_x\ \
124: }
125: _{\hspace{-2mm}\hbox{convection}\hspace{-2mm}}\
126: +\
127: \underbrace{\ \ b\,u_xm\ \
128: }
129: _{\hspace{-2mm}\hbox{stretching}\hspace{-2mm}}\
130: =\
131: 0
132: \,, \quad\hbox{with}\quad
133: u=g*m
134: \,,
135: \end{equation}
136: in independent variables time $t$ and one spatial coordinate $x$.
137:
138: We shall seek solutions for the fluid velocity $u(x,t)$ that are defined
139: either on the real line and vanishing at spatial infinity, or on a
140: periodic one-dimensional domain. Here $u=g*m$ denotes the convolution
141: (or filtering),
142: \begin{equation}\label{unused-1}
143: u(x)=\int_{-\infty}^\infty g(x-y)m(y)\,dy,
144: \end{equation}
145: which relates velocity $u$ to momentum density $m$ by
146: integration against kernel $g(x)$ over the real line. We
147: shall choose $g(x)$ to be an even function, so that $u$ and $m$ have the
148: same parity.
149:
150: The family of equations (\ref{b-family}) is characterized by the kernel
151: $g$ and the real dimensionless constant $b$, which is the ratio
152: of stretching to convective transport. As we shall see, $b$ is also the
153: number of covariant dimensions associated with the momentum density $m$.
154: The function $g(x)$ will determine the traveling wave shape and length
155: scale for equation (\ref{b-family}), while the constant $b$ will provide a
156: balance or bifurcation parameter for the nonlinear solution behavior.
157: Special values of $b$ will include the first few positive and negative
158: integers.
159:
160: The quadratic terms in equation (\ref{b-family}) represent the
161: competition, or balance, in fluid convection between nonlinear transport
162: and amplification due to $b-$dimensional stretching.
163: %%%
164: For example, if $m$ is fluid momentum (a one-form density in one
165: dimension) then $b=2$.
166: %%%
167: Equation (\ref{b-family}) with $b=2$ arises in the nonlinear dynamics
168: of shallow water waves, as shown in \cite{CH[1993]} and
169: \cite{DGH[2001]}.
170: %%%
171: Equation (\ref{b-family}) with $b=2$ and $b=3$ appears in the theory of
172: integrable partial differential equations \cite{CH[1993],DGH[2001],DHH[2002]}.
173: %%%
174: The three-dimensional analog of equation (\ref{b-family}) with $b=2$
175: was introduced in \cite{HMR[1998a],HMR[1998b]}. Applying the
176: proper viscosity to this three-dimensional analog with $b=2$ produces the
177: Navier-Stokes-alpha model of turbulence \cite{Chen-etal[1998]}. The 1D
178: version of this turbulence model is
179: \begin{equation}\label{viscous-b-eqn}
180: m_t\
181: +\
182: \underbrace{\ \ um_x\ \
183: }
184: _{\hspace{-2mm}\hbox{convection}\hspace{-2mm}}\
185: +\
186: \underbrace{\ \ b\,u_xm\ \
187: }
188: _{\hspace{-2mm}\hbox{stretching}\hspace{-2mm}}\
189: =\
190: \underbrace{\ \
191: \nu\,m_{xx}\
192: }
193: _{\hspace{-2mm}\hbox{viscosity}
194: }
195: \,, \quad\hbox{with}\quad
196: u=g*m
197: \,.
198: \end{equation}
199: We shall compare our analysis of equation (\ref{b-family}) with
200: numerical simulations of (\ref{viscous-b-eqn}) for small viscosity.
201:
202:
203:
204: \subsection{Outline of the paper}
205:
206: After summarizing previous investigations of particular cases in the
207: b-family (\ref{b-family}) of active transport equations, section
208: \ref{history&properties} discusses its symmetries and other general
209: properties such as parity and reversibility. Section \ref{twaves}
210: discusses the traveling waves of equation (\ref{b-family}) and derives
211: their Pulson solutions, which may be generalized functions for $b>1$.
212: Section \ref{PulsonInteract} analyzes the interaction dynamics of the
213: Pulson solutions for any positive $b$ and any $g$. Section \ref{Peakons}
214: specializes the analysis of the Pulson solutions to the Peakons, for which
215: $g(x)=e^{-|x|/\alpha}$ is a peaked pulse of width $\alpha$, and $b$ is
216: taken to be arbitrary.
217: \rem{
218: In section \ref{IVP} we introduce numerics that illustrates
219: the different types of behavior that may arise in the initial value
220: problems for Peakon solutions with $b>0$, $b=0$ and $b<0$. These
221: illustrations of analytically verifiable cases also serve to validate
222: and ensure the accuracy of our numerical methods.
223: }
224: In section \ref{Viscosity} we add viscosity to the peakon equation,
225: and describe our numerical methods for illustrating the different types of
226: behavior that may arise in the initial value problems for Peakon solutions
227: with $b>0$, $b=0$ and $b<-1$. Section \ref{PeakonsViscousFate} using these
228: numerical methods to determine how viscosity affects the fate of the
229: peakons. Section \ref{IVP} provides a synopsis of the figures. Section
230: \ref{Conclusions} summarizes the paper's main conclusions.
231:
232:
233:
234:
235:
236: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
237: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
238: \section{History and general properties of the b-equation}
239: \label{history&properties}
240: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
241: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
242: Camassa and Holm \cite{CH[1993]} derived the following equation for
243: unidirectional motion of shallow water waves in a particular Galilean
244: frame,
245: \begin{equation}\label{CH-equation-withdisp}
246: \hspace{-3mm}
247: m_t\
248: +
249: \underbrace{\ \ um_x\ \
250: }
251: _{\hspace{-2mm}\hbox{convection}\hspace{-2mm}}\
252: +\
253: \underbrace{\ \ 2\,u_xm\ \
254: }
255: _{\hspace{-2mm}\hbox{stretching}\hspace{-2mm}}\
256: =\
257: \underbrace{
258: -\,c_0 u_x-\,\gamma\, u_{xxx}\
259: }
260: _{\hbox{dispersion}}
261: \quad
262: \&\quad
263: %\quad\hbox{with}\quad
264: m=u-\alpha^2u_{xx}
265: \,.
266: \end{equation}
267: Here $m=u-\alpha^{\,2}u_{xx}$ is a momentum variable, partial
268: derivatives are denoted by subscripts, the constants
269: $\alpha^{\,2}$ and $\gamma/c_0$ are squares of length scales, and
270: $c_0=\sqrt{g'h}$ is the linear wave speed for undisturbed water of depth
271: $h$ at rest under gravity $g'$ at spatial infinity, where $u$ and $m$ are
272: taken to vanish. Any constant value $u=u_0$ is also a solution of
273: (\ref{CH-equation-withdisp}).
274:
275: Equation (\ref{CH-equation-withdisp}) was derived using Hamiltonian
276: methods in \cite{CH[1993]} and was shown in \cite{DGH[2001]}
277: also to appear as a water wave equation at quadratic order in the
278: standard
279: asymptotic expansion for shallow water waves in terms of
280: their two small
281: parameters (aspect ratio and wave height). The famous
282: Korteweg-de Vries
283: (KdV) equation appears at linear order in this
284: asymptotic expansion and is
285: recovered from equation (\ref{CH-equation-withdisp}) when $\alpha^2\to0$.
286: Both KdV at linear order and its nonlocal, nonlinear generalization in
287: equation (\ref{CH-equation-withdisp}) at quadratic order in this expansion
288: have the remarkable property of being completely integrable by the
289: isospectral transform (IST) method. The IST properties of KdV solitons are
290: well known and these properties for equation (\ref{CH-equation-withdisp})
291: were studied in, e.g., \cite{CH[1993]} and \cite{BSS[2000]}.
292:
293: When linear dispersion is absorbed by a Galilean transformation and a
294: velocity shift, equation (\ref{CH-equation-withdisp}) reduces to an active
295: transport equation that contains competing quadratically nonlinear terms
296: representing convection and stretching,
297: \begin{equation}\label{CH-equation-zerodisp}
298: m_t\
299: +\
300: \underbrace{\ \ um_x\ \
301: }
302: _{\hspace{-2mm}\hbox{convection}\hspace{-2mm}}\
303: +\
304: \underbrace{\ \ 2\,u_xm\ \
305: }
306: _{\hspace{-2mm}\hbox{stretching}\hspace{-2mm}}\
307: =\
308: 0
309: \,, \quad\hbox{with}\quad
310: m=u-\alpha^2u_{xx}
311: \,.
312: \end{equation}
313: This is a special case of equation (\ref{b-family}) for which $b=2$ and
314: $g(x)=e^{-|x|/\alpha}$. The traveling wave solution of
315: (\ref{CH-equation-zerodisp}) is the ``peakon,''
316: $u(x,t)=ce^{-|x-ct|/\alpha}$ found in \cite{CH[1993]}, where
317: $e^{-|x|/\alpha}$ is the Green's function for the Helmholtz operator that
318: relates $m$ and $u$. The interactions among $N$ peakons are governed by the
319: $2N$ dimensional dynamical system for the speeds
320: $p_i(t)$ and positions $q_i(t)$ $i=1,\dots,N,$ appearing in the solution,
321: \begin{equation}\label{Superposed-peakons}
322: u(x,t)=\sum_{i=1}^N p_i(t)\,e^{-|x-q_i(t)|}
323: \,.
324: \end{equation}
325: As shown in Camassa and Holm \cite{CH[1993]}, a closed integrable
326: Hamiltonian system of ordinary differential equations for the speeds
327: $p_i(t)$ and positions $q_i(t)$ results upon substituting the
328: superposition of peakons (\ref{Superposed-peakons}) into
329: equation (\ref{CH-equation-zerodisp}). This integrable system governs the
330: dynamics of the peakon interactions.
331:
332:
333: A variant of equation (\ref{CH-equation-zerodisp}) with coefficient
334: $b=2\to{b}=3$,
335: \begin{equation}\label{DHH-equation}
336: m_t\
337: +\
338: \underbrace{\ \ um_x\ \
339: }
340: _{\hspace{-2mm}\hbox{convection}\hspace{-2mm}}\
341: +\
342: \underbrace{\ \ 3\,u_xm\ \
343: }
344: _{\hspace{-2mm}\hbox{stretching}\hspace{-2mm}}\
345: =\
346: 0
347: \,, \quad\hbox{with}\quad
348: m=u-\alpha^2u_{xx}
349: \,,
350: \end{equation}
351: was first singled-out for further analysis by Degasperis and Procesi
352: \cite{Degasperis[1999]}. Degasperis, Holm and Hone \cite{DHH[2002]}
353: discovered that this
354: $2\to3$ variant of equation (\ref{CH-equation-zerodisp}) possesses
355: superposed peakon solutions (\ref{Superposed-peakons}) and also is
356: completely integrable by the isospectral transform method. Thus, the
357: $N-$dimensional pulson solution (\ref{Superposed-peakons}) is a
358: completely integrable dynamical system for
359: (\ref{DHH-equation}), as well, but with different
360: dynamics for the speeds $p_i(t)$ and positions $q_i(t)$ of the peakons.
361:
362: Fringer and Holm \cite{FH[2001]} extended the zero-dispersion equation
363: (\ref{CH-equation-zerodisp}) for the peakons to the ``pulson'' equation,
364: \begin{equation}\label{Pulson-equation}
365: m_t\
366: +\
367: \underbrace{\ \ um_x\ \
368: }
369: _{\hspace{-2mm}\hbox{convection}\hspace{-2mm}}\
370: +\
371: \underbrace{\ \ 2\,u_xm\ \
372: }
373: _{\hspace{-2mm}\hbox{stretching}\hspace{-2mm}}\
374: =\
375: 0
376: \,, \quad\hbox{with}\quad
377: u=g*m
378: \,.
379: \end{equation}
380: Here $u=g*m$ denotes the convolution (or filtering)
381: \begin{equation}\label{unused-2}
382: u(x)=\int_{-\infty}^\infty g(x-y)m(y)\,dy
383: \,,
384: \end{equation}
385: that relates velocity $u$ to momentum
386: density $m$ by integration against the kernel $g(x)$. Fringer and Holm
387: \cite{FH[2001]} chose $g(x)$ to be an even function, so that $u$ and $m$
388: have the same parity. They studied the effects of the shape of the
389: traveling wave
390: $u(x,t)=cg(x-ct)$ on its interactions with other traveling waves in the
391: superposed solution,
392: \begin{equation}\label{unused-3}
393: u(x,t)=\sum_{i=1}^N p_i(t)\,g(x-q_i(t))
394: \,,\end{equation}
395: This superposed solution of traveling wave forms with time
396: dependent
397: speeds $p_i(t)$ and positions $q_i(t)$, $i=1,\dots,N,$
398: revealed that the
399: nonlinear interactions among these pulsons occur
400: by elastic two-pulson
401: scattering, even though the Fringer-Holm pulson
402: equation
403: (\ref{Pulson-equation}) is not integrable for an arbitrary
404: choice of the
405: kernel $g$. When $g(x)=e^{-|x|/\alpha}$ is assumed, the
406: pulson equation
407: for $b=2$ in (\ref{Pulson-equation}) specializes to
408: the peakon equation
409: for $b=2$ in
410: (\ref{CH-equation-zerodisp}).
411:
412:
413:
414: \subsection{Discrete symmetries: reversibility, parity and signature}
415: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
416:
417:
418: Equation (\ref{b-family}) for $m$ is reversible, or invariant under
419: $t\to-t$ and $u\to-u$. The latter implies $m\to-m$. Hence, the
420: transformation $u(x,t)\to-u(x,-t)$ takes solutions into solutions,
421: and in particular, it reverses the direction and amplitude of the
422: traveling wave $u(x,t)=cg(x-ct)$.
423:
424: We choose $g(x)$ to be an even function so that $m$ and $u=g*m$ both
425: have odd parity under mirror reflections. Hence, equation
426: (\ref{b-family}) is invariant under the parity reflections
427: $u(x,t)\to-\,u(-x,t)$, and the solutions of even and odd parity form
428: invariant subspaces.
429:
430: Equation (\ref{b-family}) implies a similar reversible, parity
431: invariant equation for the {\bf absolute value} $|m|$,
432: \begin{equation}\label{b-family|m|}
433: |m|_t+\, u|m|_x+b\,u_x|m| = 0\,,
434: \quad\hbox{with}\quad
435: u=g*m
436: \,.
437: \end{equation}
438: So, the positive and negative components
439: $m_\pm=\frac{1}{2}(m\pm|m|)$ satisfy equation (\ref{b-family})
440: separately. Also, if $m$ is initially zero, it remains so. This is
441: conservation of the signature of $m$.
442:
443:
444:
445: \subsection{Lagrangian representation}
446:
447: If $m^{1/b}$ is well-defined, equation (\ref{b-family}) may be written
448: as the conservation law
449: \begin{equation}\label{b-cons}
450: \partial_t\, m^{1/b}
451: +
452: \partial_x( m^{1/b} u )
453: =
454: 0\,,
455: \end{equation}
456: and equation (\ref{b-family|m|}) for the absolute value implies
457: \begin{equation}\label{b-cons|m|}
458: \partial_t\, |m|^{1/b}
459: +
460: \partial_x( |m|^{1/b} u )
461: =
462: 0\,.
463: \end{equation}
464: Adding and subtracting equations (\ref{b-cons}) and (\ref{b-cons|m|})
465: implies
466: \begin{equation}\label{b-family-mpm}
467: \partial_t\, (m^{1/b})_\pm
468: +
469: \partial_x\big( (m^{1/b})_\pm u \big)
470: =
471: 0
472: \quad\hbox{with}\quad
473: (m^{1/b})_\pm=\frac{1}{2}(m^{1/b}\pm|m|^{1/b})
474: \,.
475: \end{equation}
476: Consequently, regions of positive and negative $m$ are transported by the same
477: velocity and their boundaries propagate so as to separately
478: preserve the two
479: integrals,
480: \begin{equation}
481: \int_{-\infty}^\infty (m^{1/b})_\pm
482: \,dx
483: \,.
484: \end{equation}
485: The common transport velocity allows a
486: transformation to Lagrangian
487: coordinates
488: $X_\pm$ defined
489: by
490: \begin{equation}
491: dX_\pm=(m^{1/b})_\pm(dx - udt)
492: \quad\hbox{so
493: that}\quad
494: \partial_tX_\pm + u \partial_x X_\pm
495: =0
496: \,.
497: \end{equation}
498: This formal transformation is not strictly
499: defined where $(m^{1/b})_\pm$
500: vanishes. However, by equation
501: (\ref{b-family-mpm}), regions where
502: $(m^{1/b})_\pm$ vanishes do not
503: propagate and do not
504: contribute to the integrated value
505: of
506: $X_\pm=\int_{-\infty}^x(m^{1/b})_\pm(y,0)\,dy$. Hence, these
507: regions
508: may be identified and excluded initially. The formal inverse
509: relation
510: holding in the remaining regions,
511: \begin{equation}
512: dx
513: =(m^{1/b})_\pm^{-1}\,dX _\pm + udt\,,
514: \end{equation}
515: implies
516: that
517: \begin{equation}
518: \frac{dx}{dt}\Big|_{X
519: _\pm}=u(x,t)
520: \,,
521: \end{equation}
522: so the Lagrangian trajectories
523: $x=x(X_\pm,t)$ of positive and negative
524: integrated initial values
525: of
526: $X_\pm=\int_{-\infty}^x(m^{1/b})_\pm(y,0)\,dy$ are transported by
527: the same
528: velocity $u=g*m$.
529:
530:
531:
532: \subsection{Preservation of the norm
533: $\|m\|_{L^{1/b}}$ for $0\le{b}\le1$}
534:
535: If $|m|^{1/b}$ is well-defined,
536: the continuity equation form
537: (\ref{b-cons|m|}) of equation
538: (\ref{b-family}) implies
539: conservation
540: of
541: \begin{equation}
542: \int_{-\infty}^\infty
543: |m|^{1/b}\,dx
544: =
545: \int_{-\infty}^\infty|m_0|^{1/b}\,dx
546: \,,
547: \quad\hbox{where}\quad
548: m_0(x)=m(x,0)
549: \,.
550: \label{|M|cons}
551: \end{equation}
552: This integral is conserved for all
553: $b$, but only defines a norm
554: (the $L^{1/b}$ norm $\|m\|_{L^{1/b}}$)
555: in the closed interval
556: $0\le{b}\le1$. In the limit $b\to0$ this
557: becomes the $L_\infty$ norm
558: $|m|_{max}$. Hence, when $b=0$ equation
559: (\ref{b-family}) has
560: both a maximum principle and a minimum principle
561: for $m$. Such a
562: principle is meaningful only if $m^{1/b}$ is an
563: ordinary function,
564: e.g., if $m$ is not a generalized function, such
565: as the delta
566: functions that occur for the peakons we will discuss
567: below.
568:
569: Thus, the $L^{1/b}$ norm $\|m\|_{L^{1/b}}$ is conserved by
570: equation
571: (\ref{b-family}) provided $|m|^{1/b}$ is well-defined for
572: the closed
573: interval $0\le{b}\le1$. One may also define the
574: corresponding conserved
575: norm for $1/m$ in the closed interval
576: $-1\le{b}\le0$, provided
577: $|m|^{1/b}$ is well-defined on this
578: interval.
579:
580:
581:
582: \subsection{Lagrangian representation for integer $b$}
583: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
584:
585: Fluid convection means transport of a quantity by the fluid motion.
586: Examples of transported fluid quantities are circulation (a
587: one-form) in Kelvin's theorem for the Euler equations and its
588: exterior derivative the vorticity (a two-form, by Stokes theorem) in the
589: Helmholtz equation. For a Lagrangian trajectory $x(X,t)$ satisfying
590: $x(X,0)=X$ and
591: \begin{equation}
592: dx
593: =(m^{1/b})^{-1}dX + udt\,,
594: \end{equation}
595: we have seen that the conservation law (\ref{b-cons}) implies
596: \begin{equation}\label{m-eqn}
597: m^{1/b}(x,t)dx
598: =
599: m^{1/b}(X,0)dX
600: \,,
601: \end{equation}
602: %
603: provided that $m^{1/b}$ is a well defined function. The last issue may be
604: circumscribed as follows when $b$ is an integer. In 1D, higher order
605: differential forms may be created by using the direct, or tensor, product,
606: e.g., $dx\otimes dx = dx^{\otimes2}$. Consequently, the tensor product of
607: each side of equation (\ref{m-eqn}) $b$ times gives%
608: \footnote{Cases with integer values of $b$ will allow $m$ to be a
609: generalized function. Cases with non-integer values of $b$ will revert to
610: equation (\ref{m-eqn}) for which $m$
611: is required to be a classical function. }
612: \begin{equation}\label{otimes-b}
613: m(x,t)dx^{\otimes{b}}
614: =
615: m(X,0)dX^{\otimes{b}}
616: \,.
617: \end{equation}
618: Taking the partial time derivative of this equation at constant Lagrangian
619: coordinate $X$ and using $dx/dt|_X=u$ yields equation (\ref{b-family}) in
620: the form
621: \begin{equation}
622: \frac{d}{dt}\Big|_X\Big(m(x,t)dx^{\otimes{b}}\Big)
623: =
624: (m_t + um_x + b\,u_xm)dx^{\otimes{b}}
625: =
626: 0
627: \,.
628: \end{equation}
629: Thus, when the parameter $b$ in equation (\ref{b-family}) is
630: an integer, it may be regarded geometrically as the number of dimensions
631: that are brought into play by coordinate transformations of the quantity
632: $mdx^{\otimes{b}}$ associated with $m$. Cases of equation (\ref{b-family})
633: with negative integer $b<0$ may be interpreted as
634: \begin{equation}\label{unused-4}
635: \frac{d}{dt}\Big|_X
636: \Big(m\big(\partial_x\big)^{\otimes(-b)}\,\Big)=0
637: \,.
638: \end{equation}
639: For example, the case $b=-1$ may be written as
640: \begin{equation}
641: \frac{d}{dt}\Big|_X(m\partial_x)
642: =(m_t + um_x-u_xm)\big(\partial_x\big)
643: =0
644: \,,
645: \end{equation}
646: in which the difference of terms $(um_x-u_xm)\partial_x$ is the
647: commutator of the vector fields $u\partial_x$ and $m\partial_x$ on the real
648: line. The rest of the paper will remain in the Eulerian (spatial)
649: representation.
650:
651:
652:
653: \subsection{Reversibility and Galilean covariance}
654:
655: Equation (\ref{b-family}) is reversible, i.e., it is invariant under the
656: discrete transformation $u(x,t)\to-u(x,-t)$. Equation (\ref{b-family}) is
657: also Galilean-covariant for all $b$. In fact, equation (\ref{b-family})
658: keeps its form under transformations to an {\it arbitrarily} moving
659: reference frame for all $b$. This includes covariance under transforming to
660: a {\it uniformly} moving Galilean frame. However, only in the case
661: $b=0$ is equation (\ref{b-family}) Galilean {\it invariant}, assuming that
662: $m$ Galileo-transforms in the same way as $u$. In this case, equation
663: (\ref{b-family}) transforms under
664: \begin{equation}\label{xtrans}
665: \hspace{-3mm}
666: t\to t+t_0\,, \quad
667: x\to x+x_0+ct\,, \quad
668: u\to u+c+u_0\,, \quad
669: m\to m+c+u_0\,,
670: \end{equation}
671: to the form
672: \begin{equation}\label{b-family-xtrans}
673: m_t+\, um_x+bu_x\,m
674: +u_0m_x
675: +bu_x(c+u_0)
676: =0
677: \,, \quad\hbox{with}\quad
678: u=g*m
679: \,.
680: \end{equation}
681: Thus, equation
682: (\ref{b-family}) is invariant under space and time
683: translations
684: (constants $x_0$ and $t_0$), covariant under
685: Galilean
686: transforms (constant $c$),
687: and acquires linear dispersion
688: terms under velocity shifts (constant $u_0$).
689: Equation
690: (\ref{b-family}) regains Galilean invariance if $m$ is
691: Galilean
692: invariant.
693: However, the dispersive term $u_0m_x$ introduced
694: by the constant
695: velocity shift $u_0\ne0$
696: breaks the reversibility of equation (\ref{b-family}) even if $m$ is
697: invariant under this shift.
698:
699: \rem{
700: \subsection{Dual cases under $L^2$}
701:
702: Cases $b$ and $b\,'$ with $b+b\,'=1$ are natural duals under the
703: $L^2$ pairing
704: \begin{equation}\label{l2-pairing}
705: <m,u>=\int mu\,dx\,.
706: \end{equation}
707: The case $b=0$ is $(\partial_t+\pounds_u)m=m_t+um_x=0$, describing 1D
708: convection of the (active) scalar $m$ by the velocity $u$. Its dual
709: under $L^2$ pairing is the case $b=1$ for convection of the (active)
710: density $mdx$ by the velocity $u$. The case $b=2$ may be written as
711: $m_t+{\rm ad}^*_um=0$ where ad$^*_um=(um)_x+u_xm$ is (minus) the dual
712: of the ad-operation under the $L^2$ pairing (\ref{l2-pairing}). In this
713: case, the quantity $m(dx)^2$ is interpreted as a 1D momentum (a one-form
714: density, dual to velocity vector fields) and the pairing
715: (\ref{l2-pairing}) is (twice) the conserved kinetic energy. The dual
716: to this case is the case $b\,'=-1$, for which $m$ and $u$ are both 1D
717: vector fields. Equation (\ref{b-family}) for $b=2$ also has an
718: Euler-Poincar\'e variational principle and an associated Lie-Poisson
719: Hamiltonian structure. See Holm, Marsden and Ratiu [1998a,1998b]
720: \cite{HMR[1998a],HMR[1998b]} for more discussion.
721: }
722:
723:
724:
725: \subsection{Integral momentum conservation}
726:
727: Equation (\ref{b-cons}) implies that $M=\int_{-\infty}^{\infty}
728: m\,dx$ is conserved for any
729: $g$ when $b=1$. However, when $g(x)$ is even, the family of equations
730: (\ref{b-family}) also conserves the total momentum integral $M$ for
731: any $b$. This is shown by directly calculating from (\ref{b-family})
732: that
733: \begin{equation}
734: \frac{d}{dt}\int_{-\infty}^\infty m(x) \,dx
735: =
736: (1-b)\int_{-\infty}^\infty\int_{-\infty}^\infty
737: m(x)g\,'(x-y)m(y)\,dx\,dy
738: =0
739: \,,
740: \end{equation}
741: in which the double
742: integral vanishes as the product of an even
743: function and an odd
744: function under interchange of $x$ and $y$, when
745: $g\,'(-x)=-g\,'(x)$. Hence, for even $g(x)$,
746: $M=\int_{-\infty}^{\infty} m\,dx$ is conserved for either periodic
747: or vanishing boundary conditions and for any $b$.
748: We shall assume henceforth that $g(x)$ is even and,
749: moreover, that
750: the integral $\int
751: m\,g*m\,dx$ is sign-definite, so that it defines a
752: norm,
753: \begin{equation}\label{KE-norm}
754: \|m\|_g^2
755: =
756: \int_{-\infty}^\infty
757: m\,g*m\,dx
758: =
759: \int_{-\infty}^\infty
760: \int_{-\infty}^\infty
761: m(x)\,g(x-y)\,m(y)\,dx\,dy
762: \ge0
763: \,.
764: \end{equation}
765: This norm is conserved by equation (\ref{b-family}) when $b=2$.
766:
767: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
768: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
769: \section{Traveling waves and generalized functions}\label{twaves}
770: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
771: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
772:
773: Its invariance under space and time translations ensures that equation
774: (\ref{b-family}) admits traveling wave solutions for any
775: $b$. Let us write the traveling wave solutions
776: as
777: \begin{equation}\label{unused-6}
778: u=u(z)
779: \quad\hbox{and}\quad
780: m=m(z)
781: \,,
782: \quad\hbox{where}\quad
783: z=x-ct
784: \,,
785: \end{equation}
786: and
787: let prime $\,'$ denote $d/dz$.
788:
789:
790:
791: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
792: \subsection{Case $b=0$}
793: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
794:
795: \subsubsection{Pulsons for $b=0$}
796: For $b=0$, equation
797: (\ref{b-family}) is Galilean invariant and
798: its traveling wave
799: solutions satisfy
800: \begin{equation}\label{bzero-eqn}
801: (u(z)-c)m'(z)=0\,,
802: \quad
803: z=x-ct\,,
804: \end{equation}
805: where
806: prime $\,'$ denotes $d/dz$.
807: Equation (\ref{bzero-eqn}) admits
808: generalized functions
809: $m\,'(z)\simeq\delta(z)$ matched by $u-c=0$ at
810: $z=0$. The velocity $u$
811: is given by the integral of the Green's
812: function that relates $m$ and
813: $u=g*m$,
814: \begin{equation}
815: u-c
816: \simeq c
817: \Big[\int\!\!g(y)\,dy\Big]^z_0\,.
818: \end{equation}
819:
820:
821: \subsubsection{Peakons,
822: ramps, and cliffs for $b=0$}
823:
824: When $g(x)=e^{-|x|/\alpha}$ (the
825: Green's function for the 1D Helmholtz
826: operator), we have
827: $m=u-\alpha^2u_{xx}$. Consequently, the
828: equation
829: $m'=u'-\alpha^2u'''=\pm2\delta(z)$ with $u-c=0$ at $z=0$ is
830: satisfied
831: by
832: \begin{equation}
833: u-c = \pm
834: c\Big[\int\!\!e^{-|y\,|/\alpha}\,dy\Big]^z_0
835: = \pm c\,\,{\rm
836: sgn}(z)\Big(1-e^{-|z|/\alpha}\Big)\,.
837: \end{equation}
838: This represents
839: a rightward moving traveling wave that connects the left
840: states
841: $u-c=\pm c$ to the same two right
842: states.
843:
844: \begin{definition}[Peakons]
845: The symmetric connections $u=\pm
846: ce^{-|z|/\alpha}$, with a jump in derivative
847: at $z=0$, are the
848: peakons, for which $m=u-\alpha^2u_{xx}$
849: and
850: $g(x)=e^{-|x|/\alpha}$.
851: \end{definition}
852:
853: \begin{definition}[Cliffs]
854: The
855: antisymmetric connections $u=\pm c\,{\rm
856: sgn}(z)(1-e^{-|z|/\alpha})$
857: (with $u-c=\pm c$ connecting to
858: $u-c=\mp c$), with no jump in
859: derivative at $z=0$, are the regularized
860: shocks (cliffs). These
861: propagate rightward but may face either leftward
862: or rightward,
863: because equation (\ref{b-family}) in the absence of
864: viscosity has no
865: entropy condition that would distinguish between leftward
866: and
867: rightward facing
868: solutions.
869: \end{definition}
870:
871: \begin{definition}[Ramps]
872: Equation
873: (\ref{b-family}) also has ramp-like similarity
874: solutions
875: $u\simeq{x/t}$ when $g(x)=e^{-|x|/\alpha}$ for any $b$.
876: These may emerge
877: in the initial value problem for the peakon case of
878: equation
879: (\ref{b-family}) and interact with the peakons and
880: cliffs.
881: \end{definition}
882:
883: \begin{remark}[First integral for $b=0$
884: traveling waves]
885: For $b=0$, the traveling wave equation
886: (\ref{bzero-eqn}) apparently has
887: only the first integral for
888: $m=u-\alpha^2u_{xx}$,
889: \begin{equation}\label{unused-7}
890: (u-c)(u-\alpha^2u'')-\frac{u^2}{2} + \frac{\alpha^2}{2}{u'\,}^2
891: =
892: K
893: \,.
894: \end{equation}
895: Thus, perhaps
896: surprisingly, we have been unable to find a second
897: integral for
898: the traveling wave equation for peakons when
899: $b=0$.
900: \end{remark}
901:
902: \begin{remark}[Reversibility]
903: Reversibility
904: means that equation (\ref{b-family}) is invariant under the
905: transformation
906: $u(x,t)\to-u(x,-t)$. Consequently, the rightward traveling waves have
907: leftward moving counterparts under the symmetry $c\to-c$. The case of
908: constant velocity $u=\pm{c}$ is also a solution.
909: \end{remark}\bigskip
910:
911: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
912: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
913: \remfigure{
914: \begin{figure}
915: \begin{center}
916: \leavevmode {
917: \hbox{\epsfig{
918: figure=b_00.ps, scale=0.3
919: }}
920: }
921: \caption{\label{Gauss-ic-pkn/a1,b0/w2.5-10}
922: {\bf Ramps and cliffs for $b=0$.}
923: Inviscid $b$-family,
924: $b=0$,
925: $\alpha=1$,
926: initial width $w=2.5,5,10$.
927: \rem{\sf
928: For $b=0$, evolving velocity profile under the peakon equation for a set
929: of Gaussian initial conditions of increasing width $w=2.5,5,10$, for
930: $\alpha=1$. Times are T=0, 500, 1000, 1500, 2000, 2500.
931: }
932: }
933: \end{center}
934: \end{figure}
935: }
936: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
937:
938:
939: Figure \ref{Gauss-ic-pkn/a1,b0/w2.5-10} shows
940: that the ramp and cliff
941: pattern develops in the
942: velocity profile under the peakon equation
943: (\ref{b-family}) with
944: $g(x)=e^{-|x|/\alpha}$ for a set of Gaussian
945: initial conditions
946: $(5\sqrt\pi)^{-1}\exp(-(x-50)^2/w)$
947: of increasing
948: widths $w=2.5,5,10$,
949: for $\alpha=1$ and $b=0$. Apparently, the ramp
950: solution is
951: numerically stable, but the coexisting peakon solution is
952: not stable in
953: this case. A complete stability analysis of these
954: various solutions is
955: outside the scope of the present paper. Instead
956: we shall investigate the
957: solutions of equation (\ref{b-family}) by
958: numerically integrating
959: selected
960: examples.
961:
962:
963:
964: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
965: \subsection{Case
966: $b\ne0$}
967: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
968:
969: For
970: $b\ne0$, the conservation law (\ref{b-cons}) for traveling
971: waves
972: becomes,
973: \begin{equation}\label{unused-8}
974: \Big((u-c)m^{1/b}\Big)\,'=0\,,
975: \end{equation}
976: which yields
977: after one integration
978: \begin{equation}\label{bnonzero-eqn}
979: (u-c)^bm=K\,,
980: \end{equation}
981: where $K$ is the first integral. For
982: $g(x)=e^{-|x|/\alpha}$, so that
983: $m=u-\alpha^2u_{xx}$, this
984: becomes
985: \begin{equation}\label{1stConstant}
986: (u-c)^b(u-\alpha^2u\,'')=K\,.
987: \end{equation}
988: For $u-c\ne0$ we rewrite
989: this as
990: \begin{equation}\label{unused-9}
991: \alpha^2u\,''=u-K(u-c)^{-b}\,
992: \end{equation}
993: and integrate again
994: to give the second integral in two separate cases,
995: \begin{eqnarray*}\label{unused-10}
996: \alpha^2{u\,'\,}^2
997: =
998: \left\{
999: \begin{array}{l}
1000: u^2 -
1001: \frac{2K}{1-b}(u-c)^{1-b} + 2H
1002: \quad\hbox{for}\quad b\ne1\,,
1003:
1004: \\[4pt]
1005: u^2 - 2K\log(u-c) + 2H
1006: \quad\hbox{for}\quad b=1\,.
1007:
1008: \end{array}
1009: \right.
1010: \end{eqnarray*}
1011: We shall rearrange this into
1012: quadratures:
1013: \begin{equation}\label{tw-soln/bne1}
1014: \pm
1015: \,\frac{dz}{\alpha} =
1016: \frac{du}{\Big[u^2 -
1017: \frac{2K}{1-b}(u-c)^{1-b} + 2H\Big]^{1/2}}
1018: \quad\hbox{for}\quad
1019: b\ne1
1020: \,,
1021: \end{equation}
1022: and
1023: \begin{equation}\label{tw-soln/b=1}
1024: \pm \,\frac{dz}{\alpha}
1025: =
1026: \frac{du}{\Big[u^2 - 2K\log(u-c) +
1027: 2H\Big]^{1/2}}
1028: \quad\hbox{for}\quad b=1
1029: \,.
1030: \end{equation}
1031: For $b=1$ and $K\ne0$, the integral in equation
1032: (\ref{tw-soln/b=1})
1033: is transcendental.
1034:
1035:
1036: \subsubsection{Special
1037: cases of traveling waves for $b\ne0$}
1038:
1039: \begin{itemize}
1040:
1041: \item
1042: For
1043: $K=0$ the two quadratures (\ref{tw-soln/bne1}) and
1044: (\ref{tw-soln/b=1})
1045: are equal, independent of
1046: $b$, and elementary,
1047: thereby yielding the traveling wave
1048: solutions
1049: \begin{equation}\label{DeformedPkn}
1050: e^{- |z|/\alpha}
1051: =
1052: \frac{u+\sqrt{u^2+2H}}{c+\sqrt{c^2+2H}}\,,
1053: \end{equation}
1054: with
1055: $u-c=0$ at $z=0$.
1056:
1057: \item
1058: For $H=0$ equation (\ref{DeformedPkn})
1059: recovers the peakon traveling
1060: wave.
1061:
1062: \item
1063: For $H>0$ equation
1064: (\ref{DeformedPkn}) gives a rightward
1065: moving
1066: traveling wave that is a
1067: continuous deformation of the
1068: peakon.
1069:
1070: \item
1071: For $H>0$ and $c=0$
1072: equation (\ref{DeformedPkn})
1073: gives stationary
1074: solutions of the
1075:
1076: form
1077: \begin{equation}\label{stat-pkn-like}
1078: u+\sqrt{u^2+2H}\simeq
1079: e^{-
1080: |z|/\alpha}\,.
1081: \end{equation}
1082:
1083: \end{itemize}
1084:
1085:
1086:
1087: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1088: \subsection{Case
1089: $b>0$}
1090: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1091:
1092:
1093: \subsubsection{Pulsons
1094: for $b>0$}\label{pulson-intro}
1095:
1096: Equation (\ref{b-family}) for $b>0$
1097: has nontrivial solutions vanishing
1098: as $|z|\to\infty$ that allow $K=0$
1099: in equation (\ref{bnonzero-eqn}),
1100: so
1101: that
1102: \begin{equation}\label{pulson-cond}
1103: (u-c)^bm=0\,.
1104: \end{equation}
1105: This admits the generalized function
1106: solutions
1107: \begin{equation}\label{pulson-tw-soln}
1108: m=c\delta(z)
1109: \quad\hbox{and}\quad
1110: u=g*m=cg(z)
1111: \,,
1112: \end{equation}
1113: matched
1114: by $u-c=0$ at $z=0$.
1115: This is the {\bf pulson traveling wave}, whose
1116: shape in $u$ is given by the
1117: kernel $g$. The constant velocity case
1118: $u=c$ is a trivial
1119: traveling wave.
1120:
1121: \begin{remark}[Pulson and peakon
1122: traveling waves]
1123: The pulson solution (\ref{pulson-tw-soln}) requires
1124: $g(0)=1$ and $g\,'(0)=0$.
1125: We shall assume for definiteness
1126: that the
1127: even function $g(z)$ achieves its maximum at $g(0)=1$, so that
1128: the
1129: symmetric
1130: pulson traveling wave $u(x,t)=cg(x-ct)$ moves at the speed
1131: of its
1132: maximum, which occurs at its center of symmetry. For example,
1133: the
1134: peakon $u(x,t)=ce^{-|x-ct|}$ moves at the speed of its
1135: peak.
1136: \end{remark}
1137:
1138:
1139: \subsubsection{Peakons for
1140: $b>1$}\label{peakon-intro}
1141:
1142: Equation (\ref{1stConstant}), for which
1143: $g(x)=e^{-|x|/\alpha}$, yields
1144: the peakon traveling
1145: wave
1146: \begin{equation}\label{peakon-soln}
1147: u(z)=ce^{-|z|/\alpha}
1148: \quad\hbox{and}\quad
1149: m(z)=u-\alpha^2u\,''=2c\delta(z/\alpha)\,
1150: \end{equation}
1151: when
1152: $K=0$.
1153:
1154: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1155: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1156: \remfigure{
1157: \begin{figure}
1158: \begin{center}
1159: \leavevmode
1160: {
1161: \hbox{\epsfig{figure=b_+2.ps, scale=0.3}}
1162: }
1163: \caption{\label{Gauss-ic-pkn/a1,b2/w2.5-10}
1164: {\bf Peakons for $b=2$.}
1165: Inviscid $b$-family,
1166: $b=2$,
1167: $\alpha=1$,
1168: initial width $w=2.5,5,10$.
1169: \rem{\sf
1170: For $b=2$, evolving velocity profile under the peakon equation for a set of
1171: Gaussian initial conditions of increasing width $w=2.5,5,10$ for $\alpha=1$.
1172: }
1173: }
1174: \end{center}
1175: \end{figure}
1176: }
1177:
1178: \remfigure{
1179: \begin{figure}
1180: \begin{center}
1181: \leavevmode {
1182: \hbox{\epsfig{figure=b_+3.ps, scale=0.3}}
1183: }
1184: \caption{\label{Gauss-ic-pkn/a1,b3/w2.5-10}
1185: {\bf Peakons for $b=3$.}
1186: Inviscid $b$-family,
1187: $b=3$,
1188: $\alpha=1$,
1189: initial width $w=2.5,5,10$.
1190: \rem{\sf
1191: For $b=3$, evolving velocity profile under the peakon equation for a set
1192: of Gaussian initial conditions of increasing width $w=2.5,5,10$ for
1193: $\alpha=1$.
1194: }
1195: }
1196: \end{center}
1197: \end{figure}
1198: }
1199: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1200:
1201: Figures \ref{Gauss-ic-pkn/a1,b2/w2.5-10} and
1202: \ref{Gauss-ic-pkn/a1,b3/w2.5-10} show
1203: the effects of varying the width $w$ of a Gaussian initial condition
1204: $(5\sqrt\pi)^{-1}\exp(-(x-50)^2/w)$ for the peakon equation
1205: in a periodic domain, when $\alpha=1$
1206: and $b=2,3$. As the width of the initial Gaussian increases, the
1207: figures show that more peakons of width $\alpha=1$ are emitted. (This is
1208: consistent with conservation of momentum.) The peakons are observed to be
1209: stable for $b>1$, they propagate as solitary traveling waves, and they
1210: interact elastically. We shall discuss the peakon interactions in
1211: more detail in sections \ref{Peakons} through \ref{IVP}.
1212:
1213:
1214:
1215: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1216: \subsection{Case $b<0$}
1217: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1218:
1219: We shall examine the cases $b=-0.5,-1,-2,-3,-4$. Numerical results for
1220: $b=-2$ and $b=-3$ are described in section \ref{numerical-b-2-3}. For
1221: other values of $b<0$ the analysis is similar, but it involves less elementary
1222: considerations such as transcendental or hyperelliptic functions. The numerics
1223: shown later will demonstrate that the elementary solutions discussed here, many
1224: of them stationary, do tend to emerge in numerical integrations of the initial
1225: value problem for equation (\ref{b-family}) with $b\le-1$.
1226:
1227:
1228: \subsubsection{Case $b=-1/2$}
1229:
1230: Figure \ref{Gauss-ic-pkn/a1,b-0.5/w10-20} shows that a ramp and cliff pattern
1231: develops in the velocity profile under the peakon equation (\ref{b-family})
1232: with $g(x)=e^{-|x|/\alpha}$ for a set of Gaussian initial conditions
1233: $(5\sqrt\pi)^{-1}\exp(-(x-100)^2/w)$ of increasing width $w=10,15,20$, for
1234: $\alpha=1$ and $b=-1/2$. Apparently, the ramp solution is numerically stable
1235: for $b=-1/2$.
1236:
1237: \remfigure{
1238: \begin{figure}
1239: \begin{center}
1240: \leavevmode {
1241: \hbox{\epsfig{
1242: figure=b-0.5.ps, scale=0.4
1243: }}
1244: }
1245: \caption{\label{Gauss-ic-pkn/a1,b-0.5/w10-20}
1246: {\bf Ramps and cliffs for $b=-1/2$.}
1247: Inviscid $b$-family,
1248: $b=-1/2$,
1249: $\alpha=1$,
1250: initial width $w=10,15,20$.
1251: \rem{\sf
1252: For $b=-1/2$, evolving velocity profile under the peakon equation for a
1253: set of Gaussian initial conditions of increasing width $w=10,15,20$
1254: for $\alpha=1$. Times are T=0, 500, 1000, 1500, 2000, 2500.
1255: }
1256: }
1257: \end{center}
1258: \end{figure}
1259: }
1260:
1261:
1262: \subsubsection{Case $b=-1$}
1263:
1264: For $b=-1$, equation (\ref{tw-soln/bne1}) becomes
1265: \begin{equation}\label{unused-a}
1266: \pm
1267: \,\frac{dz}{\alpha}
1268: =
1269: \frac{du}{\Big[u^2 - K(u-c)^{2} +
1270: 2H\Big]^{1/2}}
1271: \,,
1272: \end{equation}
1273: which integrates to
1274: \begin{equation}\label{unused-11}
1275: e^{- |z|/\alpha}
1276: =
1277: \frac{u+\sqrt{u^2 - K(u-c)^{2} + 2H} +
1278: Kc}{c+\sqrt{c^2+2H}+ Kc}
1279: \,,
1280: \end{equation}
1281: with $u-c=0$ at
1282: $z=0$. ($K=0$ and $H=0$ recovers the peakon
1283: traveling
1284: wave.)
1285:
1286: \rem{
1287: \paragraph{Stationary solutions.} Stationary
1288: solutions of equation
1289: (\ref{tw-soln/bne1}) with $c=0$, $K\ne0$ and
1290: $H\ne0$ also exist. Their
1291: precise forms depend on the sign of
1292: $(1-K)/(2H)$ and will not be pursued
1293: farther
1294: here.
1295: }
1296:
1297: \begin{remark}[Stationary
1298: plane wave solutions for $b=-1$]
1299: Equation (\ref{b-family}) for $b=-1$
1300: is satisfied for any
1301: wavenumber $k$ by,
1302: \begin{equation}\label{unused-13}
1303: m=\cos(k(x-ct)+\phi_0)
1304: \quad\hbox{and}\quad
1305: u=\hat{g}(k)\cos(k(x-ct)+\phi_0)
1306: \,,
1307: \end{equation}
1308: where $\hat{g}(k)$ is the
1309: Fourier transform of the kernel $g(x)$ and
1310: $\phi_0$ is a constant
1311: phase shift. In the absence of linear
1312: dispersion,
1313: these solutions are
1314: stationary, $c=0$. When linear
1315: dispersion is
1316: added to equation
1317: (\ref{b-family}), these solutions
1318: are the 1D analogs of
1319: Rossby waves
1320: in the 2D quasigeostrophic
1321: equations.
1322: \end{remark}
1323:
1324: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1325: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1326: \remfigure{
1327: \begin{figure}
1328: \begin{center}
1329: \leavevmode {
1330: \hbox{\epsfig{figure=b_-1.ps, scale=0.3}}
1331: }
1332: \caption{\label{Gauss-ic-pkn/a1,b-1/w10-20}
1333: {\bf Stationary solutions for $b=-1$.}
1334: Inviscid $b$-family,
1335: $b=-1$,
1336: $\alpha=1$,
1337: initial width $w=10,15,20$.
1338: \rem{\sf
1339: For
1340: $b=-1$, evolving velocity profile under the peakon equation for
1341: a set
1342: of Gaussian initial conditions of increasing width $w=10,15,20$
1343: for
1344: $\alpha=1$. Times are T=0, 500, 1000, 1500, 2000,
1345: 2500.
1346: }
1347: }
1348: \end{center}
1349: \end{figure}
1350: }
1351: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1352: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1353:
1354: Figure
1355: \ref{Gauss-ic-pkn/a1,b-1/w10-20} shows the velocity profiles
1356: under
1357: evolution by the peakon equation, (\ref{b-family})
1358: with
1359: $g(x)=e^{-|x|/\alpha}$, for a set of Gaussian initial
1360: conditions
1361: of increasing width $w=10,15,20$ for $\alpha=1$ and
1362: $b=-1$.
1363: Evidently, the coexisting peakon solution for $b=-1$ does not
1364: emerge
1365: because $K\ne0$ and $H\ne0$ for this initial condition.
1366: Instead, the
1367: stable solution is essentially stationary with a slight
1368: rightward
1369: drift and
1370: leaning slightly to the right. The reason for
1371: this
1372: lethargic propagation
1373: becomes clear upon writing the b-equation
1374: solely in terms of the velocity
1375: $u(x,t)$
1376: as
1377: \rem{
1378: \begin{equation}\label{b-family-u}
1379: u_t +
1380: (b+1)uu_x
1381: =
1382: \alpha^2(u_{xxt}+uu_{xxx}+bu_x u_{xx}
1383: )
1384: \,.
1385: \end{equation}
1386: }
1387: \begin{eqnarray}\label{b-family-u}
1388: u_t +
1389: (b+1)uu_x
1390: &=&
1391: \alpha^2(u_{xxt}+uu_{xxx}+bu_x
1392: u_{xx})
1393: \\
1394: &=&
1395: \alpha^2\partial_x
1396: \Big(u_{xt} + u u_{xx} +
1397: \frac{b-1}{2} u_x^2
1398: \Big)
1399: \nonumber\\
1400: &=&
1401: \alpha^2\partial_x^2
1402: \Big(u_{t} + u u_{x} +
1403: \frac{b-3}{2} u_x^2
1404: \Big)
1405: \,.
1406: \nonumber
1407: \end{eqnarray}
1408:
1409: \begin{remark}[$b=-1$ is a
1410: turning point]
1411: When $b=-1$ the nonlinear steepening term $(b+1)uu_x$
1412: vanishes in
1413: (\ref{b-family-u}) and the residual propagation is due to
1414: its nonlinear ``curvature terms'' with higher order derivatives.
1415: In the parameter regime $b>-1$ (resp. $b<-1$) the solutions of
1416: equation (\ref{b-family}) or (\ref{b-family-u}) move rightward
1417: (resp. leftward), provided the curvature terms on the right hand side
1418: of equation (\ref{b-family-u}) are either negative, or sufficiently small.
1419: \end{remark}
1420:
1421: \begin{remark}[Short wave limit equation]
1422: The high wavenumber, or short wave, limit of equation (\ref{b-family-u})
1423: is
1424: \begin{equation}
1425: \partial_x^2
1426: \Big(u_{t} + u u_{x} + \frac{b-3}{2} u_x^2 \Big) = 0
1427: \,.
1428: \end{equation}
1429: For $b=2$ and $\lim_{x\to-\infty}u_x=0$, this integrates to become the
1430: Hunter-Saxton equation \cite{HunterSaxton[1991]}. For $b=3$, it is the second
1431: derivative of the Burgers equation.
1432: \end{remark}
1433:
1434:
1435: \subsubsection{Case $b=-2$ stationary solutions}
1436:
1437: For $b=-2$, the traveling wave quadrature (\ref{tw-soln/bne1}) becomes an
1438: elliptic integral
1439: \begin{equation}\label{unused-14}
1440: \pm \,\frac{dz}{\alpha}
1441: =
1442: \frac{d(u-c)}{\Big[u^2 - \frac{2K}{3}(u-c)^{3} + 2H\Big]^{1/2}}
1443: \,.
1444: \end{equation}
1445: The hyperbolic limit of this equation for $H=0$
1446: vanishes at infinity for the stationary solution
1447: ($c=0$) to give
1448: \begin{equation}\label{hyper-limit-b-2}
1449: u(z)= \frac{3}{2K}{\rm sech}^2 \frac{z}{2\alpha}
1450: \,.
1451: \end{equation}
1452:
1453: \rem{
1454: \begin{eqnarray}
1455: \begin{array}{l}
1456: u(x,t)=-\kappa\Big(k^2(1-\tanh^2k(x-ct))+\frac{2}{3}(k^2-1/4)^2\Big),
1457: \\[4pt]
1458: \hbox{where}\quad c=-\frac{2k}{3}(k^4-1/16).
1459: \end{array}
1460: \end{eqnarray}
1461: %
1462: ---------------------------------------------------------------------
1463: \comment{
1464:
1465: It will turn out that the transient approach to these stationary
1466:
1467: solutions will \fbox{dominate} the numerics for $b\le\approx-1$.
1468: }
1469: %
1470: ---------------------------------------------------------------------
1471: }
1472:
1473: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1474: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1475: \remfigure{
1476: \begin{figure}
1477: \begin{center}
1478: \leavevmode {
1479: \hbox{\epsfig{figure=b_-2.ps, scale=0.3}}
1480: }
1481: \caption{\label{Gauss-ic-pkn/a1,b-2/w10-20}
1482: {\bf Stationary solutions for $b=-2$.}
1483: Inviscid $b$-family,
1484: $b=-2$,
1485: $\alpha=1$,
1486: initial width $w=10,15,20$.
1487: \rem{\sf
1488: For
1489: $b=-2$, evolving velocity profile under the peakon equation for
1490: a set
1491: of Gaussian initial conditions of increasing width $w=10,15,20$
1492: for
1493: $\alpha=1$.
1494: }
1495: }
1496: \end{center}
1497: \end{figure}
1498: }
1499: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1500:
1501:
1502: \subsubsection{Case $b=-3$ stationary solutions}
1503:
1504: For $b=-3$, the hyperbolic limit $H=0$ of equation
1505: (\ref{tw-soln/bne1})
1506: is
1507: \begin{equation}\label{tw-soln/bne1/H=0}
1508: \pm \,\frac{dz}{\alpha}
1509: =
1510: \frac{du}{\Big[u^2 -
1511: \frac{K}{2}(u-c)^{4}\Big]^{1/2}}
1512: \,,
1513: \end{equation}
1514: which for $c=0$
1515: is
1516: \begin{equation}\label{tw-soln/b=-3/H=0/c=0}
1517: \pm
1518: \,\frac{dz}{\alpha}
1519: =
1520: \frac{du}{u\Big[1 -
1521: \frac{K}{2}u^2\Big]^{1/2}}
1522: \,,
1523: \end{equation}
1524: and may be integrated
1525: in closed form to obtain a continuous deformation
1526: of the
1527: peakon,
1528: \begin{equation}\label{unused-15}
1529: \frac{e^{- |z|/\alpha}}{1+\sqrt{1 -
1530: K/2}}
1531: =
1532: \frac{u}{1+\sqrt{1 - Ku^{2}/2}}
1533: \,,\
1534: \hbox{for}\
1535: b=-3\,, \ c=0 \hbox{ and }
1536: H=0.
1537: \end{equation}
1538: Rearranging equation (\ref{unused-15}) and scaling $u$ by $u_0$ gives,
1539: \begin{equation}
1540: u(z) = \frac{u_0}{
1541: \frac{A}{2}e^{|z|/\alpha} + (1-\frac{A}{2})e^{-|z|/\alpha}}\,,
1542: \end{equation}
1543: with $A=1+\sqrt{1-K/2}$, so that $A\in[1,2]$ for $K\in[0,2]$. For $A=1$,
1544: we have $u(z) = u_0\,{\rm sech}\,(z/\alpha)$. And for $A=2$, we recover
1545: the stationary peakon, $u(z) = u_0\,e^{-|z|/\alpha}$.
1546:
1547:
1548:
1549: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1550: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1551: \remfigure{
1552: \begin{figure}
1553: \begin{center}
1554: \leavevmode {
1555: \hbox{\epsfig{figure=b_-3.ps, scale=0.3}}
1556: }
1557: \caption{\label{Gauss-ic-pkn/a1,b-3/w10-20}
1558: {\bf Stationary solutions for $b=-3$.}
1559: Inviscid $b$-family,
1560: $b=-3$,
1561: $\alpha=1$,
1562: initial width $w=10,15,20$.
1563: \rem{\sf
1564: For $b=-3$, evolving velocity profile under the peakon equation for
1565: a set of Gaussian initial conditions of increasing width $w=10,15,20$
1566: for $\alpha=1$.
1567: }
1568: }
1569: \end{center}
1570: \end{figure}
1571: }
1572: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1573:
1574:
1575: \subsubsection{Case $b=-4$ stationary solutions}
1576:
1577: For $b\le-4$ the analytical expressions for the cnoidal waves become
1578: less elementary, because the integral in equation (\ref{tw-soln/bne1})
1579: is then hyperelliptic.
1580: However, our numerics show that
1581: the dynamical behavior for $b=-4$ is similar to that of the cases $b=-2$ and
1582: $b=-3$ shown in Figures
1583: \ref{Gauss-ic-pkn/a1,b-2/w10-20}-\ref{Gauss-ic-pkn/a1,b-3/w10-20}. Namely,
1584: a series of transient leftward propagating pulses, or {\it leftons},
1585: of width alpha emerge and
1586: tend to a nearly steady state. Consistent with momentum (area)
1587: conservation and
1588: the tendency toward pulses of width alpha, the number of emerging leftons
1589: increases with the width of the initial Gaussian. At a longer time
1590: scale, this train of pulses appears to tend toward stationary ($c\to0$).
1591:
1592:
1593: \subsubsection{Numerical Results for $b=-2$ and $b=-3$}\label{numerical-b-2-3}
1594:
1595: Figures \ref{Gauss-ic-pkn/a1,b-2/w10-20} and \ref{Gauss-ic-pkn/a1,b-3/w10-20}
1596: show that a series of leftons in the velocity profile emerges
1597: under the peakon equation for a set of Gaussian initial conditions of
1598: increasing
1599: width $w=10,15,20$, for $\alpha=1$ and $b=-2,-3$. Apparently these are not
1600: peakons, because the velocity at which they move is not equal to their height.
1601: The leftons emerge from the initial Gaussian in order of height
1602: and then tend toward a nearly stationary state. The number of emerging pulses
1603: increases with the width of the initial Gaussian, as expected from momentum
1604: (area) conservation and the tendency toward pulses of width alpha, and the
1605: leftward speed of the emerging pulses increases with the magnitude of $b$. The
1606: latter is consistent with the coefficient $(b+1)$ of the nonlinearity in
1607: equation (\ref{b-family-u}) as $b$ becomes more negative.
1608:
1609: Figure \ref{Gauss-ic-pkn/a1,b-2/w10} shows the leftons at time $T=2500$,
1610: versus $u(x) \simeq {\rm sech}^2(x/(2\alpha))$ for $b=-2$,
1611: and versus $u(x) \simeq {\rm sech}(x/\alpha)$ for $b=-3$. By this time,
1612: the leftons have become stationary solutions with $c=0$ for both $b=-2$
1613: and $b=-3$.
1614:
1615: \remfigure{
1616: \begin{figure}
1617: \begin{center}
1618: \leavevmode {
1619: \hbox{\epsfig{figure=over.ps, scale=0.5}}
1620: }
1621: \caption{\label{Gauss-ic-pkn/a1,b-2/w10}
1622: {\bf Stationary solutions for $b=-2$
1623: versus $u(x)\simeq{\rm sech}^2(x/(2\alpha))$,
1624: and for $b=-3$
1625: versus $u(x)\simeq{\rm sech}(x/\alpha)$.}
1626: Inviscid $b$-family,
1627: $b=-2,-3$,
1628: $\alpha=1$,
1629: initial width $w=10$.
1630: }
1631: \end{center}
1632: \end{figure}
1633: }
1634:
1635:
1636:
1637: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1638: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1639: \section{Pulson
1640: interactions for
1641: $b>0$}\label{PulsonInteract}
1642: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1643: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1644:
1645: As
1646: we have seen in section \ref{pulson-intro}, the b-family of
1647: equations
1648: (\ref{b-family}) admits the pulson traveling wave
1649: solution
1650: (\ref{pulson-tw-soln}) for
1651: $b>0$. The interaction dynamics
1652: among $N$ of these pulsons is obtained by
1653: superposing the traveling
1654: wave solutions
1655: $u(x,t)=cg(x-ct)$
1656: as
1657: \begin{equation}\label{pulson-soln}
1658: u(x,t)=\sum_{i=1}^Np_i(t)g(x-q_i(t))
1659: \quad\hbox{and}\quad
1660: m(x,t)=\sum_{i=1}^Np_i(t)\delta(x-q_i(t))\,,
1661: \end{equation}
1662: for
1663: any $b>0$ and $u=g*m$, where the function $g$
1664: is
1665: even so that
1666: $g\,'(0)=0$ and bounded and we may
1667: set $g(0)=1$. For
1668: these
1669: superpositions of pulsons to be exact solutions,
1670: the time
1671: dependent
1672: parameters $p_i(t)$ and $q_i(t)$ must satisfy the
1673: following
1674: $N-$dimensional particle dynamics equations obtained by
1675: substituting
1676: (\ref{pulson-soln}) into equation (\ref{b-family}),
1677: \begin{eqnarray}
1678: \label{ODEeqn-p}
1679: \dot{p}_i &=& (1-b)\,p_i\sum_{j=1}^{N} p_j\,
1680: g\,'(q_i-q_j)
1681: =
1682: (1-b)\,\frac{\partial G_N}{\partial
1683: q_i}\,,
1684: \\
1685: \dot{q}_i &=& \sum_{j=1}^{N} p_j\,
1686: g(q_i-q_j)
1687: =
1688: \frac{\partial G_N}{\partial
1689: p_i}
1690: \,.\label{ODEeqn-q}
1691: \end{eqnarray}
1692: Here the generating function $G_N$ is obtained by restricting the
1693: norm $\|m\|_g^2$ in (\ref{KE-norm}) to the class of
1694: superposed traveling
1695: wave solutions (\ref{pulson-soln}), as
1696: \begin{equation} \label{G_N-def}
1697: G_N = \frac{1}{2}\sum_{i,j=1}^{N} p_i p_j\, g(q_i-q_j)
1698: \,.
1699: \end{equation}
1700: Thus, the symmetric kernel $g(x)$ determines the shape of the
1701: traveling wave solutions (\ref{pulson-soln}),
1702: and these traveling waves interact nonlinearly via the
1703: pulson dynamics of $p_i(t)$ and $q_i(t)$ with $i=1,\dots,N$ in equations
1704: (\ref{ODEeqn-p}) and (\ref{ODEeqn-q}) for $b>0$. We shall see
1705: that the character of these interactions depends vitally on the value of $b$.
1706:
1707:
1708:
1709: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1710: \subsection{Pulson interactions for $b=2$}
1711: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1712:
1713: When $b=2$, equations
1714: (\ref{ODEeqn-p}) and (\ref{ODEeqn-q}) describe the canonical dynamics
1715: of a Hamiltonian system with $N$ degrees of freedom. These are the
1716: geodesic pulson equations studied in Fringer and Holm \cite{FH[2001]}, in
1717: which the following results are obtained,
1718: \begin{description}
1719: \item$\bullet$
1720: Equation (\ref{b-family}) conserves the kinetic energy
1721: $\frac{1}{2}\|m\|_g^2 =
1722: \frac{1}{2}\int_{-\infty}^\infty m\,g*m\,dx$.
1723: \item$\bullet$
1724: Equations (\ref{ODEeqn-p})
1725: and (\ref{ODEeqn-q}) describe canonical geodesic motion in an
1726: $N-$dimensional configuration space whose co-metric is
1727: $g^{ij}(q)=g(q_i-q_j)$.
1728: \item$\bullet$
1729: The generating function $G_N$ is the kinetic energy
1730: Hamiltonian for the canonical geodesic motion.
1731: \item$\bullet$
1732: The solutions in (\ref{pulson-soln}) behave as particle-like pulses
1733: whose pairwise interactions as determined by equations (\ref{ODEeqn-p})
1734: and (\ref{ODEeqn-q}) comprise nonlinear, but elastic,
1735: scattering events.
1736: \item$\bullet$
1737: The pairwise interactions for the pulsons can be solved analytically
1738: for any symmetric function $g(x)$.
1739: \end{description}
1740:
1741: \begin{remark}
1742: As we shall show, the last two statements also hold for any $b>1$.
1743: \end{remark}
1744:
1745: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1746: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1747: \remfigure{
1748: \begin{figure}
1749: \begin{center}
1750: \leavevmode {
1751: \hbox{\epsfig{figure=b_+2_interact.ps, scale=0.3}}
1752: }
1753: \caption{\label{2-3-pkn-ic/a1,b2}
1754: {\bf Peakons of width $\alpha$ for $b=2$: collisions.}
1755: Inviscid $b$-family,
1756: $b=2$,
1757: $\alpha=5$,
1758: initial width $w=5$.
1759: \rem{\sf
1760: 2-peakon and 3-peakon interactions for $b=2$. $\alpha=5$, and the peakons
1761: have width $w=5$. The 3-peakon interaction decomposes into a series of 2-peakon
1762: interactions.
1763: }
1764: }
1765: \end{center}
1766: \end{figure}
1767: }
1768: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1769:
1770: \rem{
1771: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1772: \subsection{Pulson interactions for $b=3$}
1773: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1774:
1775: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1776: \marginpar{\footnotesize\bf $\P\ $ \fbox{For D2H}}
1777: \comment{
1778: This section wasn't in your original paper, but it seems natural
1779: to mention the $b=3$ case next to the $b=2$ case, and to say what
1780: we can about it.
1781: }
1782:
1783: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1784: \marginpar{\footnotesize\bf $\P\ $ \fbox{For D2H}}
1785: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1786: \comment{WRITE STUFF HERE about the Pulson interactions for $b=3$.}
1787: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1788: }
1789:
1790: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1791: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1792: \remfigure{
1793: \begin{figure}
1794: \begin{center}
1795: \leavevmode {
1796: \hbox{\epsfig{figure=b_+3_interact.ps, scale=0.3}}
1797: }
1798: \caption{\label{2-3-pkn-ic/a1,b3}
1799: {\bf Peakons of width $\alpha$ for $b=3$: collisions.}
1800: Inviscid $b$-family,
1801: $b=3$,
1802: $\alpha=5$,
1803: initial width $w=5$.
1804: \rem{\sf
1805: 2-peakon and 3-peakon interactions for $b=3$. $\alpha=5$, and the peakons
1806: have width $w=5$. Again, the 3-peakon interaction decomposes into a series of
1807: 2-peakon interactions.
1808: }
1809: }
1810: \end{center}
1811: \end{figure}
1812: }
1813: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1814:
1815:
1816:
1817: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1818: \subsection{Peakon interactions for $b=2$ and $b=3$: numerical results}
1819: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1820: \begin{itemize}
1821: \item
1822: Figure \ref{2-3-pkn-ic/a1,b2} shows the evolution of the velocity profiles
1823: in the 2-peakon and 3-peakon interactions for $b=2$, with
1824: $g(x)=e^{-|x|/\alpha}$ and a periodic domain. The 3-peakon interaction
1825: decomposes into a series of 2-peakon interactions. These simulations verify the
1826: analytical results for the 2-peakon interaction to three significant
1827: figures over
1828: propagation distances of about sixty peakon widths.
1829: \item
1830: Figure \ref{2-3-pkn-ic/a1,b3} shows the evolution of the
1831: velocity profiles
1832: in the 2-peakon and 3-peakon interactions for
1833: $b=3$, with
1834: $g(x)=e^{-|x|/\alpha}$ and a periodic
1835: domain.
1836:
1837: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1838: \remfigure{
1839: \begin{figure}
1840: \begin{center}
1841: \leavevmode {
1842: \hbox{\epsfig{figure=breakup.ps, scale=0.3}}
1843: }
1844: \caption{\label{2-pkn/a1,b2-3/w5}
1845: {\bf Peakons of width $>\alpha$ for $b=2,3$:
1846: emergence of width-$\alpha$ peakons.}
1847: Inviscid $b$-family,
1848: $b=2,3$,
1849: $\alpha=1$,
1850: initial width $w=5$.
1851: \rem{\sf
1852: Evolving
1853: patterns of the velocity profile under the peakon equation
1854: for an
1855: initial pair of peakons of width $w=5$ for
1856: $\alpha=1$ and
1857: $b=2,3$.
1858: }
1859: }
1860: \end{center}
1861: \end{figure}
1862: }
1863: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1864: \item
1865: Figure
1866: \ref{2-pkn/a1,b2-3/w5} shows that peakons of initial width
1867: greater
1868: than $\alpha$ break up into peakons of width $\alpha$ under
1869: the
1870: evolution of the peakon equation in a periodic domain at fixed
1871: values
1872: of $\alpha=1$ and $b=2,3$. The emitted peakons are stable,
1873: propagate
1874: as solitary traveling waves, and interact elastically.
1875: Conversely, a
1876: peakon or other initial condition that is narrower than $\alpha$
1877: will
1878: decompose into two oppositely moving trains of peakons
1879: and
1880: antipeakons, each of width $\alpha$.
1881: \end{itemize}
1882:
1883:
1884:
1885: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1886: \subsection{Pulson-Pulson interactions for $b>0$ and symmetric $g$}
1887: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1888:
1889: For $N=2$, the pulson dynamics in equations (\ref{ODEeqn-p}) and
1890: (\ref{ODEeqn-q}) for $b>0$ reduces to
1891: \begin{equation}\label{unused-c}
1892: \frac{dp_1}{dt}=(1-b)\frac{\partial G}{\partial q_1}
1893: \,, \quad
1894: \frac{dp_2}{dt}=(1-b)\frac{\partial G}{\partial q_2},
1895: \end{equation}
1896: \begin{equation}
1897: \frac{dq_1}{dt}=\frac{\partial G}{\partial p_1}, \quad
1898: \frac{dq_2}{dt}=\frac{\partial G}{\partial p_2},
1899: \end{equation}
1900: and the generating function from (\ref{G_N-def}) is given by
1901: \begin{equation}\label{gen-fct}
1902: G=\frac{1}{2}(p_1^2+p_2^2)+p_1p_2\,g(q_1-q_2)
1903: \,.
1904: \end{equation}
1905: (This is the Hamiltonian and the equations are canonical only for $b=2$,
1906: which includes the Camassa-Holm case for which $g(q_1-q_2)=e^{-|q_1-q_2|}$
1907: gives the peakon solutions.)
1908:
1909:
1910: \subsubsection*{Conservation laws and reduction to quadrature}
1911: Besides the total momentum
1912: \begin{equation}\label{unused-e}
1913: P=p_1+p_2
1914: \,,
1915: \end{equation}
1916: the two-pulson system for $b>0$ and symmetric $g$ also conserves a
1917: second quantity that is quadratic in $p_1$ and $p_2$, namely
1918: \begin{equation} \label{2ndconst}
1919: H=p_1p_2\big(1-g(q_1-q_2)\big)^{b-1}
1920: \,.
1921: \end{equation}
1922:
1923: For a Hamiltonian system with two degrees of freedom this second
1924: conservation law would
1925: be enough to ensure integrability, by Liouville's theorem. Even
1926: in the present case of $b>0$ without a Hamiltonian structure, this
1927: will be sufficient to reduce the 2-pulson system to
1928: quadratures.%
1929: \footnote{When $b=1$, the momenta $p_1$ and $p_2$
1930: are
1931: separately conserved and the problem immediately reduces to
1932: quadratures
1933: in $q=q_1-q_2$ and $Q=q_1+q_2$.}
1934:
1935:
1936:
1937: Following the
1938: analysis for the case $b=2$ and arbitrary $g$ in
1939: Fringer and Holm
1940: \cite{FH[2001]}, we introduce sum and difference
1941: variables
1942: as
1943: \begin{equation}\label{unused-f}
1944: P=p_1+p_2
1945: \,, \quad
1946: Q=q_1+q_2
1947: \,,
1948: \quad
1949: p=p_1-p_2
1950: \,, \quad
1951: q=q_1-q_2
1952: \,.
1953: \end{equation}
1954: In these
1955: variables, the generating function (\ref{gen-fct})
1956: becomes
1957: \begin{equation}\label{unused-g}
1958: G=\frac{1}{4}P^2(1+g(q))+\frac{1}{4}p^2(1-g(q))
1959: \,,
1960: \end{equation}
1961: and
1962: the second constant of motion (\ref{2ndconst})
1963: becomes
1964: \begin{equation}
1965: \label{2ndConstant}
1966: H=\frac{1}{4}(P^2-p^2)\big(1-g(q)\big)^{b-1}
1967: \,.
1968: \end{equation}
1969: Likewise,
1970: the 2-pulson equations of motion transform to
1971: sum and difference
1972: variables as
1973: \begin{eqnarray*}
1974: \begin{array}{l}\label{unused-aaa}
1975:
1976: \frac{dP}{dt} = 2(1-b)\frac{\partial G}{\partial Q}=0\,,\cr
1977:
1978: \frac{dQ}{dt} = 2\frac{\partial G}{\partial P}=P(1+g(q))\,,\cr
1979:
1980: \frac{dp}{dt} = 2(1-b)\frac{\partial G}{\partial q}
1981:
1982: = \frac{1}{2}(1-b)(P^2-p^2)g\,'(q)\,,\cr
1983: \frac{dq}{dt} =
1984: 2\frac{\partial G}{\partial p} =
1985: p(1-g(q)).
1986: \end{array}
1987: \end{eqnarray*}
1988:
1989: Eliminating $p^2$ between the
1990: formula for $H$ and the equation of motion for
1991: $q$
1992: yields
1993: \begin{equation}\label{unused-bbb}
1994: \left(\frac{dq}{dt}\right)^2=P^2\big(1-g(q)\big)^2-4H\big(1-g(q)\big)^{3-b}
1995: \,.
1996: \end{equation}
1997: %
1998: We
1999: rearrange this into the following quadrature,
2000: \begin{equation}
2001: \label{pulson-quad}
2002: dt=\frac{dg(q)}{g\,'(q)\sqrt{Z}},
2003: \qquad
2004: Z=P^2\big(1-g(q)\big)^2-4H\big(1-g(q)\big)^{3-b}
2005: \,.
2006: \end{equation}
2007: %
2008: This
2009: simplifies to the quadratic $Z=P^2\big(1-g(q)\big)^2-4H$ when
2010: $b=3$.
2011: For the peakon case, we have $g(q)=e^q$ so that
2012: $g\,'(q)=g(q)$ and
2013: the quadrature (\ref{pulson-quad}) simplifies to an
2014: elementary
2015: integral for $b=-1,0,1,2,3$. Having obtained $q(t)$ from
2016: the
2017: quadrature, the momentum difference $p(t)$ is found
2018: from
2019: (\ref{2ndConstant}) via the algebraic
2020: expression
2021: \begin{equation}
2022: p^2 = P^2 -
2023: \frac{4H}{\big(1-g(q)\big)^{b-1}}
2024: \,,
2025: \end{equation}
2026: in terms of $q$
2027: and the constants of motion $P$ and $H$.
2028: Finally, the sum $Q(t)$ is
2029: found by a further quadrature.
2030: The remainder of the solution for
2031: arbitrary $b$ and $g$ closely
2032: follows Fringer and
2033: Holm
2034: \cite{FH[2001]} for the case $b=2$.
2035:
2036: Upon writing the quantities $H$,
2037: $P$ and $G$ as
2038: \begin{equation}\label{unused-ccc}
2039: H=c_1c_2, \quad
2040: P=c_1+c_2,
2041: \quad
2042: G=\frac{1}{2}c_1^2+\frac{1}{2}c_2^2=\frac{1}{2} P^2
2043: - H
2044: \,,
2045: \end{equation}
2046: in terms of the asymptotic speeds of the
2047: pulsons, $c_1$ and $c_2$, we find
2048: the relative momentum
2049: relation,
2050: \begin{equation}\label{p-square-eq}
2051: p^2 = (c_1+c_2)^2 -
2052: \frac{4c_1c_2}{\big(1-g(q)\big)^{b-1}}
2053: \,.
2054: \end{equation}
2055: This
2056: equation has several implications for the qualitative properties
2057: of
2058: the 2-pulson collisions.
2059:
2060: \begin{definition}
2061: Overtaking, or
2062: rear-end, pulson collisions satisfy $c_1c_2>0$,
2063: while head-on pulson
2064: collisions satisfy $c_1c_2<0$.
2065: \end{definition}
2066:
2067: The pulson order
2068: $q_1<q_2$ is preserved in an overtaking, or rear-end,
2069: collision when
2070: $b>1$. This follows, as
2071:
2072: \begin{proposition}[Preservation of pulson
2073: order]
2074: For overtaking, or rear-end, collisions when $b>1$, the
2075: 2-pulson dynamics
2076: preserves the sign condition
2077: $q=q_1-q_2<0$.
2078: \end{proposition}
2079:
2080: \paragraph{Proof.} Suppose the
2081: peaks were to overlap in a
2082: collision for $b>1$, thereby producing
2083: $q=0$ during a collision. The
2084: condition $g(0)=1$ implies the second
2085: term in (\ref{p-square-eq}) diverges
2086: for $b>1$ when the overlap
2087: occurs. However, this divergence would
2088: contradict $p^2\ge0$.
2089: \hfill
2090: $\Box$\bigskip
2091:
2092: Consequently, seen as a collision between two
2093: initially well-separated
2094: ``particles'' with initial speeds $c_1$ and
2095: $c_2$, the separation $q(t)$
2096: reaches a nonzero distance of closest
2097: approach $q_{min}$ in an
2098: overtaking, or rear-end, collision that may
2099: be expressed in terms of the
2100: pulse shape
2101: as,
2102:
2103: \begin{corollary}[Minimum separation
2104: distance]\label{cor-q-min}
2105: The minimum separation distance reachable
2106: in two-pulson collisions with
2107: $c_1c_2 >0$ is given
2108: by,
2109: \begin{equation}\label{q-min}
2110: \big(1-g(q_{min})\big)^{b-1}
2111: =
2112: \frac{4c_1c_2}{(c_1+c_2)^2}
2113: \,.
2114: \end{equation}
2115: \end{corollary}
2116:
2117: \paragraph{Proof.}
2118: Set $p^2=0$ in equation (\ref{p-square-eq}).
2119: \hfill
2120: $\Box$
2121:
2122: \begin{remark}
2123: We shall use result (\ref{q-min}) later in
2124: checking the accuracy of our
2125: numerical simulations of these
2126: two-pulson interactions.
2127: \end{remark}
2128:
2129: \begin{proposition}[Head-on
2130: collisions admit $q\to0$]
2131: The 2-pulson dynamics allows the overlap
2132: $q\to0$ when $b>1$ in
2133: head-on
2134: collisions.
2135: \end{proposition}
2136:
2137: \paragraph{Proof.} Because
2138: $p^2\ge0$, the overlap $q\to0$ implying $g\to1$
2139: is only possible in
2140: equation (\ref{p-square-eq}) with $b>1$ for
2141: $c_1c_2<0$. That is, for
2142: the head-on collisions.
2143: \hfill $\Box$
2144:
2145: \paragraph{Remarks about
2146: head-on collisions.}
2147: For $b>1$, equation (\ref{p-square-eq}) implies
2148: that $p^2\to\infty$
2149: diverges when
2150: $q\to0$ in head-on collisions. The
2151: case $b=1$ is regular and equation
2152: (\ref{p-square-eq}) reduces to
2153: the constant relation $p^2=(c_1-c_2)^2$. For
2154: $0<b<1$, the quantity
2155: $p^2$ no longer diverges when $q\to0$
2156: and the solution for the
2157: relative momentum in head-on collisions is
2158: again
2159: regular.
2160:
2161:
2162:
2163: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2164: \subsection{Pulson-antiPulson
2165: interactions for $b>1$ and symmetric
2166: $g$}
2167: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2168:
2169: \paragraph{Head-on
2170: Pulson-antiPulson collision.}
2171: We consider the special case of {\it
2172: completely antisymmetric}
2173: pulson-antipulson collisions, for
2174: which
2175: $p_1 = -p_2 = p/2$ and $q_1 = -q_2 = q/2$ (so that $P=0$ and
2176: $Q=0$).
2177: In this case, the quadrature formula (\ref{pulson-quad})
2178: reduces
2179: to%
2180: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2181: \footnote{
2182: For
2183: $b=3$, the quadrature formula (\ref{quadrat-2}) for the
2184: separation
2185: distance in the pulson-antipulson collision reduces to
2186: straight line
2187: motion,
2188: $q(t)-q(t_0)=\pm2c(t-t_0)$.}
2189: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2190: \begin{equation}
2191: \label{quadrat-2}
2192: \pm (t-t_0) = \frac{1}{\sqrt{-4
2193: H}}
2194: \int_{q(t_0)}^{q(t)}
2195: \frac{dq\,'}{\big(1-g(q\,')\big)^{(3-b)/2}}\,,
2196: \end{equation}
2197: and the
2198: second constant of motion in (\ref{2ndConstant})
2199: satisfies
2200: \begin{equation}
2201: \label{2ndConstant-ppbar}
2202: -4H=p^2\big(1-g(q)\big)^{b-1}
2203: \,.
2204: \end{equation}
2205: After
2206: the collision, the pulson and antipulson separate
2207: and travel
2208: oppositely apart; so that asymptotically in time
2209: $g(q)\to0$,
2210: $p\to2c$, and
2211: $H\to-{c}^2$, where $c$ (or $-c$) is the asymptotic
2212: speed (and
2213: amplitude) of the pulson
2214: (or antipulson). Setting
2215: $H=-{c}^2$ in equation
2216: (\ref{2ndConstant-ppbar}) gives a
2217: relation for
2218: the pulson-antipulson $(p,q)$ phase trajectories for any
2219: kernel,
2220: \begin{equation} \label{p_vs_q_eqn}
2221: p = \pm\,\frac{2
2222: c}{\big(1-g(q)\big)^{(b-1)/2}}\,.
2223: \end{equation}
2224: Notice that $p$
2225: diverges for $b>1$ (and switches branches of the square
2226: root) when
2227: $q\to 0^+$, because $g(0) = 1$. In contrast, $p$ remains
2228: constant
2229: for $b=1$ and it vanishes for $b<1$ (and again switches branches
2230: of
2231: the square root) when $q\to 0^+$. Note that our convention for
2232: switching
2233: branches of the square root allows us to keep $q>0$
2234: throughout, so the
2235: particles retain their order.
2236:
2237: \paragraph{Remark
2238: about preservation of particle identity in
2239: collisions.} The
2240: relative
2241: separation distance $q(t)$ in pulson-antipulson collisions
2242: is
2243: determined
2244: by following a phase point along a level surface of the
2245: second
2246: constant of motion $H$ in
2247: the phase space with coordinates
2248: $(q,p)$. Because $H$ is quadratic, the
2249: relative momentum $p$ has two
2250: branches on such a level surface, as
2251: indicated by the
2252: $\pm$ sign in
2253: equation (\ref{p_vs_q_eqn}). At the pulson-antipulson
2254: collision
2255: point,
2256: both $q\to0^+$ and either $1/p\to0^+$ or $p\to0^+$, so
2257: following a
2258: phase point through
2259: a collision requires that one choose
2260: a convention for which branch of
2261: the level surface is
2262: taken after the
2263: collision. Taking the convention that $p$ changes sign
2264: (corresponding
2265: to a ``bounce''), but $q$ does not change sign (so the
2266: ``particles''
2267: keep their identity) is convenient, because it
2268: allows
2269: the phase
2270: points to be
2271: followed more easily through multiple
2272: collisions. This
2273: choice is also
2274: consistent with the pulson-pulson and
2275: antipulson-antipulson collisions. In
2276: these other ``rear end''
2277: collisions, as implied by equation
2278: (\ref{p-square-eq}), the
2279: separation distance always
2280: remains positive and again the particles
2281: retain their identity.
2282:
2283:
2284: \begin{theorem}
2285: [Pulson-antiPulson exact
2286: solution]
2287: The exact analytical solution for the pulson-antipulson
2288: collision for any
2289: $b$ and any symmetric $g$ may be written as a
2290: function of position $x$ and
2291: the separation between the pulses $q$
2292: for any pulse shape or kernel $g(x)$
2293: as
2294: \begin{equation}\label{vel_collide_eqn}
2295: u(x,q) =
2296: \frac{c}{\big(1-g(q)\big)^{(b-1)/2}}
2297: \Big[g(x+q/2) -
2298: g(x-q/2)\Big],
2299: \end{equation}
2300: where $c$ is the pulson speed at sufficiently large separation and the
2301: dynamics of the separation $q(t)$ is given by the quadrature
2302: (\ref{quadrat-2}) with $\sqrt{-4H}=2c$.
2303: \end{theorem}
2304: \paragraph{Proof.}
2305: The solution (\ref{pulson-soln}) for the velocity $u(x,t)$ in the head-on
2306: pulson-antipulson collision may be expressed in this notation as
2307: \begin{equation}
2308: u(x,t) = \frac{p}{2}g(x+q/2) - \frac{p}{2}g(x-q/2)\,.
2309: \end{equation}
2310: In using equation (\ref{p_vs_q_eqn}) to eliminate $p$ this
2311: solution becomes equation (\ref{vel_collide_eqn}).
2312: \hfill $\Box$\bigskip
2313:
2314:
2315: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2316: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2317: \remfigure{
2318: \begin{figure}
2319: \begin{center}
2320: \leavevmode {
2321: \hbox{\epsfig{figure=anti.ps, scale=0.3}}
2322: }
2323: \caption{\label{pkn-anti-pkn}
2324: {\bf Peakon-antipeakon collisions for $b=1,2,3$.}
2325: Inviscid $b$-family,
2326: $b=1,2,3$,
2327: $\alpha=1$,
2328: initial width $w=1$.
2329: \rem{\sf
2330: Exact solutions for the Peakon-antiPeakon collision for $b=1$, $b=2$,
2331: and $b=3$ at four successive times.
2332: % , $t=-7,-3,-0.5,-0.1$.
2333: }
2334: }
2335: \end{center}
2336: \end{figure}
2337: }
2338: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2339:
2340: Figure \ref{pkn-anti-pkn} shows the exact solutions for the
2341: Peakon-antiPeakon collision in the cases $b=1$, $b=2$, and $b=3$.
2342: The positive and negative peaks approach each other until the solution
2343: develops a negative vertical slope in finite time. As the separation
2344: $q\to0$, the positive and negative peaks ``bounce,'' thereby reversing
2345: polarity, after which they separate in opposite directions.
2346:
2347:
2348:
2349: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2350: \subsection{Specializing Pulsons to Peakons for $b=2$ and $b=3$}
2351: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2352:
2353: We now restrict to $g(x)=e^{-|x|}$, the
2354: Green's function for the 1D Helmholtz operator satisfying
2355: \begin{equation}\label{Helm-op}
2356: \Big(1-\frac{d^2}{dx^2}\Big)e^{-|x|}=2
2357: \delta(x)
2358: \,.
2359: \end{equation}
2360: In this case, $m=u-\alpha^2u_{xx}$, the
2361: pulson traveling wave solution
2362: is given by
2363: $u(x,t)=cg(x-ct)=ce^{-|x-ct|}$, has a discontinuity in
2364: derivative at
2365: its peak, and is called the peakon. For $b=2$ and $b=3$
2366: in the
2367: peakon case the main results are,
2368: \begin{itemize}
2369: \item
2370: For $b=2$ and
2371: $g(x)=e^{-|x|}$, equation (\ref{b-family}) becomes
2372: the
2373: zero-dispersion limit of the integrable Camassa-Holm equation
2374: for
2375: shallow water waves discovered in Camassa and Holm
2376: \cite{CH[1993]}. Upon
2377: restoring its linear dispersion, this equation
2378: was recently proved to be
2379: a higher-order accurate asymptotic
2380: description of shallow water waves in
2381: Dullin et al.
2382: \cite{DGH[2001]}.
2383: \item
2384: For $b=3$ and $g(x)=e^{-|x|}$, equation
2385: (\ref{b-family}) becomes the
2386: integrable partial differential equation
2387: studied in Degasperis,
2388: Holm and Hone \cite{DHH[2002]}.
2389: \item
2390: When $g(x)=e^{-|x|}$ the $N-$peakon dynamics for both $b=2$ and $b=3$ turns
2391: out to be integrable -- as is the dynamics of the original PDE
2392: (\ref{b-family}). The solutions of the initial value problem for
2393: (\ref{b-family}) for both $b=2$ and $b=3$ may be found analytically by
2394: using the Isospectral Scattering Transform (IST) method.
2395: \item
2396: The two cases $b=2$ and $b=3$ have quite different isospectral eigenvalue
2397: problems. These are discussed in Camassa and Holm \cite{CH[1993]} and in
2398: Dullin et al. \cite{DGH[2001]} for the case $b=2$, and
2399: in Degasperis, Holm and Hone \cite{DHH[2002]} for the case
2400: $b=3$. See also Beals, Sattinger and Smigialski \cite{BSS[2000]}
2401: for a discussion of solving the inverse isospectral problem using classical
2402: methods for the case $b=2$.
2403: \end{itemize}
2404:
2405:
2406:
2407:
2408:
2409: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2410: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2411: \section{Peakons of width $\alpha$ for arbitrary $b$}\label{Peakons}
2412: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2413: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2414:
2415: When $g=e^{-|x|/\alpha}$, we may invert the velocity-momentum
2416: relation $u=g*m$ by using the Green's function expression
2417: (\ref{Helm-op}) with the Helmholtz operator to find $m=u-\alpha^2
2418: u_{xx}$. Hence, equation (\ref{b-family}) may be rearranged into the
2419: local {\bf momentum conservation law},
2420: \begin{equation}\label{b-family-peakon-momentum}
2421: m_t
2422: =-\, \frac{\partial}{\partial x}
2423: \Big(
2424: mu
2425: + \frac{b-1}{2} u^2
2426: - \frac{b-1}{2} \alpha^2 u_x^2\Big)
2427: \,.
2428: \end{equation}
2429: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2430: This conservation law for peakons may also be rewritten in {\bf convection
2431: form}:
2432: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2433: \begin{equation} \label{convect-b-eqn}
2434: u_t + u u_x
2435: =
2436: - \,\tau_x
2437: \quad\hbox{with}\quad
2438: (1-\alpha^2\partial_x^2)\tau
2439: =
2440: \frac{b}{2}u^2+\frac{3-b}{2}\alpha^2u_x^2
2441: \,.
2442: \end{equation}
2443: The two forms (\ref{b-family-peakon-momentum})
2444: and
2445: (\ref{convect-b-eqn}) of the b-family of equations
2446: (\ref{b-family})
2447: suggest that values $b=0,1,3$ are special. These
2448: values of $b$ are
2449: natural candidates for boundaries, or bifurcation
2450: points for changes
2451: in solution
2452: behavior.
2453:
2454: Equation
2455: (\ref{convect-b-eqn}) describes peakons of
2456: shape
2457: $g(x)=e^{-|x|/\alpha}$. This peakon equation
2458: will form the basis of
2459: the rest of our
2460: study.
2461:
2462:
2463:
2464: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2465: \subsection{Slope
2466: dynamics for Peakons: inflection points and the
2467: steepening lemma when
2468: $1<b\le3$}
2469: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2470:
2471: We
2472: shall consider solution dynamics of equation (\ref{convect-b-eqn})
2473: in
2474: the peakon case satisfying (\ref{peakon-soln}), or
2475: equivalently,
2476: equation (\ref{b-family}) with $g(x)=e^{-|x|/\alpha}$,
2477: which
2478: satisfies
2479: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2480: \begin{equation}\label{pkn-g}
2481: (1-\alpha^2
2482: \partial_x^2)e^{-|x|/\alpha}=2 \alpha \delta
2483: (x)\,.
2484: \end{equation}
2485: For this case, and with vanishing boundary
2486: conditions at spatial
2487: infinity, equations
2488: (\ref{convect-b-eqn}) and
2489: (\ref{pkn-g}) imply the peakon equation on
2490: the real
2491: line,
2492: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2493: \begin{equation}
2494: \label{peakon-u-eqn}
2495: u_t+uu_x
2496: =
2497: - \, \frac{1}{2
2498: \alpha}
2499: \int_{-\infty}^\infty
2500: e^{-|x-y\,|/\alpha}
2501: \Big(buu_y+(3-b)\alpha^2u_yu_{yy}\Big)
2502: \,dy\,.
2503: \end{equation}
2504: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2505: Taking
2506: the $x-$derivative gives the equation for the slope
2507: $u_x(x,t)$
2508: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2509: \begin{eqnarray}%\label{peakon-ux-eqn}
2510: u_{xt}+uu_{xx}
2511: + u_x^2
2512: &=&
2513: - \, \frac{1}{2 \alpha}
2514: \frac{\partial}{\partial x}
2515: \int_{-\infty}^\infty
2516: e^{-|x-y\,|/\alpha}
2517: \Big(buu_y+(3-b)\alpha^2u_yu_{yy}\Big)
2518: \,dy
2519: \nonumber\\
2520: &&\hspace{-3cm}
2521: =
2522: \frac{1}{2 \alpha^2}
2523: \int_{-\infty}^\infty e^{-|x-y\,|/\alpha}
2524: \,{\rm
2525: sgn}\,(x-y)
2526: \Big(buu_y+(3-b)\alpha^2u_yu_{yy}\Big)
2527: \,dy
2528: \,.\label{peakon-ux-eqn}
2529: \end{eqnarray}
2530: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2531: We shall use these expressions to prove the following.
2532: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2533: \begin{proposition}[Peakon
2534: Steepening Lemma]\label{B-steepening}
2535: For $b$ in the range $1< b\le3$
2536: a sufficiently negative slope at an
2537: inflection point of $u$ will
2538: become vertical in finite time under the
2539: dynamics of the peakon
2540: equation
2541: (\ref{peakon-u-eqn}).
2542: \end{proposition}
2543: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2544:
2545: \paragraph{Proof.}
2546: Following
2547: Camassa and Holm \cite{CH[1993]}, we shall consider
2548: the evolution
2549: of
2550: the slope $u_x$ at an inflection point $x=\bar{x}(t)$.
2551: \rem{initially
2552: located to the right of the solution's maximum. }
2553: Define the slope at
2554: the inflection point as $s(t)=u_x(\bar{x}(t),t)$ and
2555: note that
2556: $u_{xx}(\bar{x}(t),t)=0$. Then equation (\ref{peakon-ux-eqn})
2557: yields
2558: the following evolution equation for
2559: $s(t)$
2560: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2561: \begin{eqnarray}
2562: \label{peakon-slope-eqn1}
2563: \frac{ds}{dt} + s^2
2564: =
2565: \frac{1}{2
2566: \alpha^2}
2567: \int_{-\infty}^\infty
2568: \!\!\!\!\!
2569: e^{-|\,\bar{x}(t)-y\,|/\alpha}
2570: \,{\rm
2571: sgn}\,(\bar{x}(t)-y)
2572: \frac{1}{2}\frac{\partial}{\partial
2573: y}
2574: \Big(bu^2+(3-b)\alpha^2u_y^2\Big)
2575: \,dy
2576: %\,.
2577: \end{eqnarray}
2578: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2579: Integrating
2580: by parts using the definition $|y|=y\,{\rm sgn}\,(y)$, so
2581: that
2582: $d|y|/dy=\,{\rm sgn}\,(y)+2y\delta(y)$, and recalling
2583: that
2584: $y\delta(y)=0$,
2585: gives
2586: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2587: \begin{eqnarray}
2588: \label{peakon-slope-eqn2}
2589: \frac{ds}{dt}
2590: =
2591: -\,\Big(\frac{b-1}{2}\Big)s^2
2592: +
2593: \frac{b}{2\alpha^2}\,u^2
2594: -
2595: \frac{1}{2
2596: \alpha^2}
2597: \int_{-\infty}^\infty
2598: \!\!\!\!\!
2599: e^{-|\,\bar{x}(t)-y\,|/\alpha}
2600: \frac{1}{2\alpha}
2601: \Big(bu^2+(3-b)\alpha^2u_y^2\Big)
2602: \,dy
2603: %\,.
2604: \nonumber
2605: \end{eqnarray}
2606: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2607: Hence,
2608: in the range $0\le b\le3$ the last term is negative and we have
2609: the
2610: slope
2611: inequality,
2612: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2613: \begin{eqnarray}
2614: \label{peakon-slope-ineq}
2615: \frac{ds}{dt}
2616: \le
2617: -\,\Big(\frac{b-1}{2}\Big)s^2
2618: +
2619: \frac{b}{2\alpha^2}\,u^2
2620: \quad\hbox{for}\quad
2621: 0\le
2622: b\le3
2623: \,.
2624: \end{eqnarray}
2625: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2626: We
2627: suppose the solution satisfies $(bu^2/\alpha^2)<M$ for
2628: some constant
2629: $M$.%
2630: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2631: \footnote{If
2632: this inequality is violated, we have another type of
2633: singularity.
2634: However, for $b=2$, the constant $M$ can be estimated
2635: by
2636: using a
2637: Sobolev inequality. In
2638: fact, $M=4H_1(u)/\alpha^2$ because
2639: for
2640: this case we have
2641: \[
2642: \max_{x\in{\bf
2643: R}}[u^2(x,t)]
2644: \le
2645: \frac{1}{\alpha}\int_{-\infty}^\infty
2646: (u^2+\alpha^2u_x^2)\,dx
2647: =
2648: 2H_1=const
2649: \quad\hbox{for}\quad
2650: b=2
2651: \,.\]
2652: }
2653: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2654: Then,
2655: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2656: \begin{eqnarray}
2657: \label{peakon-slope-ineq-M}
2658: \frac{ds}{dt}
2659: \le
2660: -\,\Big(\frac{b-1}{2}\Big)s^2
2661: +
2662: \frac{M}{2}
2663: \quad\hbox{for}\quad
2664: 0\le
2665: b\le3
2666: \,.
2667: \end{eqnarray}
2668: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2669: Consequently,
2670: if
2671: $b>1$,
2672: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2673: \begin{eqnarray}
2674: \label{peakon-slope-ineq-d}
2675: \frac{dX}{1-X^2}
2676: =
2677: d\,{\rm
2678: coth}^{-1}(X)
2679: \le
2680: \sqrt{M}
2681: \quad\hbox{for}\quad
2682: X=\sqrt{\frac{b-1}{M}}\,s
2683: \,.
2684: \end{eqnarray}
2685: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2686: This
2687: implies, for $s\le -\sqrt{M}$ initially negative,
2688: that
2689: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2690: \begin{eqnarray}
2691: \label{peakon-slope-ineq-sol}
2692: s
2693: \le
2694: \sqrt{M}\,{\rm coth}\Big(\sigma
2695: +
2696: \sqrt{\frac{b-1}{M}}\frac{M}{2}\,t\Big)
2697: \quad\hbox{for}\quad
2698: 1<
2699: b\le3
2700: \,,
2701: \end{eqnarray}
2702: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2703: where
2704: the dimensionless integration constant $\sigma<0$ determines the
2705: initial
2706: slope, which is negative. Under these circumstances, the
2707: slope at the
2708: inflection
2709: point must become vertical by time
2710: $t=-2\sigma/\sqrt{M(b-1)}$.
2711:
2712: \hfill
2713: $\Box$
2714:
2715: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2716: \paragraph{Remarks
2717: for $1< b\le3$.}
2718: \begin{itemize}
2719: \item
2720: If the initial condition is
2721: antisymmetric, for $1< b\le3$, then the
2722: inflection point at $u=0$ is
2723: fixed and $d\bar{x}/dt=0$, due to the
2724: mirror reflection symmetry
2725: $(u,x)\rightarrow(-u,-x)$ admitted by equation
2726: (\ref{peakon-u-eqn}).
2727: In this case, $M=0$ and equation
2728: (\ref{peakon-slope-ineq-M})
2729: implies
2730: \begin{equation}\label{unused-eee}
2731: ds /dt\le
2732: -\,\Big(\frac{b-1}{2}\Big)s^2
2733: \quad\Rightarrow\quad
2734: s(t)\le
2735: \frac{-2}{b-1}\Big(\frac{1}{t_0-t}\Big)\,,
2736: \end{equation}
2737: so
2738: verticality $s=-\infty$ will develop in finite time, regardless of
2739: how
2740: small the initial slope $|s(0)|$, provided it is negative,
2741: $s(0)<0$, as in
2742: figure \ref{pkn-anti-pkn}. If the initial slope is
2743: positive, then under this
2744: evolution it will relax to zero from
2745: above.
2746: \item
2747: Consequently, traveling wave solutions of
2748: (\ref{peakon-u-eqn}) cannot
2749: have the usual sech-like shape for solitons because inflection points with
2750: sufficiently negative slope can produce unsteady changes in the shape of the
2751: solution profile.
2752: \end{itemize}
2753:
2754:
2755:
2756: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2757: \subsection{Cases $0\le{b}\le1$}
2758: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2759:
2760: In the range $0\le{b}\le1$, we have from (\ref{|M|cons}) that
2761: \begin{equation}
2762: \int_{-\infty}^\infty |m|^{1/b}\,dx
2763: =
2764: \int_{-\infty}^\infty |m_0|^{1/b}\,dx
2765: \,, \quad\hbox{where}\quad
2766: m_0(x)=m(x,0)
2767: \,. \label{|M|cons1}
2768: \end{equation}
2769: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2770: This conservation law implies an elliptic regularity estimate
2771: showing that the slope $s=u_x$ is always bounded under the
2772: dynamics of the peakon equation (\ref{peakon-u-eqn}).
2773: See Holm and Titi [2002] for a proof of this result and more discussion of
2774: its implications.
2775:
2776:
2777:
2778:
2779:
2780: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2781: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2782: \section{Adding viscosity to peakon dynamics}\label{Viscosity}
2783: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2784: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2785:
2786: In the remainder of this paper, we shall restrict our attention to the
2787: peakon case $g(x)=e^{-|x|/\alpha}$ with length scale $\alpha$, and
2788: investigate the fate of the peakon solutions when
2789: viscosity is introduced for given values of $b$ and $\alpha$. For purposes
2790: of comparison with previous results in the literature, we shall also extend
2791: equation (\ref{b-family}) to a new family of equations that includes the
2792: Burgers equation by introducing two additional real parameters. These are the
2793: viscosity $\nu$ and a multiplier $\beta$ for the stress, or pressure
2794: gradient.
2795:
2796: First, we shall introduce constant viscosity $\nu>0$ into
2797: (\ref{b-family}) to form the viscous b-family of equations for the peakon case
2798: $g(x)=e^{-|x|/\alpha}$, as follows,
2799: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2800: \begin{equation}\label{viscous-b-family-1}
2801: m_t\
2802: +\
2803: \underbrace{\ \ um_x\ \
2804: }
2805: _{\hspace{-2mm}\hbox{convection}\hspace{-2mm}}\
2806: +\
2807: \underbrace{\ \ b\,u_xm\ \
2808: }
2809: _{\hspace{-2mm}\hbox{stretching}\hspace{-2mm}}\
2810: =\
2811: \underbrace{\ \
2812: \nu\,m_{xx}\
2813: }
2814: _{\hspace{-2mm}\hbox{viscosity}
2815: }\,, \quad\hbox{with}\quad
2816: m=u-\alpha^2 u_{xx}
2817: \,.
2818: \end{equation}
2819: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2820: As in equation (\ref{b-family-u}), this equation with viscosity may be
2821: expressed solely in terms of the velocity $u(x,t)$ as
2822: \begin{eqnarray}\label{b-family-u-visc}
2823: u_t + (b+1)uu_x - \nu u_{xx}
2824: &=&
2825: \alpha^2(u_{xxt}+uu_{xxx}+bu_x u_{xx}-\nu u_{xxxx} )
2826: \\
2827: &=&
2828: \alpha^2\partial_x
2829: \Big(u_{xt} + u u_{xx} - \nu u_{xxx} + \frac{b-1}{2} u_x^2 \Big)
2830: \nonumber\\
2831: &=&
2832: \alpha^2\partial_x^2
2833: \Big(u_{t} + u u_{x} - \nu u_{xx} + \frac{b-3}{2} u_x^2 \Big)
2834: \,.
2835: \nonumber
2836: \end{eqnarray}
2837: Thus, the nonlinear steepening term increases with $b$ as $(b+1)uu_x$.
2838: When $\alpha\to0$ the previous equation reduces to
2839: \begin{equation}\label{unused-fff}
2840: u_t + (b+1)uu_x - \nu u_{xx} = 0
2841: \,,
2842: \end{equation}
2843: and one then recovers the usual {\bf Burgers equation} either by rescaling
2844: dimensions, or by setting $b=0$. For $b=2$, equation
2845: (\ref{viscous-b-family-1}) is the one-dimensional version of the
2846: three-dimensional Navier-Stokes-alpha model for turbulence
2847: \cite{Chen-etal[1998]}.
2848:
2849: The viscous b-family of peakon equations (\ref{viscous-b-family-1}) may
2850: be rearranged into two other equivalent forms that are convenient for
2851: making the second extension of a stress multiplier. These are either its
2852: equivalent {\bf conservative form},
2853: \begin{equation}\label{conserv-viscous-b-family}
2854: m_t
2855: =-\, \frac{\partial}{\partial x}
2856: \Big(
2857: mu
2858: + \frac{b-1}{2} u^2
2859: - \frac{b-1}{2} \alpha^2 u_x^2\Big)
2860: +
2861: \nu \,m_{xx}
2862: \,,
2863: \end{equation}
2864: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2865: or its equivalent {\bf convective form},
2866: \begin{equation} \label{convect-viscous-b-family}
2867: (1-\alpha^2\partial_x^2)\big(u_t + u u_x - \nu u_{xx}\big)
2868: =
2869: -\, \partial_x
2870: \Big(\frac{b}{2}u^2+\frac{3-b}{2}\alpha^2u_x^2\Big)
2871: \,.
2872: \end{equation}
2873: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2874: \paragraph{Stress
2875: multiplier $\beta$.}
2876: Next, we shall introduce a stress multiplier
2877: $\beta$ as a second
2878: parameter that for $\beta\ne1$ deforms the
2879: convective form of the viscous
2880: b-family of equations
2881: (\ref{convect-viscous-b-family}) into the following
2882: family of
2883: Burgers-like equations with four parameters $b$, $\alpha$, $\nu$
2884: and
2885: $\beta$,
2886: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2887: \begin{equation}
2888: \label{convect-viscous-Bab-eqn}
2889: u_t + u u_x - \nu u_{xx}
2890: =
2891: -
2892: \,\beta\,\tau_x
2893: \quad\hbox{with}\quad
2894: (1-\alpha^2\partial_x^2)\tau
2895: =
2896: \frac{b}{2}u^2+\frac{3-b}{2}\alpha^2u_x^2
2897: \,.
2898: \end{equation}
2899: When
2900: $\beta=0$, the Burgers$-\alpha\beta$
2901: equation
2902: (\ref{convect-viscous-Bab-eqn})
2903: recovers the usual Burgers
2904: equation. When $\beta=1$, equation
2905: (\ref{convect-viscous-Bab-eqn})
2906: recovers the viscous b-family of peakon
2907: equations
2908: (\ref{viscous-b-family-1}).
2909:
2910: We shall seek solutions of the
2911: Burgers$-\alpha\beta$ equation
2912: (\ref{convect-viscous-Bab-eqn}),
2913: either on the real line and
2914: vanishing at spatial
2915: infinity, or in a
2916: periodic domain, for various values of its four parameters
2917: $b$,
2918: $\alpha$, $\nu$ and $\beta$. Under these boundary conditions,
2919: when
2920: $\beta\to1$, equation (\ref{convect-viscous-Bab-eqn}) recovers
2921: the
2922: convective
2923: form (\ref{convect-viscous-b-family}) of the viscous
2924: b-family for peakons with
2925: $g(x)=e^{-|x|/\alpha}$.
2926: Thus, the viscous
2927: b-family of
2928: equations
2929: (\ref{viscous-b-family-1}-\ref{convect-viscous-b-family})
2930: deforms into the
2931: Burgers$-\alpha\beta$ equation
2932: (\ref{convect-viscous-Bab-eqn}) when
2933: $\beta\ne1$
2934: and the
2935: Burgers$-\alpha\beta$ equation
2936: (\ref{convect-viscous-Bab-eqn})
2937: reduces to
2938: the usual Burgers equation when $\beta=0$. We shall be
2939: interested in
2940: the effects
2941: of the four parameters $b$, $\alpha$, $\nu$
2942: and $\beta$ on the solutions of the
2943: Burgers$-\alpha\beta$ equation
2944: (\ref{convect-viscous-Bab-eqn}). We shall be
2945: interested especially in
2946: the fate of the peakon solutions upon introducing the
2947: parameters
2948: $\nu$ and $\beta$ so as to retain $H_\alpha^1$ control of
2949: the
2950: velocity. As we shall see, such control requires a special
2951: relation between the
2952: parameters $b$ and
2953: $\beta$, namely,
2954: $(3-b)\beta=1$.
2955:
2956:
2957:
2958: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2959: \subsection{Burgers$-\alpha\beta$ equation: analytical estimates}
2960: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2961:
2962: \begin{proposition}[$H_\alpha^1$
2963: control of the velocity]\label{H1Control-Prop}
2964: The
2965: Burgers$-\alpha\beta$ equation (\ref{convect-viscous-Bab-eqn})
2966: controls
2967: the $\alpha-$weighted $H^1$ norm of the
2968: velocity,
2969: \[
2970: \|u\|_{H^1_\alpha}^2 =
2971: \int_{-\infty}^{\infty}\!\!
2972: \big(u^2+\alpha^2
2973: u_x^2\big) \, dx
2974: \]
2975: for $\alpha^2\ne0$,
2976: provided
2977: $(3-b)\beta=1$.
2978: \end{proposition}
2979:
2980: \paragraph{Proof.}
2981: The
2982: spatial derivative of the Burgers$-\alpha\beta$
2983: equation
2984: (\ref{convect-viscous-Bab-eqn}) yields the dynamics for the
2985: slope $s=u_x$
2986: as
2987: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2988: \begin{eqnarray*}
2989: u_t+uu_x
2990: - \nu u_{xx}
2991: &=&
2992: -\, \beta \tau_x
2993: \,,\\
2994: s_t+us_x+s^2 - \nu
2995: s_{xx}
2996: &=&
2997: -\,\beta\,
2998: \tau_{xx}
2999: \,,\quad\hbox{with}\quad
3000: s=u_x
3001: \,,\\
3002: -\alpha^2
3003: \tau_{xx}
3004: &=&
3005: \frac{b}{2}\,u^2
3006: +\frac{3-b}{2}\alpha^2\,u_x^2 -
3007: \tau
3008: \,.
3009: \end{eqnarray*}
3010: %
3011: In turn, these slope dynamics equations
3012: imply the following evolution of the
3013: $\alpha-$weighted $H^1$
3014: density, cf.~equation
3015: (\ref{peakon-slope-eqn1}),
3016: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3017: \begin{eqnarray*}
3018: \frac{\partial}{\partial t}
3019: \Big(\frac{1}{2}u^2+ \frac{\alpha^2}{2}
3020: s^2\Big)
3021: &=&
3022: \frac{\partial}{\partial
3023: x}
3024: \bigg(\frac{1}{3}
3025: \Big(1-\frac{b \beta}{2}\Big)u^3
3026: + \beta u
3027: \tau
3028: + \frac{\alpha^2}{2}u s^2
3029: + \nu uu_x
3030: + \nu \alpha^2 s
3031: s_x
3032: \bigg)
3033: \\&&
3034: -\
3035: \nu u_x^2\
3036: -\, \nu \alpha^2
3037: s_x^2\
3038: +\,\frac{\alpha^2}{2}
3039: \Big( (3-b) \beta-1\Big) s^3
3040: \,.
3041: \end{eqnarray*}
3042: Thus, provided
3043: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3044: \[(3-b) \beta=1\,,\]
3045: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3046: the last term will vanish. Under this condition,
3047: for periodic or vanishing boundary conditions the
3048: $\alpha-$weighted $H^1$ norm
3049: \[
3050: \|u\|_{H^1_\alpha}^2 =
3051: \int_{-\infty}^{\infty}\!\!
3052: \big(u^2+\alpha^2 u_x^2\big) \, dx
3053: \]
3054: will decay monotonically under the Burgers$-\alpha\beta$ dynamics for
3055: $\alpha^2\ne0$.
3056:
3057: \hfill $\Box$
3058:
3059: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3060: \paragraph{Remarks.}
3061: \begin{itemize}
3062: \item
3063: When $\nu\to0$ in the Burgers$-\alpha\beta$ equation, the
3064: $\alpha-$weighted $H^1$ norm is conserved for $(3-b)\beta=1$.
3065: This relation cannot be satisfied for $b=3$. Thus, the proof of decay of the
3066: $\alpha-$weighted $H^1$ norm under the Burgers$-\alpha\beta$ dynamics is
3067: inconclusive for $\nu\ne0$ when $b=3$. However, one can expect on
3068: physical grounds that this norm will also decay for $b=3$ if $\nu$ is
3069: sufficiently large.
3070:
3071: \item
3072: We shall restrict our remaining considerations to those values of $b$ and
3073: $\beta$ for which the $\alpha-$weighted $H^1$ norm is bounded, or decays
3074: monotonically. In one dimension, this control of the $\alpha-$weighted
3075: $H^1$ norm implies the solution for the velocity will be {\it continuous}.
3076: \item
3077: Namely, we shall consider the following cases with $(3-b)\beta=1$
3078: \begin{description}
3079: \item
3080: (b=0, $\beta=1/3$),
3081: % \item
3082: (b=1, $\beta=1/2$) and
3083: % \item
3084: (b=2, $\beta=1$).
3085: \end{description}
3086: \end{itemize}
3087:
3088:
3089: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3090: \begin{proposition}[Burgers$-\alpha\beta$
3091: Steepening
3092: Lemma]\label{B-alphabeta-steepening}
3093: For $b$ and $\beta$
3094: in the range
3095: $(3-b)\beta\le2$ a sufficiently negative slope at
3096: an
3097: inflection point of velocity $u$ will become vertical in finite
3098: time under the
3099: dynamics of the Burgers$-\alpha\beta$ equation
3100: (\ref{convect-viscous-Bab-eqn})
3101: with
3102: $\nu=0$.
3103: \end{proposition}
3104: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3105:
3106: \paragraph{Proof.}The
3107: proof follows that for the Peakon Steepening
3108: Lemma \ref{B-steepening}
3109: and uses the slope equation following from
3110: Burgers$-\alpha\beta$
3111: equation (\ref{convect-viscous-Bab-eqn}) with
3112: $\nu=0$
3113: that
3114: corresponds to (\ref{peakon-ux-eqn}) for the Peakons, modified
3115: to include
3116: $\beta$,
3117: \begin{eqnarray}%
3118: u_{xt}+uu_{xx} + u_x^2
3119: &=&
3120: - \,
3121: \frac{\beta}{2 \alpha}
3122: \frac{\partial}{\partial
3123: x}
3124: \int_{-\infty}^\infty
3125: e^{-|x-y\,|/\alpha}
3126: \Big(buu_y+(3-b)\alpha^2u_yu_{yy}\Big)
3127: \,dy
3128: \nonumber\\
3129: &&\hspace{-3cm}
3130: =
3131: \frac{\beta}{2 \alpha^2}
3132: \int_{-\infty}^\infty
3133: e^{-|x-y\,|/\alpha}
3134: \,{\rm
3135: sgn}\,(x-y)
3136: \Big(buu_y+(3-b)\alpha^2u_yu_{yy}\Big)
3137: \,dy
3138: \,.\label{B-alphabeta-ux-eqn}
3139: \end{eqnarray}
3140: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3141: Equation
3142: (\ref{B-alphabeta-ux-eqn}) yields the inviscid
3143: Burgers$-\alpha\beta$
3144: evolution of the slope $s(t)=u_x(\bar{x}(t),t)$
3145: at an inflection point
3146: $x=\bar{x}(t)$
3147: as
3148: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3149: \begin{eqnarray}
3150: \label{peakon-slope-ineq-M-2}
3151: \frac{ds}{dt}
3152: \le
3153: -\Big(2-(3-b)\beta\Big)\frac{s^2}{2}
3154: +
3155: \frac{\beta
3156: M}{2}
3157: \quad\hbox{for}\quad
3158: 0\le
3159: b\le3
3160: \,,
3161: \end{eqnarray}
3162: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3163: This
3164: holds provided we assume the solution satisfies $(bu^2/\alpha^2)<M$
3165: for
3166: some constant $M$. Consequently, if $2-(3-b)\beta>0$, we
3167: have
3168: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3169: \begin{eqnarray}
3170: \label{peakon-slope-ineq-d-2}
3171: \frac{dX}{1-X^2}
3172: =
3173: d\,{\rm
3174: coth}^{-1}(X)
3175: \le
3176: \sqrt{M}
3177: \quad\hbox{for}\quad
3178: X=\sqrt{\frac{2-(3-b)\beta}{M\beta}}\,s
3179: \,.
3180: \end{eqnarray}
3181: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3182: For
3183: $s\le -\sqrt{M}$ initially negative and $\beta>0$, this
3184: implies,
3185: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3186: \begin{eqnarray}
3187: \label{peakon-slope-ineq-sol-2}
3188: s
3189: \le
3190: \sqrt{M}\,{\rm
3191: coth}\Big(\sigma
3192: +
3193: \sqrt{\frac{2-(3-b)\beta}{M\beta}}\,\frac{M}{2}\,t\Big)
3194: \quad\hbox{for}\quad
3195: 0\le
3196: 3-\frac{2}{\beta}<
3197: b\le3
3198: \,,
3199: \end{eqnarray}
3200: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3201: where
3202: the dimensionless integration constant $\sigma<0$ determines
3203: the
3204: initial slope, which is negative. Under these circumstances,
3205: provided
3206: the inflection point continues to exist, its negative slope
3207: must
3208: become vertical by
3209: time
3210: $t=\frac{-2\sigma}{M}\sqrt{\frac{M\beta}{2-(3-b)\beta}}$.
3211:
3212: \hfill
3213: $\Box$
3214:
3215:
3216: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3217: \begin{corollary}[Inviscid
3218: Burgers$-\alpha\beta$ shocks]
3219: Solutions of the inviscid
3220: Burgers$-\alpha\beta$ equation
3221: (\ref{convect-viscous-Bab-eqn}) with
3222: $\nu=0$ that remain continuous in
3223: velocity must develop negative
3224: vertical slope in finite
3225: time.
3226: \end{corollary}
3227: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3228: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3229:
3230: \paragraph{Proof.}
3231: According
3232: to Proposition \ref{H1Control-Prop}, continuity of the velocity
3233: and,
3234: hence, control of the $H^1$ norm $\|u\|_{H^1_\alpha}$ requires
3235: that
3236: $(3-b)\beta=1$. This is in the parameter range where
3237: Proposition
3238: \ref{B-alphabeta-steepening} applies. Consequently,
3239: verticality will form
3240: at an inflection point of negative slope under
3241: the dynamics of the
3242: inviscid Burgers$-\alpha\beta$ equation
3243: (\ref{convect-viscous-Bab-eqn})
3244: with $\nu=0$ for
3245: $(3-b)\beta\le2$.
3246: \hfill $\Box$
3247:
3248: \begin{remark}
3249: Hence, to remain
3250: continuous without viscosity, the solution of the
3251: inviscid
3252: Burgers$-\alpha\beta$ equation must either develop verticality at
3253: an
3254: inflection point of negative slope, or it must evolve to eliminate
3255: such
3256: points
3257: entirely.
3258: \end{remark}
3259:
3260: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3261: \subsection{Burgers$-\alpha\beta$ traveling waves for $\beta(3-b)=1$
3262: \& $\nu=0$}
3263: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3264:
3265: For $\nu=0$, the Burgers$-\alpha\beta$ equation
3266: (\ref{convect-viscous-Bab-eqn}) has traveling
3267: waves given by
3268: \begin{equation}\label{Bab-tw}
3269: (u-c)u\,'+ \beta \tau\,'=0
3270: \quad\hbox{and}\quad
3271: \tau-\alpha^2\tau\,''
3272: =
3273: \frac{b}{2}u^2+\frac{3-b}{2}\alpha^2(u\,')^2
3274: \end{equation}
3275: which yields
3276: after one integration
3277: \begin{equation}\label{1stConstant-bab}
3278: \frac{u^2}{2}-c\,u + \beta \tau=K\,,
3279: \end{equation}
3280: where $K$ is the first integral. Consequently, we find
3281: \begin{equation}\label{tau-K}
3282: \tau-\alpha^2\tau\,''
3283: =
3284: \frac{1}{\beta}
3285: \Big(K+c\,u-\frac{u^2}{2}
3286: +
3287: \alpha^2\big((u-c)\,u\,''+(u\,')^2\big)
3288: \Big)
3289: \,.
3290: \end{equation}
3291: The second equation in (\ref{Bab-tw}) integrates
3292: for the special case of $\beta(3-b)=1$,
3293: \begin{equation}\label{2ndConstant-bab}
3294: 2Ku+cu^2-\beta u^3 + \alpha^2(u-c)(u\,')^2=2H
3295: \,.
3296: \end{equation}
3297: For the special case $K=0=H$ this becomes
3298: \begin{equation}
3299: \alpha^2(u-c)(u\,')^2
3300: =
3301: (\beta u-c)u^2
3302: \quad\hbox{for}\quad
3303: \beta(3-b)=1
3304: \,,
3305: \end{equation}
3306: and we recover the peakon solution $u(z)=ce^{-|z|/\alpha}$ for $\beta=1$. In
3307: the general case that $K\ne0$ and $H\ne0$, we rearrange equation
3308: (\ref{2ndConstant-bab}) into the following quadrature for
3309: inviscid Burgers$-\alpha\beta$ traveling waves,
3310: \begin{equation}\label{tw-soln/Bab}
3311: \pm
3312: \,\frac{dz}{\alpha} =
3313: \frac{(u-c)^{1/2}\,du}{\Big[2H - 2Ku - cu^2 + \beta u^3\Big]^{1/2}}
3314: \quad\hbox{for}\quad
3315: \beta(3-b)=1\
3316: \&\
3317: \nu=0
3318: \,.
3319: \end{equation}
3320: In what follows, we shall consider the cases ($b=0$, $\beta=1/3$),
3321: ($b=1$, $\beta=1/2$) and ($b=2$, $\beta=1$) when $\nu\ne0$.
3322:
3323:
3324:
3325:
3326: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3327: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3328: \section{The fate of the peakons under (1) adding viscosity and (2)
3329: Burgers$-\alpha\beta$
3330: evolution}\label{PeakonsViscousFate}
3331: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3332: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3333:
3334:
3335:
3336: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3337: \subsection{The fate of peakons under adding viscosity}
3338: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3339:
3340: % ---------------------------------------------------------------------
3341: The
3342: following set of four figures shows the effects on the initial
3343: value
3344: problem for the viscous b-equation (\ref{viscous-b-family-1})
3345: of
3346: varying $\alpha$ and $b$ at fixed viscosity for an initial
3347: velocity
3348: distribution given by a peakon of width $w=5$ and initial
3349: height
3350: $U\simeq0.1$. The parameter $b$ takes the values
3351: $b=0,1,2,3$.
3352: In these four figures, the resolution is $2^{13}$ points
3353: on a domain size
3354: of 200 with viscosity $\nu=0.005$. This corresponds
3355: to a grid-scale
3356: Reynolds number of
3357: $Re_{\Delta{x}}=U\Delta{x}/\nu=O(1)$ for velocity
3358: $U\simeq0.1$. The
3359: pair of figures after these four then shows the effects
3360: on the same
3361: problem of increasing viscosity $\nu$ at fixed $\alpha$ for
3362: $b=2$
3363: and
3364: $b=3$.
3365: % ---------------------------------------------------------------------
3366:
3367: \begin{description}
3368:
3369: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3370: \item
3371: Figure \ref{pkn-ic-vb-eqn-b=0} shows three plots of the evolution of the
3372: velocity profile under the viscous b-equation (\ref{viscous-b-family-1})
3373: of an initial peakon of width five, as a function of increasing
3374: $\alpha=1/4,1,4$ at fixed viscosity $\nu=0.005$ for $b=0$. The peakon
3375: leans to the right and develops a Burgers-like triangular shock, or ramp
3376: and cliff, whose width increases and peak height decreases as $\alpha$
3377: increases. These three plots show no discernable differences for $b=0$ as
3378: the viscosity is decreased to $\nu=10^{-6}$. Hence the width of the
3379: cliff in the ramp and cliff structure for $b=0$ is set by the value of
3380: $\alpha$ in this range of parameters.
3381:
3382: \remfigure{
3383: \begin{figure}
3384: \begin{center}
3385: \leavevmode {
3386: \hbox{\epsfig{figure=b0_alpha_vary.ps, scale=0.4}}
3387: }
3388: \caption{\label{pkn-ic-vb-eqn-b=0}
3389: {\bf Effect of increasing $\alpha$ for $b=0$.}
3390: Viscous $b$-family,
3391: $b=0$,
3392: $\alpha=1/4,1,4$,
3393: $\nu=0.005$,
3394: initial width $w=5$.
3395: \rem{\sf
3396: For $b=0$, evolution of the velocity profile under the viscous b-equation
3397: (\ref{viscous-b-family-1}) of an initial peakon of width five, as a function
3398: of increasing $\alpha=1/4,1,4$ at fixed viscosity $\nu=0.005$, for which
3399: $Re_{\Delta{x}}=(b+1)U\Delta{x}/\nu\simeq4$.
3400: }
3401: }
3402: \end{center}
3403: \end{figure}
3404: }
3405: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3406:
3407:
3408:
3409: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3410: \item
3411: Figure \ref{pkn-ic-vb-eqn-b=1} shows three plots of the same type of
3412: evolution from a peakon initial condition of width $w=5$, as $\alpha$ is
3413: varied for $b=1$. The front of the ramp and cliff structure propagates
3414: faster and is sharper for $b=1$ than for $b=0$ when $\alpha=1/4$ and
3415: $\alpha=1$. This increase in speed appears to occur because the
3416: coefficient increases in the steepening term $(b+1)uu_x$ in equation
3417: (\ref{b-family-u-visc}). A nascent peakon begins to form close behind
3418: the front at the top of the ramp, then eventually gets absorbed into the
3419: ramp and cliff. For $\alpha=4$, however, this nascent peakon forms more
3420: completely and nearly escapes.
3421:
3422: \remfigure{
3423: \begin{figure}
3424: \begin{center}
3425: \leavevmode {
3426: \hbox{\epsfig{figure=b1_alpha_vary.ps, scale=0.4}}
3427: }
3428: \caption{\label{pkn-ic-vb-eqn-b=1}
3429: {\bf Effect of increasing $\alpha$ for $b=1$.}
3430: Viscous $b$-family,
3431: $b=1$,
3432: $\alpha=1/4,1,4$,
3433: $\nu=0.005$,
3434: initial width $w=5$.
3435: \rem{\sf
3436: For $b=1$, evolution of the velocity profile under the viscous b-equation
3437: (\ref{viscous-b-family-1}) of an initial peakon of width five, as a function
3438: of increasing $\alpha=1/4,1,4$ at fixed viscosity $\nu=0.005$, for which
3439: $Re_{\Delta{x}}=(b+1)U\Delta{x}/\nu\simeq8$.
3440: }
3441: }
3442: \end{center}
3443: \end{figure}
3444: }
3445: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3446:
3447:
3448:
3449: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3450: \item
3451: Figure \ref{pkn-ic-vb-eqn-b=2} again shows three plots of
3452: the evolution from a peakon initial condition of width $w=5$, as $\alpha$ is
3453: varied, this time for $b=2$. The ramp and cliff structure is faster for
3454: $b=2$ than for $b=1$ when $\alpha=1/4$. When $\alpha=1$ a series of
3455: three nascent peakons forms close behind the front, then overtakes the
3456: ramp and cliff structure and slightly affects its propagation before
3457: eventually being absorbed. For $\alpha=4$, however, the initial peakon
3458: simply propagates and decays under viscosity, although it is slightly
3459: rounded at the top.
3460:
3461: \remfigure{
3462: \begin{figure}
3463: \begin{center}
3464: \leavevmode {
3465: \hbox{\epsfig{figure=b2_alpha_vary.ps, scale=0.4}}
3466: }
3467: \caption{\label{pkn-ic-vb-eqn-b=2}
3468: {\bf Effect of increasing $\alpha$ for $b=2$.}
3469: Viscous $b$-family,
3470: $b=2$,
3471: $\alpha=1/4,1,4$,
3472: $\nu=0.005$,
3473: initial width $w=5$.
3474: \rem{\sf
3475: For $b=2$, evolution of the velocity profile under the viscous b-equation
3476: (\ref{viscous-b-family-1}) of an initial peakon of width five, as a function
3477: of increasing $\alpha=1/4,1,4$ at fixed viscosity $\nu=0.005$, for which
3478: $Re_{\Delta{x}}=(b+1)U\Delta{x}/\nu\simeq12$.
3479: }
3480: }
3481: \end{center}
3482: \end{figure}
3483: }
3484: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3485:
3486:
3487:
3488: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3489: \item
3490: Figure \ref{pkn-ic-vb-eqn-b=3} also shows three plots of
3491: the evolution from a peakon initial condition of width $w=5$, as $\alpha$ is
3492: varied, this time for $b=3$. The ramp and cliff structure moves faster
3493: yet, and a single nascent peakon appears just behind the front already for
3494: $\alpha=1/4$. When $\alpha=1$, a series of three nascent peakons
3495: forms initially close behind the front and they nearly escape before being
3496: slowed by viscosity. The leading peakon decays and slows due to
3497: viscosity. Then the following ones overtake and collide with the
3498: ones ahead as the ramp and cliff structure forms. These collisions occur at
3499: higher relative velocity for $b=3$ than for $b=2$ and they significantly
3500: affect the propagation and eventual formation of the ramp and cliff. In
3501: contrast, for $\alpha=4$, the initial peakon keeps its integrity and simply
3502: propagates rightward and decays under viscosity. The propagating peakon
3503: for $\alpha=4$ at this viscosity decays more slowly and is much sharper at
3504: the top for $b=3$ than for $b=2$.
3505:
3506: \remfigure{
3507: \begin{figure}
3508: \begin{center}
3509: \leavevmode {
3510: \hbox{\epsfig{figure=b3_alpha_vary.ps, scale=0.4}}
3511: }
3512: \caption{\label{pkn-ic-vb-eqn-b=3}
3513: {\bf Effect of increasing $\alpha$ for $b=3$.}
3514: Viscous $b$-family,
3515: $b=3$,
3516: $\alpha=1/4,1,4$,
3517: $\nu=0.005$,
3518: initial width $w=5$.
3519: \rem{\sf
3520: For $b=3$, evolution of the velocity profile under the viscous b-equation
3521: (\ref{viscous-b-family-1}) of an initial peakon of width five, as a function
3522: of increasing $\alpha=1/4,1,4$ at fixed viscosity $\nu=0.005$, for which
3523: $Re_{\Delta{x}}=(b+1)U\Delta{x}/\nu\simeq16$.
3524: }
3525: }
3526: \end{center}
3527: \end{figure}
3528: }
3529: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3530:
3531: \end{description}
3532:
3533: \begin{remark}[Exchange of stability]
3534: To see the exchange of stability between the ramp/cliff structure and
3535: the peakon
3536: as $b$ changes, we perform the following numerical experiment. First, we run
3537: the viscous b-equation (\ref{viscous-b-family-1}) with $b=0$, $\alpha=1$,
3538: $\nu=10^{-5}$, and an initial peakon of width $w=5$. As we see in Figures
3539: \ref{ramp/cliff-ic-b-eqn-b=+2,+3-alpha1} and
3540: \ref{ramp/cliff-ic-b-eqn-b=+2,+3-alpha1-profile},
3541: this evolves into the ramp and cliff formation
3542: even for nearly zero viscosity. Once the final ramp/cliff state is formed, we
3543: then use it as the new initial condition for equation
3544: (\ref{viscous-b-family-1})
3545: with either $b=2$ or $b=3$. The new evolution breaks the ramp/cliff structure
3546: into peakons and the new final state is a rightward moving train of peakons
3547: ordered by height.
3548:
3549: For Figures
3550: \ref{ramp/cliff-ic-b-eqn-b=+2,+3-alpha5} and
3551: \ref{ramp/cliff-ic-b-eqn-b=+2,+3-alpha5-profile},
3552: we ran the same
3553: numerical experiment, this time with a value $\alpha=5$ equal to the width of
3554: the initial peakon. The initial peakon ``borrows from the negative'' to form
3555: a ramp, which is not quite antisymmetric because the total area of the initial
3556: peakon must be preserved. At time $T=150$ we switch to $b=2$ (top plot) or
3557: $b=3$ (bottom plot), and again observe a train of stable peakons emerging from
3558: the now-unstable ramp.
3559:
3560: Finally, for Figures
3561: \ref{ramp/cliff-ic-b-eqn-b=-2,-3-alpha1} and
3562: \ref{ramp/cliff-ic-b-eqn-b=-2,-3-alpha1-profile},
3563: we again run the numerical experiment with $\alpha=1$ and an initial peakon
3564: width $w=5$, but this time changing to $b=-2$ or $b=-3$ after the ramp has
3565: formed. The new evolution breaks the ramp/cliff structure into leftons like
3566: those in Figures \ref{Gauss-ic-pkn/a1,b-2/w10-20} and
3567: \ref{Gauss-ic-pkn/a1,b-3/w10-20}.
3568:
3569:
3570:
3571: \remfigure{
3572: \begin{figure}
3573: \begin{center}
3574: \leavevmode {
3575: \hbox{\epsfig{figure=a1w5p_water.ps, scale=0.45}}
3576: }
3577: \caption{\label{ramp/cliff-ic-b-eqn-b=+2,+3-alpha1}
3578: {\bf Exchange of stability between ramps and peakons
3579: for $b=0,2,3$, when width $>\alpha$.}
3580: Viscous $b$-family,
3581: $b=0\rightarrow2,3$,
3582: $\alpha=1$,
3583: $\nu=10^{-5}$,
3584: initial width $w=5$.
3585: \rem{\sf
3586: Exchange of stability between ramps and peakons. We ran
3587: the viscous b-equation (\ref{viscous-b-family-1}) with the peakon initial
3588: condition with width $w=5$, for $b=0$, $\alpha=1$, and $\nu=10^{-5}$. At
3589: time $T=2500$ we switched to $b=2$ (top figure) or to $b=3$ (bottom figure).
3590: The ramp and cliff structure, which was stable for $b=0$, splits into
3591: peakons when we change to $b>1$.
3592: }
3593: }
3594: \end{center}
3595: \end{figure}
3596: }
3597:
3598: \remfigure{
3599: \begin{figure}
3600: \begin{center}
3601: \leavevmode {
3602: \hbox{\epsfig{figure=a1w5p_curve.ps, scale=0.45}}
3603: }
3604: \caption{\label{ramp/cliff-ic-b-eqn-b=+2,+3-alpha1-profile}
3605: {\bf Exchange of stability between ramps and peakons
3606: for $b=0,2,3$, when width $>\alpha$: profiles.}
3607: Viscous $b$-family,
3608: $b=0\rightarrow2,3$,
3609: $\alpha=1$,
3610: $\nu=10^{-5}$,
3611: initial width $w=5$.
3612: \rem{\sf
3613: Exchange of stability between ramps and peakons. The figures show profiles of
3614: the data from Figure \ref{ramp/cliff-ic-b-eqn-b=+2,+3-alpha1}, at times T=0, T=2500 (at
3615: which we change from b=0 to b=2 or b=3), and T=4000.
3616: }
3617: }
3618: \end{center}
3619: \end{figure}
3620: }
3621:
3622:
3623:
3624: \remfigure{
3625: \begin{figure}
3626: \begin{center}
3627: \leavevmode {
3628: \hbox{\epsfig{figure=a5w5p_water.ps, scale=0.45}}
3629: }
3630: \caption{\label{ramp/cliff-ic-b-eqn-b=+2,+3-alpha5}
3631: {\bf Exchange of stability between ramps and peakons
3632: for $b=0,2,3$, when width $=\alpha$.}
3633: Viscous $b$-family,
3634: $b=0\rightarrow2,3$,
3635: $\alpha=5$,
3636: $\nu=10^{-5}$,
3637: initial width $w=5$.
3638: \rem{\sf
3639: Exchange of stability between ramps and peakons, beginning with an initial
3640: peakon of width equal to $\alpha$.
3641: }
3642: }
3643: \end{center}
3644: \end{figure}
3645: }
3646:
3647: \remfigure{
3648: \begin{figure}
3649: \begin{center}
3650: \leavevmode {
3651: \hbox{\epsfig{figure=a5w5p_curve.ps, scale=0.45}}
3652: }
3653: \caption{\label{ramp/cliff-ic-b-eqn-b=+2,+3-alpha5-profile}
3654: {\bf Exchange of stability between ramps and peakons
3655: for $b=0,2,3$, when width $=\alpha$: profiles.}
3656: Viscous $b$-family,
3657: $b=0\rightarrow2,3$,
3658: $\alpha=5$,
3659: $\nu=10^{-5}$,
3660: initial width $w=5$.
3661: \rem{\sf
3662: Exchange of stability between ramps and peakons, beginning with an initial
3663: peakon of width equal to $\alpha$.
3664: }
3665: }
3666: \end{center}
3667: \end{figure}
3668: }
3669:
3670:
3671:
3672: \remfigure{
3673: \begin{figure}
3674: \begin{center}
3675: \leavevmode {
3676: \hbox{\epsfig{figure=a1w5n_water.ps, scale=0.45}}
3677: }
3678: \caption{\label{ramp/cliff-ic-b-eqn-b=-2,-3-alpha1}
3679: {\bf Exchange of stability between ramps and leftons
3680: for $b=0,-2,-3$, when width $>\alpha$.}
3681: Viscous $b$-family,
3682: $b=0\rightarrow-2,-3$,
3683: $\alpha=1$,
3684: $\nu=10^{-5}$,
3685: initial width $w=5$.
3686: \rem{\sf
3687: Exchange of stability between ramps and peakons. We ran
3688: the viscous b-equation (\ref{viscous-b-family-1}) with the peakon initial
3689: condition with width $w=5$, for $b=0$, $\alpha=1$, and $\nu=10^{-5}$. At
3690: time $T=2500$ we switched to $b=-2$ (top figure) or to $b=-3$ (bottom figure).
3691: The ramp and cliff structure, which was stable for $b=0$, splits into leftons.
3692: }
3693: }
3694: \end{center}
3695: \end{figure}
3696: }
3697:
3698: \remfigure{
3699: \begin{figure}
3700: \begin{center}
3701: \leavevmode {
3702: \hbox{\epsfig{figure=a1w5n_curve.ps, scale=0.45}}
3703: }
3704: \caption{\label{ramp/cliff-ic-b-eqn-b=-2,-3-alpha1-profile}
3705: {\bf Exchange of stability between ramps and leftons
3706: for $b=0,-2,-3$, when width $>\alpha$: profiles.}
3707: Viscous $b$-family,
3708: $b=0\rightarrow-2,-3$,
3709: $\alpha=1$,
3710: $\nu=10^{-5}$,
3711: initial width $w=5$.
3712: \rem{\sf
3713: Exchange of stability between ramps and peakons. The figures show profiles of
3714: the data from Figure \ref{ramp/cliff-ic-b-eqn-b=-2,-3-alpha1}, at times T=0, T=2500 (at
3715: which we change from b=0 to b=-2 or b=-3), and T=7500.
3716: }
3717: }
3718: \end{center}
3719: \end{figure}
3720: }
3721:
3722:
3723:
3724: \end{remark}
3725:
3726:
3727:
3728: \begin{remark}[Increasing viscosity]
3729: The effect of increasing viscosity on the evolution of the peakon initial
3730: condition can be estimated from the $\alpha-$scale Reynolds number defined
3731: by,
3732: \[Re_\alpha=U\alpha/\nu=(\alpha/\Delta{x})Re_{\Delta{x}}\,.\] For
3733: $(\alpha/\Delta{x})=40$, $U=0.1$ and increasing viscosity $\nu$, the
3734: Reynolds numbers $Re_{\Delta{x}}$ and $Re_\alpha$ decrease as
3735: \[Re_{\Delta{x}}\simeq2,0.2,0.02
3736: \quad\hbox{and}\quad
3737: Re_\alpha=\simeq80,8,0.8
3738: \quad\hbox{for}\quad
3739: \nu=0.01,0.1,1.0
3740: \,.\]
3741: Perhaps not surprisingly, when $Re_\alpha=O(1)$ the viscosity will diffuse
3742: through the initial peakon before it can fully form. Figures
3743: \ref{b2_increase_nu} and \ref{b3_increase_nu} show that this effect increases
3744: as $Re_\alpha$ decreases.
3745: \end{remark}
3746:
3747: \remfigure{
3748: \begin{figure}
3749: \begin{center}
3750: \leavevmode {
3751: \hbox{\epsfig{
3752: figure=b2_increase_nu.ps, scale=0.4}}
3753: }
3754: \caption{\label{b2_increase_nu}
3755: {\bf Effect of increasing viscosity for $b=2$.}
3756: Viscous $b$-family,
3757: $b=2$,
3758: $\alpha=1$,
3759: $\nu=1/100,1/10,1$,
3760: initial width $w=5$.
3761: \rem{\sf
3762: For $b=2$, evolution of the velocity profile under the viscous b-equation
3763: (\ref{viscous-b-family-1}) of an initial peakon of width five, as a function
3764: of increasing $\nu$ at fixed $\alpha=1$.
3765: }
3766: }
3767: \end{center}
3768: \end{figure}
3769: }
3770:
3771: \remfigure{
3772: \begin{figure}
3773: \begin{center}
3774: \leavevmode {
3775: \hbox{\epsfig{
3776: figure=b3_increase_nu.ps, scale=0.4}}
3777: }
3778: \caption{\label{b3_increase_nu}
3779: {\bf Effect of increasing viscosity for $b=3$.}
3780: Viscous $b$-family,
3781: $b=3$,
3782: $\alpha=1$,
3783: $\nu=1/100,1/10,1$,
3784: initial width $w=5$.
3785: \rem{\sf
3786: For $b=3$, evolution of the velocity profile under the viscous b-equation
3787: (\ref{viscous-b-family-1}) of an initial peakon of width five, as a function
3788: of increasing $\nu$ at fixed $\alpha=1$.
3789: }
3790: }
3791: \end{center}
3792: \end{figure}
3793: }
3794:
3795:
3796:
3797: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3798: \subsection{The fate of peakons under Burgers$-\alpha\beta$ evolution}
3799: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3800:
3801: Figures \ref{beta1div3_vary_alpha} and \ref{beta1div2_vary_alpha}
3802: show the effects on the peakon initial value
3803: problem for the Burgers$-\alpha\beta$ evolution of varying $\alpha$
3804: and $b$ with $(3-b)\beta=1$ at constant viscosity.
3805: We shall consider the following cases with $(3-b)\beta=1$:
3806: \begin{description}
3807: \item
3808: $b=0$, $\beta=1/3$, $\nu=0.005$, $\alpha=1/4,1,4$, and
3809: \item
3810: $b=1$, $\beta=1/2$, $\nu=0.005$, $\alpha=1/4,1,4$.
3811: \end{description}
3812: \begin{remark} [Lowering $\beta$ has little effect on the ramp/cliff]
3813: Lowering $\beta$ to follow $(3-b)\beta=1$ instead of keeping $\beta=1$
3814: has little effect on the development of the ramp/cliff solution for $b=0$
3815: and $b=1$. Lowering $\beta$ for these cases only makes the activity
3816: slightly less lively at the front for ($b=0$, $\beta=1/3$) and ($b=1$,
3817: $\beta=1/2$) than for the corresponding cases of $b=0$ and $b=1$ with
3818: $\beta=1$ in Figures \ref{pkn-ic-vb-eqn-b=0} and
3819: \ref{pkn-ic-vb-eqn-b=1}. This lessened activity at lower
3820: $\beta$ can only be discerned in the solution for the largest value
3821: $\alpha=4$. The remaining case (b=2, $\beta=1$) recovers the
3822: viscous b-equation (\ref{viscous-b-family-1}) for $b=2$ in Figure
3823: \ref{pkn-ic-vb-eqn-b=2}, in which the larger $b$
3824: produces much livelier steepening and, hence, more activity at the front
3825: of the rightward moving pulses.
3826: \end{remark}
3827:
3828: \remfigure{
3829: \begin{figure}
3830: \begin{center}
3831: \leavevmode {
3832: \hbox{\epsfig{
3833: figure=beta1div3_vary_alpha.ps, scale=0.4}}
3834: }
3835: \caption{\label{beta1div3_vary_alpha}
3836: {\bf Effect of increasing $\alpha$ when $(3-b)\beta=1$,
3837: for $b=0$ and $\beta=1/3$.}
3838: Burgers-$\alpha\beta$,
3839: $b=0$,
3840: $\alpha=1/4,1,4$,
3841: $\beta=1/3$,
3842: $\nu=0.005$,
3843: initial width $w=5$.
3844: \rem{\sf
3845: For $b=0$, $\beta=1/3$ and $\nu=0.005$, evolution of the velocity profile
3846: under the Burgers$-\alpha\beta$ equation
3847: (\ref{convect-viscous-Bab-eqn}) of an initial
3848: peakon of width five, as a function of increasing $\alpha=1/4,1,4$.
3849: }
3850: }
3851: \end{center}
3852: \end{figure}
3853: }
3854:
3855: \remfigure{
3856: \begin{figure}
3857: \begin{center}
3858: \leavevmode {
3859: \hbox{\epsfig{
3860: figure=beta1div2_vary_alpha.ps, scale=0.4}}
3861: }
3862: \caption{\label{beta1div2_vary_alpha}
3863: {\bf Effect of increasing $\alpha$ when $(3-b)\beta=1$,
3864: for $b=1$ and $\beta=1/2$.}
3865: Burgers-$\alpha\beta$,
3866: $b=1$,
3867: $\alpha=1/4,1,4$,
3868: $\beta=1/2$,
3869: $\nu=0.005$,
3870: initial width $w=5$.
3871: \rem{\sf
3872: For $b=1$, $\beta=1/2$ and $\nu=0.005$, evolution of the velocity profile
3873: under the Burgers$-\alpha\beta$ equation
3874: (\ref{convect-viscous-Bab-eqn}) of an initial
3875: peakon of width five, as a function of increasing $\alpha=1/4,1,4$.
3876: }
3877: }
3878: \end{center}
3879: \end{figure}
3880: }
3881:
3882:
3883:
3884:
3885:
3886: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3887: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3888: \section{Numerical results for peakon scattering and initial
3889: value problems}\label{IVP}
3890: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3891: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3892:
3893: We shall begin by summarizing the results in the figures given earlier, and
3894: then describe the numerical methods used in producing them and discuss some
3895: of the ways we verified and validated the results.
3896:
3897: \subsection{Peakon initial value problems}
3898:
3899: \subsubsection{Inviscid b-family of equations}
3900: \begin{description}
3901:
3902: \item{\bf Ramps and cliffs for $b=0$.}
3903: Figure \ref{Gauss-ic-pkn/a1,b0/w2.5-10} shows the formation of a ramp and cliff
3904: pattern for $b=0$, $\alpha=1$, and a set of Gaussian initial conditions of
3905: increasing width $w=2.5,5,10$.
3906:
3907: \item{\bf Peakons for $b=2,3$.}
3908: Figures \ref{Gauss-ic-pkn/a1,b2/w2.5-10} and \ref{Gauss-ic-pkn/a1,b3/w2.5-10}
3909: show the formation of peakons for $b=2$ and $b=3$, for $\alpha=1$ and a set of
3910: Gaussian initial conditions of increasing width $w=2.5,5,10$.
3911: \rem{
3912: Peakons develop
3913: and travel faster when $b=3$ than when $b=2$.
3914: }
3915:
3916: \item{\bf Ramps and cliffs for $b=-1/2$.}
3917: Figure \ref{Gauss-ic-pkn/a1,b-0.5/w10-20} shows the formation of a ramp and
3918: cliff pattern for $b=-1/2$, $\alpha=1$, and a set of Gaussian initial
3919: conditions
3920: of increasing width $w=10,15,20$.
3921:
3922: \item{\bf Stationary solutions for $b\le-1$.}
3923: Figure \ref{Gauss-ic-pkn/a1,b-1/w10-20} shows an essentially
3924: stationary solution
3925: with a slight rightward drift and leaning slightly to the right due
3926: to nonlinear
3927: curvature terms with higher order derivatives in equation (\ref{b-family-u}),
3928: for $\alpha=1$ and a set of Gaussian initial conditions of increasing width
3929: $w=10,15,20$. For the same $\alpha$ and same set of initial
3930: conditions, Figures
3931: \ref{Gauss-ic-pkn/a1,b-2/w10-20} and \ref{Gauss-ic-pkn/a1,b-3/w10-20} show the
3932: emergence of leftons.
3933:
3934: Figure \ref{Gauss-ic-pkn/a1,b-2/w10} shows the leftons at time $T=2500$ for
3935: the $b=-2$ case, versus the analytical $u(x) \simeq {\rm sech}^2(x/(2\alpha))$
3936: from equation (\ref{hyper-limit-b-2}),
3937: and for the $b=-3$ case, versus the analytical
3938: $u(x) \simeq {\rm sech}(x/\alpha)$.
3939:
3940: \item{\bf Peakons of width $\alpha$ for $b=2,3$.}
3941: Figures \ref{2-3-pkn-ic/a1,b2} and \ref{2-3-pkn-ic/a1,b3} show 2-peakon and
3942: 3-peakon interactions for $b=2$ and for $b=3$, beginning with initial peakons
3943: of width $w=\alpha=5$.
3944:
3945: \item{\bf Peakons of width $>\alpha$ for $b=2,3$.}
3946: Figure \ref{2-pkn/a1,b2-3/w5} shows the emergence of peakons of width
3947: $\alpha=1$
3948: when we begin with peakons of width $w=5$ greater than $\alpha$, for $b=2$ and
3949: $b=3$.
3950:
3951: \item{\bf Peakon-antipeakon collisions for $b=1,2,3$.}
3952: Figure \ref{pkn-anti-pkn} shows the dynamics of a peakon-antipeakon collision
3953: for $b=1$, $b=2$, and $b=3$, for $\alpha=1$, at four successive times.
3954:
3955: \end{description}
3956:
3957:
3958:
3959: \subsubsection{Viscous b-family of equations}
3960: \begin{description}
3961:
3962: \item{\bf Effect of $\alpha$ for $b=0,1,2,3$.}
3963: Figures \ref{pkn-ic-vb-eqn-b=0} -- \ref{pkn-ic-vb-eqn-b=3} show the evolution
3964: of an initial peakon of width $w=5$ as a function of increasing
3965: $\alpha=1/4,1,4$
3966: at fixed viscosity $\nu=0.005$, for $b=0$, $b=1$, $b=2$, and $b=3$.
3967:
3968: \item{\bf Exchange of stability between ramps and peakons.}
3969: Figures
3970: \ref{ramp/cliff-ic-b-eqn-b=+2,+3-alpha1} and
3971: \ref{ramp/cliff-ic-b-eqn-b=+2,+3-alpha1-profile}
3972: show the exchange of stability between ramps and peakons suggested in the
3973: previous four figures, with $\alpha=1$ and an initial peakon of width
3974: $w=5$, but
3975: this time with a very small viscosity $\nu=10^{-5}$ so that the peakons, when
3976: stable, do not noticeably decay. The exchange of stability occurs when we
3977: switch from $b=0$ to $b=2$ or $b=3$. Figures
3978: \ref{ramp/cliff-ic-b-eqn-b=+2,+3-alpha5} and
3979: \ref{ramp/cliff-ic-b-eqn-b=+2,+3-alpha5-profile}
3980: again show the exchange of
3981: stability, this time using $\alpha=5$ so that the initial peakon has width
3982: $\alpha$.
3983:
3984: \item{\bf Exchange of stability between ramps and leftons.}
3985: Figures
3986: \ref{ramp/cliff-ic-b-eqn-b=-2,-3-alpha1} and
3987: \ref{ramp/cliff-ic-b-eqn-b=-2,-3-alpha1-profile}
3988: show the exchange of stability as in Figures
3989: \ref{ramp/cliff-ic-b-eqn-b=+2,+3-alpha1} and
3990: \ref{ramp/cliff-ic-b-eqn-b=+2,+3-alpha1-profile},
3991: but we switch to $b=-2$ or $b=-3$ instead, and see the emergence of stable
3992: leftons from the ramp.
3993:
3994: \item{\bf Effect of viscosity for $b=2,3$.}
3995: Figures \ref{b2_increase_nu} and \ref{b3_increase_nu} show the effect of
3996: increasing viscosity $\nu=0.01,0.1,1$ on the evolution of an initial peakon
3997: of width $w=5$, with $\alpha=1$ and $b=2$ or $b=3$.
3998:
3999: \end{description}
4000:
4001:
4002:
4003: \subsubsection{Burgers-$\alpha\beta$ equation}
4004: \begin{description}
4005:
4006: \item{\bf Effect of $\alpha$ when $(3-b)\beta=1$.}
4007: Figures \ref{beta1div3_vary_alpha} and \ref{beta1div2_vary_alpha} show the
4008: effect of increasing $\alpha=1/4,1,4$ on the evolution of an initial peakon
4009: of width $w=5$, for fixed $\nu=0.005$ and two sets of values for $b$
4010: and $\beta$
4011: for which $(3-b)\beta=1$:
4012: $b=0$, $\beta=1/3$ for the first figure, and
4013: $b=1$, $\beta=1/2$ for the second figure.
4014:
4015: \end{description}
4016:
4017:
4018:
4019: \rem{
4020: \item
4021: {\bf Rear-end peakon-peakon collisions:}
4022: Figures
4023: \ref{2-3-pkn-ic/a1,b2} and \ref{2-3-pkn-ic/a1,b3} show the
4024: time
4025: evolution of the velocity profile under the inviscid b-equation
4026: (\ref{b-family})
4027: for rear-end peakon-peakon collision interactions
4028: when $b=2$ and $b=3$,
4029: respectively.
4030:
4031: \item
4032: {\bf Emission peakon trains from Gaussian initial conditions:}
4033: Figures \ref{Gauss-ic-pkn/a1,b2/w2.5-10} and \ref{Gauss-ic-pkn/a1,b3/w2.5-10}
4034: show the evolution of the velocity profile under the inviscid b-equation
4035: (\ref{b-family}) of an initial Gaussian of increasing width $w=2.5,5,10$ for
4036: $b=2$ and $b=3$, respectively. The initial Gaussian, which has unit area for
4037: width $w=5$, leans to the right and emits a series of peakons that are each of
4038: width $\alpha=1$ and form a train ordered by height. Because the domain is
4039: periodic, the fastest peakons leave at the right and re-enter from the left,
4040: thereby experiencing many elastic rear-end collision interactions with the
4041: slower peakons. The figures show that more peakons are emitted as the width of
4042: the initial Gaussian increases relative to the peakon width $\alpha$.
4043: }
4044:
4045:
4046:
4047: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4048: \subsection{Description of our numerical methods}\label{NumMethod}
4049: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4050:
4051: For our numerical runs we advanced equations (\ref{convect-b-eqn}),
4052: (\ref{convect-viscous-b-family}), and (\ref{convect-viscous-Bab-eqn})
4053: with an explicit, variable timestep fourth/fifth order Runge-Kutta-Fehlberg
4054: (RKF45) predictor/corrector. We selected the timestep for numerical stability
4055: by trial and error, while our code selected the timestep for numerical accuracy
4056: (not to exceed the timestep for numerical stability) according to the
4057: well-known
4058: formula from numerical analysis,
4059: %
4060: \begin{equation}\label{vartimestep-control}
4061: h_i = \gamma h_{i-1}\left(
4062: \frac{\epsilon|h_{i-1}|}{||\bar u_i - \hat u_i||}
4063: \right)^{1/p}
4064: \,.
4065: \end{equation}
4066: %
4067: This is used in the following way. At step $i$ of the calculation, we know the
4068: predicted solution $\bar u_i$, the corrected solution $\hat u_i$, and the
4069: previous timestep $h_{i-1}$. The predictor's order of accuracy is $p=4$, while
4070: the corrector's order of accuracy is $p+1$. A new timestep $h_i$ is
4071: chosen from
4072: (\ref{vartimestep-control}) based on the old timestep $h_{i-1}$ and the norm of
4073: the difference between the current predicted and corrected
4074: solutions. We used a very strict relative error tolerance per timestep,
4075: $\epsilon=10^{-8}$, a safety factor $\gamma=0.9$, and an $L_2$ norm
4076: $||\cdot||_2$.
4077:
4078: We computed spatial derivatives using 4th order finite differences,
4079: generally
4080: at resolutions of $2^{13}=8192$ or $2^{14}=16384$ zones.
4081: To
4082: invert the Helmholtz operator
4083: in transforming between $m(x,t)$ and
4084: $u(x,t)$, we convolved $m(x,t)$ with the
4085: Green's function in Fourier
4086: space. When the numerical approximation of the
4087: nonlinear terms had
4088: aliasing errors in the high wavenumbers, we applied the
4089: following
4090: high pass filtered artificial
4091: viscosity,
4092: \begin{equation}
4093: \nu(k)=
4094: \begin{cases}
4095: 0
4096: &\hbox{if\ \ }
4097: 0\le k\le\frac{N}{3},\cr
4098: \frac{3\delta}{N}\left(k-\frac{N}{3}\right)
4099: &\hbox{if\ \ } \frac{N}{3}<k<\frac{2N}{3},\cr
4100: \delta
4101: &\hbox{if\ \
4102: } \frac{2N}{3}\le k\le N,\cr
4103: \end{cases}
4104: \end{equation}
4105: where
4106: $\delta=0.01$ for the present simulations. $N$ is one-half the
4107: number
4108: of zones, because for each zone we have both a Fourier sine
4109: coefficient and
4110: a Fourier cosine coefficient.
4111:
4112: The quality of the
4113: numerical convergence may be checked analytically in the
4114: case of rear-end two-pulson collisions, for which equation (\ref{q-min}) in
4115: Corollary \ref{cor-q-min} yields
4116: %
4117: \begin{equation}\label{pulson-qmin}
4118: g(q_{min}) = g(q)\Big|_{p=0} = 1-
4119: \Big(\,\frac{4c_1c_2}{(c_1+c_2)^2}\Big)^{{1}/(b-1)}.
4120: \end{equation}
4121: %
4122: For peakons with $b=2$ and $g(x)=e^{-|x|/\alpha}$, this formula gives the
4123: minimum separation,
4124: %
4125: \begin{equation}\label{peakon-qmin1}
4126: q_{min} = -2\alpha\,{\rm ln} \Big(\,\frac{c_1-c_2}{c_1+c_2}\Big) >0
4127: \,.
4128: \end{equation}
4129: %
4130: When $c_1=1$, $c_2=1/2$, and $\alpha=5$, as in figure \ref{2-3-pkn-ic/a1,b2},
4131: this formula implies $q_{min}=10\,{\rm ln}\,3=10.9861$. Our numerical
4132: results with the resolution of $2^{14}$ zones yield $q_{min}=11.0049$. The
4133: very small discrepancy, less than $0.2\%$, occurs largely because our numerical
4134: measurement of $q_{min}$ is obtained by examining the peakon positions at each
4135: internal timestep in the code, while the code's time discretization effectively
4136: means we're unlikely to land exactly on the time at which the minimum
4137: separation
4138: occurs. The code's true accuracy is thus better than the above measure
4139: indicates, because the intermediate steps involved in advancing the solution
4140: from one discrete time to the next with an RKF45 method cancel the
4141: higher-order discretization errors.
4142:
4143: Likewise, for peakons with $b=3$ and $g(x)=e^{-|x|/\alpha}$, formula
4144: (\ref{pulson-qmin}) gives the minimum separation,
4145: \begin{equation}\label{peakon-qmin2}
4146: q_{min} = -\alpha\,{\rm ln}
4147: \Big(\,1-\frac{\sqrt{c_1c_2}}{(c_1+c_2)/2}\Big)
4148: >0
4149: \,.
4150: \end{equation}
4151: When $c_1=1$, $c_2=1/2$, and $\alpha=5$, as in figure \ref{2-3-pkn-ic/a1,b3},
4152: this formula implies $q_{min}=5\,{\rm ln}\,(3/(3-\sqrt{8}))=14.3068$.
4153: This time our numerical results yield $q_{min}=14.2924$, a discrepancy of only
4154: $0.1\%$.
4155:
4156: Of course, the two-body collision is rather simple compared to the plethora
4157: of other multi-wave dynamics that occurs in this problem. For this reason, we
4158: also checked the convergence of our numerical algorithms
4159: by verifying that the relative phases of the peakons in the various
4160: figures remained invariant under grid refinement. Moreover, the integrity of
4161: the waveforms in our figures attests to the convergence of the numerical
4162: algorithm -- after scores of collisions, the waveforms given by the Green's
4163: function for each case are still extremely well preserved. The preservation
4164: of these soliton waveforms after so many collisions would not have occurred
4165: unless the numerics had converged well.
4166:
4167:
4168:
4169:
4170:
4171: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4172: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4173: \section{Conclusions}\label{Conclusions}
4174: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4175: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4176:
4177: Equation (\ref{b-family}) introduced a new family of
4178: reversible, parity invariant,
4179: evolutionary 1+1 PDEs describing motion by active transport
4180: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4181: \begin{equation}\label{b-family-1}
4182: m_t\
4183: +\
4184: \underbrace{\ \ um_x\ \
4185: }
4186: _{\hspace{-2mm}\hbox{convection}\hspace{-2mm}}\
4187: +\
4188: \underbrace{\ \ b\,u_xm\ \
4189: }
4190: _{\hspace{-2mm}\hbox{stretching}\hspace{-2mm}}\
4191: =\
4192: 0
4193: \,, \quad\hbox{with}\quad
4194: u=g*m
4195: \,.
4196: \end{equation}
4197: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4198: We
4199: analyzed the transformation properties and conservation laws of
4200: this
4201: family of equations, which led us to choose $g$ to be an even
4202: function. Then
4203: we classified its traveling waves, identified the
4204: bifurcations of its
4205: traveling wave solutions as a function of the
4206: balance parameter $b$ and
4207: for some choices of the convolution kernel
4208: $g(x)$ we studied
4209: its particle-like solutions and their interactions
4210: when $b>1$. These were
4211: obtained by superposing $N$ traveling wave
4212: solutions
4213: $u(x,t)=cg(x-ct)$
4214: as
4215: \begin{equation}\label{pulson-soln-1}
4216: u(x,t)=\sum_{i=1}^Np_i(t)g(x-q_i(t))
4217: \quad\hbox{and}\quad
4218: m(x,t)=\sum_{i=1}^Np_i(t)\delta(x-q_i(t))\,,
4219: \end{equation}
4220: for any real constant $b$ and $u=g*m$, in which the function $g$
4221: is even $g(-x)=g(x)$, so that $g\,'(0)=0$, and is bounded, so we may
4222: set $g(0)=1$.
4223:
4224: Following \cite{FH[2001]}, we call these solutions ``pulsons.'' We have
4225: shown that for any $b>1$, once they are initialized on their invariant
4226: manifold (which may be finite dimensional), the pulsons
4227: undergo particle-like dynamics in terms of the moduli variables
4228: $p_i(t)$ and $q_i(t)$, with $i=1,\dots,N$. The pulson dynamics we studied
4229: for $b>1$ in this framework on a finite-dimensional
4230: invariant manifold displayed all of the classical soliton interaction
4231: behavior for pulsons found in \cite{FH[2001]} for the case $b=2$. This
4232: behavior included pairwise elastic scattering of pulsons,
4233: dominance of the initial value problem by confined pulses and
4234: asymptotic sorting according to
4235: height -- all without requiring complete integrability. Thus, the
4236: ``emergent pattern'' for $b>1$
4237: in the nonlinear evolution governed by the active transport equation
4238: (\ref{b-family}) was the rightward moving
4239: pulson train, ordered by height. Thus, the moduli variables $p_i(t)$ and
4240: $q_i(t)$ are collective coordinates on an invariant
4241: manifold for the PDE motion governed by equation (\ref{b-family}). Once
4242: initialized for $b>1$, these collective degrees of freedom persist
4243: and emerge as a train of stable pulses, arranged in order of their
4244: heights, that then undergo particle-like collisions.
4245:
4246: In contrast, the emergent pattern in the Burgers parameter region
4247: $0\le{b}<1$ is the classic ramp/cliff structure as in Figure
4248: \ref{pkn-ic-vb-eqn-b=0}. That the behavior should depend on the value of
4249: $b$ is clear from the velocity form of equation (\ref{b-family}) written
4250: in (\ref{b-family-u-visc}),
4251: \begin{eqnarray}\label{b-family-u-visc-1}
4252: u_t + (b+1)uu_x - \nu u_{xx}
4253: &=&
4254: \alpha^2(u_{xxt}+uu_{xxx}+bu_x u_{xx}-\nu u_{xxxx} )
4255: \\
4256: &=&
4257: \alpha^2\partial_x
4258: \Big(u_{xt} + u u_{xx} - \nu u_{xxx} + \frac{b-1}{2} u_x^2 \Big)
4259: \nonumber\\
4260: &=&
4261: \alpha^2\partial_x^2
4262: \Big(u_{t} + u u_{x} - \nu u_{xx} +
4263: \frac{b-3}{2} u_x^2 \Big)
4264: \,.
4265: \nonumber
4266: \end{eqnarray}
4267: Thus,
4268: nonlinear terms in this equation change sign at four integer
4269: values
4270: of the parameter $b$. Nonlinear $\alpha^2-$terms change sign
4271: when
4272: $b=0,1,3$. Also, the nonlinear steepening term increases with
4273: $b$ as
4274: $(b+1)uu_x$. So this term changes sign when $b=-1$. In the
4275: parameter regime
4276: $b>-1$ (resp. $b<-1$) the solutions of equation
4277: (\ref{b-family}) move
4278: rightward (resp. leftward), provided the terms
4279: on the right hand side of
4280: equation (\ref{b-family-u-visc-1}) are
4281: sufficiently small.
4282:
4283: \paragraph{Three regions of $b$.} We found that
4284: the solution behavior for
4285: equation (\ref{b-family}) changes its
4286: character near the boundaries of
4287: the following three regions in the
4288: balance parameter $b$.
4289: \begin{description}
4290: \item (B1)
4291: In the stable
4292: pulson region $b>1$, the Steepening Lemma for peakons
4293: proven for
4294: $1<b\le3$ in Proposition \ref{B-steepening} allows inflection
4295: points
4296: with negative slopes to escape verticality by producing a jump
4297: in
4298: spatial derivative at the peak of a traveling wave that eliminates
4299: the
4300: inflection points altogether. Pulson behavior dominates this
4301: region,
4302: although ramps of positive slope are also seen to coexist
4303: with the
4304: pulsons. When $b\le1$ we found the solution behavior of the
4305: active
4306: transport equation (\ref{b-family}) changed its character and
4307: excluded
4308: the pulsons entirely.
4309:
4310: \item (B2)
4311: In the Burgers region
4312: $0\le{b}\le1$, the $L^{1/b}$ norm of the
4313: variable $m$ is
4314: controlled%
4315: \footnote{For $b=0$, this is a maximum principle for
4316: $|m|$.}
4317: and the solution behavior is dominated by ramps and cliffs,
4318: as for
4319: the usual Burgers equation.
4320: Similar ramp/cliff solution
4321: properties hold for the region
4322: $-1\le{b}\le0$, for which the
4323: $L^{1/b}$ norm
4324: of the variable $1/|m|$ is controlled.
4325: At the boundary
4326: of the latter region, for
4327: $b=-1$, the active transport
4328: equation
4329: (\ref{b-family}) admits stationary plane waves as exact
4330: nonlinear
4331: solutions.
4332:
4333: \item (B3)
4334: In the steady pulse region $b<-1$, pulse
4335: trains form that move
4336: leftward from a positive velocity
4337: initial
4338: condition (instead of moving rightward, as for $b>-1$). These
4339: pulse
4340: trains seem to approach a steady
4341: state.
4342:
4343: \end{description}
4344:
4345: \paragraph{Effects of viscosity.}
4346: Almost
4347: any numerical investigation will introduce some viscosity or
4348: other
4349: dissipation. Consequently, we studied the fate of the peakons
4350: when
4351: viscosity was added to the b-family in
4352: equation
4353: (\ref{viscous-b-family-1}). Viscous solutions of
4354: equation
4355: (\ref{viscous-b-family-1}) for the peakon
4356: case
4357: $g(x)=e^{-|x|/\alpha}$ with $\alpha=1$ were studied in each of
4358: the three
4359: solution regions (B1)-(B3). In the Burgers region (B2) near
4360: $b=0$ we
4361: focused on the shock-capturing properties of the solutions
4362: of
4363: equation (\ref{b-family}) and this family of equations was
4364: extended
4365: for $\beta\ne1$ to the Burgers$-\alpha\beta$
4366: equation
4367: (\ref{convect-viscous-Bab-eqn}),
4368: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4369: \begin{equation}
4370: \label{convect-viscous-Bab-eqn-1}
4371: u_t + u u_x - \nu u_{xx}
4372: =
4373: -
4374: \,\beta\,\tau_x
4375: \quad\hbox{with}\quad
4376: (1-\alpha^2\partial_x^2)\tau
4377: =
4378: \frac{b}{2}u^2+\frac{3-b}{2}\alpha^2u_x^2
4379: \,.
4380: \end{equation}
4381: According
4382: to Proposition \ref{H1Control-Prop}, the
4383: Burgers$-\alpha\beta$
4384: equation
4385: (\ref{convect-viscous-Bab-eqn-1}) controls the
4386: $\alpha-$weighted
4387: $H^1$ norm of the velocity for
4388: $\alpha^2\ne0$,
4389: provided $(3-b)\beta=1$. This analytical property
4390: guided our study
4391: of this new equation by
4392: identifying a class of equations for which a
4393: priori estimates
4394: guarantee continuity of the solution $u(x,t)$.
4395: The
4396: shock-capturing properties of the Burgers$-\alpha\beta$
4397: equation
4398: (\ref{convect-viscous-Bab-eqn-1}) and its $\alpha\to\infty$
4399: limit
4400: will be reported in a later paper \cite{HLS[2002]}.
4401:
4402: \rem{
4403: Finally, we studied the $\alpha\to\infty$ limit of the
4404: Burgers$-\alpha\beta$ equation, which integrates once to yield the
4405: slope dynamics equation for $s=u_x$, cf.~equation (\ref{b-family-u-visc}),
4406: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4407: \begin{equation} \label{Slope-Bab-eqn-alpha2infty}
4408: s_t + u s_x - \nu s_{xx} + \frac{b-1}{2} s^2
4409: =
4410: 0\,.
4411: \end{equation}
4412: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4413: }
4414:
4415:
4416:
4417:
4418:
4419: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4420: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4421: \section{Acknowledgements}\label{Acknowledgements}
4422: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4423: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4424:
4425: We are grateful to A.~Degasperis, A.~N.~W.~Hone, J.~M.~Hyman, S.~Kurien,
4426: C.~D.~Levermore, R.~Lowrie and E.~S.~Titi for their thoughtful remarks,
4427: careful reading and attentive discussions that provided enormous help
4428: and encouragement during the course of writing this paper.
4429:
4430:
4431:
4432:
4433:
4434: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4435: \begin{thebibliography}{}
4436: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
4437:
4438: \bibitem{BSS[2000]}
4439: R. Beals, D. H. Sattinger and J. Szmigielski,
4440: Multipeakons and the classical moment problem
4441: {\it Adv. in Math.} {\bf154} (2000) 229-257.
4442:
4443: \bibitem{CH[1993]} R. Camassa and D. D. Holm,
4444: An integrable shallow water equation with peaked solitons,
4445: {\it Phys. Rev. Lett.} {\bf 71} (1993) 1661-1664,
4446: http://xxx.lanl.gov/abs/patt-sol/9305002.
4447:
4448: \bibitem{Chen-etal[1998]}
4449: S. Chen, C. Foias, D. D. Holm, E. J. Olson, E. S. Titi and S. Wynne,
4450: The Camassa-Holm equations as a closure model for
4451: turbulent channel and pipe flows.
4452: {\it Phys. Rev. Lett.}, {\bf 81} (1998) 5338-5341,
4453: http://xxx.lanl.gov/abs/chao-dyn/9804026.
4454:
4455: \bibitem{DHH[2002]}
4456: A. Degasperis, D.D. Holm and A.N.W. Hone,
4457: A new integrable equation with peakon
4458: solutions.
4459: Submitted to {\it NEEDS Proceedings, 2001}.
4460: To appear (2002).
4461:
4462: \bibitem{Degasperis[1999]}A. Degasperis and M. Procesi, Asymptotic
4463: integrability, in {\it Symmetry and Perturbation Theory}, edited by A.
4464: Degasperis and G. Gaeta, World Scientific (1999) pp.23-37.
4465:
4466: \bibitem{DGH[2001]}
4467: H. Dullin, G. Gottwald and D. D. Holm,
4468: An integrable shallow water equation
4469: with linear and nonlinear dispersion.
4470: {\it Phys. Rev. Lett.} {\bf 87} (2001) 194501-04.
4471:
4472: \bibitem{FH[2001]} O. Fringer and D. D. Holm,
4473: Integrable vs.~nonintegrable
4474: geodesic soliton behavior.
4475: {\it Physica D} {\bf 150} (2001) 237-263,
4476: http://xxx.lanl.gov/abs/solv-int/9903007.
4477:
4478: \bibitem{HMR[1998a]}
4479: D. D. Holm, J. E. Marsden and T. S. Ratiu,
4480: The Euler--Poincar\'e equations and semidirect products
4481: with applications to continuum theories.
4482: {\it Adv. in Math.} {\bf 137} (1998) 1-81.
4483:
4484: \bibitem{HMR[1998b]}
4485: D. D. Holm, J. E. Marsden and T. S. Ratiu,
4486: Euler--Poincar\'e models of ideal fluids
4487: with nonlinear dispersion.
4488: {\it Phys. Rev. Lett.} {\bf 80} (1998) 4173-4177.
4489:
4490: \bibitem{HLS[2002]} D. D. Holm, R. B. Lowrie and M. F. Staley,
4491: Shock-capturing properties of the Burgers$-\alpha\beta$ equation.
4492: In preparation.
4493:
4494: \bibitem{HolmTiti[2002]} D. D. Holm and E. S. Titi,
4495: PDE results for peakon dynamics. In preparation.
4496:
4497: \bibitem{HunterSaxton[1991]}
4498: J. K. Hunter and R. H. Saxton, Dynamics of director fields.
4499: {\it SIAM J. Appl. Math.} {\bf51} (1991), 1498-1521.
4500:
4501: \end{thebibliography}
4502:
4503: \end{document}
4504:
4505:
4506:
4507: This is opposed to
4508: advection,
4509: which means passive transport of a fluid quantity that does
4510: not
4511: depend on the fluid velocity. Geometrically, fluid transport
4512: means
4513: evolution by $\pounds_u$, the Lie derivative with respect to
4514: the fluid
4515: velocity.
4516:
4517: An {\it advected} quantity $a$ satisfies the
4518: {\bf passive
4519: transport
4520: equation},
4521: \begin{equation}\label{p-transport}
4522: (\partial_t
4523: + \pounds_u)a=0
4524: \,,
4525: \end{equation}
4526: which is semilinear because $a$ is
4527: not a function of velocity. The
4528: coordinate expression of
4529: (\ref{p-transport}) depends on the tensor
4530: properties of $a$.
4531: Advected quantities, which undergo passive
4532: transport, are usually
4533: said to be ``frozen'' into the fluid motion.
4534: Examples of passively
4535: transported fluid quantities are heat (a scalar),
4536: and mass density
4537: and magnetic flux (a two-form).
4538: