[論文レビュー] Focal points and sup-norms of eigenfunctions on analytic Riemannian manifolds II: the two-dimensional case

Chris Sogge, Steve Zelditch|arXiv (Cornell University)|Sep 6, 2014

Mathematical Dynamics and Fractals参考文献 4被引用数 4

ひとこと要約

この論文は、コンpaktoな実解析的表面において、$ L^\frown $-ノルム成長が最大に達する固有関数は、固定時間後にすべての測地線が滑らかに帰還する点（『極』）から生じることを確立する。測地線の最初の帰還写像に関する力学的議論を用いて、著者らは、帰還写像が $ L^1 $-密度を保存するならば、$ \eta_p^2 = \text{Id} $ が成り立つことを証明し、すべての測地線が周期 $ 2T_p $ で滑らかに閉じることを示す。これにより、解析的表面における予想が裏付けられる。

ABSTRACT

In the recent work arXiv:1311.3999, the authors proved that real analytic manifolds $(M, g)$ with maximal eigenfunction growth must have a self-focal point p whose first return map has an invariant L1 measure on $S^*_p M$. In this addendum we add a purely dynamical argument on circle maps to improve the conclusion to: all geodesics from p are smoothly closed.

研究の動機と目的

• 実解析的表面における固有関数の $ L^\frown $-ノルム成長が最大となる問題に関するスペクトル幾何学の予想を解決すること。
• このような最大成長が、すべての測地線が滑らかに帰還する点（『極』）の存在を意味することを確立すること。
• 最初の帰還写像 $ \eta_p $ が $ L^1 $-保存的力学的性質を満たす場合に、$ \eta_p^2 = \text{Id} $ が成立することを純粋に力学的証明で示すこと。
• 最大点毎ノルム成長を示す固有関数を有する表面の幾何学的・力学的構造を明確にすること。

提案手法

• 自己焦点点 $ p $ から出る測地線に関連する最初の帰還写像 $ \eta_p: S^*_pM \to S^*_pM $ を分析する。
• 力学系理論を適用し、$ \eta_p $ が $ L^1 $-密度を保存するならば、$ \eta_p^2 = \text{Id} $ が成り立つことを示す。
• 測地線フローの時間反転対称性を用いて、$ \eta_p $ がその逆写像と同相であることを証明し、$ \eta_p $ が可逆であることを示す。
• 円周微分同相写像の回転数理論を活用し、$ \eta_p $ が回転数 $ 0 $ または $ \pi $ を持つことから周期性が導かれるようにする。
• 位相的および測度論的議論を用いて、$ L^1 $-不変測度のもとで $ \eta_p^2 $ の有限固定点集合が存在しないことを除外する。
• 実解析的性質を活用し、$ \eta_p^2 $ が無限個の固定点を持つならば、$ \eta_p^2 = \text{Id} $ が成り立つことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 実解析的表面で $ L^\infty $-ノルム成長が最大となる固有関数が存在するならば、すべての測地線が滑らかに閉じる点（極）が存在するのだろうか？
• RQ2 点 $ p $ のコスフィア上で定義される最初の帰還写像 $ \eta_p $ の力学的挙動を用いて、最大固有関数成長を示す表面を特徴づけられるだろうか？
• RQ3 $ L^1 $-保存的帰還写像 $ \eta_p $ が $ S^*_pM $ 上で定義される場合、どのような条件下で $ \eta_p^2 = \text{Id} $ が強制されるのか？
• RQ4 幾何的制約のもとで、$ \eta_p $ の向き変換型のケースは可能だろうか？
• RQ5 写像 $ \eta_p $ の力学的構造を用いて、非対称的または非回転的表面が最大固有関数成長の候補として除外できるだろうか？

主な発見

• 実解析的表面が、$ \|e_j\|_{L^\infty} \geq C_g \lambda_j^{1/2} $ を満たす $ L^2 $-正規化固有関数の列を有するならば、すべての測地線が時間 $ 2T_p $ 後に滑らかに帰還する点（極）$ p $ を持つ必要がある。
• このような極における最初の帰還写像 $ \eta_p $ は、$ \eta_p^2 = \text{Id} $ を満たし、すべての測地線が周期 $ 2T_p $ で滑らかに閉じることを示唆する。
• $ \eta_p $ が $ L^1 $-密度を保存するという条件は、対称性を仮定しなくても $ \eta_p^2 = \text{Id} $ を強制するのに十分である。
• $ \eta_p $ の向き変換型のケースは除外される。なぜなら、それは測地線フローの固定点を要請するが、コスフィア上でのフローの力学的性質に矛盾するからである。
• この結果により、[4]における予想が2次元実解析的ケースで裏付けられ、最大固有関数成長が強い幾何的剛性（極の存在）を意味することを示した。
• 証明は、スペクトル理論や固有関数推定を直接用いずに、最初の帰還写像に適用した力学系技法に依拠している。