[논문 리뷰] Common hypercyclic functions for translation operators with large gaps II

Nikos Tsirivas|arXiv (Cornell University)|2014. 12. 05.

Holomorphic and Operator Theory참고 문헌 26인용 수 6

한 줄 요약

이 논문은 복소수 수열 $ \lambda_n $ 가 무한으로 발산하고 특정한 갭 조건과 발산 조건을 만족할 때, 비가산 많은 이동 연산자 $ T_{\lambda_n a} $ 에 대해 공통 초순환 벡터가 되는 정칙 함수의 존재를 확립한다. 주요 결과는 이러한 수열에 대해 단위 원 위의 방향으로의 이동이 정칙 함수 공간에서 밀도를 이룬다는 함수의 집합이 잔여집합( residual )임을 보여주며, 이는 이전의 공통 초순환성 결과를 일반화한다.

ABSTRACT

We prove the existence of common hypercyclic entire functions for uncountable families of translation type operators. Contrary to our previous work [34], here the parameter which reflects the uncountable family lies on the unit circle. On the other hand the sequence of translations is in a sense less restrictive if it is to be compared with the corresponding sequence in [34]. Our result largely extends a result of Costakis in [19].

연구 동기 및 목표

• 정칙 함수 공간에서 비가산 많은 이동 연산자의 공통 초순환 벡터 이론을 확장하기 위해.
• 모든 연산자 $ T_{\lambda_n a} $ 에 대해 초순환인 정칙 함수의 존재를 보장하는 수열 $ (\lambda_n) $ 의 조건을 규명하기 위해.
• 논문 [19]의 정리 2.2를 일반화하기 위해 $ \sum 1/|\mu_n| $ 에 대한 요구되는 발산 조건을 가중치를 고려한 尾합의 limsup 조건으로 완화하기 위해.
• 공통 초순환 함수의 집합이 정칙 함수 공간 $ \mathcal{H}(\mathbb{C}) $ 에서 국소 균일 수렴 위상에서 잔여집합(즉, 일반적임)임을 보여주기 위해.

제안 방법

• 수열 $ (\lambda_n) $ 에 대해 새로운 조건 (C) 를 도입: 모든 $ M > 0 $ 에 대해 부분수열 $ (\mu_n) $ 가 존재하여 $ |\mu_{n+1}| - |\mu_n| > M $ 이고 $ \limsup_{n \to \infty} \left( |\mu_n| \sum_{k=n}^\infty \frac{1}{|\mu_k|} \right) = \infty $ 를 만족한다.
• 베르의 범주정리(Baire category theorem)를 적용하여 공통 초순환 벡터의 집합이 $ G_\delta $ 이고 $ \mathcal{H}(\mathbb{C}) $ 에서 조밀하므로, 잔여집합임을 보인다.
• 컴act 집합에서 균일 수렴하는 방식으로 $ \lambda_n a $ 에 沿해 이동하는 함수의 근사가 가능한 함수의 존재를 통해 구축적 접근을 사용한다.
• 역수 크기의 尾합에 대한 추정을 활용하여 특정 수열(예: $ \lambda_n = (a_m + k)^2 $, $ a_m \to \infty $) 에 대해 조건 (C) 를 검증한다.
• 조건 (C) 를 만족하지만 더 강한 발산 조건 $ \sum 1/|\mu_n| = \infty $ 를 만족하지 않는 수열 $ (\lambda_n) $ 를 구성함으로써, 이 확장이 비잔연함을 보여준다.
• 조건 (C) 에 포함된 limsup 조건이, 조화급수가 느리게 또는 조건부로 발산하더라도 여전히 공통 초순환성에 충분함을 보여준다.

실험 결과

연구 질문

• RQ1 수열 $ (\lambda_n) $ 에 대해 공통 초순환 정칙 함수의 존재 범위를 $ \sum 1/|\mu_n| = \infty $ 를 만족하는 경우를 초월해 확장할 수 있는가?
• RQ2 모든 $ T_{\lambda_n a} $ 에 대해 공통 초순환 벡터의 존재를 보장하는 데 있어 $ \sum 1/|\mu_n| = \infty $ 보다 더 약한 조건이 존재하는가?
• RQ3 비가산 많은 이동 연산자에 대해 초순환성을 보장하기 위해 갭 조건 $ |\mu_{n+1}| - |\mu_n| > M $ 이 수행하는 정확한 역할은 무엇인가?
• RQ4 수열 $ (\lambda_n) $ 가 급격히 증가하고 큰 갭을 가질 경우에도 이러한 연산자의 공통 초순환 벡터 집합이 잔여집합임을 보일 수 있는가?

주요 결과

• 모든 비영인 복소수 수열 $ (\lambda_n) $ 가 $ |\lambda_n| \to \infty $ 를 만족하고 조건 (C) 를 만족할 경우, 모든 $ r > 0 $ 에 대해 $ \bigcap_{a \in C_r} HC(\{T_{\lambda_n a}\}) $ 는 $ \mathcal{H}(\mathbb{C}) $ 에서 잔여집합이다.
• 논문 [19]의 정리 2.2를 일반화하여, 이전에 요구된 $ \sum 1/|\mu_n| = \infty $ 조건을 조건 (C) 의 더 약한 limsup 조건으로 대체하였다.
• 논문은 조건 (C) 를 만족하지만 $ \sum 1/|\mu_n| = \infty $ 를 만족하지 않는 수열 $ (\lambda_n) $ 의 명시적 예를 구성하여, 이 조건이 엄밀히 더 약한 조건임을 보였다.
• 구성된 수열에 대해 $ \sum_{n=1}^\infty \frac{1}{\lambda_n} < \infty $ 임을 보여, 조화급수 조건이 실패하더라도 여전히 공통 초순환성이 성립함을 보였다.
• 이 설정에서 공통 초순환 벡터의 존재에 대해 $ \limsup_{n \to \infty} \left( |\mu_n| \sum_{k=n}^\infty \frac{1}{|\mu_k|} \right) = \infty $ 는 필요이고 충분한 조건임을 보였다.
• 증명을 통해 공통 초순환 함수의 집합이 공집합이 아니며, $ G_\delta $ 이고 조밀하므로 베르 범주론적으로 일반적임을 입증하였다.