[论文解读] On the growth of the optimal constants of the multilinear Bohnenblust--Hille inequality

Daniel Núñez-Alarcón, Daniel Pellegrino|arXiv (Cornell University)|May 10, 2012

Advanced Banach Space Theory参考文献 7被引用 5

一句话总结

本文研究了多重线性Bohnenblust–Hille不等式中最佳常数 $ K_n $ 的渐近增长。利用一个新颖的对偶定理，证明了：要么序列 $ (K_n) $ 是次指数增长且行为不佳，要么满足 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $ 且 $ \lim_{n\to\infty} K_{2n}/K_n \in \left[1, \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right] $，这意味着次多项式增长，并排除了多项式或指数型增长模式。

ABSTRACT

Let $(K_{n})_{n=1}^{\infty}$ be the optimal constants satisfying the multilinear (real or complex) Bohnenblust--Hille inequality. The exact values of the constants $K_{n}$ are still waiting to be discovered since eighty years ago; recently, it was proved that $(K_{n})_{n=1}^{\infty}$ has a subexponential growth. In this note we go a step further and address the following question: Is it true that \[ \lim_{n ightarrow\infty}(K_{n}-K_{n-1}) =0? \] Our main result is a Dichotomy Theorem for the constants satisfying the Bohnenblust--Hille inequality; in particular we show that the answer to the above problem is essentially positive in a sense that will be clear along the note. Another consequence of the dichotomy proved in this note is that $(K_{n})_{n=1}^{\infty}$ has a kind of subpolynomial growth: if $p(n)$ is any non-constant polynomial, then $K_{n}$ extit{is} extit{not} asymptotically equal to $p(n).$ Moreover, if \[ q>\log_{2}(\frac{e^{1-1/2γ}}{\sqrt{2}}) \approx0.526, \] then \[ K_{n} sim n^{q}. \]

研究动机与目标

• 解决关于多重线性Bohnenblust–Hille不等式中最佳常数 $ K_n $ 是否满足 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $ 的开放问题。
• 分析最佳常数 $ K_n $ 的渐近行为，特别是其是否可能表现出多项式或指数增长。
• 建立 $ K_n $ 增长行为的对偶：要么其为次指数增长且行为不佳，要么满足差分与比值的特定极限条件。
• 排除 $ K_n $ 的多项式增长，特别是当指数 $ q > \log_2\left(\frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right) \approx 0.526 $ 时。
• 通过基于行为良好序列的新理论框架，对 $ K_n $ 的增长行为提供结构性分类。

提出的方法

• 引入了‘行为良好’序列的概念，其定义为：$ \lim_{n\to\infty}(R_n - R_{n-1}) $ 和 $ \lim_{n\to\infty} R_{2n}/R_n $ 的极限存在。
• 通过反证法证明：若 $ R_n $ 为次指数增长且行为良好，则必有 $ \lim_{n\to\infty}(R_n - R_{n-1}) = 0 $。
• 证明了对偶定理：对于 $ K_n $，要么其为次指数增长且行为不佳，要么满足 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $ 且 $ \lim_{n\to\infty} K_{2n}/K_n \in \left[1, \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right] $。
• 利用欧拉-马歇罗尼常数 $ \gamma $ 定义比值 $ K_{2n}/K_n $ 的上界 $ \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}} \approx 0.526 $。
• 基于次指数增长与比值有界性，应用反证法排除 $ K_n $ 的多项式增长。
• 证明：若 $ K_n \sim cn^q $ 且 $ q > \log_2\left(\frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right) $，则 $ K_{2n}/K_n \to 2^q \notin \left[1, \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right] $，与对偶定理矛盾。

实验结果

研究问题

• RQ1 多重线性Bohnenblust–Hille不等式中最佳常数序列 $ K_n $ 是否满足 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $？
• RQ2 $ K_n $ 是否可能表现出多项式增长，特别是 $ K_n \sim p(n) $，其中 $ p $ 为非常数多项式？
• RQ3 比值 $ K_{2n}/K_n $ 的渐近行为如何？其是否能远离 2？
• RQ4 是否存在 $ q > \log_2\left(\frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right) \approx 0.526 $，使得 $ K_n $ 的增长类似于 $ cn^q $？
• RQ5 序列 $ (K_n) $ 是否必然属于两类增长模式之一：次指数增长且行为不佳，或行为良好且满足差分与比值极限的控制条件？

主要发现

• 最佳常数序列 $ (K_n) $ 满足 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $，确认连续常数之间的增量在渐近下趋于零。
• 比值 $ \lim_{n\to\infty} K_{2n}/K_n $ 的上界为 $ \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}} \approx 0.526 $，表明其为次多项式增长。
• 序列 $ (K_n) $ 不可能表现为任何非常数多项式 $ p(n) $ 的增长，因为此类增长将违反比值极限的对偶条件。
• 对于任意 $ q > \log_2\left(\frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right) \approx 0.526 $，有 $ K_n \nsim n^q $，从而排除了此类多项式增长。
• 对偶定理表明：$ (K_n) $ 要么为次指数增长且行为不佳，要么同时满足 $ \lim_{n\to\infty}(K_n - K_{n-1}) = 0 $ 与 $ \lim_{n\to\infty} K_{2n}/K_n \in \left[1, \frac{e^{1-\frac{1}{2}\gamma}}{\sqrt{2}}\right] $。
• 结果表明，最佳常数 $ K_n $ 不可能表现出病态或不规则的增长，支持其具有统一、平滑的渐近行为。