[论文解读] An observation: cut-off of the weight $w$ does not increase the $A_{p_{1}, p_{2}}$-"norm'' of $w$

Alexander Reznikov, Vasiliy Vasyunin+1 more|arXiv (Cornell University)|Aug 21, 2010

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

一句话总结

本文证明，将非负权函数 $ w $ 在水平 $ a $ 处截断（无论从上方还是从下方），不会增加其广义 $ A_{p_1,p_2} $-“范数”——该范数定义为所有立方体 $ J $ 上 $ \langle w^{p_1} \rangle_J^{1/p_1} \langle w^{p_2} \rangle_J^{-1/p_2} $ 的上确界。关键结果为 $ [w_a]_{p_1,p_2} \leq [w]_{p_1,p_2} $，消除了此前此类估计中已知的常数因子，且在 $ A_2 $ 情况下，仅使用 Hölder 不等式与单调性论证，即可得到极为简洁的证明。

ABSTRACT

We consider weights $w$ and their cut-offs: $w_a(t)=w(t)$ if $w(t)\le a$ and $w_a(t)=a$ if $w(t)> a$. We consider a generalized $A_p$-``norm'' and prove that the ``norm'' of $w_a$ is not greater then the ``norm'' of $w$. Our proof in the case $w\in A_2$ is especially simple.

研究动机与目标

• 建立截断权函数 $ w $ 在水平 $ a $ 处不会增加其广义 $ A_{p_1,p_2} $-“范数”的结论。
• 消除此前已知不等式 $ [w_a]_{p_1,p_2} \leq c[w]_{p_1,p_2} $ 中的常数因子（例如 2），将其替换为 $ c = 1 $。
• 在 $ A_2 $ 情况下提供一个简洁证明，其中 $ p_1 = 1 $，$ p_2 = -1 $，仅使用 Hölder 不等式与基本平均方法。
• 证明 $ A_{p_1,p_2} $-范数在 $ w $ 的有界且远离零的逼近（如 $ \varphi_n $）下保持不变。

提出的方法

• 将广义 $ A_{p_1,p_2} $-“范数”定义为 $ [w]_{p_1,p_2} = \sup_J \langle w^{p_1} \rangle_J^{1/p_1} \langle w^{p_2} \rangle_J^{-1/p_2} $，其中 $ J $ 遍历所有 $ I $ 中的立方体。
• 引入截断权函数 $ w_a(t) = \min(w(t), a) $，并分析该操作下 $ A_{p_1,p_2} $-“范数”的行为。
• 将立方体 $ J $ 分为两部分：$ J_1 = \{ t \in J : w(t) \leq a \} $，$ J_2 = \{ t \in J : w(t) > a \} $，并将 $ J $ 上的平均值表示为 $ J_1 $ 与 $ J_2 $ 上加权平均的组合。
• 使用 Hölder 不等式，证明对每个子立方体均有 $ x_i^{1/p_1} \geq y_i^{1/p_2} $，其中 $ x_i = \langle w^{p_1} \rangle_{J_i} $，$ y_i = \langle w^{p_2} \rangle_{J_i} $。
• 定义依赖于比值 $ s = x_2^{1/p_1} / y_2^{1/p_2} $ 的函数 $ \varphi(s,u) $，并证明其关于 $ s $ 单调递增，因此其最小值出现在 $ s = 1 $ 处。
• 通过证明 $ u^{p_1} y_1 - u^{p_2} x_1 \geq 0 $，验证在 $ s = 1 $ 处导数 $ \partial \varphi / \partial u $ 非负，其中利用了 $ u > a $ 与 $ p_1 > p_2 $ 的条件。

实验结果

研究问题

• RQ1 在水平 $ a $ 处截断权函数 $ w $ 是否会增加其 $ A_{p_1,p_2} $-“范数”？
• RQ2 已知不等式 $ [w_a]_{p_1,p_2} \leq c[w]_{p_1,p_2} $ 中的常数因子能否改进为 $ c = 1 $？
• RQ3 是否存在 $ A_2 $ 情况下该范数不增性质的简洁证明？
• RQ4 能否用有界且远离零的权函数逼近 $ A_{p_1,p_2} $ 中无界或趋近于零的权函数，且保持相同的 $ A_{p_1,p_2} $-范数？
• RQ5 序列 $ \varphi_n $（通过在 $ n $ 和 $ 1/n $ 处双重截断定义）下 $ A_{p_1,p_2} $-“范数”的行为如何？

主要发现

• $ w_a $ 的 $ A_{p_1,p_2} $-“范数”满足 $ [w_a]_{p_1,p_2} \leq [w]_{p_1,p_2} $，且等式可能成立。
• 在 $ A_2 $ 情况下，对每个立方体 $ J $，不等式 $ \langle w_a \rangle_J \langle w_a^{-1} \rangle_J \leq \langle w \rangle_J \langle w^{-1} \rangle_J $ 成立，其证明基于直接展开与各项非负性。
• 函数 $ \varphi(s,u) $（表示 $ A_{p_1,p_2} $-“范数”贡献的差异）关于 $ s $ 单调递增，因此其最小值出现在 $ s = 1 $，对应未截断情形。
• 在 $ s = 1 $ 处，导数 $ \partial \varphi / \partial u $ 非负，因为 $ u^{p_1} y_1 - u^{p_2} x_1 \geq 0 $，该不等式由 $ u \geq w(t) $ 与 $ p_1 > p_2 $ 推出。
• 序列 $ \varphi_n $（通过在 $ n $ 和 $ 1/n $ 处截断 $ w $ 定义）满足 $ [\varphi_n]_{p_1,p_2} \leq [w]_{p_1,p_2} $ 且 $ \lim_{n \to \infty} [\varphi_n]_{p_1,p_2} = [w]_{p_1,p_2} $。
• 该结果表明，任意 $ w \in A_{p_1,p_2} $ 均可由有上界且有下界（远离零）的权函数逼近，且保持相同的 $ A_{p_1,p_2} $-范数，这对 Bellman 函数方法以及证明集合 $ \{ p : w \in A_p \} $ 的开性具有重要意义。