[논문 리뷰] On the spectral Theory of Operator Measures

M. M. Malamud, Семен Маркович Маламуд|ArXiv.org|2002. 06. 21.

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

한 줄 요약

이 논문은 힐버트 공간 위의 비직교 연산자 측도에 대한 스펙트럼 이론을 개발하며, 직접 적분 분해를 통한 $ L_2(\Sigma, H) $ 공간의 내부 특성 기술을 제공하고, 부분공간과 벡터 체인을 통해 헬링거 스펙트럼 유형을 수립한다. 주요 기여는 헬링거 체인의 구성과 약한 유계 변동성을 가진 연산자 측도에 대해 조르당 분해의 유사체계를 제시함으로써, 고전 결과를 비직교 설정으로 확장하는 것이다.

ABSTRACT

In the first section we provide a solution to the M. G. Krein problem about an inner description of the space $L_2(Σ,H).$ In the second section we introduce the multiplicity function for an operator measure. Making use of the description of the space $L_2(Σ,H)$ we establish the correctness of the definition and give a criterion for a spectral measure to be a dilation of a given operator measure. In the third section we prove that the set of principal vectors of an operator measure is an everywhere dense $G_δ.$ This implies, in particular, that there are a lot of principal vectors in any cyclic subspace of a selfadjoint operator. In the 4th section we introduce Hellinger spectral types for an arbitrary operator measure and prove the existence of subspaces, realizing them. In the 5-th section we give an answer to an old question of Paulsen and provide an analytic description of completely bounded operator measures. The results of this section belong to the second author.

연구 동기 및 목표

• M. G. 크라이엔이 제기한 문제에 대응하여 힐버트 공간 $ L_2(\Sigma, H) $ 의 내부 기술을 제공하는 것.
• 직교 측도에서의 개념을 일반화하여 비직교 연산자 측도에 대한 헬링거 스펙트럼 유형 이론을 개발하는 것.
• 특정 헬링거 스펙트럼 유형을 실현하는 부분공간의 존재를 확립하는 것, 특히 최대 유형을 가진 벡터를 포함한다.
• 약한 유계 변동성을 가진 연산자 측도에 대해 조르당 정리의 유사체계를 증명하여, 양의 측도의 차로 표현되는 조건을 기술하는 것.
• 유한차원 케이스에 대해 간소화된 증명을 제공하면서, 베레스체츠키-겔판드-코스투첸코(BGK) 정리를 비직교 측도로 확장하는 것.

제안 방법

• BGK 정리를 활용하여, $ T ∈ \mathfrak{S}_2(H) $ 이 자명한 핵을 가지는 경우, 연산자 측도 $ \Sigma_T(\Delta) = T^*\Sigma(\Delta)T $ 가 밀도 $ \Psi(t) = d\Sigma_T/d\rho \in \mathfrak{S}_1(H) $ 를 가지며, $ \rho $-거의 어디에서나 성립함을 보임.
• 반세미노름 $ \|h\|_{\widetilde{\mathfrak{H}}_t} = \|\Psi(t)^{1/2}T^{-1}h\| $ 에서 $ \mathcal{D}(T^{-1}) $ 의 완비화로 정의된 힐베르트 공간 $ \widetilde{\mathfrak{H}}_t $ 와, 그 몫공간인 $ \mathfrak{H}_t $ 를 정의함.
• 직접 적분 $ \int_{\mathbb{R}}^\oplus \mathfrak{H}_t \, d\rho(t) $ 과의 등거리 동형사상으로서 $ L_2(\Sigma, H) $ 가 등장함을 증명하고, 노름 항등식 $ \|f\|^2_{L_2} = \int_\mathbb{R} \|\Psi(t)^{1/2}T^{-1}f(t)\|^2 d\rho(t) $ 를 확립함.
• 밀도 행렬의 라돈-니코딤 도함수의 $ n \times n $ 행렬인 $ \Psi_n(t) $ 에 대해, 다중도 함수 $ N_\Sigma(t) = \sup_n \text{rank}(\Psi_n(t)) $ 를 정의함.
• 헬링거 부분공간 $ H_k $ 는 중첩된 부분공간으로서 $ k $-번째 스펙트럼 유형이 실현되며, $ \det \Psi_k(t) $ 의 영이 아닌 성질을 통해 특성 기술됨.
• 약한 유계 변동성을 가진 연산자 측도에 대해, $ \Sigma = \Sigma_1 - \Sigma_2 $ 이 성립함과 동치로, 모든 $ T \in \mathfrak{S}_2(H) $ 에 대해 $ \sup_\pi \sum_i \|T^*\Sigma(\Delta_i)T\|_1 < \infty $ 이 성립함을 보여 조르당 유사 분해를 수립함.

실험 결과

연구 질문

• RQ1 벡터 값 함수 표현에 종속되지 않는, $ L_2(\Sigma, H) $ 공간의 내부 기술은 어떻게 가능할 수 있는가?
• RQ2 비직교 연산자 측도에 대한 헬링거 스펙트럼 유형의 구조는 어떠한가? 그리고 이러한 유형은 부분공간을 통해 어떻게 실현될 수 있는가?
• RQ3 약한 유계 변동성을 가진 연산자 측도가 두 개의 양의 연산자 측도의 차로 분해될 수 있는 조건은 무엇인가?
• RQ4 자기수반 연산자의 스펙트럼 유형은 순환 부분공간과 관련된 연산자 측도의 구조와 어떻게 관련되는가?
• RQ5 BGK 정리는 $ L_2(\Sigma, H) $ 의 직접 적분 표현을 구성하는 데 어떤 역할을 하는가? 그리고 이는 비직교 측도로 어떻게 일반화될 수 있는가?

주요 결과

• 공간 $ L_2(\Sigma, H) $ 는 직접 적분 $ \int_{\mathbb{R}}^\oplus \mathfrak{H}_t \, d\rho(t) $ 와 등거리 동형이며, 노름 항등식 $ \|f\|^2_{L_2} = \int_\mathbb{R} \|\Psi(t)^{1/2}T^{-1}f(t)\|^2 d\rho(t) $ 를 만족함으로써, 공간의 내부 기술이 이루어짐.
• 순환 부분공간 $ L $ 에서 최대 유형을 가진 벡터의 집합은 $ G_\delta $-조밀이고, 제2 범주 집합이므로, 최대 유형을 가진 벡터의 일반성(유일성)이 보장됨.
• 모든 $ h \in \Omega_\Sigma $ 에 대해, $ \dim H_k = k $ 를 만족하는 헬링거 체인 $ \{\lambda h\} = H_1 \subset H_2 \subset \cdots \subset H_m $ 이 존재하며, $ \Gamma_k(P_L\Sigma|_L) = \Gamma_k(\Sigma) $ 를 만족함.
• 체인 $ H_1 \subset \cdots \subset H_m $ 이 헬링거 체인임과 동치로, $ \Gamma_k(\Sigma) = \{ t : \det \Psi_k(t) \neq 0 \} \mod \Sigma $ 를 만족함으로써, 스펙트럼 유형이 밀도 행렬의 소수의 영이 아닌 성질과 연결됨.
• 밀도 함수 $ N_\Sigma(t) $ 는 $ H $ 에서의 orthonormal 기저의 선택과 무관하며, $ m(\Sigma) = \esssup N_\Sigma(t) \mod \rho $ 를 만족함.
• 약한 유계 변동성을 가진 연산자 측도-측도 $ \Sigma $ 는 $ \Sigma = \Sigma_1 - \Sigma_2 $, $ \Sigma_i \geq 0 $ 로 분해될 수 있으며, 이는 모든 $ T \in \mathfrak{S}_2(H) $ 에 대해 $ \sup_\pi \sum_i \|T^*\Sigma(\Delta_i)T\|_1 < \infty $ 이 성립함과 동치임을 보여, 고전적인 조르당 분해를 연산자 값 측도로 일반화함.