[論文レビュー] Estimates on the norm of polynomials and applications

Gustavo Araújo, P. Jiménez-Rodríguez+2 more|arXiv (Cornell University)|Jul 6, 2015

Advanced Harmonic Analysis Research参考文献 12被引用数 4

ひとこと要約

本稿では、Krein-Milman定理を用いて極値多項式を同定することで、ℓ_p^2 上の多項式ノルムと係数のσ-ノルムの間の等価定数の正確な推定値を提供する。2-斉次多項式に対するHardy–Littlewood定数の鋭い値を、2 < p ≤ ∞ に対して得ており、極値多項式のべき乗を用いることで高次多項式の下界を改善し、D_{\mathbb{R},2,4}(2) の正確な値 √2 を得ている。

ABSTRACT

In this paper, equivalence constants between various polynomial norms are calculated. As an application, we also obtain sharp values of the Hardy--Littlewood constants for $2$-homogeneous polynomials on $\ell_p^2$ spaces, $2

研究の動機と目的

• ℓ_p^2 空間上での多項式ノルムと係数のℓ_q-ノルムの間の正確な等価定数を計算すること。
• 2 < p ≤ ∞ に対して、ℓ_p^2 上の2-斉次多項式に対するHardy–Littlewood定数の鋭い値を特定すること。
• 極値2次多項式のべき乗を用いることで、高次多項式のHardy–Littlewood定数の改善された下界を導出すること。

提案手法

• 多項式ノルムと係数ノルムの単位球にKrein-Milman定理を適用し、極値点を同定する。
• 多項式ノルム ‖·‖_p の単位球上で係数のℓ_q-ノルムを最大化し、逆にそれらを繰り返す方法を採用する。
• p=4 および p ∈ (2,4) に対して、パラメータ α, β が α^p + β^p = 1 を満たすように、極値多項式を明示的に構成する。
• K_{m,q,p} および k_{m,q,p} を、‖P‖_p と |P|_q 間の最適な境界として計算する。
• MATLABによる数値計算を用いて、極値2次多項式から得られる高次多項式 P^m に対する |P^m|_2 を推定する。
• Bohnenblust–Hille および Hardy–Littlewood 不等式に関する先行研究で知られている対称性と極値構造を活用する。

実験結果

リサーチクエスチョン

• RQ1 m=2 および 2 < p ≤ ∞ に対して、ℓ_p^2 上の多項式ノルム ‖·‖_p と係数のℓ_q-ノルムの間の最適定数 K_{m,q,p} および k_{m,q,p} の正確な値は何か？
• RQ2 Hardy–Littlewood定数 D_{\mathbb{R},2,4}(2) は正確に計算可能か？その値は何か？
• RQ3 極値2次多項式のべき乗を用いることで、D_{\mathbb{R},2m,4m}(2) の下界は、2次多項式単体よりもどのように改善されるか？
• RQ4 D_{\mathbb{R},m,2m}(2) の極値多項式は、D_{\mathbb{R},m}(2) の極値多項式と同一の対称性を示すか？また、その対称性は下界推定値にどのように影響するか？
• RQ5 K_{2,\frac{4p}{3p-4},p} の漸近的挙動は p → ∞ のときどうなるか？また、Bohnenblust–Hille 定数 D_{\mathbb{R},2}(2) ≈ 1.83737 にどれほど近づくか？

主な発見

• Hardy–Littlewood定数 D_{\mathbb{R},2,4}(2) の正確な値は √2 ≈ 1.414213562373095 であり、これにより先行研究における数値的下界が解消された。
• p=4 の場合、|P|_2 = √2 ‖P‖_4 を満たす極値多項式の族 P(x,y) = ±( (α^p - β^p)/(α^2 + β^2) (x^2 - y^2) + 2αβ (α^{p-2} + β^{p-2})/(α^2 + β^2) xy ) が存在し、α^p + β^p = 1 を満たす。
• 次数を上げることで、D_{\mathbb{R},2m,4m}(2) の下界は著しく改善される。m=400 の場合、推定値は 1.5465^{100} に達し、[7] からの先行推定値を上回る。
• 定数 K_{2,\frac{4p}{3p-4},p} は p と共に増加し、p → ∞ のとき D_{\mathbb{R},2}(2) ≈ 1.83737 に近づく。p=250 では 1.82939 に達する。
• m=5 の場合、下界 D_{\mathbb{R},5,10}(2) ≥ 6.236014 は、[7] からの先行推定値 6.191704 を上回り、本手法の有効性を示している。
• D_{\mathbb{R},2,4}(2) の極値多項式は、符号パターン ax^5 - bx^4y - cx^3y^2 + cx^2y^3 + bxy^4 - ay^5 に関して対称でないため、D_{\mathbb{R},m,2m}(2) の極値構造は D_{\mathbb{R},m}(2) のそれと異なる可能性がある。