[論文レビュー] A geometric technique to generate lower estimates for the constants in the Bohnenblust--Hille inequalities

Gustavo A. Muñoz-Fernández, Daniel Pellegrino+2 more|arXiv (Cornell University)|Mar 5, 2012

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

ひとこと要約

本稿は、$β^\infty_n$ 上の多項式空間における単位球の構造と Krein–Milman 定理を組み合わせる幾何的技法を提案し、Bohnenblust–Hille 定数 $D_{\mathbb{R},m}$ および $D_{\mathbb{C},m}$ の改善された下界を導出する。$D_{\mathbb{C},2} \geq 1.1066$ が示され、従来の下界推定値を著しく上回り、特に高次の場合における多項式単位球の幾何的洞察の重要性を浮き彫りにする。

ABSTRACT

The Bohnenblust--Hille (polynomial and multilinear) inequalities were proved in 1931 in order to solve Bohr's absolute convergence problem on Dirichlet series. Since then these inequalities have found applications in various fields of analysis and analytic number theory. The control of the constants involved is crucial for applications, as it became evident in a recent outstanding paper of Defant, Frerick, Ortega-Cerdá, Ouna\"ıes and Seip published in 2011. The present work is devoted to obtain lower estimates for the constants appearing in the Bohnenblust--Hille polynomial inequality and some of its variants. The technique that we introduce for this task is a combination of the Krein--Milman Theorem with a description of the geometry of the unit ball of polynomial spaces on $\ell^2_\infty$.

研究の動機と目的

• 多項式作用素不等式における $D_{\mathbb{R},m}$ および $D_{\mathbb{C},m}$ の下界推定値の改善。
• Dirichlet 級数や Bohr 問題を含む応用分野における鋭い定数の必要性に対応する。
• $\mathcal{P}(^m\ell^\infty_n)$ の単位球の構造を活用して非自明な下界を導出する幾何的技法の開発。
• $\ell^\infty_n$ 空間における多項式単位球の幾何学的性質に関する今後の研究を促す。特に複素数および高次の場合に焦点を当てる。

提案手法

• 単位球 $\mathcal{P}(^m\ell^\infty_n)$ に Krein–Milman 定理を適用し、その極端点を用いて下界を導出する。
• 多項式 $m$-斉次の作用素ノルム $\|P\|$ および係数の $\ell^{2m/(m+1)}$-ノルムの明示的表現を用いる。
• $m=2$ の場合、$ab < 0$ を満たす実係数多項式 $P_2(z_1,z_2) = a z_1^2 + b z_2^2 + c z_1 z_2$ を分析し、$D_{\mathbb{C},2}$ を定義する比を最大化する。
• 最大モジュラス原理と [AronKlimek] で知られているノルム公式を用いて、$\|P_2\|$ を異なる場合に計算する。
• 高次 $m$ に対しては、単位球内の極値的配置を分析することで一般化されるが、$m \geq 3$ の複素数多項式では有効性が低下する。
• 数値的に $D_{\mathbb{R},m}$ の下界を $m=12000$ まで計算し、$1.495$ に近い基数で指数関数的に増加することが示された。

実験結果

リサーチクエスチョン

• RQ1 $m \geq 2$ に対して、Bohnenblust–Hille 定数 $D_{\mathbb{R},m}$ および $D_{\mathbb{C},m}$ の最良の下界推定値は何か？
• RQ2 多項式空間 $\mathcal{P}(^m\ell^\infty^n)$ の単位球の幾何的性質をどのように活用して、これらの定数に対する非自明な下界を導出できるか？
• RQ3 なぜ現在の手法は $m \geq 3$ の複素 $m$-斉次多項式に対しては有効でないのか？
• RQ4 定数 $C > 1.49$ を用いて、$D_{\mathbb{R},m}$ の成長率が $C^m$ で下から抑えられるか？
• RQ5 多項式作用素不等式における鋭い定数を決定するにあたり、単位球の幾何学的性質は果たすどのような役割を果たすか？

主な発見

• 本稿では $D_{\mathbb{C},2}$ の新たな下界が確立された：$D_{\mathbb{C},2} \geq 1.1066$、これは従来の推定値を著しく上回る。
• 実数多項式の場合、$D_{\mathbb{R},8} \geq (1.4013)^8$、$D_{\mathbb{R},200} \geq (1.4851)^{200}$、$D_{\mathbb{R},12000} \geq (1.4950)^{12000}$ が得られ、基数が $1.495$ に近づく指数的増加が示された。
• $D_{\mathbb{R},m}$ の下界は急速に増加する：$D_{\mathbb{R},40} \geq 3.7444 \times 10^6$、$D_{\mathbb{R},200} \geq 2.2443 \times 10^{34}$、$D_{\mathbb{R},12000} \geq (1.4950)^{12000}$。
• この手法により、Bohnenblust–Hille 定数の元々の上界推定値が、特に小規模な $m$ に対して著しく鋭くないことが明らかになった。$m=10$ の場合、上界が $80.28$ から $2.3$ 未満にまで低下した。
• 単位球の幾何学的構造を完全に把握していなくても、実 $m$-斉次多項式に対してはこの手法が有効であるが、$m \geq 3$ の複素数多項式では効果が薄い。
• 著者らは、複素数の場合および高次 $m$ における境界の改善には、$\mathcal{P}(^m\ell^\infty_n)$ の単位球のより深い幾何的理解が不可欠であると結論づける。