[论文解读] 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*-代数。
• 在紧化空间 $T_\infty$ 上构造一个修正的映射场 $\tilde{\varphi}_t$，以归一化权函数 $\alpha_t^{1/(1-r)}$。
• 利用 $f(x) = x^r$ 在 $[0, \infty)$ 上的算子凸性（$1 < r \leq 2$），通过积分与泛函演算推导主不等式。
• 在局部紧的豪斯多夫空间上使用有界Borel测度，通过博赫纳积分定义算子值函数的积分。
• 通过将索引集限制为有限集，推导出离散类比，得到涉及加权算子变换和的不等式。
• 将结果应用于具体情形，如 $X_i^* A_i X_i$（其中 $X_i^*X_i \leq 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 在正算子 $A_i$ 和压缩算子 $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$ 的正交值域条件如何影响广义玻尔型不等式的结构与紧致性？

主要发现

• 主不等式 $\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)$ 在 $1 < r \leq 2$ 时成立，前提是 $\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$。
• 获得不等式的离散版本：$\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$ 时成立。
• 对于满足正交值域条件（$i \neq j$ 时 $A_i^*A_j = 0$）的正算子 $A_i$ 且 $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$ 成立，推广了压缩算子的情形。
• 证明依赖于 $x^r$ 在 $[0, \infty)$ 上对 $1 < r \leq 2$ 的算子凸性，以及在紧化空间上构造归一化映射场以应用詹森不等式。
• 该结果导出新的范数不等式，例如在正交值域假设下 $\left\|\sum A_i\right\|^r \leq \left(\sum \alpha_i^{2/(2-r)}\right)^{(r-2)/2} \sum \alpha_i \|A_i\|^r$。