[논문 리뷰] On the Canonical Treatment of Lagrangian Constraints

B. M. Barbashov|ArXiv.org|2001. 11. 19.

Space Satellite Systems and Control참고 문헌 2인용 수 7

한 줄 요약

이 논문은 속도에 의존하는 제약 조건을 갖는 라그랑주 시스템에 대한 캐논리컬 접근을 위한 Berezin의 알고리즘을 제시한다. 이는 전자기론에서 '수동적으로' 도입된 제약 조건(예: 전자기론에서의 로렌츠 게이지)이라도 일관된 해밀토니안 형식화를 가능하게 한다. 이 방법은 캐논리컬 운동량에 대해 속도와 승수를 유일하게 해석함으로써 비가역성 문제를 피하고, 원래의 라그랑지안을 직접 재구성할 수 있게 하여, 속도에 의존하는 제약 조건을 갖는 비특이 및 특이 시스템을 하나의 통합 프레임워크로 통합한다.

ABSTRACT

The canonical treatment of dynamic systems with manifest Lagrangian constraints proposed by Berezin is applied to concrete examples: a special Lagrangian linear in velocities, relativistic particles in proper time gauge, a relativistic string in orthonormal gauge, and the Maxwell field in the Lorentz gauge,

연구 동기 및 목표

• 기존의 캐논리컬 방법이 전자기론에서 '수동적으로' 도입된 제약 조건(예: 로렌츠 게이지)을 처리할 수 없는 한계를 해결하기 위해.
• 표준 특이 라그랑지안을 초월하여 시간과 속도에 명시적으로 의존하는 라그랑주 제약 조건을 갖는 시스템에 대해 캐논리컬 형식을 확장하기 위해.
• 표준 레지오르드 변환에 실패하는 비가역성으로 인해 문제가 발생하는 제약 조건이 있는 시스템에 대해 일관되고 유일한 해밀토니안 형식화를 제공하기 위해.
• Berezin 알고리즘이 해밀토니안에서 원래의 라그랑지안을 재구성할 수 있음을 보여주어 동역학을 유지함을 입증하기 위해.
• 속도에 의존하는 제약 조건을 갖는 특이 라그랑지안과 비특이 라그랑지안을 하나의 프레임워크로 통합 처리할 수 있도록 하기 위해.

제안 방법

• 제약 조건을 라그랑주 승수를 통해 추가하여 확장된 라그랑지안을 도입한다: $\mathcal{L} = L + \sum_a \lambda_a \varphi_a(q,\dot{q},t)$.
• 확장된 운동량 $\tilde{p}_i = \partial \mathcal{L}/\partial \dot{q}_i$를 정의하며, 이는 원래의 라그랑지안과 제약 조건의 기여를 모두 포함한다.
• Berezin 조건을 가정한다: 속도 $\dot{q}_i$와 승수 $\lambda_a$는 $q_i$와 $\tilde{p}_i$에 대해 유일하게 해석될 수 있으며, 이는 비가역성이 없음을 보장한다.
• 해석된 표현을 사용하여 확장된 해밀토니안 $\mathcal{H}_{\text{ext}} = \sum_i \tilde{p}_i \dot{q}_i - \mathcal{L}$을 구성한다.
• 캐논리컬 방정정식 $\dot{q}_i = \partial \mathcal{H}_{\text{ext}} / \partial \tilde{p}_i$, $\dot{\tilde{p}}_i = -\partial \mathcal{H}_{\text{ext}} / \partial q_i$를 적용하여 운동 방정식을 유도한다.
• 승수 $\lambda_a$를 조건 $\lambda_a|_{\tilde{p}=p} = 0$에 따라 0으로 설정함으로써 원래의 라그랑지안을 회복하고, 주된 해밀토니안 제약 조건을 도출한다.

실험 결과

연구 질문

• RQ1 로렌츠 게이지와 같은 '수동적으로' 도입된 제약 조건이 캐논리컬 형식화에 일관되게 통합될 수 있는가?
• RQ2 표준 레지오르드 변환이 실패하는 상황에서 속도에 의존하는 제약 조건을 갖는 시스템에 대해 어떻게 해밀토니안 형식화를 구성할 수 있는가?
• RQ3 속도에 의존하는 제약 조건을 갖는 시스템에서 해밀토니안에서 원래의 라그랑지안을 유일하게 재구성할 수 있는가?
• RQ4 Berezin의 알고리즘이 특이 라그랑지안의 비가역성 문제를 피하면서도 원래 시스템의 동역학을 유지하는가?
• RQ5 이 방법은 특이 라그랑지안과 비특이 라그랑지안을 모두 속도에 의존하는 제약 조건이 있는 경우에 통합적으로 처리할 수 있는가?

주요 결과

• Berezin 알고리즘은 라그랑주 승수를 통해 비캐논리컬 제약 조건(예: 전자기론에서의 로렌츠 게이지)을 확장된 라그랑지안의 일부로 다루어, 이를 성공적으로 캐논리컬 형식화에 통합한다.
• 적절한 시간 게이지에서의 상대론적 입자에 대해 이 방법은 $\lambda = (\sqrt{\tilde{p}^2} - m)/(cm)$ 및 $\dot{x}_\mu = c \tilde{p}_\mu / \sqrt{\tilde{p}^2}$를 도출하며, 정확한 동역학을 복원한다.
• 직교 기저 게이지에서의 상대론적 스트링의 경우, 알고리즘은 $\tilde{\dot{x}}_\mu = \gamma^{-1}(1+\mu_1)p_\mu + \mu_2 x'_\mu$를 도출하며, $\mu_1$과 $\mu_2$는 제약 조건에 의해 결정된다.
• 로렌츠 게이지에서의 맥스웰 장의 경우, 이 방법은 $\pi^0 = \tilde{\pi}^0$를 도출하고, $\lambda|_{\tilde{\pi}^0 = \pi^0} = 0$ 조건을 적용함으로써 주된 제약 조건 $\pi^0 = 0$이 나타나며, 표준 전자기론이 복원된다.
• 확장된 해밀토니안 $\mathcal{H}_{\text{ext}}$는 $\mu_i|_{\tilde{\dot{q}} = \dot{q}} = 0$ 조건을 도입함으로써 원래의 라그랑지안 $L$을 완전히 재구성할 수 있으며, 이는 초기 시스템과의 일관성을 보장한다.
• 이 방법은 2차 제약 조건과 레지오르드 변환 문제를 피하기 위해, 해석된 속도와 승수를 직접 다룸으로써 비가역성이 없는 단일한 위상공간의 구조를 유지한다.