双曲線関数のソースを表示

[[数学]]において、'''双曲線関数'''（そうきょくせんかんすう、{{lang-en-short|''hyperbolic function''}}）とは、[[三角関数]]と類似の[[関数 (数学)|関数]]で、標準形の[[双曲線]]を[[媒介変数表示]]するときなどに現れる。

== 概要 ==
[[ファイル:Circle area 1.png|thumb|200px|right|斜線の領域の面積が &theta; /2 の時の単位円周上の座標が (cos &theta;, sin &theta; )]]
[[ファイル:Hyperbolic area 1.png|thumb|200px|right|斜線の領域の面積が &theta; /2 の時の双曲線上の座標が(cosh &theta;, sinh &theta; )]]

三角関数は単位円周を用いて定義することができる。
{{Indent|以下、説明を簡単にするために第一象限（x ≧ 0、かつ、y ≧ 0）の話に限る。}}

単位円周上の点 ''A'' (cos &theta;, sin &theta;) と ''x'' 軸上の点 ''B'' (1, 0)、[[原点]] ''O'' を考える。[[線分]] ''AO''、 ''BO'' と[[円 (数学)|弧]] ''AB'' によって囲まれた[[領域]]の面積は &theta;/2 である。

この性質を用いて逆に三角関数を定義することもできる。すなわち、単位円周上の点 ''A'' と ''x'' 軸上の点 ''B'' (1, 0)、 を取り、線分 ''AO''、''BO'' と弧 ''AB'' によって囲まれた領域の面積が &theta;/2 であるとき、 ''A'' の座標を (cos &theta;, sin &theta;) として、三角関数を定義することができる。

単位円の定義式は
{{Indent|''x''<sup>2</sup> + ''y''<sup>2</sup> <nowiki>=</nowiki> 1}}
であり、標準形の双曲線の定義式は ''y''<sup>2</sup> の符号を変えただけの
{{Indent|''x''<sup>2</sup> &minus; ''y''<sup>2</sup> <nowiki>=</nowiki> 1}}
である。単位円の面積で三角関数を定義したのと同じように双曲線を用いて双曲線関数を定義することができる。

標準形の双曲線上の点 ''A'' と ''x'' 軸上の点 ''B'' (1, 0) を取り、線分 ''AO''、''BO'' と双曲線の囲む領域の面積が &theta;/2 であるとき、 ''A'' の座標を (cosh &theta;, sinh &theta;) として、双曲線関数 cosh, sinh が定義される。

ちなみに、三角関数の定義に現れた &theta; は、[[ラジアン|弧度法]]における角度に対応していたが、双曲線関数では角度には対応しない。

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

== 定義 ==
一般に、双曲線関数は[[指数関数]] ''e''<sup>''x''</sup> を用いて
{{Indent|<math>{\rm sinh}\ x = {e^x - e^{-x} \over 2},\ \  {\rm cosh}\ x = {e^x + e^{-x} \over 2}</math>}}
と定義される。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|<math>{\rm sech}\ x = {1 \over {\rm cosh}\ x},\ \ {\rm cosech}\ x = {1 \over {\rm sinh}\ x}</math>}}
なども定義できる。また、例えば cosh を cos hyp や <math>\mathfrak{cos}</math> などと表すこともあり cosech は長いので csch と書くこともある。

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

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

双曲線関数はいずれも名称が長いため、読むときは省略されることも多く sinh は'''シャイン'''あるいは '''シンチ'''、cosh は'''コッシュ'''と読まれたりもする。

== 双曲線関数の性質 ==
=== 基本性質 ===
[[ファイル:Sinh cosh tanh.png|thumb|200px|{{Color|#b30000|sinh}}, {{Color|#00b300|cosh}} と {{Color|#0000b3|tanh}} のグラフ。特にcosh ''x'' のグラフは[[カテナリー曲線|懸垂線]]として知られている。]]
[[ファイル:Csch sech coth.png|thumb|200px|{{Color|#b30000|csch}}, {{Color|#00b300|sech}} と {{Color|#0000b3|coth}} のグラフ]]

[[指数関数]]を[[偶関数と奇関数|偶関数]]の部分と[[偶関数と奇関数|奇関数]]の部分に分けた時、
{{Indent|
''e''<sup>''x''</sup> <nowiki>=</nowiki> cosh ''x'' + sinh ''x''<br />
''e''<sup>&minus;''x''</sup> <nowiki>=</nowiki> cosh ''x'' &minus; sinh ''x''}}
となり、偶関数部分が cosh ''x'' で、奇関数部分が sinh ''x'' であることが分かる。
また (cosh ''x'', sinh ''x'') は、双曲線 ''x''<sup>2</sup> &minus; ''y''<sup>2</sup> = 1 上の点であり
{{Indent|cosh<sup>2</sup> ''x'' &minus; sinh<sup>2</sup> ''x'' <nowiki>=</nowiki> 1}}

=== 加法定理 ===
[[三角関数]]の場合と同様に次の[[加法定理]]が成立する。
{{Indent|
<math>\sinh(\alpha + \beta) = \sinh \alpha \cosh \beta + \cosh \alpha \sinh \beta </math><br />

<math>\sinh(\alpha - \beta) = \sinh \alpha \cosh \beta - \cosh \alpha \sinh \beta </math><br />

<math>\cosh(\alpha + \beta) = \cosh \alpha \cosh \beta + \sinh \alpha \sinh \beta </math><br />

<math>\cosh(\alpha - \beta) = \cosh \alpha \cosh \beta - \sinh \alpha \sinh \beta </math><br />

<math>\tanh(\alpha + \beta) = \frac{\tanh \alpha + \tanh \beta}{1 + \tanh \alpha \tanh \beta} \,</math>}}

=== 微分公式 ===
{{Indent|
<math> \frac{{\rm d}}{{\rm d}x}\sinh(x) = \cosh(x) \,</math><br />

<math> \frac{{\rm d}}{{\rm d}x}\cosh(x) = \sinh(x) \,</math><br />

<math> \frac{{\rm d}}{{\rm d}x}\tanh(x) = 1 - \tanh^2(x) = \operatorname{sech}^2(x) = \frac{1}{\cosh^2(x)} \,</math><br />

<math> \frac{{\rm d}}{{\rm d}x}\coth(x) = 1 - \coth^2(x) = -\operatorname{csch}^2(x) = -\frac{1}{\sinh^2(x)} \,</math><br />

<math> \frac{{\rm d}}{{\rm d}x}\operatorname{csch}(x) = - \coth(x)\ \operatorname{csch}(x)\,</math><br />

<math> \frac{{\rm d}}{{\rm d}x}\operatorname{sech}(x) = - \tanh(x)\ \operatorname{sech}(x)\,</math>
}}
したがって、 sinh ''x'' と cosh ''x'' はいずれも二階の[[線型微分方程式]]
{{Indent|<math>{{\rm d}^2 \over {\rm d}x^2} y(x) = y(x) </math>}}
の解であり、この微分方程式の基本解系の一つになる。

=== 冪級数展開 ===
双曲線関数の[[テイラー展開]]あるいは[[ローラン級数|ローラン展開]]は、以下の式で与えられる。ただし、''B''<sub>''n''</sub>, ''E''<sub>''n''</sub> はそれぞれ[[ベルヌーイ数]] (''B''<sub>2</sub> = 1/6, ''B''<sub>4</sub> = -1/30, …)、[[オイラー数]] (''E''<sub>0</sub> = 1, ''E''<sub>2</sub> = -1, …) とする。
{{Indent|
<math>\sinh x = x + {x^3 \over 3!} + {x^5 \over 5!} + {x^7 \over 7!} +\cdots = \sum_{n=0}^\infty {x^{2n+1} \over (2n+1)!}</math>

<math>\cosh x = 1 + {x^2 \over 2!} + {x^4 \over 4!} + {x^6 \over 6!} + \cdots = \sum_{n=0}^\infty {x^{2n} \over (2n)!}</math>

<math>\tanh x = x - {x^3 \over 3} + {2x^5 \over 15} - {17x^7 \over 315} + \cdots = \sum_{n=1}^\infty \frac{2^{2n}(2^{2n}-1)B_{2n} x^{2n-1}}{(2n)!}, \left |x \right | < {\pi \over 2} </math>

<math>\operatorname {cosech} x = {1 \over x} - {x \over 6} +{7x^3 \over 360} -{31x^5 \over 15120} + \cdots = \frac{1}{x} + \sum_{n=1}^\infty \frac{2 (1-2^{2n-1}) B_{2n} x^{2n-1}}{(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'' などを考えれば、これらは ''e''<sup>''y''</sup> に関する[[2次方程式|二次方程式]]であるから解くことができて、次の表示を得る。
* <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<sup>&minus;1</sup>, cosh<sup>&minus;1</sup> などはそれぞれ 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><br />
<math>{{\rm d}\over{\rm d}x}\,{\rm cosh}^{-1}\,x = {1 \over \sqrt{x^2 -1}}</math><br />
<math>{{\rm d}\over{\rm d}x}\,{\rm tanh}^{-1}\,x = {1 \over 1 -x^2}</math>
}}
このことから、(1&minus;''x''<sup>2</sup>)<sup>1/2</sup> を含む[[有理関数]]の原始関数を求めるために ''x'' = sin ''t'' などと三角関数を用いた置換[[積分]]を考えると有用である場合が多いのと同様に、(''x''<sup>2</sup>+1)<sup>1/2</sup> を含む有理関数の積分に双曲線関数を用いた置換積分を考えることは有用であることが多い。

<gallery>
ファイル:Arcsinh.png|arcsinh のグラフ
ファイル:Arccosh.png|arccosh のグラフ
ファイル:Arctanh.png|arctanh のグラフ
</gallery>

== 関連項目 ==
* [[三角関数]]
* [[媒介変数]]
* [[指数関数]]
* [[カテナリー曲線]] - cosh
* [[シグモイド関数]]、[[ロジスティック関数]] - tanh
* [[双曲線正割分布]] - sech

== 外部リンク ==
* {{MathWorld|urlname=HyperbolicFunctions|title=Hyperbolic functions}}

{{DEFAULTSORT:そうきよくせんかんすう}}
[[Category:初等関数]]
[[Category:数学に関する記事]]