[論文レビュー] Weighted Endpoint Estimates for Commutators of Calderón-Zygmund Operators

Yiyu Liang, Luong Dang Ky+1 more|arXiv (Cornell University)|Oct 20, 2015

Advanced Harmonic Analysis Research参考文献 7被引用数 6

ひとこと要約

本稿では、Muckenhoupt重み $w \in A_{1+\delta/n}(\mathbb{R}^n)$ の下で、Calderón-Zygmund作用素の交換子の重み付き端点評価を確立する。そのために、BMO関数の新たな部分空間 $\mathcal{BMO}_w(\mathbb{R}^n)$ を導入し、$b \in \mathcal{BMO}_w(\mathbb{R}^n)$ ならば、交換子 $[b,T]$ が重み付きHardy空間 $H_w^1(\mathbb{R}^n)$ から重み付きLebesgue空間 $L_w^1(\mathbb{R}^n)$ に有界であることを証明する。逆に、Riesz変換との交換子の有界性から $b \in \mathcal{BMO}_w(\mathbb{R}^n)$ を得る。これは、Muckenhoupt重みの下でこのような有界性を満たす最適な関数空間を特徴づける。

ABSTRACT

Let $δ\in(0,1]$ and $T$ be a $δ$-Calderón-Zygmund operator. Let $w$ be in the Muckenhoupt class $A_{1+δ/n}({\mathbb R}^n)$ satisfying $\int_{{\mathbb R}^n}\frac {w(x)}{1+|x|^n}\,dx

研究の動機と目的

• 重み付きHardy空間 $H_w^1(\mathbb{R}^n)$ から重み付きLebesgue空間 $L_w^1(\mathbb{R}^n)$ への交換子 $[b,T]$ の有界性を満たす、BMO(ℝⁿ) の最大部分空間を同定すること。
• 交換子 $[b,T]$ の重み付きHardy空間およびLebesgue空間における有界性の必要十分条件を確立すること。
• 重み付き端点評価の最適関数空間として、新しい空間 $\mathcal{BMO}_w(\mathbb{R}^n)$ を定義し、その特徴づけを行うこと。
• 重みに依存するBMO型空間を導入することで、既知の非重み付き結果を重み付き設定に拡張すること。

提案手法

• Muckenhoupt重み $w \in A_{1+\delta/n}(\mathbb{R}^n)$ の下で、重み付き推移的評価に適したBMO(ℝⁿ) の部分空間として $\mathcal{BMO}_w(\mathbb{R}^n)$ を導入すること。
• 重み付きHardy空間 $H_w^1(\mathbb{R}^n)$ のRiesz変換による特徴づけを用い、交換子の有界性を原子および分子上の $b$ の挙動と関連付けること。
• T が $\delta$-Calderón-Zygmund作用素で $a$ が $H_w^1$-原子であるとき、$Ta$ の分子分解を用いて $[b,T](a)$ の重み付きノルムを制御すること。
• 交換子構造を解析するための二重線形分解 $[b,T](f) = \mathfrak{R}(f,b) + T(\mathfrak{S}(f,b))$ を確立すること。
• John-Nirenberg不等式と球上でのテスト条件を用い、$\mathcal{BMO}_w$ のセミノルムを重み付き $L^1$-ノルムによる制御に帰着させること。
• 重み $w \in A_{1+\delta/n}(\mathbb{R}^n)$ ならば、ある $q \in (1, 1+\delta/n)$ に対して $w \in A_q(\mathbb{R}^n)$ が成り立つことを利用して、標準的なCalderón-Zygmund理論を適用すること。

実験結果

リサーチクエスチョン

• RQ1 Muckenhoupt重み $w \in A_{1+\delta/n}(\mathbb{R}^n)$ の下で、交換子 $[b,T]$ が $H_w^1(\mathbb{R}^n)$ から $L_w^1(\mathbb{R}^n)$ に有界であるような、BMO(ℝⁿ) の最大部分空間は何か？
• RQ2 交換子 $[b,T]$ の重み付きHardy空間における有界性は、重み $w$ に依存する新しいBMO型空間を用いて特徴づけられるか？
• RQ3 空間 $\mathcal{BMO}_w(\mathbb{R}^n)$ は、$[b,R_j]$ がすべての $j=1,\dots,n$ に対して $H_w^1(\mathbb{R}^n)$ から $L_w^1(\mathbb{R}^n)$ に有界であるならば、$b \in \mathcal{BMO}_w(\mathbb{R}^n)$ であるという意味で最適か？
• RQ4 交換子の重み付き $L^1$-有界性は、重み付きHardy空間における分子および原子の構造とどのように関係するか？

主な発見

• 空間 $\mathcal{BMO}_w(\mathbb{R}^n)$ は、任意の $\delta$-Calderón-Zygmund作用素 $T$ および $\int_{\mathbb{R}^n} \frac{w(x)}{1+|x|^n} dx < \infty$ を満たす $w \in A_{1+\delta/n}(\mathbb{R}^n)$ に対して、$[b,T]$ が $H_w^1(\mathbb{R}^n)$ から $L_w^1(\mathbb{R}^n)$ に有界であるような最適関数空間として定義される。
• もし $b \in \mathcal{BMO}_w(\mathbb{R}^n)$ ならば、$[b,T]$ は $H_w^1(\mathbb{R}^n)$ から $L_w^1(\mathbb{R}^n)$ に有界であり、作用素ノルムは $\|b\|_{\mathcal{BMO}_w(\mathbb{R}^n)}$ で制御される。
• 逆に、$b \in \text{BMO}(\mathbb{R}^n)$ かつすべての $j=1,\dots,n$ に対して $[b,R_j]$ が $H_w^1(\mathbb{R}^n)$ から $L_w^1(\mathbb{R}^n)$ に有界であるならば、$b \in \mathcal{BMO}_w(\mathbb{R}^n)$ である。これは空間の鋭さを示す。
• 証明は、$T$ が $\delta$-Calderón-Zygmund作用素で $a$ が $H_w^1$-原子であるときの $Ta$ の分子分解に依拠しており、$Ta$ が衰減 $2^{-j\varepsilon}$（$\varepsilon = n + \delta - nq > 0$）を持つ分子であることを示し、分解における可 summability を可能にする。
• $\|b\|_{\mathcal{BMO}_w(\mathbb{R}^n)}$ は $\|b\|_{\text{BMO}(\mathbb{R}^n)} + \sum_{j=1}^n \|[b,R_j]\|_{H_w^1 \to L_w^1}$ と同値であり、定量的特徴づけを提供する。
• 古典的な非重み付き理論（$[b,T]$ が $H^1$ から $L^1$ に有界であるのは $b$ が定数である場合に限る）を拡張し、有界性が成り立つ非自明な重み依存部分空間を同定した。