数理ロボティクス2026/4/1arXiv:2604.22287

SE(3)上の正接作用素の一階・二階導関数の閉形式関係と高次近似

Closed Form Relations and Higher-Order Approximations of First and Second Derivatives of the Tangent Operator on SE(3)

SE(3)の指数写像の微分（正接作用素）とその高次導関数を、ブロック分割を使わずに閉形式で導出し、数値的に頑健な高次近似を提供する論文。

詳しい要約

1. どんなもの？

- SE(3)上のtangent operatorの微分とその高階近似に関する研究。 - 具体的には、exponential mapの右trivialized differential（tangent operator）の1階および2階微分、評価写像のJacobianとHessianを閉形式で導出。 - ブロック分割を避けた表現を提供し、高階近似も導出。 - 応用としてCosserat-Simo-Reissner rodの変形場とひずみ速度の計算を示す。

2. 先行研究と比べてどこがすごい？

- 従来はtangent operatorとその1階微分が3×3ブロック分割を用いて報告されていた。 - 本研究ではブロック分割を避け、よりコンパクトで数値的堅牢性の高い閉形式関係を導出。 - さらに2階微分やJacobian、Hessian、高階近似まで拡張。 - 局所近似と組み合わせることで数値的ロバスト性が向上。

3. 技術・手法の肝は？

- SE(3)のLie群理論に基づき、exponential mapの右trivialized differential（tangent operator）を解析。 - ブロック分割を用いずに、dexp_Xの1階・2階微分、およびdexp_X Zとdexp_X^T ZのJacobianとHessianを閉形式で表現。 - 高階近似を導出し、数値計算における堅牢性を実現。 - 具体的な定式化は要旨からは不明。

4. どうやって有効だと検証した？

- 弾性Cosserat-Simo-Reissner rodの変形場とひずみ速度の計算に適用して実証。 - 数値的ロバスト性が局所近似との組み合わせで利点となることを示唆。 - 詳細な検証方法や比較実験は要旨からは不明。

5. 議論はある？

- 閉形式関係のコンパクトさと数値的ロバスト性が利点として議論されている。 - 局所近似との併用が有効であることが示唆されるが、限界や課題については要旨からは不明。

6. 次に読むべき論文は？

- 要旨で参照されている具体的な先行研究は明示されていない。 - 関連手法として、SE(3)上のLie群理論、exponential map、tangent operator、Cosserat連続体モデル、Cosserat-Simo-Reissner rodに関する文献が挙げられる。 - 同分野の定番として、Lie群に基づくロボティクスやマルチボディダイナミクスの教科書（例: Murray, Li, Sastryの“A Mathematical Introduction to Robotic Manipulation”）が参考になる。

※ AIが要旨から生成した要約です。正確性は原文をご確認ください。

著者: Andreas Mueller

分類: math.GR, cs.RO, math.DG, math.DS, physics.comp-ph

原文アブストラクト

The Lie group SE(3) of isometric orientation preserving transformation is used for modeling multibody systems, robots, and Cosserat continua. The use of these models in numerical simulation and optimization schemes necessitates the exponential map, its right-trivialized differential (often referred to as tangent operator), as well as higher derivatives in closed form. The $6\times 6$ matrix representation of the differential, $\mathbf{dexp}_{\mathbf{X}}:se\left( 3\right) \rightarrow se\left( 3\right) $ , and its first derivative were reported using a $3\times 3$ block partitioning. In this paper, the differential, its first and second derivative, as well as the Jacobian and Hessian of the evaluation maps, $\mathbf{dexp}_{\mathbf{X}}\mathbf{Z}$ and $\mathbf{dexp}_{\mathbf{X}}^{T}% \mathbf{Z}$, are reported avoiding the block partitioning. For all of them, higher-order approximations are derived. Besides the compactness, the advantage of the presented closed form relations is their numerical robustness when combined with the local approximation. The formulations are demonstrated for computation of the deformation field and the strain rates of an elastic Cosserat-Simo-Reissner rod.

arXivで原文を読む →arXiv概要ページ

← 論文一覧