Showing 1–50 of 63 results for author: Rainer, A

On spaces of arc-smooth maps

Authors: Armin Rainer

Abstract: It is well-known that a function on an open set in $\mathbb R^d$ is smooth if and only if it is arc-smooth, i.e., its composites with all smooth curves are smooth. In recent work, we extended this and related results (for instance, a real analytic version) to suitable closed sets, notably, sets with Hölder boundary and fat subanalytic sets satisfying a necessary topological condition. In this pape… ▽ More It is well-known that a function on an open set in $\mathbb R^d$ is smooth if and only if it is arc-smooth, i.e., its composites with all smooth curves are smooth. In recent work, we extended this and related results (for instance, a real analytic version) to suitable closed sets, notably, sets with Hölder boundary and fat subanalytic sets satisfying a necessary topological condition. In this paper, we prove that the resulting set-theoretic identities of function spaces are bornological isomorphisms with respect to their natural locally convex topologies. Extending the results to maps with values in convenient vector spaces, we obtain corresponding exponential laws. Additionally, we show analogous results for special ultradifferentiable Braun-Meise-Taylor classes. △ Less

Submitted 10 March, 2025; originally announced March 2025.

Comments: 26 pages

On the continuity of the solution map for polynomials

Authors: Adam Parusiński, Armin Rainer

Abstract: In previous work, we proved that the continuous roots of a monic polynomial of degree $d$ whose coefficients depend in a $C^{d-1,1}$ way on real parameters belong to the Sobolev space $W^{1,q}$ for all $1\le q<d/(d-1)$. This is optimal. We obtained uniform bounds that show that the solution map ``coefficients-to-roots'' is bounded with respect to the $C^{d-1,1}$ and the Sobolev $W^{1,q}$ structure… ▽ More In previous work, we proved that the continuous roots of a monic polynomial of degree $d$ whose coefficients depend in a $C^{d-1,1}$ way on real parameters belong to the Sobolev space $W^{1,q}$ for all $1\le q<d/(d-1)$. This is optimal. We obtained uniform bounds that show that the solution map ``coefficients-to-roots'' is bounded with respect to the $C^{d-1,1}$ and the Sobolev $W^{1,q}$ structures on source and target space, respectively. In this paper, we prove that the solution map is continuous, provided that we consider the $C^d$ structure on the space of coefficients. Since there is no canonical choice of an ordered $d$-tuple of the roots, we work in the space of $d$-valued Sobolev functions equipped with a strong notion of convergence. We also interpret the results in the Wasserstein space on the complex plane. △ Less

Submitted 2 October, 2024; originally announced October 2024.

Comments: 57 pages

Continuity of the solution map for hyperbolic polynomials

Authors: Adam Parusiński, Armin Rainer

Abstract: Hyperbolic polynomials are monic real-rooted polynomials. By Bronshtein's theorem, the increasingly ordered roots of a hyperbolic polynomial of degree $d$ with $C^{d-1,1}$ coefficients are locally Lipschitz and this solution map ``coefficients-to-roots'' is bounded. We prove continuity of the solution map from hyperbolic polynomials of degree $d$ with $C^d$ coefficients to their increasingly order… ▽ More Hyperbolic polynomials are monic real-rooted polynomials. By Bronshtein's theorem, the increasingly ordered roots of a hyperbolic polynomial of degree $d$ with $C^{d-1,1}$ coefficients are locally Lipschitz and this solution map ``coefficients-to-roots'' is bounded. We prove continuity of the solution map from hyperbolic polynomials of degree $d$ with $C^d$ coefficients to their increasingly ordered roots with respect to the $C^d$ structure on the source space and the Sobolev $W^{1,q}$ structure, for all $1 \le q<\infty$, on the target space. Continuity fails for $q=\infty$. As a consequence, we obtain continuity of the local surface area of the roots. △ Less

Submitted 2 October, 2024; originally announced October 2024.

Comments: 24 pages

Interpolation of derivatives and ultradifferentiable regularity

Authors: Armin Rainer, Gerhard Schindl

Abstract: Interpolation inequalities for $C^m$ functions allow to bound derivatives of intermediate order $0 < j<m$ by bounds for the derivatives of order $0$ and $m$. We review various interpolation inequalities for $L^p$-norms ($1 \le p \le \infty$) in arbitrary finite dimensions. They allow us to study ultradifferentiable regularity by lacunary estimates in a comprehensive way, striving for minimal assum… ▽ More Interpolation inequalities for $C^m$ functions allow to bound derivatives of intermediate order $0 < j<m$ by bounds for the derivatives of order $0$ and $m$. We review various interpolation inequalities for $L^p$-norms ($1 \le p \le \infty$) in arbitrary finite dimensions. They allow us to study ultradifferentiable regularity by lacunary estimates in a comprehensive way, striving for minimal assumptions on the weights. △ Less

Submitted 5 December, 2024; v1 submitted 12 December, 2023; originally announced December 2023.

Comments: Reworked final version, appendix added. Accepted for publication in Mathematische Nachrichten

Journal ref: Math. Nachr. 298, no. 2, 617-635, 2025

On real analytic functions on closed subanalytic domains

Authors: Armin Rainer

Abstract: We show that a function $f : X \to \mathbb R$ defined on a closed uniformly polynomially cuspidal set $X$ in $\mathbb R^n$ is real analytic if and only if $f$ is smooth and all its composites with germs of polynomial curves in $X$ are real analytic. The degree of the polynomial curves needed for this is effectively related to the regularity of the boundary of $X$. For instance, if the boundary of… ▽ More We show that a function $f : X \to \mathbb R$ defined on a closed uniformly polynomially cuspidal set $X$ in $\mathbb R^n$ is real analytic if and only if $f$ is smooth and all its composites with germs of polynomial curves in $X$ are real analytic. The degree of the polynomial curves needed for this is effectively related to the regularity of the boundary of $X$. For instance, if the boundary of $X$ is locally Lipschitz, then polynomial curves of degree $2$ suffice. In this Lipschitz case, we also prove that a function $f : X \to \mathbb R$ is real analytic if and only if all its composites with germs of quadratic polynomial maps in two variables with images in $X$ are real analytic; here it is not necessary to assume that $f$ is smooth. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: 10 pages

Perturbation theory of polynomials and linear operators

Authors: Adam Parusiński, Armin Rainer

Abstract: This survey revolves around the question how the roots of a monic polynomial (resp. the spectral decomposition of a linear operator), whose coefficients depend in a smooth way on parameters, depend on those parameters. The parameter dependence of the polynomials (resp. operators) ranges from real analytic over $C^\infty$ to differentiable of finite order with often drastically different regularity… ▽ More This survey revolves around the question how the roots of a monic polynomial (resp. the spectral decomposition of a linear operator), whose coefficients depend in a smooth way on parameters, depend on those parameters. The parameter dependence of the polynomials (resp. operators) ranges from real analytic over $C^\infty$ to differentiable of finite order with often drastically different regularity results for the roots (resp. eigenvalues and eigenvectors). Another interesting point is the difference between the perturbation theory of hyperbolic polynomials (where, by definition, all roots are real) and that of general complex polynomials. The subject, which started with Rellich's work in the 1930s, enjoyed sustained interest through time that intensified in the last two decades, bringing some definitive optimal results. Throughout we try to explain the main proof ideas; Rellich's theorem and Bronshtein's theorem on hyperbolic polynomials are presented with full proofs. The survey is written for readers interested in singularity theory but also for those who intend to apply the results in other fields. △ Less

Submitted 22 October, 2024; v1 submitted 2 August, 2023; originally announced August 2023.

Comments: 66 pages. The numbering of equations was changed, and a few more modifications were made. This final version will appear as a chapter in the book series "Handbook of Geometry and Topology of Singularities", Vol. VII

Uniform extension of definable $C^{m,ω}$-Whitney jets

Authors: Adam Parusiński, Armin Rainer

Abstract: We show that definable Whitney jets of class $C^{m,ω}$, where $m$ is a nonnegative integer and $ω$ is a modulus of continuity, are the restrictions of definable $C^{m,ω}$-functions; "definable" refers to an arbitrary given o-minimal expansion of the real field. This is true in a uniform way: any definable bounded family of Whitney jets of class $C^{m,ω}$ extends to a definable bounded family of… ▽ More We show that definable Whitney jets of class $C^{m,ω}$, where $m$ is a nonnegative integer and $ω$ is a modulus of continuity, are the restrictions of definable $C^{m,ω}$-functions; "definable" refers to an arbitrary given o-minimal expansion of the real field. This is true in a uniform way: any definable bounded family of Whitney jets of class $C^{m,ω}$ extends to a definable bounded family of $C^{m,ω}$-functions. We also discuss a uniform $C^m$-version and how the extension depends on the modulus of continuity. △ Less

Submitted 5 September, 2024; v1 submitted 15 June, 2023; originally announced June 2023.

Comments: 29 pages; a few changes made to improve readability; final version accepted for publication in Pacific Journal of Mathematics; numbering of subsections changed to be consistent with the published version

Journal ref: Pacific J. Math. 330 (2024) 317-353

Definable Lipschitz selections for affine-set valued maps

Authors: Adam Parusiński, Armin Rainer

Abstract: Whitney's extension problem, i.e., how one can tell whether a function $f : X \to \mathbb R$, $X \subseteq \mathbb R^n$, is the restriction of a $C^m$-function on $\mathbb R^n$, was solved in full generality by Charles Fefferman in 2006. In this paper, we settle the $C^{1,ω}$-case of a related conjecture: given that $f$ is semialgebraic and $ω$ is a semialgebraic modulus of continuity, if $f$ is t… ▽ More Whitney's extension problem, i.e., how one can tell whether a function $f : X \to \mathbb R$, $X \subseteq \mathbb R^n$, is the restriction of a $C^m$-function on $\mathbb R^n$, was solved in full generality by Charles Fefferman in 2006. In this paper, we settle the $C^{1,ω}$-case of a related conjecture: given that $f$ is semialgebraic and $ω$ is a semialgebraic modulus of continuity, if $f$ is the restriction of a $C^{1,ω}$-function then it is the restriction of a semialgebraic $C^{1,ω}$-function. We work in the more general setting of sets that are definable in an o-minimial expansion of the real field. An ingenious argument of Brudnyi and Shvartsman relates the existence of $C^{1,ω}$-extensions to the existence of Lipschitz selections of certain affine-set valued maps. We show that if a definable affine-set valued map has Lipschitz selections then it also has definable Lipschitz selections. In particular, we obtain a Lipschitz solution (more generally, $ω$-Hölder solution, for any definable modulus of continuity $ω$) of the definable Brenner-Epstein-Hochster-Kollár problem. In most of our results we have control over the respective (semi)norms. △ Less

Submitted 2 February, 2024; v1 submitted 15 June, 2023; originally announced June 2023.

Comments: 20 pages; minor changes, Remark 4.10 added

Quantitative tame properties of differentiable functions with controlled derivatives

Authors: Armin Rainer

Abstract: We show that differentiable functions, defined on a convex body $K \subseteq \mathbb R^d$, whose derivatives do not exceed a suitable given sequence of positive real numbers share many properties with polynomials. The role of the degree of a polynomial is hereby played by an integer associated with the given sequence of reals, the diameter of $K$, and a real parameter linked to the $C^0$-norm of t… ▽ More We show that differentiable functions, defined on a convex body $K \subseteq \mathbb R^d$, whose derivatives do not exceed a suitable given sequence of positive real numbers share many properties with polynomials. The role of the degree of a polynomial is hereby played by an integer associated with the given sequence of reals, the diameter of $K$, and a real parameter linked to the $C^0$-norm of the function. We give quantitative information on the size of the zero set, show that it admits a local parameterization by Sobolev functions, and prove an inequality of Remez-type. From the latter, we deduce several consequences, for instance, a bound on the volume of sublevel sets and a comparison of $L^p$-norms reversing Hölder's inequality. The validity of many of the results only depends on the derivatives up to some finite order; the order can be specified in terms of the given data. △ Less

Submitted 1 September, 2023; v1 submitted 8 August, 2022; originally announced August 2022.

Comments: 27 pages; a mistake in the formulation of Theorem 5.5 was corrected and related changes were made; exposition (mainly of Section 5) improved; some minor additions and notational changes made, accepted for publication in Nonlinear Analysis

The Borel map in the mixed Beurling setting

Authors: David Nicolas Nenning, Armin Rainer, Gerhard Schindl

Abstract: The Borel map takes a smooth function to its infinite jet of derivatives (at zero). We study the restriction of this map to ultradifferentiable classes of Beurling type in a very general setting which encompasses the classical Denjoy-Carleman and Braun-Meise-Taylor classes. More precisely, we characterize when the Borel image of one class covers the sequence space of another class in terms of the… ▽ More The Borel map takes a smooth function to its infinite jet of derivatives (at zero). We study the restriction of this map to ultradifferentiable classes of Beurling type in a very general setting which encompasses the classical Denjoy-Carleman and Braun-Meise-Taylor classes. More precisely, we characterize when the Borel image of one class covers the sequence space of another class in terms of the two weights that define the classes. We present two independent solutions to this problem, one by reduction to the Roumieu case and the other by dualization of the involved Fréchet spaces, a Phragmén-Lindelöf theorem, and Hörmander's solution of the $\bar{\partial}$-problem. △ Less

Submitted 7 December, 2022; v1 submitted 17 May, 2022; originally announced May 2022.

Comments: 33 pages; some typos corrected

MSC Class: 26E10; 46A13; 46E10; 46E25

Journal ref: Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM, no. 117, art. no. 40, 2023

Hölder--Zygmund classes on smooth curves

Authors: Armin Rainer

Abstract: We prove that a function in several variables is in the local Zygmund class $\mathcal Z^{m,1}$ if and only if its composite with every smooth curve is of class $\mathcal Z^{m,1}$. This complements the well-known analogous result for local Hölder--Lipschitz classes $\mathcal C^{m,α}$ which we reprove along the way. We demonstrate that these results generalize to mappings between Banach spaces and u… ▽ More We prove that a function in several variables is in the local Zygmund class $\mathcal Z^{m,1}$ if and only if its composite with every smooth curve is of class $\mathcal Z^{m,1}$. This complements the well-known analogous result for local Hölder--Lipschitz classes $\mathcal C^{m,α}$ which we reprove along the way. We demonstrate that these results generalize to mappings between Banach spaces and use them to study the regularity of the superposition operator $f_* : g \mapsto f \circ g$ acting on the global Zygmund space $Λ_{m+1}(\mathbb R^d)$. We prove that, for all integers $m,k\ge 1$, the map $f_* : Λ_{m+1}(\mathbb R^d) \to Λ_{m+1}(\mathbb R^d)$ is of Lipschitz class $\mathcal C^{k-1,1}$ if and only if $f \in \mathcal Z^{m+k,1}(\mathbb R)$. △ Less

Submitted 26 July, 2022; v1 submitted 8 March, 2022; originally announced March 2022.

Comments: 18 pages; minor corrections and changes, numbering of equations changed

Arc-smooth functions and cuspidality of sets

Authors: Armin Rainer

Abstract: A function $f$ is arc-smooth if the composite $f\circ c$ with every smooth curve $c$ in its domain of definition is smooth. On open sets in smooth manifolds the arc-smooth functions are precisely the smooth functions by a classical theorem of Boman. Recently, we extended this result to certain tame closed sets (namely, Hölder sets and simple fat subanalytic sets). In this paper we link, in a preci… ▽ More A function $f$ is arc-smooth if the composite $f\circ c$ with every smooth curve $c$ in its domain of definition is smooth. On open sets in smooth manifolds the arc-smooth functions are precisely the smooth functions by a classical theorem of Boman. Recently, we extended this result to certain tame closed sets (namely, Hölder sets and simple fat subanalytic sets). In this paper we link, in a precise way, the cuspidality of the (boundary of the) set to the loss of regularity, i.e., how many derivatives of $f\circ c$ are needed in order to determine the derivatives of $f$. We also discuss how flatness of $f \circ c$ affects flatness of $f$. Besides Hölder sets and subanalytic sets we treat sets that are definable in certain polynomially bounded o-minimal expansions of the real field. △ Less

Submitted 4 April, 2023; v1 submitted 28 December, 2021; originally announced December 2021.

Comments: 31 pages, 3 figures; minor corrections and additions; 32 pages, final version, accepted for publication in Journal d'Analyse Mathématique

On optimal solutions of the Borel problem in the Roumieu case

Authors: David Nicolas Nenning, Armin Rainer, Gerhard Schindl

Abstract: The Borel problem for Denjoy--Carleman and Braun--Meise--Taylor classes has well-known optimal solutions. The unified treatment of these ultradifferentiable classes by means of one-parameter families of weight sequences allows to compare these optimal solutions. We determine the relations among them and give conditions for their equivalence in the Roumieu case. The Borel problem for Denjoy--Carleman and Braun--Meise--Taylor classes has well-known optimal solutions. The unified treatment of these ultradifferentiable classes by means of one-parameter families of weight sequences allows to compare these optimal solutions. We determine the relations among them and give conditions for their equivalence in the Roumieu case. △ Less

Submitted 3 August, 2022; v1 submitted 15 December, 2021; originally announced December 2021.

Comments: 18 pages; minor changes, Remark 4.7 added

Journal ref: Bull. Belg. Math. Soc. - Simon Stevin 29, no. 4, 509-531, 2022

Nonlinear conditions for ultradifferentiability: a uniform approach

Authors: David Nicolas Nenning, Armin Rainer, Gerhard Schindl

Abstract: Recent work showed that a theorem of Joris (that a function $f$ is smooth if two coprime powers of $f$ are smooth) is valid in a wide variety of ultradifferentiable classes $\mathcal C$. The core of the proof was essentially $1$-dimensional. In certain cases a multidimensional version resulted from subtle reduction arguments, but general validity, notably in the quasianalytic setting, remained ope… ▽ More Recent work showed that a theorem of Joris (that a function $f$ is smooth if two coprime powers of $f$ are smooth) is valid in a wide variety of ultradifferentiable classes $\mathcal C$. The core of the proof was essentially $1$-dimensional. In certain cases a multidimensional version resulted from subtle reduction arguments, but general validity, notably in the quasianalytic setting, remained open. In this paper we give a uniform proof which works in all cases and dimensions. It yields the result even on infinite dimensional Banach spaces and convenient vector spaces. We also consider more general nonlinear conditions, namely general analytic germs $Φ$ instead of the powers, and characterize when $Φ\circ f \in \mathcal C$ implies $f \in \mathcal C$. △ Less

Submitted 9 March, 2022; v1 submitted 16 September, 2021; originally announced September 2021.

Comments: 15 pages, Remark 4.3 expanded, accepted for publication in J. Geom. Anal.,

Journal ref: J. Geom. Anal. 32 (171), 2022

Ultradifferentiable extension theorems: a survey

Authors: Armin Rainer

Abstract: We survey ultradifferentiable extension theorems, i.e., quantitative versions of Whitney's classical extension theorem, with special emphasis on the existence of continuous linear extension operators. The focus is on Denjoy-Carleman classes for which we develop the theory from scratch and discuss important related concepts such as (non-)quasianalyticity. It allows us to give an efficient and, to a… ▽ More We survey ultradifferentiable extension theorems, i.e., quantitative versions of Whitney's classical extension theorem, with special emphasis on the existence of continuous linear extension operators. The focus is on Denjoy-Carleman classes for which we develop the theory from scratch and discuss important related concepts such as (non-)quasianalyticity. It allows us to give an efficient and, to a fair extent, elementary introduction to Braun-Meise-Taylor classes based on their representation as intersections and unions of Denjoy-Carleman classes. △ Less

Submitted 30 December, 2021; v1 submitted 2 July, 2021; originally announced July 2021.

Comments: 71 pages; many typos and minor inconsistencies corrected; to appear in Expositiones Mathematicae

Nonlinear conditions for ultradifferentiability

Authors: David Nicolas Nenning, Armin Rainer, Gerhard Schindl

Abstract: A remarkable theorem of Joris states that a function $f$ is $C^\infty$ if two relatively prime powers of $f$ are $C^\infty$. Recently, Thilliez showed that an analogous theorem holds in Denjoy--Carleman classes of Roumieu type. We prove that a division property, equivalent to Joris's result, is valid in a wide variety of ultradifferentiable classes. Generally speaking, it holds in all dimensions f… ▽ More A remarkable theorem of Joris states that a function $f$ is $C^\infty$ if two relatively prime powers of $f$ are $C^\infty$. Recently, Thilliez showed that an analogous theorem holds in Denjoy--Carleman classes of Roumieu type. We prove that a division property, equivalent to Joris's result, is valid in a wide variety of ultradifferentiable classes. Generally speaking, it holds in all dimensions for non-quasianalytic classes. In the quasianalytic case we have general validity in dimension one, but we also get validity in all dimensions for certain quasianalytic classes. △ Less

Submitted 23 February, 2021; v1 submitted 7 February, 2021; originally announced February 2021.

Comments: 21 pages; Version 2: The division property in the first version is equivalent to property (2) in the current version. This simplifies somewhat the proof of Lemma 6.1. 20 pages

Journal ref: J. Geom. Anal. 31, 12264-12287, 2021

Ultraholomorphic sectorial extensions of Beurling type

Authors: David Nicolas Nenning, Armin Rainer, Gerhard Schindl

Abstract: We prove sectorial extension theorems for ultraholomorphic function classes of Beurling type defined by weight functions with a controlled loss of regularity. The proofs are based on a reduction lemma, due to the second author, which allows to extract the Beurling from the Roumieu case, which was treated recently by Jiménez-Garrido, Sanz, and the third author. In order to have control on the openi… ▽ More We prove sectorial extension theorems for ultraholomorphic function classes of Beurling type defined by weight functions with a controlled loss of regularity. The proofs are based on a reduction lemma, due to the second author, which allows to extract the Beurling from the Roumieu case, which was treated recently by Jiménez-Garrido, Sanz, and the third author. In order to have control on the opening of the sectors, where the extensions exist, we use the (mixed) growth index and the order of quasianalyticity of weight functions. As a consequence we obtain corresponding extension results for classes defined by weight sequences. Additionally, we give information on the existence of continuous linear extension operators. △ Less

Submitted 11 May, 2021; v1 submitted 22 December, 2020; originally announced December 2020.

Comments: 17 pages; paper was restructured and shortened, 15 pages, accepted for publication in Annals of Functional Analysis

Journal ref: Ann. Funct. Anal. 12, art. no. 45, 2021

Roots of Garding hyperbolic polynomials

Authors: Armin Rainer

Abstract: We explore the regularity of the roots of Garding hyperbolic polynomials and real stable polynomials. As an application we obtain new regularity results of Sobolev type for the eigenvalues of Hermitian matrices and for the singular values of arbitrary matrices. These results are optimal among all Sobolev spaces. We explore the regularity of the roots of Garding hyperbolic polynomials and real stable polynomials. As an application we obtain new regularity results of Sobolev type for the eigenvalues of Hermitian matrices and for the singular values of arbitrary matrices. These results are optimal among all Sobolev spaces. △ Less

Submitted 20 April, 2021; v1 submitted 2 December, 2020; originally announced December 2020.

Comments: 13 pages; some details added and typos corrected, accepted for publication in Proc. Amer. Math. Soc

On the extension of Whitney ultrajets of Beurling type

Authors: Armin Rainer

Abstract: We prove a version of Whitney's extension theorem in the ultradifferentiable Beurling setting with controlled loss of regularity. As a by-product we show the existence of continuous linear extension operators on certain spaces of Whitney ultrajets on arbitrary closed sets in $\mathbb R^n$. We prove a version of Whitney's extension theorem in the ultradifferentiable Beurling setting with controlled loss of regularity. As a by-product we show the existence of continuous linear extension operators on certain spaces of Whitney ultrajets on arbitrary closed sets in $\mathbb R^n$. △ Less

Submitted 7 January, 2021; v1 submitted 4 November, 2020; originally announced November 2020.

Comments: 17 pages, 1 figure; some minor misprints corrected; accepted for publication in Results in Mathematics

Sobolev Lifting over Invariants

Authors: Adam Parusiński, Armin Rainer

Abstract: We prove lifting theorems for complex representations $V$ of finite groups $G$. Let $σ=(σ_1,\dots,σ_n)$ be a minimal system of homogeneous basic invariants and let $d$ be their maximal degree. We prove that any continuous map $\overline{f} \colon {\mathbb R}^m \to V$ such that $f = σ\circ \overline{f}$ is of class $C^{d-1,1}$ is locally of Sobolev class $W^{1,p}$ for all $1 \le p<d/(d-1)$. In the… ▽ More We prove lifting theorems for complex representations $V$ of finite groups $G$. Let $σ=(σ_1,\dots,σ_n)$ be a minimal system of homogeneous basic invariants and let $d$ be their maximal degree. We prove that any continuous map $\overline{f} \colon {\mathbb R}^m \to V$ such that $f = σ\circ \overline{f}$ is of class $C^{d-1,1}$ is locally of Sobolev class $W^{1,p}$ for all $1 \le p<d/(d-1)$. In the case $m=1$ there always exists a continuous choice $\overline{f}$ for given $f\colon {\mathbb R} \to σ(V) \subseteq {\mathbb C}^n$. We give uniform bounds for the $W^{1,p}$-norm of $\overline{f}$ in terms of the $C^{d-1,1}$-norm of $f$. The result is optimal: in general a lifting $\overline{f}$ cannot have a higher Sobolev regularity and it even might not have bounded variation if $f$ is in a larger Hölder class. △ Less

Submitted 10 April, 2021; v1 submitted 4 March, 2020; originally announced March 2020.

Journal ref: SIGMA 17 (2021), 037, 31 pages

Ultradifferentiable Chevalley theorems and isotropic functions

Authors: Armin Rainer

Abstract: We prove ultradifferentiable Chevelley restriction theorems for a wide range of ultradifferentiable classes. As a special case we find that isotropic functions, i.e., functions defined on the vector space of real symmetric matrices invariant under the action of the special orthogonal group by conjugation, possess some ultradifferentiable regularity if and only if their restriction to diagonal matr… ▽ More We prove ultradifferentiable Chevelley restriction theorems for a wide range of ultradifferentiable classes. As a special case we find that isotropic functions, i.e., functions defined on the vector space of real symmetric matrices invariant under the action of the special orthogonal group by conjugation, possess some ultradifferentiable regularity if and only if their restriction to diagonal matrices has the same regularity. △ Less

Submitted 19 December, 2019; originally announced December 2019.

Comments: 12 pages

Almost analytic extensions of ultradifferentiable functions with applications to microlocal analysis

Authors: Stefan Fürdös, David Nicolas Nenning, Armin Rainer, Gerhard Schindl

Abstract: We review and extend the description of ultradifferentiable functions by their almost analytic extensions, i.e., extensions to the complex domain with specific vanishing rate of the $\bar \partial$-derivative near the real domain. We work in a general uniform framework which comprises the main classical ultradifferentiable classes but also allows to treat unions and intersections of such. The seco… ▽ More We review and extend the description of ultradifferentiable functions by their almost analytic extensions, i.e., extensions to the complex domain with specific vanishing rate of the $\bar \partial$-derivative near the real domain. We work in a general uniform framework which comprises the main classical ultradifferentiable classes but also allows to treat unions and intersections of such. The second part of the paper is devoted to applications in microlocal analysis. The ultradifferentiable wave front set is defined in this general setting and characterized in terms of almost analytic extensions and of the FBI transform. This allows to extend its definition to ultradifferentiable manifolds. We also discuss ultradifferentiable versions of the elliptic regularity theorem and obtain a general quasianalytic Holmgren uniqueness theorem. △ Less

Submitted 11 September, 2019; v1 submitted 16 April, 2019; originally announced April 2019.

Comments: 48 pages; minor changes, accepted for publication in Journal of Mathematical Analysis and Applications; some typos corrected

Journal ref: J. Math. Anal. Appl. 481, no. 1, 123451, 2020

Quasianalytic ultradifferentiability cannot be tested in lower dimensions

Authors: Armin Rainer

Abstract: We show that, in contrast to the real analytic case, quasianalytic ultradifferentiability can never be tested in lower dimensions. Our results are based on a construction due to Jaffe. We show that, in contrast to the real analytic case, quasianalytic ultradifferentiability can never be tested in lower dimensions. Our results are based on a construction due to Jaffe. △ Less

Submitted 11 March, 2019; v1 submitted 25 October, 2018; originally announced October 2018.

Comments: 11 pages, some details added to the proofs

On the extension of Whitney ultrajets, II

Authors: Armin Rainer, Gerhard Schindl

Abstract: We characterize the validity of the Whitney extension theorem in the ultradifferentiable Roumieu setting with controlled loss of regularity. Specifically, we show that in the main Theorem 1.3 of [15] condition (1.3) can be dropped. Moreover, we clarify some questions that remained open in [15]. We characterize the validity of the Whitney extension theorem in the ultradifferentiable Roumieu setting with controlled loss of regularity. Specifically, we show that in the main Theorem 1.3 of [15] condition (1.3) can be dropped. Moreover, we clarify some questions that remained open in [15]. △ Less

Submitted 12 November, 2018; v1 submitted 30 August, 2018; originally announced August 2018.

Comments: 11 pages; minor corrections; accepted for publication in Studia Math

Journal ref: Studia Math. 250, no. 3, 283-295, 2020

Arc-smooth functions on closed sets

Authors: Armin Rainer

Abstract: By an influential theorem of Boman, a function $f$ on an open set $U$ in $\mathbb R^d$ is smooth ($\mathcal C^\infty$) if and only if it is arc-smooth, i.e., $f\circ c$ is smooth for every smooth curve $c : \mathbb R \to U$. In this paper we investigate the validity of this result on closed sets. Our main focus is on sets which are the closure of their interior, so-called fat sets. We obtain an an… ▽ More By an influential theorem of Boman, a function $f$ on an open set $U$ in $\mathbb R^d$ is smooth ($\mathcal C^\infty$) if and only if it is arc-smooth, i.e., $f\circ c$ is smooth for every smooth curve $c : \mathbb R \to U$. In this paper we investigate the validity of this result on closed sets. Our main focus is on sets which are the closure of their interior, so-called fat sets. We obtain an analogue of Boman's theorem on fat closed sets with Hölder boundary and on fat closed subanalytic sets with the property that every boundary point has a basis of neighborhoods each of which intersects the interior in a connected set. If $X \subseteq \mathbb R^d$ is any such set and $f : X \to \mathbb R$ is arc-smooth, then $f$ extends to a smooth function defined on $\mathbb R^d$. We also get a version of the Bochnak-Siciak theorem on all closed fat subanalytic and all closed sets with Hölder boundary: if $f : X \to \mathbb R$ is the restriction of a smooth function on $\mathbb R^d$ which is real analytic along all real analytic curves in $X$, then $f$ extends to a holomorphic function on a neighborhood of $X$ in $\mathbb C^d$. Similar results hold for non-quasianalytic Denjoy-Carleman classes (of Roumieu type). We will also discuss sharpness and applications of these results. △ Less

Submitted 8 January, 2019; v1 submitted 25 January, 2018; originally announced January 2018.

Comments: 34 pages, 3 figures. The article was restructured and hence the numbering changed. The real analytic results were strengthened, some proofs simplified. Theorem 1.19 and results dependent on it were corrected

Journal ref: Compositio Math. 155 (2019) 645-680

The Trouvé group for spaces of test functions

Authors: David Nicolas Nenning, Armin Rainer

Abstract: The Trouvé group $\mathcal G_{\mathcal A}$ from image analysis consists of the flows at a fixed time of all time-dependent vectors fields of a given regularity $\mathcal A(\mathbb R^d,\mathbb R^d)$. For a multitude of regularity classes $\mathcal A$, we prove that the Trouvé group $\mathcal G_{\mathcal A}$ coincides with the connected component of the identity of the group of orientation preservin… ▽ More The Trouvé group $\mathcal G_{\mathcal A}$ from image analysis consists of the flows at a fixed time of all time-dependent vectors fields of a given regularity $\mathcal A(\mathbb R^d,\mathbb R^d)$. For a multitude of regularity classes $\mathcal A$, we prove that the Trouvé group $\mathcal G_{\mathcal A}$ 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 $\mathcal A$. We thus conclude that $\mathcal G_{\mathcal A}$ 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. △ Less

Submitted 3 November, 2017; originally announced November 2017.

Comments: 23 pages

MSC Class: 58B10; 58B25; 58C07; 58D05; 32A36

Journal ref: Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A Math. RACSAM (2018)

On the extension of Whitney ultrajets

Authors: Armin Rainer, Gerhard Schindl

Abstract: We prove necessary and sufficient conditions for the validity of Whitney's extension theorem in the ultradifferentiable Roumieu setting with controlled loss of regularity. We prove necessary and sufficient conditions for the validity of Whitney's extension theorem in the ultradifferentiable Roumieu setting with controlled loss of regularity. △ Less

Submitted 28 November, 2017; v1 submitted 4 September, 2017; originally announced September 2017.

Comments: 27 pages; some minor changes, accepted for publication in Studia Mathematica

MSC Class: 26E10; 30D60; 46E10; 58C25

Journal ref: Studia Math., 245 (2019), No. 3, 255-287

Non-singular spacetimes with a negative cosmological constant: V. Boson stars

Authors: Piotr T. Chruściel, Erwann Delay, Paul Klinger, Andreas Kriegl, Peter W. Michor, Armin Rainer

Abstract: We prove existence of large families of solutions of Einstein-complex scalar field equations with a negative cosmological constant, with a stationary or static metric and a time-periodic complex scalar field. We prove existence of large families of solutions of Einstein-complex scalar field equations with a negative cosmological constant, with a stationary or static metric and a time-periodic complex scalar field. △ Less

Submitted 23 February, 2018; v1 submitted 9 August, 2017; originally announced August 2017.

Comments: 21 pages, v2: journal accepted version

Report number: UWThPh-2017-23

Journal ref: Letters in Mathematical Physics 108, 9 (September 2018), 2009-2030

Selections of bounded variation for roots of smooth polynomials

Authors: Adam Parusinski, Armin Rainer

Abstract: We prove that the roots of a smooth monic polynomial with complex-valued coefficients defined on a bounded Lipschitz domain $Ω$ in $\mathbb R^m$ admit a parameterization by functions of bounded variation uniformly with respect to the coefficients. This result is best possible in the sense that discontinuities of the roots are in general unavoidable due to monodromy. We show that the discontinuity… ▽ More We prove that the roots of a smooth monic polynomial with complex-valued coefficients defined on a bounded Lipschitz domain $Ω$ in $\mathbb R^m$ admit a parameterization by functions of bounded variation uniformly with respect to the coefficients. This result is best possible in the sense that discontinuities of the roots are in general unavoidable due to monodromy. We show that the discontinuity set can be chosen to be a finite union of smooth hypersurfaces. On its complement the parameterization of the roots is of optimal Sobolev class $W^{1,p}$ for all $1 \le p < \frac{n}{n-1}$, where $n$ is the degree of the polynomial. All discontinuities are jump discontinuities. For all this we require the coefficients to be of class $C^{k-1,1}(\overline Ω)$, where $k$ is a positive integer depending only on $n$ and $m$. The order of differentiability $k$ is not optimal. However, in the case of radicals, i.e., for the solutions of the equation $Z^r = f$, where $f$ is a complex-valued function and $r\in \mathbb R_{>0}$, we obtain optimal uniform bounds. △ Less

Submitted 14 January, 2020; v1 submitted 30 May, 2017; originally announced May 2017.

Comments: 33 pages. This version covers the general case, while the previous one only treated the case of radicals. Minor changes. Accepted for publication in Selecta Mathematica

Journal ref: Sel. Math. New Ser. 26, 13 (2020)

On groups of Hölder diffeomorphisms and their regularity

Authors: David Nicolas Nenning, Armin Rainer

Abstract: We study the set $\mathcal D^{n,β}(\mathbb R^d)$ of orientation preserving diffeomorphisms of $\mathbb R^d$ which differ from the identity by a Hölder $C^{n,β}_0$-mapping, where $n \in \mathbb N_{\ge 1}$ and $β\in (0,1]$. We show that $\mathcal D^{n,β}(\mathbb R^d)$ forms a group, but left translations in $\mathcal D^{n,β}(\mathbb R^d)$ are in general discontinuous. The groups… ▽ More We study the set $\mathcal D^{n,β}(\mathbb R^d)$ of orientation preserving diffeomorphisms of $\mathbb R^d$ which differ from the identity by a Hölder $C^{n,β}_0$-mapping, where $n \in \mathbb N_{\ge 1}$ and $β\in (0,1]$. We show that $\mathcal D^{n,β}(\mathbb R^d)$ forms a group, but left translations in $\mathcal D^{n,β}(\mathbb R^d)$ are in general discontinuous. The groups $\mathcal D^{n,β-}(\mathbb R^d) := \bigcap_{α< β} \mathcal D^{n,α}(\mathbb R^d)$ (with its natural Fréchet topology) and $\mathcal D^{n,β+}(\mathbb R^d) := \bigcup_{α> β} \mathcal D^{n,α}(\mathbb R^d)$ (with its natural inductive locally convex topology) however are $C^{0,ω}$ Lie groups for any slowly vanishing modulus of continuity $ω$. In particular, $\mathcal D^{n,β-}(\mathbb R^d)$ is a topological group and a so-called half-Lie group (with smooth right translations). We prove that the Hölder spaces $C^{n,β}_0$ are ODE closed, in the sense that pointwise time-dependent $C^{n,β}_0$-vector fields $u$ have unique flows $Φ$ in $\mathcal D^{n,β}(\mathbb R^d)$. This includes, in particular, all Bochner integrable functions $u \in L^1([0,1],C^{n,β}_0(\mathbb R^d,\mathbb R^d))$. For the latter and $n\ge 2$, we show that the flow map $L^1([0,1],C^{n,β}_0(\mathbb R^d,\mathbb R^d)) \to C([0,1],\mathcal D^{n,α}(\mathbb R^d))$, $u \mapsto Φ$, is continuous (even $C^{0,β-α}$), for every $α< β$. As an application we prove that the corresponding Trouvé group $\mathcal G_{n,β}(\mathbb R^d)$ from image analysis coincides with the connected component of the identity of $\mathcal D^{n,β}(\mathbb R^d)$. △ Less

Submitted 9 May, 2017; v1 submitted 11 December, 2016; originally announced December 2016.

Comments: 33 pages; typos corrected, accepted for publication in Trans. Amer. Math. Soc

MSC Class: 37C10; 58B10; 58B25; 58C07; 58D05

Journal ref: Trans. Amer. Math. Soc., 370 (2018), No. 8, 5761-5794

Extension of Whitney jets of controlled growth

Authors: Armin Rainer, Gerhard Schindl

Abstract: We revisit Whitney's extension theorem in the ultradifferentiable Roumieu setting. Based on the description of ultradifferentiable classes by weight matrices, we extend results on how growth constraints on Whitney jets on arbitrary compact subsets in $\mathbb R^n$ are preserved by their extensions to $\mathbb R^n$. More precisely, for any admissible class $\mathcal C$ of ultradifferentiable functi… ▽ More We revisit Whitney's extension theorem in the ultradifferentiable Roumieu setting. Based on the description of ultradifferentiable classes by weight matrices, we extend results on how growth constraints on Whitney jets on arbitrary compact subsets in $\mathbb R^n$ are preserved by their extensions to $\mathbb R^n$. More precisely, for any admissible class $\mathcal C$ of ultradifferentiable functions on $\mathbb R^n$ we determine a class $\mathcal C'$ such that all ultradifferentiable Whitney jets of class $\mathcal C'$ on arbitrary compact subsets admit extensions in $\mathcal C$. The class $\mathcal C'$ can be explicitly computed from $\mathcal C$. △ Less

Submitted 29 January, 2017; v1 submitted 5 July, 2016; originally announced July 2016.

Comments: 21 pages; minor changes, some references added; accepted for publication in Math. Nachr

Journal ref: Math. Nachr., 290 (2017), no. 14-15, 2356-2374

Moser's theorem on manifolds with corners

Authors: Martins Bruveris, Peter W. Michor, Adam Parusinski, Armin Rainer

Abstract: Moser's theorem (1965) states that the diffeomorphism group of a compact manifold acts transitively on the space of all smooth positive densities with fixed volume. Here we describe the extension of this result to manifolds with corners. In particular we obtain Moser's theorem on simplices. The proof is based on Banyaga's paper (1974), where Moser's theorem is proven for manifolds with boundary. A… ▽ More Moser's theorem (1965) states that the diffeomorphism group of a compact manifold acts transitively on the space of all smooth positive densities with fixed volume. Here we describe the extension of this result to manifolds with corners. In particular we obtain Moser's theorem on simplices. The proof is based on Banyaga's paper (1974), where Moser's theorem is proven for manifolds with boundary. A cohomological interpretation of Banyaga's operator is given, which allows a proof of Lefschetz duality using differential forms. △ Less

Submitted 12 February, 2018; v1 submitted 26 April, 2016; originally announced April 2016.

Comments: 9 pages; mistakes corrected, final accepted version

MSC Class: 53C65; 58A10

Journal ref: Proc. Amer. Math. Soc. 146 (2018), No. 11, 4889-4897

On the Borel mapping in the quasianalytic setting

Authors: Armin Rainer, Gerhard Schindl

Abstract: The Borel mapping takes germs at $0$ of smooth functions to the sequence of iterated partial derivatives at $0$. We prove that the Borel mapping restricted to the germs of any quasianalytic ultradifferentiable class strictly larger than the real analytic class is never onto the corresponding sequence space. The Borel mapping takes germs at $0$ of smooth functions to the sequence of iterated partial derivatives at $0$. We prove that the Borel mapping restricted to the germs of any quasianalytic ultradifferentiable class strictly larger than the real analytic class is never onto the corresponding sequence space. △ Less

Submitted 27 September, 2017; v1 submitted 18 September, 2015; originally announced September 2015.

Comments: 14 pages; minor changes, accepted for publication in Math. Scand.; typos corrected and numbering of equations changed in order to be in accordance with the published article

Journal ref: Math. Scand. 121 (2017), 293-310

Optimal Sobolev regularity of roots of polynomials

Authors: Adam Parusinski, Armin Rainer

Abstract: We study the regularity of the roots of complex univariate polynomials whose coefficients depend smoothly on parameters. We show that any continuous choice of the roots of a $C^{n-1,1}$-curve of monic polynomials of degree $n$ is locally absolutely continuous with locally $p$-integrable derivatives for every $1 \le p < n/(n-1)$, uniformly with respect to the coefficients. This result is optimal: i… ▽ More We study the regularity of the roots of complex univariate polynomials whose coefficients depend smoothly on parameters. We show that any continuous choice of the roots of a $C^{n-1,1}$-curve of monic polynomials of degree $n$ is locally absolutely continuous with locally $p$-integrable derivatives for every $1 \le p < n/(n-1)$, uniformly with respect to the coefficients. This result is optimal: in general, the derivatives of the roots of a smooth curve of monic polynomials of degree $n$ are not locally $n/(n-1)$-integrable, and the roots may have locally unbounded variation if the coefficients are only of class $C^{n-1,α}$ for $α<1$. We also prove a generalization of Ghisi and Gobbino's higher order Glaeser inequalities. We give three applications of the main results: local solvability of a system of pseudo-differential equations, a lifting theorem for mappings into orbit spaces of finite group representations, and a sufficient condition for multi-valued functions to be of Sobolev class $W^{1,p}$ in the sense of Almgren. △ Less

Submitted 1 May, 2017; v1 submitted 4 June, 2015; originally announced June 2015.

Comments: 35 pages, 1 figure; Theorem 1 improved, proof of Theorem 2 added, three applications added, title changed; some changes in order to improve the presentation, Appendix A with a detailed discussion of polynomials of degree 3 and 4 added, accepted for publication in Ann. Sci. Éc. Norm. Supér. (4)

MSC Class: 26C10; 26A46; 26D10; 30C15; 46E35

Journal ref: Ann. Sci. Ec. Norm. Super. (4), 51 (2018), No. 5, 1343-1387

The exponential law for spaces of test functions and diffeomorphism groups

Authors: Andreas Kriegl, Peter W. Michor, Armin Rainer

Abstract: We prove the exponential law $\mathcal A(E \times F, G) \cong \mathcal A(E,\mathcal A(F,G))$ (bornological isomorphism) for the following classes $\mathcal A$ of test functions: $\mathcal B$ (globally bounded derivatives), $W^{\infty,p}$ (globally $p$-integrable derivatives), $\mathcal S$ (Schwartz space), $\mathcal D$ (compact sport, $\mathcal B^{[M]}$ (globally Denjoy_Carleman), $W^{[M],p}$ (Sob… ▽ More We prove the exponential law $\mathcal A(E \times F, G) \cong \mathcal A(E,\mathcal A(F,G))$ (bornological isomorphism) for the following classes $\mathcal A$ of test functions: $\mathcal B$ (globally bounded derivatives), $W^{\infty,p}$ (globally $p$-integrable derivatives), $\mathcal S$ (Schwartz space), $\mathcal D$ (compact sport, $\mathcal B^{[M]}$ (globally Denjoy_Carleman), $W^{[M],p}$ (Sobolev_Denjoy_Carleman), $\mathcal S_{[L]}^{[M]}$ (Gelfand_Shilov), and $\mathcal D^{[M]}$. Here $E, F, G$ are convenient vector spaces (finite dimensional in the cases of $W^{\infty,p}$, $\mathcal D$, $W^{[M],p}$, and $\mathcal D^{[M]})$, and $M=(M_k)$ is a weakly log-convex weight sequence of moderate growth. As application we give a new simple proof of the fact that the groups of diffeomorphisms $\operatorname{Diff} \mathcal B$, $\operatorname{Diff} W^{\infty,p}$, $\operatorname{Diff} \mathcal S$, and $\operatorname{Diff}\mathcal D$ are $C^\infty$ Lie groups, and $\operatorname{Diff} \mathcal B^{\{M\}}$, $\operatorname{Diff}W^{\{M\},p}$, $\operatorname{Diff} \mathcal S_{\{L\}}^{\{M\}}$, and $\operatorname{Diff}\mathcal D^{[M]}$, for non-quasianalytic $M$, are $C^{\{M\}}$ Lie groups, where $\operatorname{Diff}\mathcal A = \{\operatorname{Id} +f : f \in \mathcal A(\mathbb R^n,\mathbb R^n), \inf_{x \in \mathbb R^n} \det(\mathbb I_n+ df(x))>0\}$. We also discuss stability under composition. △ Less

Submitted 11 November, 2015; v1 submitted 3 November, 2014; originally announced November 2014.

Comments: 42 pages, mistake corrected, results slightly extended; small changes before publication added. in Indagationes Mathematicae, 2015

MSC Class: 26E10; 46A17; 46E50; 58B10; 58B25; 58C25; 58D05; 58D15

Journal ref: Indagationes Mathematicae 27 (2016) 225-265

Equivalence of stability properties for ultradifferentiable function classes

Authors: Armin Rainer, Gerhard Schindl

Abstract: We characterize stability under composition, inversion, and solution of ordinary differential equations for ultradifferentiable classes, and prove that all these stability properties are equivalent. We characterize stability under composition, inversion, and solution of ordinary differential equations for ultradifferentiable classes, and prove that all these stability properties are equivalent. △ Less

Submitted 1 January, 2015; v1 submitted 24 July, 2014; originally announced July 2014.

Comments: 16 pages, some stylistic chances made, accepted for publication in Rev. R. Acad. Cienc. Exactas Fis. Nat. Ser. A Math. RACSAM

Journal ref: Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales, Serie A. Matemáticas, 2016, 110(1), 17-32,

Lifting differentiable curves from orbit spaces

Authors: Adam Parusinski, Armin Rainer

Abstract: Let $ρ: G \rightarrow \operatorname{O}(V)$ be a real finite dimensional orthogonal representation of a compact Lie group, let $σ= (σ_1,\ldots,σ_n) : V \to \mathbb R^n$, where $σ_1,\ldots,σ_n$ form a minimal system of homogeneous generators of the $G$-invariant polynomials on $V$, and set $d = \max_i \operatorname{deg} σ_i$. We prove that for each $C^{d-1,1}$-curve $c$ in… ▽ More Let $ρ: G \rightarrow \operatorname{O}(V)$ be a real finite dimensional orthogonal representation of a compact Lie group, let $σ= (σ_1,\ldots,σ_n) : V \to \mathbb R^n$, where $σ_1,\ldots,σ_n$ form a minimal system of homogeneous generators of the $G$-invariant polynomials on $V$, and set $d = \max_i \operatorname{deg} σ_i$. We prove that for each $C^{d-1,1}$-curve $c$ in $σ(V) \subseteq \mathbb R^n$ there exits a locally Lipschitz lift over $σ$, i.e., a locally Lipschitz curve $\overline c$ in $V$ so that $c = σ\circ \overline c$, and we obtain explicit bounds for the Lipschitz constant of $\overline c$ in terms of $c$. Moreover, we show that each $C^d$-curve in $σ(V)$ admits a $C^1$-lift. For finite groups $G$ we deduce a multivariable version and some further results. △ Less

Submitted 3 October, 2015; v1 submitted 10 June, 2014; originally announced June 2014.

Comments: 25 pages; section on orbit spaces as differentiable spaces added, some typos corrected; accepted for publication in Transformation Groups

MSC Class: 22E45; 57S15; 14L24; 26A16

Journal ref: Transformation Groups, 21 (2016), No. 1, 153-179

An exotic zoo of diffeomorphism groups on $\mathbb R^n$

Authors: Andreas Kriegl, Peter W. Michor, Armin Rainer

Abstract: Let $C^{[M]}$ be a (local) Denjoy-Carleman class of Beurling or Roumieu type, where the weight sequence $M=(M_k)$ is log-convex and has moderate growth. We prove that the groups ${\operatorname{Diff}}\mathcal{B}^{[M]}(\mathbb{R}^n)$, ${\operatorname{Diff}}W^{[M],p}(\mathbb{R}^n)$, ${\operatorname{Diff}}{\mathcal{S}}{}_{[L]}^{[M]}(\mathbb{R}^n)$, and… ▽ More Let $C^{[M]}$ be a (local) Denjoy-Carleman class of Beurling or Roumieu type, where the weight sequence $M=(M_k)$ is log-convex and has moderate growth. We prove that the groups ${\operatorname{Diff}}\mathcal{B}^{[M]}(\mathbb{R}^n)$, ${\operatorname{Diff}}W^{[M],p}(\mathbb{R}^n)$, ${\operatorname{Diff}}{\mathcal{S}}{}_{[L]}^{[M]}(\mathbb{R}^n)$, and ${\operatorname{Diff}}\mathcal{D}^{[M]}(\mathbb{R}^n)$ of $C^{[M]}$-diffeomorphisms on $\mathbb{R}^n$ which differ from the identity by a mapping in $\mathcal{B}^{[M]}$ (global Denjoy--Carleman), $W^{[M],p}$ (Sobolev-Denjoy-Carleman), ${\mathcal{S}}{}_{[L]}^{[M]}$ (Gelfand--Shilov), or $\mathcal{D}^{[M]}$ (Denjoy-Carleman with compact support) are $C^{[M]}$-regular Lie groups. As an application we use the $R$-transform to show that the Hunter-Saxton PDE on the real line is well-posed in any of the classes $W^{[M],1}$, ${\mathcal{S}}{}_{[L]}^{[M]}$, and $\mathcal{D}^{[M]}$. Here we find some surprising groups with continuous left translations and $C^{[M]}$ right translations (called half-Lie groups), which, however, also admit $R$-transforms. △ Less

Submitted 20 October, 2014; v1 submitted 28 April, 2014; originally announced April 2014.

Comments: 45 pages; some small corrections done

MSC Class: 26E10; 46A17; 46E50; 46F05; 58B10; 58B25; 58C25; 58D05; 58D15; 35Q31

Journal ref: Ann. Glob. Anal. Geom. 47, 2 (2015), 179-222

Regularity of roots of polynomials

Authors: Adam Parusinski, Armin Rainer

Abstract: We show that smooth curves of monic complex polynomials $P_a (Z)=Z^n+\sum_{j=1}^n a_j Z^{n-j}$, $a_j : I \to \mathbb C$ with $I \subset \mathbb R$ a compact interval, have absolutely continuous roots in a uniform way. More precisely, there exists a positive integer $k$ and a rational number $p >1$, both depending only on the degree $n$, such that if $a_j \in C^{k}$ then any continuous choice of ro… ▽ More We show that smooth curves of monic complex polynomials $P_a (Z)=Z^n+\sum_{j=1}^n a_j Z^{n-j}$, $a_j : I \to \mathbb C$ with $I \subset \mathbb R$ a compact interval, have absolutely continuous roots in a uniform way. More precisely, there exists a positive integer $k$ and a rational number $p >1$, both depending only on the degree $n$, such that if $a_j \in C^{k}$ then any continuous choice of roots of $P_a$ is absolutely continuous with derivatives in $L^q$ for all $1 \le q < p$, in a uniform way with respect to $\max_j\|a_j\|_{C^k}$. The uniformity allows us to deduce also a multiparameter version of this result. The proof is based on formulas for the roots of the universal polynomial $P_a$ in terms of its coefficients $a_j$ which we derive using resolution of singularities. For cubic polynomials we compute the formulas as well as bounds for $k$ and $p$ explicitly. △ Less

Submitted 4 April, 2016; v1 submitted 9 September, 2013; originally announced September 2013.

Comments: 32 pages, 2 figures; minor changes; accepted for publication in Ann. Sc. Norm. Super. Pisa Cl. Sci. (5); some typos corrected

MSC Class: 26C10; 26A46; 30C15; 32S45

Journal ref: Ann. Sc. Norm. Super. Pisa Cl. Sci. (5), 16 (2016), 481-517

A new proof of Bronshtein's theorem

Authors: Adam Parusinski, Armin Rainer

Abstract: We give a new self-contained proof of Bronshtein's theorem, that any continuous root of a $C^{n-1,1}$-family of monic hyperbolic polynomials of degree $n$ is locally Lipschitz, and obtain explicit bounds for the Lipschitz constant of the root in terms of the coefficients. As a by-product we reprove the recent result of Colombini, Orrú, and Pernazza, that a $C^n$-curve of hyperbolic polynomials of… ▽ More We give a new self-contained proof of Bronshtein's theorem, that any continuous root of a $C^{n-1,1}$-family of monic hyperbolic polynomials of degree $n$ is locally Lipschitz, and obtain explicit bounds for the Lipschitz constant of the root in terms of the coefficients. As a by-product we reprove the recent result of Colombini, Orrú, and Pernazza, that a $C^n$-curve of hyperbolic polynomials of degree $n$ admits a $C^1$-system of its roots. △ Less

Submitted 18 December, 2015; v1 submitted 9 September, 2013; originally announced September 2013.

Comments: 15 pages; explicit bounds for the Lipschitz constant of the root added; proof that the roots can be chosen $C^1$ if the coefficients are $C^n$ added; small corrections and numbering changed; accepted for publication in J. Hyperbolic Differ. Equ; some typos corrected

MSC Class: 26C05; 26C10; 30C15; 26A16

Journal ref: J. Hyperbolic Differ. Equ., 12 (2015), No. 4, 671-688

Differentiable roots, eigenvalues, and eigenvectors

Authors: Armin Rainer

Abstract: We determine the conditions for the existence of $C^p$-roots of curves of monic complex polynomials as well as for the existence of $C^p$-eigenvalues and $C^p$-eigenvectors of curves of normal complex matrices. We determine the conditions for the existence of $C^p$-roots of curves of monic complex polynomials as well as for the existence of $C^p$-eigenvalues and $C^p$-eigenvectors of curves of normal complex matrices. △ Less

Submitted 22 January, 2013; v1 submitted 17 November, 2012; originally announced November 2012.

Comments: 18 pages, some typos corrected, accepted for publication in Israel J. Math

MSC Class: 26C10; 30C15; 47A55; 03C64

Journal ref: Israel J. Math. 201 (2014), No. 1, 99--122

Composition in ultradifferentiable classes

Authors: Armin Rainer, Gerhard Schindl

Abstract: We characterize stability under composition of ultradifferentiable classes defined by weight sequences $M$, by weight functions $ω$, and, more generally, by weight matrices $\mathfrak{M}$, and investigate continuity of composition $(g,f) \mapsto f \circ g$. In addition, we represent the Beurling space $\mathcal{E}^{(ω)}$ and the Roumieu space $\mathcal{E}^{\{ω\}}$ as intersection and union of spac… ▽ More We characterize stability under composition of ultradifferentiable classes defined by weight sequences $M$, by weight functions $ω$, and, more generally, by weight matrices $\mathfrak{M}$, and investigate continuity of composition $(g,f) \mapsto f \circ g$. In addition, we represent the Beurling space $\mathcal{E}^{(ω)}$ and the Roumieu space $\mathcal{E}^{\{ω\}}$ as intersection and union of spaces $\mathcal{E}^{(M)}$ and $\mathcal{E}^{\{M\}}$ for associated weight sequences, respectively. △ Less

Submitted 2 November, 2014; v1 submitted 18 October, 2012; originally announced October 2012.

Comments: 28 pages, mistake in Lemma 2.9 and ramifications corrected, Theorem 6.3 improved; to appear in Studia Math

MSC Class: 26E10; 30D60; 46E10; 47B33

Journal ref: Studia Mathematica 224 (2014), no. 2, 97-131

Perturbation theory for normal operators

Authors: Armin Rainer

Abstract: Let $E \ni x\mapsto A(x)$ be a $\mathscr{C}$-mapping with values unbounded normal operators with common domain of definition and compact resolvent. Here $\mathscr{C}$ stands for $C^\infty$, $C^ω$ (real analytic), $C^{[M]}$ (Denjoy--Carleman of Beurling or Roumieu type), $C^{0,1}$ (locally Lipschitz), or $C^{k,α}$. The parameter domain $E$ is either $\mathbb R$ or $\mathbb R^n$ or an infinite dimen… ▽ More Let $E \ni x\mapsto A(x)$ be a $\mathscr{C}$-mapping with values unbounded normal operators with common domain of definition and compact resolvent. Here $\mathscr{C}$ stands for $C^\infty$, $C^ω$ (real analytic), $C^{[M]}$ (Denjoy--Carleman of Beurling or Roumieu type), $C^{0,1}$ (locally Lipschitz), or $C^{k,α}$. The parameter domain $E$ is either $\mathbb R$ or $\mathbb R^n$ or an infinite dimensional convenient vector space. We completely describe the $\mathscr{C}$-dependence on $x$ of the eigenvalues and the eigenvectors of $A(x)$. Thereby we extend previously known results for self-adjoint operators to normal operators, partly improve them, and show that they are best possible. For normal matrices $A(x)$ we obtain partly stronger results. △ Less

Submitted 12 April, 2012; v1 submitted 18 November, 2011; originally announced November 2011.

Comments: 32 pages, Remark 7.5 on m-sectorial operators added, accepted for publication in Trans. Amer. Math. Soc

MSC Class: 26C10; 26E10; 32B20; 47A55

Journal ref: Trans. Amer. Math. Soc., 365 (2013), 5545--5577

The Convenient Setting for Denjoy--Carleman Differentiable Mappings of Beurling and Roumieu Type

Authors: Andreas Kriegl, Peter W. Michor, Armin Rainer

Abstract: We prove in a uniform way that all Denjoy--Carleman differentiable function classes of Beurling type $C^{(M)}$ and of Roumieu type $C^{\{M\}}$, admit a convenient setting if the weight sequence $M=(M_k)$ is log-convex and of moderate growth: For $\mathcal C$ denoting either $C^{(M)}$ or $C^{\{M\}}$, the category of $\mathcal C$-mappings is cartesian closed in the sense that… ▽ More We prove in a uniform way that all Denjoy--Carleman differentiable function classes of Beurling type $C^{(M)}$ and of Roumieu type $C^{\{M\}}$, admit a convenient setting if the weight sequence $M=(M_k)$ is log-convex and of moderate growth: For $\mathcal C$ denoting either $C^{(M)}$ or $C^{\{M\}}$, the category of $\mathcal C$-mappings is cartesian closed in the sense that $\mathcal C(E,\mathcal C(F,G))\cong \mathcal C(E\times F, G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $\mathcal C$-diffeomorphisms is a regular $\mathcal C$-Lie group if $\mathcal C \supseteq C^ω$, but not better. △ Less

Submitted 20 January, 2015; v1 submitted 8 November, 2011; originally announced November 2011.

Comments: 41 pages; numbering changed in order to make it consistent with the published version; to appear in Rev. Mat. Complut. arXiv admin note: text overlap with arXiv:0909.5632

MSC Class: 26E10; 46A17; 46E50; 58B10; 58B25; 58C25; 58D05; 58D15

Journal ref: Revista Matemática Complutense 28, 3 (2015), 549-597

Addendum to: "Lifting smooth curves over invariants for representations of compact Lie groups, III" [J. Lie Theory 16 (2006), No. 3, 579-600.]

Authors: Andreas Kriegl, Mark Losik, Peter W. Michor, Armin Rainer

Abstract: We improve the main results in the paper from the title using a recent refinement of Bronshtein's theorem due to Colombini, Orrú, and Pernazza. They are then in general best possible both in the hypothesis and in the outcome. As a consequence we obtain a result on lifting smooth mappings in several variables. We improve the main results in the paper from the title using a recent refinement of Bronshtein's theorem due to Colombini, Orrú, and Pernazza. They are then in general best possible both in the hypothesis and in the outcome. As a consequence we obtain a result on lifting smooth mappings in several variables. △ Less

Submitted 28 June, 2011; originally announced June 2011.

Comments: 5 pages

MSC Class: 22E45; 22C05

Journal ref: J. Lie Theory 22, 1 (2012), 245-249

Lifting quasianalytic mappings over invariants

Authors: Armin Rainer

Abstract: Let $ρ: G \to \operatorname{GL}(V)$ be a rational finite dimensional complex representation of a reductive linear algebraic group $G$, and let $σ_1,σ_n$ be a system of generators of the algebra of invariant polynomials $\mathbb{C}[V]^G$. We study the problem of lifting mappings $f : \mathbb{R}^q \supseteq U \to σ(V) \subseteq \mathbb{C}^n$ over the mapping of invariants $σ=(σ_1,σ_n) : V \to σ(V)$.… ▽ More Let $ρ: G \to \operatorname{GL}(V)$ be a rational finite dimensional complex representation of a reductive linear algebraic group $G$, and let $σ_1,σ_n$ be a system of generators of the algebra of invariant polynomials $\mathbb{C}[V]^G$. We study the problem of lifting mappings $f : \mathbb{R}^q \supseteq U \to σ(V) \subseteq \mathbb{C}^n$ over the mapping of invariants $σ=(σ_1,σ_n) : V \to σ(V)$. Note that $σ(V)$ can be identified with the categorical quotient $V /\!\!/ G$ and its points correspond bijectively to the closed orbits in $V$. We prove that, if $f$ belongs to a quasianalytic subclass $\mathcal{C} \subseteq C^\infty$ satisfying some mild closedness properties which guarantee resolution of singularities in $\mathcal{C}$ (e.g.\ the real analytic class), then $f$ admits a lift of the same class $\mathcal{C}$ after desingularization by local blow-ups and local power substitutions. As a consequence we show that $f$ itself allows for a lift which belongs to $SBV_{\operatorname{loc}}$ (i.e.\ special functions of bounded variation). If $ρ$ is a real representation of a compact Lie group, we obtain stronger versions. △ Less

Submitted 12 January, 2011; v1 submitted 6 July, 2010; originally announced July 2010.

Comments: 17 pages, 1 table, minor corrections, to appear in Canad. J. Math

MSC Class: 14L24; 14L30; 20G20; 22E45

Journal ref: Can. J. Math.-J. Can. Math. 64 (2012) 409-428

Denjoy-Carleman differentiable perturbation of polynomials and unbounded operators

Authors: Andreas Kriegl, Peter W. Michor, Armin Rainer

Abstract: Let $t\mapsto A(t)$ for $t\in T$ be a $C^M$-mapping with values unbounded operators with compact resolvents and common domain of definition which are self-adjoint or normal. Here $C^M$ stands for $C^\om$ (real analytic), a quasianalytic or non-quasianalytic Denjoy-Carleman class, $C^\infty$, or a Hölder continuity class $C^{0,\al}$. The parameter domain $T$ is either $\mathbb R$ or… ▽ More Let $t\mapsto A(t)$ for $t\in T$ be a $C^M$-mapping with values unbounded operators with compact resolvents and common domain of definition which are self-adjoint or normal. Here $C^M$ stands for $C^\om$ (real analytic), a quasianalytic or non-quasianalytic Denjoy-Carleman class, $C^\infty$, or a Hölder continuity class $C^{0,\al}$. The parameter domain $T$ is either $\mathbb R$ or $\mathbb R^n$ or an infinite dimensional convenient vector space. We prove and review results on $C^M$-dependence on $t$ of the eigenvalues and eigenvectors of $A(t)$. △ Less

Submitted 1 October, 2009; originally announced October 2009.

Comments: 8 pages

MSC Class: 26C10; 26E10; 47A55

Journal ref: Integral Equations and Operator Theory 71,3 (2011), 407-416

The Convenient Setting for Quasianalytic Denjoy--Carleman Differentiable Mappings

Authors: Andreas Kriegl, Peter W. Michor, Armin Rainer

Abstract: For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$-intersection (see 1.6), we prove the following: The category of $C^Q$-mappings is cartesian closed in the sense that $C^Q(E,C^Q(F,G))\cong C^Q(E\times F, G)$ for convenient vector spaces. Applications to ma… ▽ More For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$-intersection (see 1.6), we prove the following: The category of $C^Q$-mappings is cartesian closed in the sense that $C^Q(E,C^Q(F,G))\cong C^Q(E\times F, G)$ for convenient vector spaces. Applications to manifolds of mappings are given: The group of $C^Q$-diffeomorphisms is a regular $C^Q$-Lie group but not better. △ Less

Submitted 6 June, 2011; v1 submitted 30 September, 2009; originally announced September 2009.

Comments: 29 pages. Some typos corrected; J. Functional Analysis (2011)

MSC Class: 26E10; 46A17; 46E50; 58B10

Journal ref: J. Functional Analysis 261, 7 (2011) 1799-1834

Quasianalytic multiparameter perturbation of polynomials and normal matrices

Authors: Armin Rainer

Abstract: We study the regularity of the roots of multiparameter families of complex univariate monic polynomials $P(x)(z) = z^n + \sum_{j=1}^n (-1)^j a_j(x) z^{n-j}$ with fixed degree $n$ whose coefficients belong to a certain subring $\mathcal C$ of $C^\infty$-functions. We require that $\mathcal C$ includes polynomial but excludes flat functions (quasianalyticity) and is closed under composition, derivat… ▽ More We study the regularity of the roots of multiparameter families of complex univariate monic polynomials $P(x)(z) = z^n + \sum_{j=1}^n (-1)^j a_j(x) z^{n-j}$ with fixed degree $n$ whose coefficients belong to a certain subring $\mathcal C$ of $C^\infty$-functions. We require that $\mathcal C$ includes polynomial but excludes flat functions (quasianalyticity) and is closed under composition, derivation, division by a coordinate, and taking the inverse. Examples are quasianalytic Denjoy--Carleman classes, in particular, the class of real analytic functions $C^ω$. We show that there exists a locally finite covering $\{π_k\}$ of the parameter space, where each $π_k$ is a composite of finitely many $\mathcal C$-mappings each of which is either a local blow-up with smooth center or a local power substitution (in coordinates given by $x \mapsto (\pm x_1^{γ_1},...,\pm x_q^{γ_q})$, $γ_i \in \mathbb N_{>0}$), such that, for each $k$, the family of polynomials $P øπ_k$ admits a $\mathcal C$-parameterization of its roots. If $P$ is hyperbolic (all roots real), then local blow-ups suffice. Using this desingularization result, we prove that the roots of $P$ can be parameterized by $SBV_{loc}$-functions whose classical gradients exist almost everywhere and belong to $L^1_{loc}$. In general the roots cannot have gradients in $L^p_{loc}$ for any $1 < p \le \infty$. Neither can the roots be in $W_{loc}^{1,1}$ or $VMO$. We obtain the same regularity properties for the eigenvalues and the eigenvectors of $\mathcal C$-families of normal matrices. A further consequence is that every continuous subanalytic function belongs to $SBV_{loc}$. △ Less

Submitted 12 January, 2011; v1 submitted 6 May, 2009; originally announced May 2009.

Comments: 33 pages, 1 figure, minor corrections, to appear in Trans. Amer. Math. Soc

MSC Class: 26C10; 26E10; 30C15; 32B20; 47A55; 47A56

Journal ref: Trans. Amer. Math. Soc., 363 (2011), No. 9, 4945--4977

Smooth roots of hyperbolic polynomials with definable coefficients

Authors: Armin Rainer

Abstract: We prove that the roots of a definable $C^\infty$ curve of monic hyperbolic polynomials admit a definable $C^\infty$ parameterization, where `definable' refers to any fixed o-minimal structure on $(\mathbb R,+,\cdot)$. Moreover, we provide sufficient conditions, in terms of the differentiability of the coefficients and the order of contact of the roots, for the existence of $C^p$ (for… ▽ More We prove that the roots of a definable $C^\infty$ curve of monic hyperbolic polynomials admit a definable $C^\infty$ parameterization, where `definable' refers to any fixed o-minimal structure on $(\mathbb R,+,\cdot)$. Moreover, we provide sufficient conditions, in terms of the differentiability of the coefficients and the order of contact of the roots, for the existence of $C^p$ (for $p \in \mathbb N$) arrangements of the roots in both the definable and the non-definable case. These conditions are sharp in the definable and under an additional assumption also in the non-definable case. In particular, we obtain a simple proof of Bronshtein's theorem in the definable setting. We prove that the roots of definable $C^\infty$ curves of complex polynomials can be desingularized by means of local power substitutions $t \mapsto \pm t^N$. For a definable continuous curve of complex polynomials we show that any continuous choice of roots is actually locally absolutely continuous. △ Less

Submitted 12 January, 2011; v1 submitted 27 April, 2009; originally announced April 2009.

Comments: 19 pages, 1 figure, minor corrections, to appear in Israel J. Math

MSC Class: 26C10; 39C15; 03C64

Journal ref: Israel J. Math., 184 (2011), No. 1, 157--182