[论文解读] Inequalities for the Norm and Numerical Radius of Composite Operators in Hilbert Spaces

Sever S Dragomir|ArXiv.org|Sep 9, 2005

Mathematical Inequalities and Applications被引用 4

一句话总结

本文建立了希尔伯特空间中复合算子范数与数值半径之间的一组新不等式，特别针对有界线性算子的乘积与和。推导出涉及 $ \left\|\frac{A^*A + B^*B}{2}\right\| $ 和 $ w(B^*A) $ 的界，关键结果表明 $ \left\|\frac{A^*A + B^*B}{2}\right\| \leq w(B^*A) + \frac{1}{2}\|A - B\|^2 $，并扩展到在扰动条件下满足正则、酉或可逆算子的情形。

ABSTRACT

Some new inequalities for the norm and the numerical radius of composite operators generated by a pair of operators are given.

研究动机与目标

• 推导希尔伯特空间中复合算子 $ B^*A $ 范数与数值半径的新上界。
• 在算子范数扰动下，研究 $ \left\|\frac{A^*A + B^*B}{2}\right\| $ 与 $ w(B^*A) $ 之间的关系。
• 在特定范数约束下，将经典的数值半径不等式推广至可逆、正则或酉算子的情形。
• 在受控算子差异条件下，为 $ \|A\|\|B\| - w(B^*A) $ 和 $ \|A\|^2\|B\|^2 - w^2(B^*A) $ 提供定量估计。

提出的方法

• 通过三角不等式和内积的实部估计建立算子范数不等式。
• 利用恒等式 $ \|Ax\|^2 + \|Bx\|^2 \geq 2|\langle B^*A x, x \rangle| $ 将二次型与数值半径关联。
• 应用条件 $ \|A - B\| \leq r $ 推导涉及 $ r^2 $ 的扰动界，从而得出 $ \left\|\frac{A^*A + B^*B}{2}\right\| \leq w(B^*A) + \frac{1}{2}r^2 $。
• 利用自伴与正则算子的谱范数与数值半径性质来优化界。
• 引入可逆性条件与算子预解估计，推导涉及 $ \|B^{-1}\| $ 的界，如 $ \|A\|^2\|B\|^2 - w^2(B^*A) \leq 2w(B^*A) \cdot \frac{\|B\|}{\|B^{-1}\|} \left( \|B\|\|B^{-1}\| - \sqrt{1 - r^2\|B^{-1}\|^2} \right) $。
• 在内积上应用柯西-施瓦茨不等式与 AM-GM 型估计，以界定范数与数值半径之间的差异。

实验结果

研究问题

• RQ1 在满足 $ \|A - B\| \leq r $ 的扰动下，如何用 $ B^*A $ 的数值半径来界定 $ \left\|\frac{A^*A + B^*B}{2}\right\| $ 的范数？
• RQ2 当 $ A $ 与 $ B $ 在算子范数下接近时，$ \|A\|\|B\| - w(B^*A) $ 与 $ \|A\|^2\|B\|^2 - w^2(B^*A) $ 的最紧致上界是什么？
• RQ3 当 $ A $ 与 $ B $ 为正则、酉或可逆算子时，特别是满足 $ \|A - \lambda B\| \leq r $ 时，这些界如何变化？
• RQ4 能否利用谱性质与预解性质来量化复合算子范数与数值半径之间的差异？
• RQ5 对于可逆算子，不等式 $ \|A\|^2\|B\|^2 - w^2(B^*A) \leq 2w(B^*A) \cdot \frac{\|B\|}{\|B^{-1}\|} \left( \|B\|\|B^{-1}\| - \sqrt{1 - r^2\|B^{-1}\|^2} \right) $ 的含义是什么？

主要发现

• 对所有希尔伯特空间上的有界线性算子 $ A, B $，不等式 $ \left\|\frac{A^*A + B^*B}{2}\right\| \leq w(B^*A) + \frac{1}{2}\|A - B\|^2 $ 成立。
• 差值 $ \left\|\frac{A^*A + B^*B}{2}\right\| - w(B^*A) $ 的上界为 $ \frac{1}{2}\|A - B\|^2 $，且下界非负。
• 对于满足 $ \|T - \lambda T^*\| \leq r $ 的正则算子 $ T $，有不等式 $ 0 \leq \frac{1 + |\lambda|^2}{2}\|T\|^2 - |\lambda|w(T^2) \leq \frac{1}{2}r^2 $。
• 当 $ \|A - \lambda I\| \leq r $ 时，有界 $ 0 \leq \left\|\frac{A^*A + |\lambda|^2 I}{2}\right\| - |\lambda|w(A) \leq \frac{1}{2}r^2 $。
• 对于满足 $ \|A - B\| \leq r $ 且 $ \|B^{-1}\| \leq \frac{1}{r} $ 的可逆算子 $ B $，已证明不等式 $ \|A\|^2\|B\|^2 - w^2(B^*A) \leq 2w(B^*A) \cdot \frac{\|B\|}{\|B^{-1}\|} \left( \|B\|\|B^{-1}\| - \sqrt{1 - r^2\|B^{-1}\|^2} \right) $。
• 在特殊情形 $ B = \lambda I $ 下，该界简化为 $ 0 \leq \|A\|^2 - w^2(A) \leq 2|\lambda|w(A)\left(1 - \sqrt{1 - \frac{r^2}{|\lambda|^2}}\right) $，当 $ \|A - \lambda I\| \leq r $ 时成立。