The doubling property of the elliptic measure, for elliptic operators with drifts satisfying an average diverging condition

技術要約：平均化された発散ドリフトを持つ楕円測度の倍増性

問題設定
本論文は、1側コード・アーク・ドメイン $\Omega \subset \mathbb{R}^n$ ($n \geq 3$) 上で定義された、ドリフト項を持つ発散形式の線形楕円作用素 $L$ に随伴する楕円測度の倍増性（doubling property）を調査している：
$$Lu = -\nabla \cdot (A\nabla u) + B \cdot \nabla u$$
中心となる課題は、ドリフト項 $B$ が、従来の文献で仮定されていた厳格な点逐次的（pointwise）な小ささの条件ではなく、ホイットニー・キューブ（Whitney cubes）上での平均的な意味での「小ささ」の条件を満たす場合の楕円測度の振る舞いである。具体的には、本論文では、境界への距離の逆数（$\delta(x)^{-1}$）のように発散する可能性があるが、以下の平均的な評価を満たすドリフトを検討している：
$$\int_{U_Q} |B|^2 \delta(X) \, dV \leq \beta^2 l(Q)^{n-1}$$
ここで、$U_Q$ は境界のキューブ $Q$ に関連する太った（fattened）ホイットニー・キューブであり、$\beta$ は小さな定数である。これは、点逐次的な評価 $|B(x)| \leq \beta/\delta(x)$ を必要とした先行研究（例：Hofmann-Lewis [HL01]）の結果を一般化したものである。また、本論文は、グリーン関数の下界を確立するために必要な、随伴作用素 $L^*$ の解の存在についても取り上げている。

手法
証明戦略は、グリーン関数の点逐次的評価と、ブルゲイン型（Bourgain-type）の楕円測量の評価という2つの主要な要素を確立することに基づいている。

1. 存在性と正則性： 著者はまず、Lax-Milgramの補題を用いて、$L$ およびその随伴作用素 $L^*$ の弱解の存在の概略を示す。重要なステップは、関連する双線形形式の強圧性（coercivity）を証明することである。随伴作用座については、共役性を確保するために、ドリフトの発散に関する追加条件 $-\frac{M}{\delta(x)^2} \leq (\nabla \cdot B) \leq 0$ が必要となる。
2. ハーディ不等式： 本論文では、Ahlfors-David正則（ADR）な境界を持つ1側コード・アーク・ドメインにおける局所的および大域的なハーディ不等式を証明している。これまでの導出は大域的なバージョンに依存していたが、本研究では**停止時間引数（stopping time argument）**をダイアディック・キューブ上で用いた直接的な証明を提供しており、これは文献における新規な貢献として記されている。
3. 境界のヘルダー正則性： Hofmann-Lewis [HL01] の手法を適応し、表面球上で消滅する解の境界ヘルダー連続性を確立する。これには、ホイットニー・キューブの分解を通じてドリフト項 $B$ を扱う必要がある。証明では、テスト関数のサポートに基づいてキューブを2つのカテゴリーに分類し、平均的な小ささの条件（式2）と点逐次的な評価（式4）を併用して、項 $\int |B|^2 u^2 \psi^2$ を制御する。
4. グリーン関数の評価：
   • 下界： GrüterおよびWidman [GW82] の手法に従い、随伴グリーン関数の存在を仮定して、グリーン関数 $G(x,y)$ の点逐的な下界を導出する。
   • 上界： 点逐的な小ささが欠如しているため、上界の導出はより繊細である。著者は、ホイットニー・キューブ内におけるドリフト項 $|B|^2$ の**カルデロン・ツィグムント分解（Calderón-Zygmund decomposition）**を用いる。これにより、ドリフトが大きくなる可能性がある「悪い集合（bad set）」のキューブを孤立させ、一方で「良い集合（good set）」の上ではドリフトが点逐的に小さい状態を維持できる。良い集合にサポートされたテスト関数を構成し、大域的なハーディ不等式を利用することで、必要な上界を確立する。
5. ブルゲイン評価と倍増性： 境界ヘルダー正則性とグリーン関数の評価を組み合わせることで、ブルゲイン型の評価（表面球の楕円測度に関する一様な下界）を導出する。最後に、Aikawa [Ai06] の議論に従い、これらの要素を組み合わせて、楕円測度の倍増性を証明する。

主要な貢献と結果

• ドリフト条件の一般化： 主要な結果（定理3）は、ドリフトが（式3の）点逐的な条件ではなく、ホイットリー・キューブ上の平均的な小ささの条件（式2）を満たすという仮定の下で、楕円測度の倍増性を確立している。これは、半空間においてさえも、仮定の大幅な緩和である。
• 新しいハーディ不等式の証明： 本論文は、停止時間引数を用いて、1側コード・アーク・ドメインにおける局所的および大域的なハーディ不等式の直接的な証明を提供しており、これは従来の間接的な証明とは異なるものである。
• グリーン関数の評価： 平均化されたドリフト条件の下で、グリーン関数の点逐的な上界および下界の両方を確立している。特に上界の証明は、ドリフトの点逐的な制御の欠如を管理するために、カルデロン・ツィグムント分解を活用している。
• 随伴の存在： 随伴の双線形形式に対する $B$ の発散条件の必要性を強調することで、随伴方程式の解の存在に関する条件を明確にしている。

意義と主張
著者は、これらの結果が半空間においてさえも新しいものであると主張しており、粗いディリクレ可解性の摂動理論を拡張するものであるとしている。本研究は、低次項に関するカルデオン測量条件（Carleson measure conditions）を持つ作用素（Hofmann-Lewis, Kenig-Pipher, および著者らによる最近の研究）に関する発展的な議論と結びついている。

著者は、本研究を、[HP24]（カルデロン・ツィグムント積分内の上限条件を外した、より一般的なカルデロン・ツィグムント測量条件の下での $L^p$ ディリクレ可解性を確立したもの）へと発展させるための基礎的なステップとして位置付けている。本論文では、ここで倍増性が確立されている一方で、このより一般的なカルデロン・ツィグムント測量条件の下でのディリクレ可解性を証明するために手法を完全に適応させることは、今後の課題であることを明示している。

その意義は、点逐的に小さくはないが、「平均的に小さい」ドリフトを扱う能力にあり、それによって、楕円測度の倍増性（ひいては境界値問題の可解性）が保証される楕円作用素のクラスを広げている点にある。