[논문 리뷰] On the Integration Theory of Equations of Nonholonomic Mechanics

В. В. Козлов|ArXiv.org|2005. 03. 11.

Quantum chaos and dynamical systems참고 문헌 3인용 수 45

한 줄 요약

이 논문은 비제약 기계계의 새로운 통합 이론을 개발하며, 불변 측도와 대칭군을 활용한다. 기존의 첫 번째 적분을 제약 조건으로 간주하고, 해결 가능한 대칭군을 사용하여 적분 가능한 시스템을 찾는 방법을 제안하며, 이로 인해 일반화된 찰플린 볼과 수스로프 문제와 같은 새로운 적분 가능한 케이스를 발견하게 된다. 이 경우, 불변 토르스 위에서의 운동은 각 변수와 해석적 불변 측도를 통해 준주기 운동으로 환원된다.

ABSTRACT

The paper deals with the problem of integration of equations of motion in nonholonomic systems. By means of well-known theory of the differential equations with an invariant measure the new integrable systems are discovered. Among them there are the generalization of Chaplygin's problem of rolling nonsymmetric ball in the plane and the Suslov problem of rotation of rigid body with a fixed point. The structure of dynamics of systems on the invariant manifold in the integrable problems is shown. Some new ideas in the theory of integration of the equations in nonholonomic mechanics are suggested. The first of them consists in using known integrals as the constraints. The second is the use of resolvable groups of symmetries in nonholonomic systems. The existence conditions of invariant measure with analytical density for the differential equations of nonholonomic mechanics is given.

연구 동기 및 목표

• 비제약 시스템에 대한 완전한 통합 이론이 휘어진 시스템에 비해 부족한 점을 해결하기 위해.
• 비제약 시스템이 해석적 밀도를 가진 불변 측도를 갖는 조건을 규명하기 위해.
• 첫 번째 적분을 제약 조건으로 사용하고 대칭군을 활용하여 비제약 방정식을 통합하는 일반적 프레임워크를 개발하기 위해.
• 해밀토니안–자코비 및 찰플린 축소 방법의 적용 범위를 비제약 설정으로 확장하기 위해.
• 적분 가능한 비제약 시스템에서의 불변 토르스의 위상수학적 및 역학적 구조를 분석하기 위해.

제안 방법

• 매끄러운 밀도 M(x)를 갖는 미분방정식에 리우빌의 정리를 적용하며, div(Mf) ≡ 0 를 요구한다.
• 레벨 집합 Ec에서 n−2개의 독립적인 첫 번째 적분이 존재함을 이용하여 시스템을 2차원 불변 다변량으로 축소한다.
• 코모고로프 정리를 적용하여 불변 토르스 위의 운동을 각 변수 (x, y)와 일정한 주파수 λ, μ로 표현한다.
• 소수의 매개변수 ε를 사용한 편미분 접근법을 도입하여 편미분 시스템에서의 불변 측도 존재 여부를 연구한다.
• 빠른 변수 (x, y)에 대한 평균화를 수행하여 느린 변수 I에 대한 효과적 방정식을 유도하고, 이를 통해 유도된 평균 시스템을 분석한다.
• 푸리에 분석과 공진 조건을 적용하여, 무리수 주파수 비율을 갖는 편미분 시스템에서 불변 측도의 존재하지 않음을 규명한다.

실험 결과

연구 질문

• RQ1 비제약 시스템이 해석적 밀도를 갖는 불변 측도를 허용하는 조건은 무엇인가?
• RQ2 기존의 첫 번째 적분을 제약 조건으로 사용하여 새로운 비제약 적분 가능한 시스템을 구성할 수 있는가?
• RQ3 해결 가능한 대칭군은 비제약 시스템의 적분 가능성에 어떻게 기여하는가?
• RQ4 적분 가능한 비제약 시스템에서의 불변 토르스의 위상수학적 및 역학적 성질은 무엇인가?
• RQ5 편미분 비제약 시스템이 해석적 밀도를 갖는 불변 측도를 갖지 못하는 경우는 언제인가?

주요 결과

• 비대칭 구가 평면에서 굴러가는 일반화된 찰플린 문제의 경우, 제안된 방법을 통해 적분 가능함이 입증된다.
• 고정된 점을 갖는 강체의 회전 문제인 수스로프 문제의 경우, 제안된 프레임워크 하에서 새로운 적분 가능한 케이스로 확인된다.
• 불변 토르스 위에서, 적분 가능한 비제약 시스템의 운동은 상수 λ, μ와 매끄러운 2π-주기 함수 Φ를 갖는 ẋ = λ/Φ, ẏ = μ/Φ 형태로 환원될 수 있다.
• 편미분 시스템에서 평균 시스템이 그러한 측도를 갖지 않으면, 그 시스템에서 해석적 불변 측도의 존재가 방해받는다.
• n=3 인 경우, 주파수 비율 λ/μ 가 일정하지 않고, 공진 집합 ∆∩D 가 비어 있지 않다면, 편미분 시스템에 해석적 불변 측도가 존재하지 않는다.
• 평균 시스템에서 해석적 첫 번째 적분이 존재하지 않으면, 전체 편미분 시스템에서도 해석적 첫 번째 적분이 존재하지 않는다.