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

regularitydifferentiabilityinfinite-dimensional Lie groupsevolution mapstrong 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.

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

• 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?)
• Differentiable vectors and unitary representations of Fréchet-Lie supergroups
• Half-Lie groups
• Lie Groups of Measurable Mappings
• Lie groups
• 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

(6)

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

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)