Questions tagged [gauge-integral]

For questions about Henstock-Kurzweil integral or gauge integral.

Filter by
Sorted by
Tagged with
1
vote
1answer
43 views

Conditions for applying the second fundamental theorem of calculus with gauge integrals

I was thinking about this question while walking home today and can't seem to prove or come up with a counterexample myself. Let $f:[a,b]\rightarrow\mathbb{R}$ be a continuous function, $f(x),$ ...
1
vote
1answer
53 views

Are bound functions always Henstock-kurzweil integrable?

Is there any function $f:[\alpha,\beta]\rightarrow\mathbb{R}$ that is bound but not Henstock-kurzweil integrable? I assume such a function would have to be horrendously discontinuous but I am unable ...
6
votes
0answers
56 views

What are the necessary and sufficient conditions for a function to be Henstock–Kurzweil integrable?

I recently stumbled upon Lebesgue’s criterion for Riemann integrability. It didn't take very long until I found this result quite intuitive. I then began studying the Henstock–Kurzweil integral. Very ...
0
votes
0answers
52 views

Henstock-Kurzweil integral of sin(x)/x by directly using explicit gauge.

I am trying to show that the Henstock-Kurzweil integral of sin(x)/x from zero to infinity is $\pi/2$. In order to do this, I wish to construct an explicit gauge and use Cousin's lemma to find a Perron ...
1
vote
0answers
31 views

Definition of Henstock integral function over a set

I understand the definition of Henstock integrable function on $[a, b]$, i.e., $f$ is Henstock-Kurzweil integrable on $[a, b]$ if there is $A \in \mathbb{R}$ with property for every $\varepsilon>0$...
2
votes
1answer
107 views

Is the derivative of $x \cos\left(\frac{\pi}{x}\right)$ integrable?

Let $F:[0,1]\rightarrow \mathbb{R}$ defined by $$F(x)= \left\{ \begin{array} .x\cdot \cos\left(\frac{\pi}{x}\right), &\textrm{if } x\in[0,1] \\ 0, &\textrm{ if $x=0$} \end{array} \right. $$ ...
2
votes
1answer
74 views

generalized Riemann Integrability of $f\cdot g$

Let $\mathcal{R}([a.b])$ the set of all Riemann-integrable functions in $[a,b]$. Let $\mathcal{R}^{*}([a,b])$ the set of all Generalized Riemann-Integrable functions in $[a,b]$ (I'm talking about the ...
2
votes
1answer
72 views

Every partition $P$ $\delta$-fine has $c$ as tag if and only if $\delta(x)\leq |x-c|$

Let $\delta$ a gauge of $[a,b]$. How can I prove the following? Every $\delta$-fine tagged partition $\mathcal{P}$ of $[a,b]$ has $c$ as tag $\Leftrightarrow$ $\delta(x)\leq|x-c|$ for all $x\in[a,b]-\...
1
vote
0answers
129 views

Equivalence of Lebesgue and Henstock-Kurzweil (Gauge) integral.

If $f$ is Henstock-Kurzweil integrable $\Longrightarrow$ $f$ is measurable. $f$ is Lebesgue integrable $\Longleftrightarrow$ $|f|$ is Henstock-Kurzweil integrable. $|f|$ is Henstock-Kurzweil ...
1
vote
2answers
50 views

Show that the following function has a gauge-integral and calculate its value.

We define: $$f: I = [0,1] \rightarrow \mathbb{R}: x \mapsto f(x) = \sin(x)1_{[0,1] - \mathbb{Q}} + x1_{[0,1]\cap\mathbb{Q}} $$ where $1_A$ is the characteristic function on A. Show that $f$ has a ...
3
votes
0answers
76 views

What if we replace step functions by a different class of functions in the definition of Riemann integral?

Suppose we are working with some sets $\mathcal S_{1,2}$ of functions $[a,b]\to\mathbb R$. (Probably most often we would take $\mathcal S_1=\mathcal S_2=\mathcal S$.) Let us assume that we have some ...
6
votes
0answers
84 views

Can conditionally convergent series be interpreted as a “generalized Henstock-Kurzweil integral”?

One amazing thing about the Lebesgue integral is that is defined w.r.t. to a given measure and that there a lot of different measures making the Lebesgue integration a very general tool (consider ...
1
vote
1answer
68 views

Step function approximation with Henstock–Kurzweil integral.

In the following I am working with the Henstock–Kurzweil integral. I would like to prove the following: Given a function $f : \mathbb{R} \rightarrow \mathbb{C}$ integrable on $[a..b]$, we have for ...
11
votes
0answers
363 views

A very useful lemma for Henstock-Stieltjes integration

I'd like to see a proof (or hints and outlines) for the following lemma, which is very useful to prove some interesting properties, including an Integration by Parts theorem for Henstock-Stieltjes ...
2
votes
1answer
104 views

Is there a treatment/development of the Stokes' Theorem using differential forms and the Henstock-Kurzweil integral i.e. the gauge integral?

I'm working through an analysis text independently to prepare for grad school, and the author has discussed the limitations of both the Riemann and Lebesgue integrals and only hinted at the power of ...
3
votes
1answer
58 views

Gauge Integral: Non-Borel Spaces

Is there a gauge integral over non Borel spaces? (My interest lies in finite measure spaces.) It seems as the definition of the gauge integral crucially depends on the existence of open sets for a ...
4
votes
1answer
316 views

Example of a function f that is Generalized Riemann Integrable, but its square is NOT Generalized Riemann Integrable.

I am reading a section about Generalized Riemann Integral (Kurzweil-Henstock), and there was a problem on that section to provide an example of a function $f$ on $[0,1]$ that is Generalized Riemann ...
3
votes
1answer
321 views

Can someone give an example of a function that is not Henstock-Kurzweil/gauge integrable?

I am looking for an example of a function that is not Henstock-Kurzweil integrable. Can anybody help me?
3
votes
1answer
163 views

Henstock-Kurzweil integral of $f(x)=n$ for $x=1/n$ (and zero otherwise)

I need to prove that the function $$ f(x) = \begin{cases} n & x=1/n \\ 0 & \text{ otherwise} \\ \end{cases} $$ defined on $[0,1]$ is Henstock-Kurzweil integrable. I've tried to ...
8
votes
2answers
612 views

Equivalence of the Lebesgue integral and the Henstock–Kurzweil integral on nonnegative real functions

Let $f:[a,b]\to[0,\infty)$ ($\mathbb{R}\ni a<b\in\mathbb{R}$), and fix $c\geq0$. I want to establish the equivalence of the concepts of Lebesgue integrability and Henstock–Kurzweil integrability ...
4
votes
1answer
290 views

Generalized Riemann Integral

Is there any usage of studying the Henstock-Kurzweil integral as such ? It doesn't seem to be as popular a method of integration as the Lebesgue integral or even the Riemann-Stieltjes Integral,...
1
vote
0answers
137 views

Proof of $f=0$ a.e. in $[a,b]$ then $f$ is gauge integrable and $\int_a^bf=0$

Let $f:[a,b]\to \mathbb{R}$ so that $f(x)=0$ almost everywhere in $[a,b]$. Prove that $f$ is gauge integrable and $\int_a^bf=0$. How can this be proven using the following definition of measure: $\mu(...
9
votes
2answers
569 views

Mistake in Bartle's proof of Hake's Theorem?

Here is Bartle's proof of Hake's Theorem found in "A Modern Theory of Integration". I think there is a mistake in the highlighted line: The Theorem: $f:[a,b]\to \mathbb{R}$ is gauge integrable if and ...
2
votes
0answers
164 views

Proof that if $f,g,h:[a,b]\to \mathbb{R}$ with $h\le f,g$ and $f,g,h$ are gauge integrable then so is $\min(f,g)$

I am asking for a self contained proof of this assertion: If $f,g,h:[a,b]\to \mathbb{R}$ with $h\le f,g$ and $f,g,h$ are gauge integrable then so is $\min(f,g)$. The integral in question is the ...
11
votes
1answer
876 views

Integrability: Neither improper Riemann nor Lebesgue but Henstock-Kurzweil

Can you think of a function that is neither improper Riemann nor Lebesgue integrable, but is Henstock-Kurzweil integrable? I'd like to put a bounty on this question, but my reputation is not nearly ...
3
votes
3answers
620 views

Looking for an accessible explanation of Henstock–Kurzweil (gauge) integral

I'm not completely new to analysis, but I'm an engineer -- very applied, not very theoretical -- looking into self-studying pure mathematics. I've recently stumbled upon Henstock–Kurzweil integrals; ...
79
votes
5answers
7k views

Why are gauge integrals not more popular?

A recent answer reminded me of the gauge integral, which you can read about here. It seems like the gauge integral is more general than the Lebesgue integral, e.g. if a function is Lebesgue ...