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

技术摘要：关于平面凸域中高频情形下的 Schiffer 与 Berenstein 猜想

问题陈述
本文探讨了谱几何中两个经典的超定椭圆问题，即 Schiffer 和 Berenstein 猜想。核心问题在于：这些问题的非平凡解的存在性是否意味着其底层的有界区域 $\Omega \subset \mathbb{R}^2$ 必须是一个圆盘。

这两个问题分别是：

1. Berenstein 猜想（Dirichlet 情况）： 在 $\Omega$ 内 $-\Delta u = \alpha u$，且在 $\partial\Omega$ 上 $u=0$ 以及 $\frac{\partial u}{\partial \nu} = c_D$（常数）。
2. Schiffer 猜想（Neumann 情况）： 在 $\Omega$ 内 $-\Delta u = \alpha u$，且在 $\partial\Omega$ 上 $\frac{\partial u}{\partial \nu} = 0$ 以及 $u = c_N$（常数）。

虽然已知圆盘存在此类解，但该猜想断言圆盘是仅有的此类解存在的区域。此前，Berenstein 和 Yang 的研究结果表明，如果一个区域拥有一系列趋于无穷大的此类特征值，则该区域必为圆盘。然而，关于单个大特征值的情形仍然是一个开放问题。近期针对不受限制的猜想（在双连通或无界区域中）出现的反例，凸显了对受控几何类和频率阈值进行控制的必要性。

方法论
作者的方法植根于驻相法（stationary phase method），但引入了显著的改进，以处理单个大特征值而非无穷序列的情况。

1. 两点驻相展开：
   不同于以往依赖于无穷特征值序列的工作（在序列中参数 $t$ 和 $\lambda$ 可以独立变化以满足特定的渐近条件），本文固定了特征值 $\alpha$ 为很大但有限的值。他们令 $\alpha = \lambda^2 - t^2$，其中 $t \in \{-1, 1\}$ 固定，且 $\lambda = \sqrt{\alpha + 1}$ 很大。利用格林恒等式，该问题的解的存在性被简化为边界 $\partial\Omega$ 上特定振荡积分的消失。作者对这些积分应用了统一的两点驻相展开。对于一致凸区域，相位函数恰有两个非退化临界点（对跖点）。

2. 两点振幅缺陷 ($B(\Omega)$)：
   本文的一项关键创新是引入了“两点振幅缺陷”，定义为：
   $$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$ 是中心对称的，则缺陷与到中心圆盘的 Hausdorff 距离呈线性相关，从而得到更强的估计。

4. 高频排除：
   通过结合驻相展开（该展开表明积分由缺陷主导）与几何估计，作者推导出了一个阈值。如果特征值 $\alpha$ 超过了一个取决于几何类和到圆盘距离的特定界限，则缺陷不可能为零，从而不存在解。

主要贡献与结果

• 定理 1.1 (Berenstein 猜想)： 对于具有 $C^{2,\epsilon}$ 边界的有界一致凸区域 $\Omega \subset \mathbb{R}^2$，若 Dirichlet 问题 (1.1) 对于足够大的特征值 $\alpha > \alpha_0(\Omega)$ 存在非平凡解，则 $\Omega$ 必为圆盘。
• 定理 1.2 (Schiffer 猜想)： 类似地，对于具有 Lipschitz 连通边界的有界一致凸区域 $\Omega$，若 Neumann 问题 (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}$ 是最优的，即使在中心对称子类中也是如此。

意义与主张
本文声称对二维情形下的 Schiffer 和 Berenstein 猜想给出了部分肯定的回答。其主要意义在于：

1. 单特征值刚性： 它取消了对无穷特征值序列的要求，证明了只要区域是一致凸且足够光滑，单个 足够大的超定特征值足以迫使区域成为圆盘。
2. 定量机制： 它识别了一种特定的几何机制——两点振幅缺陷——该机制刻画了圆盘，并量化了偏离圆形的程度如何阻止高频解的存在。
3. 解决高频反例： 其结果澄清了为何最近的反例（存在于特定频率或无界区域中）并不矛盾于高频情形下的凸类猜想。论文确立了虽然在低于某一频率阈值时可能存在反例，但在高于该类相关的截断值时，这些反例会被排除。

作者明确指出，其结果仅限于二维情况，并不构成一个“全频率”刚性定理（即它并未排除在推导出的阈值以下存在有限个例外特征值的可能性）。阈值 $\alpha_0(\Omega)$ 取决于特定的几何形状，而非仅仅取决于类别，这意味着这是一个“高频排除”结果，而非针对所有特征值的普遍性陈述。