[논문 리뷰] Piecewise contractions defined by iterated function systems

Arnaldo Nogueira, Benito Pires외 1명|arXiv (Cornell University)|2014. 08. 07.

Mathematical Dynamics and Fractals참고 문헌 10인용 수 3

한 줄 요약

이 논문은 [0,1] 내에서 분할 점을 르베그 거의 모든 선택에 대해, n개의 간격으로 나누어진 조각별 수축 함수로 정의된 반복 함수 시스템(IFS)의 수축 함수는 점점 더 주기 궤도로 수렴하는 점근적 주기성을 가짐을 증명한다. 핵심 결과는 이러한 맵이 1개에서 n개 사이의 주기 궤도를 가지며, 동역학은 IFS의 수축 성질과 중첩된 집합 A_k의 구조에 따라 완전히 특징지어진다는 것이다.

ABSTRACT

Let $ϕ_1,\ldots,ϕ_n:[0,1] o (0,1)$ be Lipschitz contractions. Let $I=[0,1)$, $x_0=0$ and $x_n=1$. We prove that for Lebesgue almost every $(x_1,...,x_{n-1})$ satisfying $0

연구 동기 및 목표

• 조각별 수축(PC)의 위상적 동역학을 반복 함수 시스템(IFS)의 일반적인 맥락에서 완전히 특징짓는 것, 비단사 함수를 포함한 경우도 포함.
• 이전 연구에서 비단사 IFS의 범위가 겹치지 않는 경우에 국한되어 있던 결과를 확장하여, 단사 및 비단사 수축 모두에 적용 가능한 프레임워크를 개발하는 것.
• 르베그 거의 모든 [0,1]의 분할에 대해, 유도된 PC 맵이 점근적으로 주기적임을 증명하는 것, 즉 모든 궤도가 주기 궤도로 수렴함.
• 이러한 일반적인 맵에 대해 주기 궤도의 수에 대한 날카로운 상한을 설정하여, 최대 n개임을 보여주는 것.

제안 방법

• n개의 리프시츠 수축 φ_i와 [0,1)의 n개 간격으로 나누어진 분할을 이용해 맵 f를 조각별 수축으로 정의한다.
• 점근적 행동을 분석하기 위해 A_0 = [0,1]이고 k ≥ 1일 때 A_k = ∪_{i=1}^n φ_i(A_{k-1})인 중첩된 집합의 수열 A_k를 도입한다.
• IFS가 강하게 수축적(또는 κ-립시츠 조건을 만족하고 κ < 1/2일 때)이면, ∩_{k≥0} A_k가 영집합임을 증명하여 점근적 주기성을 유도한다.
• 구간의 준분할에 대한 조합론적 추론을 통해, 정의된 관계에 따른 등가류 기반으로 주기 궤도의 수를 n으로 상한화한다.
• 측도론적 추론을 적용하여, 동역학이 점근적으로 주기적이지 않은 매개변수 구성 (x_1,…,x_{n-1})의 집합이 르베그 측도로 0임을 보여준다.
• κ > 1/2인 애핀 변환 φ_1, φ_2를 이용한 반례를 구성하여, ∩A_k가 양의 측도를 가질 수 있음을 보여, 수축 조건의 필수성을 입증한다.

실험 결과

연구 질문

• RQ1 IFS {φ_1,…,φ_n}가 어떤 조건을 만족할 경우, 거의 모든 [0,1]의 분할에 대해 관련 조각별 수축이 점근적으로 주기적일까?
• RQ2 일반적인 n개 간격 조각별 수축이 가질 수 있는 주기 궤도의 최대 수는 얼마이며, 이 상한은 날카로운가?
• RQ3 중첩된 집합 A_k = ∪φ_i(A_{k-1})의 구조는 맵 f의 장기적 동역학과 어떻게 관련이 있는가?
• RQ4 단사 IFS에 대한 결과를 범위가 겹치는 비단사 함수로 확장할 수 있으며, 만약 가능하면 어떤 조건에서 가능할까?
• RQ5 IFS가 강하게 수축적이지 않다면, 동역학은 어떻게 되는가? ∩A_k가 여전히 영집합일 수 있는가, 아니면 양의 측도를 가질 수 있는가?

주요 결과

• 르베그 거의 모든 (x_1,…,x_{n-1}) ∈ Ω_{n-1}에 대해, IFS로 정의된 조각별 수축 f는 점근적으로 주기적이다. 즉, 모든 x ∈ [0,1)에 대해 ω_f(x)는 주기 궤도이다.
• 이러한 일반적인 f의 주기 궤도 수는 최소 1개 이상, 최대 n개 이하이며, 상한은 날카로운 상한이다.
• IFS가 κ-립시츠 수축을 가지며 κ < 1/2일 경우, 점근적 주기성이 보장된다. 이는 강한 수축 조건보다 더 약한 조건이다.
• κ < 1/2 조건 하에서 일반적인 IFS에 대해 ∩_{k≥0} A_k는 영집합이며, 이는 동역학이 결국 주기적 영역으로 진입함을 보장한다.
• κ ≥ 1/2일 경우, ∩A_k = [1/8, 1/2]와 같이 비퇴화된 간격이 되는 반례를 구성하여, 영집합 조건이 실패할 수 있음을 보여준다.
• 주기 궤도의 수는 구간에 대해 정의된 조합론적 관계의 등가류 수에 의해 상한화되며, 이 수는 최대 n개이므로 상한이 증명된다.