[논문 리뷰] Existence and uniqueness of diffusions on the Julia sets of Misiurewicz-Sierpinski maps

Shiping Cao, Malte Hassler외 3명|arXiv (Cornell University)|2020. 08. 17.

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

한 줄 요약

이 논문은 Misiurewicz-Sierpinski 사상의 조합적 구조를 가진 유한적으로 분기된 프랙탈인 Julia 집합 위에서 균형 잡힌 저항 형식의 존재성과 유일성을 확립한다. Sabot의 보존 관계 이론과 사상의 동적 성질을 활용하여, 매개수 $\frac{1}{m} + \frac{1}{n} > \frac{1}{2}$ 를 만족할 경우 이러한 형식이 존재하고 유일함을 증명한다. 특히 $m=1$ 인 경우의 재규격화 상수는 $\eta = \frac{2n+1}{n+1}$ 로 주어진다.

ABSTRACT

We study the balanced resistance forms on the Julia sets of Misiurewicz-Sierpinski maps, which are self-similar resistance forms with equal weights. In particular, we use a theorem of Sabot to prove the existence and uniqueness of balanced forms on these Julia sets. We also provide an explorative study on the resistance forms on the Julia sets of rational maps with periodic critical points.

연구 동기 및 목표

• 새로운 유한적으로 분기된 프랙탈 클래스인 Misiurewicz-Sierpinski 사상의 Julia 집합 위에서 확산 과정을 구성하는 기본 문제를 다룬다.
• 이 프랙탈 위에서 균형 잡힌 저항 형식의 존재성과 유일성을 확립한다. 이는 확산을 정의하는 데 필수적이다.
• 대칭군이 비대칭일 경우의 과제를 해결하기 위해 기하학적 대칭성이 아닌 유리 함수 사상의 동적 성질을 활용한다.
• Sabot의 유일성 프레임워크를 네스티드 프랙탈을 초월하여 더 넓은 범주인 자기유사적이고 후기적으로 비임계적인 프랙탈로 확장한다.
• 보존 관계와 그 스펙트럼 반경의 체계적 분석을 통해 존재 조건을 규명한다.

제안 방법

• Sabot의 보존 관계 정리에 기반하여 Misiurewicz-Sierpinski 사상의 Julia 집합 위의 저항 형식을 분석한다.
• 반복 함수 체계(IFS)에 의해 유도되는 그래프-지향 구조와 유리 함수 사상 $R_{\lambda,n,m}(z) = z^n + \lambda/z^m$ 의 동적 성질을 활용한다.
• 1단계 셀 위에 회전 대칭 저항 형식을 정의하고, 매핑 $\Psi_{k,l}$ 를 포함하는 함수 방정식으로 문제를 축소한다.
• 경계 정점 집합에서 비자명한 보존 관계 $\mathcal{J}_1$ 과 $\mathcal{J}_2$ 의 정확한 스펙트럼 반경 $\underline{\rho}$ 와 $\overline{\rho}$ 를 계산한다.
• 해의 존재 조건은 각 보존 관계에 대해 $\overline{\rho} < \underline{\rho}^{-1}$ 를 만족하는지 여부에 따라 결정됨을 적용한다.
• 힐베르트의 사영 기하학과 브라우어 고정점 정리를 활용하여 조건 $\frac{1}{m} + \frac{1}{n} > \frac{1}{2}$ 하에서 회전 대칭 해의 존재성을 증명한다.

실험 결과

연구 질문

• RQ1 Misiurewicz-Sierpinski 사상의 Julia 집합 위에서 균형 잡힌 저항 형식이 존재하는 조건은 무엇인가?
• RQ2 형식이 존재할 경우 그 유일성은 보장되며, 이는 형식의 대칭성 조건 없이도 성립하는가?
• RQ3 유리 함수 사상 $R_{\lambda,n,m}$ 의 동적 성질이 저항 형식의 존재성과 유일성에 어떤 영향을 미치는가?
• RQ4 보존 관계는 그래프-지향 불변 저항 형식의 존재 조건을 규명하는 데 어떤 역할을 하는가?
• RQ5 저항 형식의 재규격화 상수 $\eta$ 는 명시적으로 계산 가능하며, 이는 매개수 $m$ 과 $n$ 에 어떻게 의존하는가?

주요 결과

• 매개수 $\frac{1}{m} + \frac{1}{n} > \frac{1}{2}$ 를 만족할 경우, Misiurewicz-Sierpinski 사상의 Julia 집합 위에서 균형 잡힌 저항 형식의 존재성과 유일성이 입증된다.
• 특히 $m=1$ 인 경우 재규격화 상수는 명시적으로 $\eta = \frac{2n+1}{n+1}$ 로 주어지며, 이는 $n=2$ 일 때 시에르핀스키 삼각형의 상수와 일치한다.
• $\frac{1}{m} + \frac{1}{n} < \frac{1}{2}$ 인 경우, 그래프-지향 불변 저항 형식은 존재하지 않으며, $(m,n) = (3,6), (6,3), (4,4)$ 등의 경우가 포함된다.
• $\frac{1}{m} + \frac{1}{n} = \frac{1}{2}$ 인 임계 경우는 아직 해결되지 않았지만, 수치 실험 결과 $(m,n) = (3,6)$ 과 $(6,3)$ 에서는 존재하지 않을 것으로 추정된다.
• 유일한 해는 회전 대칭적이며, 힐베르트의 사영 기하학과 브라우어 고정점 정리를 통해 존재성이 증명된다.
• 경계 정점 집합 $\{p_0, p_1, q_0, q_1\}$ 에서 비자명한 보존 관계는 총 두 개인 $\mathcal{J}_1$ 과 $\mathcal{J}_2$ 만 존재하며, 정확한 스펙트럼 반경은 다음과 같다: $\underline{\rho}_{\mathcal{J}_1} = \overline{\rho}_{\mathcal{J}_1} = \frac{1}{2}$, $\overline{\rho}_{\mathcal{J}_2} = \frac{1}{n}$, $\underline{\rho}_{V/\mathcal{J}_2} = \frac{mn}{m+n}$.