[论文解读] Differential Geometry of Rigid Bodies Collisions and Non-standard Billiards

Christopher Cox, Renato Feres+1 more|arXiv (Cornell University)|Jan 26, 2015

Geometric and Algebraic Topology参考文献 5被引用 4

一句话总结

本文通过微分几何对 ℝⁿ 中两个刚体的碰撞映射进行了分类，将满足能量守恒、动量守恒、时间可逆性及冲量-力约束的线性碰撞映射识别为在非滑动子空间上固定的等距对合映射。此类映射的空间由 ℝⁿ⁻¹ 中 k 维子空间的格拉斯曼流形参数化，对应于接触粗糙度方向，并利用辛几何推导出非标准散射系统中利乌ville测度保持的充分条件。

ABSTRACT

The configuration manifold $M$ of a mechanical system consisting of two unconstrained rigid bodies in $\mathbb{R}^n$, $n\geq 1$, is a manifold with boundary (typically with singularities.) A complete description of the system requires boundary conditions that specify how orbits should be continued after collisions. A boundary condition is the assignment of a collision map at each tangent space on the boundary of $M$ that gives the post-collision state of the system as a function of the pre-collision state. Our main result is a complete description of the space of linear collision maps satisfying energy and (linear and angular) momentum conservation, time reversibility, and the natural requirement that impulse forces only act at the point of contact of the colliding bodies. These assumptions can be stated in geometric language by making explicit a family of vector subbundles of the tangent bundle to the boundary of $M$: the diagonal, non-slipping, and impulse subbundles. Collision maps at a boundary configuration are shown to be the isometric involutions that restrict to the identity on the non-slipping subspace. The space of such maps is naturally identified with the union of Grassmannians of $k$-dimensional subspaces of $\mathbb{R}^{n-1}$, $0\leq k\leq n-1$, each subspace specifying the directions of contact roughness. We then consider non-standard billiard systems, defined by fixing the position of one of the bodies and allowing boundary conditions different from specular reflection. We also make a few observations of a dynamical nature for simple examples of non-standard billiards and provide a sufficient condition for the billiard map on the space of boundary states to preserve the canonical (Liouville) measure on constant energy hypersurfaces.

研究动机与目标

• 对 ℝⁿ 中两个刚体的线性碰撞映射进行分类，要求满足能量守恒、动量守恒、时间可逆性及冲量-力约束。
• 表征配置流形 M 的几何结构（带边界），特别是其切丛上对角线、非滑动及冲量子丛在 ∂M 上的作用。
• 通过允许非镜像（非标准）边界条件，扩展经典散射模型，并分析其动力学性质。
• 推导出散射映射在恒定能量超曲面上保持经典利乌ville测度的充分条件。
• 利用辛几何与黎曼几何，建立理解粗糙刚体碰撞及其动力学的几何框架。

提出的方法

• 将 ℝⁿ 中两个刚体的配置流形 M 分析为带边界的黎曼流形，其中边界点对应碰撞构型。
• 将 T(∂M) 的切丛分解为三个子丛：对角线（相对运动）、非滑动（接触处无滑动）及冲量（力作用），从而定义碰撞几何。
• 碰撞映射被定义为 T_qM 上的等距对合映射，且在非滑动子空间上恒等，以确保动量与能量守恒。
• 证明此类映射的空间自然同构于 ∪_{k=0}^{n−1} Gr(k, ℝⁿ⁻¹)，每个 k 维子空间参数化接触粗糙度方向。
• 从 (2n−2)-形式 (dθ)^{n−1} 拉回到恒定能量超曲面 N^ℰ 的方式导出经典散射测度，其中 θ 为动能一形式。
• 通过利用投影与曲率项相关的辛几何与张量恒等式，证明碰撞映射下 (dθ)^{n−1} 的拉回为 ±(dθ)^{n−1}，从而确立测度不变性的充分条件。

实验结果

研究问题

• RQ1 在 ℝⁿ 中，两个刚体满足能量守恒、动量守恒、时间可逆性及冲量-力约束的线性碰撞映射的完整空间是什么？
• RQ2 如何利用配置流形边界处的几何结构（特别是对角线、非滑动及冲量子丛）对碰撞响应进行分类？
• RQ3 在非标准散射系统中，何种条件可确保非镜像反射在恒定能量超曲面上保持经典利乌ville测度？
• RQ4 有效碰撞映射的空间如何几何参数化？该参数化揭示了接触粗糙度的何种信息？
• RQ5 在非镜像边界条件下，非标准散射系统中涌现出何种动力学行为？如何利用辛几何对其进行分析？

主要发现

• 满足能量守恒、动量守恒、时间可逆性的线性碰撞映射空间，等距同构于 ∪_{k=0}^{n−1} Gr(k, ℝⁿ⁻¹)，其中每个 k 维子空间代表一个接触粗糙度方向。
• 碰撞映射为等距对合映射，在非滑动子空间上恒等，确保接触点无滑动。
• 在恒定能量超曲面上，经典散射测度保持不变的条件是碰撞映射场为平行场，这保证了 (dθ)^{n−1} 的拉回为 ±(dθ)^{n−1}。
• 测度不变性条件等价于张量场 ϑ^± 的消失，该张量场由碰撞映射 ±1 特征空间上投影场的协变导数导出。
• 在能量水平集 N^ℰ 上，辛形式 dθ 在边界切丛之外非退化，使得可对非标准散射系统应用遍历理论工具。
• 碰撞映射下对一形式 θ 的拉回满足 𝒞*θ = θ⁺ − θ⁻，其中 θ⁺ 与 θ⁻ 分别为 ±1 特征空间上的投影，因此在平行条件下有 𝒞*(dθ)^{n−1} = ±(dθ)^{n−1}。