[論文レビュー] A lower bound for the nodal sets of Steklov eigenfunctions

Xing Wang, Jiuyi Zhu|arXiv (Cornell University)|Nov 3, 2014

Numerical methods in inverse problems被引用数 5

ひとこと要約

本稿は、境界をもつ滑らかなコンpakトなリーマン多様体上でのステクロフ固有関数のノード集合の $(n-1)$ 次元ハウスドルフ測度に対して下界を確立する。ソッゲとゼルディッチによるラプラシアン固有関数の手法を応用することで、$L^1$ ノルム推定とノード集合の幾何的解析を用いて、$ olimits\lambda^{\frac{3-n}{2}}$ のオーダーの下界を導出する。これは一般の滑らかな多様体上でのステクロフ固有関数に対して初めてのこのような下界の証明である。

ABSTRACT

We consider the lower bound of nodal sets of Steklov eigenfunctions on smooth Riemannian manifolds with boundary--the eigenfunctions of the Dirichlet-to-Neumann map. Let $N_λ$ be its nodal set. Assume that zero is a regular value of Steklov eigenfunctions. We show that $$H^{n-1}(N_λ)\geq Cλ^{\frac{3-n}{2}}$$ for some positive constant $C$ depending only on the manifold.

研究の動機と目的

• 境界をもつ滑らかなリーマン多様体上でのステクロフ固有関数のノード集合のサイズに対する下界を確立すること。
• 解析的多様体上では既知の上界があるものの、ノード集合に対する既知の下界が欠如しているステクロフ固有値問題に対処すること。
• 古典的ラプラシアン固有関数理論の手法を非局所的ディリクレ・トゥ・ノイマン作用素の設定に拡張すること。
• 正則値の仮定のもとで、ノード集合のサイズが $\lambda^{(3-n)/2}$ 以上に増加することを証明すること。
• 小さな値の近傍におけるレベル集合に対しても下界を拡張し、$|\alpha| < \epsilon \lambda^{-(n-1)/4}$ の $\alpha$-レベル集合に対しても同様の増加を示すこと。

提案手法

• ソッゲとゼルディッチによるラプラシアン固有関数のためのドン型の恒等式および $L^1$ ノルム比較技術を、ステクロフ設定に適応する。
• 固有関数の $L^1$ ノルム $\|\phi_\lambda\|_{L^1(\mathcal{M})} \gtrsim \lambda^{-(n-1)/4}$ を鍵とする下界を用いる。
• 楕円的正則性および擬微分作用素論を用いて、$\|\phi_\lambda\|_{L^\infty(\mathcal{M})} \lesssim \lambda^{(n-1)/2}$ の $L^\infty$ ノルムの制御を確立する。
• ホルダーの不等式と補間を用いて、$\phi_\lambda$ の $L^{1+\delta}$ ノルムを制御し、それらを $L^1$ ノルムに関連付ける。
• 発散恒等式に $f = \sqrt{1 + |\nabla\phi_\lambda|^2}$ をテスト関数として用い、ノード集合上での $|\nabla\phi_\lambda|$ の $L^2$ ノルムを制御する。
• $L^2$ ノルムの推定と $L^1$ ノルムの下界を組み合わせ、コーシー・シュワルツによる最終的なサイズ推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 境界をもつ滑らかなコンパクト多様体上でのステクロフ固有関数のノード集合の $(n-1)$ 次元ハウスドルフ測度に対する最良の下界は何か？
• RQ2 古典的ラプラシアン固有関数理論の手法は、非局所的ディリクレ・トゥ・ノイマン作用素の設定に適応可能か？
• RQ3 ステクロフ固有関数のノード集合のサイズは、固有値 $\lambda$ に対してどのようにスケーリングされるか？
• RQ4 ゼロ集合だけでなく、ゼロの近傍のレベル集合に対しても同様の下界が成り立つか？
• RQ5 正則値の仮定がこのような下界を確立する上で果たす役割は何か？

主な発見

• 本稿は、境界をもつ滑らかなコンパクトなリーマン多様体上でのステクロフ固有関数のノード集合サイズに対する、初めての既知の下界を確立する。
• 下界は $H^{n-1}(N_\lambda) \gtrsim \lambda^{(3-n)/2}$ であり、これは固有関数の 0 が正則値である場合に有効である。
• この下界は、固有関数の $L^1$ ノルム推定とノード集合上での勾配の $L^2$ ノルム制御を用いて導出される。
• $\phi_\lambda$ の $L^\infty$ ノルムは $C\lambda^{(n-1)/2}$ で有界であり、$L^1$ ノルムは $C\lambda^{-(n-1)/4}$ で有界である。これらはスケーリングにおいて重要な役割を果たす。
• ノード積分の $|\nabla\phi_\lambda|$ を制御するため、注意深く選ばれたテスト関数を用いた修正された発散恒等式に依存する。
• この結果は $\alpha$-レベル集合に対しても拡張可能である。$|\alpha| < \epsilon \lambda^{-(n-1)/4}$ の場合、$\{x \in \mathcal{M} : \phi_\lambda(x) = \alpha\}$ の測度に対しても $H^{n-1}(L^\alpha_\lambda) \gtrsim \lambda^{(3-n)/2}$ が成り立つ。