[논문 리뷰] Hamiltonians and Lagrangians of non-autonomous one-dimensional mechanical systems

G. F. Torres del Castillo, I. Rubalcava García|ArXiv.org|2006. 11. 02.

Elasticity and Wave Propagation참고 문헌 2인용 수 7

한 줄 요약

이 논문은 비자기적인 1차원 기계계를 묘사하는 두 개의 일阶 상미분 방정식으로 이루어진 비자기계계를 해밀토니안 형태로 표현하기 위한 체계적인 방법을 제시한다. 이 방법은 시스템의 역학으로부터 유도된 미분형식에 대한 적분인자(integrating factor)를 찾는 데 기반한다. 주요 기여는 해밀토니안과 캐논ical 변수를 직접 구성할 수 있는 절차를 제공하며, 라그랑주 존재 조건인 헬름홀츠 조건과 자동계의 경우 무한한 해밀토니안 가족을 복원하는 데 있다.

ABSTRACT

It is shown that a given non-autonomous system of two first-order ordinary differential equations can be expressed in Hamiltonian form. The derivation presented here allow us to obtain previously known results such as the infinite number of Hamiltonians in the autonomous case and the Helmholtz condition for the existence of a Lagrangian.

연구 동기 및 목표

• 비자기적인 두 개의 일阶 상미분 방정식으로 이루어진 시스템을 해밀토니안 형태로 표현하기 위한 일반적이고 구축 가능한 절차를 제공하는 것.
• 해밀토니안 존재성과 시스템에서 유도된 미분형식의 적분 가능성 사이의 직접적인 연결 고리를 확립하는 것.
• 두 번째 차수 미분방정식으로부터 유도된 특수한 경우에서 라그랑주 존재 조건인 헬름홀츠 조건을 복원하는 것.
• 특히 분리형 또는 비보존계에서 라그랑주 형태가 존재하지 않을 때도 해밀토니안 형태가 가능하다는 것을 보여주는 것.
• 시간에 의존하는 적분인자(time-dependent integrating factor)가 캐논ical 운동량과 시간에 의존하는 해밀토니안을 구성하는 데 수행하는 역할을 명확히 하는 것.

제안 방법

• 시스템을 일阶 상미분 방정식 쌍으로 기술한다: $\dot{x} = f(x,y,t)$, $\dot{y} = g(x,y,t)$로 하여 $x$와 $y$를 동역학적 변수로 간주한다.
• 캐논ical 변환의 시간 도함수를 나타내는 $\phi$와 $\psi$를 사용하여 미분 1형식 $-(g - \phi)\,dx + (f - \psi)\,dy$를 구성한다.
• 이 1형식이 $\sigma\,dH$ 형태로 변환되도록 적분인자 $\sigma(x,y,t)$를 식별하여 해밀토니안 $H$를 정의할 수 있도록 한다.
• 변환의 단순화를 위해 $q = x$로 고정하여 $\partial p / \partial y = 1/\sigma$를 도출하고, 이는 캐논ical 운동량 $p$를 정의한다.
• 해밀토니안 구조의 일致성(일致성)을 제어하는 진화 방정식 $\partial_t \sigma^{-1} = -\sigma^{-1} \partial_y \phi - \phi \partial_y \sigma^{-1}$를 유도한다.
• 해밀토니안은 $dH = -\sigma^{-1}(g - \phi)\,dx + \sigma^{-1}f\,dy + \partial_t H\,dt$를 통해 복원되며, $p$와 $H$는 $\sigma$와 시스템 함수로 표현된다.

실험 결과

연구 질문

• RQ1 모든 비자기적인 두 개의 일阶 상미분 방정식으로 이루어진 시스템은 해밀토니안 형태로 표현될 수 있는가?
• RQ2 해밀토니안과 캐논ical 운동량을 구성하는 데 있어 적분인자 $\sigma$의 역할은 무엇인가?
• RQ3 유도된 조건 $\partial_t \sigma^{-1} = -\sigma^{-1} \partial_y \phi - \phi \partial_y \sigma^{-1}$는 헬름홀츠 조건과 같은 기존 제약 조건과 어떻게 관련이 있는가?
• RQ4 라그랑주 형태가 존재하지 않을 때도 해밀토니안이 존재할 수 있는 조건는 무엇인가?
• RQ5 분리형 또는 비보존계와 같이 두 번째 차수 방정식에서 유도되지 않은 시스템에 이 방법을 어떻게 적용할 수 있는가?

주요 결과

• 해당 미분형식에 대해 적분인자 $\sigma$를 찾을 수 있다면, 비자기적인 두 개의 일阶 상미분 방정식으로 이루어진 어떤 시스템이라도 해밀토니안 형태로 표현 가능하다.
• 캐논ical 운동량 $p$는 $\partial p / \partial y = 1/\sigma$로 결정되며, 해밀토니안 $H$는 $dH = \sigma^{-1}(- (g - \phi) dx + f dy)$를 통해 구성된다.
• 조건 $\partial_t \sigma^{-1} = -\sigma^{-1} \partial_y \phi - \phi \partial_y \sigma^{-1}$는 시간 진화의 일치성을 보장하며, 헬름홀츠 조건을 일반화한다.
• 두 번째 차수 방정식 $\ddot{x} = F(x, \dot{x}, t)$의 경우, 이 방법은 표준 헬름홀츠 조건 $\partial_t \sigma^{-1} = -\sigma^{-1} \partial_y F$를 복원한다.
• 분리형 시스템인 $\dot{x} = f(x,t)$, $\dot{y} = g(y,t)$의 경우 해밀토니안은 존재하지만 레이그랑주 변환은 실패하므로 라그랑주 형태가 존재하지 않는다.
• 해밀토니안 $H$는 반드시 총 에너지가 아니며, 비제곱형 또는 로그형일 수도 있다. 예를 들어 상대론적 마찰계의 경우 $H = -x/m + \frac{1}{2(\lambda\alpha^2 - \gamma)} \ln\left|\frac{\lambda - \gamma y^2}{1 - \alpha^2 y^2}\right|$로 표현된다.