프레네-세레 공식

프레네-세레 공식

공식 1

$\alpha$ 가 $\kappa(s) \ne 0$ 인 단위 스피드 커브라고 하면 $$ \begin{align*} T^{\prime}(s) =& \kappa(s) N(s) \\ N^{\prime}(s) =& - \kappa (s) T(s) + \tau (s) B(s) \\ B^{\prime}(s) =& - \tau(s) N(s) \end{align*} $$

설명

행렬 폼으로 나타내면 다음과 같다. $$ \begin{bmatrix} T \\ N \\ B \end{bmatrix} ^{\prime} = \begin{bmatrix} 0 & \kappa & 0 \\ - \kappa & 0 & \tau \\ 0 & - \tau & 0 \end{bmatrix} \begin{bmatrix} T \\ N \\ B \end{bmatrix} $$

유도

보조정리: $n$차원 내적공간 $V$ 에서 $E = \left\{ e_{1} , \cdots , e_{n} \right\}$ 이 직교 집합이라고 하면 $E$ 는 $V$ 의 기저고, 모든 $v \in V$ 에 대해 $$ v = \sum_{k=1}^{n} \left< v , e_{k} \right> e_{k} $$

내적의 미분법: $$\left< f, g \right>^{\prime} = \left< f^{\prime}, g \right> + \left< f, g^{\prime} \right>$$

프레네-세레 프레임 $\left\{ T, N, B \right\}$ 는 $\mathbb{R}^{3}$ 의 직교 기저다. 위의 보조정리를 이용해 직접 유도한다.


Part 1. $T^{\prime}(s) = \kappa(s) N(s)$

노멀 벡터의 정의에서 $N(s) = {{ T^{\prime}(s) } \over { \kappa (s) }}$ 이므로 $$ T^{\prime}(s) = \kappa (s) N(s) $$


Part 2. $N^{\prime}(s) = - \kappa (s) T(s) + \tau (s) B(s)$

보조정리에 따라 $$ N^{\prime}(s) = \left< N^{\prime} , T \right> T + \left< N^{\prime} , N \right> N + \left< N^{\prime} , B \right> B $$

정리하면 다음을 얻는다. $$ N^{\prime}(s) = - \kappa (s) T(s) + \tau (s) B(s) $$


Part 3. $B^{\prime}(s) = - \tau(s) N(s)$

보조정리에 따라 $$ B^{\prime}(s) = \left< B^{\prime} , T \right> T + \left< B^{\prime} , N \right> N + \left< B^{\prime} , B \right> B $$

정리하면 다음을 얻는다. $$ B^{\prime}(s) = - \tau(s) N(s) $$

따름정리

$\alpha$ 가 평면 위에 놓이는 것은 모든 접평면 이 평행한 것과 동치다.


  1. Millman. (1977). Elements of Differential Geometry: p30. ↩︎

댓글