[论文解读] Geometry of rotating disk and the Sagnac effect

В. И. Башков, M. Malakhaltsev|ArXiv.org|Nov 18, 2000

Tribology and Lubrication Engineering参考文献 2被引用 3

一句话总结

本文主张，通过在旋转参考系中正确考虑局部洛伦兹变换，旋转圆盘上的几何结构是欧几里得的，这与传统观点中认为其为非欧几里得几何的观点相矛盾。通过将无穷小洛伦兹变换应用于柱坐标，并保持时空度规 $ds^2 = c^2dt^2 - dr^2 - r^2d\theta^2$ 不变，作者表明只有涉及惯性力（例如科里奥利力或离心力）的实验才能探测旋转。关键结果是，基于此几何框架推导出萨尼亚克效应的时间差 $\Delta t = 2\frac{\omega}{c^2}S$。

ABSTRACT

In this paper we demonstrate that subsequent application of Lorentz transformations to the cylindrical coordinates on a rotating disk leaves the Euclidean metric invariant. Therefore, the geometry on rotating disk is the Euclidean geometry, and any experiment which do not involve tidal forces or Coriolis forces cannot identify either the disk rotates or not. We also show that, from the point of view of external inertial observer, the difference in the transit times for the light running along a circle of radius R in the opposite directions (with respect to the rotation) is 2w/c^2 S, where S is the area the circle, and w is the angle velocity.

研究动机与目标

• 通过将连续的洛伦兹变换应用于惯性坐标，重新表达旋转圆盘的几何结构。
• 通过证明度规在局部变换下保持不变，挑战普遍认为旋转圆盘呈现非欧几里得几何的观点。
• 基于保持闵考斯基度规的几何方法，从第一性原理推导出萨尼亚克效应的时间差。
• 阐明只有动力学效应（科里奥利力、离心力）能够探测旋转，而单纯的运动学几何无法实现。

提出的方法

• 对惯性坐标 (r, θ, z, t) 应用无穷小伽利略变换，将其映射到旋转参考系 (r′, θ′, z′, t′)，其中 θ′ = θ - ωt。
• 对旋转参考系应用洛伦兹型变换，包括切向方向的空间收缩和局部时间校正。
• 使用无穷小变换规则：$dr'' = dr$，$r''d\theta'' = (rd\theta - \omega r dt)/\sqrt{1 - \omega^2r^2/c^2}$，以及 $dt'' = (dt - \omega r^2 d\theta / c^2)/\sqrt{1 - \omega^2r^2/c^2}$。
• 证明时空区间 $ds^2 = c^2dt^2 - dr^2 - r^2d\theta^2$ 在变换后的坐标中保持不变，从而确认其不变性。
• 提取空间度规 $dl''^2 = dr''^2 + r''^2 d\theta''^2$，证明圆盘上的几何结构为欧几里得。
• 通过沿半径为 R 的圆形路径积分微分时间偏移，推导出萨尼亚克时间差，得到 $\Delta t = 2\omega S / c^2$。

实验结果

研究问题

• RQ1 当正确考虑局部洛伦兹变换时，旋转圆盘的几何结构是否仍保持欧几里得？
• RQ2 能否基于保持闵考斯基度规的几何框架，从旋转坐标中推导出萨尼亚克效应？
• RQ3 为何一些作者声称旋转圆盘具有非欧几里得几何？其推理中的缺陷是什么？
• RQ4 惯性力（科里奥利力、离心力）在探测旋转中起什么作用？为何它们是必要的？
• RQ5 光在旋转圆环上沿相反方向传播的时间差是否与坐标系的选择无关？其推导过程如何？

主要发现

• 时空度规 $ds^2 = c^2dt^2 - dr^2 - r^2d\theta^2$ 在对旋转圆盘连续应用洛伦兹变换后保持不变，确认在变换后的坐标中几何结构为闵考斯基型。
• 旋转圆盘上的空间度规为 $dl''^2 = dr''^2 + r''^2 d\theta''^2$，证明其几何结构为欧几里得，与非欧几里得结构的断言相反。
• 萨尼亚克效应的时间差被推导为 $\Delta t = 2\frac{\omega}{c^2}S$，其中 $S = \pi R^2$ 为圆形路径的面积，与实验观测一致。
• 在旋转参考系中，光沿相反方向传播的时间相等（$dt''_+ = dt''_-$），意味着仅靠运动学几何无法探测旋转，必须依赖动力学效应。
• 从惯性坐标到旋转坐标的变换并非全局可积，表明 $r''$、$\theta''$、$t''$ 为局部坐标，而非全局坐标。
• 与先前研究的差异源于其忽略了旋转参考系中的时间变换，导致错误地得出非欧几里得空间度规。