[論文レビュー] Generalizations of Bohr's inequality in Hilbert $C^*$-modules

Mohammad Sal Moslehian, Rajna Rajić|arXiv (Cornell University)|May 21, 2009

Mathematical Inequalities and Applications参考文献 8被引用数 5

ひとこと要約

本稿は、ヒルベルト $C^*$-加群における新しい作用素的等式を導入し、ボールの不等式を作用素的理論的枠組みへ一般化する。ヒルツァラール、チョン＝ペチャリッチ、張の先行研究を拡張し、正則作用素に関する一般化された不等式を導出し、ヒルベルトバンドルおよび $C^*$-代数値ノルムへの応用が可能な統一的枠組みを確立する。

ABSTRACT

We present a new operator equality in the framework of Hilbert $C^*$-modules. As a consequence, we get an extension of the Euler--Lagrange type identity in the setting of Hilbert bundles as well as several generalized operator Bohr's inequalities due to O. Hirzallah, W.-S. Cheung-J.E. Pecaric and F. Zhang.

研究の動機と目的

• ヒルベルト $C^*$-加群の文脈において、古典的ボール型不等式を一般化する新しい作用素的等式を確立すること。
• ヒルツァラール、チョン＝ペチャリッチ、張の先行作用素的不等式を、より広い作用素のクラスおよび $C^*$-代数的設定へ拡張すること。
• 局所コンパクト空間上のヒルベルトバンドルの枠組みにおいて、一般化されたオイラー＝ラグランジュ型恒等式を導出すること。
• 単一のより抽象的な代数的構造へ、既存の作用素的ボール不等式に関する結果を統一的かつ一般化すること。

提案手法

• ヒルベルト $C^*$-加群におけるパラメータ $\alpha, \beta, \gamma$ と有界作用素 $T, S$ を含む新しい作用素的恒等式を、条件 $\alpha T^*T + \beta S^*S = \gamma I_{\mathscr{X}}$ の下で導出する。
• ヒルベルト $C^*$-加群における絶対値の定義 $|x| = \langle x,x \rangle^{1/2}$ と、自己随伴作用素および $C^*$-代数ノルムの性質を利用する。
• 帰納法を用いて、$T_i|T_j| = |T_j|T_i$ および $i=1,2$ における可逆性といった可換性条件を仮定して、$n$ 個の作用素の族へ恒等式を拡張する。
• スケーリング作用素 $S_i = \sqrt{1-t_n} T_i (I - t_n |T_n|^2)^{-1/2}$ を構成し、$n$ 個の作用素への場合を $(n-1)$ 個の作用素への場合に還元する。
• ノルムおよび自己随伴性の制約下で、恒等式 $|t_1 T_1 x_1 + \cdots + t_n T_n x_n|^2 \leq \sum t_i |x_i|^2$ を適用する。
• 特にモジュールが $\mathbb{B}(\mathscr{H})$ の場合に結果を適用し、張のAM-QM不等式を系として回復する。

実験結果

リサーチクエスチョン

• RQ1 複素数およびヒルベルト空間の範囲を越えて、ボールの不等式をヒルベルト $C^*$-加群の設定へ一般化できるか？
• RQ2 ヒルベルト $C^*$-加群において、既知の作用素的ボール不等式の統一的一般化をもたらす作用素的恒等式は何か？
• RQ3 $C^*$-加群技法を用いて、局所コンパクト空間上のヒルベルトバンドルへオイラー＝ラグランジュ恒等式をどのように拡張できるか？
• RQ4 $\mathbb{B}(\mathscr{H})$ において、不等式 $|\sum t_i A_i|^2 \leq \sum t_i |A_i|^2$ が成り立つための作用素およびパラメータの条件は何か？
• RQ5 可換性および可逆性の仮定は、$n$ 個の作用素の族への不等式の拡張において、どのように役立つか？

主な発見

• 新しい作用素的等式が確立された：条件 $\alpha T^*T + \beta S^*S = \gamma I_{\mathscr{X}}$ および $T^*S$ が自己随伴であるとき、すべての $x,y \in \mathscr{X}$ に対して $\alpha\beta |Tx + Sy|^2 + |\beta Sx - \alpha Ty|^2 = \beta\gamma |x|^2 + \alpha\gamma |y|^2$ が成り立つ。
• $t_i > 0$, $\sum t_i = 1$, および $\sum t_i |a_i|^2 = e$（$a_i \in \mathcal{Z}(\mathscr{A})$）の下で、すべての $x_1,\dots,x_n \in \mathscr{X}$ に対して不等式 $|t_1 T_1 x_1 + \cdots + t_n T_n x_n|^2 \leq \sum_{i=1}^n t_i |x_i|^2$ が成り立つ。
• 結果は張のAM-QM不等式を一般化する：$A_i \in \mathbb{B}(\mathscr{H})$ および $t_i \geq 0$, $\sum t_i = 1$ の下で $\left|\sum t_i A_i\right|^2 \leq \sum t_i |A_i|^2$ が成り立つ。
• この枠組みは、$C^*$-加群設定における一般化されたオイラー＝ラグランジュ恒等式を介して、局所コンパクト空間上のヒルベルトバンドルへ拡張可能である。
• 証明技法は、スケーリング作用素 $S_i$ を用いた帰納的還元と、$C^*$-代数的逆元および自己随伴性の性質に依存する。
• 結果は、$C^*$-代数が非単位的であっても成り立つことが、Remark 3.11 で示されている。