# 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 $\mathbb {R}$. 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=yf^{-1}(y)-(F\circ f^{-1})(y)+C,$
wobei $F$ eine Stammfunktion von $f$ und $C$ eine beliebige reelle Konstante bezeichnet. Es wird wohlgemerkt nicht vorausgesetzt, dass $f^{-1}$ differenzierbar ist.
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 $f(b)=d$ substituiert werden, kann der Satz umformuliert werden:
    $\int _{c}^{d}f^{-1}(y)\,dy+\int _{a}^{b}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 $f^{-1}(f(x))=x$ wird mit $f'(x)$ multipliziert und beide Seiten werden integriert. Unter Anwendung partieller Integration steht auf der rechten Seite der Ausdruck xf(x)−∫f(x)dx{\textstyle xf(x)-\int f(x)\, dx}, 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 yf^{-1}(y)-F(f^{-1}(y))$ der Umkehrfunktion $f^{-1}(y)$ entspricht. Es ergibt sich:
    $\forall x\in I_{1}:\quad \lim _{h\to 0}{\frac {(x+h)f(x+h)-xf(x)-\left(F(x+h)-F(x)\right)}{f(x+h)-f(x)}}=x.$
Es genügt, den Mittelwertsatz auf $F$ zwischen $x$ and $x+h$ unter Berücksichtigung der Monotonie von $f$ anzuwenden.

## Beispiele

* Es sei $f$ die Exponentialfunktion mit $f(x)=\exp(x)$, wobei $f^{-1}(y)=\ln(y)$. Ü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.$
* Ähnlich verhält es sich bei trigonometrischen Funktionen. Sei $f(x)=\cos(x)$ mit $f^{-1}(y)=\arccos(y)$:$\int \arccos(y)\,dy=y\arccos(y)-\sin(\arccos(y))+C.$
* Seien $f(x)=\tan(x)$ und $f^{-1}(y)=\arctan(y)$, es folgt:$\int \arctan(y)\,dy=y\arctan(y)+\ln \left|\cos(\arctan(y))\right|+C.$