[论文解读] On the real polynomial Bohnenblust-Hille inequality

Jamilson R. Campos, P. Jiménez-Rodríguez+3 more|arXiv (Cornell University)|Sep 20, 2012

Advanced Banach Space Theory参考文献 36被引用 4

一句话总结

本文证明实多项式Bohnenblust–Hille不等式并非次指数增长，与复版本不同。它证明实Bohnenblust–Hille常数 $ D_{\bbR,m} $ 的最优增长速率满足 $ \limsup_{m \to \infty} D_{\bbR,m}^{1/m} = 2 $，表明实情形下存在精确的指数增长，与复情形中的次指数行为形成鲜明对比。

ABSTRACT

It was recently proved by Bayart et al. that the complex polynomial Bohnenblust--Hille inequality is subexponential. We show that, for real scalars, this does no longer hold. Moreover, we show that, if $D_{\mathbb{R},m}$ stands for the real Bohnenblust--Hille constant for $m$-homogeneous polynomials, then $\displaystyle\lim\sup_{m}D_{\mathbb{R},m}^{1/m}=2.$

研究动机与目标

• 确定实多项式Bohnenblust–Hille不等式是否如复情形一样呈现次指数增长。
• 确定 $ m $-齐次多项式实Bohnenblust–Hille常数 $ D_{\bbR,m} $ 的最优增长速率。
• 对比有限维空间中实与复版本不等式的性质。
• 确立实常数呈指数增长，且精确的指数增长率为 $ \limsup D_{\bbR,m}^{1/m} = 2 $。

提出的方法

• 作者通过构造变量数不断增加的实齐次多项式族，推导出 $ D_{\bbR,m}(n) $ 的下界。
• 他们利用多项式系数的 $ \ell_p $-范数，并通过不等式 $ |P|_{2m/(m+1)} \leq D_{\bbR,m} \|P\| $ 将其与算子范数关联。
• 关键构造涉及多项式 $ Q_{2^{m+1}}^n $，其 $ \ell_\infty $-范数通过二项式系数估计得到下界。
• 证明利用不等式 $ |P|_{2m/(m+1)} \geq |P|_\infty $ 推导出 $ D_{\bbR,m}(n) $ 的指数下界。
• 对于有限维空间，他们分析了固定 $ N \geq 2 $ 时的 $ \mathcal{P}(^{m}\ell_\infty^N) $ 情形，使用如 $ P_4(x,y) = x^3y - xy^3 $ 等特定多项式。
• 应用Stirling公式渐近估计系数范数中二项式和的增长，从而得出指数增长率。

实验结果

研究问题

• RQ1 实多项式Bohnenblust–Hille不等式是否如复版本一样为次指数？
• RQ2 实Bohnenblust–Hille常数 $ D_{\bbR,m} $ 的精确指数增长速率为何？
• RQ3 在有限维空间中，实Bohnenblust–Hille常数的行为与复情形有何不同？
• RQ4 对于固定的 $ N $，实常数是否可压缩（即当 $ m \to \infty $ 时 $ D_{\bbR,m}(N) \to 1 $），如复情形所示？
• RQ5 实情形下 $ \limsup_{m \to \infty} D_{\bbR,m}^{1/m} $ 的精确下界为何？

主要发现

• 实多项式Bohnenblust–Hille不等式并非次指数增长；其表现出指数增长。
• 实Bohnenblust–Hille常数的最优指数增长速率恰好为 $ \limsup_{m \to \infty} D_{\bbR,m}^{1/m} = 2 $。
• 对于固定的 $ N \geq 2 $，有限维实常数满足 $ \limsup_{m \to \infty} D_{\bbR,m}(N)^{1/m} \geq \sqrt[8]{27} \approx 1.5098 $，表明其不具备压缩性。
• 通过构造多项式 $ P_4(x,y) = x^3y - xy^3 $ 及其幂次，得到 $ D_{\bbR,4n}(2) $ 的下界为 $ \left(\sqrt[8]{27}\right)^m $ 量级。
• 利用Stirling公式，作者推导出渐近下界 $ D_{\bbR,m}(2) \gtrsim \sqrt[4]{\frac{4}{m\pi}} \left(\sqrt[8]{27}\right)^m $，证实了指数增长。
• 实情形与复情形存在根本性差异，复情形中 $ D_{\bbC,m} $ 为次指数，凸显了绝对求和算子理论中的关键二分性。