Der Satz von Fubini ist ein Satz in der Integralrechnung. Er gibt an, unter welchen Bedingungen und wie man mehrdimensionale Integrale mit Hilfe von eindimensionalen Integralen ausrechnen kann. Erstmals wurde dieser Satz 1907 von Guido Fubini (1879–1943) bewiesen.[1]
Beschreibung
Mit Hilfe des Riemann-Integrals oder des Lebesgue-Integrals kann man die Integration von Funktionen über mehrdimensionale Gebiete definieren. Das Problem hierbei ist, dass diese Integrale über einen Grenzwert mit Hilfe einer Zerlegung des Gebiets in kleine Teile definiert sind. Diese ergibt allerdings keine nützliche, konstruktive Methode, um solche Integrale zu berechnen. Bei eindimensionalen Integralen kann man diese Grenzwertbildung vermeiden, wenn sich zu der zu integrierenden Funktion eine Stammfunktion finden lässt (Hauptsatz der Differential- und Integralrechnung).
Mit Hilfe des Satzes von Fubini können nun mehrdimensionale Integrale auf eindimensionale zurückgeführt werden, welche wiederum mit Hilfe einer Stammfunktion (sofern bekannt) berechnet werden können. Der Satz sagt zudem aus, dass die Reihenfolge der eindimensionalen Integrationen keine Rolle spielt. Dieser Trick ist in naiver Weise (vor einer exakten Definition der Integrationsrechnung) schon im 16. Jahrhundert verwendet worden und ist im Spezialfall von Volumenberechnungen unter dem Prinzip von Cavalieri bekannt.
Satz von Fubini für das Riemann-Integral
Sei
stetig.
Dann ist
mit
stetig und es gilt
.
Satz von Fubini für das Lebesgue-Integral
Seien
und
zwei
-endliche Maßräume und
eine messbare Funktion, die bezüglich des Produktmaßes
integrierbar ist, das heißt, es gelte
![{\displaystyle \;\int \limits _{\Omega _{1}\times \Omega _{2}}|f|\,\mathrm {d} (\mu _{1}\otimes \mu _{2})<\infty \ }](https://wikimedia.org/api/rest_v1/media/math/render/svg/39d4851d5001230ca93990768cbb48c5c36b634a)
oder es gelte
fast überall.
Dann ist für fast alle
die Funktion
![{\displaystyle x\mapsto f(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a451242eb379a49116f28b9ffaa0047bb67bf04b)
und für fast alle
die Funktion
![{\displaystyle y\mapsto f(x,y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fff5b3304ce874b1ec7c97502cf37c8b0e615f2)
integrierbar bzw. nichtnegativ. Man kann deshalb die durch Integration nach
beziehungsweise
definierten Funktionen
![{\displaystyle x\mapsto \int \limits _{\Omega _{2}}f(x,y)~\mathrm {d} \mu _{2}(y)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c65a75d453fba6ba8457c05b64534cd59b0cff3)
![{\displaystyle y\mapsto \int \limits _{\Omega _{1}}f(x,y)~\mathrm {d} \mu _{1}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44d1c0efd69ff9dafc4f294b9d04bba8e8a6cb0c)
betrachten. Diese sind auch integrierbar bzw. nichtnegativ und es gilt
![{\displaystyle \;\int \limits _{\Omega _{1}\times \Omega _{2}}f~\mathrm {d} (\mu _{1}\otimes \mu _{2})=\int \limits _{\Omega _{2}}^{}\int \limits _{\Omega _{1}}^{}f(x,y)~\mathrm {d} \mu _{1}(x)~\mathrm {d} \mu _{2}(y)=\int \limits _{\Omega _{1}}^{}\int \limits _{\Omega _{2}}^{}f(x,y)~\mathrm {d} \mu _{2}(y)~\mathrm {d} \mu _{1}(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4336aa1d01d9ddf8d02772668c419fb96ab31af)
Satz von Tonelli (auch Satz von Fubini-Tonelli)
Eine nützliche Variante dieses letzten Satzes ist der Satz von Tonelli. Hier wird die Integrierbarkeit bezüglich des Produktmaßes als Voraussetzung nicht benötigt. Es reicht, dass für
die iterierten Integrale existieren:
Sei
eine reelle messbare Funktion wie oben. Falls eines der beiden iterierten Integrale
, ![{\displaystyle \;\int \limits _{\Omega _{1}}^{}\int \limits _{\Omega _{2}}^{}|f(x,y)|~\mathrm {d} \mu _{2}(y)~\mathrm {d} \mu _{1}(x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19367dbf949d93f905ed227e1cd153cf75fa7be3)
existiert, dann existiert auch das andere,
ist bezüglich des Produktmaßes integrierbar und es gilt:
![{\displaystyle \;\int \limits _{\Omega _{1}\times \Omega _{2}}f~\mathrm {d} (\mu _{1}\otimes \mu _{2})=\int \limits _{\Omega _{2}}^{}\int \limits _{\Omega _{1}}^{}f(x,y)~\mathrm {d} \mu _{1}(x)~\mathrm {d} \mu _{2}(y)=\int \limits _{\Omega _{1}}^{}\int \limits _{\Omega _{2}}^{}f(x,y)~\mathrm {d} \mu _{2}(y)~\mathrm {d} \mu _{1}(x).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b4336aa1d01d9ddf8d02772668c419fb96ab31af)
Folgerungen
Durch komponentenweise Betrachtung ergibt sich sofort, dass der Satz von Fubini nicht nur für reellwertige Funktionen, sondern entsprechend auch für Funktionen mit Werten in endlichdimensionalen reellen Vektorräumen gilt. Da der Körper
der komplexen Zahlen ein zweidimensionaler
-Vektorraum ist, gilt der Satz von Fubini ebenso für komplexwertige Funktionen oder Funktionen mit Werten in endlichdimensionalen
-Vektorräumen.
Stochastik
Mithilfe des Satzes von Fubini kann man folgende Identitäten beweisen, die zum Beispiel Anwendung in der Stochastik finden.
- Sei
Lebesgue-integrierbar, dann gilt:
![{\displaystyle \int \limits _{a}^{b}{\Biggl (}\int \limits _{a}^{y}f(x,y)~\mathrm {d} x~{\Biggr )}\mathrm {d} y=\int \limits _{a}^{b}{\Biggl (}\int \limits _{x}^{b}f(x,y)~\mathrm {d} y~{\Biggr )}\mathrm {d} x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/21782732c341b697879434089314f3ac7857068c)
- Sei
Lebesgue-integrierbar, dann folgt induktiv:
![{\displaystyle \int \limits _{0}^{x}{\Biggl (}\int \limits _{0}^{x_{1}}\dots \int \limits _{0}^{x_{n-2}}{\Biggl (}\int \limits _{0}^{x_{n-1}}f(x_{n})\mathrm {d} x_{n}{\Biggr )}\mathrm {d} x_{n-1}\dots \mathrm {d} x_{2}{\Biggr )}\mathrm {d} x_{1}={\frac {1}{(n-1)!}}\int \limits _{0}^{x}(x-t)^{n-1}f(t)\mathrm {d} t.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b59589ba9ecdf017e50272c287dd7c8ae10700e1)
Dies ist die Cauchy-Formel für mehrfache Integration.
Faltung zweier Funktionen
Zudem liefert der Satz einen einfachen Beweis der Wohldefiniertheit der Faltung zweier Funktionen: Seien
aus dem
-Raum.
bezeichne das Lebesgue-Maß. Definiere die Funktion
,
.
Dann gilt
.
Also existiert gemäß Fubini-Tonelli auch das Integral
![{\displaystyle \int _{\mathbb {R} ^{n}}\int _{\mathbb {R} ^{n}}|f(y)g(x-y)|\,\mathrm {d} \lambda (y)\,\mathrm {d} \lambda (x)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9460bd8b17089ea9bf0bf02a16f6b12336f0375b)
und ist gleich dem obigen Integral.
Insbesondere sind die (messbaren) Funktionen
,
für fast jedes
absolut integrierbar. Also ist die Faltung der Funktionen
und
, gegeben durch
,
wohldefiniert.
Zudem ist die Funktion
auch in
enthalten, und es gilt
.
Exemplarische Anwendung
Arkussinusintegral
Das Arkussinusintegral ist eine nicht elementare Funktion. Aber das Arkussinusintegral weist elementare Funktionswerte auf. Zur Ermittlung dieser Werte integriert man die Ableitung des Arkussinusintegrals, welche der Kardinalisierte Arkussinus ist. Und dementsprechend ist das Arkussinusintegral exakt die ursprüngliche Stammfunktion des kardinalisierten Arkussinus. Für die Integration dieser Funktion dient der Satz von Fubini als Schlüssel, welcher das Integral mittels Austausch der Integrationaparameter aufschließt. Denn auf richtige Weise angewendet führt der Satz von Fubini direkt zu einer auf elementare Weise integrierbaren Stammfunktion, welche bei folgender Formel in einem royalen Cyanton eingeblendet ist:
![{\displaystyle \operatorname {Si} _{2}(1)=\int _{0}^{1}{\frac {1}{x}}\arcsin(x)\,\mathrm {d} x={\color {blue}\int _{0}^{1}}{\color {green}\int _{0}^{1}}{\frac {{\sqrt {1-x^{2}}}\,y}{(1-x^{2}y^{2}){\sqrt {1-y^{2}}}}}\,{\color {green}\mathrm {d} y}\,{\color {blue}\mathrm {d} x}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ca33caba2cb40adf8283bd8346b913b05373e808)
![{\displaystyle ={\color {green}\int _{0}^{1}}{\color {blue}\int _{0}^{1}}{\frac {{\sqrt {1-x^{2}}}\,y}{(1-x^{2}y^{2}){\sqrt {1-y^{2}}}}}{\color {blue}\,\mathrm {d} x}{\color {green}\,\mathrm {d} y}=\int _{0}^{1}{\frac {\pi \,y}{2{\sqrt {1-y^{2}}}(1+{\sqrt {1-y^{2}}}\,)}}\,\mathrm {d} y=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44ea349983d48f2cd8b819759bbe4032af23444d)
![{\displaystyle ={\color {RoyalBlue}{\biggl \{}{\frac {\pi }{2}}\ln {\bigl [}2{\bigl (}1+{\sqrt {1-y^{2}}}\,{\bigr )}^{-1}{\bigr ]}{\biggr \}}_{y=0}^{y=1}}={\frac {\pi }{2}}\ln(2)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3845da22614f22f137cc034c45305720134b0487)
Dirichletsche Etafunktion
Die Dirichletsche Reihe definiert die Dirichletsche Etafunktion so:
![{\displaystyle \eta (s)=\sum _{n=1}^{\infty }{\frac {(-1)^{n-1}}{n^{s}}}=1-{\frac {1}{2^{s}}}+{\frac {1}{3^{s}}}-{\frac {1}{4^{s}}}+{\frac {1}{5^{s}}}-{\frac {1}{6^{s}}}\pm \cdots }](https://wikimedia.org/api/rest_v1/media/math/render/svg/269697b8a8f793f404d34da6276c8a54d7a4477f)
Der Wert η(2) ergibt π²/12 und dies kann mit dem Satz von Fubini bewiesen werden:
![{\displaystyle \eta (2)=\sum _{n=1}^{\infty }(-1)^{n-1}{\frac {1}{n^{2}}}=\sum _{n=1}^{\infty }\int _{0}^{1}(-1)^{n-1}{\frac {1}{n}}{x}^{n-1}\,\mathrm {d} x=\int _{0}^{1}\sum _{n=1}^{\infty }(-1)^{n-1}{\frac {1}{n}}{x}^{n-1}\,\mathrm {d} x=\int _{0}^{1}{\frac {1}{x}}\ln(x+1)\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3daa9032fd2bfa64f15b2f8f794b0d342cb0c05d)
Das Integral vom Produkt aus Kehrwertfunktion und Logarithmus Naturalis von der Nachfolgerfunktion ist polylogarithmisch beschaffen und hat keine elementar darstellbare Stammfunktion. Aber der Satz von Fubini schließt dieses Integral auf eine kombinatorische Weise auf, indem bei einer Bilanz aus gebrochen rationalen Funktionen mit Brüchen aus linearen und quadratischen Nennern die Doppelintegration mit dem Satz von Fubini durchgeführt wird:
![{\displaystyle \int _{0}^{1}{\frac {1}{x}}\ln(x+1)\,\mathrm {d} x={\color {blue}\int _{0}^{1}}{\color {green}\int _{0}^{1}}{\frac {4}{3(x^{2}+2xy+1)}}+{\frac {2x}{3(x^{2}y+1)}}-{\frac {1}{3(xy+1)}}\,{\color {green}\mathrm {d} y}\,{\color {blue}\mathrm {d} x}=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4fdade6c9bf12f88642ca114dd0178b8d150b3a0)
![{\displaystyle ={\color {green}\int _{0}^{1}}{\color {blue}\int _{0}^{1}}{\frac {4}{3(x^{2}+2xy+1)}}+{\frac {2x}{3(x^{2}y+1)}}-{\frac {1}{3(xy+1)}}\,{\color {blue}\mathrm {d} x}\,{\color {green}\mathrm {d} y}=\int _{0}^{1}{\frac {2\arccos(y)}{3{\sqrt {1-y^{2}}}}}\,\mathrm {d} y=}](https://wikimedia.org/api/rest_v1/media/math/render/svg/856e0d8abbb15c543ba3bcad6822cda476f87141)
![{\displaystyle ={\color {RoyalBlue}{\biggl [}{\frac {\pi ^{2}}{12}}-{\frac {1}{3}}\arccos(y)^{2}{\biggr ]}_{y=0}^{y=1}}={\frac {\pi ^{2}}{12}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/feb79c489d5032a4ee0f841ee88a234fa412be53)
Die hier in royalem Cyanton eingeblendete ursprüngliche Stammfunktion führt direkt zum Werte von η(2) hin:
![{\displaystyle \eta (2)={\frac {\pi ^{2}}{12}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9628ac3e1569a8ef087cfa7d0ae22a509dfefb8e)
Literatur
- Jürgen Elstrodt: Maß- und Integrationstheorie. 7. Auflage. Springer, Berlin/Heidelberg 2011, ISBN 978-3-642-17904-4, Kapitel V.
- Achim Klenke: Wahrscheinlichkeitstheorie. Springer-Verlag, Berlin Heidelberg 2008, ISBN 978-3-540-76317-8, S. 279.
- Konrad Königsberger: Analysis 2. 5. Auflage, Springer, Berlin 2004.
Einzelnachweise
- ↑ Fubini, Guido (1907), "Sugli integrali multipli", Rom. Acc. L. Rend. (5), 16 (1): 608–614.