Integral von Umkehrfunktionen
In der Integralrechnung kann die Menge aller Stammfunktionen einer Umkehrfunktion mithilfe einer Formel angegeben werden, wenn 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.[1] 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 und zwei Intervalle auf . Angenommen, ist eine stetige und invertierbare Funktion. Die Funktion bildet folglich einen Homöomorphismus. Aus dem Mittelwertsatz der Integralrechnung folgt, dass strikt monoton ist. Da sowohl als auch die Umkehrfunktion stetig sind, besitzen sie gemäß dem Hauptsatz der Differential- und Integralrechnung Stammfunktionen.
Laisant bewies, dass sich die Menge aller Stammfunktionen von wie folgt bestimmen lässt:
wobei eine Stammfunktion von und eine beliebige reelle Konstante bezeichnet. Es wird wohlgemerkt nicht vorausgesetzt, dass differenzierbar ist.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/5/59/FunktionUmkehrIntegral2.svg/220px-FunktionUmkehrIntegral2.svg.png)
In seinem 1905 veröffentlichten Artikel gab Laisant drei Beweise für diesen Satz an.[1] Zunächst nahm er an, dass differenzierbar ist. Der Beweis ergibt sich unmittelbar durch das Differenzieren der Formel.
Im zweiten Beweis wandte er Geometrie an. Wenn und substituiert werden, kann der Satz umformuliert werden:
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 nur als strikt monoton (und nicht zwingend stetig bzw. differenzierbar) vorausgesetzt wird. In dem Fall sind und Riemann-integrierbar und die Gleichung ergibt sich durch eine Bijektion der Ober- und Untersummen von auf denen von .[2][3] Der Satz folgt dann aus dem Hauptsatz der Differential- und Integralrechnung, sofern stetig ist.
Laisants dritter Beweis setzt zusätzlich voraus, dass differenzierbar ist. Beginnend mit wird mit multipliziert und beide Seiten werden integriert. Unter Anwendung partieller Integration steht auf der rechten Seite der Ausdruck , wonach sich die Formel ergibt, die zu beweisen war.
Laisants Satz kann bewiesen werden, selbst wenn oder nicht differenzierbar sind:[3][4] 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 .[4] Es ist auch möglich, für jedes nachzuweisen, dass die Ableitung der Funktion der Umkehrfunktion entspricht. Es ergibt sich:
Es genügt, den Mittelwertsatz auf zwischen and unter Berücksichtigung der Monotonie von anzuwenden.
Beispiele
- Es sei die Exponentialfunktion mit , wobei . Ü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:
- Ähnlich verhält es sich bei trigonometrischen Funktionen. Sei mit :
- Seien und , es folgt:
Einzelnachweise
- ↑ a b C.-A. Laisant: Intégration des fonctions inverses. In: Nouvelles annales de mathématiques, journal des candidats aux écoles polytechnique et normale. 5. Jahrgang, Nr. 4, 1905, S. 253–257.
- ↑ Michael Spivak, Calculus (1967), Kapitel 13, S. 235.
- ↑ a b E. Key: Disks, Shells, and Integrals of Inverse Functions. In: The College Mathematics Journal. 25. Jahrgang, Nr. 2, März 1994, S. 136–138, doi:10.2307/2687137.
- ↑ a b Bensimhoun, Michael (2013). „On the antiderivative of inverse functions“. arXiv:1312.3839