[論文レビュー] T(1) theorem for dyadic singular integral forms associated with hypergraphs

Mario Stipčić|arXiv (Cornell University)|Feb 27, 2019

Advanced Harmonic Analysis Research参考文献 25被引用数 5

ひとこと要約

本稿は、連結成分が完全なr部r一様超グラフに関連するdyadic特異積分形式のT(1)定理を確立する。Lp有界性はT(1)-型条件によって特徴づけられ、スパース支配が証明され、多変数Muckenhoupt重みを用いて重み付き推定が得られ、従来の二部グラフに関する結果をdyadic設定における一般超グラフ構造へと拡張する。

ABSTRACT

This paper studies dyadic singular integral forms associated with $r$-partite $r$-uniform hypergraphs such that all their connected components are complete. We characterize their $L^p$ boundedness by T(1)-type conditions in two different ways. We also dominate these forms by positive sparse forms and prove weighted estimates with multilinear Muckenhoupt weights.

研究の動機と目的

• 二部グラフからのT(1)定理をdyadic設定におけるr部r一様超グラフへ一般化すること。
• T(1)-型条件を用いて、多変数dyadic特異積分形式のLp有界性を特徴づけること。
• 多線形スパース形式を用いて、これらの形式のスパース支配を確立すること。
• 多変数Muckenhoupt重みを用いて、重み付きノルム推定を導出すること。
• 調和解析および関連分野における絡み合った多変数特異積分に適用可能なフレームワークを提供すること。

提案手法

• 連結成分が完全なr部r一様超グラフの辺によってインデックス付けられるdyadic特異積分形式ΛE(F)を定義する。
• 各辺eに対して、de = max_i ∏_{j≠i} |V(j)_l| と定義する超グラフ依存量を導入し、スケーリング挙動を制御する。
• dyadic Calderón-Zygmund核Kを用い、対角線から離れたdyadic立方体では定数であり、(1.3)のサイズ条件を満たす。
• T(1)条件の核となる、1つの変数を除くすべての変数に関する部分積分として定義される演算子Te0(FE\{e0})を導入する。
• 互いに例外集合が不交和であるようなCrのスパース族S ⊆ Crを導入し、スパース形式ΘS(F) = Σ_{Q∈S} |Q| ∏_e [ |Fe|^{de} ]_Q^{1/de} を定義する。
• Lp有界性、弱有界性、T(1)作用素のBMOノルム、スパース支配、多変数A_p重みによる重み付き推定の間の同値性を確立する。

実験結果

リサーチクエスチョン

• RQ1 多変数dyadic特異積分形式が、超グラフに関連してLp空間で有界であるための条件は何か？
• RQ2 T(1)定理は、二部グラフから一般のr部r一様超グラフへどのように拡張できるか？
• RQ3 このような超グラフに基づく形式に対してスパース支配が成立するか？そのスパースバウンドの正確な形は何か？
• RQ4 多変数Muckenhoupt重みを用いた、これらの形式の鋭い重み付き推定は何か？
• RQ5 弱有界性、T(1)作用素のBMOノルム、スパース支配を統合する有界性の特徴づけは存在するか？

主な発見

• 多変数形式ΛE(F)のLp有界性は、すべてのdyadic立方体Qに対して|ΛE(1Q,…,1Q)| ≲ |Q| が成り立つ弱有界性条件と同値である。
• 有界性は、すべての辺eに対して‖Te(1Rr,…,1Rr)‖BMO ≲ 1 という一様なBMOノルム条件とも同値である。
• 形式は鋭い重み付き推定 |ΛE(F)| ≲ [w]_p,d^{max_e pe/(pe−de)} ∏_e ‖Fe‖_{L^{pe}(we)} を満たす。ここで重みwは∏_e w_e^{1/pe} = 1 を満たす多変数A_p重みである。
• スパース支配が成立する：任意のcompactly supp bou ndedなFに対して、|ΛE(F)| ≲ ΘS(F) を満たすスパース族Sが存在する。ここでΘS(F) = Σ_{Q∈S} |Q| ∏_e [ |Fe|^{de} ]_Q^{1/de} である。
• 定理1の条件(a)～(f)の間の同値性は一様に成立し、定数は超グラフ構造、核K、指数にのみ依存する。
• 証明により、スパース形式が積分形式を支配すること、およびH"olderの不等式と重み付き最大関数の評価を用いて重み付き推定が導かれることが示された。