[论文解读] Continuity of weighted estimates for sublinear operators

Michael Papadimitrakis, Nikolaos Pattakos|arXiv (Cornell University)|Jun 20, 2012

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

一句话总结

本文建立了加权 $L^p$ 空间上子线性算子的算子范数关于 $A_p$ 权的 $d_*$ 度量的连续性。证明了若一个子线性算子 $T$ 满足仅依赖于 $A_p$ 特征的加权范数不等式，则其算子范数在 $w \to w_0$ 时关于 $d_*$ 拓扑在 $w_0$ 处连续。

ABSTRACT

In this note we prove that if a sublinear operator T satisfies a certain weighted estimate in the $L^{p}(w)$ space for all $w\in A_{p}$, $1

研究动机与目标

• 将加权 $L^p$ 空间中算子范数的连续性从线性算子推广至子线性算子。
• 研究算子范数 $\|T\|_{L^p(w)\to L^p(w)}$ 是否关于权重 $w$ 在 $d_*$ 度量下连续。
• 证明在固定权重 $w_0$ 的小 $d_*$-扰动下，$A_p$ 特征保持有界。
• 表明关键不等式中的常数 $c_{[w]_{A_p}}$ 关于 $[w]_{A_p}$ 连续，从而确保在 $w_0$ 附近有界。

提出的方法

• 使用文献 [3] 中的关键不等式：对于子线性算子及 $u,v$ 在 $d_*$ 中接近时，有 $\|T\|_{L^p(u)\to L^p(u)} \leq \|T\|_{L^p(v)\to L^p(v)}(1 + c_{[v]_{A_p}} d_*(u,v))$。
• 将此不等式应用于 $u = w$，$v = w_0$，以获得 $\|T\|_{L^p(w)\to L^p(w)}$ 的上界，该上界在 $d_*(w,w_0) \to 0$ 时趋于 $\|T\|_{L^p(w_0)\to L^p(w_0)}$。
• 通过交换角色（$u = w_0$，$v = w$）建立反向不等式，需控制 $c_{[w]_{A_p}}$ 在 $w \to w_0$ 时的行为。
• 使用 Hölder 不等式及共轭指数 $R, R' = 1+\epsilon$，对 $d_*$ 中靠近 $w_0$ 的 $w$ 统一有界 $[w]_{A_p}$。
• 利用 $\left(\frac{w}{w_0}\right)^R \in A_p$ 且其特征在大 $R$ 时一致有界，以及 $w_0^{1+\epsilon} \in A_p$ 对小 $\epsilon$ 成立的事实。
• 利用 $c_{[w]_{A_p}}$ 关于 $[w]_{A_p}$ 的连续性（由测度变换下的 Riesz-Thorin 插值导出），得出该常数有界。

实验结果

研究问题

• RQ1 子线性算子的算子范数 $\|T\|_{L^p(w)\to L^p(w)}$ 是否在 $d_*$ 度量下关于权重 $w$ 连续？
• RQ2 文献 [3] 中线性算子的连续性结果能否在相同的 $A_p$-范数假设下推广至子线性算子？
• RQ3 $A_p$ 特征 $[w]_{A_p}$ 在固定 $w_0 \in A_p$ 附近是否关于 $d_*$ 度量连续？
• RQ4 关键算子范数不等式中的常数 $c_{[w]_{A_p}}$ 在 $w \to w_0$ 时 $d_*$ 下是否保持有界？
• RQ5 在 $d_*$ 度量下，所有足够接近 $w_0$ 的 $w$ 的 $A_p$ 特征是否可统一有界？

主要发现

• 算子范数 $\|T\|_{L^p(w)\to L^p(w)}$ 关于 $d_*$ 度量在 $w_0$ 处连续：$\lim_{d_*(w,w_0)\to 0}\|T\|_{L^p(w)\to L^p(w)} = \|T\|_{L^p(w_0)\to L^p(w_0)}$。
• 当 $w$ 在 $d_*$ 中足够接近 $w_0$ 时，$A_p$ 特征 $[w]_{A_p}$ 被仅依赖于 $[w_0]_{A_p}$ 和距离 $\delta = d_*(w,w_0)$ 的常数 $C$ 一致有界。
• $A_p$ 特征满足 $\limsup_{d_*(w,w_0)\to 0}[w]_{A_p} \leq [w_0]_{A_p}$，且对偶地 $[w_0]_{A_p} \leq \liminf_{d_*(w,w_0)\to 0}[w]_{A_p}$，从而证明了 $[w]_{A_p}$ 在 $d_*$ 下的连续性。
• 关键不等式中的常数 $c_{[w]_{A_p}}$ 关于 $[w]_{A_p}$ 连续，因此在 $w \to w_0$ 时 $d_*$ 下保持有界。
• 证明依赖于共轭指数 $R$ 和 $R' = 1+\epsilon$ 的 Hölder 不等式，以及 $\left(\frac{w}{w_0}\right)^R \in A_p$ 且其特征在大 $R$ 时一致有界的事实。
• 该结果将线性算子的连续性结果推广至子线性算子，解决了先前方法失效的空白。