[论文解读] Operator-valued dyadic BMO spaces

Óscar Blasco, Sandra Pott|ArXiv.org|May 1, 2008

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

一句话总结

本文通过抛补算子及相关算子的有界性，建立了算子值 dyadic BMO 空间等价刻画，将抛补算子的范数 $\limits_{B}$ 与扫掠函数及鞅变换联系起来。研究在算子空间理论中利用乘积公式与对偶性，给出了强算子 BMO 范数下 John-Nirenberg 不等式的精确维数估计，解决了 [GPTV1] 中提出的一个问题。

ABSTRACT

We consider BMO spaces of operator-valued functions, among them the space of operator-valued functions $B$ which define a bounded paraproduct on $L^2(H)$. We obtain several equivalent formulations of $\|π_B\|$ in terms of the norm of the "sweep" function of $B$ or of averages of the norms of martingales transforms of $B$ in related spaces. Furthermore, we investigate a connection between John-Nirenberg type inequalities and Carleson-type inequalities via a product formula for paraproducts and deduce sharp dimensional estimates for John-Nirenberg type inequalities.

研究动机与目标

• 通过抛补算子及相关算子的有界性，刻画算子值 dyadic BMO 空间。
• 以扫掠函数和鞅变换为表达形式，建立抛补算子 $\nolimits_{B}$ 范数的等价表述。
• 通过抛补算子的乘积公式，探究 John-Nirenberg 不等式与 Carleson 型不等式之间的联系。
• 推导强算子 BMO 范数 $\nolimits_{\text{BMO}_{\text{so}}^{d}}$ 下 John-Nirenberg 不等式的精确维数估计。
• 解决 [GPTV1] 中关于算子 BMO 空间中扫掠函数维数依赖性的一个开放问题。

提出的方法

• 定义 dyadic 抛补算子 $\nolimits_{B}$ 及其实部 $\nolimits_{\text{Re}} = \nolimits_{B} + \nolimits_{\bar{B}}^{*}$，将其与 Carleson 嵌入及向量值 BMO 理论联系起来。
• 利用 $B$ 的扫掠函数刻画抛补算子 $\nolimits_{B}$ 的算子范数，证明其与 dyadic 区间上算子范数的 $L^2$-平均等价。
• 通过 $f \to \nolimits_{B} T_{\nolimits} f$ 定义映射 $\nolimits_{B}: L^2(\nolimits, \nolimits) \to L^2(\nolimits \times \nolimits, \nolimits)$，并证明其算子范数等于 $\|B\|_{\nolimits_{\text{SBMO}}^{d}}$。
• 应用抛补算子的乘积公式，将 John-Nirenberg 不等式与 Carleson 型不等式关联，实现维数依赖的估计。
• 利用对偶性及恒等式 $\mathcal{L}(\nolimits) = (\nolimits \hat{\otimes} \nolimits)^{*}$ 定义弱*-可积性，确保 Haar 系数与平均值的良定义性。
• 将 $\tilde{B}f = \pi_{B}f + \Delta_{B}f + \gamma_{B}f$ 分解，并利用各分量的正交性，推导出 $\tilde{B}$ 与 $\Lambda_{\tilde{B}}$ 的 $L^2$-范数恒等式。

实验结果

研究问题

• RQ1 如何以扫掠函数或鞅变换的形式刻画算子值抛补算子 $\pi_B$ 的范数？
• RQ2 在算子值 dyadic BMO 设置下，John-Nirenberg 不等式与 Carleson 型不等式之间的确切关系是什么？
• RQ3 在强算子 BMO 范数 $\|\cdot\|_{\text{BMO}_{\text{so}}^{d}}$ 下，John-Nirenberg 不等式的精确维数估计是什么？
• RQ4 在算子值情形下，不同算子空间结构如何从标量 BMO 的不同刻画中产生？
• RQ5 实部 $\Lambda_B = \pi_B + \pi_{\bar{B}}^*$ 在连接抛补算子理论与向量值 BMO 空间中起什么作用？

主要发现

• 范数 $\|\pi_B\|$ 与 $B$ 在 dyadic 区间上算子范数的 $L^2$-平均等价，且该等价性由扫掠函数控制。
• 映射 $f \mapsto \Lambda_B T_\sigma f$ 的算子范数 $\|\Phi_B\|$ 等于 $\|B\|_{\text{SBMO}^d}$，且 $\|B\|_{\text{BMO}_{\text{so}}^d} = \|\Phi_B\| + \|\Phi_{B^*}\|$。
• 对于 $\text{BMO}_{\text{norm}}^d(\mathcal{L}(\mathcal{H}))$ 的 John-Nirenberg 不等式，可推出强算子范数下扫掠函数的精确维数估计。
• 由于在 $L^2(\Sigma \times \mathbb{T}, \mathcal{H})$-范数下各分量正交，恒等式 $\|\tilde{B}f\|^2 = \int_\Sigma \|\pi_{T_\sigma B}f\|^2 d\sigma + \int_\Sigma \|\Delta_{T_\sigma B}f\|^2 d\sigma + \int_\Sigma \|\gamma_{T_\sigma B}f\|^2 d\sigma$ 成立。
• 通过分解与对偶性，建立了不等式 $\frac{1}{2}(\|\pi_B\| + \|\Delta_B\|) \leq \|\tilde{B}\|_{L^2(\Sigma, \text{BMO}_{\text{mult}})} \leq \|\pi_B\| + \|\Delta_B\|$。
• 本文通过提供强算子 BMO 范数下扫掠函数的精确维数依赖估计，解决了 [GPTV1] 中的开放问题。