Численное исследование различных процессов приводит к необходимости уточнения (расширения) границ применимости вычислительных конструкций и инструментов моделирования. Для динамических систем данный вопрос может быть связан с обобщением понятия производной, сохраняющим актуальными применяемые конструкции. В настоящей статье вводится понятие слабой локальной дифференцируемости в пространстве интегрируемых по Лебегу функций и рассматриваются согласованность этого понятия с такими основополагающими вычислительными построениями как разложение Тейлора и конечные разности, а также свойства функций, обладающих данного вида дифференцируемостью на отрезке. Функцию f из L₁[a; b] назовём S-дифференцируемой в точке xₒ из (а; b), если существуют коэффициенты с и q, при которых выполняется fx₀x₀+h (f(x) - c - q·(x-x₀)) dx = o(h²). Найдены формулы для вычисления коэффициентов с и q, которые удобно обозначить fₛ(x₀) и fₛ ˊ(x₀) соответственно. Показано, что если функция f принадлежит W₁ⁿ⁻¹[a; b], n больше 1, и функция f⁽ⁿ⁻¹⁾ является S-дифференцируемой в точке хо из (а; b), то f приближается тейлоровским многочленом с точностью o((x-xₒ)ⁿ), а отношение Δⁿₕ(f, xₒ) к hⁿ стремится к fₛ⁽ⁿ⁾(xₒ) при стремлении h к 0. На основе частного Δⁿₕ (f, ·) и hⁿ строится последовательность {Ʌₘⁿ [f]} кусочно-постоянных функций, подчинённых разбиениям отрезка [а; b] на m равных частей. Показано, что для функции f из W₁ⁿ⁻¹[a; b], для которой определено значение f ₛ⁽ⁿ⁾(xₒ), { Ʌₘⁿ [f] (xₒ)} сходится к f ⁽ⁿ⁾(xₒ) при стремлении т к бесконечности, а для fЄ Wₚⁿ[a; b] последовательность { Ʌₘⁿ [f] } сходится к f⁽ⁿ⁾ по норме пространства Lₚ [I]. Место S-дифференцируемости в практическом и теоретическом плане определяется её двусторонними соотношениями с обычной дифференцируемостью. Доказан факт, что если f принадлежит W₁ⁿ⁻¹[I], и функция f⁽ⁿ⁻¹⁾ является равномерно S-дифференцируемой на I, то f принадлежит Cⁿ[f]. Рассмотренные построения имеют алгоритмический характер, и могут быть применены в численном исследовании на ЭВМ соответствующих моделей.
Numerical study of various processes leads to the need of clarification (extensions) of the limits of applicability of computational constructs and modeling tools. For dynamical systems, this question may be related with a generalization of the concept of a derivative, which keeps the used constructions relevant. In this article we introduce the concept of weak local differentiability in a space of Lebesgue integrable functions and consider the consistency of this concept with such fundamental computational constructions as the Taylor expansion and finite differences, as well as properties of functions with a given type of differentiability on a segment. The function f from L₁[a; b] is called S-differentiable at the point x₀ from (a; b), if there are coefficients c and q, for which fx₀x₀+h (f (x) - c - q·(x-x₀)) dx = o(h²). Formulas are found for calculating the coefficients c and q, coefficients c and q, which are conveniently denoted fₛ(x₀) and fₛ ˊ(x₀) respectively. It is shown that if the function f belongs to W₁ⁿ⁻¹[a; b], n is greater than 1, and the function f⁽ⁿ⁻¹⁾ is S-differentiable at the point xₒ from (a; b), then f is approximated by a Taylor polynomial with accuracy o((x-xₒ)ⁿ), and the ratio of Δⁿₕ(f, xₒ) to hⁿ tends to fₛ⁽ⁿ⁾(xₒ) as h tends to 0. Based on the quotient Δⁿₕ (f, ·) and hⁿ, a sequence is built {Ʌₘⁿ [f]} piecewise constant functions subordinate to partitions segment [a; b] into m equal parts. It is shown that for the function f from W₁ⁿ⁻¹[a; b], for which the value is defined f ₛ⁽ⁿ⁾(xₒ), { Ʌₘⁿ [f] (xₒ)} converges to f ⁽ⁿ⁾(xₒ) as m tends to infinity, and for f from Wₚⁿ[a; b] the sequence { Ʌₘⁿ [f] } converges to f⁽ⁿ⁾ in the norm of the space Lₚ [I]. The place of S-differentiability in practical and theoretical terms is determined by its bilateral relations with ordinary differentiability. It is proved that if f belongs to W₁ⁿ⁻¹[I] and the function f⁽ⁿ⁻¹⁾ is uniformly S-differentiable on I, then f belongs to Cⁿ[f]. The constructions are algorithmic in nature and can be applied in numerically computer research of various relevant models.
The authors declare that there are no conflicts of interest present.