8.2. Integrals


Unfortunately primitive functions are not uniquely determined by the presented integrable function. Due to [8.1.2] (which is in fact an implication of the mean value theorem) however any two primitives of f on an interval differ only in constant addend, which will vanish if we compute the difference of two values of f. This is a crucial feature for the integrals to be introduced now.

For the subsequent text let I be an arbitrary interval.

Definition and Proposition:  Let f be an integrable function on I, i.e. fI(I) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiabgIGiolaadMeacaGGOaGaamysaiaacMcaaaa@3B50@ and g be any primitive of f. For any two points a,bI MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyaiaacYcacaWGIbGaeyicI4Saamysaaaa@3ABB@ the number

a b f g | a b g(b)g(a) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaeyypa0Jaam4zaiaacYhadaqhaaWcbaGaamyyaaqaaiaadkgaaaGccqGH9aqpcaWGNbGaaiikaiaadkgacaGGPaGaeyOeI0Iaam4zaiaacIcacaWGHbGaaiykaaaa@4857@
[8.2.1]

does not depend on the choice of g.

It is called the (definite) integral of f from a to b. The symbol g | a b MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiaacYhadaqhaaWcbaGaamyyaaqaaiaadkgaaaaaaa@39D2@ is read as "g at the boundaries a b". a and b are thus the boundaries (or lower and upper limit) of the integral [8.2.1], whereas f is called the integrand.

Proof:  If g 1 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zamaaBaaaleaacaaIXaaabeaaaaa@37BF@ and g 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zamaaBaaaleaacaaIYaaabeaaaaa@37C0@ are two primitives of f we find some c according to [8.1.2] such that g 1 = g 2 +c MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zamaaBaaaleaacaaIXaaabeaakiabg2da9iaadEgadaWgaaWcbaGaaGOmaaqabaGccqGHRaWkcaWGJbaaaa@3C77@ . Thus we may compute as follows:

g 1 | a b = g 1 (b) g 1 (a) =( g 2 +c)(b)( g 2 +c)(a) = g 2 (b)+c g 2 (a)c = g 2 (b) g 2 (a) = g 2 | a b MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaqbaeaabuGaaaaabaGaam4zamaaBaaaleaacaaIXaaabeaakiaacYhadaqhaaWcbaGaamyyaaqaaiaadkgaaaaakeaacqGH9aqpcaWGNbWaaSbaaSqaaiaaigdaaeqaaOGaaiikaiaadkgacaGGPaGaeyOeI0Iaam4zamaaBaaaleaacaaIXaaabeaakiaacIcacaWGHbGaaiykaaqaaaqaaiabg2da9iaacIcacaWGNbWaaSbaaSqaaiaaikdaaeqaaOGaey4kaSIaam4yaiaacMcacaGGOaGaamOyaiaacMcacqGHsislcaGGOaGaam4zamaaBaaaleaacaaIYaaabeaakiabgUcaRiaadogacaGGPaGaaiikaiaadggacaGGPaaabaaabaGaeyypa0Jaam4zamaaBaaaleaacaaIYaaabeaakiaacIcacaWGIbGaaiykaiabgUcaRiaadogacqGHsislcaWGNbWaaSbaaSqaaiaaikdaaeqaaOGaaiikaiaadggacaGGPaGaeyOeI0Iaam4yaaqaaaqaaiabg2da9iaadEgadaWgaaWcbaGaaGOmaaqabaGccaGGOaGaamOyaiaacMcacqGHsislcaWGNbWaaSbaaSqaaiaaikdaaeqaaOGaaiikaiaadggacaGGPaaabaaabaGaeyypa0Jaam4zamaaBaaaleaacaaIYaaabeaakiaacYhadaqhaaWcbaGaamyyaaqaaiaadkgaaaaaaaaa@735E@

Consider:

  • Continuous functions on intervals are integrable ([8.1.5]). Hence the integral a b f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aaaa@3B0D@   exists for each f C 0 (I) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiabgIGiolaadoeadaahaaWcbeqaaiaaicdaaaGccaGGOaGaamysaiaacMcaaaa@3C3B@ .

  • The term "definite" integral indicates that for its calculation an appropriate primitive function has to be evaluated at the fixed boundaries a and b. With an indefinite integral we would omit this calculation so that the symbol f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qaaeaacaWGMbaaleqabeqdcqGHRiI8aaaa@38D2@ , or sometimes f +c MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qaaeaacaWGMbaaleqabeqdcqGHRiI8aOGaey4kaSIaam4yaaaa@3AA6@ , denotes just some primitive of f. The fundamental theorem of calculus [8.2.13] however demonstrates that this notation conveys a content meaning as well.

  • To save parentheses we stipulate that the operators a b MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdaaaa@3A22@ and | a b MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFamaaDaaaleaacaWGHbaabaGaamOyaaaaaaa@38E6@ should obtain a higher priority than the basic arithmetics. For example we write

    2 5 3 X 2 +2X = X 3 + X 2 | 2 5 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaaIZaGaamiwamaaCaaaleqabaGaaGOmaaaakiabgUcaRiaaikdacaWGybaaleaacaaIYaaabaGaaGynaaqdcqGHRiI8aOGaeyypa0JaamiwamaaCaaaleqabaGaaG4maaaakiabgUcaRiaadIfadaahaaWcbeqaaiaaikdaaaGccaGG8bWaa0baaSqaaiaaikdaaeaacaaI1aaaaaaa@4713@   instead of  2 5 (3 X 2 +2X) =( X 3 + X 2 ) | 2 5 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaGGOaGaaG4maiaadIfadaahaaWcbeqaaiaaikdaaaGccqGHRaWkcaaIYaGaamiwaiaacMcaaSqaaiaaikdaaeaacaaI1aaaniabgUIiYdGccqGH9aqpcaGGOaGaamiwamaaCaaaleqabaGaaG4maaaakiabgUcaRiaadIfadaahaaWcbeqaaiaaikdaaaGccaGGPaGaaiiFamaaDaaaleaacaaIYaaabaGaaGynaaaaaaa@49C5@

     
  • The integral [8.2.1] is often denoted by a b f(x)dx MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbGaaiikaiaadIhacaGGPaGaamizaiaadIhaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdaaaa@3F49@ or a b fdX MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbGaamizaiaadIfaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdaaaa@3CD3@ . This notation originates in an alternative approach to integrals where area measurement is the starting point and has just a symbolic meaning. We will dwell on this only in part 8.4.

    Beyond that however f(x)dx MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacIcacaWG4bGaaiykaiaadsgacaWG4baaaa@3B13@ and fdX MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaadsgacaWGybaaaa@389D@ resp. are introduced as a new objects to calculus, so called differential forms

     i

    We consider only differential forms of degree 1 in this case which are introduced as follows: Let ω x : MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqyYdC3aaSbaaSqaaiaadIhaaeqaaOGaaiOoaiabl2riHkabgkziUkabl2riHcaa@3E77@ be a linear function for each xI MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiabgIGiolaadMeaaaa@393B@ , that means

    ω x (αr+βs)=α ω x (r)+β ω x (s) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqyYdC3aaSbaaSqaaiaadIhaaeqaaOGaaiikaiabeg7aHjaadkhacqGHRaWkcqaHYoGycaWGZbGaaiykaiabg2da9iabeg7aHjabeM8a3naaBaaaleaacaWG4baabeaakiaacIcacaWGYbGaaiykaiabgUcaRiabek7aIjabeM8a3naaBaaaleaacaWG4baabeaakiaacIcacaWGZbGaaiykaaaa@501F@   for all r,s,α,β MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOCaiaacYcacaWGZbGaaiilaiabeg7aHjaacYcacqaHYoGycqGHiiIZcqWIDesOaaa@401F@

    Linear functions are often called homomorphisms and are understood as elements of Hom(,) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamisaiaad+gacaWGTbGaaiikaiabl2riHkaacYcacqWIDesOcaGGPaaaaa@3D88@ . The function ω:II×Hom(,) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqyYdCNaaiOoaiaadMeacqGHsgIRcaWGjbGaey41aqRaamisaiaad+gacaWGTbGaaiikaiabl2riHkaacYcacqWIDesOcaGGPaaaaa@45B3@ defined by

    ω(x)=(x, ω x ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqyYdCNaaiikaiaadIhacaGGPaGaeyypa0JaaiikaiaadIhacaGGSaGaeqyYdC3aaSbaaSqaaiaadIhaaeqaaOGaaiykaaaa@411B@

    is now called a differential form of degree 1 on I (a 1-form on I for short). We naturally assign a 1-form dg:x(x, d x g) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamizaiaadEgacaGG6aGaamiEaiablAAiHjaacIcacaWG4bGaaiilaiaadsgadaWgaaWcbaGaamiEaaqabaGccaWGNbGaaiykaaaa@4143@ to each differentiable function g D 1 (I) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiabgIGiolaadseadaahaaWcbeqaaiaaigdaaaGccaGGOaGaamysaiaacMcaaaa@3C3E@ by setting

    d x g(r) g (x)r MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamizamaaBaaaleaacaWG4baabeaakiaadEgacaGGOaGaamOCaiaacMcacqGH9aqpceWGNbGbauaacaGGOaGaamiEaiaacMcacqGHflY1caWGYbaaaa@42D9@

    for xI MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiabgIGiolaadMeaaaa@393B@ . The function d x g MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamizamaaBaaaleaacaWG4baabeaakiaadEgaaaa@38F4@ , obviously a homomorphism, is called the differential of g at x whereas dg MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamizaiaadEgaaaa@37C1@ is the differential of g. As an example we have d x X=X MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamizamaaBaaaleaacaWG4baabeaakiaadIfacqGH9aqpcaWGybaaaa@3AC8@ because:

    d x X(r)= X (x)r=1r=r MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamizamaaBaaaleaacaWG4baabeaakiaadIfacaGGOaGaamOCaiaacMcacqGH9aqpceWGybGbauaacaGGOaGaamiEaiaacMcacqGHflY1caWGYbGaeyypa0JaaGymaiabgwSixlaadkhacqGH9aqpcaWGYbaaaa@49BA@ .

    With ω x MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqyYdC3aaSbaaSqaaiaadIhaaeqaaaaa@38E2@ being linear all its multiples are homomorphisms as well, thus for any function f:I MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacQdacaWGjbGaeyOKH4QaeSyhHekaaa@3BC0@ a differential form fω MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiabgwSixlabeM8a3baa@3AEE@ is given by setting   fω(x)(x,f(x) ω x ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiabgwSixlabeM8a3jaacIcacaWG4bGaaiykaiabg2da9iaacIcacaWG4bGaaiilaiaadAgacaGGOaGaamiEaiaacMcacqGHflY1cqaHjpWDdaWgaaWcbaGaamiEaaqabaGccaGGPaaaaa@49DB@ . If f is integrable for example then

    fdX MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaadsgacaWGybaaaa@389D@

    is an integrable differential form such that fdX(x)=(x,f(x)X) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaadsgacaWGybGaaiikaiaadIhacaGGPaGaeyypa0JaaiikaiaadIhacaGGSaGaamOzaiaacIcacaWG4bGaaiykaiabgwSixlaadIfacaGGPaaaaa@4567@ .

    . [8.2.1] would then define the integral of the differential form fdX MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaadsgacaWGybaaaa@389D@ and the notation a b fdX MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbGaamizaiaadIfaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdaaaa@3CD3@   now has a content meaning.


  •  

Example:  

  • a b 1 =X | a b =X(b)X(a)=ba MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaaIXaaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaeyypa0JaamiwaiaacYhadaqhaaWcbaGaamyyaaqaaiaadkgaaaGccqGH9aqpcaWGybGaaiikaiaadkgacaGGPaGaeyOeI0IaamiwaiaacIcacaWGHbGaaiykaiabg2da9iaadkgacqGHsislcaWGHbaaaa@4BBA@

    If a<b MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyaiabgYda8iaadkgaaaa@38BD@ the integral of 1 thus calculates the length of the interval given by the integral's bounderies!

  • 1 2 X 2 3 = 1 3 X 3 3X | 1 2 = 8 3 6( 1 3 +3)=6 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGybWaaWbaaSqabeaacaaIYaaaaOGaeyOeI0IaaG4maaWcbaGaeyOeI0IaaGymaaqaaiaaikdaa0Gaey4kIipakiabg2da9maalaaabaGaaGymaaqaaiaaiodaaaGaamiwamaaCaaaleqabaGaaG4maaaakiabgkHiTiaaiodacaWGybGaaiiFamaaDaaaleaacqGHsislcaaIXaaabaGaaGOmaaaakiabg2da9maalaaabaGaaGioaaqaaiaaiodaaaGaeyOeI0IaaGOnaiabgkHiTiaacIcacqGHsisldaWcaaqaaiaaigdaaeaacaaIZaaaaiabgUcaRiaaiodacaGGPaGaeyypa0JaeyOeI0IaaGOnaaaa@560D@

  • 0 π sin =cos | 0 π =cos(π)(cos(0))=1+1=2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaaciGGZbGaaiyAaiaac6gaaSqaaiaaicdaaeaacqGHsislcqaHapaCa0Gaey4kIipakiabg2da9iabgkHiTiGacogacaGGVbGaai4CaiaacYhadaqhaaWcbaGaaGimaaqaaiabgkHiTiabec8aWbaakiabg2da9iabgkHiTiGacogacaGGVbGaai4CaiaacIcacqGHsislcqaHapaCcaGGPaGaeyOeI0IaaiikaiabgkHiTiGacogacaGGVbGaai4CaiaacIcacaaIWaGaaiykaiaacMcacqGH9aqpcaaIXaGaey4kaSIaaGymaiabg2da9iaaikdaaaa@5DFE@

  • π π sincos= 1 2 sin 2 | π π =00=0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaaciGGZbGaaiyAaiaac6gacqGHflY1ciGGJbGaai4BaiaacohacqGH9aqpdaWcaaqaaiaaigdaaeaacaaIYaaaaiGacohacaGGPbGaaiOBamaaCaaaleqabaGaaGOmaaaakiaacYhadaqhaaWcbaGaeyOeI0IaeqiWdahabaGaeqiWdahaaOGaeyypa0JaaGimaiabgkHiTiaaicdacqGH9aqpcaaIWaaaleaacqGHsislcqaHapaCaeaacqaHapaCa0Gaey4kIipaaaa@55CE@     The integrand is of the f f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiabgwSixlqadAgagaqbaaaa@3A18@ type, see [8.1.11].

Exercise:

  • 0 2 3 X 2 +4 =? X 3 +4X | 0 2 =160=16 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaaIZaGaamiwamaaCaaaleqabaGaaGOmaaaakiabgUcaRiaaisdaaSqaaiaaicdaaeaacaaIYaaaniabgUIiYdGccqGH9aqpcaWGybWaaWbaaSqabeaacaaIZaaaaOGaey4kaSIaaGinaiaadIfacaGG8bWaa0baaSqaaiaaicdaaeaacaaIYaaaaOGaeyypa0JaaGymaiaaiAdacqGHsislcaaIWaGaeyypa0JaaGymaiaaiAdaaaa@4CAC@

  • π π Xcos =? 1 2 X 2 sin | π π = 1 2 π 2 1 2 (π) 2 =0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGybGaeyOeI0Iaci4yaiaac+gacaGGZbaaleaacqGHsislcqaHapaCaeaacqaHapaCa0Gaey4kIipakiabg2da9maalaaabaGaaGymaaqaaiaaikdaaaGaamiwamaaCaaaleqabaGaaGOmaaaakiabgkHiTiGacohacaGGPbGaaiOBaiaacYhadaqhaaWcbaGaeyOeI0IaeqiWdahabaGaeqiWdahaaOGaeyypa0ZaaSaaaeaacaaIXaaabaGaaGOmaaaacqaHapaCdaahaaWcbeqaaiaaikdaaaGccqGHsisldaWcaaqaaiaaigdaaeaacaaIYaaaaiaacIcacqGHsislcqaHapaCcaGGPaWaaWbaaSqabeaacaaIYaaaaOGaeyypa0JaaGimaaaa@5D8A@

  • 2 1 1 X 2 =? 1 X | 2 1 =1( 1 2 )= 1 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaadaWcaaqaaiaaigdaaeaacaWGybWaaWbaaSqabeaacaaIYaaaaaaaaeaacaaIYaaabaGaaGymaaqdcqGHRiI8aOGaeyypa0JaeyOeI0YaaSaaaeaacaaIXaaabaGaamiwaaaacaGG8bWaa0baaSqaaiaaikdaaeaacaaIXaaaaOGaeyypa0JaeyOeI0IaaGymaiabgkHiTiaacIcacqGHsisldaWcaaqaaiaaigdaaeaacaaIYaaaaiaacMcacqGH9aqpcqGHsisldaWcaaqaaiaaigdaaeaacaaIYaaaaaaa@4D87@  

     i

    Note that the similar integral 2 1 1 X 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaadaWcaaqaaiaaigdaaeaacaWGybWaaWbaaSqabeaacaaIYaaaaaaaaeaacqGHsislcaaIYaaabaGaaGymaaqdcqGHRiI8aaaa@3D3F@ does not exist as there is no subinterval of the domain 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeSyhHe6aaWbaaSqabeaacqGHGjsUcaaIWaaaaaaa@3A0A@ that contains −2 and 1.

    You must not integrate over gaps in the domain!

  • π 6 5π 6 cos sin 2 =? 1 sin | π 6 5π 6 =2(2)=0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaadaWcaaqaaiGacogacaGGVbGaai4CaaqaaiGacohacaGGPbGaaiOBamaaCaaaleqabaGaaGOmaaaaaaaabaWaaSaaaeaacqaHapaCaeaacaaI2aaaaaqaamaalaaabaGaaGynaiabec8aWbqaaiaaiAdaaaaaniabgUIiYdGccqGH9aqpcqGHsisldaWcaaqaaiaaigdaaeaaciGGZbGaaiyAaiaac6gaaaGaaiiFamaaDaaaleaadaWcaaqaaiabec8aWbqaaiaaiAdaaaaabaWaaSaaaeaacaaI1aGaeqiWdahabaGaaGOnaaaaaaGccqGH9aqpcqGHsislcaaIYaGaeyOeI0IaaiikaiabgkHiTiaaikdacaGGPaGaeyypa0JaaGimaaaa@59D5@    Consider [8.1.12] as the integrand is of the f f 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaaSaaaeaaceWGMbGbauaaaeaacaWGMbWaaWbaaSqabeaacaaIYaaaaaaaaaa@38C7@ type.

We start investigating integrals by looking at the behaviour at their boundaries. One important result is: integrals are additive at their boundaries.

Proposition:  If f is integrable on I then the following holds for all a,b,cI MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyaiaacYcacaWGIbGaaiilaiaadogacqGHiiIZcaWGjbaaaa@3C53@ :

  1. a b f = a bc f + c b f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaeyypa0Zaa8qCaeaacaWGMbaaleaacaWGHbaabaGaam4yaaqdcqGHRiI8aOGaey4kaSYaa8qCaeaacaWGMbaaleaacaWGJbaabaGaamOyaaqdcqGHRiI8aaaa@474E@

[8.2.2]
  1. a a f =0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamyyaaqdcqGHRiI8aOGaeyypa0JaaGimaaaa@3CD6@

[8.2.3]
  1. a b f = b a f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaeyypa0JaeyOeI0Yaa8qCaeaacaWGMbaaleaacaWGIbaabaGaamyyaaqdcqGHRiI8aaaa@422B@

[8.2.4]

Proof:  

1.  Let g be a primitive of f. The following identity is a straight forward calculation:

a bc f + c b f =g | a c +g | c b =g(c)g(a)+g(b)g(c)=g | a b = a b f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGHbaabaGaam4yaaqdcqGHRiI8aOGaey4kaSYaa8qCaeaacaWGMbaaleaacaWGJbaabaGaamOyaaqdcqGHRiI8aOGaeyypa0Jaam4zaiaacYhadaqhaaWcbaGaamyyaaqaaiaadogaaaGccqGHRaWkcaWGNbGaaiiFamaaDaaaleaacaWGJbaabaGaamOyaaaakiabg2da9iaadEgacaGGOaGaam4yaiaacMcacqGHsislcaWGNbGaaiikaiaadggacaGGPaGaey4kaSIaam4zaiaacIcacaWGIbGaaiykaiabgkHiTiaadEgacaGGOaGaam4yaiaacMcacqGH9aqpcaWGNbGaaiiFamaaDaaaleaacaWGHbaabaGaamOyaaaakiabg2da9maapehabaGaamOzaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipaaaa@6682@

2.  The assertion comes directly from a a f + a a f = a a f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamyyaaqdcqGHRiI8aOGaey4kaSYaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamyyaaqdcqGHRiI8aOGaeyypa0Zaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamyyaaqdcqGHRiI8aaaa@4748@   which is valid because of 1.

3.  Combining 1. and 2. yields a b f + b a f = a a f =0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaey4kaSYaa8qCaeaacaWGMbaaleaacaWGIbaabaGaamyyaaqdcqGHRiI8aOGaeyypa0Zaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamyyaaqdcqGHRiI8aOGaeyypa0JaaGimaaaa@4914@ , from which 3. is immediate.

1. allows to interrupt an integration at an arbitrary point c (c not even needs to be in between a and b!). Occasionally there are advantages from that. We could for instance calculate the integral 1 1 |X| MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaGG8bGaamiwaiaacYhaaSqaaiabgkHiTiaaigdaaeaacaaIXaaaniabgUIiYdaaaa@3D95@ without knowing any primitive of |X| MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFaiaadIfacaGG8baaaa@38C9@ .We just split up the integration at 0 and thus have:

1 1 |X| = 1 0 |X| + 0 1 |X| = 1 0 X + 0 1 X = 1 2 X 2 | 1 0 + 1 2 X 2 | 0 1 =1 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaGG8bGaamiwaiaacYhaaSqaaiabgkHiTiaaigdaaeaacaaIXaaaniabgUIiYdGccqGH9aqpdaWdXbqaaiaacYhacaWGybGaaiiFaaWcbaGaeyOeI0IaaGymaaqaaiaaicdaa0Gaey4kIipakiabgUcaRmaapehabaGaaiiFaiaadIfacaGG8baaleaacaaIWaaabaGaaGymaaqdcqGHRiI8aOGaeyypa0Zaa8qCaeaacqGHsislcaWGybaaleaacqGHsislcaaIXaaabaGaaGimaaqdcqGHRiI8aOGaey4kaSYaa8qCaeaacaWGybaaleaacaaIWaaabaGaaGymaaqdcqGHRiI8aOGaeyypa0JaeyOeI0YaaSaaaeaacaaIXaaabaGaaGOmaaaacaWGybWaaWbaaSqabeaacaaIYaaaaOGaaiiFamaaDaaaleaacqGHsislcaaIXaaabaGaaGimaaaakiabgUcaRmaalaaabaGaaGymaaqaaiaaikdaaaGaamiwamaaCaaaleqabaGaaGOmaaaakiaacYhadaqhaaWcbaGaaGimaaqaaiaaigdaaaGccqGH9aqpcaaIXaaaaa@6CD3@ .

The next rules (integrals are linear in their integrands) are just integral versions of some derivation rules, namely sum, difference and factor rule.

Proposition:  Let f, f 1 , f 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacYcacaWGMbWaaSbaaSqaaiaaigdaaeqaaOGaaiilaiaadAgadaWgaaWcbaGaaGOmaaqabaaaaa@3BE6@ be integrable on I and c MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4yaiabgIGiolabl2riHcaa@39C8@ . For all a,bI MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyaiaacYcacaWGIbGaeyicI4Saamysaaaa@3ABB@ the following identities hold:

  1. a b f 1 + f 2 = a b f 1 + a b f 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbWaaSbaaSqaaiaaigdaaeqaaOGaey4kaSIaamOzamaaBaaaleaacaaIYaaabeaakiabg2da9aWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakmaapehabaGaamOzamaaBaaaleaacaaIXaaabeaaaeaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaey4kaSYaa8qCaeaacaWGMbWaaSbaaSqaaiaaikdaaeqaaaqaaiaadggaaeaacaWGIbaaniabgUIiYdaaaa@4CB4@

[8.2.5]
  1. a b f 1 f 2 = a b f 1 a b f 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbWaaSbaaSqaaiaaigdaaeqaaOGaeyOeI0IaamOzamaaBaaaleaacaaIYaaabeaakiabg2da9aWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakmaapehabaGaamOzamaaBaaaleaacaaIXaaabeaaaeaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaeyOeI0Yaa8qCaeaacaWGMbWaaSbaaSqaaiaaikdaaeqaaaqaaiaadggaaeaacaWGIbaaniabgUIiYdaaaa@4CCA@

[8.2.6]
  1. a b cf= c a b f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGJbGaamOzaiabg2da9aWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakiaadogadaWdXbqaaiaadAgaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdaaaa@430E@

[8.2.7]

Proof:  

1.   If g 1 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zamaaBaaaleaacaaIXaaabeaaaaa@37BF@ and g 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zamaaBaaaleaacaaIYaaabeaaaaa@37C0@ are primitives of f 1 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzamaaBaaaleaacaaIXaaabeaaaaa@37BE@ and f 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzamaaBaaaleaacaaIYaaabeaaaaa@37BF@ resp. then g 1 + g 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zamaaBaaaleaacaaIXaaabeaakiabgUcaRiaadEgadaWgaaWcbaGaaGOmaaqabaaaaa@3A7F@ is a primitive of f 1 + f 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzamaaBaaaleaacaaIXaaabeaakiabgUcaRiaadAgadaWgaaWcbaGaaGOmaaqabaaaaa@3A7D@ due to [8.1.6] and thus we have:

a b f 1 + f 2 = g 1 + g 2 | a b = g 1 (b)+ g 2 (b) g 1 (a) g 2 (a)= g 1 | a b + g 2 | a b = a b f 1 + a b f 2 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbWaaSbaaSqaaiaaigdaaeqaaOGaey4kaSIaamOzamaaBaaaleaacaaIYaaabeaakiabg2da9aWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakiaadEgadaWgaaWcbaGaaGymaaqabaGccqGHRaWkcaWGNbWaaSbaaSqaaiaaikdaaeqaaOGaaiiFamaaDaaaleaacaWGHbaabaGaamOyaaaakiabg2da9iaadEgadaWgaaWcbaGaaGymaaqabaGccaGGOaGaamOyaiaacMcacqGHRaWkcaWGNbWaaSbaaSqaaiaaikdaaeqaaOGaaiikaiaadkgacaGGPaGaeyOeI0Iaam4zamaaBaaaleaacaaIXaaabeaakiaacIcacaWGHbGaaiykaiabgkHiTiaadEgadaWgaaWcbaGaaGOmaaqabaGccaGGOaGaamyyaiaacMcacqGH9aqpcaWGNbWaaSbaaSqaaiaaigdaaeqaaOGaaiiFamaaDaaaleaacaWGHbaabaGaamOyaaaakiabgUcaRiaadEgadaWgaaWcbaGaaGOmaaqabaGccaGG8bWaa0baaSqaaiaadggaaeaacaWGIbaaaOGaeyypa0Zaa8qCaeaacaWGMbWaaSbaaSqaaiaaigdaaeqaaaqaaiaadggaaeaacaWGIbaaniabgUIiYdGccqGHRaWkdaWdXbqaaiaadAgadaWgaaWcbaGaaGOmaaqabaaabaGaamyyaaqaaiaadkgaa0Gaey4kIipaaaa@753C@

2. and 3.  follow in a similar way with [8.1.7] and [8.1.8].

Consider:

  • We may now integrate polynomials addendwise:

    a b i=0 n a i X i = i=0 n a i a b X i = i=0 n a i i+1 X i+1 | a b MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaadaaeWbqaaiaadggadaWgaaWcbaGaamyAaaqabaGccaWGybWaaWbaaSqabeaacaWGPbaaaaqaaiaadMgacqGH9aqpcaaIWaaabaGaamOBaaqdcqGHris5aaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakiabg2da9maaqahabaGaamyyamaaBaaaleaacaWGPbaabeaakmaapehabaGaamiwamaaCaaaleqabaGaamyAaaaaaeaacaWGHbaabaGaamOyaaqdcqGHRiI8aaWcbaGaamyAaiabg2da9iaaicdaaeaacaWGUbaaniabggHiLdGccqGH9aqpdaaeWbqaamaalaaabaGaamyyamaaBaaaleaacaWGPbaabeaaaOqaaiaadMgacqGHRaWkcaaIXaaaaaWcbaGaamyAaiabg2da9iaaicdaaeaacaWGUbaaniabggHiLdGccaWGybWaaWbaaSqabeaacaWGPbGaey4kaSIaaGymaaaakiaacYhadaqhaaWcbaGaamyyaaqaaiaadkgaaaaaaa@6557@

    for example 0 1 8 X 3 +2 X 2 3 = 8 4 X 4 | 0 1 + 2 3 X 3 | 0 1 3X | 0 1 =2+ 2 3 3= 1 3 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaaI4aGaamiwamaaCaaaleqabaGaaG4maaaakiabgUcaRiaaikdacaWGybWaaWbaaSqabeaacaaIYaaaaOGaeyOeI0IaaG4maaWcbaGaaGimaaqaaiaaigdaa0Gaey4kIipakiabg2da9maalaaabaGaaGioaaqaaiaaisdaaaGaamiwamaaCaaaleqabaGaaGinaaaakiaacYhadaqhaaWcbaGaaGimaaqaaiaaigdaaaGccqGHRaWkdaWcaaqaaiaaikdaaeaacaaIZaaaaiaadIfadaahaaWcbeqaaiaaiodaaaGccaGG8bWaa0baaSqaaiaaicdaaeaacaaIXaaaaOGaeyOeI0IaaG4maiaadIfacaGG8bWaa0baaSqaaiaaicdaaeaacaaIXaaaaOGaeyypa0JaaGOmaiabgUcaRmaalaaabaGaaGOmaaqaaiaaiodaaaGaeyOeI0IaaG4maiabg2da9iabgkHiTmaalaaabaGaaGymaaqaaiaaiodaaaaaaa@5E00@ .

Product and chain rule are transferable as well. The resulting intergration rules are dealt with in the next part.

We proved several non-trivial properties of differentiable function using the mean value theorem, a basic theorem of calculus and should expect similar strong results from its integral version.

Theorem (mean value theorem, integral version):  Let f be an integrable function on I, i.e. fI(I) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiabgIGiolaadMeacaGGOaGaamysaiaacMcaaaa@3B4D@ . If a,bI MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyaiaacYcacaWGIbGaeyicI4Saamysaaaa@3AB8@ are any two different points of I then there is an x ˜ MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaaiaaaaa@36F5@ in between a and b such that

a b f =(ba)f( x ˜ ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaeyypa0JaaiikaiaadkgacqGHsislcaWGHbGaaiykaiabgwSixlaadAgacaGGOaGabmiEayaaiaGaaiykaaaa@45CA@
[8.2.8]

Proof:  Take a primitive g of f. g is differentiable on I with g= f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiabg2da9iqadAgagaqbaaaa@38D5@ . Due to the mean value theorem [7.9.5] there is thus an x ˜ MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaaiaaaaa@36F5@ in between a and b such that

a b f =g | a b =g(b)g(a)=(ba) g ( x ˜ )=(ba)f( x ˜ ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaeyypa0Jaam4zaiaacYhadaqhaaWcbaGaamyyaaqaaiaadkgaaaGccqGH9aqpcaWGNbGaaiikaiaadkgacaGGPaGaeyOeI0Iaam4zaiaacIcacaWGHbGaaiykaiabg2da9iaacIcacaWGIbGaeyOeI0IaamyyaiaacMcacqGHflY1ceWGNbGbauaacaGGOaGabmiEayaaiaGaaiykaiabg2da9iaacIcacaWGIbGaeyOeI0IaamyyaiaacMcacqGHflY1caWGMbGaaiikaiqadIhagaacaiaacMcaaaa@5DCA@

Consider:

  • The proof of [8.2.8] is actually the proof of the implication

    mean value theorem, differential version MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGzbVlabgkDiElaaywW7aaa@3B65@ mean value theorem, integral version

    In fact however both versions are equivalent as the reverse

    mean value theorem, integral version MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGzbVlabgkDiElaaywW7aaa@3B65@ mean value theorem, differential version

    is valid as well.

    Proof:  ? f D 1 ([a,b]) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiabgIGiolaadseadaahaaWcbeqaaiaaigdaaaGccaGGOaGaai4waiaadggacaGGSaGaamOyaiaac2facaGGPaaaaa@3FAC@
     

    f(b)f(a)=f | a b = a b f =(ba) f ( x ˜ ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacIcacaWGIbGaaiykaiabgkHiTiaadAgacaGGOaGaamyyaiaacMcacqGH9aqpcaWGMbGaaiiFamaaDaaaleaacaWGHbaabaGaamOyaaaakiabg2da9maapehabaGabmOzayaafaaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaeyypa0JaaiikaiaadkgacqGHsislcaWGHbGaaiykaiabgwSixlqadAgagaqbaiaacIcaceWG4bGbaGaacaGGPaaaaa@531F@

     

With its integral version [8.2.8] the mean value theorem controls how integrals are affected by properties of their integrands. One example describes integration as a monotone process.

Proposition:  The following implications are valid for all f,gI([a,b]) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacYcacaWGNbGaeyicI4SaamysaiaacIcacaGGBbGaamyyaiaacYcacaWGIbGaaiyxaiaacMcaaaa@405B@ :

  1. 0f(x)  for all  x]a,b[0 a b f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGimaiabgsMiJkaadAgacaGGOaGaamiEaiaacMcacaqGMbGaaei=aiaabkhacaqGGaGaaeyyaiaabYgacaqGSbGaaeyzaiaadIhacqGHiiIZcaGGDbGaamyyaiaacYcacaWGIbGaai4waiaaywW7cqGHshI3caaMf8UaaGimaiabgsMiJoaapehabaGaamOzaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipaaaa@570D@

[8.2.9]
  1. f(x)g(x)  for all  x]a,b[ a b f a b g MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacIcacaWG4bGaaiykaiabgsMiJkaadEgacaGGOaGaamiEaiaacMcacaqGMbGaaei=aiaabkhacaqGGaGaaeyyaiaabYgacaqGSbGaaeyzaiaadIhacqGHiiIZcaGGDbGaamyyaiaacYcacaWGIbGaai4waiaaywW7cqGHshI3caaMf8+aa8qCaeaacaWGMbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaeyizIm6aa8qCaeaacaWGNbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aaaa@5E07@

[8.2.10]

Proof:  

1.   According to [8.2.8] there is an x ˜ ]a,b[ MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaaiaGaeyicI4SaaiyxaiaadggacaGGSaGaamOyaiaacUfaaaa@3CB9@ such that

a b f = (ba) >0 f( x ˜ ) 0 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaeyypa0ZaaGbaaeaacaGGOaGaamOyaiabgkHiTiaadggacaGGPaaaleaacqGH+aGpcaaIWaaakiaawIJ=aiabgwSixpaayaaabaGaamOzaiaacIcaceWG4bGbaGaacaGGPaaaleaacqGHLjYScaaIWaaakiaawIJ=aiabgwMiZkaaicdaaaa@508C@

2.   From the premise we know that 0gf(x)  for all  x]a,b[ MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGimaiabgsMiJkaadEgacqGHsislcaWGMbGaaiikaiaadIhacaGGPaGaaeOzaiaabYpacaqGYbGaaeiiaiaabggacaqGSbGaaeiBaiaabwgacaWG4bGaeyicI4SaaiyxaiaadggacaGGSaGaamOyaiaacUfaaaa@4BDD@ . We apply 1. to the integrable ([8.1.7]) function gf MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiabgkHiTiaadAgaaaa@38B0@ and get

0 a b gf = a b g a b f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGimaiabgsMiJoaapehabaGaam4zaiabgkHiTiaadAgaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdGccqGH9aqpdaWdXbqaaiaadEgaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdGccqGHsisldaWdXbqaaiaadAgaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdaaaa@4B9F@

which in fact is the assertion [8.2.10].

As the above proof obviously remains valid if we replace MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyizImkaaa@37A1@ by < MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyipaWdaaa@36F0@ we see that integration is even strictly monotone.

The monotony itself will yield an important estimate that is needed if we are going to interchange integral and absolute value.

Proposition:  For all f C 0 ([a,b]) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiabgIGiolaadoeadaahaaWcbeqaaiaaicdaaaGccaGGOaGaai4waiaadggacaGGSaGaamOyaiaac2facaGGPaaaaa@3FAA@ we have

| a b f | a b |f| MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFamaapehabaGaamOzaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakiaacYhacqGHKjYOdaWdXbqaaiaacYhacaWGMbGaaiiFaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipaaaa@45ED@
[8.2.11]

Proof:  First we note that f and |f| MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFaiaadAgacaGG8baaaa@38D7@ are continuous functions on an interval and are thus integrable. And as  |f(x)|f(x)|f(x)| MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyOeI0IaaiiFaiaadAgacaGGOaGaamiEaiaacMcacaGG8bGaeyizImQaamOzaiaacIcacaWG4bGaaiykaiabgsMiJkaacYhacaWGMbGaaiikaiaadIhacaGGPaGaaiiFaaaa@4806@ for all x]a,b[ MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiabgIGiolaac2facaWGHbGaaiilaiaadkgacaGGBbaaaa@3CAA@   [8.2.10] guarantees that

a b |f| = a b |f| a b f a b |f| MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeyOeI0Yaa8qCaeaacaGG8bGaamOzaiaacYhaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdGccqGH9aqpdaWdXbqaaiabgkHiTiaacYhacaWGMbGaaiiFaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakiabgsMiJoaapehabaGaamOzaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakiabgsMiJoaapehabaGaaiiFaiaadAgacaGG8baaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aaaa@56D8@

which is the assertion.

 i

This is in fact a property of the absolute value: The zero distance of a number x does not exceed r if and only if x is in between −r and r, i.e.

|x|rrxr MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFaiaadIhacaGG8bGaeyizImQaamOCaiaaywW7cqGHuhY2caaMf8UaeyOeI0IaamOCaiabgsMiJkaadIhacqGHKjYOcaWGYbaaaa@484F@

Consider:

  • In general the estimate [8.2.11] could not be tightened to =. For example, as shown above, 1 1 |X| =1 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaGG8bGaamiwaiaacYhaaSqaaiabgkHiTiaaigdaaeaacaaIXaaaniabgUIiYdGccqGH9aqpcaaIXaaaaa@3F60@ , but  | 1 1 X |=0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFamaapehabaGaamiwaaWcbaGaeyOeI0IaaGymaaqaaiaaigdaa0Gaey4kIipakiaacYhacqGH9aqpcaaIWaaaaa@3F5F@ .

    If however the algebraic sign of f is homogeneous on [a,b] MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaai4waiaadggacaGGSaGaamOyaiaac2faaaa@3A29@ , that means f(x)0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacIcacaWG4bGaaiykaiabgwMiZkaaicdaaaa@3BAD@ or f(x)0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacIcacaWG4bGaaiykaiabgsMiJkaaicdaaaa@3B9C@ resp. for all x[a,b] MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiabgIGiolaacUfacaWGHbGaaiilaiaadkgacaGGDbaaaa@3CAA@ , [8.2.11] may be replaced by the identity

    | a b f |= a b |f| MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFamaapehabaGaamOzaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakiaacYhacqGH9aqpdaWdXbqaaiaacYhacaWGMbGaaiiFaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipaaaa@453E@
    [8.2.12]

    Proof:  According to [8.2.10] we have:

    1.    f(x)0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacIcacaWG4bGaaiykaiabgwMiZkaaicdaaaa@3BAD@ for all x[a,b] a b f 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiabgIGiolaacUfacaWGHbGaaiilaiaadkgacaGGDbGaaGzbVlabgkDiElaaywW7daWdXbqaaiaadAgaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdGccqGHLjYScaaIWaaaaa@49CE@ , thus: | a b f |= a b f = a b |f| MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFamaapehabaGaamOzaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakiaacYhacqGH9aqpdaWdXbqaaiaadAgaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdGccqGH9aqpdaWdXbqaaiaacYhacaWGMbGaaiiFaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipaaaa@4B6F@

    2.    f(x)0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacIcacaWG4bGaaiykaiabgsMiJkaaicdaaaa@3B9C@ for all x[a,b] a b f 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiabgIGiolaacUfacaWGHbGaaiilaiaadkgacaGGDbGaaGzbVlabgkDiElaaywW7daWdXbqaaiaadAgaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdGccqGHKjYOcaaIWaaaaa@49BD@ , thus: | a b f |= a b f = a b f = a b |f| MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFamaapehabaGaamOzaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakiaacYhacqGH9aqpcqGHsisldaWdXbqaaiaadAgaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdGccqGH9aqpdaWdXbqaaiabgkHiTiaadAgaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdGccqGH9aqpdaWdXbqaaiaacYhacaWGMbGaaiiFaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipaaaa@537A@


  •  

The next statement is an important joining element between differential and integral calculus. Moreover with suitable techniques at hand it will allow us to calculate primitives, which puts the triviality "Calculating integrals needs a good grasp of finding primitives" upside down: "Finding primitives needs a good grasp of calculating integrals".

Theorem (Fundamental theorem of calculus):  Let fI(I) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiabgIGiolaadMeacaGGOaGaamysaiaacMcaaaa@3B50@ be integrable on I. For each cI MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4yaiabgIGiolaadMeaaaa@3926@ the function g:I MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiaacQdacaWGjbGaeyOKH4QaeSyhHekaaa@3BC1@ defined by

g(x) c x f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiaacIcacaWG4bGaaiykaiabg2da9maapehabaGaamOzaaWcbaGaam4yaaqaaiaadIhaa0Gaey4kIipaaaa@3F6D@
[8.2.13]

is a primitive function of f.

Proof:  We evaluate g at x with an arbitrary primitive h of f

g(x)= c x f =h | c x =h(x)h(c) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiaacIcacaWG4bGaaiykaiabg2da9maapehabaGaamOzaaWcbaGaam4yaaqaaiaadIhaa0Gaey4kIipakiabg2da9iaadIgacaGG8bWaa0baaSqaaiaadogaaeaacaWG4baaaOGaeyypa0JaamiAaiaacIcacaWG4bGaaiykaiabgkHiTiaadIgacaGGOaGaam4yaiaacMcaaaa@4CEA@

which proves the identity g=hh(c) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiabg2da9iaadIgacqGHsislcaWGObGaaiikaiaadogacaGGPaaaaa@3CE6@ , so that along with h g is a primitive of f as well (g and h only differ in the constant addend h(c) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiAaiaacIcacaWGJbGaaiykaaaa@391A@ !).

Consider:

  • [8.2.13] is sometimes called the second fundamental theorem of calculus. The first one would have been our definition [8.2.1] if integrals had been introduced in the alternative way mentioned before.

  • As a primitive the function g from [8.2.13] is of course differentiable. Occasionally this is put into the phrase The integral is a differentiable function of its upper limit.

  • Sometimes we simply use the symbol c f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbaaleaacaWGJbaabaaaniabgUIiYdaaaa@3A28@   for the function g which makes the relationship to the the indefinite integrals, as indicated initially, more transparent. Also the notation ( c f ) =f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikamaapehabaGaamOzaaWcbaGaam4yaaqaaaqdcqGHRiI8aOGabiykayaafaGaeyypa0JaamOzaaaa@3D88@   [8.2.13] (combined with c ( f )=ff(c) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaGGOaGabmOzayaafaaaleaacaWGJbaabaaaniabgUIiYdGccaGGPaGaeyypa0JaamOzaiabgkHiTiaadAgacaGGOaGaam4yaiaacMcaaaa@41A1@  ) supports the phrasing "integration and differentiation (nearly) cancel each other out".

  • g(c)=0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaam4zaiaacIcacaWGJbGaaiykaiabg2da9iaaicdaaaa@3AD9@ due to [8.2.3]. Thus for any integrable f  [8.2.13] produces just the one primitive of f that has a zero at c.

  • With that property we see that not all primitives could be produced by the fundamental theorem. The primitive X 2 +1 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiwamaaCaaaleqabaGaaGOmaaaakiabgUcaRiaaigdaaaa@3959@ of 2X MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaGOmaiaadIfaaaa@3785@ for instance has no zero and thus would never come out of [8.2.13].


 

We proved in [8.1.15] that integrability tolerates uniform convergence. Now we will see that even the integral itself is compatible with that kind of convergence..

Proposition:  Let ( f n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadAgadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3959@ be a sequence of integrable function on an interval I. If f:I MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzaiaacQdacaWGjbGaeyOKH4QaeSyhHekaaa@3BC0@ is the uniform limit of ( f n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiikaiaadAgadaWgaaWcbaGaamOBaaqabaGccaGGPaaaaa@3959@ , i.e. f n uf f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOzamaaBaaaleaacaWGUbaabeaakmaaxababaGaeyOKH4kaleaacaWG1bGaamOzaaqabaGccaWGMbaaaa@3CFD@ , the convergence

a b f n a b f MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbWaaSbaaSqaaiaad6gaaeqaaaqaaiaadggaaeaacaWGIbaaniabgUIiYdGccqGHsgIRdaWdXbqaaiaadAgaaSqaaiaadggaaeaacaWGIbaaniabgUIiYdaaaa@4336@
[8.2.14]

holds for all a,bI MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyaiaacYcacaWGIbGaeyicI4Saamysaaaa@3AB8@ .

Proof:  First we note that f is integrable due to [8.1.15]. Furthermore [8.2.14] is obviously valid if a=b MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyaiabg2da9iaadkgaaaa@38BC@ so that we may assume ab MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamyyaiabgcMi5kaadkgaaaa@397D@ . Now let ε>0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaeqyTduMaeyOpa4JaaGimaaaa@3952@ be arbitrary. According to the premise there is an n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBamaaBaaaleaacaaIWaaabeaakiabgIGiolablwriLoaaCaaaleqabaGaey4fIOcaaaaa@3BD8@ such that

| f n (x)f(x)|< ε |ba| MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFaiaadAgadaWgaaWcbaGaamOBaaqabaGccaGGOaGaamiEaiaacMcacqGHsislcaWGMbGaaiikaiaadIhacaGGPaGaaiiFaiabgYda8maalaaabaGaeqyTdugabaGaaiiFaiaadkgacqGHsislcaWGHbGaaiiFaaaaaaa@47F6@   for all   n n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBaiabgwMiZkaad6gadaWgaaWcbaGaaGimaaqabaaaaa@3A7B@ and all xI MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamiEaiabgIGiolaadMeaaaa@3938@ .

Now we find an x ˜ n MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGabmiEayaaiaWaaSbaaSqaaiaad6gaaeqaaaaa@3814@ in between a and b for each n (see the mean value theorem [8.2.8]) such that

a b f n f =(ba)( f n f)( x ˜ n ) MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaWaa8qCaeaacaWGMbWaaSbaaSqaaiaad6gaaeqaaOGaeyOeI0IaamOzaaWcbaGaamyyaaqaaiaadkgaa0Gaey4kIipakiabg2da9iaacIcacaWGIbGaeyOeI0IaamyyaiaacMcacqGHflY1caGGOaGaamOzamaaBaaaleaacaWGUbaabeaakiabgkHiTiaadAgacaGGPaGaaiikaiqadIhagaacamaaBaaaleaacaWGUbaabeaakiaacMcaaaa@4E4B@

and therefore we have for all n n 0 MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaamOBaiabgwMiZkaad6gadaWgaaWcbaGaaGimaaqabaaaaa@3A7B@ :

| a b f n a b f |=| a b f n f |=|ba|| f n ( x ˜ n )f( x ˜ n )|<|ba| ε |ba| =ε MathType@MTEF@5@5@+=feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLnhiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrVepeea0xe9Lq=Jc9vqaqpepm0xbba9pwe9Q8fs0=yqaqpepae9pg0FirpepeKkFr0xfr=xfr=xb9adbaqaaeGaciGaaiaabeqaamaabaabaaGcbaGaaiiFamaapehabaGaamOzamaaBaaaleaacaWGUbaabeaaaeaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaeyOeI0Yaa8qCaeaacaWGMbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaaiiFaiabg2da9iaacYhadaWdXbqaaiaadAgadaWgaaWcbaGaamOBaaqabaGccqGHsislcaWGMbaaleaacaWGHbaabaGaamOyaaqdcqGHRiI8aOGaaiiFaiabg2da9iaacYhacaWGIbGaeyOeI0IaamyyaiaacYhacqGHflY1caGG8bGaamOzamaaBaaaleaacaWGUbaabeaakiaacIcaceWG4bGbaGaadaWgaaWcbaGaamOBaaqabaGccaGGPaGaeyOeI0IaamOzaiaacIcaceWG4bGbaGaadaWgaaWcbaGaamOBaaqabaGccaGGPaGaaiiFaiabgYda8iaacYhacaWGIbGaeyOeI0IaamyyaiaacYhacqGHflY1daWcaaqaaiabew7aLbqaaiaacYhacaWGIbGaeyOeI0IaamyyaiaacYhaaaGaeyypa0JaeqyTdugaaa@75AA@ .

8.1. 8.3.