[论文解读] Sharp Riesz-Fej\'er inequality for harmonic Hardy spaces

Petar Melentijević, Vladimir Božin|arXiv (Cornell University)|Nov 15, 2019

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

一句话总结

本文针对所有 $ 1 < p < \infty $，在单位圆盘上建立了调和 Hardy 空间 $ h^p(\mathbb{D}) $ 的精确 Riesz-Fejér 不等式，证明最优常数为 $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $。证明方法基于 Poisson 延拓算子上的 Schur 判别法，通过精心选择的权函数 $ h(z) = \Re(1 - z^2)^{-1/p} $，利用凸性与包含 Beta 函数的积分恒等式，推导出精确的 $ L^p $ 估计。

ABSTRACT

We prove sharp version of Riesz-Fej\'er inequality for functions in harmonic Hardy space $h^p(\mathbb{D})$ on the unit disk $\mathbb{D}$, for $p>1,$ thus extending the result from \cite{KPK} and resolving the posed conjecture.

研究动机与目标

• 解决 Kayumov 等人关于调和 Hardy 空间 $ h^p(\mathbb{D}) $ 中 Riesz-Fejér 不等式最优常数的猜想。
• 将已知的精确不等式从 $ p \in (1,2] $ 扩展至整个范围 $ 1 < p < \infty $。
• 对所有 $ p > 1 $ 确立常数 $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ 的最优性，从而证实该猜想。

提出的方法

• 将 Schur 判别法应用于 Poisson 延拓算子 $ T $，其映射 $ L^p(\partial\mathbb{D}) $ 到 $ L^p([-1,1]) $，核函数为 $ K(r, \theta) = \frac{1 - r^2}{1 - 2r\cos\theta + r^2} $。
• 构造测试函数 $ h(z) = \Re(1 - z^2)^{-1/p} $，其边界值在单位圆周上可显式计算。
• 通过将不等式化为一维积分，验证 Schur 条件 $ T^*((Th)^{p-1}) \leq C \cdot h^{p-1} $ 几乎处处成立，其中 $ C = \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $。
• 通过代换 $ \frac{1+r}{1-r} = y \cot(\theta/2) $ 转换积分，使其适合利用三角恒等式与超几何函数恒等式进行分析。
• 证明所得函数 $ F(\theta) $ 在 $ [0, \pi] $ 上的凸性，且满足 $ F(0) = F(\pi) = \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $，从而推出最大值在端点处取得。
• 利用 Beta 函数恒等式计算 $ F(0) $，确认等式 $ F(0) = \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $ 成立。

实验结果

研究问题

• RQ1 对于所有 $ 1 < p < \infty $，常数 $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $ 是否为调和 Hardy 空间 $ h^p(\mathbb{D}) $ 中 Riesz-Fejér 不等式的精确常数？
• RQ2 Schur 判别法能否有效应用于 Poisson 延拓算子，以推导调和函数的精确 $ L^p $ 估计？
• RQ3 由变换后积分导出的函数 $ F(\theta) $ 是否在端点 $ \theta = 0 $ 和 $ \theta = \pi $ 处取得最大值，且该最大值是否等于 $ \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $？
• RQ4 权函数 $ h(z) = \Re(1 - z^2)^{-1/p} $ 是否适合作为该情境下 Schur 判别法的测试函数，且能否导出正确的精确常数？
• RQ5 能否通过二阶导数分析严格证明 $ F(\theta) $ 的凸性，且该凸性是否蕴含所要求的不等式？

主要发现

• 对所有 $ 1 < p < \infty $，调和 Hardy 空间 $ h^p(\mathbb{D}) $ 的精确 Riesz-Fejér 不等式成立，最优常数为 $ \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) $，从而解决了 Kayumov 等人的猜想。
• 函数 $ F(\theta) $（表示代换后的归一化积分）在 $ [0, \pi] $ 上为凸函数，其最大值为 $ \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $，且在 $ \theta = 0 $ 与 $ \theta = \pi $ 处取得。
• 利用 Beta 函数恒等式 $ B(a,b) = \int_0^{\pi/2} \sin^{2a-1}x \cos^{2b-1}x \, dx $，精确计算出 $ F(0) = \frac{1}{2} \cos\left(\frac{\pi}{2p}\right) $。
• 对于所构造的权函数 $ h(z) = \Re(1 - z^2)^{-1/p} $，Schur 条件以等式形式成立，从而确认了常数的最优性。
• Poisson 延拓算子的 $ L^p $ 算子范数恰好为 $ \left( \frac{1}{2} \cos^p\left(\frac{\pi}{2p}\right) \right)^{1/p} = \frac{1}{2^{1/p}} \cos\left(\frac{\pi}{2p}\right) $，与精确常数一致。
• 由于 $ h^p $ 范数的旋转不变性，分析可无损失地限制在 $ s = 0 $ 情形，从而简化了证明。