[논문 리뷰] Differential Geometry of Rigid Bodies Collisions and Non-standard Billiards

Christopher Cox, Renato Feres외 1명|arXiv (Cornell University)|2015. 01. 26.

Geometric and Algebraic Topology참고 문헌 5인용 수 4

한 줄 요약

이 논문은 ℝⁿ 내 두 강체의 충돌 지도에 대한 미분기하학적 분류를 제공하며, 선형이며 에너지 및 운동량 보존, 시간 역행 대칭성을 만족하는 충돌 지도를 비틀림이 없는 등장사상으로 식별한다. 이러한 지도들의 공간은 ℝⁿ⁻¹ 내 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.

연구 동기 및 목표

• ℝⁿ 내 두 강체에 대해 에너지 보존, 운동량 보존, 시간 역행 대칭성, 충격력 제약 조건을 만족하는 선형 충돌 지도를 분류하는 것.
• 경계를 가진 구성 공간 다양체 M의 기하적 구조를 기술하며, 특히 ∂M 위의 탄성다양체에서의 대각선, 비슬립, 충격 하위다양체의 역할을 분석하는 것.
• 비반사(비표준) 경계 조건을 允허하는 고전적 보일러드 모델을 확장하고, 그 역학적 성질을 분석하는 것.
• 보일러드 지도가 일정 에너지 초표면에서 표준 리우빌 측도를 보존하는 데 필요한 충분조건을 도출하는 것.
• 심플렉틱 기하학과 리만 기하학을 활용하여 거칠은 강체 충돌의 기하학적 프레임워크를 제공하는 것.

제안 방법

• ℝⁿ 내 두 강체의 구성 공간 다양체 M을 경계를 가진 리만 다양체로 분석하며, 경계의 점들은 충돌 구성 상태에 대응한다.
• T(∂M)의 탄성다양체는 세 개의 하위다양체로 분해된다: 대각선(상대 운동), 비슬립(접촉점에서의 미끄럼 없음), 충격(힘의 작용), 이들이 충돌 기하학을 정의한다.
• 충돌 지도는 T_qM 위의 등장사상으로 정의되며, 비슬립 부분공간에서 항등함수로 제한되어 운동량 및 에너지 보존을 보장한다.
• 이러한 지도들의 공간은 자연스럽게 0 ≤ k ≤ n−1에 대해 Gr(k, ℝⁿ⁻¹)의 합집합으로 식별되며, 각각 접촉 거칠기 방향을 매개변수화한다.
• 표준 보일러드 측도는 θ가 운동 에너지의 일차형식일 때, 일정 에너지 초표면 N^ℰ에로 끌어올린 (dθ)^{n−1}의 (2n−2)-형식으로 도출된다.
• 심플렉틱 및 텐서 항등식을 이용하여 충격 지도에 의한 (dθ)^{n−1}의 역상이 ±(dθ)^{n−1}이 되도록 함으로써, 측도 불변성에 대한 충분조건을 확립한다.

실험 결과

연구 질문

• RQ1 ℝⁿ 내 두 강체에 대해 에너지 보존, 운동량 보존, 시간 역행 대칭성, 충격력 제약 조건을 만족하는 선형 충돌 지도의 전체 공간은 무엇인가?
• RQ2 구성 공간 다양체의 경계 기하학, 특히 대각선, 비슬립, 충격 하위다양체의 역할을 이용하여 충격 반응을 분류할 수 있는가?
• RQ3 비표준 보일러드 시스템에서 비반사 반사 조건을 갖는 경우, 일정 에너지 초표면에서 표준 리우빌 측도를 보존하는 조건은 무엇인가?
• RQ4 유효한 충돌 지도의 공간은 기하학적으로 어떻게 매개변수화되며, 이 매개변수화는 접촉 거칠기에 대해 무엇을 드러내는가?
• RQ5 비표준 보일러드에서 비반사 경계 조건 하에 나타나는 역학적 행동은 무엇이며, 이를 심플렉틱 기하학으로 어떻게 분석할 수 있는가?

주요 결과

• 선형이며 에너지 및 운동량 보존, 시간 역행 대칭성을 만족하는 충돌 지도의 공간은 자연스럽게 0 ≤ k ≤ n−1에 대해 Gr(k, ℝⁿ⁻¹)의 합집합과 등장사상으로 식별되며, 각 k차원 부분공간은 접촉 거칠기 방향을 나타낸다.
• 충돌 지도는 비슬립 부분공간에서 항등함수로 작용하는 등장사상이며, 이는 접촉점에서의 미끄럼이 없음을 보장한다.
• 일정 에너지 초표면에서의 표준 보일러드 측도는 충격 지도 장(field)가 평행할 경우 보존되며, 이는 (dθ)^{n−1}의 역상이 ±(dθ)^{n−1}이 되도록 한다.
• 측도 불변성 조건은 충격 지도의 ±1 고유공간에 대한 투영장의 커플라던 코안드라이브의 미분을 통해 유도된 텐서장 ϑ^±의 영함수화와 동치이다.
• 에너지 수준집합 N^ℰ에서의 심플렉틱 형식 dθ는 경계의 탄성다양체의 접선다양체를 제외한 곳에서는 비퇴화적이므로, 비표준 보일러드에 대해 에르고딕 이론 도구를 적용할 수 있다.
• 충격 지도에 의한 일차형식 θ의 역상은 𝒞*θ = θ⁺ − θ⁻를 만족하며, 이는 평행 조건 하에서 𝒞*(dθ)^{n−1} = ±(dθ)^{n−1}을 이끈다.