Exponential laws for ultrametric partially differentiable functions and applications

We establish exponential laws for certain spaces of differentiable functions over a valued field $\mathbb{K}$ . For example, we show that $$C^{(\alpha ,\beta )} \left( {U \times V,E} \right) \cong C^\alpha \left( {U,C^\beta \left( {V,E} \right)} \right)$$ if α ∈ (?₀ ∪ {∞}) ⁿ , β ∈ (?₀ ∪ {∞}) ^m , $U \subseteq \mathbb{K}^n$ and $V \subseteq \mathbb{K}^m$ are open (or suitable more general) subsets, and E is a topological vector space. As a first application, we study the density of locally polynomial functions in spaces of partially differentiable functions over an ultrametric field (thus solving an open problem by Enno Nagel), and also global approximations by polynomial functions. As a second application, we obtain a new proof for the characterization of C ^r -functions on (? _p ) ⁿ in terms of the decay of their Mahler expansions. In both applications, the exponential laws enable simple inductive proofs via a reduction to the one-dimensional, vector-valued case.