[논문 리뷰] Disjoint Hypercyclicity for families of Taylor-type Operators

Vagia Vlachou|arXiv (Cornell University)|2015. 04. 01.

Holomorphic and Operator Theory참고 문헌 17인용 수 4

한 줄 요약

이 논문은 해석함수를 그 테일러 전개의 부분합으로 매핑하는 타입의 연산자 가족에 대해 이심성 초주기성의 필수 및 필요조건을 설정한다. 잠재론적 이론과 오스트로프스키 갭 도구를 사용하여, {n}, {n²}, ..., {n^{σ₀}}와 같은 특정 수열에 대해 이심성 초주기성 벡터의 집합이 전개점 ζ₀에 독립적임을 증명하며, 테일러 급수에서의 다중 보편성 결과를 일반화한다.

ABSTRACT

We give necessary and sufficient condition so that we have d-hypercyclicity for operators who map a holomorphic function to a partial sum of the Taylor expansion. This problem is connected with doubly universal Taylors series and this is an effort to generalize the concept to multiple universal Taylor series.

연구 동기 및 목표

• 다중 보편성으로의 보편 테일러 급수 개념을 일반화하여, 이중 보편 급수에 관한 이전 연구를 확장한다.
• 해석함수를 부분 테일러 다항식으로 사영하는 연산자 가족에서 d-초주기성의 필수 및 필요조건을 설정한다.
• 이러한 연산자에 대해 이심성 초주기성 벡터가 전개점 ζ₀의 변화에 대해 불변인지 조사한다.
• 잠재론적 이론과 오스트로프스키 갭 기법을 적용하여 이러한 연산자의 보편성 성질을 분석한다.
• ζ₀ ∈ Ω에 따라 인덱싱된 비가чёт 수 많은 연산자 가족에서 d-초주기성이 성립함을 보여주며, 모든 이러한 점들에서 균일한 근사가 이루어짐을 보인다.

제안 방법

• K₁, …, K_{σ₀}와 같은 여러 컴acts 집합에서 주어진 컴팩트 지지가 있는 해석함수를 동시에 근사할 수 있는 부분 테일러 다항식을 갖는 함수의 클래스 $ U^{(\theta_0)}_{\text{mult}} $ 를 정의한다.
• 잠재론적 도구(예: [23]에서의 것들)를 사용하여, $ A(K_1) \times \cdots \times A(K_{\sigma_0}) $ 과 같은 곱공간에서 궤도의 조밀도를 분석한다.
• 수열 $ (p_k^\sigma, n_k^\sigma) $ 를 통해 오스트로프스키 갭을 도입하여 $ \lim_{k\to\infty} \frac{q_k}{p_k} = \infty $ 이고 $ \lim_{\nu \in I} |a_\nu|^{1/\nu} = 0 $ 를 만족시키며, 테일러 다항식의 균일 수렴을 보장한다.
• 수렴 조건 $ \|T^{(\zeta_0)}_{n_k^\sigma}(f) - g_\sigma\|_{K_\sigma} \to 0 $ 과 $ \|T^{(\zeta_0)}_{n_k^\sigma}(f)\|_{E_k} \to 0 $ 을 만족하는 부분수열 $ \{n_k\} $ 을 적용한다. 여기서 $ E_k $ 는 모두 $ K_\sigma $ 와 서로소이다.
• 성장 조건 $ \|T^{(\zeta_0)}_{n_k^\sigma}(f)\|_{|z|=k}^{1/n_k^\sigma} \leq 2 $ 를 사용하여 성장도 통제하고 오스트로프스키 갭 조건을 유도한다.
• 기존 결과(예: [16]의 보조정리 9.2) 를 활용하여 전개점 $ \zeta_0 $ 에서의 근사성을 다른 모든 $ \zeta \in \Omega $ 로 이행함으로써 전개점에 대한 독립성을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 타입의 연산자 가족이 이심성 초주기성을 갖는가?
• RQ2 다른 부분합 수열을 갖는 다수의 연산자로 테일러 급수의 보편성이 확장될 수 있는가?
• RQ3 이심성 초주기성 벡터의 집합은 전개점 $ \zeta_0 \in \Omega $ 의 선택에 따라 달라지는가?
• RQ4 오스트로프스키 갭은 테일러 다항식의 보편성 및 근사 성질에 어떻게 기여하는가?
• RQ5 잠재론적 이론적 방법을 사용하여 보편성의 불변성이 다양한 전개 중심 간에 유지되는가?

주요 결과

• 수열 $ \{\lambda_n^{(\sigma)}\} $ 가 상대적 발산과 관련된 특정 성장 조건을 만족할 때, $ U^{(\zeta_0)}_{\text{mult}}(\{n\}, \{n^2\}, \dots, \{n^{\sigma_0}\}) $ 가 비어 있지 않다.
• 수열 $ \{n^\sigma\}_{n \in \mathbb{N}} $ 에 대해, 이심성 초주기성 벡터의 집합은 $ \zeta_0 \in \Omega $ 의 선택과 무관하다. 즉, $ f \in U^{(\zeta_0)}_{\text{mult}} $ 이면 모든 $ \zeta \in \Omega $ 에 대해 $ f \in U^{(\zeta)}_{\text{mult}} $ 이다.
• 증명은 부분수열 $ \{n_k\} $ 을 구성하여, 테일러 다항식이 $ K_\sigma $ 에서 목표 함수로 균일 수렴하고, 서로소 집합 $ E_k $ 에서는 감쇠하도록 하는 데 의존한다. 이는 갭 분석을 가능하게 한다.
• 성장 조건 $ \left(\frac{n_k}{p_k}\right)^\sigma \leq \log k $ 를 통해 오스트로프스키 갭을 확립하며, 이는 $ \lim_{\nu} |a_\nu|^{1/\nu} = 0 $ 를 유도하여 균일 근사를 보장한다.
• 모든 $ \mathbb{C} $ 에서 컴팩트하게 수렴하는 조건 $ \sup_{\zeta \in L} \|T^{(\zeta)}_{p_k^\sigma}(f) - T^{(\zeta)}_{n_k^\sigma}(f)\|_{K_\sigma} \to 0 $ 이 성립하여, 중심 간 보편성의 이행이 가능하다.
• 결과적으로, $ \sigma = 1, \dots, \sigma_0 $ 인 $ \{T^{(\zeta)}_{n^\sigma}\}_{n \in \mathbb{N}} $ 의 비가산 수의 가족에서 d-초주기성이 성립하며, 공통 부분수열이 동시에 보편성을 달성한다.