Integral von Umkehrfunktionen

In der Integralrechnung kann die Menge aller Stammfunktionen einer Umkehrfunktion $f^{-1}$ mithilfe einer Formel angegeben werden, wenn $f$ stetig und invertierbar ist. Die Formel ist 1905 von dem französischen Mathematiker Charles-Ange Laisant veröffentlicht worden, der sich hauptsächlich mit der Analysis befasste. Insbesondere für trigonometrische Funktionen, aber auch gewöhnliche invertierbare Funktionen, ist Laisants Satz ein nützliches Hilfsmittel für die Integration.

Laisants Satz

Seien $I_1$ und $I_2$ zwei Intervalle auf Vorlage:Nowrap Angenommen, $f:I_1\to I_2$ ist eine stetige und invertierbare Funktion. Die Funktion $f$ bildet folglich einen Homöomorphismus. Aus dem Mittelwertsatz der Integralrechnung folgt, dass $f$ strikt monoton ist. Da sowohl $f$ als auch die Umkehrfunktion $f^{-1}:I_2\to I_1$ stetig sind, besitzen sie gemäß dem Hauptsatz der Differential- und Integralrechnung Stammfunktionen.

Laisant bewies, dass sich die Menge aller Stammfunktionen von $f^{-1}$ wie folgt bestimmen lässt:

$\int f^{-1}(y)dy=y{f}^{-1}(y)-(F\circ f^{-1})(y)+C,$

wobei $F$ eine Stammfunktion von Vorlage:Nowrap und $C$ eine beliebige reelle Konstante bezeichnet. Es wird wohlgemerkt nicht vorausgesetzt, dass $f^{-1}$ differenzierbar ist.

Veranschaulichung des Satzes

In seinem 1905 veröffentlichten Artikel gab Laisant drei Beweise für diesen Satz an. Zunächst nahm er an, dass $f^{-1}$ differenzierbar ist. Der Beweis ergibt sich unmittelbar durch das Differenzieren der Formel.

Im zweiten Beweis wandte er Geometrie an. Wenn$f(a)=c$ und Vorlage:Nowrap substituiert werden, kann der Satz umformuliert werden:

$\underset{c}{\overset{d}{\int }}{f}^{-1}(y)dy+\underset{a}{\overset{b}{\int }}f(x)dx=bd-ac.$

Die Abbildung rechts stellt diesen Sachverhalt grafisch dar. Laisant diskutiert im Artikel nicht die nötigen Annahmen, um diesen Beweis der entsprechenden mathematischen Strenge zu unterziehen. Der Beweis kann allerdings erbracht werden, wenn $f$ nur als strikt monoton (und nicht zwingend stetig bzw. differenzierbar) vorausgesetzt wird. In dem Fall sind $f$ und $f^{-1}$ Riemann-integrierbar und die Gleichung ergibt sich durch eine Bijektion der Ober- und Untersummen von $f$ auf denen von $f^{-1}$. Der Satz folgt dann aus dem Hauptsatz der Differential- und Integralrechnung, sofern $f$ stetig ist.

Laisants dritter Beweis setzt zusätzlich voraus, dass $f$ differenzierbar ist. Beginnend mit Vorlage:Nowrap wird mit $f^{\prime }(x)$ multipliziert und beide Seiten werden integriert. Unter Anwendung partieller Integration steht auf der rechten Seite der Ausdruck Vorlage:Nowrap wonach sich die Formel ergibt, die zu beweisen war.

Laisants Satz kann bewiesen werden, selbst wenn $f$ oder $f^{-1}$ nicht differenzierbar sind: Es ist beispielsweise hinreichend, das Stieltjesintegral auf den vorherigen Beweis anzuwenden. Andererseits folgt daraus nicht der Beweis der allgemeinen Formel, obwohl strikt monotone Funktionen nahezu überall differenzierbar sind. Eine Ausnahme wäre der Umstand der absoluten Stetigkeit von $f$. Es ist auch möglich, für jedes $y\in I_2$ nachzuweisen, dass die Ableitung der Funktion $y\mapsto y{f}^{-1}(y)-F(f^{-1}(y))$ der Umkehrfunktion Vorlage:Nowrap entspricht. Es ergibt sich:

$\mathrm{\forall }x\in I_1:\underset{h\to 0}{\lim }\frac{(x+h)f(x+h)-xf(x)-(F(x+h)-F(x))}{f(x+h)-f(x)}=x.$

Es genügt, den Mittelwertsatz auf $F$ zwischen $x$ and Vorlage:Nowrap unter Berücksichtigung der Monotonie von $f$ anzuwenden.

Beispiele

1. Es sei $f$ die Exponentialfunktion mit Vorlage:Nowrap wobei Vorlage:Nowrap Üblicherweise wird das Integral des natürlichen Logarithmus mittels partieller Integration bestimmt. Dieses Vorgehen setzt jedoch voraus, dass der Faktor 1 als Funktion betrachtet wird. Intuitiver ist es, die oben hergeleitete Formel als Ausgangspunkt zu wählen. Durch Einsetzen ergibt sich:$$\int \ln (y)dy=y\ln (y)-y+C.$$
2. Ähnlich verhält es sich bei trigonometrischen Funktionen. Sei $f(x)=\cos (x)$ mit Vorlage:Nowrap$$\int \arccos (y)dy=y\arccos (y)-\sin (\arccos (y))+C.$$
3. Seien $f(x)=\tan (x)$ und Vorlage:Nowrap es folgt:$$\int \arctan (y)dy=y\arctan (y)+\ln |\cos (\arctan (y))|+C.$$