McShane integral explained

In the branch of mathematics known as integration theory, the McShane integral, created by Edward J. McShane,^[1] is a modification of the Henstock-Kurzweil integral.^[2] The McShane integral is equivalent to the Lebesgue integral.^[3]

Definition

Free tagged partition

Given a closed interval of the real line, a free tagged partition

P of [a,b] is a set\{(t _{i,} [a _{i-1} , a _{i])} : 1 \leq i \leq n \}

where

a = a _{0} < a _{1} < ... < a _{n} = b

and each tag

t _{i} \in [a, b] .

The fact that the tags are allowed to be outside the subintervals is why the partition is called free. It's also the only difference between the definitions of the Henstock-Kurzweil integral and the McShane integral.

For a function

f : [a,b] \to R and a free tagged partition P , define S(f, P) = \sum ^{n} _{i =1} f(t _{i)} (a _{i} - a _{i-1} ).

Gauge

A positive function

\delta : [a, b] \to ( 0 , +inf ty) is called a gauge in this context.

We say that a free tagged partition

P is \delta -fine if for all i = 1 , 2 , ... , n, [a _{i-1} , a _{i]} \subseteq [t _{i} - \delta(t _{i),} t _{i} + \delta(t _{i)].}

Intuitively, the gauge controls the widths of the subintervals. Like with the Henstock-Kurzweil integral, this provides flexibility (especially near problematic points) not given by the Riemann integral.

McShane integral

The value

\int ^{b} _{a} f is the McShane integral of f : [a,b] \to R if for every \varepsilon > 0 we can find a gauge \delta such that for all \delta -fine free tagged partitions P of [a,b] ,\left |\int ^{bf} _{a} - S(f, P) \right| < \varepsilon.

Examples

It's clear that if a function

f : [a,b] \to R is integrable according to the McShane definition, then f is also Henstock-Kurzweil integrable. Both integrals coincide in the regard of its uniqueness.

In order to illustrate the above definition we analyse the McShane integrability of the functions described in the following examples, which are already known as Henstock-Kurzweil integrable (see the paragraph 3 of the site of this Wikipedia "Henstock-Kurzweil integral").

Example 1

Let

f : [a,b] \to R be such that f(a) = f(b) =0 and $f(x)=1$ if of [a,b] can be decomposed into sequences like(a,[x _{i _{j-1}} ,x _{i _{j}} ]) , for j =1 ,..., λ ,(b,[x _{i _{k-1}} ,x _{i _{k}} ]) , for k =1 ,...,\mu , and(t _{i _{r}} ,[x _{i _{r-1}} ,x _{i _{r}} ]) , where r =1 ,...,\nu , such that t _{i _{r}} \in]a,b[ ( λ+ \mu + \nu = n).

This way, we have the Riemann sum

S(f, P) = \sum ^{\nu} _{r =1} \displaystyle(x _{i _{r}} - x _{i _{r-1}} )

and by consequence

|S(P,f) - (b - a)| = style \sum ^{λ} _{j =1} \displaystyle(x _{i _{j}} - x _{i _{j-1}} ) + style \sum ^{\mu} _{k =1} \displaystyle(x _{i _{k}} - x _{i _{k-1}} ).

Therefore if

P is a free tagged \delta -fine partition we have[x _{i _{j-1}} ,x _{i _{j}} ]\subset[a - \delta(a),a + \delta(a)] , for every j =1 ,..., λ , and[x _{i _{k-1}} ,x _{i _{k}} ]\subset[b - \delta(b),b + \delta(b)] , for every k =1 ,...,\mu .

Since each one of those intervals do not overlap the interior of all the remaining, we obtain

|S(P,f) - (b - a)| < 2 \delta(a) +2 \delta(b) = (\varepsilon)/(+ 2) (\varepsilon)/(2) = \varepsilon.

Thus

f is McShane integrable and\int ^{b} _{a} f = b - a.

The next example proves the existence of a distinction between Riemann and McShane integrals.

Example 2

Let

d:[a,b] → R the well known Dirichlet's function given byd(x) = \begin{cases} 1 , & if x isrational, \\ 0 , & if x isirrational, \end{cases}

which one knows to be not Riemann integrable. We will show that

d is integrable in the MacShane sense and that its integral is zero.

Denoting by

\{r _{1,r} _{2,...,r} _{n,...\}} the set of all rational numbers of the interval [a,b] , for any \varepsilon> 0 let's formulate the following gauge\delta(x) = \begin{cases} \varepsilon 2 ^{-n-1} , & if x = r _{nand} n =1 , 2 ,...,\\ 1 , & if x isirrational. \end{cases}

For any

\delta -fine free tagged partition P = \{(t _{i,[x} _{i-1} ,x _{i]):i=1,...,n\}} consider its Riemann sumS(P,f) = style \sum ^{n} _{i =1} \displaystyle f(t _{i)(x} _{i-x} _{i-1} ) .

Taking into account that

f(t _{i)=0} whenever t _{i} is irrational, we can exclude in the sequence of ordered pairs which constitute P , the pairs (t _{i,[x} _{i-1} ,x _{i])} where t _{i} is irrational. The remainder are subsequences of the type (r _{k,[x} ^{i _{1-1}} ,x _{i _{1}} ]),...,(r _{k,[x} ^{i _{k-1}} ,x _{i _{k}} ]) such that [x _{i _{j-1}} ,x _{i _{j}} ]\subset [r _{k-\delta(r} _{k),r} _{k+\delta(r} _{k)]} , j =1 ,...,k. Since each one of those intervals do not overlap the interior of the remaining, each one of these sequences gives rise in the Riemann sum to subsums of the type

$\backslash textstyle\; \backslash sum\_^k\; \backslash displaystyle\; f(r\_k)(x\_-x\_)=\backslash textstyle\; \backslash sum\_^k\; \backslash displaystyle\; (x\_-x\_)\backslash leq2\backslash delta(r\_k)=\backslash frac$.

Thus , which proves that the Dirichlet's function is McShane integrable and that

\int ^{b} _{a} d =0 .

Relationship with Derivatives

For real functions defined on an interval

[a,b] , both Henstock-Kurzweil and McShane integrals satisfy the elementary properties enumerated below, where by $\backslash int\_^\; f$ we denote indistinctly the value of anyone of those inetegrals.

1. If

f is integrable on [a,b] then f is integrable on each subinterval of [a,b] .

1. If

f is integrable on [a,c] and [c,b] then f is integrable on [a,b] and $\backslash int\_^\; f+\backslash int\_^\; f=\backslash int\_^\; f$.

1. If

f is continuous on [a,b] then f is integrable on [a,b] .

1. If

f is monotonous on [a,b] then f is integrable on [a,b] .

1. Let

\phi:[a,b] → [\alpha,\beta] be a differentiable and strictly monotonous function. Then f:[\alpha,\beta] → R is integrable on [\alpha,\beta] if and only if $(f\backslash circ\backslash phi)|\backslash phi\text{'}|$ is integrable on [a,b] . In such case $\backslash int\_^\; (f\backslash circ\backslash phi)|\backslash phi\text{'}|=\backslash int\_^\; f$.

1. If

f is integrable on [a,b] then kf is integrable on [a,b] and $\backslash int\_^kf=k\backslash int\_^f$, for every k\in R .

1. Let

f and g be integrable on [a,b] . Then:f + g is integrable on [a,b] and $\backslash int\_^\; (f+g)=\backslash int\_^\; f+\backslash int\_^\; g$.f\leq g em \left[ a,b\right] $\backslash Rightarrow\; \backslash int\_^f\backslash leq\; \backslash int\_^g$.

With respect to the integrals mentioned above, the proofs of these properties are identical excepting slight variations inherent to the differences of the correspondent definitions (see Washek Pfeffer^[4] [Sec. 6.1]).

This way a certain parallelism between the two integrals is observed. However an imperceptible rupture occurs when other properties are analysed, such as the absolute integrability and the integrability of the derivatives of integrable differentiable functions.

On this matter the following theorems hold (see [Prop.2.2.3 e Th. 6.1.2]).

Theorem 1 (on the absolute integrability of the McShane integral)

If

f:[a,b] → R is McShane integrable on [a,b] then |f| is also McShane integrable on [a,b] and$|\backslash int\_^\; f|\backslash leq\backslash int\_^\; |f|$.

Theorem 2 (fundamental theorem of Henstock-Kurzweil integral)

If $F:[a,b]\backslash rightarrow\backslash mathbb$ is differentiable on

[a,b] , then $F\text{'}$ is Henstock-Kurzweil integrable on [a,b] and$\backslash int\_^\; F\text{'}=F(b)-F(a)$.

In order to illustrate these theorems we analyse the following example based upon Example 2.4.12.

Example 3

Let's consider the function:

F(x) = \begin{cases} x ^{2\cos(\pi/x} ^{2),} & if x ≠ 0 , \ 0 , & if x =0 . \end{cases} F is obviously differentiable at any x ≠ 0 and differentiable, as well, at x =0 , since $\backslash lim\_\backslash left\; (\backslash frac\; \backslash right)=\backslash lim\_\backslash left\; (x\backslash cos\backslash frac\; \backslash right)=0$.

Moreover

As the function

h(x) = \begin{cases} 2 x\cos(\pi/x ^{2),} & if x ≠ 0 , \ 0 , & if x =0 , \end{cases}

is continuous and, by the Theorem 2, the function

F'(x) is Henstock-Kurzweil integrable on [ 0 , 1 ], then by the properties 6 and 7, the same holds to the function

But the function

is not integrable on

[ 0 , 1 ] for none of the mentioned integrals.

In fact, otherwise, denoting by $\backslash int\_^\; g(x)\; dx$ anyone of such integrals, we should have necessarily $\backslash int\_^\; g(x)\; dx\backslash geq\backslash int\_^\; \backslash frac\; |\backslash sin(\backslash pi/x^2)|\; dx,$ for any positive integer

n . Then through the change of variable $x=1/\backslash sqrt$, we should obtain taking into account the property 5:\int _{1/\sqrt{n} }^ \frac |\sin(\pi/x^2)| dx=\frac\int_^ \frac |\sin(\pi t)| dt=\frac\sum_^n\int_^ \frac |\sin(\pi t)| dt\geq\geq (1)/(2) \sum ^{n (1)/(k)} _{k =2} \int ^{k} _{k -1} |\sin(\pi t)| dt = (1)/(\pi) \sum ^{n (1)/(k)} _{k =2} .

As

n is an arbitrary positive integer and $\backslash lim\_\backslash sum\_^N\backslash frac=+\backslash infty$, we obtain a contradiction.

From this example we are able to conclude the following relevant consequences:

• I) Theorem 1 is no longer true for Henstock-Kurzweil integral since

g _{0} is Henstock-Kurzweil integrable and g is not.

• II) Theorem 2 does not hold for McShane integral. Otherwise

F' should be McShane integrable as well as g _{0} and by Theorem 1, as g , which is absurd.

• III)

F' is, this way, an example of a Henstock-Kurzweil integrable function which is not McShane integrable. That is, the class of McShane integrable functions is a strict subclass of the Henstock-Kurzweil integrable functions.

Relationship with Lebesgue Integral

The more surprising result of the McShane integral is stated in the following theorem, already announced in the introduction.

Theorem 3

Let

f:[a,b] → R . Thenf is McShane integrable \Leftrightarrow f is Lebesgue integrable.

The correspondent integrals coincide.

This fact enables to conclude that with the McShane integral one formulates a kind of unification of the integration theory around Riemann sums, which, after all, constitute the origin of that theory.

So far is not known an immediate proof of such theorem.

In Washek Pfeffer [Ch. 4] it is stated through the development of the theory of McShane integral, including measure theory, in relationship with already known properties of Lebesgue integral. In Charles Swartz^[5] that same equivalence is proved in Appendix 4.

Furtherly to the book by Russel Gordon [Ch. 10], on this subject we call the attention of the reader also to the works by Robert McLeod^[6] [Ch. 8] and Douglas Kurtz together with Charles W. Swartz.

Another perspective of the McShane integral is that it can be looked as new formulation of the Lebesgue integral without using Measure Theory, as alternative to the courses of Frigyes Riesz and Bela Sz. Nagy^[7] [Ch.II] or Serge Lang^[8] [Ch.X, §4 Appendix] (see also^[9]).

See also

• Henstock-Kurzweil integral

References

1. McShane . E. J. . 1973 . A Unified Theory of Integration . The American Mathematical Monthly . 80 . 4 . 349–359 . 10.2307/2319078 . 0002-9890.
2. Book: Kurtz, Douglas S. and Swartz, Charles W. . Theories of integration: the integrals of Riemann, Lebesgue, Henstock-Kurzweil, and McShane . 2012 . World Scientific . 978-981-4368-99-5 . 2nd . Singapore . 247 . 769192118.
3. Book: Gordon, Russell A. . The integrals of Lebesgue, Denjoy, Perron, and Henstock . 1994 . American Mathematical Society . 0-8218-3805-9 . Providence, R.I. . 157–163 . 30474120.
4. Book: Pfeffer, Washek F. . The Riemann Approach to Integration . Cambridge University Press . 1993 . 0-521-44035-1 . New York.
5. Book: Swartz, Charles . Introduction to Gauge Integrals . World Scientific . 2001 . 9810242395.
6. Book: McLeod, Robert M.. 1980. 0-88385-000-1. U. S. A.. The Mathematical Association of America. The Generalized Riemann Integral.
7. Book: Riesz, Frigys e Sz.-Nagy, Béla. 1990. 0-486-66289-6. New York. Dover. Functional Analysis.
8. Book: Lang, Serge. 1983. 978-1-4419-2853-5. New York. Springer-Verlag. Undergraduate Analysis.
9. Book: Lang, Serge. 2012. 978-1-4612-6938-0. Berlin, Heidelberg. Springer-Verlag. Real and Functional Analysis (3rd. Edition).