[論文レビュー] Complete separation of variables in the geodesic Hamilton-Jacobi equation

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

Morphological variations and asymmetry被引用数 6

ひとこと要約

本稿は、符号や逆行列の対角成分にゼロが存在するかどうかにかかわらず、測地的ハミルトン＝ヤコビ方程式における変数の完全分離を許すすべての（擬）リーマン計量を分類することにより、スタックル問題を完全に解決する。新規の座標に依存しない枠組みと構成的定理を用いて、分離可能な計量の標準形を導出し、すべての分離作用関数および保存則を明示的に構成するとともに、キリングベクトル場、二次保存則、および共対称座標に基づく同値類を確立する。

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.

研究の動機と目的

• 測地的ハミルトン＝ヤコビ方程式における変数の完全分離を許す計量は何か、という長年のスタックル問題を解くこと。
• 従来、非ゼロの対角成分を持つ計量に限定されていた結果を、対角成分がゼロである（共対称座標を含む）不定計量に拡張すること。
• 任意の次元および符号において、すべての分離可能な計量を完全かつ構成的に分類し、共対称座標を含む新しい同値類を含むこと。
• 各同値類に対して、ハミルトニアン形式におけるすべての分離作用関数および保存則を明示的に導出すること。
• 分離可能な計量が真空アインシュタイン方程式を非線形常微分方程式系に還元できることを示し、一般相対性理論における新しい正確解の導出を可能にする。

提案手法

• 対角または非退化な逆計量に基づく従来の手法を一般化し、座標に依存しない分離基準の定式化を導入する。
• 3つの不変量（可換キリングベクトル場の数 $ n $、分解不能な二次保存則の数 $ m $、共対称座標の数 $ n-n-m $）を用いて、分離可能な計量の同値類を定義する。
• 定理5.4および5.5を用いて、任意の1つの座標の関数によってパラメータ化される明示的な計量の標準形を導出する。
• 逆計量行列 $ b $ を用いて分離可能な計量の構造を符号化し、非退化性（$ \vartriangle \neq 0 $）および非自明性（$ b_{\mu\mu}^{ii} $ の各行に少なくとも1つの非定数関数が含まれる）を保証する条件を設ける。
• 完全分離および可換性を保証する方程式系（例：(167)–(168)）を用いて、分離作用関数 $ W'_{\mu} $ および保存則を構成する。
• 2次元（3類）、3次元（6類）、4次元（10類）における完全な標準分離可能計量のリストを導出する。これには、従来のリストにない共対称座標を含む新しいクラスも含まれる。

実験結果

リサーチクエスチョン

• RQ1 任意の符号および次元をもつ（擬）リーマン計量の中で、測地的ハミルトン＝ヤコビ方程式に変数の完全分離が可能となるものはどれか？
• RQ2 逆計量の対角成分にゼロが存在する場合（共対称座標を含む）の分離可能計量の分類をどのように拡張できるか？
• RQ3 すべてのこのような計量に対して、ハミルトニアン形式における完全な分離作用関数および保存則の集合は何か？
• RQ4 キリングベクトル場の数、二次保存則の数、共対称座標の数によって定義される分離可能計量の同値類は、一般相対性理論における既知の正確解とどのように関係するか？
• RQ5 分離可能な計量の構造を用いて、常微分方程式への還元を経て、アインシュタイン方程式の新しい正確解を体系的に生成できるか？

主な発見

• すべての符号および次元においてスタックル問題が完全に解決された：すべての分離可能な計量は同値類 $[n, m, n-n-m]_{1,2}$ に分類される。ここで $ n $ はキリングベクトル場の数、$ m $ は分解不能な二次保存則の数、$ n-n-m $ は共対称座標の数を表す。
• 定理5.4および5.5を用いて、任意の1つの座標の関数によってパラメータ化される明示的な標準分離可能計量が構成され、完全分離およびリウヴィル可積分性が保証される。
• 2次元（3類）、3次元（6類）、4次元（10類）における完全な標準分離可能計量のリストが提供され、従来のリストにない共対称座標を含む新しいクラスも含まれる。
• 4次元のクラス $[0,4,0]_2$ において、行列 $ b $ に12個の1つの座標の関数がパラメータとして含まれ、非退化性（$ \vartriangle \neq 0 $）および非自明性（定数行が存在しない）を保証する制約が設けられている。
• 本手法は、すべての分離関数 $ W'_{\mu} $ および保存則を明示的に構成しており、従来の研究ではハミルトニアン形式の完全な導出が行われていなかったというギャップを解消している。
• 不定符号の分離可能計量は、真空アインシュタイン方程式を非線形常微分方程式系に還元でき、高次元対称性を仮定しない新しい体系的な正確解の探索手法を可能にする。