[論文レビュー] 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正則境界を持つ領域の均一可解性を確立する。外側のコルクスクリューア条件の不成立が、楕円的定数の均一な制御と係数の振動の消失のもとで矛盾を引き起こすことを示す。コンパクトネスの議論と極限解析を用いて、極限領域は外側のコルクスクリューア条件を満たす必要があることが示され、仮定に反する。したがって、与えられた条件下で均一可解性が証明される。

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正則境界を持つ領域の均一可解性を確立すること。
• 係数の振動が消失し、$A_\infty$ 楕円的測度が成り立つ場合、それが均一可解性を示すかという未解決問題を解消すること。
• 与えられた均一な境界のもとで、外側のコルクスクリューア条件の不成立が矛盾を引き起こすことを証明すること。
• コンパクトネスとブロー・アップ技術を用いて、定数係数作用素に関する既知の結果を変数係数設定に拡張すること。
• このような作用素の系列から得られる極限領域が、外側のコルクスクリューア条件を満たす必要があることを示すこと。これは初期仮定に反する。

提案手法

• 外側のコルクスクリューア条件を満たさないが、楕円的定数、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 このような系列の極限領域は、必ず均一可解的であるか？
• RQ4 $A_\infty$ 楕円的測度と均一な楕円的性質は、極限において外側のコルクスクリューア条件を示唆するか？
• RQ5 コンパクトネスの議論を用いて、提示された条件下で均一可解性を証明できるか？

主な発見

• 楕円的定数、Ahlfors正則性、$A_\infty$ 楕円的測度について均一な境界を満たすが、外側のコルクスクリューア条件を満たさない領域の系列の存在は、矛盾を引き起こす。
• コンパクトネスの議論から得られる極限領域は、$M$, $C_1$, $C_{AR}$, $\Lambda/\lambda$, $C_0$, $\theta$ に依存する一様定数 $N_0$ を用いて外側のコルクスクリューア条件を満たす。
• 定数 $N_0$ は行列 $\mathcal{A}_0$ の具体的な値に依存せず、$\Lambda/\lambda$ の比にのみ依存するため、極限におけるロバストネスが保証される。
• 系列のブロー・アップ極限は、$A_\infty$ に属する楕円的測度を有する定数係数楕円的作用素を生成する。
• 矛盾は、極限領域がコルクスクリューア条件を満たすが、元の系列のすべての要素では満たさないという事実に起因する。
• この結果により、与えられた条件下では、領域が均一可解的でなければならないことが確認される。コルクスクリューア条件の不成立は不可能である。