Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Teil II/Vorlesung 59/latex
\setcounter{section}{59}
\zwischenueberschrift{Mehrfache Integrale}
Es sei
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {kompakte Teilmenge}{}{}
und es sei
\maabbdisp {f} {T} {\R_{\geq 0}
} {}
eine
\definitionsverweis {stetige Funktion}{}{.}
Wir wollen das Integral
\mathl{\int_T f d \lambda^n}{} definieren, wofür man, wenn die Variablen des $\R^n$ mit
\mathl{x_1, x_2 , \ldots , x_n}{} bezeichnet werden, auch
\mathdisp {\int \int \ldots \int f(x_1,x_2 , \ldots , x_n) dx_1dx_2 \ldots dx_n} { }
schreibt. Diese Schreibweise wird dann bevorzugt, wenn die jeweiligen Grenzen sinnvoll beschrieben werden können und so die Berechnung des Integrals auf die sukzessive Berechnung non $n$ Einzelintegralen
\zusatzklammer {in einer Variablen} {} {}
zurückgeführt werden kann. Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
spricht man von einem \stichwort {Doppelintegral} {} und bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
von einem \stichwort {Dreifachintegral} {.}
Eine wichtige Interpretation des Integrals ist, dass $f$ eine \stichwort {Massenverteilung} {}
\zusatzklammer {oder Ladungsverteilung oder Temperaturverteilung} {} {}
auf dem Körper $T$ beschreibt. In diesem Fall ist das Integral gleich der Gesamtmasse des Körpers $T$. Bei
\mavergleichskette
{\vergleichskette
{f
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also bei einer konstanten Massenverteilung, erhält man über ein Integral das Volumen des Grundkörpers. Wir führen das Integral als
\mathl{(n+1)}{-}dimensionales Volumen des Subgraphen ein.
\inputdefinition
{}
{
Es sei $T$ eine Menge und
\maabbdisp {f} {T} { \R_{\geq 0}
} {}
eine
\definitionsverweis {nichtnegative Funktion}{}{.}
Dann nennt man die Menge
\mavergleichskettedisp
{\vergleichskette
{ S(f)
}
{ =} { { \left\{ (x,y) \in T \times \R \mid 0 \leq y \leq f(x) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
den \definitionswort {Subgraphen}{} der Funktion.
}
\inputdefinition
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{\R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {kompakte Teilmenge}{}{}
und
\maabbdisp {f} {T} {\R_{\geq 0}
} {}
eine
\definitionsverweis {stetige Funktion}{}{.}
Es sei
\mathl{S(f)}{} der
\definitionsverweis {Subgraph}{}{}
dieser Funktion. Dann setzt man
\mavergleichskettedisp
{\vergleichskette
{ \int_Tf d \lambda^n
}
{ \defeq} { \lambda^{n+1} { \left( S(f) \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und nennt dies das
\zusatzklammer {mehrdimensionale} {} {}
\definitionswort {Integral}{}
über $T$ zu $f$.
}
Damit wird der Integralbegriff auf den Volumenbegriff zurückgeführt. Für eine stetige, aber nicht notwendigerweise nichtnegative Funktion $f$ zerlegt man den Definitionsbereich in die beiden Teilmengen
\mathkor {} {T_{\geq 0} = { \left\{ P \in T \mid f(P) \geq 0 \right\} }} {und} {T_{\leq 0} = { \left\{ P \in T \mid f(P) \leq 0 \right\} }} {,}
die ebenfalls kompakt sind, und setzt
\mavergleichskettedisp
{\vergleichskette
{ \int_T fd \lambda^n
}
{ =} { \int_{T_{\geq 0} } f d \lambda^n - \int_{T_{\leq 0} }(- f) d \lambda^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Ebenso kann man die positiven und negativen Funktionen
\mathkor {} {f_+ = {\min { \left( f , 0 \right) } }} {und} {f_- = {\min { \left( -f , 0 \right) } }} {}
einführen und das Integral als
\mathl{\int_T f_+ d \lambda^n - \int_T f_- d \lambda^n}{} ansetzen.
Aus allgemeinen Volumenregeln ergeben sich die folgenden Integrationsregeln.
\inputfakt{Kompakte Teilmenge/Stetige Funktion/Integrationsregeln/Fakt}{Lemma}{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {kompakte Teilmenge}{}{}
und es seien
\maabbdisp {f,g} {T} {\R
} {}
\definitionsverweis {stetige Funktionen}{}{.}}
\faktuebergang {Dann gelten folgende Eigenschaften.}
\faktfolgerung {\aufzaehlungdrei{Für
\mavergleichskette
{\vergleichskette
{a,b
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt
\mavergleichskettedisp
{\vergleichskette
{ \int_T af+bg d \lambda^n
}
{ =} { a \int_T f d \lambda^n + b \int_T g d \lambda^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{ f(P)
}
{ \leq }{ g(P)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{P
}
{ \in }{T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ \int_T f d \lambda^n
}
{ \leq }{ \int_T g d \lambda^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Wenn es eine Zerlegung
\mavergleichskette
{\vergleichskette
{T
}
{ = }{T_1 \cup T_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in kompakte Teilmengen mit
\mavergleichskette
{\vergleichskette
{ \lambda^n { \left( T_1 \cap T_2 \right) }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt, so ist
\mavergleichskettedisp
{\vergleichskette
{ \int_T f d \lambda^n
}
{ =} { \int_{T_1} f d \lambda^n + \int_{T_2} f d \lambda^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
}
Die letzte Aussage ist auch ein Ansatz, um das Integral zu einer Funktion zu definieren, die nicht notwendigerweise stetig ist. Wenn es eine Zerlegung
\mavergleichskette
{\vergleichskette
{ T
}
{ = }{ \bigcup_{i \in I} T_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in endlich viele kompakte Teilmengen $T_i$ derart gibt, dass das Volumen der Durchschnitte
\mathl{T_i \cap T_j}{} für
\mavergleichskette
{\vergleichskette
{i
}
{ \neq }{j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
jeweils $0$ ist
\zusatzklammer {die Durchschnitte müssen also Nullmengen sein} {} {}
und dass die
\definitionsverweis {Einschränkungen}{}{}
\mavergleichskette
{\vergleichskette
{ f_i
}
{ = }{ f{{|}}_{T_i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
stetig sind, so setzt man
\mavergleichskette
{\vergleichskette
{ \int_Tfd \lambda^n
}
{ = }{ \sum_{i \in I} \int_{T_i} f_i d \lambda^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Eine solche Zerlegung ist auch bei stetigen Funktionen häufig sinvoll.
\zwischenueberschrift{Der Satz von Fubini}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Volume_under_surface.png} }
\end{center}
\bildtext {} }
\bildlizenz { Volume under surface.png } {} {Oleg Alexandrov} {Commons} {PD} {}
Ein besonders einfacher Fall liegt vor, wenn
\mavergleichskette
{\vergleichskette
{T
}
{ = }{[a,b] \times [c,d]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Rechteck ist. Diese Situation wird durch den \stichwort {Satz von Fubini} {} abgedeckt.
\inputfaktbeweis
{Kompaktes Rechteck/Satz von Fubini/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\maabbdisp {f} {[a,b] \times [c,d]} { \R
} {}
eine
\definitionsverweis {stetige Funktion}{}{.}}
\faktfolgerung {Dann gilt
\mavergleichskettedisp
{\vergleichskette
{ \int _{ [a,b] \times [c,d]} f d \lambda^2
}
{ =} { \int_a^b { \left( \int_c^d f(x,y) d \lambda^1 \right) } d \lambda^1
}
{ =} { \int_c^d { \left( \int_a^b f(x,y) d \lambda^1 \right) } d \lambda^1
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Der Querschnitt des Subgraphen zu
\mavergleichskette
{\vergleichskette
{x
}
{ = }{x_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist der Subgraph der auf
\mavergleichskette
{\vergleichskette
{x
}
{ = }{x_0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eingeschränkten Funktion, also
\mathdisp {{ \left\{ (x_0,y,z) \mid 0 \leq z \leq f(x_0,y) , \, c \leq y \leq d \right\} }} { . }
Sein Flächeninhalt ist
\mathl{\int_c^d f(x_0,y) dy}{,} und dieser Flächeninhalt hängt selbst stetig von $x_0$ ab \zusatzklammer {das haben wir nicht bewiesen} {} {.} Daher ergibt sich die Aussage aus dem
Cavalieri-Prinzip.
Zumeist schreibt man in der vorstehenden Situation
\mathl{\int_a^b { \left( \int_c^d f(x,y) d y \right) } d x}{.}
\inputbeispiel{}
{
Wir wollen das
\definitionsverweis {Integral}{}{}
der
\definitionsverweis {Funktion}{}{}
\maabbeledisp {f} {\R^2} {\R
} {(x,y)} {x^2-xy+2y^3
} {,}
über dem Rechteck
\mavergleichskette
{\vergleichskette
{Q
}
{ = }{ [-2,1] \times [0,2]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit dem Satz von Fubini
ausrechnen. Dies führt auf
\mavergleichskettealign
{\vergleichskettealign
{ \int_{ Q } f \, d \lambda^2
}
{ =} { \int_{ 0 }^{ 2 } { \left( \int_{ -2 }^{ 1 } { \left( x^2-xy+2y^3 \right) } \, d x \right) } \, d y
}
{ =} { \int_0^2 { \left( { \left( { \frac{ 1 }{ 3 } } x^3- { \frac{ 1 }{ 2 } } x^2y+2y^3x \right) } | _{ -2 } ^{ 1 } \right) } dy
}
{ =} { \int_{ 0 }^{ 2 } { \left( { \frac{ 1 }{ 3 } } - { \frac{ 1 }{ 2 } } y+2y^3 + { \frac{ 8 }{ 3 } } + 2 y+ 4y^3 \right) } \, d y
}
{ =} { \int_{ 0 }^{ 2 } { \left( 3+ { \frac{ 3 }{ 2 } } y+ 6y^3 \right) } \, d y
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \left( 3y+ { \frac{ 3 }{ 4 } } y^2+ { \frac{ 3 }{ 2 } }y^4 \right) } | _{ 0 } ^{ 2 }
}
{ =} { 6 + 3+ 24
}
{ =} { 33
}
{ } {}
}
{}{.}
}
\inputfaktbeweis
{Kompaktes Rechteck/Fubini/Integration von Produktfunktion/Fakt}
{Korollar}
{}
{
\faktsituation {Es seien
\maabbdisp {f} {[a,b]} {\R
} {}
und
\maabbdisp {g} {[c,d]} {\R
} {}
\definitionsverweis {stetige Funktionen}{}{.}}
\faktfolgerung {Dann gilt
\mavergleichskettedisp
{\vergleichskette
{ \int _{ [a,b] \times [c,d]} fg d \lambda^2
}
{ =} { { \left( \int_a^b f(x) dx \right) } \cdot { \left( \int_c^d g(y) dy \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Nach
Satz 59.4
ist
\mavergleichskettealign
{\vergleichskettealign
{ \int_{ [a,b] \times [c,d]} f g d \lambda^2
}
{ =} { \int_a^b { \left( \int_c^d f(x) g(y) d y \right) } d x
}
{ =} { \int_a^b f(x) { \left( \int_c^d g(y) d y \right) } d x
}
{ =} { { \left( \int_c^d g (y) dy \right) } \cdot { \left( \int_a^b f(x) dx \right) }
}
{ } {
}
}
{}
{}{.}
\zwischenueberschrift{Mehrfachintegrale über stetig berandeten Gebieten}
Wir betrachten nun Mehrfachintegrale über komplizierteren Teilmengen $T$, wobei zunächst $T$ eine kompakte Teilmenge im $\R^2$ sei. Eine handhabbare Klasse von Teilmengen sind diejenigen, die
\zusatzklammer {zumindest stückweise} {} {}
durch stetige Funktionen in einer Variablen berandet sind. Die Grundversion sieht dabei folgendermaßen aus: Es sei
\mavergleichskette
{\vergleichskette
{I
}
{ = }{[a,b]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {reelles Intervall}{}{}
und es seien
\maabbdisp {g,h} {I} {\R
} {}
zwei
\definitionsverweis {stetige Funktionen}{}{}
mit
\mavergleichskette
{\vergleichskette
{g(x)
}
{ \leq }{ h(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{[a,b]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Diese zwei Funktionen
\zusatzklammer {bzw. ihre Graphen} {} {}
legen dann ein Flächenstück $T$ fest, nämlich
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ T
}
{ =} { { \left\{ (x,y) \mid a \leq x \leq b , \, g(x) \leq y \leq h(x) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Man spricht von einem \stichwort {stetig berandeten Flächenstück} {.} Das Integral über $T$ zu einer stetigen Funktion
\maabb {f} {T} {\R
} {}
kann man folgendermaßen berechnen.
\inputfaktbeweis
{Flächenstück/Durch stetige Funktionen begrenzt/Funktion darauf/Cavalieri/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{I
}
{ = }{[a,b]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {reelles Intervall}{}{}
und es seien
\maabbdisp {g,h} {I} {\R
} {}
zwei
\definitionsverweis {stetige Funktionen}{}{}
mit
\mavergleichskette
{\vergleichskette
{ g(x)
}
{ \leq }{ h(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{[a,b]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Es sei $T$ das durch die beiden zugehörigen Graphen begrenzte Flächenstück über
\mathl{[a,b]}{,} und es sei
\maabbdisp {f} {T} {\R
} {}
eine stetige Funktion.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \int_T f d \lambda^2
}
{ =} { \int_a^b { \left( \int_{g(x)}^{h(x)} f(x,y) dy \right) } dx
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Dies folgt aus dem
Cavalieri-Prinzip:
Indem man
\mathkor {} {f_+} {und} {f_-} {} getrennt betrachtet, kann man annehmen, dass $f$ keine negativen Werte annimmt. Für diese Funktionen ist das Integral durch das Volumen des Subgraphen definiert. Der Flächeninhalt der Querschnittsfläche des Subgraphen zu
\mavergleichskette
{\vergleichskette
{x_0
}
{ \in }{ [a,b]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist gerade
\mathl{\int_{g(x_0)}^{h(x_0)} f(x_0,y) dy}{.} Diese Flächeninhalte hängen stetig von $x_0$ ab
\zusatzklammer {das haben wir nicht bewiesen} {} {} und somit ist das Integral über diese Flächeninhalte nach dem Cavalieri-Prinzip das Volumen des Subgraphen.
\inputbeispiel{}
{
Es sei $T$ die obere Einheitskreishälfte und
\maabbeledisp {f} {T} {\R
} {(x,y)} {f(x,y) = x^2y+xy^3
} {.}
Dann ist
nach Satz 59.7
\mavergleichskettealign
{\vergleichskettealign
{ \int_T f d \lambda^2
}
{ =} { \int_{-1}^1 { \left( \int_0^{ \sqrt{1-x^2} } x^2y+xy^3 dy \right) } dx
}
{ =} { \int_{-1}^1 { \left( { \frac{ 1 }{ 2 } } x^2y^2 + { \frac{ 1 }{ 4 } }xy^4 \right) } {{|}}_0^{ \sqrt{1-x^2} } dx
}
{ =} { \int_{-1}^1 { \left( { \frac{ 1 }{ 2 } } x^2 \sqrt{1-x^2} ^2 + { \frac{ 1 }{ 4 } }x\sqrt{1-x^2}^4 \right) } dx
}
{ =} { \int_{-1}^1 { \left( { \frac{ 1 }{ 2 } } x^2 { \left( 1-x^2 \right) } + { \frac{ 1 }{ 4 } } x { \left( 1-x^2 \right) }^2 \right) } dx
}
}
{
\vergleichskettefortsetzungalign
{ =} { \int_{-1}^1 { \left( { \frac{ 1 }{ 2 } } x^2 - { \frac{ 1 }{ 2 } } x^4 + { \frac{ 1 }{ 4 } } x - { \frac{ 1 }{ 2 } } x^3 + { \frac{ 1 }{ 4 } } x^5 \right) } dx
}
{ =} { { \left( { \frac{ 1 }{ 8 } } x^2 + { \frac{ 1 }{ 6 } } x^3 - { \frac{ 1 }{ 8 } } x^4 - { \frac{ 1 }{ 10 } } x^5 + { \frac{ 1 }{ 24 } } x^6 \right) }{{|}}_{-1}^1
}
{ =} { { \frac{ 2 }{ 15 } }
}
{ } {}
}
{}{.}
}
Natürlich können die begrenzenden Funktionen auch von $y$ abhängen. Allgemeiner kann man häufig ein komplizierteres Flächenstück durch Einführung eines \anfuehrung{Gitters}{} in Flächenstücke zerlegen, die zu diesem Grundtyp gehören. In diesem Fall erhält man das Gesamtintegral durch Aufsummieren der Teilintegrale.
Wir betrachten nun dreidimensionale Bereiche $T$ und Integrale darüber. Eine typische Situation ist dabei wieder, dass $T$ durch stetige Funktionen berandet wird, und zwar in der folgenden Weise: Es sei
\mavergleichskette
{\vergleichskette
{I
}
{ = }{ [a,b]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {reelles Intervall}{}{,}
\maabbdisp {g,h} {I} {\R
} {}
seien zwei stetige Funktionen mit
\mavergleichskette
{\vergleichskette
{ g(x)
}
{ \leq }{ h(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\maabbdisp {p,q} { { \left\{ (x,y) \mid x \in I , \, g(x) \leq y \leq h(x) \right\} } } {\R
} {}
seien zwei stetige Funktionen mit
\mavergleichskette
{\vergleichskette
{ p(x,y)
}
{ \leq }{ q(x,y)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Diese Funktionen begrenzen dann den Bereich
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{T
}
{ =} { { \left\{ (x,y,z) \mid x \in I , \, g(x) \leq y \leq h(x) , \, p(x,y) \leq z \leq q(x,y) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Eine stetige Funktion
\maabb {f} {T} {\R
} {}
kann man integrieren, indem man die berandenden Funktionen als Integrationsgrenzen verarbeitet.
{Körper/Durch stetige Funktionen begrenzt/Funktion darauf/Cavalieri/Fakt}
{Satz}
{}
{
\faktsituation {Es sei
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{ \R^3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
\definitionsverweis {kompakte Teilmenge}{}{,}
die durch folgende Daten beschrieben werde: Ein
\definitionsverweis {reelles Intervall}{}{}
\mavergleichskette
{\vergleichskette
{I
}
{ = }{[a,b]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
zwei
\definitionsverweis {stetige Funktionen}{}{}
\maabbdisp {g,h} {I} {\R
} {}
mit
\mavergleichskette
{\vergleichskette
{ g(x)
}
{ \leq }{ h(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{[a,b]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und zwei stetige Funktionen
\maabbdisp {p,q} { { \left\{ (x,y) \mid x \in I , \, g(x) \leq y \leq h(x) \right\} } } {\R
} {} mit
\mathl{p(x,y) \leq q(x,y)}{} derart, dass
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{T
}
{ =} { { \left\{ (x,y,z) \mid x \in I , \, g(x) \leq y \leq h(x) , \, p(x,y) \leq z \leq q(x,y) \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Es sei
\maabbdisp {f} {T} {\R
} {}
eine stetige Funktion.}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \int_T f d \lambda^3
}
{ =} { \int_a^b { \left( \int_{g(x)}^{h(x)} { \left( \int_{p(x,y)}^{q(x,y)} f(x,y,z) dz \right) } dy \right) } dx
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
{Dies folgt ebenfalls aus dem Cavalieri-Prinzip.}
Häufig lässt man dabei die Klammern weg, da die Integralzeichen und das Integrationssymbol $du$ als Klammerung ausreichen. Ein Mehrfachintegral ist von innen nach außen zu lesen und zu berechnen. Die einzelnen Integrale sind dabei, abgesehen davon, dass sie von zusätzlichen unbestimmten Parametern abhängen, gewöhnliche eindimensionale Integrale.
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{R
}
{ = }{[a,b] \times [c,d]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Rechteck,
\maabbeledisp {q} {[a,b] \times [c,d] } { \R_{\geq 0}
} {(x,y)} { q(x,y)
} {,}
eine
\definitionsverweis {stetige Funktion}{}{}
und $T$ der
\definitionsverweis {Subgraph}{}{}
zu dieser Funktion, also
\mavergleichskette
{\vergleichskette
{T
}
{ = }{ { \left\{ (x,y,z) \mid a \leq x \leq b , \, c\leq y \leq d , \, 0 \leq z \leq q(x,y) \right\} }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für eine auf $T$ definierte stetige Funktion $f$ ist somit
nach Satz 59.9
\mavergleichskettedisp
{\vergleichskette
{\int_T f d \lambda^3
}
{ =} { \int_a^b \int_c^d \int_0^{q(x,y)} f(x,y,z) dz dy dx
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\zwischenueberschrift{Der Schwerpunkt}
\inputdefinition
{}
{
Zu einer
\definitionsverweis {kompakten}{}{}
Teilmenge
\zusatzklammer {einem Körper} {} {}
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einer
\definitionsverweis {stetigen}{}{}
Massenverteilung
\maabbdisp {f} {T} {\R_{\geq 0}
} {}
mit dem Gesamtvolumen
\mavergleichskette
{\vergleichskette
{M
}
{ = }{ \int_T f d \lambda^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {das als positiv vorausgesetzt sei} {} {}
nennt man den Punkt
\mavergleichskette
{\vergleichskette
{S
}
{ = }{ (s_1 , \ldots , s_n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ s_i
}
{ \defeq} {{ \frac{ 1 }{ M } } \int_T x_i f d \lambda^n
}
{ =} { { \frac{ 1 }{ M } } \int_T x_i \cdot f(x_1 , \ldots , x_n) dx_1 \ldots dx_n
}
{ } {
}
{ } {
}
}
{}{}{}
den
\definitionswort {Schwerpunkt}{}
von $T$
\zusatzklammer {bezüglich der Massenverteilung $f$} {} {.}
}
Um die $i$-te Koordinate des Schwerpunktes zu erhalten muss man also über das Produkt aus $i$-ter Koordinatenfunktion und der Massenverteilung integrieren. Wenn die Massenverteilung \zusatzklammer {oder Massendichte oder Gewichtsfunktion} {} {} $f$ konstant \zusatzklammer {also der Körper homogen ist} {} {,} so nennt man den Schwerpunkt auch den \stichwort {geometrischen Schwerpunkt} {.} Wenn keine Massenverteilung angegeben wird, so meint man stets den geometrischen Schwerpunkt.
\inputbeispiel{}
{
Wir berechnen den
\definitionsverweis {Schwerpunkt}{}{}
der oberen Einheitshalbkugel, also von
\mavergleichskettedisp
{\vergleichskette
{T
}
{ =} { { \left\{ (x,y,z) \in \R^3 \mid x^2+y^2+z^2 \leq 1 , \, z \geq 0 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die $x$- und die $y$-Koordinate muss aus Symmetriegründen natürlich $0$ sein. Für die $z$-Koordinate berechnen wir
\mavergleichskettealigndrucklinks
{\vergleichskettealigndrucklinks
{ \int_{-1}^1 \int_{- \sqrt{1-x^2} }^{ \sqrt{1-x^2} } \int_0^{\sqrt{1-x^2-y^2} } zdzdydx
}
{ =} { \int_{-1}^1 \int_{- \sqrt{1-x^2} }^{ \sqrt{1-x^2} } { \frac{ 1 }{ 2 } } { \left( 1-x^2-y^2 \right) } dydx
}
{ =} { { \frac{ 1 }{ 2 } } \int_{-1}^1 { \left( { \left( 1-x^2 \right) } y - { \frac{ 1 }{ 3 } } y^3 \right) } {{|}}_{- \sqrt{1-x^2} }^{ \sqrt{1-x^2} } dx
}
{ =} { { \frac{ 1 }{ 2 } } \int_{-1}^1 { \left( 1-x^2 \right) } \sqrt{1-x^2} - { \frac{ 1 }{ 3 } } { \left( 1-x^2 \right) } \sqrt{1-x^2} - { \left( - { \left( 1-x^2 \right) } \sqrt{1-x^2} + { \frac{ 1 }{ 3 } } { \left( 1-x^2 \right) } \sqrt{1-x^2} \right) } dx
}
{ =} { { \frac{ 1 }{ 2 } } \int_{-1}^1 { \frac{ 4 }{ 3 } } { \left( 1-x^2 \right) } \sqrt{1-x^2} dx
}
}
{
\vergleichskettefortsetzungalign
{ =} { { \frac{ 2 }{ 3 } } \int_{-1}^1 { \left( 1-x^2 \right) } \sqrt{1-x^2} dx
}
{ } {}
{ } {}
{ } {}
}{}{.}
Wir führen die
Substitution
mit
\mavergleichskette
{\vergleichskette
{x
}
{ = }{ \sin u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
durch und erhalten
\zusatzklammer {ohne den Vorfaktor} {} {}
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{ \int_{ - { \frac{ \pi }{ 2 } } }^{ { \frac{ \pi }{ 2 } } } { \left( 1- \sin^{ 2 } u \right) } \cos u \cdot \cos u du
}
{ =} { \int_{ - { \frac{ \pi }{ 2 } } }^{ { \frac{ \pi }{ 2 } } } { \left( 1- \sin^{ 2 } u \right) } { \left( 1- \sin^{ 2 } u \right) } du
}
{ =} { \int_{ - { \frac{ \pi }{ 2 } } }^{ { \frac{ \pi }{ 2 } } } 1- 2\sin^{ 2 } u + \sin^{ 4 } u du
}
{ =} { 2 \int_{ 0 }^{ { \frac{ \pi }{ 2 } } } 1- 2\sin^{ 2 } u + \sin^{ 4 } u du
}
{ } {
}
}
{}
{}{.}
Unter Verwendung von
Beispiel 20.3
ist dieses Integral gleich
\mavergleichskettedisp
{\vergleichskette
{ 2 { \left( { \frac{ \pi }{ 2 } } - 2 { \frac{ \pi }{ 4 } } + { \frac{ 3 }{ 8 } } \cdot { \frac{ \pi }{ 2 } } \right) }
}
{ =} { { \frac{ 3 }{ 8 } } \pi
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Das Volumen der halben Einheitskugel ist
nach Beispiel 58.12
gleich
\mathl{{ \frac{ 2 }{ 3 } } \pi}{.} Daher ist die $z$-Koordinate des Schwerpunkts gleich
\mavergleichskettedisp
{\vergleichskette
{ { \frac{ { \frac{ 2 }{ 3 } } \cdot { \frac{ 3 }{ 8 } } \pi }{ { \frac{ 2 }{ 3 } } \pi } }
}
{ =} { { \frac{ 3 }{ 8 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}