[논문 리뷰] On the sum between a closable operator $T$ and a $T$-bounded operator

Dan Popovici, Zoltán Sebestyén외 1명|arXiv (Cornell University)|2014. 09. 19.

Spectral Theory in Mathematical Physics참고 문헌 9인용 수 3

한 줄 요약

이 논문은 힐버트 공간 위의 닫힐 수 있는 유계가 아닌 연산자에 대한 페르투르베이션 이론을 개발하며, 형태 $\begin{pmatrix} I & A \\ -B & I \end{pmatrix}$의 2×2 행렬 연산자 범위 성질에 기반한 새로운 프레임워크를 도입한다. 주요 기여는 $T$가 닫힐 수 있고 $S$가 특정 범위 및 쌍대 조건을 만족하는 $T$-유계일 경우 $T + S$가 닫힐 수 있음을 보여주는 일반화된 페르투르베이션 정리이다. 이 경우 $T + S$의 수반은 적절한 $R$에 대해 $T^* + R$와 같으며, 헤스–카토, 카토–렐리히, 워스트의 고전적 결과를 더 약한 조건 하에서 일반화한다.

ABSTRACT

We provide several perturbation theorems regarding closable operators on a real or complex Hilbert space. In particular we extend some classical results due to Hess--Kato, Kato--Rellich and Wüst. Our approach involves ranges of matrix operators of the form $\left(\begin{array}{cc}\!\! I & A\!\!\\ \!\! -B& I\!\!\end{array} ight)$.

연구 동기 및 목표

• 표준적인 $T$-유계 조건을 약화시켜 비유계 연산자에 대한 고전적 페르투르베이션 정리를 일반화하기.
• 닫힐 수 있는 연산자 $T$와 $T$-유계 연산자 $S$의 합이 여전히 닫힐 수 있는 충분한 조건을 설정하기.
• $I$, $T$, $S$ 및 그 수반의 포함된 행렬 연산자 범위를 통해 $T + S$의 수반을 특성화하기.
• Hess–Kato, Kato–Rellich, Wüst의 결과를 연산자 행렬 범위를 이용한 공통 프레임워크 안에서 통합하고 확장하기.
• 이전에 알려진 것보다 더 약한 조건 하에서 $T + S$가 본질적으로 자기수반 또는 자기수반임을 보장하는 조건 제공하기.

제안 방법

• 정의역과 수반 성질을 특성화하기 위해 행렬 연산자 $\begin{pmatrix} I & A \\ -B & I \end{pmatrix}$의 범위를 중심 분석 도구로 사용한다.
• 다원성 보조정리(보조정리 2.1)를 적용하여 범위 및 쌍대 조건으로부터 조밀한 정의역과 수반 관계를 유도한다.
• 만약 행렬 연산자 $\begin{pmatrix} I & A \\ -B & I \end{pmatrix}$의 범위가 조밀하거나 닫혀 있고 쌍대 조건이 성립한다면, $A$와 $B$는 서로 수반임을 증명한다.
• 핵심 기술적 조건으로, $x \in \operatorname{dom}T$에 대해 $\|Sx\|^2 \leq \|Tx\|^2 + \|x\|^2$를 도입하며, 이는 $T$-유계의 일반화이다.
• 행렬 연산자 프레임워크를 사용하여 $T + S$가 닫힐 수 있고 $(T + S)^* = T^* + R$를 만족하는 특정 $R$가 존재하는 조건을 유도한다.
• 이론을 대칭, 자기수반, 본질적으로 자기수반인 연산자에 적용하여 고전적 페르투르베이션 정리의 일반화된 형태를 도출한다.

실험 결과

연구 질문

• RQ1 닫힐 수 있는 연산자 $T$와 $T$-유계 연산자 $S$의 합 $T + S$가 스스로 닫힐 수 있는 조건은 무엇인가?
• RQ2 만약 $T$가 닫힐 수 있고 $S$가 $T$-유계일 경우, $T + S$의 수반이 어떻게 특성화될 수 있는가?
• RQ3 행렬 연산자 범위를 이용하여 헤스–카토, 카토–렐리히, 워스트의 고전적 페르투르베이션 정리를 더 제한이 적은 가정으로 확장할 수 있는가?
• RQ4 행렬 연산자 $\begin{pmatrix} I & A \\ -B & I \end{pmatrix}$의 범위가 $T + S$의 닫힘성과 수반 구조를 보장하는 데 어떤 역할을 하는가?
• RQ5 $T$가 본질적으로 자기수반 또는 자기수반일 경우, $T + S$가 본질적으로 자기수반 또는 자기수반임을 보장하는 조건은 무엇인가?

주요 결과

• 만약 $T$가 닫힐 수 있고, 모든 $x \in \operatorname{dom}T$에 대해 $\|Sx\|^2 \leq \|Tx\|^2 + \|x\|^2$를 만족하며, 행렬 연산자 $\begin{pmatrix} I & T^* \\ -T & I \end{pmatrix}$의 범위가 조밀하다면, $T + S$는 닫힐 수 있고 $(T + S)^* = T^* + R$를 만족하는 특정 $R$가 존재한다.
• 이 페르투르베이션 정리는 헤스–카토 결과를 확장한다: 만약 $\|Sx\|^2 \leq \|Tx\|^2 + \|x\|^2$ 이고 $\|S^*k\|^2 \leq q\|T^*k\|^2 + \|k\|^2$ 이며 $q < 1$ 이라면, $T + S$는 닫힐 수 있고 $(T + S)^* = T^* + S^* $이다.
• 본질적으로 자기수반인 $S$에 대해 $\operatorname{dom}S \subseteq \operatorname{dom}T$ 이고 $\|Th\|^2 \leq \|Sh\|^2 + \|h\|^2$ 이며, $T$가 $\operatorname{dom}S$에서 대칭이라면, $S + T$는 본질적으로 자기수반이다.
• 만약 $S$가 자기수반이고 $\|Th\|^2 \leq q\|Sh\|^2 + \|h\|^2$ 이며 $q < 1$ 이고 $T$가 $\operatorname{dom}S$에서 대칭이라면, $S + T$는 자기수반이다.
• $R$가 $B^*$-유계이고 $B^*$-유계 값이 1 미만이라면 $B^* + R$의 닫힘성이 보장되며, 이는 페르투르베이션 결과의 타당성을 보장한다.
• 쌍대성과 정의역 호환성 조건 하에서, 범위 조건 $\operatorname{ran}\begin{pmatrix} I & A \\ -B & I \end{pmatrix} = \mathscr{H}_4 \times \mathscr{H}_3$는 $D^* = A$ 및 $C^* = B$를 유도하는 데 충분하다.