双曲線関数






6つの双曲線関数 (sinh, cosh, tanh, coth, sech, csch) のグラフ


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




目次






  • 1 概要


  • 2 定義


  • 3 双曲線関数の性質


    • 3.1 基本性質


    • 3.2 加法定理


    • 3.3 微分公式


    • 3.4 冪級数展開




  • 4 無限乗積展開


  • 5 三角関数との関係


  • 6 逆双曲線関数


    • 6.1 微分公式




  • 7 関連項目


  • 8 外部リンク





概要




斜線の領域の面積が θ /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 θ) として、三角関数を定義することができる。


単位円の定義式は


x2+y2=1{displaystyle x^{2}+y^{2}=1}x^{2}+y^{2}=1

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


x2−y2=1{displaystyle x^{2}-y^{2}=1}x^{2}-y^{2}=1

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


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


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


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



定義


双曲線関数は指数関数 ex を用いて


sinh⁡x=ex−e−x2,cosh⁡x=ex+e−x2{displaystyle operatorname {sinh} x={e^{x}-e^{-x} over 2},;operatorname {cosh} x={e^{x}+e^{-x} over 2}}{displaystyle operatorname {sinh} x={e^{x}-e^{-x} over 2},;operatorname {cosh} x={e^{x}+e^{-x} over 2}}

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


tanh⁡x=sinh⁡xcosh⁡x,coth⁡x=1tanh⁡x{displaystyle operatorname {tanh} x={operatorname {sinh} x over operatorname {cosh} x},;operatorname {coth} x={1 over operatorname {tanh} x}}{displaystyle operatorname {tanh} x={operatorname {sinh} x over operatorname {cosh} x},;operatorname {coth} x={1 over operatorname {tanh} x}}

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


sech⁡x=1cosh⁡x,cosech⁡x=1sinh⁡x{displaystyle operatorname {sech} x={1 over operatorname {cosh} x},;operatorname {cosech} x={1 over operatorname {sinh} x}}{displaystyle operatorname {sech} x={1 over operatorname {cosh} x},;operatorname {cosech} x={1 over operatorname {sinh} x}}

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


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


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


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



双曲線関数の性質



基本性質





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





csch, sech と coth のグラフ


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


ex=cosh⁡x+sinh⁡xe−x=cosh⁡x−sinh⁡x{displaystyle {begin{aligned}e^{x}&=cosh x+sinh x\e^{-x}&=cosh x-sinh xend{aligned}}}{displaystyle {begin{aligned}e^{x}&=cosh x+sinh x\e^{-x}&=cosh x-sinh xend{aligned}}}

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



cosh2⁡x−sinh2⁡x=1{displaystyle cosh ^{2}x-sinh ^{2}x=1}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⁡β{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 }}end{aligned}}}{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 }}end{aligned}}}


微分公式


ddxsinh⁡x=cosh⁡xddxcosh⁡x=sinh⁡xddxtanh⁡x=1−tanh2⁡x=sech2⁡x=1cosh2⁡xddxcoth⁡x=1−coth2⁡x=−csch2⁡x=−1sinh2⁡xddxcsch⁡x=−coth⁡xcsch⁡xddxsech⁡x=−tanh⁡xsech⁡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 xoperatorname {csch} x\{frac {mathrm {d} }{mathrm {d} x}}operatorname {sech} x&=-tanh xoperatorname {sech} xend{aligned}}}{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 xoperatorname {csch} x\{frac {mathrm {d} }{mathrm {d} x}}operatorname {sech} x&=-tanh xoperatorname {sech} xend{aligned}}}

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


d2dx2y(x)=y(x){displaystyle {{rm {d}}^{2} over {rm {d}}x^{2}}y(x)=y(x)}{{{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∞x2n+1(2n+1)!=x+x33!+x55!+x77!+⋯cosh⁡x=∑n=0∞x2n(2n)!=1+x22!+x44!+x66!+⋯tanh⁡x=∑n=1∞22n(22n−1)B2nx2n−1(2n)!=x−x33+2x515−17x7315+⋯,|x|<π2csch⁡x=1x+∑n=1∞2(1−22n−1)B2nx2n−1(2n)!=1x−x6+7x3360−31x515120+⋯,0<|x|<πsech⁡x=∑n=0∞E2nx2n(2n)!=1−x22+5x424−61x6720+⋯,|x|<π2coth⁡x=1x+∑n=1∞22nB2nx2n−1(2n)!=1x+x3−x345+2x5945+⋯,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}}}{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+z2n2)cosh⁡(πz)=∏n=1∞(1+z2(n−1/2)2){displaystyle {begin{aligned}sinh(pi z)&=pi zprod _{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}}}{displaystyle {begin{aligned}sinh(pi z)&=pi zprod _{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=−isin⁡(ix)cosh⁡x=cos⁡(ix){displaystyle {begin{aligned}sinh x&=-isin(ix)\cosh x&=cos(ix)end{aligned}}}{displaystyle {begin{aligned}sinh x&=-isin(ix)\cosh x&=cos(ix)end{aligned}}}

という関係にある。


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



逆双曲線関数


詳細は「逆双曲線関数」を参照

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


sinh−1⁡x=log⁡(x+x2+1)cosh−1⁡x=log⁡(x±x2−1)tanh−1⁡x=12log⁡1+x1−x{displaystyle {begin{aligned}sinh ^{-1}x&=log left(x+{sqrt {x^{2}+1}}right)\cosh ^{-1}x&=log left(xpm {sqrt {x^{2}-1}}right)\tanh ^{-1}x&={frac {1}{2}}log {frac {1+x}{1-x}}end{aligned}}}{displaystyle {begin{aligned}sinh ^{-1}x&=log left(x+{sqrt {x^{2}+1}}right)\cosh ^{-1}x&=log left(xpm {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 などと書いたりすることもある。



微分公式


ddxsinh−1⁡x=1x2+1ddxcosh−1⁡x=1x2−1ddxtanh−1⁡x=11−x2{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}}}{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 のグラフ






関連項目



  • 三角関数

  • 媒介変数

  • 指数関数


  • カテナリー曲線 - cosh


  • シグモイド関数、ロジスティック関数 - tanh


  • 双曲線正割分布 - sech


  • グーデルマン関数 - 双曲線関数と三角関数の組合せ



外部リンク


  • Weisstein, Eric W. "Hyperbolic functions". MathWorld（英語）. CS1 maint: Multiple names: authors list








-

Popular posts from this blog

Accessing regular linux commands in Huawei's Dopra Linux

Image
4 Backstory: I have a Huawei HG8245 router in my house and I want to change the default username/password. I've tried following this guide but the config file always gets reset. My ISP isn't helping either so I'm looking for other ways to accomplish this. The router has telnet access so this seems like a way to change the credentials. The first shell I gain access to looks like this: WAP> Pressing "?" gives me a list of available commands which I've pasted here, the two interesting ones are "su" and "shell". I can't seem to get su access, even after logging in as root (challenge password prompt, and then nothing happens), but shell gives me a proper linux shell. WAP>shell BusyBox v1.18.4 (2017-12-26 17:06:34 CST) built-in shell (ash) Enter 'hel...
Read more

Can't connect RFCOMM socket: Host is down

Image
up vote 3 down vote favorite I have bluez 5.4.3 and I am attempting to communicate with a ble device through minicom. These two deceives (my computer and a bluno nano) are alreadt paired and this has been my method so far. #bluetoothctl # pair xx:xx:xx:xx:xx:xx # exit Everything is working well so far then... #sudo rfcomm connect /dev/rfcomm0 xx:xx:xx:xx:xx:xx 1 & [1] 3665 Can't connect RFCOMM socket: Host is down Does anyone know how to resolve this issue? Any help would be very much appreciated. bluetooth bluez share | improve this question asked Feb 9 '17 at 18:46 Brandon Knape 46 2 ...
Read more

Kernel panic - not syncing: Fatal Exception in Interrupt

Image
0 Every day this error occured on my pc, kernel panic error on interrupt, what will be the problem? linux-mint share asked 6 mins ago Vinod Selvin Vinod Selvin 1 1 New contributor Vinod Selvin is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct. add a comment ...
Read more