arxiv: v1 [math.fa] 20 Dec 2018

Transcription

1 Diffeeniabiliy of he Evoluion Map and Mackey Coninuiy Maximilian Hanusch axiv: v1 mah.fa] 20 Dec 2018 Insiu fü Mahemaik Univesiä Padebon Wabuge Saße Padebon Gemany Decembe 20, 2018 Absac We solve he diffeeniabliy poblem fo he evoluion map in Milno s infinie dimensional seing. We fis show ha he evoluion map of each C k -semiegula Lie goup admis a paicula kind of sequenially coninuiy called Mackey coninuiy and hen pove ha his coninuiy popey is song enough o ensue diffeeniabiliy of he evoluion map. In paicula, his dops any coninuiy pesumpions made in his conex so fa. Remakably, Mackey coninuiy ises diecly fom he egulaiy poblem iself which makes i paicula among he coninuiy condiions adiionally consideed. As a fuhe applicaion of he inoduced noions, we discuss he song Toe popey in he sequenially-, and he Mackey coninuous conex. Conens 1 Inoducion 2 2 Peliminaies Convenions Ses of Cuves Lie Goups Unifom Limis The Righ Logaihmic Deivaive The Evoluion Map The Poduc Inegal The Exponenial Map Sandad Topologies The Riemann Inegal Sandad Facs and Esimaes Coninuiy Saemens mhanusch@mah.upb.de 1

2 3 Auxiliay Resuls Ses of Cuves Weak Coninuiy Mackey Coninuiy Sequenially Coninuiy Piecewise Inegable Cuves Basic Facs and Definiions A Coninuiy Saemen Mackey Coninuiy Some Esimaes Poof of Theoem The Song Toe Popey 21 6 Diffeeniaion Some Technical Saemens The Diffeenial of he Evoluion Map The Non-Consan Case The Exponenial Map Inegals wih Paamees Diffeeniaion a Zeo Inoducion Diffeeniabiliy of he evoluion map is one of he key componens of he egulaiy poblem in Milno s infinie dimensional seing. In 2, 6], his issue has been discussed in he sandad opological conex implicily meaning ha coninuiy of he evoluion maps w... o he C k - opology was pesumed. In his pape, we solve he diffeeniabiliy poblem in full genealiy, as we dop any coninuiy pesumpion made in his conex so fa. We fuhemoe genealize he esuls obained in 3, 7] concening he song Toe popey, by weakening he coninuiy pesumpions made hee. Moe specifically, le G be an infinie dimensional Lie goup in Milno s sense 1,5,9,12] ha is modeled ove he Hausdoff locally convex veco space E. We denoe he Lie algeba of G by g; and denoe he evoluion maps by Evol: C 0 (0,1],g) D {µ C 1 (0,1],G) µ(0) = e} evol: D φ Evol(φ)(1) as well as Evol k := Evol Dk and evol k := evol Dk, wih D k D C k (0,1],g) fo each k N {lip,,c}. 1 We say ha G is C k -semiegula iff C k (0,1],g) D holds. I was shown in 2] ha if G is C k -semiegula fo k N { }, hen Evol k (hus, evol k ) is smooh iff evol k is of class C 1. Then, i was poven in 6] ha evol k is of class C 1 iff i is coninuous, wih g Mackey complee fo k N 1 {lip, } (as well as inegal complee fo k 0). All hese saemen have been esablished in he sandad opological conex specifically meaning ha evol k (and Evol k ) was pesumed o be coninuous w... he C k -opology. In his pape, we moe geneally show ha, cf. (he moe compehensive) Theoem 2 in Sec Hee, C lip (0,1],g) denoes he se of Lipschiz cuves, and C c (0,1],g) denoes he se of consan cuves. 2

3 Theoem A. Suppose ha G is C k -semiegula fo k N {lip, }. Then, evol k is diffeeniable iff g is k-complee. In his case, evol k, ] is diffeeniable fo each, ] K, wih d φ evol k, ] (ψ) = d el φ( Ad s φ] 1(ψ(s))ds) φ,ψ C k (, ],g). This heoem will be deived fom significanly moe fundamenal esuls esablished in his pape: Le Ξ: U V E be a fixed cha aound e, and P he se of coninuous seminoms on E. A pai (φ,ψ) C 0 (0,1],g) C 0 (0,1],g) is said o be admissible iff φ+( δ,δ) ψ D holds fo some δ > 0, egulaed iff i is admissible, wih lim h 0 Ξ( Evol(φ) 1 Evol(φ+h ψ) ) = 0. Hee, he limi is undesood o be unifom In geneal, we wie lim h 0α = β fo α: ( δ,0) (0,δ) 0,1] E wih δ > 0 and β: 0,1] E iff lim h 0 sup{p(α(h,) β()) 0,1]} = 0 p P holds, wheep: E R 0 denoesheconinuousexensionofheseminomp Pohecompleion E of E. Then, he fis esul we wan o menion is, cf. Poposiion 3 in Sec. 6.2 Poposiion B. Suppose ha (φ, ψ) is admissible. 1) The pai (φ,ψ) is egulaed iff we have lim h 0 1/h Ξ( Evol(φ) 1 Evol(φ+h ψ) ) = (d eξ Ad Evol(φ)(s) 1)(ψ(s))ds E. 2) If (φ,ψ) is egulaed, hen ( δ,δ) h evol(φ+h ψ) G is diffeeniable a h = 0 (fo δ > 0 suiably small) iff Ad Evol(φ)(s) 1(ψ(s))ds g holds. In his case, we have d dh ( h=0 evol(φ+h ψ) = d e L evol(φ) AdEvol(φ)(s) 1(ψ(s))ds ). Evidenly, each (φ,ψ) C k (0,1],g) C k (0,1],g) is admissible iff G is C k -semiegula; and, in Sec. 4, we fuhemoe pove ha, cf. Theoem 1 Theoem C. If G is C k -semiegula fo k N {lip, }, hen G is Mackey k-coninuous. Hee, Mackey k-coninuiy is a specific kind of sequenially coninuiy (cf. Sec. 3.3) ha, in paicula implies ha each admissible (φ,ψ) C k (0,1],g) C k (0,1],g) is egulaed (cf. Lemma 16 in Sec. 3.3) Theoem A hus follows immediaely fom Poposiion B and Theoem C. Now, Poposiion B is acually a consequence of a moe fundamenal diffeeniabiliy esul (Poposiion 2 in Sec. 6) ha we will also use o genealize Theoem 5 in 6] Specifically, we will pove ha, cf. Theoem 3 in Sec. 6.3 Theoem D. Suppose ha G is Mackey k-coninuous fo k N {lip,,c} addiionally abelian if k c holds. Le Φ: I 0,1] g (I R open) be given wih Φ(z, ) D k fo each z I. Then, lim h 0 1/h Ξ( Evol(Φ(x, )) 1 Evol(Φ(x+h, )) ) = (d eξ Ad Evol(Φ(x, ))(s) )( z Φ(x,s))ds E holds fo x I, povided ha a) We have ( z Φ)(x, ) C k (0,1],g). 3

4 b) Fo each p P and s k, hee exiss L p,s 0, as well as I p,s I open wih x I p,s, such ha 1/ h p s (Φ(x+h, ) Φ(x, )) L p,s h I p,s x. In paicula, we have ( d h=0 evol(φ(x+h, )) = d e L evol(φ(x, )) AdEvol(Φ(x, ))(s) ( z Φ(x,s))ds ) dh iff he Riemann inegal on he igh side exiss in g. We explicily ecall a his poin ha, by Theoem C, fo k N {lip, }, Mackey k-coninuiy is auomaically given if G is C k -semiegula. We finally wan o menion ha we also discuss he song Toe popey 3, 7, 10, 13] in he sequenially/mackey coninuous conex, cf. Poposiion 1 in Sec. 5. This pape is oganized as follows: In Sec. 2, we povide he basic definiions; and discuss he mos elemenay popeies of he coe mahemaical objecs of his pape. In Sec. 3, we discuss he coninuiy noions consideed in his pape. In Sec. 4, we pove Theoem 1 ( Theoem C). In Sec. 5, we discuss he song Toe popey in he sequenially/mackey coninuous conex. In Sec. 6, we esablish he diffeeniabiliy esuls fo he evoluion map. 2 Peliminaies In his secion, we fix he noaions, and discuss he popeies of he poduc inegal (evoluion map) ha we will need in he main ex. The poofs of he facs menioned bu no veified in his secion, can be found, e.g., in Sec. 3 and Sec. 4 in 6]. 2.1 Convenions In his pape, Manifolds and Lie goups ae always undesood o be in he sense of 1,5,9,12]; in paicula, smooh, Hausdoff, and modeled ove a Hausdoff locally convex veco space. 2 If f: M N is a C 1 -map beween he manifolds M and N, hen df: TM TN denoes he coesponding angen map beween hei angen manifolds we wie d x f df(x, ): T x M T f(x) N fo each x M. A cuve is a coninuous map γ: D M, fo M a manifold and D a pope ineval (i.e., D R is conneced, non-empy, and non-singleon). If D I is open, hen γ is said o be of class C k fo k N { } iff i is of class C k when consideed as a map beween he manifolds I and M. If D is an abiay ineval, hen γ is said o be of class C k fo k N { } iff γ = γ D holds fo a C k -cuve γ : I M ha is defined on an open ineval I conaining D we wie γ C k (D,M) in his case. If γ: D M is of class C 1, hen we denoe he coesponding angen veco a γ() M by γ() T γ() M. The above convenions also hold if M F is a Hausdoff locally convex veco space wih sysem of coninuous seminoms Q. In his case, we le F denoe he compleion of F; as well as q: F R 0 he coninuous exension of q o F, fo each q Q. If X,Y ae ses, hen Map(X,Y) Y X denoes he se of all mappings X Y. 2 We explicily efe o Definiion 3.1 and Definiion 3.3 in 1] A eview of he coesponding diffeenial calculus including he sandad diffeeniaion ules used in his pape can be found, e.g., in Appendix A ha essenially equals Sec in 6]. 4

5 2.1.1 Ses of Cuves Le F be a Hausdoff locally convex veco space wih sysem of coninuous seminoms Q. We denoe by C lip (, ],F), he se of all Lipschiz cuves on, ] K; i.e., all cuves γ:, ] F, such ha { } Lip(q,γ) := sup q(γ() γ( )),, ], R 0 exiss fo each q Q i.e., we have q(γ() γ( )) Lip(q,γ),, ], q Q. (1) C c (, ],F), he se of all consan cuves on, ] K; i.e., all cuves of he fom γ X :, ] F, X fo some X F. We define c+1 :=, +1 :=, lip+1 := 1; as well as q (γ) := q 0 (γ) q lip (γ) := max(q (γ),lip ( q,γ) ) q s (γ) := sup{ q ( γ (m) () ) 0 m s,, ] } γ C 0 (, ],F) γ C lip (, ],F) γ C k (, ],F) fo each q Q, k N { }, s k, and, ] K Hee, s k means s lip fo k lip, s k fo k N, s N fo k, s = 0 fo k c. The C k -opology on C k (, ],F) is he Hausdoff locally convex opology ha is geneaed by he seminoms q s fo all q Q and s k. Remak 1. In he Lipschiz case, he above convenions deviae fom he convenions used, e.g., in 6,8] as hee he p -seminoms, i.e., he C 0 -opology is consideed on C lip (, ],F). Finally, we le CP 0 (, ],F) denoe he se of piecewise C 0 -cuves on, ] K; i.e., all γ:, ] F, such ha hee exis = 0 <... < n = and γp] C 0 ( p, p+1 ],F) wih γ (p, p+1 ) = γp] (p, p+1 ) fo p = 0,...,n 1. (2) Lie Goups In his pape, G will always denoe an infinie dimensional Lie goup in Milno s sense 1,5,9,12] ha is modeled ove he Hausdoff locally convex veco space E, wih coesponding sysem of coninuous seminoms P. We define B p,ε := {X E p(x) ε} p P, ε > 0, and denoe he Lie algeba of G by (g,, ]). We fix a cha Ξ: G U V E, 5

6 wih V convex, e U and Ξ(e) = 0; and define p := p d e Ξ p, P. We le m: G G G denoe he Lie goup muliplicaion, R g := m(,g) he igh anslaion by g G, and Ad: G g g he adjoin acion i.e., we have Ad(g,X) Ad g (X) := d e Conj g (X) wih Conj g : G h g h g 1 G fo each g G and X g. We fuhemoe ecall he poduc ule d (g,h) m(v,w) = d g R h (v)+d h L g (w) g,h G, v T g G, w T h G. (3) Unifom Limis Le µ Map(, ],G), {µ n } n N Map(, ],G), and {µ h } h ( δ,0) (0,δ) Map(, ],G) fo δ > 0 be given. We wie lim n µ n = µ iff fo each open neighbouhood U G of e, hee exiss some n U N wih µ 1 µ n U fo each n n U. lim h 0 µ h = µ iff fo each open neighbouhood U G of e, hee exiss some 0 < δ U < δ Evidenly, hen we have wih µ 1 µ h U fo each 0 < h < δ U. Lemma 1. Le D ( δ,0) (0,δ) fo δ > 0, and {µ h } h D C 0 (, ],G) be given. If lim n µ h n = e holds fo each sequence D {h n } n N 0, hen we have lim h 0 µ h = e. Poof. If he claim is wong, hen hee exiss a neighbouhood U G of e, such ha he following holds: Fo each n N, hee exiss some h n 0 wih h n 1 n as well as some τ n, ], such ha µ 1 (τ n ) µ hn (τ n ) / U holds. Since we have {h n } n N 0, his conadics he pesumpions. The same convenions (and Lemma 1) also hold if (G, ) (F,+) is a Hausdoff locally convex veco space (o is compleion) In his case, we use he following convenion: Le D ( δ,0) (0,δ) fo δ > 0; and α: D, ] F be given, wih α(h, ) Map(, ],F) fo each h D as well as α(h, ) = 0. Then, fo β Map(, ],F), we wie d dh h=0 α = β def. lim h 0 1/h α(h, ) ] = β. Remak 2. In he following, he above convenion will mainly be used in he following fom: F = E will be he compleion of a Hausdoff locally convex veco space E; and we will have α: D, ] E E as well as β Map(, ],E). 2.2 The Righ Logaihmic Deivaive In his subsecion, we povide he elevan facs and definiions concening he igh logaihmic deivaive. 6

7 2.2.1 The Evoluion Map We le K {, ] R < } denoe he se of all (pope) compac inevals in R; and define C k (, ],G) := {µ C k (, ],G) µ() = e} The igh logaihmic deivaive is given by δ : C 1 (, ],G) C 0 (, ],g),, ] K, k N { }. µ d µ R µ 1( µ) fo each, ] K; and we define D, ] :=δ (C 1 (, ],G)) fo each, ] K, as well as D k, ] := D, ] C k (, ],g), ] K, k N {lip,,c}. Then, δ esiced o C 1 (, ],G) is injecive fo each, ] K; so ha is well defined by fo each, ] K. Hee, Evol:, ] K D, ], ] K C1 (, ],G) Evol: D, ] C 1 (, ],G), δ (µ) µ µ() 1 Evol D k : D k,, ] ] Ck+1 (, ],G) holds fo each, ] K, and each k N {lip,,c} The Poduc Inegal The poduc inegal is given by and we le φ s φ := Evol( φ s,] ) () G c φ as well as evol k, ] D k, ] s,] domφ], φ, ] K D, ]; c φ := e fo φ D, ] and c, ]. We fuhemoe denoe k N {lip,,c},, ] K; and le evol k evol k 0,1] as well as D k D k 0,1] fo each k N {lip,,c}. We fuhemoe define evol evol 0 : D D 0 G. Then, we have he following elemenay ideniies, cf. Sec in 6]: a) Fo each φ,ψ D, ], we have φ+ad φ (ψ) D, ], wih φ ψ = φ+ad φ (ψ). b) Fo each φ,ψ D, ], we have Ad φ] 1(ψ φ) D, ], wih φ] 1 ψ] = c) Fo = 0 <... < n = and φ D, ], we have φ = p φ p p 1 φ... 1 φ Ad φ] 1(ψ φ). ( p, p+1 ], p = 0,...,n 1. d) Fo : l,l ], ] of class C 1 and φ D, ], we have φ D l,l ], wih φ = φ ] (l) l φ ]. e) Fo each Lie goup homomophism Ψ: G H ha is of class C 1, we have Ψ φ = d eψ φ φ D, ]. We say ha G is C k -semiegula fo k N {lip, } iff D k = C k (0,1],g) holds; which, by d), is equivalen o ha D k, ] = Ck (, ],g) holds fo each, ] K, cf. e.g., Lemma 12 in 6]. 7

8 2.2.3 The Exponenial Map The exponenial map is defined by exp: domexp] i 1 (D c ) G, X φ X 0,1] (evol c i)(x) wih i: g X φ X 0,1] C c (0,1],g). Then, insead of saying ha G is C c -semiegula, we will ahe say ha G admis an exponenial map in he following. We fuhemoe emak ha d) implies R domexp] domexp]; and ha exp( X) is a smooh Lie goup homomophism fo each X domexp], wih exp( X) φ X 0,1] d) = 0 φ X 0,1] 0, (4) cf., e.g., Remak 2.1) in 6]. Finally, if G is abelian, hen X +Y domexp] holds fo all X,Y domexp], because we have exp(x) exp(y) a) = φ X 0,1] φ Y 0,1] = φ X+Y 0,1] Sandad Topologies We say ha G is C k -coninuous fo k N {lip,,c} iff evol k is coninuous w... he C k - opology. We explicily emak ha unde he idenificaion i: g {φ X 0,1] X g} he C c - opology jus equals he subspace opology on domexp] ha is inheied by he locally convex opology on g. So, insead of saying ha G is C c -coninuous iff evol c is coninuous w... his opology, we will ahe say ha he exponenial map is coninuous. 2.3 The Riemann Inegal Le F be a Hausdoff locally convex veco space wih sysem of coninuous seminoms Q, and compleion F. Fo each q P, we le q: F R 0 denoe he coninuous exension of q o F. The Riemann inegal of γ C 0 (, ],F) (fo, ] K) is denoed by γ(s)ds F; and we define b a γ(s)ds := γ a,b] (s)ds, a b γ(s)ds := b a γ(s)ds, fo a < b, c, ]. Clealy, he Riemann inegal is linea, wih c c γ(s)ds := 0 (5) as well as c a γ(s)ds = b a γ(s)ds+ c b γ(s)ds a < b < c (6) γ γ() = γ(s)ds (7) q(γ γ()) q( γ(s))ds q Q, γ C1 (, ],F), (8) q ( γ(s)ds) q(γ(s))ds q Q, γ C0 (, ],F). (9) We fuhemoe have he subsiuion fomula () γ(s)ds = l (s) (γ )(s)ds (10) fo each γ C 0 (, ],F), and each : K l,l ], ] of class C 1 wih (l) = and (l ) =. Moeove, if E is a Hausdoff locally convex veco space, and L: F E a coninuous linea map, hen we have γ(s)ds F fo γ C 0 (, ],F) = L( γ(s)ds) = L(γ(s))ds. (11) 8

9 Finally, fo γ CP 0 (, ],F) wih γ0],...,γn 1] as in (2), we define γ(s)ds := n 1 p=0 γp](s)ds. (12) A sandad efinemen agumen in combinaion wih (6) hen shows ha his is well defined; i.e., independen of any choices we have made. We define b a γ(s)ds, a b γ(s)ds and c c γ(s)ds as in (5); and obseve ha (12) is linea and fulfills (6). 2.4 Sandad Facs and Esimaes Le us fis ecall ha Lemma 2. Le X be a opological space; and le Φ: X F 1... F n E be coninuous wih Φ(x, ) n-mulilinea fo each x X. Then, fo each compac K X and each p P, hee exis seminoms q 1 Q 1,...,q n Q n as well as O X open wih K O, such ha (p Φ)(y,X 1,...,X n ) q 1 (X 1 )... q n (X n ) y O holds fo all X 1 F 1,...,X n F n. Poof. Confe, e.g., Coollay 1 in 6]. Lemma 3. Le F,E be Hausdoff locally convex veco spaces. If Φ: F E is coninuous and linea, hen Φ exends uniquely o a coninuous linea map Φ: F E. Lemma 4. Le f: F U E be of class C 2 ; and suppose ha γ: D F F is coninuous a D, such ha lim h 0 1/h (γ(+h) γ()) =: X F exiss. Then, we have Poof. Confe, e.g., Lemma 7 in 6]. lim h 0 1/h (f(γ(+h)) f(γ())) = d γ() f(x). Remak 3. Le F be a Hausdoff locally convex veco space, and U F open. A map f: U G is said o be diffeeniable a x U iff hee exiss a cha (Ξ,U ) wih f(x) U, such ha (D Ξ v f)(x) := lim h 01/h ((Ξ f)(x+h v) (Ξ f)(x)) E v F (13) exiss. Then, Lemma 4 applied o coodinae changes shows ha (13) holds fo one cha aound f(x) iff i holds fo each cha aound f(x) and ha d x f(v) := ( d Ξ (f(x))ξ 1 (D Ξ v f)) (x) T f(x) G v F is independen of he explici choice of (Ξ,U ). diffeeniable iff f is diffeeniable a each x U. We fuhemoe ecall ha, cf. Sec in 6] I) Fo each compac C G and each v P, hee exiss some v w P, such ha v Ad g w holds fo each g C. II) Fo each m P, hee exiss some m q P, as well as O G symmeic open wih e O, such ha m Ad g q holds fo each g O. 9

10 III) Suppose ha imµ] U holds fo µ C 1 (, ],G). Then, we have δ (µ) = ω(ξ µ, (Ξ µ)), (14) fo he smooh map ω: V E (x,x) d Ξ 1 (x)r Ξ 1 (x)] 1(d xξ 1 (X)) g. Since ω is linea in he second agumen, fo each q P, hee exiss some q m P wih ( q ω)(x,x) m(x) x B m,1, X E. (15) IV) Suppose ha imµ] U holds fo µ C 1 (, ],G). Then, we have (Ξ µ) = υ(ξ µ,δ (µ)), (16) fo he smooh map υ: V g (x,x) ( d Ξ 1 (x)ξ d e R Ξ 1 (x)) (X) E. Since υ is linea in he second agumen, fo each q P, hee exiss some u m P wih (u υ)(x,x) m(x) x B m,1, X g. Fo each µ C 1 (, ],G) wih imξ µ] B m,1, we hus obain fom (16), (7), and (8) ha u(ξ µ) = u ( υ((ξ µ)(s),δ (µ)(s))ds ) m(δ (µ)(s))ds. (17) Fo insance, we immediaely obain fom (17) ha Lemma 5. Fo each u P, hee exis u m P, and U G open wih e U, such ha holds, fo each χ D, ] wih Moeove, (u Ξ)( χ) m(χ(s))ds χ U; fo all, ] K. Lemma 6. We have Ad µ (φ) C k (, ],g) fo each µ C k+1 (, ],G), φ C k (, ],g), and k N {lip, }. Poof. Confe, e.g., Lemma 13 in 6]. Lemma 7. Le, ] K, k N { }, and φ D k, ] hee exiss some p q P wih be fixed. Then, fo each p P and s k, p p ( Ad φ] 1(ψ)) q p (ψ) ψ Ck (, ],g), 0 p s. Poof. Confe, e.g., Lemma 14 in 6]. Then, modifying he agumenaion used in he poof of he Lipschiz case in Lemma 13 in 6] o ou deviaing convenion concening he opology on he se of Lipschiz cuves, we also obain Lemma 8. Le, ] K, and φ D, ] be fixed. Then, fo each p P, hee exiss some p q P wih p lip ( Ad φ] 1(ψ)) q lip (ψ) ψ C lip (, ],g). Poof. Confe Appendix B. 10

11 2.5 Coninuiy Saemens Fo h G, we define Ξ h (g) := Ξ(h 1 g) fo each g h U; and ecall ha, cf. Lemma 8 in 6] Lemma 9. Le C U be compac. Then, fo each p P, hee exiss some p u P, and a symmeic open neighbouhood V U of e wih C V U and B u,1 Ξ(V), such ha p(ξ(q) Ξ(q )) u(ξ g h (q) Ξ g h (q )) q,q g V, h V holds fo each g C. Now, combining Lemma 5 wih Lemma 9, we obain he following vaiaion of Poposiion 1 in 6]: Lemma 10. Fo each p P, hee exis p q P and V G open wih e V, such ha p ( Ξ ( φ) Ξ ( ψ)) q(φ(s) ψ(s))ds holds fo all φ,ψ D, ] wih φ, ψ V; fo each, ] K. Poof. We le p u P and V be as in Lemma 9 fo C {e} hee (i.e., V is symmeic wih B u,1 Ξ(V)). We choose U Gandu m P asin Lemma5. We fuhemoele m q P and O Gbeas inii).then, shinkingv ifnecessay, wecan assumehav 1 V U as well asv O holds. Then, foφ,ψ as inhepesumpions,lemma9appliedoq φ,q ψ,h and g e gives p ( Ξ ( φ) Ξ ( ψ)) u ( ( Ξ φ φ) ( Ξ φ ψ)) = (u Ξ) ( φ] 1 ψ]). By assumpion, fo each, ], we have U V 1 V φ] 1 ψ] b) = Ad φ V, φ] 1(ψ φ) wih φ] 1 V 1 = V O; obain fom Lemma 5 and II) ha (u Ξ) ( φ] 1 ψ]) m( Ad s φ] 1(ψ(s) φ(s))) ds q(ψ(s) φ(s))ds holds fo each, ]; which poves he claim. We fuhemoe obseve ha Lemma 11. Suppose ha exp: domexp] G is coninuous; and le X domexp] be fixed. Then, fo each open neighbouhood V G of e, hee exiss some m P, such ha m(y X) 1 fo Y domexp] = 0 φ Y 0,1] 0 φ X 0,1] V. Poof. By assumpion, α: 0,1] domexp] (,Y) exp( X) 1 exp( Y) is coninuous; and we have α(,x) = e. Fo τ 0,1] fixed, hee hus exiss an open ineval I τ R conaining τ, as well as an open neighbouhood O τ g of X, such ha we have exp( X) 1 exp( Y) V I τ 0,1], Y O τ domexp]. (18) We choose τ 1,...,τ n 0,1] wih 0,1] I τ1... I τn ; and define O := O τ1... O τn. Then, (18) holds fo each 0,1] and Y O domexp]; so ha he claim holds fo each fixed m P wih B m,1 O. 3 Auxiliay Resuls In his secion, we inoduce he coninuiy noions ha we will need o fomulae ou main esuls. We fuhemoe povide some elemenay coninuiy saemens ha we will need in he main ex. 11

12 3.1 Ses of Cuves Le, ] K be fixed. We will acily use in he following ha C k (, ],g) in a eal veco space fo each k N {lip,,c}. We will fuhemoe use ha: A) Fo each k N {lip, }, φ D k, ], and ψ Ck (, ],g), wehave Ad φ] 1(ψ) Ck (, ],g) by Lemma 6. Evidenly, he same saemen also holds fo k c if G is abelian. B) Fo each k N {lip,,c}, φ D k, ], l,l ] K, and : l,l ], ], +( l) / l l, we have φ = / l l φ D k l,l ] by d); wih p s ( φ ) = s+1 l l ] p s (φ) wih s k fo k N {,c}, Lip( p, φ ) = 2 l l ] Lip( p,φ) fo k lip. We say ha g is k-complee fo k N {lip,,c} iff Ad s φ] 1(χ(s))ds g(19) holds fo all φ,χ D k, ], fo each, ] K. Then, Remak 4. g is c-complee if G is abelian. g is k-complee fo k N {lip,,c} iff (19) holds fo, ] 0,1]. Fo his, le φ,χ D k, ] be given. Then, fo : 0,1], ] as in B) wih l,l ] 0,1] hee, we have φ, χ D k 0,1] wih In paicula, Poin A) hen shows: Ad s φ] 1(χ(s))ds = (1) Ad s φ] 1(χ(s))ds (10) = 1 0 (s) Ad (s) (χ( (s)))ds φ] 1 = 1 0 Ad (s) (( χ )(s))ds φ] 1 d) = 1 0 Ad s 0 φ ] 1(( χ )(s))ds. If G is C 0 -semiegula, hen g is 0-complee iff g is inegal complee i.e., iff φ(s) ds g holds fo each φ C 0 (0,1],g). If G is C k -semiegula fo k N 1 {lip, }, hen g is k-complee iff g is Mackey-complee Weak Coninuiy A pai (φ,ψ) C 0 (, ],g) C 0 (, ],g) is said o be admissible iff φ+( δ,δ) ψ D, ] holds fo some δ > 0. 3 Recall ha g is Mackey complee iff φ(s)ds g holds fo each φ C k (0,1],g), fo any k N 1 {lip, }. 12

13 egulaed iff i is admissible wih Then, lim h 0 φ+h ψ = φ. Remak 5. 1) I follows fom c) ha (φ,χ) is admissible/egulaed iff (φ l,l ],χ l,l ]) is admissible/egulaed fo each l < l. 2) Each (0,i(X)) wih X domexp] is egulaed; because we have 0 h φ X 0,1] (4) = h φ X 0,1] (4) = h 0 φ X 0,1] fo each 0,1], and each h R. We say ha G is weakly k-coninuous fo k N {lip,,c} iff each admissible (φ,ψ) C k (0,1],g) C k (0,1],g) is egulaed. Lemma 12. If G is weakly k-coninuous fo k N {lip,,c}, hen each admissible (φ,ψ) C k (, ],g) C k (, ],g) (fo each, ] K) is egulaed. Poof. We define : 0,1] +, ]; and obseve ha φ = d) φ+h ψ] d) = 0 φ, 0 φ +h ψ ] holds fo h > 0 suiably small. Since we have φ, ψ C k (0,1],g) by Poin B), he claim is clea fom he pesumpions. Lemma 13. G is weakly k-coninuous fo k N {lip, } iff lim h 0 0h χ = e (20) holds, fo each χ D k wih ( δ,δ) χ D k fo some δ > 0. The same saemen also holds fo k c if G is abelian. Poof. The one diecion is eviden. Fo he ohe diecion, we supposeha (φ,ψ) C k (0,1],g) C k (0,1],g) is admissible. Since φ D k 0,1] holds, we have 0 φ] 1 0 φ+h ψ] b) = 0 h Ad 0 φ] 1(ψ) 0,1] wih χ := Ad 0 φ] 1(ψ) Ck (0,1],g) by Poin A). The claim is hus clea fom (20). Coollay 1. If G is abelian, hen G is weakly c-coninuous. Poof. This is clea fom Lemma 13 and Remak 5.2). 13

14 3.3 Mackey Coninuiy We wie {φ n } n N m.k φ fo k N {lip,,c}, {φ n } n N C k (, ],g), and φ C k (, ],g) iff p s (φ φ n) c s p λ n n l p, p P, s k (21) holds, fo ceain {c s p} p P R 0, {l p } p P N, and R 0 {λ n } n N 0. Remak 6. Suppose ha D k, ] {φ n} n N m.k φ D k, ] holds fo k N {lip,,c}. Then, {φ ι(n) } n N m.k φ holds fo each sicly inceasing ι: N N. We say ha G is Mackey k-coninuous iff D k {φ n } n N m.k φ D k = lim n In analogy o Lemma 12, we obain φ n = φ. (22) Lemma 14. G is Mackey k-coninuous fo k N {lip,,c} iff D k, ] {φ n} n N m.k φ D k, ] = lim n fo each, ] K. φ n = φ, (23) Poof. The one diecion is eviden. Fo he ohe diecion, we suppose ha (22) holds. Then, fo, ] K fixed, we le : 0,1] +, ]; and obain D k, ] {φ n} n N m.k φ D k, ] B) = D k { φ n } n N m.k φ D k = limn φ n = φ d) = limn φ n = φ, wheeby he second sep is due o he pesumpions. In analogy o Lemma 13, we obain Lemma 15. G is Mackey k-coninuous fo k N {lip, } iff D k {φ n } n N m.k 0 = lim n 0 φ n = e. (24) The saemen also holds fo k c if G is abelian. Poof. The one diecion is eviden. Fo he ohe diecion, we suppose ha D k {φ n } n N m.k φ D k holds; and obseve ha 0 φ] 1 0 φ n] = b) 0 Ad φ] 1(φ n φ) n N, 0,1] 0 }{{} ψ n D k holds by Poin A). Then, by Lemma 7 and Lemma 8, we have D k {ψ n } n N m.k 0; fom which he claim is clea. We fuhemoe obseve ha Lemma 16. If G is Mackey k-coninuous fo k N {lip,,c}, hen G is weakly k-coninuous. 14

15 Poof. If G is no weakly k-coninuous, hen hee exiss an admissible (φ,ψ) C k (, ],g) C k (, ],g), an open neighbouhood U G of e, as well as sequences {τ n } n N, ] and R 0 {h n } 0, such ha τn φ] 1 τ n φ+h n ψ] / U n N holds. Then, G canno be Mackey k-coninuous, because we have {φ+h n ψ} n N m.k φ. Remakably, we also have Lemma 17. G is Mackey k-coninuous fo k N {lip, } iff D k {φ n } n N m.k 0 = lim n φn = e. (25) The saemen also holds fo k c if G is abelian. Poof. The one diecion is eviden. Fo he ohe diecion, we suppose ha (25) holds; and ha G is no Mackey k-coninuous. By Lemma 15, hee exis D k {φ n } n N m.k 0, U G open wih e G, a sequence {τ n } n N 0,1], and ι: N N sicly inceasing, such ha holds. Fo each n N, we define τn 0 φ ι n / U n N (26) D k χ n := n φ ιn n wih n: 0,1] τ n 0,τ n ]; and conclude fom Remak 6 and Poin B) ha {χ n } n N m.k 0 holds. Then, (25) implies lim n τn 0 φ d) ι n = lim n χn = e, which conadics (26). 3.4 Sequenially Coninuiy We wie {φ n } n N s.k φ fo k N {lip,,c}, {φ n } n N C k (, ],g), and φ C k (, ],g) iff lim n p s (φ φ n ) = 0 p P, s k (27) holds. We say ha G is sequenially k-coninuous iff D k {φ n } n N s.k φ D k = lim n φ n = φ. Remak 7. 1) Suppose ha G is sequenially k-coninuous fo k N {lip,,c}. Evidenly, hen G is Mackey k-coninuous; hus, weakly k-coninuous by Lemma 16. 2) G is sequenially k-coninuous fo k N {lip,,c} iff D k, ] {φ n} n N s.k φ D k, ] = lim n holds fo each, ] K. This jus follows as in Lemma 14. φ n = 3) Le k N {lip,,c}, wih G abelian fo k c. Then, he same agumens as in Lemma 15 show ha G is sequenially k-coninuous iff D k {φ n } n N s.k 0 = lim n 0 φ n = e. φ 15

16 4) Le k N {lip,,c}, wih G abelian fo k c. Then, he same agumens as in Lemma 17 show ha G is sequenially k-coninuous iff D k {φ n } n N m.k 0 = lim n φn = e. 5) If G is C k -coninuous fo k N {lip,,c}, hen G is sequenially k-coninuous This is clea fo k N {lip, } fom 4), fo k c fom Lemma Piecewise Inegable Cuves We now finally discuss piecewise inegable cuves. Specifically, we povide he basic facs and definiions 4 ; and fuhemoe show ha Sequenially 0-coninuiy and Mackey 0-coninuiy cay ove o he piecewise inegable caegoy. This will be used in Sec. 5 o genealize Theoem 1 in 7] Basic Facs and Definiions Fo k N {lip,,c} and, ] K, we le DP k (, ],g) denoe he se of all ψ:, ] g, such ha hee exis = 0 <... < n = and ψp] D k p, p+1 ] wih ψ (p, p+1 ) = ψp] (p, p+1 ) fo p = 0,...,n 1. (28) In his siuaion, we define ψ := p ψp] ψ := e, as well as p p 1 ψp 1] ψ0] ( p, p+1 ]. (29) A sandad efinemen agumen in combinaion wih c) hen shows ha his is well defined; i.e., independen of any choices we have made. I is fuhemoe no had o see ha fo φ,ψ DP k (, ],g), we have Ad φ] 1(ψ φ) DPk (, ],g) wih φ] 1 ψ] = Ad φ] 1(ψ φ), ]. (30) We wie {φ n } n N s φ fo {φ n } n N DP 0 (, ],g) and φ DP 0 (, ],g) iff lim n p (φ φ n ) = 0 p P holds. {φ n } n N m φ fo {φ n } n N DP 0 (, ],g) and φ DP 0 (, ],g) iff p (φ φ n ) c p λ n n l p, p P holds, fo ceain {c p } p P R 0, {l p } p P N, and R 0 {λ n } n N 0. 4 Confe Sec. 4.3 in 6] fo he saemens menioned bu no poven hee. 16

17 3.5.2 A Coninuiy Saemen We ecall he consucion made in Sec. 4.3 in 6]. i) We fix (a bump funcion) ρ: 0,1] 0,2] smooh wih 1 ρ (0,1) > 0, 0 ρ(s)ds = 1 as well as ρ(k) (0) = 0 = ρ (k) (1) k N. (31) Then,, ] K, and = 0 <... < n = given, we le ρ p : p, p+1 ] 0,2], ρ( p / p+1 p ) p = 0,...,n 1; and define ρ:, ] 0,2] by ρ p, p+1 ] := ρ p p = 0,...,n 1. Then, ρ is smooh, wih ρ (k) ( p ) = 0 fo each k N, p = 0,...,n; and (10) shows ha holds, wih ( p ) = p fo p = 0,...,n 1. :, ], ], + ρ(s)ds ii) Fo ψ DP 0 (, ],g) wih = 0 <... < n = as well as ψ0],...,ψn 1] as in (28), we le :, ], ] and ρ :, ] 0,2] be as in he pevious poin. Then, i is saighfowad fom he definiions ha χ := ρ ψ D 0, ] fo each p P. 5 We obain Lemma 18. holds, wih 1) If G is sequenially 0-coninuous, hen ψ = χ and p (χ) 2 p (ψ) DP 0 (, ],g) {φ n } n N s φ DP 0 (, ],g) = lim n 2) If G is Mackey 0-coninuous, hen DP 0 (, ],g) {φ n } n N m φ DP 0 (, ],g) = lim n φ n = φ n = Specifically, in boh siuaions, fo each p P, hee exiss some p q P and n p N wih (p Ξ)( φ] 1 φ n]) q(φ n (s) φ(s))ds n n p. Poof. Le φ DP 0 (, ],g) and {φ n } n N DP 0 (, ],g) be given. Fo p u P fixed, we choose U G and u m P as in Lemma 5. We fuhemoe le m q w P be as in I), fo C im φ] 1 ] and v m hee. Then, fo each n N, we le n, ρ n ρ, and χ n χ be as in ii), fo hee. Then, we have n() φ] 1 n() φ n ] (30) = ψ ψ n := Ad φ] 1(φ n φ) DP 0 (, ],g) n() Ad φ] 1(φ n φ) = ii) φ. φ. χ n n N,, ]. (32) 5 In he poof of Lemma 24 in 6], his saemen was moe geneally veified fo he case ha k N {lip, } holds. 17

18 we have m (χ n ) 2 m (ψ n ) 2 q (φ n φ) fo each n N by Lemma 7, which shows ha D 0, ] {χ n} n N s.0 0 holds if we ae in he siuaion of 1), D 0, ] {χ n} n N m.0 0 holds if we ae in he siuaion of 2). In boh siuaions, hee hus exiss some n p N wih We obain fom Lemma 5 (second sep), and I) (las sep) ha 6 (p Ξ)( n() φ] 1 n() φ n ]) (32) = (p Ξ)( χ n) χ n U fo each n n p. ( m χ n)(s)ds (10) holds fo all n n p and, ]; which poves he claim. = n() ( m ψ n )(s)ds n() q(φ n (s) φ(s))ds Remak 8. Besides he applicaion in Sec. 5, i is likely ha Lemma 18 also seves o genealize he inegabiliy esuls obained in Theoem 3 in 6] in he locally µ-convex seing, o he sequenially 0- coninuous-, as well as he Mackey 0-coninuous conex. Since Theoem 1 shows ha G is Mackey 0-coninuous if G is C 0 -semiegula - his would subsiue, e.g., locally µ-convexiy in Theoem 3.2) in 6] by a necessay coninuiy condiion namely, Mackey 0-coninuiy. A deailed analysis of his issue, howeve, would go beyond he scope of his aicle so ha we will pesen i in a sepaae pape. 4 Mackey Coninuiy In his secion, we show ha Theoem 1. If G is C k -semiegula fo k N {lip, }, hen G is Mackey k-coninuous. The poof of Theoem 1 is based on a bump funcion agumen simila o ha one used in he poof of Theoem 2 in 6]. I fuhemoe makes use of he fac ha 0,1] 0 G is coninuous fo each φ D k. Howeve, befoe we can povide he poof, we need some echnical pepaaion fis. 4.1 Some Esimaes Le ρ: 0,1] 0,2] be smooh wih ρ (0,1) > 0, 1 0 ρ(s)ds = 1 and ρ(k) (0) = 0 = ρ (k) (1) k N. Now, suppose ha we ae given :, ], ]; and define ρ as well as Cρ,s] := max ( 1,max 0 m,n s (sup{ ρ (m) () n+1, ]}) ) s N. We obseve he following: Le ψ C k (, ],g) fo k N { } and s k be given. By c), d) in Appendix A, we have (ρ ψ ) (s) = s q,m,n=0 h s(q,m,n) (ρ (m)) n+1 (ψ (q) ), fo a map h s : (0,...,s) 3 {0,1} ha is independen of,ρ,φ. We obain fo each p P, 0 s k, and ψ C k (, ],g). 6 Fo he hid sep obseve ha ρ n 0 holds fo each n N. p ( (ρ ψ ) (s)) (s+1) 3 Cρ,s] p s (ψ) (33) 18

19 Le ψ C lip (, ],g) be given. Then we have p((ρ ψ )() (ρ ψ )( )) fo each,, ]; hus, ρ() ρ( ) p(ψ( ())) + ρ( ) p(ψ( ()) ψ( ( ))) Cρ,1] p (ψ) + Cρ,0] Lip( p,ψ) () ( ) }{{} Cρ,0] 2 Cρ,1] 2 p lip (ψ) Lip( p,ρ ψ ) 2 Cρ,1] 2 p lip (ψ). (34) Le now {φ n } n N D k 0,1] wih k N {lip, } be given; as well as { n } n N 0,1] sicly deceasing wih 0 = 1. Fo each n N, we define 0 < δ n := n n+1 < 1, as well as ρ n := δ 1 n ρ κ n fo κ n : n+1, n ] δ 1 n n+1 0,1]. We obain fom (10) ha n: n+1, n ] n+1 ρ n (s)ds 0,1] n N holds; and fuhemoe obseve ha Then, We obain fom (33) and (35) ha Cρ n,s] δ (s+1)2 n Cρ,s] n N. (35) p ( (ρ n φ n n) (s)) (33) (s+1) 3 Cρ n,s] p s (φ n ) holds, fo each p P, s k, and n N. We obain fom (34) and (35) ha (35) (s+1) 3 δ (s+1)2 n Cρ,s] p s (φ n) (36) Lip( p,ρ n φ n n) (34) 2 Cρ n,1] 2 p lip (φ n) (35) 2 δ 8 n Cρ,1]2 p lip (φ n) (37) holds, fo each p P and n N. We define φ: 0,1] g, by φ(0) := 0 and φ n+1, n] := ρ n φ n n n N. Then, i is saighfowad o see ha 7 φ n+1,1] D k n+1,1] holds fo each n N, wih n d) n+1 φ n = n+1 φ n+1, n] n N. (38) Moeove, fo k lip, we obain fom (37) ha holds, cf. Appendix C. Lip( p,φ n+1,1]) 2 Cρ,1] 2 max ( δ 8 0 p lip (φ 0 ),...,δ 8 n p lip (φ n ) ) (39) 7 The echnical deails can be found, e.g., in he poof of Lemma 24 in 6]. 19

20 4.2 Poof of Theoem 1 We ae eady fo he Poof of Theoem 1. Suppose ha he claim is wong, i.e., ha G is C k -semiegula fo k N {lip, } bu no Mackey k-coninuous. Then, by Lemma 15, hee exiss a sequence D k {φ n } n N m.k 0 (wih {c s p } p P R 0, {l p } p P N, and R 0 {λ n } n N 0 as in (21) fo φ 0 hee), as well as U G open wih e U, such ha im 0 φ n] U holds fo infiniely many n N. Passing o a subsequence if necessay, we hus can assume ha im 0 φ n] U and λ n 2 (n+1)2 n N (40) holds. We le 0 := 1, and n := 1 n k=1 2 k fo each n N 1 ; so ha δ n = n n+1 = 2 (n+1) holds fo each n N. We consuc φ: 0,1] g as descibed above; and fix V U open wih e V and V V 1 U. Supposenowha wehaveshownhaφisofclassc k ; i.e., haφ D k holdsasgisc k -semiegula. Since 0,1] 0φ G is coninuous, hee exiss some l 1 wih 0 φ V fo each 0, l]; hus, n() (38) n+1 φ n = c) n+1 φ n+1, n] = 0 φ] n+1 0 φ] 1 V V 1 U fo each n+1, n ] wih n l, which conadics (40). To pove he claim, i hus suffices o show ha φ is of class C k : Suppose fis ha k N { } holds. Then, i suffices o show ha lim (0,1] h 0 1/h φ (s) (h p ) = 0 s k holds, because φ is of class C k on (0,1]. Fo his, we le h n+1, n ] fo n N be given; and obseve ha h n+1 = n n+1 + n+1 = 2 (n+1) +1 n+1 k=1 2 k 2 (n+1) holds. Fo p P fixed and n l p, we obain fom (36) (wih δ n = 2 (n+1) ) as well as (40) ha 1/h p ( φ (s) (h) ) 2 n+1 p ( (ρ n φ n n) (s)) holds; which clealy ends o zeo fo n. (36) (s+1) 3 2 ((s+1)2 +1) (n+1) Cρ,s] p s (φ n) (40) (s+1) 3 Cρ,s] c s p 2 ((s+1)2 +1) (n+1) (n+1) 2 = (s+1) 3 Cρ,s] c s p 2(((s+1)2 +1) (n+1)) (n+1) Suppose now ha k lip holds. The pevious poin hen shows φ C 0 (0,1],g). Fo p P fixed, we hus have p (φ) <. We define D p := max ( 2 δ 8 0 p lip (φ 0 ),...,2 δ 8 l p p lip (φ lp ) ), 20

21 and obain fo n l p ha Lip( p,φ n+1,1]) (39) Cρ,1] 2 max ( 2 δ0 8 p lip (φ 0),...,2 δn 8 plip (φ n) ) (21) Cρ,1] 2 max ( D p,c lip p max ( 2 1+8(lp+2) λ lp+1,...,2 1+8(n+1) )) λ n holds; hus, (40) Cρ,1] 2 max ( D p,c lip p max { 2 1+8(l+1) 2 (l+1)2 l p +1 l n }) = Cρ,1] 2 max ( D p,c lip p max { 2 l2 +6l+8 l p +1 l n }) = Cρ,1] 2 max ( D p,c lip p max { 2 17 (l 3)2 l p +1 l n }) Cρ,1] 2 max ( D p,c lip p 2 17) =: L p(φ() φ( )) L, (0,1]. Since φ is coninuous wih φ(0) = 0, fo each 0,1], we also have p(φ(0) φ()) = lim l p(φ(0) φ(1/l)+φ(1/l) φ()) lim l p(φ(1/l)) +lim l p(φ(1/l) φ()) = lim l p(φ(1/l) φ()) lim l L 1/l = L 0. This shows Lip( p,φ) L, i.e., φ C lip (0,1],g). 5 The Song Toe Popey In his Secion, we wan o give a bief applicaion of he noions inoduced so fa. Fo his, we ecall ha a Lie goup G is said o have he song Toe popey iff fo each µ C 1 (0,1],G) wih µ(0) domexp], we have unifomly 8 fo each l > 0. We now will show ha lim n µ(τ/n) n = exp(τ µ(0)) τ 0,l] (41) Poposiion 1. 1) If G is sequenially 0-coninuous, hen G has he song Toe popey. 2) If G is Mackey 0-coninuous, hen (41) holds fo each µ C 1 (0,1],G) wih µ(0) domexp] and δ (µ) C lip (0,1],g). Hee, By Remak 7.5) (and Theoem 1 in 6]), Poposiion 1.1) genealizes Theoem 1 in 7]. By Theoem 1, he pesumpions made in Poposiion 1.2) ae always fulfilled, e.g., if G is C 0 -semiegula, and µ is of class C 2 wih µ(0) domexp]. 8 Thus, fo each neighbouhood U G of e, hee exiss some n U N wih exp( τ µ(0)) µ(τ/n) n U fo each n n U and τ 0,l]. 21

22 We will need he following obsevaions: Le l > 0, µ C 1 (0,1],U) begiven; and defineφ δ (µ), X := µ(0) = φ(0), as well as Then, fo each 0,1/l], we have µ τ : 0,1/l] µ(τ ) G τ 0,l]. δ (µ τ )() τ X (14) = ω((ξ µ τ )(), (Ξ µ τ )()) τ X = τ ω((ξ µ)(τ ), (Ξ µ)(τ )) τ X = τ δ (µ)(τ ) τ X = τ (φ(τ ) X). Fo each p P, τ 0,l], and s 1/l, we hus obain p (δ (µ τ ) 0,s] τ X) = l sup{ p(φ(τ ) φ(0)) 0,s]}; (42) wheeby, fo he case ha φ C lip (0,1],g) holds, we addiionally have We ae eady fo he sup{ p(φ(τ ) φ(0)) 0,s]} s l Lip( p,φ). (43) Poof of Poposiion 1. Le φ δ (µ) and X := µ(0) = φ(0), fo 1) µ C 1 (0,1],G) wih µ(0) domexp] if G is sequenially 0-coninuous. 2) µ C 1 (0,1],G) wih µ(0) domexp] and φ C lip (0,1],g) if G is Mackey 0-coninuous. We suppose ha (41) is wong; i.e., ha hee exiss some l > 0, an open neighbouhood U G of e, a sequence {τ n } n N 0,l], and a sicly inceasing sequence {ι n } n N N 1 l, ) wih exp( τ n X) µ(τ n /ι n ) ιn / U n N. (44) Passing o a subsequence if necessay, we can addiionally assume ha lim n τ n = τ 0,l] exiss. We choose V G open wih e V and V V U, and fix some n V N wih Moeove, fo each n N: We define exp((τ τ n ) X) V n n V. (45) χ n :=δ (µ τn ) 0,1/ιn] D k 0,1/ι n] wih µ τn : 0,1/l] µ( τ n ). We define n,m := m/ι n fo m = 0,...,ι n ; as well as φ n m]: n,m, n,m+1 ] g, χ n ( n,m ) fo m = 0,...,ι n 1. Then, we have 9 φn m] d) = χ n = µ τn (1/ι n ) = µ(τ n /ι n ) m = 0,...,ι n 1. (46) We define φ n DP 0 (0,1],g) by φ n n,m, n,m+1 ) := φ n m] n,m, n,m+1 ) m = 0,...,ι(n) 2, and obain φ n n,ιn 1, n,ιn ] := φ n ι n 1]; (29) φn = n,ιn n,ιn 1 φ n ι n,1 n 1]... n,0 φ n 0] (46) = µ(τ n /ι n ) ιn n N. (47) 9 In he fis sep below, d) is applied wih : n,m, n,m+1] n,m 0,1/ι n]. 22

23 Then, fo each n N and p P, we have p (φ n τ φ X ) p (φ n τ n X)+ p(τ n X τ X) = p ( δ (µ τn ) 0,1/ιn] τ n X ) + τ τ n p(x) (42) l sup{ p(φ(τ n ) φ(0)) 0,1/ι n ]}+ τ τ n p(x). (48) Fo he case ha φ C lip (0,1],g) holds, we fuhemoe obain p (φ n τ φ X ) (48),(43) l 2 /ι n Lip( p,φ)+ τ τ n p(x) (Lip( p,φ)+ p(x)) (l 2 /ι n + τ τ n ) }{{}}{{} c p fo each n N and p P; wheeby lim n λ n = 0 holds. We hus have DP 0 (0,1],g) {φ n } n N s τ φ X as well as DP 0 (0,1],g) {φ n } n N m τ φ X if φ C lip (0,1],g) holds. In boh cases, by Lemma 18, hee exiss some N n V n V wih and we obain fo n n V ha τ φx 0,1] ] 1 (45) V τ φx {}}{ exp( τ n X) µ(τ n /ι n ) ιn = exp ( (τ τ n ) X ) 0,1] ] 1 ( {}}{ exp( τ X) holds, which conadics (44). 6 Diffeeniaion λ n φ n ] V n n V ; (49) (47) = φ n {}}{ µ(τ n /ι n ) ιn ) } {{ } (49) V V V U In his secion, we discuss seveal diffeeniabiliy popeies of he evoluion map. The whole discussion is based on he following genealizaion of Poposiion 7 in 6]. Poposiion 2. Le {ε n } n N C 0 (, ],g), χ C 0 (, ],g), and R 0 {h n } n N 0 be given wih {h n χ+h n ε n } n N D, ], such ha i) lim n ε n () = 0 holds fo each, ], ii) sup{p (ε n ) n N)} < holds fo each p P. Then, he following wo condiions ae equivalen: a) lim n Ξ( h n χ+h n ε n ) = 0. b) lim n 1/h n Ξ ( h ) n χ+h n ε n = (d eξ χ)(s)ds E. The poof of Poposiion 2 will be esablished in Sec We now fis use his poposiion, o discuss he diffeenial of he evoluion maps as well as he diffeeniaion of paamee-dependen inegals. 23

24 6.1 Some Technical Saemens We will need he following vaiaion of Poposiion 2: Coollay 2. Le D ( δ,0) (0,δ) fo δ > 0, {ε h } h D C 0 (, ],g), and χ C 0 (, ],g) be given wih {h χ+h ε h } h D D, ], such ha i) lim h 0 ε h () = 0 holds fo each, ], ii) sup{p (ε h ) h ( δ p,0) (0,δ p )} < holds fo some 0 < δ p δ, fo each p P. Then, he following condiions ae equivalen: 10 a) lim h 0 Ξ( h χ+h ε h) = 0. b) lim n Ξ( h n χ+h n ε hn ) = 0 fo each sequence D {h n } n N 0. c) lim n 1/h ( n Ξ h ) n χ+h n ε hn = (d eξ χ)(s)ds E fo each sequence D {h n } n N 0. d d) dh h=0 Ξ( h χ+h ε h) = (d eξ χ)(s)ds E. Poof. By Lemma 1 (applied o (G, +) ( E, +) hee), a) is equivalen o b). Moeove, by Poposiion 2, b) is equivalen o c), because Condiion i) implies Condiion i) in Poposiion 2, fo ε n ε hn hee, Condiion ii) implies Condiion ii) in Poposiion 2, fo ε n ε hn hee. Finally, by Lemma 1 (applied o (G,+) (E,+) hee), c) is equivalen o d). Lemma 19. Suppose ha G is Mackey k-coninuous fo k N {lip,,c}. Suppose fuhemoe ha we ae given D k, ] {φ n} n N m.k φ D k, ] as well as D k, ] {ψ n} n N s.0 ψ D k, ] fo, ] K, such ha he expessions ξ(φ,ψ) := d e L ξ(φ m,φ n ) := d e L φ( Ad s φ] 1(ψ(s))ds) φ m ( Ad s φm] 1(ψ n(s))ds ) n N ae well defined; i.e., such ha he occuing Riemann inegals exis in g. Then, we have lim (m,n) (, ) ξ(φ n,φ m ) = ξ(φ,ψ). (50) Poof. This follows by he same agumens as in Coollay 13 and Lemma 41 in 6]. Fo compleeness, he adaped agumenaion is povided in Appendix D. 6.2 The Diffeenial of he Evoluion Map We now discuss he diffeenial of he evoluion map fo which we ecall he convenions fixed in Remak 3. Then, Coollay 2 (wih ε h 0 hee) povides us wih Poposiion 3. Suppose ha (φ,ψ) is admissible, wih domφ],domψ] =, ]. 1) The pai (φ,ψ) is egulaed iff we have d dh h=0 Ξ( φ] 1 φ+h ψ]) = (d eξ Ad s φ] 1)(ψ(s))ds E. 2) If (φ,ψ) is egulaed, hen ( δ,δ) h φ +h ψ G is diffeeniable a h = 0 (fo δ > 0 suiably small) iff Ad s φ] 1(ψ(s))ds g holds. In his case, we have d h=0 φ+h ψ = de L φ( Ad s φ] 1(ψ(s))ds).(51) dh 10 Recall Remak 2 fo he noaion used in d). 24

25 Poof. 1) Fo h < δ, wih δ > 0 suiably small, we have Ξ ( φ] 1 φ+h ψ]) b) = Ξ ( h =:χ {}}{ Ad φ] 1(ψ)), ]. (52) We obain fom he Equivalence of a) and d) in Coollay 2 fo ε h 0 hee ha (hid sep) (52) (52) lim h 0 lim h 0 Ξ( φ+h ψ = φ φ] 1 φ+h ψ]) = 0 lim h 0 Ξ( h χ) = 0 d dh h=0 Ξ( h χ) = (d eξ χ)(s)ds E d dh h=0 Ξ( φ] 1 φ+h ψ]) = (d eξ Ad s φ] 1)(ψ(s))ds E. 2) The saemen is saighfowad fom Remak 3, cf. Appendix E The Non-Consan Case Combining Poposiion 3 wih Theoem 1 and Lemma 16, we obain Theoem 2. Suppose ha G is C k -semiegula fo k N {lip, }. Then, evol k is diffeeniable iff g is k-complee. In his case, evol k, ] is diffeeniable fo each, ] K, wih d φ evol k, ] (ψ) = d el φ( Ad s φ] 1(ψ(s))ds) φ,ψ C k (, ],g). In paicula, a) d φ evol k, ] : Ck (, ],g) T φg is linea and C 0 -coninuous fo each φ C k (, ],g). b) we have lim (m,n) (, ) d φm evol k, ] (ψ n) = d φ evol k, ] (ψ) fo all sequences {φ m } n N m.k φ, {ψ n } m N s.0 ψ. Poof. The fis pa is clea fom Theoem 1, Lemma 16, Remak 4, and Poposiion 3.2). Then, b) is clea fom Lemma 19. Moeove, (by he fis pa) d φ evol k, ] is linea; wih (cf. (3)) d φ evol k, ] (ψ) = d ( φ,e) m(0,γ φ (ψ)) fo Γ φ : C k (0,1],g) ψ Ad s φ] 1(ψ(s))ds g. Then, since Γ φ is C 0 -coninuous by (9) and I), a) is clea fom smoohness of he Lie goup muliplicaion. Coollay 3. Suppose ha G is C k -semiegula fo k N {lip, }, and ha g is k-complee. Then, µ: R h φ+h ψ is of class C 1 fo each φ,ψ C k (, ],g) and, ] K. Poof. Theoem 1 and Lemma 16 show ha µ is coninuous. Moeove, fo each R, and each sequence {h n } n N 0, we have {φ+(+h n ) ψ} n N m.k (φ+ ψ); hus, lim n µ(+h n ) = lim n d φ+(+hn) ψ evol k, ] (ψ) = d φ+ ψ evol k, ](ψ) = µ() by Theoem 2.b). This shows ha µ is coninuous, i.e., ha µ is of class C 1. Remak 9. 25

26 1) I is saighfowad fom Coollay 3, he diffeeniaion ules d) and c), as well as (3), (12), c), and e) (fo Ψ Conj g hee) ha (51) also holds fo all φ,ψ DP k (, ],g), fo each, ] K. 2) Expecably, µ as defined Coollay 3 is even of class C. A deailed poof of his fac, howeve, would equie fuhe echnical pepaaion which we don wan o cay ou a his poin. 3) Expecably, he equivalence lim h 0 Ξ( h χ) = 0 d dh h=0 Ξ( h χ) = (d eξ χ)(s)ds E also holds fo χ DP 0 (, ],g) and hus, Poposiion 3 in an adaped fom. This migh be shown by he same agumens (Taylo expansion) as used in he poof of Lemma 7 in 6] (cf. Lemma 4) addiionally effoing he fac ha fo n N fixed, f: G n G, (g 1,...,g n ) g 1... g n is smooh, wih d (e,...,e) f(x 1,...,X n ) = X X n fo all X 1,...,X n g. The deails, howeve, appea o be quie echnical, so ha we leave his issue o anohe pape The Exponenial Map We ecall he convenions fixed in Sec Specifically, ha exp = evol c 0,1] i domexp] holds. Then, Poposiion 3.2), fo k c and, ] 0,1] hee, eads Coollay 4. Suppose ha (i(x),i(y )) is egulaed fo X,Y g. Then, ( δ,δ) h exp(x + h Y) is diffeeniable a h = 0 (fo δ > 0 suiably small) iff Ad exp( s X) (Y)ds g holds. In his case, we have ( d h=0 exp(x +h Y) = d e L exp(x) Adexp( s X) (Y)ds ). Remak 10. dh 1) Suppose ha G admis an exponenial map; and ha G is weakly c-coninuous. Then, Coollay 4 shows ha ( d h=0 exp(x +h Y) = d e L exp(x) Adexp( s X) (Y)ds ) X,Y g (53) dh holds iff g is c-complee. Fo insance, G is weakly c-coninuous, and g is c-complee if exp: g G is of class C 1, by Remak 7.1), Remak 7.5), and Coollay 4. G is abelian, by Coollay 1 and Remak 4. 2) Suppose ha g is c-complee; and ha G admis a coninuous exponenial map. Then, G is C c -semiegula; as well as G is weakly c-coninuous by Remak 7.1) and Remak 7.5). Moe fomally, (53) hen eads d φ evol c (ψ) = d e L φ( Ad s ψ] 1(ψ(s))ds) φ,ψ C c (0,1],g). (54) The same agumens as in 6] hen show ha evol c (hus exp) is of class C 1. Moe specifically, one has o eplace Lemma 23 by Lemma 11 in he poof of Lemma 41 in 6]. Then, subsiuing Equaion (95) in 6] by (54), he poof of Coollay 13 in 6] jus caies ove o he case whee k c holds (a simila adapion has been done in he poof of Lemma 19). As in he Lipschiz case, cf. Remak 7 in 6], i is o be expeced ha a (quie elaboae and echnical) inducion shows ha exp is even smooh if g is Mackey complee (o, moe geneally, if all he occuing ieaed Riemann inegals exis in g). 26

27 6.3 Inegals wih Paamees The following heoem genealizes Theoem 5 in 6] wih significanly simplified poof. Theoem 3. Suppose ha G is Mackey k-coninuous fo k N {lip,,c} addiionally abelian if k c holds. Le Φ: I, ] g (I R open) be given wih Φ(z, ) D k, ] fo each z I. Then, d dh h=0 Ξ( Φ(x, )] 1 Φ(x+h, )]) = (d eξ Ad s Φ(x, )] 1)( zφ(x,s))ds E holds fo x I, povided ha a) We have ( z Φ)(x, ) C k (, ],g). 11 b) Fo each p P and s k, hee exiss L p,s 0, as well as I p,s I open wih x I p,s, such ha 1/ h p s (Φ(x+h, ) Φ(x, )) L p,s h I p,s x. In paicula, we have d h=0 Φ(x+h, ) = de L Φ(x, )( Ad s Φ(x, )] 1( zφ(x,s))ds ) dh iff he Riemann inegal on he igh side exiss in g. Poof. The las saemen follows fom he fis saemen and Lemma 4 jus as in he poof of Poposiion 3.2). Now, fo x+h I, we have Φ(x+h,) = Φ(x,)+h z Φ(x,)+h ε(x+h,), ], wih ε: I, ] g such ha i) lim h 0 ε(x+h,) = ε(x,) = 0, ], ii) p s (ε(x+h, )) L p,s + p s (( z Φ)(x, )) =: C p,s < h I p,s x fo all p P, s k. We le α := Φ(x, ); and obain Φ(x, )] 1 Φ(x+h, )] = ψ h { }} { h Ad α 1( z Φ(x, )) }{{} χ +h Ad α 1(ε(x+h, )) }{{} ε h (55) wih ψ h D k, ], because ou pesumpions ensue ha χ,ε h C k (, ],g) holds. By Lemma 7 and Lemma 8, fo each p P and s k, hee exiss some p q P wih 12 p s (ψ h) h q s ( zφ(x, )+ε(x+h, )) b) h L q,s h I q,s x. Fo each fixed sequence I q,s x {h n } n N 0, we hus have ψ hn m.k 0. Since G is Mackey k-coninuous, his implies lim n Ξ( h n χ+h n ε hn ) lim n Ξ( ψ h n ) = 0. (56) Now, fo δ > 0 such small ha D ( δ,0) (0,δ) I {x} holds, by i) and ii), {ε h } h D fulfills he pesumpions in Coollay 2. We hus have lim h 0 Ξ( Φ(x, )] 1 Φ(x+h, )]) = (d eξ Ad s Φ(x, )] 1)( zφ(x,s))ds E by (55), (56), as well as he equivalence of b) and d) in Coollay Moe pecisely, his means ha fo each, ], he map I z Φ(z,) is diffeeniable a z = x wih deivaive ( zφ)(x,), such ha ( zφ)(x, ) C k (, ],g) holds. The lae condiion in paicula ensues ha p s (( zφ)(x, )) < holds fo each p P and s k, cf. ii). 12 If k c holds, we can jus choose s 0 and q p, because G is pesumed o be abelian in his case. 27

28 We immediaely obain Coollay 5. Suppose ha G is C k -semiegula fo k N {lip, }; and ha g is k-complee. Le Φ: I, ] g (I R open) be given wih Φ(z, ) D k, ] fo each z I. Then, d dh h=0 Φ(x+h, ) = de L Φ(x, )( Ad s Φ(x, )] 1( zφ(x,s))ds ) holds fo x I, povided ha he condiions a) and b) in Theoem 3 ae fulfilled. Poof. This is clea fom Theoem 1 and Theoem 3. We fuhemoe obain he following genealizaion of Coollay 11 in 6]. Coollay 6. Suppose ha G is Mackey k-coninuous fo k {,c} addiionally abelian if k c holds. Suppose fuhemoe ha X: I domexp] g is of class C 1 ; and define α := exp X. Then, fo x I, we have ( d 1 dh h=0 α(x+h) = d e L exp(x(x)) 0 Adexp( s X(x))(Ẋ(x))ds), povided ha he Riemann inegal on he igh side exiss in g. If his is he case fo each x I, hen α is of class C 1. Poof. We le Φ: I 0,1] (z,) X(z); and obseve ha α(z) = Φ(z, ) holds fo each z I. Then, he fis saemen is clea fom Theoem 3. Fo he second saemen, we suppose ha α(x) = d e L exp(x(x)) ( 1 0 Ad exp( s X(x))(Ẋ(x))ds) x I is well defined; i.e., ha he Riemann inegal on he igh side exiss fo each x I. We fix x I and δ > 0 wih x δ,x+δ] I; and obseve ha p(x(x+h) X(x)) h sup{ p(ẋ(z)) z x δ,x+δ]} p P, h δ holds by (8). Fo each sequence I {h n } n N 0, we hus have D c {φ n } n N m.k φ D c fo φ := i(x(x)) and φ n := i(x(x+h n )) n N. Moeove, since X is of class C 1, we have D c {ψ n } n N s.0 ψ D c fo ψ := i(ẋ(x)) and ψ n := i(ẋ(x+h n)) n N; so ha Lemma 19 shows lim n α(x+h n ) = lim (n,n) (, ) ξ(φ n,ψ n ) = ξ(φ,ψ) = α(x). This shows ha α is coninuous a x. Since x I was abiay, i follows ha α is of class C 1. Fo insance, we obain he following genealizaion of Remak 2.3) in 6]. Example 1. Suppose ha G is Mackey c-coninuous and abelian. Then, fo each φ C 0 (, ],g) wih, ] φ(s)ds domexp], we have, cf. Appendix F φ = exp ( φ(s)ds ). (57) In paicula, if G admis an exponenial map, hen G is C k -semiegula fo k N {lip, } if g is k-complee. 28

29 6.4 Diffeeniaion a Zeo In his subsecion, we pove Poposiion 2. We sa wih some geneal emaks: Le, ] K and χ C 0 (, ],g) be given. Fo m 1 fixed, we define k := +k/m fo k = 0,...,m; as well as X k := χ( k ) fo k = 0,...,m 1. We fuhemoe define χ m C 0 (, ],g) by χ m () := X 0 and χ m () = X k + k / k+1 k (X k+1 X k ) ( k, k+1 ], k = 0,...,m 1. Then, {χ m } m 1 C 0 (, ],g) consuced in his way, admis he following popeies: a) We have lim m p (χ χ m ) = 0 fo each p P. b) We have γ h,m := h d e Ξ( χ m(s)ds) E fo each h R and m 1. c) Since imχ] g is bounded, also {imχ m ]} m 1 g, {imd e Ξ( χ m(s) ds)]} m 1 E ae bounded. Thus, Fo each p P, hee exiss some C p > 0 wih p (γ h,m ) h C p h R, m 1. (58) Fo δ > 0 suiably small, µ h,m := Ξ 1 γ h,m C 1 (, ],G) is well defined fo each h δ, m 1; and we define χ h,m :=δ (µ h,m ) (14) = h ω(γ h,m,d e Ξ(χ m )) h δ, m 1. (59) Moeove, fo each fixed open neighbouhood V G of e, hee exiss some 0 < δ V δ wih V µ h,m Modifying he poof of Poposiion 7 in 6], we obain he Poof of Poposiion 2. Suppose fis ha b) holds; and le A := Ξ( h n χ+h n ε n ) χ h,m h δ V, m 1. (60) B := (d eξ χ)(s)ds. Then, a) is clea fom p (A) h n p (1/h n A B)+ h n p (B). Suppose now ha a) holds i.e. ha we have lim n Ξ( ψ n) = 0 wih ψ n := h n χ+h n ε n n N. We now have o show ha fo p P fixed, he expession ( n := 1/ h n p Ξ( ψ n) h n d eξ(χ(s))ds ) ends o zeo fo n. Fo his, we choose p q P and e V G as in Lemma 10; and le {χ m } m 1, {χ h,m } m 1, {γ h,m } m 1, {µ h,m } m 1, δ V > 0 29