[논문 리뷰] Separation of variables for bi-Hamiltonian systems

Gregorio Falqui, Marco Pedroni|ArXiv.org|2002. 04. 15.

Nonlinear Waves and Solitons참고 문헌 26인용 수 29

한 줄 요약

이 논문은 $ωN$ 다양체를 사용하여 이중해밀토니안 시스템에서 변수분리의 내재 기하 조건을 수립한다. 여기서 다르부-니헨후이스(DN) 좌표는 자연스럽게 변수분리를 유도한다. 이는 해밀턴 함수들이 두 해밀토니안 구조에서 모두 교환관계를 만족할 때이고, 오직 그 때에만 DN 좌표에서 변수분리가 가능하다는 것을 증명한다. 이를 게르프란트-자하레비치(Gel'fand-Zakharevich) 시스템에 적용하여, DN 좌표와 스타켈 생성자를 명시적으로 구성함으로써 그들의 분리관계가 스펙트럴 곡선과 일치함을 보였다.

ABSTRACT

We address the problem of the separation of variables for the Hamilton-Jacobi equation within the theoretical scheme of bi-Hamiltonian geometry. We use the properties of a special class of bi-Hamiltonian manifolds, called omega-N manifolds, to give intrisic tests of separability (and Staeckel separability) for Hamiltonian systems. The separation variables are naturally associated with the geometrical structures of the omega-N manifold itself. We apply these results to bi-Hamiltonian systems of the Gel'fand-Zakharevich type and we give explicit procedures to find the separated coordinates and the separation relations.

연구 동기 및 목표

• 이중해밀토니안 기하학 내에서 해밀턴-자코비 이론에서 변수분리의 내재 기하 조건을 개발하는 것.
• ωN 다양체 위의 해밀턴 함수가 다르부-니헨후이스 좌표에서 덧셈형 변수분리를 갖는 조건을 규명하는 것.
• 게르프란트-자하레비치 시스템에서 분리 좌표와 관계를 계산하는 명시적 절차를 제공하는 것.
• 스펙트럴 곡선 접근법을 이중해밀토니안 기하학과 통합하기 위해, GZ 시스템의 분리관계가 그들의 스펙트럴 곡선과 일치함을 보이는 것.

제안 방법

• $ωN$ 다양체—비퇴화 심플렉틱 형식 $ω$와 재귀 연산자 $N$을 갖는 이중해밀토니안 다양체—를 사용하여 분리 가능성에 대한 내재 기하 구조를 정의한다.
• 다르부-니헨후이스(DN) 좌표를 도입하여 $ω$에 대해 캐논리컬이고 $N$을 대각화하며, 자연스러운 분리 좌표로 기능한다.
• n개의 해밀턴 함수들이 DN 좌표에서 분리 가능할 조건은 두 해밀토니안 브라켓에 대해 모두 비틀림 관계를 만족할 때이자 오직 그 때에만 성립함을 증명한다.
• 해밀토니안 펜슬 ${\{\cdot,\cdot\}}_{\lambda}={\{\cdot,\cdot\}}' - \lambda{\{\cdot,\cdot\}}$로부터 유도된 $ωN$ 구조를 게르프란트-자하레비치(GZ) 시스템에 적용하며, 카시미르 계수를 해밀턴 함수로 사용한다.
• 해밀턴 함수의 횡방향 벡터장에 沿한 도함수를 포함하는 행렬 $\mathsf{F}(\lambda)$를 사용하여 $N$의 최소다항식을 계산하고, 그 근을 분리 좌표 $\lambda_i$로 삼는다.
• 재귀 연산자와 관련된 벡터장 $Y$를 만족하는 스타켈 함수 생성자 $f(\lambda)$에 의해 $\mu_i$를 구성한다: $Y(f(\lambda))=1$.

실험 결과

연구 질문

• RQ1 이중해밀토니안 다양체에 대해 어떤 내재 기하 조건이 다르부-니헨후이스 좌표에서 해밀턴 함수의 분리 가능성을 보장하는가?
• RQ2 주어진 이중해밀토니안 시스템에 대해 분리 좌표와 관계를 알고리즘적으로 결정할 수 있는 방법은 무엇인가?
• RQ3 게르프란트-자하레비치 시스템의 분리관계는 그들의 스펙트럴 곡선과 일치하는가?
• RQ4 재귀 연산자 $N$은 분리 좌표 $\lambda_i$와 운동량 $\mu_i$를 생성하는 데 어떤 역할을 하는가?
• RQ5 GZ 시스템의 스타켈 분리 가능성은 행렬 $\mathsf{F}(\lambda)$와 그 수반행렬의 구조를 통해 특징지을 수 있는가?

주요 결과

• ωN 다양체 위의 n개 해밀턴 함수는 다르부-니헨후이스 좌표에서 분리 가능할 조건은 두 해밀토니안 브라켓에 대해 모두 비틀림 관계를 만족할 때이자 오직 그 때에만 성립한다.
• 분리 좌표 $\lambda_i$는 해밀턴 함수의 횡방향 벡터장에 沿한 도함수를 포함하는 행렬 $\mathsf{F}(\lambda)$의 행렬식의 근이다.
• 수반 운동량 $\mu_i$는 $\mu_i = f(\lambda_i)$로 주어지며, 여기서 $f(\lambda) = - (L(\lambda)^2)_{31} / (L(\lambda))_{31}$은 $Y(f(\lambda)) = 1$을 만족하는 스타켈 함수 생성자이다.
• 게르프란트-자하레비치 기저의 분리관계는 스펙트럴 곡선 $\det(\mu I - L(\lambda)) = 0$과 일치함을 보였으며, 라크 행렬 접근법과의 일致성을 확인하였다.
• sl(3)-기반 GZ 시스템의 심플렉틱 잎 $S$는 $ωN$ 구조를 지니며, GZ 분할은 구축된 DN 좌표에서 분리 가능하다.
• 유도된 분리관계는 $\mu_i H^{(1)}(\lambda_i) + H^{(2)}(\lambda_i) = \Phi_i(\lambda_i, \mu_i)$ 형태를 띠며, 이는 스펙트럴 곡선 방정식과 동치이다.