[논문 리뷰] Absolutely Continuous Invariant Measures of Piecewise Linear Lorenz Maps

Yi Ming Ding, Ai Hua Fan외 1명|arXiv (Cornell University)|2010. 01. 18.

Mathematical Dynamics and Fractals참고 문헌 23인용 수 5

한 줄 요약

이 논문은 구간 [0,1] 위에서 정의된 조각별 선형 로렌츠 사상 $ f_{a,b,c} $에 대한 절대 연속 불변 측도(acim)의 존재성과 성질을 완전히 특성화한다. acim가 존재하는 것은 $ ac + b(1-c) \geq 1 $과 동치이며, 유일성과 에르고딕성은 사상이 유리 회전과 동형이 아닐 경우 보장된다. 전이성 및 재규격화 이론을 통해 르베그 측도와의 동치성에 대한 명시적 기준을 제시한다.

ABSTRACT

Consider piecewise linear Lorenz maps on $[0, 1]$ of the following form \[ f_{a,b,c}(x)= {ll} ax+1-ac & x \in [0, c) b(x-c) & x \in (c, 1].\] We prove that $f_{a,b,c}$ admits an absolutely continuous invariant probability measure (acim) $μ$ with respect to the Lebesgue measure if and only if $f_{a,b,c}(0) \le f_{a,b,c}(1)$, i.e. $ac+(1-c)b \ge 1$. The acim is unique and ergodic unless $f_{a,b,c}$ is conjugate to a rational rotation. The equivalence between the acim and the Lebesgue measure is also fully investigated via the renormalization theory.

연구 동기 및 목표

• 조각별 선형 로렌츠 사상 $ f_{a,b,c} $가 절대 연속 불변 확률 측도(acim)를 갖는 정확한 조건을 규명하는 것.
• 재규격화 이론과 전이성 기준을 활용하여 acim가 르베그 측도와 동치가 되는지 여부를 조사하는 것.
• 대칭 사상과 마르코프 사상과 같은 특수 케이스에서 acim의 밀도에 대한 명시적 공식을 제공하는 것.
• $ ac + b(1-c) = 1 $ 인 경우의 역학적 행동을 해소하여 유리수 및 무리수 회전 수를 구분하는 것.
• $ ac + b(1-c) > 1 $ 인 경우, 주기 궤도의 구조와 구간 사상에 기반한 단순한 전이성 기준을 수립하는 것.

제안 방법

• L^1([0,1])에 속하는 함수 $ h $에 대해 불변 밀도를 분석하고 에르고딕 평균 $ A_n(h) $를 연구하기 위해 페르론-프로베니우스 연산자 $ P_{a,b,c} $를 사용한다.
• 문제를 자기유사한 구조로 줄이기 위해 재규격화 이론을 적용하며, 이는 주기점의 최소 주기 $ \nu $에 대해 $[f^\nu(c+), f^\nu(c-)]$ 구간에서 이루어진다.
• 불연속점 $ c $가 $ f^\nu $에 의해 이미지로 옮겨주는 방식으로 전이성 기준을 유도하며, $ A = f^\nu(c+) $, $ B = f^\nu(c-) $, $ M = \min\{ \frac{B-c}{c-A}, \frac{c-A}{B-c} \} $ 를 사용한다.
• 사상 $ f_{a,b,c} $가 전이적(따라서 acim가 르베그 측도와 동치)임은 $ M < 1 $ 이면 $ ab > 1 + M $, $ M = 1 $ 이면 $ ab \geq 2 $ 인 경우에만 성립함을 증명한다.
• acim 밀도를 공식 $ g_{a,b,c}(x) = \frac{1}{\kappa} \sum_{i=0}^{\kappa-1} P_{a,b,c}^i g_*(x) $ 를 통해 구성한다. 여기서 $ g_* $ 는 재규격화된 사상 $ f_{a_*,a_*,c_*} $ 의 밀도이다.
• 기존의 $ \beta $-변환과 마르코프 사상에 대한 결과를 활용하여, 특수 케이스인 $ f_{a,a,c} $ 및 $ f_{\beta,\alpha,1/\beta} $ (여기서 $ \alpha = \frac{1}{\beta^{k-1}(\beta-1)} $) 에서 밀도의 닫힌 형식 표현을 유도한다.

실험 결과

연구 질문

• RQ1 조각별 선형 로렌츠 사상 $ f_{a,b,c} $ 가 절대 연속 불변 확률 측도를 갖는 조건은 무엇인가?
• RQ2 acim가 르베그 측도와 동치가 되는 경우는 언제이며, 복잡한 위상적 불변량에 의존하지 않고 이 동치성을 어떻게 특성화할 수 있는가?
• RQ3 사상이 회전과 동형이 아니며, 특히 $ ac + b(1-c) > 1 $ 인 경우 acim 밀도의 구조는 어떻게 되는가?
• RQ4 대칭 또는 마르코프 유형의 조각별 선형 로렌츠 사상에 대해 acim 밀도를 어떻게 명시적으로 계산할 수 있는가?
• RQ5 주기점의 최소 주기 $ \kappa $ 는 전이성과 acim의 구조를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 사상 $ f_{a,b,c} $ 에 대해 acim가 존재하는 것은 $ ac + b(1-c) \geq 1 $ 과 동치이며, $ ac + b(1-c) < 1 $ 이면 존재하지 않는다.
• $ ac + b(1-c) = 1 $ 이고 $ \log a / \log b $ 가 유리수일 경우, 사상은 유한 순서 $ n $ 의 주기적 구조를 가지며, 임의의 밀도 $ g $ 에 대해 $ A_n(g) $ 는 불변 측도를 유도한다.
• $ ac + b(1-c) = 1 $ 이고 $ \log a / \log b $ 가 무리수일 경우, acim는 유일하게 존재하며 그 밀도는 $ (a/b)^{-4} $ 와 $ (a/b)^4 $ 사이에 유계이다.
• $ ac + b(1-c) > 1 $ 이면 acim는 유일하며 그 밀도는 유계 변동성을 가진다.
• acim가 르베그 측도와 동치임은 $ f_{a,b,c} $ 가 전이적일 때에만 성립하며, 이는 $ M < 1 $ 이면 $ ab > 1 + M $, $ M = 1 $ 이면 $ ab \geq 2 $ 인 경우에 정확히 성립한다. 여기서 $ M = \min\{ \frac{B-c}{c-A}, \frac{c-A}{B-c} \} $ 이다.
• 마르코프 사례인 $ f_{\beta,\alpha,1/\beta} $ 에서 $ \alpha = \frac{1}{\beta^{k-1}(\beta-1)} $ 이면, acim 밀도는 $ g_{\beta,k}(x) = \frac{1}{\beta-1} \mathbf{1}_{[0,1]}(x) + \sum_{i=1}^k \beta^{i-1} \mathbf{1}_{[0,\beta^{-i}]}(x) $ 로 주어지며, 상수 배수를 제외한 채로 성립한다.