[論文レビュー] Critical set of eigenfunctions of the Laplacian

Laurent Bakri|arXiv (Cornell University)|Aug 10, 2010

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

ひとこと要約

この論文は、コンpaktoな実解析的リーマン多様体上のラプラシアンの固有関数の臨界集合の $(n-1)$ 次元ハウスドルフ測度に対して、上界 $ C\sqrt{\lambda} $ を確立する。カルレマン型不等式と固有関数の勾配に関する新規の二重化推定を用いて、ドンネリーとフェッファーマンのノード集合に関する研究で開発された技術を拡張し、臨界集合もノード集合と同様に $ \sqrt{\lambda} $ のオーダーでしか増大しないことを示す。これはノード集合のヤウの予想に類似した予想された上界を確認するものである。

ABSTRACT

We give an upper bound for the $(n-1)$-dimensional Hausdorff measure of the critical set of eigenfunctions of the Laplacian on compact analytic Riemannian manifolds. This is the analog of H. Donnely and C. Fefferman result on nodal set of eigenfunctions.

研究の動機と目的

• コンパクトな実解析的リーマン多様体上のラプラシアンの固有関数の臨界集合の $(n-1)$ 次元ハウスドルフ測度に対する上界を確立すること。
• ノード集合に対して当初開発されたドンネリーとフェッファーマンの手法を、固有関数の臨界集合へと拡張すること。
• 臨界集合の測度が、ノード集合のヤウの予想に類似した形で、$ \sqrt{\lambda} $ のオーダーでしか増大しないことを示すこと。
• 解析的設定において、臨界集合の測度に対する鋭い最適な上界を提供し、ノード集合と比較して臨界集合の理解の空白を解消すること。

提案手法

• 重み関数 $ \phi(x) = -f(\ln r(x)) $ と $ f(t) = t - e^{\varepsilon t} $ を用いて、$ W \in \mathcal{C}^1 $ である演算子 $ \Delta + W $ に対するカルレマン推定を導出する。
• 多様体 $ M $ のコンパクト性とカルレマン推定を用いて、ラプラシアンの固有関数に対して、$ \|\nabla u\|_{B_{2r}} \leq e^{C\sqrt{\lambda}} \|\nabla u\|_{B_r} $ という二重化不等式を導出する。
• $ F(x) = \sum_{i=1}^n \left| \frac{\partial u}{\partial x_i} \right|^2 $ を定義し、その零点集合が臨界集合 $ \mathcal{C}_u $ であるとし、$ F $ を複素球上への正則関数に拡張する。
• ドンネリーとフェッファーマンの定理 4.1（複素解析的結果）を適用し、$ F $ の零点集合のハウスドルフ測度を二重化定数の観点から評価する。
• 多様体 $ M $ のコンパクト性を用いた被覆議論を実施し、有限個の球にわたって一様に $ \mathcal{H}^{n-1}(\mathcal{C}_u \cap B(p,r_0)) \leq C\sqrt{\lambda} $ の局所的境界を適用する。

実験結果

リサーチクエスチョン

• RQ1 解析的多様体上の固有関数の臨界集合は、固有値 $ \lambda $ の関数として上界で抑えられるか？
• RQ2 臨界集合の $(n-1)$ 次元ハウスドルフ測度は、ノード集合のヤウの予想に類似して、$ \sqrt{\lambda} $ のオーダーでしか増大しないのか？
• RQ3 ドンネリーとフェッファーマンがノード集合に用いた手法を、勾配の二重化を用いて臨界集合を制御するために適応可能か？
• RQ4 解析的カテゴリーにおいて、臨界集合の測度に対する鋭い上界は存在するか？ また、ノード集合の既知の境界と比較するとどうなるか？
• RQ5 計量の解析的性質がこのような上界を導く上で果たす役割は何か？

主な発見

• 臨界集合 $ \mathcal{C}_u $ の $(n-1)$ 次元ハウスドルフ測度は、$ \mathcal{H}^{n-1}(\mathcal{C}_u) \leq C\sqrt{\lambda} $ を満たす。ここで $ C > 0 $ は多様体 $ M $ のみに依存する定数である。
• カルレマン推定から導出された、技術的キーツールである二重化不等式 $ \|\nabla u\|_{B_{2r}} \leq e^{C\sqrt{\lambda}} \|\nabla u\|_{B_r} $ が確立された。
• 零点集合が臨界集合である関数 $ F(x) = \sum_{i=1}^n |\partial_i u|^2 $ は、複素二重化性を満たす：$ \sup_{B_{\mathbb{C}}(1)} |F| \leq e^{C\sqrt{\lambda}} \sup_{B(1/2)} |F| $。
• 各点 $ p \in M $ に対して、$ r_0 $ を $ \lambda $ に依存しないものとして、局所的測度境界 $ \mathcal{H}^{n-1}(\mathcal{C}_u \cap B(p,r_0)) \leq C\sqrt{\lambda} $ が証明された。
• 多様体 $ M $ がコンパクトであるため、有限被覆を用いることで、グローバル境界が導かれる。局所的境界は多様体全体にわたって一様に成り立つ。
• 例（例えば $ \mathbb{T}^1 \times N $ 上の $ f_k(x,y) = \sin(2\pi kx) $）により、$ \mathcal{H}^{n-1}(\mathcal{C}_{f_k}) \geq C\sqrt{\lambda} $ となることが示され、この上界が最適であることが確認された。