Differentiability of the evolution map and Mackey continuity

DOI10.1515/FORUM-2018-0310MaRDI QIDQ2335852zbMATH OpenOpenAlexFDO

Authors Maximilian Hanusch

Publication date 15 November 2019

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1812.08777

zbMATH Keywords

differentiabilityevolution mapinfinite-dimensional Lie groupsregularitystrong Trotter property

Mathematics Subject Classification ID

General properties and structure of complex Lie groups (22E10) Infinite-dimensional Lie groups and their Lie algebras: general properties (22E65) Group structures and generalizations on infinite-dimensional manifolds (58B25) Differentiation theory (Gateaux, Fréchet, etc.) on manifolds (58C20)

Abstract: We solve the differentiability problem for the evolution map in Milnor's infinite dimensional setting. We first show that the evolution map of each $C^k$-semiregular Lie group $G$ (for $kinmathbbNsqcupmathrmlip,infty$) admits a particular kind of sequentially continuity $-$ called Mackey k-continuity. We then prove that this continuity property is strong enough to ensure differentiability of the evolution map. In particular, this drops any continuity presumptions made in this context so far. Remarkably, Mackey k-continuity arises directly from the regularity problem itself, which makes it particular among the continuity conditions traditionally considered. As an application of the introduced notions, we discuss the strong Trotter property in the sequentially-, and the Mackey continuous context. We furthermore conclude that if the Lie algebra of $G$ is a Fr'{e}chet space, then $G$ is $C^k$-semiregular (for $kinmathbbNsqcupinfty$) if and only if $G$ is $C^k$-regular.

Review text

Let \(G\) be an infinite-dimensional Lie group that is modeled over a Hausdorff locally convex vector space \(E\) and \(\mathfrak{g}\) the Lie algebra of \(G\). The paper under review shows that, in the case \(G\) is \(C^0\)-semiregular, the evolution map for \(G\) is differentiable if and only if \(\mathfrak{g}\) integral complete. Furthermore, if \(G\) is \(C^k\)-semiregular, for some \(k\), then it is shown that the \(k\)-th evolution map is differentiable if and only if \(\mathfrak{g}\) is Mackey complete. The derivative of the (\(k\)-th) evolution map is given fairly explicitly. As an application, the strong Trotter property in the sequentially and the Mackey continuous context is discussed. In case \(\mathfrak{g}\) is a Fréchet space, it is shown that \(G\) is \(C^k\)-semiregular if and only if \(G\) is \(C^k\)-regular.

Recommendations

• Regularity of Lie groups
• The regularity problem for Lie groups with asymptotic estimate Lie algebras
• Regularity of infinite-dimensional Lie groups by metric space methods
• The strong Trotter property for locally \(\mu \)-convex Lie groups
• Semigroups of differentiable operators

Cites work

• Differentiable vectors and unitary representations of Fréchet-Lie supergroups
• Half-Lie groups
• scientific article; zbMATH DE number 1664342 (Why is no real title available?)
• scientific article; zbMATH DE number 3955268 (Why is no real title available?)
• scientific article; zbMATH DE number 3730702 (Why is no real title available?)
• scientific article; zbMATH DE number 1014181 (Why is no real title available?)
• scientific article; zbMATH DE number 1021609 (Why is no real title available?)
• scientific article; zbMATH DE number 1077733 (Why is no real title available?)
• scientific article; zbMATH DE number 1858015 (Why is no real title available?)
• Lie groups
• Lie Groups of Measurable Mappings
• On regular Frechet-Lie groups. IV: Definition and fundamental theorems
• Regularity of Lie groups
• Semi-bounded unitary representations of infinite-dimensional Lie groups
• The inverse function theorem of Nash and Moser
• The regularity problem for Lie groups with asymptotic estimate Lie algebras
• The strong Trotter property for locally \(\mu \)-convex Lie groups
• Towards a Lie theory of locally convex groups
• Upper bounds for continuous seminorms and special properties of bilinear maps

Cited in

(7)

• On a class of regular Fréchet-Lie groups
• Regularity of Lie groups
• The regularity problem for Lie groups with asymptotic estimate Lie algebras
• The Lax equation and weak regularity of asymptotic estimate Lie groups
• The strong Trotter property for locally \(\mu \)-convex Lie groups
• Continuity of formal power series products in nonlinear control theory
• Geometry of infinite dimensional Cartan developments

This page was built for publication: Differentiability of the evolution map and Mackey continuity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2335852)