[논문 리뷰] On A-numerical radius inequalities for $2 imes 2$ operator matrices

Nirmal Chandra Rout, Satyajit Sahoo외 1명|arXiv (Cornell University)|2020. 04. 16.

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)에 대해 ‖T‖_A = sup{‖Tx‖_A / ‖x‖_A : x ∈ R(A), x ≠ 0}로 A-연산자 준노름을 정의한다.
• 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 인 경우에 성립하며, 유도된 부등식의 날카움을 확인한다.