[논문 리뷰] On the nonuniqueness of free motion of the fundamental relativistic rotator

Łukasz Bratek|ArXiv.org|2009. 02. 24.

Geotechnical and Geomechanical Engineering인용 수 4

한 줄 요약

이 논문은 질량과 스핀이 내재된 매개변수로 고정된 기본 상대론적 로터의 자유 운동을 조사한다. 해밀토니안 작용의 공변적 형식을 사용하여, 운동 방정식은 운동량 중심 프레임에서 영 방향의 회전을 지배하는 임의의 시간 함수를 포함하며, 이는 고전적 결정론을 위반하고 코시 문제의 유일성을 해친다. 이러한 비결정성은 라그랑지안의 속도에 대한 이차도함수의 헤시안 행렬의 비특이성에서 기인하며, 이는 오직 특정 함수 $ f(Q) = \tilde{f}(Q) = \frac{1}{\tilde{f}(Q)} $ 에서만 식별적으로 0이 된다. 이는 기본 로터를 유일하게 특징짓지만, 고립된 시스템으로서는 역학적으로 병리적인 성질을 갖게 된다.

ABSTRACT

Consider a class of relativistic rotators described by position and a single null direction. Such a rotator is called fundamental if both its Casimir invariants are intrinsic dimensional parameters independent of arbitrary constants of motion. As shown by Staruszkiewicz, only one rotator with this property exists (its partner with similar property can be excluded on physical grounds). We obtain a general solution to equations of free motion of the fundamental relativistic rotator in a covariant manner. Surprisingly, this motion is not entirely determined by initial conditions but depends on one arbitrary function of time, which specifies rotation of the null direction in the centre of momentum frame. This arbitrariness is in manifest contradiction with classical determinism. In this sense the isolated fundamental relativistic rotator is pathological as a dynamical system. To understand why this is so, we study the necessary condition for the uniqueness of the related Cauchy problem. It turns out that the fundamental relativistic rotator (together with its partner) can be uniquely characterized by violating this condition in the considered class of rotators.

연구 동기 및 목표

• 기본 상대론적 로터의 자유 운동에 대한 코시 문제의 유일성을 조사한다. 이는 질량과 스핀이 내재 매개변수로 고정된 시스템이다.
• 상대론적 작용에서 유도된 운동 방정식이 초기 조건에 의해 완전히 결정되는지, 또는 추가적인 자유도를 포함하는지 확인한다.
• 속도에 대한 라그랑지안의 이차도함수의 헤시안 행렬을 분석하여 비결정성의 수학적 근본 원인을 분석한다.
• 헤시안 행렬의 행렬식이 0이 되는 조건이 $ f(Q) = \tilde{f}(Q) $ 라는 특정 형태로만 성립함을 밝히고, 이로 인해 고전적 기본 역학 시스템의 일관성에 어떤 함의를 갖는지 명확히 한다.
• 이 유일성의 결여가 고정 캐시미어 불변량을 갖는 고립된 고전적 시스템 존재 가능성에 어떤 영향을 미치는지 탐색한다.

제안 방법

• 위치 $ x^\nu $ 와 영 방향 $ k^\nu $ 에 대해 캐논ical 운동량을 사용하여 해밀토니안 작용 $ S = -m \bigint \tilde{f}(Q) \frac{d\tau}{\text{d}\tau} $ 에서 운동 방정식을 형식적으로 유도한다. 여기서 $ Q = -\tilde{f}(Q) \frac{\tilde{f}(Q)}{(k \tilde{x})^2} $ 이다.
• 파울리-루반스키 스핀 벡터 $ W^\nu $ 와 캐시미어 불변량 $ P^\nu P_\nu = m^2 $, $ W^\nu W_\nu = -\frac{1}{4} m^4 \tilde{f}(Q)^2 $ 를 계산하여, 이들이 내재 매개변수 $ m $ 과 $ \tilde{f}(Q) $ 로 고정됨을 확인한다.
• 속도 $ \tilde{x}^\nu $, $ \tilde{k}^\nu $ 에 대한 라그랑지안의 이차도함수의 헤시안 행렬 $ H $ 를 분석하여, 이의 행렬식이 오직 $ f(Q) = \tilde{f}(Q) $ 에서만 식별적으로 0이 됨을 보여준다. 이는 기본 로터에 해당한다.
• 코시 문제의 유일성을 위한 조건 $ \text{det}(H) = 0 $ 를 유도하고, 기본 로터가 이 조건을 위반함을 드러낸다.
• 실베스터의 행렬식 정리와 행렬 분해 기법을 사용하여 헤시안의 행렬식을 평가하여, 오직 $ f(Q) = \tilde{f}(Q) $ 에서만 식별적으로 0이 되는 것을 보였다.
• 운동량 중심 프레임에서 시간의 임의의 함수로 매개변수화된 영 방향의 진동에서 비결정성의 근본 원인을 규명하였다.

실험 결과

연구 질문

• RQ1 왜 기본 상대론적 로터의 자유 운동은 초기 조건에 의해 유일하게 결정되지 않는가?
• RQ2 이 시스템의 코시 문제에서 비결정성의 수학적 근본 원인은 무엇인가?
• RQ3 라그랑지안의 헤시안 행렬의 행렬식이 0이 되는 것은 시스템 역학에서 관측된 비결정성과 어떻게 관련이 있는가?
• RQ4 왜 특정 함수 $ f(Q) = \tilde{f}(Q) $ 뿐이 캐시미어 불변량이 내재 매개변수에 의해 고정되고 헤시안 행렬식이 식별적으로 0이 되는가?
• RQ5 고정 캐시미어 불변량을 갖는 고립된 고전적 시스템이 일관되게 존재할 수 있는가, 아니면 결정론을 복원하기 위해 외부 필드와의 상호작용이 필요할까?

주요 결과

• 기본 상대론적 로터의 자유 운동은 운동량 중심 프레임에서 영 방향의 회전을 지배하는 임의의 시간 함수에 의존하므로, 초기 조건에 의해 유일하게 결정되지 않는다.
• 비결정성은 라그랑지안의 속도에 대한 이차도함수의 헤시안 행렬의 행렬식이 0이 되기 때문에 발생하며, 이는 오직 특정 함수 $ f(Q) = \tilde{f}(Q) $ 에서만 발생한다. 이는 기본 로터를 유일하게 특징짓는다.
• 이 식별적인 0이 되는 헤시안은 코시 문제의 유일한 해가 존재하지 않음을 의미하며, 고전적 결정론을 위반하고 고립된 기본 상대론적 로터를 병리적인 역학 시스템으로 만든다.
• $ \text{det}(H) = 0 $ 조건은 코시 문제의 유일성에 필수적이며, 기본 로터는 이 조건을 위반한다. 이는 해에 존재하는 임의의 함수의 근본 원인을 설명한다.
• 비결정성은 자유도의 수의 산물이 아니라 $ f(Q) $ 의 형태에 내재된 성질이다. 심지어 $ f(Q) $ 의 작은 변형이라도 비특이성을 회복하지만, 고정된 캐시미어 불변량의 기본 성질을 파괴한다.
• 결과적으로 고립된 고전적 기본 시스템—즉, 질량과 스핀이 내재 매개변수로 고정된 시스템—은 수학적으로 일관되지 않을 수 있으며, 결정론과 일관성을 회복하기 위해 외부 필드와의 상호작용이 필요할 수 있음을 시사한다.