[论文解读] Compatible and Almost Compatible Pseudo-Riemannian Metrics

O. I. Mokhov|ArXiv.org|May 5, 2000

Nonlinear Waves and Solitons参考文献 33被引用 5

一句话总结

本文引入并分类了相容与近乎相容的伪黎曼度量，将平坦度量束的概念推广至非平坦及常曲率情形。研究证明，相容度量在度量的线性组合下保持Levi-Civita联络与曲率张量的线性性，并通过修正后的Ferapontov方法，对非退化双分量平坦度量对进行了完全分类，其应用涵盖流体动力学系统中的非局部泊松结构。

ABSTRACT

Notions of compatible and almost compatible pseudo-Riemannian metrics, which are motivated by the theory of compatible (local and nonlocal) Poisson structures of hydrodynamic type and generalize the notion of flat pencil of metrics, are introduced and studied.

研究动机与目标

• 将平坦度量束的概念推广至非平坦及常曲率伪黎曼度量的情形。
• 基于Levi-Civita联络与曲率张量在度量线性组合下的线性行为，建立相容与近乎相容度量的严格定义。
• 对所有非退化双分量平坦度量对进行完全分类，并提供明确的显式描述。
• 修正Ferapontov关于流体型局部非退化泊松结构相容性的判据中的缺陷。
• 通过Gauss–Peterson–Codazzi方程与伪欧几里得空间中的曲面理论，将该理论与非局部泊松括号联系起来。

提出的方法

• 通过度量线性组合下Levi-Civita联络与曲率张量的线性依赖关系，引入相容与近乎相容度量的定义。
• 应用Ferapontov方法的改进版本，分析具有常黎曼曲率的度量束。
• 使用Levi-Civita联络公式 $\Gamma^{i}_{jk} = \frac{1}{2}g^{is}(\partial_j g_{sk} + \partial_k g_{js} - \partial_s g_{jk})$ 和曲率张量表达式 $R^{i}_{jkl} = \partial_k \Gamma^i_{jl} - \partial_l \Gamma^i_{jk} + \Gamma^i_{pk}\Gamma^p_{jl} - \Gamma^i_{pl}\Gamma^p_{jk}$ 推导相容性条件。
• 分析曲率线坐标下对角度量的情形，将相容性约化为函数 $g^i(u)$ 与 $(w^\alpha)^i(u)$ 上的常微分方程组，并验证条件 (7.6) 与 (7.7) 控制该系统。
• 将非局部泊松括号 (7.2) 的相容性与底层度量的相容性联系起来，证明在共形曲率线条件下，度量相容性蕴含括号相容性。
• 利用Gauss–Peterson–Codazzi方程，将该系统解释为 $E^{N+L}$ 中 $N$ 维曲面的几何结构，其中 $g_{ij}$ 为第一基本形式，$w^\alpha$ 为Weingarten算子。

实验结果

研究问题

• RQ1 在何种条件下，两个伪黎曼度量构成相容束，使得所有线性组合均保持Levi-Civita联络与曲率张量结构？
• RQ2 如何将相容平坦度量的分类从平坦情形推广至常黎曼曲率度量？
• RQ3 非局部流体型泊松括号的相容性与底层度量相容性之间的确切关系为何？
• RQ4 在曲率线坐标下的对角度量情形，控制系统相容性的微分方程为何？
• RQ5 对于形式为 (7.2) 的非局部泊松结构，度量相容性蕴含括号相容性的逆命题是否普遍成立？

主要发现

• 本文提供了所有非退化双分量平坦度量对的完全显式分类，证明此类度量对存在的充要条件为 $g^i_1(u) = f^i(u^i)g^i_2(u)$，其中 $f^i(u^i)$ 为某些函数。
• 在曲率线坐标下的对角度量情形，相容性约化为方程组 (7.6) 与 (7.7)，其控制度量与Weingarten算子的行为。
• 相容度量线性组合的曲率张量满足 $R^{ij}_{kl} = \lambda_1 R^{ij}_{1,kl} + \lambda_2 R^{ij}_{2,kl}$，确保几何结构的一致性。
• 本文修正了Ferapontov关于局部泊松结构相容性判据的缺陷，使修正后版本适用于平坦与非平坦情形。
• 证明了对于形式为 (7.2) 的非局部泊松括号，度量相容性蕴含括号相容性，尤其在共形曲率线情形下成立。
• 证明方程组 (7.3)–(7.5) 与伪欧几里得空间中曲面的Gauss–Peterson–Codazzi方程等价，从而将该理论与微分几何联系起来。