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

Abstract

We prove in a uniform way that all ultradifferentiable function classes $\mathcal{E}_{\{\mathcal{M}\}}$ of Roumieu-type and $\mathcal{E}_{(\mathcal{M})}$ of Beurling-type defined in terms of a weight matrix $\mathcal{M}$ admit a convenient setting if $\mathcal{M}$ satisfies some mild regularity conditions. For $\mathcal{C}$ denoting either $\mathcal{E}_{\{\mathcal{M}\}}$ or $\mathcal{E}_{(\mathcal{M})}$ the category $\mathcal{C}$ is cartesian closed, i.e. $\mathcal{C}(E\times F,G)\cong\mathcal{C}(E,\mathcal{C}(F,G))$ for $E,F,G$ convenient vector spaces. As special cases one obtains the classes $\mathcal{E}_{\{M\}}$ and $\mathcal{E}_{(M)}$ respectively $\mathcal{E}_{\{\omega\}}$ and $\mathcal{E}_{(\omega)}$ defined by a weight sequence $M$ respectively a weight function $\omega$.