[논문 리뷰] Symmetry in systems with gyroscopic forces

Mikhail P. Kharlamov|arXiv (Cornell University)|2014. 02. 04.

Dynamics and Control of Mechanical Systems인용 수 8

한 줄 요약

이 논문은 기계 시스템의 순환 적분 개념을 구심력이 작용하는 시스템으로 일반화하며, 전역적 면적 유형의 적분이 존재하는 것은 $ \mathrm{i}_v\varkappa$ 가 정확한 1형식일 때이고 그때에만 성립함을 증명한다. 핵심 결과는 고정된 점을 중심으로 한 강체 운동에서 그러한 적분을 유지하는 가장 일반적인 형태의 구심력, 즉 $ \boldsymbol{\kappa} = F\boldsymbol{\alpha} + \mathrm{grad}\,f$ 를 규명한다.

ABSTRACT

We consider a generalization of the notion of a natural mechanical system to the case of additional forces of gyroscopic type. Such forces appear, for example, as a result of global reduction of a natural system with symmetry. We study symmetries in the systems with gyroscopic forces to find out when these systems admit a global analogue of a cyclic integral. The results are applied to the problem of the motion of a rigid body about a fixed point in potential and gyroscopic forces to find the most general form of such forces admitting the global area type integral.

연구 동기 및 목표

• 자연 기계 시스템에서의 순환 적분 개념을 구심력이 작용하는 시스템으로 확장한다.
• 시스템이 형태 $G = \langle v, w \rangle + f \circ p_M$의 전역적 제1적분을 가질 수 있는 조건을 규명한다.
• 고정된 점을 중심으로 한 강체 운동에서 면적 유형의 적분을 보존하는 가장 일반적인 형태의 구심력의 특성을 규명한다.
• 잠재력과 구심력이 작용하는 강체 문제에 결과를 적용하여 추가 제1적분을 통해 적분 가능성이 성립하는 조건을 규명한다.

제안 방법

• 구심력이 작용하는 기계 시스템을 4중항 $(M, m, \Pi, \varkappa)$으로 공식화하며, 여기서 $m$은 리만 계량, $\Pi$는 위치 에너지, $\varkappa$는 구심력에 해당하는 닫힌 2형식이다.
• 전체 에너지 $H = \frac{1}{2}\langle w, w \rangle + \Pi(p_M(w))$를 정의하고, $\sigma = d\theta + p_M^*\varkappa$를 통해 $TM$ 위에 해밀턴 기하학을 구성한다.
• $(TM, \sigma)$ 위의 해밀턴 벡터장 $X$를 사용하여 운동을 기술하며, $X$는 조건 $Tp_M \circ X = \mathrm{id}_{TM}$를 만족한다.
• 리 군 대칭 이론을 적용: 한 파라미터 군 $\Psi$가 $M$에 작용하며, 그 생성자 $v$와 그 $TM$ 위로의 올림 $v_T$를 정의한다.
• $\tilde{G}(w) = \langle v, w \rangle$에 대해 $\frac{d\tilde{G}}{dt} = \mathrm{i}_v\varkappa$ 조건을 유도하며, 이는 $\mathrm{i}_v\varkappa$가 정확한 1형식일 때에만 보존됨을 보여준다.
• 수정된 적분 $G = \tilde{G} + f \circ p_M$가 보존됨은 $\mathrm{i}_v\varkappa = -df$일 때에만 성립함을 증명하며, 이로부터 핵심 조건 $\boldsymbol{\kappa} = F\boldsymbol{\alpha} + \mathrm{grad}\,f$를 도출한다.

실험 결과

연구 질문

• RQ1 구심력이 작용하는 기계 시스템이 자연 시스템에서의 운동량 적분과 유사한 전역적 제1적분을 가질 수 있는 조건은 무엇인가?
• RQ2 그러한 적분의 존재 조건을 구심력 형식 $\varkappa$의 기하학적 성질로 어떻게 기술할 수 있는가?
• RQ3 고정된 점을 중심으로 한 강체 운동에서 면적 유형의 적분을 보존하는 가장 일반적인 형태의 구심력은 무엇인가?
• RQ4 시스템의 대칭성이 잠재력과 구심력이 작용하는 강체 운동의 적분 가능성에 어떻게 영향을 미치는가?
• RQ5 포아송 괄호와 추가 제1적분은 이러한 시스템의 리우빌 적분 가능성에서 어떤 역할을 하는가?

주요 결과

• 형태 $G = \langle v, w \rangle + f \circ p_M$의 전역적 제1적분이 존재하는 것은 $\mathrm{i}_v\varkappa$가 정확한 1형식일 때이고 그때에만 성립한다.
• $f$는 식 $\mathrm{i}_v\varkappa = -df$에 의해 결정되며, 이는 $G$의 보존을 보장한다.
• 고정된 점을 중심으로 한 강체 운동의 경우 면적 적분이 존재하는 것은 구심력 벡터 $\boldsymbol{\kappa}$가 $\boldsymbol{\kappa} = F\boldsymbol{\alpha} + \mathrm{grad}\,f$를 만족할 때이고, 여기서 $F$와 $f$는 오일러 각 $\alpha_1, \alpha_2, \alpha_3$의 함수이다.
• 면적 적분의 명시적 형태는 $G(Q, \boldsymbol{\omega}) = A_1\omega_1\alpha_1 + A_2\omega_2\alpha_2 + A_3\omega_3\alpha_3 + f(\alpha_1, \alpha_2, \alpha_3)$이다.
• $\varkappa_i \equiv \text{const}$일 경우, 적분은 고전적 형태 $G = (A_1\alpha_1 + \varkappa_1)\omega_1 + (A_2\alpha_2 + \varkappa_2)\omega_2 + (A_3\alpha_3 + \varkappa_3)\omega_3$로 간소화된다.
• 추가 제1적분 $K$가 $G$와 리아프로브 괄호를 이루면 시스템은 리우빌 적분 가능하며, 이는 $K$가 대칭군 $\Psi$의 접선 맵에 대해 불변일 때 정확히 성립한다.