双曲線関数

数学において、双曲線関数（そうきょくせんかんすう、英: hyperbolic function）とは、三角関数と類似の関数で、標準形の双曲線を媒介変数表示するときなどに現れる。 三角関数は単位円周を用いて定義することができる。 以下、説明を簡単にするために第一象限（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 2 + y 2 = 1 {\displaystyle x^{2}+y^{2}=1} であり、標準形の双曲線の定義式は y2 の符号を変えただけの x 2 − y 2 = 1 {\displaystyle x^{2}-y^{2}=1} である。単位円の面積で三角関数を定義したのと同じように双曲線を用いて双曲線関数を定義することができる。 標準形の双曲線上の点 A と x軸上の点 B(1, 0) を取り、線分 AO, BO と双曲線の囲む領域の面積が θ/2 であるとき、A の座標を (cosh θ, sinh θ) として、双曲線関数 cosh, sinh が定義される。 ちなみに、三角関数の定義に現れた θ は、弧度法における角度に対応していたが、双曲線関数では角度には対応しない。 このように三角関数と双曲線関数は非常に似通った関数として定義され、いろいろな場面でその類似性が現れる。定義に双曲線を用いる関数を双曲線関数と呼ぶことに合わせて、定義に単位円を用いる三角関数を円関数 (circular function) と呼ぶこともある。 双曲線関数は指数関数 ex を用いて sinh ⁡ x = e x − e − x 2 , cosh ⁡ x = e x + e − x 2 {\displaystyle \sinh x={e^{x}-e^{-x} \over 2},\;\cosh x={e^{x}+e^{-x} \over 2}} と定義される。sinh, cosh をそれぞれ双曲線正弦関数 (hyperbolic sine; ハイパボリックサイン)、双曲線余弦関数 (hyperbolic cosine; ハイパボリックコサイン) と呼ぶ。他にも三角関数との類似で双曲線正接・余接関数 tanh ⁡ x = sinh ⁡ x cosh ⁡ x , coth ⁡ x = 1 tanh ⁡ x {\displaystyle \tanh x={\sinh x \over \cosh x},\;\coth x={1 \over \tanh x}} や、双曲線正割・余割関数 sech ⁡ x = 1 cosh ⁡ x , cosech ⁡ x = 1 sinh ⁡ x {\displaystyle \operatorname {sech} x={1 \over \cosh x},\;\operatorname {cosech} x={1 \over \sinh x}} も定義できる。また、例えば cosh を cos hyp や c o s {\displaystyle {\mathfrak {cos}}} などと表すこともあり cosech は長いので csch と書くこともある。 このように定義された、双曲線正弦関数、双曲線余弦関数、双曲線正接関数、双曲線余接関数、双曲線正割関数、双曲線余割関数を総称して双曲線関数という。 指数関数 ex は x を複素変数に拡張できるので、指数関数で定義されている双曲線関数自体も x を複素変数にとってもよい。 双曲線関数はいずれも名称が長いため、読むときは省略されて、sinh はシャインあるいはシンチ、cosh はコッシュあるいはコシャイン、tanh はタンチとも読まれる。 記号としての sinh, cosh , tanh はヨハン・ハインリヒ・ランベルトが導入した。 指数関数を偶関数の部分と奇関数の部分に分けたとき、 e x = cosh ⁡ x + sinh ⁡ x e − x = cosh ⁡ x − sinh ⁡ x {\displaystyle {\begin{aligned}e^{x}&=\cosh x+\sinh x\\e^{-x}&=\cosh x-\sinh x\end{aligned}}} となり、偶関数部分が cosh x で、奇関数部分が sinh x であることが分かる。 また (cosh x, sinh x) は、双曲線 x2 − y2 = 1 上の点であり cosh 2 ⁡ x − sinh 2 ⁡ x = 1 {\displaystyle \cosh ^{2}x-\sinh ^{2}x=1} が成り立つ。 三角関数の場合と同様に次の加法定理が成立する。 sinh ⁡ ( α + β ) = sinh ⁡ α cosh ⁡ β + cosh ⁡ α sinh ⁡ β sinh ⁡ ( α − β ) = sinh ⁡ α cosh ⁡ β − cosh ⁡ α sinh ⁡ β cosh ⁡ ( α + β ) = cosh ⁡ α cosh ⁡ β + sinh ⁡ α sinh ⁡ β cosh ⁡ ( α − β ) = cosh ⁡ α cosh ⁡ β − sinh ⁡ α sinh ⁡ β tanh ⁡ ( α + β ) = tanh ⁡ α + tanh ⁡ β 1 + tanh ⁡ α tanh ⁡ β tanh ⁡ ( α − β ) = tanh ⁡ α − tanh ⁡ β 1 − tanh ⁡ α tanh ⁡ β {\displaystyle {\begin{aligned}\sinh(\alpha +\beta )&=\sinh \alpha \cosh \beta +\cosh \alpha \sinh \beta \\\sinh(\alpha -\beta )&=\sinh \alpha \cosh \beta -\cosh \alpha \sinh \beta \\\cosh(\alpha +\beta )&=\cosh \alpha \cosh \beta +\sinh \alpha \sinh \beta \\\cosh(\alpha -\beta )&=\cosh \alpha \cosh \beta -\sinh \alpha \sinh \beta \\\tanh(\alpha +\beta )&={\frac {\tanh \alpha +\tanh \beta }{1+\tanh \alpha \tanh \beta }}\\\tanh(\alpha -\beta )&={\frac {\tanh \alpha -\tanh \beta }{1-\tanh \alpha \tanh \beta }}\end{aligned}}} d d x sinh ⁡ x = cosh ⁡ x d d x cosh ⁡ x = sinh ⁡ x d d x tanh ⁡ x = 1 − tanh 2 ⁡ x = sech 2 ⁡ x = 1 cosh 2 ⁡ x d d x coth ⁡ x = 1 − coth 2 ⁡ x = − csch 2 ⁡ x = − 1 sinh 2 ⁡ x d d x csch ⁡ x = − coth ⁡ x csch ⁡ x d d x sech ⁡ x = − tanh ⁡ x sech ⁡ x {\displaystyle {\begin{aligned}{\frac {\mathrm {d} }{\mathrm {d} x}}\sinh x&=\cosh x\\{\frac {\mathrm {d} }{\mathrm {d} x}}\cosh x&=\sinh x\\{\frac {\mathrm {d} }{\mathrm {d} x}}\tanh x&=1-\tanh ^{2}x=\operatorname {sech} ^{2}x={\frac {1}{\cosh ^{2}x}}\\{\frac {\mathrm {d} }{\mathrm {d} x}}\coth x&=1-\coth ^{2}x=-\operatorname {csch} ^{2}x=-{\frac {1}{\sinh ^{2}x}}\\{\frac {\mathrm {d} }{\mathrm {d} x}}\operatorname {csch} x&=-\coth x\operatorname {csch} x\\{\frac {\mathrm {d} }{\mathrm {d} x}}\operatorname {sech} x&=-\tanh x\operatorname {sech} x\end{aligned}}} したがって、sinh x と cosh x はいずれも二階の線型微分方程式 d 2 d x 2 y ( x ) = y ( x ) {\displaystyle {{\rm {d}}^{2} \over {\rm {d}}x^{2}}y(x)=y(x)} の解であり、この微分方程式の基本解系の一つになる。 双曲線関数のテイラー展開あるいはローラン展開は、以下の式で与えられる。ただし、Bn, En はそれぞれベルヌーイ数 (B2 = 1/6, B4 = −1/30, …)、オイラー数 (E0 = 1, E2 = −1, …) である。 sinh ⁡ x = ∑ n = 0 ∞ x 2 n + 1 ( 2 n + 1 ) ! = x + x 3 3 ! + x 5 5 ! + x 7 7 ! + ⋯ cosh ⁡ x = ∑ n = 0 ∞ x 2 n ( 2 n ) ! = 1 + x 2 2 ! + x 4 4 ! + x 6 6 ! + ⋯ tanh ⁡ x = ∑ n = 1 ∞ 2 2 n ( 2 2 n − 1 ) B 2 n x 2 n − 1 ( 2 n ) ! = x − x 3 3 + 2 x 5 15 − 17 x 7 315 + ⋯ , | x | < π 2 csch ⁡ x = 1 x + ∑ n = 1 ∞ 2 ( 1 − 2 2 n − 1 ) B 2 n x 2 n − 1 ( 2 n ) ! = 1 x − x 6 + 7 x 3 360 − 31 x 5 15120 + ⋯ , 0 < | x | < π sech ⁡ x = ∑ n = 0 ∞ E 2 n x 2 n ( 2 n ) ! = 1 − x 2 2 + 5 x 4 24 − 61 x 6 720 + ⋯ , | x | < π 2 coth ⁡ x = 1 x + ∑ n = 1 ∞ 2 2 n B 2 n x 2 n − 1 ( 2 n ) ! = 1 x + x 3 − x 3 45 + 2 x 5 945 + ⋯ , 0 < | x | < π {\displaystyle {\begin{aligned}\sinh x&=\sum _{n=0}^{\infty }{\frac {x^{2n+1}}{(2n+1)!}}=x+{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}+{\frac {x^{7}}{7!}}+\dotsb \\[1ex]\cosh x&=\sum _{n=0}^{\infty }{x^{2n} \over (2n)!}=1+{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}+{\frac {x^{6}}{6!}}+\dotsb \\[1ex]\tanh x&=\sum _{n=1}^{\infty }{\frac {2^{2n}(2^{2n}-1)B_{2n}x^{2n-1}}{(2n)!}}=x-{\frac {x^{3}}{3}}+{\frac {2x^{5}}{15}}-{\frac {17x^{7}}{315}}+\dotsb ,\quad |x|<{\frac {\pi }{2}}\\[1ex]\operatorname {csch} x&={\frac {1}{x}}+\sum _{n=1}^{\infty }{\frac {2(1-2^{2n-1})B_{2n}x^{2n-1}}{(2n)!}}={\frac {1}{x}}-{\frac {x}{6}}+{\frac {7x^{3}}{360}}-{\frac {31x^{5}}{15120}}+\dotsb ,\quad 0<|x|<\pi \\[1ex]\operatorname {sech} x&=\sum _{n=0}^{\infty }{\frac {E_{2n}x^{2n}}{(2n)!}}=1-{\frac {x^{2}}{2}}+{\frac {5x^{4}}{24}}-{\frac {61x^{6}}{720}}+\dotsb ,\quad |x|<{\frac {\pi }{2}}\\[1ex]\coth x&={\frac {1}{x}}+\sum _{n=1}^{\infty }{\frac {2^{2n}B_{2n}x^{2n-1}}{(2n)!}}={\frac {1}{x}}+{\frac {x}{3}}-{\frac {x^{3}}{45}}+{\frac {2x^{5}}{945}}+\dotsb ,\quad 0<|x|<\pi \end{aligned}}} 双曲線関数は以下に示す無限乗積に展開される。(→証明) sinh ⁡ ( π z ) = π z ∏ n = 1 ∞ ( 1 + z 2 n 2 ) cosh ⁡ ( π z ) = ∏ n = 1 ∞ ( 1 + z 2 ( n − 1 / 2 ) 2 ) {\displaystyle {\begin{aligned}\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-1/2)^{2}}}\right)\end{aligned}}} 複素変数で定義された三角関数と双曲線関数を比べてみると sinh ⁡ x = − i sin ⁡ ( i x ) cosh ⁡ x = cos ⁡ ( i x ) {\displaystyle {\begin{aligned}\sinh x&=-i\sin(ix)\\\cosh x&=\cos(ix)\end{aligned}}} という関係にある。 これは、それぞれの指数関数による表現の比較、テイラー展開の比較などによって導出することができる。 双曲線関数が指数関数で表せるように、その逆関数である逆双曲線関数は対数関数を用いて表示することができる。等式 x = sinh y や x = cosh y などを考えれば、これらは ey に関する二次方程式であるから解くことができて、次の表示を得る。 sinh − 1 ⁡ x = log ⁡ ( x + x 2 + 1 ) cosh − 1 ⁡ x = log ⁡ ( x + x 2 − 1 ) tanh − 1 ⁡ x = 1 2 log ⁡ 1 + x 1 − x {\displaystyle {\begin{aligned}\sinh ^{-1}x&=\log \left(x+{\sqrt {x^{2}+1}}\right)\\\cosh ^{-1}x&=\log \left(x+{\sqrt {x^{2}-1}}\right)\\\tanh ^{-1}x&={\frac {1}{2}}\log {\frac {1+x}{1-x}}\end{aligned}}} 逆関数 sinh−1, cosh−1 などはそれぞれ area sin hyp, area cos hyp （area は「面積」の意）もしくはそれを略して ar sinh, ar cosh と書いたり、逆三角関数と同様に arcsinh, arccosh などと書いたりすることもある。 d d x sinh − 1 ⁡ x = 1 x 2 + 1 d d x cosh − 1 ⁡ x = 1 x 2 − 1 d d x tanh − 1 ⁡ x = 1 1 − x 2 {\displaystyle {\begin{aligned}{\frac {\mathrm {d} }{\mathrm {d} x}}\sinh ^{-1}x&={\frac {1}{\sqrt {x^{2}+1}}}\\{\frac {\mathrm {d} }{\mathrm {d} x}}\cosh ^{-1}x&={\frac {1}{\sqrt {x^{2}-1}}}\\{\frac {\mathrm {d} }{\mathrm {d} x}}\tanh ^{-1}x&={\frac {1}{1-x^{2}}}\end{aligned}}} このことから、(1 − x2)1/2 を含む有理関数の原始関数を求めるために x = sin t などと三角関数を用いた置換積分を考えると有用である場合が多いのと同様に、(x2 + 1)1/2 を含む有理関数の積分に双曲線関数を用いた置換積分を考えることは有用であることが多い。 arcsinh のグラフ arccosh のグラフ arctanh のグラフ