[論文レビュー] A Note on Inextensible Flows of Curves in E^n,1

Önder Gökmen Yıldız, Murat Tosun|arXiv (Cornell University)|Feb 25, 2013

Geometric Analysis and Curvature Flows参考文献 9被引用数 8

ひとこと要約

本稿は、1のインデックスをもつn次元ミンコフスキー空間$E_{1}^{n}$における非零曲線の非伸縮的流れの必要十分条件を確立する。フリネット枠と曲率の時間発展方程式を用いて、弧長が保存される制約下での曲率関数の時間微分を導出し、ユークリッド的および擬リーマン的設定における先行研究を一般化する。

ABSTRACT

In this paper, we study inextensible flows of non-null curves in E^n,1. We give necessary and sufficient conditions for inextensible flow of nonnull curves in E^n,1.

研究の動機と目的

• 弧長が保存される条件下での擬ユークリッド空間$E_{1}^{n}$における非零曲線の非伸縮的流れを調査すること。
• ユークリッド空間およびガリレオ空間における非伸縮的曲線流れの先行結果を、不定計量を有するミンコフスキー的設定に一般化すること。
• フリネット枠形式を用いて、非伸縮的制約下での曲率関数の明示的発展方程式を導出すること。
• 曲率関数の時間微分とスカラー速度成分を用いた完全な非伸縮的流れの特徴付けを確立すること。

提案手法

• 空間パラメータ$u$と時間パラメータ$t$を用いた一価族曲線$\alpha(u,t)$として、$E_{1}^{n}$における非零曲線を弧長でパラメトライズする。
• 流れベクトルを$\frac{\partial\alpha}{\partial t} = \sum_{i=1}^{n} f_i V_i$として定義し、$\{V_1, \dots, V_n\}$をフリネット枠とし、$f_i$を各方向のスカラー速度成分とする。
• 非伸縮性条件$\frac{\partial}{\partial t}\left\| \frac{\partial\alpha}{\partial u} \right\| = 0$を課し、曲線上で$\frac{\partial v}{\partial t} = 0$と同値であることを示す。
• 因果的性質$\varepsilon_i = \pm 1$を含む$E_{1}^{n}$におけるフリネット公式を用いて、フリネットベクトルの微分を表現する。
• フリネットベクトルの混合偏微分の対称性$\frac{\partial}{\partial s}\frac{\partial V_i}{\partial t} = \frac{\partial}{\partial t}\frac{\partial V_i}{\partial s}$を適用し、曲率発展方程式を導出する。
• 構造定数$\varepsilon_i$を含む、$f_j$, $k_j$およびその微分の関数として$\frac{\partial k_i}{\partial t}$の明示的表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 非零曲線の流れが$E_{1}^{n}$で非伸縮的である、すなわち弧長を保存するための必要十分条件は何か？
• RQ2 ミンコフスキー的n次元空間における非伸縮的流れ下で、曲率関数$k_i$はどのように時間発展するか？
• RQ3 不定計量と因果的性質の区別を有する$E_{1}^{n}$におけるフリネット枠形式は、曲率発展の導出にどのように影響を与えるか？
• RQ4 スカラー速度成分$f_i$およびその微分は、曲線の発展中に弧長の保存にどのように寄与するか？
• RQ5 導出された曲率発展方程式は、ユークリッド的およびガリレオ空間における既知の結果をどのように一般化するか？

主な発見

• 本稿は、非伸縮的流れの必要十分条件を$\frac{\partial}{\partial t}\left\| \frac{\partial\alpha}{\partial u} \right\| = 0$として導出し、これは$\frac{\partial v}{\partial t} = 0$を意味する。
• 第一の曲率の時間微分は$\frac{\partial k_1}{\partial t} = \varepsilon_0\varepsilon_1 f_2 k_1^2 + f_1 \frac{\partial k_1}{\partial s} + \frac{\partial^2 f_2}{\partial s^2} - 2\varepsilon_1\varepsilon_2 \frac{\partial f_3}{\partial s} k_2 - \varepsilon_1\varepsilon_2 f_3 \frac{\partial k_2}{\partial s} - \varepsilon_1\varepsilon_2 f_2 k_2^2 - \varepsilon_1\varepsilon_3 f_4 k_2 k_3$で与えられる。
• $1 < i < n$に対して、曲率発展は$\frac{\partial k_{i-1}}{\partial t} = -\varepsilon_{i-2}\varepsilon_{i-1} \frac{\partial \Psi_{(i-1)i}}{\partial s} - \varepsilon_{i-2}\varepsilon_{i-1} \Psi_{(i-2)i} k_{i-2}$で与えられ、ここで$\Psi_{ij}$は流れベクトルの微分の成分である。
• 最後の曲率の発展は$\frac{\partial k_{n-1}}{\partial t} = -\varepsilon_{n-2}\varepsilon_{n-1} \frac{\partial \Psi_{(n-1)n}}{\partial s} - \varepsilon_{n-2}\varepsilon_{n-1} \Psi_{(n-2)n} k_{n-2}$で与えられる。
• 導出は、フリネットベクトルの混合偏微分の対称性に依拠しており、一貫性のある曲率発展方程式が得られる。
• 結果として、ローレンツ的符号とベクトルの因果的性質の影響を組み込んだ$E_{1}^{n}$における非伸縮的流れ理論が一般化された。