[论文解读] 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

一句话总结

本文建立了在 $E_{1}^{n}$（具有指标 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}$ 中非零曲线的不可伸长流，其中在演化过程中弧长保持不变。
• 将先前在欧几里得空间和伽利略空间中关于不可伸长曲线流的结果推广到具有不定度量的闵氏几何设定中。
• 利用法曲面标架形式化方法，推导在不可伸长约束下曲率函数的显式演化方程。
• 通过曲率函数的时间导数和标量速度分量，对不可伸长流进行完整表征。

提出的方法

• 使用弧长参数化 $E_{1}^{n}$ 中的非零曲线，并引入以 $u$ 为空间参数、$t$ 为时间的曲线一维族 $\alpha(u,t)$。
• 将流向量定义为 $\frac{\partial\alpha}{\partial t} = \sum_{i=1}^{n} f_i V_i$，其中 $f_i$ 是沿法曲面标架 $\{V_1, \dots, V_n\}$ 的标量速度分量。
• 施加不可伸长条件 $\frac{\partial}{\partial t}\left\| \frac{\partial\alpha}{\partial u} \right\| = 0$，等价于沿曲线有 $\frac{\partial v}{\partial t} = 0$。
• 使用 $E_{1}^{n}$ 中的法曲面公式，引入因果性特征 $\varepsilon_i = \pm 1$，以表达法曲面向量的导数。
• 应用混合偏导数的对称性 $\frac{\partial}{\partial s}\frac{\partial V_i}{\partial t} = \frac{\partial}{\partial t}\frac{\partial V_i}{\partial s}$，推导曲率演化方程。
• 推导出 $\frac{\partial k_i}{\partial t}$ 的显式表达式，其形式涉及 $f_j$、$k_j$ 及其导数，以及结构常数 $\varepsilon_i$。

实验结果

研究问题

• RQ1 在 $E_{1}^{n}$ 中，非零曲线流不可伸长的必要与充分条件是什么，即在演化过程中保持弧长？
• RQ2 在闵氏 n 维空间中，曲率函数 $k_i$ 在不可伸长流下如何随时间演化？
• RQ3 在具有不定度量和因果性特征区分的 $E_{1}^{n}$ 中，法曲面标架形式化如何影响曲率演化方程的推导？
• RQ4 标量速度分量 $f_i$ 及其导数在曲线演化过程中如何影响弧长的保持？
• RQ5 所推导的曲率演化方程如何推广欧几里得空间和伽利略空间中的已知结果？

主要发现

• 本文推导出 $E_{1}^{n}$ 中不可伸长流的必要与充分条件为 $\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}$，并纳入了洛伦兹度量和向量因果性特征的影响。