[論文レビュー] Hölder's inequality: some recent and unexpected applications

N. Albuquerque, Gustavo Araújo+2 more|arXiv (Cornell University)|Dec 5, 2014

Advanced Banach Space Theory参考文献 37被引用数 3

ひとこと要約

この論文は、混合$L_p$空間におけるホルダーの不等式のあまり知られていない変種—特に、最近、関数解析学、複素解析学、および量子情報理論における主要な発展を可能にした—が、その力を示している。この不等式を補間手法として活用することで、ボーレンブリュースト＝ヒルの不等式およびハーディー＝リトルウッドの不等式に対して最適な部分多項式の境界が得られ、ディリクレ級数理論における長年の問題であったボーレル半径の漸近的成長が$\sqrt{\frac{\log n}{n}}$に正確に特定された。

ABSTRACT

Hölder's inequality, since its appearance in 1888, has played a fundamental role in Mathematical Analysis and it is, without any doubt, one of the milestones in Mathematics. It may seem strange that, nowadays, it keeps resurfacing and bringing new insights to the mathematical community. In this expository article we show how a variant of Hölder's inequality (although well-known in PDEs) was essentially overlooked in Functional Analysis and has had a crucial (and in some sense unexpected) influence in very recent and major breakthroughs in Mathematics. Some of these recent advances appeared in 2012-2014 and include the theory of Dirichlet series, the famous Bohr radius problem, certain classical inequalities (such as Bohnenblust--Hille or Hardy--Littlewood), or even Mathematical Physics.

研究の動機と目的

• 関数解析学、複素解析学、および量子情報理論の分野における最近の進展において、あまりに軽視されがちなが強力な役割を果たす混合$L_p$空間におけるホルダーの不等式の意義を示すこと。
• ディリクレ級数および複素解析における古典的問題である$n$次元ボーレル半径の漸近的成長を解明すること。
• このホルダーの不等式の変種を用いて、ボーレンブリュースト＝ヒルおよびハリー＝リトルウッドの不等式における既知の最良の定数を改善すること。
• 多重線形作用素の別々の和集合に関する理論および関連不等式におけるより緊密な境界を確立すること。

提案手法

• 1961年のベネデッキとパノンの結果に基づくが、関数解析学においては最近になってようやく認識された、混合$\ell_p$空間におけるホルダーの不等式を補間手法として応用すること。
• 一般化されたカハーネ＝サレム＝ジーグムントの不等式を混合ノルムホルダー不等式と併用し、多重線形作用素理論における推定値を精緻化すること。
• ウィエナーの不等式およびハリスの不等式を用いて、複素解析の道具と新しい補間フレームワークを橋渡しすること。
• 混合ノルムホルダー不等式をバヤールの不等式やミンコフスキーの不等式といった古典的結果と組み合わせ、改善された境界を導出すること。
• 補間技法を用いて、多重線形作用素における$n$分離可能性を$N$分離可能性に一般化し、指数の推定値を改善すること。
• 新しい不等式フレームワークを用いて、ボーレンブリュースト＝ヒルおよびハリー＝リトルウッドの不等式における定数の部分多項式成長推定値を導出すること。

実験結果

リサーチクエスチョン

• RQ1 $n$次元ボーレル半径の漸近的挙動は何か？ そして、現代の関数解析的ツールを用いて正確に特定可能か？
• RQ2 ボーレンブリュースト＝ヒルおよびハリー＝リトルウッドの不等式における定数は、以前に知られていた$\left(\sqrt{2}\right)^{m-1}$の境界を超えて改善可能か？
• RQ3 混合$L_p$空間におけるホルダーの不等式は、ディリクレ級数、量子情報、多重線形作用素理論といった異なる分野を統合する補間手法として、どの程度まで有効に機能するか？
• RQ4 新しいフレームワークは、別々に和集合となる多重線形作用素の理論およびそれらの$N$分離可能性の理論をどの程度改善するか？

主な発見

• $n$次元ボーレル半径の漸近的成長は正確に$\sqrt{\frac{\log n}{n}}$であり、$\displaystyle\lim_{n\to\infty}\frac{\mathrm{K}_n}{\sqrt{\frac{\log n}{n}}}=1$が成り立つ。これは複素解析における古典的問題を解決するものである。
• ボーレンブリュースト＝ヒルの不等式の定数$\mathrm{B}_{\mathbb{K},m}^{\mathrm{mult}}$は部分多項式成長を示し、新しいフレームワークにより、実数スカラーの場合、上界が$\left(\sqrt{2}\right)^{m-1}$から$\left(\sqrt{2}\right)^{\frac{2m(m-1)}{p}}\left(\mathrm{B}_{\mathbb{R},m}^{\mathrm{mult}}\right)^{\frac{p-2m}{p}}$に改善された。
• 複素数スカラーの場合、改善された上界は$\left(\frac{2}{\sqrt{\pi}}\right)^{\frac{2m(m-1)}{p}}\left(\mathrm{B}_{\mathbb{C},m}^{\mathrm{mult}}\right)^{\frac{p-2m}{p}}$であり、$p > m^2$のとき部分多項式成長を示す。
• 本論文は、混合ノルムホルダー不等式がハリー＝リトルウッドの不等式におけるより緊密な定数の導出を可能にすることを確立した。特に$p > m^2$のとき、定数は部分多項式的に成長する。
• 別々に和集合となる作用素の理論が一般化された：$n$分離可能性が$n < N \leq m$における$N$分離可能性を示し、特殊な場合においては指数の推定値が改善された。
• 混合ノルムホルダー不等式の応用が、ボーレル半径の鋭い漸近的挙動の証明における重要な一歩を提供し、以前の$\mathrm{K}_n = b_n\sqrt{\frac{\log n}{n}}$の形の推定値における不確実性（$\frac{1}{\sqrt{2}}+o(1) \leq b_n \leq 2$）を解消した。