双曲線関数

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

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

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

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

単位円の定義式は

であり、標準形の双曲線の定義式はの符号を変えただけの

である。単位円の面積で三角関数を定義したのと同じように双曲線を用いて双曲線関数を定義することができる。

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

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

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

定義双曲線関数は指数関数を用いて

と定義される。sinh, cosh をそれぞれ双曲線正弦関数 (hyperbolic sine; ハイパボリックサイン)、双曲線余弦関数 (hyperbolic cosine; ハイパボリックコサイン) と呼ぶ。他にも三角関数との類似で双曲線正接・余接関数

や、双曲線正割・余割関数

も定義できる。また、例えば cosh を cos hyp やなどと表すこともあり cosech は長いので csch と書くこともある。

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

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

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

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

性質基本性質 200px|thumb|, とのグラフ。特にのグラフは懸垂線として知られている。 200px|thumb|, とのグラフ指数関数を偶関数の部分と奇関数の部分に分けたとき、

となり、偶関数部分がで、奇関数部分がであることが分かる。または、双曲線上の点であり

が成り立つ。

加法定理三角関数の場合と同様に次の加法定理が成立する。

微分公式

したがって、とはいずれも二階の線型微分方程式

の解であり、この微分方程式の基本解系の一つになる。

冪級数展開双曲線関数のテイラー展開あるいはローラン展開は、以下の式で与えられる。ただし、はそれぞれベルヌーイ数 ()、オイラー数 () である。

無限乗積展開双曲線関数は以下に示す無限乗積に展開される。(→証明)

三角関数との関係複素変数で定義された三角関数と双曲線関数を比べてみると

という関係にある。

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

逆双曲線関数

双曲線関数が指数関数で表せるように、その逆関数である逆双曲線関数は対数関数を用いて表示することができる。等式やなどを考えれば、これらはに関する二次方程式であるから解くことができて、次の表示を得る。

逆関数などはそれぞれ area sin hyp, area cos hyp （area は「面積」の意）もしくはそれを略して ar sinh, ar cosh と書いたり、逆三角関数と同様に arcsinh, arccosh などと書いたりすることもある。

微分公式

このことから、を含む有理関数の原始関数を求めるためになどと三角関数を用いた置換積分を考えると有用である場合が多いのと同様に、を含む有理関数の積分に双曲線関数を用いた置換積分を考えることは有用であることが多い。

脚注

Źródło i licencja