-
The Lax Equation and Weak Regularity of Asymptotic Estimate Lie Groups
Authors:
Maximilian Hanusch
Abstract:
We investigate the Lax equation in the context of infinite-dimensional Lie algebras. Explicit solutions are discussed in the sequentially complete asymptotic estimate context, and an integral expansion (sums of iterated Riemann integrals over nested commutators with correction term) is derived for the situation that the Lie algebra is inherited by an infinite-dimensional Lie group in Milnor's sens…
▽ More
We investigate the Lax equation in the context of infinite-dimensional Lie algebras. Explicit solutions are discussed in the sequentially complete asymptotic estimate context, and an integral expansion (sums of iterated Riemann integrals over nested commutators with correction term) is derived for the situation that the Lie algebra is inherited by an infinite-dimensional Lie group in Milnor's sense. In the context of Banach Lie groups (and Lie groups with suitable regularity properties), we generalize the Baker-Campbell-Dynkin-Hausdorff formula to the product integral (with additional nilpotency assumption in the non-Banach case). We combine this formula with the results obtained for the Lax equation to derive an explicit representation of the product integral in terms of the exponential map. An important ingredient in the non-Banach case is an integral transformation that we introduce. This transformation maps continuous Lie algebra-valued curves to smooth ones and leaves the product integral invariant. This transformation is also used to prove a regularity statement in the asymptotic estimate context.
△ Less
Submitted 8 April, 2023; v1 submitted 7 June, 2020;
originally announced June 2020.
-
A $\mathcal{C}^k$-Seeley-Extension-Theorem for Bastiani's Differential Calculus
Authors:
Maximilian Hanusch
Abstract:
We generalize a classical extension result by Seeley in the context of Bastiani's differential calculus to infinite dimensions. The construction follows Seeley's original approach, but is significantly more involved as not only $C^k$-maps (for $k\in \mathbb{N}\cup\{\infty\}$) on (subsets of) half spaces are extended, but also continuous extensions of their differentials to some given piece of boun…
▽ More
We generalize a classical extension result by Seeley in the context of Bastiani's differential calculus to infinite dimensions. The construction follows Seeley's original approach, but is significantly more involved as not only $C^k$-maps (for $k\in \mathbb{N}\cup\{\infty\}$) on (subsets of) half spaces are extended, but also continuous extensions of their differentials to some given piece of boundary of the domains under consideration. A further feature of the generalization is that we construct families of extension operators (instead of only one single extension operator) that fulfill certain compatibility (and continuity) conditions. Various applications are discussed as well.
△ Less
Submitted 23 February, 2023; v1 submitted 12 February, 2020;
originally announced February 2020.
-
Differentiability of the Evolution Map and Mackey Continuity
Authors:
Maximilian Hanusch
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 $k\in \mathbb{N}\sqcup\{\mathrm{lip},\infty\}$) admits a particular kind of sequentially continuity $-$ called Mackey k-continuity. We then prove that this continuity property is strong enough to ensure differentiab…
▽ More
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 $k\in \mathbb{N}\sqcup\{\mathrm{lip},\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échet space, then $G$ is $C^k$-semiregular (for $k\in \mathbb{N}\sqcup\{\infty\}$) if and only if $G$ is $C^k$-regular.
△ Less
Submitted 6 September, 2019; v1 submitted 20 December, 2018;
originally announced December 2018.
-
The Regularity Problem for Lie Groups with Asymptotic Estimate Lie Algebras
Authors:
Maximilian Hanusch
Abstract:
We solve the regularity problem for Milnor's infinite dimensional Lie groups in the asymptotic estimate context. Specifically, let $G$ be a Lie group with asymptotic estimate Lie algebra $\mathfrak{g}$, and denote its evolution map by $\mathrm{evol}\colon \mathrm{D}\equiv \mathrm{dom}[\mathrm{evol}]\rightarrow G$, i.e., $\mathrm{D}\subseteq C^0([0,1],\mathfrak{g})$. We show that $\mathrm{evol}$ is…
▽ More
We solve the regularity problem for Milnor's infinite dimensional Lie groups in the asymptotic estimate context. Specifically, let $G$ be a Lie group with asymptotic estimate Lie algebra $\mathfrak{g}$, and denote its evolution map by $\mathrm{evol}\colon \mathrm{D}\equiv \mathrm{dom}[\mathrm{evol}]\rightarrow G$, i.e., $\mathrm{D}\subseteq C^0([0,1],\mathfrak{g})$. We show that $\mathrm{evol}$ is $C^\infty$-continuous on $\mathrm{D}\cap C^\infty([0,1],\mathfrak{g})$ if and only if $\mathrm{evol}$ is $C^0$-continuous on $\mathrm{D}\cap C^0([0,1],\mathfrak{g})$. We furthermore show that $G$ is k-confined for $k\in \mathbb{N}\sqcup\{\mathrm{lip},\infty\}$ if $G$ is constricted. (The latter condition is slightly less restrictive than to be asymptotic estimate.) Results obtained in a previous paper then imply that an asymptotic estimate Lie group $G$ is $C^\infty$-regular if and only if it is Mackey complete, locally $μ$-convex, and has Mackey complete Lie algebra - In this case, $G$ is $C^k$-regular for each $k\in \mathbb{N}_{\geq 1}\sqcup\{\mathrm{lip},\infty\}$ (with ``smoothness restrictions'' for $k\equiv\mathrm{lip}$), as well as $C^0$-regular if $G$ is even sequentially complete with integral complete Lie algebra.
△ Less
Submitted 24 January, 2020; v1 submitted 29 April, 2018;
originally announced April 2018.
-
The Strong Trotter Property for Locally $μ$-convex Lie Groups
Authors:
Maximilian Hanusch
Abstract:
We show that an infinite dimensional Lie group in Milnor's sense has the strong Trotter property if it is locally $μ$-convex. This is a continuity condition imposed on the Lie group multiplication that generalizes the triangle inequality for locally convex vector spaces, and is equivalent to $C^0$-continuity of the evolution map on its domain. In particular, the result proven in this paper signifi…
▽ More
We show that an infinite dimensional Lie group in Milnor's sense has the strong Trotter property if it is locally $μ$-convex. This is a continuity condition imposed on the Lie group multiplication that generalizes the triangle inequality for locally convex vector spaces, and is equivalent to $C^0$-continuity of the evolution map on its domain. In particular, the result proven in this paper significantly extends the respective result obtained by Glöckner in the context of measurable regularity.
△ Less
Submitted 19 February, 2020; v1 submitted 24 February, 2018;
originally announced February 2018.
-
Regularity of Lie Groups
Authors:
Maximilian Hanusch
Abstract:
We solve the regularity problem for Milnor's infinite dimensional Lie groups in the $C^0$-topological context, and provide necessary and sufficient regularity conditions for the (standard) $C^k$-topological setting. We prove that the evolution map is $C^0$-continuous on its domain $\textit{iff}\hspace{1pt}$ the Lie group $G$ is locally $μ$-convex. We furthermore show that if the evolution map is d…
▽ More
We solve the regularity problem for Milnor's infinite dimensional Lie groups in the $C^0$-topological context, and provide necessary and sufficient regularity conditions for the (standard) $C^k$-topological setting. We prove that the evolution map is $C^0$-continuous on its domain $\textit{iff}\hspace{1pt}$ the Lie group $G$ is locally $μ$-convex. We furthermore show that if the evolution map is defined on all smooth curves, then $G$ is Mackey complete. Under the assumption that $G$ is locally $μ$-convex, we show that each $C^k$-curve for $k\in \mathbb{N}_{\geq 1}\sqcup\{\mathrm{lip},\infty\}$ is integrable (contained in the domain of the evolution map) $\textit{iff}\hspace{1pt}$ $G$ is Mackey complete and $\mathrm{k}$-confined. The latter condition states that each $C^k$-curve in the Lie algebra $\mathfrak{g}$ of $G$ can be uniformly approximated by a special type of sequence that consists of piecewise integrable curves. A similar result is proven for the case $k\equiv 0$; and, we provide several mild conditions that ensure that $G$ is $\mathrm{k}$-confined for each $k\in \mathbb{N}\sqcup\{\mathrm{lip},\infty\}$. We finally discuss the differentiation of parameter-dependent integrals in the (standard) $C^k$-topological context. In particular, we show that if the evolution map is defined and continuous on $C^k([0,1],\mathfrak{g})$ for $k\in \mathbb{N}\sqcup\{\infty\}$, then it is smooth thereon $\textit{iff}\hspace{1pt}$ it is differentiable at zero $\textit{iff}\hspace{1pt}$ $\mathfrak{g}$ is $\hspace{0.2pt}$ Mackey$\hspace{1pt}/ \hspace{1pt}$integral$\hspace{1pt}$ complete for $k\in \mathbb{N}_{\geq 1}\sqcup\{\infty\}\hspace{1pt}/\hspace{1pt}k\equiv 0$. This result is obtained by calculating the directional derivatives explicitly, recovering the standard formulas that hold, e.g., in the Banach case.
△ Less
Submitted 1 August, 2022; v1 submitted 9 November, 2017;
originally announced November 2017.
-
Decompositions of Analytic 1-Manifolds
Authors:
Maximilian Hanusch
Abstract:
In a previous article, analytic 1-submanifolds had been classified w.r.t. their symmetry under a given regular and separately analytic Lie group action on an analytic manifold. It was shown that such an analytic 1-submanifold is either free or (via the exponential map) analytically diffeomorphic to the unit circle or an interval. In this paper, we show that each free analytic 1-submanifold is disc…
▽ More
In a previous article, analytic 1-submanifolds had been classified w.r.t. their symmetry under a given regular and separately analytic Lie group action on an analytic manifold. It was shown that such an analytic 1-submanifold is either free or (via the exponential map) analytically diffeomorphic to the unit circle or an interval. In this paper, we show that each free analytic 1-submanifold is discretely generated by the symmetry group, i.e., naturally decomposes into countably many symmetry free segments that are mutually and uniquely related by the Lie group action. This is proven under the assumption that the action is non-contractive (which is less restrictive than regular and separately analytic).
△ Less
Submitted 17 October, 2022; v1 submitted 26 January, 2016;
originally announced January 2016.
-
Symmetries of Analytic Curves
Authors:
Maximilian Hanusch
Abstract:
Analytic curves are classified w.r.t. their symmetry under a regular and separately analytic Lie group action on an analytic manifold. We show that an analytic curve is either exponential or splits into countably many analytic immersive curves, each of them discretely generated by the symmetry group (i.e., each such curve naturally decomposes into countably many symmetry free subcurves that are mu…
▽ More
Analytic curves are classified w.r.t. their symmetry under a regular and separately analytic Lie group action on an analytic manifold. We show that an analytic curve is either exponential or splits into countably many analytic immersive curves, each of them discretely generated by the symmetry group (i.e., each such curve naturally decomposes into countably many symmetry free subcurves that are mutually and uniquely related by the Lie group action). We additionally extend the classification result to the analytic 1-submanifold case. Specifically, we show that an analytic 1-submanifold is either free or (exponential, i.e.) analytically diffeomorphic (via the exponential map) to the unit circle or an interval. The corresponding decomposition results in the free case are outlined in this paper, but proven in a separate one.
△ Less
Submitted 17 October, 2022; v1 submitted 25 January, 2016;
originally announced January 2016.
