[论文解读] Dahlberg's theorem in higher co-dimension

Guy David, Joseph Feneuil+1 more|arXiv (Cornell University)|Apr 3, 2017

Advanced Harmonic Analysis Research参考文献 31被引用 3

一句话总结

该论文通过在 $ \mathbb{R}^n $ 中 $ d $-维 Lipschitz 图 $ \Gamma $（$ d < n-1 $）的补集上构造一个线性退化椭圆算子 $ L $，首次在高余维情形下建立了 Dahlberg 定理的类比。该算子具有较小的 Lipschitz 常数，其关联的调和测度 $ \omega_L $ 关于 $ d $-维 Hausdorff 测度是绝对连续的。关键结果是给出了 $ L $ 的系数矩阵的一个充分条件，确保 $ \omega_L $ 与 $ \mathcal{H}^d|_\Gamma $ 相互绝对连续，从而将经典边界值理论推广至余维大于一的情形。

ABSTRACT

In 1977 the celebrated theorem of B. Dahlberg established that the harmonic measure is absolutely continuous with respect to the Hausdorff measure on a Lipschitz graph of dimension $n-1$ in $\\mathbb R^n$, and later this result has been extended to more general non-tangentially accessible domains and beyond. In the present paper we prove the first analogue of Dahlberg's theorem in higher co-dimension, on a Lipschitz graph $\\Gamma$ of dimension $d$ in $\\mathbb R^n$, $d&lt;n-1$, with a small Lipschitz constant. We construct a linear degenerate elliptic operator $L$ such that the corresponding harmonic measure $\\omega_L$ is absolutely continuous with respect to the Hausdorff measure on $\\Gamma$. More generally, we provide sufficient conditions on the matrix of coefficients of $L$ which guarantee the mutual absolute continuity of $\\omega_L$ and the Hausdorff measure.

研究动机与目标

• 将 Dahlberg 关于调和测度关于面积测度的绝对连续性的经典定理，从余维一情形推广至更高余维情形。
• 在 $ \mathbb{R}^n \setminus \Gamma $ 上构造一个退化椭圆算子 $ L $，其中 $ \Gamma $ 是一个 $ d $-维 Lipschitz 图且 $ d < n-1 $，使得关联的调和测度 $ \omega_L $ 关于 $ \mathcal{H}^d|_\Gamma $ 绝对连续。
• 提供 $ L $ 的系数矩阵的充分条件，确保 $ \omega_L $ 与 $ \mathcal{H}^d|_\Gamma $ 相互绝对连续，将经典理论推广至高余维情形。
• 开发一种新框架，结合变量变换、软距离函数与平方函数估计，以控制振荡并证明此非经典情形下调和测度的 $ A^\infty $ 性质。

提出的方法

• 构造一个双Lipschitz 变换 $ \rho $，将 $ d $-维图 $ \Gamma $ 映射至平坦的 $ \mathbb{R}^d $，从而实现几何与解析性质的转移。
• 定义一个软距离函数 $ D $，以控制区域的几何结构，并确保在变量变换下雅可比行列式的均匀正则性。
• 利用 $ \alpha $-数与 Wasserstein 距离量化软距离的正则性，并控制变换雅可比行列式的 Carleson 测度条件。
• 通过变量变换共轭原始椭圆算子 $ L $，得到一个新算子 $ L_0 $，其系数满足受控退化性，从而允许进行 $ L^2 $ 平方函数估计。
• 应用 Harnack 链论证与调和函数的点态估计，控制 dyadic Whitney 型区域中解的振荡。
• 通过证明平方函数 $ S^{Q_r}(x) $ 满足 Carleson 测度估计，建立调和测度的 $ A^\infty $ 性质，从而推出所需的绝对连续性。

实验结果

研究问题

• RQ1 Dahlberg 关于调和测度关于面积测度的绝对连续性的定理能否推广至边界余维大于一的区域？
• RQ2 退化椭圆算子 $ L $ 的系数矩阵需满足何种条件，才能确保其关联的调和测度 $ \omega_L $ 与 $ \mathcal{H}^d|_\Gamma $ 在 $ d $-维 Lipschitz 图 $ \Gamma \subset \mathbb{R}^n $（$ d < n-1 $）上相互绝对连续？
• RQ3 如何在 $ \mathbb{R}^n \setminus \Gamma $ 上构造一个退化椭圆算子，使得调和测度关于 $ \mathcal{H}^d|_\Gamma $ 绝对连续，即使边界不为余维一？
• RQ4 控制高余维情形下调和函数振荡并证明 $ A^\infty $ 性质所需的几何与解析工具有哪些？
• RQ5 是否可通过变量变换与退化椭圆算子，将经典 NTA 域上调和测度理论推广至高余维情形？

主要发现

• 该论文在 $ \mathbb{R}^n \setminus \Gamma $ 上构造了一个线性退化椭圆算子 $ L $，其中 $ \Gamma $ 是一个 $ d $-维 Lipschitz 图且 $ d < n-1 $，具有小 Lipschitz 常数，使得调和测度 $ \omega_L $ 关于 $ d $-维 Hausdorff 测度 $ \mathcal{H}^d|_\Gamma $ 绝对连续。
• 提供了 $ L $ 的系数矩阵的充分条件，确保 $ \omega_L $ 与 $ \mathcal{H}^d|_\Gamma $ 相互绝对连续，将经典结果推广至高余维情形。
• 作者证明了此类算子的调和测度具有 $ A^\infty $ 性质，通过证明平方函数 $ S^{Q_r}(x) $ 满足仅依赖于强椭圆常数与维数的 Carleson 测度估计。
• 建立了关键估计 $ \frac{|E|}{|\Delta_r|} \leq C \frac{\log \varepsilon_0}{\log \delta} $，其中 $ E \subset \Delta_r $ 满足 $ \omega(E) \leq \delta \omega(\Delta_r) $，该估计蕴含当 $ \delta $ 足够小时有 $ |E| < \varepsilon |\Delta_r| $，从而证明了 $ A^\infty $ 性质。
• 证明依赖于一种新颖的变量变换 $ \rho $、软距离函数 $ D $ 以及具有受控重叠的 dyadic 覆盖论证，从而实现对振荡的控制并导出平方函数估计。
• 该结果对图的小扰动具有鲁棒性，且对所有 $ d < n-1 $ 一致成立，所有常数仅依赖于强椭圆常数、维数 $ n $ 与余维 $ n-d $。