[论文解读] Complete systems of invariants for rank 1 curves in Lagrange Grassmannians

Igor Zelenko|ArXiv.org|Nov 9, 2004

Advanced Differential Geometry Research参考文献 1被引用 8

一句话总结

本文提出了一种构建拉格朗日子射 Grassmannian 中秩 1 曲线的完整辛不变量系统的全新简化方法——即其速度映射为秩 1 线性算子的曲线。通过引入具有最小结构方程的典范运动标架，作者构造出 $ m $ 个主不变量的元组（其中 $ m $ 为辛空间维数的一半），证明了任意 $ m $ 个光滑函数均可作为唯一一条曲线（在辛变换下）的不变量，从而以比以往工作更直接、更清晰的方式解决了长期存在的问题。

ABSTRACT

Curves in Lagrange Grassmannians naturally appear when one studies intrinsically "the Jacobi equations for extremals", associated with control systems and geometric structures. In this way one reduces the problem of construction of the curvature-type invariants for these objects to the much more concrete problem of finding of invariants of curves in Lagrange Grassmannians w.r.t. the action of the linear Symplectic group. In the present paper we develop a new approach to differential geometry of so-called rank 1 curves in Lagrange Grassmannian, i.e., the curves with velocities being rank one linear mappings (under the standard identification of the tangent space to a point of the Lagrange Grassmannian with an appropriate space of linear mappings). The curves of this class are associated with "the Jacobi equations for extremals", corresponding to control systems with scalar control and to rank 2 vector distributions. In particular, we construct the tuple of m principal invariants, where m is equal to half of dimension of the ambient linear symplectic space, such that for a given tuple of arbitrary m smooth functions there exists the unique, up to a symplectic transformation, rank 1 curve having this tuple, as the tuple of the principal invariants. This approach extends and essentially simplifies some results of our previous paper (J. Dynamical and Control Systems, 8, 2002, No. 1, 93-140), where only the uniqueness part was proved and in rather cumbersome way. It is based on the construction of the new canonical moving frame with the most simple structural equation.

研究动机与目标

• 为拉格朗日子射 Grassmannian 中的秩 1 曲线构建完整的辛不变量系统，这些曲线在控制系统的曲率型不变量与几何结构研究中具有核心地位。
• 通过引入更直接且概念更简洁的方法，克服先前方法在繁琐方式下仅证明不变量唯一性的局限。
• 构造一个具有简化结构方程的典范运动标架，以实现不变量的显式推导。
• 证明对于任意 $ m $ 个实直线上的光滑函数，均存在唯一一条（在辛变换下）秩 1 曲线，其主不变量恰好为这些函数，其中 $ m $ 为环境辛空间维数的一半。

提出的方法

• 作者通过利用与给定拉格朗日子空间横截的拉格朗日子空间集合的仿射结构，为秩 1 曲线引入了一种新的典范运动标架。
• 他们定义了一个向量值函数 $ w(t, \tau) $，该函数由仿射空间中曲线速度导出，其在 $ t = \tau $ 处具有 $ m $ 阶极点，从而可提取出每个 $ \Lambda(\tau) $ 上的典范基 $ e_1(\tau), \dots, e_m(\tau) $。
• 对 $ w(t, \tau) $ 在 $ t = \tau $ 处的洛朗展开得到系数 $ e_1(\tau), \dots, e_m(\tau) $，构成 $ \Lambda(\tau) $ 的一组基，用于定义典范标架。
• 导出曲线 $ \Lambda^0(\tau) $ 被构造为 $ \Lambda(\tau)^{\pitchfork} $ 中唯一的子空间，使得 $ \Lambda_\tau(t) - \Lambda^0(\tau) $ 的洛朗展开无常数项，从而确保标架的归一化。
• 通过辛对偶关系 $ \sigma(f_i, e_j) = \delta_{ij} $ 定义对偶向量 $ f_1(\tau), \dots, f_m(\tau) $，完成典范 Darboux 标架 $ (e_1, \dots, e_m, f_1, \dots, f_m) $。
• 该标架的结构方程被证明为最简形式，从而可直接构造出 $ m $ 个主不变量 $ \lambda_i(t) $，构成完整的辛不变量系统。

实验结果

研究问题

• RQ1 能否以比以往方法更直接、更概念清晰的方式，为拉格朗日子射 Grassmannian 中的秩 1 曲线构建完整的辛不变量系统？
• RQ2 对于任意给定的 $ m $ 个光滑函数作为不变量，是否可证明存在唯一一条（在辛变换下）秩 1 曲线，其不变量恰好为这些函数？
• RQ3 如何构造一个结构方程最简且便于显式计算不变量的典范运动标架？
• RQ4 在 $ \Lambda^{\pitchfork} $ 上的仿射结构在定义秩 1 曲线的典范基与标架中起到何种作用？

主要发现

• 本文为 $ 2m $ 维辛空间的拉格朗日子射 Grassmannian 中的秩 1 曲线，构造了 $ m $ 个主不变量 $ \lambda_1(t), \dots, \lambda_m(t) $ 的完整系统。
• 对于任意 $ m $ 个定义在 $ \mathbb{R} $ 上的光滑函数，均存在唯一一条（在辛变换下）秩 1 曲线，其不变量恰好为这些函数。
• 新构造的典范运动标架具有最简形式的结构方程，显著简化了不变量的计算过程。
• 基于向量函数 $ w(t, \tau) $ 的洛朗展开方法，可在每个 $ \Lambda(\tau) $ 上得到典范基 $ e_1(\tau), \dots, e_m(\tau) $，这对标架构造至关重要。
• 导出曲线 $ \Lambda^0(\tau) $ 被唯一定义为 $ \Lambda(\tau)^{\pitchfork} $ 中的子空间，使得 $ \Lambda_\tau(t) - \Lambda^0(\tau) $ 的展开式无常数项，从而确保标架的归一化。
• 最终得到的典范 Darboux 标架 $ (e_1, \dots, e_m, f_1, \dots, f_m) $ 提供了曲线的辛不变参数化，从而可推导出完整的不变量系统。