フレネ・セレの公式

空間曲線; ベクトル T, N , B; そして T と N で張られる 接触平面。

フレネ・セレの公式 (ふれねせれのこうしき、テンプレート:Lang-en-short) は、3次元ユークリッド空間内 R³ 内の連続で微分可能な曲線上を動く粒子の運動学的性質、あるいは、曲線自身の幾何学的性質を記述するベクトル解析の概念の一つである。

公式

この公式は、曲線に対する接線方向 (tangent)・主法線方向 (normal)・従法線方向 (binormal)を指す３つの単位ベクトルの組{T, N, B }からなるフレネ・セレ標構とその微分との間の線形関係について記述したものであり、二人のフランス人数学者テンプレート:仮リンク (Jean Frédéric Frenet, 1847) とテンプレート:仮リンク (Joseph Alfred Serret, 1851) によって独立に発見された。

フレネ・セレ基底を構成する単位接ベクトル T ・単位主法線ベクトル N ・単位従法線ベクトル B は次のように定義される。

• T は曲線に接する単位ベクトルで、運動の方向を向いている。
• N は T を曲線の弧長で微分し、その大きさで割ったものである。
• B は T と N のベクトル積である。

フレネ・セレの公式は

$\begin{array}{ccccc}\frac{\mathrm{d}𝑻}{\mathrm{d}s}& =& & \kappa 𝑵& \\ & & & & \\ \frac{\mathrm{d}𝑵}{\mathrm{d}s}& =& -\kappa 𝑻& & +\tau 𝑩\\ & & & & \\ \frac{\mathrm{d}𝑩}{\mathrm{d}s}& =& & -\tau 𝑵& \end{array}$

あるいは

$\frac{\mathrm{d}}{\mathrm{d}s}\left(\begin{array}{c}𝑻\\ 𝑵\\ 𝑩\end{array}\right)=\left(\begin{array}{ccc}0& \kappa & 0\\ -\kappa & 0& \tau \\ 0& -\tau & 0\end{array}\right)\left(\begin{array}{c}𝑻\\ 𝑵\\ 𝑩\end{array}\right)$

と表される。

ここで、d/ds は、弧長についての微分を表し、κ, τ はそれぞれ曲線の曲率、捩率を表す。

導出

前提

ユークリッド空間内を運動する粒子の時刻 t における位置ベクトルを テンプレート:Nowrap とする。関数 テンプレート:Nowrap のグラフは粒子の軌道を表す曲線である。 ただし、 r (t) は滑らかな関数であり、 軌道は曲がっている (テンプレート:Nowrap×テンプレート:Nowrap≠0) と仮定する。

弧長パラメータ

s (t) を弧長、すなわち、粒子が時刻 t までに曲線上を動いた距離

$s(t)=\underset{0}{\overset{t}{\int }}\Vert {𝒓}^{\prime }(\sigma )\Vert \mathrm{d}\sigma .$

とする。テンプレート:Nowrap≠0 を仮定しているので、t を s の関数として表せ、よって、r をs の関数として テンプレート:Nowrap=テンプレート:Nowrap と表せる。このように、曲線を弧長でパラメータ表示できる。なお、微分は

$\frac{\mathrm{d}}{\mathrm{d}s}=\frac{1}{\Vert {𝒓}^{\prime }(t)\Vert }\frac{\mathrm{d}}{\mathrm{d}t}$

と変換できる。

互いに直交する単位ベクトルの微分

曲線上の各点 テンプレート:Nowrap で定義された正規直交基底 { テンプレート:Nowrap, テンプレート:Nowrap, テンプレート:Nowrap } (テンプレート:仮リンク)を考える。それぞれのベクトルは s について微分可能とする。

微分したベクトル { テンプレート:Nowrap, テンプレート:Nowrap, テンプレート:Nowrap }は、 あるスカラー関数 ω₁(s), ω₂(s), ω₃(s) を使って

$\frac{\mathrm{d}}{\mathrm{d}s}\left(\begin{array}{c}{𝒆}_1(s)\\ {𝒆}_2(s)\\ {𝒆}_3(s)\end{array}\right)=\left(\begin{array}{ccc}0& {\omega }_3& -{\omega }_2\\ -{\omega }_3& 0& {\omega }_1\\ {\omega }_2& -{\omega }_1& 0\end{array}\right)\left(\begin{array}{c}{𝒆}_1(s)\\ {𝒆}_2(s)\\ {𝒆}_3(s)\end{array}\right)$ …(0)

と表せる。

テンプレート:Hidden begin 基底の縦表示

$Q=\left(\begin{array}{c}{𝒆}_1(s)\\ {𝒆}_2(s)\\ {𝒆}_3(s)\end{array}\right)$

を考える。これらの要素のベクトルは基底をなすから任意のベクトルを線形和で表示できる。 よって自身の微分に対しても

$\frac{\mathrm{d}Q}{\mathrm{d}s}=\mathrm{\Omega }Q$ …(p1)

となる行列 Ω が存在する。 よって、証明すべきことはこの行列が反対称性 (Ω^T=-Ω) を持つことである。

さて、 { テンプレート:Nowrap, テンプレート:Nowrap, テンプレート:Nowrap } は正規直交基底なので

$\begin{array}{cc}Q\cdot Q^{\mathrm{T}}& =\left(\begin{array}{c}{𝒆}_1(s)\\ {𝒆}_2(s)\\ {𝒆}_3(s)\end{array}\right)\cdot \left(\begin{array}{ccc}{𝒆}_1(s)& {𝒆}_2(s)& {𝒆}_3(s)\end{array}\right)\\ & =\left(\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}\right)\\ \therefore Q\cdot Q^{\mathrm{T}}& =I\end{array}$

となる。

これを式(p1)に適用すると

$\mathrm{\Omega }=\frac{\mathrm{d}Q}{\mathrm{d}s}\cdot Q^{\mathrm{T}}$

が得られる。

また、テンプレート:Nowrap=テンプレート:Nowrap・Q^T の両辺を微分すると、

$\begin{array}{cc}0& =\frac{\mathrm{d}Q}{\mathrm{d}s}\cdot Q^{\mathrm{T}}+Q\cdot \frac{\mathrm{d}{Q}^{\mathrm{T}}}{\mathrm{d}s}\\ & =\frac{\mathrm{d}Q}{\mathrm{d}s}\cdot Q^{\mathrm{T}}+{(\frac{\mathrm{d}Q}{\mathrm{d}s}\cdot Q^{\mathrm{T}})}^{\mathrm{T}}& =\mathrm{\Omega }+{\mathrm{\Omega }}^{\mathrm{T}}\end{array}$

が導かれる。これより、Ω が反対称性

$\mathrm{\Omega }=\left(\begin{array}{ccc}0& {\omega }_3& -{\omega }_2\\ -{\omega }_3& 0& {\omega }_1\\ {\omega }_2& -{\omega }_1& 0\end{array}\right)$

を持つことが示せた。 テンプレート:Hidden end 反対称行列は3個のパラメータで表せるが、以下に示すように、正規直交基底を適切に選ぶと反対称行列の成分を2個のパラメータで表すことができる。

フレネ・セレ標構

曲線上の各点 テンプレート:Nowrap において、3組のベクトル {T, N, B} を以下のように定義する:

$\begin{array}{cc}𝑻& \equiv \frac{\mathrm{d}𝒓}{\mathrm{d}s}\\ & =\frac{{𝒓}^{\prime }(t)}{\Vert {𝒓}^{\prime }(t)\Vert }& (1)\\ 𝑵& \equiv \frac{\mathrm{d}𝑻/\mathrm{d}s}{\Vert \mathrm{d}𝑻/\mathrm{d}s\Vert }\\ & =\frac{{𝒓}^{\prime }(t)\times ({𝒓}^{″}(t)\times {𝒓}^{\prime }(t))}{\Vert {𝒓}^{\prime }(t)\times ({𝒓}^{″}(t)\times {𝒓}^{\prime }(t))\Vert }& (2)\\ 𝑩& \equiv 𝑻\times 𝑵\\ & =\frac{{𝒓}^{\prime }(t)\times {𝒓}^{″}(t)}{\Vert {𝒓}^{\prime }(t)\times {𝒓}^{″}(t)\Vert }& (3)\end{array}$

これらは正規直交基底であり、この順に右手系をなすことがわかる。{T, N, B} をフレネ・セレ標構とよぶ。

フレネ・セレの公式

フレネ・セレ標構に対して、動標構の微分の関係式(0)を適用すると、フレネ・セレ標構の定義(2)からω₂=0となる。 ω₃=κ,ω₁=τと置き換えるとフレネ・セレの公式:

$\frac{\mathrm{d}}{\mathrm{d}s}\left(\begin{array}{c}𝑻\\ 𝑵\\ 𝑩\end{array}\right)=\left(\begin{array}{ccc}0& \kappa & 0\\ -\kappa & 0& \tau \\ 0& -\tau & 0\end{array}\right)\left(\begin{array}{c}𝑻\\ 𝑵\\ 𝑩\end{array}\right)$

が得られる。

κ,τはそれぞれ曲線の曲率、捩率を表し、公式より、

$\begin{array}{cc}\kappa & =\frac{\mathrm{d}𝑻}{\mathrm{d}s}\cdot 𝑵\\ & =\frac{\Vert {𝒓}^{\prime }(t)\times {𝒓}^{″}(t)\Vert }{{\Vert {𝒓}^{\prime }(t)\Vert }^3}\\ \tau & =-\frac{\mathrm{d}𝑩}{\mathrm{d}s}\cdot 𝑵\\ & =\frac{{𝒓}^{\prime }(t)\cdot ({𝒓}^{″}(t)\times {𝒓}^{‴}(t))}{{\Vert {𝒓}^{\prime }(t)\times {𝒓}^{″}(t)\Vert }^2}\end{array}$

と与えられる。定義により テンプレート:Nowrap である。

具体例

螺旋上を動くフレネ・セレ標構。青い矢印は T、赤い矢印は N、黒い矢印は B をそれぞれ表す。

半径 r (>0)、間隔 2π h 、角速度ω(>0)の螺旋上の運動

$\begin{array}{cc}x(t)& =r\cos (\omega t)\\ y(t)& =r\sin (\omega t)\\ z(t)& =h\omega t\end{array}$

を考える。弧長は

$s(t)=\sqrt{r^2+h^2}\omega t$

で与えられる。

フレネ・セレ標構は

$\begin{array}{cc}𝑻(s)& =\frac{1}{\sqrt{r^2+h^2}}\left(\begin{array}{ccc}-r\sin (\omega t),& r\cos (\omega t),& h\end{array}\right)\\ 𝑵(s)& =\left(\begin{array}{ccc}-\cos (\omega t),& -\sin (\omega t),& 0\end{array}\right)\\ 𝑩(s)& =\frac{1}{\sqrt{r^2+h^2}}\left(\begin{array}{ccc}h\sin (\omega t),& -h\cos (\omega t),& r\end{array}\right)\end{array}$

であり、曲率・捩率は

$\begin{array}{cc}\kappa & =\frac{r}{r^2+h^2}\\ \tau & =\frac{h}{r^2+h^2}\end{array}$

となる。

h =0 のとき、軌道は xy 面内の半径 r の円周になり、曲率は κ=1/r 、 捩率は τ =0 となる。|h| が大きくなるにつれ、曲率はκ→0、捩率は τ →1/h となる。

応用例

ロボットマニピュレータの姿勢とその軌道を記述したりテンプレート:Sfnテンプレート:Sfn、蛇型ロボットや多関節ロボットを連続曲線で近似して表現テンプレート:Sfnテンプレート:Sfnする際に用いられる。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite journal
• テンプレート:Cite book (TLFeBOOK)
• テンプレート:Cite book(first edition published in 1997)
• テンプレート:Cite journal
• テンプレート:Cite book

関連項目

• 曲率
• 捩率
• 接触平面
• 力学
• 物理学
• ロボット工学