# Areaalfunctie

De areaalfuncties zijn de inverse functies van de hyperbolische functies. De aanduiding 'areaal' in areaalfunctie refereert aan de betekenis van deze functies als oppervlakte.

## Benaming en notatie

De standaardhyperbool
    $x^{2}-y^{2}=1$
kan in parametervorm, met $t$ als parameter, geschreven worden door
    $x(t)=\cosh(t)$
    $y(t)=\sinh(t)$
Voor de parameterwaarde $t=A$ is de oppervlakte van het blauwe gebied in nevenstaande figuur juist gelijk aan $A$. Het bijbehorende punt op de hyperbool is $(x_{A},y_{A})$, zodat
    $x_{A}=\cosh(A)$
    $y_{A}=\sinh(A)$
De inverse functies van de cosinus- en de sinus hyperbolicus
    ${\rm {arcosh}}(x)=\cosh ^{-1}(x)$
    ${\rm {arsinh}}(y)=\sinh ^{-1}(y)$
geven dus als resultaat een oppervlakte, een 'areaal', dat overeenkomt met de blauw gekleurde punt. Vandaar dat deze inverse functies areaalfuncties genoemd worden. Naast het prefix "ar" wordt, naar analogie met de arcsinus e.d., ook "arc" (arcsinus hyperbolicus, arcsinh) gebruikt. Soms ziet men ook het prefix arg, dat staat voor argument of eenvoudigweg a, als in ${\rm {asinh}}(x)$.

## Expliciete formules

De zes areaalfuncties kunnen uitgedrukt worden in eenvoudige formules met behulp van de natuurlijke logaritme.

### Areaalsinus hyperbolicus

    $\operatorname {arsinh} x=\ln \left(x+{\sqrt {x^{2}+1}}\right),\quad x\in \mathbb {R}$

### Areaalcosinus hyperbolicus

    $\operatorname {arcosh} x=\ln \left(x+{\sqrt {x^{2}-1}}\right),\quad x\in \mathbb {R} ,\ x\geq 1$

### Areaaltangens hyperbolicus

    $\operatorname {artanh} x={\tfrac {1}{2}}\ln {\frac {1+x}{1-x}},\quad x\in \mathbb {R} ,\ |x|<1$

### Areaalcotangens hyperbolicus

    $\operatorname {arcoth} x={\tfrac {1}{2}}\ln {\frac {x+1}{x-1}},\quad x\in \mathbb {R} ,\ |x|>1$

### Areaalsecans hyperbolicus

    $\operatorname {arsech} x=\ln \left({\frac {1}{x}}+{\sqrt {{\frac {1}{x^{2}}}-1}}\right),\quad x\in \mathbb {R} ,\ 0<x\leq 1$

### Areaalcosecans hyperbolicus

    $\operatorname {arcsch} x=\ln \left({\frac {1}{x}}+{\sqrt {{\frac {1}{x^{2}}}+1}}\right),\quad x\in \mathbb {R} ,\ x\neq 0$

## Eigenschappen
### Identiteiten

    ${\begin{aligned}2\cdot \operatorname {arcosh} x&=\operatorname {arcosh} (2x^{2}-1)&\quad {\hbox{ for }}x\geq 1\\4\cdot \operatorname {arcosh} x&=\operatorname {arcosh} (8x^{4}-8x^{2}+1)&\quad {\hbox{ for }}x\geq 1\\2\cdot \operatorname {arsinh} x&=\operatorname {arcosh} (2x^{2}+1)&\quad {\hbox{ for }}x\geq 0\\4\cdot \operatorname {arsinh} x&=\operatorname {arcosh} (8x^{4}+8x^{2}+1)&\quad {\hbox{ for }}x\geq 0\end{aligned}}$
    $\operatorname {arcosh} \left({\frac {x^{2}+1}{2x}}\right)=\operatorname {arsinh} \left({\frac {x^{2}-1}{2x}}\right)=\operatorname {artanh} \left({\frac {x^{2}-1}{x^{2}+1}}\right)=\ln(x)$

### Afgeleiden

    ${\frac {\rm {d}}{{\rm {d}}x}}\,\operatorname {arsinh} (x)\,={\frac {1}{\sqrt {x^{2}+1}}}$
    ${\frac {\rm {d}}{{\rm {d}}x}}\,\operatorname {arcosh} (x)\,={\frac {1}{\sqrt {x^{2}-1}}}$
    ${\frac {\rm {d}}{{\rm {d}}x}}\,\operatorname {artanh} (x)\,={\frac {1}{1-x^{2}}}$
    ${\frac {\rm {d}}{{\rm {d}}x}}\,\operatorname {arcoth} (x)\,={\frac {-1}{-1+x^{2}}}$
    ${\frac {\rm {d}}{{\rm {d}}x}}\,\operatorname {arsech} (x)\,=-{\frac {1}{x{\sqrt {1-x^{2}}}}}$
    ${\frac {\rm {d}}{{\rm {d}}x}}\,\operatorname {arcsch} (x)\,=-{\frac {1}{\left|x\right|{\sqrt {1+x^{2}}}}}$

### Integralen

De integralen van de areaalfuncties kunnen alle berekend worden met partiële integratie.
    $\int \operatorname {arsinh} (x){\rm {d}}x=x\ \operatorname {arsinh} (x)-{\sqrt {x^{2}+1}}+C$
    $\int \operatorname {arcosh} (x){\rm {d}}x=x\ \operatorname {arcosh} (x)-{\sqrt {x^{2}-1}}+C$
    $\int \operatorname {artanh} (x){\rm {d}}x=x\ \operatorname {artanh} (x)+{\tfrac {1}{2}}\ln(1-x^{2})+C$
    $\int \operatorname {arcoth} (x){\rm {d}}x=x\ \operatorname {arcoth} (x)+{\tfrac {1}{2}}\ln(x^{2}-1)+C$
    $\int \operatorname {arsech} (x){\rm {d}}x=x\ \operatorname {arsech} (x)-\operatorname {arctan} \left({\sqrt {{\frac {1}{x^{2}}}-1}}\right)+C$
    $\int \operatorname {arcsch} (x){\rm {d}}x=x\ \operatorname {arcsch} (x)+\ln \left(x+{\sqrt {x^{2}+1}}\right)+C$

### Som- en verschilformules

    $\operatorname {arsinh} (x)+\operatorname {arsinh} (y)=\operatorname {arsinh} \left(x{\sqrt {1+y^{2}}}+y{\sqrt {1+x^{2}}}\right)$
    $\operatorname {arsinh} (x)-\operatorname {arsinh} (y)=\operatorname {arsinh} \left(x{\sqrt {1+y^{2}}}-y{\sqrt {1+x^{2}}}\right)$
    $\operatorname {arcosh} (x)+\operatorname {arcosh} (y)=\operatorname {arcosh} \left(xy+{\sqrt {x^{2}-1}}{\sqrt {y^{2}-1}}\right)$
    $\operatorname {arcosh} (x)-\operatorname {arcosh} (y)=\operatorname {arcosh} \left(xy-{\sqrt {x^{2}-1}}{\sqrt {y^{2}-1}}\right)$
    $\operatorname {artanh} (x)+\operatorname {artanh} (y)=\operatorname {artanh} \left({\frac {x+y}{1+xy}}\right)$
    $\operatorname {artanh} (x)-\operatorname {artanh} (y)=\operatorname {artanh} \left({\frac {x-y}{1-xy}}\right)$

### Onderlinge relaties

Bij het gebruik van deze uitdrukkingen moet rekening gehouden worden met de eventuele beperkingen op het domein van deze functies.
    $\operatorname {arsinh} (x)=\pm \operatorname {arcosh} \left({\sqrt {x^{2}+1}}\right)=\operatorname {artanh} \left({\frac {x}{\sqrt {x^{2}+1}}}\right)$
    $\operatorname {arcosh} (x)=\operatorname {arsinh} \left({\sqrt {x^{2}-1}}\right)=\operatorname {artanh} \left({\frac {\sqrt {x^{2}-1}}{x}}\right)$
    $\operatorname {artanh} (x)=\operatorname {arsinh} \left({\frac {x}{\sqrt {1-x^{2}}}}\right)=\pm \operatorname {arcosh} \left({\frac {1}{\sqrt {1-x^{2}}}}\right)=\operatorname {arcoth} \left({\frac {1}{x}}\right)$
    $\operatorname {arcoth} (x)=\operatorname {arsinh} \left({\frac {1}{\sqrt {x^{2}-1}}}\right)=\pm \operatorname {arcosh} \left({\frac {x}{\sqrt {x^{2}-1}}}\right)=\operatorname {artanh} \left({\frac {1}{x}}\right)$
    $\operatorname {arcsch} (x)=\operatorname {arsinh} \left({\frac {1}{x}}\right)$
    $\operatorname {arsech} (x)=\operatorname {arcosh} \left({\frac {1}{x}}\right)$

### Reeksontwikkelingen

Enkel de areaalsinus hyperbolicus en de areaaltangens hyperbolicus kunnen probleemloos rond x= 0 worden ontwikkeld. De reeksen zijn dan:
    $\operatorname {arsinh} (x)=\sum _{n=0}^{\infty }\,(-1)^{n}\,{\frac {(2n)!}{2^{2n}(n!)^{2}}}\,{\frac {x^{2n+1}}{2n+1}},\quad |x|<1$
    $\operatorname {artanh} (x)=\sum _{n=0}^{\infty }{\frac {x^{2n+1}}{2n+1}},\quad |x|<1$
Een andere reeksontwikkeling is:
    $\operatorname {arcosh} (x)=\ln(2x)-\sum _{n=1}^{\infty }{\frac {(2n)!}{2^{2n}(n!)^{2}}}{\frac {x^{-2n}}{2n}},\quad x>1$

### Samenstellingen

Samenstellingen van hyperbolische en areaalfuncties leveren irrationale functievoorschriften:
    $\sinh(\operatorname {arcosh} (x))={\sqrt {x^{2}-1}}\quad :\quad x\geq 1$
    $\sinh(\operatorname {artanh} (x))={\frac {x}{\sqrt {1-x^{2}}}}\quad :\quad -1<x<1$
    $\cosh(\operatorname {arsinh} (x))={\sqrt {1+x^{2}}}$
    $\cosh(\operatorname {artanh} (x))={\frac {1}{\sqrt {1-x^{2}}}}\quad :\quad -1<x<1$
    $\tanh(\operatorname {arsinh} (x))={\frac {x}{\sqrt {1+x^{2}}}}$
    $\tanh(\operatorname {arcosh} (x))={\frac {\sqrt {x^{2}-1}}{x}}\quad :\quad x\geq 1$

### Limieten

Twee standaardlimieten die areaalfuncties bevatten zijn:
    $\lim _{x\to 0}\,{\frac {\operatorname {arsinh} (x)}{x}}=1$
    $\lim _{x\to 0}\,{\frac {\operatorname {artanh} (x)}{x}}=1$
Beide volgen uit de soortgelijke limiet voor de overeenstemmende hyperbolische functie, door middel van een eenvoudige substitutie.

## Externe link

* Wolfram Mathworld: De pagina over de areaalfuncties op de website van Wolfram Mathworld bevat doorverwijzingen ('see also') naar gedetailleerde informatie over de individuele areaalfuncties, met onder andere de reeksontwikkelingen.