Real Analysis/Generalized Integration

From Wikibooks, the open-content textbooks collection

Jump to: navigation, search
←Darboux Integral Real Analysis
Generalized Integration		 Pointwise Convergence→

Contents

The notion of integration is one of fundamental importance in advanced analysis. The idea of integration is expanded so as to be applicable to sets more general than subsets of \mathbb{R}. Interested readers may refer to the Wikibook Measure Theory. Here however, we will discuss two important generalizations of integration which are still applicable only to real valued functions.

[edit] Riemann-Stieltjes integral

The Riemann-Stieltjes integral (or Stieltjes integral) can be seen as an extention of the idea behind the Darboux integral

[edit] Upper and Lower sum

Let f:[a,b]\to\mathbb{R}

Let \alpha:[a,b]\to\mathbb{R} such that α(x) is strictly increasing over [a,b]

Let \mathcal{P} be a partition over [a,b], and let x_i,x_{i-1}\in\mathcal{P}

The Upper Sum of f with respect to \mathcal{P} and α is given by

U(f,\mathcal{P},\alpha)=\sum_{i=1}^n M_i\left( \alpha\left( x_i\right) -\alpha\left( x_{i-1}\right) \right), where Mi is given as in the previous chapter

The Lower Sum of f with respect to \mathcal{P} and α is given by

L(f,\mathcal{P},\alpha)=\sum_{i=1}^n m_i\left( \alpha\left( x_i\right) -\alpha\left( x_{i-1}\right) \right), where mi is given as in the previous chapter

[edit] Definition

Let f:[a,b]\to\mathbb{R}

Let \alpha:[a,b]\to\mathbb{R} such that α(x) is strictly increasing over [a,b]

We say that f is Riemann-Stieltjes integrable on [a,b] with respect to α if and only if

\sup_{\mathcal{P}} \{L(f,\mathcal{P},\alpha)\}=\inf_{\mathcal{P}} \{U(f,\mathcal{P},\alpha)\}, where the supremum and the infimum have been taken over the set of all partitions.

L=\sup_{\mathcal{P}} \{L(f,\mathcal{P},\alpha)\}=\inf_{\mathcal{P}} \{U(f,\mathcal{P},\alpha)\} is said to be the integral of f on [a,b] with respect to α and is denoted as \int_a^b f(x)d\alpha (x) or as \int_a^b fd\alpha

Observe that putting α(x) = x, we get the Darboux integral, and hence, the Darboux integral is a special case of the Riemann-Stieltjes integral.

[edit] Henstock Kurtzweil integral

While calculating the Riemann integral, the "fineness" of a partition was measured by it norm. However, it turns out that the norm is a very crude measure for a partition. Thus, by introducing the clever notion of gauges, we can extend the idea of the Riemann integral to a larger class of functions. In fact, it turns out that this integral, called the Henstock-Kurtzweil integral (after Ralph Henstock and Jaroslav Kurzweil) or Generalised Riemann integral is more genral than the Riemann-Stieltjes integral and several other integrals on real intervals.

[edit] Gauges

A Gauge is said to be a function \delta:[a,b]\to\mathbb{R}^+, that is, the range of δ(x) includes only positive reals

A tagged partition \mathcal{\dot{P}}=\{(t_i,\{x_{i-1},x_i\})\}_{i=1}^n is said to be δ-fine for a gauge δ if and only if for all i,


[x_{i-1},x_i]\subseteq \left(t_i-\delta(t_i),t_i+\delta(t_i)\right)

[edit] Definition

Let f:[a,b]\to\mathbb{R}

Let L\in\mathbb{R}

Then, f is said to be Henstock-Kurtzweil integrable on [a,b] if and only if, for every \varepsilon>0 there exists a gauge \delta:[a,b]\to\mathbb{R}^+ such that if \mathcal{\dot{P}} is a δ-fine partition of [a,b], then

|S(f,\mathcal{\dot{P}})-L|<\varepsilon

Retrieved from "http://en.wikibooks.org/wiki/Real_Analysis/Generalized_Integration"