The convenient setting for ultradifferentiable mappings of Beurling- and Roumieu-type defined by a weight matrix (Q888715)

A class of mappings \({\mathcal C}\) is said to admit a convenient setting if one can extend the class to admissible infinite-dimensional vector spaces \(E,F,G\) such that \({\mathcal C}(E,F)\) is also admissible and the spaces \({\mathcal C}(E\times F,G)\) and \({\mathcal C}(E,{\mathcal C}(F,G))\) are canonically \({\mathcal C}\)-diffeomorphic. This property is known as the exponential law. {A. Kriegl}, {P. W. Michor} and {A. Rainer} (see, for instance [\textit{A. Kriegl} et al., J. Funct. Anal. 256, No. 11, 3510--3544 (2009; Zbl 1178.46039)] or [ibid. 261, No. 7, 1799--1834 (2011; Zbl 1250.46018)]) showed that the classes of ultradifferentiable functions \({\mathcal E}_{\{M\}}\) of Roumieu type and \({\mathcal E}_{(M)}\) of Beurling type admit a convenient setting in the case that \(M = (M_k)_k\) is a weight sequence strongly log-convex and with moderate growth. The present paper is a generalization to classes \({\mathcal E}_{[{\mathcal M}]}\) defined by (one-parameter) weight matrices \({\mathcal M} = \left\{M^x:x\in {\mathbb R}_{>0}\right\}.\) The notation \({\mathcal E}_{[{\mathcal M}]}\) means that both the Beurling and the Roumieu case are considered. The matrix \({\mathcal M}\) is assumed to satisfy some mild conditions such as the so-called Faà-di-Bruno-property (which is weaker than strong log-convexity) and the moderate growth condition. Sections 1 and 2 are preliminary and contain the basic notation as well as the definition of the classes on open sets of \({\mathbb R}^r,\) while the basic definitions for the convenient setting are contained in Section 3. Section 4 obtains different projective representations for \({\mathcal E}_{[{\mathcal M}]}\). The closedness of the classes under composition is discussed in Section 5. Section 6 analyzes the Cartesian closedness for the classes \({\mathcal E}_{[{\mathcal M}]}\) as well as the exponential law. The final Section 7 discusses some special cases, in particular it considers weight matrices in the sense of \textit{P. Beaugendre} [Ann. Pol. Math. 76, No.~3, 213--243 (2001; Zbl 0995.26017)], \textit{M. Valdivia} and \textit{J. Schmets} [Note Mat. 25, No.~2, 159--185 (2006; Zbl 1195.46039)].