[論文レビュー] Remarks on the Hardy--Littlewood inequality for $m$-homogeneous polynomials and $m$-linear forms

W. Cavalcante, Daniel Núñez-Alarcón+1 more|arXiv (Cornell University)|Jul 22, 2015

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

ひとこと要約

この論文は、$m$-斉次多項式の$β_m$空間におけるハーディー–リトルウッド不等式の最適版を確立し、既知の範囲を$p > m$から$p = m$へ拡張する。実数係数の2-斉次多項式$β_2^2$における最適定数が正確に2であることを証明し、カハーネ–サレム–ジーグムンド不等式を用いて、不等式における最適指数の滑らかでない振る舞いを厳密に解明する。

ABSTRACT

The Hardy--Littlewood inequality for $m$-homogeneous polynomials on $\ell_{p}$ spaces is valid for $p>m.$ In this note, among other results, we present an optimal version of this inequality for the case $p=m.$ We also show that the optimal constant, when restricted to the case of $2$-homogeneous polynomials on $\ell_{2}(\mathbb{R}^{2})$ is precisely $2$. In an Appendix we justify why, curiously, the optimal exponents of the Hardy--Littlewood inequality do not behave smoothly.

研究の動機と目的

• $m$-斉次多項式の$β_p$空間におけるハーディー–リトルウッド不等式を、$p = m$の臨界ケースにまで拡張すること。
• 実数係数の2-斉次多項式$β_2^2$における最適定数を特定し、それが正確に2であることを証明すること。
• ハーディー–リトルウッド不等式における最適指数が$p$の関数として滑らかに変化しない理由を、特に双線形および多線形設定において説明すること。
• 鋭さ解析を用いて、ハーディー–リトルウッド不等式およびボーデンブリュースト–ハイレ不等式に関する既存の結果を統合的かつ精錬すること。

提案手法

• [3, 系2.2]の補題を変形し、$m$-斉次多項式の係数の$β_p$ノルムとその関連対称$m$-線形形式の作用素ノルムとの関係を確立する。
• カハーネ–サレム–ジーグムンド不等式を用いて、双線形の場合における指数の鋭さを検証し、$β^2$および$β^\lambda$の両方の指数が独立に改善できないことを示す。
• $m$-線形形式と$m$-斉次多項式の双対性を応用し、$m < p < 2m$において係数の$β^{p/(p-m)}$ノルムの推定を導出し、$p = m$へ拡張する。
• 反例とノルム比較を用いて、$m < p < 2m$における指数$\frac{p}{p-m}$および$p \geq 2m$における指数$\frac{2mp}{mp + p - 2m}$の鋭さを確立する。
• 混合ノルムにおける補間およびホルダー型不等式を用い、双線形の場合における指数$2$と$\lambda = \frac{pq}{pq - p - q}$の相互作用を分析する。
• 定理4.3において、ハーディー–リトルウッド不等式を統一的かつ最適な形で提示し、$\frac{1}{p} + \frac{1}{q} > \frac{1}{2}$のとき、両指数が同時に最適であり、互いに交換できないことを示す。

実験結果

リサーチクエスチョン

• RQ1 実数係数の2-斉次多項式$β_2^2(\mathbb{R})$におけるハーディー–リトルウッド不等式の最適定数は何か？
• RQ2 ハーディー–リトルウッド不等式は、$m$-斉次多項式の$β_p$空間において、$p > m$から$p = m$へ拡張可能か？この場合の最適定数は何か？
• RQ3 なぜハーディー–リトルウッド不等式における最適指数は$p$の関数として滑らかに振る舞わないのか？
• RQ4 双線形の場合における指数$\frac{pq}{pq - p - q}$は真に最適なのか？$β^2$ノルムと組み合わせた場合、改善可能か？
• RQ5 双線形不等式における指数$2$と$\lambda = \frac{pq}{pq - p - q}$はどのような条件下で交換可能か？なぜ常に可能ではないのか？

主な発見

• 2-斉次多項式$β_2^2(\mathbb{R})$におけるハーディー–リトルウッド不等式の最適定数は正確に2である。
• ハーディー–リトルウッド不等式は、$m$-斉次多項式の$β_m$空間において、指数$\frac{p}{p-m}$で成立し、$p = m$においてもこの指数は鋭い。
• $m$-斉次多項式の最適定数$C_{\mathbb{K},m,p}^{\mathrm{pol}}$は、$m < p < 2m$において$C_{\mathbb{K},m,p}^{\mathrm{pol}} \leq C_{\mathbb{K},m,p}^{\mathrm{mult}} \frac{m^m}{(m!)^{(p-m)/p}}$を満たし、$m=2$、$p=2$の場合は等号が成立する。
• 双線形ハーディー–リトルウッド不等式における指数$2$と$\lambda = \frac{pq}{pq - p - q}$は同時に最適であり、カハーネ–サレム–ジーグムンド不等式によって、両者を独立に改善できないことが示された。
• $\frac{1}{2} < \frac{1}{p} + \frac{1}{q} < 1$のとき、対称性の欠如と補間の不可能性により、指数$2$と$\lambda$は交換できない。高次の不等式であっても同様である。
• 本論文は定理4.3において、ハーディー–リトルウッド不等式を統一的かつ最適に定式化し、両指数が鋭く、最適性の意味で互いに依存していることを示した。