逆双曲線関数

6つの逆双曲線関数 (テンプレート:Color, テンプレート:Color, テンプレート:Color, テンプレート:Color, テンプレート:Color, テンプレート:Color) のグラフ

逆双曲線関数（ぎゃくそうきょくせんかんすう、テンプレート:Lang-en）は、数学において与えられた双曲線関数の値に対応してテンプレート:仮リンクを与える関数。双曲角の大きさは双曲線 x y = 1に対応するテンプレート:仮リンクの面積に等しく、単位円の扇形の面積は対応する中心角の2分の1 である。一部の研究者は逆双曲線関数のことを、双曲角を明確に理解するため「面積関数」（テンプレート:Lang-en）と呼ぶ。

逆双曲線関数を表す略記法 arsinh やarcosh とは異なる略記法として、arcsinh やarccosh などが本来誤表記であるにもかかわらず良く使用されるのだが、接頭辞arc はarcus （弓）の省略形であり、接頭辞ar はarea の省略形である。argsinh, argcosh, argtanhなどの表記を好んで用いる研究者もいる。計算機科学の分野では、しばしばasinh という省略形を用いる。累乗を表す上付き文字−1と誤解しないように注意を払う必要があるという事実にもかかわらず、テンプレート:Nowrap テンプレート:Nowrap などの略記も用いられる。また、テンプレート:Nowrapとテンプレート:Nowrapは似て非なるものである。

対数表現

各関数は複素数平面で次のように定義される。

$\begin{array}{cc}\mathrm{arsinh}z& =\ln (z+\sqrt{z^2+1})\\ \mathrm{arcosh}z& =\ln (z+\sqrt{z+1}\sqrt{z-1})\\ \mathrm{artanh}z& =\frac{1}{2}\ln \left(\frac{1+z}{1-z}\right)\\ \mathrm{arcoth}z& =\frac{1}{2}\ln \left(\frac{z+1}{z-1}\right)\\ \mathrm{arcsch}z& =\ln (\frac{1}{z}+\sqrt{\frac{1}{z^2}+1})\\ \mathrm{arsech}z& =\ln (\frac{1}{z}+\sqrt{\frac{1}{z}+1}\sqrt{\frac{1}{z}-1})\end{array}$

上記の平方根は正の平方根であり、対数関数は複素対数である。実数の引数、例えばz = xは実数値を返すが、一定の簡素化を行うことが可能であり、例えば $\sqrt{x+1}\sqrt{x-1}=\sqrt{x^2-1}$は正の平方根を使うとき、一般に真ではない。 テンプレート:Multiple image

級数展開

上記の関数は次のように級数展開できる。

$\begin{array}{cc}\mathrm{arsinh}x& =x-\left(\frac{1}{2}\right)\frac{x^3}{3}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{x^5}{5}-\left(\frac{1\cdot 3\cdot 5}{2\cdot 4\cdot 6}\right)\frac{x^7}{7}+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\left(\frac{(-1{)}^n(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{2n+1}}{(2n+1)},\left|x\right|<1\end{array}$

$\begin{array}{cc}\mathrm{arcosh}x& =\ln 2x-(\left(\frac{1}{2}\right)\frac{x^{-2}}{2}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{x^{-4}}{4}+\left(\frac{1\cdot 3\cdot 5}{2\cdot 4\cdot 6}\right)\frac{x^{-6}}{6}+\cdots )\\ & =\ln 2x-\sum _{n=1}^{\mathrm{\infty }}\left(\frac{(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{-2n}}{(2n)},x>1\end{array}$

$\begin{array}{cc}\mathrm{artanh}x& =x+\frac{x^3}{3}+\frac{x^5}{5}+\frac{x^7}{7}+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{x^{2n+1}}{(2n+1)},\left|x\right|<1\end{array}$

$\begin{array}{cc}\mathrm{arcsch}x=\mathrm{arsinh}\frac{1}{x}& =x^{-1}-\left(\frac{1}{2}\right)\frac{x^{-3}}{3}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{x^{-5}}{5}-\left(\frac{1\cdot 3\cdot 5}{2\cdot 4\cdot 6}\right)\frac{x^{-7}}{7}+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\left(\frac{(-1{)}^n(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{-(2n+1)}}{(2n+1)},\left|x\right|>1\end{array}$

$\begin{array}{cc}\mathrm{arsech}x=\mathrm{arcosh}\frac{1}{x}& =\ln \frac{2}{x}-(\left(\frac{1}{2}\right)\frac{x^2}{2}+\left(\frac{1\cdot 3}{2\cdot 4}\right)\frac{x^4}{4}+\left(\frac{1\cdot 3\cdot 5}{2\cdot 4\cdot 6}\right)\frac{x^6}{6}+\cdots )\\ & =\ln \frac{2}{x}-\sum _{n=1}^{\mathrm{\infty }}\left(\frac{(2n)!}{2^{2n}(n!{)}^2}\right)\frac{x^{2n}}{2n},0<x\le 1\end{array}$

$\begin{array}{cc}\mathrm{arcoth}x=\mathrm{artanh}\frac{1}{x}& =x^{-1}+\frac{x^{-3}}{3}+\frac{x^{-5}}{5}+\frac{x^{-7}}{7}+\cdots \\ & =\sum _{n=0}^{\mathrm{\infty }}\frac{x^{-(2n+1)}}{(2n+1)},\left|x\right|>1\end{array}$

またオイラーによるarctanの展開の類似も成り立つ。

$\mathrm{artanh}x=\sum _{n=0}^{\mathrm{\infty }}\frac{2^{2n}(n!{)}^2}{(2n+1)!}\frac{(-1{)}^n{x}^{2n+1}}{(1-x^2{)}^{n+1}},\left|x\right|<\frac{1}{\sqrt{2}}$

$(\mathrm{arsinh}x{)}^2=\sum _{n=0}^{\mathrm{\infty }}\frac{2^{2n+1}(n!{)}^2}{(2n+2)!}(-1{)}^n{x}^{2n+2},\left|x\right|<1$

arsinh x に対する漸近展開は次の式で与えられる。

$\mathrm{arsinh}x=\ln 2x+\sum _{n=1}^{\mathrm{\infty }}{\left(-1\right)}^{n-1}\frac{\left(2n-1\right)!!}{2n\left(2n\right)!!}\frac{1}{x^{2n}}$

導関数

$\begin{array}{cc}\frac{d}{dx}\mathrm{arsinh}x& =\frac{1}{\sqrt{1+x^2}}\\ \frac{d}{dx}\mathrm{arcosh}x& =\frac{1}{\sqrt{x^2-1}}\\ \frac{d}{dx}\mathrm{artanh}x& =\frac{1}{1-x^2}\\ \frac{d}{dx}\mathrm{arcoth}x& =\frac{1}{1-x^2}\\ \frac{d}{dx}\mathrm{arsech}x& =\frac{-1}{x(x+1)\sqrt{\frac{1-x}{1+x}}}\\ \frac{d}{dx}\mathrm{arcsch}x& =\frac{-1}{x^2\sqrt{1+\frac{1}{x^2}}}\\ \end{array}$

実数xに対して、

$\begin{array}{cc}\frac{d}{dx}\mathrm{arsech}x& =\frac{\mp 1}{x\sqrt{1-x^2}};\mathrm{\Re }\{x\}\gtrless 0\\ \frac{d}{dx}\mathrm{arcsch}x& =\frac{\mp 1}{x\sqrt{1+x^2}};\mathrm{\Re }\{x\}\gtrless 0\end{array}$

微分法の例：θ = arsinh xとおくと、

$\frac{d\mathrm{arsinh}x}{dx}=\frac{d\theta }{d\sinh \theta }=\frac{1}{\cosh \theta }=\frac{1}{\sqrt{1+{\sinh }^2\theta }}=\frac{1}{\sqrt{1+x^2}}$

双曲線関数と逆双曲線関数の合成

$\begin{array}{ccc}\sinh (\mathrm{arcosh}x)& =\sqrt{x^2-1}& \text{for }|x|>1\\ \sinh (\mathrm{artanh}x)& =\frac{x}{\sqrt{1-x^2}}& \text{for }|x|<1\\ \cosh (\mathrm{arsinh}x)& =\sqrt{1+x^2}\\ \cosh (\mathrm{artanh}x)& =\frac{1}{\sqrt{1-x^2}}& \text{for }|x|<1\\ \tanh (\mathrm{arsinh}x)& =\frac{x}{\sqrt{1+x^2}}\\ \tanh (\mathrm{arcosh}x)& =\frac{\sqrt{x^2-1}}{x}& \text{for }|x|>1\end{array}$

加法公式

$\begin{array}{cc}\mathrm{arsinh}u\pm \mathrm{arsinh}v& =\mathrm{arsinh}(u\sqrt{1+v^2}\pm v\sqrt{1+u^2})\\ \mathrm{arcosh}u\pm \mathrm{arcosh}v& =\mathrm{arcosh}(uv\pm \sqrt{(u^2-1)(v^2-1)})\\ \mathrm{artanh}u\pm \mathrm{artanh}v& =\mathrm{artanh}\left(\frac{u\pm v}{1\pm uv}\right)\\ \mathrm{arsinh}u+\mathrm{arcosh}v& =\mathrm{arsinh}(uv+\sqrt{(1+u^2)(v^2-1)})\\ & =\mathrm{arcosh}(v\sqrt{1+u^2}+u\sqrt{v^2-1})\end{array}$

逆双曲線関数の恒等式

$\begin{array}{ccc}\mathrm{arcosh}(2x^2-1)& =2\mathrm{arcosh}(x)& \text{ for }x\ge 1\\ \mathrm{arcosh}(8x^4-8x^2+1)& =4\mathrm{arcosh}(x)& \text{ for }x\ge 1\\ \mathrm{arcosh}(2x^2+1)& =2\mathrm{arsinh}(x)& \text{ for }x\ge 0\\ \mathrm{arcosh}(8x^4+8x^2+1)& =4\mathrm{arsinh}(x)& \text{ for }x\ge 0\end{array}$

関連項目

• グーデルマン関数
• 逆双曲線関数の原始関数の一覧
• 関数一覧

参考文献

• Herbert Busemann and Paul J. Kelly (1953) Projective Geometry and Projective Metrics, page 207, Academic Press.

外部リンク

• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:SpringerEOM
• テンプレート:SpringerEOM
• Inverse hyperbolic functionsテンプレート:リンク切れ - University College London Department of Mathematics
• 2.22 逆双曲線関数テンプレート:リンク切れ - 同志社大学・近藤弘一