\(m\)-approximate Taylor polynomial (Q2004033)

In \(\mathbb{R}^n\) a notion of \(m\)-density for \(m\in [n, \infty)\) is a generalization of density. Analogous as approximate continuity (differentiability) one can define \(m\)-approximate continuity (differentiability) at a point. It is proved that if \(1\leq p< \infty\) and \(f\colon \mathbb{R}^n \to \mathbb{R}\) is \(L^p\) differentiable at \(x\in \mathbb{R}\) then it is \((n+p)\)-approximate continuous at \(x\). Any Lipschitz function defined on \(A\subset \mathbb{R}^n\) is \(m\)-approximate differentiable at a.e. \(x\in A\) which is an \(m\)-density point of this set. If \(\Omega \subset \mathbb{R}^n\) is open, \(1\leq p<n\) and \(f\in W^{1,p}_{loc}(\Omega)\) then \(f\) is \((n+p*)\)-approximate continuous in \(\Omega\) (\(p*\) stands for the Sobolev conjugate of \(p\)). In this paper there is defined and examined the class \(\tau^N_m(x)\) of functions provided with the notion of \(m\)-approximate \(N\)th degree Taylor polynomial at \(x\in \mathbb{R}^n\). In particular the class \(\tau^N_m(x)\) is compared with the class \(t^{k,p}(x)\) of functions having the derivative of order \(k\) (\(k\in \mathbb{N}\cup \{0\}\)) in \(L^p\) sense at \(x\). It is shown that \( \tau^N_m(x)\) contains \(t^{k,p}(x)\) if \(m=n\). Whenever \(m>n\) the class \( \tau^N_m(x)\) cannot contain \(t^{k,p}(x)\) but \( \tau^N_m(x)\setminus t^{k,p}(x)\neq \emptyset\) for all \(m\geq n\). Moreover, for any \(L<N\) one can find \(m>n\) such that \(t^{k,p}(x)\subset \tau^L_m(x)\). Some further properties of \(m\)-approximate Taylor polynomial of Sobolev functions are examined.