[논문 리뷰] The rigid body dynamics: classical and algebro-geometric integration

Borislav Gajić|arXiv (Cornell University)|2012. 12. 25.

Nonlinear Waves and Solitons참고 문헌 30인용 수 6

한 줄 요약

이 논문은 3차원 및 4차원에서의 해시-아페르로 및 라그랑주 비톱 시스템과 같은 적분 가능 시스템을 중심으로 고전적이고代수기하학적 적분 방법을 사용한 강체 역학의 광범위한 연구를 제시한다. 이 시스템들에 대한 라프 표현을 수립하고, 스펙트럼 곡선에서 바커-아키에제르 함수를 통한 대수기하학적 적분 절차를 적용하여 테타 함수를 이용한 완전한 해를 도출하며, 카일레르-키프 및 찰플린 케이스의 4차원 일반화에 대해 리우빌의 의미에서 완전 적분 가능성을 증명한다.

ABSTRACT

The basic notion for a motion of a heavy rigid body fixed at a point in three-dimensional space as well as its higher-dimensional generalizations are presented. On a basis of Lax representation, the algebro-geometric integration procedure for one of the classical cases of motion of three-dimensional rigid body - the Hess-Appel'rot system is given. The classical integration in Hess coordinates is presented also. For higher-dimensional generalizations, the special attention is paid in dimension four. The L-A pairs and the classical integration procedures for completely integrable four-dimensional rigid body so called the Lagrange bitop as well as for four-dimensional generalization of Hess-Appel'rot system are given. An $n$-dimensional generalization of the Hess-Appel'rot system is also presented and its Lax representation is given. Starting from another Lax representation for the Hess-Appel'rot system, a family of dynamical systems on $e(3)$ is constructed. For five cases from the family, the classical and algebro-geometric integration procedures are presented. The four-dimensional generalizations for the Kirchhoff and the Chaplygin cases of motion of rigid body in ideal fluid are defined. The results presented in the paper are part of results obtained in last decade.

연구 동기 및 목표

• 강체 운동의 고전적 적분 가능성 결과를 4차원 시스템으로 확장한다.
• 4차원에서의 헤시-아페르로 및 라그랑주 비톱 시스템과 같은 적분 가능 케이스에 대한 라프 표현을 수립한다.
• 스펙트럼 곡선에서 바커-아키에제르 함수를 사용한 대수기하학적 적분 절차를 적용하여 이러한 시스템을 완전히 해결한다.
• ideally 유동체 내에서의 카일레르-키프 및 찰플린 케이스의 강체 운동을 4차원으로 일반화하고, 그 적분 가능성의 완전성을 증명한다.
• 라프 표현과 스펙트럼 곡선 분석을 통해 고전적 및 대수기하학적 적분 기법을 통합한다.

제안 방법

• 스펙트럼 파라미터 $ \lambda $ 를 가진 라프 표현 $ \frac{d}{dt}L(\lambda) = [L(\lambda), A(\lambda)] $ 를 사용하여, $ L(\lambda) $ 의 스펙트럼의 불변성에서 제1 적분을 유도한다.
• 바커-아키에제르 함수를 기반으로 한 대수기하학적 적분 절차를 적용한다. 이 함수는 표본 곡선 $ \Gamma $ 에서 유리형이며, 지정된 점에서 본질적 특이성을 가진다.
• 4차원 라그랑주 비톱 및 헤시-아페르로 시스템에 대한 L-A 쌍을 구성하고, 그들의 스펙트럼 곡선을 유도하며, 종수와 대칭성을 분석한다.
• 고전적 헤시-아페르로 시스템에 대한 대체 라프 표현을 통해 $ e(3) $ 상에서 새로운 가족의 동역학 시스템을 도입하여 새로운 적분 가능 케이스를 가능하게 한다.
• $ e(4) $ 상에서 카일레르-키프 및 찰플린 시스템의 4차원 일반화를 정의하고, 그 해밀토니안 구조와 제1 적분을 식별한다.
• 네 개의 독립적이고 상호 운동론적 제1 적분(두 개의 선형 및 두 개의 이차 적분)을 구성함으로써 완전 적분 가능성을 증명한다.

실험 결과

연구 질문

• RQ1 3차원에서의 고전적 헤시-아페르로 시스템은 어떻게 라프 표현을 통한 대수기하학적 방법으로 완전히 적분할 수 있는가?
• RQ2 4차원 일반화된 라그랑주 비톱 및 헤시-아페르로 시스템에 대한 라프 표현과 스펙트럼 곡선은 무엇인가?
• RQ3 이deal 유동체 내에서의 카일레르-키프 및 찰플린 케이스의 강체 운동은 4차원으로 일반화될 수 있으며, 그 적분 가능성의 유지가 보장되는가?
• RQ4 라프 쌍과 관련된 스펙트럼 문제를 해결하는 데 있어 바커-아키에제르 함수의 역할은 무엇인가?
• RQ5 대체 라프 표현은 $ e(3) $ 상에서 어떤 새로운 가족의 적분 가능 시스템을 이끌어내며, 그들의 고전적 및 대수기하학적 적분 절차는 무엇인가?

주요 결과

• 고전적 헤시-아페르로 시스템은 종수 3인 스펙트럼 곡선 $ \mathcal{C} $ 와 함께 라프 표현을 갖는다. 이 곡선은 변환 $ \sigma:(\lambda_1, \mu) \mapsto (-\lambda_1, \mu) $ 에서 종수 1 곡선 $ \mathcal{C}_1 $ 으로 감소한다.
• 4차원 라그랑주 비톱 시스템은 종수 3인 스펙트럼 곡선을 가지며, 이 곡선에서 바커-아키에제르 함수를 통한 대수기하학적 적분 절차로 완전히 적분 가능하다.
• 4차원 카일레르-키프 케이스는 리우빌의 의미에서 완전 적분 가능하며, 네 개의 독립적 제1 적분을 갖는다: 두 개의 선형($ M_{12}, M_{34} $) 및 두 개의 이차 적분, 비자명한 이차 적분 $ F_5 $ 포함.
• 4차원 찰플린 케이스는 $ M_{ij} $ 와 $ \Gamma_k $ 의 혼합 항을 포함하는 해밀토니안으로 정의되며, $ M_{12} $ 와 $ M_{34} $ 의 불변성을 유지하여 그 적분 가능성을 확인한다.
• 고전적 헤시-아페르로 시스템에 대한 대체 라프 표현은 $ e(3) $ 상에서 다섯 개인 적분 가능 시스템의 가족을 생성하며, 각 시스템은 고전적 및 대수기하학적 적분을 모두 갖는다.
• $ n $-차원 일반화된 헤시-아페르로 시스템은 해당 라프 표현과 함께 구성되며, 이는 임의의 차원으로의 적분 가능성 프레임워크를 확장한다.