Differentiability of the evolution map and Mackey continuity (Q2335852)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Differentiability of the evolution map and Mackey continuity |
scientific article |
Statements
Differentiability of the evolution map and Mackey continuity (English)
0 references
15 November 2019
0 references
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.
0 references
infinite-dimensional Lie groups
0 references
regularity
0 references
differentiability
0 references
evolution map
0 references
strong Trotter property
0 references