Partielle Integration

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Die partielle Integration, auch Produktintegration genannt, ist in der Integralrechnung eine Möglichkeit zur Berechnung bestimmter Integrale und zur Bestimmung von Stammfunktionen. Sie kann als Analogon zur Produktregel der Differentialrechnung aufgefasst werden. Der Gaußsche Integralsatz aus der Vektoranalysis mit einigen seiner Spezialfälle ist eine Verallgemeinerung der partiellen Integration für Funktionen mehrerer Variablen.

Regel der partiellen Integration[Bearbeiten]

Ist [a,b] ein Intervall und sind f,\,g \colon [a,b] \to \R zwei stetig differenzierbare Funktionen auf ]a,b[, dann gilt

\begin{align} 
\int_a^b f'(x)\cdot g(x)\,\mathrm{d}x 
&= [f(x)\cdot g(x)]_{a}^{b} - \int_a^b f(x)\cdot g'(x)\,\mathrm{d}x\\
&=f(b) \cdot g(b) - f(a) \cdot g(a) - \int_a^b f(x)\cdot g'(x)\,\mathrm{d}x\,.
\end{align}

Diese Regel wird partielle Integration genannt.[1] Ihren Namen hat sie erhalten, weil bei ihrer Anwendung nur ein Teil des Integrals auf der linken Seite des Gleichheitszeichens bestimmt wird, nämlich [f(x)\cdot g(x)]_{a}^{b}, und der zweite Ausdruck, nämlich - \int_a^b f(x)\cdot g'(x)\,\mathrm{d}x, noch ein Integral beinhaltet. Diese Regel ist daher dann sinnvoll anzuwenden, wenn die Stammfunktion zu f' bekannt, beziehungsweise leicht zu berechnen ist, und wenn der Integralausdruck auf der rechten Seite einfacher zu berechnen ist.[2]

Beispiel[Bearbeiten]

Als Beispiel wird das Integral

\int_2^{10} x\cdot\ln(x) \,\mathrm{d}x

betrachtet, wobei \ln(x) der natürliche Logarithmus ist. Setzt man f'(x) = x und g(x) = \ln(x), so erhält man

f(x) = \frac12 x^2 und g'(x)=\frac1{x}.

Dies ergibt dann

\int_2^{10} x\cdot\ln(x) \,\mathrm{d}x 
= \left[ \frac12 {x^2}\cdot\ln(x)\right]_2^{10} - \int_2^{10} \frac12 {x^2} \cdot\frac1{x} \,\mathrm{d}x 
= \left[\frac12{x^2}\cdot\ln(x) \right]_2^{10} - \left[ \frac14 {x^2} \right]_2^{10}
= 50 \ln(10) - 2 \ln(2) - 24\,.

Weitere Beispiele sind im Abschnitt Unbestimmte Integrale und partielle Integration dieses Artikels zu finden. Im Unterschied zu diesem Beispiel werden dort nur unbestimmte Integrale berechnet. Das heißt, dass an den Integralen keine Grenzen stehen, die dann, wie hier im Beispiel geschehen, im letzten Schritt in die Funktion eingesetzt werden.

Geschichte[Bearbeiten]

Eine geometrische Form der Regel der partiellen Integration findet sich schon in Blaise Pascals Arbeit Traité des Trilignes Rectangles et de leurs Onglets (Abhandlung über Kurvendreiecke und ihre 'adjungierten Körper'), die 1658 als Teil des Lettre de A. Dettonville à M. Carcavy erschien. Da zu jener Zeit der Integralbegriff noch nicht geprägt war, wurde diese Regel nicht mittels Integralen, sondern durch Summation von Infinitesimalen beschrieben.[3]

Gottfried Wilhelm Leibniz, der zusammen mit Isaac Newton als der Erfinder der Differential- und Integralrechnung gilt, bewies die in moderner Notation lautende Aussage


\int_a^b y(x) \mathrm{d} x = \frac{1}{2} \left( [x \cdot y(x)]_{a}^b + \int_a^b y(x) - x \cdot y'(x) \mathrm{d} x \right)\,.

Sie ist ein Spezialfall der Regel zur partiellen Integration. Leibniz nannte diese Regel Transmutationstheorem und teilte sie Newton in seinem Brief mit, den er als Antwort auf die epistola prior, den ersten Brief Newtons, nach England schickte. Mithilfe dieses Theorems untersuchte Leibniz den Flächeninhalt eines Kreises und konnte die Formel


\frac{\pi}{4} = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \frac{1}{9} - \dotsb = \sum_{k=0}^{\infty} \frac{(-1)^k}{2k+1}

beweisen. Sie wird heute Leibniz-Reihe genannt.[4]

Unbestimmte Integrale und partielle Integration[Bearbeiten]

Die partielle Integration kann auch dafür verwendet werden, um unbestimmte Integrale zu berechnen – also um Stammfunktionen zu bestimmen. Dazu werden in der Regel zur partiellen Integration die Integralgrenzen gestrichen, daher muss nun die Integrationskonstante beachtet werden.

Regel[Bearbeiten]

Seien f und g zwei stetig differenzierbare Funktionen und ist die Stammfunktion von f\cdot g' bekannt, dann kann mit der Regel zur partiellen Integration


\int f'(x)\cdot g(x)\,\mathrm{d}x = f(x)\cdot g(x) - \int f(x)\cdot g'(x)\,\mathrm{d}x

eine Stammfunktion zu f' \cdot g gefunden werden.

Beispiele[Bearbeiten]

In diesem Abschnitt wird an zwei Beispielen aufgezeigt, wie mit Hilfe der partiellen Integration eine Stammfunktion ermittelt wird. Im ersten Beispiel wird keine Stammfunktion bestimmt. Dieses Beispiel zeigt auf, dass beim Bestimmen einer Stammfunktion mit der partiellen Integration auch auf die Integrationskonstante geachtet werden muss. Im zweiten Beispiel wird die Stammfunktion des Logarithmus und im dritten Beispiel wird eine Stammfunktion zu einer gebrochenrationalen Funktion bestimmt.

Kehrwertfunktion[Bearbeiten]

In diesem Beispiel wird das unbestimmte Integral von \tfrac{1}{x} betrachtet und partiell Integriert. Dies verhilft zwar nicht dazu, die Stammfunktion von \tfrac{1}{x} konkret zu bestimmen. Jedoch verdeutlicht es, dass auf die Integrationskonstante geachtet werden muss. Es gilt

\begin{align}
 \int 1\cdot\frac{1}{x}\,\mathrm{d}x &= x\cdot\frac{1}{x} - \int x\cdot\frac{-1}{x^2}\,\mathrm{d}x \\
  &=  1 + \int x\cdot\frac{1}{x^2}\,\mathrm{d}x \\
  &=  1 + \int \frac{1}{x}\,\mathrm{d}x \,.
\end{align}

Im Sinne unbestimmter Integrale ist diese Gleichung richtig, denn die Funktionen \textstyle\int 1\cdot\frac{1}{x}\,\mathrm{d}x und \textstyle 1 + \int \frac{1}{x}\,\mathrm{d}x sind beide Stammfunktionen der Funktion \tfrac{1}{x}. Würde man diesen Ausdruck als bestimmtes Integral mit den Grenzen 0 < a < b betrachten, so würde der mittlere (der integralfreie) Term wegfallen, denn es gilt

\left[x\cdot\frac{1}{x}\right]_a^b = \frac{b}{b} - \frac{a}{a} = 0.

Logarithmusfunktion[Bearbeiten]

Steht nur ein Term im Integrand, auf dessen Stammfunktion ohne Tabellenwert nicht ohne weiteres zu schließen ist, kann man gelegentlich durch Einfügen des Faktors 1 partiell integrieren. Dies funktioniert beispielsweise bei der Logarithmusfunktion \ln. Um die Stammfunktion von \ln zu bestimmen, wird bei der partiellen Integration der Logarithmus differenziert und von der Eins-Funktion die Stammfunktion gebildet. Es gilt also[5]


\begin{align}
\int \ln(x) \,\mathrm{d}x &= \int 1 \cdot \ln(x) \,\mathrm{d}x\\ 
& = x \cdot \ln(x) - \int x \cdot {1 \over x} \,\mathrm{d}x \\
& = x \cdot \ln(x) - \int 1 \,\mathrm{d}x \\
& = x \cdot \ln(x) - x\,.
\end{align}

Produkt von Sinus- und Kosinusfunktion[Bearbeiten]

Manchmal kann man es sich zunutze machen, dass nach mehreren Schritten der partiellen Integration das ursprüngliche Integral auf der rechten Seite des Gleichheitszeichens wiederkehrt, welches man dann durch Äquivalenzumformung mit dem ursprünglichen Integral auf der linken Seite zusammenfassen kann.

Als Beispiel wird das unbestimmte Integral

\int \sin(x) \cdot \cos(x) \,\mathrm{d}x

berechnet. Dazu setzt man f(x) = \cos(x) und g'(x)= \sin(x), so ergibt sich

f'(x) = - \sin(x) und g(x)= - \cos(x)

und man erhält

\int \sin(x) \cdot \cos(x) \,\mathrm{d}x = -\cos^2(x) - \int \sin(x) \cdot \cos(x) \,\mathrm{d}x.

Addiert man auf beiden Seiten der Gleichung das Ausgangsintegral, folgt

2 \int \sin(x) \cdot \cos(x) \,\mathrm{d}x = - \cos^2(x) .

Wird nun auf beiden Seiten durch 2 dividiert, so ergibt sich

 \int \sin(x) \cdot \cos(x) \,\mathrm{d}x = -\tfrac12\cos^2(x)+C.

Vertauscht man bei der partiellen Integration die Rollen von f und g, so ergibt sich analog

\int \sin(x) \cdot \cos(x) \,\mathrm{d}x = \tfrac12\sin^2(x)+C.

Wegen \sin^2(x) = 1-\cos^2(x) sieht man, dass es keine ausgezeichnete Stammfunktion gibt.

Produkt von Polynom- und Exponentialfunktion[Bearbeiten]

Bei manchen unbestimmten Integralen bietet es sich an, für f' einen Term zu wählen, der sich bei der Integration nicht oder nur unwesentlich verändert, beispielsweise die natürliche Exponentialfunktion oder die trigonometrischen Funktionen.

Als Beispiel wird das unbestimmte Integral

\int e^x \cdot \left(2-x^2\right) \,\mathrm{d}x

betrachtet. Setzt man bei jedem partiellen Integrationsschritt f'(x) = e^x und für g den übrigen Term unter dem Integral, so ergibt sich


\begin{align}
\int e^x \cdot \left(2-x^2\right) \,\mathrm{d}x
& = e^x \cdot \left(2-x^2\right) - \int e^x \cdot (-2x) \,\mathrm{d}x \\
& = e^x \cdot \left(2-x^2\right) + e^x \cdot 2x - \int 2 \cdot e^x \,\mathrm{d}x \\
& = e^x \cdot \left(2-x^2\right) + e^x \cdot 2x - 2\cdot e^x \\
& = e^x \cdot \left(2-x^2 +2x -2\right) \\
& = e^x \cdot \left(2x-x^2\right)\,.
\end{align}

Herleitung[Bearbeiten]

Die Produktregel aus der Differentialrechnung besagt, dass für zwei stetige differenzierbare Funktionen f und g die Gleichheit

(f \cdot g)' = f' \cdot g + f \cdot g',

gilt und mittels Termumformung folgt

f' \cdot g = (f \cdot g)' - f \cdot g'\,.

Mittels des Hauptsatzes der Integral- und Differentialrechnung folgt

\begin{align} \int_a^b f' \cdot g
&= \int_a^b (f \cdot g)' - \int_a^b f \cdot g' \\
&= \ \ \ \ [f \cdot g]_a^b \,- \int_a^b f \cdot g'\,,
\end{align}

woraus sich die Regel

 \int_a^b f'(x)\cdot g(x)\,\mathrm{d}x 
= f(b)\cdot g(b) - f(a)\cdot g(a) - \int_a^b f(x)\cdot g'(x)\,\mathrm{d}x

zur partiellen Integration ergibt.

Mehrdimensionale partielle Integration[Bearbeiten]

Die partielle Integration in mehreren Dimensionen ist ein Sonderfall des Gaußschen Integralsatzes: Sei \Omega \subset \mathbb{R}^n kompakt mit abschnittsweise glattem Rand \partial\Omega. Der Rand sei orientiert durch ein äußeres Normalen-Einheitsfeld \vec n. Sei ferner \vec v ein stetig differenzierbares Vektorfeld auf einer offenen Umgebung von \Omega und \varphi ein stetig differenzierbares Skalarfeld auf \Omega. Dann gilt


\int_\Omega \operatorname{div} (\varphi \vec v) \; \mathrm dV = \int_\Omega (\varphi\, \operatorname{div}\,  \vec v + \vec v\cdot \operatorname{grad}\, \varphi)  \; \mathrm dV = \int_{\partial \Omega} \varphi\, \vec v \cdot \mathrm d \vec S

mit der Abkürzung \mathrm d \vec S = \vec n\; \mathrm dS. Dann folgt die Verallgemeinerung der partiellen Integration in mehreren Dimensionen


 \int_\Omega \varphi\, \operatorname{div}\,  \vec v  \; \mathrm d V = \int_{\partial \Omega} \varphi\, \vec v \cdot \mathrm d \vec S - \int_\Omega  \vec v\cdot \operatorname{grad}\, \varphi  \; \mathrm dV
.

Regel der partiellen Integration für Stieltjesintegrale[Bearbeiten]

Es seien g und f zwei Funktionen von finiter Variation, dann gilt


 f(t)g(t)-f(0)g(0)= \int_0^t f(s)\; \mathrm{d}g(s)+\int_0^t g(s-)\; \mathrm{d}f(s)

bzw. anders geschrieben


 f(t)g(t)-f(0)g(0)= \int_0^t f(s-)\; \mathrm{d}g(s)+\int_0^t g(s-)\; \mathrm{d}f(s) +\sum_{0<s\leq t} \Delta f(s)g(s)
.

Schwache Ableitung[Bearbeiten]

Hauptartikel: Schwache Ableitung

In der Theorie der partiellen Differentialgleichungen wurde mittels der Methode der partiellen Integration eine Verallgemeinerung der Ableitung einer differenzierbaren Funktion gefunden.

Betrachtet man eine auf einem offenen Intervall I = ]a,b[ (klassisch) differenzierbare Funktion f \colon I \to \R und eine beliebig oft differenzierbare Funktion \varphi \in C_c^\infty(I) mit kompaktem Träger in I, dann gilt

 \int_I f^\prime(t) \varphi(t) \,\mathrm{d}t = - \int_I f(t) \varphi^\prime(t) \,\mathrm{d}t.

Hierbei wurde die partielle Integration eingesetzt. Der Randterm, also der Term ohne Integral, fehlt, da die Funktion \varphi eben einen kompakten Träger hat und daher \varphi(a) = 0 und \varphi(b) = 0 gilt.

Wird die Funktion f nun als eine L^2-Funktion gewählt, dann kann, selbst wenn f nicht differenzierbar ist (genauer: keinen differenzierbaren Vertreter in der Äquivalenzklasse besitzt), eine Funktion g \in L^2(I) existieren, die die Gleichung

 \int_I g(t) \varphi(t) \,\mathrm{d}t = - \int_I f(t) \varphi^\prime(t) \,\mathrm{d}t

für jede Funktion \varphi \in C_c^\infty(I) erfüllt. Eine solche Funktion g heißt schwache Ableitung von f. Die so entstehende Menge von schwach differenzierbaren L^2-Funktionen ist ein Vektorraum und er gehört zur Klasse der Sobolev-Räume. Die glatten Funktionen mit kompaktem Träger, deren Vektorraum mit C_c^\infty(I) bezeichnet wird, heißen Testfunktionen.

Existiert jedoch keine Funktion g \in L^2(I) mit der geforderten Bedingung, so kann immer eine Distribution g gefunden werden, so dass obige Bedingung im Distributionensinn erfüllt ist. Dann heißt g die Distributionenableitung von f.

Siehe auch[Bearbeiten]

Einzelnachweise[Bearbeiten]

  1. Konrad Königsberger: Analysis 1. Springer-Verlag, Berlin u. a., 2004, ISBN 3-540-41282-4, S. 202.
  2. Yvonne Stry: Mathematik kompakt: für Ingenieure und Informatiker. 3., bearb. Auflage, Springer-Verlag, 2010, ISBN 3642111912, S. 314.
  3. Thomas Sonar: 3000 Jahre Analysis, Springer, Berlin 2011, ISBN 978-3-642-17203-8, S. 273.
  4. Thomas Sonar: 3000 Jahre Analysis, Springer, Berlin 2011, ISBN 978-3-642-17203-8, S. 418–421.
  5. Otto Forster: Analysis Band 1: Differential- und Integralrechnung einer Veränderlichen. Vieweg-Verlag, 8. Aufl. 2006, ISBN 3-528-67224-2, S. 210.