[论文解读] Uniform rectifiability and elliptic operators satisfying a Carleson measure condition

Steve Hofmann, José María Martell+3 more|arXiv (Cornell University)|Aug 11, 2020

Advanced Harmonic Analysis Research参考文献 11被引用 5

一句话总结

本文通过证明在椭圆常数一致控制和系数振荡趋于零的条件下，若外部木塞条件不成立将导致矛盾，从而建立了具有 Ahlfors 正则边界和属于 $A_∞$ 类的椭圆测度的区域的统一可 rectifiable性。利用紧致性论证和极限分析，表明极限区域必须满足外部木塞条件，与假设矛盾，从而在给定条件下证明了统一可 rectifiable 性。

ABSTRACT

The present paper establishes the correspondence between the properties of the solutions of a class of PDEs and the geometry of sets in Euclidean space. We settle the question of whether (quantitative) absolute continuity of the elliptic measure with respect to the surface measure and uniform rectifiability of the boundary are equivalent, in an optimal class of divergence form elliptic operators satisfying a suitable Carleson measure condition. The result can be viewed as a quantitative analogue of the Wiener criterion adapted to the singular $L^p$ data case. We split our proof on two main steps. In the first one we considered the case in which the desired Carleson measure condition on the coefficients holds with "sufficiently small constant", using a novel application of techniques developed in geometric measure theory. In the second step we establish the final result, that is, the "large constant case". The key elements are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, and a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.

研究动机与目标

• 在椭圆常数一致控制和 $A_\infty$ 椭圆测度条件下，建立具有 Ahlfors 正则边界的区域的统一可 rectifiable 性。
• 解决一个开放问题：即系数振荡趋于零和 $A_\infty$ 椭圆测度是否蕴含统一可 rectifiable 性。
• 证明在给定一致有界条件下，外木塞条件的失败将导致矛盾。
• 通过紧致性和爆破技术，将关于常系数算子的已知结果推广至变系数情形。
• 表明由此类算子序列导出的极限区域必须满足外木塞条件，从而与初始假设矛盾。

提出的方法

• 假设存在一列违反外木塞条件的区域，同时满足椭圆常数、Ahlfors 正则性和 $A_\infty$ 椭圆测度的一致有界性。
• 应用紧致性论证，提取一列收敛于极限区域和极限常系数椭圆算子的子列。
• 利用 $A_\infty$ 椭圆测度和一致椭圆性，推导出极限问题存在一致的木塞常数 $N_0$。
• 将定理 \ref{thm:hmu} 应用于极限区域和算子，推导出极限区域满足外木塞条件。
• 通过证明木塞条件在极限下必须成立，与序列中所有成员均不满足该条件的假设矛盾，从而导出矛盾。
• 依赖于对常数 $M$、$C_1$、$C_{AR}$、$\Lambda/\lambda$、$C_0$ 和 $\theta$ 的一致控制，以确保一致常数 $N_0$ 的存在。

实验结果

研究问题

• RQ1 在椭圆常数、Ahlfors 正则性和 $A_\infty$ 椭圆测度一致有界条件下，外木塞条件的失败是否仍能持续？
• RQ2 一列具有系数振荡趋于零和 $A_\infty$ 椭圆测度的区域是否可能不满足外木塞条件？
• RQ3 此类序列的极限区域是否必然为统一可 rectifiable？
• RQ4 $A_\infty$ 椭圆测度性质和一致椭圆性是否在极限下蕴含外木塞条件？
• RQ5 能否使用紧致性论证在给定条件下证明统一可 rectifiable 性？

主要发现

• 存在一列违反外木塞条件但满足椭圆常数、Ahlfors 正则性和 $A_\infty$ 椭圆测度一致有界性的区域，将导致矛盾。
• 通过紧致性论证得到的极限区域满足外木塞条件，且常数 $N_0$ 一致，其依赖于 $M$、$C_1$、$C_{AR}$、$\Lambda/\lambda$、$C_0$ 和 $\theta$。
• 常数 $N_0$ 仅依赖于比值 $\Lambda/\lambda$，而不依赖于特定矩阵 $\mathcal{A}_0$，从而确保极限下的鲁棒性。
• 该序列的爆破极限给出一个常系数椭圆算子，其关联的椭圆测度属于 $A_\infty$。
• 矛盾源于极限区域满足外木塞条件，而原始序列中的所有成员均不满足。
• 结果确认，在给定条件下，区域必须是统一可 rectifiable 的，因为外木塞条件的失败是不可能的。