What if active and passive gravitational masses were not equal?

技術要約：「もし能動的重力質量と受動的重力質量が等しくなかったら？」

問題提起
標準的なニュートン力学の入門的扱いでは、慣性質量（$m_i$）、能動的重力質量（$m_a$）、および受動的重力質量（$m_p$）という3つの異なる概念を混同していることが多い。慣性質量と受動的重力質量の経験的な一致（弱い等価原理）は、一般相対性理論の基礎として十分に検証されているが、能動的重力質量と受動的重力質量の等価性（$m_a = m_p$）は、しばしばニュートンの第3法則から導かれる理論的な必然性と見なされている。一般的な教科書の議論では、$m_a \neq m_p$ であれば、二体系の重力力の総和がゼロにならず、それによって作用・反作用の対称性が破れ、運動量保存則が損なわれると主張されている。本論文は、この主張を批判的に再検討し、ニュートンの第3法則の破れが運動方程式の固有の性質なのか、それとも制約の定式化や保存量の定義に関する特定の、しばしば暗黙の仮定の結果なのかを問うものである。

方法論
著者は、厳密な解析力学の手法を用い、重力二体問題における2つの数学的に等価な定式化を区別し、制約下での挙動を分析する：

1. 非制約二体解析： 運動方程式を、$m_i, m_a, m_p$ の標準的な定義を用いて記述する。その後、力を対称に見える形式に変形するために、慣性パラメータを再定義する。これには、運動方程式が標準的なラグランジアン $L = T - V$ から導かれるオイラー＝ラグランジュ方程式となるよう、有効質量 $\mu$ を定義するプロセスが含まれる。
2. 対称性と保存則の解析： これらの方程式が10パラメータのガリレイ群の下で不変であるかを調査する。ノーターの定理を適用し、どの量（エネルギー、運動量、角運動量、重心運動）が保存されるかを決定する。
3. 制約系解析： 自己重力を持つ剛体（例：月）をモデル化するために、2つの質量を一定の距離 $d$ で結ぶ剛体棒というホロノミック制約を導入する。ここでは、制約力を実装する方法として、2つの異なる手法を比較する：
   • 手法A（標準的なニュートン力学）： 慣性質量（$m_i$）に基づいて、運動方程式に直接制約力を加える。これは伝統的な用語における「ラグランジュ方程式の第1種」に対応する。
   • 手法B（変分法）： ラグランジュ乗数を用いて制約を含むラグランジアンから方程式を導出する。これは「ラグランジュ方程式の第2種」に対応する。

主な結果

• 二体問題の一貫性： 非制約の二体問題においては、$m_a \neq m_p$ であっても運動方程式は完全に一貫している。$\mu = m_i (m_a/m_p)$ と慣性質量を再定義することで、系はラグランジアン定式化を許容する。その結果、系はガリレイ群に関連する10個のノーター対称性をすべて保持する。「$\mu$-重心」は慣性運動を行うが、「慣性重心」（$X_i$）は $m_a \neq m_p$ の場合に加速することがある。この加速は基本原理に違反するものではなく、単にこの特定の質量構成において、慣性重心が系の力学的な中心ではないことを反映しているに過ぎない。
• 制約の役割： 非重力的な結合力（制約）が導入されると、状況は変化する。
  • 制約が変分的に実装された場合（手法B）、系はラグランジアン定式化を維持し、すべてのガリレイ対称性（および関連する保存則）が保持される。$\mu$-重心は慣性運動を行う。
  • 制約がニュートンの第2法則に直接実装された場合（手法A）、制約力が等しい慣性質量（$m_i$）に対して等しく作用すると仮定すると、得られる方程式は一般に $m_a \neq m_p$ の場合にラグランジアンから導出することができない。この場合、系はノーター対称性を失う。具体的には、全運動量とエネルギーは保存されず、外力が存在しない場合でも慣性重心は加速する。
• 「異常」の性質： 制約下におけるニュートンの第3法則および運動量保存則の明白な破れは、必然的な帰結ではない。むしろ、それは結合力が、慣性的質量（$m_i$）ではなく有効的な力学的質量（$\mu$）に従って物体に結合するという特定の仮定から生じるものである。結合力が「標準的」（例えば電磁気学的）である場合、著者は手法Aが物理的に適切な記述であり、$m_a \neq m_p$ であれば観測可能な異常（重心の加速）が生じると示唆している。

意義と主張
本論文は、長年の教育的な誤解を解明することを目的としている。著者は、能動的重力質量と受動的重力質量が等しいという証明が、ニュートンの第3法則のみから導かれる論理的必然性ではないことを示している。

著者は、$m_a = m_p$ を用いたニュートンの第3法則による「証明」は、力学的量（特に、運動量は $\sum m_i v_i$ として定義されなければならないという期待）に対する偏った期待に基づいていると主張する。方程式をその背後にある変分構造を明らかにするように再定式化すると、二体問題は異常のないものとして示される。

結論として、剛体の自己加速のような観測可能な異常が存在するのは、非重力的な制約が存在し、かつそれらが特定の物理モデル（手法A）に従って作用すると仮定された場合に限られる。この区別は、解析力学の基礎的な問いに対して新たな視点を提供し、能動的重力質量と受動的重力質量の差を制限しようとする観測テスト（月レーザー測距など）を解釈するための、より明確な理論的枠組みを提供する。本研究は、このような差異の存在がニュートン力学を無効にするのではなく、制約が質量にどのように結合するかという、微細な構造的仮定を浮き彫りにすることを強調している。