[論文レビュー] The complete system of differential invariants of a curve in pseudo-euclidean space

Vladimir Chilin, K. K. Muminov|arXiv (Cornell University)|Apr 18, 2012

Advanced Numerical Analysis Techniques参考文献 2被引用数 4

ひとこと要約

本稿では、擬ユークリッド空間における曲線の分類のための微分不変量の完全な体系を、擬直交群 O(n,p,K) 及び SO(n,p,K)、およびそれらの平行移動 K^n との半直積の作用に関して提示する。不変量理論および高階導関数と擬内積から導かれる微分不変量を用いて、これらの群作用における同値性の明示的かつ有限の有理基底を確立し、特定の微分不変量の不変性および経路の型に基づく必要十分条件を提供する。

ABSTRACT

A complete system of differential invariants for equivalence of curves in the $n$-dimensional pseudo-euclidean space with respect to the action of each of the groups $K^n \lhd O(n,p,K)$, $K^n \lhd SO(n,p,K)$, $O(n,p,K)$, and $SO(n,p,K)$, where $K = \mathbf{R}$, or $K = \mathbf{C}$, and $O(n,p,K)$ $\bigl($respectively, $SO(n,p,K)\big)$ are a pseudo-orthogonal (special pseudo-orthogonal) groups, is given.

研究の動機と目的

• n次元の擬ユークリッド空間における曲線の同値性のための完全な微分不変量の体系を構築すること。
• O(n,p,K)、SO(n,p,K)、およびそれらの平行移動 K^n との半直積の作用における曲線の G-同値性を特徴づけること。
• これらの群作用における曲線の微分不変量の明示的かつ有限の有理基底を提供すること。
• 不変微分量および経路の正則性の型に基づく同値性の必要十分条件を確立すること。

提案手法

• 著者は、経路の最初の (n−1) 階微分からなる行列 M(x)(t) の非特異性（行列式が非ゼロ）を用いて、強い正則性を持つ I-パスを定義する。
• パrameterization の振る舞いおよび微分行列の構造に基づき、経路を4種類（L1–L4）に分類する。
• 微分不変量は、擬内積 [x^{(m−1)}, x^{(m−1)}] および微分行列 M(x)(t) と M'(x)(t) の行列式から構成される。
• 不変量理論を用いて、G-不変有理関数の微分体の有限有理基底を導出する。
• 群作用の下でのこれらの不変量の比較により同値基準を確立し、時間シフトを含む (L4) 型経路に対して特別な取り扱いを行う。
• 微分同相不変性と擬直交群による正規化を用いて、同値性を不変量の一致に帰着させる。

実験結果

リサーチクエスチョン

• RQ1 O(n,p,K) の作用における擬ユークリッド空間内の曲線の完全な微分不変量の体系は何か？
• RQ2 微分不変量を用いて、SO(n,p,K) による2曲線の同値性をどのように判定できるか？
• RQ3 非退化曲線の K^n ⋉ O(n,p,K)-同値性の必要十分条件は何か？
• RQ4 経路の型（L1–L4）は微分不変量の構造および同値基準にどのように影響するか？
• RQ5 これらの群作用における曲線の微分不変量のための有限有理基底を構成できるか？

主な発見

• O(n,p,K)-同値性では、2曲線が同値であるための必要十分条件は、すべての m=1,…,n に対して微分不変量 [u^{(m−1)}, u^{(m−1)}] が一致し、かつ I(x)=I(y) であること。
• SO(n,p,K)-同値性では、同じ不変量が一致し、加えてすべての s ∈ I(x) に対して det M(u)(s) = det M(v)(s) が成り立つこと。
• K^n ⋉ O(n,p,K)-同値性では、m=2,…,n+1 に対して [u^{(m−1)}, u^{(m−1)}] が一致し、I(x)=I(y) であること。行列式の条件は不要。
• K^n ⋉ SO(n,p,K)-同値性では、m=2,…,n に対して [u^{(m−1)}, u^{(m−1)}] が一致し、すべての s ∈ I(x) に対して det M'(u)(s) = det M'(v)(s) が成り立つこと。
• 経路型 (L4) は、時間シフトパラメータ s₀ を含む同値条件を導入し、(L1)–(L3) とは区別される。
• 完全な不変量体系は有限かつ有理的であり、指定された群作用における曲線の同値性を効果的に判定する基準を提供する。