Manifolds of absolutely continuous functions with values in an infinite-dimensional manifold and regularity properties of half-Lie groups
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912400274358272 |
|---|---|
| author | Pinaud, Matthieu F. |
| author_facet | Pinaud, Matthieu F. |
| contents | For $p\in [1,\infty]$, we define a smooth manifold structure on the set $AC_{L^p}([a,b],N)$ of absolutely continuous functions $γ\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)$, $η\mapsto f\circ η$, 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_06512 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Manifolds of absolutely continuous functions with values in an infinite-dimensional manifold and regularity properties of half-Lie groups Pinaud, Matthieu F. Functional Analysis 58D25 (Primary) 22E65, 34A12, 46T10, 58D05 (Secondary) For $p\in [1,\infty]$, we define a smooth manifold structure on the set $AC_{L^p}([a,b],N)$ of absolutely continuous functions $γ\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)$, $η\mapsto f\circ η$, 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. |
| title | Manifolds of absolutely continuous functions with values in an infinite-dimensional manifold and regularity properties of half-Lie groups |
| topic | Functional Analysis 58D25 (Primary) 22E65, 34A12, 46T10, 58D05 (Secondary) |
| url | https://arxiv.org/abs/2409.06512 |