[논문 리뷰] Hamiltonization of nonholonomic systems

А. В. Борисов, И. С. Мамаев|arXiv (Cornell University)|2005. 09. 21.

Control and Dynamics of Mobile Robots인용 수 15

한 줄 요약

이 논문은 비편평한 시스템, 특히 찰플린의 구와 베셀로바 문제를 위해 일반화된 방법을 제안한다. 비편평 조건이 존재할 경우 시간 치환을 도입하여 방정식을 해밀턴 형식으로 변환한다. 주요 기여는 통합 가능한 해밀턴 시스템과의 등급형과 편미분 brackets 유도를 위한 체계적인 절차이며, 찰플린의 감소 배수 방법을 비영인 $ b(q) $ 를 가진 일반화된 찰플린 시스템으로 확장하고, 시간 재매개변수화 이후 해밀턴 표현이 가능한 조건을 규명한다.

ABSTRACT

We consider some issues of the representation in the Hamiltonian form of two problems of nonholonomic mechanics, namely, the Chaplygin's ball problem and the Veselova problem. We show that these systems can be written as generalized Chaplygin systems and can be integrated by the method of reducing multiplier. We also indicate the algebraic form of the Poisson brackets of these systems (after the time substitution). Generalizations of the problems are considered and new realizations of nonholonomic constraints are presented. Some nonholonomic systems with an invariant measure and a sufficient number of first integrals are indicated, for which the question of the representation in the Hamiltonian form is still open, even after the time substitution.

연구 동기 및 목표

• 비영인 $ b(q) $ 를 가진 일반화된 찰플린 시스템으로 찰플린의 감소 배수 방법을 확장하여 해밀턴 표현을 가능하게 한다.
• 비편평 시스템이 불변 측도를 가질 경우 시간 치환을 통해 해밀턴 형식으로 변환될 수 있는 조건을 설정한다.
• 특정 비편평 문제에 대해 명시적인 편미분 구조와 통합 가능한 해밀턴 시스템과의 등급형을 도출한다.
• 해밀턴화가 여전히 해결되지 않은 경우가 존재하는지, 불변 측도와 충분한 제1적분이 존재함에도 불구하고 이를 규명한다.

제안 방법

• 일반화된 찰플린 시스템은 비편평 제약 조건이 $ S = a_1\dot{q}_1 + a_2\dot{q}_2 + b(q) $ 를 만족하는 운동 방정식으로 정의되며, 여기서 $ b(q) \neq 0 $ 이다.
• 시간 치환 $ N(q)\,dt = d\tau $ 이 적용되어 $ \bar{S} $ 가 수정된 새로운 형태로 방정식이 변환되며, 시스템의 구조는 유지된다.
• 레지오프 변환을 통해 라그랑주 방정식을 운동량 $ p_i = \partial \bar{L}/\partial q_i' $ 를 포함한 해밀턴 유사 형식으로 변환한다.
• 밀도 $ \rho(q) $ 를 가진 불변 측도가 존재할 경우 $ N(q) = \rho(q) $ 를 선택하여 $ \bar{S} = B(q) $ 를 유도할 수 있으며, 이는 좌표에만 의존한다.
• 결과적으로 유도된 편미분 brackets는 $ \{q_i, p_j\} = \delta_{ij} $, $ \{p_1, p_2\} = \bar{S}(q) $, $ \{q_1, q_2\} = 0 $ 로 표현되며, 이는 시간 재매개변수화 이후 해밀턴 형식을 확인한다.
• 이 방법은 찰플린의 구와 베셀로바 문제에 적용되어, 이들이 일반화된 찰플린 시스템임을 확인하고, 그들의 편미분 구조를 도출한다.

실험 결과

연구 질문

• RQ1 비영인 $ b(q) $ 가 존재하는 찰플린의 구 문제는 시간 치환을 통해 해밀턴 형식으로 표현될 수 있는가?
• RQ2 불변 측도를 가진 일반화된 찰플린 시스템이 시간 재매개변수화를 통해 해밀턴 시스템으로 변환될 수 있는 조건은 무엇인가?
• RQ3 편평하지 않은 자코비 문제(이차 곡면 표면 위에서 굴러감)는 혼돈적 행동과 명백한 카시미르 함수의 부재에도 불구하고 해밀턴화 가능한가?
• RQ4 감소 배수 방법은 비영인 $ b(q) $ 를 가진 시스템으로 일반화될 수 있으며, 이는 편미분 구조에 어떤 영향을 미치는가?
• RQ5 불변 측도와 충분한 제1적분을 가진 비편평 시스템 중에서도 시간 치환 이후에도 해밀턴화가 불가능한 경우는 존재하는가?

주요 결과

• 찰플린의 구 문제와 베셀로바 문제는 $ b(q) \neq 0 $ 인 일반화된 찰플린 시스템임을 보여주며, 시간 치환을 통해 해밀턴 형식으로 변환 가능하다.
• 불변 측도가 밀도 $ \rho(q) $ 를 가질 경우 $ N(q) = \rho(q) $ 를 선택하면 $ \bar{S} = B(q) $ 가 되어 좌표에 의존하는 편미분 구조가 유도된다.
• 유도된 편미분 brackets는 $ \{q_i, p_j\} = \delta_{ij} $, $ \{p_1, p_2\} = \bar{S}(q) $, $ \{q_1, q_2\} = 0 $ 로 표현되며, 이는 시간 재매개변수화 이후 해밀턴 구조를 확인한다.
• 이 방법은 명시적인 편미분 구조를 성공적으로 도출하고, 연구된 문제들에 대해 알려진 통합 가능한 해밀턴 시스템과의 등급형을 수립한다.
• 편평하지 않은 자코비 문제(세축 타원체 표면 위에서 굴러감)는 여전히 열린 문제이다. 비록 불변 측도와 추가 적분이 존재하지만, 이 방법으로는 해밀턴화가 실패하고 카시미르 함수도 발견되지 않았다.
• 논문은 해밀턴화 가능성은 찾는 편미분 구조의 매끄럽고 대수적 구조에 의해 결정되며, 특정 시스템에 대해서는 여전히 해결되지 않은 문제임을 규명한다.