Extending Peano derivatives: necessary and sufficient conditions (Q1978840)

This paper is an abstract of the lecture at Chattanooga Symposium. The following theorem is presented: Let \(P\) be a closed subset of \([0,1]\), and \(f\) be a real function on \(P\) which is \(k\) times Peano differentiable relative to \(P\) with Peano derivatives \(f_{(1)},\dots ,f_{(k)}\). Then there exists a real function \(F\) on the interval \([0,1]\), which is \(k\) times Peano differentiable on \([0,1]\) and \(F(x)=f(x)\), \(F_{(j)}(x)=f_{(j)}(x)\) for all \(x\in P\) and all \(j=1,\dots ,k\), if and only if the following condition holds: In every perfect subset \(P_0\) of the boundary of \(P\) there exists a point \(x\) such that, for all \(y\) in a neighbourhood of \(x\) relative to \(P_0\) and all \(p=1,\dots , k-1\), \(f_{(p)}\) is \(k-p\) times Peano differentiable at \(y\) relative to \(P_0\) with Peano derivatives \(f_{(p+1)}(y), \dots ,f_{(k)}(y)\).