[논문 리뷰] To square root the Lagrangian or not: an underlying geometrical analysis on classical and relativistic mechanical models

B. F. Rizzuti, G. F. Vasconcelos Júnior외 1명|arXiv (Cornell University)|2019. 05. 01.

Dynamics and Control of Mechanical Systems인용 수 4

한 줄 요약

이 논문은 고전적 및 상대론적 역학에서 두 개의 라그랑주 형식 간의 기본 기하학적 구분을 분석한다: 하나는 호의 길이를 최소화하는 것(S₁ = ∫√g(V,V)dτ)이고, 다른 하나는 운동 에너지를 극값화하는 것(S₂ = ∫½g(V,V)dτ)이다. 고정된 속도 조건 하에서는 둘 다 동일한 운동 방정식을 도출하지만, 재매개변수화 불변성으로 인해 첫 번째는 물리적 시간 해석을 갖지 못하며, 이는 숨겨진 제약 구조를 드러낸다. 주요 기여는 보조 자유도(예: 허츠의 力 없는 역학에서처럼)가 카일링 벡터장 분석을 통해 일관되게 제거될 수 있음을 기하학적으로 증명한 것이다. 이는 비유일성과 대칭성 파괴 문제를 해결한다.

ABSTRACT

The geodesic has a fundamental role in physics and in mathematics: roughly speaking, it represents the curve that minimizes the arc length between two points on a manifold. We analyze a basic but misinterpreted difference between the Lagrangian that gives the arc length of a curve and the one that describes the motion of a free particle in curved space. Although they provide the same formal equations of motion, they are not equivalent. We explore this difference from a geometrical point of view, where we observe that the non-equivalence is nothing more than a matter of symmetry. As applications, some distinct models are studied. In particular, we explore the standard free relativistic particle, a couple of spinning particle models and also the forceless mechanics formulated by Hertz.

연구 동기 및 목표

• 곡선 공간에서 제곱근이 없는 라그랑주 함수와 제곱근이 있는 라그랑주 함수가 동일한 운동 방정식을 도출함에도 불구하고 기하학적·역학적 차이가 있음을 고려할 때, 이들의 비등가성에 대한 명확한 설명 제공.
• 재매개변수화 불변성과 제1종 제약이 물리적 자유도와 비물리적 자유도를 구분하는 데서 수행하는 역할 규명.
• 헤르츠의 力 없는 역학과 같은 모델에서 보조 변수를 카일링 벡터장 분석을 통해 기하학적으로 제거할 수 있음을 정당화하는 증거 제공.
• 물리적 공간에서의 힘이 확장된 곡면에서 대칭성 파괴를 유도한다는 점을 보여주며, 시스템이 자유로운 것으로 묘사되더라도 이를 입증.

제안 방법

• S₁ = ∫√g(V,V)dτ와 S₂ = ∫½g(V,V)dτ라는 두 개의 작용 함수를 비교하기 위해 (유사-)리만 다양체 위에서의 미분기하학의 적용.
• 레비-치비타 접속과 지오데식 방정식을 사용하여 두 작용에서 운동 방정식 유도.
• 재매개변수화 불변성으로 인해 제곱근 작용에서 제1종 제약이 나타나며, 이는 비물리적 자유도를 나타냄.
• 헤르츠의 해법에서 확장된 다양체의 대칭성을 분석하기 위해 카일링 벡터장을 사용하며, 특히 보조 변수 X에 초점을 맞춤.
• 힘의 존재 시 ∂X 가 카일링 벡터장이 아니라는 것을 보여주어 확장된 공간에서 대칭성이 깨졌음을 증명.
• 확장된 다양체에서의 해를 물리적 공간으로 투영하여 비유일성과 보조 자유도 제거의 정당성을 입증.

실험 결과

연구 질문

• RQ1 제곱근이 있는 라그랑주 함수와 없는 라그랑주 함수가 기하학적·역학적 차이가 있음에도 불구하고 동일한 운동 방정식을 도출하는 조건은 무엇인가?
• RQ2 S₁에서의 재매개변수화 불변성이 비물리적 자유도를 초래하는 방식과 S₂에서 이 문제가 어떻게 해결되는가?
• RQ3 헤르츠의 力 없는 역학에서 보조 변수 X가 물리적 역학에 기여하지 않는 이유는 무엇이며, 이를 어떻게 기하학적으로 정당화할 수 있는가?
• RQ4 카일링 벡터장이 확장된 다양체에서 물리적 대칭성을 식별하고 비물리적 자유도를 제거하는 데서 수행하는 역할은 무엇인가?
• RQ5 원래 공간에서의 물리적 힘이 확장된 곡면에서 대칭성 파괴 효과로 나타나는 방식은 무엇인가?

주요 결과

• 제곱근 작용 S₁는 재매개변수화 불변성을 가지며 제1종 제약을 포함하여 비물리적 자유도를 암시하지만, S₂는 이러한 대칭성을 깨뜨리며 진도 매개변수에 물리적 의미를 부여한다.
• 두 작용이 동일한 운동 방정식을 도출하는 것은 g(V,V) = const 조건이 붙을 때에만 성립하며, 이는 그 등가성이 조건부임을 증명한다.
• 헤르츠의 해법에서 보조 변수 X는 ∂X 가 카일링 벡터장이 아니므로 물리적이지 않으며, 이는 등방성의 파괴를 의미한다.
• X 방향을 포함하는 고정 축 도는 회전은 확장된 다양체의 등장사상이 아니며, ∂X 가 특별시킨다는 점을 확인하여 물리적 역학에서 제외되어야 한다는 것을 확인한다.
• 원래 시스템에서 물리적 힘이 존재할 경우, 확장된 공간에서의 ∂X 는 대칭성 생성자로 기능하지 않으며, 이는 입자가 그곳에서 자유로운 것으로 묘사되더라도 마찬가지이다.
• 다양한 X의 초기값이 동일한 물리적 궤적에 투영됨을 기하학적으로 증명하여, 투영을 통한 보조 자유도 제거의 정당성을 입증한다.