[论文解读] Some numerical radius inequalities for semi-Hilbert space operators

Kais Feki|arXiv (Cornell University)|Jan 2, 2020

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

一句话总结

本文通过 A-算子半范数和 A-数值半径，建立了半希尔伯特空间算子的精确数值半径不等式。它证明了不等式 $\frac{1}{4}\|T^{\sharp_A}T + TT^{\sharp_A}\|_A \leq \omega_A^2(T) \leq \frac{1}{2}\|T^{\sharp_A}T + TT^{\sharp_A}\|_A$，显著改进了现有界，并将其应用于计算特定算子矩阵的 $\mathbb{A}$-数值半径，推动了 A-有界与 A-正规算子理论的发展。

ABSTRACT

Let $A$ be a positive bounded linear operator acting on a complex Hilbert space $\big(\mathcal{H}, \langle \cdot\mid \cdot angle \big)$. Let $ω_A(T)$ and ${\|T\|}_A$ denote the $A$-numerical radius and the $A$-operator seminorm of an operator $T$ acting on the semi-Hilbertian space $\big(\mathcal{H}, {\langle \cdot\mid \cdot angle}_A\big)$ respectively, where ${\langle x\mid y angle}_A := \langle Ax\mid y angle$ for all $x, y\in\mathcal{H}$. In this paper, we show that \begin{equation*}\label{m1} frac{1}{4}\|T^{\sharp_A} T+TT^{\sharp_A}\|_A\le ω_A^2\left(T ight) \le frac{1}{2}\|T^{\sharp_A} T+TT^{\sharp_A}\|_A. \end{equation*} Here $T^{\sharp_A}$ is denoted to be a distinguished $A$-adjoint operator of $T$. Moreover, a considerable improvement of the above inequalities is proved. This allows to compute the $\mathbb{A}$-numerical radius of the operator matrix $\begin{pmatrix} I&T \\ 0&-I \end{pmatrix}$ where $\mathbb{A}= ext{diag}(A,A)$. In addition, several $A$-numerical radius inequalities for semi-Hilbertian space operators are also established.

研究动机与目标

• 建立半希尔伯特空间算子 A-数值半径的新界限，且更为紧密。
• 改进涉及 A-算子半范数与 A-数值半径的现有不等式。
• 利用改进的不等式，计算算子矩阵 $\begin{pmatrix}I&T\\ 0&-I\end{pmatrix}$ 的 $\mathbb{A}$-数值半径。
• 将经典数值半径结果推广至正算子与 A-伴随的半希尔伯特空间框架。
• 研究在 A-设定下，A-数值半径在交换性与正规性条件下的行为。

提出的方法

• 本文在由正算子 $A$ 诱导的半希尔伯特空间背景下，引入了 A-数值半径 $\omega_A(T)$ 与 A-算子半范数 $\|T\|_A$。
• 通过关系式 $AS = T^*A$ 定义 $A$-伴随 $T^{\sharp_A}$，确保 $T \in \mathcal{B}_A(\mathcal{H})$。
• 利用 $\mathcal{R}(A^{1/2})$ 上诱导范数的性质，推导出关键不等式 $\frac{1}{4}\|T^{\sharp_A}T + TT^{\sharp_A}\|_A \leq \omega_A^2(T) \leq \frac{1}{2}\|T^{\sharp_A}T + TT^{\sharp_A}\|_A$。
• 作者利用 $\mathcal{H}/\mathcal{N}(A)$ 与 $\mathbf{R}(A^{1/2})$ 之间的标准等距同构，将算子提升至一个希尔伯特空间，使得标准数值半径结果得以应用。
• 通过在 $\mathbf{R}(A^{1/2})$ 上的提升算子 $\widetilde{T}$ 分析交换性与正规性条件，利用富格莱德定理及酉/等距性质。
• 结果被推广至 $A$-酉、$A$-等距与 $A$-正规算子，涉及 $\omega_A(TS)$、$\omega_A(S)$ 与 $\|T\|_A$ 的不等式。

实验结果

研究问题

• RQ1 能否基于 $T^{\sharp_A}T + TT^{\sharp_A}$ 的 A-算子半范数，为 A-数值半径 $\omega_A(T)$ 建立更紧的界限？
• RQ2 块算子矩阵 $\begin{pmatrix}I&T\\ 0&-I\end{pmatrix}$ 的 $\mathbb{A}$-数值半径与 $T$ 的 A-数值半径有何关系？
• RQ3 在何种条件下，有 $\omega_A(TS) \leq \omega_A(T)\omega_A(S)$ 对于 $A$-正规算子成立？
• RQ4 在何种条件下，对 $A$-酉或 $A$-等距算子 $U$，有 $\omega_A(UT) \leq \omega_A(T)$ 成立？
• RQ5 交换性与 $A$-伴随相容性如何影响 $A$-框架下乘积的数值半径？

主要发现

• 本文建立了精确的双重不等式 $\frac{1}{4}\|T^{\sharp_A}T + TT^{\sharp_A}\|_A \leq \omega_A^2(T) \leq \frac{1}{2}\|T^{\sharp_A}T + TT^{\sharp_A}\|_A$，显著改进了已知界限。
• 该不等式得到显著优化，使得可精确计算算子矩阵 $\begin{pmatrix}I&T\\ 0&-I\end{pmatrix}$ 的 $\mathbb{A}$-数值半径，其中 $\mathbb{A} = \text{diag}(A,A)$。
• 对于与 $T$ 交换的 $A$-酉算子 $U$，不等式 $\omega_A(UT) \leq \omega_A(T)$ 成立，推广了经典数值半径性质。
• 若 $T$ 为 $A$-等距且与 $S$ 交换，且其 $A$-伴随兼容，则 $\omega_A(TS) \leq \omega_A(S)$，当 $\|T\|_A = 1$ 时取等。
• 对于与 $S$ 交换的 $A$-正规算子 $T$，证明了不等式 $\omega_A(TS) \leq \omega_A(T)\omega_A(S)$，推广了经典数值半径的次乘性。
• 结果通过等距同构提升至希尔伯特空间 $\mathbf{R}(A^{1/2})$，使得标准数值半径定理得以应用。