BMO solvability with singular drifts on ample sawtooth domains implies $L^p$ solvability

技術要約：豊富な鋸歯状領域における特異なドリフトを伴うBMO可解性

問題設定
本論文は、特異なドリフト項を持つ線形楕円型作用素における、有界平均振動（BMO）空間におけるディリクレ問題の可解性と、楕円測度の絶対連続性の性質との関係を調査するものである。具体的には、著者らは $\mathbb{R}^{n+1}$ ($n \ge 2$) 内の単位球 $B(0, 1) \subset \mathbb{R}^{n+1}$ 上で定義された作用素 $L = -\text{div}(A(x)\nabla \cdot) + B \cdot \nabla$ を検討する。ドリフト項 $B$ は特異であり、カーレソン測度条件を満たし、かつ $|B(x)| \le M/\delta_\Omega(x)$ という点的な評価（ここで $\delta_\Omega(x)$ は境界までの距離）を満たす。

中心となる問いは、特定の劣領域におけるディリクレ問題に対する自然なBMO可解性の仮定が、関連する楕円測度が表面測度に対して弱-$A_\infty$ 条件を満たすことを意味するかどうかである。弱-$A_\infty$ 条件は、ある $1 < p < \infty$ における $L^p$ ディリクレ問題の可解性と等価な、定量化された絶対連続性の性質である。Hofmann-LewisおよびKenig-Pipherによる摂動付き $L^p$ 可解性の研究、および、ドリフトがない場合や発散形式の作用素におけるBMO評価と弱-$A_\infty$ 性質の関連性を探求した最近の文献（例：[DKP11, Z18, HL18]）は、先行研究である。

手法
証明戦略は、[HL18] で開発されたメカニズムを特異なドリフトの設定へと拡張するものであり、停止時間引数、楕円測度のマルコフ連鎖の性質、および注意深い幾何学的分解を組み合わせて利用している。

1. 幾何学的構成（豊富な鋸歯状領域）:
   著者は、単位球 $B(0, 1)$ から「悪い」ホイットニー立方体に対応するカーレソン・ボックスを除去することによって形成される、一連の「豊富な（ample）」鋸歯状領域 $\Omega_\eta \subset B(0, 1)$ を構成する。ホイットニー立方体は、「平均小ささ仮定（Average Smallness Assumption, ASA）」に失敗する場合、すなわち、その立方体上の $|B|^2 \delta$ の積分が小さな閾値 $\epsilon$ を超える場合、「悪い」ものと見なされる。

• この構成には、洗練されたホイットニー分解 $W'(B(0, 1))$ と、ダイアディックな祖先に基づく悪い立方体の層化が含まれる。
• 除去プロセスは反復的であり、除去される境界部分の総表面測量を任意に小さく（パラメータ $\eta$ によって制御）保ちつつ、残りの領域 $\Omega_\eta$ が必要な幾何学的性質（コルクスクリュー条件、アールフォンス・デービッド正則性）を保持するように設計されている。

2. 特異なドリフトの取り扱い:
   一様的な点的な評価が成り立つ発散形式の摂動とは異なり、特異なドリフト $B$ は至る所で一様な点的な小ささを満たすわけではない。

• 「良い」立方体: ASAを満たす「良い」立方体において、ドリフトは $|B(x)| \lesssim \epsilon/\delta(x)$ という点的な小ささの条件を満たし、ブルガイン（Bourgain）の評価（楕円測度の下限を保証するもの）を直接適用することを可能にする。
• 「悪い」立方体: 「悪い」立方体では、ドリフトが大きくなる可能性がある。著者は、これらの領域を通り抜けるために、マルコフ連鎖の引数（停止時間引数）を用いる。この議論は、悪い立方体の総カーレソン質量が有限であり、通過しなければならない「悪い」層の数が制限されているという事実に依拠している。

3. マルコフ連鎖とハーマンの引数:
   主たる主張の証明は、入れ子状の領域 $\Omega_p$ および $\Lambda_p$ に依存している。著者は、極（pole）における測度を中間的な境界における測度に関連付けるために、楕円測度のマルコフ性を利用する。

• 切断された球: 悪い立方体内でブルガインの評価を適用するために、著者は部分領域の「底面」を中心とした切断された球（または扇形領域）を構成する。これらの切断された領域内では、境界までの距離がドリフトの評価に対して十分に小さいため、ドリフトがブルガインの評価に必要な小ささの条件を満たすようになる。
• ハーマンの鎖（Harnack Chains）: 極をコルクスクリュー点へと接続し、入れ子状の領域全体に推定値を伝播させるために、ハーマンの不等式が広範に使用される。その際、ドリフトに関する背景の仮定を利用して、一様な定数を維持する。

主要な結果
本論文は、主定理へとつながる2つの主要な主張を確立している：

• 主張1（ブルガイン型の評価）: 任意の極 $x$ が豊富な鋸歯状領域 $\Omega_\eta$ 内にあるとき、$\Omega_\eta$ の境界上にある2つの表面球 $\Delta_1, \Delta_2$ が存在し、楕円測度 $\omega^x_L(\Delta_1)$ は一様な定数 $\beta > 0$ によって下から抑えられる。この評価は、特異なドリフトが存在する場合でも、悪い領域を注意深く分離し、マルコフ性を利用してそれらを回避することによって達成される。
• 主張2（境界のヘルダー連続性）: 境界の一部でゼロとなる非負の解 $u$ に対して、特定の減衰評価が成立する。これは、$u(x)$ の値と、境界までの距離で重み付けされた勾配の $L^2$ ノルムとの関係を与える。これは、主張1の結果とマルコフ性を利用して導かれる。

主定理（定理2）:
ディリクレ問題が豊富な鋸歯状領域 $\Omega_\eta$ において $L$ に対してBMO可解であると仮定すると、楕円測度 $\omega_L$ は、$\partial \Omega_\eta$ 上の表面測度に関して弱-$A_\infty$ クラスに属する。

意義と範囲

• [HL18] の拡張: 本論文は、ドリフトがない場合や特定の摂動を持つ作用素に対して確立されていた、BMO可解性と弱-$A_\infty$ 性質を結びつけるメカニズムが、カーレソン測度条件を満たす特異なドリフトを持つ作用素にも拡張できることを示している。
• ドリフトの取り扱いの新規性: 確率的な外挿議論を適応させ、一様なブルガイン評価の欠如に対処するという点が、主要な技術的貢献である。著者は、「良い」ホイットニー立方体と「悪い」ホイットニー立方の二分法を導入し、有限のカーレソン測量を用いて悪い領域の体積を制限し、修正されたマルコフ連鎖の引数を用いている。
• 限界: この結果は一般的な意味でのスケール不変性は持たない。それは、単位球の有限体積と、「豊富な」部分領域の特定の構成に依存している。著者は、手法を一般的な有界リプシッツ領域に拡張できるが、ホイットニー立方の特定の幾何学的面を追跡する必要があると述べている。
• 未解決問題: 本論文は、逆の問い、すなわち、特異なドリフトが存在する場合に弱-$A_\infty$ がBMO可解性を意味するかどうかという問題は依然として未解決であることを明示しており、これはドリフトがない場合でも未解決の問題であると指摘している。

著者は、証明がハーマンの不等式を効果的に利用するために、単位球の特定の構造とドリフトに関する背景的な点的な評価に依存していることを強調している。これにより、境界のヘルダー連続性の導出と、その後の $L^p$ 可解性の帰結が容易になっている。