[논문 리뷰] Coordinate representation of the Lagrange-Poincaré equations for a mechanical system with symmetry on the total space of a principal fiber bundle whose base is the bundle space of the associated bundle

S. N. Storchak|arXiv (Cornell University)|2017. 09. 23.

Advanced Differential Geometry Research참고 문헌 1인용 수 4

한 줄 요약

이 논문은 기저가 관련 번들의 공간인 주기저다발의 총공간에서 대칭성을 가진 기계계의 라그랑주-포incare 방정식의 좌표 표현을 구하며, 종속좌표와 국소 섹션을 사용하여 리만다만에서 상호작용하는 두 스칼라 입자의 역학을 기술한다. 주요 기여는 감소된 방정식의 명시적 국소 공식화이며, 운동량과 곡률 텐서에 대한 제약 조건을 통해 상대 평형 상태에 대한 방정식 유도를 포함한다.

ABSTRACT

Using the dependent coordinates, the local Lagrange-Poincaré equations and equations for the relative equilibria are obtained for a mechanical system with a symmetry describing the motion of two interacting scalar particles on a special Riemannian manifold (the product of the total space of the principal fiber bundle and the vector space) on which a free proper and isometric action of a compact semi-simple Lie group is given. As in gauge theories, dependent coordinates are implicitly determined by means of equations representing the local sections of the principal fiber bundle.

연구 동기 및 목표

• 주기저다발의 총공간에서 대칭성을 가진 기계계에 대해 라그랑주-포incare 방정식의 좌표 표현을 제공한다.
• 기존의 일반형 결과를 확장하기 위해 종속 변수와 가우지 유사 섹션을 사용한 국소 좌표를 도입한다.
• 감소된 시스템에서 상대 평형 상태에 대한 명시적 방정식을 유도한다. 여기서 운동은 대칭에 대해 정적이고 형상이 불변하다.
• 지역 섹션을 사용하여 다발 위에 적응 좌표를 정의하는 것과 유사한 프레임워크를 구축한다.

제안 방법

• 주기저다발 P의 총공간과 일정한 계량을 가진 벡터공간 V의 곱다발 P×V 위에 종속좌표 (Q^A, f^n) 를 사용한다.
• 국소 섹션 σ_i 를 도입하여 군에 의존하는 변수를 포함하는 가우지 유사 변환 (p,v) ↦ (σ_i(x), a(p)v) 를 통한 적응 좌표를 정의한다.
• 포incare 변분 원리를 적용하여, 계량 호환성과 칠링 벡터장 조건을 포함한 국소 좌표에서 감소된 라그랑주-포incare 방정식을 도출한다.
• 다발의 연결형식 ω^Ẽ 와 리 대수의 구조상수 c^γ_αβ 를 사용하여 방정식의 수평 및 수직 성분을 유도한다.
• 궤도 계량의 합의 역행렬로 정의된 행렬 d^μσ 를 도입하여 곡률과 운동량의 결합을 표현한다.
• 감소된 연결형식 ω^Ẽ = 0 으로 설정함으로써 상대 평형 상태에 대한 방정식을 도출하며, 이는 d^μσ 의 코바리언트 도함수와 위치 에너지 기울기의 조합을 포함하는 대수적 방정식계로 이어진다.

실험 결과

연구 질문

• RQ1 주기저다발 위에서 대칭성을 가진 기계계에 대해 라그랑주-포incare 방정식을 국소 좌표에서 명시적으로 어떻게 공식화할 수 있는가?
• RQ2 종속좌표와 국소 섹션은 총공간의 역학을 궤도공간으로 감소시키는 데 어떤 역할을 하는가?
• RQ3 연결형식의 소멸과 운동량 제약 조건이 상대 평형 상태의 방정식을 어떻게 도출하는가?
• RQ4 특히 운동량 p_α 와 행렬 d^μσ 에 대해 상대 평형 상태 방정식의 해가 존재하기 위한 조건은 무엇인가?
• RQ5 적응 좌표계를 사용하여 곡률 및 계량 텐서의 구조는 감소된 방정식에 어떻게 표현되는가?

주요 결과

• 국소 라그랑주-포incare 방정식은 (34), (35), (36)번 식으로 좌표 형태로 도출되었으며, 이는 수평 및 수직 성분을 통해 역학을 기술한다.
• 상대 평형 상태의 방정식은 식 (43)에 의해 주어지며, N^R_B (½(𝒟_R d^{κσ})p_κp_σ + V_,R) = 0 과 ½(𝒟_m d^{κσ})p_κp_σ + V_,m = 0 로, 운동량과 위치 에너지 기울기를 제약한다.
• p_α 가 일정하다는 가정 하에 수직 방정식 (36)은 c^ν_μβ d^{μσ} p_σ p_ν = 0 으로 간소화되며, 이는 평형 상태가 d^{μσ} 의 고유벡터와 연결됨을 나타낸다.
• 상대 평형 상태 방정식의 해가 존재하기 위해서는 p_α 가 행렬 d^{μσ} 의 고유벡터에 비례해야 하며, 식 (44)에서 이를 보여준다.
• d^{μσ} 와 궤도 계량 γ_μν 및 γ′_μν 의 합의 역관계로 인해 방정식계는 독립적이지 않다.
• 최종적으로 상대 평형 상태 방정식은 행렬 형태로 표현되며, G^{H}_{ij} 행렬에 의한 변환 하에서 수평 및 수직 제약 조건이 분리됨을 보여준다.