[论文解读] Non-holonomic constrained systems as implicit differential equations

Alberto Ibort, Manuel de León+2 more|ArXiv.org|Apr 17, 2001

Control and Dynamics of Mobile RobotsEngineering参考文献 20被引用 16

一句话总结

本文利用图尔丘耶夫的几何框架，将非完整约束力学系统表述为隐式微分方程，实现了拉格朗日与哈密顿动力学的统一处理。文中提出一种改进的可积性算法，得到充分的相容性条件，确保解作为二阶向量场的存在性与唯一性，先前的条件如切特耶夫条件和法德耶夫-弗什科条件均作为特例包含在内。

ABSTRACT

Non-holonomic constraints, both in the Lagragian and Hamiltonian formalism, are discussed from the geometrical viewpoint of implicit differential equations. A precise statement of both problems is presented remarking the similarities and differences with other classical problems with constraints. In our discussion, apart from a constraint submanifold, a field of permitted directions and a system of reaction forces are given, the later being in principle unrelated to the constraint submanifold. An implicit differential equation is associated to a non-holonomic problem using the Tulczyjew's geometrical description of the Legendre transformation. The integrable part of this implicit differential equation is extracted using an adapted version of the integrability algorithm. Moreover, sufficient conditions are found that guarantees the compatibility of the non-holonomic problem, i.e., that assures that the integrability algorithm stops at first step, and moreover it implies the existence of a vector field whose integral curves are the solutions to the problem. In addition this vector field turns out to be a second order differential equation. These compatibility conditions are shown to include as particular cases many others obtained previously by other authors. Several examples and further lines of development of the subject are also discussed.

研究动机与目标

• 通过隐式微分方程的几何表述，对非完整力学系统进行形式化。
• 将非完整约束与约束反力区分开来，将其视为独立的几何结构。
• 为非完整约束量身定制一种改进的可积性算法，以提取系统的可积部分。
• 识别出确保解作为二阶向量场存在且唯一的通用相容性条件。
• 在单一几何框架内统一并推广先前的条件（如切特耶夫条件、法德耶夫-弗什科条件）

提出的方法

• 利用图尔丘耶夫的三元组，将力学系统在切丛与余切丛上建模为隐式微分方程。
• 引入约束子流形与允许方向场，其独立于约束流形本身。
• 将反作用力定义为一族1-形式，其不一定与约束几何相关。
• 应用改进的可积性算法版本，以提取隐式系统的可积部分。
• 通过要求算法在第一步即终止，推导出相容性条件，从而保证唯一解向量场的存在。
• 在图尔丘耶夫的几何设定中使用勒让德变换，连接拉格朗日与哈密顿表述。

实验结果

研究问题

• RQ1 非完整约束如何在隐式微分方程的几何框架中被一致地表述？
• RQ2 当力与约束被独立处理时，何种条件可保证非完整系统的解存在且唯一？
• RQ3 可积性算法如何适应非完整约束的存在？其在何种情况下于第一步终止？
• RQ4 已知的相容性条件（如切特耶夫条件、法德耶夫-弗什科条件）如何作为所提通用框架的特例出现？
• RQ5 非完整系统的几何结构能否推广至奇异拉格朗日量与时间依赖情形？

主要发现

• 开发了一种改进的可积性算法，能够正确处理非完整约束施加的几何限制。
• 在满足充分相容性条件时，可积性算法于第一步终止，从而保证唯一解向量场的存在。
• 证明了解向量场为二阶微分方程，确保动力学一致性。
• 通用相容性条件涵盖了并推广了先前结果，包括法德耶夫-弗什科条件、切特耶夫条件、贝内蒂条件与马尔勒条件。
• 该框架允许非切特耶夫型力的存在，表明当使用此类力时，解可能不唯一。
• 该方法可通过标准扩展相空间技巧推广至时间依赖系统，亦可适用于奇异拉格朗日量，但后者需同时处理拉格朗日与非完整约束。