Decomposition of derivatives in several variables and the class \([\Delta']\) (Q1295901)

A function \(f: \mathbb{R}^m\to\mathbb{R}\) is approximately differentiable at \(x\) if there are \(m\) numbers \(\{f_i(x)\}^m_{i=1}\) and a measurable set \(E_x\) having density 1 at \((0,\dots, 0)\) such that \[ f(x+ h)= f(x)+ \sum^m_{i= 1} h_if_i(x)+\|h\|\varepsilon_x(h), \] where \(\varepsilon_x(h)\to 0\) as \(\|h\|\to 0\) and \(h\in E_x\). If \(f: \mathbb{R}^m\to \mathbb{R}\) is approximately differentiable then a) there is a sequence of sets \(\{A_N\}\) such that \(\bigcup^\infty_{N= 1}\overline A_N= \mathbb{R}^m\) and \(f|_{\overline A_N}\) is ordinarily differentiable, b) \(f_{ap}'= (f_1,\dots, f_m)\) is Baire 1. A function \(f\) defined in a neighbourhood of a point \(x\) is said to be \(n\)-times Peano differentiable at \(x\) iff there is a set of numbers \(\{f_\alpha(x)\}\), \(1\leq|\alpha|\leq n\), such that \[ f(x+ h)= \sum^n_{i=0} \sum_{|\alpha|= i}{i\choose \alpha_1,\dots,\alpha_m} h^{\alpha_1}_1\cdots h^{\alpha_m}_m {f_\alpha(x)\over i!}+\|h\|^n\varepsilon_x(h), \] where \(\varepsilon_x(h)\to 0\) as \(\|h\|\to 0\). If \(f:\mathbb{R}^m\to \mathbb{R}\) is \(n\)-times approximately Peano differentiable, then a) there is a sequence of closed sets \(\{A_N\}\) such that \(\bigcup^\infty_{N= 1}A_N= \mathbb{R}^m\) and for each \(|\alpha|< n\) we have \(f_\alpha|_{A_N}\) differentiable with partials, the appropriate order \(|\alpha|+ 1\) Peano derivatives of \(f\), b) all \(n\)th-order Peano derivatives are Baire 1. If \(f:\mathbb{R}^m\to \mathbb{R}\) is approximately differentiable (\(n\)-times Peano differentiable), then there is a dense open set on which \(f\) is ordinarily differentiable (\(n\)-times ordinary differentiable).