[논문 리뷰] Existence of common hypercyclic vectors for translation operators

Nikos Tsirivas|arXiv (Cornell University)|2014. 11. 28.

Holomorphic and Operator Theory참고 문헌 32인용 수 10

한 줄 요약

이 논문은 |λₙ| → ∞ 이고 |λₙ₊₁|/|λₙ| → 1 인 비영인 복소수 수열 (λₙ) 에 의해 유도되는 불가측한 많은 수의 이동 연산자에 대해 공통 초순환 벡터가 되는 전함수의 잔여 집합이 존재함을 확립한다. 바이어 분류 이론을 사용하여, 이러한 수열에 대해 모든 영이 아닌 a ∈ ℂ 에 대해 {f(z + λₙa)}ₙ₌₁^∞ 이 ℋ(ℂ) 에서 조밀한 함수 f 의 집합이 잔여임을 증명한다. 이는 코스타키스와 사마르이고의 결과를 λₙ = n 의 경우를 초월하여 일반화한 것이다. 이 결과는 정확한 점근적 의미에서 최적임을 보여준다.

ABSTRACT

We prove the existence of common hypercyclic, entire functions for certain families of translation operators.

연구 동기 및 목표

• 정수 이동에 대해 공통 초순환 함수를 다룬 코스타키스와 사마르이고의 결과를 복소수 수열 (λₙ) 으로 일반화하는 것.
• 모든 영이 아닌 이동 매개변수 a ∈ ℂ 에 대해 잔여 집합의 공통 초순환 벡터가 존재하는 데 필요한 성장 및 비율 조건을 최적화하는 것.
• 공통 초순환 벡터의 존재에 있어 조건 |λₙ₊₁|/|λₙ| → 1 이 본질적으로 필수적임을 보이는 것.
• 초점 성장 및 비율 조건을 만족하는 수열 (λₙ) 의 포괄적인 클래스를 제공하는 것. 이는 다항식 이상의 성장 및 비단조화 성장 수열을 포함한다.

제안 방법

• 지역 균일 수렴 위상에서 ℋ(ℂ) 에서 공통 초순환 벡터의 집합이 잔여임을 보이기 위해 바이어 분류 정리를 적용하는 것.
• 부하수열의 비율 집합의 상한을 통해 정의된 i(Λ) = 1 개념을 사용하여 공통 초순환성이 성립하는 수열 (λₙ) 을 특성화하는 것.
• |λₙ| → ∞ 이고 |λₙ₊₁|/|λₙ| → 1 인 수열 (λₙ) 의 명시적 예를 구성하는 것. 이는 다항식, 로그, 초다항식 성장 유형을 포함한다.
• 10의 거듭제곱을 이용한 정수의 유일한 표현 기반으로 새로운 구성법을 제안하여, inf ℬ(Λ) ∉ ℬ(Λ) 이지만 i(Λ) = 1 이 되는 수열을 생성하는 것.
• 수열 λₙ 의 하위수열 μₙ 에 대해 모든 가능한 limsup |μₙ₊₁/μₙ| 의 집합 ℬ(Λ) 이라 정의된 집합 ℬ(Λ) 의 행동을 분석하여 임계 성장 임계값을 특성화하는 것.

실험 결과

연구 질문

• RQ1 |λₙ| → ∞ 인 비영인 복소수 수열 (λₙ) 에 대해, 모든 영이 아닌 a ∈ ℂ 에 대해 {f(z + λₙa)}ₙ₌₁^∞ 이 ℋ(ℂ) 에서 조밀한 전함수 f 가 존재하는 잔여 집합이 존재하는가?
• RQ2 이러한 공통 초순환 벡터의 존재에 있어 조건 |λₙ₊₁|/|λₙ| → 1 이 필수적인가?
• RQ3 코스타키스와 사마르이고가 이전에 증명한 λₙ = n 의 경우를 초월하여 결과를 일반화할 수 있는가?
• RQ4 |λₙ₊₁|/|λₙ| → l > 1 인 수열 (λₙ) 에서는 이러한 공통 초순환 벡터가 존재하지 않는가?

주요 결과

• |λₙ| → ∞ 이고 |λₙ₊₁|/|λₙ| → 1 이면, ℋ(ℂ) 의 잔여 집합 G 가 존재하여, 모든 f ∈ G 와 모든 영이 아닌 a ∈ ℂ 에 대해 {f(z + λₙa)}ₙ₌₁^∞ 이 위상 𝒯ᵤ 에서 ℋ(ℂ) 에서 조밀하다.
• 결과는 최적임을 보여주며, 참조 [24] 에서 보여지듯이 |λₙ₊₁|/|λₙ| → l > 1 인 수열 (λₙ) 에서는 공통 초순환 벡터가 존재하지 않는다는 점에서 최적임을 입증한다.
• 논문은 |λₙ| → ∞ 이고 |λₙ₊₁|/|λₙ| → 1 인 조건을 만족하는 네 가지 다른 유형의 수열 (λₙ) 을 구성한다. 이는 n², log n, e^{nᶜ} (0 < c < 1), e^{n / log n} 이다.
• 정수를 10의 거듭제곱을 이용한 유일한 표현 기반으로 새로운 수열 유형을 구성하여, i(Λ) = 1 이지만 inf ℬ(Λ) ∉ ℬ(Λ) 가 되는 수열을 얻었으며, 이는 조건의 강건성을 보여준다.
• 결과는 |λₙ₊₁|/|λₙ| → 1 이라는 조건이 공통 초순환 벡터의 존재에 대해 충분할 뿐 아니라, 영이 아닌 모든 이동 매개변수 a ∈ ℂ 에 대해 본질적으로 필수적임을 확인한다.