Towards a better understanding of \(\mathcal{C}^p\) functions and definable \(\mathcal{C}^p\) functions of several variables (Q7006053)

This paper studies when smoothness can be tested on the lines parallel to coordinate axes for both the general \(\mathcal C^p\) category and for the o-minimal \(\mathcal C^p\) category. Numerous results are given in this paper, and only two of them are introduced here. Let \(\Omega \subseteq \mathbb R^N\) be an open set, \(p\) be a nonnegative integer and \(\omega:[0,+\infty) \to [0,+\infty)\) be a modulus of continuity. The function space \(\mathcal C_{\omega}^p(\Omega)\) is the set of all functions \(f:\Omega \to \mathbb R\) such that\N\begin{itemize}\N\item \(f\) is of class \(\mathcal C^p\),\N\item for each \(a \in \Omega\), there exist an open neighborhood \(W_a\) and \(C_a>0\) such that, for each \(\alpha \in \mathbb N_0^N\) with \(|\alpha|=p\) and each \(y,z \in W_a\), \(|D^{\alpha}f(y)-D^{\alpha}f(z)|<C_a\omega(|y-z|)\).\N\end{itemize}\NLet \(\mathcal K_{\omega}^p(\Omega)\) be the set of function satisfying the above conditions on the lines parallel to coordinate axes. A main theorem for the general \(\mathcal C^p\) category asserts \(\mathcal C_{\omega}^p(\Omega)=\mathcal K_{\omega}^p(\Omega)\) if the modulus of continuity satisfies the conditions called (S2) and (S3). Another main theorem for the o-minimal \(\mathcal C^p\) category asserts that a function definable in some polynomially bounded o-minimal structure is of class \(\mathcal C^r\) if and only if, for each \(1 \leq \nu \leq N\), \(\partial^pf/\partial x^p_{\nu}\) exists and continuous in \(\Omega\). Numerous examples are provided, which examine what happens if the conditions in the main theorems are dropped.