[论文解读] The asymptotic growth of the constants in the Bohnenblust-Hille inequality is optimal

Diogo Diniz, Gustavo A. Muñoz-Fernández+2 more|arXiv (Cornell University)|Aug 7, 2011

Advanced Banach Space Theory参考文献 9被引用 3

一句话总结

本文证明了博恩施泰因-希尔不等式中最佳常数的渐近增长速率是可能的最慢速率，随着阶数增加，相邻常数之比趋近于1。通过构造一族满足该不等式的常数，其增长为次指数且渐近最优，作者证明了此前最佳已知估计（如增长如 $2^{(m-1)/2}$ 或 $(2/ extstyleackslashsqrt{\pi})^{m-1}$）在长期来看并非最优。

ABSTRACT

We provide (for both the real and complex settings) a family of constants, $% (C_{m})_{m\in \mathbb{N}}$, enjoying the Bohnenblust--Hille inequality and such that $\displaystyle\lim_{m ightarrow \infty}\frac{C_{m}}{C_{m-1}}=1$, i.e., their asymptotic growth is the best possible. As a consequence, we also show that the optimal constants, $(K_{m})_{m\in \mathbb{N}}$, in the Bohnenblust--Hille inequality have the best possible asymptotic behavior. Besides its intrinsic mathematical interest and potential applications to different areas, the importance of this result also lies in the fact that all previous estimates and related results for the last 80 years (such as, for instance, the multilinear version of the famous Grothendieck Theorem for absolutely summing operators) always present constants $C_{m}$'s growing at an exponential rate of certain power of $m$.

研究动机与目标

• 解决长期悬而未决的难题：确定博恩施泰因-希尔不等式中常数的最优渐近行为。
• 证明此前所有已知的常数估计均增长过快，因其表现出指数或超多项式增长速率。
• 构造一族满足博恩施泰因-希尔不等式的常数，其增长速率渐近最优，即 $\lim_{m\to\infty} C_m / C_{m-1} = 1$。
• 证明不等式中最佳常数 $K_m$ 也必须具有这种最小渐近增长，从而确认其最优性。
• 通过建立常数的紧致界，弥合泛函分析与调和分析中的一个缺口，其中博恩施泰因-希尔不等式是基本工具。

提出的方法

• 作者利用多重线性型及其范数的结构，推导出渐近恒等式，定义一族满足博恩施泰因-希尔不等式的递归常数 $(C_m)$。
• 分析比值 $D_n = C_{n+1}/C_n$，并利用 $C_{2n}$ 和 $C_{2n+1}$ 关于 $C_n$ 与 $C_{n+1}$ 的渐近行为所导出的递归不等式与界，证明其收敛于1。
• 关键恒等式如 $C_{2n} \sim \left(\frac{e^{1 - \frac{1}{2}\gamma}}{\sqrt{2}}\right) C_n$ 和 $C_{2n+1} \sim \left(\frac{e^{1 - \frac{1}{2}\gamma}}{\sqrt{2}}\right) (C_n)^{n/(2n+1)} (C_{n+1})^{(n+1)/(2n+1)}$ 被用于将高阶常数与低阶常数关联。
• 他们采用基于上界值的递归论证：若对大 $n$ 有 $D_n < K$，则 $D_n < K^{5/8}$，迭代此过程可得 $D_n < C^{2^{-s}}$ 对任意 $s$ 成立，从而迫使 $D_n \to 1$ 当 $s \to \infty$。
• 证明依赖于 $(C_m)$ 的非减性以及比值 $C_{2n}/C_n$ 的有界性，这确保了序列 $D_n$ 行为良好且收敛。

实验结果

研究问题

• RQ1 博恩施泰因-希尔不等式中常数的最优渐近增长速率是什么？
• RQ2 能否改进这些常数此前已知的指数型增长速率？
• RQ3 是否可能构造一族满足博恩施泰因-希尔不等式的常数，使得相邻常数之比趋于1？
• RQ4 不等式中最佳常数 $K_m$ 是否必然具有与最优构造常数相同的渐近行为？
• RQ5 多重线性型的递归结构如何影响不等式中常数的增长？

主要发现

• 作者构造了一族满足博恩施泰因-希尔不等式的常数 $(C_m)$，使得 $\lim_{m \to \infty} \frac{C_m}{C_{m-1}} = 1$，证明其渐近增长为最优。
• 此构造意味着博恩施泰因-希尔不等式中的最佳常数 $K_m$ 也必须满足 $\lim_{m \to \infty} \frac{K_m}{K_{m-1}} = 1$，从而确认其渐近最优性。
• 该结果解决了泛函分析中的一个长期悬而未决问题，表明所有先前估计（如 $C_m = 2^{(m-1)/2}$ 或 $C_m = (2/\sqrt{\pi})^{m-1}$）均增长过快。
• 证明通过显示任意上界 $K$ 对 $D_n$ 可迭代地降低为 $K^{5/8}$，并进一步降低为 $K^{2^{-s}}$，从而强制极限为1，确立了比值 $D_n = C_{n+1}/C_n$ 收敛于1。
• 渐近恒等式 $C_{2n} \sim \left(\frac{e^{1 - \frac{1}{2}\gamma}}{\sqrt{2}}\right) C_n$ 和 $C_{2n+1} \sim \left(\frac{e^{1 - \frac{1}{2}\gamma}}{\sqrt{2}}\right) (C_n)^{n/(2n+1)} (C_{n+1})^{(n+1)/(2n+1)}$ 在推导递归界时至关重要。
• 该结果在实与复巴拿赫空间设定下均成立，确认最优增长与标量域无关。