[논문 리뷰] On the fine structure of stationary measures in systems which contract-on-average

Matthew Nicol, Nikita Sidorov외 1명|ArXiv.org|2000. 05. 22.

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

한 줄 요약

이 논문은 평균적으로 수축하는 이터레이티드 함수 시스템(IFS)에서 불변 측도의 하우스도르프 차원에 대한 상계를 확립하며, 엔트로피가 리아풀로프 지수의 절댓값의 d배 미만일 경우의 특이성을 증명한다. 반복적인 보행 이론을 이용하여 차원 추정치를 향상시키고, ℝ 위의 특정 아핀 사상에서 이 상계가 정확함을 보여준다.

ABSTRACT

Suppose $\{f_1,...,f_m\}$ is a set of Lipschitz maps of $\mathbb{R}^d$. We form the iterated function system (IFS) by independently choosing the maps so that the map $f_i$ is chosen with probability $p_i$ ($\sum_{i=1}^m p_i=1$). We assume that the IFS contracts on average. We give an upper bound for the Hausdorff dimension of the invariant measure induced on $\mathbb{R}^d$ and as a corollary show that the measure will be singular if the modulus of the entropy $\sum_i p_i \log p_i$ is less than $d$ times the modulus of the Lyapunov exponent of the system. Using a version of Shannon's Theorem for random walks on semigroups we improve this estimate and show that it is actually attainable for certain cases of affine mappings of $\mathbb{R}$.

연구 동기 및 목표

• 평균적으로 수축하는 IFS에서의 불변 측도가 르베그 측도에 대해 특이성이 되는 조건을 규명하는 것.
• 이러한 시스템에서 정 stationnary 측도의 하우스도르프 차원에 대한 상계를 도출하는 것.
• 반복적인 보행 이론에 대한 샤논의 정리의 변형을 이용하여 차원 추정치를 향상시키는 것.
• 특정 아핀 IFS의 경우에서 이 상계가 정확함을 보여주는 것.
• 고차원 및 비균일하게 수축하는 시스템에서 불변 측도의 지지 집합의 구조를 분석하는 것.

제안 방법

• 리프시츠 연속 함수 {f₁,…,fₘ}과 확률 벡터 (p₁,…,pₘ)로 구성된 IFS를 정의하고, 독립적인 선택을 통해 함수의 무작위 곱을 형성한다.
• 평균 수축 조건을 사용한다: ∑pᵢ log‖fᵢ‖ < 0. 이 조건은 극한 함수 φ:Ω→ℝᵈ와 불변 측도 μ의 존재를 보장한다.
• 페르론-프로베니우스 연산자 Lψ(x) = ∑pᵢψ(fᵢx)를 적용하여, μ를 ν의 φ에 의한 전이측도로 정의한다.
• 특히 줄인 단어의 증가율에 주목하여, 함수들이 생성하는 군의 조합적 성질을 이용해 μ의 하우스도르프 차원을 추정한다.
• 반복적인 보행 이론에 대한 샤논의 정리의 변형을 활용하여 차원 추정치를 정교화하고 아핀 사례에서의 정확성을 입증한다.
• 일차원 아핀 IFS와 회전 및 스케일링을 포함한 이차원 IFS를 포함한 구체적 예시를 분석하여 이론적 상계를 검증한다.

실험 결과

연구 질문

• RQ1 평균적으로 수축하는 IFS에서의 불변 측도가 르베그 측도에 대해 특이성이 되는 조건은 무엇인가?
• RQ2 이러한 시스템에서 불변 측도의 하우스도르프 차원에 대한 최적의 상계는 무엇인가?
• RQ3 엔트로피와 리아풀로프 지수를 이용해 유도된 차원 상계가 특정 아핀 IFS 계열에서 달성될 수 있는가?
• RQ4 비균일하게 수축하는 시스템에서 불변 측도의 지지 집합은 어떻게 행동하는가, 특히 ℝᵈ에서 유계적이거나 전체일 경우에 대해 어떻게 되는가?
• RQ5 함수들이 생성하는 군 내의 대수적 관계가 차원 추정치를 정교화하는 데 어떤 역할을 하는가?

주요 결과

• 일차원에서의 특정 일파라미터 아핀 IFS에 대해, 하우스도르프 차원 dimₕ(μ) ≤ log(2)/log(λ)를 만족한다. 여기서 λ > 1이다.
• f₁(x) = λ⁻¹x 및 f₂(x) = λ⁻¹x + 1 − λ⁻¹이며, p₁ = p₂ = 1/2인 IFS에 대해, λ > 1.9277² ≈ 3.716일 때 측도 μ는 특이하다.
• f₁(x) = Aₗ⁻¹x 및 f₂(x) = x + e인 이차원 IFS에서, Aₗ = λRₐ이며 Rₐ는 무리수 각도의 회전일 경우, λ > 2이면 측도 μ는 특이하다.
• 이차원 예시에서, 모든 λ > 1에 대해 μ의 지지 집합은 전체 집합이다 (supp(μ) = ℝ²) 비록 λ > 2일 때 μ가 특이하다고 해도 그렇다.
• 이차원 예시에서 λ > 2일 경우, dimₕ(μ) < 2 log 2 / log λ < 2를 만족하여 측도가 엄밀히 낮은 차원을 가짐을 보여준다.
• 군에서 줄인 단어의 증가율에 대한 상계(θ < 1.9277)는 정확한 특이성 임계값을 이끌어내며, 생성자들 간에 무한히 많은 독립적인 관계가 존재할 경우 진정한 증가율이 더 낮을 수 있으며, 가능하면 1.7 이하일 수 있음을 시사한다.