[论文解读] On A-numerical radius inequalities for $2 imes 2$ operator matrices

Nirmal Chandra Rout, Satyajit Sahoo+1 more|arXiv (Cornell University)|Apr 16, 2020

Mathematical Inequalities and Applications参考文献 18被引用 4

一句话总结

本文建立了2×2算子矩阵的B-数值半径的新上界和下界，其中B是具有A在对角线上的分块对角算子矩阵。通过引入A-算子半范数和A-伴随算子，本文改进了现有的A-数值半径不等式，并在半希尔伯特空间中通过谱分析和范数分析提供了精确估计。

ABSTRACT

Let ($\mathcal{H}, \langle . , . angle )$ be a complex Hilbert space and $A$ be a positive bounded linear operator on it. Let $w_A(T)$ be the $A$-numerical radius and $\|T\|_A$ be the $A$-operator seminorm of an operator $T$ acting on the semi-Hilbertian space $(\mathcal{H}, \langle .,. angle_A),$ where $\langle x, y angle_A:=\langle Ax, y angle$ for all $x,y\in \mathcal{H}$. In this article, we establish several upper and lower bounds for $B$-numerical radius of $2 imes 2$ operator matrices, where $B=\begin{bmatrix} A & 0 0 & A \end{bmatrix}$. Further, we prove some refinements of earlier $A$-numerical radius inequalities for operators.

研究动机与目标

• 在A-半内积空间的背景下，推导2×2算子矩阵的B-数值半径的更紧致上界和下界。
• 通过引入A-算子半范数和A-伴随算子，改进现有的A-数值半径不等式。
• 研究由正算子A诱导的分块矩阵结构下数值半径的行为。
• 建立可推广经典希尔伯特空间算子理论中数值半径界的新精确不等式。

提出的方法

• 为T ∈ B_A(H)，定义A-算子半范数 ‖T‖_A = sup{‖Tx‖_A / ‖x‖_A : x ∈ R(A), x ≠ 0}。
• 为2×2算子矩阵M = [T₁ T₂; T₃ T₄]引入B-数值半径w_B(M)，其中B = diag(A,A)。
• 利用A-伴随算子T#_A = A†T*A，定义实部与虚部：Re_A(T) = (T + T#_A)/2，Im_A(T) = (T - T#_A)/(2i)。
• 应用酉不变性与谱范数恒等式，推导涉及w_A(T₁ ± T₂)和w_A(T₁ ± iT₂)的界。
• 利用矩阵范数恒等式和‖·‖_A的次乘性，以单个算子范数表示B-数值半径的界。
• 使用恒等式w_B(M) = sup{|⟨Mξ, ξ⟩_B| : ‖ξ‖_B = 1}及酉变换，将问题约化为对称形式。

实验结果

研究问题

• RQ1 2×2算子矩阵的B-数值半径的最优上界和下界如何用其元素的A-数值半径表示？
• RQ2 如何通过A-算子半范数和A-伴随算子改进经典A-数值半径不等式？
• RQ3 所推导的B-数值半径界中，等号成立的条件是什么？
• RQ4 能否仅用其元素的A-范数和A-数值半径来界定分块矩阵的B-数值半径？
• RQ5 A-酉算子在相似变换下保持B-数值半径的机制是什么？

主要发现

• 对于M = [T₁ T₂; 0 0]，不等式w_B(M) ≥ (1/2) max{w_A(T₁ ± T₂), w_A(T₁ ± iT₂)}成立，提供了精确的下界。
• 对于一般2×2矩阵，w_B(M) ≤ min{α, β}，其中α和β是包含‖T_i‖_A和T₁#_A T₂等乘积谱范数的表达式。
• 当T₁#_A T₂ = 0且T₄ T₃#_A = 0时，界简化为w_B(M) ≤ max(‖T₁‖_A, ‖T₂‖_A) + max(‖T₃‖_A, ‖T₄‖_A)。
• 不等式w_B([0 T₁; T₂ 0]) ≤ w_A(T₁) + w_A(T₂) − (1/2)|w_A(T₁+T₂) − w_A(T₁−T₂)| 提供了改进的上界。
• 改进后的不等式包含涉及T₁#_A实部与虚部的修正项，得到w_A(T₁) ≥ (1/2)‖T₁‖_A + (1/2)(‖Re(T₁#_A)‖_A − ‖Im(T₁#_A)‖_A)。
• 当T₁ = I且T₂ = T₃ = T₄ = 0时，等号成立，验证了所推导不等式的精确性。