fundamental theorem of calculus for Kurzweil-Henstock integral
Let the ∫ symbol denote the Kurzweil-Henstock integral. We can then give the most general version of the fundamental theorem of calculus.
Theorem.
Let F:[a,b]→R and suppose the derivative
F′(x) exists for all x∈[a,b]. Then
∫baF′(x)𝑑x=F(b)-F(a). |
The reader should note the subtle difference from the standard version. Here we do not assume anything about F′ except that it exists. For the standard version we usually assume that F′ is continuous
, and if we use the Lebesgue integral
we must assume that F′ is Lebesgue integrable. Part of this theorem
is that F′ is Kurzweil-Henstock integrable, hence no extra assumptions
are necessary.
An example of a function where the standard version has problems is the function
F(x):= |
is differentiable everywhere, but
Which is not continuous and in fact unbounded on any interval containing zero.
Title | fundamental theorem of calculus for Kurzweil-Henstock integral |
---|---|
Canonical name | FundamentalTheoremOfCalculusForKurzweilHenstockIntegral |
Date of creation | 2013-03-22 16:44:27 |
Last modified on | 2013-03-22 16:44:27 |
Owner | jirka (4157) |
Last modified by | jirka (4157) |
Numerical id | 4 |
Author | jirka (4157) |
Entry type | Theorem |
Classification | msc 26A42 |
Related topic | FundamentalTheoremOfCalculusClassicalVersion |