Geodesic completeness for Sobolev \(H^{s}\)-metrics on the diffeomorphism group of the circle (Q2343011)

Let \(\mathrm{Diff}(S)\) be the group of all smooth and orientation preserving diffeomorphisms on the circle. Since both the composition and the inversion are smooth for this structure we say that \(\mathrm{Diff}(S)\) is a Fréchet-Lie group. Its Lie algebra, \(\mathrm{Vect}(S)=C^\infty(S)\). Recall that the fractional Sobolev space \(H^{q}\), \(q\in \mathbb{R}^{+}\), is defined as the completion of \(C^\infty(S)\) for the fractional Sobolev norm \(||{u}||_{H^{q}}:= \left( \sum_{n \in \mathbb{Z}}(1 + n^{2})^{q}|{\hat{u}_{n}}|^{2} \right)^{1/2}\), where \(\hat u_n\) stands for the \(n-\)th Fourier coefficient of \(u\in L^{2}(S)\). The main result of this paper is the following: Theorem. Let \(s>3/2\) be given. Then the geodesic flow on \(\mathrm{Diff}^{q}(S)\) for \(q \geq 2s + 1\) and on \(\mathrm{Diff}(S)\), respectively, is complete for the right-invariant weak Riemannian metric induced by the \(H^{s}\)-inner product.