[논문 리뷰] Rolling balls over spheres in R^n

Božidar Jovanović|arXiv (Cornell University)|2018. 04. 10.

Control and Dynamics of Mobile Robots참고 문헌 41인용 수 7

한 줄 요약

이 논문은 R^n에서 고정된 (n−1)-구면체 위를 미끄러짐 없이 비틀림 없이 굴러가는 찰플리진 볼의 운동을 다루며, 3차원 비편평한 시스템을 고차원으로 일반화한다. 특정 관성 연산자에 대해 찰플리진 감소 승수를 통한 축약된 시스템의 해밀토니안화를 증명함으로써, SO(n)-대칭 설정에서의 적분 조건과 불변 측도를 확립한다.

ABSTRACT

We study the rolling of the Chaplygin ball in $\mathbb R^n$ over a fixed $(n-1)$--dimensional sphere without slipping and without slipping and twisting. The problems can be naturally considered within a framework of appropriate modifications of the L+R and LR systems -- well known systems on Lie groups groups with an invariant measure. In the case of the rolling without slipping and twisting, we describe the $SO(n)$-Chaplygin reduction to $S^{n-1}$ and prove the Hamiltonization of the reduced system for a special inertia operator.

연구 동기 및 목표

• 3차원 고무 찰플리진 볼 문제를 R^n으로 일반화하여, 고정된 (n−1)-구면체 위를 미끄러짐 없이 비틀림 없이 굴리는 것을 연구한다.
• 리 군 위에서 수정된 L+R 및 LR 시스템의 프레임워크 내에서 시스템을 수립함으로써, 기존의 비편평한 역학을 고차원으로 확장한다.
• 특정 관성 연산자 조건 하에서 굴러가는 시스템에 대해 불변 측도의 존재를 증명한다.
• 특정 관성 연산자에 대해 찰플리진 감소 승수를 이용하여 T*S^{n−1} 위의 축약된 시스템의 해밀토니안화를 보여준다.
• 특히 ε = −1 또는 대칭 행렬 A인 경우에 축약된 시스템이 적분 가능해지는 조건을 규명한다.

제안 방법

• SO(n) 대칭성과 구성공간 SO(n) × S^{n−1}을 사용하여 굴림 운동을 모델링하며, 비편평한 제약 조건을 TSO(n) × S^{n−1}와 미분동형인 분포로 표현한다.
• ε-수정된 L+R 시스템을 도입하며, ε = σ/(σ ± ρ)로 정의하여 굴러가는 볼과 고정된 구면체의 기하학적 관계를 연결한다.
• 시스템에 대해 불변 측도를 유도하며, 관성 연산자 I(E_i ∧ E_j) = (D a_i a_j)/(D − a_i a_j) E_i ∧ E_j에서 D = mρ²일 경우 간소화됨을 보인다.
• SO(n) 대칭성을 이용한 찰플리진 축약을 적용하여, 코탄젠트 번들의 T*S^{n−1} 위의 운동을 도출한다.
• 찰플리진 승수 ν = ε(Aγ, γ)^{1/(2ε)−1}를 이용한 시간 재스케일링을 구성하여, 시스템을 T*S^{n−1} 위의 해밀토니안 흐름으로 변환한다.
• 변환된 심플렉틱 구조 하에서 축약된 운동이 해밀턴 방정식을 만족함을 검증함으로써, 특수한 관성 연산자에 대해 해밀토니안화가 확인된다.

실험 결과

연구 질문

• RQ1 R^n에서 고정된 (n−1)-구면체 위를 미끄러짐 없이 비틀림 없이 굴러가는 찰플리진 볼의 운동을 3차원에서 고차원으로 일반화할 수 있는가?
• RQ2 T*S^{n−1} 위의 축약된 시스템은 불변 측도를 갖는가? 그리고 관성 연산자에 어떤 조건이 필요한가?
• RQ3 특정 관성 연산자에 대해 찰플리진 감소 승수를 이용하여 축약된 비편평한 시스템이 해밀토니안화 가능한가?
• RQ4 ε와 행렬 A의 어떤 값들에 대해 축약된 시스템이 적분 가능해지며, 어떤 대칭성이 이를 가능하게 하는가?
• RQ5 관성 연산자 I(E_i ∧ E_j) = (D a_i a_j)/(D − a_i a_j) E_i ∧ E_j의 선택이 동역학과 측도 구조에 어떤 영향을 미치는가?

주요 결과

• 미끄러짐 없이 비틀림 없이 S^{n−1} 위를 굴러가는 시스템은 ε = σ/(σ ± ρ)로 정의된 ε-수정된 L+R 시스템으로 기술되며, 3차원 경우를 일반화한다.
• 특정 관성 연산자 I(E_i ∧ E_j) = (D a_i a_j)/(D − a_i a_j) E_i ∧ E_j에서 D = mρ²일 경우, 시스템에 대해 불변 측도가 존재하며 간소화된 형태를 가진다.
• T*S^{n−1} 위의 축약된 시스템은 찰플리진 감소 승수 ν = ε(Aγ, γ)^{1/(2ε)−1}를 통해 해밀토니안화되며, 비편평한 흐름을 해밀토니안 흐름으로 변환한다.
• T*S^{n−1} 위의 해밀토니안 벡터장은 승수 ν를 통해 원래의 비편평한 벡터장과 비례함을 확인하여 해밀토니안화가 확인된다.
• ε = −1 이며 임의의 대칭 행렬 A이거나, ε ≠ −1 이며 A에 추가적인 대칭성이 있을 경우, 축약된 시스템은 완전히 적분 가능하다.
• 불변 토러스 위에서의 시스템의 운동은 ˙φ_i = ω_i / Φ(φ_1,…,φ_m) 형태의 준주기 운동을 보이며, Φ > 0 이고, 오일러–자코비 적분 가능성과 일관된다.