[論文レビュー] Nodal domains in the disc---the Neumann case

Bernard Helffer, Mikael Persson Sundqvist|arXiv (Cornell University)|Jun 12, 2015

Spectral Theory in Mathematical Physics参考文献 18被引用数 5

ひとこと要約

この論文は、単位円板におけるノイマンラプラシアンのコーシュール・シャープ固有値をすべて同定し、コーシュールのノードドメイン定理における等号が成立するのはたった3つの固有値に限ることを証明している。スペクトル理論とノードドメイン解析を用いて、さらに他の固有値がコーシュール・シャープ条件を満たさないことを示し、スペクトル的最小分割に関する重要な問いを解決するとともに、従来のディリクレ問題に対する結果をノイマンの場合に拡張した。

ABSTRACT

\AA. Pleijel (1956) has proved that in the case of the Laplacian with Dirichlet condition, the equality in the Courant nodal theorem (Courant sharp situation) can only be true for a finite number of eigenvalues when the dimension is $\geq 2$. This is only recently that Polterovich solved the problem for the Neumann problem. A question coming from the theory of spectral minimal partitions has motivated the analysis of the cases when one has equality in Courant's theorem. In this note, we identify three Courant sharp eigenvalues for the Neumann Laplacian in the disc, and prove that there are no other cases.

研究の動機と目的

• 単位円板におけるノイマンラプラシアンにおいて、ノードドメインの数がコーシュールの上限に等しくなるようなすべての固有値を特定すること。
• 従来ディリクレ境界条件にのみ適用されていたプリージェルの定理のノイマン版を解明すること。
• スペクトル的最小分割理論から生じる問いに応えること。ここで、コーシュールの定理における等号は中心的な役割を果たす。
• 対称的領域において、ディリクレ境界条件からノイマン境界条件へのコーシュール・シャープ固有値の分類を拡張すること。

提案手法

• 変数分離法を用いて、単位円板におけるノイマン境界条件を満たすラプラシアンの固有値スペクトルを解析すること。
• ベッセル関数（径方向方程式の解）を用いて、固有関数のノードドメインを明示的に計算すること。
• コーシュールのノードドメイン定理を適用し、ノードドメインの数を数え、コーシュールの上限と比較すること。
• 対称性および角運動量量子数を用いて、固有関数とそのノード構造を分類すること。
• ノードドメインの数を固有値のインデックスと比較し、等号が成立する場合（コーシュール・シャープ性）を同定すること。
• 位相的および変分的議論を用いて、同定された3つを越えて追加のコーシュール・シャープ固有値が存在しないことを排除すること。

実験結果

リサーチクエスチョン

• RQ1 単位円板におけるノイマンラプラシアンのどの固有値が、コーシュールのノードドメイン定理における等号を満たすか？
• RQ2 ノイマンの場合に、単位円板においてコーシュール・シャープ固有値は有限個か、無限個か？
• RQ3 この設定において、特にノードドメインの構造が、ディリクレ条件とノイマン条件の間でどのように異なるか？
• RQ4 ノイマンの場合のコーシュール・シャープ固有値の分類を、他の領域へ拡張できるか？
• RQ5 スペクトル的最小分割が、ノイマン設定におけるコーシュール・シャープ性の研究を動機づける役割を果たすか？

主な発見

• 単位円板におけるノイマンラプラシアンの固有値の中で、コーシュール・シャープであるのはたった3つに限る。これは、その固有関数のノードドメイン数がコーシュールの上限に等しいことを意味する。
• これらの3つの固有値は、最初の固有値および特定の角対称性に起因するノードパターンを示す2つの高次固有値に対応する。
• それ以上の固有値はコーシュール・シャープ条件を満たさない。これにより、円板におけるノイマンの場合の有限かつ完全な分類が確認された。
• ディリクレの場合とは対照的に、プリージェルの定理により等号が成立するのは有限個に限られることも同様に成り立つが、ノイマンの場合には長年にわたり未解決のままであった。
• 解析により、コーシュール・シャープ固有値に対応する固有関数のノード集合が、コーシュールの定理が許容する数にちょうど等しいノードドメインに円板を分割することが確認された。