The doubling property of the elliptic measure, for elliptic operators with drifts satisfying an average diverging condition

技术摘要：具有平均发散漂移项的椭圆测度的倍增性质

问题陈述
本文研究了与线性椭圆算子 $L$ 相关联的椭圆测度的倍增性质。该算子以散度形式定义在 1 侧弦弧域 $\Omega \subset \mathbb{R}^n$ ($n \geq 3$) 上，并包含一个漂移项：
$$Lu = -\nabla \cdot (A\nabla u) + B \cdot \nabla u$$
核心挑战在于，当漂移项 $B$ 在 Whitney 立方体上以“平均”方式满足“小性”条件，而非先前文献中假设的更严格的逐点小性条件时，椭圆测度的行为。具体而言，本文考虑的漂移项可能像距离边界距离的倒数（$\delta(x)^{-1}$）那样发散，但满足平均界限：
$$\int_{U_Q} |B|^2 \delta(X) \, dV \leq \beta^2 l(Q)^{n-1}$$
其中 $U_Q$ 是与边界立方体 $Q$ 相关联的加厚 Whitney 立方体，$\beta$ 是一个小的常数。这推广了早期的结果（例如 Hofmann-Lewis [HL01]），后者要求逐点估计 $|B(x)| \leq \beta/\delta(x)$。此外，本文还讨论了伴随算子 $L^*$ 解的存在性，这对于建立格林函数（Green's function）的下界是必要的。

方法论
证明策略依赖于建立两个主要成分：格林函数的逐点估计以及 Bourgain 型估计。

1. 存在性与正则性： 作者首先利用 Lax-Milgram 引理概述了 $L$ 及其伴随算子 $L^*$ 的弱解的存在性。关键步骤是证明相关双线性型的强制性（coercivity）。对于伴随算子，需要一个额外的条件，即关于漂移项散度的条件 $-\frac{M}{\delta(x)^2} \leq (\nabla \cdot B) \leq 0$，以确保强制性。
2. Hardy 不等式： 本文在具有 Ahlfors-David 正则（ADR）边界的 1 侧弦弧域中证明了局部和全局 Hardy 不等式。不同于以往依赖于全局版本的推导，这项工作通过在二进立方体上的**停时论证（stopping time argument）**提供了直接证明，这被认为是文献中的一项新颖贡献。
3. 边界 Hölder 正则性： 通过改编 Hofmann-Lewis [HL01] 的技术，作者建立了在表面球上消失的解的边界 Hölder 连续性。这需要通过对 Whitney 立方体的分解来处理漂移项 $B$。证明过程将立方体根据测试函数的支撑集分为两类，并利用平均小性条件（式 2）和逐点界限（式 4）来控制项 $\int |B|^2 u^2 \psi^2$。
4. 格林函数估计：
   • 下界： 遵循 Grüter 和 Widman [GW82] 的方法，在假设伴随格林函数存在的条件下，推导出格林函数 $G(x,y)$ 的逐点下界。
   • 上界： 由于缺乏逐点小性，推导上界更为微妙。作者对漂移项 $|B|^2$ 在 Whitney 立方体内进行 Calderón-Zygmund 分解。这使得作者能够隔离出漂移可能较大的“坏集”立方体，同时确保漂移在“好集”上保持逐点小。通过构造支撑在好集上的测试函数并利用全局 Hardy 不等式，作者建立了必要的上界。
5. Bourgain 估计与倍增性： 将边界 Hölder 正则性与格林函数估计相结合，本文推导出了 Bourgain 型估计（即表面球上椭圆测度的一致下界）。最后，遵循 Aikawa [Ai06] 的论证，将这些成分结合起来证明了椭圆测度的倍增性质。

主要贡献与结果

• 漂移条件的泛化： 主要结果（定理 3）确立了在漂移项满足 Whitney 立方体上的平均小性条件（式 2），而非逐点条件（式 3）的情况下，椭圆测度的倍增性质。这是对假设的显著放宽，即使对于半空间也是如此。
• 新的 Hardy 不等式证明： 本文提供了一个在 1 侧弦弧域中利用停时论证直接证明局部和全局 Hardy 不等式的方法，这与之前的间接证明不同。
• 格林函数界限： 本文在平均漂移条件下建立了格林函数的逐点上界和下界。其上界证明显著地利用了 Calderón-Zygmund 分解来处理漂移缺乏逐点控制的问题。
• 伴随存在性： 本文阐明了伴随方程解存在所需的条件，特别强调了对于伴随双线性型而言，关于 $B$ 的散度条件的重要性。

意义与主张
作者声称这些结果即使对于半空间也是全新的，扩展了粗糙 Dirichlet 可解性的扰动理论。这项工作与近期关于具有 Carleson 测度条件的低阶项算子的可解性研究（例如 Hofmann-Lewis、Kenig-Pipher 以及作者及其他人的近期工作）相联系。

作者将这项工作定位为迈向更广泛的一步，即旨在将 [HP24] 的结果（该文建立了 $L^p$ Dirichlet 可解性）推广到移除 Carleson 测度积分内上确界条件的算子。文中明确指出，虽然此处建立了倍增性质，但在更一般的 Carleson 测度条件下（针对漂移项）应用上述方法以证明 Dirichlet 可解性的完整适配，将是未来工作的课题。

其意义在于能够处理那些并非逐点小而是“平均小”的漂移项，从而扩大了可以保证椭圆测度倍增性质（并由此保证边界值问题可解性）的椭圆算子类。