[논문 리뷰] Quasiregular dynamics on the n-sphere

Alastair Fletcher, Daniel A. Nicks|ArXiv.org|2009. 09. 01.

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

한 줄 요약

이 논문은 다항형 균일 쿼드레귤라 맵의 경우에 대해, n-구면에서의 쿼드레귤라 다이나믹스를 분석함으로써, 임의의 쿼드레귤라 사상에 대해 탈출 집합 $I(f)$의 경계 $∂ I(f)$의 성질을 조사한다. $f$가 균일 쿼드레귤라이고 비단사일 경우, $∂ I(f)$는 완전 집합이며, 동시에 쿼드레귤라의 조르겐 세트 $J(f)$와 일치함을 증명한다. 이는 고차원 쿼드레귤라 다이나믹스로의 고전적 복소다이나믹스 결과의 일반화이다.

ABSTRACT

In this article, we investigate the boundary of the escaping set I(f) for quasiregular mappings on R^n, both in the uniformly quasiregular case and in the polynomial type case. The aim is to show that the boundary of I(f) is the Julia set J(f) when the latter is defined, and shares properties with the Julia set when J(f) is not defined.

연구 동기 및 목표

• 조르겐 세트 $J(f)$가 정의되지 않은 경우, $\mathbb{R}^n$ 상의 쿼드레귤라 사상에 대해 탈출 집합 $I(f)$의 경계를 조사한다.
• $\partial I(f)$가 조르겐 세트에서 일반적으로 관찰되는 위상적 및 동역학적 성질(예: 완전성)을 공유하는지 판단한다.
• 균일 쿼드레귤라 사상의 경우 $\partial I(f)$가 $J(f)$와 일치하는 조건을 규명한다.
• 복소다이나믹스에서의 결과—특히 에ременко의 정리(탈출 집합의 경계가 조르겐 세트임을 보여주는 정리)—를 고차원 쿼드레귤라 다이나믹스로 확장한다.

제안 방법

• 점의 반복적 반복이 $f^k$에 의해 무한으로 갈라지는 점들의 집합으로서 탈출 집합 $I(f)$를 정의한다.
• 리카르만의 쿼드레귤라 사상 이론, 특히 왜곡과 내부 비율 $K_I$의 개념을 사용한다.
• 몬텔 유사 정리(정리 2.4)를 적용하여 반복적 가족의 정규성 분석과 페투 및 조르겐 세트의 특성화를 수행한다.
• 리카르만의 상수 $q(n,K)$를 활용하여 예외 집합의 크기를 제한하고, 역궤도를 제어한다.
• 모순을 이용하여 $\partial I(f) = J(f)$를 증명한다: $x_0 \in \partial I(f)$가 페투 집합에 속해 있다고 가정하면, $U_0 \subset I(f)$가 되어 경계 소속 조건과 모순된다.
• 모든 $x \in J(f)$에 대해 $J(f) = \overline{O^{-}(x)}$임을 이용하고, $J(f)$의 어떤 점도 고립점이 될 수 없음을 보여, 완전성을 증명한다.

실험 결과

연구 질문

• RQ1 쿼드레귤라 사상에 대해 $\mathbb{R}^n$ 상에서 탈출 집합 $\partial I(f)$가 완전 집합이 되는 조건은 무엇인가?
• RQ2 조르겐 세트 $J(f)$가 정의된 경우, $\partial I(f)$가 조르겐 세트 $J(f)$와 일치하는가?
• RQ3 조르겐 세트 $J(f)$가 정의되지 않은 경우에도, $\partial I(f)$의 동역학적 성질(예: 완전성 및 불변성)을 확립할 수 있는가?
• RQ4 다항형 쿼드레귤라 사상의 차수는 $I(f)$ 및 $\partial I(f)$의 구조를 결정하는 데 어떤 역할을 하는가?
• RQ5 무한대에서 본질적 특이점을 가진 쿼드레귤라 사상에 대해 탈출 집합 $I(f)$는 항상 비어 있지 않은가?

주요 결과

• 차수 $K_I$보다 큰 $K$-쿼드레귤라 사상의 다항형 타입에 대해, 탈출 집합 $I(f)$는 비어 있으며 열려 있으며, $\partial I(f)$는 완전 집합이다.
• $\partial I(f)$는 $f$에 대해 완전 불변이며, $I(f)$, $\partial I(f)$, $\mathbb{R}^n \setminus \overline{I(f)}$는 모두 완전 불변 집합이다.
• 반복 함수족 $\{f^k\}$은 구면 거리에 대해 $I(f)$에서는 등연속이지만, $\partial I(f)$의 어떤 점에서도 등연속이 아니다.
• 비단사인 균일 쿼드레귤라 사상에 대해 $\partial I(f) = J(f)$이며, $J(f)$는 무한한 완전 집합이다.
• 조르겐 세트 $J(f)$는 임의의 $x \in J(f)$에 대해 $\overline{O^{-}(x)}$와 같다. $J(f)$의 어떤 점도 고립점이 될 수 없다.
• 이 결과는 복소다이나믹스에서의 에ремankan 정리를 고차원 쿼드레귤라 다이나믹스로 확장하며, $J(f)$가 공식적으로 정의되지 않은 경우에도 $\partial I(f)$가 조르겐 세트처럼 행동함을 보여준다.