[논문 리뷰] On numerically hypercyclic operators

Stanislav Shkarin|arXiv (Cornell University)|2013. 02. 11.

Holomorphic and Operator Theory참고 문헌 13인용 수 3

한 줄 요약

이 논문은 수치적 초주기적 연산자에 대한 열린 질문을 해결한다. 제곱이 수치적 초주기적이지 않은 연산자를 구성하고, 두 개의 수치적 궤도의 합집합이 밀도를 이루지만 자체적으로는 수치적 초주기적이지 않은 연산자를 제시한다. 또한 ℂ²에서 수치적 초주기적 연산자를 특성화하고, 이러한 연산자의 유사성 및 동형류를 규명하며, 반사적 바나흐 공간에서 수치적 초주기적 연산자 집합의 연산자 노름 폐쇄에 대한 스펙트럼 기준을 제공한다.

ABSTRACT

According to Kim, Peris and Song, a continuous linear operator $T$ on a complex Banach space $X$ is called {\it numerically hypercyclic} if the numerical orbit $\{f(T^nx):n\in\N\}$ is dense in $\C$ for some $x\in X$ and $f\in X^*$ satisfying $\|x\|=\|f\|=f(x)=1$. They have characterized numerically hypercyclic weighted shifts and provided an example of a numerically hypercyclic operator on $\C^2$. We answer two questions of Kim, Peris and Song. Namely, we construct a numerically hypercyclic operator, whose square is not numerically hypercyclic as well as an operator which is not numerically hypercyclic but has two numerical orbits whose union is dense in $\C$. We characterize numerically hypercyclic operators on $\C^2$ as well as the operators similar to a numerically hypercyclic one and those operators whose conjugacy class consists entirely of numerically hypercyclic operators. We describe in spectral terms the operator norm closure of the set of numerically hypercyclic operators on a reflexive Banach space. Finally, we provide criteria for numeric hypercyclicity and decide upon the numerical hypercyclicity of operators from various classes.

연구 동기 및 목표

• 김, 페리스, 송이 제기한 두 가지 열린 질문을 해결한다. 즉, 제곱 연산자에서 수치적 초주기성의 행동과 궤도의 합집합에 대한 성질에 관한 것이다.
• 수치적 초주기적 연산자를 스펙트럼적 및 역학적 성질의 관점에서 ℂ²에서 특성화한다.
• 수치적 초주기적 연산자와 유사하거나 동형인 연산자를 규명하고, 반사적 바나흐 공간에서 이러한 연산자 집합의 연산자 노름 폐쇄를 묘사한다.
• 수치적 초주기적 연산자에 대한 스펙트럼 기준을 제공하고, 다양한 연산자 클래스에서 초주기성 여부를 규명한다.

제안 방법

• 스펙트럼 분해와 고유값 분석을 사용하여, ℂ²에서 수치적 초주기적 벡터를 갖는 특정 연산자를 구성한다.
• 수치적 궤도 O(T,x,f) = {f(Tⁿx) : n ∈ ℕ}의 개념을 활용하고, (x,f) ∈ Π(X)에 대해 그 밀도를 ℂ에서 분석한다.
• 스펙트럼 이론을 적용하여 반사적 바나흐 공간에서 수치적 초주기적 연산자 집합의 폐쇄를 스펙트럼 조건을 통해 특성화한다.
• 볼테라 연산자 V를 L²[0,1]에서 사용하여 반례를 구성하고, ⟨Tⁿf,f⟩의 실수부를 분석하여 복소수 평면에서의 밀도 부재를 보인다.
• 대각선 연산자에 대해 {∑cⱼₙλⱼₙᵏ : k ∈ ℕ}가 ℂ에서 밀도를 이룬다는 조건을 사용하여 강한 수치적 초주기성의 기준을 수립한다.
• 함수 해석학과 연산자 유사성의 응용을 통해 약한 및 강한 수치적 초주기성을 분석하며, 특히 r > 1 및 r(I - cV) 형태의 연산자에 초점을 맞춘다.

실험 결과

연구 질문

• RQ1 바나흐 공간에서 제곱이 수치적 초주기적이지 않은 수치적 초주기적 연산자가 존재하는가?
• RQ2 두 개의 수치적 궤도의 합집합이 ℂ에서 밀도를 이루지만 자체적으로는 수치적 초주기적이지 않은 연산자가 존재하는가?
• RQ3 ℂ²에서 수치적 초주기적 연산자의 완전한 특성화는 무엇인가?
• RQ4 수치적 초주기적 연산자와 유사하거나 동형인 연산자는 어떤 것인가?
• RQ5 반사적 바나흐 공간에서 수치적 초주기적 연산자 집합의 연산자 노름 폐쇄는 스펙트럼적으로 어떻게 기술되는가?

주요 결과

• 김, 페리스, 송의 질문에 대해 긍정적으로 답하는 바, ℂ²에서 제곱이 수치적 초주기적이지 않은 수치적 초주기적 연산자가 존재한다.
• ℂ²에서 연산자가 수치적 초주기적임은 스펙트럼에 |λ₁| = |λ₂| = 1 이며, arg(λ₁), arg(λ₂) 가 ℚ 위에서 선형 독립인 두 고유값 λ₁, λ₂ 를 포함할 때이고, 그 역도 성립한다.
• 반사적 바나흐 공간에서 수치적 초주기적 연산자 집합이 연산자 노름 위상에서 폐쇄됨은 스펙트럼 조건이 폐쇄에 대해 만족될 때에 한하여 성립한다.
• r > 1 인 경우, L²[0,1]에서 T = re⁻ᵛ의 변형은 수치적 초주기적이지 않다. 왜냐하면 그 수치적 궤도들이 오른쪽 반평면에만 존재하기 때문이며, 이는 ℂ에서의 밀도를 이루지 못하기 때문이다.
• r > 1 인 경우, r(I - cV)는 약한 수치적 초주기적은 되지만 강한 수치적 초주기적은 아니며, 이는 약한 및 강한 수치적 초주기성 간의 엄밀한 계층을 보여준다.
• 스펙트럼 데이터와 고유값 분포를 활용하여, {∑cⱼₙλⱼₙᵏ : k ∈ ℕ} 가 ℂ에서 밀도를 이룬다는 조건을 만족시키는 방식으로, ℓ²(A × ℕ)에서 강한 수치적 초주기적 대각선 연산자를 구성한다.