Calculation of Derivatives in the Lp Spaces where 1 ≤ p ≤ ∞

It is well known in functional analysis that construction of \(k\)-order derivative in Sobolev space \(W_p^k\) can be performed by spreading the \(k\)-multiple differentiation operator from the space \(C^k.\) At the same time there is a definition of \((k,p)\)-differentiability of a function at an individual point based on the corresponding order of infinitesimal difference between the function and the approximating algebraic polynomial \(k\)-th degree in the neighborhood of this point on the norm of the space \(L_p\). The purpose of this article is to study the consistency of the operator and local derivative constructions and their direct calculation. The function \(f\in L_p[I], \;p>0,\) (for \(p=\infty\), we consider measurable functions bounded on the segment \(I\) ) is called \((k; p)\)-differentiable at a point \(x \in I\;\) if there exists an algebraic polynomial of \(\;\pi\) of degree no more than \(k\) for which holds \( \Vert f-\pi \Vert_{L_p[J_h]} = o(h^{k+\frac{1}{p}}), \) where \(\;J_h=[x_0-h; x_0+h]\cap I.\) At an internal point for \(k = 1\) and \(p = \infty\) this is equivalent to the usual definition of the function differentiability. The discussed concept was investigated and applied in the works of S. N. Bernshtein [1], A. P. Calderon and A. Sigmund [2]. The author's article [3] shows that uniform \((k, p)\)-differentiability of a function on the segment \(I\) for some \(\; p\ge 1\) is equivalent to belonging the function to the space \(C^k[I]\) (existence of an equivalent function in \(C^k[I]\)). In present article, integral-difference expressions are constructed for calculating generalized local derivatives of natural order in the space \(L_1\) (hence, in the spaces \(L_p,\; 1\le p\le \infty\)), and on their basis - sequences of piecewise constant functions subordinate to uniform partitions of the segment \(I\). It is shown that for the function \( f \) from the space  \( W_p^k \) the sequence piecewise constant functions defined by integral-difference \(k\)-th order expressions converges to  \( f^{(k)} \) on the norm of the space \( L_p[I].\) The constructions are algorithmic in nature and can be applied in numerical computer research of various differential models.

1. S. Bernstein, “On the Qestion of Local Best Approximation of Functions”, in Dokl. USSR Acad. Sci, vol. 26, 1940, pp. 839–842.

2. A. Calderon and A. Zygmund, “Local properties of solutions of elliptic partial differential equations”, ´in Selected Papers of Antoni Zygmund, Springer, 1989, pp. 285–339.

3. A. Morozov, “On Taylor Differentiability in the Spaces Lp, 0 < p ≤ ∞”, Modeling and analysis of inform. systems, vol. 25, no. 3, pp. 323–330, 2018.

4. A. Morozov, “Local approximations of differentiable functions.”, Math. Notes, vol. 100, no. 2, pp. 256–262, 2016.

5. V. Abilov and F. Abilova, “Problems in the approximation of 2 π-periodic functions by Fourier sums in the space L2(2 π)”, Math. Notes, vol. 76, pp. 749–757, 2004.

6. A. Khromov and G. Khromova, “Discontinuous Steklov operators in the problem of uniform approximation of derivatives on an interval”, Computational Mathematics and Mathematical Physics, vol. 54, no. 9, pp. 1389–1394, 2014.

7. V. Dzyadyk, Introduction to the theory of uniform approximation of functions by polynomials. Nauka, 1977.

8. L. Schumaker, Spline Functions: Basic Theory. Wiley, New York, 1981.