The Trouvé group for spaces of test functions

DOI10.1007/S13398-018-0581-1MaRDI QIDQ2317536zbMATH OpenOpenAlexFDO

Authors David Nicolas Nenning, Armin Rainer

Publication date 12 August 2019

Published in Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1711.01196

zbMATH Keywords

Bergman spacecontinuity of the flow mapdiffeomorphism groupsflows of time-dependent vector fieldsODE-closednessTrouvé group

Mathematics Subject Classification ID

Bergman spaces of functions in several complex variables (32A36) Differentiability questions for infinite-dimensional manifolds (58B10) Group structures and generalizations on infinite-dimensional manifolds (58B25) Continuity properties of mappings on manifolds (58C07) Groups of diffeomorphisms and homeomorphisms as manifolds (58D05)

Abstract: The Trouv'e group $mathcal{G}_{mathcalA}$ from image analysis consists of the flows at a fixed time of all time-dependent vectors fields of a given regularity $mathcalA(mathbb{R}^d,mathbb{R}^d)$. For a multitude of regularity classes $mathcalA$, we prove that the Trouv'e group $mathcal{G}_{mathcalA}$ coincides with the connected component of the identity of the group of orientation preserving diffeomorphims of $mathbb{R}^d$ which differ from the identity by a mapping of class $mathcalA$. We thus conclude that $mathcal{G}_{mathcalA}$ has a natural regular Lie group structure. In many cases we show that the mapping which takes a time-dependent vector field to its flow is continuous. As a consequence we obtain that the scale of Bergman spaces on the polystrip with variable width is stable under solving ordinary differential equations.

Review text

Let \(\mathcal{A}\) be one of the following regularity classes of mappings \(\mathbb{R}^d\to\mathbb{R}^d\): \begin{itemize} \item[--] smooth functions with globally bounded derivatives; \item[--] smooth functions with \(p\)-integrable derivatives; \item[--] rapidly decreasing Schwartz functions; \item[--] smooth functions with compact support; \item[--] global Denjoy-Carleman classes; \item[--] Sobolev-Denjoy-Carleman classes; \item[--] Gelfand-Shilov classes; \item[--] Denjoy-Carleman functions with compact support. \end{itemize} Define \(\mathrm{Diff}\,\mathcal{A}:=\{\Phi\in\mathrm{Id}+\mathcal{A}(\mathbb{R}^d,\mathbb{R}^d)\mid \inf\limits_{x\in\mathbb{R}^d}\det\mathrm{d}\Phi(x)>0\}\) and let \(\mathrm{Diff}_0\mathcal{A}\) be its connected component of the identity. The main result of the paper under review is that \(\mathcal{G}_{\mathcal{A}}\) is equal to the connected component of the identity in \(\mathrm{Diff}\,\mathcal{A}\), where \(\mathcal{G}_{\mathcal{A}}\) is the Trouvé group, consisting of the flows at a fixed time of all time dependent vectors fields of regularity \(\mathcal{A}(\mathbb{R}^d,\mathbb{R}^d)\). This implies that \(\mathcal{G}_{\mathcal{A}}\) has the structure of a regular infinite-dimensional Lie group. One also proves that the flow map of time-dependent vector fields is continuous and one makes an application to the scale of Bergman spaces on the polystrip with variable width. We must point out that this paper is well written and, among other things, we think that its main result is quite interesting from the perspective of the infinite-dimensional Lie theory.

Recommendations

• On groups of Hölder diffeomorphisms and their regularity
• A zoo of diffeomorphism groups on \(\mathbb R^n\)
• Regularizing Flows over Lie Groups
• The exponential law for spaces of test functions and diffeomorphism groups
• The Lie group of real analytic diffeomorphisms is not real analytic

Cites work

• A zoo of diffeomorphism groups on \(\mathbb R^n\)
• An exotic zoo of diffeomorphism groups on \(\mathbb {R}^n\)
• Equivalence of stability properties for ultradifferentiable function classes
• Extension of Whitney jets of controlled growth
• scientific article; zbMATH DE number 3660254 (Why is no real title available?)
• scientific article; zbMATH DE number 3741994 (Why is no real title available?)
• scientific article; zbMATH DE number 3491650 (Why is no real title available?)
• scientific article; zbMATH DE number 1264771 (Why is no real title available?)
• scientific article; zbMATH DE number 1077733 (Why is no real title available?)
• scientific article; zbMATH DE number 3240665 (Why is no real title available?)
• scientific article; zbMATH DE number 3408337 (Why is no real title available?)
• Inverse map theorem in the ultra-F-differentiable class
• On completeness of groups of diffeomorphisms
• On groups of Hölder diffeomorphisms and their regularity
• Resolution of singularities in Denjoy-Carleman classes
• Shapes and diffeomorphisms
• The convenient setting for Denjoy-Carleman differentiable mappings of Beurling and Roumieu type
• The convenient setting for non-quasianalytic Denjoy-Carleman differentiable mappings
• The convenient setting for quasianalytic Denjoy-Carleman differentiable mappings
• The exponential law for spaces of test functions and diffeomorphism groups

Cited in

(8)

• An exotic zoo of diffeomorphism groups on \(\mathbb {R}^n\)
• A zoo of diffeomorphism groups on \(\mathbb R^n\)
• Manifolds of mappings for continuum mechanics
• On groups of Hölder diffeomorphisms and their regularity
• On time-dependent Besov vector fields and the regularity of their flows
• Interpolation of derivatives and ultradifferentiable regularity
• Convergence of spectral discretization for the flow of diffeomorphisms
• The exponential law for spaces of test functions and diffeomorphism groups

This page was built for publication: The Trouvé group for spaces of test functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2317536)