📂幾何学

ガウス曲率が負の回転面

概要¹

ガウス曲率が負の回転面について説明する。

説明

回転面の曲率は$K = - \dfrac{r^{\prime \prime}}{r}$なので、$r^{\prime \prime} - a^{2}r = 0$だ。この微分方程式のソリューションは次の通りである。

$$ r(s) = c_{1} \cosh(as) + c_{2}\sinh(as) $$

これは、適切な定数$B, b, C, c \in \mathbb{R}$に対して、次のように書ける。

$$ r(s) = c_{1} \cosh (as) + c_{2} \sinh (as) = \begin{cases} B\cosh(as + b) & \text{if } c_{1} \gt c_{2} \\ A e^{as} & \text{if } c_{1} = c_{2} = A \\ C\sinh(as + c) & \text{if } c_{1} \lt c_{2} \end{cases} $$

回転面を作る曲線$\boldsymbol{\alpha}$の始点を適切に選んで$b=0, c=0$にすることができる。したがって、$z^{\prime} = \pm\sqrt{1 - (r^{\prime})^{2}}$なので、回転面は次の三つの場合に分かれる。

$$ \begin{equation} \begin{cases} r(s) &= A e^{as} \\ z(s) &= \displaystyle \pm \int_{0}^{s} \sqrt{1 - a^{2}A^{2}e^{2at}}dt + D \end{cases} \end{equation} $$

$$ \begin{equation} \begin{cases} r(s) &= B \cosh (as) \\ z(s) &= \displaystyle \pm \int_{0}^{s} \sqrt{1 - a^{2}B^{2}\sinh^{2}(at)}dt + D \end{cases} \end{equation} $$

$$ \begin{equation} \begin{cases} r(s) &= C \sinh (as) \\ z(s) &= \displaystyle \pm \int_{0}^{s} \sqrt{1 - a^{2}C^{2}\cosh^{2}(at)}dt + D \end{cases} \end{equation} $$

例

$(1)$の場合を見てみよう。$z(s)$が適切に定義されるためには$A a e^{as} \le 1$でなければならない。したがって、

$$ s \le \dfrac{1}{a}\ln \dfrac{1}{aA} $$

今、$aAe^{at} = \sin \phi$とする。

$$ a^{2}Ae^{at} dt = \cos \phi d \phi \implies dt = \dfrac{\cos\phi}{a^{2}Ae^{at}}d\phi = \dfrac{\cos\phi}{a\sin\phi}d\phi $$

$z(s)$は次の通りだ。

$$ \begin{align*} z(s) &= \pm \int _{\sin^{-1}(Aa)}^{\sin^{-1}(Aae^{as})} \sqrt{1 - \sin^{2}\phi} \dfrac{\cos \phi}{a \sin \phi} d\phi \\ &= \pm \int _{\sin^{-1}(Aa)}^{\sin^{-1}(Aae^{as})} \cos \phi \dfrac{\cos \phi}{a \sin \phi} d\phi \\ &= \pm \dfrac{1}{a}\int _{\sin^{-1}(Aa)}^{\sin^{-1}(Aae^{as})} \dfrac{1 - \sin^{2}\phi}{\sin \phi} d\phi \\ &= \pm\dfrac{1}{a} \int _{\sin^{-1}(Aa)}^{\sin^{-1}(Aae^{as})} \dfrac{1}{\sin\phi} - \sin \phi d \phi \\ &= \pm \dfrac{1}{a} \left[ \ln (\tan \frac{\phi}{2}) + \cos \phi \right]_{\sin^{-1}(Aa)}^{\sin^{-1}(Aae^{as})} \\ \end{align*} $$

代入すると、

$$ z(s) = \pm \dfrac{1}{a} \left( \ln \dfrac{\tan \left( \frac{1}{2}\sin^{-1}(Aae^{as}) \right)}{\tan \left( \frac{1}{2} \sin ^{-1}(Aa) \right)} + \sqrt{1 - (Aae^{as})^{2}} - \sqrt{1 - (Aa)^{2}}\right) $$