[論文レビュー] More on Jacobi metric: Randers-Finsler metrics, frame dragging and geometrisation techniques

Sumanto Chanda|arXiv (Cornell University)|Nov 14, 2019

Advanced Differential Geometry Research被引用数 4

ひとこと要約

本稿では、エイセンハルト・リフトの代替としてジャコビ・リフトと対称性置換を提案する。これらにより、近似を伴わず、ランダース＝フィンスラー（RF）重力の正確な測地線再定式化が可能になる。マクスウェルの原理におけるハミルトニアンを制約に置き換えることで、ジャコビ＝マクスウェル＝ランダース＝フィンスラー（JMRF）計量を構築し、静的な時空における光線計量が自然にRF計量であることを示した。これにより、ジャコビ・リフトと対称性スケーリングを用いた正確なリーマン計量への還元が可能になる。

ABSTRACT

In this article, I demonstrate a new method to derive Jacobi metrics from Randers-Finsler metrics by introducing a more generalised approach to Hamiltonian mechanics for such spacetimes and discuss the related applications and properties. I introduce Hamiltonian mechanics with the constraint for relativistic momentum, including a modification for null curves and two applications as exercises: derivation of a relativistic harmonic oscillator, and analysis of Schwarzschild Randers-Finsler metric. Then I describe the main application for constraint mechanics in this article: a new derivation of Jacobi metric for time-like and null curves, comparing the latter with optical metrics. After that, I discuss frame dragging with the Jacobi metric, and two applications for Randers-Finsler metrics: an alternative to Eisenhart lift, and different metrics that share the same Jacobi metric.

研究の動機と目的

• マクスウェル形式のラグランジアンにおいてハミルトニアン生成子が存在しないため、ランダース＝フィンスラー幾何学におけるエイセンハルト・リフトが失敗する理由を解明すること。
• ハミルトニアンの代わりに制約を用いることで、RF計量に対する一貫性のある幾何的定式化を構築し、測地線再定式化を可能にすること。
• 共形構造と制約に基づく計量を活用することで、ジャコビ・リフトをRF幾何学におけるエイセンハルト・リフトの代替として有効に導入すること。
• 循環座標を持つRF計量に対して、元の対称性をより好ましいものに置き換える方法として対称性置換を提案し、計量の符号を保ちながら再定式化すること。
• 静的時空における光線計量（例：カー計量）が自然にRF計量であることを示し、ジャコビ計量フレームワークを用いて正確にリフト可能であることを証明すること。

提案手法

• すでに平方根作用の形にあるRFラグランジアンに、マクスウェルの原理を適応させ、ルジャンドル変換の必要を回避する。
• ラグランジアンがすでにマクスウェル形式にある系において、ハミルトニアンの代わりに運動量制約を導入し、ジャコビ＝マクスウェル＝ランダース＝フィンスラー（JMRF）計量の構築を可能にする。
• ジャコビ計量の構築を逆転させることでジャコビ・リフトを導出し、共形スケーリングによりRF計量をリーマン計量に正確に変換する。これは共形因子が存在する場合に有効である。
• 循環座標を持つRF計量に、対称性置換を適用し、線形項を平方根内の計量ノルムに吸収させることで、元の対称性方向を新しいものに置き換える。
• 静的時空におけるフェルマー計量が、JMRF計量の特別な場合であることを特定し、その時空における光線測地線の光線計量がランダース＝フィンスラー計量であることを示した。
• 得られたリフト計量がヘッセ行列に基づく計量計算において高次の近似を回避することを示し、RF幾何学における正確な重力計算が可能になることを証明した。

実験結果

リサーチクエスチョン

• RQ1 なぜエイセンハルト・リフトはランダース＝フィンスラー幾何学で失敗するのか。また、その直接適用を妨げる構造的制限は何か。
• RQ2 運動量の制約が、RF系の測地線方程式を導出する際、ハミルトニアンの代替として有効に機能する根拠は何か。
• RQ3 ジャコビ計量定式化をランダース＝フィンスラー計量に一般化できるか。その場合、得られる計量が測地線的に同等であるために満たすべき条件は何か。
• RQ4 対称性置換は、計量の幾何的符号と物理的同等性を保ちつつ、RF計量の再パrameter化をどのように可能にするか。
• RQ5 静的時空（例：カー計量）における光線計量は、ジャコビ＝マクスウェル＝ランダース＝フィンスラー枠組みとどのように関係するか。また、正確にリフト可能か。

主な発見

• エイセンハルト・リフトは、ランダース＝フィンスラー幾何学に直接適用できない。リフト後に得られる制約は、RF計量が要求する幾何的構造に適合しない。
• 運動量制約をハミルトニアンの代わりに用いることで、ジャコビ＝マクスウェル＝ランダース＝フィンスラー（JMRF）計量が正確に構築され、RF系における正確な測地線再定式化が可能になった。
• 共形因子が存在する限り、ジャコビ・リフトはRF幾何学におけるエイセンハルト・リフトの有効な代替手段であることが示された。これにより、正確にリーマン計量に変換可能である。
• 対称性置換により、循環座標を持つRF計量を、元の対称性方向を新しいものに置き換える形で再表現可能であり、線形項が計量のリーマン部分に効果的に吸収される。
• 静的時空（例：カー計量）の光線計量が自然にランダース＝フィンスラー計量であることが示され、そのフェルマー計量形式がJMRF計量の特殊ケースとして導出された。これにより正確なリフトが可能になった。
• 提案手法により、ヘッセ行列に基づく計量計算における高次近似が排除され、シュバルツシルト＝ランダースモデルなどの例で示されるように、ランダース＝フィンスラー時空における重力の正確な解析が可能になった。