[論文レビュー] Uniform Rectifiability and harmonic measure IV: Ahlfors regularity plus Poisson kernels in $L^p$ implies uniform rectifiability

Steve Hofmann, José María Martell|arXiv (Cornell University)|May 24, 2015

Advanced Harmonic Analysis Research参考文献 14被引用数 26

ひとこと要約

本稿では、次元 $n$（$n \geq 2$）のアーフォルス＝ダヴィッド正則集合 $E \subset \mathbb{R}^{n+1}$ に対して、$ Omega = \mathbb{R}^{n+1} \setminus E$ の調和測度の弱-$A_\infty$ 性質とポアソン核の $L^p$-可積分性が、$E$ の一様リーマン幾何的性質を示すことを確立する。この結果は、従来の連結性やハーナック鎖条件の仮定を不要にし、ポアソン核のスケール不変な高次可積分性と、一様正の調和測度下界が一様リーマン幾何的性質を示すのに十分であることを示している。

ABSTRACT

Let $E\subset \mathbb{R}^{n+1}$, $n\ge 2$, be an Ahlfors-David regular set of dimension $n$. We show that the weak-$A_\infty$ property of harmonic measure, for the open set $Ω:= \mathbb{R}^{n+1}\setminus E$, implies uniform rectifiability of $E$.

研究の動機と目的

• 連結性やハーナック鎖条件を仮定せず、調和測度の性質と一様リーマン幾何的性質の間のフリーバoundary型の関係を確立すること。
• アーフォルス＝ダヴィッド正則集合 $E$ の補集合 $ Omega = \mathbb{R}^{n+1} \setminus E$ に対して、調和測度の弱-$A_\infty$ 性質とポアソン核の $L^p$-可積分性が、$E$ の一様リーマン幾何的性質を示すことを示すこと。
• 従来の研究で用いられていたハーナック鎖条件や連結性の仮定を排除し、一般の開集合に対してアーフォルス＝ダヴィッド正則境界を持つ場合にまで結果を拡張すること。
• スケール不変なポアソン核の高次可積分性と、調和測度の均一な下界の組み合わせが、一様リーマン幾何的性質を示すことを示すこと。
• 調和測度とポアソン核の挙動に基づいた、定量的かつスケール不変な一様リーマン幾何的性質のための基準を提供すること。

提案手法

• 表面測度 $\sigma$ に対する調和測度 $\omega$ の弱-$A_\infty$ 性質の使用により、$\omega \ll \sigma$ であり、逆ハーナック不等式を満たすことを保証する。
• ブルガインの推定を適用し、コルクスクリューポイント $Y_\Delta$ に対して、調和測度の均一な正の下界 $\omega^{Y_\Delta}(\Delta) \geq C_0^{-1}$ を保証する。
• 推定 $\int_{C_1\Delta} k^{Y_\Delta}^p \, d\sigma \leq C_0 \sigma(C_1\Delta)^{1-p}$ を用いて、ポアソン核 $k^{Y_\Delta} = d\omega^{Y_\Delta}/d\sigma$ のスケール不変な高次可積分性を確立する。
• ルイス＝ヴォーゲルの議論を用いて、調和測度の増大を制御し、境界の幾何学的性質と結びつける。
• 振動を制御し、一様リーマン幾何的性質を導出するために、WHSA（弱ジョン＝ニレングベルク型平均化）条件を適用する。
• 表面球 $C_1\Delta$ を、弱-$A_\infty$ 制御を満たす有限個の小さな表面球 $\Delta_i$ で被覆し、$L^p$ ノルムを合算して、グローバルな $L^p$ 推定を導出する。

実験結果

リサーチクエスチョン

• RQ1 連結性やハーナック鎖条件の仮定なしに、調和測度の弱-$A_\infty$ 性質とポアソン核の $L^p$-可積分性から、アーフォルス＝ダヴィッド正則集合 $E$ の一様リーマン幾何的性質を導けるか？
• RQ2 スケール不変なポアソン核の高次可積分性と、調和測度の均一な正の下界の組み合わせが、一様リーマン幾何的性質を示すか？
• RQ3 連結な NTA 領域で得られた結果を、一般の開集合にまで拡張できるか？
• RQ4 一様リーマン幾何的性質定数が $L^p$ 指数と弱-$A_\infty$ 定数にどのように依存するか？
• RQ5 ポアソン核の $L^p$ 可積分性を局所化し、有限被覆上で合算することで、グローバル推定を導けるか？

主な発見

• 連結性やハーナック鎖条件の仮定なしに、調和測度の弱-$A_\infty$ 性質とポアソン核の $L^p$-可積分性から、$E$ の一様リーマン幾何的性質が導かれる。
• 弱-$A_\infty$ 性質により、調和測度が表面測度に関して絶対連続であり、逆ハーナック不等式を満たすことが保証される。
• スケール不変な高次可積分性 $\int_{C_1\Delta} k^{Y_\Delta}^p \, d\sigma \leq C_0 \sigma(C_1\Delta)^{1-p}$ が、一様リーマン幾何的性質を示すのに十分である。
• 一様リーマン幾何的性質定数は、$n$、アーフォルス＝ダヴィッド正則性定数、$p > 1$ の $L^p$ 指数、および定数 $C_0$ のみに依存する。
• $\Omega = \mathbb{R}^{n+1} \setminus E$ に対して、$Y_\Delta$ をコルクスクリューポイントとして選べば、アーフォルス＝ダヴィッド正則性のもとで、(a) ブルガインの推定と (b) ポアソン核の $L^p$-高次可積分性の両方が自動的に満たされる。
• 証明では、有限被覆による表面球の被覆と、$L^p$ ノルムの合算を用いてグローバル推定を導出し、被覆数の有界性と各部分にわたる弱-$A_\infty$ 制御に依存している。