[논문 리뷰] Algebrable sets of hypercyclic vectors for convolution operators

Juan Bès, Dimitris Papathanasiou|arXiv (Cornell University)|2017. 06. 27.

Holomorphic and Operator Theory참고 문헌 27인용 수 7

한 줄 요약

이 논문은 정수 함수 공간 위의 특정 컨volution 연산자—예를 들어 MacLane 연산자와 Birkhoff의 연산자—가 조밀하고 무한히 생성된 초순환 벡터 대수를 지닌다는 것을 입증한다. 대수적 유사성 기법과 기호 함수 Φ에 대한 기하 조건을 사용하여, 자유롭게 생성되는 조밀한 초순환 대수를 지닌 잔여 집합의 존재를 증명함으로써, 오랫동안 남아 있던 비유한 생성 초순환 대수의 존재에 대한 질문에 긍정적인 답을 제시한다.

ABSTRACT

We show that several convolution operators on the space of entire functions, such as the MacLane operator, support a dense hypercyclic algebra that is not finitely generated. Birkhoff's operator also has this property on the space of complex-valued smooth functions on the real line.

연구 동기 및 목표

• Arone(2006)의 질문 1을 해결하는 것: 복소수 미분 연산자 D의 초순환 벡터 집합이 H(ℂ)에서 대수화 가능한가?
• 컨볼루션 연산자 맥락에서 유한 생성된 구조를 넘어서 초순환 대수 이론을 확장하는 것.
• 컨볼루션 연산자 Φ(D)의 초순환 벡터 집합이 조밀하고 무한히 생성된 대수를 지닐 조건을 설정하는 것.
• 이러한 대수들이 H(ℂ)^N 및 H(ℂ)^ℕ에서 잔여 집합임을 보여주어 구성의 일반성(유사성)을 입증하는 것.

제안 방법

• Φ(D)의 초순환 벡터 집합이 유한 생성되지 않는 부분대수를 포함함을 보이기 위해 대수화 가능성과 조밀한 대수화 가능성 개념을 활용한다.
• 레벨 집합 {z: |Φ(z)| = 1}에 대한 기하 조건을 적용하며, 엄격하게 볼록한 컴acts 아크 Γ를 요구하며, conv(Γ ∪ {0}) ∦ Γ ⊂ Φ⁻¹(𝔻)를 만족시켜야 한다.
• 프레셰 공간에서 일반화된 베르의 카테고리 정리(Generalized Baire Category Theorem)를 적용하여, 자유롭게 생성하는 초순환 대수의 N-튜플 및 수열 집합의 잔여성을 증명한다.
• 컨볼루션 연산자의 약한 혼합 성질을 활용하고, 다항식에서 함수로의 사상 P ↦ P(f)를 구성하여 이미지의 범위와 조밀성을 분석한다.
• 정수 함수의 계수와 성장률에 대한 渐近적 추정을 적용하여 핵심 부등식에서의 수렴성과 비영성 조건을 검증한다.
• 레미마 4.1을 적용하여 다항식 사상의 조밀한 범위와 초순환 대수의 존재 간의 등가성을 보이며, 차원 간의 잔여성 전이를 가능하게 한다.

실험 결과

연구 질문

• RQ1 복소수 미분 연산자 D의 H(ℂ)에서 초순환 벡터 집합이 조밀하고 비유한 생성 대수를 지닐 수 있는가?
• RQ2 정수 함수 Φ에 대해 어떤 조건이면 컨볼루션 연산자 Φ(D)가 비유한 생성 조밀 초순환 대수를 지닐 수 있는가?
• RQ3 각 N ≥ 2에 대해, H(ℂ)^N 내에서 Φ(D)에 대해 자유롭게 생성하는 초순환 대수를 만드는 N-튜플 (f₁,…,f_N)의 집합이 H(ℂ)^N에서 잔여 집합인가?
• RQ4 H(ℂ)^ℕ 내에서 Φ(D)에 대해 자유롭게 생성하는 조밀 초순환 대수를 만드는 수열 (f_j)의 집합이 H(ℂ)^ℕ에서 여전히 잔여 집합인가?
• RQ5 정리 1.1에서 |Φ(0)| < 1이라는 가정을 유지하면서도 비유한 생성 조밀 초순환 대수의 존재를 보장하는 조건으로 약화시킬 수 있는가?

주요 결과

• 기하 조건이 만족될 경우, 즉 |Φ(z)| = 1 위의 엄격히 볼록한 아크 Γ가 존재하여 conv(Γ ∪ {0}) ∦ Γ ⊂ Φ⁻¹(𝔻)를 만족할 경우, 컨볼루션 연산자 Φ(D)의 초순환 벡터 집합은 조밀하게 강력한 대수화 가능성을 지닌다.
• 각 N ≥ 2에 대해, H(ℂ)^N 내에서 Φ(D)에 대해 자유롭게 생성하는 초순환 대수를 만드는 N-튜플 (f₁,…,f_N)의 집합은 H(ℂ)^N에서 잔여 집합이다.
• H(ℂ)^ℕ 내에서 Φ(D)에 대해 자유롭게 생성하는 조밀 초순환 대수를 만드는 수열 (f_j)의 집합은 H(ℂ)^ℕ에서 잔여 집합이다.
• 미분 연산자 D의 초순환 벡터 집합은 H(ℂ)에서 조밀하게 강력한 대수화 가능성을 지닌다. 이는 질문 1에 대한 긍정적 답변이다.
• 각 Φ_n이 기하 조건을 만족하고 Φ_n(0) ∈ 𝔻일 경우, 수열 {Φ_n(D)}_n∈ℕ의 공통 초순환 벡터 집합으로도 결과가 확장된다.
• |Φ(0)| < 1이라는 가정은, Γ₁ 내의 두 점 z₁, z₂ 및 ε > 0가 존재하여 conv{0, -εz₁, -εz₂} ⊂ Φ⁻¹(𝔻)를 만족시키는 것으로 약화시킬 수 있으며, 이는 cos(z)와 같은 함수의 적용 가능성을 보장한다.