Locally defined operators in the space of Whitney differentiable functions (Q2483359)

The article deals with a representation theorem for locally defined operators on spaces of Whitney differentiable functions defined in a given set \(A\subset{\mathbb R}^n\). An operator \(K:C^m(A)\to C^0(A)\) is said to be \textit{locally defined} if, for all \(\varphi,\psi\in C^m(A)\) and every open interval \(J\subset{\mathbb R}^n\), the equality \(\varphi|_{J\cap A}=\psi|_{J \cap A}\) implies that \(K\varphi|_{J \cap A}=K\psi|_{J \cap A}\) (here, \(C^m\) is the space of real functions \(f:A\to{\mathbb R}\) with Whitney derivatives up to the order \(m\)). The main result of the article is a representation formula for such operators: \[ K\varphi(x)=h(x,\varphi^{(0,\dots,0)}(x),\varphi^{(1,\dots,0)}(x),\dots,\varphi^{(0,\dots,1)}(x),\dots,\varphi^{(m,\dots,0)}(x),\dots,\varphi^{(0,\dots,m)}(x)) \] for \(\varphi \in C^m(a)\) and \(x \in A\), with \(h\) a unique function \(h:A\times{\mathbb R}^{s(m)}\to{\mathbb R}\), where \(s(m)=\sum_{i=0}^m {{n+i-1}\choose{i}}\). The proof is based on theorems of H.\,Whitney and M.\,A.\thinspace Krasnosel'skiĭ.