[論文レビュー] Geometry of the closed unit ball of the space of bilinear forms on $\ell_{\infty}^{2}$

W. Cavalcante, Daniel Pellegrino|arXiv (Cornell University)|Mar 4, 2016

Advanced Harmonic Analysis Research被引用数 3

ひとこと要約

本稿は、$β_{∞}^2$ 上の実数値双線形形式の空間における閉単位球の極端かつ露出された点を完全に特徴づけている。リトルウッドの $4/3$ 不等式における最適定数を達成するすべての双線形形式が極端点であることを証明し、複素数係数の実数係数双線形形式における最適定数が自明に 1 である可能性を示唆する解析的・数値的証拠を提示している。

ABSTRACT

We obtain all extreme and exposed points of the closed unit ball of the space of bilinear forms $T:\ell_{\infty}^{2} imes\ell_{\infty}^{2} ightarrow \mathbb{R}.$ We also show that any (norm one) bilinear form $T:\ell_{\infty }^{2} imes\ell_{\infty}^{2} ightarrow\mathbb{R}$ for which the optimal constant of the Littlewood's $4/3$ inequality is achieved is necessarily an extreme point. In the case of complex scalars we combine analytical and numerical evidences supporting that, at least for complex bilinear forms with real coefficients, the optimal constant of Littlewood's $4/3$ inequality seems to the the trivial, i.e., $1.$

研究の動機と目的

• 閉単位球の実数値双線形形式空間 $\mathcal{L}(^2\ell_{\infty}^2(\mathbb{R}))$ におけるすべての極端点および露出点を完全に分類すること。
• リトルウッドの $4/3$ 不等式における最適定数を達成する、単位球内に含まれるすべての双線形形式を特定すること。
• 解析的および数値的証拠を用いて、実数係数をもつ複素双線形形式におけるリトルウッドの $4/3$ 不等式の最適定数が自明に 1 であるかどうかを調査すること。

提案手法

• $\ell_{\infty}^2$ 上の実および複素双線形形式のノルムの明示的表現を、単位ベクトルの三角関数的パラメータ化を用いて導出する。
• $\ell_\infty$ ノルム制約の下で、双線形形式係数の絶対値の和を最大化するための最適化技法を適用する。
• 係数配置に基づいて極端点および露出点を分類するために、対称性と場合分けを用いる。
• 双線形形式の $L^{4/3}$ ノルムを評価し、それらを作用素ノルムと比較するために解析的および数値的手法を用いる。
• 絶対値および係数の符号に関する不等式に関する補題を適用し、ノルムの等号成立の必要十分条件を確立する。
• $L^{4/3}$ ノルムと作用素ノルムの比を分析し、等号（すなわち最適性）が達成される条件を特定する。

実験結果

リサーチクエスチョン

• RQ1 $\ell_{\infty}^2$ 上のどの双線形形式が、実数値双線形形式空間における閉単位球の極端点または露出点であるか？
• RQ2 リトルウッドの $4/3$ 不等式における最適定数を達成する、単位球内に含まれる正確な実数係数双線形形式の集合は何か？
• RQ3 解析的および数値的証拠が示唆するように、実数係数をもつ複素双線形形式におけるリトルウッドの $4/3$ 不等式の最適定数は 1 であるか？

主な発見

• 閉単位球 $\mathcal{L}(^2\ell_{\infty}^2(\mathbb{R}))$ のすべての極端点および露出点が完全に特徴づけられ、それらは双線形形式の特定の係数配置に対応する。
• $\ell_{\infty}^2$ 上の実数係数をもつ双線形形式がリトルウッドの $4/3$ 不等式における最適定数を達成するならば、それは単位球の極端点である。
• $\ell_{\infty}^2$ 上の実数係数双線形形式におけるリトルウッドの $4/3$ 不等式の最適定数は $\sqrt{2}$ であり、これは係数が $|a_{11}+a_{21}|+|a_{12}+a_{22}|=\sqrt{2}$ および $|a_{11}-a_{21}|+|a_{12}-a_{22}|=\sqrt{2}$ を満たす形式にのみ達成される。
• 実数係数をもつ複素双線形形式に関しては、解析的および数値的証拠が、リトルウッドの $4/3$ 不等式における最適定数が自明に 1 であることを強く支持している。
• 本稿では、符号および置換に関して4つの標準形（同値類）を同定し、たとえば $T(x,y) = \alpha z_1w_1 + \alpha z_1w_2 + \alpha z_2w_1 - \alpha z_2w_2$ のような形が最適定数を達成する。
• $\left|\frac{cd}{ab}(a-b)\right| \leq c-d$ および $\left|\frac{ab}{cd}(c+d)\right| \leq a+b$ という条件は、特定のノルム表現が一致するための必要十分条件であり、極端点の分類の根拠となっている。