[논문 리뷰] Spectra of Upper-triangular Operator Matrix

Shifang Zhang, Huaijie Zhong외 1명|arXiv (Cornell University)|2009. 06. 27.

Holomorphic and Operator Theory참고 문헌 25인용 수 3

한 줄 요약

이 논문은 바나흐 공간 $ X \oplus Y $ 위의 2×2 상삼각행렬 연산자 $ M_C = \begin{pmatrix} A & C \ 0 & B \end{pmatrix} $의 스펙트럼 성질을 조사하며, 20개의 스펙트럼과 그의 구멍 메꾸기 성질을 분석한다. 기존에 추측되었던 일부 스펙트럼 포함 관계가 성립하지 않음을 입증하며, 스펙트럼 이론에서의 기존 가정을 도전한다.

ABSTRACT

Let $X$ and $Y$ be Banach spaces, $A\in B(X)$, $B\in B(Y)$, $C\in B(Y, X)$, $M_{C}=({cc}A&C 0&B)$ be the operator matrix acting on the Banach space $X\oplus Y$. In this paper, we give out 20 kind spectra structure of $M_C$, decide 18 kind spectra filling-in-hole properties of $M_C$, and present 10 examples to show that some conclusions about the spectra structure or filling-in-hole properties of $M_C$ are not true.

연구 동기 및 목표

• 상삼각행렬 연산자 $ M_C $가 정의된 $ X \oplus Y $에서 관련된 20종의 서로 다른 스펙트럼을 체계적으로 분석하는 것.
• 이 스펙트럼들 중에서 대각 블록 $ A $와 $ B $의 스펙트럼과 관련하여 구멍 메꾸기 성질을 만족하는 것이 무엇인지 규명하는 것.
• 특히 본질적 스펙트럼과 와일 스펙트럼을 포함한 이전에 주장된 스펙트럼 포함 관계를 도전하고 수정하는 것.
• 특정 스펙트럼 포함 관계—예를 들어 $ \sigma_w(M_C) \subseteq \sigma_e(M_C) $—가 일반적으로 성립하지 않음을 보여주는 명시적 반례를 제시하는 것.

제안 방법

• 저자들은 표준 연산자 클래스인 가역성, 프레드홀름, 와일, 브라우더 및 그의 좌/우 변형을 사용하여 $ M_C $에 대해 20개의 스펙트럼을 정의한다.
• 구멍 메꾸기 성질을 분석하기 위해 $ M_C $의 스펙트럼을 $ A $와 $ B $의 스펙트럼의 합집합과 비교하며, 특히 본질적 스펙트럼과 와일 스펙트럼의 구멍에 초점을 맞춘다.
• 승수, 강하수, 지표 이론을 포함한 함수해석학적 기법을 사용하여 $ M_C - \lambda I $의 핵과 상사상 성질을 통해 스펙트럼 집합을 특성화한다.
• $ \ell^2 $에서 이동 연산자 $ T, S $와 보조 연산자 $ C_1, C_2, C_3 $를 사용하여 스펙트럼 포함 관계를 시험하는 구체적 예제를 구성한다.
• 특정 연산자—$ A = T $, $ B = S $, $ C = C_3 = I - TS $—및 $ T_1, S_1 $, 블록 행렬을 사용한 변형을 통해 반례를 구축한다.
• 스펙트럼 포함 관계를 검토하기 위해 $ \sigma_{se}(M_C) \stackrel{?}{=} \sigma_{se}(A) \cup \sigma_{se}(B) \cup (\overline{\sigma_p(A^*)} \cap \sigma_p(B)) $를 고려하며, 이 등식이 성립하지 않음을 입증한다.

실험 결과

연구 질문

• RQ1 본질적 스펙트럼이 $ \sigma_{se}(M_C) = \sigma_{se}(A) \cup \sigma_{se}(B) \cup (\overline{\sigma_p(A^*)} \cap \sigma_p(B)) $를 만족하는가?
• RQ2 와일 스펙트럼 $ \sigma_w(M_C) $는 항상 본질적 스펙트럼 $ \sigma_e(M_C) $에 포함되는가?
• RQ3 $ \sigma_{rD} $와 $ \sigma_{lD} $ 스펙트럼이 $ \sigma_{rD}(A) \cup \sigma_{rD}(B) $에 대해 일반화된 구멍 메꾸기 성질을 만족하는가?
• RQ4 일부 $ C \in B(Y,X) $에 대해 포함 관계 $ \sigma_w(M_C) \subseteq \sigma_e(M_C) $가 성립하지 않을 수 있는가?
• RQ5 포함 관계 $ \sigma_D(M_C) \subseteq \sigma_e(M_C) $는 항상 참인가, 아니면 엄밀한 포함 관계가 될 수 있는가?

주요 결과

• 포함 관계 $ \sigma_w(M_C) \subseteq \sigma_e(M_C) $는 일반적으로 성립하지 않으며, $ A = T $, $ B = S $, $ C = C_3 $인 반례가 구성된다.
• 포함 관계 $ \sigma_w(M_C) \subseteq \sigma_D(M_C) $는 $ A = T $, $ B = S $, $ C = 0 $일 때 실패하며, 이는 $ \sigma_w $가 $ \sigma_D $에 포함되지 않음을 보여준다.
• 포함 관계 $ \sigma_e(M_C) \subseteq \sigma_D(M_C) $는 잘못되었으며, $ A = T_1 $, $ B = \begin{pmatrix} S_1 & 0 \\ 0 & S \end{pmatrix} $, $ C = (C_1, 0) $인 반례를 통해 입증된다.
• 포함 관계 $ \sigma_e(M_C) \subseteq \sigma_w(M_C) $는 $ A = T_1 $, $ B = S_1 $, $ C = C_2 $일 때 실패하며, 이는 $ \sigma_e $가 $ \sigma_w $에 포함되지 않음을 보여준다.
• 포함 관계 $ \sigma_D(M_C) \subseteq \sigma_e(M_C) $는 $ A = T $, $ B = \begin{pmatrix} S & 0 \\ 0 & 0 \end{pmatrix} $, $ C = (C_3, 0) $일 때 실패하며, 이 경우 $ \sigma_D(M_C) $는 $ \sigma_e(M_C) $나 $ \sigma_w(M_C) $에 포함되지 않는다.
• 제안된 스펙트럼 항등식 $ \sigma_{se}(M_C) = \sigma_{se}(A) \cup \sigma_{se}(B) \cup (\overline{\sigma_p(A^*)} \cap \sigma_p(B)) $는 잘못되었으며, 반례를 통해 차집합 $ W $가 열린 집합이 아니고 단일 점임을 보여준다.