[論文レビュー] Reverse triangle inequality in Hilbert $C^*$-modules

Maryam Khosravi, H. Mahyar+1 more|arXiv (Cornell University)|Nov 14, 2009

Mathematical Inequalities and Applications参考文献 12被引用数 4

ひとこと要約

この論文は、ヒルベルト $C^*$-加群における逆三角不等式を、ヒルベルト空間の古典的結果を $C^*$-代数的設定に一般化することで確立する。$C^*$-代数の技術と、ベクトル $e_k$ における直交性条件を用いて、内積の実部と虚部に関連する境界を導出し、$ \left[ \sum_{k=1}^{m}(r_k^2 + \rho_k^2) \right]^{1/2} \sum_{j=1}^{n}\|x_j\| \leq \left\| \sum_{j=1}^{n}x_j \right c$ が成り立つことを証明する。等号成立は、和ベクトルが $e_k$ の線形結合と一致する場合に限る。

ABSTRACT

We prove several versions of reverse triangle inequality in Hilbert $C^*$-modules. We show that if $e_1, ..., e_m$ are vectors in a Hilbert module ${\mathfrak X}$ over a $C^*$-algebra ${\mathfrak A}$ with unit 1 such that $=0 (1\leq i eq j \leq m)$ and $\|e_i\|=1 (1\leq i\leq m)$, and also $r_k,ρ_k\in\Bbb{R} (1\leq k\leq m)$ and $x_1, ..., x_n\in {\mathfrak X}$ satisfy $$0\leq r_k^2 \|x_j\|\leq {Re}< r_ke_k,x_j> ,\quad0\leq ρ_k^2 \|x_j\| \leq {Im}< ρ_ke_k,x_j> ,$$ then [\sum_{k=1}^m(r_k^2+ρ_k^2)]^{1/2}\sum_{j=1}^n \|x_j\|\leq\|\sum_{j=1}^nx_j\|, and the equality holds if and only if \sum_{j=1}^n x_j=\sum_{j=1}^n\|x_j\|\sum_{k=1}^m(r_k+iρ_k)e_k .

研究の動機と目的

• ヒルベルト空間における逆三角不等式の結果を、より一般なヒルベルト $C^*$-加群の枠組みへと拡張すること。
• リーマン表現のような標準的なヒルベルト空間の道具が、$C^*$-加群へと直接一般化できないという課題に対処すること。
• $C^*$-加群の文脈において、内積の実部と虚部に関連する定量的逆不等式を確立すること。
• 加群の構造的性質と直交ベクトルを用いて、これらの逆不等式における等号成立条件を特定すること。

提案手法

• 正の元について $a \leq b$ ならば $a^{1/2} \leq b^{1/2}$ が成り立つという性質を含む、$C^*$-代数の技術を用いる。
• ヒルベルト $C^*$-加群の文脈でコーシー・シュワルツの不等式を適用し、和のノルムを評価する。
• $a \in \mathfrak{A}$ に対して $\frac{1}{2}(aa^* + a^*a) = (\operatorname{Re} a)^2 + (\operatorname{Im} a)^2$ という恒等式を用いて、実部と虚部を関連付ける。
• ベクトル $e_k$ に対して $\|e_k\| = 1$ かつ $i \neq j$ のとき $\langle e_i, e_j \rangle = 0$ となる条件を課し、直交性を保証する。
• 実数パラメータ $r_k, \rho_k$ を導入し、$0 \leq r_k^2\|x_j\| \leq \operatorname{Re}\langle r_k e_k, x_j \rangle$ および $0 \leq \rho_k^2\|x_j\| \leq \operatorname{Im}\langle \rho_k e_k, x_j \rangle$ を満たすように設定し、内積と $x_j$ のノルムを関連付ける。
• 和とノルムの不等式を用いて、$\sum (r_k^2 + \rho_k^2)^{1/2}$ を含む乗法的係数を持つ主な逆三角不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 ヒルベルト空間における逆三角不等式を、$C^*$-代数的ツールを用いてヒルベルト $C^*$-加群へ一般化できるか。
• RQ2 ベクトルと係数にどのような条件を課すと、ヒルベルト $C^*$-加群における和のノルムの下界が得られるか。
• RQ3 非可換な設定において、内積の実部と虚部は、逆三角不等式にどのように寄与するか。
• RQ4 ヒルベルト $C^*$-加群におけるこのような逆不等式の正確な等号成立条件は何か。
• RQ5 直交するベクトル族を用いた場合、逆三角不等式の加法的バージョンをヒルベルト $C^*$-加群へ拡張できるか。

主な発見

• 乗法的逆三角不等式が成り立つ：$\left[\sum_{k=1}^{m}(r_k^2 + \rho_k^2)\right]^{1/2}\sum_{j=1}^{n}\|x_j\| \leq \left\|\sum_{j=1}^{n}x_j\right\|$ であり、$r_k, \rho_k, e_k, x_j$ に関する与えられた条件下で成立する。
• 等号成立は、$\sum_{j=1}^{n}x_j = \left(\sum_{j=1}^{n}\|x_j\|\right)\sum_{k=1}^{m}(r_k + i\rho_k)e_k$ のとき、かつそのときに限り成り立つ。これは、和ベクトルが直交するベクトルの複素線形結合と一致する場合を示している。
• 加法的逆不等式が確立された：$\sum_{j=1}^{n}\|x_j\| \leq \frac{1}{\sqrt{m}}\left\|\sum_{j=1}^{n}x_j\right\| + \frac{1}{m}\sum_{j=1}^{n}\sum_{k=1}^{m}M_{jk}$ であり、条件 $\|x_j\| - \operatorname{Re}\langle e_k, x_j \rangle \leq M_{jk}$ を満たす場合に成り立つ。
• 加法的バージョンにおける等号成立は、$\sum_{j=1}^{n}\|x_j\| \geq \frac{1}{m}\sum_{j=1}^{n}\sum_{k=1}^{m}M_{jk}$ かつ $\sum_{j=1}^{n}x_j = \left(\sum_{j=1}^{n}\|x_j\| - \frac{1}{m}\sum_{j=1}^{n}\sum_{k=1}^{m}M_{jk}\right)\sum_{k=1}^{m}e_k$ のとき、かつそのときに限り成り立つ。これは、和が直交するベクトル族と関連していることを示している。
• 結果は、ヒルベルト空間における既知の逆三角不等式をヒルベルト $C^*$-加群へ一般化し、非可換作用素代数への適用可能性を拡張している。
• 証明は、特に $\frac{1}{2}(aa^* + a^*a) = (\operatorname{Re} a)^2 + (\operatorname{Im} a)^2$ を用いた $C^*$-代数の恒等式とノルム推定に依存しており、実部と虚部の成分を制御している。