On groups of Hölder diffeomorphisms and their regularity

Abstract: We study the set

of orientation preserving diffeomorphisms of

m a t h b b R^{d}

which differ from the identity by a H"older

-mapping, where

n i n m a t h b b N_{g e 1}

and

. We show that

forms a group, but left translations in

are in general discontinuous. The groups

(with its natural Fr'echet topology) and

(with its natural inductive locally convex topology) however are

C^{0, o m e g a}

Lie groups for any slowly vanishing modulus of continuity

o m e g a

. In particular,

is a topological group and a so-called half-Lie group (with smooth right translations). We prove that the H"older spaces

are ODE closed, in the sense that pointwise time-dependent

-vector fields

u

have unique flows

P h i

in

. This includes, in particular, all Bochner integrable functions

. For the latter and

n g e 2

, we show that the flow map

,

u m a p s t o P h i

, is continuous (even

), for every

. As an application we prove that the corresponding Trouv'e group

from image analysis coincides with the connected component of the identity of

.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: On groups of Hölder diffeomorphisms and their regularity