\usepackagecancel

Return to 理工系の数学B

双曲線関数の定義とその微分

三角関数と紛らわしい表記の「双曲線関数」の定義とその微分。
coshxex+ex2,sinhxexex2,tanhxsinhxcoshx(coshx)=sinhx,(sinhx)=coshx,(tanhx)=1cosh2x


指数関数および三角関数に関連して,「双曲線関数」の定義とその微分についてまとめる。双曲線関数は三角関数と紛らわしい表記であり,その性質もなんとなく類似性がある。後に「人類の至宝:オイラーの公式」の段で,双曲線関数と三角関数は密接な関係があることがわかるので,そこまではしばらく辛抱してください。双曲線関数はスマホアプリの「計算機」でも使えます。(以下は iPhone の例。横向きにする。)

また,双曲線関数なんて所詮,指数関数から作られるだけだから,指数関数さえ覚えておけばわざわざ双曲線関数などとあらためて覚えておく必要はないだろう… という人もいるかもしれない。しかし,力学の減衰振動問題や,宇宙論においてフリードマン(FLRW)モデルに関わる問題では,双曲線関数を使った統一的理解が不可欠である。だから,宇宙論を勉強したい人(や,少なくとも力学の減衰振動問題をすっきり理解したい人)は,しっかりと双曲線関数を理解しておいたほうが絶対お得!です(たぶん)

たとえば,宇宙膨張をあらわすスケール因子の表記には三角関数や双曲線関数が出てきますよ。以下のページなどを参照:

双曲線関数の定義

ハイパボリックコサイン coshx

y=coshxex+ex2 coshx の読み方は「ハイパボリックコサイン・エックス」。定義域と値域は,

<x<,1y<

ハイパボリックサイン sinhx

y=sinhxexex2 sinhx の読み方は「ハイパボリックサイン・エックス」。

定義域と値域は,

<x<,<y<

ハイパボリックタンジェント tanhx

y=tanhxsinhxcoshx=exexex+ex tanhx の読み方は「ハイパボリックタンジェント・エックス」。

定義域と値域は,

<x<,1<y<1

双曲線関数の性質

coshx は偶関数であり,x=0 での値は 1。(そういえば cosx も偶関数であり,x=0 での値は1 だったなぁ。)

cosh(x)=ex+ex2=ex+ex2=coshx
cosh0=e0+e02=1+12=1

sinhx は奇関数であり,x=0 での値は 0。(そういえば sinx も奇関数であり,x=0 での値は0 だったなぁ。)

sinh(x)=exex2=exex2=sinhx

sinh0=e0e02=112=0

(coshx)2(sinhx)2 との間の関係。

cosh2xsinh2x=e2x+2+e2x4e2x2+e2x4=1(そういえば,cos2x+sin2x=1 と符号がちょっと違うけど似てるなぁ。)

さらには,以下のような「加法定理」も成り立つ。

cosh(x+y)=coshxcoshy+sinhxsinhy
sinh(x+y)=sinhxcoshy+coshxsinhy
(そういえば,
cos(x+y)=cosxcosysinxsiny,  sin(x+y)=sinxcosy+cosxsinyと符号がちょっと違うけど似てるなぁ。)

直接計算して証明してみる。
coshxcoshy+sinhxsinhy=ex+ex2ey+ey2+exex2eyey2=ex+y+exy+ex+y+exy4+ex+yexyex+y+exy4=2ex+y+2e(x+y)4=cosh(x+y)sinh(x+y) についても同様。

双曲線関数の微分

先に答えをまとめておく。

(coshx)=sinhx,(sinhx)=coshx,(tanhx)=1cosh2x

(そういえば,(cosx)=sinx,(sinx)=cosx,(tanx)=1cos2xと符号がちょっと違うけどにてるなぁ。)

(coshx),(sinhx) については定義から明らか。念のために (coshx) について微分してみると,
(coshx)=(ex+ex2)=exex2=sinhx (sinhx) についても簡単に導ける。

また,(tanhx) については,
(tanhx)=(sinhxcoshx)=(sinhx)coshxsinhx(coshx)cosh2x=coshxcoshxsinhxsinhxcosh2x=1cosh2x

双曲線関数のグラフ

3つまとめてグラフにすると…