[논문 리뷰] Unbounded Subnormal Composition Operators in L2-Spaces

Piotr Budzyński, Zenon Jan Jabłoński외 2명|arXiv (Cornell University)|2013. 03. 26.

Holomorphic and Operator Theory참고 문헌 38인용 수 8

한 줄 요약

이 논문은 일致 조건을 만족하는 가측성 가족의 확률 측도를 사용하여 $L^2$-공간에서 유계가 아닌 합성 연산자의 하위정규성에 대한 새로운 기준을 수립한다. 이는 유계 하위정규 합성 연산자의 Lambert의 특성화를 일반화하며, 이러한 가족의 가짜 모멘트가 라돈-니코디움 미분계수 $\{\mathsf{h}_{\phi^n}\}_{n=0}^\infty$ 로 주어짐을 증명하여, 유계인 경우에도 새로운 특성화를 제공한다.

ABSTRACT

A criterion for subnormality of unbounded composition operators in L2-spaces, written in terms of measurable families of probability measures satisfying the so-called consistency condition, is established. It becomes a new characterization of subnormality in the case of bounded composition operators. Pseudo-moments of a measurable family of probability measures that satisfies the consistency condition are proved to be given by the Radon-Nikodym derivatives which appear in Lambert's characterization of bounded composition operators. A criterion for subnormality of composition operators induced by matrices is provided. The question of subnormality of composition operators over discrete measure spaces is studied. Two new classes of subnormal composition operators over discrete measure spaces are introduced. A recent criterion for subnormality of weighted shifts on directed trees by the present authors is essentially improved in the case of rootless directed trees and nonzero weights by dropping the assumption of density of C\infty-vectors in the underlying L2-space.

연구 동기 및 목표

• 유계가 아닌 합성 연산자의 하위정규성에 대한 일반 기준을 제시하며, 불변 도메인이나 추가적인 구조적 가정 없이도 가능하도록 한다.
• Lambert의 유계 하위정규 합성 연산자 특성화를 유계가 아닌 설정으로 확장하기 위해, 가측성 가족의 확률 측도에 대한 일치 조건을 도입한다.
• 이러한 가족의 가짜 모멘트가 라돈-니코디움 미분계수 $\{\mathsf{h}_{\phi^n}\}_{n=0}^\infty$ 로 주어짐을 입증함으로써, 기존 결과를 복구하고 일반화한다.
• 특수한 경우, 즉 행렬에 의해 유도된 합성 연산자와 이산 측도 공간에서의 하위정규성에 대해 조사하며, 방향 트리 위의 가중치 이동에 대한 이전 기준을 향상시킨다.

제안 방법

• 합성 연산자 $C_\phi$ 와 관련된 가측성 가족의 확률 측도에 대한 일치 조건을 도입하여, 변환 $\phi$ 의 반복에 걸쳐 호환성이 확보되도록 한다.
• $\phi^{-1}(\mathscr{A})$ 에 대한 조건부 기대를 사용하여 일치 조건을 정의하고 분석하며, 이를 라돈-니코디움 미분계수 $\mathsf{h}_{\phi^n}$ 과 연결한다.
• 가족의 확률 측도에 대한 가짜 모멘트가 정확히 라돈-니코디움 미분계수 $\mathsf{h}_{\phi^n}$ 로 주어짐을 증명함으로써, 모멘트 이론과 연산자 이론을 연결한다.
• 일치 조건을 만족하는 그러한 가측성 가족의 존재에 기반하여 $C_\phi$ 의 하위정규성에 대한 새로운 기준을 수립한다.
• 조건부 기대를 직접 사용하지 않는 강력한 일치 조건을 도입하고, 이가 유계인 경우 $\{\mathsf{h}_{\phi^n}\}$ 이 조건부 기대에 관해 불변임과 동치임을 보인다.
• 이 프레임워크를 특정 클래스에 적용하여, $\kappa \times \kappa$ 행렬에 의해 유도된 합성 연산자와 이산 측도 공간에 대해 적용하며, 하위정규 연산자의 두 가지 새로운 클래스를 도입한다.

실험 결과

연구 질문

• RQ1 유계가 아닌 합성 연산자의 하위정규성에 대한 일반 기준을 유도할 수 있는가? 이때 연산자가 불변 도메인을 가져야 하거나 $C^\infty$-벡터가 밀도를 이룰 필요는 없을까?
• RQ2 일치 조건을 만족하는 가측성 가족의 확률 측도에 대한 라돈-니코디움 미분계수 $\{\mathsf{h}_{\phi^n}\}_{n=0}^\infty$ 는 어떻게 모멘트 구조와 관련이 있는가?
• RQ3 변환 $\phi$ 의 반복에 대해 일치 조건이 유지되는가? 특히 $C_\phi$ 의 거듭제곱에 대해서는 어떻게 되는가?
• RQ4 새로운 기준이 유계인 경우 하위정규성의 특성화에 사용될 수 있으며, Lambert의 특성화를 복구하거나 개선하는가?
• RQ5 행렬에 의해 유도된 합성 연산자나 이산 측도 공간 위에서 하위정규성의 조건은 무엇이며, 이러한 설정에서 새로운 하위정규 연산자의 클래스를 구성할 수 있는가?

주요 결과

• 일致 조건을 만족하는 가측성 가족의 존재에 기반하여, 유계가 아닌 합성 연산자의 하위정규성에 대한 새로운 기준이 수립되었다.
• 이러한 가족의 가짜 모멘트가 정확히 라돈-니코디움 미분계수 $\{\mathsf{h}_{\phi^n}\}_{n=0}^\infty$ 로 주어짐을 입증하여, 모멘트 이론과 하위정규성 간의 직접적인 연결 고리를 제공한다.
• 기준은 유계인 경우 하위정규성의 새로운 특성화로 축소되며, Lambert의 결과를 일반화한다.
• $\kappa \times \kappa$ 행렬에 의해 유도된 합성 연산자에 대해서는, 기저 측도가 0에서의 테일러 계수가 모두 비음수인 정칙 함수의 밀도를 가질 경우 하위정규성이 확보된다.
• 강력한 일치 조건이 도입되었으며, 이는 유계인 경우 $\{\mathsf{h}_{\phi^n}\}$ 이 조건부 기대에 관해 불변임과 동치이다.
• 이전의 방향 트리 위의 가중치 이동에 대한 하위정규성 기준을 향상시켰으며, 특히 루트가 없는 트리와 비영인 가중치에 대해 $\ell^2$-공간에서 $C^\infty$-벡터의 밀도 가정을 제거하였다.