On Joris' theorem on differentiability of functions (Q1824915): Difference between revisions

In the first section of this paper the authors give a simple proof for the following theorem of \textit{H. Joris} [Arch. Math. 39, 269-277 (1982; Zbl 0504.58007)] if f: \(R^ n\to R\) is a function such that \(f^{n_ i}\in C^{\infty}\), \(i=1,2,...,m\), where \(g.c.d.\{n_ 1,n_ 2,...,n_ m\}=1\), then \(f\in C^{\infty}.\) The second section deals with necessary and sufficient conditions for a finite family of smooth functions \(\phi_ i: R\to R\), \(i=1,2,...,m\), such that the following property is satisfied: for any continuous function f: \(R^ n\to R\) with \(f(0)=0\), f is smooth near \(x=0\) if and only if \(\phi_ i\circ f\) is smooth near 0, \(i=1,2,...,m\). This result is in connection with the paper of \textit{J. Duncan}, \textit{S. G. Krantz}, \textit{H. R. Parks} [J. Anal. Math. 45, 46-68 (1985; Zbl 0632.58008)]. In the last section the special case when \(\phi_ i\), \(i=1,2,...,m\) are polynomials is discussed.