[論文レビュー] Zeta functions with Dirichlet and Neumann boundary conditions for exterior domains

Jean‐Pierre Eckmann, Claude‐Alain Pillet|ArXiv.org|Feb 3, 1996

Spectral Theory in Mathematical Physics参考文献 12被引用数 14

ひとこと要約

本稿は、有界外部領域におけるラプラシアンの統合状態密度と、その対応する外部問題の散乱位相との間の新たな恒等式を確立する。単層および重層ポテンシャルを用いて、DD、DN、ND、NNの4つのゼータ関数を導入し、内部固有値問題と外部散乱の間のスペクトル双対性を記述する。トレース公式を証明し、重層ポテンシャルに基づく数値アルゴリズムを提示し、スペクトル漸近の厳密な境界を保証する。

ABSTRACT

We generalize earlier studies on the Laplacian for a bounded open domain $Ω\in eal^2$ with connected complement and piecewise smooth boundary. We compare it with the quantum mechanical scattering operator for the exterior of this same domain. Using single layer and double layer potentials we can prove a number of new relations which hold when one chooses {\em independently} Dirichlet or Neumann boundary conditions for the interior and exterior problem. This relation is provided by a very simple set of $ζ$-functions, which involve the single and double layer potentials. We also provide Krein spectral formulas for all the cases considered and give a numerical algorithm to compute the $ζ$-function.

研究の動機と目的

• ディリクレ境界条件に限られていた、内部固有値問題と外部散乱の間のスペクトル恒等式を、ノイマン境界条件を含む形に一般化すること。
• 有界領域におけるラプラシアンの統合状態密度と、すべてのディリクレ／ノイマン境界条件の組み合わせに対応する外部領域の散乱位相との間の新たな関係を導出し、証明すること。
• 単層および重層ポテンシャルを用いて、混合境界条件におけるスペクトル双対性を統一的かつ一般化するゼータ関数を構成すること。
• 内部問題と外部問題のスペクトル測度を結ぶクレイン型トレース公式を提供すること。
• 角を持つ領域に対しても安定な数値アルゴリズムを、重層ポテンシャルに基づいて開発すること。

提案手法

• 単層ポテンシャル A_z、重層ポテンシャル B_z、および重層ポテンシャルの法線微分 C_z を用いて、境界条件のペアに対応する4つのゼータ関数（DD、DN、ND、NN）を定義する。
• 自由グリーン関数 G_z 及びその境界への制限を用いて、境界 ∂Ω 上で作用する積分作用素 A_z、B_z、C_z を構成する。
• スペクトル恒等式を確立：内部ラプラシアンの統合状態密度 N_B(E) は、散乱位相 ϑ_{B0}(E) から、ゼータ関数 ɣ_{B,B0}(E+i0) の対数の虚部を引いたものに等しい。
• 内部および外部ラプラシアンの関数のトレースを、固有値と散乱位相に関連付けるクレイン型トレース公式を導出する。
• 層ポテンシャル作用素を用いて、相互作用グリーン関数 G_DD および G_NN の明示的表現を構成する。
• 重層ポテンシャル B_z を基盤とする数値アルゴリズムを構築し、角を持つ領域に対しても収束性およびスペクトル漸近の厳密な境界を保証する。

実験結果

リサーチクエスチョン

• RQ1 有界領域における混合ディリクレ／ノイマン境界条件を満たすラプラシアンのスペクトル特性は、外部問題の散乱位相とどのように関係するか？
• RQ2 内部および外部問題におけるディリクレおよびノイマン境界条件のすべての組み合わせを記述できる統一的なゼータ関数形式を構築できるか？
• RQ3 混合境界条件下での内部固有値問題と外部散乱問題の間のスペクトル双対性の正確な数学的構造は何か？
• RQ4 角を持つ領域に対しても保証された収束性と誤差境界を有するように、ゼータ関数をどのように数値的に計算できるか？
• RQ5 ゼータ関数の虚部対数の正確な漸近境界は何か？そしてそれはスペクトル密度推定とどのように関係するか？

主な発見

• 本稿は、恒等式 N_B(E) = ϑ_{B0}(E) - Im log ɣ_{B,B0}(E+i0) を証明し、内部固有値数え上げと外部散乱位相の間の直接的なスペクトル双対性を確立する。
• ゼータ関数 ɣ_{B,B0}(z) は、不等式 |Im log ɣ_{B,B0}(E+i0)| ≤ const × E^{-1/2} log E を満たし、スペクトルゆらぎの鋭い推定を与える。
• クレイン型トレース公式が導出される：Tr[F(−Δ_Ω;B) ⊕ F(−Δ_{Ω^c};B0)] = ∑ F(λ_n,B) + (1/π) ∫ (dF/dE)(E) ϑ_{B0}(E) dE であり、内部および外部領域間のスペクトル測度を結ぶ。
• 相互作用グリーン関数は、G_DD = G - G* A_{-Δ}^{-1} G および G_NN = G - G* N C_{-Δ}^{-1} N G として明示的に与えられ、点ごとのスペクトル双対性を示す。
• ゼータ関数は重層ポテンシャル B_z を用いて数値的に計算可能であり、角特異性を層ポテンシャルカーネル内のキャンセレーション機構によって扱う安定なアルゴリズムが構築される。
• 法線微分による定義された作用素 C_z は、位相1の擬微分作用素であることが示され、角におけるキャンセレーションによりヒルベルト＝シュミット的およびトレースクラス的性質が保証され、厳密なスペクトル解析が可能となる。