[논문 리뷰] Linear dynamical systems on Hilbert spaces: typical properties and explicit examples

Sophie Grivaux, Étienne Matheron외 1명|arXiv (Cornell University)|2017. 03. 06.

Holomorphic and Operator Theory참고 문헌 56인용 수 47

한 줄 요약

이 논문은 바이어 분류 이론과 명시적 구성법을 사용하여 분리 가능한 무한차원 힐버트 공간 위의 선형 연산자의 일반적인 동역학적 성질을 조사한다. 일반적인 초순환 연산자는 상하좌우 혼합이 아니며, 고유값이 없고, 비자명한 불변 측도를 갖지 않지만, 밀도 있는 분포적 혼돈을 보임을 규명하였으며, 다양한 조합에서 빈도 있는 초순환성, U-빈도 있는 초순환성, 에르고딕성, 혼돈을 구별하는 명시적 예를 제공한다.

ABSTRACT

We solve a number of questions pertaining to the dynamics of linear operators on Hilbert spaces, sometimes by using Baire category arguments and sometimes by constructing explicit examples. In particular, we prove the following results. - A typical hypercyclic operator is not topologically mixing, has no eigenvalues and admits no non-trivial invariant measure, but is densely distributionally chaotic. - A typical upper-triangular operator is ergodic in the Gaussian sense, whereas a typical operator of the form "diagonal plus backward unilateral weighted shift" is ergodic but has only countably many unimodular eigenvalues, in particular, it is ergodic but not ergodic in the Gaussian sense. - There exist Hilbert space operators which are chaotic and $\\mathcal U$-frequently hypercyclic but not frequently hypercyclic, Hilbert space operators which are chaotic and frequently hypercyclic but not ergodic, and Hilbert space operators which are chaotic and topologically mixing but not $\\mathcal U$-frequently hypercyclic. We complement our results by investigating the descriptive complexity of some natural classes of operators defined by dynamical properties.

연구 동기 및 목표

• 범주론적 방법을 사용하여 힐버트 공간 위의 초순환 연산자의 일반적인 동역학적 행동을 명확히 하기.
• 빈도 있는 초순환성, U-빈도 있는 초순환성, 에르고딕성, 혼돈 간의 관계에 대한 열린 문제를 해결하기.
• 특정 비자명한 조합의 동역학적 성질을 보이는 명시적 예를 구성하기.
• 동역학적 성질에 의해 정의된 연산자 집합의 述語적 집합 이론적 복잡도를 조사하기.
• 상삼각형 및 대각선+이동 연산자 맥락에서 에르고딕성과 가우시안 에르고딕성 분석하기.

제안 방법

• 강한 및 강한* 연산자 위상에서 바이어 분류를 적용하여 연산자의 일반적 성질을 확립하기.
• 가중 이동과 대각선 연산자를 사용하여 특정 동역학적 행동을 실현하는 명시적 연산자 구성하기.
• 완전한 스펜딩 개념을 사용하여 상삼각형 설정에서 특정 연산자 집합의 일반성 입증하기.
• 균일한 재귀성과 주기적 점을 기반으로 한 기준을 적용하여 U-빈도 있는 초순환성 특성화하기.
• C-형, C+-형, C2-형 연산자를 도입하고 분석하여 초순환성 개념 간의 차이를 고립 및 시연하기.
• 연산자 특성 특성화와 빈도 있는 초순환성 간의 연결 고리 분석하기.

실험 결과

연구 질문

• RQ1 힐버트 공간에서 바이어 분류의 관점에서 일반적인 초순환 연산자의 동역학적 행동은 무엇인가?
• RQ2 혼란스럽고 상하좌우 혼합이지만 U-빈도 있는 초순환이 아닌 연산자가 존재할 수 있는가?
• RQ3 '대각선 + 뒤로 가는 이동' 형태의 연산자에 대해 에르고딕성과 가우시안 에르고딕성 간에 차이가 존재하는가?
• RQ4 빈도 있는 초순환성과 혼란스럽지만 에르고딕성이 아닌 연산자가 존재하는가?
• RQ5 U-빈도 있는 초순환성이지만 빈도 있는 초순환이 아닌 연산자가 존재하는가?

주요 결과

• 일반적인 초순환 연산자는 상하좌우 혼합이 아니며, 고유값이 없고, 비자명한 불변 측도를 갖지 않지만, 밀도 있는 분포적 혼돈을 보인다.
• 일반적인 상삼각형 연산자는 가우시안 의미에서 에르고딕이며, 일반적인 '대각선 + 뒤로 가는 이동' 형태의 연산자는 에르고딕이지만 가우시안-에르고딕이 아니며, 유한한 수의 단위 원형 고유값만을 가진다.
• 혼란스럽고 U-빈도 있는 초순환성이지만 빈도 있는 초순환이 아닌 연산자가 존재하여, 이러한 개념들 사이에 엄격한 계층이 있음을 보여준다.
• 혼란스럽고 빈도 있는 초순환성이지만 에르고딕성이 아닌 연산자가 존재하여, 빈도 있는 초순환성이 에르고딕성을 함의하지 않음을 보여준다.
• 혼란스럽고 상하좌우 혼합이지만 U-빈도 있는 초순환이 아닌 연산자가 존재하여, 혼합성이 U-빈도 있는 초순환성을 함의하지 않음을 보여준다.
• 상하좌우 혼합 연산자 집합은 $G_{ ho}$-완비이며, 혼란스럽고 빈도 있는 초순환성, U-빈도 있는 초순환성 연산자 집합은 보렐 집합이 아니므로, 높은 述語적 집합 이론적 복잡도를 지닌다.