[論文レビュー] Remarks on magnetic flows and magnetic billiards, Finsler metrics and a magnetic analog of Hilbert's fourth problem

Serge Tabachnikov|ArXiv.org|Feb 24, 2003

Advanced Differential Geometry Research参考文献 25被引用数 13

ひとこと要約

本稿では、固定半径の円としての測地線をもつ平面上のフィンスler計量を特徴づけることで、ヒルベルトの第4問題の磁気的類似を導入する。この研究は、ポンペイウ問題との関係を確立する。このような計量が、半径 R の円板上での積分がゼロである関数から生じることを示し、ベッセル関数とフーリエ解析を用いる。さらに、フィンスラージオメトリを用いてストリング構成を磁気ビリヤードへと拡張する。

ABSTRACT

We interpret magnetic billiards as Finsler ones and describe an analog of the string construction for magnetic billiards. Finsler billiards for which the law "angle of incidence equals angle of reflection" are described. We characterize the Finsler metrics in the plane whose geodesics are circles of a fixed radius. This is a magnetic analog of Hilbert's fourth problem asking to describe the Finsler metrics whose geodesics are straight lines.

研究の動機と目的

• 測地線が直線であるフィンスラージオメトリを分類するヒルベルトの第4問題の磁気的類似を構築するため、測地線が固定半径の円であるものを特徴づけること。
• 磁気ビリヤードをフィンスラービリヤードとして解釈することで、その力学的性質をフィンスラージオメトリ的ツールを用いて研究可能にする。
• 円形測地線をもつフィンスラージオメトリの幾何学と、合同な円板上での積分がゼロとなる関数に関する古典的ポンペイウ問題との関係を確立すること。
• 積分幾何学とベッセル関数を用いて、平面における測地線が固定半径の円であるフィンスラージオメトリの解析的および構作的特徴づけを提供すること。

提案手法

• ラグランジアン（フィンスラージオメトリ）と双対ハミルトニアン形式との関係を、Legendre変換を用いて結びつけることで、シンプレクティック幾何学を用いた測地線流れの研究を可能にする。
• Croftonの公式と積分幾何学を用いて、測地線が半径 R の円であるフィンスラージオメトリを特徴づけ、それらを半径 R の円板上での積分がゼロである関数と結びつける。
• ベッセル関数とフーリエ解析を用いて、すべての半径 R の円板上での積分がゼロである関数の明示的族を構成する。ここで、第一種ベッセル関数 J₁ の根を用いる。
• H(x,v) = 1 + h(x) という式により、このような関数 h からフィンスラージオメトリを構成する。ここで h はすべての半径 R の円板上での積分がゼロであり、測地線が半径 R の円であることを保証する。
• 古典的ビリヤードにおけるストリング構成を、磁気ビリヤードに適応する。磁気ビリヤードを、反射法則が変更されたフィンスラービリヤードとして解釈することで実現する。
• フィンスラービリヤードが入射角と反射角が等しい法則を満たすための条件を特徴づける。これは、古典的光学法則を磁気的状況へ一般化するものである。

実験結果

リサーチクエスチョン

• RQ1 平面における測地線が固定半径の円であるようなフィンスラージオメトリは何か。その解析的および構成的特徴づけはどのように行えるか？
• RQ2 すべての合同な円板上で平均値がゼロとなる関数が恒等的にゼロでなければならないかどうかを同定するポンペイウ問題は、円形測地線をもつフィンスラージオメトリの幾何学とどのように関係しているか？
• RQ3 古典的ストリング構成を、フィンスラージオメトリを用いて磁気ビリヤードへ一般化できるか？
• RQ4 磁気流れの文脈において、フィンスラービリヤードが標準的な光学法則（入射角＝反射角）を満たすための条件は何か？
• RQ5 球面上では、円形測地線をもつフィンスラージオメトリの性質は、ユークリッド平面とどのように異なっているか。特に、測地線円板上での積分がゼロとなる非自明な関数の存在に関して、その違いは何か？

主な発見

• 測地線が半径 R の円である平面のフィンスラージオメトリは、任意の半径 R の円板上での積分がゼロである関数 h(x) と一対一に対応する（定数の加法的不定性を除く）。
• 明示的な関数族 h はベッセル関数を用いて構成される：h(x₁,x₂) = ∫₀²π cos((a/R)(x₁cosβ + x₂sinβ)) f(β) dβ ここで a は J₁ の根であり、f は円周上の任意の関数である。
• H(x,v) = 1 + h(x) という形の計量で、h がすべての半径 R の円板上での積分がゼロであれば、その測地線は半径 R の円となる。
• 球面上では、一般の半径 R に対して、測地線が固定半径 R をもつようなフィンスラージオメトリは、完全に1つ（閉1形式の加法的不定性を除く）に限られる。これは、測地線円板上での積分がゼロとなる関数の剛性に起因する。
• ストリング構成は、古典的ビリヤードから磁気ビリヤードへと一般化される。磁気ビリヤードをフィンスラービリヤードとして解釈することで、包絡線が幾何的手続きを変更してビリヤード台を決定する。
• フィンスラービリヤードが入射角＝反射角の法則を満たすための条件は、その指標曲線が中心対称であり、磁気曲率に関連する特定の幾何的条件を満たす場合に限られる。