双曲線関数
数学において、双曲線関数（そうきょくせんかんすう、テンプレート:Lang-en-short）とは、三角関数と類似の関数で、標準形の双曲線を媒介変数表示するときなどに現れる。
目次
概要
三角関数は単位円周を用いて定義することができる。 テンプレート:Indent
単位円周上の点 A (cos θ, sin θ) と x 軸上の点 B (1, 0)、原点 O を考える。線分 AO、 BO と弧 AB によって囲まれた領域の面積は θ/2 である。
この性質を用いて逆に三角関数を定義することもできる。すなわち、単位円周上の点 A と x 軸上の点 B (1, 0)、 を取り、線分 AO、BO と弧 AB によって囲まれた領域の面積が θ/2 であるとき、 A の座標を (cos θ, sin θ) として、三角関数を定義することができる。
単位円の定義式は テンプレート:Indent であり、標準形の双曲線の定義式は y2 の符号を変えただけの テンプレート:Indent である。単位円の面積で三角関数を定義したのと同じように双曲線を用いて双曲線関数を定義することができる。
標準形の双曲線上の点 A と x 軸上の点 B (1, 0) を取り、線分 AO、BO と双曲線の囲む領域の面積が θ/2 であるとき、 A の座標を (cosh θ, sinh θ) として、双曲線関数 cosh, sinh が定義される。
ちなみに、三角関数の定義に現れた θ は、弧度法における角度に対応していたが、双曲線関数では角度には対応しない。
このように三角関数と双曲線関数は非常に似通った関数として定義され、いろいろな場面でその類似性が現れる。定義に双曲線を用いる関数を双曲線関数と呼ぶことにあわせて、定義に単位円を用いる三角関数の事を円関数 (circular function) と呼ぶこともある。
定義
一般に、双曲線関数は指数関数 ex を用いて テンプレート:Indent と定義される。sinh, cosh をそれぞれ双曲線正弦関数 (hyperbolic sine; ハイパボリックサイン)、双曲線余弦関数 (hyperbolic cosine; ハイパボリックコサイン) と呼ぶ。他にも三角関数との類似で双曲線正接・余接関数 {{Indent|<math>{\rm tanh}\ x = {{\rm sinh}\ x \over {\rm cosh}\ x},\ \ {\rm coth}\ x = {1 \over {\rm tanh}\ x}</math>}} や、双曲線正割・余割関数 テンプレート:Indent なども定義できる。また、例えば cosh を cos hyp や <math>\mathfrak{cos}</math> などと表すこともあり cosech は長いので csch と書くこともある。
このように定義された、双曲線正弦関数、双曲線余弦関数、双曲線正接関数、双曲線余接関数、双曲線正割関数、双曲線余割関数を総称して 双曲線関数という。
指数関数 ex は x を複素変数に拡張できるので、指数関数で定義されている双曲線関数自体も x を複素変数にとってもよい。
双曲線関数はいずれも名称が長いため、読むときは省略されることも多く sinh はシャインあるいは シンチ、cosh はコッシュと読まれたりもする。
双曲線関数の性質
基本性質
指数関数を偶関数の部分と奇関数の部分に分けた時、 テンプレート:Indent となり、偶関数部分が cosh x で、奇関数部分が sinh x であることが分かる。 また (cosh x, sinh x) は、双曲線 x2 − y2 = 1 上の点であり テンプレート:Indent
加法定理
三角関数の場合と同様に次の加法定理が成立する。 テンプレート:Indent
微分公式
{{Indent|
<math> \fracテンプレート:\rm d{{\rm d}x}\sinh(x) = \cosh(x) \,</math>
<math> \fracテンプレート:\rm d{{\rm d}x}\cosh(x) = \sinh(x) \,</math>
<math> \fracテンプレート:\rm d{{\rm d}x}\tanh(x) = 1 - \tanh^2(x) = \operatorname{sech}^2(x) = \frac{1}{\cosh^2(x)} \,</math>
<math> \fracテンプレート:\rm d{{\rm d}x}\coth(x) = 1 - \coth^2(x) = -\operatorname{csch}^2(x) = -\frac{1}{\sinh^2(x)} \,</math>
<math> \fracテンプレート:\rm d{{\rm d}x}\operatorname{csch}(x) = - \coth(x)\ \operatorname{csch}(x)\,</math>
<math> \fracテンプレート:\rm d{{\rm d}x}\operatorname{sech}(x) = - \tanh(x)\ \operatorname{sech}(x)\,</math> }} したがって、 sinh x と cosh x はいずれも二階の線型微分方程式 テンプレート:Indent{(2n)!}, 0 < \left |x \right | < \pi </math>
<math>\operatorname {sech} x = 1 - {x^2 \over 2} + {5x^4 \over 24} - {61x^6 \over 720} + \cdots = \sum_{n=0}^\infty \frac{E_{2n} x^{2n}}{(2n)!}, \left |x \right | < {\pi \over 2} </math>
<math>\coth x = {1 \over x} + {x \over 3} - {x^3 \over 45} + {2x^5 \over 945} + \cdots = \frac{1}{x} + \sum_{n=1}^\infty \frac{2^{2n} B_{2n} x^{2n-1}} {(2n)!}, 0 < \left |x \right | < \pi </math> }}
無限乗積展開
- <math>\sinh{({\pi}z)}={\pi}z\prod_{n=1}^{\infty}{\left(1+\frac{z^2}{n^2}\right)}</math>
- <math>\cosh{({\pi}z)}=\prod_{n=1}^{\infty}{\left(1+\frac{z^2}{(n-\frac{1}{2})^2}\right)}</math>
三角関数との関係
複素変数で定義された三角関数と双曲線関数を比べてみると
- <math>\sinh x = - i \sin(ix) </math>
- <math>\cosh x = \cos(ix)</math>
という関係にある。
これは、それぞれの指数関数による表現を比べても分かるし、テイラー展開を比べても分かる。
逆双曲線関数
テンプレート:Main 双曲線関数が指数関数で表せるように、その逆関数である逆双曲線関数は対数関数を用いて表示することができる。等式 x = sinh y や x = cosh y などを考えれば、これらは ey に関する二次方程式であるから解くことができて、次の表示を得る。
- <math>{\rm sinh}^{-1}\,x = \log(x+\sqrt{x^2+1})</math>
- <math>{\rm cosh}^{-1}\,x = \log(x\pm\sqrt{x^2-1})</math>
- <math>{\rm tanh}^{-1}\,x = {1 \over 2}\log{1+x\over1-x}</math>
逆関数 sinh−1, cosh−1 などはそれぞれ area sin hyp, area cos hyp （area は「面積」の意）もしくはそれを略して ar sinh, ar cosh と書いたり、逆三角関数と同様に arcsinh, arccosh などと書いたりすることもある。
微分公式
{{Indent|
<math>{{\rm d}\over{\rm d}x}\,{\rm sinh}^{-1}\,x = {1 \over \sqrt{x^2 +1}}</math>
<math>{{\rm d}\over{\rm d}x}\,{\rm cosh}^{-1}\,x = {1 \over \sqrt{x^2 -1}}</math>
<math>{{\rm d}\over{\rm d}x}\,{\rm tanh}^{-1}\,x = {1 \over 1 -x^2}</math>
}}
このことから、(1−x2)1/2 を含む有理関数の原始関数を求めるために x = sin t などと三角関数を用いた置換積分を考えると有用である場合が多いのと同様に、(x2+1)1/2 を含む有理関数の積分に双曲線関数を用いた置換積分を考えることは有用であることが多い。
- Arcsinh.png
arcsinh のグラフ
- Arccosh.png
arccosh のグラフ
- Arctanh.png
arctanh のグラフ
