[論文レビュー] 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

ひとこと要約

本稿は、Aを対角成分に持つブロック対角作用素行列Bに関する2×2作用素行列のB-数値半径の新たな上界および下界を確立する。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} と定義する。
• B = diag(A,A) である2×2作用素行列 M = [T₁ T₂; T₃ T₄] に対するB-数値半径 w_B(M) を導入する。
• 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 B-数値半径は、その成分のAノルムとA-数値半径のみを用いて評価可能か？
• 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 のときに成立し、導出された不等式の鋭さが確認される。