词条 | Darboux integral |
释义 |
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.[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. DefinitionThe 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 sumsA partition of an interval [a,b] is a finite sequence of values xi such that Each interval [xi−1,xi] is called a subinterval of the partition. Let ƒ:[a,b]→ℝ be a bounded function, and let be a partition of [a,b]. Let The upper Darboux sum of ƒ with respect to P is The lower Darboux sum of ƒ with respect to P is The lower and upper Darboux sums are often called the lower and upper sums. Darboux integralsThe upper Darboux integral of ƒ is The lower Darboux integral of ƒ is In some literature an integral symbol with an underline and overline represent the lower and upper Darboux integrals respectively. 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.[4] We also say that ƒ is Darboux-integrable or simply integrable and set 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[5] Properties
then F is Lipschitz continuous. An identical result holds if F is defined using an upper Darboux integral. ExamplesA Darboux-integrable functionSuppose 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 Pn. 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 Pn is (k-1)/n and the end point is k/n. Thus the lower Darboux sum on a partition Pn is given by similarly, the upper Darboux sum is given by Since Thus for given any ε > 0, we have that any partition Pn with n > 1/ε satisfies which shows that f is Darboux integrable. To find the value of the integral note that An unintegrable functionSuppose we have the function f:[0,1]→ℝ defined as Since the rational and irrational numbers are both dense subsets of ℝ, 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 from which we can see that the lower and upper Darboux integrals are unequal. Refinement of a partition and relation to Riemann integrationA refinement of the partition is a partition such that for every i with there is an integer r(i) such that In other words, to make a refinement, cut the subintervals into smaller pieces and do not remove any existing cuts. If is a refinement of then and If P1, P2 are two partitions of the same interval (one need not be a refinement of the other), then It follows that Riemann sums always lie between the corresponding lower and upper Darboux sums. Formally, if and together make a tagged partition (as in the definition of the Riemann integral), and if the Riemann sum of ƒ corresponding to P and T is R, then 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 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. See also
Notes1. ^{{cite book|author1=David J. Foulis|author2=Mustafa A. Munem|title=After Calculus: Analysis|url=https://books.google.com/books?id=kSMnAQAAIAAJ|year=1989|publisher=Dellen Publishing Company|isbn=978-0-02-339130-9|page=396}} 2. ^{{Cite book|title=Calculus (3rd. edition)|last=Spivak|first=M.|publisher=Publish Or Perish, Inc.|year=1994|isbn=0-914098-89-6|location=Houston, TX|pages=253–255|via=}} 3. ^{{Cite book|title=Principles of Mathematical Analysis (3rd. edition)|last=Rudin|first=W.|publisher=McGraw-Hill|year=1976|isbn=007054235X|location=New York|pages=120–122|via=}} 4. ^Wolfram MathWorld 5. ^Spivak 2008, chapter 13. References
| url = http://mathworld.wolfram.com/DarbouxIntegral.html | title = Darboux Integral | accessdate = 2013-01-08 | work=Wolfram MathWorld }}
| last = Spivak | first = Michael | title = Calculus | publisher = Publish or Perish | year = 2008 | edition = 4 | isbn = 978-0914098911 }}{{Integral}}{{DEFAULTSORT:Darboux Integral}} 1 : Definitions of mathematical integration |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。