Table of Contents
双曲線関数
Def: 双曲線関数
\[\begin{align*} \cosh x &= \frac{\exp(x)+\exp(-x)}{2} \\[3pt] \sinh x &= \frac{\exp(x)-\exp(-x)}{2} \\[3pt] \tanh x &= \frac{\sinh x}{\cosh x}=\frac{\exp(x)-\exp(-x)}{\exp(x)+\exp(-x)} \end{align*}\]関数 $f(x)$ を任意の関数としたとき,
\[\begin{align*} \text{偶関数} &= \frac{f(x) + f(-x)}{2}\\[3pt] \text{奇関数} &= \frac{f(x) - f(-x)}{2} \end{align*}\]と表すことが出来ます. このことから$\cosh x, \sinh x$がそれぞれ偶関数, 奇関数であることがわかります. つまり,
\[\begin{align*} \cosh(x) = \cosh(-x)\\ \sinh(x) = -\sinh(-x) \end{align*}\]また, $\cosh x$の逆数も偶関数なので,
\[\text{奇関数} = \text{奇関数} \times \text{偶関数}\]したがって, $\tanh x$は奇関数となります.
双曲線関数の性質
Property 1
\[\cosh^2 x - \sinh^2 x = 1\]
\[\begin{align*}
\cosh^2 x - \sinh^2 x &= \left(\frac{\exp(x)+\exp(-x)}{2}\right)^2 - \left(\frac{\exp(x)-\exp(-x)}{2}\right)^2\\[3pt]
&= \frac{1}{4}\left(\exp(2x) + \exp(-2x) - \exp(2x) - \exp(-2x) + 4\right)\\[3pt]
&= 1
\end{align*}\]
Property 2
\[\begin{align*}
1 - \tanh^2 x = \frac{1}{\cosh^x}
\end{align*}\]
\[\begin{align*}
1 - \tanh^2 x &= \frac{\cosh^2 x}{\cosh^2 x} - \frac{\sinh^2 x}{\cosh^2 x}\\[3pt]
&= \frac{\cosh^2 x - \sinh^2 x}{\cosh^2 x}\\[3pt]
&= \frac{1}{\cosh^2 x}
\end{align*}\]
Property 3
\[\begin{align*}
1 -\frac{1}{\tanh^2 x} = -\frac{1}{\sinh^x}
\end{align*}\]
\[\begin{align*}
1 -\frac{1}{\tanh^2 x} &= \frac{\sinh^2 x}{\sinh^2 x} - \frac{\cosh^2 x}{\sinh^2 x}\\[3pt]
&= \frac{-(\cosh^2 x-\sinh^2 x)}{\sinh^2 x}\\[3pt]
&= -\frac{1}{\sinh^x}
\end{align*}\]
三角関数と双曲線関数の関係
オイラーの公式を用いると三角関数は次のように表わせます
\[\begin{align*} \exp(i\theta) &= \cos\theta + i\sin\theta\qquad\text{(オイラーの公式)}\\[3pt] \cos\theta &= \frac{\exp(i\theta) + \exp(-i\theta)}{2}\\[3pt] \sin\theta &= \frac{\exp(i\theta) - \exp(-i\theta)}{2i} \end{align*}\]この関係に留意すると
\[\begin{align*} \sin(iz) &= i\sinh z\\ \cos(iz) &= \cosh z\\ \end{align*}\]証明
\[\begin{align*} \sin(iz) &= \frac{\exp(i(iz)) - \exp(-i(iz))}{2i}\\[3pt] &= \frac{\exp(-z) - \exp(z)}{2i}\\[3pt] &= i \frac{\exp(-z) - \exp(z)}{-2}\\[3pt] &= i \frac{\exp(z) - \exp(-z)}{2}\\[3pt] &= i\sinh z \end{align*}\]正弦関数とhyperbolic sine
\[\begin{align*} \cos(iz) &= \frac{\exp(i(iz)) + \exp(-i(iz))}{2}\\[3pt] &= \frac{\exp(-z) + \exp(z)}{2}\\[3pt] &= \cosh z \end{align*}\]余弦関数とhyperbolic cosine
双曲線関数と加法定理
双曲線関数と加法定理
\[\begin{align*} \sinh(x \pm y) &= \sinh x\cosh y \pm \cosh x\sinh y\\[3pt] \cosh(x \pm y) &= \cosh x\cosh y \pm \sinh x\sinh y\\[3pt] \tanh(x\pm y) & \frac{\tanh x\pm \tanh y}{1\pm\tanh x\tanh y} \end{align*}\]証明
三角関数の加法定理より
\[\begin{align*} \sin(x\pm y) &= \sin x\cos y \pm \cos x \sin y\\ \cos(x\pm y) &= \cos x\cos y \mp \sin x\sin y \end{align*}\]$(x, y) = (iz, iw)$とするとLHSは
\[\begin{align*} \sin(iz \pm iw) &= \sin(i (z\pm w))\\ &= i\sinh(z\pm w)\\ \cos(iz \pm iw) &= \cos(i (z\pm w))\\ &= \cosh(z\pm w) \end{align*}\]RHSはそれぞれ
\[\begin{align*} \sin iz\cos iw \pm \cos iz \sin iw &= i\sinh z\cosh w \pm \cosh z i\sinh w\\ \cos iz\cos iw \mp \sin iz\sin iw &= \cosh z\cosh w \pm \sinh z\sinh w \end{align*}\]したがって,
\[\begin{align*} \sinh(x \pm y) &= \sinh x\cosh y \pm \cosh x\sinh y\\[3pt] \cosh(x \pm y) &= \cosh x\cosh y \pm \sinh x\sinh y \end{align*}\]双曲線関数の微積分
双曲線関数の定義より微分に関しては以下のことがすぐわかります
Proposition: 双曲線関数の微分
\[\begin{align*} &\frac{d}{dz}\cosh z = \sinh z\\[3pt] &\frac{d}{dz}\sinh z = \cosh z\\[3pt] &\frac{d}{dz}\tanh z = \frac{1}{\cosh^2 z} \end{align*}\]積分も以下のようになります
Proposition: 双曲線関数の積分
\[\begin{align*} &\int\cosh z dz = \sinh z + C\\[3pt] &\int\sinh z dz = \cosh z + C\\[3pt] &\int\tanh z dz = \log(\cosh z) + C \end{align*}\]$\int \tan x dx$と異なり, $\cosh z > 0$なので\tanh x の積分に絶対値は不要であることに留意.
マクローリン展開
Proposition: 双曲線関数のマクローリン展開
\[\begin{align*} \sinh x &= x + \frac{x^3}{3!} + \frac{x^5}{5!} + \cdots\\[3pt] \cosh x &= 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \cdots\\[3pt] \tanh x &= x - \frac{1}{3}x^3 + \frac{2}{15}x^5 - \frac{17}{315}x^7 + \cdots \end{align*}\]$\sinh x, \cosh x$のマクローリン展開の導出は
\[\begin{align*} \exp(x) = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \cdots\\[3pt] \exp(-x) = 1 - x + \frac{x^2}{2!} - \frac{x^3}{3!} + \cdots \end{align*}\]と指数関数$\exp(x)$のマクローリン展開から計算することが出来ます.
cosh, sinhのマクローリン展開その２
三角関数との関係式からの導出
オイラーの公式より
\[\begin{align*} \sin(iz) &= i\sinh z\\ \cos(iz) &= \cosh z \end{align*}\]また, $\sin x, \cos x$のマクローリン展開はそれぞれ
\[\begin{align*} \sin x &= \sum_{n=1}^\infty (-1)^{n+1}\frac{x^{2n-1}}{(2n-1)!}\\[3pt] \cos x &= 1 + \sum_{n=1}^\infty (-1)^{n}\frac{x^{2n}}{(2n)!} \end{align*}\]したがって,
\[\begin{align*} \sinh x &= \frac{1}{i}\sin ix\\[3pt] &= \frac{1}{i}\left\{(ix) - \frac{(ix)^3}{3!} + \frac{(ix)^5}{5!} + \cdots\right\}\\[3pt] &= x + \frac{x^3}{3!} + \frac{x^5}{5!} + \cdots\\[3pt] \\ \cosh x &= \cos ix\\[3pt] &= 1 - \frac{(ix)^2}{2!} + \frac{(ix)^4}{4!} + \cdots\\[3pt] &= 1 + \frac{x^2}{2!} + \frac{x^4}{4!} + \cdots \end{align*}\]tanhのマクローリン展開
tanh xのマクローリン展開
\[\tanh x = x - \frac{1}{3}x^3 + \frac{2}{15}x^5 - \frac{17}{315}x^7 + \cdots\]証明
\[\tan ix=i \tanh x\]
であるので
\[\begin{align*} \tanh x &= \frac{1}{i}\tan ix\\[3pt] &= \frac{1}{i}\left\{(ix) + \frac{1}{3}(ix)^3 + \frac{2}{15}(ix)^5 + \cdots\right\} &= x - \frac{1}{3}x^3 + \frac{2}{15}x^5+ \cdots \end{align*}\]懸垂線上の点の移動
Problem
$x\in [0, 1]$区間上に定義された以下の双曲線関数を考えます
\[y = \frac{\exp(x) + \exp(-x)}{2}\]$(x, y) = (0, 1)$に点があり, 時間がすすむにつれてこの双曲線上を速さ $0.01$で右向きに進むとします. この時間を$t$と表したとき, $t=100$のときこの点が位置するxy座標を答えよ
解答
時刻$t$における点の位置を $\vec{x}(t) = (x(t), y(t))$と表現したとき,
\[\begin{align*} \text{速度 } \vec{v} &= \frac{d\vec{x}(t)}{dt} = \left(\frac{d x(t)}{dt}, \frac{d y(t)}{dt}\right)\\[3pt] \text{速さ } \vert\vec{v}\vert &= \sqrt{\left(\frac{d x(t)}{dt}\right)^2 + \left(\frac{d y(t)}{dt}\right)^2}\\[3pt] &= 0.01 \end{align*}\]と問題文を整理できます.
\[\begin{align*} &\sqrt{\left(\frac{d x(t)}{dt}\right)^2 + \left(\frac{d y(t)}{dt}\right)^2}\\[3pt] &= \sqrt{\left(1 + \left(\frac{d y(t)}{dx}\right)^2\right)\left( \frac{d x(t)}{dt}\right)^2}\\[3pt] &= \sqrt{\left(1 + \sinh^2 x\right)\left( \frac{d x(t)}{dt}\right)^2}\\[3pt] &= \sqrt{\cosh x^2\left( \frac{d x(t)}{dt}\right)^2}\\[3pt] &= \cosh x \frac{dx(t)}{dt} \end{align*}\]したがって,
\[\cosh x \frac{dx(t)}{dt} = 0.01\]を得る. $\displaystyle \frac{dx(t)}{dt}$という$t$についての関数を得るために, 上記の式を$t$について積分します.
\[\begin{align*} &\int^T_0\cosh x \frac{dx(t)}{dt}dt = \int^T_0 0.01 dt\\[3pt] &\Rightarrow \int^{x(T)}_0\cosh x\ dx = \int^T_0 0.01 dt\\[3pt] \end{align*}\]よって,
\[\begin{align*} \sinh(x(T)) &= 0.01T\\ x(T) &= \log(0.01T+\sqrt{(0.01T)^2+1}) \end{align*}\]$t=100$のときの$\vec{x}$を求めたいので, 上記の式に対して$T=100$として,
\[x(100) = \log(1 + \sqrt{2})\]また
\[y(100) = \sqrt{2}\]よって, $\vec{x}(100) = ( \log(1 + \sqrt{2}), \sqrt{2})$
曲線の長さ
Problem
上記の問題設定で点のx座標が1となるまで移動した距離を求めよ
解答 1
移動距離は
\[\text{移動距離} = \text{速さ} \times \text{移動時間}\]で表されるので $x(t) = 1$となるときの$t$を求めることを考える.
\[x(T) = \log(0.01T+\sqrt{(0.01T)^2+1})\]なので
\[\begin{align*} & e = 0.01T+\sqrt{(0.01T)^2+1}\\[3pt] &\Rightarrow e - 0.01 T = \sqrt{(0.01T)^2+1}\\[3pt] &\Rightarrow e^2 + (0.01 T)^2 - 2 e(0.01 T)= (0.01T)^2+1\\[3pt] &\Rightarrow e^2 -1 = 2 e(0.01 T)\\[3pt] &\Rightarrow T = \frac{e^2-1}{2e \times 0.01} \end{align*}\]したがって, 移動距離は
\[\frac{e^2-1}{2e \times 0.01} \times 0.01 = \frac{e^2-1}{2e} = \sinh 1\]解答 2
Theorem
関数$f(x)$が微分可能で, $f^\prime(x)$が連続のとき, $y=f(x)$で表される曲線の$a\leq x\leq b$部分の長さは
\[\int^b_a \sqrt{1 + f^\prime(x)^2}\ dx\]で計算できる.
この定理を用いると
\[\text{移動距離} = \int^1_0 \sqrt{1 + \sinh^2 x}\ dx\]なので
\[\begin{align*} &\int^1_0 \sqrt{1 + \sinh^2 x}\ dx\\[3pt] &= \int^1_0\sqrt{1 + \frac{\exp{2x}-2 + \exp{-2x}}{4}}\ dx \\[3pt] &= \int^1_0\sqrt{\left(\frac{\exp(x)+\exp(-x)}{2}\right)^2}\ dx\\[3pt] &= \int^1_0\cosh(x)\ dx\\[3pt] &= [\sinh x]^1_0 \\[3pt] &= \sinh 1 \end{align*}\]References
統計
Python
math
Linux
Ubuntu 20.04 LTS
Shell
English
git
Ubuntu 22.04 LTS
方法論
統計検定
競技プログラミング
フーリエ解析
前処理
SQL
coding
将棋
Data visualization
Network
statistical inference
VSCode
apt
システム管理
Coffee
Docker
Econometrics
GitHub Pages
cloud
数値計算
素数
Book
Font
Metrics
Poetry
architecture
aws
shell
ssh
systemctl
テンプレート
データ構造
ポワソン分布
会計分析
文字コード
環境構築
論文
App
Bayesian
Dynamic Programming
Keyboard
Processing
R
Steam
filesystem
regex
(注意：GitHub Accountが必要となります）