Teorema de Fubini

El teorema de Fubini, que deu el seu nom a Guido Fubini, estableix que si

${\displaystyle \int _{A\times B}|f(x,y)|\,d(x,y)<\infty ,}$

aleshores la integral respecte al producte de dos intervals en l'espai ${\displaystyle A\times B}$, es pot expressar com

${\displaystyle \int _{A}\left(\int _{B}f(x,y)\,dy\right)\,dx=\int _{B}\left(\int _{A}f(x,y)\,dx\right)\,dy=}$

${\displaystyle =\int _{A\times B}f(x,y)\,d(x,y),}$

on les dues primeres integrals són integrals simples i on la tercera és una integral sobre el producte dels dos intervals.

A més a més, també es compleix que si

${\displaystyle f(x,y)=h(x)g(y)}$

aleshores

${\displaystyle \int _{A}h(x)\,dx\int _{B}g(y)\,dy=\int _{A\times B}h(x)g(y)\,d(x,y)=}$

${\displaystyle =\int _{A\times B}f(x,y)\,d(x,y).}$

Quan la integral de més amunt no té un valor finit, la integració doble pot donar valors diferents.

El teorema de Tonelli està fortament relacionat amb el de Fubini.

Definició formal

Siguin (X, A, μ) i (Y, B, ν) espais mesurables complets i sigui (X×Y, C, μ×ν) l'espai mesurable producte. Aleshores, per a qualsevol funció mesurable f de X×Y a la recta real estesa (recta real que inclou +∞ i −∞), si f és integrable en μ×ν, això és

${\displaystyle \int _{X\times Y}|f|d(\mu \times \nu )<\infty }$

aleshores es compleixen les condicions següents:

1. Per quasi tot x de X, la funció f_x que fa correspondre y (de Y) a f(x, y) és integrable. El mateix succeeix per f_y.

2. La funció definida per

${\displaystyle F_{X}(x)=\left\{{\begin{array}{ll}\int _{Y}f_{x}d\nu &{\hbox{si }}f_{x}{\hbox{ és integrable}}\\0&{\hbox{altrament}}\end{array}}\right.}$

és integrable. El mateix succeeix per F_Y

3. Aquestes integrals satisfan

${\displaystyle \int _{X}F_{X}d\mu =\int _{Y}F_{Y}d\nu =\int _{X\times Y}fd(\mu \times \nu )}$

Aplicacions

L'avaluació de la integral de Gauß és una de les aplicacions del teorema de Fubini. Això és, que es compleix la següent igualtat

${\displaystyle \int _{-\infty }^{\infty }e^{-x^{2}}\,dx={\sqrt {\pi }}.}$

Vegeu també

• Teorema de Clairaut (o Teorema de Schwarz) sobre la simetria de les segones derivades.