## Arkiv för Matematik

• Ark. Mat.
• Volume 45, Number 2 (2007), 297-325.

### Riemannian geometry on the diffeomorphism group of the circle

Jonatan Lenells

#### Abstract

The topological group $\mathcal{D}^k(\mathbb{S})$ of diffeomorphisms of the unit circle $\mathbb{S}$ of Sobolev class Hk, for k large enough, is a Banach manifold modeled on the Hilbert space $H^k(\mathbb{S})$. In this paper we show that the H1 right-invariant metric obtained by right-translation of the H1 inner product on $T_{\rm id}\mathcal{D}^k(\mathbb{S})\simeq H^k(\mathbb{S})$ defines a smooth Riemannian metric on $\mathcal{D}^k(\mathbb{S})$, and we explicitly construct a compatible smooth affine connection. Once this framework has been established results from the general theory of affine connections on Banach manifolds can be applied to study the exponential map, geodesic flow, parallel translation, curvature etc. The diffeomorphism group of the circle provides the natural geometric setting for the Camassa–Holm equation – a nonlinear wave equation that has attracted much attention in recent years – and in this context it has been remarked in various papers how to construct a smooth Riemannian structure compatible with the H1 right-invariant metric. We give a self-contained presentation that can serve as a detailed mathematical foundation for the future study of geometric aspects of the Camassa–Holm equation.

#### Article information

Source
Ark. Mat., Volume 45, Number 2 (2007), 297-325.

Dates
First available in Project Euclid: 31 January 2017

https://projecteuclid.org/euclid.afm/1485898989

Digital Object Identifier
doi:10.1007/s11512-007-0047-8

Mathematical Reviews number (MathSciNet)
MR2342607

Zentralblatt MATH identifier
1149.58003

Rights

#### Citation

Lenells, Jonatan. Riemannian geometry on the diffeomorphism group of the circle. Ark. Mat. 45 (2007), no. 2, 297--325. doi:10.1007/s11512-007-0047-8. https://projecteuclid.org/euclid.afm/1485898989

#### References

• Arnold, V., Sur la géométrie différentielle des groupes de Lie de dimension infinie et ses applications à l’hydrodynamique des fluides parfaits, Ann. Inst. Fourier (Grenoble) 16 (1966), 319–361.
• Burgers, J., The Nonlinear Diffusion Equation, Reidel, Dordrecht, 1974.
• Camassa, R. and Holm, D. D., An integrable shallow water equation with peaked solitons, Phys. Rev. Lett. 71 (1993), 1661–1664.
• Constantin, A., On the Cauchy problem for the periodic Camassa–Holm equation, J. Differential Equations 141 (1997), 218–235.
• Constantin, A., On the inverse spectral problem for the Camassa–Holm equation, J. Funct. Anal. 155 (1998), 352–363.
• Constantin, A., Existence of permanent and breaking waves for a shallow water equation: a geometric approach, Ann. Inst. Fourier (Grenoble) 50 (2000), 321–362.
• Constantin, A. and Escher, J., Well-posedness, global existence, and blowup phenomena for a periodic quasi-linear hyperbolic equation, Comm. Pure Appl. Math. 51 (1998), 475–504.
• Constantin, A. and Escher, J., On the blow-up rate and the blow-up set of breaking waves for a shallow water equation, Math. Z. 233 (2000), 75–91.
• Constantin, A., Kappeler, T., Kolev, B. and Topalov, P., On geodesic exponential maps of the Virasoro group, Ann. Global Anal. Geom. 31 (2007), 155–180.
• Constantin, A. and Kolev, B., On the geometric approach to the motion of inertial mechanical systems, J. Phys. A 35 (2002), R51–R79.
• Constantin, A. and Kolev, B., Geodesic flow on the diffeomorphism group of the circle, Comment. Math. Helv. 78 (2003), 787–804.
• Constantin, A. and Kolev, B., Integrability of invariant metrics on the diffeomorphism group of the circle, J. Nonlinear Sci. 16 (2006), 109–122.
• Constantin, A. and McKean, H. P., A shallow water equation on the circle, Comm. Pure Appl. Math. 52 (1999), 949–982.
• Ebin, D. G. and Marsden, J., Groups of diffeomorphisms and the notion of an incompressible fluid, Ann. of Math. 92 (1970), 102–163.
• Hamilton, R. S., The inverse function theorem of Nash and Moser, Bull. Amer. Math. Soc. 7 (1982), 65–222.
• Holm, D. D., Kouranbaeva, S., Marsden, J. E., Ratiu, T. and Shkoller, S., A nonlinear analysis of the averaged Euler equations, Arnold Festschrift Vol. 2, Preprint, 1999. arXiv:chao-dyn/9903036.
• Hunter, J. K. and Saxton, R., Dynamics of director fields, SIAM J. Appl. Math. 51 (1991), 1498–1521.
• Iorio, R. J. J. and Iorio, V. d. M., Fourier Analysis and Partial Differential Equations, Cambridge Studies in Advanced Mathematics 70, Cambridge University Press, Cambridge, 2001.
• Keller, H. H., Differential Calculus in Locally Convex Spaces, Lecture Notes in Mathematics 417, Springer, Berlin–Heidelberg, 1974.
• Kouranbaeva, S., The Camassa–Holm equation as a geodesic flow on the diffeomorphism group, J. Math. Phys. 40 (1999), 857–868.
• Lang, S., Differential and Riemannian Manifolds, Graduate Texts in Mathematics 160, Springer, Berlin–Heidelberg, 1995.
• Lenells, J., Traveling wave solutions of the Camassa–Holm equation, J. Differential Equations 217 (2005), 393–430.
• Marsden, J. E. and Ratiu, T. S., Introduction to Mechanics and Symmetry, Texts in Applied Mathematics 17, Springer, Berlin–Heidelberg, 1999.
• McKean, H. P., Breakdown of the Camassa–Holm equation, Comm. Pure Appl. Math. 57 (2004), 416–418.
• Misiołek, G., A shallow water equation as a geodesic flow on the Bott–Virasoro group, J. Geom. Phys. 24 (1998), 203–208.
• Omori, H., Infinite-Dimensional Lie Groups, Translations of Mathematical Monographs 158, American Mathematical Society, Providence, RI, 1997.
• Ovsienko, V. Y. and Khesin, B. A., The super Korteweg–de Vries equation as an Euler equation, Funktsional. Anal. i Prilozhen. 21:4 (1987), 81–82 (Russian). English transl.: Functional Anal. Appl. 21 (1988), 329–331.
• Shkoller, S., Geometry and curvature of diffeomorphism groups with H1 metric and mean hydrodynamics, J. Funct. Anal. 160 (1998), 337–365.