Fubini's theorem
Inmathematical analysis,Fubini's theoremcharacterizes the conditions under which it is possible to compute adouble integralby using aniterated integral.It was introduced byGuido Fubiniin 1907. The theorem states that if a function isLebesgue integrableon a rectangle,then one can evaluate the double integral as an iterated integral: This formula is generally not true for theRiemann integral,but it is true if the function is continuous on the rectangle. Inmultivariable calculus,this weaker result is sometimes also called Fubini's theorem, although it was already known byLeonhard Euler.
Tonelli's theorem,introduced byLeonida Tonelliin 1909, is similar but is applied to a non-negativemeasurable functionrather than to an integrable function over its domain. The Fubini and Tonelli theorems are usually combined and form the Fubini-Tonelli theorem, which gives the conditions under which it is possible to switch theorder of integrationin an iterated integral.
A related theorem is often calledFubini's theorem for infinite series,[1]although it is due toAlfred Pringsheim.[2]It states that ifis a double-indexed sequence of real numbers, and ifis absolutely convergent, then
Although Fubini's theorem for infinite series is a special case of the more general Fubini's theorem, it is not necessarily appropriate to characterize the former as being proven by the latter because the properties of measures needed to prove Fubini's theorem proper, in particular subadditivity of measure, may be proven using Fubini's theorem for infinite series.[3]
History
[edit]A special case of Fubini's theorem for continuous functions on the product of closed, bounded subsets of real vector spaces was known toLeonhard Eulerin the 18th century. In 1904,Henri Lebesgueextended this result to bounded measurable functions on a product of intervals.[4]Levi conjectured that the theorem could be extended to functions that are integrable rather than bounded[citation needed]and this was proven by Fubini in 1907.[5]In 1909, Leonida Tonelli gave a variation of the Fubini theorem that applies to non-negative functions rather than integrable functions.[6]
Product measures
[edit]Ifandaremeasure spaces,there are several natural ways to define aproduct measureon the product.
Inthe sense of category theory,measurable sets in the productof measure spaces are the elements of theσ-algebragenerated by the products,whereis measurable inandis measurable in.
A measureμonX×Yis called aproduct measureifμ(A×B) =μ1(A)μ2(B) for measurable subsetsA⊂XandB⊂Yand measuresμ1onXandμ2onY.In general, there may be many different product measures onX×Y.Fubini's theorem and Tonelli's theorem both require technical conditions to avoid this complication; the most common approach is to assume that all measure spaces areσ-finite,in which case there is a unique product measure onX×Y.There is always a unique maximal product measure onX×Y,where the measure of a measurable set is theinfof the measures of sets containing it that are countable unions of products of measurable sets. The maximal product measure can be constructed by applyingCarathéodory's extension theoremto the additive function μ such thatμ(A×B) =μ1(A)μ2(B) on the ring of sets generated by products of measurable sets. (Carathéodory's extension theorem gives a measure on a measure space that in general contains more measurable sets than the measure spaceX×Y,so strictly speaking, the measure should be restricted to theσ-algebragenerated by the productsA×Bof measurable subsets ofXandY.)
The product of twocomplete measure spacesis not usually complete. For example, the product of theLebesgue measureon the unit intervalIwith itself is not the Lebesgue measure on the squareI×I.There is a variation of Fubini's theorem for complete measures, which uses the completion of the product of measures rather than the uncompleted product.
For integrable functions
[edit]SupposeXandYareσ-finitemeasure spaces and suppose thatX×Yis given the product measure (which is unique asXandYare σ-finite). Fubini's theorem states that iffisX×Yintegrable, meaning thatfis ameasurable functionand then
The first two integrals are iterated integrals with respect to two measures, respectively, and the third is an integral with respect to the product measure. The partial integralsandneed not be defined everywhere, but this does not matter as the points where they are not defined form a set of measure 0.
If the above integral of the absolute value is not finite, then the two iterated integrals may have different values. Seebelowfor an illustration of this possibility.
The condition thatXandYare σ-finite is usually harmless because almost all measure spaces for which one wishes to use Fubini's theorem are σ-finite. Fubini's theorem has some rather technical extensions to the case whenXandYare not assumed to be σ-finite (Fremlin 2003). The main extra complication in this case is that there may be more than one product measure onX×Y.Fubini's theorem continues to hold for the maximal product measure but can fail for other product measures. For example, there is a product measure and a non-negative measurable functionffor which the double integral of |f| is zero but the two iterated integrals have different values; see the section on counterexamples below for an example of this. Tonelli's theorem and the Fubini–Tonelli theorem (stated below) can fail on non σ-finite spaces, even for the maximal product measure.
Tonelli's theorem for non-negative measurable functions
[edit]Tonelli's theorem,named afterLeonida Tonelli,is a successor of Fubini's theorem. The conclusion of Tonelli's theorem is identical to that of Fubini's theorem, but the assumption thathas a finite integral is replaced by the assumption thatis a non-negative measurable function.
Tonelli's theorem states that ifandareσ-finite measure spaces,whileis non-negative measurable function, then
A special case of Tonelli's theorem is in the interchange of the summations, as in,whereare non-negative for allxandy.The crux of the theorem is that the interchange of order of summation holds even if the series diverges. In effect, the only way a change in order of summation can change the sum is when there exist some subsequences that diverge toand others diverging to.With all elements non-negative, this does not happen in the stated example.
Without the condition that the measure spaces are σ-finite, all three of these integrals can have different values. Some authors give generalizations of Tonelli's theorem to some measure spaces that are not σ-finite, but these generalizations often add conditions that immediately reduce the problem to the σ-finite case. For example, one could take the σ-algebra onA×Bto be that generated by the product of subsets of finite measure, rather than that generated by all products of measurable subsets, though this has the undesirable consequence that the projections from the product to its factorsAandBare not measurable. Another way is to add the condition that the support offis contained in a countable union of products of sets of finite measures.Fremlin (2003)gives some rather technical extensions of Tonelli's theorem to some non σ-finite spaces. None of these generalizations have found any significant applications outside of abstract measure theory, largely because almost all measure spaces of practical interest are σ-finite.
Fubini–Tonelli theorem
[edit]Combining Fubini's theorem with Tonelli's theorem gives the Fubini–Tonelli theorem. Often just called Fubini's theorem, it states that ifandareσ-finite measurespaces, and ifis a measurable function, then Furthermore, if any one of these integrals is finite, then
The absolute value ofin the conditions above can be replaced by either the positive or the negative part of;these forms include Tonelli's theorem as a special case as the negative part of a non-negative function is zero and so has finite integral. Informally, all these conditions say that the double integral ofis well defined, though possibly infinite.
The advantage of the Fubini–Tonelli over Fubini's theorem is that the repeated integrals ofmay be easier to study than the double integral. As in Fubini's theorem, the single integrals may fail to be defined on a measure 0 set.
For complete measures
[edit]The versions of Fubini's and Tonelli's theorems above do not apply to integration on the product of the real linewith itself with Lebesgue measure. The problem is that Lebesgue measure onis not the product of Lebesgue measure onwith itself, but rather the completion of this: a product of two complete measure spacesandis not in general complete. For this reason, one sometimes uses versions of Fubini's theorem for complete measures: roughly speaking, one replaces all measures with their completions. The various versions of Fubini's theorem are similar to the versions above, with the following minor differences:
- Instead of taking a productof two measure spaces, one takes the completion of some product.
- Ifis measurable on the completion ofthen its restrictions to vertical or horizontal lines may be non-measurable for a measure zero subset of lines, so one has to allow for the possibility that the vertical or horizontal integrals are undefined on a set of measure 0 because they involve integrating non-measurable functions. This makes little difference, because they can already be undefined due to the functions not being integrable.
- One generally also assumes that the measures onandare complete, otherwise the two partial integrals along vertical or horizontal lines may be well-defined but not measurable. For example, ifis the characteristic function of a product of a measurable set and a non-measurable set contained in a measure 0 set then its single integral is well defined everywhere but non-measurable.
Proofs
[edit]Proofs of the Fubini and Tonelli theorems are necessarily somewhat technical, as they have to use ahypothesisrelated toσ-finiteness.Most proofs involve building up to the full theorems by proving them for increasingly complicated functions, with the steps as follows.
- Use the fact that the measure on the product is multiplicative for rectangles to prove the theorems for the characteristic functions of rectangles.
- Use the condition that the spaces are σ-finite (or some related condition) to prove the theorem for the characteristic functions of measurable sets. This also covers the case of simple measurable functions (measurable functions taking only a finite number of values).
- Use the condition that the functions are measurable to prove the theorems for positive measurable functions by approximating them by simple measurable functions. This proves Tonelli's theorem.
- Use the condition that the functions are integrable to write them as the difference of two positive integrable functions and apply Tonelli's theorem to each of these. This proves Fubini's theorem.
Riemann integrals
[edit]ForRiemann integrals,Fubini's theorem is proven by refining the partitions along the x-axis and y-axis as to create a joint partition of the form,which is a partition over.This is used to show that the double integrals of either order are equal to the integral over.
Counterexamples
[edit]The following examples show how Fubini's theorem and Tonelli's theorem can fail if any of their hypotheses are omitted.
Failure of Tonelli's theorem for non σ-finite spaces
[edit]Suppose thatXis the unit interval with the Lebesgue measurable sets and Lebesgue measure, andYis the unit interval with all the subsets measurable and thecounting measure,so thatYis not σ-finite. Iffis the characteristic function of the diagonal ofX×Y,then integratingfalongXgives the 0 function onY,but integratingfalongYgives the function 1 onX.So, the two iterated integrals are different. This shows that Tonelli's theorem can fail for spaces that are not σ-finite no matter which product measure is chosen. The measures are bothdecomposable,showing that Tonelli's theorem fails for decomposable measures (which are slightly more general than σ-finite measures).
Failure of Fubini's theorem for non-maximal product measures
[edit]Fubini's theorem holds for spaces even if they are not assumed to be σ-finite provided one uses the maximal product measure. In the example above, for the maximal product measure, the diagonal has infinite measure so the double integral of |f| is infinite, and Fubini's theorem holds vacuously. However, if we giveX×Ythe product measure such that the measure of a set is the sum of the Lebesgue measures of its horizontal sections, then the double integral of |f| is zero, but the two iterated integrals still have different values. This gives an example of a product measure where Fubini's theorem fails.
This gives an example of two different product measures on the same product of two measure spaces. For products of two σ-finite measure spaces, there is only one product measure.
Failure of Tonelli's theorem for non-measurable functions
[edit]Suppose thatXis the first uncountable ordinal, with the finite measure where the measurable sets are either countable (with measure 0) or the sets of countable complement (with measure 1). The (non-measurable) subsetEofX×Xgiven by pairs (x,y) withx<yis countable on every horizontal line and has countable complement on every vertical line. Iffis the characteristic function ofEthen the two iterated integrals offare defined and have different values 1 and 0. The functionfis not measurable. This shows that Tonelli's theorem can fail for non-measurable functions.
Failure of Fubini's theorem for non-measurable functions
[edit]A variation of the example above shows that Fubini's theorem can fail for non-measurable functions even if |f| is integrable and both repeated integrals are well defined: if we takefto be 1 onEand –1 on the complement ofE,then |f| is integrable on the product with integral 1, and both repeated integrals are well defined, but have different values 1 and –1.
Assuming the continuum hypothesis, one can identifyXwith the unit intervalI,so there is a bounded non-negative function onI×Iwhose two iterated integrals (using Lebesgue measure) are both defined but unequal. This example was found byWacław Sierpiński(1920).[7] The stronger versions of Fubini's theorem on a product of two unit intervals with Lebesgue measure, where the function is no longer assumed to be measurable but merely that the two iterated integrals are well defined and exist, are independent of the standardZermelo–Fraenkel axiomsofset theory.The continuum hypothesis andMartin's axiomboth imply that there exists a function on the unit square whose iterated integrals are not equal, whileHarvey Friedman(1980) showed that it is consistent with ZFC that a strong Fubini-type theorem for [0,1] does hold, and whenever the two iterated integrals exist they are equal.[8]SeeList of statements undecidable in ZFC.
Failure of Fubini's theorem for non-integrable functions
[edit]Fubini's theorem tells us that (for measurable functions on a product of σ-finite measure spaces) if the integral of the absolute value is finite, then the order of integration does not matter; if we integrate first with respect toxand then with respect toy,we get the same result as if we integrate first with respect toyand then with respect tox.The assumption that the integral of the absolute value is finite is "Lebesgue integrability",and without it the two repeated integrals can have different values.
A simple example to show that the repeated integrals can be different in general is to take the two measure spaces to be the positive integers, and to take the functionf(x,y) to be 1 ifx=y,−1 ifx=y+ 1, and 0 otherwise. Then the two repeated integrals have different values 0 and 1.
Another example is as follows for the function Theiterated integrals
and have different values. The corresponding double integral does notconverge absolutely(in other words the integral of theabsolute valueis not finite):
Fubini's theorem in multiplications of integrals
[edit]Product of two integrals
[edit]For the product of two integrals with lower limit zero and a common upper limit we have the following formula:
Proof
[edit]Letandare primitive functions of the functionsandrespectively, which pass through the origin:
Therefore, we have
By theproduct rule,the derivative of the right-hand side is
and by integrating we have:
Thus, the equation from the beginning we get:
Now, we introduce a second integration parameterfor the description of the antiderivativesand:
By insertion, a double integral appears:
Functions that are foreign to the concerned integration parameter can be imported into the inner function as a factor:
In the next step, thesum ruleis applied to the integrals:
And finally, we use theFubini theorem
Calculation examples
[edit]![]() | This section'stone or style may not reflect theencyclopedic toneused on Wikipedia.(April 2024) |
Arcsine Integral
[edit]The Arcsine Integral, also called the Inverse Sine Integral, is a function that cannot be represented byelementary functions.However, the Arcsine Integral does have some elementary function values. These values can be determined by integrating the derivative of the arcsine integral, which is the quotient of the Arcsine divided by theIdentity Function-the Cardinalized Arcsine. The Arcsine Integral is exactly the original antiderivative of the Cardinalized Arcsine. To integrate this function, Fubini's theorem serves as a key, which unlocks the integral by exchanging the order of the integration parameters. When applied correctly, Fubini's theorem leads directly to an antiderivative function that can be integrated in an elementary way, which is shown in cyan in the following equation chain:
Dirichlet Eta Function
[edit]TheDirichlet seriesdefines theDirichlet Eta Functionas follows:
The value η(2) is equal to π²/12 and this can be proven with Fubini's theorem[dubious–discuss]in this way:
The integral of the product of theReciprocal Functionand theNatural Logarithmof theSuccessor Functionis aPolylogarithmic Integraland it cannot be represented by elementary function expressions. Fubini's theorem again unlocks this integral in a combinatorial way. This works by carrying out double integration on the basis of Fubini's theorem used on an additive combination of fractionally rational functions with fractions of linear and square denominators:
This way of working out the integral of theCardinalizednatural logarithm of the successor function was discovered by James Harper and it is described in his workAnother simple proof of 1 + 1/2² + 1/3² +... = π²/6accurately.
The original antiderivative, shown here in cyan, leads directly to the value of η(2):
Integrals of Complete Elliptic Integrals
[edit]Theimproper integralof theComplete Elliptic Integral of first kindKtakes the value of twice theCatalan constantaccurately. The antiderivative of that K-integral belongs to the so-calledElliptic Polylogarithms.The Catalan constant can only be obtained via theArctangent Integral,which results from the application of Fubini's theorem:
This time, the expression now in royal cyan color tone is not elementary, but it leads directly to the equally non-elementary value of the "Catalan constant" using the Arctangent Integral, also called Inverse Tangent Integral.
The same procedure also works for theComplete Elliptic Integral of the second kindEin the following way:
Double execution for the Exponential Integral Function
[edit]TheMascheroni constantemerges as theImproper Integralfrom zero to infinity at the integration on the product of negativeNatural Logarithmand theExponential reciprocal.But it is also the improper integral within the same limits on theCardinalized Differenceof the reciprocal of the Successor Function and theExponential Reciprocal:
The concord of these two integrals can be shown by successively executing theFubini's Theoremtwice and by leading this double execution of that theorem over the identity to an integral of the complementaryExponential Integral Function:
This is how the complementary integral exponential function is defined:
This is the derivative of that function:
First implementation of Fubini's theorem:
This integral from a construction of the integral exponential function leads to the integral from the negative Natural Logarithm and the Exponential Reciprocal:
Second implementation of Fubini's theorem:
The previously described integral from the described cardinalized difference leads to the previously mentioned integral from the Exponential Integral function:
In principle, products from exponential functions and fractionally rational functions can be integrated like this:
In this way it is shown accurately by using theFubini's Theoremtwice that these integrals are indeed identical to each other.
Gauss curve integral
[edit]Now this formula for the squaring of an integral is set up:
This chain of equations can then be generated accordingly:
For the integral of theGauss curvethis value can be generated:
Dilogarithm of one
[edit]Now another formula for the squaring of an integral is set up again:
So this chain of equations applies as a new example:
For theDilogarithmof one this value appears:
In this way theBasel problemcan be solved.
Legendre's relation
[edit]In this next example, the more generalized form of the equation is used again as a mold:
The following integrals can be computed by using the incompleteElliptic Integralsof the first and second kind as antiderivatives and these integrals have values that can be represented withComplete Elliptic Integrals:
Inserting these two integrals into the above form gives:
For theLemniscaticspecial case ofLegendre's relation,this result emerges:
See also
[edit]- Cavalieri's principle– Geometrical concept − an early particular case
- Coarea formula− generalization to geometric measure theory
- Disintegration theorem– theorem in measure theory − a restricted converse to Fubini's theorem
- Fubini's theorem for distributions– Mathematical analysis term similar to generalized function
- Kuratowski–Ulam theorem– analog of Fubini's theorem for arbitrary second countable Baire spaces
- Symmetry of second derivatives− analogue for differentiation
- Fubini's nightmare– Apparent violation of Fubini's theorem
References
[edit]- ^Tao, Terence (2016),Analysis I,Springer, p. 188,ISBN9789811017896
- ^E T Whittaker; G N Watson (1902).A course of modern analysis.Cambridge University Press.
- ^Royden, Halsey (2010),Real Analysis,Prentice Hall, p. 34,ISBN9780131437470
- ^Lebesgue, Henri(1904),Leçons sur l'intégration et la recherche des fonctions primitives,Paris: Gauthier-Villars
- ^Fubini, Guido(1907), "Sugli integrali multipli",Rom. Acc. L. Rend. (5),16(1): 608–614,JFM38.0343.02Reprinted inFubini, G. (1958),Opere scelte,vol. 2, Cremonese, pp. 243–249
- ^Tonelli, Leonida(1909). "Sull'integrazione per parti".Atti della Accademia Nazionale dei Lincei.(5).18(2): 246–253.
- ^Sierpiński, Wacław(1920),"Sur un problème concernant les ensembles mesurables superficiellement",Fundamenta Mathematicae,1(1): 112–115,doi:10.4064/fm-1-1-112-115
- ^Friedman, Harvey(1980),"A Consistent Fubini-Tonelli Theorem for Nonmeasurable Functions",Illinois Journal of Mathematics,24(3): 390–395,doi:10.1215/ijm/1256047607,MR0573474
Further reading
[edit]- Billingsley, Patrick(1995), "Product Measure and Fubini's Theorem",Probability and Measure,New York: Wiley, pp. 231–240,ISBN0-471-00710-2
- DiBenedetto, Emmanuele (2002),Real Analysis,Birkhäuser Advanced Texts: Basler Lehrbücher, Boston: Birkhäuser,doi:10.1007/978-1-4612-0117-5,ISBN0-8176-4231-5,MR1897317
- Fremlin, D. H. (2003),Measure theory,vol. 2, Colchester: Torres Fremlin,ISBN0-9538129-2-8,MR2462280
- Weir, Alan J. (1973), "Fubini's Theorem",Lebesgue Integration and Measure,Cambridge: Cambridge University Press, pp. 83–92,ISBN0-521-08728-7
External links
[edit]- Kudryavtsev, L.D. (2001) [1994],"Fubini theorem",Encyclopedia of Mathematics,EMS Press