[論文レビュー] On the Bombieri Inequality in Inner Product Spaces

Sever S Dragomir|ArXiv.org|Jul 11, 2003

Mathematical Inequalities and Applications参考文献 5被引用数 8

ひとこと要約

本稿では、内積空間におけるボンビエリの不等式の新たな一般化を提示する。Gram行列のノルムを用いて、内積の二乗和のより鋭い上限を導出することで、元のボンビエリの結果を改善している。特に、lpノルムと行列形式の表現を用いることで、正規直交でないベクトルに対しては、元のボンビエリの不等式よりもはるかに鋭い上限が得られることを示している。

ABSTRACT

New results related to the Bombieri generalisation of Bessel's inequality in inner product spaces are given.

研究の動機と目的

• 内積空間におけるボンビエリ不等式を、内積の二乗和の既存の上限を精緻化することによって拡張すること。
• 係数列のlpノルムと内積の行列形式表現を活用することで、ボンビエリの元の不等式よりも鋭い推定値を提供すること。
• ベッセルの不等式、セルバーグの不等式、ハイルブルンの不等式といった既知の不等式を、統一的な枠組みの下で一般化すること。
• 新しい上限がボンビエリのものや他の古典的不等式と比較してどれほど鋭いかを調査すること。
• 新しい上限がボンビエリのものよりも厳密に良い条件、特にベクトルが正規直交でない場合に成立する条件を導出すること。

提案手法

• 複素係数と内積を含む一般不等式を導出：$\left|\sum_{i=1}^{n}c_{i}(x,y_{i})\right|\!^{2} \leq \|x\|^{2}\sum_{i=1}^{n}|c_{i}|^{2}\left(\sum_{j=1}^{n}|(y_{i},y_{j})|\right)$。
• ホルダーの不等式とノルムの双対性を適用し、係数列の$\ell^p$および$\ell^q$ノルムとGram行列要素の上限を複数導出する。
• 係数を$c_i = \overline{(x,y_i)}$と選ぶことで、ボンビエリの不等式や他の既知の結果を特別な場合として回復する。
• 内積の大きさの行列形式ノルムとして、$\left(\sum_{i,j=1}^{n}|(y_i,y_j)|^2\right)^{1/2}$ や $\left(\sum_{i=1}^{n}\left(\sum_{j=1}^{n}|(y_i,y_j)|\right)^q\right)^{1/q}$ を導入し、上限を精緻化する。
• R^2における反例を用いて、新しい上限がボンビエリのものよりも厳密に小さいことを比較して示している。
• 正規直交系にこの手法を適用することで、新しい上限がその場合においては緩くなることが示され、ベッセルの不等式と整合的であることが確認されている。

実験結果

リサーチクエスチョン

• RQ1 係数列に$\ell^p$-ノルム構造を組み込むことで、ボンビエリ不等式を改善できるか？
• RQ2 非正規直交系において、新しい上限がボンビエリの元の上限と比較してどれほど鋭いか？
• RQ3 新しい上限$\left(\sum_{i,j}|(y_i,y_j)|^2\right)^{1/2}$ が、ボンビエリの上限$\max_i \sum_j |(y_i,y_j)|$ を上回る条件は何か？
• RQ4 既知の不等式（ベッセルの、セルバーグの、ハイルブルンの）が、提案された一般枠組みの特別な場合として導かれるか？
• RQ5 新しい上限とシステム$\{y_i\}$のGram行列の構造との関係は何か？

主な発見

• 本稿では、新しいボンビエリ型不等式を導出：$\sum_{i=1}^{n}|(x,y_i)|^2 \leq \|x\|^2 \left(\sum_{i,j=1}^{n}|(y_i,y_j)|^2\right)^{1/2}$。これは、ベクトルが正規直交でない場合にボンビエリの上限を改善する。
• $n=2$、$y_1 = a$、$y_2 = b > 0$、$a \geq b$ の場合、新しい上限$M_2 = a^2 + b^2$ はボンビエリの$M_1 = a^2 + ab$ よりも厳密に小さいことが示され、より鋭い推定であることが確認された。
• $\{y_i\}$ が正規直交の場合、新しい上限は$\sqrt{n}\|x\|^2$ となり、ボンビエリの上限は$\|x\|^2$ となる。これは、期待どおり、新しい上限がその場合においては緩くなることを示しており、整合性がある。
• $1 < p \leq 2$、$1 < t \leq 2$、$\frac{1}{p}+\frac{1}{q}=1$、$\frac{1}{t}+\frac{1}{u}=1$ の条件下で、不等式$\sum_{i=1}^{n}|(x,y_i)|^2 \leq n^{\frac{1}{p}+\frac{1}{t}-1}\|x\|^2 \left[\sum_{i=1}^{n}\left(\sum_{j=1}^{n}|(y_i,y_j)|^q\right)^{u/q}\right]^{1/u}$ が確立された。
• $c_i = \overline{(x,y_i)}$ とし、$\ell^1$-ノルムの議論を用いることで、不等式$\sum_{i=1}^{n}|(x,y_i)|^2 \leq n\|x\|^2 \max_{i,j}|(y_i,y_j)|$ が特別な場合として導出された。
• 本稿では、非正規直交な設定において、新しい上限$\left(\sum_{i,j}|(y_i,y_j)|^2\right)^{1/2}$ がボンビエリの上限$\max_i \sum_j |(y_i,y_j)|$ よりも鋭いことが、R^2における明示的な反例によって示された。