[論文レビュー] Characterizations of BMO through commutators of bilinear singular integral operators

Lucas Chaffee|arXiv (Cornell University)|Oct 16, 2014

Advanced Harmonic Analysis Research参考文献 4被引用数 14

ひとこと要約

本稿では、双線形特異積分作用素、特に双線形Calderón-Zygmund作用素および分数階積分作用素に関連するコンmutatorの有界性を用いて、有界変動平均（BMO）空間を特徴付けることを確立している。形式 $[b,T]_j(f,g) = bT(f,g) - T(bf,g)$ もしくは $T(f,bg)$ のコンmutatorを分析することで、核のFourier級数 $1/K$ に対してやや強い正則性条件が課された下で、このようなコンmutatorが $L^{p_1} \times L^{p_2}$ から $L^q$ に有界であるための必要十分条件として、記号 $b$ がBMOに属することであることを証明している。これは古典的な線形コンmutator特徴付けを多重線形設定へと拡張するものである。

ABSTRACT

In this paper we characterize BMO in terms of the boundedness of commutators of various bilinear singular integral operators with pointwise multiplication. In particular, we study commutators of a wide class of bilinear operators of convolution type, including bilinear Calderón-Zygmund operators and the bilinear fractional integral operators.

研究の動機と目的

• 古典的な線形コンmutatorによるBMOの特徴付けを多重線形設定へと拡張すること。
• 畳み込み型双線形特異積分作用素と関連する双線形コンmutator $[b,T]_j$ の有界性が $b \in \text{BMO}$ を意味することを確立すること。
• 核の正則性仮定をやや弱める条件下で、$b$ がBMOに属するためのコンmutator有界性条件が必要かつ十分であることを証明すること。
• 長年の文献的空白を埋めるために、$n - \alpha$ が偶数でない場合でも、双線形分数階積分作用素 $I_\alpha$ の場合に、コンmutator有界性のための必要性 $b \in \text{BMO}$ を証明すること。
• $m$-線形作用素への一般化を試み、特に $q < 1$ の場合における手法の限界を検討すること。

提案手法

• Janson (1976) や Coifman-Rochberg-Weis (1976) の手法を双線形設定に適応し、dyadic分解を用い、原子上でテストする。
• 双線形コンmutatorを $[b,T]_1(f,g) = bT(f,g) - T(bf,g)$ および $[b,T]_2(f,g) = bT(f,g) - T(f,bg)$ として定義し、$L^{p_1} \times L^{p_2} \to L^q$ への有界性を分析する。
• 共役指数 $q$ と $q'$ を用いた Hölder の不等式を用い、コンmutator の $L^q$ ノルムを BMO ハイパーセミノルム $\|b\|_*$ で制御する。
• 関数 $b$ の dyadic 分解を導入し、立方体 $Q_j$ に台を持つ原子 $a_j$ に対してコンmutatorをテストする。ここで $\|a_j\|_{L^{p_1}} \sim |Q_j|^{-1/p_1}$ と仮定する。
• コンmutator の $L^q$ ノルムが $\|b\|_*$ によって制御されることを示し、推移的推移の平均変動に一様な境界を与える。具体的には $\| [b,T] \| \lesssim \|b\|_* \sum |a_j|$ の推移が成り立つ。
• Fourier級数 $1/K$ が $\mathbb{R}^{2n}$ のある球上で絶対収束することを要請する。これは $I_\alpha$ や Calderón-Zygmund 作用素の核のような滑らかな核に対して成立する。

実験結果

リサーチクエスチョン

• RQ1 古典的な線形コンmutatorによるBMOの特徴付けを双線形設定へと拡張することは可能か？
• RQ2 畳み込み型双線形特異積分作用素と関連する双線形コンmutator $[b,T]_j$ の有界性は、$b \in \text{BMO}$ を意味するのか？
• RQ3 特に $n - \alpha$ が偶数でない場合に、双線形分数階積分作用素 $I_\alpha$ の場合に、コンmutator有界性のための必要性 $b \in \text{BMO}$ が成立するか？
• RQ4 同様の核条件のもとで、同次核の次数が $-mn + \alpha$ である $m$-線形作用素へと特徴付けを拡張することは可能か？
• RQ5 $q < 1$ の場合に、$L^q$ をターゲット空間とするとき、BMO をコンmutator有界性によって特徴付けられるか？

主な発見

• 畳み込み型で同次核の次数が $-2n + \alpha$ の双線形作用素 $T$ に対して、コンmutator $[b,T]_j$ が $L^{p_1} \times L^{p_2}$ から $L^q$ に有界であるための必要十分条件は $b \in \text{BMO}$ であり、$\frac{1}{q} = \frac{1}{p_1} + \frac{1}{p_2} - \frac{\alpha}{n}$ かつ $1/K$ のFourier級数がある球上で絶対収束するという条件下で成立する。
• コロラリー3.2で示されるように、畳み込み型双線形Calderón-Zygmund作用素に対しても、同様の特徴付けが成り立つ。すなわち、$[b,T]_j: L^{p_1} \times L^{p_2} \to L^p$ が有界であることは $b \in \text{BMO}$ であるための必要十分条件であり、同じ核条件のもとで成立する。
• 双線形分数階積分作用素 $I_\alpha$ に対しても、コロラリー3.4で示されるように、$[b,I_\alpha]_j$ が $L^{p_1} \times L^{p_2}$ から $L^q$ に有界であることは $b \in \text{BMO}$ であるための必要十分条件であり、$\frac{1}{q} = \frac{1}{p_1} + \frac{1}{p_2} - \frac{\alpha}{n} < 1$ を満たす。
• 証明手法は、同次核の次数が $-mn + \alpha$ である $m$-線形作用素へと一般化可能であり、$m$-線形設定への特徴付けを拡張する。
• $n - \alpha$ が偶数でない場合でも、$I_\alpha$ に対して $b \in \text{BMO}$ である必要性が証明され、Chanilloの先行研究における欠落を埋めることに成功した。
• この手法は、原子上でコンmutatorをテストし、Hölderの不等式を用いて $L^q$ ノルムをBMOハイパーセミノルムで制御することに依拠しており、$\|b\|_* \lesssim \|[b,T]\|_{L^{p_1} \times L^{p_2} \to L^q}$ を示し、$b \in \text{BMO}$ を結論づける。