[논문 리뷰] Complete separation of variables in the geodesic Hamilton-Jacobi equation

M. O. Katanaev|arXiv (Cornell University)|2023. 04. 26.

Morphological variations and asymmetry인용 수 6

한 줄 요약

이 논문은 기하학적 해밀턴–야코비 방정식에서 완전한 변수분리가 가능한 모든 (구면)리만계량을 분류함으로써 슈타켈 문제를 완전히 해결한다. 이는 계량의 부호나 역계량의 대각성분이 0인 경우를 포함하여 모든 경우를 다루며, 새로운 좌표 불존재 기반의 프레임워크와 구조적 정리들을 통해 분리 가능한 계량의 표준형을 도출하고, 모든 분리 가능한 행동함수와 보존법칙을 명시적으로 구성하며, 칼링 벡터장, 이차 보존법칙, 공이소트로픽 좌표를 바탕으로 동치류를 수립한다.

ABSTRACT

We consider a (pseudo)Riemannian manifold of arbitrary dimension. The Hamilton-Jacobi equation for geodesic Hamiltonian admits complete separation of variables for some (separable) metrics in some (separable) coordinate systems. Separable metrics are very important in mathematics and physics. The Stäckel problem is: ``Which metrics admit complete separation of variables in the geodesic Hamilton-Jacobi equation?'' This problem was solved for inverse metrics with nonzero diagonal elements, in particular, for positive definite Riemannian metrics long ago. However the question is open for indefinite metrics having zeroes on diagonals. We propose the solution. Separable metrics are divided into equivalence classes characterised by the number of commuting Killing vector fields, quadratic indecomposable conservation laws for geodesics, and the number of coisotropic coordinates. The paper contains detailed proofs, sometimes new, of previous results as well as new cases. As an example, we list all canonical separable metrics in each equivalence class in two, three, and four dimensions. Thus the Stäckel problem is completely solved for metrics of any signature in any number of dimensions.

연구 동기 및 목표

• 오랜 기간 해결되지 않은 슈타켈 문제를 해결한다: 기하학적 해밀턴–야코비 방정식에서 완전한 변수분리를 허용하는 계량은 무엇인가?
• 이전 연구에서 비영인 대각성분을 가진 계량에 국한되었던 결과를 확장하여, 대각성분이 0인(공이소트로픽 좌표) 불정부호 계량까지 포함한다.
• 임의의 차원과 부호에서 모든 분리 가능한 계량을 완전하고 구조적으로 분류하며, 공이소트로픽 좌표를 포함한 새로운 동치류를 제공한다.
• 각 동치류에 대해 해밀턴 형식에서 모든 분리 행동함수와 보존법칙을 명시적으로 도출한다.
• 분리 가능한 계량이 진공 아인슈타인 방정식을 비선형 상미분방정식계로 줄여내며, 일반상대성론에서 새로운 정확해를 도출할 수 있음을 보여준다.

제안 방법

• 변수분리 조건의 좌표 불존재 기반 공식화를 도입하여, 이전의 대각 또는 비특이 역계량에 기반한 접근을 일반화한다.
• 세 가지 불변량을 사용하여 분리 가능한 계량의 동치류를 정의한다: 교환 가능한 칼링 벡터장의 수(n), 분해 불가능한 이차 보존법칙의 수(m), 공이소트로픽 좌표의 수(n−n−m).
• 정리 5.4와 5.5를 통해 분리 가능한 계량의 표준형을 도출하며, 이는 구조적이며 단일 좌표의 임의 함수로 계량을 명시적으로 매개변수화한다.
• 역계량 행렬 $ b $를 사용하여 분리 가능한 계량의 구조를 표현하며, 비특이성($ \vartriangle \neq 0 $)과 비자명성(각 행 $ b_{\mu\mu}^{ii} $에 적어도 하나의 비상수 함수가 포함됨)을 보장하는 조건을 설정한다.
• 완전한 변수분리와 교환성 보장하는 방정식계(예: (167)–(168))를 통해 분리 행동함수 $ W'_{\mu} $와 보존법칙을 구성한다.
• 이 프레임워크를 적용하여 2차원(3개 클래스), 3차원(6개 클래스), 4차원(10개 클래스)에서의 완전한 표준 분리 가능한 계량 목록을 도출하며, 이전에 기록되지 않은 공이소트로픽 좌표를 포함한 새로운 클래스도 포함한다.

실험 결과

연구 질문

• RQ1 어느 (구면)리만계량이 임의의 부호와 차원에서 기하학적 해밀턴–야코비 방정식에서 완전한 변수분리를 허용하는가?
• RQ2 역계량의 대각성분이 0인 경우(공이소트로픽 좌표)를 포함하여 분리 가능한 계량의 분류를 어떻게 확장할 수 있는가?
• RQ3 모든 이러한 계량에 대해 해밀턴 형식에서 분리 행동함수와 보존법칙의 완전한 집합은 무엇인가?
• RQ4 칼링 벡터장의 수, 이차 보존법칙의 수, 공이소트로픽 좌표의 수로 정의된 분리 가능한 계량의 동치류는 일반상대성론의 알려진 정확해와 어떻게 관련되는가?
• RQ5 분리 가능한 계량의 구조를 활용하여 비선형 상미분방정식으로의 축소를 통해 새로운 아인슈타인 방정식의 정확해를 체계적으로 유도할 수 있는가?

주요 결과

• 모든 부호와 차원에서 슈타켈 문제가 완전히 해결됨: 모든 분리 가능한 계량은 동치류 $[n, m, n-n-m]_{1,2}$로 분류되며, 여기서 $n$은 칼링 벡터장의 수, $m$은 분해 불가능한 이차 보존법칙의 수, $n-n-m$은 공이소트로픽 좌표의 수이다.
• 정리 5.4와 5.5를 통해 분리 가능한 계량의 표준형이 명시적으로 구성되며, 단일 좌표의 임의 함수로 매개변수화되어 완전한 변수분리와 리우빌 적분 가능성을 보장한다.
• 2차원(3개 클래스), 3차원(6개 클래스), 4차원(10개 클래스)에서의 완전한 표준 분리 가능한 계량 목록이 제공되며, 이전에 기록되지 않은 공이소트로픽 좌표를 포함한 새로운 클래스가 포함되어 있다.
• 4차원 클래스 $[0,4,0]_2$의 경우, 행렬 $b$에 12개의 단일 좌표 함수로 매개변수화된 계량이 있으며, 비특이성($\vartriangle \neq 0$)과 비자명성(상수 행이 없음)을 보장하는 조건이 존재한다.
• 이 방법은 모든 분리 행동함수 $W'_{\mu}$와 보존법칙을 명시적으로 구성하여, 이전 연구에서 해밀턴 형식의 전반적인 도출이 이루어지지 않은 격차를 메운다.
• 불정부호 계량의 경우 진공 아인슈타인 방정식이 비선형 상미분방정식계로 줄어들며, 고대칭성을 가정하지 않고도 새로운 체계적인 정확해 도출 방법을 제공한다.