📂기하학

회전면의 성질

개요

곡선 $\boldsymbol{\alpha}(t) = \left( r(t), z(t) \right)$를 $z-$축에 대해서 회전하여 얻은 회전면을 $\mathbf{x}$라 하자.

$$ \mathbf{x}(t, \theta) = \left( r(t)\cos \theta, r(t)\sin \theta, z(t) \right) $$

회전면의 여러 성질에 대해서 설명한다.

성질

가독성을 위해 $r = r(t)$, $z = z(t)$라 하면,

• 편미분

$$ \begin{align*} \mathbf{x}_{1} &= \mathbf{x}_{t} = \left( \dot{r}\cos\theta, \dot{r}\sin\theta, \dot{z} \right) \\ \mathbf{x}_{2} &= \mathbf{x}_{\theta} = \left( -r\sin\theta, r\cos\theta, 0 \right) \\ \mathbf{x}_{11} &= \mathbf{x}_{tt} = \left( \ddot{r}\cos\theta, \ddot{r}\sin\theta, \ddot{z} \right) \\ \mathbf{x}_{12} = \mathbf{x}_{21} &= \mathbf{x}_{t\theta} = \left( -\dot{r}\sin\theta, \dot{r}\cos\theta, 0 \right) \\ \mathbf{x}_{22} &= \mathbf{x}_{\theta\theta} = \left( -r\cos\theta, -r\sin\theta, 0 \right) \\ \end{align*} $$

• 단위노멀벡터

$$ \mathbf{n} = \dfrac{1}{r\sqrt{\dot{r}^{2} + \dot{z}^{2}}}\left( -r\dot{z}\cos\theta, -r\dot{z}\sin\theta, r\dot{r} \right) $$

• 제1 기본형식¹

$$ \begin{bmatrix} g_{ij} \end{bmatrix} = \begin{bmatrix} \dot{r}^{2} + \dot{z}^{2} & 0 \\ 0 & r^{2} \end{bmatrix} $$

$$ \begin{bmatrix} g^{kl} \end{bmatrix} = \begin{bmatrix} \dfrac{1}{\dot{r}^{2} + \dot{z}^{2}} & 0 \\ 0 & \dfrac{1}{r^{2}} \end{bmatrix} $$

• 제2 기본형식²

$$ \begin{bmatrix} L_{ij} \end{bmatrix} = \dfrac{1}{\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \begin{bmatrix} \dot{r}\ddot{z} - \dot{z}\ddot{r} & 0 \\ 0 & r\dot{z} \end{bmatrix} $$

• 바인가르텡 맵

$$ \begin{bmatrix} {L^{i}}_{j} \end{bmatrix} = \dfrac{1}{\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \begin{bmatrix} \dfrac{\dot{r}\ddot{z} - \dot{z}\ddot{r}}{\dot{r}^{2} + \dot{z}^{2}} & 0 \\ 0 & \dfrac{\dot{z}}{r} \end{bmatrix} $$

• 가우스 곡률

$$ K = \det(L) = \dfrac{(\dot{r}\ddot{z} - \dot{z}\ddot{r})}{(\dot{r}^{2} + \dot{z}^{2})^{2}} \dfrac{\dot{z}}{r} $$

증명

단위노멀벡터

$$ \begin{align*} \mathbf{x}_{1} \times \mathbf{x}_{2} &= \left( \dot{r}\cos\theta, \dot{r}\sin\theta, \dot{z} \right) \times \left( -r\sin\theta, r\cos\theta, 0 \right) \\ &= \left( -r\dot{z}\cos\theta, r\dot{z}\sin\theta, r\dot{r} \right) \end{align*} $$ $$ \begin{align*} \mathbf{n} &= \dfrac{\mathbf{x}_{1} \times \mathbf{x}_{2}}{\left| \mathbf{x}_{1} \times \mathbf{x}_{2} \right|} \\ &= \dfrac{1}{r\sqrt{\dot{r}^{2} + \dot{z}^{2}}}\left( -r\dot{z}\cos\theta, -r\dot{z}\sin\theta, r\dot{r} \right) \end{align*} $$

■

제1 기본형식

$$ \begin{align*} g_{11} = g_{tt} &= \left\langle \mathbf{x}_{t}, \mathbf{x}_{t} \right\rangle = \left( \dot{r}\cos\theta, \dot{r}\sin\theta, \dot{z} \right) \cdot \left( \dot{r}\cos\theta, \dot{r}\sin\theta, \dot{z} \right) \\ &= \dot{r}^{2} + \dot{z}^{2} \end{align*} $$

$$ \begin{align*} g_{12} = g_{21} = g_{t\theta} &= \left\langle \mathbf{x}_{t}, \mathbf{x}_{\theta} \right\rangle = \left( \dot{r}\cos\theta, \dot{r}\sin\theta, \dot{z} \right) \cdot \left( -r\sin\theta, r\cos\theta, 0 \right) \\ &= 0 \end{align*} $$

$$ \begin{align*} g_{22} = g_{\theta\theta} &= \left\langle \mathbf{x}_{\theta}, \mathbf{x}_{\theta} \right\rangle =\left( -r\sin\theta, r\cos\theta, 0 \right) \cdot \left( -r\sin\theta, r\cos\theta, 0 \right) \\ &= r^{2} \end{align*} $$

■

제2 기본형식

$$ \begin{align*} L_{11} =L_{tt} = \left\langle \mathbf{x}_{tt}, \mathbf{n} \right\rangle &= \dfrac{1}{r\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \left( \ddot{r}\cos\theta, \ddot{r}\sin\theta, \ddot{z} \right) \cdot \left( -r\dot{z}\cos\theta, -r\dot{z}\sin\theta, r\dot{r} \right) \\ &= \dfrac{1}{r\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \left( -r\ddot{r}\dot{z}\cos^{2}\theta - r\ddot{r}\dot{z}\sin^{2}\theta + r\dot{r}\ddot{z} \right) \\ &= \dfrac{1}{\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \left( r\dot{r}\ddot{z} -\ddot{r}\dot{z} \right) \end{align*} $$

$$ \begin{align*} L_{12} = L_{21} =L_{t\theta} = \left\langle \mathbf{x}_{t\theta}, \mathbf{n} \right\rangle &= \dfrac{1}{r\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \left( -\dot{r}\sin\theta, \dot{r}\cos\theta, 0 \right) \cdot \left( -r\dot{z}\cos\theta, -r\dot{z}\sin\theta, r\dot{r} \right) \\ &= \dfrac{1}{r\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \left( r\dot{r}\dot{z}\cos\theta\sin\theta - r\dot{r}\dot{z}\cos\theta\sin\theta \right) \\ &= 0 \end{align*} $$

$$ \begin{align*} L_{22} =L_{\theta\theta} = \left\langle \mathbf{x}_{\theta\theta}, \mathbf{n} \right\rangle &= \dfrac{1}{r\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \left( -r\cos\theta, -r\sin\theta, 0 \right) \cdot \left( -r\dot{z}\cos\theta, -r\dot{z}\sin\theta, r\dot{r} \right) \\ &= \dfrac{1}{r\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \left( r^{2}\dot{z}\cos^{2}\theta + r^{2}\dot{z}\sin^{2}\theta \right) \\ &= \dfrac{1}{\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \left( r\dot{z} \right) \end{align*} $$

■

바인가르텡 맵

$$ \begin{align*} \begin{bmatrix} {L^{i}}_{j} \end{bmatrix} &= \begin{bmatrix} {L^{1}}_{1} & {L^{1}}_{2} \\ {L^{2}}_{1} & {L^{2}}_{2} \end{bmatrix} = \begin{bmatrix} g^{li} \end{bmatrix} \begin{bmatrix} L_{ik} \end{bmatrix} \\ &= \dfrac{1}{\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \begin{bmatrix} \dfrac{1}{\dot{r}^{2} + \dot{z}^{2}} & 0 \\ 0 & \dfrac{1}{r^{2}} \end{bmatrix} \begin{bmatrix} \dot{r}\ddot{z} - \dot{z}\ddot{r} & 0 \\ 0 & r\dot{z} \end{bmatrix} \\ &= \dfrac{1}{\sqrt{\dot{r}^{2} + \dot{z}^{2}}} \begin{bmatrix} \dfrac{\dot{r}\ddot{z} - \dot{z}\ddot{r}}{\dot{r}^{2} + \dot{z}^{2}} & 0 \\ 0 & \dfrac{\dot{z}}{r} \end{bmatrix} \end{align*} $$

■