Related papers: Regularity properties of infinite-dimensional Lie …

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…

We consider differential equations of the form y'(t)=f(t,y(t)) on a (possibly infinite-dimensional) Lie group G, for f : [0,1] x G -> TG a time-dependent left invariant vector field with measurable (but not necessarily continuous)…

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…

Regular Lie groups are infinite dimensional Lie groups with the property that smooth curves in the Lie algebra integrate to smooth curves in the group in a smooth way (an `evolution operator' exists). Up to now all known smooth Lie groups…

For $p\in [1,\infty]$, we define a smooth manifold structure on the set $AC_{L^p}([a,b],N)$ of absolutely continuous functions $\gamma\colon [a,b]\to N$ with $L^p$-derivatives for all real numbers $a<b$ and each smooth manifold $N$ modeled…

If G is a Lie group modeled on a Fr\'echet space, let e be its neutral element and g be its Lie algebra. We show that every strong ILB-Lie group G is L^1-regular in the sense that each f in L^1([0,1],g) is the right logarithmic derivative…

Let $M$ be a compact, real analytic manifold and $G$ be the Lie group of all real-analytic diffeomorphisms of $M$, which is modelled on the space ${\mathfrak g}$ of real-analytic vector fields on $M$. We study flows of time-dependent…

For a compact convex subset K with non-empty interior in a finite-dimensional vector space, let G be the group of all smooth diffeomorphisms of K which fix the boundary of K pointwise. We show that G is a C^0-regular infinite-dimensional…

Let G be a regular Lie group which is a directed union of regular Lie groups G_i (all modelled on possibly infinite-dimensional, locally convex spaces). We show that G is the direct limit of the G_i as a regular Lie group whenever G admits…

If G is a Lie group, let D(G) be the space of compactly supported smooth functions on G. Consider the bilinear map B : D(G) x D(G) -> D(G), (f,g) |-> f*g which takes a pair of test functions to their convolution. We show that B is…

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…

We endow the diffeomorphism group of a paracompact (reduced) orbifold with the structure of an infinite dimensional Lie group modelled on the space of compactly supported sections of the tangent orbibundle. For a second countable orbifold,…

It is a basic fact in infinite-dimensional Lie theory that the unit group G(A) of a continuous inverse algebra A is a Lie group. We describe criteria ensuring that the Lie group G(A) is regular in Milnor's sense. Notably, G(A) is regular if…

Half Lie groups exist only in infinite dimensions: They are smooth manifolds and topological groups such that right translations are smooth, but left translations are merely required to be continuous. The main examples are groups of $H^s$…

We study Lie group structures on groups of the form C^\infty(M,K)}, where M is a non-compact smooth manifold and K is a, possibly infinite-dimensional, Lie group. First we prove that there is at most one Lie group structure with Lie algebra…

A result of Gevrey regularity is ascertained for a semigroup which models a fluid-structure interaction problem. In this model, the fluid evolves in a piecewise smooth or convex geometry $\mathcal{O}$. On a portion of the boundary, a fourth…

We prove the following regularity result: If M and M' are smooth generic submanifolds of C^N and C^N' respectively, where N and N' are not necessarily equal, and if M is minimal, then every C^k-CR-map from M into M^\prime which is…

We show that a continuous local semiflow of $C^k$-maps on a finite-dimensional $C^k$-manifold M can be embedded into a local $C^k$-flow on M under some weak (necessary) assumptions. This result is applied to an open problem in [fil/tei:01].…

Let $E$ be a finite-dimensional real vector space and $M\subseteq E$ be a convex polytope with non-empty interior. We turn the group of all $C^\infty$-diffeomorphisms of $M$ into a regular Lie group.

In this paper we study the Lie theoretic properties of a class of topological groups which carry a Banach manifold structure but whose multiplication is not smooth. If $G$ and $N$ are Banach-Lie groups and $\pi : G \to \mathrm{Aut}(N)$ is a…