[论文解读] Estimates on the norm of polynomials and applications

Gustavo Araújo, P. Jiménez-Rodríguez+2 more|arXiv (Cornell University)|Jul 6, 2015

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

一句话总结

本文利用 Krein-Milman 定理识别极值多项式，精确计算了 $\ell_p^2$ 空间上多项式范数与系数的 $\sigma$-范数之间的等价常数。研究建立了 $2 < p \leq \infty$ 时，$\ell_p^2$ 上二阶齐次多项式的 Hardy–Littlewood 常数的精确值，并通过极值多项式的幂次构造，得到了高次多项式更优的下界估计，包括 $D_{\mathbb{R},2,4}(2)$ 的精确值 $\sqrt{2}$。

ABSTRACT

In this paper, equivalence constants between various polynomial norms are calculated. As an application, we also obtain sharp values of the Hardy--Littlewood constants for $2$-homogeneous polynomials on $\ell_p^2$ spaces, $2

研究动机与目标

• 计算 $\ell_p^2$ 空间上多项式范数与系数的 $\ell_q$-范数之间等价常数的精确值。
• 确定 $2 < p \leq \infty$ 时，$\ell_p^2$ 上二阶齐次多项式的 Hardy–Littlewood 常数的精确值。
• 通过极值多项式的幂次构造，推导高次多项式 Hardy–Littlewood 常数的改进下界。

提出的方法

• 应用 Krein-Milman 定理于多项式范数与系数范数的单位球，以识别极值点。
• 该方法涉及在多项式范数 $\|\cdot\|_p$ 的单位球上最大化系数的 $\ell_q$-范数，反之亦然。
• 对 $p=4$ 和 $p \in (2,4)$ 显式构造了极值多项式，其闭式表达式包含满足 $\alpha^p + \beta^p = 1$ 的参数 $\alpha, \beta$。
• 将常数 $K_{m,q,p}$ 与 $k_{m,q,p}$ 计算为 $\|P\|_p$ 与 $|P|_q$ 之间最优的界。
• 通过 MATLAB 进行数值计算，以估计由极值二次多项式导出的高次多项式 $P^m$ 的 $|P^m|_2$。
• 该方法利用了对称性，并借鉴了先前关于 Bohnenblust–Hille 与 Hardy–Littlewood 不等式中极值结构的研究成果。

实验结果

研究问题

• RQ1 对于 $m=2$ 且 $2 < p \leq \infty$，多项式范数 $\|\cdot\|_p$ 与 $\ell_p^2$ 上系数的 $\ell_q$-范数之间最优常数 $K_{m,q,p}$ 与 $k_{m,q,p}$ 的精确值是什么？
• RQ2 $D_{\mathbb{R},2,4}(2)$ 的 Hardy–Littlewood 常数能否被精确计算，其值是多少？
• RQ3 当使用极值二次多项式的幂次而非仅使用二次多项式时，$D_{\mathbb{R},2m,4m}(2)$ 的下界估计如何改进？
• RQ4 对于 $D_{\mathbb{R},m,2m}(2)$ 的极值多项式是否与 $D_{\mathbb{R},m}(2)$ 的极值多项式具有相同的对称性？这种对称性如何影响下界估计？
• RQ5 当 $p \to \infty$ 时，$K_{2,\frac{4p}{3p-4},p}$ 的渐近行为如何？其值与 Bohnenblust–Hille 常数 $D_{\mathbb{R},2}(2) \approx 1.83737$ 的接近程度如何？

主要发现

• Hardy–Littlewood 常数 $D_{\mathbb{R},2,4}(2)$ 的精确值为 $\sqrt{2} \approx 1.414213562373095$，解决了先前研究中的数值下界。
• 当 $p=4$ 时，对于满足 $\alpha^p + \beta^p = 1$ 的一族极值多项式 $P(x,y) = \pm\left(\frac{\alpha^p - \beta^p}{\alpha^2 + \beta^2}(x^2 - y^2) + 2\alpha\beta\frac{\alpha^{p-2} + \beta^{p-2}}{\alpha^2 + \beta^2}xy\right)$，有 $|P|_2 = \sqrt{2}\|P\|_4$ 成立。
• 使用极值二次多项式的幂次构造后，$D_{\mathbb{R},2m,4m}(2)$ 的下界估计显著提升：当 $m=400$ 时，估计值达到 $1.5465^{100}$，超过文献 [7] 中的先前估计。
• $K_{2,\frac{4p}{3p-4},p}$ 随 $p$ 增大而增加，当 $p \to \infty$ 时趋近于 $D_{\mathbb{R},2}(2) \approx 1.83737$，在 $p=250$ 时达到 $1.82939$。
• 当 $m=5$ 时，下界估计 $D_{\mathbb{R},5,10}(2) \geq 6.236014$ 超过了文献 [7] 中的先前估计 $6.191704$，表明新方法具有显著有效性。
• 对于 $D_{\mathbb{R},2,4}(2)$ 的极值多项式，其在符号模式 $ax^5 - bx^4y - cx^3y^2 + cx^2y^3 + bxy^4 - ay^5$ 下不具有对称性，表明 $D_{\mathbb{R},m,2m}(2)$ 的极值结构可能与 $D_{\mathbb{R},m}(2)$ 不同。