[논문 리뷰] Growth rates and the peripheral spectrum of positive operators

Jochen Glück|arXiv (Cornell University)|2015. 12. 23.

Advanced Banach Space Theory참고 문헌 17인용 수 4

한 줄 요약

이 논문은 복소 범반 공간 위의 양의 연산자에 대한 주변 스펙트럼의 순환성에 대한 새로운 충분조건을 제시한다. 이는 해석적 임계값에 수렴하는 수열에서의 해석적 연산자 노름의 성장률과 고유벡터 행동을 분석함으로써 이루어지며, 만약 해석적 연산자 노름의 성장률이 임계값에 수렴하는 수열에서 최소 또는 최대일 경우, 주변 고유값의 모든 정수 거듭제곱이 스펙트럼에 속함을 증명한다. 이는 페르로-프로베니우스 이론에서 오랫동안 남아있던 순환성 문제 해결에 강력한 증거를 제공한다.

ABSTRACT

Let $T$ be a positive operator on a complex Banach lattice. It is a long open problem whether the peripheral spectrum $σ_{\operatorname{per}}(T)$ of $T$ is always cyclic. We consider several growth conditions on $T$, involving its eigenvectors or its resolvent, and show that these conditions provide new sufficient criteria for the cyclicity of the peripheral spectrum of $T$. Moreover we give an alternative proof of the recent result that every (WS)-bounded positive operator has cyclic peripheral spectrum. We also consider irreducible operators $T$. If such an operator is Abel bounded, then it is known that every peripheral eigenvalue of $T$ is algebraically simple. We show that the same is true if $T$ only fulfils the weaker condition of being (WS)-bounded.

연구 동기 및 목표

• 복소 범반 격자 위의 모든 양의 연산자에 대해 주변 스펙트럼이 순환적임을 증명하는 열린 문제를 해결하는 것.
• 해석적 연산자와 고유벡터 노름의 성장률에 기반한 순환성에 대한 새로운 충분조건을 설정하는 것.
• 최근 결과들, 특히 (WS)-유계 양의 연산자에 대한 주변 스펙트럼의 순환성에 대한 대체 증명을 제공하는 것.
• 기존에 아벨 유계 연산자에 대해서만 알려진 결과들을 더 약한 (WS)-유계 조건으로 일반화하며, 특히 기약 연산자에 대해 적용하는 것.
• 해석적 연산자 분석과 불변 부분공간 방법을 통해 양의 연산자 이론에서의 스펙트럼 기법을 통합하고 일반화하는 것.

제안 방법

• 주변 고유값 λ에 대응하는 정규화된 고유벡터 z에 대해, rₙ ↓ r(T) = 1 일 때 해석적 연산자 노름 ‖R(rₙ,T)|z‖ 의 성장률을 분석한다.
• 최소 및 최대 성장 행동를 특징짓기 위해 1/(rₙ−1) ≤ ‖R(rₙ,T)|z‖ ≤ ‖R(rₙ,T)‖ 의 경계를 사용한다.
• 불변 이상과 주된 밴드에서의 스펙트럼 이론을 적용하여, 극한 성장 조건 하에서 모든 k ∈ ℤ 에 대해 λᵏ ∈ σ(T) 임을 보인다.
• 주변 스펙트럼이 전적으로 고유값으로 구성되도록 보장하기 위해 초구배를 통한 축소 기법을 사용한다.
• (WS)-유계성 개념을 활용하여 이전에 아벨 유계 연산자에 대해서만 알려진 결과들을 일반화한다.
• AM-공간 위의 마르코프 연산자 이론과 토르션 연산자 이론을 적용하여 T 와 λT 가 유사함을 보이고, 이는 스펙트럼의 회전에 대한 불변성을 의미한다.

실험 결과

연구 질문

• RQ1 해석적 연산자 또는 고유벡터 노름의 성장 조건이 주어졌을 때, 양의 연산자의 주변 스펙트럼이 반드시 순환적임을 보장하는 조건은 무엇인가?
• RQ2 해석적 연산자 노름의 성장률이 수열을 따라 최소 또는 최대일 경우, 주변 스펙트럼의 순환성이 확보될 수 있는가?
• RQ3 (WS)-유계 조건은 기약 양의 연산자에서 주변 고유값이 대수적으로 단순함을 보장하는가? 이는 이전에 아벨 유계 연산자에 대해서만 알려진 바이다.
• RQ4 (WS)-유계 양의 연산자가 주변 스펙트럼을 순환적으로 가짐을 보이는 결과를, 다른 스펙트럼 기법을 통해 재증명할 수 있는가?
• RQ5 양의 고유벡터에 의해 생성된 불변 이상에 대한 T 의 제한과 T 의 스펙트럼 행동 간의 관계는 무엇인가?

주요 결과

• 만약 ‖R(rₙ,T)|z|의 노름이 1/(rₙ−1) 만큼 가장 느리게 증가하면, 모든 k ∈ ℤ 에 대해 λᵏ ∈ σ(T) 임을 보여주며, 이는 주변 스펙트럼의 순환성을 의미한다.
• 만약 ‖R(rₙ,T)|z|의 노름이 ‖R(rₙ,T)‖ 만큼 가장 빠르게 증가하면, 다시 한 번 모든 k ∈ ℤ 에 대해 λᵏ ∈ σ(T) 임을 보여주며, 이 역시 주변 스펙트럼의 순환성을 의미한다.
• (WS)-유계 조건은 기약 양의 연산자의 각 주변 고유값이 대수적으로 단순함을 보장하는 데에 충분하며, 이는 이전에 아벨 유계 연산자에 대해서만 알려진 결과를 확장한다.
• 모든 (WS)-유계 양의 연산자가 주변 스펙트럼을 순환적으로 가짐을 보이는 결과에 대해, 불변 이상에서의 스펙트럼 기법을 사용한 대체 증명을 제공한다.
• 주변 고유값 λ와 양의 고유벡터 z에 대해, 주요 이상 E|z| 는 T 에 대해 불변이며, T 가 이 이상 위에서 토르션 연산자를 통해 λT 와 유사함을 보여주며, 이는 σ(T) 가 λ 에 의한 곱셈에 대해 불변임을 의미한다.
• (1−T)ⁿ 의 핵은 모든 n ≥ 2 에 대해 (1−T) 의 핵과 동일하며, 이는 (WS)-유계 조건 하에서 고유값 1 이 대수적으로 단순함을 확인한다.