用超多重对偶四元数实现任意阶刚体运动插值,解决传统方法的非保真问题。
Arbitrary-Order Hermite Interpolation of Rigid-Motion Jets via Hyper-Multidual Quaternions
- 引入超多重对偶四元数建模刚体运动及其各阶导数
- 提出保持运动学一致性的高阶插值算法,精确匹配端点姿态与导数
- 适用于机器人路径规划、动画生成等需高精度运动控制的场景
本文研究基于单位对偶四元数表示的有限阶刚体运动喷流的双边插值。阶数为n的多重对偶(MD)代数是截断多项式代数ℝ[ε]/(ε^{n+1});超多重对偶(HMD)四元数是对偶四元数在该代数上的系数扩展。时间HMD变换编码姿态及其导数,但一般HMD曲线未必是其姿态投影的时间喷流;这一要求称为保真性。我们证明时间变换及其相对描述符为酉矩阵,并推导出递归系数约束,结合可实现性逆定理于容许对数图中。随后,将螺旋线性插值(ScLERP)代数推广至单位HMD四元数。尽管能完全匹配端点变换,直接的HMD-ScLERP通常对任意端点喷流不满足保真性。我们给出系数判据及显式端点与一阶内部接触缺陷。通过将端点变换映射到对数对偶四元数坐标,应用匹配至n阶导数的2n+1次赫尔米特多项式,再经指数提升,获得保真替代方案。HMD算术还可无需显式微分dexp即恢复高阶刚体加速度场。旋转与全SE(3)二阶测试,外加三阶多项式验证,重现了所述缺陷与端点喷流。
原文摘要 · Abstract (English)
We study bilateral interpolation of finite-order rigid-motion jets represented by unit dual quaternions. An order-$n$ multidual (MD) algebra is the truncated polynomial algebra $\mathbb{R}[\varepsilon]/(\varepsilon^{n+1})$; hyper-multidual (HMD) quaternions are dual quaternions with coefficients in this algebra. Temporal HMD transforms encode a pose and its derivatives, whereas a generic HMD curve need not be the temporal jet of its pose projection; we call this requirement holonomicity. We show that a temporal transform and its relative descriptor are unitary and derive recursive coefficient constraints, together with a local realizability converse in an admissible logarithm chart. We then extend screw linear interpolation (ScLERP) algebraically to unit HMD quaternions. Although it matches complete endpoint transforms, direct HMD--ScLERP is generically non-holonomic for arbitrary endpoint jets. We give a coefficient criterion and explicit endpoint and first-order interior contact defects. A holonomic alternative is obtained by mapping endpoint transforms to logarithmic dual-quaternion coordinates, applying the degree-$(2n+1)$ Hermite polynomial that matches derivatives through order $n$, and lifting by the exponential. HMD arithmetic also recovers higher-order rigid-motion acceleration fields without explicit differentiation of $\mathrm{dexp}$. Rotation and full $\mathrm{SE}(3)$ tests through second order, with an additional third-order polynomial check, reproduce the stated defects and endpoint jets.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。