双曲線関数

出典: フリー百科事典『ウィキペディア（Wikipedia）』

（Tanhから転送）

移動：案内, 検索

数学において、双曲線関数（そうきょくせんかんすう、hyperbolic function）とは、三角関数と類似の関数で、標準形の双曲線を媒介変数表示するときなどに現れる。

[編集] 概要

斜線の領域の面積が θ /2 の時の単位円周上の座標が (cos θ , sin θ )

斜線の領域の面積が θ /2 の時の双曲線上の座標が(cosh θ ,sinh θ )

三角関数は単位円周を用いて定義することができる。

以下、説明を簡単にするために第一象限（x≧0、かつ、y≧0）の話に限る。

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

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

単位円の定義式は

x² + y² = 1

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

x² − y² = 1

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

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

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

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

[編集] 定義

一般に、双曲線関数は指数関数 e^x を用いて

${\rm sinh}\ x = {e^x - e^{-x} \over 2},\ \ {\rm cosh}\ x = {e^x + e^{-x} \over 2}$

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

${\rm tanh}\ x = {{\rm sinh}\ x \over {\rm cosh}\ x},\ \ {\rm coth}\ x = {1 \over {\rm tanh}\ x}$

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

${\rm sech}\ x = {1 \over {\rm cosh}\ x},\ \ {\rm cosech}\ x = {1 \over {\rm sinh}\ x}$

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

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

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

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

[編集] 双曲線関数の性質

[編集] 基本性質

sinh, cosh と tanh のグラフ。特にcosh x のグラフは懸垂線として知られている。

csch, sech と coth のグラフ

指数関数を偶関数の部分と奇関数の部分に分けた時、

e^x = cosh x + sinh x
e^−x = cosh x − sinh x

となり、偶関数部分が cosh x で、奇関数部分が sinh x であることが分かる。また (cosh x, sinh x) は、双曲線 x² − y² = 1 上の点であり

cosh² x − sinh² x = 1

[編集] 加法定理

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

sinh(α+β) = sinh α cosh β + cosh α sinh β
sinh(α-β) = sinh α cosh β - cosh α sinh β
cosh(α+β) = cosh α cosh β + sinh α sinh β
cosh(α-β) = cosh α cosh β - sinh α sinh β
$\tanh(\alpha + \beta) = \frac{\tanh \alpha + \tanh \beta}{1 + \tanh \alpha \tanh \beta} \,$

[編集] 微分公式

$\frac{{\rm d}}{{\rm d}x}\sinh(x) = \cosh(x) \,$

$\frac{{\rm d}}{{\rm d}x}\cosh(x) = \sinh(x) \,$

$\frac{{\rm d}}{{\rm d}x}\tanh(x) = 1 - \tanh^2(x) = \hbox{sech}^2(x) = \frac{1}{\cosh^2(x)} \,$

$\frac{{\rm d}}{{\rm d}x}\coth(x) = 1 - \coth^2(x) = -\hbox{csch}^2(x) = -\frac{1}{\sinh^2(x)} \,$

$\frac{{\rm d}}{{\rm d}x}\ \hbox{csch(x)} = - \coth(x)\ \hbox{csch(x)}\,$

$\frac{{\rm d}}{{\rm d}x}\ \hbox{sech(x)} = - \tanh(x)\ \hbox{sech(x)}\,$

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

${{\rm d}^2 \over {\rm d}x^2} y(x) = y(x)$

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

[編集] 冪級数展開

双曲線関数のテイラー展開あるいはローラン展開は、以下の式で与えられる。ただし、B_n, E_n はそれぞれベルヌーイ数 (B₂ = 1/6, B₄ = -1/30, …)、オイラー数 (E₀ = 1, E₂ = -1, …) とする。

$\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)!}$

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

$\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}$

$\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$

$\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}$

$\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$

[編集] 無限乗積展開

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

$\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-\frac{1}{2})^2}\right)}$

[編集] 三角関数との関係

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

sinh x = − i sin(ix)
cosh x = cos(ix)

という関係にある。

これは、それぞれの指数関数による表現を比べても分かるし、テイラー展開を比べても分かる。

[編集] 逆双曲線関数

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

${\rm sinh}^{-1}\,x = \log(x+\sqrt{x^2+1})$
${\rm cosh}^{-1}\,x = \log(x\pm\sqrt{x^2-1})$
${\rm tanh}^{-1}\,x = {1 \over 2}\log{1+x\over1-x}$

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

[編集] 微分公式

${{\rm d}\over{\rm d}x}\,{\rm sinh}^{-1}\,x = {1 \over \sqrt{x^2 +1}}$
${{\rm d}\over{\rm d}x}\,{\rm cosh}^{-1}\,x = {1 \over \sqrt{x^2 -1}}$
${{\rm d}\over{\rm d}x}\,{\rm tanh}^{-1}\,x = {1 \over 1 -x^2}$