# Areasinus hyperbolicus und Areakosinus hyperbolicus

Areasinus hyperbolicus (abgekürzt $\operatorname {arsinh}$ oder $\operatorname {asinh}$) und Areakosinus hyperbolicus (abgekürzt $\operatorname {arcosh}$ oder $\operatorname {acosh}$) gehören zu den Areafunktionen und sind die Umkehrfunktionen von Sinus hyperbolicus und Kosinus hyperbolicus.

## Definitionen

Die Funktionen lassen sich durch die folgenden Formeln ausdrücken:
Areasinus hyperbolicus:
Definition über den natürlichen Logarithmus $\ln$:
    $\operatorname {arsinh} (x)=\ln \left(x+{\sqrt {x^{2}+1}}\right)$ mit $\,x\in \mathbb {R}$
Definition über ein Integral:
    $\operatorname {arsinh} (x)=\int _{0}^{1}{\frac {x}{\sqrt {x^{2}y^{2}+1}}}\,\mathrm {d} y$ mit $\,x\in \mathbb {R}$
Areakosinus hyperbolicus:
    $\operatorname {arcosh} (x)=\ln \left(x+{\sqrt {x^{2}-1}}\right)$ für $x\geq 1$

## Umrechnung

Zusammen mit der Signumfunktion $\operatorname {sgn}$ gilt der Zusammenhang:
    $\operatorname {arsinh} (x)=\operatorname {sgn} (x)\cdot \operatorname {arcosh} \left({\sqrt {x^{2}+1}}\right)$
Für $x\geq 1$ gilt:
    $\operatorname {arcosh} (x)=\operatorname {arsinh} \left({\sqrt {x^{2}-1}}\right)$

## Eigenschaften

| Graph der Funktion arsinh(x) | Graph der Funktion arcosh(x) |
| | Areasinus hyperbolicus | Areakosinus hyperbolicus |
| Definitionsbereich | $-\infty <x<+\infty$ | $1\leq x<+\infty$ |
| Wertebereich | $-\infty <f(x)<+\infty$ | $0\leq f(x)<+\infty$ |
| Periodizität | keine | keine |
| Monotonie | streng monoton steigend | streng monoton steigend |
| Symmetrien | Punktsymmetrie zum Ursprung, ungerade Funktion | keine |
| Asymptote | $f(x)\to \pm \ln(2|x|)$ für $x\to \pm \infty$ | $f(x)\to \ln(2x)$ für $x\to +\infty$ |
| Nullstellen | $x=0$ | $x=1$ |
| Sprungstellen | keine | keine |
| Polstellen | keine | keine |
| Extrema | keine | keine |
| Wendepunkte | $x=0$ | keine |

## Reihenentwicklungen

Wie bei allen trigonometrischen und hyperbolischen Funktionen gibt es auch Reihenentwicklungen. Dabei treten die Doppelfakultät und die Verallgemeinerung des Binomialkoeffizienten auf.
Die Reihenentwicklungen lauten:
    ${\begin{alignedat}{2}\operatorname {arsinh} (x)&=x\sum _{k=0}^{\infty }{\frac {(2k-1)!!(-x^{2})^{k}}{(2k)!!(2k+1)}}=\sum _{k=0}^{\infty }{\frac {{\binom {-{\frac {1}{2}}}{k}}x^{2k+1}}{2k+1}}&\\&=x-{\frac {1}{2}}{\frac {x^{3}}{3}}+{\frac {1\cdot 3}{2\cdot 4}}{\frac {x^{5}}{5}}-{\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}{\frac {x^{7}}{7}}+\cdots &{\text{ für }}|x|<1\\\operatorname {arsinh} (x)&=\operatorname {sgn} (x)\cdot \left[\ln(2|x|)-\sum _{k=1}^{\infty }{\frac {(2k-1)!!}{2k(2k)!!(-x^{2})^{k}}}\right]&{\text{ für }}|x|>1\\\operatorname {arcosh} (x)&=\ln(2x)-\sum _{k=1}^{\infty }{\frac {(2k-1)!!}{2k\cdot (2k)!!}}x^{-2k}&\end{alignedat}}$

## Ableitungen

Die Ableitung des Areasinus hyperbolicus lautet:
    ${\frac {\mathrm {d} }{\mathrm {d} x}}\operatorname {arsinh} (x)={\frac {1}{\sqrt {x^{2}+1}}}$ für beliebige reelle Zahlen $x$.
Die Ableitung des Areakosinus hyperbolicus lautet:
    ${\frac {\mathrm {d} }{\mathrm {d} x}}\operatorname {arcosh} (x)={\frac {1}{\sqrt {x^{2}-1}}}$ für alle reellen $x>1$.

## Stammfunktionen
### Reguläre Areafunktionen arsinh und arcosh

Die Ursprungsstammfunktion des Areasinus hyperbolicus lautet wie folgt:
    $\int _{0}^{x}\operatorname {arsinh} (y)\ \mathrm {d} y=x\cdot \operatorname {arsinh} (x)-{\sqrt {x^{2}+1}}$
Somit gilt:
    ${\frac {\mathrm {d} }{\mathrm {d} x}}{\biglx\cdot \operatorname {arsinh} (x)-{\sqrt {x^{2}+1}}{\bigr ]}=\operatorname {arsinh} (x)$
Die durch den Punkt (1|0) verlaufende Stammfunktion und des Areakosinus hyperbolicus lautet so:
    $\int _{1}^{x}\operatorname {arcosh} (y)\ \mathrm {d} y=x\cdot \operatorname {arcosh} (x)-{\sqrt {x^{2}-1}}$
Somit gilt:
    ${\frac {\mathrm {d} }{\mathrm {d} x}}{\biglx\cdot \operatorname {arcosh} (x)-{\sqrt {x^{2}-1}}{\bigr ]}=\operatorname {arcosh} (x)$

### Kardinalische Areafunktionen

Die Ursprungsstammfunktion des kardinalischen Areasinus Hyperbolicus ist dilogarithmisch beschaffen:
    $\int _{0}^{x}{\frac {1}{y}}\operatorname {arsinh} (y)\,\mathrm {d} y={\frac {1}{2}}\operatorname {Li} _{2}{\bigl1-{\bigl{\sqrt {x^{2}+1}}-x{\bigr )}^{2}{\bigr ]}+{\frac {1}{2}}\operatorname {arsinh} (x)^{2}$
Eng verwandt sind diese Ursprungsstammfunktionen aus den Abwandlungen des Areasinus Hyperbolicus Cardinalis:
    $\int _{0}^{x}{\frac {\operatorname {arsinh} (y)}{y\,{\sqrt {y^{2}+1}}}}\,\mathrm {d} y=2\operatorname {Li} _{2}{\biggl{\frac {x}{{\sqrt {x^{2}+1}}+1}}{\biggr )}-{\frac {1}{2}}\operatorname {Li} _{2}{\biggl{\frac {{\sqrt {x^{2}+1}}-1}{{\sqrt {x^{2}+1}}+1}}{\biggr )}$
    $\int _{0}^{x}{\frac {\operatorname {arsinh} (y)}{y\,(y^{2}+1)}}\,\mathrm {d} y=\operatorname {Li} _{2}{\biggl{\frac {x}{\sqrt {x^{2}+1}}}{\biggr )}-{\frac {1}{4}}\operatorname {Li} _{2}{\biggl{\frac {x^{2}}{x^{2}+1}}{\biggr )}=$
    $=\operatorname {Li} _{2}{\bigl1-{\bigl{\sqrt {x^{2}+1}}-x{\bigr )}^{2}{\bigr ]}-{\frac {1}{4}}\operatorname {Li} _{2}{\bigl1-{\bigl{\sqrt {x^{2}+1}}-x{\bigr )}^{4}{\bigr ]}$

### Kehrwerte der Areafunktionen

Die Integrale der Kehrwerte von Areasinus Hyperbolicus und Areakosinus Hyperbolicus beinhalten die Integralhyperbelfunktionen und sind somit nicht elementar darstellbar.
Die Ursprungsstammfunktion des reziproken Kardinalischen Areasinus Hyperbolicus ist direkt die Hälfte vom Integralsinus Hyperbolicus vom Doppelten des Areasinus Hyperbolicus:
    $\int _{0}^{x}{\frac {y}{\operatorname {arsinh} (y)}}\,\mathrm {d} y={\frac {1}{2}}\operatorname {Shi} {\bigl2\operatorname {arsinh} (x){\bigr ]}$
    $\int _{1}^{x}{\frac {y}{\operatorname {arcosh} (y)}}\,\mathrm {d} y={\frac {1}{2}}\operatorname {Shi} {\bigl2\operatorname {arcosh} (x){\bigr ]}$
    $\int _{1}^{x}{\frac {1}{\operatorname {arcosh} (y)}}\,\mathrm {d} y=\operatorname {Shi} {\bigl\operatorname {arcosh} (x){\bigr ]}$
Das Integral aus dem Kehrwert des Areasinus Hyperbolicus ist eine Komposition aus dem Integralkosinus Hyperbolicus:
    $\int _{1}^{x}{\frac {1}{\operatorname {arsinh} (y)}}\,\mathrm {d} y=\operatorname {Chi} {\bigl\operatorname {arsinh} (x){\bigr ]}-\operatorname {Chi} {\bigl\operatorname {arsinh} (1){\bigr ]}$
Dabei sind die Integralhyperbelfunktionen so definiert:
    $\operatorname {Shi} (x)=\int _{0}^{1}{\frac {1}{y}}\sinh(xy)\,\mathrm {d} y$
    $\operatorname {Chi} (x)=\gamma +\ln |x|+\int _{0}^{1}{\frac {1}{y}}{\bigl\cosh(xy)-1{\bigr ]}\,\mathrm {d} y$

### Beispielwerte

Folgende bestimmten Integrale aus den Produkten des Areasinus Hyperbolicus sind gültig:
    $\int _{0}^{1/2}{\frac {1}{x}}\operatorname {arsinh} (x)\,\mathrm {d} x={\frac {\pi ^{2}}{20}}$
    $\int _{0}^{\infty }{\frac {\operatorname {arsinh} (x)}{x{\sqrt {x^{2}+1}}}}\,\mathrm {d} x={\frac {\pi ^{2}}{4}}$
    $\int _{0}^{\infty }{\frac {\operatorname {arsinh} (x)}{x(x^{2}+1)}}\,\mathrm {d} x={\frac {\pi ^{2}}{8}}$
Folgende bestimmten Integrale aus den Produkten vom Kehrwert des Areasinus Hyperbolicus sind gültig:
    $\int _{0}^{\infty }{\frac {x}{(x^{2}+1)^{3/2}\operatorname {arsinh} (x)}}\,\mathrm {d} x={\frac {4\,G}{\pi }}$
    $\int _{0}^{\infty }{\frac {x}{(x^{2}+1)^{2}\operatorname {arsinh} (x)}}\,\mathrm {d} x={\frac {7\,\zeta (3)}{\pi ^{2}}}$
Der Buchstabe G stellt die Catalan-Konstante und der Ausdruck $\zeta (3)$ stellt die Apéry-Konstante dar.

## Andere Identitäten
### Additionstheoreme

    $\operatorname {arsinh} u\pm \operatorname {arsinh} v=\operatorname {arsinh} \left(u{\sqrt {1+v^{2}}}\pm v{\sqrt {1+u^{2}}}\right)$
    $\operatorname {arcosh} u\pm \operatorname {arcosh} v=\operatorname {arcosh} \left(uv\pm {\sqrt {(u^{2}-1)(v^{2}-1)}}\right)$
    ${\begin{aligned}\operatorname {arsinh} u+\operatorname {arcosh} v&=\operatorname {arsinh} \left(uv+{\sqrt {(1+u^{2})(v^{2}-1)}}\right)\\&=\operatorname {arcosh} \left(v{\sqrt {1+u^{2}}}+u{\sqrt {v^{2}-1}}\right)\end{aligned}}$

### Vervielfachungstheoreme

    ${\begin{aligned}\operatorname {arcosh} (2x^{2}-1)=2\operatorname {arcosh} (x)\qquad {\text{ für }}x\geq 1\\\operatorname {arcosh} (4x^{3}-3x)=3\operatorname {arcosh} (x)\qquad {\text{ für }}x\geq 1\\\operatorname {arcosh} (8x^{4}-8x^{2}+1)=4\operatorname {arcosh} (x)\qquad {\text{ für }}x\geq 1\\\operatorname {arcosh} (16x^{3}-20x^{3}+5x)=5\operatorname {arcosh} (x)\qquad {\text{ für }}x\geq 1\\\operatorname {arcosh} (2x^{2}+1)=2\operatorname {arsinh} (x)\qquad {\text{ für }}x\geq 0\\\operatorname {arsinh} (4x^{3}+3x)=3\operatorname {arsinh} (x)\qquad {\text{ für }}x\in \mathbb {R} \\\operatorname {arcosh} (8x^{4}+8x^{2}+1)=4\operatorname {arsinh} (x)\qquad {\text{ für }}x\geq 0\\\operatorname {arsinh} (16x^{5}+20x^{3}+5x)=5\operatorname {arsinh} (x)\qquad {\text{ für }}x\in \mathbb {R} \end{aligned}}$

## Numerische Berechnung

Grundsätzlich kann der Areasinus hyperbolicus über die bekannte Formel
$\operatorname {arsinh} (x)=\ln \left(x+{\sqrt {x^{2}+1}}\right)$
berechnet werden, wenn die natürliche Logarithmusfunktion $\ln x$ zur Verfügung steht. Es gibt jedoch folgende Probleme:
* Große, positive Operanden lösen einen Überlauf aus, obwohl das Endergebnis immer darstellbar ist.
* Für Operanden nahe an 0 kommt es zu einer numerischen Auslöschung, womit das Ergebnis ungenau wird.
Zunächst einmal soll der Operand $x$ positiv gemacht werden:
    $\operatorname {arsinh} x=-\operatorname {arsinh} (-x)$ für $x<0$ angewandt.
Für $x\geq 0$ können dann folgende Fälle unterschieden werden:
Fall 1: $x$ ist eine große, positive Zahl mit $x\geq {10}^{\frac {k}{2}}$:
    $\operatorname {arsinh} x=\ln {2}+\ln {x},$
    wobei $k$ die Anzahl der signifikanten Dezimalziffern des verwendeten Zahlentyps ist, was zum Beispiel beim 64-Bit-Gleitkommatyp double 16 ist.
    Diese Formel ergibt sich aus folgender Überlegung:
    ${10}^{k}$ ist die kleinste positive Zahl, ab der die letzte Vorkommastelle nicht mehr gespeichert ist, weshalb ${10}^{k}+{1}\approx {10}^{k}$ gilt. Jetzt soll dasjenige $x$ berechnet werden, ab dem gilt: $x^{2}+1\approx {x}^{2}$. Dies gilt für ${x}^{2}\geq {10}^{k}$, woraus ${x}\geq {10}^{\frac {k}{2}}$ folgt. Somit kann man in der bekannten Formel für den Areasinus hyperbolicus $x^{2}+1$ durch $x^{2}$ ersetzen:
    $\operatorname {arsinh} (x)=\ln \left(x+{\sqrt {x^{2}+1}}\right)$ ≈ $\ln(x+{\sqrt {x^{2}}})=\ln({2x})=\ln {2}+\ln {x}$
Fall 2: $x$ ist nahe an 0, z. B. für $x<0{,}125$:
    Verwendung der Taylorreihe:
    $\operatorname {arsinh} x=x-{\frac {1}{2}}{\frac {x^{3}}{3}}+{\frac {1\cdot 3}{2\cdot 4}}{\frac {x^{5}}{5}}-{\frac {1\cdot 3\cdot 5}{2\cdot 4\cdot 6}}{\frac {x^{7}}{7}}+\dotsb$
Fall 3: Alle übrigen $x$:
    $\operatorname {arsinh} (x)=\ln \left(x+{\sqrt {x^{2}+1}}\right)$
In gleicher Weise kann der Areacosinus hyperbolicus über die Formel
    $\operatorname {arcosh} (x)=\ln \left(x+{\sqrt {x^{2}-1}}\right)$
berechnet werden. Auch hier entsteht jedoch das Problem mit den großen Operanden; die Lösung ist dieselbe wie beim Areasinus:
Fall 1: $x$ ist eine große positive Zahl mit $x\geq {10}^{\frac {k}{2}}$:
    $\operatorname {arcosh} x=\ln {2}+\ln {x},$
    wobei $k$ die Anzahl der signifikanten Dezimalziffern des verwendeten Zahlentyps ist.
Fall 2: $x<1$:
    Das Ergebnis ist nicht definiert.
Fall 3: Alle übrigen $x$, d. h. für $1\leq x<{10}^{\frac {k}{2}}$:
    $\operatorname {arcosh} (x)=\ln \left(x+{\sqrt {x^{2}-1}}\right)$