[論文レビュー] Modes and quasi-modes on surfaces: variation on an idea of Andrew Hassell

Yves Colin de Verdìère|ArXiv.org|Feb 12, 2009

Geometric and Algebraic Topology参考文献 6被引用数 3

ひとこと要約

本稿では、楕円型の一般閉測地線 γ を持つ閉じた曲面上のほとんどすべてのリーマン計量に対して、バビッチ＝ラズゥトキンおよびラルストンによって構成された準モードが γ に強く集中しているにもかかわらず、γ の周辺に局在する正確なラプラシアン固有モード（モード）が存在することを確立している。1パラメータ族の計量とスペクトル摂動論を用いて、このようなモードが γ から遠ざかるに従い急速に減衰することを証明しており、固有関数の L² 質量が固有値の任意の逆数よりも速く消失することを示している。

ABSTRACT

This paper is inspired from the nice result of Andrew Hassell on the eigenfunctions in the stadium billiard. From a classical paper of V. Arnol'd, we know that quasi-modes are not always close to exact modes. We show that, for almost all Riemannian metrics on closed surfaces with an elliptic generic closed geodesic C, there exists exact modes located on C. Related problems in the integrable case are discussed in several papers of John Toth and Steve Zelditch.

研究の動機と目的

• 楕円型の一般閉測地線 γ を持つリーマン多様体上において、準モードが γ に強く集中しているにもかかわらず、正確な固有モード（モード）が γ の周辺に局在しうるかを調査すること。
• 準モードの固有値に近い固有値に対応する固有関数が γ から離れて局在し続けるような計量族の条件を特定すること。
• ハッセルのアイデアを拡張し、一般計量において、準モードが鋭く局在している場合でさえも、モードがそれらを近似しないことを証明すること。
• 固有関数の γ 上での L² 質量が、固有値の任意の逆数よりも速く消失することを確立することにより、ほとんどすべての計量において γ から離れて局在することを示すこと。

提案手法

• 閉測地線 γ の近傍に台を持つ滑らかな非負関数 f を用いて、$ g_t = \exp(-tf)g_0 $ と定義される1パラメータ族の計量 $ g_t $ を構成する。
• バビッチ＝ラズゥトキンおよびラルストンによって構築された準モード $ (u_m) $ を用い、$ \| (\Delta_t - \lambda_m)u_m \|_{L^2} = O(m^{-\infty}) $ を満たし、γ の周辺に指数的に局在する。
• スペクトル摂動論を用いて、$ \Delta_t $ の固有値 $ \mu_j(t) $ が t に関して連続的かつ単調に変化することを示し、その微分が $ \mu_j(t) \int_X f |\varphi_j(t)|^2 dx_t $ によって下から有界であることを示す。
• ボレル＝カンテリの補題とフォビニの定理を用いた測度論的議論により、$ [0,1] $ のほとんどすべての t に対して、固有関数の $ \operatorname{supp}(f) $ 上での L² 質量が $ o(q_m) $ であることを示す。ここで $ q_m = O(m^{-\infty}) $ である。
• バナッハ空間におけるガウス型零集合の概念とベアのカテゴリーアイテムを用いて、パラメータ t ∈ [0,1] からの結果を、γ で N 階の零点を持つ関数 f を持つ $ e^f g_0 $ の計量空間へと翻訳する。

実験結果

リサーチクエスチョン

• RQ1 準モードが γ に鋭く局在している場合でも、正確な固有モードが楕円型の一般閉測地線 γ の周辺に局在しうるか？
• RQ2 計量変形に伴うラプラシアンのスペクトルフローは、固有関数が γ の周辺に局在する性質を保つのか？
• RQ3 一般の1パラメータ族の計量に対して、準モードが局在しているにもかかわらず、固有関数が γ に集中しないのか？
• RQ4 固有関数の γ 上での L² 質量の減少速度は何か？ そして、それは固有値の任意の逆数よりも速くなるか？

主な発見

• ほとんどすべての $ t \in [0,1] $ に対して、f の台に近い $ \gamma $ の周辺にある固有関数 $ \varphi_{j_m}(t) $ の L² 質量は、$ \int_X f |\varphi_{j_m}(t)|^2 dx_t = o(q_m) $ を満たす。ここで $ q_m = O(m^{-\infty}) $ である。
• 任意のコンパクト集合 $ K \subset X \setminus \gamma $ に対して、固有関数 $ \varphi_{j_m}(t) $ の $ C^k $-ノルムは $ o(m^{-\infty}) $ に減少する。これは γ から離れるに従い急速に減衰することを示している。
• 固有関数が γ に集中するパラメータ $ t \in [0,1] $ の集合は、Lebesgue 測度がゼロである。これは、このような集中が例外的であることを意味する。
• ガウス型零集合の概念を用いて、$ f \in C^N(X,\mathbb{R}) $ で γ で N 階の零点を持つような、ほとんどすべての計量 $ e^f g_0 $ へと結果を拡張できる。
• 準モード $ u_m $ が γ に指数的に局在しているにもかかわらず、固有関数 $ \varphi_{j_m}(t) $ はそれらの線形結合に近いとは言えない。