I am looking for an example of a function that is not Henstock-Kurzweil integrable. Can anybody help me?
-
1$\begingroup$ I do not know the answer, but I feel like a function that has something to do with a non Lebesgue measurable set would do. Since Lebesgue integral is "absolute convergent" and gauge integral is "conditional convergent"; the power of gauge integral is to integrate highly oscillating functions. $\endgroup$– XiaoJun 5, 2014 at 9:02
-
$\begingroup$ How about $1/x$, say on $(-1,1)$ ? $\endgroup$– user8268Jun 5, 2014 at 9:33
-
$\begingroup$ $1/x$ is Riemann integrable, so it is also Henstock-Kurzweil integrable, right? $\endgroup$– ElkeJun 5, 2014 at 11:12
-
$\begingroup$ No, a function must be bounded to be Riemann integrable, but I believe your second statement is true. $\endgroup$– Ted ShifrinJun 5, 2014 at 11:38
-
1$\begingroup$ @TedShifrin $1/x$ is not Henstock-Kurzweil integrable $\endgroup$– user8268Jun 7, 2014 at 19:35
2 Answers
Take any infinite series $a$, and let $f(x)$ be $a_{\lfloor{x}\rfloor}$ (where $\lfloor{x}\rfloor$ is the greatest integer that is not greater than $x$, that is $x$ rounded down to an integer). In general, $$ \int_i^j f(x) \,\mathrm{d}x = \sum_{n = i}^{j-1} a_n ,$$ whenever $i$ and $j$ are integers. As stated, this is a fine Riemann integral, but change $j$ to $\infty$ and we have:
- $ \int_i^\infty f(x) \,\mathrm{d}x = \sum_{n = i}^\infty a_n $ as a Lebesgue integral iff $a$ is absolutely convergent;
- $ \int_i^\infty f(x) \,\mathrm{d}x = \sum_{n = i}^\infty a_n $ as an improper Riemann integral iff $a$ is convergent (possibly conditionally);
- $ \int_i^\infty f(x) \,\mathrm{d}x = \sum_{n = i}^\infty a_n $ also as a Henstock–Kurzweil integral iff $a$ is convergent (possibly conditionally).
So any divergent series gives a Henstock–Kurzweil nonintegrable function. The harmonic series, for example, gives $f(x) = 1/\lfloor{x}\rfloor$, which is not integrable.
OK, so just plain $1/x$ is an even simpler nonintegrable function, but I think that if you keep in mind the relationship between Lebesgue vs Henstock and absolute vs conditional convergence, then it will seem more obvious to you that, while Henstock–Kurzweil makes more functions integrable, it does not make all functions integrable.
-
$\begingroup$ For some people, Henstock–Kurzweil integrals are only defined on bounded intervals. Then the spirit of this answer does not work, although 1/x still works, only now the issue is near 0 rather than near infinity. But I don't deserve credit for that answer; @user8268 already gave it in the comments to the question. $\endgroup$ May 2, 2017 at 22:04
Theorem. If function $f: [a,b] \to \mathbb{R}$ is Henstock-Kurzweil integrable, then $f$ is a Lebesgue measurable function.
You can find proof of the above theorem in "The integrals of Lebesgue, Denjoy, Perron, and Henstock" by Russel Gordon (Theorem 9.12).
Thus a characteristic function of a non-measurable set would be an example you are looking for.