Solvability of the Neumann problem for elliptic equations in chord-arc domains with very big pieces of good superdomains

技术摘要：具有极大良好超域的弦弧域中椭圆方程 Neumann 问题可解性

问题陈述
本文研究了散度形式椭圆算子 $L = -\text{div}(A\nabla)$ 在有界弦弧域 $\Omega \subset \mathbb{R}^{n+1}$ 中的 Neumann 问题可解性。矩阵 $A$ 的系数被假定具有 Dini 平均振荡（DMO）性质。核心挑战在于建立 Neumann 问题 $(N_p)_L$ 的 $L^p$ 可解性，其中 $1 < p \le 2$。

虽然 Dirichlet 问题 $(D_p)_L$ 和正则问题 $(R_p)_L$ 在弦弧域中的可解性在拉普拉斯算子及某些类算子（如 DKP 算子）中已得到广泛研究并得到解决，但 Neumann 问题仍然显著更加困难。与 Dirichlet 问题不同，Neumann 问题缺乏能够将可解性从子域转移到原域的极大值原理；此外，Neumann 函数不具备确定的符号，这阻碍了使用正调和测度技术的方法。作者专门针对一个开放性问题，即在弦弧域中 $(N_p)_L$ 是否可解，该问题由 Kenig 提出，随后由 Toro 在边界支持弱 $p$-Poincaré 不等式的背景下进一步强调。

方法论
作者采用了“好 $\lambda$”不等式论证结合自助程序（bootstrapping procedure）和对偶性方法。该方法依赖于几个关键的技术组成部分：

1. 对偶公式与粗糙 Neumann 问题：作者引入了 Neumann 问题的变体，包括“粗糙 Neumann 问题”和 $\rho$-光滑版本。他们利用对偶论证，将 Neumann 问题 $(N_p)_L$ 的可解性与伴随算子 $L^*$ 在 Lorentz 空间（$L^{p', \infty}$）中的“粗糙”Neumann 问题的可解性联系起来。具体而言，他们确立了：若正则问题 $(R_q)_L$ 对某个 $q > p$ 是可解的，则 $(N_p)_L$ 可解当且仅当粗糙 Neumann 问题 $(N^R_{L^{p'}})_{L^*}$ 是可解的。

2. 局部化与超域：一个核心创新是使用“极大部分”的超域。作者假设对于边界上的每一个球 $B(\xi, r)$，都存在一个“超域”$U_{\xi,r}$（一个 $C^2$-弦弧域），使得 $\Omega \cap B(\xi, r) \subset U_{\xi,r}$。至关重要的是，假设 Neumann 问题在这些超域中是一致可解的。该条件要求“坏”边界部分 $\partial \Omega \setminus \partial U_{\xi,r}$ 相对于球的测度极小（由参数 $\varepsilon$ 控制）。

3. 好 $\lambda$ 不等式与插值：主定理的证明依赖于建立如下形式的估计：
   $$C_L(N^R_{L^{p'}, L^{p', \infty}}) \le K(1 + \varepsilon^a C_L(N^R_{L^{p'}, L^{p', \infty}}))$$
   通过选择足够小的 $\varepsilon$，右侧包含未知常数的项可以被吸收，从而得到一致界限。该估计是通过一个局部化引理（引理 4.3）导出的，该引理利用 Neumann 函数及其性质（Moser 估计、Hölder 连续性）将解分解为局部部分和远场部分。

4. 逼近与稠密性：作者使用 $\rho$-光滑恒等逼近（$S_\rho$）来处理边界数据和算子系数缺乏光滑性的问题。他们通过稠密性论证和在 Lorentz 空间之间的插值，证明了光滑版本的可解性可以推导出粗糙版本的可解性。

主要贡献与结果
主要结果是 定理 1.1，其表述如下：
设 $\Omega \subset \mathbb{R}^{n+1}$ 为有界 $C^1$-弦弧域，且 $L \in \text{EDMO}(\mathbb{R}^{n+1})$。令 $p \in (1, 2)$。若：

1. 正则问题 $(R_q)_L$ 在 $\Omega$ 中对于某个 $q > p$ 是可解的；
2. $\partial \Omega$ 支持一个弱 $p$-Poincaré 不等式；
3. $\Omega$ 具有“极大部分”的超域 $U_{\xi,r}$（具体为 $C^2$-弦弧域），且在这些超域中 Neumann 问题 $(N_q)_L$ 是一致可解的，且边界差异的测度很小（$\varepsilon$-小）；

那么，Neumann 问题 $(N_p)_L$ 在 $\Omega$ 中是可解的。

一个特定的推论（推论 1.2）将此应用于拉普拉斯算子（$\Delta$）。它断言，如果 $(R_q)_\Delta$ 在 $C^1$-弦弧域中可解，且该域具有具有一致可解 Neumann 问题的 Lipschitz 超域的“极大部分”，那么 $(N_p)_\Delta$ 在该域中是可解的。

意义与主张
本文声称定理 1.1 即使对于拉普拉斯算子也是一项新结果。作者指出，虽然 $(N_2)_\Delta$ 在 Lipschitz 域中的可解性是一个经典结果（Jerison-Kenig），但将其推广到更粗糙的域（弦弧域）中对于 $p \neq 2$ 的 $L^p$ 情况仍是一个开放问题。

其意义在于：

• 克服缺乏极大值原理的问题：作者提供了一种方法，无需依赖于 Neumann 问题所缺失的极大值原理，即可将可解性从“良好”的超域转移到“粗糙”的域 $\Omega$。
• 回应 Kenig 的开放问题：这项工作在解决 Kenig (1991) 和 Toro (2010) 关于在弦弧域中是否存在使得 Neumann 问题可解的 $p > 1$ 的问题上取得了进展。
• 对偶性与粗糙 Neumann 问题：论文引入并利用了“粗糙”Neumann 问题公式及其与正则问题的对偶性，为非光滑设置下的边界值问题提供了新的视角。
• 条件的优化性：作者承认其证明需要“极大部分”条件（$\varepsilon$-小）来吸收好 $\lambda$ 不等式中的误差项。他们讨论了通过迭代应用该定理，最终可能允许更大的 $\varepsilon$（接近 1），从而覆盖所有弦弧域，尽管由于迭代过程中常数对参数的依赖性，这仍是一个潜在的难点。

本文并未声称无条件地解决了所有弦弧域的 Neumann 问题，而是通过特定的几何条件——即拥有已知可解 Neumann 问题的“极大部分”超域——建立了可解性。该结果弥合了 Lipschitz（或 $C^2$）域与更一般的弦弧域设置之间的差距。