Exponential laws for weighted function spaces and regularity of weighted mapping groups (1512.07211v1)

Abstract: Let $E$ be a locally convex space, $U\subseteq\mathbb{R}^n$ as well as $V\subseteq\mathbb{R}^m$ be open and $k,l\in\mathbb{N}0\cup\left{\infty\right}$. Locally convex spaces $C^{k,l}(U\times V,E)$ of functions with different degrees of differentiability in the $U$- and $V$-variable were recently studied by H.Alzaareer, who established an exponential law of the form $C^{k,l}(U\times V,E)\cong C^k(U,C^l(V,E))$. We establish an analogous exponential law $C^{k,l}{\mathcal{W}1\otimes\mathcal{W}_2}(U\times V,E)\cong C^k{\mathcal{W}1}(U,C^l{\mathcal{W}2}(V,E))$ for suitable spaces of weighted $C^{k,l}$-maps, as well as an analogue for spaces of weighted continuous functions on locally compact spaces. The results entail that certain Lie groups $C^l\mathcal{W}(U,H)$ of weighted mappings introduced by B.Walter are $C^k$-regular, for each $C^k$-regular Lie group $H$ modeled on a locally convex space and a suitable set of weights $\mathcal{W}$.