绝对连续函数流形及其在无穷维流形上的正则性属性以及半李群的规律性

Manifolds of absolutely continuous functions with values in an infinite-dimensional manifold and regularity properties of half-Lie groups

摘要 Abstract

对于$p\in[1,\infty]$,我们定义了集合$AC_{L^p}([a,b],N)$上的光滑流形结构,其中$\gamma\colon[a,b]\to N$为绝对连续函数且具有$L^p$-导数,对于所有实数$a<b$及每个以序列完备局部凸拓扑向量空间为模型的光滑流形$N$成立,并且$N$允许存在局部加法。讨论了绝对连续函数空间之间自然映射的光滑性,例如超级位置算子$AC_{L^p}([a,b],N_1)\to AC_{L^p}([a,b],N_2)$,$\eta\mapsto f\circ \eta$,其中$f\colon N_1\to N_2$为光滑映射。当$1\leq p <\infty$且$r\in \mathbb{N}$时,证明了右半李群$\text{Diff}_K^r(\mathbb{R})$和$\text{Diff}^r(M)$是$L^p$-半正则的。这里,$K$是$\mathbb{R}$中的紧集,而$M$是紧致光滑流形。一个$L^p$-半正则的半李群$G$允许有演化映射$\text{Evol}:L^p([0,1],T_e G)\to AC_{L^p}([0,1],G)$,其中$e$是$G$的单位元。对于上述例子,演化映射$\text{Evol}$是连续的。

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 on a sequentially complete locally convex topological vector space, such that $N$ admits a local addition. Smoothness of natural mappings between spaces of absolutely continuous functions is discussed, like superposition operators $AC_{L^p}([a,b],N_1)\to AC_{L^p}([a,b],N_2)$, $\eta\mapsto f\circ \eta$, for a smooth map $f\colon N_1\to N_2$. For $1\leq p <\infty$ and $r\in \mathbb{N}$ we show that the right half-Lie groups $\text{Diff}_K^r(\mathbb{R})$ and $\text{Diff}^r(M)$ are $L^p$-semiregular. Here $K$ is a compact subset of $\mathbb{R}$ and $M$ is a compact smooth manifold. An $L^p$-semiregular half-Lie group $G$ admits an evolution map $\text{Evol}:L^p([0,1],T_e G)\to AC_{L^p}([0,1],G)$, where $e$ is the neutral element of $G$. For the preceding examples, the evolution map $\text{Evol}$ is continuous.