Qualitative properties of eigenfunctions in domains with small holes

技術要約：小さな穴を持つ領域における固有関数の定性的性質

問題設定
本論文は、滑らかな有界領域 $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) から小さな円形の穴 $B(P, \varepsilon)$ を除去したときの、ディリクレ・ラプラシアン $-\Delta$ の固有値および固有関数の漸近挙動を調査するものである。摂動後の領域を $\Omega_\varepsilon := \Omega \setminus B(P, \varepsilon)$ と表記する。本研究は、境界 $\partial \Omega$ のわずかな変形のみを扱う「正則な摂動（regular perturbations）」とは対照的に、「特異な摂動（singular perturbations）」に焦点を当てている。主な目的は、摂動された固有関数 $u_\varepsilon$ の定量的な評価を導出し、摂動された固有値 $\lambda_\varepsilon$ の単一性を決定し、穴の近傍における $u_\varepsilon$ のノード集合（節集合）の挙動を分析することである。

手法
解析は、先行研究 [1] で導入された $u$-容量的ポテンシャル（$u$-capacitary potential） $V_{\varepsilon, u}$ の概念に大きく依存している。この関数は、以下のディリクレ問題の唯一の弱解である：
$$\begin{cases} \Delta V_{\varepsilon, u} = 0 & \text{in } \Omega \setminus B(P, \varepsilon), \\ V_{\varepsilon, u} = 0 & \text{on } \partial \Omega, \\ V_{\varepsilon, u} = u & \text{on } \partial B(P, \varepsilon), \end{cases}$$
ここで、$u$ は非摂動問題の固有関数である。

本論文における中心的な手法の革新性は、$\varepsilon \to 0$ における $V_{\varepsilon, u}$ の シャープな点別評価（pointwise estimates） を、グリーン関数 $G_\Omega(x, P)$ および点 $P$ における $u$ の微分を用いて導出したことにある。これまでの研究が $L^p$ 空間における評価を確立していたのに対し、本研究は一様的な点別評価を提供する。

主要な解析ツールには以下が含まれる：

1. 消失次数の分解（Vanishing Order Decomposition）：重解 $\lambda$ （重複度 $m(\lambda) \ge 2$）に対して、固有空間 $E(\lambda)$ を、点 $P$ における固有関数の消失次数 $k_J$ に基づいて直交部分空間 $E_J$ へと分解する。
2. 行列による特徴付け：多重固有値の漸近的な分裂は、点 $P$ における基底固有関数の微分とガンマ関数を含む幾何学的定数から構成される特定の行列 $G_{k_J}(P)$ の固有値に関連付けられる。
3. スペクトル定理と正則性：固有関数の収束は、スペクトル射影および楕円型正則性評価（モーザーの反復法、Schauder評価）を用いて、$u_\varepsilon - u$ の制御を行うことで分析される。

主要な貢献および結果

1. 容量的ポテンシャルの点別評価
本論文は、$\Omega_\varepsilon$ 内で一様な $V_{\varepsilon, u}(x)$ の明示的な漸近展開を確立している。主要項は、$u$ の点 $P$ における消失次数 $k$ によって決定される：

• $N \ge 3$ の場合： $V_{\varepsilon, u}(x) \sim C \varepsilon^{N-2+2k} \sum \partial^\alpha u(P) \partial^\alpha G_\Omega(x, P)$。
• $N = 2$ の場合： $k=0$ の場合は対数項が含まれ、$k \ge 1$ の場合は多項式項が含まれる。
  これらの評価は、従来の $L^p$ 結果を精緻化するものであり、穴の近傍における固有関数の局所的な挙動を分析するために極めて重要である。

2. 摂動された固有値の単一性
著者らは、摂動された固有値 $\lambda_{j, \varepsilon}$ が単一となるための明示的な条件を提示している。

• 単一固有値の場合： $\lambda$ が単一であれば、$\lambda_\varepsilon$ も単一であり、$u(P)$（$k=0$ の場合）または消失次数 $k$ によって決定される速度で $\lambda$ に収束する。
• 多重固有値の場合： $\lambda$ が重複度 $m(\lambda) \ge 2$ を持つ場合、固有値は分岐する。本論文は、分岐の速度と得られる枝の単一性が、行列 $G_{k_J}(P)$ の固有値によって支配されることを証明している。
  • 具体的には、すべての $G_{k_J}(P)$ の固有値が単一であれば、対応する摂動された固有値は、十分に小さい $\varepsilon$ に対して単一となる。
  • 著者らは、単位円板の第2固有値（穴が原点にある場合）を用いた反例を示し、行列の固有値が単一でない場合、対称な構成において穴の中心をわずかに変位させても、摂動された固有値が重複を保持し続ける可能性があることを示している。

3. 固有関数の定量的評価
本論文は、摂動された固有関数 $u_\varepsilon$ と非摂動の固有関数 $u$ の差に関するシャープな評価を導出している。

• 大域的評価： $u_\varepsilon(x) \approx u(x) - V_{\varepsilon, u}(x)$ であり、誤差項は $N$ と消失次数 $k$ に依存する明示的な境界を持つ。
• 境界挙動： 穴の境界 $\partial B(P, \varepsilon)$ 近傍において、本論文は精密な漸近公式を提供している。例えば、$k=0$ かつ $N=2$ の場合、$u_\varepsilon(x) \approx (1 + \frac{\log|x-P|}{\log \varepsilon})u(x)$ となる。これらの評価は、標準的な正則性理論のみでは到達不可能なものであることが示されている。

4. ノード集合と領域
本研究は、固有関数の評価をノード集合 $N_\varepsilon = \{x \in \Omega_\varepsilon : u_\varepsilon(x) = 0\}$ の幾何学に応用している。

• $P \notin N$ の場合： 穴の中心が $u$ のノード集合上にない場合、$\varepsilon$ が小さいとき、ノード集合 $N_\varepsilon$ は穴の境界と交差しない。$u_\varepsilon$ のノード領域の数は $u$ のそれ以下である。$u$ が2つのノード領域を持つ場合（例：第2固有関数）、$u_\varepsilon$ も正確に2つのノード領域を保持する。
• $P \in N$ の場合： 穴の中心がノード集合上にある場合、その挙動は消失次数 $k$ に依存する。次元 $N=2$ において、$u$ が点 $P$ で次数 $k$ で消失する場合、ノード集合 $N_\varepsilon$ は穴の境界 $\partial B(P, \varepsilon)$ とちょうど $2k$ 個の点で交差する。これは、非摂動領域におけるノード線の局所構造を、摂動された領域へと拡張するものである。

意義および主張
本論文は、ディリクレ・ラプラシアンの特異な摂動を理解するための包括的な枠組みを提供すると主張している。その意義は以下の点にある：

• 漸近挙動の精緻化： 積分的（$L^p$）な評価から点別評価へと移行することで、特異点近傍における固有関数の挙動の詳細な記述が可能となった。
• 明示的な単一性の基準： 摂動された固有値の単一性を行列 $G_{k_J}(P)$ のスペクトル特性に結びつけることで、これまで理解が不十分であった多重固有値の分裂に関する計算可能な幾何学的条件を提示した。
• ノード集合の安定性： 「ペイン・プロパティ」（ノード線の凸性や境界との交差に関する性質）を穴のある領域へと一般化し、固有関数の消失次数に基づき、ノード線がどのように穴の境界と相互作用するかを特徴づけている。

著者らは、結果はシャープであるものの、穴の中心をわずかに変位させた際の固有値の一般的な単一性は、特に対称な領域（原点にある円板のような特定の構成）において、依然として未解決の問題であると述べている。