$L^2$-boundedness of the $n$-th Calderón commutator on Lipschitz graphs

技術要約：リプシッツグラフ上の第 $n$ 次カルデロン・コミューテーターの $L^2$ 有界性

問題設定
本論文は、リプシッツグラフ $\Gamma = \{x + iA(x) : x \in \mathbb{R}\}$ に関連する第 $n$ 次カルデロン・コミューテーター $T_{A,n}$ の $L^2$ 有界性を調査するものである。この作用素は、以下の主値積分によって定義される：
$$T_{A,n}f(x) = \text{p.v.} \int_{\mathbb{R}} \left( \frac{A(y) - A(x)}{y - x} \right)^n \frac{f(y)}{y - x} \, dy.$$
これらの作用素は、リプシッツグラフ上のコーシー核の形式的な展開から生じる。
これらの作用素の有界性は Coifman, McIntosh, Meyer によって確立されているが、$n$ に対する定量的依存性は、コーシー核の級数展開を和をとる上で極めて重要である。Verdera と Mateu による先行研究（完全な証明は未発表）では、$C(1+n)\|A'\|_\infty^n$ という形の線形成長バウンドが示唆されていた。しかし、この線形依存性が鋭い（sharp）のか、あるいは $A$ に対する追加の正則性が劣線形成長をもたらすのかについては不明であった。

手法
著者らは、得られた推定値を導出するために、2つの異なる解析的枠組みを用いている：

1. 対称化と局所的 $T(1)$ 定理：
   一般的なリプシッツの場合、著者らは Verdera によって導入された対称化戦略を用いる。彼らは、積分領域を対称集合 $S_\varepsilon$ と誤差集合 $E_\varepsilon$ に分解することにより、テスティング条件 $\|T_{A,n,\varepsilon}\chi_I\|_{L^2(I)}^2$ を解析する。

   • 誤差項は、リプシッツ特性を用いて直接制御される。
   • 対称項は、多項式 $W_n(\alpha, \beta, \gamma)$ を含む代数的な恒等式を用いて書き換えられ、メンガー曲率に関連する潜在的な正値構造（特に奇数 $n$ の場合）を明らかにする。
   • このアプローチにより、反対称なカルデロン・ツィズム作用素に対する局所的 $T(1)$ 定理の適用が可能となる。

2. ヘルダーマン条件と補間：
   より強い正則性の仮定の下でより鋭いバウンドを得るために、著者らは標準的な $T(1)$ 定理を回避する。代わりに、カーネル $K_n(x,y)$ が $n$ に対して対数的に増大する定数（すなわち $O(\log n)$）を持つヘルダーマン型の条件を満たすことを確立する。

   • 奇数 $n$ の場合、カーネルが正値性を満たすことを証明し、これがより良い制御を容易にすることを示す。
   • $H^1 \to L^1$ と $L^\infty \to \text{BMO}$ の間のフェフェルマン・スタイン補間定理を用いることで、彼らは $L^2$ バウンドを局所的テスティング定数およびヘルダーマン定数に関連付ける。
   • 主要な構造的簡約には、補助関数 $F_n(t, x) = \frac{1}{\|A'\|_\infty^n} \left( \frac{A(x+t) - A(x)}{t} \right)^n$ が含まれる。問題は、補助関数 $F_n$ の半次分数微分 $\partial_t^{1/2} F_n$ の $L^2$ ノルムを推定することへと還元される。

主要な貢献および結果

• 一般的なリプシッツの場合（定理 2.1）：
  本論文は、推定式 $\|T_{A,n}\|_{L^2 \to L^2} \leq C n \|A'\|_\infty^n$ の完全な証明を提供する。これは Verdera と Mateu による主張を形式化し、一般的なリプシッツ関数に対して線形成長であることを確認するものである。証明は、対称化戦略と局所的 $T(1)$ 定理に基づいている。

• ディニ正則性の下での改善されたバウンド（定理 2.2）：
  もし導関数 $A'$ がディニ条件（すなわち $\int_0^1 \frac{\omega_{A'}(t)}{t} dt < \infty$）を満たす場合、$n$ に対する成長は劣線形なレートへと改善される：
  $$\|T_{A,n}\|_{L^2 \to L^2} \leq C \left( 1 + \sqrt{n} C_\omega + \log n \right) \|A'\|_\infty^n.$$
  この結果は、リプシッツ連続性よりもわずかに強い正則性が、 $n$ に対する依存性を大幅に改善することを実証している。

• ベゾフ正則性の下での改善されたバウンド（定理 2.4）：
  $A'$ が対数的ベゾフ空間 $B^{0,1}_{1,1}(\mathbb{R})$ に属する場合、バウンドは以下のように改善される：
  $$\|T_{A,n}\|_{L^2 \to L^2} \leq C \sqrt{n} \|A'\|_\infty^n \left( 1 + \frac{\|A'\|_{B^{0,1}_{1,1}}}{\|A'\|_\infty} \right)^{1/2}.$$
  この空間には、ソボレフ空間 $H^s(\mathbb{R})$ ($0 < s < 1$) のコンパクトな台を持つ関数や、有界変動（BV）関数が含まれる。証明は、補助関数 $F_n$ の分数微分への簡約とリトルウッド・パレイ分解を利用している。

• 正則性条件の比較不能性（セクション 8）：
  著者らは、ディニ条件（定理 2.2）と分数ソボレフ／ベゾフ条件（系 6.3／定理 2.4）が比較不能であることを示すための反例を構築する。

  • 導関数が $H^{1/2}$ に属さない $C^{1,\text{Dini}}$ の関数が存在する。
  • 導関数が $H^{1/2}$ （したがって $B^{0,1}_{1,1}$）に属するが、ディニ条件を満たさない関数が存在する。

意義および主張
本論文は、Verdera と Mateu によって示唆されていた線形バウンド (1.3) の証明を厳密に完了させ、[V1] における主張を数学的に正当なものにすると主張している。さらに、この線形成長の最適性についても調査している。著者らは、リプシッツ定数に対する線形依存性は（David の例により）鋭いことが知られている一方で、一般的なケースにおける $n$ に対する線形依存性は最適ではない可能性があると述べている。なぜなら、検討された例における下界は指数因子 $\|A'\|_\infty^n$ のみを反映しているからである。

したがって、本研究の主要な意義は、リプシッツ関数の導関数に対する緩やかな追加的正則性の仮定の下で、$n$ に対する劣線形成長が達成可能であることを示すことにある。ディニまたはベゾフ条件の下で $\sqrt{n}$ 次のオーダーの推定値を提供することで、本論文は、高次のカルデロン・コミューテーターの定量的挙動にグラフの滑らかさがどのように影響するかという理解を洗練させている。また、本研究は、これらの特異積分作用素の文脈における異なる正則性クラス（ディニ vs ソボレフ／ベゾフ）の関係を明確にしている。