[논문 리뷰] Relativistic forces in Lagangian mechanics

J. Dı́az|arXiv (Cornell University)|2012. 06. 07.

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

한 줄 요약

이 논문은 라그랑주 역학 내에서 상대론적 힘의 기하학적 정의를 수립하며, 속도에 대해 선형인 상대론적 힘은 구성 다양체 위의 수평 2형식에서만 유래됨을 증명한다. 핵심 결과는 이러한 힘이 차원이 2인 미분형식과 자연스럽게 관련되어 있으며, 이는 전자기력이 이 틀에서 가장 단순한 상대론적 상호작용임을 일반화한다.

ABSTRACT

We give a general definition of \emph{relativistic force} in the context of Lagrangian mechanics. Once this is done we prove that the only relativistic forces which are linear on the velocities are those coming from differential 2-forms defined on the configuration space. In this sense, electromagnetic fields provide a mechanical system with the simplest type of relativistic forces.

연구 동기 및 목표

• 라그랑주 역학 내에서 특정 메트릭에 의존하지 않는 상대론적 힘의 정확하고 기하학적인 정의를 제공하는 것.
• 상대론적 힘과 텐서장, 특히 구성 공간 위의 미분형식 간의 관계를 명확히 하는 것.
• 속도에 대해 선형인 상대론적 힘의 배경 수학적 구조를 규명하는 것.
• 접촉계가 메트릭에 영향을 받지 않고 상대론적 힘을 특징짓는 데 핵심적인 이유를 밝히는 것.
• 이 형식론에서 전자기력이 상대론적 힘의 가장 단순한 예로 어떻게 도출되는지 보여주는 것.

제안 방법

• 라그랑주 역학의 위상공간으로 매끄러운 다양체 $M$ 의 접속다양체 $TM$ 을 사용한다.
• 표준 사영 $\pi: TM \to M$ 을 이용해 $TM$ 상의 수직 및 수평 분할을 정의한다.
• 모든 두 번째 차수 미분방정식을 제거하는 수평 1형식으로 구성된 $TM$ 상의 접촉계 $\Omega$ 를 도입한다.
• 일반화된 힘 1형식 $\alpha$ 가 접촉계 $\Omega$ 에 속해 있음을 조건으로 하여 상대론적 힘을 특징짓는다. 즉, $\dot{\alpha} = 0$.
• 메트릭 $T_2$ 를 통해 두 번째 차수 방정식과 수평 1형식 사이의 일대일 대응을 수립한다.
• 속도에 대해 선형인 상대론적 힘은 $\alpha = i_{\dot{d}}\Phi_2$ 로 표현되며, 여기서 $\Phi_2$ 는 $TM$ 상의 수평 2형식이며 $\Lambda^2 M$ 에 값을 갖는다.

실험 결과

연구 질문

• RQ1 라그랑주 역학 내에서 상대론적 힘의 본질적 기하학적 정의는 무엇인가?
• RQ2 상대론적 힘은 구성 공간 위의 텐서장, 특히 미분형식과 어떻게 관련되어 있는가?
• RQ3 라그랑주 프레임워크에서 상대론적 불변성을 만족하는 속도에 대해 선형인 힘은 어떤 것인가?
• RQ4 왜 $TM$ 상의 접촉계가 메트릭에 영향을 받지 않고 상대론적 힘을 특징짓는 데 핵심적인가?
• RQ5 이 형식론에서 전자기력은 어떻게 가장 단순한 상대론적 힘의 예로 도출되는가?

주요 결과

• 속도에 대해 선형인 상대론적 힘은 그 일 1형식 $\alpha$ 가 $TM$ 의 접촉계 $\Omega$ 에 속해 있을 때에만 성립하며, 즉 $\dot{\alpha} = 0$.
• 이러한 힘은 $\alpha = i_{\dot{d}}\Phi_2$ 로 표현되며, 여기서 $\dot{d}$ 는 리우빌 벡터장이고 $\Phi_2$ 는 $TM$ 상의 수평 2형식이다.
• 힘장 $W$ 는 $W = \Phi(\dot{d})$ 로 주어지며, 여기서 $\Phi$ 는 $M$ 상의 반대칭 엔도모르피즘 장이며 $T_2(\Phi(\dot{d}), \dot{d}) = 0$ 를 만족한다.
• 기계적 시스템이 상대론적임은 유일하게 그 궤적이 메트릭 $T_2$ 에 대해 접선 벡터의 길이가 일정할 때 성립하며, 즉 $T_2(u,u)$ 가 궤적에 따라 일정하다.
• 전자기력은 이러한 상대론적 힘의 표준적인 예로, 닫힌 2형식 $\Phi_2 = F_{ij} dq^i \wedge dq^j$ 와 대응된다.
• $\alpha$ 가 주어졌을 때 $\Phi_2$ 는 유일하지 않으며, $\alpha_i, \beta_i$ 가 접촉형식일 때 $\phi^i \alpha_i \wedge \beta_i$ 의 형태로 항을 더한 것까지 유일하게 결정된다.