Camassa–Holm equation

In fluid dynamics, the Camassa–Holm equation is the integrable, dimensionless and non-linear partial differential equation

u_{t} + 2 κ u_{x} - u_{x x t} + 3 u u_{x} = 2 u_{x} u_{x x} + u u_{x x x} .

The equation was introduced by Roberto Camassa and Darryl Holm Template:Sfn as a bi-Hamiltonian model for waves in shallow water, and in this context the parameter κ is positive and the solitary wave solutions are smooth solitons.

In the special case that κ is equal to zero, the Camassa–Holm equation has peakon solutions: solitons with a sharp peak, so with a discontinuity at the peak in the wave slope.

Relation to waves in shallow water

The Camassa–Holm equation can be written as the system of equations:Template:Sfn

\begin{matrix} u_{t} + u u_{x} + p_{x} & = 0, \\ p - p_{x x} & = 2 κ u + u^{2} + \frac{1}{2} {(u_{x})}^{2}, \end{matrix}

with p the (dimensionless) pressure or surface elevation. This shows that the Camassa–Holm equation is a model for shallow water waves with non-hydrostatic pressure and a water layer on a horizontal bed.

The linear dispersion characteristics of the Camassa–Holm equation are:

ω = 2 κ \frac{k}{1 + k^{2}},

with ω the angular frequency and k the wavenumber. Not surprisingly, this is of similar form as the one for the Korteweg–de Vries equation, provided κ is non-zero. For κ equal to zero, the Camassa–Holm equation has no frequency dispersion — moreover, the linear phase speed is zero for this case. As a result, κ is the phase speed for the long-wave limit of k approaching zero, and the Camassa–Holm equation is (if κ is non-zero) a model for one-directional wave propagation like the Korteweg–de Vries equation.

Hamiltonian structure

Introducing the momentum m as

m = u - u_{x x} + κ,

then two compatible Hamiltonian descriptions of the Camassa–Holm equation are:Template:Sfn

\begin{matrix} m_{t} & = - 𝒟_{1} \frac{δ ℋ_{1}}{δ m} & with & 𝒟_{1} & = m \frac{\partial}{\partial x} + \frac{\partial}{\partial x} m & and ℋ_{1} & = \frac{1}{2} \int u^{2} + {(u_{x})}^{2} d x, \\ m_{t} & = - 𝒟_{2} \frac{δ ℋ_{2}}{δ m} & with & 𝒟_{2} & = \frac{\partial}{\partial x} - \frac{\partial^{3}}{\partial x^{3}} & and ℋ_{2} & = \frac{1}{2} \int u^{3} + u {(u_{x})}^{2} - κ u^{2} d x . \end{matrix}

Integrability

The Camassa–Holm equation is an integrable system. Integrability means that there is a change of variables (action-angle variables) such that the evolution equation in the new variables is equivalent to a linear flow at constant speed. This change of variables is achieved by studying an associated isospectral/scattering problem, and is reminiscent of the fact that integrable classical Hamiltonian systems are equivalent to linear flows at constant speed on tori. The Camassa–Holm equation is integrable provided that the momentum

m = u - u_{x x} + κ

is positive — see Template:Sfn and Template:Sfn for a detailed description of the spectrum associated to the isospectral problem,Template:Sfn for the inverse spectral problem in the case of spatially periodic smooth solutions, and Template:Sfn for the inverse scattering approach in the case of smooth solutions that decay at infinity.

Exact solutions

Traveling waves are solutions of the form

u (t, x) = f (x - c t)

representing waves of permanent shape f that propagate at constant speed c. These waves are called solitary waves if they are localized disturbances, that is, if the wave profile f decays at infinity. If the solitary waves retain their shape and speed after interacting with other waves of the same type, we say that the solitary waves are solitons. There is a close connection between integrability and solitons.Template:Sfn In the limiting case when κ = 0 the solitons become peaked (shaped like the graph of the function f(x) = e^−|x|), and they are then called peakons. It is possible to provide explicit formulas for the peakon interactions, visualizing thus the fact that they are solitons.Template:Sfn For the smooth solitons the soliton interactions are less elegant.Template:Sfn This is due in part to the fact that, unlike the peakons, the smooth solitons are relatively easy to describe qualitatively — they are smooth, decaying exponentially fast at infinity, symmetric with respect to the crest, and with two inflection pointsTemplate:Sfn — but explicit formulas are not available. Notice also that the solitary waves are orbitally stable i.e. their shape is stable under small perturbations, both for the smooth solitonsTemplate:Sfn and for the peakons.Template:Sfn

Wave breaking

The Camassa–Holm equation models breaking waves: a smooth initial profile with sufficient decay at infinity develops into either a wave that exists for all times or into a breaking wave (wave breakingTemplate:Sfn being characterized by the fact that the solution remains bounded but its slope becomes unbounded in finite time). The fact that the equations admits solutions of this type was discovered by Camassa and HolmTemplate:Sfn and these considerations were subsequently put on a firm mathematical basis.Template:Sfn It is known that the only way singularities can occur in solutions is in the form of breaking waves.Template:Sfn Template:Sfn Moreover, from the knowledge of a smooth initial profile it is possible to predict (via a necessary and sufficient condition) whether wave breaking occurs or not.Template:Sfn As for the continuation of solutions after wave breaking, two scenarios are possible: the conservative caseTemplate:Sfn and the dissipative caseTemplate:Sfn (with the first characterized by conservation of the energy, while the dissipative scenario accounts for loss of energy due to breaking).

Long-time asymptotics

It can be shown that for sufficiently fast decaying smooth initial conditions with positive momentum splits into a finite number and solitons plus a decaying dispersive part. More precisely, one can show the following for $κ > 0$ :Template:Sfn Abbreviate $c = x / (κ t)$ . In the soliton region $c > 2$ the solutions splits into a finite linear combination solitons. In the region $0 < c < 2$ the solution is asymptotically given by a modulated sine function whose amplitude decays like $t^{- 1 / 2}$ . In the region $- 1 / 4 < c < 0$ the solution is asymptotically given by a sum of two modulated sine function as in the previous case. In the region $c < - 1 / 4$ the solution decays rapidly. In the case $κ = 0$ the solution splits into an infinite linear combination of peakonsTemplate:Sfn (as previously conjecturedTemplate:Sfn).

Geometric formulation

In the spatially periodic case, the Camassa–Holm equation can be given the following geometric interpretation. The group $D i f f (S^{1})$ of diffeomorphisms of the unit circle $S^{1}$ is an infinite-dimensional Lie group whose Lie algebra $V e c t (S^{1})$ consists of smooth vector fields on $S^{1}$ .Template:Sfn The $H^{1}$ inner product on $V e c t (S^{1})$ ,

{⟨ u \frac{\partial}{\partial x}, v \frac{\partial}{\partial x} ⟩}_{H^{1}} = \int_{S^{1}} (u v + u_{x} v_{x}) d x,

induces a right-invariant Riemannian metric on $D i f f (S^{1})$ . Here $x$ is the standard coordinate on $S^{1}$ . Let

U (x, t) = u (x, t) \frac{\partial}{\partial x}

be a time-dependent vector field on $S^{1}$ , and let ${φ_{t}}$ be the flow of $U$ , i.e. the solution to

\frac{d}{d t} φ_{t} (x) = u (φ_{t} (x), t) .

Then $u$ is a solution to the Camassa–Holm equation with $κ = 0$ , if and only if the path $t \mapsto φ_{t} \in D i f f (S^{1})$ is a geodesic on $D i f f (S^{1})$ with respect to the right-invariant $H^{1}$ metric.Template:Sfn

For general $κ$ , the Camassa–Holm equation corresponds to the geodesic equation of a similar right-invariant metric on the universal central extension of $D i f f (S^{1})$ , the Virasoro group.

Notes

Template:Reflist

References

Template:Refbegin

Template:Refend

Camassa–Holm equation

Contents

Relation to waves in shallow water

Hamiltonian structure

Integrability

Exact solutions

Wave breaking

Long-time asymptotics

Geometric formulation

See also

Notes

References

Further reading

Navigation menu

Camassa–Holm equation

Relation to waves in shallow water

Hamiltonian structure

Integrability

Exact solutions

Wave breaking

Long-time asymptotics

Geometric formulation

See also

Notes

References

Further reading

Navigation menu

Search