[논문 리뷰] A note on the Hamiltonian formalism for higher-derivative theories

Krzysztof Andrzejewski, Joanna Gonera외 1명|ArXiv.org|2007. 10. 16.

Homotopy and Cohomology in Algebraic Topology참고 문헌 1인용 수 8

한 줄 요약

이 논문은 표준 오스트로그라츠키 접근법에서 캐논ical 변환을 통해 비특이 라그랑지안을 도입하여 고차 도함수 이론을 위한 수정된 해밀토니안 체계를 제안한다. 원래 좌표의 짝수계수 시간 도함수만 포함하도록 변수를 재정의하고, 적절히 선택된 함수 F를 추가함으로써, 약속 조건 없이 간단한 레지외스 변환을 가능하게 하며, 캐논ical 변환을 통해 오스트로그라츠키의 해밀토니안과 동치인 해밀토니안을 도출한다.

ABSTRACT

An alternative version of Hamiltonian formalism for higher-derivative theories is presented. It is related to the standard Ostrogradski approach by a canonical transformation. The advantage of the approach presented is that the Lagrangian is nonsingular and the Legendre transformation is performed in a straightforward way.

연구 동기 및 목표

• 고차 도함수 이론에서 오스트로그라츠키 체계의 기술적·개념적 결함, 특히 유계가 아닌 해밀토니안과 약속 조건이 필요한 문제를 해결하기 위해.
• 라그랑지안이 비특이적이 되도록 보장함으로써 라그랑주 승수와 디라크의 약속 다이내믹스를 피하는 해밀토니안 체계를 개발하기 위해.
• 새로운 체계와 표준 오스트로그라츠키 접근법 사이의 캐논ical 변환을 체계적으로 수립하기 위해.
• 새로운 체계가 오스트로그라츠키와 동일한 물리적 역학을 유도하며, 잘 정의된 해밀토니안과 직관적인 레지외스 변환을 가능하게 함을 보여주기 위해.

제안 방법

• 원래 좌표의 짝수계수 시간 도함수만을 독립 변수로 사용하기 위해 $ q_i = q^{(2i-2)} $ 라는 새로운 변수를 도입한다.
• 원래 라그랑지안에 $ F $ 라는 항을 추가한다. 여기서 $ F $ 는 새로운 변수에 대해 두 번 미분 가능하며, $ \frac{\partial L}{\partial q_{n+1}} + \frac{\partial F}{\partial \dot{q}_n} = 0 $ 이고, $ i \geq n+2 $, $ j \leq n-1 $ 에 대해 $ \det\left[\frac{\partial^2 F}{\partial q_i \partial \dot{q}_j}\right] \neq 0 $ 를 만족시킨다.
• 새로운 라그랑지안 $ \mathcal{L} = L + \sum_{k=1}^n \left( \frac{\partial F}{\partial q_k} \dot{q}_k + \frac{\partial F}{\partial \dot{q}_k} q_{k+1} \right) + \sum_{j=n+1}^{2n} \frac{\partial F}{\partial q_j} \dot{q}_j $ 를 정의하여, 해의 조건에서 원래 이론과 동치임을 보장한다.
• 레지외스 변환을 직접 $ \mathcal{L} $ 에 적용하여 캐논ical 운동량 $ p_i = \partial \mathcal{L} / \partial \dot{q}_i $ 를 정의한다. 이때 $ F $ 의 비특이성 조건으로 인해 운동량은 가역적이다.
• 생성 함수 $ \Phi $ 를 사용하여 오스트로그라츠키 변수 $ \tilde{q}_k, \tilde{p}_k $ 로의 캐논ical 변환을 구성한다. 이는 짝수계수 도함수와 홀수계수 도함수의 경우에 대해 명시적으로 기술되어 있다.
• 결과로 얻어진 해밀토니안이 오스트로그라츠키 해밀토니안과 일치함을 검증함으로써, 두 체계가 해밀토니안 수준에서 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 고차 도함수 이론에 대해 약속 조건과 라그랑주 승수를 피하는 비특이 라그랑지안 체계를 구성할 수 있는가?
• RQ2 오스트로그라츠키의 약속 다이내믹스에 의존하지 않고도 고차 도함수 이론에서 직접 레지외스 변환을 수행할 수 있는가?
• RQ3 새로운 해밀토니안 체계는 캐논ical 구조 측면에서 표준 오스트로그라츠키 접근법과 어떻게 관련되어 있는가?
• RQ4 이 새로운 체계는 짝수계수 및 홀수계수 도함수 라그랑지안에 모두 체계적으로 적용될 수 있는가?
• RQ5 새로운 체계와 오스트로그라츠키 변수를 연결하는 캐논ical 변환의 명시적 형태는 무엇인가?

주요 결과

• 제안된 체계는 원래 고차 도함수 라그랑지안과 해의 조건에서 동치인 비특이 라그랑지안 $ \mathcal{L} $ 을 도출하며, 동일한 운동 방정식을 보장한다.
• 레지외스 변환은 약속 조건 없이 직접 수행될 수 있으며, $ F $ 의 비특이성 조건으로 인해 운동량 $ p_i $ 가 속도에 대해 가역적임에 기인한다.
• 결과로 얻어진 해밀토니안은 생성 함수 $ \Phi = \sum_{k=1}^{n+1} \tilde{p}_{2k-1} q_k + F(q_1, \tilde{q}_2, \dots, q_n, \tilde{q}_{2n}, q_{n+1}, \dots, q_{2n+1}) $ 가 명시적으로 주어진 캐논ical 변환을 통해 오스트로그라츠키 해밀토니안과 동치이다.
• 예시 $ L = \frac{1}{2} \dot{q}^2 - \frac{\omega^2}{2} q^2 - g q \ddot{q} $ 에서 새로운 해밀토니안은 $ H = \frac{p_1 p_2}{2g q_1} - \frac{(1 + 4g q_2)}{8g^2 q_1^2} p_2^2 + \frac{\omega^2}{2} q_1^2 - g q_1 q_2^2 $ 로 주어지며, 정확한 역학을 재현한다.
• 오스트로그라츠키 변수로의 캐논ical 변환은 명시적으로 구성되었으며, $ \tilde{q}_1 = q_1 $, $ \tilde{q}_2 = -\frac{\tilde{p}_2}{2g \tilde{q}_1} $, $ \tilde{p}_1 = p_1 - \frac{p_2 \tilde{q}_2}{\tilde{q}_1} $ 이다. 이는 동치성을 확인한다.
• 이 체계는 홀수계수 도함수 이론에도 그대로 적용 가능하며, 생성 함수와 변환 법칙이 일반화되어 오스트로그라츠키 접근법과 동치성을 유지한다.