[논문 리뷰] Transitive cylinder flows whose set of discrete points is of full Hausdorff dimension

Eugeniusz Dymek|arXiv (Cornell University)|2013. 03. 13.

Mathematical Dynamics and Fractals참고 문헌 11인용 수 7

한 줄 요약

이 논문은 모든 무리 회전 $\alpha \in [0,1)$ 에 대해 연속 코 cycles $f: [0,1) \to \mathbb{R}$ 를 사용하여 $[0,1) \times \mathbb{R}$ 상에서 이행적인 실린더 흐름을 구성한다. 이 흐름의 이산 궤도를 가진 점들의 집합은 허스트로프 차원 2를 갖는다. 이 구성은 이전 연구를 확장하여 이산 궤도 집합의 최대 차원을 달성하며, 비유계 시스템에서 '이산 데바니 혼돈'의 한 형태를 보여준다.

ABSTRACT

For each irrational $α\in[0,1)$ we construct a continuous function $f\: [0,1) o \R$ such that the corresponding cylindrical transformation $[0,1) imes\R i (x,t) \mapsto (x+α, t+ f(x)) \in [0,1) imes\R$ is transitive and the Hausdorff dimension of the set of points whose orbits are discrete is 2. Such cylindrical transformations are shown to display a certain chaotic behaviour of Devaney-like type.

연구 동기 및 목표

• 베식로비치 실린더 흐름에서 이산 궤도 집합의 최대 가능한 허스트로프 차원에 관한 위상역학의 열린 문제를 해결하기 위해.
• 이전 연구 결과를 확장하여, $d$-토러스 회전에서 이산 궤도 집합의 차원이 최소 $d + 1/2$ 이상일 수 있음을 보였지만, 이를 전체 차원 $d+1$ 으로 확장하기 위해.
• 이러한 시스템이 비유계 환경에서 '이산 데바니 혼돈'이라 불리는 일반화된 형태의 데바니 혼돈을 나타냄을 보여주기 위해.
• 연속 코 cycles를 구성하여, 이에 대응하는 실린더 흐름이 전체 차원을 갖는 이산 궤도 집합을 가짐을 보장하는 구축 방법을 제공하기 위해.

제안 방법

• 모든 무리수 $\alpha \in [0,1)$ 에 대해 연속 함수 $f: [0,1) \to \mathbb{R}$ 를 구성하여, 이에 대응하는 실린더 변환 $T_f(x,t) = (x+\alpha, t + f(x))$ 가 이행적임을 보이기 위해.
• 연분수 근사와 $\alpha$ 의 디오판틴 성질을 이용하여 특정 부분집합 $F^{s_-s_+} \subset [0,1)$ 을 정의하고, 이 집합이 이산 궤도를 지닌다.
• Birkhoff 합 $f^{(n)}(x)$ 의 성장률을 분석하고 부분합의 유계성을 이용하여 $F^{s_-s_+} \times \mathbb{R}$ 의 점들의 궤도가 이산적임을 증명하기 위해.
• 분수기하학과 디오판틴 근사 기법을 적용하여 $F^{s_-s_+}$ 의 허스트로프 차원을 계산하고, 이 값이 정확히 1임을 보여, 따라서 $F^{s_-s_+} \times \mathbb{R}$ 는 차원 2를 가짐을 보임.
• 이산 궤도가 동역학에 대해 불변임과 $T_f$ 의 이행성에 기반하여, 이산 점들의 집합이 $[0,1) \times \mathbb{R}$ 에서 조밀함을 증명하기 위해.
• 데바니 혼돈 정의에서 주기적 점들을 이산 궤도로 대체하여 '이산 데바니 혼돈'의 개념을 도입하고, 감도성과 유계 컴acts성 하에서 최대성 조건을 증명하기 위해.

실험 결과

연구 질문

• RQ1 무리 회전에 대한 $\mathbb{T}^d$ 상의 최소 회전에서, 베식로비치 실린더 흐름의 이산 궤도 집합의 허스트로프 차원은 $d + 1/2$ 를 초월할 수 있는가?
• RQ2 무리 회전에 대한 이행적인 실린더 흐름을 구성할 수 있는가? 이 경우 이산 궤도 집합의 허스트로프 차원이 정확히 2인가?
• RQ3 비유계 동역학계에서 주기적 점이 이산 궤도로 대체된 일반화된 형태의 데바니 혼돈이 존재하는가?
• RQ4 특히, 전체 차원을 갖는 경우에, 이러한 시스템에서 이산 궤도 집합의 위상적 및 측도론적 구조는 어떻게 행동하는가?

주요 결과

• 모든 무리수 $\alpha \in [0,1)$ 에 대해 연속 함수 $f: [0,1) \to \mathbb{R}$ 가 존재하여, 이에 대응하는 실린더 변환 $T_f$ 는 이행적이다.
• 이산 궤도를 가진 점들의 집합은 허스트로프 차원이 정확히 2인 부분집합 $F^{s_-s_+} \times \mathbb{R}$ 를 포함한다.
• 이 구성은 이산 궤도 집합의 전체 허스트로프 차원을 달성하여, $d + 1/2$ 보다 더 높은 차원이 가능할지 여부에 관한 열린 문제를 해결한다.
• 시스템은 '이산 데바니 혼돈'을 나타낸다 — 이는 이행적이며, 이산 점들의 집합이 조밀하고, 일반화된 감도 조건을 만족한다.
• 이산 비주기적 점들의 집합은 조밀하며, 시스템은 최대 감도성을 가지며, 이는 알세다와 플라나스의 의미에서 최대 혼돈성을 의미한다.
• 동역학은 최소적이 아니며, 공간 $[0,1) \times \mathbb{R}$ 는 유계 컴팩트성을 갖는다. 따라서 비주기적 이산 궤도는 유계가 아니며, 감도성에 기여한다.