[論文レビュー] Uniform rectifiability, elliptic measure, square functions, and $\varepsilon$-approximability via an ACF monotonicity formula

Jonas Azzam, John B. Garnett+2 more|arXiv (Cornell University)|Dec 8, 2016

Advanced Harmonic Analysis Research参考文献 16被引用数 18

ひとこと要約

本稿では、係数行列 A にややのRegularな条件およびCarleson型の条件が課されたもとで、一様強調楕円型作用素 L 及びその随伴作用素 L* のすべての有界解について、境界 ∂Ω ⊂ ℝⁿ⁺¹ (n ≥ 2) の一様 n-可縮性が、ε-近似可能性および平方関数 Carleson 測度推定式と同値であることを確立する。主な革新は、広範な楕円型作用素のクラスに対して、Alt-Caffarelli-Friedman の単調性公式の新バージョンを導入したことであり、これにより幾何的可縮性と解の解析的性質との間の同値性の証明が可能になった。

ABSTRACT

Let $Ω\subset\mathbb{R}^{n+1}$, $n\geq2$, be an open set with Ahlfors-David regular boundary that satisfies the corkscrew condition. We consider a uniformly elliptic operator $L$ in divergence form associated with a matrix $A$ with real, merely bounded and possibly non-symmetric coefficients, which are also locally Lipschitz and satisfy suitable Carleson type estimates. In this paper we show that if $L^*$ is the operator in divergence form associated with the transpose matrix of $A$, then $\partialΩ$ is uniformly $n$-rectifiable if and only if every bounded solution of $Lu=0$ and every bounded solution of $L^*v=0$ in $Ω$ is $\varepsilon$-approximmable if and only if every bounded solution of $Lu=0$ and every bounded solution of $L^*v=0$ in $Ω$ satisfies a suitable square-function Carleson measure estimate. Moreover, we obtain two additional criteria for uniform rectifiability. One is given in terms of the so-called $S

研究の動機と目的

• ℝⁿ⁺¹ (n ≥ 2) 内の領域 ∂Ω の一様 n-可縮性を、楕円方程式の解の解析的性質を用いて特徴づけること。
• 一様可縮性と有界 L-および L*-調和関数の ε-近似可能性との同値性を確立すること。
• 一様可縮性が、有界 L-および L*-調和関数の平方関数 Carleson 測度推定式と同値であることを証明すること。
• 非対称で局所リプシッツな楕円型作用素に対して、Carleson 係数を持つ新規 ACF 単調性公式の開発および応用を行うこと。
• L-および L*-調和測度に弱 A∞-型の条件が成り立つならば、∂Ω が一様 n-可縮的であることを示すこと。

提案手法

• 実数値、有界、非対称、局所リプシッツな係数を持つ一様楕円型作用素の広範なクラスに対して、一般化された Alt-Caffarelli-Friedman (ACF) 単調性公式を導出する。
• ACF 公式を用いて、 dyadic 立方体におけるエネルギーおよび調和測度の減衰を制御し、コロナ分解の構成を可能にする。
• 停止時刻および dyadic 格子技術に依存する、L-調和および L*-調和測度に基づく混合コロナ分解を構築する。
• 主な同値性の証明において、接続性およびエネルギー減衰を制御するため、3 種類の dyadic 立方体 (タイプ 0, 1, 2, 3) を導入・分析する。
• ACF 公式を用いて、WHSA (弱調和平方関数推定式)、BATPP (ACF 型汎関数の有界性)、WTS (弱接空間) 条件を証明し、それらを可縮性と結びつける。
• Sobolev 空間の推定式および Hardy-Littlewood 最大関数技法を用いて、L² 範囲および境界付近における解の点ごとの減衰を制御する。

実験結果

リサーチクエスチョン

• RQ1 係数行列 A にどのような条件が課されると、ℝⁿ⁺¹ (n ≥ 2) 内の領域 Ω の境界 ∂Ω が一様 n-可縮的になるか？
• RQ2 すべての有界解 Lu = 0 および L*v = 0 が Ω 内で調和関数によって ε-近似可能となるのはいつか？
• RQ3 有界 L-および L*-調和関数が平方関数 Carleson 測度推定式を満たすのはいつか？
• RQ4 非対称で局所リプシッツな楕円型作用素に対して、Carleson 係数を持つ一般化 ACF 単調性公式をどのように構成できるか？
• RQ5 L-および L*-調和測度に弱 A∞-型の条件が成り立つとき、∂Ω の一様可縮性とはどのような関係にあるか？

主な発見

• ∂Ω の一様 n-可縮性は、Ω 内のすべての有界 L-および L*-調和関数の ε-近似可能性と同値である。
• ∂Ω の一様 n-可縮性は、すべての有界 L-および L*-調和関数の平方関数 Carleson 測度推定式と同値である。
• ACF 単調性公式は、非対称で局所リプシッツな楕円型作用素の広範なクラスにまで拡張され、このバージョンは証明の根幹をなしている。
• L-調和および L*-調和測度が弱 A∞-型の条件を満たすならば、∂Ω は一様 n-可縮的である。
• 本稿では、弱 A∞-型仮定の下で、楕円測度に対する新しいコロナ分解を確立し、それが一様可縮性と結びついていることを示した。
• 著者らは、与えられた仮定の下で、WHSA、BATPP、WTS 条件が一様可縮性と同値であることを証明した。