[论文解读] Uniform rectifiability, elliptic measure, square functions, and $\varepsilon$-approximability via an ACF monotonicity formula

Jonas Azzam, John B. Garnett+2 more|arXiv (Cornell University)|Dec 8, 2016

Advanced Harmonic Analysis Research参考文献 16被引用 18

一句话总结

该论文证明了在 ℝⁿ⁺¹（n ≥ 2）中，若边界 ∂Ω 满足适度的正则性及系数矩阵 A 的 Carleson 型条件，则其均匀 n-可 rectify 性等价于所有有界解 L 和其共轭算子 L* 的 ε-逼近性与平方函数 Carleson 测度估计。关键创新在于为一类广泛的椭圆算子提出了一种新的 Alt-Caffarelli-Friedman 单调性公式，从而建立了几何可 rectify 性与解的解析性质之间的等价性。

ABSTRACT

Let $Ω\subset\mathbb{R}^{n+1}$, $n\geq2$, be an open set with Ahlfors-David regular boundary that satisfies the corkscrew condition. We consider a uniformly elliptic operator $L$ in divergence form associated with a matrix $A$ with real, merely bounded and possibly non-symmetric coefficients, which are also locally Lipschitz and satisfy suitable Carleson type estimates. In this paper we show that if $L^*$ is the operator in divergence form associated with the transpose matrix of $A$, then $\partialΩ$ is uniformly $n$-rectifiable if and only if every bounded solution of $Lu=0$ and every bounded solution of $L^*v=0$ in $Ω$ is $\varepsilon$-approximmable if and only if every bounded solution of $Lu=0$ and every bounded solution of $L^*v=0$ in $Ω$ satisfies a suitable square-function Carleson measure estimate. Moreover, we obtain two additional criteria for uniform rectifiability. One is given in terms of the so-called $S

研究动机与目标

• 在 ℝⁿ⁺¹（n ≥ 2）中，以椭圆方程解的解析性质来表征 ∂Ω 的均匀 n-可 rectify 性。
• 建立均匀 n-可 rectify 性与有界 L- 和 L*-调和函数的 ε-逼近性之间的等价性。
• 证明均匀 n-可 rectify 性等价于有界 L- 和 L*-调和函数的平方函数 Carleson 测度估计。
• 为非对称、局部 Lipschitz 连续的椭圆算子开发并应用一种新的 ACF 单调性公式，其系数满足 Carleson 条件。
• 证明 L- 和 L*-调和测度满足弱 A∞-型条件时，可推出 ∂Ω 的均匀 n-可 rectify 性。

提出的方法

• 为一类广泛分布的具有实系数、有界、非对称且局部 Lipschitz 连续的系数矩阵 A（满足 Carleson 型估计）的均匀椭圆算子，推导出广义的 Alt-Caffarelli-Friedman（ACF）单调性公式。
• 利用 ACF 公式控制 dyadic 方体中能量与调和测度的衰减，从而实现冠状分解的构造。
• 基于 L-调和与 L*-调和测度，构建一种混合冠状分解，依赖于停止时间与 dyadic 格点技术。
• 引入并分析三类 dyadic 方体（类型 0、1、2、3），以在主要等价性证明中控制连通性与能量衰减。
• 应用 ACF 公式证明 WHSA（弱调和平方函数估计）、BATPP（ACF 型泛函有界性）与 WTS（弱切空间）条件，并将其与可 rectify 性联系起来。
• 利用 Sobolev 空间估计与 Hardy-Littlewood 极大函数技术，控制 L² 范数及边界附近解的逐点衰减。

实验结果

研究问题

• RQ1 在何种系数矩阵 A 的条件下，ℝⁿ⁺¹（n ≥ 2）中区域 Ω 的边界 ∂Ω 是均匀 n-可 rectify 的？
• RQ2 在何种条件下，Ω 中所有有界解 Lu = 0 与 L*v = 0 的 ε-逼近性可由调和函数实现？
• RQ3 在何种条件下，有界 L- 与 L*-调和函数满足平方函数 Carleson 测度估计？
• RQ4 如何为非对称、局部 Lipschitz 连续的椭圆算子构造一种广义的 ACF 单调性公式，其系数满足 Carleson 条件？
• RQ5 L- 与 L*-调和测度满足弱 A∞-型条件时，与 ∂Ω 的均匀 n-可 rectify 性之间存在何种关系？

主要发现

• ∂Ω 的均匀 n-可 rectify 性等价于 Ω 中所有有界 L- 与 L*-调和函数的 ε-逼近性。
• ∂Ω 的均匀 n-可 rectify 性等价于所有有界 L- 与 L*-调和函数的平方函数 Carleson 测度估计。
• ACF 单调性公式被推广至一类广泛的非对称、局部 Lipschitz 连续的椭圆算子，其系数矩阵满足 Carleson 条件；该版本是证明的核心。
• 若 L-调和与 L*-调和测度满足弱 A∞-型条件，则 ∂Ω 是均匀 n-可 rectify 的。
• 本文在弱 A∞-型假设下，为椭圆测度建立了新的冠状分解，并将其与均匀可 rectify 性联系起来。
• 作者证明了在给定假设下，WHSA、BATPP 与 WTS 条件均与均匀可 rectify 性等价。