[논문 리뷰] Hypercyclic and supercyclic linear operators on non-Archimedean vector spaces

Farrukh Mukhamedov, Otabek Khakimov|arXiv (Cornell University)|2017. 02. 16.

advanced mathematical theories참고 문헌 8인용 수 3

한 줄 요약

이 논문은 비아르키메데스 체 위의 선형 연산자에 대한 초순환성 및 초초순환성 이론을 수립하며, 유한차원 공간에서는 초순환 연산자가 존재하지 않음을 증명하고, 분리 가능한 F-공간에서 초순환성 및 초초순환성 연산자를 초순환 및 초초순환 기준을 통해 특성화한다. 주요 결과 중 하나는 비아르키메데스 체 위에서 $ c_0 $ 상의 연산자 $ I + \mu B $ 는 결코 초순환적이지 않다는 것이다—이것은 실수 체에서는 $ |\mu| > 1 $ 일 때 초순환성이 발생하므로 뚜렷한 대비를 이룬다.

ABSTRACT

A main objective of the present paper is to develop the theory of hypercyclicity and supercyclicity of linear operators on topological vector space over non-Archimedean valued fields. We show that there does not exist any hypercyclic operator on finite dimensional spaces. Moreover, we give sufficient and necessary conditions of hypercyclicity (resp. supercyclicity) of linear operators on separable $F$-spaces. It is proven that a linear operator $T$ on topological vector space $X$ is hypercyclic (supercyclic) if it satisfies Hypercyclic (resp. Supercyclic) Criterion. We consider backward shifts on $c_0$, and characterize hypercyclicity and supercyclicity of such kinds of shifts. Finally, we study hypercyclicity, supercyclicity of operators $λI+μB$, where $I$ is identity and $B$ is backward shift. We note that there are essential differences between the non-Archimedean and real cases.

연구 동기 및 목표

• 비아르키메데스 체에 대한 위상 벡터 공간 위의 선형 연산자에 대한 초순환성 및 초초순환성 이론을 개발하기 위해.
• 비아르키메데스 체 위의 분리 가능한 F-공간에서 초순환성 및 초초순환성에 대한 필요 및 충분 조건을 규명하기 위해.
• 비아르키메데스 설정에서의 역방향 이동 연산자 및 $ \lambda I + \mu B $ 형식의 연산자들의 행동을 조사하기 위해.
• 비아르키메데스 동역계와 실수 체 동역계 사이의 근본적인 차이를 규명하기 위해, 특히 $ I + \mu B $ 의 초순환성 측면에서.

제안 방법

• 초순환 및 초초순환 기준을 위상 벡터 공간에서의 초순환성 및 초초순환성에 대한 충분 조건으로 활용한다.
• 공간 $ c_0(\mathbb{N}) $ 상의 역방향 이동 연산자 $ B $ 를 분석하여, 노름 부등식과 비아르키메데스 성질을 통해 그 초순환성 및 초초순환성 행동을 특성화한다.
• 비아르키메데스 노름 성질을 적용: $ |\lambda| \neq |\mu| $ 이면 $ |\lambda + \mu| = \max\{|\lambda|, |\mu|\} $ 를 사용하여 초초순환성 가정에서 모순을 이끌어낸다.
• 반복 연산자 수열 $ T^n_{\lambda,\mu}(\mathbf{x}) $ 을 구성하고, 비아르키메데스 초초등부등식을 사용하여 연산자 노름을 유계화한다.
• 초초순환 기준을 검증하기 위해 $ \|T^n_{\lambda,\mu}(\mathbf{x})\| \cdot \|S^n_{\mu,\lambda}(\mathbf{y})\| \to 0 $ 이 되도록 하는 유사수반 연산자 $ S_{\mu,\lambda} $ 를 도입하며, $ n \to \infty $ 일 때 $ |\lambda| < |\mu| $ 이면 성립한다.
• 초초순환성 가정을 $ |\mu| \leq |\lambda| $ 조건 하에 가정하여 모순을 이끌어내며, 비아르키메데스 노름 성질 위반을 유도한다.

실험 결과

연구 질문

• RQ1 비아르키메데스 체 위의 분리 가능한 F-공간에서 선형 연산자가 언제 초순환성 또는 초초순환성이 되는가?
• RQ2 비아르키메데스 설정에서 초순환성 및 초초순환성을 특성화하기 위해 초순환 또는 초초순환 기준을 사용할 수 있는가?
• RQ3 실수 체에서는 $ |\mu| > 1 $ 일 때 초순환성이 발생하는 데 비해, 왜 비아르키메데스 체 위에서 $ c_0(\mathbb{N}) $ 상의 연산자 $ I + \mu B $ 는 결코 초순환적이지 않은가?
• RQ4 역방향 이동 연산자 맥락에서 비아르키메데스 동역계와 실수 선형 동역계 사이에 근본적인 구조적 차이가 존재하는가?
• RQ5 비아르키메데스 체 위의 $ c_0 $ 에서 모든 초순환(또는 초초순환) 연산자는 해당 기준을 만족하는가?

주요 결과

• 유한차원 비아르키메데스 벡터 공간에는 초순환 연산자가 존재하지 않는다.
• 위상 벡터 공간 위의 선형 연산자 $ T $ 는 초순환 기준을 만족할 경우 초순환(또는 초초순환 기준을 만족할 경우 초초순환)이 된다.
• 공간 $ c_0(\mathbb{N}) $ 상의 역방향 이동자 $ B $ 에 대해, 연산자 $ \lambda I + \mu B $ 는 $ |\lambda| < |\mu| $ 일 때에만 초순환적이며, 이 조건은 $ I + \mu B $ 에 대해서는 항상 만족되지 않으므로, 이는 결코 초순환적이지 않다.
• 비아르키메데스 체 위에서 $ I + \mu B $ 는 결코 초순환적이지 않다—반면 실수 체에서는 $ |\mu| > 1 $ 일 때 초순환적이므로, 두 설정 간의 핵심적 차이를 드러낸다.
• $ \lambda I + \mu B $ 는 $ c_0(\mathbb{N}) $ 상에서 $ |\lambda| < |\mu| $ 일 때에만 초초순환적이며, 이 조건은 초초순환 기준을 만족시킴을 보장한다.
• 저자들은 비아르키메데스 체 위의 $ c_0 $ 에서 모든 초순환(또는 초초순환) 연산자가 해당 초순환(또는 초초순환) 기준을 만족해야 한다고 추측한다.