[论文解读] Factorization of Motion Polynomials

Zijia Li, Josef Schicho+1 more|arXiv (Cornell University)|Feb 26, 2015

Advanced Differential Equations and Dynamical Systems参考文献 2被引用 5

一句话总结

该论文证明了在双四元数中，有界运动多项式——即其范数多项式无实根者——在乘以一个实多项式后，可分解为线性运动多项式。作者提出了两种算法：一种简单但可能产生高次的共因式；另一种为最优次数算法，可实现平面与非平面运动的分解，包括通用分解失败的情形。

ABSTRACT

In this paper, we consider the existence of a factorization of a monic, bounded motion polynomial. We prove existence of factorizations, possibly after multiplication with a real polynomial and provide algorithms for computing polynomial factor and factorizations. The first algorithm is conceptually simpler but may require a high degree of the polynomial factor. The second algorithm gives an optimal degree.

研究动机与目标

• 解决非通用运动多项式（特别是有界者）的分解开放问题，这些多项式在未经修改的情况下无法分解。
• 提供构造性算法，将有界运动多项式分解为线性因子，即使其首部分具有实因子。
• 通过保持运动有界性，确保最终分解对应于具有回转副的物理连杆。
• 开发产生最小次数共因式的算法，提升效率与适用性。
• 通过将因子选择限制在平面运动子群内，实现平面运动多项式的平面分解。

提出的方法

• 利用运动多项式首部分的最大实多项式因子（GRPF）指导共因式的选择。
• 在算法3中将先前工作中的算法2（针对平面运动多项式的算法）作为子程序，以简化概念。
• 设计算法4，通过在双四元数环中迭代选择适当的左因子与右因子，逐步降低运动多项式的次数。
• 通过在平面运动子群⟨1, i, εj, εk⟩内选择根与共轭对，强制实现平面分解。
• 利用恒等式PD = D P̄（其中P ∈ ⟨1, i⟩，D ∈ ⟨εj, εk⟩）将左因子转换为右因子。
• 确保最终分解结果为线性运动多项式的乘积，每个代表连杆中一个回转副。

实验结果

研究问题

• RQ1 对于因首部分具有实因子而非性质的有界运动多项式，是否仍可分解为线性运动多项式？
• RQ2 使此类分解成为可能所需的实多项式乘子的最小次数是多少？
• RQ3 能否将分解算法调整为在输入运动为平面时仅产生平面分解？
• RQ4 首部分的最大实多项式因子（GRPF）的结构与所需共因式次数之间有何关系？
• RQ5 是否可从非通用运动多项式构造机械连杆，使其仍产生具有有界轨道的有理运动？

主要发现

• 每个有界运动多项式在乘以一个实多项式后，均可分解为线性运动多项式的乘积，且保持其原始运动不变。
• 算法4产生的共因式次数最优，其上界为运动多项式首部分的最大实多项式因子（GRPF）的次数。
• 共因式次数的上界是紧致的，且对某些平面运动（如一般达布运动）可达到。
• 对于垂直达布运动，仅当乘以一个次数为2的实多项式后才存在分解，该次数与首部分GRPF的次数一致。
• 该算法即使对平面运动多项式也可产生非平面分解，但通过在平面运动子群内选择根，可专门化为仅产生平面分解。
• 该方法可为所有有界有理运动构造具有回转副的连杆，解决了运动多项式分解理论中长期存在的理论空白。