[論文レビュー] Uniform rectifiability and elliptic operators satisfying a Carleson measure condition. Part II: The large constant case

Steve Hofmann, José María Martell+3 more|arXiv (Cornell University)|Aug 8, 2019

Advanced Harmonic Analysis Research参考文献 34被引用数 7

ひとこと要約

本稿は、係数の振動にCarleson測度条件を満たす発散型楕円型作用素に対して、境界の均一可縮性と表面測度に対する楕円的測度の絶対連続性の等価性を確立し、著者らの前回の小定数に関する研究で提起されたプログラムを完了する。新規の拡張的議論と、領域とその sawtooth 部分領域間の転送機構を用いて、著者らは一般の「大定数」の場合にこの結果を証明し、楕円型偏微分方程式および幾何的測度論における長年の未解決問題を解決する。

ABSTRACT

The present paper, along with its companion [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], 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. The first step in this direction was taken in our previous paper [Hofmann, Martell, Mayboroda, Toro, Zhao, arXiv:1710.06157], where we considered the case in which the desired Carleson measure condition on the coefficients holds with sufficiently small constant. In this paper we establish the final, general result, that is, the "large constant case". The key elements of our approach are a powerful extrapolation argument, which provides a general pathway to self-improve scale-invariant small constant estimates, as well as a new mechanism to transfer quantitative absolute continuity of elliptic measure between a domain and its subdomains.

研究の動機と目的

• 発散型楕円型作用素に対して、係数の振動にCarleson条件が成り立つ場合に、境界の均一可縮性と楕円的測度のA∞性の完全な等価性を解明すること。
• 著者らの[ HMMTZ ]における小定数結果を、一般の大きな定数の場合に拡張すること。
• 楕円的測度と表面測度の相互絶対連続性を保証する、係数行列の振動に関する鋭い最適条件を確立すること。
• 領域とそのsawtooth部分領域間での楕円的測度の定量的絶対連続性を転送する一般化されたメカニズムを構築すること。
• 楕円型偏微分方程式の文脈において、Lpデータに対するWienerの基準の定量的類似形を提供すること。

提案手法

• スケール不変な小定数推定を自己改善する強力な拡張的議論を用いて、大定数の結果を導出する。
• 領域からそのsawtooth部分領域へ楕円的測度のA∞性を伝搬させる、新しい転送機構を導入する。
• 解と楕円的測度の挙動を局所化・解析するために、離散的Carleson測度を持つsawtooth領域を構築する。
• 必要となるCarleson条件を満たすが楕円的測度の性質を保つように変更された係数行列を定義するために、滑らか化手続きを用いる。
• 重みの理論と特異積分の理論を用いて、係数行列の振動と楕円的測度への影響を制御する。
• 弦-アーフォルズ正則性とchord-arc領域の構造を活用し、幾何的および解析的推定の一様性を保証する。

実験結果

リサーチクエスチョン

• RQ1 発散型楕円型作用素に対して、係数の振動にCarleson条件が成り立つ場合、楕円的測度の表面測度に対するA∞性と境界の均一可縮性は等価か？
• RQ2 [HMMTZ]における小定数結果は、一般の大きな定数の場合に拡張可能か？
• RQ3 楕円的測度と表面測度の相互絶対連続性を保証する、係数行列の振動に関する最適条件は何か？
• RQ4 楕円的測度のA∞性は、領域からそのsawtooth部分領域へどのように転送可能か？
• RQ5 境界の均一可縮性とA∞楕円的測度の等価性に対して、係数の振動に関するCarleson条件は鋭いか？

主な発見

• 係数の振動にCarleson条件が成り立つすべての発散型楕円型作用素に対して、境界の均一可縮性と楕円的測度のA∞性の等価性が成り立つ。これは定数の大きさにかかわらず成立する。
• 大定数の場合の解決は、小定数推定を一般化する自己改善的拡張的議論によって達成される。
• 新しい転送機構により、領域からそのsawtooth部分領域へA∞性を伝搬可能であり、これは証明において極めて重要である。
• 条件 ∫∫_{B(q,r)∩Ω} osc(𝒜,X)² / δ(X) dX ≤ C r^{n-1} は、A∞等価性に対して鋭く最適である。
• 極限作用素Lに対応する楕円的測度はLebesgue測度に対して特異的であることが示され、Carleson条件の鋭さが裏付けられる。
• 系6.3は、振動条件(6.4)がA∞等価性に対して十分かつ必要であることを示しており、結果は弦-アーフォルズ領域へも拡張可能である。