双曲線関数

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

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

[編集] 概要

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

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

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

以下、説明を簡単にするために第一象限の話に限る。

単位円周上の点 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 β

cosh(α+β) = cosh α cosh β + sinh α sinh β

$\tanh(x+y) = \frac{\tanh x + \tanh y}{1 + \tanh x \tanh y} \,$

[編集] 微分公式

${d \over dx}\,{\rm sinh}\ x\, = {\rm cosh}\ x$

${d \over dx}\,{\rm cosh}\ x\, = {\rm sinh}\ x$

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

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

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

[編集] テイラー展開

双曲線関数のテイラー展開は

$\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 {(-1)^{n-1}2^{2n}(2^{2n}-1)B_nx^{2n-1} \over (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 = {1 \over x} + \sum_{n=1}^\infty {(-1)^n 2 (2^{2n}-1) B_n x^{2n-1} \over (2n)!} , 0 < \left |x \right | < \pi$

$\operatorname {sech} x = 1 - {x^2 \over 2} + {5x^4 \over 24} - {61x^6 \over 720} + \cdots = 1 + \sum_{n=1}^\infty {(-1)^n E_n x^{2n} \over (2n)!} , \left |x \right | < {\pi \over 2}$

$\coth x = {1 \over x} + {x \over 3} - {x^3 \over 45} + {2x^5 \over 945} + \cdots = {1 \over x} + \sum_{n=1}^\infty {(-1)^{n-1} 2^{2n} B_n x^{2n-1} \over (2n)!}, 0 < \left |x \right | < \pi$