[논문 리뷰] A note on Newtonian, Lagrangian and Hamiltonian dynamical systems in Riemannian manifolds

Руслан Шарипов|ArXiv.org|2001. 07. 30.

Nonlinear Waves and Solitons참고 문헌 4인용 수 4

한 줄 요약

이 논문은 리만다이내믹스에서의 뉴턴, 라그랑주, 해밀토니안 역학계를 위한 기하적 프레임워크를 개발하며, 확장된 벡터장과 텐서장을 사용하여 좌표에 종속되지 않는 力과 역학의 기술을 가능하게 한다. 라그랑주 역학의 역문제에 대한 부분적 해결을 제공하며, 구형 대칭 라그랑주 함수를 가진 뉴턴계가 라그랑주 형식을 갖는 조건을 규명한다. 특히, 力장이 함수 $ f(x^1,\ldots,x^n) $ 를 통해 메트릭과 등각적으로 관련될 경우에 해당한다.

ABSTRACT

Newtonian, Lagrangian, and Hamiltonian dynamical systems are well formalized mathematically. They give rise to geometric structures describing motion of a point in smooth manifolds. Riemannian metric is a different geometric structure formalizing concepts of length and angle. The interplay of Riemannian metric and its metric connection with mechanical structures produces some features which are absent in the case of general (non-Riemannian) manifolds. The aim of present paper is to discuss these features and develop special language for describing Newtonian, Lagrangian, and Hamiltonian dynamical systems in Riemannian manifolds.

연구 동기 및 목표

• 리만다이내믹스에서 뉴턴, 라그랑주, 해밀토니안 시스템을 기하학적으로 기술하는 통합된 언어의 부재를 해결하며, 특히 리만다이내믹스의 구조(메트릭과 접속)가 포함된 경우를 다룬다.
• 국소 좌표계에서의 두 번째 계수 가속도가 접선 벡터로 변환되지 않는다는 제한을 극복하기 위해, 탄성다발 $ TM $ 에서의 재구성 필요.
• 확장된 벡터장을 사용하여 뉴턴역학에서 力과 속도를 일관된 방식으로 기술함으로써 리만기하학과 호환되는 스칼라곱과 노름을 가능하게 하는 형식론을 개발한다.
• 주어진 뉴턴계가 라그랑주 형식을 갖는지 여부를 결정하는 라그랑주 역학의 역문제를 다루며, 특히 섬유별로 구형 대칭인 라그랑주 함수의 범주 내에서.
• 특정 종류의 力장에 대해, 초표면의 정규 이동이 허용되는 경우, 이 역문제에 대한 구축형 해결책을 제공하며, 결과를 등각기하학과 연결한다.

제안 방법

• 리만다이내믹스 다양체 $ M $ 에서의 확장된 벡터장 $ \mathbb{F} $ 의 개념을 도입하여, 탄성다발 $ TM $ 의 점들을 $ T_pM $ 의 접선 벡터로 매핑함으로써 내적과 노름 등의 기하연산을 가능하게 한다.
• 뉴턴벡터장 $ \boldsymbol{\Phi} $ 를 사용하여 뉴턴역학계를 정의하며, $ \pi_*\boldsymbol{\Phi} = \mathbb{v} $ 를 만족시키고, 뉴턴의 제2법칙을 코바리언트 시간 도함수 $ \nabla_t v^k $ 로 재구성한다.
• 레비치비타 접속과 크리스토펠의 기호를 사용하여 국소좌표계에서 가속도를 $ \nabla_t v^k = \dot{v}^k + \sum_{i,j} \Gamma^k_{ij} v^i v^j $ 로 표현함으로써 텐서 일관성을 확보한다.
• 오직 $ |\mathbf{v}| $ 와 함수 $ C(x^1,\ldots,x^n) $ 에만 의존하는 섬유별로 구형 대칭인 라그랑주 함수 $ L $ 의 개념을 도입하여, 역문제를 단순화한다.
• 오일러-라그랑주 방정식을 통해 力장 $ F_r $ 을 유도하며, 핵심 공식 $ F_r = -|\mathbf{v}|^2 \nabla_r f + 2 \sum_s (\nabla_s f \, v^s) v_r $ 를 도출한다. 여기서 $ f $ 는 다양체 $ M $ 상의 스칼라 함수이다.
• 이러한 시스템이 등각적으로 재스케일된 메트릭 $ \tilde{g} = e^{-2f} g $ 의 지오데식 흐름과 동치임을 보여주며, 라그랑주 구조의 기하적 특성화를 확립한다.

실험 결과

연구 질문

• RQ1 리만다이내믹스에서의 뉴턴역학계가 라그랑주 형식을 갖는 조건은 무엇인가?
• RQ2 초표면의 정규 이동에 대해 불변인 力장에 대해, 라그랑주 역학의 역문제는 어떻게 해결할 수 있는가?
• RQ3 리만다이내믹스 메트릭과 그 레비치비타 접속은 어떻게 속도와 力 벡터 간의 스칼라곱을 가능하게 하는가?
• RQ4 확장된 벡터장의 개념은 리만기하학에서의 뉴턴, 라그랑주, 해밀토니안 시스템을 어떻게 통합적으로 기술할 수 있는가?
• RQ5 어떤 종류의 力장이 섬유별로 구형 대칭인 라그랑주 함수를 갖는가? 그리고 그에 대응하는 역학계의 기하적 구조는 무엇인가?

주요 결과

• 리만다이내믹스에서의 뉴턴역학계에서의 力장 $ \mathbb{F} $ 는 확장된 벡터장으로 일관되게 정의될 수 있으며, 이는 그의 노름과 속도와의 각도를 계산하는 등의 기하연산을 가능하게 한다.
• 리만다이내믹스에서의 뉴턴역학계는 성분이 $ F^k = \Phi^k + \sum_{i,j} \Gamma^k_{ij} v^i v^j $ 인 확장된 벡터장 $ \mathbb{F} $ 로 완전히 특징지워지며, 이는 다양체의 메트릭과 접속과의 호환성을 보장한다.
• 형태가 $ F_r = -|\mathbf{v}|^2 \nabla_r f + 2 \sum_s (\nabla_s f \, v^s) v_r $ 인 力장이 있는 뉴턴계는 섬유별로 구형 대칭인 라그랑주 함수를 갖는 라그랑주 구조를 가진다.
• 이 라그랑주계는 등각적으로 재스케일된 메트릭 $ \tilde{g} = e^{-2f} g $ 의 지오데식 흐름과 역학적으로 동치이며, 여기서 $ f $ 는 구성다양체 상의 매끄러운 함수이다.
• 이러한 계의 범주에 대해, 라그랑주 역학의 역문제는 부분적으로 해결된다: 뉴턴계가 그러한 라그랑주 구조를 갖는다 하는 것은 그 力장이 식 (8.18)에 주어진 형태일 때에만 가능하며, 이는 메트릭의 등각적 변화에 해당한다.
• 특히, 力장이 등각 인자 $ e^{-2f} $ 에 의해 유도될 조건 하에서, 라그랑주 함수의 명시적 해가 $ L = \phi(|\mathbf{v}|^2) $ 로 유도되며, 여기서 $ \phi $ 는 임의의 매끄러운 함수이다.