[論文レビュー] Rod in a train: a mechanical problem of H.Whitney, or Much Ado About Nothing

Alexander Shen|arXiv (Cornell University)|Jul 2, 2019

Mathematics and Applications参考文献 3被引用数 5

ひとこと要約

本稿は、H. ワイティニーが提起した古典的な力学的問題である、動く列車の台車上に置かれた倒立振り子の問題を検討している。振り子は鉄道のレールに垂直な水平軸の周りに垂直面内で回転するように制約されている。位相的推論と初期条件に対する解の連続性を用いて、任意の所定の台車の運動に対して、振り子が旅の間ずっと立ち上がったまま保たれるような初期角度が存在することを主張している。ただし、コーアンとロビンズの教科書にある元の証明は、台車との衝突を扱う際に厳密性に欠けると批判されている。主な貢献は、この系における衝撃的力学のモデル化に関する未解決の基礎的問題を浮き彫りにしたことにある。

ABSTRACT

In 1941 a mechanical problem about a rod in a moving train (there is a initial position such that rod does not touch the floor while train is moving) was published by R.Courant and H.Robbins in their popular book "What is mathematics?" and attributed to H.Whitney. Many mathematicians, including G.E.Littlewood, A.Broman, T.Poston, I.Stewart, V.Arnold, commented on this problem and its solution based on a continuity argument, and created a lot of confusion. In this paper we follow these developments and discuss at what extent the objections were justified. (In Russian)

研究の動機と目的

• コーアンとロビンズの教科書における、動く列車上に置かれた倒立振り子の非落下を保証する初期条件の存在を示す古典的位相的議論の妥当性を検証すること。
• 特に、台車との衝突に伴う解の写像の連続性に問題がある場合の、元の証明における数学的・物理的欠陥を特定すること。
• 初期条件に中間値の定理を適用する標準的議論が、時間経過に伴って振り子が水平位置（0 および π）を避けることを保証しない理由を明確にすること。
• 優れた数学者たちによる繰り返しの試みにもかかわらず、文献において衝撃的力学の厳密な取り扱いがなされていないことの欠落を強調すること。
• ワイトニー振り子問題が非線形力学および数理物理学における基礎的課題として未解決のままであることに注意を喚起すること。

提案手法

• 位相的推論の適用：初期角度が 0 および π で振り子が水平のままであれば、連続性より、両極端を避けるような中間の初期角度が存在するはずである。
• 一般の台車運動 f(t) の下での倒立振り子の運動方程式を分析し、[0,T] 上で滑らかである f(t) を仮定する。
• 滑らかな常微分方程式における解の初期条件に対する連続的依存性の定理を用いて、解写像 φ ↦ α(t; φ) が連続であると主張する。
• 物理的現実の考察：振り子が台車に衝突した場合（α = 0 または π）、速度に不連続性が生じる可能性があり、単純な連続性仮定は破綻する。
• 厳密な証明には、衝突事象を超えて解写像を連続的に拡張する定式化が必要であり、測度論的またはハイブリッド力学系の形式が有効である可能性を提案する。
• リトルウッド、ギルマンらによる歴史的試みをレビューし、多くの「反例」が光速未満の物理的制約の下で無効であることが判明したことを指摘する。

実験結果

リサーチクエスチョン

• RQ1 コーアンとロビンズの教科書における古典的位相的議論は、列車台車の運動中、振り子が常に立ち上がったまま保たれるような初期条件の存在を正しく確立しているか？
• RQ2 台車との衝突が可能な場合に、最終的な振り子の状態が初期条件に連続的に依存すると仮定する際の数学的・物理的欠陥は何か？
• RQ3 振り子の運動中に衝突（すなわち α = 0 または π）が生じる場合、解写像を厳密に連続的に定義することは可能か？
• RQ4 優れた数学者たちによる、ワイトニー振り子結果の形式化または反証を試みた試みが、なぜ合意形成や承認された証明を生まなかったのか？
• RQ5 ハイブリッド力学系やワゼフスキー型の手法のような、厳密な存在証明を可能にする実用的な数学的枠組みは存在するか？

主な発見

• コーアンとロビンズの教科書における元の証明は、台車との衝突に起因する不連続性を考慮していないため、誤りである。特に、最終状態写像の連続性を仮定しているが、それは衝突の影響を無視している。
• 初期条件に中間値の定理を適用する標準的議論は、振り子が中間時間に水平位置（0 および π）に到達するのを保証しない。
• リトルウッドやギルマンらのような数学者たちによる広範な検討にもかかわらず、文献にはワイトニー振り子予想の厳密な証明はまだ発表されていない。
• 特に、接触後に振り子が台車上にとどまるものと仮定した場合に、衝突事象を超えて解写像を明確に連続的に拡張する定義がなされていないことが原因で、問題は未解決のままである。
• 光速未満の物理的制約の下で無効化された複数の反例が提案されたが、これは適切なモデル化がなされれば問題が数学的に扱える可能性があることを示唆している。
• この問題は、直感的な位相的推論と、機械的系における衝撃的力学の厳密な取り扱いとの間にある深い矛盾を示している。