[논문 리뷰] On the numerical radius of a quaternionic normal operator

G. Ramesh|arXiv (Cornell University)|2016. 05. 24.

Algebraic and Geometric Analysis참고 문헌 4인용 수 5

한 줄 요약

이 논문은 헤르미트 수학적 힐버트 공간에서의 오른쪽 선형 유계 정규 연산자의 노름과 수치적 반경이 동일하다는 것을 증명하며, 고전적인 복소수 연산자 이론 결과를 허미트 수학적 설정으로 확장한다. 이 등식을 바탕으로, 저자들은 컴팩트 정규 허미트 수학적 연산자에 대한 스펙트럼 정리에 대한 새로운 증명을 제시하고, 모든 컴팩트 허미트 수학적 연산자가 노름을 도달한다는 것을 보여, 유계 연산자 공간에서 노름을 도달하는 연산자의 집합이 조밀하다는 허미트 수학적 버전의 린든스트라우스 정리를 증명한다.

ABSTRACT

We prove that for a right linear bounded normal operator on a quaternionic Hilbert space (quaternionic bounded normal operator) the norm and the numerical radius are equal. As a consequence of this result we give a new proof of the known fact that a non zero quaternionic compact normal operator has a non zero right eigenvalue. Using this we give a new proof of the spectral theorem for quaternionic compact normal operators.. Finally, we show that every quaternionic compact operator is norm attaining and prove the Lindenstrauss theorem on norm attaining operators, namely, the set of all norm attaining quaternionic operators is norm dense in the space of all bounded quaternionic operators defined between two quaternionic Hilbert spaces.

연구 동기 및 목표

• 허미트 수학적 힐버트 공간에서 오른쪽 선형 유계 정규 연산자의 노름과 수치적 반경이 동일하다는 것을 증명하는 것.
• 이 결과를 활용하여, 영이 아닌 컴팩트 정규 허미트 수학적 연산자가 영이 아닌 오른쪽 고유값을 가짐을 증명하는 것.
• 노름-수치적 반경 등식을 활용하여 컴팩트 정규 허미트 수학적 연산자에 대한 스펙트럼 정리에 대한 새로운 증명을 제공하는 것.
• 모든 컴팩트 허미트 수학적 연산자가 노름을 도달함을 보이는 것.
• 노름을 도달하는 연산자에 대한 린든스트라우스 정리를 허미트 수학적 설정으로 확장하는 것.

제안 방법

• 슬라이스 복소수 구조를 통해 주어진 허미트 수학적 정규 연산자에서 복소수 정규 연산자를 부여함으로써, 노름과 수치적 반경을 유지하는 방법.
• 복소수 힐버트 공간에서의 고전적 결과(정규 연산자에서 노름과 수치적 반경이 동일함)를 이용하여, 허미트 수학적 정규 연산자에게도 동일한 결과를 유도하는 것.
• 노름-수치적 반경 등식을 적용하여, 컴팩트 정규 허미트 수학적 연산자에 대해 영이 아닌 오른쪽 고유값의 존재를 증명하는 것.
• 영이 아닌 오른쪽 고유값의 존재와 스펙트럼 분해 기법을 활용하여, 컴팩트 정규 허미트 수학적 연산자에 대한 스펙트럼 정리에 대한 새로운 증명을 유도하는 것.
• 절대값 연산자가 노름을 도달함을 보여, 모든 컴팩트 허미트 수학적 연산자가 노름을 도달함을 증명하는 것. 이는 노름-수치적 반경 등식을 활용한다.
• 극분해와 계수 1의 양성 연산자를 사용한 변형 기법을 통해, 노름을 도달하는 연산자 집합이 유계 허미트 수학적 연산자 공간에서 조밀하다는 것을 보이는 것.

실험 결과

연구 질문

• RQ1 허미트 수학적 힐버트 공간에서 오른쪽 선형 유계 정규 연산자의 노름이 그 수치적 반경과 동일한가?
• RQ2 노름-수치적 반경 등식을 사용하여, 컴팩트 정규 허미트 수학적 연산자가 영이 아닌 오른쪽 고유값을 가짐을 증명할 수 있는가?
• RQ3 이 노름-수치적 반경 결과를 활용하여, 컴팩트 정규 허미트 수학적 연산자에 대한 스펙트럼 정리를 재증명할 수 있는가?
• RQ4 모든 컴팩트 허미트 수학적 연산자가 노름을 도달하는가?
• RQ5 노름을 도달하는 허미트 수학적 연산자 집합이 모든 유계 허미트 수학적 연산자 공간에서 조밀한가?

주요 결과

• 허미트 수학적 힐버트 공간에서 오른쪽 선형 유계 정규 연산자의 노름과 수치적 반경은 동일하다.
• 노름-수치적 반경 등식의 결과로, 영이 아닌 컴팩트 정규 허미트 수학적 연산자는 영이 아닌 오른쪽 고유값을 가진다.
• 노름-수치적 반경 등식과 영이 아닌 오른쪽 고유값의 존재를 활용하여, 컴팩트 정규 허미트 수학적 연산자에 대한 스펙트럼 정리에 대한 새로운 증명이 확립된다.
• 모든 컴팩트 허미트 수학적 연산자는 노름을 도달한다. 즉, 단위 구면에서 연산자의 노름을 실현한다.
• 두 허미트 수학적 힐버트 공간 사이의 모든 유계 허미트 수학적 연산자 공간에서, 모든 노름을 도달하는 허미트 수학적 연산자 집합은 노름으로 조밀하다. 이는 허미트 수학적 버전의 린든스트라우스 정리를 증명한다.
• 증명은 계수 1의 양성 연산자를 사용한 변형을 구성함으로써 조밀성을 보이며, 극분해와 컴팩트 연산자의 노름 도달 성질을 활용한다.