[논문 리뷰] Synchronization in iterated function systems

Ale Jan Homburg|arXiv (Cornell University)|2013. 03. 25.

Mathematical Dynamics and Fractals참고 문헌 29인용 수 12

한 줄 요약

이 논문은 이산 함수계(IFS)의 동기화를 이산화된 다변수 다변환의 동역학을 통해 증명한다. 이는 이산화된 다변수 다변환의 동역학을 통해 컴팩트 매니폴드 위에서의 IFS에서 동기화를 증명한다. 전이성과 음의 섬세한 리아풀로프 지수 조건 하에서, 유일한 안정된 불변 그래프가 존재함을 증명하며, 이는 동기화의 메커니즘을 설명한다. 유한한 IFS의 경우, 추가로 열린 클래스에서 전체 지지의 불변 측도, 베르누이 모서리, 음의 섬세한 지수를 동시에 가짐을 보여준다.

ABSTRACT

We treat synchronization for iterated function systems on compact manifolds in two cases:(i) iterated function systems generated by random diffeomorphisms with absolutely continuous parametric noise,(ii) iterated function systems generated by finitely many diffeomorphisms. Synchronization is the convergence of orbits starting at different initial conditions when iterated by the same sequence of diffeomorphisms. The iterated function systems admit a description as skew product systems of diffeomorphisms on compact manifolds driven by shift operators. Under open conditions including transitivity and negative fiber Lyapunov exponents, we prove the existence of a unique attracting invariant graph for the skew product system. This explains the occurrence of synchronization. For skew product systems arising from iterated function systems generated by finitely many diffeomorphisms we have the following additional statements. Recent work by Bochi, Bonatti and D\'{\i}az establishes the existence of an open class of such skew product systems that admit invariant measures of full support with zero fiber Lyapunov exponents. Our results imply the existence of an open class of skew product systems that simultaneously admit an invariant measure of full support, Bernoulli measure as marginal, and negative fiber Lyapunov exponents.

연구 동기 및 목표

• 동일한 미분형사열을 따라 궤도가 수렴하는 조건을 규명함으로써, 컴팩트 매니폴드 위의 이산 함수계에서 동기화가 발생하는 조건을 설정한다.
• 절대 연속적인 매개변수 노이즈를 갖는 랜덤 미분형사로 생성된 IFS의 동역학을 비틀림 제품 체계를 통해 분석한다.
• 유한한 수의 미분형사로 생성된 유한한 IFS를 연구하고, 전체 지지의 불변 측도, 베르누이 모서리, 음의 섬세한 리아풀로프 지수의 공존 조건을 규명한다.
• 최근의 영역 리아풀로프 지수가 0인 결과를 확장하여, 음의 섬세한 지수와 전체 지지의 불변 측도를 동시에 갖는 열린 클래스의 시스템이 존재함을 보여준다.

제안 방법

• 컴팩트 매니폴드 위에서 이산 함수계를 이산화된 다변수 다변환의 동역학으로 모델링한다.
• 전이성과 음의 섬세한 리아풀로프 지수를 포함한 열린 조건을 적용하여, 유일한 안정된 불변 그래프 존재를 증명한다.
• ergodic 이론과 섬세한 동역학을 활용하여, 비틀림 제품 설정에서의 불변 측도의 구조를 분석한다.
• Bochi, Bonatti, Díaz의 최근 결과를 활용하여, 영역 리아풀로프 지수가 0인 전체 지지의 불변 측도를 갖는 시스템을 구성한다.
• 음의 섬세한 리아풀로프 지수와 전체 지지의 불변 측도의 공존이 특정 유한 IFS 클래스에서 열려 있고 일반적임을 증명한다.
• 불변 측도의 모서리가 베르누이임을 입증함으로써, 확률적 행동과 결정론적 동역학을 연결한다.

실험 결과

연구 질문

• RQ1 절대 연속적인 매개변수 노이즈를 갖는 랜덤 미분형사로 생성된 이산 함수계에서 동기화가 발생하는 조건은 무엇인가?
• RQ2 컴팩트 매니폴드 위의 IFS에서 유도된 비틀림 제품 체계에서 어떤 동역학적 구조—특히 불변 그래프—가 나타나는가?
• RQ3 유한한 이산 함수계의 열린 클래스가 전체 지지의 불변 측도와 음의 섬세한 리아풀로프 지수를 동시에 갖을 수 있는가?
• RQ4 이러한 시스템이 동시에 전체 지지의 불변 측도, 베르누이 모서리, 음의 섬세한 리아풀로프 지수를 갖는 것이 가능한가?
• RQ5 전이성, 섬세한 리아풀로프 지수, 불변 측도 간의 상호작용은 IFS에서의 동기화를 어떻게 설명하는가?

주요 결과

• 전이성과 음의 섬세한 리아풀로프 지수 조건 하에서, 비틀림 제품 체계는 유일한 안정된 불변 그래프를 갖는다. 이는 IFS에서의 동기화 메커니즘을 설명한다.
• 절대 연속적인 매개변수 노이즈를 갖는 랜덤 미분형사로 생성된 IFS의 경우, 이 유일한 안정된 불변 그래프 존재로 인해 동기화가 발생한다.
• 유한한 IFS의 경우, Bochi, Bonatti, Díaz에 의해 증명된 바와 같이, 비틀림 제품 체계의 일부 열린 클래스는 영역 리아풀로프 지수가 0인 전체 지지의 불변 측도를 갖는다.
• 본 논문은 이를 확장하여, 동일한 열린 클래스 내에서 음의 섬세한 리아풀로프 지수와 전체 지지의 불변 측도를 갖는 시스템이 존재함을 보여준다.
• 더불어 이러한 시스템은 동시에 불변 측도의 모서리로 베르누이 측도를 갖는다. 이는 확률적 혼합 행동을 나타낸다.
• 결과적으로, 음의 섬세한 지수, 전체 지지의 불변 측도, 베르누이 모서리의 공존 조건을 갖는 일반적인 유한 IFS 클래스에서 동기화가 강건함을 확인한다.