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

Sever S Dragomir|ArXiv.org|Aug 28, 2003

Mathematical Inequalities and Applications参考文献 15被引用数 58

ひとこと要約

この論文は、内積空間におけるシュバルツ、三角不等式、ベッセルの不等式の鋭い逆不等式を提示し、実または複素パラメータ制約を用いてよりきつい境界を導入することで、以前の結果を改善している。主な貢献は、逆不等式における最適定数（例：1/4）の導出であり、これにより関数解析および近似理論への応用があるグリュッシュ型不等式と積分不等式が得られる。

ABSTRACT

Reverses of Schwarz, triangle and Bessel inequalities in inner product spaces that improve some earlier results are pointed out. They are applied to obtain new Gruss type inequalities in inner product spaces. Some natural applications for integral inequalities are also pointed out.

研究の動機と目的

• パラメータ制約 $a, A$ における既存の逆不等式を、よりきつい境界を導入することで改善すること。
• 特定の実または複素パラメータ制約下で、逆不等式における定数 $\frac{1}{4}$ の鋭さを確立すること。
• 改善された逆不等式を用いて、内積空間における新しいグリュッシュ型不等式を導出すること。
• 重み関数を用いた測度論的定式化により、結果を積分不等式に拡張すること。
• 特に、実内積空間におけるウジェビッチの研究を改善する形で、従来の実空間からの結果を複素内積空間に一般化すること。

提案手法

• 逆シュバルツ不等式を導出するために、条件 $\operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0$ あるいはその同値形 $\|x - \frac{a+A}{2}y\| \leq \frac{1}{2}|A - a|\|y\|$ を用いる。
• パラメータ化された条件 $\operatorname{Re}\langle \sum_{i\in F} \phi_i e_i - x, x - \sum_{i\in F} \varphi_i e_i \rangle \geq 0$ を適用して、改良された逆ベッセル不等式を導出する。
• 差 $\|x\|^2$ と $\sum_{i\in F} |\langle x, e_i \rangle|^2$ の境界を求めるために、同値関係 $\|x - \sum_{i\in F} \frac{\phi_i + \varphi_i}{2} e_i\| \leq \frac{1}{2} \left(\sum_{i\in F} |\phi_i - \varphi_i|^2\right)^{1/2}$ を用いる。
• 正の測度 $\rho(s)$ と重み関数 $f(s), g(s)$ を用いた重み付き $L^2$ 空間に逆不等式を適用することで、積分不等式を導出する。
• ほとんど everywhere で $\operatorname{Re}[(Ah(s) - f(s))(\overline{f(s)} - \overline{a}\overline{h(s)})] \geq 0$ を満たす条件を用いて、積分のグリュッシュ型境界を確立する。
• 積分不等式の導出を簡略化するために、正規化 $\int_\Omega \rho(s)|h(s)|^2 d\mu(s) = 1$ を適用する。

実験結果

リサーチクエスチョン

• RQ1 パラメータ制約 $a, A$ の下で、逆シュバルツ不等式における最良の定数は何か？
• RQ2 正規直交族に対するパラメータ化された境界を用いて、逆ベッセル不等式をどのように改善できるか？
• RQ3 重み関数を用いた形で、内積空間における逆不等式を積分形に拡張できるか？
• RQ4 逆シュバルツ不等式から導かれるグリュッシュ型不等式における最適定数は何か？
• RQ5 複素内積空間における逆不等式は、実内積空間におけるものと比べてどのように振る舞うか？

主な発見

• 条件 $\operatorname{Re}\langle Ay - x, x - ay \rangle \geq 0$ の下で、逆シュバルツ不等式 $0 \leq \|x\|^2\|y\|^2 - |\langle x,y \rangle|^2 \leq \frac{1}{4}|A - a|^2\|y\|^4$ における定数 $\frac{1}{4}$ は最適である。
• 与えられたパラメータ制約下で、逆ベッセル不等式 $0 \leq \|x\|^2 - \sum_{i\in F} |\langle x, e_i \rangle|^2 \leq \frac{1}{4} \sum_{i\in F} |\phi_i - \varphi_i|^2 - \operatorname{Re}\langle \sum_{i\in F} \phi_i e_i - x, x - \sum_{i\in F} \varphi_i e_i \rangle$ が成り立ち、定数 $\frac{1}{4}$ が最良である。
• 不等式 $0 \leq \|x\|^2\|y\|^2 - |\langle x,y \rangle|^2 \leq \frac{1}{4}|\Gamma - \gamma|^2\|y\|^4 - \left|\frac{\Gamma + \gamma}{2}\|y\|^2 - \langle x,y \rangle\right|^2$ は、以前の逆シュバルツ境界を改善し、鋭い定数 $\frac{1}{4}$ を保持する。
• 積分形では、条件 $\gamma g(s) \leq f(s) \leq \Gamma g(s)$ a.e. の下で不等式 $\int_\Omega \rho(s)|f(s)|^2 d\mu \int_\Omega \rho(s)|g(s)|^2 d\mu \leq \frac{1}{4} \cdot \frac{|\Gamma + \gamma|^2}{\operatorname{Re}(\Gamma \overline{\gamma})} \left| \int_\Omega \rho(s)f(s)\overline{g(s)} d\mu \right|^2$ が成り立ち、定数 $\frac{1}{4}$ が最良である。
• グリュッシュ型不等式 $\left| \int \rho f \overline{g} - \int \rho f \overline{h} \int \rho h \overline{g} \right| \leq \frac{1}{4} \cdot \frac{|A - a||B - b|}{\sqrt{\operatorname{Re}(A\overline{a}) \operatorname{Re}(B\overline{b})}} \left| \int \rho f \overline{h} \int \rho h \overline{g} \right|$ が最適定数 $\frac{1}{4}$ を用いて確立された。
• 逆ベッセル不等式 $0 \leq \|x\|^2 - \sum_{i\in F} |\langle x, e_i \rangle|^2 \leq \frac{1}{4} \sum_{i\in F} |\phi_i - \varphi_i|^2 - \sum_{i\in F} \left| \frac{\phi_i + \varphi_i}{2} - \langle x, e_i \rangle \right|^2$ が定数 $\frac{1}{4}$ を用いて鋭いものであることが証明された。