[论文解读] Complete separation of variables in the geodesic Hamilton-Jacobi equation

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

Morphological variations and asymmetry被引用 6

一句话总结

本文通过在任意度量签名和存在逆度量对角元为零（共脐坐标）的情况下，对测地哈密顿-雅可比方程中完全可分离变量的所有（伪）黎曼度量进行分类，完整解决了史塔克尔问题。利用一种新颖的无坐标框架和构造性定理，推导出可分离度量的典型形式，显式构造出所有分离作用函数和守恒律，并基于 Killing 向量场、二次守恒律和共脐坐标建立等价类。

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.

研究动机与目标

• 解决长期存在的史塔克尔问题：哪些度量允许测地哈密顿-雅可比方程中完全可分离变量？
• 将先前仅限于逆度量对角元非零的度量结果扩展至包含具有零对角元的不定度量（共脐坐标）。
• 在任意维度和签名下，对所有可分离度量进行完整且构造性的分类，包括引入新的共脐坐标等价类。
• 显式推导出每种类别中所有分离作用函数和哈密顿形式下的守恒律。
• 证明可分离度量可将真空爱因斯坦方程约化为非线性常微分方程组，从而在广义相对论中实现新精确解的系统构造。

提出的方法

• 提出一种无坐标形式的可分离性判据，推广了以往基于对角或非退化逆度量的方法。
• 通过三个不变量定义可分离度量的等价类：对称的 Killing 向量场数量（n），不可约二次守恒律数量（m），以及共脐坐标数量（n−n−m）。
• 利用定理 5.4 和 5.5 推导出可分离度量的典型形式，这些定理具有构造性，且通过单变量的任意函数显式参数化度量。
• 使用逆度量矩阵 $ b $ 编码可分离度量的结构，其中条件确保非退化性（$ \vartriangle \neq 0 $）和非平凡性（$ b_{\mu\mu}^{ii} $ 的每一行至少包含一个非常数函数）。
• 通过方程组（如 (167)–(168)）构造分离作用函数 $ W'_{\mu} $ 和守恒律，以确保完全可分离性和对易性。
• 将该框架应用于完整列出 2D（3 类）、3D（6 类）和 4D（10 类）的典型可分离度量，包括此前未记录的共脐坐标类。

实验结果

研究问题

• RQ1 哪些任意签名和维度的（伪）黎曼度量允许测地哈密顿-雅可比方程中完全可分离变量？
• RQ2 如何将可分离度量的分类扩展至包含逆度量对角元为零的情况（共脐坐标）？
• RQ3 所有此类度量在哈密顿形式下的完整分离作用函数和守恒律集合是什么？
• RQ4 由 Killing 向量场数量、二次守恒律数量和共脐坐标数量定义的可分离度量等价类，如何与广义相对论中的已知精确解相关联？
• RQ5 可分离度量的结构能否用于通过约化为常微分方程，系统性地生成爱因斯坦方程的新精确解？

主要发现

• 史塔克尔问题在所有签名和维度下均被完整解决：所有可分离度量被分类为等价类 $[n, m, n-n-m]_{1,2}$，其中 $ n $ 为 Killing 向量场数量，$ m $ 为不可约二次守恒律数量，$ n-n-m $ 为共脐坐标数量。
• 通过定理 5.4 和 5.5 显式构造出典型可分离度量，其形式由单变量的任意函数参数化，确保完全可分离性和李维勒可积性。
• 本文提供了 2D（3 类）、3D（6 类）和 4D（10 类）的完整典型可分离度量列表，包括此前未收录的共脐坐标类。
• 对于 4D 类 $[0,4,0]_2$，度量在矩阵 $ b $ 中由十二个单变量的任意函数参数化，且满足非退化性约束（$ \vartriangle \neq 0 $）和非平凡性约束（无常数行）。
• 该方法显式构造出所有分离函数 $ W'_{\mu} $ 和守恒律，解决了以往研究中未完整推导哈密顿形式的缺陷。
• 不定签名的可分离度量可将真空爱因斯坦方程约化为非线性常微分方程组，从而实现一种新的系统方法，无需假设高对称性即可寻找精确解。