Darboux integral

In real analysis, 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.^[1] The definition of the Darboux integral has the advantage of being easier to apply in computations or proofs than that of the Riemann integral. Consequently, introductory textbooks on calculus and real analysis often develop Riemann integration using the Darboux integral, rather than the true Riemann integral.^[2] Moreover, the definition is readily extended to defining Riemann–Stieltjes integration.^[3] Darboux integrals are named after their inventor, Gaston Darboux (1842–1917).

Definition

The definition of the Darboux integral considers upper and lower (Darboux) integrals, which exist for any bounded real-valued function $f$ on the interval $[a,b].$ The Darboux integral exists if and only if the upper and lower integrals are equal. The upper and lower integrals are in turn the infimum and supremum, respectively, of upper and lower (Darboux) sums which over- and underestimate, respectively, the "area under the curve." In particular, for a given partition of the interval of integration, the upper and lower sums add together the areas of rectangular slices whose heights are the supremum and infimum, respectively, of f in each subinterval of the partition. These ideas are made precise below:

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 $f:[a,b]\to \mathbb {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}}

The upper Darboux sum of $f$ with respect to $P$ is

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

The lower Darboux sum of $f$ 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 often called the lower and upper sums.

Darboux integrals

The upper Darboux integral of f is

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

The lower Darboux integral of f 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)\,\mathrm {d} x,\\&{}U_{f}\equiv {\overline {\int _{a}^{b}}}f(x)\,\mathrm {d} x,\end{aligned}}

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

If U_f = L_f, then we call the common value the Darboux integral.^[4] We also say that f 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_ε of [a, b] such that^[5]

U_{f,P_{\epsilon }}-L_{f,P_{\epsilon }}<\varepsilon .

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\\[6pt]{\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\\[6pt]{\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)\,dx&=c{\underline {\int _{a}^{b}}}f(x)\,dx\\[6pt]{\overline {\int _{a}^{b}}}cf(x)\,dx&=c{\overline {\int _{a}^{b}}}f(x)\,dx\end{aligned}}$
For a constant c ≤ 0 we have
${\begin{aligned}{\underline {\int _{a}^{b}}}cf(x)\,dx&=c{\overline {\int _{a}^{b}}}f(x)\,dx\\[6pt]{\overline {\int _{a}^{b}}}cf(x)\,dx&=c{\underline {\int _{a}^{b}}}f(x)\,dx\end{aligned}}$
Consider the function
${\begin{aligned}&{}F:[a,b]\to \mathbb {R} \\&{}F(x)={\underline {\int _{a}^{x}}}f(t)\,dt,\end{aligned}}$

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 $k$ -th 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

U_{f,P_{n}}-L_{f,P_{n}}={\frac {1}{n}}

Thus for given any $\varepsilon >0$ , we have that any partition $P_{n}$ with $n>{\frac {1}{\varepsilon }}$ satisfies

U_{f,P_{n}}-L_{f,P_{n}}<\varepsilon

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

\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}}

Darboux sums

Darboux upper sums of the function

y = x 2

Darboux lower sums of the function

y = x 2

A nonintegrable function

Suppose we have the Dirichlet function $f:\mathbb {R} \to [0,1]$ 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 $\mathbb {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.

Refinement of a partition and relation to Riemann integration

A refinement of the partition $x_{0},\ldots ,x_{n}$ is a partition $y_{0},\ldots ,y_{m}$ such that for all i = 0, …, 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}},

and 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 $f$ is equal to R corresponding to P and T, 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. There is (see below) 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.

Details of finding the tags

For this proof, we shall use superscripts to index $\left\{P^{(n)}\right\}$ and variables related to it.

Let $\left\{P^{(n)}\right\}$ be a sequence of arbitrary partitions of $[a,b]$ such that $\|P_{n}\|\to 0$ , whose tags are to be determined.

By the definition of infimum, for any $\epsilon >0$ , we can always find a $t_{i}^{(n)}\in \left[x_{i}^{(n)},x_{i+1}^{(n)}\right]$ such that $\inf _{x\in \left[x_{i}^{(n)},x_{i+1}^{(n)}\right]}f(x)\geq f(t_{i}^{(n)})-\epsilon .$ Thus,

Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "http://localhost:6011/en.wikipedia.org/v1/":): {\displaystyle \begin{aligned} \sum_{i=0}^{N^{(n)}-1} f(t_i) (x_{i+1}^{(n)} - x_i^{(n)}) & \le & \sum_{i=0}^{N^{(n)}-1} \left( \inf_{x \in \left[ x^{(n)}_i, x^{(n)}_{i+1} \right] } f(x) + \epsilon \right) (x_{i+1}^{(n)} - x_i^{(n)}) & \ \ \ \\ & = & \sum_{i=0}^{N^{(n)}-1} \inf_{x \in \left[ x^{(n)}_i, x^{(n)}_{i+1} \right] } f(x) (x_{i+1}^{(n)} - x_i^{(n)}) + \sum_{i=0}^{N-1} \epsilon (x_{i+1}^{(n)} - x_i^{(n)}) \\ & = & \sum_{i=0}^{N^{(n)}-1} \inf_{x \in \left[ x^{(n)}_i, x^{(n)}_{i+1} \right] } f(x) (x_{i+1}^{(n)} - x_i^{(n)}) + \epsilon (b - a) . \end{aligned} }

Let $\epsilon =1/n(b-a)$ , we have

{\begin{aligned}\sum _{i=0}^{N^{(n)}-1}f(t_{i})(x_{i+1}^{(n)}-x_{i}^{(n)})&\leq &\sum _{i=0}^{N^{(n)}-1}\inf _{x\in \left[x_{i}^{(n)},x_{i+1}^{(n)}\right]}f(x)(x_{i+1}^{(n)}-x_{i}^{(n)})+{\frac {1}{n}}\\&=&L_{f,P^{(n)}}+{\frac {1}{n}}\end{aligned}}

Taking limits of both sides,

{\begin{aligned}R_{f}=\sum _{i=0}^{N^{(n)}-1}f(t_{i})(x_{i+1}^{(n)}-x_{i}^{(n)})\leq \lim _{n\to \infty }L_{f,P^{(n)}}+\lim _{n\to \infty }{\frac {1}{n}}=\lim _{n\to \infty }L_{f,P^{(n)}}.\end{aligned}}

Similarly, (with a different sequences of tags)

{\begin{aligned}R_{f}\geq \lim _{n\to \infty }U_{f,P^{(n)}}.\end{aligned}}

Thus, we have

R_{f}\leq \lim _{n\to \infty }L_{f,P^{(n)}}\leq \lim _{n\to \infty }U_{f,P^{(n)}}\leq R_{f},

which means that the Darboux integral exists and equals $R_{f}$ .

Notes

^ David J. Foulis; Mustafa A. Munem (1989). After Calculus: Analysis. Dellen Publishing Company. p. 396. ISBN 978-0-02-339130-9.
^ Spivak, M. (1994). Calculus (3rd. edition). Houston, TX: Publish Or Perish, Inc. pp. 253–255. ISBN 0-914098-89-6.
^ Rudin, W. (1976). Principles of Mathematical Analysis (3rd. edition). New York: McGraw-Hill. pp. 120–122. ISBN 007054235X.
^ Wolfram MathWorld
^ Spivak 2008, chapter 13.

References

"Darboux Integral". Wolfram MathWorld. Retrieved 2013-01-08.
Darboux integral at Encyclopaedia of Mathematics
"Darboux sum", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
Spivak, Michael (2008), Calculus (4 ed.), Publish or Perish, ISBN 978-0914098911
"Equivalence of Darboux and Riemann integral".^{[dead YouTube link]}

[1] David J. Foulis; Mustafa A. Munem (1989). After Calculus: Analysis. Dellen Publishing Company. p. 396. ISBN 978-0-02-339130-9.

[2] Spivak, M. (1994). Calculus (3rd. edition). Houston, TX: Publish Or Perish, Inc. pp. 253–255. ISBN 0-914098-89-6.

[3] Rudin, W. (1976). Principles of Mathematical Analysis (3rd. edition). New York: McGraw-Hill. pp. 120–122. ISBN 007054235X.

[4] Wolfram MathWorld

[5] Spivak 2008, chapter 13.

[1]

[2]

[3]

[4]

[5]

Integrals
Types of integrals	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
Integration techniques	Substitution Trigonometric Euler Weierstrass By parts Partial fractions Euler's formula Inverse functions Changing order Reduction formulas Parametric derivatives Differentiation under the integral sign Laplace transform Contour integration Laplace's method Numerical integration Simpson's rule Trapezoidal rule Risch algorithm
Improper integrals	Gaussian integral Dirichlet integral Fermi–Dirac integral complete incomplete Bose–Einstein integral Frullani integral Common integrals in quantum field theory
Stochastic integrals	Itô integral Russo–Vallois integral Stratonovich integral Skorokhod integral
Miscellaneous	Basel problem Euler–Maclaurin formula Gabriel's horn Integration Bee Proof that 22/7 exceeds π Volumes Washers Shells

Fahrer / Team für die Suche eingeben:

Fahrer / Team für die Suche eingeben:

Eisspeedway

Darboux integral

Definition

Darboux sums

Darboux integrals

Properties

Examples

A Darboux-integrable function

A nonintegrable function

Refinement of a partition and relation to Riemann integration

See also

Notes

References