[논문 리뷰] On a J-polar decomposition of a bounded operator and matrix representations of J-symmetric, J-skew-symmetric operators

Sergey M‎. ‎Zagorodnyuk|ArXiv.org|2009. 10. 14.

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

한 줄 요약

이 논문은 힐버트 공간에 공액성 J가 부여된 유계 선형 연산자에 대한 J-극분해를 수립하며, 고전적 극분해를 J-대칭 및 J-비대칭 연산자로 확장한다. null 집합 $ H_{J;0} = \{x \in H : [x,x]_J = 0\} $를 특성화하고, 이것이 내부 점이 없고 닫혀 있고 밀도가 있는 부분공간임을 증명하며, 이를 통해 J-대칭 및 J-비대칭 연산자의 행렬 표현을 가능하게 한다.

ABSTRACT

In this work a possibility of a decomposition of a bounded operator which acts in a Hilbert space $H$ as a product of a J-unitary and a J-self-adjoint operators is studied, $J$ is a conjugation (an antilinear involution). Decompositions of J-unitary and unitary operators which are analogous to decompositions in the finite-dimensional case are obtained. A possibility of a matrix representation for J-symmetric, J-skew-symmetric operators is studied. Also, some simple properties of J-symmetric, J-antisymmetric, J-isometric operators are obtained, a structure of a null set for a J-form is studied.

연구 동기 및 목표

• 힐버트 공간에서 공액성 J를 갖는 유계 선형 연산자에 대한 J-극분해를 개발하여 고전적 극분해와 유사하게 만들기.
• 공액성 J에 해당하는 기저를 사용하여 J-대칭 및 J-비대칭 연산자의 행렬 표현을 연구하기.
• J-null 집합 $ H_{J;0} = \{x \in H : [x,x]_J = 0\} $의 구조를 특성화하며, 특히 그 위상적 및 대수적 성질을 분석하기.
• J-null 집합 $ H_{J;0} $가 내부 점이 없고 닫혀 있으며 밀도가 있으며, $ [x,x]_J = 0 $를 만족하는 정규직교 기저를 갖는다는 것을 확립하기.

제안 방법

• 공액성 $ J $가 $ J^2 = E $ 및 $ (Jx,Jy) = \overline{(x,y)} $를 만족함을 이용하여 J-형식 $[x,y]_J := (x, Jy)$를 정의하기.
• J-대칭 및 J-비대칭 연산자를 각각 $ [Ax,y]_J = [x,Ay]_J $ 및 $ [Ax,y]_J = -[x,Ay]_J $ 조건을 통해 도입하기.
• 모든 $ x = \sum x_k f_k $에 대해 $ Jx = \sum \overline{x_k} f_k $를 만족하는 J-정규직교 기저 $ \mathcal{F} = \{f_k\}_{k \in \mathbb{Z}_+} $를 구성하기.
• J-노름이 0인 벡터의 집합으로서 J-null 집합 $ H_{J;0} $를 정의하고, 그 위상적 및 대수적 구조를 분석하기.
• 노름 연속성과 모순에 의한 증명을 사용하여 $ H_{J;0} $가 닫혀 있고 스칼라 곱에 대해 불변이며 내부 점이 없다는 것을 증명하기.
• J-null 집합 내에 $ \{f_{2k,2k+1}^\pm\}_{k \in \mathbb{Z}_+} $ 형태의 정규직교 기저를 구성하여, 이 기저가 전체 공간 $ H $를 생성함을 보여주기.

실험 결과

연구 질문

• RQ1 J-null 집합 $ H_{J;0} = \{x \in H : [x,x]_J = 0\} $의 구조는 무엇이며, 공액성 $ J $와 어떻게 관련되어 있는가?
• RQ2 힐버트 공간에서 공액성 $ J $를 갖는 유계 선형 연산자에 대해 고전적 극분해와 유사한 J-극분해를 수립할 수 있는가?
• RQ3 J-대칭 및 J-비대칭 연산자의 스펙트럼 성질은 J-정규직교 기저에서의 그들의 행렬 표현과 어떻게 관련되어 있는가?
• RQ4 J-null 집합 $ H_{J;0} $는 힐버트 공간에서 밀도가 있는가? 그리고 J-노름이 0인 벡터들의 정규직교 기저를 갖는가?
• RQ5 J-null 집합 $ H_{J;0} $는 공액성 $ J $, 스칼라 곱, 선형 조합 작용에 대해 불변이며, 닫혀 있는가?

주요 결과

• J-null 집합 $ H_{J;0} $는 힐버트 공간 $ H $의 닫힌 부분공간이며, 스칼라 곱과 공액성 $ J $에 대해 불변이다.
• 집합 $ H_{J;0} $는 내부 점이 없으며, 노름 연속성과 모순에 의한 증명을 통해 위상적 내부가 공집합임을 증명하였다.
• 집합 $ H_{J;0} $는 정규직교 기저 $ \{f_{2k,2k+1}^\pm\}_{k \in \mathbb{Z}_+} $를 포함하고 있어 전체 공간 $ H $에 대해 밀도가 있음을 보였다.
• J-null 집합 내에 있는 정규직교 기저는 $ f_{k,l}^\pm = \frac{1}{\sqrt{2}}(f_k \pm i f_l) $ ($ k=2m, l=2m+1 $) 형태로 명시적으로 구성되었으며, $ [f_{k,l}^\pm, f_{k,l}^\pm]_J = 0 $를 만족한다.
• J-null 집합은 $ H_{J;0} = \{x = x_R + i x_I : x_R, x_I \in H_R, \|x_R\| = \|x_I\|, (x_R, x_I) = 0\} $로 특성화되며, 여기서 $ H_R $는 J-정규직교 기저에서 실수 계수를 갖는 벡터들의 집합이다.
• 유계 연산자에 대한 J-극분해가 수립되었으며, 고전적 극분해를 일반화하여 J-정규직교 기저에서 J-대칭 및 J-비대칭 연산자의 행렬 표현을 가능하게 하였다.