Failure of almost monotonicity of harmonic measure density ratios at points of vanishing codimension-one density

技術要約：調和測度の密度比における準単調性の崩壊

問題設定
本論文は、任意の開集合 $\Omega \subset \mathbb{R}^{n+1}$ の境界 $\partial\Omega$ 上の調和測度 $\omega$ の計量的および幾何学的性質を調査するものである。具体的には、密度が消失する点における密度比 $\Theta^n_\omega(x, r) = \omega(B(x, r))/r^n$ の挙動に焦点を当てる。$Z$ を、これらの比の極限がゼロとなる点の集合とする：
$$Z = \left\{ x \in \mathbb{R}^{n+1} : \lim_{r \to 0} \Theta^n_\omega(x, r) = 0 \right\}.$$
$n=1$（平面の場合）においては $Z$ は調和測度に関して零であることが知られているが、高次元（$n \ge 2$）では、Wolffが $\omega(Z) > 0$ となる例を構成している。本研究が扱う中心的な問いは、この例外的な集合 $Z$ において、密度比関数 $r \mapsto \Theta^n_\omega(x, r)$ が「準単調性」（ほぼ単調増加またはほぼ単調減少であること）を示すかどうかである。

手法
証明は背理法によって進められる。著者らは、正の調和測度を持つ $Z$ の部分集合において、密度比関数が準単調であると仮定する。そして、この仮定が、$Z$ の中に正の調和測度を担う $n$ 区分可能（rectifiable）な集合の存在を導くシナリオを構築する。これは、調和測度が $Z$ の $n$ 区分可能な部分集合上で消失することが知られているため、矛盾を導く。

核心となる技術的なメカニズムは、以下のステップによる：

1. 区分可能性の判定基準（Rectifiability Criterion）： 証明は、第2著者の以前の研究 [10] および [1] の枠組みに基づき、適応させた区分可能性の判定基準（定理 3.1）の変種に依拠している。この基準は、ラドン測度 $\mu$ がある球 $B$ に関して特定の条件（多項式成長、リースの変換の有界性、およびリースの変換の $L^2$ 振動の小ささ）を満たす場合、その測度の大部分が $n$ 区分可能な集合上に支持されていることを述べている。
2. David-Mattila 格子： ドメインの境界における正則性の欠如を処理し、問題を局所化するために、著者らは調和測度に関連する David-Mattila の双対格子（dyadic lattice）の立方体を利用する。これにより、測度の分布に関するマルチスケール解析が可能となる。
3. ドメインの修正： 境界から「悪い」立方体を除去することによってドメイン $\Omega$ を修正する（格子の「良い」立方体を用いる）ことが、議論の極めて重要かつ繊細な部分である。これにより、グリーン関数と調和測度を関連付けるポテンシャル論的評価を適用するのに十分なほど正則な新しいドメイン $\tilde{\Omega}$ が作成される。
4. 接点引数（Touching-Point Argument）： 下界の密度比を持つより小さな球が存在するという、区分可能性の判定基準の仮定（定理 3.1 の仮定 b）を検証するために、著者らは接点引数を用いる。著者らは、グリーン関数が大きな値をとる点 $q$ を特定し、修正された境界に接する球 $B_1$ を構成する。元のドメインと修正されたドメインのグリーン関数を比較することで、 $B_1$ の密度比に対する必要な下限を確立する。
5. グリーン関数への接続： リースの変換に関する評価（仮定 a および c）は、リースの変換をグリーン関数の勾配に結びつけることで導かれ、そこでは測度の成長を制御するために準単調性の仮定が利用される。

主要な貢献と結果

• 定理 1.1： 主要な結果は、コンパクトな境界を持つ開集合 $\Omega \subset \mathbb{R}^{n+1}$ と調和測度 $\omega$ に対して、密度が消失する $\omega$-ほとんど至る所の点 $x \in Z$ において、密度比は準単調ではないことを確立している。具体的には：
  $$\limsup_{R \to 0} \sup_{0 < r < R} \frac{\Theta^n_\omega(x, r)}{\Theta^n_\omega(x, R)} = \infty.$$
  これは、密度比が十分に小さいスケールにおいて、極端に大きな振動を示すことを意味する。

• 系 1.1： 結果は、密度の下限のみがゼロとなる集合 $Z^*$ （$\liminf_{r \to 0} \Theta^n_\omega(x, r) = 0$）へと拡張され、同様の振動的挙動が $\omega$-ほとんど至る所の点において保持されることを示している。

• 技術的ツール（定理 3.1）： 本論文は、一般的なドメイン上の調和測度に適合した洗練された区分可能性の判定基準を提供しており、これが矛盾を用いた議論の主要なエンジンとして機能する。

意義
本論文は、この結果が、区分可能な境界の断片において享受される漸近的な正則性に対する質的な逆を与えると主張している。区分可能な集合上では、密度比は正の極限に収束するため、関数はゼロ付近で準単調となる。$Z$ 上での準単調性の失敗は、密度が消失する点における調和測度の高度に不規則で振動的な性質を浮き彫りにしている。

著者らは、この現象がそのような集合における調和測度の特異な性質に固有のものであり、調和測度が $n$ 次元ハウスドルフ測度と相互絶対連続である場合には起こり得ないことを強調している。本研究は、特に密度が消失する例外的な集合の構造に関して、高次元における調和測度の計量的性質の理解を深めるものである。