[论文解读] Time-dependent singular differential equations

Xavier Gràcia, Rubén Martín|ArXiv.org|Oct 25, 2004

Dynamics and Control of Mechanical Systems参考文献 21被引用 3

一句话总结

本文提出了一套用于时变奇异微分方程的几何框架，特别是形如 $ A(t,x) frac{dx}{dt} = b(t,x) $ 的线性奇异系统，采用喷丛和仿射几何方法。该研究将约束算法从自治情形推广至时变情形，并引入了规范向量包络构造，以建立时变系统与等价自治系统之间的联系，从而实现对包含拉格朗日和 Skinner–Rusk 形式在内的约束力学系统的系统性求解。

ABSTRACT

A geometric framework for describing and solving time-dependent implicit differential equations F(t,x,x')=0 is studied, paying special attention to the linearly singular case, where F is affine in the velocities: A(t,x)x' = b(t,x). This framework is based on the jet bundle of a time-dependent configuration space, and is an extension of the geometric framework of the autonomous case. When A is a singular matrix, the solutions can be obtained by means of constraint algorithms, either directly or through an equivalent autonomous system that can be constructed using the vector hull functor of affine spaces. As applications, we consider the jet bundle description of time-dependent lagrangian systems and the Skinner-Rusk formulation of time-dependent mechanics.

研究动机与目标

• 将奇异微分方程的几何理论从自治系统推广至时变系统。
• 解决标准存在性与唯一性定理失效的时变隐式与线性奇异方程的求解挑战。
• 为时变系统构建类似于自治情形下预辛约束算法的约束算法。
• 通过向量包络函子建立时变奇异系统与等价自治系统之间的规范对应关系。
• 将该形式化方法应用于时变拉格朗日力学与力学系统的 Skinner–Rusk 形式。

提出的方法

• 将时变配置空间建模为纤维丛 $ \rho: M \to \mathbb{R} $，而非平凡积 $ \mathbb{R} \times Q $，以保持几何结构。
• 使用一阶喷丛 $ J^1\rho \to M $ 作为时变一阶微分方程的自然相空间。
• 将线性奇异方程表述为喷丛上的仿射态射：$ A(t,x)\dot{x} = b(t,x) $，其中 $ A $ 可能奇异。
• 应用约束算法以识别 $ J^1\rho $ 中解存在的子流形，推广自治情形。
• 通过仿射喷丛的向量包络构造等价自治系统，识别 $ \widehat{J^1\rho} = TM $ 与 $ \widehat{J^2\rho} = C\rho_{1,0} $（Cartan 分布）。
• 利用自然包含 $ J^1\rho \hookrightarrow TM $ 与向量包络函子，将仿射映射同态化为线性映射，从而可应用自治方法。

实验结果

研究问题

• RQ1 奇异微分方程的几何理论如何从自治系统推广至时变系统？
• RQ2 描述时变隐式微分方程所需的恰当几何结构是什么？特别是哪类纤维丛与态射类型？
• RQ3 如何系统性地将约束算法扩展至时变线性奇异系统，以识别一致的解子流形？
• RQ4 能否将时变奇异系统规范地转化为等价的自治系统？若能，其方法为何？
• RQ5 如何在该几何框架内一致地描述时变力学系统的 Skinner–Rusk 与拉格朗日形式？

主要发现

• 喷丛 $ J^1\rho $ 为时变一阶隐式微分方程提供了自然的几何设定，取代了自治情形中使用的切丛。
• 一阶喷丛的向量包络 $ \widehat{J^1\rho} $ 可规范地识别为切丛 $ TM $，从而实现时变系统向自治系统的规范嵌入。
• 二阶喷丛的向量包络 $ \widehat{J^2\rho} $ 被识别为 $ T(J^1\rho) $ 中的 Cartan 分布 $ C\rho_{1,0} $，为二阶时变系统提供了几何基础。
• 为时变线性奇异系统构建的约束算法，是自治情形下预辛约束算法的自然推广，确保了解在子流形上的存在性与一致性。
• 该形式化方法成功描述了时变拉格朗日系统与 Skinner–Rusk 形式，通过将它们嵌入喷丛与向量包络框架中。
• 该构造被应用于变长度摆的实例，展示了其在具有时变约束的典型力学系统中的实用性。