[論文レビュー] New Reverses of Schwarz, Triangle and Bessel Inequalities in Inner Product Spaces

Sever S Dragomir|ArXiv.org|Sep 5, 2003

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

ひとこと要約

この論文は、内積空間におけるシュワルツ、三角不等式、ベッセルの不等式の新しい逆不等式を提示し、内積の実部とノルム制約を用いて鋭い境界を確立する。主な貢献は、特定の幾何的およびスペクトル的条件下で、特に 1/4 と 1 という最適定数の導出であり、グルース型および積分不等式への応用を含む。

ABSTRACT

New reverses of the Schwarz, triangle and Bessel inequalities in inner product spaces are pointed out. These results complement the recent ones obtained by the author in an earlier paper. Further, they are employed to establish new Gruss type inequalities. Finally, some natural integral inequalities are stated as well.

研究の動機と目的

• 内積空間における古典的シュワルツ、三角不等式、ベッセルの不等式の新しい逆不等式を確立すること。
• ベクトルの幾何的制約のもとで、より緊密な境界と最良の定数を提供することで、以前の結果を精緻化すること。
• これらの逆不等式を、重み付き $ L^2 $ 空間におけるグルース型不等式および積分形に拡張すること。
• 導出された境界における定数 $ \frac{1}{4} $ および $ 1 $ の最適性を示すこと。
• 実部の条件とノルムに基づく制約を用いて、以前の逆不等式を統一的かつ一般化すること。

提案手法

• 条件 $ \|x - a\| \leq r < \|a\| $ を用いてシュワルツの不等式の逆を導出し、$ \|x\|^2\|a\|^2 - |\langle x,a\rangle|^2 \leq r^2\|x\|^2 $ を得る。このとき定数 1 が鋭い。
• 条件 $ \mathop{\mathrm{Re}}\langle \Gamma y - x, x - \gamma y \rangle \geq 0 $ を適用し、定数 $ \frac{1}{4} $ を持つ逆三角不等式を導出する。
• 等式からのずれを制御するため、$ \|x - \frac{\gamma + \Gamma}{2}y\| \leq \frac{1}{2}|\Gamma - \gamma|\|y\| $ の同値性を用いる。
• 条件 $ \|x - e\| \leq r_1 $, $ \|y - e\| \leq r_2 $ かつ $ \|e\| = 1 $ を仮定することでグルース型不等式を確立し、$ |\langle x,y\rangle - \langle x,e\rangle\langle e,y\rangle| \leq r_1 r_2 \|x\|\|y\| $ を得る。このとき定数 1 が鋭い。
• 無限次元ヒルベルト空間におけるベッセルの不等式に、$ \|x - \sum \lambda_i e_i\| \leq r $ を用いて、$ \sum \mathop{\mathrm{Re}}[\bar{\lambda}_i \langle x,e_i\rangle] $ を含む境界を導出する。
• 有限次元の不等式を測度空間上での重み関数 $ \rho(s) $ を用いた積分形に翻訳し、$ L^2 $-ノルムおよび内積における逆不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ノルムの近接性制約のもとで、シュワルツの不等式の最も緊密な逆境界は何か？
• RQ2 ベクトルが共通の方向に近接している場合、三角不等式を最適定数でどのように逆にすることができるか？
• RQ3 ヒルベルト空間における内積のグルース型不等式が鋭くなるための条件は何か？
• RQ4 重み付き正規直交ベクトルの和に近接するベクトルを用いて、無限次元空間におけるベッセルの不等式をどのように逆にするか？
• RQ5 可測関数を伴う重み付き $ L^2 $ 空間において、これらの逆不等式の積分的類似はどのようなものか？

主な発見

• 条件 $ \|x - a\| \leq r < \|a\| $ のもとで、シュワルツの不等式の逆が確立され、$ \|x\|^2\|a\|^2 - |\langle x,a\rangle|^2 \leq r^2\|x\|^2 $ が成り立ち、定数 1 が最適である。
• 条件 $ \|x - \frac{\gamma + \Gamma}{2}y\| \leq \frac{1}{2}|\Gamma - \gamma|\|y\| $ のもとで、逆三角不等式 $ 0 \leq \|x\| + \|y\| - \|x + y\| \leq \frac{1}{4} \cdot \frac{|\Gamma - \gamma|^2}{\mathop{\mathrm{Re}}(\Gamma\bar{\gamma})} |\langle x,y\rangle|^2 $ が成り立ち、$ \frac{1}{4} $ が最良の定数である。
• グルース型不等式が証明された：$ \|x - e\| \leq r_1 $, $ \|y - e\| \leq r_2 $, $ \|e\| = 1 $ のもとで $ |\langle x,y\rangle - \langle x,e\rangle\langle e,y\rangle| \leq r_1 r_2 \|x\|\|y\| $ が成り立ち、定数 1 が鋭い。
• ベッセルの不等式に関して、$ \|x - \sum \lambda_i e_i\| \leq r $ かつ $ \sum |\lambda_i|^2 > r^2 $ のもとで $ \|x\|^2 \leq \frac{(\sum \mathop{\mathrm{Re}}[\bar{\lambda}_i \langle x,e_i\rangle])^2}{\sum |\lambda_i|^2 - r^2} $ が成り立ち、特定の制約のもとで等号成立条件が与えられる。
• 積分形では、ほとんど everywhere で $ m g(s) \leq f(s) \leq M g(s) $ を仮定すると、逆シュワルツ不等式 $ \left| \int \rho |f|^2 \int \rho |g|^2 \right|^{1/2} - \left| \int \rho f \bar{g} \right| \leq \frac{1}{4} \cdot \frac{(M - m)^2}{M + m} \int \rho |g|^2 $ が成り立ち、$ \frac{1}{4} $ が最良の定数である。
• 積分形の逆三角不等式が導出された：$ \|f\|_2 + \|g\|_2 - \|f + g\|_2 \leq \frac{\sqrt{2}}{2} \cdot \frac{M - m}{\sqrt{M + m}} \|g\|_2 $、同じ点での有界性のもとで成り立つ。