Darboux integral

From Wikipedia, the free encyclopedia

In real analysis, a branch of mathematics, the Darboux integral is constructed using Darboux sums and is one possible definition of the integral of a function. Darboux integrals are equivalent to Riemann integrals, meaning that a function is Darboux-integrable if and only if it is Riemann-integrable, and the values of the two integrals, if they exist, are equal. Darboux integrals have the advantage of being simpler to define than Riemann integrals. Darboux integrals are named after their discoverer, Gaston Darboux.

Definition

Darboux sums

A partition of an interval [a,b] is a finite sequence of values x_i such that

$a=x_{0}<x_{1}<\cdots <x_{n}=b.\,\!$

Each interval [x_i−1,x_i] is called a subinterval of the partition. Let ƒ:[a,b]→R be a bounded function, and let

$P=(x_{0},\ldots ,x_{n})\,\!$

be a partition of [a,b]. Let

${\begin{aligned}M_{i}=\sup _{{x\in [x_{{i-1}},x_{{i}}]}}f(x),\\m_{i}=\inf _{{x\in [x_{{i-1}},x_{{i}}]}}f(x).\end{aligned}}$

Lower (green) and upper (green plus lavender) Darboux sums for four subintervals

The upper Darboux sum of ƒ with respect to P is

$U_{{f,P}}=\sum _{{i=1}}^{n}(x_{{i}}-x_{{i-1}})M_{i}.\,\!$

The lower Darboux sum of ƒ with respect to P is

$L_{{f,P}}=\sum _{{i=1}}^{n}(x_{{i}}-x_{{i-1}})m_{i}.\,\!$

The lower and upper Darboux sums are sometimes called the lower and upper sums.

Darboux integrals

The upper Darboux integral of ƒ is

$U_{f}=\inf\{U_{{f,P}}\colon P{\text{ is a partition of }}[a,b]\}.\,\!$

The lower Darboux integral of ƒ is

$L_{f}=\sup\{L_{{f,P}}\colon P{\text{ is a partition of }}[a,b]\}.\,\!$

In some literature an integral symbol with an underline and overline represent the lower and upper Darboux integrals respectively.

${\begin{aligned}L_{f}\equiv \underline {\int _{{a}}^{{b}}}f(x)\,dx&\quad U_{f}\equiv \overline {\int _{{a}}^{{b}}}f(x)\,dx\end{aligned}}$

And like Darboux sums they are sometimes simply called the lower and upper integrals.

If U_ƒ = L_ƒ, then we call the common value the Darboux Integral.^[1] We also say that ƒ is Darboux-integrable or simply integrable and set

$\int _{a}^{b}{f(t)\,dt}=U_{f}=L_{f},\,\!$

An equivalent and sometimes useful criterion for the integrability of f is to show that for every ε > 0 there exists a partition P_ε on [a,b] such that^[2]

$U_{{f,P_{\epsilon }}}-L_{{f,P_{\epsilon }}}<\epsilon$

Properties

For any given partition, the upper Darboux sum is always greater than or equal to the lower Darboux sum. Furthermore, the lower Darboux sum is bounded below by the rectangle of width (b-a) and height inf(f) taken over [a,b]. Likewise, the upper sum is bounded above by the rectangle of width (b-a) and height sup(f).

$(b-a)\inf _{{x\in [a,b]}}f(x)\leq L_{{f,P}}\leq U_{{f,P}}\leq (b-a)\sup _{{x\in [a,b]}}f(x)$

The lower and upper Darboux integrals satisfy

$\underline {\int _{{a}}^{{b}}}f(x)\,dx\leq \overline {\int _{{a}}^{{b}}}f(x)\,dx$

Given any c in (a,b)

${\begin{aligned}\underline {\int _{{a}}^{{b}}}f(x)\,dx&=\underline {\int _{{a}}^{{c}}}f(x)\,dx+\underline {\int _{{c}}^{{b}}}f(x)\,dx\\\overline {\int _{{a}}^{{b}}}f(x)\,dx&=\overline {\int _{{a}}^{{c}}}f(x)\,dx+\overline {\int _{{c}}^{{b}}}f(x)\,dx\end{aligned}}$

The lower and upper Darboux integrals are not necessarily linear. Suppose that g:[a,b]→R is also a bounded function, then the upper and lower integrals satisfy the following inequalities.

${\begin{aligned}\underline {\int _{{a}}^{{b}}}f(x)\,dx+\underline {\int _{{a}}^{{b}}}g(x)\,dx&\leq \underline {\int _{{a}}^{{b}}}f(x)+g(x)\,dx\\\overline {\int _{{a}}^{{b}}}f(x)\,dx+\overline {\int _{{a}}^{{b}}}g(x)\,dx&\geq \overline {\int _{{a}}^{{b}}}f(x)+g(x)\,dx\end{aligned}}$

For a constant c ≥ 0 we have

${\begin{aligned}\underline {\int _{{a}}^{{b}}}cf(x)&=c\underline {\int _{{a}}^{{b}}}f(x)\\\overline {\int _{{a}}^{{b}}}cf(x)&=c\overline {\int _{{a}}^{{b}}}f(x)\end{aligned}}$

For a constant c ≤ 0 we have

${\begin{aligned}\underline {\int _{{a}}^{{b}}}cf(x)&=c\overline {\int _{{a}}^{{b}}}f(x)\\\overline {\int _{{a}}^{{b}}}cf(x)&=c\underline {\int _{{a}}^{{b}}}f(x)\end{aligned}}$

Consider the function F:[a,b]→R defined as

$F(x)=\underline {\int _{{a}}^{{x}}}f(x)\,dx$

then F is Lipschitz continuous. An identical result holds if F is defined using an upper Darboux integral.

Examples

A Darboux-integrable function

Suppose we want to show that the function f(x) = x is Darboux-integrable on the interval [0,1] and determine its value. To do this we partition [0,1] into n equally sized subintervals each of length 1/n. We denote a partition of n equally sized subintervals as P_n.

Now since f(x) = x is strictly increasing on [0,1], the infimum on any particular subinterval is given by its starting point. Likewise the supremum on any particular subinterval is given by its end point. The starting point of the kth subinterval in P_n is (k-1)/n and the end point is k/n. Thus the lower Darboux sum on a partition P_n is given by

${\begin{aligned}L_{{f,P_{n}}}&=\sum _{{k=1}}^{{n}}f(x_{{k-1}})(x_{{k}}-x_{{k-1}})\\&=\sum _{{k=1}}^{{n}}{\frac {k-1}{n}}\cdot {\frac {1}{n}}\\&={\frac {1}{n^{2}}}\sum _{{k=1}}^{{n}}[k-1]\\&={\frac {1}{n^{2}}}\left[{\frac {(n-1)n}{2}}\right]\end{aligned}}$

similarly, the upper Darboux sum is given by

${\begin{aligned}U_{{f,P_{n}}}&=\sum _{{k=1}}^{{n}}f(x_{{k}})(x_{{k}}-x_{{k-1}})\\&=\sum _{{k=1}}^{{n}}{\frac {k}{n}}\cdot {\frac {1}{n}}\\&={\frac {1}{n^{2}}}\sum _{{k=1}}^{{n}}k\\&={\frac {1}{n^{2}}}\left[{\frac {(n+1)n}{2}}\right]\end{aligned}}$

Since

${\begin{aligned}U_{{f,P_{n}}}-L_{{f,P_{n}}}&={\frac {1}{n}}\end{aligned}}$

Thus for given any ε > 0, we have that any partition P_n with n > 1/ε satisfies

${\begin{aligned}U_{{f,P_{n}}}-L_{{f,P_{n}}}&<\epsilon \end{aligned}}$

which shows that f is Darboux integrable. To find the value of the integral note that

${\begin{aligned}\int _{{0}}^{{1}}f(x)\,dx&=\lim _{{n\to \infty }}U_{{f,P_{n}}}=\lim _{{n\to \infty }}L_{{f,P_{n}}}={\frac {1}{2}}\end{aligned}}$

An unintegrable function

Suppose we have the function f:[0,1]→R defined as

${\begin{aligned}f(x)&={\begin{cases}0,&{\text{if }}x{\text{ is rational}}\\1,&{\text{if }}x{\text{ is irrational}}\end{cases}}\end{aligned}}$

Since the rational and irrational numbers are both dense subsets of R, it follows that f takes on the value of 0 and 1 on every subinterval of any partition. Thus for any partition P we have

${\begin{aligned}L_{{f,P}}&=\sum _{{k=1}}^{{n}}(x_{{k}}-x_{{k-1}})\inf _{{x\in [x_{{k-1}},x_{{k}}]}}f=0\\U_{{f,P}}&=\sum _{{k=1}}^{{n}}(x_{{k}}-x_{{k-1}})\sup _{{x\in [x_{{k-1}},x_{{k}}]}}f=1\end{aligned}}$

from which we can see that the lower and upper Darboux integrals are unequal.

Facts about the Darboux integral

When passing to a refinement, the lower sum increases and the upper sum decreases.

A refinement of the partition

$x_{0},\ldots ,x_{n}\,\!$

is a partition

$y_{0},\ldots ,y_{m}\,\!$

such that for every i with

$0\leq i\leq n\,\!$

there is an integer r(i) such that

$x_{{i}}=y_{{r(i)}}.\,\!$

In other words, to make a refinement, cut the subintervals into smaller pieces and do not remove any existing cuts. If

$P'=(y_{0},\ldots ,y_{m})\,\!$

is a refinement of

$P=(x_{0},\ldots ,x_{n}),\,\!$

then

$U_{{f,P}}\geq U_{{f,P'}}\,\!$

and

$L_{{f,P}}\leq L_{{f,P'}}.\,\!$

If P₁, P₂ are two partitions of the same interval (one need not be a refinement of the other), then

$L_{{f,P_{1}}}\leq U_{{f,P_{2}}}.\,\!$ .

It follows that

$L_{f}\leq U_{f}.\,\!$

Riemann sums always lie between the corresponding lower and upper Darboux sums. Formally, if

$P=(x_{0},\ldots ,x_{n})\,\!$

and

$T=(t_{1},\ldots ,t_{n})\,\!$

together make a tagged partition

$x_{0}\leq t_{1}\leq x_{1}\leq \cdots \leq x_{{n-1}}\leq t_{n}\leq x_{n}\,\!$

(as in the definition of the Riemann integral), and if the Riemann sum of ƒ corresponding to P and T is R, then

$L_{{f,P}}\leq R\leq U_{{f,P}}.\,\!$

From the previous fact, Riemann integrals are at least as strong as Darboux integrals: If the Darboux integral exists, then the upper and lower Darboux sums corresponding to a sufficiently fine partition will be close to the value of the integral, so any Riemann sum over the same partition will also be close to the value of the integral. It is not hard to see that there is a tagged partition that comes arbitrarily close to the value of the upper Darboux integral or lower Darboux integral, and consequently, if the Riemann integral exists, then the Darboux integral must exist as well.

Notes

↑ Wolfram MathWorld
↑ Spivak 2008, chapter 13.

References

"Darboux Integral". Wolfram MathWorld. Retrieved 2013-01-08.
Darboux integral at Encyclopaedia of Mathematics
Hazewinkel, Michiel, ed. (2001), "Darboux sum", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Spivak, Michael (2008), Calculus (4 ed.), Publish or Perish, ISBN 978-0914098911

v t e Integrals

Numerical integration	Riemann integral Lebesgue integral Burkill integral Bochner integral Daniell integral Darboux integral Henstock–Kurzweil integral Haar integral Hellinger integral Khinchin integral Kolmogorov integral Lebesgue–Stieltjes integral Pettis integral Pfeffer integral Riemann–Stieltjes integral Regulated integral

Methods	Integration by parts Integration by substitution Integration by parts Inverse function integration Order of integration (calculus) trigonometric substitution Integration by partial fractions Integration by reduction formulae Integration using parametric derivatives Integration using Euler's formula Differentiation under the integral sign Contour integration

Improper Integrals	Improper integral Gaussian integral

Stochastic integrals	Itō integral Stratonovich integral Skorokhod integral

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.