A fundamental theorem of calculus for the Kurzweil-Henstock integral in \(\mathbb{R}^m\) (Q1852424): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 05:55, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A fundamental theorem of calculus for the Kurzweil-Henstock integral in \(\mathbb{R}^m\) |
scientific article |
Statements
A fundamental theorem of calculus for the Kurzweil-Henstock integral in \(\mathbb{R}^m\) (English)
0 references
5 January 2003
0 references
Let \(f\) be a real-valued function on a compact interval in \(\mathbb{R}^m\) and let \(F\) be a real-valued set function defined on intervals. Define \(\Gamma_\varepsilon=\{(x,I):|F(I)-f(x)|I||\geq\varepsilon|I|\}\). If \(\delta\) is a gauge on \(E\) then let \(X(\varepsilon, \delta)=\{x\in E: \text{ there is a } \delta\text{-fine } (x,I)\in\Gamma_\varepsilon\}\). The set \(X(\varepsilon, \delta)\) is considered as a set of singularities that is larger than that considered by \textit{J. T. Lu} and \textit{P.-Y. Lee} [``The primitives of Henstock integrable functions in Euclidean space'', Bull. Lond. Math. Soc. 31, No.~2, 173-180 (1999; Zbl 0921.26006)] in their work on the differentiability of the primitive. The authors prove that \(f\) is Henstock-Kurzweil integrable and \(F\) is its primitive if and only if for all \(\varepsilon>0\) there is a gauge \(\delta:E\to (0,1)\) such that \(\sum|F(E)|<\varepsilon\) and \(\sum|f(x)||I|<\varepsilon\) for sums over every \(\delta\)-fine partial division in \(\Gamma_\varepsilon\). Also considered are various convergence theorems using a type of strong Lusin condition.
0 references
Kurzweil-Henstock integral
0 references
convergence theorem
0 references
differentiation
0 references