[論文レビュー] Timelike $B_2$-slant helices in Minkowski space $E_1^4$

Ahmad T. Ali, Rafael López|ArXiv.org|Oct 8, 2008

Advanced Differential Geometry Research参考文献 7被引用数 5

ひとこと要約

本稿では、ミンコフスキー4次元空間 $\mathbb{E}_1^4$ 内の類型的曲線である $B_2$-スラントヘリックスを導入し、特徴づける。これは、第二の副法ベクトル $\mathbf{B}_2$ が固定された方向と一定の内積を保つような、時空的曲線のクラスである。主な結果として、このような曲線は、$\frac{1}{\kappa_1^2}\left(\frac{\kappa_3}{\kappa_2}\right)'{}^2 - \left(\frac{\kappa_3}{\kappa_2}\right)^2$ の定数性によって特徴づけられることを示し、曲率に基づく新しい不変量を用いて、リーマン幾何学への一般化を達成する。

ABSTRACT

We consider a unit speed timelike curve $α$ in Minkowski 4-space $E_1^4$ and denote the Frenet frame of $α$ by $\{T,N,B_1,B_2\}$. We say that $α$ is a generalized helix if one of the unit vector fields of the Frenet frame has constant scalar product with a fixed direction $U$ of $E_1^4$. In this work we study those helices where the function $$ is constant and we give different characterizations of such curves.

研究の動機と目的

• ユークリッド3次元空間におけるスラントヘリックスの概念を、ミンコフスキー4次元空間 $\mathbb{E}_1^4$ 内の時空的曲線へ拡張すること。
• 第二の副法ベクトル $\mathbf{B}_2$ が固定された方向と一定の角をなすような、時空的曲線としての $B_2$-スラントヘリックスを定義し、その性質を研究すること。
• 曲率関数 $\kappa_1$, $\kappa_2$, $\kappa_3$ を用いた、曲線の内在的微分幾何的特徴づけを導出すること。
• リーマン幾何学における一般化ヘリックスに関する先行研究を拡張し、第二の副法ベクトル場に注目すること。

提案手法

• 単位速度の時空的曲線に対するフレネフレーム $\{\mathbf{T}, \mathbf{N}, \mathbf{B}_1, \mathbf{B}_2\}$ を用い、関連する曲率 $\kappa_1$, $\kappa_2$, $\kappa_3$ を定義する。
• 固定された非ゼロ定数ベクトル $U$ に対して $\langle \mathbf{B}_2(s), U \rangle = \text{定数}$ が成り立つ条件を課し、$B_2$-スラントヘリックスを定義する。
• 内積 $\langle \mathbf{B}_2(s), U \rangle$ を微分し、フレネ方程式を用いて常微分方程式系を導出する。
• 定数ベクトル $U$ をフレネフレームのベクトルの線形結合として表現し、曲率関数にかかる制約を計算する。
• $\kappa_3 / \kappa_2$ の比に微分計算を適用し、重要な不変量 $\frac{1}{\kappa_1^2}\left(\frac{\kappa_3}{\kappa_2}\right)'{}^2 - \left(\frac{\kappa_3}{\kappa_2}\right)^2$ を導出する。
• 双曲線関数を用いた同値特徴づけと、$f(s) = \frac{1}{\kappa_1}\left(\frac{\kappa_3}{\kappa_2}\right)'$ を満たす補助関数 $f(s)$ が $f'(s) = \frac{\kappa_1 \kappa_3}{\kappa_2}$ を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 ミンコフスキー4次元空間 $\mathbb{E}_1^4$ 内の時空的曲線が $B_2$-スラントヘリックスであるための内在的微分幾何的条件は何か？
• RQ2 $\langle \mathbf{B}_2(s), U \rangle$ の定数性は、曲率 $\kappa_1$, $\kappa_2$, $\kappa_3$ の変化とどのように関係するか？
• RQ3 $B_2$-スラントヘリックスの条件を、固定された方向 $U$ に依存しない曲率の単一関数として表現できるか？
• RQ4 双曲線関数や曲率の補助関数を用いた $B_2$-スラントヘリックスの代替的特徴づけは何か？
• RQ5 導出された関数 $f(s) = \frac{1}{\kappa_1}\left(\frac{\kappa_3}{\kappa_2}\right)'$ が $f'(s) = \frac{\kappa_1 \kappa_3}{\kappa_2}$ を満たすための条件は何か？ そしてこれはヘリックス性とどのように関連するか？

主な発見

• 単位速度の時空的曲線が $\mathbb{E}_1^4$ 内で $B_2$-スラントヘリックスであるための必要十分条件は、$\frac{1}{\kappa_1^2}\left(\frac{\kappa_3}{\kappa_2}\right)'{}^2 - \left(\frac{\kappa_3}{\kappa_2}\right)^2$ が定数であることである。
• $B_2$-スラントヘリックスの条件は、実数定数 $C$ と $D$ が存在して、$\frac{\kappa_3}{\kappa_2}(s) = C\sinh\left(\int_0^s \kappa_1(t) dt\right) + D\cosh\left(\int_0^s \kappa_1(t) dt\right)$ と表せることと同値である。
• もし $U$ が単位空間的ベクトルであれば、任意の $s$ に対して $\langle \mathbf{B}_2(s), U \rangle^2 = 1$ が成り立つための必要十分条件は、ある定数 $A$ を用いて $\frac{\kappa_3}{\kappa_2}(s) = A \exp\left(\int_0^s \kappa_1(t) dt\right)$ と表せることである。
• 関数 $f(s) = \frac{1}{\kappa_1}\left(\frac{\kappa_3}{\kappa_2}\right)'$ が $f'(s) = \frac{\kappa_1 \kappa_3}{\kappa_2}$ を満たすための必要十分条件は、曲線が $B_2$-スラントヘリックスであることである。
• 分解 $U$ から導かれる定数 $m = a_4^2 - M$ の符号は、$U$ の因果的性質を決定する。$m > 0$ であれば $U$ は時空的または光的である。
• 式 $A^2 - B^2 = a_4^2 - M = a_4^2 m$ は、$A^2 - B^2$ の定数性が曲率不変量の定数性と同値であることを示し、幾何的条件と代数的条件を結びつける。