[논문 리뷰] Examples of non-autonomous basins of attraction-II

Sayani Bera|arXiv (Cornell University)|2018. 01. 19.

Advanced Differential Equations and Dynamical Systems참고 문헌 9인용 수 3

한 줄 요약

이 논문은 복소수 공간에서 비자율적인 불변집합의 구성법을 확장하여, $k \geq 2$ 일 때 $\mathbb{C}^k$ 내에 가чёт무한히 많은 서로소인 Short $\mathbb{C}^k$ 영역의 존재를 증명하고, $k \geq 4$ 일 때 Runge가 아닌 Short $\mathbb{C}^k$를 구성한다. 또한 자동형사상에 대한 균일한 상한 조건 하에서 작동하는 새로운 편경 방법을 도입하여, 불변집합 간의 등각동형성을 보장하며, 하우스도르프 차원이 $2k-1$ 보다 엄격히 큰 경계를 가진 Short $\mathbb{C}^k$에 대한 구조적 증명을 제공한다. 주요 기여는 특정 기하학적 및 역학적 성질을 갖는 다양한 복잡한 Short $\mathbb{C}^k$ 영역을 생성하기 위한 강력한 프레임워크를 제공하는 것이다.

ABSTRACT

The aim of this article is to enlarge the list of examples of non-autonomous basins of attraction from our previous paper and at the same time explore some other properties that they satisfy. For instance, we show the existence of countably many disjoint Short $\mathbb{C}^k$'s in $\mathbb{C}^k.$ We also construct a Short $\mathbb{C}^k$ which is not Runge and exhibit yet another example whose boundary has Hausdorff dimension $2k.$

연구 동기 및 목표

• 이전의 구성 방식을 넘어서, 비자율적인 불변집합, 특히 Short $\mathbb{C}^k$ 영역의 알려진 예시 목록을 확장하는 것.
• 모든 $k \geq 2$ 에 대해 $\mathbb{C}^k$ 내에 가чёт무한히 많은 서로소인 Short $\mathbb{C}^k$ 영역의 존재를 입증하는 것.
• 높은 차원에서 Runge 성질을 만족하지 않는 새로운 유형의 영역을 구성함으로써, Runge가 아닌 영역의 새로운 클래스를 확립하는 것.
• 균일한 상한 조건을 만족하는 자동형사상의 수열에 대해, 결과 불변집합 간의 등각동형성을 보장하는 편경 방법을 개발하는 것.
• 새로운 편경 프레임워크를 사용하여, 하우스도르프 차원이 $2k-1$ 보다 엄격히 큰 경계를 갖는 Short $\mathbb{C}^k$에 대한 구조적 증명을 제공하는 것.

제안 방법

• 논문은 원점에서 균일한 상한 조건을 만족하는 자동형사상 수열 $\{F_n\} \subset \mathrm{Aut}_0(\mathbb{C}^k)$를 사용하여 비자율적 불변집합 $\Omega_{\{F_n\}}$를 정의한다. 즉, 고정된 구내에서 $\|F_n(z)\| < C\|z\|$ 를 만족하며, $0 < C < 1$ 이다.
• Dixon–Esterle, Glovebnik, Stensønes의 아이디어를 영감으로 삼은 새로운 편경 기법을 적용하여, 자동형사상의 소규모 편경을 허용하면서도 결과 불변집합 간의 등각동형성을 유지한다.
• 구성 과정은 유도적으로 컴act 집합 $K^i$를 정의하고, 자동형사상 $F_n$을 편경하여 불변집합의 경계 구조를 제어하고 다항 볼록성을 확보하는 것을 포함한다.
• 핵심 요소는 $a_{n+1} < a_n^2 < 1$ 이고 $\lim_{n\to\infty} a_n^{-2^n} = 0$ 인 수열 $\{a_n\}$ 의 사용으로, 이는 맵의 동역학에서 수렴성과 제어를 보장한다.
• 만약 $\|F_n(z) - S_n(z)\| < \delta_n$ 이 고정된 구내에서 성립하고 $\{S_n\}$ 이 균일한 상한 조건을 만족한다면, $\Omega_{\{F_n\}} \cong \Omega_{\{S_n\}}$ 임을 보장하는 $\{\delta_n\}$ 이 존재함을 바탕으로, 작은 편경에 대한 안정성을 확립한다.
• 혼란스러운 경계 구조의 증명은 컴act 집합 $K^i$ 와 편경의 재귀적 구성에 기반하며, 이는 경계가 양의 $2k$-차원 측도와 $2k-1$ 보다 큰 하우스도르프 차원을 갖도록 보장한다.

실험 결과

연구 질문

• RQ1 모든 $k \geq 2$ 에 대해 $\mathbb{C}^k$ 내에 가чёт무한히 많은 서로소인 Short $\mathbb{C}^k$ 영역을 구성할 수 있는가?
• RQ2 $k \geq 4$ 일 때 Runge가 아닌 Short $\mathbb{C}^k$ 가 존재하는가?
• RQ3 고차항을 포함하는 자동형사상 수열(단순 다항식을 초월하여)의 불변집합도 여전히 Short $\mathbb{C}^k$ 가 될 수 있는가?
• RQ4 두 비자율적 불변집합이 등각동형임을 보장하는 조건은 무엇인가?
• RQ5 Short $\mathbb{C}^k$ 영역의 경계에 대해 가능한 최대 하우스도르프 차원은 얼마인가?

주요 결과

• 논문은 $k \geq 2$ 일 때 $\mathbb{C}^k$ 내에 가чёт무한히 많은 서로소인 Short $\mathbb{C}^k$ 영역을 구성하여, 이전의 고립된 사례를 넘어서 알려진 예시를 확장한다.
• 논문은 $k \geq 4$ 일 때 $\mathbb{C}^k$ 내에 Runge가 아닌 Short $\mathbb{C}^k$ 영역을 제시하여, 이러한 영역이 Runge 성질을 만족하지 않을 수 있음을 입증한다.
• 새로운 편경 방법이 확립되었으며, 만약 고정된 구내에서 $\|F_n(z) - S_n(z) less \delta_n$ 이고 $\{S_n\}$ 이 균일한 상한 조건을 만족한다면, $\Omega_{\{F_n\}} \cong \Omega_{\{S_n\}}$ 임을 보장한다. 이는 불변집합의 구조에 대한 안정성을 보장한다.
• 논문은 재귀적 컴act 집합 구성과 편경을 사용하여, 하우스도르프 차원이 $2k-1$ 보다 엄격히 큰 경계를 갖는 Short $\mathbb{C}^k$ 에 대한 구조적 증명을 제공한다.
• 구성된 Short $\mathbb{C}^k$ 의 경계가 양의 $2k$-차원 하우스도르프 측도를 갖는다는 것을 증명하여, 기하학적으로 큰 경계임을 의미한다.
• 재귀적 구성에 의해, 경계에 양의 $2k$-차원 측도를 갖는 컴act 집합의 조밀한 집합을 포함하는, 혼란스러운 경계를 갖는 Short $\mathbb{C}^k$ 의 존재가 확인된다.