フレネ・セレの公式 (ふれねせれのこうしき、英: Frenet–Serret formulas) は、3次元ユークリッド空間内 R3 内の連続で微分可能な曲線上を動く粒子の運動学的性質、あるいは、曲線自身の幾何学的性質を記述するベクトル解析の概念の一つである。
この公式は、曲線に対する接線方向 (tangent)・主法線方向 (normal)・従法線方向 (binormal)を指す3つの単位ベクトルの組{T, N, B }からなるフレネ・セレ標構とその微分との間の線形関係について記述したものであり、二人のフランス人数学者ジャン・フレデリック・フルネ(英語版) (Jean Frédéric Frenet, 1847) とジョゼフ・アルフレッド・セレ(英語版) (Joseph Alfred Serret, 1851) によって独立に発見された。
フレネ・セレ基底を構成する単位接ベクトル T ・単位主法線ベクトル N ・単位従法線ベクトル B は次のように定義される。
- T は曲線に接する単位ベクトルで、運動の方向を向いている。
- N は T を曲線の弧長で微分し、その大きさで割ったものである。
- B は T と N のベクトル積である。
フレネ・セレの公式は
-
あるいは
-
と表される。
ここで、d/ds は、弧長についての微分を表し、κ, τ はそれぞれ曲線の曲率、捩率を表す。
ユークリッド空間内を運動する粒子の時刻 t における位置ベクトルを r (t) とする。関数 r (t) のグラフは粒子の軌道を表す曲線である。
ただし、 r (t) は滑らかな関数であり、
軌道は曲がっている (r "(t)×r '(t)≠0)
と仮定する。
s (t) を弧長、すなわち、粒子が時刻 t までに曲線上を動いた距離
-
とする。r '≠0 を仮定しているので、t を s の関数として表せ、よって、r をs の関数として r(s)=r(t(s)) と表せる。このように、曲線を弧長でパラメータ表示できる。なお、微分は
-
と変換できる。
曲線上の各点 r (s) で定義された正規直交基底 {
e1(s),
e2(s),
e3(s)
} (動標構(英語版))を考える。それぞれのベクトルは s について微分可能とする。
微分したベクトル
{
de1(s)/ds ,
de2(s)/ds ,
de3(s )/ds
}は、
あるスカラー関数
ω1(s), ω2(s), ω3(s) を使って
- …(0)
と表せる。
行列の反対称性の証明
基底の縦表示
-
を考える。これらの要素のベクトルは基底をなすから任意のベクトルを線形和で表示できる。
よって自身の微分に対しても
- …(p1)
となる行列 Ω が存在する。
よって、証明すべきことはこの行列が反対称性 (ΩT=-Ω) を持つことである。
さて、
{
e1(s),
e2(s),
e3(s)
} は正規直交基底なので
-
となる。
これを式(p1)に適用すると
-
が得られる。
また、I =Q ・QT の両辺を微分すると、
-
が導かれる。これより、Ω が反対称性
-
を持つことが示せた。
反対称行列は3個のパラメータで表せるが、以下に示すように、正規直交基底を適切に選ぶと反対称行列の成分を2個のパラメータで表すことができる。
曲線上の各点 r (s) において、3組のベクトル {T, N, B} を以下のように定義する:
-
これらは正規直交基底であり、この順に右手系をなすことがわかる。{T, N, B} をフレネ・セレ標構とよぶ。
フレネ・セレ標構に対して、動標構の微分の関係式(0)を適用すると、フレネ・セレ標構の定義(2)からω2=0となる。
ω3=κ,ω1=τと置き換えるとフレネ・セレの公式:
-
が得られる。
κ,τはそれぞれ曲線の曲率、捩率を表し、公式より、
-
と与えられる。定義により κ >0 である。
半径 r (>0)、間隔 2π h 、角速度ω(>0)の螺旋上の運動
-
を考える。弧長は
-
で与えられる。
フレネ・セレ標構は
-
であり、曲率・捩率は
-
となる。
h =0 のとき、軌道は xy 面内の半径 r の円周になり、曲率は κ=1/r 、 捩率は τ =0 となる。|h| が大きくなるにつれ、曲率はκ→0、捩率は τ →1/h となる。
ロボットマニピュレータの姿勢とその軌道を記述したり、蛇型ロボットや多関節ロボットを連続曲線で近似して表現する際に用いられる。