[논문 리뷰] The Sum of Two Unbounded Linear Operators: Closedness, Self-adjointness and Normality

Mohammed Hichem Mortad|arXiv (Cornell University)|2012. 03. 12.

Spectral Theory in Mathematical Physics참고 문헌 16인용 수 4

한 줄 요약

이 논문은 두 개의 유계가 아닌 정규 연산자의 합과 곱이 닫힘, 자기수반 또는 정규일 조건을 새롭게 규명하며, Fuglede 정리의 새로운 비유계 버전을 도입한다. 주요 기여는 두 비유계 역행렬 정규 연산자가 서로 가환하고 특정 도메인 포함 조건을 만족할 경우 그 합이 정규이며, 그 곱 역시 정규임을 증명하는 것이다. 이는 고전 결과를 비유계 설정으로 확장하여 보다 광범위한 일반성을 확보한다.

ABSTRACT

In the present paper we give results on the closedness and the self-adjointness of the sum of two unbounded operators. We present a new approach to these fundamental questions in operator theory. We also prove a new version of the Fuglede theorem where the operators involved are all unbounded. This new Fuglede theorem allows us to prove (under extra conditions) that the sum of two unbounded normal operators remains normal. Also a result on the normality of the unbounded product of two normal operators is obtained as a consequence of this new "Fuglede theorem". Some interesting examples are also given.

연구 동기 및 목표

• 문헌에서 아직 완전히 해결되지 않은, 두 비유계 정규 연산자의 합이 언제 정규가 되는지에 대한 근본적 문제를 다루기 위해.
• 고전적인 Fuglede 정리를 비유계 연산자로 확장하여, 연산자 합과 곱의 정규성에 관한 새로운 결과를 가능하게 하기 위해.
• 이전의 비유계 정규 연산자 곱의 정규성에 관한 결과에서 여유로운 도메인 조건을 제거하기 위해.
• 비유계 연산자 합과 곱의 닫힘성, 자기수반성, 정규성 분석을 위한 체계적인 프레임워크를 제공하기 위해.
• 비유계 연산자 이론에서 전역적으로 정의된 유계 역행렬을 가정하는 것이 중요한 이유를 입증하기 위해, 이 조건이 없을 경우 실패하는 반례를 제시하기 위해.

제안 방법

• 비유계 정규 연산자에 대한 Fuglede 정리의 새로운 버전을 도입하며, $AB = BA$ 이고 $A$, $B$가 역행렬이 있으며 정규일 경우 $AB^* = B^*A$ 및 $BA^* = A^*B$ 를 증명한다.
• 조건: $A$가 역행렬이 있고, $B$가 닫혀 있으며, $D(BA^{-1}) \subset D(A)$ 라면 $A + B$가 닫혀 있음을 증명하며, $I + BA^{-1}$의 닫힘성과 $A(I + BA^{-1})$의 곱의 닫힘성을 활용한다.
• Lemma 3을 적용한다. 이는 $A$가 유계 역행렬을 가지면 $(BA)^* = A^*B^*$ 임을 나타내며, 이는 수반 연산 계산에 핵심적이다.
• 도메인 포함 조건인 $D(A) \subset D(BA^*)$ 및 $D(AB^{-1}) = D(A(B^*)^{-1}) \subset D(B)$ 를 사용하여 수반 및 곱 연산의 타당성을 보장한다.
• 연산자 합의 닫힘성에 대해, $A$가 닫혀 있고 $B$가 유계일 경우 $A + B$가 닫혀 있음을 안다. 이를 비유계 설정으로 확장하기 위해 역행렬성과 도메인 제어를 활용한다.
• Devinatz-Nussbaum 정리를 적용하여, 가환하는 정규 연산자들이 곱이 정규일 경우 강한 가환성을 가져야 한다고 보여주며, 이는 결과를 더 깊은 스펙트럼 이론과 연결한다.

실험 결과

연구 질문

• RQ1 두 비유계 정규 연산자의 합이 정규가 되는 조건은 무엇인가?
• RQ2 고전적인 Fuglede 정리는 비유계 정규 연산자로 확장될 수 있는가? 그리고 그 데 필요한 조건은 무엇인가?
• RQ3 두 비유계 정규 연산자의 곱이 서로 가환할 경우 정규로 유지되는가? 그리고 도메인 가정을 약화시킬 수 있는가?
• RQ4 전역적으로 정의된 유계 역행렬을 가정하는 것이 합과 곱의 정규성 및 닫힘성에 어떤 영향을 미치는가?
• RQ5 도메인 포함 조건인 $D(BA^{-1}) \subset D(A)$ 는 $A + B$의 닫힘성을 확보하는 데 어떤 역할을 하는가?

주요 결과

• 두 비유계 역행렬 정규 연산자 $A$, $B$가 $AB = BA$, $D(A) \subset D(BA^*)$, $D(AB^{-1}) = D(A(B^*)^{-1}) \subset D(B)$ 를 만족하면 합 $A + B$는 정규이며, Theorem 2에 의해 닫혀 있다.
• 새로운 Fuglede 유형 정리가 증명되었다: $A$와 $B$가 비유계 역행렬 정규 연산자이고 $AB = BA$ 이면 $AB^* = B^*A$ 및 $BA^* = A^*B$ 이다. 이는 합의 정규성을 증명하는 데 필수적이다.
• 두 비유계 역행렬 정규 연산자 $A$, $B$의 곱 $AB$는 $AB = BA$ 이면 정규이며, $D(A), D(B) \subset D(BA)$ 를 요구하지 않아도 되어 이전 결과 [22]를 개선한다.
• 곱의 정규성은 $(AB)^*AB = (AB)(AB)^*$ 의 체인을 통해 확립되며, Lemma 3의 $(AB)^* = B^*A^*$ 항등식과 새로운 Fuglede 정리 하에서의 가환성을 활용한다.
• 역행렬 조건이 없을 경우, $A$와 $B$가 정규이고 가환하더라도 곱 $AB$가 닫히지 않거나 정규가 아닐 수 있음을 보여주는 반례를 제시한다.
• 논문은 전역적으로 정의된 유계 역행렬을 가정하는 것이 필수적임을 입증한다. 이 조건이 없을 경우 $(BA)^* = A^*B^*$ 와 같은 핵심 결과가 실패할 수 있으며, 단순 이동 연산자 반례로 이를 보여준다.