[論文レビュー] Weighted norm inequalities for commutators of Littlewood-Paley functions related to Schrödinger operators

Lin Tang|arXiv (Cornell University)|Sep 1, 2011

Advanced Harmonic Analysis Research参考文献 3被引用数 11

ひとこと要約

本稿は、$V$ が逆Hölder級数 $B_{n/2}$ に属する非負のポテンシャルをもつシュレーディンガー作用素 $L = -\Delta + V$ に関連するリトルウッド＝パイルズ関数の交換子に関する重み付きノルム不等式を確立する。新しい重みクラス $A_p^\rho$ と $BMO(\rho)$ 空間を用いて、$1 < p < \infty$ の場合の $L^p(\omega)$ 有界性および $p=1$ の弱型端点推定値を証明し、古典的結果をポテンシャル依存の重みを伴うシュレーディンガー設定へ拡張する。

ABSTRACT

Let $L=-Δ+V$ be a Schrödinger operator, where $Δ$ is the Laplacian operator on $ z$, while the nonnegative potential $V$ belongs to certain reverse Hölder class. In this paper, we establish some weighted norm inequalities for commutators of Littlewood-Paley functions related to Schrödinger operators.

研究の動機と目的

• ポテンシャル $V \in B_{n/2}$ をもつシュレーディンガー作用素の文脈において、重み付きノルム不等式をリトルウッド＝パイルズ関数の交換子へ拡張すること。
• $b \in BMO(\rho)$ および $\omega \in A_p^\rho$ のとき、交換子 $g_b(f)$ に対する $L^p(\omega)$ 有界性を確立すること。
• $\omega \in A_1^\rho$ および $p=1$ のとき、交換子 $g_b(f)$ に対する弱型端点推定値を導出すること。
• 作用素 $L$ に関連する拡散半群の最大作用素 $T_b^*$ へ一般化すること。

提案手法

• ポテンシャル依存の臨界半径関数 $\rho(x) = 1/m_V(x)$ を導入する。ここで $m_V(x)$ は、$\int_{B(x,r)} V(y) dy \leq r^{n-2}$ を満たすように定義される。
• 球 $B$ の半径 $r$ を用いて $\Psi(B) = (1 + r m_V(B))^{\theta}$ を用いた新しい重みクラス $A_p^\rho$ を定義する。
• $A_1^\rho$ 重みを特徴づけるために、最大関数 $M_V f(x) = \sup_{x \in B} \frac{1}{\Psi(B)|B|} \int_B |f(y)| dy$ を用いる。
• 階層的分解と点ごとの推定値を用いて、交換子 $g_b(f)$ を局所化された最大作用素 $M_{V,\eta}^b f$ で制御する。
• 核推定値 $k_t(x,y) \leq C_N t^{-n/2} e^{-|x-y|^2/(5t)} (1 + t/\rho(x)^2 + t/\rho(y)^2)^{-N}$ を用いて、周波数領域ごとの交換子の境界を求める。
• 特にジョン＝ニレングラスの不等式を $BMO(\rho)$ 空間で用いることで、重み付き理論およびカルデロン＝ジムンド理論の技法を適応する。

実験結果

リサーチクエスチョン

• RQ1 ポテンシャル $V$ が $B_{n/2}$ に属する場合、シュレーディンガー作用素に関連するリトルウッド＝パイルズ関数の交換子に対する重み付き $L^p$ 有界性を確立できるか？
• RQ2 シュレーディンガー作用素のポテンシャル依存幾何を反映させるために、$A_p$ 重みクラスの適切な一般化は何か？
• RQ3 $BMO(\rho)$ 関数と臨界半径 $\rho(x)$ は、交換子の弱型端点推定値にどのように影響を与えるか？
• RQ4 新しい $A_p^\rho$ 条件のもとで、半群 $e^{-tL}$ の最大作用素およびその交換子が重み付き $L^p$ 空間で制御可能か？

主な発見

• $1 < p < \infty$ のとき、すべての $b \in BMO(\rho)$ および $\omega \in A_p^\rho$ に対して、$\|g_b(f)\|_{L^p(\omega)} \leq C \|b\|_{BMO(\rho)} \|f\|_{L^p(\omega)}$ が成り立つ。
• $p=1$ のとき、弱型端点推定値が成り立つ：$\omega(\{x : |g_b(f)(x)| > \lambda\}) \leq C \int_{{\mathbb{R}}^n} \frac{|f(x)|}{\lambda} \left(1 + \log^+ \left(\frac{|f(x)|}{\lambda}\right)\right) \omega(x) dx$ が $\omega \in A_1^\rho$ のとき成り立つ。
• 最大作用素 $T_b^*f(x) = \sup_{t>0} \int k_t(x,y)(b(x)-b(y))f(y) dy$ は、$g_b(f)$ と同じ $L^p(\omega)$ および弱型推定値を満たす。
• 証明は、$\rho(x)$ を基準とした階層的アニュラスへの核および関数の台の分解に依存し、臨界半径を用いて交換子を局所化する。
• $V \not\equiv 0$ のとき、$\Psi(B)$ 要素のおかげで、重みクラス $A_p^\rho$ は古典的 $A_p$ クラスよりも厳密に大きいことが示された。
• パrameter $\theta_1 \neq \theta_2$ のとき、$BMO_{\theta_1}(\rho)$ および $A_p^{\rho,\theta_2}$ のより広いクラスへも結果が拡張可能であり、フレームワークの堅牢性が示された。