[論文レビュー] An operator extension of Bohr's inequality

Mohammad Sal Moslehian, ‎Josip Pečarić+1 more|arXiv (Cornell University)|Dec 4, 2008

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

ひとこと要約

この論文は、ヒルベルト空間上の有界線形作用素のC*-代数の作用素的設定において、ヴァシッチとケチッチに帰属する古典的不等式を一般化したボールの不等式を拡張する。作用素的凸性とユニタルな正の線形写像の族に対するジャンセンの不等式を用いて、重み付き積分とノルムを含む非可換不等式を導出し、$1 < r \leq 2$ に対して、$\left(\int_T \varphi_t(A_t)\,d\mu(t)\right)^r \leq \left(\int_T \alpha_t^{1/(1-r)}\,d\mu(t)\right)^{r-1} \int_T \alpha_t \varphi_t(A_t^r)\,d\mu(t)$ が成り立つことを確立する。応用として、ノルム不等式と作用素平均に関する結果が得られる。

ABSTRACT

We establish an operator extension of the following generalization of Bohr's inequality, due to M.P. Vasić and D.J. Kečkić: $$|\sum_{i=1}^n z_i|^r \leq (\sum_{i=1}^n α_i^{1/(1-r)})^{r-1}\sum_{i=1}^n α_i|z_i|^r \quad (r&gt;1, z_i \in{\mathbb C}, α_i&gt;0, 1 \leq i \leq n) .$$ We also present some norm inequalities related to our noncommutative generalization of Bohr's inequality.

研究の動機と目的

• ヒルベルト空間上の有界作用素のC*-代数の非可換設定において、古典的ボールの不等式を一般化すること。
• ヴァシッチとケチッチが示した既知の複素変数不等式を、連続的な作用素の族と正の線形写像を含む作用素理論的枠組みに拡張すること。
• 作用素的凸性 $x^r$（$1 < r \leq 2$）を活用して、重み付き制約下での作用素に対する新しいノルム不等式を確立すること。
• ユニタルな正の線形写像の族とボッハナー積分を用いた統一的枠組みを提供し、作用素不等式を導出すること。

提案手法

• 作用素的凸関数の理論を用い、C*-代数上のユニタルな正の線形写像の族に対するジャンセンの不等式を適用する。
• 重み関数 $\alpha_t^{1/(1-r)}$ を正規化するために、コンパクト化空間 $T_\infty$ 上の修正された写像族 $\tilde{\varphi}_t$ を構築する。
• $1 < r \leq 2$ に対して、$[0, \infty)$ 上で $f(x) = x^r$ が作用素的凸であることを応用し、積分と関数計算を用いて主不等式を導出する。
• 有界レーノウス測度を備えた局所コンパクトハウスドルフ空間上でボッハナー積分を用いて、作用素値関数の積分を定義する。
• 有限添字集合への特殊化により離散版を導出し、重み付き作用素変換の和を含む不等式が得られる。
• 特に $X_i^*X_i \leq I$ を満たす $X_i$ に対する $X_i^* A_i X_i$ や、直交する範囲を持つ作用素に対する応用を適用する。

実験結果

リサーチクエスチョン

• RQ1 古典的ボールの不等式をヒルベルト空間上の有界線形作用素の非可換設定にどのように拡張できるか？
• RQ2 重み $\alpha_t$ と正の線形写像 $\varphi_t$ にどのような条件を課すと、$\left(\int \varphi_t(A_t)\,d\mu\right)^r \leq C \int \alpha_t \varphi_t(A_t^r)\,d\mu$ の形をした一般化された作用素不等式が成り立つか？
• RQ3 作用素的凸性 $x^r$（$1 < r \leq 2$）を活用して、作用素平均や重み付き和に対する新しいノルム不等式を導出できるか？
• RQ4 正の作用素と収縮作用素 $X_i$ に対して、不等式 $\left(\sum X_i^* A_i X_i\right)^r \leq \left(\sum \alpha_i^{1/(1-r)}\right)^{r-1} \sum \alpha_i X_i^* A_i^r X_i$ が成り立つ条件は何か？
• RQ5 作用素 $A_i$ に直交する範囲の条件がある場合、一般化されたボール型不等式の形と鋭さにどのような影響を与えるか？

主な発見

• 条件 $\int_T \alpha_t^{1/(1-r)} \varphi_t(I)\,d\mu(t) \leq \left(\int_T \alpha_t^{1/(1-r)}\,d\mu(t)\right) I$ の下で、$1 < r \leq 2$ に対して主不等式 $\left(\int_T \varphi_t(A_t)\,d\mu(t)\right)^r \leq \left(\int_T \alpha_t^{1/(1-r)}\,d\mu(t)\right)^{r-1} \int_T \alpha_t \varphi_t(A_t^r)\,d\mu(t)$ が成り立つ。
• 離散版の不等式が得られる：$\left(\sum_{i=1}^n \varphi_i(A_i)\right)^r \leq \left(\sum_{i=1}^n \alpha_i^{1/(1-r)}\right)^{r-1} \sum_{i=1}^n \alpha_i \varphi_i(A_i^r)$ は、$\sum \alpha_i^{1/(1-r)} \varphi_i(I) \leq \sum \alpha_i^{1/(1-r)} I$ の条件下で有効である。
• 正の作用素 $A_i \geq 0$ で範囲が直交する（$i \neq j$ に対して $A_i^*A_j = 0$）場合、$2 < r \leq 4$ に対して不等式 $\left|\sum A_i\right|^r \leq \left(\sum \alpha_i^{2/(2-r)}\right)^{(r-2)/2} \sum \alpha_i |A_i|^r$ が成り立つ。
• $X_i^*X_i \leq I$ のとき、不等式 $\left(\sum X_i^* A_i X_i\right)^r \leq \left(\sum \alpha_i^{1/(1-r)}\right)^{r-1} \sum \alpha_i X_i^* A_i^r X_i$ が確立され、収縮作用素のケースを一般化する。
• 証明は、$1 < r \leq 2$ に対して $[0, \infty)$ 上で $x^r$ が作用素的凸であることに依拠しており、コンパクト化空間上での正規化された写像族の構築によりジャンセンの不等式を適用する。
• この結果により、直交する範囲の仮定の下で、$\left\|\sum A_i\right\|^r \leq \left(\sum \alpha_i^{2/(2-r)}\right)^{(r-2)/2} \sum \alpha_i \|A_i\|^r$ などの新しいノルム不等式が得られる。