双曲線関数

300px|thumb|6つの双曲線関数 (, , , , , ) のグラフ
数学において、**双曲線関数**（そうきょくせんかんすう、）とは、三角関数と類似の関数で、標準形の双曲線を媒介変数表示するときなどに現れる。

## 概要
200px|thumb|斜線の領域の面積が  のとき、単位円周上の座標が  となる。
200px|thumb|斜線の領域の面積が  のときの双曲線上の座標が
三角関数は単位円周を用いて定義することができる。
: 以下、説明を簡単にするために第一象限（ かつ ）の議論に限る。

単位円周上の点  と 軸上の点 、原点  を考える。線分  と弧  によって囲まれた領域の面積は  である。

この性質を用いて逆に三角関数を定義することもできる。すなわち、単位円周上の点  と 軸上の点  を取り、線分  と弧  によって囲まれた領域の面積が  であるとき、 の座標を  として、三角関数を定義することができる。

単位円の定義式は
:x^2 + y^2 = 1
であり、標準形の双曲線の定義式は  の符号を変えただけの
:x^2 - y^2 = 1
である。単位円の面積で三角関数を定義したのと同じように双曲線を用いて双曲線関数を定義することができる。

標準形の双曲線上の点  と 軸上の点  を取り、線分  と双曲線の囲む領域の面積が  であるとき、 の座標を  として、双曲線関数  が定義される。

ちなみに、三角関数の定義に現れた  は、弧度法における角度に対応していたが、双曲線関数では角度には対応しない。

このように三角関数と双曲線関数は非常に似通った関数として定義され、いろいろな場面でその類似性が現れる。定義に双曲線を用いる関数を双曲線関数と呼ぶことに合わせて、定義に単位円を用いる三角関数を**円関数** (*circular function*) と呼ぶこともある。

## 定義
双曲線関数は指数関数  を用いて
:\sinh x = {e^x - e^{-x} \over 2},\; \cosh x = {e^x + e^{-x} \over 2}
と定義される。sinh, cosh をそれぞれ**双曲線正弦**関数 (*hyperbolic sine*; ハイパボリックサイン)、**双曲線余弦**関数 (*hyperbolic cosine*; ハイパボリックコサイン) と呼ぶ。他にも三角関数との類似で**双曲線正接・余接関数**
:\tanh x = {\sinh x \over \cosh x}, \; \coth x = {1 \over \tanh x}
や、**双曲線正割・余割関数**
:\operatorname{sech} x = {1 \over \cosh x},\; \operatorname{cosech} x = {1 \over \sinh x}
も定義できる。また、例えば cosh を cos hyp や \mathfrak{cos} などと表すこともあり cosech は長いので csch と書くこともある。

このように定義された、双曲線正弦関数、双曲線余弦関数、双曲線正接関数、双曲線余接関数、双曲線正割関数、双曲線余割関数を総称して**双曲線関数**という。

指数関数  は  を複素変数に拡張できるので、指数関数で定義されている双曲線関数自体も *x* を複素変数にとってもよい。

双曲線関数はいずれも名称が長いため、読むときは省略されて、sinh は**シャイン**あるいは**シンチ**、cosh は**コッシュ**あるいは**コシャイン**、tanh は**タンチ**とも読まれる。

記号としての sinh, cosh , tanh はヨハン・ハインリヒ・ランベルトが導入した。

## 性質
### 基本性質
[200px|thumb|,  と  のグラフ。特に  のグラフは[カテナリー曲線|懸垂線として知られている。]]
200px|thumb|,  と  のグラフ
指数関数を偶関数の部分と奇関数の部分に分けたとき、
:\begin{align}
e^x &= \cosh x + \sinh x \\
e^{-x} &= \cosh x - \sinh x
\end{align}
となり、偶関数部分が  で、奇関数部分が  であることが分かる。
また  は、双曲線  上の点であり
:\cosh^2 x - \sinh^2 x = 1
が成り立つ。

### 加法定理
三角関数の場合と同様に次の加法定理が成立する。
:\begin{align}
  \sinh(\alpha + \beta) &= \sinh \alpha \cosh \beta + \cosh \alpha \sinh \beta \\
  \sinh(\alpha - \beta) &= \sinh \alpha \cosh \beta - \cosh \alpha \sinh \beta \\
  \cosh(\alpha + \beta) &= \cosh \alpha \cosh \beta + \sinh \alpha \sinh \beta \\
  \cosh(\alpha - \beta) &= \cosh \alpha \cosh \beta - \sinh \alpha \sinh \beta \\
  \tanh(\alpha + \beta) &= \frac{\tanh \alpha + \tanh \beta}{1 + \tanh \alpha \tanh \beta} \\
  \tanh(\alpha - \beta) &= \frac{\tanh \alpha - \tanh \beta}{1 - \tanh \alpha \tanh \beta}
\end{align}

### 微分公式
:\begin{align}
  \frac{\mathrm d}{\mathrm{d}x} \sinh x &= \cosh x \\
  \frac{\mathrm d}{\mathrm{d}x} \cosh x &= \sinh x \\
  \frac{\mathrm d}{\mathrm{d}x} \tanh x &= 1 - \tanh^2 x = \operatorname{sech}^2 x = \frac{1}{\cosh^2 x} \\
  \frac{\mathrm d}{\mathrm{d}x} \coth x &= 1 - \coth^2 x = -\operatorname{csch}^2 x = -\frac{1}{\sinh^2 x} \\
  \frac{\mathrm d}{\mathrm{d}x} \operatorname{csch} x &= - \coth x \operatorname{csch} x \\
  \frac{\mathrm d}{\mathrm{d}x} \operatorname{sech} x &= - \tanh x \operatorname{sech} x
\end{align}
したがって、 と  はいずれも二階の線型微分方程式
: {(2n+1)!}
  = x + \frac{x^3}{3!} + \frac{x^5}{5!} + \frac{x^7}{7!} + \dotsb \\[1ex]
  \cosh x &= \sum_{n=0}^\infty {x^{2n} \over (2n)!}
  = 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \frac{x^6}{6!} + \dotsb \\[1ex]
  \tanh x &= \sum_{n=1}^\infty \frac{2^{2n} (2^{2n} - 1) B_{2n} x^{2n-1}}{(2n)!}
  = x - \frac{x^3}{3} + \frac{2x^5}{15} - \frac{17x^7}{315} + \dotsb,
  \quad |x| 

## 無限乗積展開
双曲線関数は以下に示す無限乗積に展開される。(→証明)
:\begin{align}
\sinh (\pi z) &= \pi z \prod_{n=1}^{\infty} \left( 1 + \frac{z^2}{n^2} \right) \\
\cosh (\pi z) &= \prod_{n=1}^{\infty} \left( 1 + \frac{z^2}{(n - 1/2)^2} \right)
\end{align}

## 三角関数との関係
複素変数で定義された三角関数と双曲線関数を比べてみると
:\begin{align}
\sinh x &= -i \sin(ix) \\
\cosh x &= \cos(ix)
\end{align}
という関係にある。

これは、それぞれの指数関数による表現の比較、テイラー展開の比較などによって導出することができる。

## 逆双曲線関数

双曲線関数が指数関数で表せるように、その逆関数である逆双曲線関数は対数関数を用いて表示することができる。等式  や  などを考えれば、これらは  に関する二次方程式であるから解くことができて、次の表示を得る。
:\begin{align}
  \sinh^{-1} x &= \log \left( x + \sqrt{x^2 + 1} \right) \\
  \cosh^{-1} x &= \log \left( x + \sqrt{x^2 - 1} \right) \\
  \tanh^{-1} x &= \frac{1}{2} \log \frac{1+x}{1-x}
\end{align}
逆関数  などはそれぞれ area sin hyp, area cos hyp （area は「面積」の意）もしくはそれを略して ar sinh, ar cosh と書いたり、逆三角関数と同様に arcsinh, arccosh などと書いたりすることもある。

### 微分公式
:\begin{align}
  \frac{\mathrm d}{\mathrm{d}x} \sinh^{-1} x &= \frac{1}{\sqrt{x^2 + 1}} \\
  \frac{\mathrm d}{\mathrm{d}x} \cosh^{-1} x &= \frac{1}{\sqrt{x^2 - 1}} \\
  \frac{\mathrm d}{\mathrm{d}x} \tanh^{-1} x &= \frac{1}{1 - x^2}
\end{align}
このことから、 を含む有理関数の原始関数を求めるために  などと三角関数を用いた置換積分を考えると有用である場合が多いのと同様に、 を含む有理関数の積分に双曲線関数を用いた置換積分を考えることは有用であることが多い。

Arcsinh.png|arcsinh のグラフ
Arccosh.png|arccosh のグラフ
Arctanh.png|arctanh のグラフ


## 脚注

## 関連項目

* 三角関数
* 媒介変数
* 指数関数
* カテナリー曲線 - cosh
* シグモイド関数、ロジスティック関数 - tanh
* 双曲線正割分布 - sech
* グーデルマン関数 - 双曲線関数と三角関数の組合せ
* 双曲線関数の原始関数の一覧

## 外部リンク
* 
*