[논문 리뷰] The Conley Attractor of an Iterated Function System

Michael F. Barnsley, Andrew Vince|arXiv (Cornell University)|2012. 06. 27.

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

한 줄 요약

이 논문은 비수축성 사상이 포함된 반복함수계(IFS)에서의 Conley 체류집합을 연구하며, 특히 컴acts metric space 위의 가역 IFS에 초점을 맞춘다. 모든 Conley 체류집합이 체류집합 블록을 갖는다는 것을 증명하고, 사슬 재귀점의 집합이 모든 체류집합-역체류집합 쌍의 교집합과 일치함을 보이며, IFS 다이내믹스에 Conley의 지수 이론을 확장한다.

ABSTRACT

We investigate the topological and metric properties of attractors of an iterated function system (IFS) whose functions may not be contractive. We focus, in particular, on invertible IFSs of finitely many maps on a compact metric space. We rely on ideas Kieninger and McGehee and Wiandt, restricted to what is, in many ways, a simpler setting, but focused on a special type of attractor, namely point-fibred minimal (locally) invariant sets. This allows us to give short proofs of some of the key ideas.

연구 동기 및 목표

• 반복함수계(IFS)에서 성분 사상이 반드시 수축적이지 않은 경우 체류집합의 위상적 및 메트릭 성질을 분석하는 것.
• 단일 사상에서의 Conley의 체류집합 및 역체류집합 이론을 유한한 사상 집합(IFS)으로 확장하여, 특히 가역 케이스에 적용하는 것.
• IFS의 체류집합과 그 역 IFS의 체류집합 사이의 이중성 관계를 설정하여 체류집합-역체류집합 쌍을 형성하는 것.
• 모든 체류집합-역체류집합 쌍의 교집합을 통해 사슬 재귀점 집합을 특성화하는 것.
• 특히 아핀 및 모비우스 IFS에서 Conley 체류집합이 엄밀한 체류집합이 되는 조건을 명확히 하는 것.

제안 방법

• 체류집합 블록—IFS에 의해 그 내부에 포함되는 이미지를 갖는 컴팩트 집합—을 중심 도구로 사용하여 Conley 체류집합을 분석한다.
• 사슬 재귀점의 개념을 적용하고, $ε$-사슬을 구성하여 다이내믹스에서의 재귀성과 비재귀성을 분석한다.
• IFS와 그 역 IFS ($\mathcal{F}^*$) 사이의 이중성을 활용하여 체류집합-역체류집합 쌍을 정의하며, $A$가 $\mathcal{F}$에 대한 Conley 체류집합이고 $A^*$가 $\mathcal{F}^*$에 대한 Conley 체류집합임을 가정한다.
• 콤팩트 부분집합의 공간에 Hausdorff 거리계를 적용하여 IFS를 $\mathbb{H}(\mathbb{X})$ 위의 자기사상으로 간주함으로써 수렴 추론을 가능하게 한다.
• Kieninger와 McGehee–Wiandt의 섬유화 및 불변집합에 관한 결과를 활용하여 IFS 설정에서의 증명을 단순화한다.
• 닫힌 집합의 반복 이미지의 극한($\lim_{k\to\infty} \mathcal{F}^k(\overline{U})$)을 사용하여 체류집합의 기수 영역에서 Conley 체류집합을 구성한다.

실험 결과

연구 질문

• RQ1 비수축성 IFS에서 Conley 체류집합이 여전히 체류집합 블록을 갖는 조건은 무엇인가?
• RQ2 가역 IFS에서 체류집합-역체류집합 쌍은 시스템의 사슬 재귀집합과 어떻게 관련이 있는가?
• RQ3 Conley 체류집합이 엄밀한 체류집합이 되지 못할 수 있는가? 만약 그렇다면 어떤 동역학적 또는 기하학적 조건에서 그러한 일이 발생하는가?
• RQ4 자연스러운 주소 함수의 존재와 Conley 체류집합의 엄밀성 사이의 관계는 무엇인가?
• RQ5 비수축성 IFS에서 엄밀한 체류집합이 여전히 존재할 수 있는 경우는 언제인가, 특히 아핀 또는 모비우스 IFS의 경우에 대해 설명하라.

주요 결과

• 콤팩트 메트릭 공간 위의 IFS에서 모든 Conley 체류집합은 체류집합 블록을 갖는다. 이는 정리 3.4에서 증명되었다.
• IFS의 사슬 재귀점 집합 $\mathcal{R}$ 은 모든 체류집합-역체류집합 쌍의 교집합과 일치한다: $\mathcal{R} = \bigcap_{A \in \mathcal{U}} (A \cup A^*)$, 정리 5.5에서 확인됨.
• 가역 IFS의 경우, $\mathcal{F}$에 대한 매끄러운 Conley 체류집합 $A$ 는 $\mathcal{F}^*$에 대한 서로소인 Conley 체류집합 $A^*$ 를 갖으며, 이는 이중 쌍을 이룬다.
• 모비우스 또는 아핀 IFS의 경우, 엄밀한 체류집합의 존재는 사상이 수축적이어야 함을 의미하므로, 비수축성 예시는 엄밀한 체류집합을 유도할 수 없다.
• 실수선 $\mathbb{R}$ 위의 비수축성 IFS에서 무한한 수의 Conley 체류집합을 갖는 예시를 구성하여, 이러한 시스템이 풍부한 체류집합 구조를 가질 수 있음을 보였다.
• 프로젝티브 IFS가 $\mathbb{RP}^2$ 에서 존재하며, 그 Conley 체류집합(일직선)은 엄밀한 체류집합이 아니라는 것이 입증되었는데, 이는 비수축 설정에서 Conley 개념이 엄밀한 체류집합 개념보다 엄밀히 더 약하다는 것을 보여준다.