8.4 Hyperbolische Funktionen
Wir möchten in diesem kurzen Abschnitt die zu Abschnitt 8.3 analoge Diskussion für die in Abschnitt 7.7.1 eingeführten hyperbolischen Funktionen durchführen. Wir erinnern daran, dass
8.4.1 Der Areasinus Hyperbolicus
Nach Übung 8.4 gilt für alle . Somit ist also nach Korollar 8.35 der Sinus Hyperbolicus streng monoton wachsend. Da und gilt, erhalten wir nach dem Zwischenwertsatz 3.58, dass
streng monoton wachsend und bijektiv ist. Die Umkehrabbildung
nennen wir den Areasinus Hyperbolicus. Nach dem Satz zur Differenzierbarkeit der inversen Funktion ist differenzierbar und es gilt für und
Der Areasinus Hyperbolicus besitzt im Gegensatz zu den Umkehrfunktionen und eine geschlossene Form. In der Tat gilt
für alle , wobei man beachten sollte, dass der Ausdruck rechts für alle Sinn ergibt. Kurzes Nachrechnen ergibt für und
8.4.2 Der Areakosinus Hyperbolicus
Der Kosinus Hyperbolicus erfüllt und für alle nach Übung 8.4. Insbesondere ist der Kosinus Hyperbolicus streng konvex nach Korollar 8.42 und hat ein globales Minimum bei nach Korollar 8.37 (wieso?). Für gilt und somit ist auf streng monoton wachsend. Da und , folgt, dass
streng monoton wachsend und bijektiv ist. Die Umkehrabbildung
wird der Areakosinus Hyperbolicus genannt, ist auf differenzierbar und erfüllt
für und mit . Des Weiteren gilt
für alle . Der Nachweis der obigen Eigenschaften des Areakosinus Hyperbolicus und der noch folgenden Eigenschaften überlassen wir Interessierten.
8.4.3 Der Areatangens Hyperbolicus
Der Areatangens Hyperbolicus ist die Umkehrfunktion
der streng monoton wachsenden Bijektion
Des Weiteren ist nach dem Satz zur inversen Funktion (Satz 8.14) differenzierbar und es gilt
für alle .