[논문 리뷰] Weighted shifts on directed trees

Zenon Jan Jabłoński, Il Bong Jung외 1명|arXiv (Cornell University)|2009. 11. 19.

Holomorphic and Operator Theory참고 문헌 41인용 수 4

한 줄 요약

이 논문은 고전적 가중 이동(shift)과 가중 인접 연산자들의 일반화로 무한 방향 그래프 트리 위의 가중 이동을 도입하고 연구한다. 가중치에 기반한 하이폰랄리티, 코하이폰랄리티, 하위정규성, 완전 초초과성의 완전한 특성화를 제공하며, 주요 결과로 특정 트리 ${\mathscr{T}}_{\eta,\kappa}$ 위에서의 하위정규성이 고전적 단일 방향 가중 이동의 $k$-단계 뒤로 연장 가능성과 동치임을 보여준다.

ABSTRACT

A new class of (not necessarily bounded) operators related to (mainly infinite) directed trees is introduced and investigated. Operators in question are to be considered as a generalization of classical weighted shifts, on the one hand, and of weighted adjacency operators, on the other; they are called weighted shifts on directed trees. The basic properties of such operators, including closedness, adjoints, polar decomposition and moduli are studied. Circularity and the Fredholmness of weighted shifts on directed trees are discussed. The relationships between domains of a weighted shift on a directed tree and its adjoint are described. Hyponormality, cohyponormality, subnormality and complete hyperexpansivity of such operators are entirely characterized in terms of their weights. Related questions that arose during the study of the topic are solved as well. Particular trees with one branching vertex are intensively studied mostly in the context of subnormality and complete hyperexpansivity of weighted shifts on them. A strict connection of the latter with $k$-step backward extendibility of subnormal as well as completely hyperexpansive unilateral classical weighted shifts is established. Models of subnormal and completely hyperexpansive weighted shifts on these particular trees are constructed. Various illustrative examples of weighted shifts on directed trees with the prescribed properties are furnished. Many of them are simpler than those previously found on occasion of investigating analogical properties of other classes of operators.

연구 동기 및 목표

• 무한 방향 그래프 트리 위의 가중 이동을 고전적 가중 이동과 가중 인접 연산자의 일반화로 도입하고 체계적으로 연구하기.
• 이 새로운 프레임워크 내에서 닫힘, 수반, 극분해, 모듈러스 등의 기본 연산 이론적 성질을 특성화하기.
• 가중 이동과 그 수반의 정의역 간의 관계를 다양한 포함 조건 하에서 조사하기.
• 가중치에 기반한 하이폰랄리티, 코하이폰랄리티, 하위정규성, 완전 초초과성의 완전한 특성화를 제공하기.
• 특정 방향 그래프 트리, 특히 ${\mathscr{T}}_{\eta,\kappa}$ 위에서 하위정규성 및 완전 초초과성 연산자의 모델을 구축하고, 고전적 단일 방향 가중 이동의 $k$-단계 뒤로 연장 가능성과 연관시키기.

제안 방법

• 간선 집합에 정의된 가중치 함수 $\lambda_v$를 사용하여 방향 그래프 트리 위의 가중 이동을 정의함으로써 고전적 가중 이동과 가중 인접 연산자를 일반화한다.
• 특히 하나의 분기 정점을 가진 무한 방향 트리 (${\mathscr{T}}_{\eta,\kappa}$)와 같은 그래프 이론적 구조를 활용하여 연산자 성질을 모델링하고 분석한다.
• 스펙트럴 이론과 함수 해석학을 적용하여 원형성, 프레드홀름성, 그리고 정의역 포함 관계 $\mathscr{D}(S_{\boldsymbol{\lambda}}) \subseteq \mathscr{D}(S_{\boldsymbol{\lambda}}^*)$ 를 연구한다.
• $p$-하이폰랄리티 조건을 활용하여 가중치에 대한 부등식을 적용: $|\lambda_{i,j}| \leq |\lambda_{i,j+1}|$, $\left(\sum |\lambda_{i,1}|^2\right)^{p-1} \left(\sum \frac{|\lambda_{i,1}|^2}{|\lambda_{i,2}|^{2p}}\right) \leq 1$, 및 $\lambda_0$에 대한 경계 조건.
• ${\mathscr{T}}_{\eta,\kappa}$ 위에서의 하위정규성과 고전적 단일 방향 가중 이동의 $k$-단계 뒤로 연장 가능성 간의 엄밀한 연결 고리를 확립한다.
• 측도 이론적 및 모멘트 기반 조건(예: $\mu_1 = \delta_{1/a^2}$, $\mu_2 = \delta_{1/b^2}$)을 사용하여 하위정규성을 가중치 매개변수에 따라 특성화한다.

실험 결과

연구 질문

• RQ1 방향 그래프 트리 위의 가중 이동이 하이폰랄리티, 코하이폰랄리티, 하위정규성, 또는 완전 초초과성일 조건은 무엇인가? 이는 가중치에 의해 어떻게 결정되는가?
• RQ2 정의역 포함 관계 $\mathscr{D}(S_{\boldsymbol{\lambda}}) \subseteq \mathscr{D}(S_{\boldsymbol{\lambda}}^*)$ 또는 그 반대가 성립하기 위한 필요 및 충분 조건은 무엇인가?
• RQ3 ${\mathscr{T}}_{\eta,\kappa}$ 위에서의 하위정규성은 고전적 단일 방향 가중 이동의 $k$-단계 뒤로 연장 가능성과 어떻게 관련되어 있는가?
• RQ4 $p$-하이폰랄리티와 ${\mathscr{T}}_{2,1}$ 위의 가중 이동에 대한 매개변수 공간 $\varDelta_p$ 간의 정확한 관계는 무엇인가?
• RQ5 특정 방향 그래프 트리 위에서 하위정규성 및 완전 초초과성 가중 이동의 모델을 구축할 수 있는가? 그 조건은 무엇인가?

주요 결과

• 가중 이동 $S_{\boldsymbol{\lambda}}$ 가 ${\mathscr{T}}_{\eta,\kappa}$ 위에 존재할 때, $p$-하이폰랄리티이기 위한 필요 및 충분 조건은 모든 $i,j$ 에 대해 $|\lambda_{i,j}| \leq |\lambda_{i,j+1}|$, $\left(\sum |\lambda_{i,1}|^2\right)^{p-1} \left(\sum \frac{|\lambda_{i,1}|^2}{|\lambda_{i,2}|^{2p}}\right) \leq 1$, 그리고 $\kappa \geq 1$ 일 때 $|\lambda_0|^2 \leq \sum |\lambda_{i,1}|^2$ 를 만족하는 것이다.
• ${\mathscr{T}}_{2,1}$ 에서 $S_{\boldsymbol{\lambda}}$ 가 $p$-하이폰랄리티이기 위한 필요 및 충분 조건은 $\lambda_0 \leq 1$ 이고 $(a,b) \in \varDelta_p = \{(x,y) \in \mathbb{R}^2 : x,y > 0, x^{2p} + y^{2p} \leq 2\}$ 이다.
• $\varDelta_\infty = \bigcap_{p>0} \varDelta_p$ 는 $\{(x,y) : 0 < x \leq 1, 0 < y \leq 1\}$ 와 일치하므로, $S_{\boldsymbol{\lambda}}$ 가 $\infty$-하이폰랄리티이기 위한 필요 및 충분 조건은 $\lambda_0, a, b \leq 1$ 이다.
• ${\mathscr{T}}_{2,1}$ 위에서 $S_{\boldsymbol{\lambda}}$ 가 하위정규성임은 $a^2 + b^2 = 2$ 이고 $\frac{a^4 + b^4}{2} \leq \frac{1}{\lambda_0^2}$ 를 만족할 때에만 성립한다.
• 만약 $a^2 + b^2 = 2$ 이고 $(a,b) \neq (1,1)$ 이면, $S_{\boldsymbol{\lambda}}$ 는 하위정규성은 있지만 $\infty$-하이폰랄리티가 아님을 보여주며, $(a,b) \in \varDelta_\infty \setminus \{(1,1)\}$ 이면 $\infty$-하이폰랄리티는 되지만 하위정규성은 아님을 보여준다.
• $S_{\boldsymbol{\lambda}}$ 가 등장성(isometry)임은 $\lambda_0 = a = b = 1$ 이고, 이는 하위정규성 및 $\infty$-하이폰랄리티를 동시에 함의한다.