[論文レビュー] Improvement of $A$-numerical radius inequalities of semi-Hilbertian space operators

Pintu Bhunia, Raj Kumar Nayak+1 more|arXiv (Cornell University)|Aug 25, 2020

Mathematical Inequalities and Applications参考文献 21被引用数 23

ひとこと要約

この論文は、A-随伴作用素と作用素行列技術を用いて、半ヒルベルト空間における作用素のA-数値半径不等式を改善し、より鋭い上限を導出する。単一作用素のA-数値半径に関しては、新しい最小-最大型不等式を確立し、2×2作用素行列のB-数値半径に関しては、凸性、AM-GMおよびA-半内積空間における内積推定を用いて、既存の結果を著しく改善した上限を得た。

ABSTRACT

Let $\mathcal{H}$ be a complex Hilbert space and let $A$ be a positive operator on $\mathcal{H}$. We obtain new bounds for the $A$-numerical radius of operators in semi-Hilbertian space $\mathcal{B}_A(\mathcal{H})$ that generalize and improve on the existing ones. Further, we estimate bounds for the $B$-operator seminorm and $B$-numerical radius of $2 imes 2$ operator matrices, where $B=\mbox{diag}(A,A)$. The bounds obtained here improve on the existing ones.

研究の動機と目的

• Aが可逆でない場合に特に顕著な、半ヒルベルト空間におけるA-数値半径の鋭い上限の欠如に対処する。
• A-随伴作用素とA作用素半ノルムを用いて、古典的数値半径不等式をA設定に一般化する。
• 2×2作用素行列のB-数値半径のより鋭い上界を導出する。既存の文献からの結果を改善する。
• 2つの異なる手法による非比較可能なが、優れた上限を確立し、作用素行列推定における柔軟性を高める。
• 特に古典的上限が不適切な場合に、既存の不等式に対する定量的改善を提供する。

提案手法

• R(T*A) ⊆ R(A) を満たすとき、⟨Tx, y⟩A = ⟨x, Ry⟩A の関係によりA-随伴作用素を定義する。
• A作用素ノルム ∥T∥A = sup{∥Tx∥A : ∥x∥A = 1} とA最小ノルム mA(T) を用い、数値半径推定を精緻化する。
• t² の凸性とAM-GM不等式を用い、|⟨Tx, x⟩A|² を α ∈ [0,1] に対して αT♯AT + (1−α)TT♯A のノルムで評価する。
• Lemma 2.3 を用いてA内積の積を評価し、wA²(T) を wA(T²) と ∥TT♯A + T♯AT∥A で表す推定を可能にする。
• B = diag(A, A) を定義し、行列を対角成分と非対角成分に分解することで、2×2作用素行列への拡張を実現する。
• 同じ凸性およびAM-GM技術を用いて、作用素行列のwB²(T) について、2つの異なる非比較可能な上界を導出する。

実験結果

リサーチクエスチョン

• RQ1 A-随伴作用素とパラメータ化された凸結合を用いて、A-数値半径 wA(T) をどのようにより鋭く評価できるか？
• RQ2 半ヒルベルト空間における単一作用素の既存のA-数値半径不等式は、どのように改善できるか？
• RQ3 2×2作用素行列のB-数値半径に対する新しい上限は、文献における結果とどのように比較されるか？
• RQ4 どのような状況で、導出された2つの作用素行列数値半径の上限のうち一方が他方を上回るか？
• RQ5 明示的な反例を用いて、新しい不等式が既知の結果よりも厳密に優れていることを示せるか？

主な発見

• 本論文は、w²A(T) ≤ min₀≤α≤1 ∥αT♯AT + (1−α)TT♯A∥A を確立し、既知の境界 w²A(T) ≤ ½∥T♯AT + TT♯A∥A よりも厳密に改善している。
• r ≥ 1 の場合、w²ʳA(T) ≤ ½wʳA(T²) + ¹⁄₂ʳ⁺¹∥TT♯A + T♯AT∥ʳA は、古典的手法よりも鋭い推定を提供する。
• 2×2作用素行列の状況では、定理3.4により、[14, Th. 3.5] が4を与える特定の行列に対して w²B(T) ≤ 3⁄4 という上限が得られ、顕著な改善が示された。
• 定理3.7では、[14, Th. 3.7] が1を与える行列に対して w²B(T) ≤ 3⁄4 という上限が得られ、この場合25%の改善が示された。
• 作用素行列数値半径の2つの導出上限は、一般に比較不能であり、行列構造に応じて一方が他方を上回る反例によって示された。