[论文解读] Some inequalities for $(α, β)$-normal operators in Hilbert spaces

Sever S Dragomir, Mohammad Sal Moslehian|arXiv (Cornell University)|Aug 13, 2007

Holomorphic and Operator Theory参考文献 11被引用 7

一句话总结

本文在希尔伯特空间中建立了 $(\alpha,\beta)$-正规算子的精确范数与数值半径不等式，利用内积空间中的经典向量不等式。主要贡献在于推导出算子范数 $\|T\|$ 与数值半径 $w(T)$ 之间的界限，给出了涉及 $\alpha$、$\beta$ 以及 $T$ 和 $T^*$ 的算子范数的显式估计，推广了已知的正规算子与共正规算子的结果。

ABSTRACT

An operator $T$ acting on a Hilbert space is called $(α,β)$-normal ($0\leq α\leq 1\leq β$) if \begin{equation*} α^{2}T^{\ast }T\leq TT^{\ast}\leq β^{2}T^{\ast}T. \end{equation*} In this paper we establish various inequalities between the operator norm and its numerical radius of $(α,β)$-normal operators in Hilbert spaces. For this purpose, we employ some classical inequalities for vectors in inner product spaces.

研究动机与目标

• 推导希尔伯特空间中 $(\alpha,\beta)$-正规算子的算子范数与数值半径之间的新不等式。
• 将已知的正规算子与共正规算子的范数与数值半径界推广至更广泛的 $(\alpha,\beta)$-正规算子类。
• 利用内积空间中向量的经典不等式，建立涉及 $\alpha$、$\beta$ 以及算子范数的定量估计。
• 给出 $\|T\|$ 与 $w(T)$ 的显式界，以 $\|T^2\|$、$\|\beta T - T^*\|$ 及其他谱量表示。

提出的方法

• 利用内积空间中向量的 Goldstein-Ryff-Clarke 不等式，推导范数与数值半径的界。
• 应用 Dragomir 反向 Schwarz 不等式，控制涉及 $\langle Tx, \lambda T^*x \rangle$ 的项。
• 对 $p \geq 2$ 和 $p \in (1,2)$ 使用 Dragomir-Sándor 不等式，将 $\|\lambda T + \mu T^*\|^p$ 与 $\|T\|^p$ 关联。
• 利用 Douglas 主要化引理，通过值域与零空间条件刻画 $(\alpha,\beta)$-正规性：$\mathrm{ran}(T) = \mathrm{ran}(T^*)$。
• 在 $\ker(T) \oplus \overline{\mathrm{ran}(T)}$ 上推导 $T$ 的分块矩阵表示，以分析其谱行为。
• 应用伪逆 $T^+$ 研究 $T$ 的可逆性与谱结构。

实验结果

研究问题

• RQ1 如何用算子范数 $\|T\|$ 及其他谱量来界定 $(\alpha,\beta)$-正规算子的数值半径 $w(T)$？
• RQ2 对于 $(\alpha,\beta)$-正规算子，$\|T\|$ 与 $w(T)$ 之间不等式的最优常数是什么，特别是当 $r \geq 1$ 与 $r < 1$ 时？
• RQ3 能否利用 $\alpha$ 与 $\beta$，对 $p \in (1,2)$，给出 $\|\lambda T + \mu T^*\|$ 的下界，以 $\|T\|$ 表示？
• RQ4 参数 $\alpha$ 与 $\beta$ 如何影响非正规算子的范数-数值半径不等式的紧致性？
• RQ5 伪逆 $T^+$ 在刻画 $(\alpha,\beta)$-正规算子谱结构中的作用是什么？

主要发现

• 当 $r \geq 1$ 时，对任意 $(\alpha,\beta)$-正规算子 $T$，有不等式 $ (\alpha^{2r} + \beta^{2r})\|T\|^{2} \leq 2\beta^{r}w(T^{2}) + r^{2}\beta^{2r-2}\|\beta T - T^{*}\|^{2} $ 成立。
• 当 $r < 1$ 时，界变为 $ (\alpha^{2r} + \beta^{2r})\|T\|^{2} \leq 2\beta^{r}w(T^{2}) + \|\beta T - T^{*}\|^{2} $，显示出对扰动项的不同依赖关系。
• 当 $\|\lambda T^* - T\| \leq r$ 时，建立了不等式 $ \alpha\|T\|^{2} \leq w(T^{2}) + \frac{r^{2}}{2|\lambda|} $，提供了一类反向型界。
• 对于 $p \geq 2$，有不等式 $ 2(1 + \alpha^{p})\|T\|^{p} \leq \frac{1}{2}(\|T + T^*\|^{p} + \|T - T^*\|^{p}) $ 成立，将范数与 $T \pm T^*$ 的 $p$-范数之和联系起来。
• 对于 $p \in (1,2)$，证明了不等式 $ \left[(|\lambda| + \beta|\mu|)^{p} + \max\{|\lambda| - |\mu|\beta, \alpha|\mu| - |\lambda|\} \right]\|T\|^{p} \leq \|\lambda T + \mu T^*\|^{p} + \|\lambda T - \mu T^*\|^{p} $，推广了已知的 $L^p$ 三角不等式型结果。
• 一般不等式 $ \left\| \frac{T^*T + TT^*}{2} \right\|^{p/2} \leq \frac{1}{4}(\|T + T^*\|^{p} + \|T - T^*\|^{p}) $ 对所有 $T \in B(\mathcal{H})$ 及 $p \geq 2$ 成立，且在正规情形取等。