On the Taylor Differentiability in Spaces L<sub>p</sub>, 0 < p ≤ ∞
The function \(f\in L_p[I], \;p>0,\) is called \((k,p)\)-differentiable at a point \(x_0\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 a...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Yaroslavl State University
2018-06-01
|
| Series: | Моделирование и анализ информационных систем |
| Subjects: | |
| Online Access: | https://www.mais-journal.ru/jour/article/view/690 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1839573277151854592 |
|---|---|
| author | Anatoly N. Morozov |
| author_facet | Anatoly N. Morozov |
| author_sort | Anatoly N. Morozov |
| collection | DOAJ |
| description | The function \(f\in L_p[I], \;p>0,\) is called \((k,p)\)-differentiable at a point \(x_0\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. At an interior point for \(k=1\) and \(p=\infty\), the definition is equivalent to the usual differentiability of the function. There is a standard "hierarchy" for the existence of differentials(if \(p_1<p_2,\) then \((k,p_2)\)-differentiability should be \((k,p_1)\)-differentiability. In the works of S.N. Bernstein, A.P. Calderon and A. Zygmund were given applications of such a construction to build a description of functional spaces (\(p=\infty\)) and the study of local properties of solutions of differential equations \((1\le p\le\infty)\), respectively. This article is related to the first mentioned work. The article introduces the concept of uniform differentiability. We say that a function \(f\), \((k,p)\)-differentiable at all points of the segment \(I\), is uniformly \((k,p)\)-differentiable on \(I\) if for any number \(\varepsilon>0\) there is a number \(\delta>0\) such that for each point \(x\in I\) runs \( \Vert f-\pi\Vert_{L_p[J_h]}<\varepsilon\cdot h^{k+\frac{1}{p}} \; \) for \(0<h<\delta, \; J_h = [x\!-\!H; x\!+\!h]\cap I,\) where \(\pi\) is the polynomial of the terms of the \((k, p)\)-differentiability at the point \(x\). Based on the methods of local approximations of functions by algebraic polynomials it is shown that a uniform \((k,p)\)-differentiability of the function \(f\) at some \(1\le p\le\infty\) implies \(f\in C^k[I].\) Therefore, in this case the differentials are "equivalent". Since every function from \(C^k[I]\) is uniformly \((k,p)\)-differentiable on the interval \(I\) at \(1\le p\le\infty,\) we obtain a certain criterion of belonging to this space. The range \(0<p<1,\) obviously, can be included into the necessary condition the membership of the function \(C^k[I]\), but the sufficiency of Taylor differentiability in this range has not yet been fully proven. |
| format | Article |
| id | doaj-art-b08fb8b9d80f46ef99164f724fa0f2b9 |
| institution | Matheson Library |
| issn | 1818-1015 2313-5417 |
| language | English |
| publishDate | 2018-06-01 |
| publisher | Yaroslavl State University |
| record_format | Article |
| series | Моделирование и анализ информационных систем |
| spelling | doaj-art-b08fb8b9d80f46ef99164f724fa0f2b92025-08-04T14:06:38ZengYaroslavl State UniversityМоделирование и анализ информационных систем1818-10152313-54172018-06-0125332333010.18255/1818-1015-2018-3-323-330509On the Taylor Differentiability in Spaces L<sub>p</sub>, 0 < p ≤ ∞Anatoly N. Morozov0P.G. Demidov Yaroslavl State UniversityThe function \(f\in L_p[I], \;p>0,\) is called \((k,p)\)-differentiable at a point \(x_0\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. At an interior point for \(k=1\) and \(p=\infty\), the definition is equivalent to the usual differentiability of the function. There is a standard "hierarchy" for the existence of differentials(if \(p_1<p_2,\) then \((k,p_2)\)-differentiability should be \((k,p_1)\)-differentiability. In the works of S.N. Bernstein, A.P. Calderon and A. Zygmund were given applications of such a construction to build a description of functional spaces (\(p=\infty\)) and the study of local properties of solutions of differential equations \((1\le p\le\infty)\), respectively. This article is related to the first mentioned work. The article introduces the concept of uniform differentiability. We say that a function \(f\), \((k,p)\)-differentiable at all points of the segment \(I\), is uniformly \((k,p)\)-differentiable on \(I\) if for any number \(\varepsilon>0\) there is a number \(\delta>0\) such that for each point \(x\in I\) runs \( \Vert f-\pi\Vert_{L_p[J_h]}<\varepsilon\cdot h^{k+\frac{1}{p}} \; \) for \(0<h<\delta, \; J_h = [x\!-\!H; x\!+\!h]\cap I,\) where \(\pi\) is the polynomial of the terms of the \((k, p)\)-differentiability at the point \(x\). Based on the methods of local approximations of functions by algebraic polynomials it is shown that a uniform \((k,p)\)-differentiability of the function \(f\) at some \(1\le p\le\infty\) implies \(f\in C^k[I].\) Therefore, in this case the differentials are "equivalent". Since every function from \(C^k[I]\) is uniformly \((k,p)\)-differentiable on the interval \(I\) at \(1\le p\le\infty,\) we obtain a certain criterion of belonging to this space. The range \(0<p<1,\) obviously, can be included into the necessary condition the membership of the function \(C^k[I]\), but the sufficiency of Taylor differentiability in this range has not yet been fully proven.https://www.mais-journal.ru/jour/article/view/690taylor differentiability of functionlocal approximations of functions |
| spellingShingle | Anatoly N. Morozov On the Taylor Differentiability in Spaces L<sub>p</sub>, 0 < p ≤ ∞ Моделирование и анализ информационных систем taylor differentiability of function local approximations of functions |
| title | On the Taylor Differentiability in Spaces L<sub>p</sub>, 0 < p ≤ ∞ |
| title_full | On the Taylor Differentiability in Spaces L<sub>p</sub>, 0 < p ≤ ∞ |
| title_fullStr | On the Taylor Differentiability in Spaces L<sub>p</sub>, 0 < p ≤ ∞ |
| title_full_unstemmed | On the Taylor Differentiability in Spaces L<sub>p</sub>, 0 < p ≤ ∞ |
| title_short | On the Taylor Differentiability in Spaces L<sub>p</sub>, 0 < p ≤ ∞ |
| title_sort | on the taylor differentiability in spaces l sub p sub 0 p ≤ ∞ |
| topic | taylor differentiability of function local approximations of functions |
| url | https://www.mais-journal.ru/jour/article/view/690 |
| work_keys_str_mv | AT anatolynmorozov onthetaylordifferentiabilityinspaceslsubpsub0p |