[論文レビュー] A Potpourri of Schwarz Related Inequalities in Inner Product Spaces

Sever S Dragomir|ArXiv.org|Jan 10, 2005

Mathematics and Applications参考文献 4被引用数 9

ひとこと要約

本稿では、実または複素数体上の内積空間におけるシュワルツの不等式および一般化された三角不等式の新しい逆不等式を提示する。単位ノルムのベクトルとベクトル差の上限を導入することで、シュワルツ型不等式の欠損値に対するタイトな上界を導出し、関数解析および最適化における改良された推定を可能にする。

ABSTRACT

In this paper we obtain some new Schwarz related inequalities in inner product spaces over the real or complex number field. Applications for the generalized triangle inequality are also given.

研究の動機と目的

• 内積空間における古典的シュワルツ不等式の新しい逆不等式を導出すること。
• ベクトルの和のノルムとノルムの和の差を定量化することによって、一般化された三角不等式を精緻化すること。
• 幾何的制約の下でシュワルツ型不等式の欠損値に対する鋭い上界を確立すること。
• 複素数パラメータに関する追加条件を満たす複素内積空間への結果の拡張すること。
• 定量的な精緻化を通じて、関数解析および最適化における応用を提供すること。

提案手法

• シュワルツ不等式における等号からの逸脱を制約するため、単位ノルムのベクトルとベクトル差の上限を用いる。
• 不等式 $\left\|x - \frac{A+a}{2}y\right\| \leq \frac{1}{2}|A-a|\|y\|$ を適用して、シュワルツ不等式の二次形式に関する逆不等式を導出する。
• 内積の実部と複素パラメータの制約（$\mathop{\mathrm{R}e}(A\bar{a}) > 0$）を用いて、シュワルツ不等式の単純形における欠損値を評価する。
• ホルダーの不等式とノルムの比較を用いて、ベクトルの和に関する多項式の上界を導出する。
• 幾何的仮定 $\left\|\frac{x_i}{\|x_i\|} - e\right\| \leq r_i$ を用いて、一般化された三角不等式における逸脱を定量化する。
• ノルムの恒等式とベクトル分解技術を用いて、逆不等式の複数の同値な形を導出する。

実験結果

リサーチクエスチョン

• RQ1 内積空間における欠損値 $\|x\|\|y\| - |\langle x,y\rangle|$ の最もタイトな上界は何か？
• RQ2 ベクトルが固定された単位ベクトルに近い場合、一般化された三角不等式はどのように逆不等式として表現できるか？
• RQ3 複素数パラメータ $A, a$ は、逆シュワルツ不等式の精緻化において果たす役割は何か？
• RQ4 ベクトル差の上限 $\|x_i - e\|$ が和の不等式におけるノルム欠損値に与える影響は何か？
• RQ5 複素数パラメータの制約を満たす複素内積空間へ、逆不等式を拡張できるか？

主な発見

• 条件 $\mathop{\mathrm{R}e}\langle Ay - x, x - ay\rangle \geq 0$ の下で、シュワルツ不等式の二次形式に関する逆不等式が確立される：$\|x\|^2\|y\|^2 - |\langle x,y\rangle|^2 \leq \frac{1}{4}|A-a|^2\|y\|^4$。
• 条件 $A \neq -a$ および実部条件が成り立つ限り、シュワルツ不等式の単純形における欠損値は $\|x\|\|y\| - |\langle x,y\rangle| \leq \frac{1}{4}\frac{|A-a|^2}{|A+a|}\|y\|^2$ を満たす。
• 単位ベクトル $e$ に近いベクトル $x_i$ に対して、欠損値 $\sum \|x_i\| - \|\sum x_i\|$ は $\frac{1}{2}\sum r_i^2\|x_i\|$ で上界が与えられる。ここで $r_i$ は $\|\frac{x_i}{\|x_i\|} - e\|$ の上限を表す。
• 複素空間では、$\|x_i - \frac{\mathop{\mathrm{I}m}\alpha_i}{\mathop{\mathrm{R}e}\alpha_i}e\| \leq d_i$ が成り立つ場合、欠損値は $\frac{1}{2}\sum \frac{\mathop{\mathrm{R}e}\alpha_i}{\mathop{\mathrm{I}m}\alpha_i} d_i^2$ で上界が与えられる。
• $p \geq 1$ のとき、欠損値は $\sum \|x_i\| - \|\sum x_i\| \leq \frac{1}{2}\sum \left[\|x_i - e\|^{2p} - |\|x_i\| - 1|^{2p}\right]^{1/p}$ を満たし、ノルムに基づく精緻化が得られる。
• 逆不等式における定数 $\frac{1}{2}$ は最良であり、これ以上改善できない。