섹터 행렬과 2행 2열 연산자 행렬의 q 수치반경 새로운 경계

초록

본 논문은 섹터 행렬에 대한 q-수치반경 w_q(A)의 상·하한을 정밀하게 추정하고, 이를 이용해 커뮤테이터·반커뮤테이터 행렬, 비정수 거듭제곱, 그리고 2×2 블록 연산자 행렬에 대한 새로운 불평등을 제시한다. 특히 기존 결과를 개선한 하한 |q|²cos²α/2‖A* A+ A A*‖와 상한

상세 분석

논문은 먼저 B(H) 위의 연산자와 그 수치반경 w(T), q‑수치반경 w_q(T)의 기본 정의와 기존의 기본 불평등 ‖T‖² ≤ w(T)² ≤ ‖T‖²·(1/2)‖T* T+T T*‖ 등을 정리한다. 섹터 행렬 A∈Q_{n}^{s,α}에 대해 R(A)= (A+A*)/2, I(A)= (A‑A*)/(2i) 로 분해하고, Lemma 2.1‑2.5를 통해 ‖I(A)‖ ≤ sinα·w(A), ‖A‖ ≤ (1+2 sin²α)·w(A) 등 섹터 각 α와 q‑수치반경 사이의 관계를 도출한다. 특히 Lemma 2.3은 유니터리 불변 노름에 대해 cosα‖A‖ ≤ ‖R(A)‖ ≤ ‖A‖ 를 제공, 이는 이후 하한을 얻는 핵심이다.

Theorem 2.1은 정상오이드 연산자에 대해 |q|·w(T) ≤ w_q(T) ≤ w(T) 를 증명, 이는 기존 w_q(T) ≤ ‖T‖ 보다 강력한 하한을 제공한다. Theorem 2.2는 섹터 행렬에 대해 |q|cosα‖A‖ ≤ w_q(A) ≤ ‖A‖ 를, 그리고 A와 A²가 모두 섹터 행렬이거나 accretive‑dissipative인 경우 |q|√2‖A‖ ≤ w_q(A) ≤ ‖A‖ 를 제시한다. 이는 기존 (1)·(2)와 비교해 α와 q에 따라 더 촘촘한 추정이 가능함을 보여준다.

Theorem 2.3은 w_q(A) 를 기존 수치반경 w(A)와 연결, w_q(A) ≤