On the Schiffer and Berenstein conjectures with high-frequency for convex domains in the plane

技術要約：平面における凸領域に対する高周波でのシッファーおよびベレンシュタイン予想について

問題設定
本論文は、スペクトル幾何学における2つの古典的な過決定楕円問題、すなわちシッファー予想とベレンシュタイン予想を扱う。中心となる問いは、これらの問題に対する非自明な解の存在が、基礎となる有界領域 $\Omega \subset \mathbb{R}^2$ が円板であることを意味するかどうかである。

これら2つの問題は以下の通りである：

1. ベレンシュタイン予想（ディリクレ型）: $\Omega$ 内で $-\Delta u = \alpha u$、$\partial\Omega$ 上で $u=0$、および $\frac{\partial u}{\partial \nu} = c_D$（定数）を満たす。
2. シッファー予想（ノイマン型）: $\Omega$ 内で $-\Delta u = \alpha u$、$\frac{\partial u}{\partial \nu} = 0$、および $u = c_N$（定数）を満たす。

円板は解を持つことが知られているが、予想では、そのような解を持つ領域は円板に限られるとされる。ベレンシュタインやヤンによる先行研究では、無限個のこのような固有値の列が存在する場合、その領域は円板であることが確立されている。しかし、単一の大きな固有値に関するケースは未解決のままであった。無制限の予想に対する最近の反例（二重連結または非有界領域において）は、制御された幾何学的クラスと周波数の閾値が必要であることを示唆している。

手法
著者らのアプローチは定常位相法に根ざしているが、無限の固有値列ではなく、単一の大きな固有値を扱うために重要な修正を加えている。

1. 2点定常位相展開:
   以前の研究では、特定の漸近条件を満たすためにパラメータ $t$ と $\lambda$ を独立に変えることが可能な、無限の固有値列の極限に依存していた。これに対し、本論文では固有値 $\alpha$ を大きく有限なものとして固定する。$\alpha = \lambda^2 - t^2$ （ただし $t \in \{-1, 1\}$ は固定）とし、$\lambda = \sqrt{\alpha + 1}$ が大きいものとする。
   グリーン恒等式を用いることで、解の存在は境界 $\partial\Omega$ 上の特定の振動積分の消失へと還元される。著者らは、これらの積分に対して一様な2点定常位相展開を適用する。一様凸領域において、位相関数は正確に2つの非退化な臨界点（対蹠点）を持つ。

2. 2点振幅欠損 ($B(\Omega)$):
   主要な革新は、「2点振幅欠損」の導入である。これは以下のように定義される：
   $$B(\Omega) := \max_{\theta \in \mathbb{R}, t \in \{-1,1\}} \left| \sqrt{\rho(\theta)}e^{th'(\theta)} - \sqrt{\rho(\theta + \pi)}e^{-th'(\theta + \pi)} \right|$$
   ここで、$h$ は支持関数であり、$\rho = h + h''$ は曲率半径である。著者らは、$B(\Omega) = 0$ であることと $\Omega$ が円板であることは同値であることを証明している。

3. 定量的幾何学的評価:
   本論文は、欠損 $B(\Omega)$ と領域 $\Omega$ の円板からの幾何学的距離との間の定量的な関係を確立している。

• 一般の場合: 制御された $C^m$ クラス ($m \ge 5$) の領域について、$B(\Omega) \ge c_m \min(d_{\text{disk}}(\Omega)^{p_m}, 1)$ （ここで $p_m = \frac{m-1}{m-2}$ および $d_{\text{disk}}$ は $C^2$ 支持関数の距離）であることを証明する。これは、支持関数の偶奇分解と補間不等式に基づいている。
• 中心対称の場合: $\Omega$ が中心対称であれば、欠損は中心に位置する円板からのハウスドルフ距離と線形に関連し、より強い評価が得られる。

4. 高周波排除:
   定常位相展開（積分が欠損によって支配されることを示す）と幾何学的評価を組み合わせることで、閾値を導出する。もし固有値 $\alpha$ が幾何学的クラスと円板からの距離に依存する特定の境界を超えている場合、欠損はゼロになり得ず、したがって解は存在しない。

主な貢献および結果

• 定理 1.1 (ベレンシュタイン予想): $C^{2,\epsilon}$ 境界を持つ有界一様凸領域 $\Omega \subset \mathbb{R}^2$ について、もしディリクレ問題 (1.1) が十分に大きな固有値 $\alpha > \alpha_0(\Omega)$ に対して非自明な解を持つならば、$\Omega$ は円板でなければならない。
• 定理 1.2 (シッファー予想): 同様に、リプシッツ連続な連結境界を持つ有界一様凸領域 $\Omega$ について、もしノイマン問題 (1.2) が十分に大きな固有値 $\alpha > \alpha_0(\Omega)$ に対して非自明な解を持つならば、$\Omega$ は円板でなければならない。
• 正則性への依存性: 本論文は、領域の正則性 $m$ に基づく固有値 $\alpha$ の明示的なカットオフを提供している。領域が $C^m$ クラスにおいて円板から距離 $\epsilon$ にある場合、排除閾値は $O(1 + \epsilon^{-2p_m})$ のスケールで推移する。
• 鋭さ: 著者らは構成（命題 3.8）を通じて、一様 $C^m$ 制御下での距離から欠損への幾何学的変換における指数 $p_m = \frac{m-1}{m-2}$ が最適であることを示している。これは中心対称な部分クラスにおいても同様である。

意義および主張
本論文は、2次元におけるシッファーおよびベレンシュタイン予想に対する部分的な肯定的な回答であると主張している。その主な意義は以下の通りである：

1. 単一固有値の剛性: 無限の固有値列を必要とする要件を取り除き、領域が十分に滑らかで一様凸であれば、単一の 十分に大きな過決定固有値が円板であることを強制するのに十分であることを証明した。
2. 定量的メカニズム: 円板を特徴付け、円形からの逸脱がいかに高周波解の存在を妨げるかを定量化する、特定の幾何学的メカニズム（2点振幅欠損）を特定した。
3. 高周波反例の解決: 最近の反例（特定の周波数または非有界領域において存在する）が、なぜ制御された凸クラスの高周波領域において予想と矛盾しないのかを明らかにしている。本論文は、反例が導出された閾値以下の周波数では存在し得る一方で、クラスに応じたカットオフ値以上では排除されることを確立している。

著者らは、自らの結果が2次元の場合に限定されており、「全周波数」の剛性定理（すなわち、導出された閾値以下の有限個の例外的な固有値の存在を否定するものではない）ではないことを明示している。閾値 $\alpha_0(\Omega)$ は、クラスだけでなく特定の領域の幾何学に依存するため、これは「全固有値に対する普遍的な記述」ではなく、「高周波排除」の結果である。