[論文レビュー] There exist multilinear Bohnenblust-Hille constants $(C_{n})_{n=1}^{\infty}$ with $\displaystyle \lim_{n ightarrow \infty}(C_{n+1}-C_{n}) =0.$

Daniel Núñez-Alarcón, Daniel Pellegrino+2 more|arXiv (Cornell University)|Jun 30, 2012

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

ひとこと要約

本稿は、実数および複素数スカラーの両方について、最適な多重線形Bohnenblust–Hille定数 $(C_n)_{n=1}^\infty$ の存在を確立し、$n \to \infty$ のとき差 $C_{n+1} - C_n$ がゼロに収束することを示し、長年の懸案であったこれらの定数の漸近的挙動を解消した。$\pi$、$e$、およびオイラー＝マスケローニ定数 $\gamma$ を含む鋭い上界を導出し、調和解析および作用素イデアルに裏打ちされた新しい再帰的・解析的技法を用いて、驚くほど緩やかな増加—例えば複素数スカラーでは $K_n < 1.41(n-1)^{0.305} - 0.04$—を明らかにした。

ABSTRACT

The $n$-linear Bohnenblust-Hille inequality asserts that there is a constant $C_{n}\in\lbrack1,\infty)$ such that the $\ell_{\frac{2n}{n+1}}$-norm of $(U(e_{i_{^{1}}},...,e_{i_{n}}))_{i_{1},...i_{n}=1}^{N}$is bounded above by $C_{n}$ times the supremum norm of $U,$ regardless of the $n$-linear form $U:\mathbb{C}^{N} imes... imes\mathbb{C}^{N}% ightarrow\mathbb{C}$ and the positive integer $N$ (the same holds for real scalars). The power $2n/(n+1)$ is sharp but the values and asymptotic behavior of the optimal constants remain a mystery. The first estimates for these constants had exponential growth. Very recently, a new panorama emerged and the importance, for many applications, of the knowledge of the optimal constants (denoted by $(K_{n})_{n=1}^{\infty}$) was stressed. The title of this paper is part of our Fundamental Lemma, one of the novelties presented here. It brings surprising new (and precise) information on the optimal constants (for both real and complex scalars). For instance, [K_{n+1}-K_{n}

研究の動機と目的

• 実数および複素数スカラーの両方における最適な多重線形Bohnenblust–Hille定数 $(C_n)_{n=1}^\infty$ の漸近的挙動を解明すること。
• 差 $C_{n+1} - C_n$ が $n \to \infty$ のときゼロに収束することを確立し、多重線形不等式の理論における主要な未解決問題を解決すること。
• 複素数の場合の最適定数 $K_n^\mathbb{C}$ に対して、$\pi$、$e$、およびオイラー＝マスケローニ定数 $\gamma$ を含む明示的かつ鋭い上界を導出すること。
• 指数 $q \in \left[\frac{2n}{n+1}, \infty\right)$ の一般化Bohnenblust–Hille不等式への拡張を行い、対応する定数を推定するための技法を適応すること。
• 多重線形および多項式作用素ノルムの文脈において、Kahane–Salem–Zygmund不等式とBohnenblust–Hille不等式の間の関係を明確にすること。

提案手法

• 最適定数 $K_n$ の増加を制御するためのコアな解析的道具として「基本補題」を導入し、ガンマ関数およびオイラー＝マスケローニ定数 $\gamma$ を含む再帰的不等式と関連付ける。
• 近年の[22, 33]の技法を応用して、実数定数 $K_{n,t}^\mathbb{R}$ の下界を導出し、$t \in [1,2)$ のとき $K_{n,t}^\mathbb{R} \geq 2^{(n-1)(2-t)/(nt)}$ を示した。
• パrameter $t \in [1,2)$ を用いた複素数定数 $K_{n,t}^\mathbb{C}$ の再帰的公式を導出し、$\Gamma$-関数および正規化された定数 $\widetilde{A}_p$ に依存する明示的表現を得た。
• 積分推定およびガンマ関数の漸近的解析を用いて、差 $K_{n+1,t}^\mathbb{C} - K_{n,t}^\mathbb{C}$ の上界を導出し、$n \to \infty$ のときゼロに収束することを証明した。
• 和の推定および対数スケーリングを用いて、$n \geq 2$ に対して明示的上界 $K_n^\mathbb{C} < 1 + \left(\frac{4}{\sqrt{\pi}}\left(1 - e^{\gamma/2 - 1/2}\right)\sum_{j=1}^{n-1} j^{\log_2(e^{-\gamma/2 + 1/2}) - 1}\right)$ を得た。
• 導出された上界を数値的に評価し、部分多項式的成長—例えば $K_n^\mathbb{C} < 1.41(n-1)^{0.305} - 0.04$—を示した。再帰的構造から得られた定数 $c'(t), r'(t), p'(t)$ を用いた。

実験結果

リサーチクエスチョン

• RQ1 最適な多重線形Bohnenblust–Hille定数 $K_n$ は $\lim_{n \to \infty} (K_{n+1} - K_n) = 0$ を満たすか？
• RQ2 複素数スカラーの最適な多重線形Bohnenblust–Hille定数 $K_n^\mathbb{C}$ に対して、$\pi$、$e$、$\gamma$ などの基本定数を含む明示的で鋭い上界を導出可能か？
• RQ3 最適定数 $K_n^\mathbb{C}$ の漸近的成長率は何か？また、これは $n$ の部分多項式関数で上から抑えられるか？
• RQ4 指数 $\frac{2n}{n+1}$ が一般の $q \in \left[\frac{2n}{n+1}, \infty\right)$ に置き換えられた場合、Bohnenblust–Hille定数はどのように振る舞うか？
• RQ5 最適定数推定の観点から、Kahane–Salem–Zygmund不等式と多重線形Bohnenblust–Hille不等式の正確な関係は何か？

主な発見

• 複素数スカラーの最適な多重線形Bohnenblust–Hille定数 $K_n^\mathbb{C}$ は、すべての $n \geq 2$ に対して $K_n^\mathbb{C} < 1.41(n-1)^{0.305} - 0.04$ を満たし、極めて緩慢で部分多項式的成長を示している。
• 閉形式の上界が $\pi$、$e$、$\gamma$ を含む形で導出された：$K_n^\mathbb{C} < 1 + \left(\frac{4}{\sqrt{\pi}}\left(1 - e^{\gamma/2 - 1/2}\right)\sum_{j=1}^{n-1} j^{\log_2(e^{-\gamma/2 + 1/2}) - 1}\right)$。
• $K_{n+1}^\mathbb{C} - K_n^\mathbb{C}$ は $n \to \infty$ のときゼロに収束し、無限に多くの $n$ に対して $O\left(n^{\log_2(e^{(\gamma-1)(2t-4)/(4t)}) - 1 + \varepsilon}\right)$ で抑えられる（任意の $\varepsilon > 0$）。
• 実数スカラーの場合、差 $K_{n+1}^\mathbb{R} - K_n^\mathbb{R}$ は無限に多くの $n$ に対して $\frac{0.87}{n^{0.473}}$ で上界が与えられ、部分線形減衰を確認した。
• 定数の漸近的挙動は、ガンマ関数および正規化された $\widetilde{A}_p$-定数を含む再帰的構造によって支配されており、成長率を正確に制御可能である。
• 本稿は、すべての $t \in [1,2)$ に対して $\lim_{n \to \infty} (K_{n+1,t}^\mathbb{C} - K_{n,t}^\mathbb{C}) = 0$ を確立し、一般化された設定でも差の列がゼロに収束することを確認した。