Jump to content

Camassa–Holm equation: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
OAbot (talk | contribs)
m Open access bot: doi added to citation with #oabot.
No edit summary
Line 85: Line 85:
Abbreviate <math>c =x / (\kappa t)</math>. In the soliton region <math>c>2</math> the solutions splits into a finite linear combination solitons. In the region <math>0<c<2</math> the solution is asymptotically given by a modulated sine function whose amplitude decays like <math>t^{-1/2}</math>. In the region <math>-1/4<c<0</math> the solution is asymptotically given by a sum of two modulated sine function as in the previous case. In the region <math>c<-1/4</math> the solution decays rapidly.
Abbreviate <math>c =x / (\kappa t)</math>. In the soliton region <math>c>2</math> the solutions splits into a finite linear combination solitons. In the region <math>0<c<2</math> the solution is asymptotically given by a modulated sine function whose amplitude decays like <math>t^{-1/2}</math>. In the region <math>-1/4<c<0</math> the solution is asymptotically given by a sum of two modulated sine function as in the previous case. In the region <math>c<-1/4</math> the solution decays rapidly.
In the case <math>\kappa=0</math> the solution splits into an infinite linear combination of peakons{{sfn|Eckhardt|Teschl|2013}} (as previously conjectured{{sfn|McKean|2003}}).
In the case <math>\kappa=0</math> the solution splits into an infinite linear combination of peakons{{sfn|Eckhardt|Teschl|2013}} (as previously conjectured{{sfn|McKean|2003}}).

==Geometric formulation==

In the spatially periodic case, the Camassa-Holm equation can be given the following geometric interpretation. The group <math>\mathrm{Diff}(S^1)</math> of [[diffeomorphisms]] of the [[unit circle]] <math>S^1</math> is an infinite-dimensional [[Lie group]] whose [[Lie algebra]] <math>\mathrm{Vect}(S^1)</math> consists of smooth [[vector fields]] on <math>S^1</math>{{sfn|Kriegl|Michor|1997}}. The <math>H^1</math> [[inner product]] on <math>\mathrm{Vect}(S^1)</math>,
:<math>
\left\langle u \frac{\partial}{\partial x} , v\frac{\partial}{\partial x} \right\rangle_{H^1} = \int_{S^1}(uv+u_xv_x)dx,
</math>
induces a right-invariant [[Riemannian metric]] on <math>\mathrm{Diff}(S^1)</math>. Here <math>x</math> is the standard coordinate on <math>S^1</math>. Let
:<math>U(x,t)=u(x,t)\frac{\partial}{\partial x}</math>
be a time-dependent vector field on <math>S^1</math>, and let <math>\{\varphi_t\}</math> be the [[Flow (mathematics)|flow]] of <math>U</math>, i.e. the solution to
:<math>\frac{d}{dt}\varphi_t(x)=u(\varphi(x,t),t).
</math>
Then <math>u</math> is a solution to the Camassa-Holm equation with <math>\kappa=0</math>, if and only if the path <math>t\mapsto\varphi_t\in\mathrm{Diff}(S^1)</math> is a [[geodesic]] on <math>\mathrm{Diff}(S^1)</math> with respect to the right-invariant <math>H^1</math> metric.{{sfn|Misiołek|1998}}

For general <math>\kappa</math>, the Camassa-Holm equation corresponds to the geodesic equation of a similar right-invariant metric on the universal central extension of <math>\mathrm{Diff}(S^1)</math>, the [[Virasoro group]].


==See also==
==See also==
Line 322: Line 337:
| doi = 10.1016/j.aim.2012.12.006 | doi-access=free
| doi = 10.1016/j.aim.2012.12.006 | doi-access=free
}}
}}
*{{Citation
| last1 = Kriegl
| first1 = Andreas
| last2 = Michor
| first2= Peter W.
| url = https://www.worldcat.org/oclc/37141279
| title = The convenient setting of global analysis
| publisher = American Mathematical Society
| year = 1997
| isbn=0-8218-0780-3
| location=Providence, R.I.
| pages=454-456
| oclc=37141279}}
*{{Citation
*{{Citation
| last = Loubet
| last = Loubet
Line 358: Line 386:
| doi = 10.1002/cpa.20003
| doi = 10.1002/cpa.20003
}}
}}
*{{Citation
| last = Misiołek
| first = Gerard
| year = 1998
| title = A shallow water equation as a geodesic flow on the Bott-Virasoro group
| periodical = Journal of Geometry and Physics
| volume = 24
| issue = 3
| pages = 203-208
| doi = 10.1016/S0393-0440(97)00010-7
|bibcode = 1998JGP....24..203M }}
*{{Citation
*{{Citation
| last = Parker
| last = Parker

Revision as of 15:40, 22 August 2021

Interaction of two peakons — which are sharp-crested soliton solutions to the Camassa–Holm equation. The wave profile (solid curve) is formed by the simple linear addition of two peakons (dashed curves):

The evolution of the individual peakon positions and , as well as the evolution of the peakon amplitudes and is however less trivial: this is determined in a non-linear fashion by the interaction.

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

The equation was introduced by Roberto Camassa and Darryl Holm[1] 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:[2]

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:

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

then two compatible Hamiltonian descriptions of the Camassa–Holm equation are:[3]

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

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

Exact solutions

Traveling waves are solutions of the form

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.[7] 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.[8] For the smooth solitons the soliton interactions are less elegant.[9] 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 points[10] — 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 solitons[10] and for the peakons.[11]

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 breaking[12] 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 Holm[1] and these considerations were subsequently put on a firm mathematical basis.[13] It is known that the only way singularities can occur in solutions is in the form of breaking waves.[14][15] 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.[16] As for the continuation of solutions after wave breaking, two scenarios are possible: the conservative case[17] and the dissipative case[18] (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 :[19] Abbreviate . In the soliton region the solutions splits into a finite linear combination solitons. In the region the solution is asymptotically given by a modulated sine function whose amplitude decays like . In the region the solution is asymptotically given by a sum of two modulated sine function as in the previous case. In the region the solution decays rapidly. In the case the solution splits into an infinite linear combination of peakons[20] (as previously conjectured[21]).

Geometric formulation

In the spatially periodic case, the Camassa-Holm equation can be given the following geometric interpretation. The group of diffeomorphisms of the unit circle is an infinite-dimensional Lie group whose Lie algebra consists of smooth vector fields on [22]. The inner product on ,

induces a right-invariant Riemannian metric on . Here is the standard coordinate on . Let

be a time-dependent vector field on , and let be the flow of , i.e. the solution to

Then is a solution to the Camassa-Holm equation with , if and only if the path is a geodesic on with respect to the right-invariant metric.[23]

For general , the Camassa-Holm equation corresponds to the geodesic equation of a similar right-invariant metric on the universal central extension of , the Virasoro group.

See also

Notes

References

Further reading

Introductions to the subject
Peakon solutions
Water wave theory
Existence, uniqueness, wellposedness, stability, propagation speed, etc.
Travelling waves
Integrability structure (symmetries, hierarchy of soliton equations, conservations laws) and differential-geometric formulation
Others