[论文解读] Weight Hardy-Littlewood Inequalities for Different Powers

E. Ostrovsky, L. Sirota|ArXiv.org|Oct 30, 2009

Advanced Harmonic Analysis Research参考文献 26被引用 8

一句话总结

本文建立了加权Riesz势和勒贝格空间中双线性泛函的算子范数的非渐近上界和下界，证明了最佳常数 $ K_{\alpha,\beta,\lambda}(p) $ 的渐近行为为 $ [(p - p_-)(p_+ - p)]^{-\kappa} $，其中 $ \kappa = (\alpha + \beta + \lambda)/d $。这些界是精确的，且对 $ p \in (p_-, p_+) $ 成立，其中 $ p_- = d/(d - \alpha) $，$ p_+ = d/(d - \alpha - \lambda) $，而 $ q $ 由尺度条件 $ 1 + 1/q = 1/p + (\alpha + \beta + \lambda)/d $ 确定。该结果将经典的Hardy-Littlewood不等式推广到具有精确范数估计的加权分数阶积分。

ABSTRACT

In this short article we obtain the non-asymptotic upper and low estimations for linear and bilinear weight Riesz's functional through the Lebesgue spaces.

研究动机与目标

• 推导加权Riesz势 $ I_{\alpha,\beta,\lambda}f $ 在勒贝格空间 $ L_p $ 中算子范数的非渐近上界和下界。
• 建立双线性泛函 $ B_{\alpha,\beta,\lambda}(f,g) $ 的精确估计，特别是其算子范数关于 $ \|f\|_p \|g\|_{q/(q-1)} $ 的表达式。
• 确定加权Hardy-Littlewood不等式中最佳常数 $ K_{\alpha,\beta,\lambda}(p) $ 的精确渐近行为，针对不同幂次。
• 将经典的Riesz势估计推广到核函数包含权因子 $ |x|^{-\alpha} $，$ |x|^{-\beta} $ 和 $ |x-y|^{-\lambda} $ 的情形，推广经典情形 $ \alpha = \beta = 0 $。
• 完整刻画不等式成立的 $ p $ 的范围，表明当 $ p \notin (p_-, p_+) $ 时 $ K_{\alpha,\beta,\lambda}(p) = \infty $。

提出的方法

• 作者通过尺度关系 $ 1 + 1/q = 1/p + (\alpha + \beta + \lambda)/d $ 定义临界指数 $ p_- = d/(d - \alpha) $，$ p_+ = d/(d - \alpha - \lambda) $ 和 $ q $，该关系刻画了有界性所要求的允许的 $ (p,q) $ 对。
• 他们将算子范数 $ V_{\alpha,\beta,\lambda}(p) = \sup_{f \neq 0} \frac{\|I_{\alpha,\beta,\lambda}f\|_q}{\|f\|_p} $ 作为核心待估计量。
• 构造了两个测试函数：$ f_0(x) = |x|^{-(d - \alpha)} I(|x| > 1) $ 和 $ g_0(x) = |x|^{-(d - \alpha - \lambda)} I(|x| < 1) $，以探测范数在端点 $ p_- $ 和 $ p_+ $ 附近的性质。
• 通过极坐标和对数奇点分析，研究 $ \|f_0\|_p $，$ \|g_0\|_p $ 及其在 $ I_{\alpha,\beta,\lambda} $ 下的像的渐近行为。
• 通过证明比值 $ \|w\|_q \cdot [(p - p_-)(p_+ - p)]^\kappa / \|h\|_p $ 关于 $ p $ 有正的下界（与 $ p $ 无关），建立下界，其中 $ h = f_0 + g_0 $，$ w = I_{\alpha,\beta,\lambda}h $。
• 上界通过文献中已知结果（如 [18], [21], [22]）结合极大函数理论和插值技术推导得出，确认了相同的渐近衰减速率。

实验结果

研究问题

• RQ1 当 $ p \to p_-^+ $ 或 $ p \to p_+^- $ 时，加权Hardy-Littlewood不等式中 $ I_{\alpha,\beta,\lambda}f $ 的最佳常数 $ K_{\alpha,\beta,\lambda}(p) $ 的精确渐近行为是什么？
• RQ2 算子范数 $ \|I_{\alpha,\beta,\lambda}f\|_q $ 的上界和下界相对于到端点 $ p_- $ 和 $ p_+ $ 的距离如何变化？
• RQ3 能否在 $ \|f\|_p \|g\|_{q/(q-1)} $ 的表达下获得双线性泛函 $ B_{\alpha,\beta,\lambda}(f,g) $ 的精确估计？其对 $ p $ 的依赖关系如何？
• RQ4 不等式 $ \|I_{\alpha,\beta,\lambda}f\|_q \leq K_{\alpha,\beta,\lambda}(p) \|f\|_p $ 成立的精确 $ p $ 范围是什么？
• RQ5 权重参数 $ \alpha $，$ \beta $ 和 $ \lambda $ 如何影响算子范数在临界指数附近的奇异性？

主要发现

• 加权Hardy-Littlewood不等式中最佳常数 $ K_{\alpha,\beta,\lambda}(p) $ 满足双侧估计：$ \frac{C_1(\alpha,\beta,\lambda)}{[(p - p_-)(p_+ - p)]^\kappa} \leq V_{\alpha,\beta,\lambda}(p) \leq \frac{C_2(\alpha,\beta,\lambda)}{[(p - p_-)(p_+ - p)]^\kappa} $，其中 $ \kappa = (\alpha + \beta + \lambda)/d $。
• 仅当 $ p \in (p_-, p_+) $ 时，对所有 $ f \in L_p $，范数 $ \|I_{\alpha,\beta,\lambda}f\|_q $ 才有限，且在该区间外 $ K_{\alpha,\beta,\lambda}(p) = \infty $。
• 下界通过显式测试函数建立：$ f_0(x) = |x|^{-(d - \alpha)} I(|x| > 1) $ 和 $ g_0(x) = |x|^{-(d - \alpha - \lambda)} I(|x| < 1) $，其 $ L_p $-范数分别按 $ (p - p_-)^{-1/p} $ 和 $ (p_+ - p)^{-1/p} $ 变化。
• 函数 $ f_0 $ 在 $ I_{\alpha,\beta,\lambda} $ 下的像满足 $ \|u_0\|_q \gtrsim (q - q_0)^{-1 - 1/q} $，而 $ g_0 $ 的像满足 $ \|v_0\|_q \gtrsim (q_+ - q)^{-1 - 1/q} $，其中 $ q_0 = d/(\beta + \lambda) $。
• 和函数 $ h = f_0 + g_0 $ 属于 $ L(p_-, p_+) $，且比值 $ \|w\|_q \cdot [(p - p_-)(p_+ - p)]^\kappa / \|h\|_p $ 有正的下界 $ C^{(6)}(\alpha,\beta,\gamma;d) > 0 $，从而证明了下界的精确性。
• 上界与极大函数理论和插值理论中的已知结果一致，确认衰减速率 $ [(p - p_-)(p_+ - p)]^{-\kappa} $ 是最优的。