[論文レビュー] 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

ひとこと要約

本稿は、ℝⁿ 内の2つの剛体の衝突写像を微分幾何学的に分類し、エネルギー保存則・運動量保存則・時間反転対称性を満たす線形で、衝突写像が非スリップ部分空間を固定する等長的反転写像として特定する。このような写像の空間は、接触の粗さ方向に対応する ℝⁿ⁻¹ 内の k 次元部分空間のグラスマン多様体によってパラメータ化され、シンプレクティック幾何学を用いて非標準的ビリヤードにおけるリウヴィル測度保存の十分条件が導出される。

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.

研究の動機と目的

• ℝⁿ 内の2つの剛体に対してエネルギー保存則・運動量保存則・時間反転対称性・インパルス-力制約を満たす線形衝突写像を分類すること。
• 境界を持つ多様体 M の幾何的構造、特に ∂M 上の接バンドルにおける対角的・非スリップ的・インパルス的部分バンドルの役割を特定すること。
• 非鏡面的（非標準的）境界条件を許容する古典的ビリヤードモデルの拡張を行い、その力学的性質を分析すること。
• ビリヤード写像が定常エネルギー超曲面上の標準的リウヴィル測度を保存するための十分条件を導出すること。
• シンプレクティック幾何学およびリーマン幾何学を用いて、粗い剛体衝突の幾何的枠組みを構築し、その力学的挙動を理解すること。

提案手法

• ℝⁿ 内の2つの剛体の配置多様体 M を、境界を持つリーマン多様体として分析し、境界上の点が衝突配置に対応する。
• T(∂M) の接バンドルを、対角的（相対運動）、非スリップ的（接触点での滑りなし）、インパルス的（力の作用）の3つの部分バンドルに分解し、これにより衝突幾何学が定義される。
• 衝突写像は、T_qM 上の等長的反転写像として定義され、非スリップ部分空間上で恒等写像に一致する。これにより運動量保存則とエネルギー保存則が保証される。
• このような写像の空間は、0 ≤ k ≤ n−1 に対し、Gr(k, ℝⁿ⁻¹) の直和として自然に同定され、それぞれが接触の粗さ方向をパラメータ化する。
• 標準的ビリヤード測度は、運動エネルギー1-形式 θ を用いて、定常エネルギー超曲面 N^ℰ に引き戻された (dθ)^{n−1} の (2n−2) 形式として導出される。
• シンプレクティックおよびテンソル的恒等式（射影および曲率項を含む）を用いて、衝突写像による (dθ)^{n−1} の引き戻しが ±(dθ)^{n−1} に一致することを示し、測度不変性の十分条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 ℝⁿ 内の2つの剛体に対して、エネルギー保存則・運動量保存則・時間反転対称性・インパルス-力制約を満たす線形衝突写像の完全な空間は何か？
• RQ2 配置多様体の境界の幾何的構造、特に部分バンドル（対角的・非スリップ的・インパルス的）を用いて、衝突応答を分類する方法は何か？
• RQ3 非鏡面的反射を許容する非標準的ビリヤード系が、定常エネルギー超曲面上の標準的リウヴィル測度を保存するための条件は何か？
• RQ4 有効な衝突写像の空間は幾何的にどのようにパラメータ化され、このパラメータ化が接触の粗さに何を示唆するか？
• RQ5 非標準的ビリヤードにおいて非鏡面的境界条件が成立する場合に生じる力学的挙動は何か？そして、シンプレクティック幾何学を用いてどのように分析できるか？

主な発見

• エネルギー保存則・運動量保存則・時間反転対称性を満たす線形衝突写像の空間は、0 ≤ k ≤ n−1 に対し、Gr(k, ℝⁿ⁻¹) の直和に等長的である。各 k 次元部分空間は接触の粗さ方向を表す。
• 衝突写像は、非スリップ部分空間上で恒等写像に一致する等長的反転写像であり、接触点での滑りがないことを保証する。
• 定常エネルギー超曲面上の標準的ビリヤード測度は、衝突写像場が平行である場合に保存される。これは、(dθ)^{n−1} の引き戻しが ±(dθ)^{n−1} に一致することを意味する。
• 測度不変性条件は、衝突写像の ±1 固有空間への射影場の共変微分から生じるテンソル場 ϑ^± の消滅と同値である。
• エネルギー面 N^ℰ 上のシンプレクティック形式 dθ は境界の接バンドルを除いて非退化であるため、非標準的ビリヤードに対してエルゴディック理論の道具が利用可能である。
• 衝突写像による1-形式 θ の引き戻しは、𝒞*θ = θ⁺ − θ⁻ を満たし、平行条件の下で 𝒞*(dθ)^{n−1} = ±(dθ)^{n−1} が得られる。