[論文レビュー] Reverses of the Triangle Inequality in Inner Product Spaces

Sever S Dragomir|ArXiv.org|May 26, 2004

Mathematical Inequalities and Applications参考文献 3被引用数 16

ひとこと要約

本稿では、内積空間における一般化された三角不等式に関する新しい逆不等式を提示し、単位ベクトルに近いか、特定の領域に属するなどの幾何的制約下で、ベクトル和のノルムのより鋭い下界を導出する。主な結果として、単位ベクトルの周囲の半径 $\rho$ の球内にあるベクトルに対しては、因子 $\sqrt{1 - \rho^2}$ を持つ逆三角不等式が得られ、また、ベクトルが $ma$ と $Ma$ の間にある場合、$\frac{2\sqrt{mM}}{m+M}$ を含む類似の境界が得られ、重み付き $L^2$ ノルムを用いてベクトル値積分へと拡張される。

ABSTRACT

Some new reverses for the generalised triangle inequality in inner product spaces and applications are given. Applications in connection to the Schwarz inequality are provided as well.

研究の動機と目的

• 内積空間における一般化された三角不等式の新しい逆不等式を確立し、ダイアズとメトカフの結果など既存の結果を補完すること。
• 単位ベクトルに近いか、錐領域に含まれるなどの幾何的制約下で、ベクトル和のノルムに対する定量的下界を導出すること。
• 重み付き $L^2$ ノルムを用いて、ヒルバート空間におけるベクトル値積分へこれらの逆不等式を拡張すること。
• シュワルツ不等式および関連する作用素不等式への応用を提供すること。

提案手法

• ダイアズ＝メトカフ不等式の枠組みを用い、単位ベクトル $a$ に対して $\|x_i - a\| \leq \rho$ などの幾何的制約に適応する。
• コーシー＝シュワルツ不等式と形 $\frac{p}{\alpha} + q\alpha \geq 2\sqrt{pq}$ の初等的不等式を用い、$\left\| \sum x_i \right\|$ の下界を導出する。
• 幾何的条件 $\left\| x_i - \frac{M+m}{2}a \right\| \leq \frac{1}{2}(M - m)$ を導入し、因子 $\frac{2\sqrt{mM}}{m+M}$ を持つ逆三角不等式を導出する。
• ヒルバート空間 $L_\eta([a,b]; H)$ において、重み関数 $\eta$ が正規化されていることを利用して、有限和の結果を積分設定へと移行する。
• 実部条件 $\operatorname{Re}\langle Ma - x_i, x_i - ma \rangle \geq 0$ と $x_i$ のノルム束縛条件との同値性を用いる。
• 関数 $f_i(t)$ に対する点ごとの制約が重み付き $L^2$ 空間における必要なノルム不等式を満たすことを確認することで、結果をベクトル値積分に適用する。

実験結果

リサーチクエスチョン

• RQ1 単位ベクトルの周囲の半径 $\rho$ の球内にベクトルが制約される場合、内積空間における三角不等式のどの逆不等式が導かれるか。
• RQ2 $\left\| x_i - \frac{M+m}{2}a \right\| \leq \frac{1}{2}(M - m)$ などの幾何的制約が、$\left\| \sum x_i \right\|$ のより良い下界をどのように導くか。
• RQ3 重み付き測度に関して、ヒルバート空間におけるベクトル値積分へ逆三角不等式を拡張できるか。
• RQ4 これらの幾何的制約から導かれるシュワルツ不等式の対応する逆形式は何か。
• RQ5 導出された逆不等式における定数の鋭さは何か。さらに改善可能か。

主な発見

• 単位ベクトル $a$ に対して $\|x_i - a\| \leq \rho$ が成り立つならば、$\left\| \sum x_i \right\| \geq \sqrt{1 - \rho^2} \sum \|x_i\|$ が成り立ち、等号成立は $\sum x_i = \sqrt{1 - \rho^2} \left(\sum \|x_i\|\right) a$ のときに限る。
• 正規直交族 $a_k$ に対して $\|x_i - a_k\| \leq \rho_k$ が成り立つならば、$\left\| \sum x_i \right\| \geq \left(m - \sum \rho_k^2\right)^{1/2} \sum \|x_i\|$ が成り立ち、等号成立は $\sum x_i = \left(\sum \|x_i\|\right) \sum \left(1 - \rho_k^2\right)^{1/2} a_k$ のときに限る。
• もし $\operatorname{Re}\langle Ma - x_i, x_i - ma \rangle \geq 0$ ならば、$\left\| \sum x_i \right\| \geq \frac{2\sqrt{mM}}{m+M} \sum \|x_i\|$ が成り立ち、等号成立は $\sum x_i = \frac{2\sqrt{mM}}{m+M} \left(\sum \|x_i\|\right) a$ のときに限る。
• ベクトル値積分に関して、$\|f_i(t) - g(t)\| \leq \rho$ がほとんど everywhere で成り立つならば、$\left\| \sum f_i \right\|_\eta \geq \sqrt{1 - \rho^2} \sum \|f_i\|_\eta$ が成り立ち、等号成立は $\sum f_i(t) = \sqrt{1 - \rho^2} \sum \|f_i\|_\eta \cdot g(t)$ が almost everywhere で成り立つときに限る。
• 逆シュワルツ不等式における定数 $\frac{1}{2}$ は鋭いことが示されており、不等式 $\frac{\|x\|\|y\| - \operatorname{Re}\langle x,y \rangle}{(\|x\| + \|y\|)^2} \leq \frac{1}{2} \left( \frac{M - m}{M + m} \right)^2$ によって裏付けられている。
• 逆不等式はヒルバート空間 $L_\eta([a,b]; H)$ を通じて積分形へ拡張され、$f_i(t)$ に対する点ごとの制約のもとで、同じ定数を保ち続ける。