[論文レビュー] 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/ackslashsqrt{\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$.

研究の動機と目的

• ボーハンブルスト＝ハイレ不等式における定数の最適漸近的挙動を特定する長年の未解決問題を解消すること。
• これらの定数に対するこれまでのすべての既知の推定値が、指数的または超多項式的成長率を示しており、成長が速すぎるということを示すこと。
• 連続する定数の比が1に近づく、すなわち $\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}$ で表す漸近的挙動に基づく再帰的不等式と境界を用いて、$D_n$ の収束を証明した。
• 重要な恒等式として、$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 \to \infty$ のとき $D_n \to 1$ となる。
• $(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/\backslashsqrt{\pi})^{m-1}$）は、成長が速すぎる。
• 証明では、比 $D_n = C_{n+1}/C_n$ が1に収束することを示し、任意の上界 $K$ が繰り返し $K^{5/8}$ にまで低下でき、さらに $K^{2^{-s}}$ にまで低下させられることを示した。これにより、極限が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)}$ は、再帰的境界を導出するために不可欠であった。
• 結果は、実および複素バナッハ空間の両方の設定で成り立つため、最適成長がスカラー体に依存しないことが確認された。