[论文解读] The Boundary value problems for second order elliptic operators satisfying a Carleson condition

Martin Dindoš, Jill Pipher+1 more|arXiv (Cornell University)|Jan 3, 2013

Advanced Harmonic Analysis Research参考文献 17被引用 4

一句话总结

该论文建立了在 Lipschitz 域上具有小 Lipschitz 常数的二阶椭圆微分算子在 $H^{1,p}(\bar{\partial}\Omega)$ 数据下的 Dirichlet 正则性问题的可解性，以及在 $L^p(\partial\Omega)$ 数据下的 Neumann 问题的可解性。系数满足具有小范数的 Carleson 条件，允许粗糙但受控的振荡，且结果对所有 $1 < p < \infty$ 成立，完成了早期关于 $L^p$ Dirichlet 问题的研究，并将可解性推广至高维空间中的非对称、非散度型算子。

ABSTRACT

Let $Ω$ be a Lipschitz domain in $\mathbb R^n$ $n\geq 2,$ and $L=\mbox{div} (A abla\cdot)$ be a second order elliptic operator in divergence form. We establish solvability of the Dirichlet regularity problem with boundary data in $H^{1,p}(\partialΩ)$ and of the Neumann problem with $L^p(\partialΩ)$ data for the operator $L$ on Lipschitz domains with small Lipschitz constant. We allow the coefficients of the operator $L$ to be rough obeying a certain Carleson condition with small norm. These results complete the results of [5] where $L^p(\partialΩ)$ Dirichlet problem was considered under the same assumptions and [6] where the regularity and Neumann problems were considered on two dimensional domains.

研究动机与目标

• 将非对称、散度型椭圆算子在系数最小正则性假设下的边界值问题可解性进行推广。
• 在 Lipschitz 常数较小的域上，建立 $H^{1,p}(\bar{\partial}\Omega)$ 数据下 Dirichlet 正则性问题对所有 $1 < p < \infty$ 的可解性。
• 在相同条件下证明 Neumann 问题在 $L^p(\partial\Omega)$ 数据下的可解性，从而完整覆盖两类问题的全部 $p$ 范围。
• 统一并推广二维空间中关于 $L^p$ Dirichlet 问题与 Neumann 问题的先前结果，将其推广至高维空间。

提出的方法

• 作者在系数振荡上使用 Carleson 条件，通过 $ d\mu = \delta(X)^{-1} (\text{osc}_{B(X,\delta(X)/2)} a_{ij})^2 dX $ 定义，且 Carleson 范数较小。
• 他们应用层势方法与极大函数估计，依赖于域的 Lipschitz 常数较小以及系数振荡的 Carleson 范数较小。
• 关键技巧在于沿切向方向进行分部积分，以处理系数的二阶导数，从而将高阶项转化为低阶项。
• 证明基于关于 $|\nabla u|$ 的逐点估计，该估计源自对 $|\nabla A|$ 的 Carleson 条件，采用基于该估计的归纳法。
• Neumann 问题通过在 $H^1$ 空间中应用 Lax-Milgram 定理进行分析，随后结合非切向极大函数估计与内部衰减控制。
• 通过局部化与平坦化技术，将论证从光滑域推广至 Lipschitz 域，小 Lipschitz 常数确保了统一的控制。

实验结果

研究问题

• RQ1 对于满足在域边界上系数振荡具有 Carleson 条件的非对称、散度型椭圆算子，能否在 $H^{1,p}$ 数据下求解 Dirichlet 正则性问题？
• RQ2 对于同一类算子与域，Neumann 问题在 $L^p$ 数据下是否对所有 $1 < p < \infty$ 都可解？
• RQ3 当系数满足具有小范数的 Carleson 条件时，即使无对称性，Neumann 问题的可解性是否可推广至高维空间？
• RQ4 域的 Lipschitz 常数的大小与系数振荡的 Carleson 范数之间如何相互作用以保证可解性？
• RQ5 在系数正则性要求最小的假设下，二维空间中的结果能否推广至任意维度？

主要发现

• 在 Lipschitz 常数足够小的域上，对所有 $1 < p < \infty$，$H^{1,p}(\bar{\partial}\Omega)$ 数据下的 Dirichlet 正则性问题具有可解性。
• 在相同假设下，$L^p(\partial\Omega)$ 数据下的 Neumann 问题对所有 $1 < p < \infty$ 可解，且具有统一估计 $\|N(\nabla u)\|_{L^p(\partial\Omega)} \leq C\|f\|_{L^p(\partial\Omega)}$。
• 可解性成立的条件是测度 $ d\mu = \delta(X)^{-1} (\text{osc}_{B(X,\delta(X)/2)} a_{ij})^2 dX $ 为具有小范数的 Carleson 测度。
• 该结果完成了散度型算子的 $L^p$ 可解性程序，将 $p$ 的完整范围推广至正则性问题与 Neumann 问题。
• 证明表明，Neumann 问题的可解性在域与系数的小扰动下依然稳健，即使在非对称情形下亦成立。
• 该方法可统一应用于 Lipschitz 常数较小的光滑域与 Lipschitz 域，且在 $\ell$ 与 $\|\mu\|_{\text{Carl},r_0}$ 的小量假设下，估计保持稳定。