[논문 리뷰] Operators having selfadjoint squares

Zoltán Sebestyén, Zsigmond Tarcsay|arXiv (Cornell University)|2014. 03. 24.

Spectral Theory in Mathematical Physics참고 문헌 6인용 수 8

한 줄 요약

이 논문은 실 또는 복소 힐버트 공간 위의 대칭 연산자 $A$가 자기수반임과 $I + A^2$가 전사임(즉, 전 범위를 가짐)은 필요충분조건임을 증명한다. 이는 $A$가 밀집정의를 갖는다고 가정하지 않더라도 성립한다. 이 결과는 밀집정의나 복소 힐버트 공간의 가정 없이도 von Neumann의 고전적 정리의 일반화로, 자기수반성의 특성화를 위해 $I + A^2$의 범위 성질을 사용한다.

ABSTRACT

The main goal of this paper is to show that a (not necessarily densely defined or closed) symmetric operator $A$ acting on a real or complex Hilbert space is selfadjoint exactly when $I+A^2$ is a full range operator.

연구 동기 및 목표

• 밀집정의가 아니거나 복소 힐버트 공간이 아님을 전제로 하지 않는 자기수반 대칭 연산자의 특성화를 제공하는 것.
• von Neumann의 고전적 결과인 $I + T^*T$와 결함 지수를 더 넓은 범주로 확장하는 것.
• $I + A^2$의 전사성이 대칭 연산자 $A$의 자기수반성에 대해 필요이고 충분한 조건임을 확립하는 것.
• 밀집정의 가정이 사전에 필요하지 않으며, $I + A^2$의 전사성이 성립할 경우 그 결과로 밀집정의가 유도됨을 보여주는 것.
• 대칭 및 반대칭 연산자의 자기수반성 특성화를 $I \pm A^2$의 범위 성질을 통해 통합하는 것.

제안 방법

• 밀집정의 닫힘 연산자에 대해 $I + T^*T$가 자기수반이고 전사임을 보여주는 von Neumann의 고전적 정리를 사용하는 것.
• 복소 힐버트 공간에서 전사성 분석을 위해 $I + A^2 = (A + iI)(A - iI)$와 같은 인수분해를 활용하는 것.
• $I + A^2$가 전사일 경우 $\operatorname{dom}A$가 반드시 밀집임을 보이기 위해 귀류법과 수직성 논증을 사용하는 것.
• 닫힘 연산자에 대해 $\operatorname{dom}T^{**} + \operatorname{ran}T^* = \mathfrak{H}$라는 항등식을 적용하여 범위와 수반 연산자 간의 관계를 규명하는 것.
• $T$가 닫힌 연산자일 때 $\operatorname{ran}(I + T^*T) = \mathfrak{H}$임을 보이기 위해 $y = x - T^*z$, $0 = Tx + z$의 분해를 적용하는 것.
• 정의도메인과 수반 포함 관계를 통해 자기수반성과 $I + A^2$의 전 범위 간의 동치성을 확립하는 것.

실험 결과

연구 질문

• RQ1 대칭 연산자의 자기수반성은 밀집정의를 가정하지 않고 특성화될 수 있는가?
• RQ2 $I + A^2$의 전사성이 실 또는 복소 힐버트 공간에서 $A$의 자기수반성을 유도하는가?
• RQ3 $A$가 사전에 밀집정의가 아니더라도 $\operatorname{ran}(I + A^2) = \mathfrak{H}$ 조건이 자기수반성에 충분한가?
• RQ4 $I - A^2$를 사용하여 이 성질을 반대칭 연산자로 확장할 수 있는가?
• RQ5 $I + A^2$의 범위와 수반 연산자의 정의도메인 $\operatorname{dom}A^*$ 사이의 관계는 무엇인가?

주요 결과

• 실 또는 복소 힐버트 공간 위의 대칭 연산자 $A$는 $I + A^2$가 전사일 때이고 그때에만 자기수반이다.
• $I + A^2$의 전사성은 $A$가 밀집정의임을 뜻하며, 사전에 가정하지 않더라도 성립한다.
• 이 동치성은 힐버트 공간이 실 또는 복소인지에 관계없이 성립하므로 결함 지수 이론의 필요성을 제거한다.
• 반대칭 연산자에 대해서는 $A$가 반자기수반임과 $I - A^2$가 전사임이 동치이다.
• 측도 공간 $L^2(X, \mu)$ 위에서 실수 가측함수에 대한 곱연산자는 $I + A^2$가 전사이므로 자기수반이다.
• 모든 밀집정의 닫힘 연산자 $T$에 대해 $T^*T$는 $\operatorname{ran}(I + T^*T) = \mathfrak{H}$일 때이고 그때에만 자기수반이다.