[논문 리뷰] Conformally Natural extensions revisited

Carsten Lunde Petersen|arXiv (Cornell University)|2011. 02. 07.

Mathematical Dynamics and Fractals참고 문헌 3인용 수 8

한 줄 요약

이 논문은 도우디-어르 쌍곡적 자연스러운 확장을 재검토하며, 호메오모르피즘을 초월해 리만 측도의 절대 연속성을 유지하는 구면 $\mathbb{S}^n$ 위의 가측성 엔도모르피즘으로의 응용을 확장한다. 확장이 구의 내부 $\mathbb{B}^{n+1}$ 에서 실해석적 매핑을 유도함을 증명하며, $f(0) = 0$ 인 유한 블라시케 곱에 대해 확장이 원점을 고정하고 반경 방향 간격을 미분동형으로 자기 자신에 위로 매핑함을 보여, 이는 왜곡된 곱의 동역학적 동형성과 관련이 있다.

ABSTRACT

In this note we revisit the notion of conformal barycenter of a measure on $\SS^n$ as defined by Douady and Earle in Acta Math. Vol 157, 1986. The aim is to extend rational maps from the Riemann sphere $\Cbar\isom\SS^2$ to the (hyperbolic) three ball $\BB^3$ and thus to $\SS^3$ by reflection. The construction which was pioneered by Douady and Earle in the case of homeomorphisms actually gives extensions for more general maps such as entire transcendental maps on $\C\subset\Cbar$. And it works for maps in any dimension.

연구 동기 및 목표

• 구면 $\mathbb{S}^n$ 에서 호메오모르피즘을 초월해 더 넓은 범위의 가측성 사상으로 도우디-어르 쌍곡적 자연스러운 확장을 일반화하는 것.
• 유한 블라시케 곱에 대해 확장이 핵심 동역학적 특성을 유지하는지, 특히 원점과 반경 기하선에서의 행동을 조사하는 것.
• 확장이 반경 간격 $[\mathbf{0}, \mathbf{e}_3)$ 를 미분동형으로 증가시키며 자기 자신에 위로 매핑하는 조건을 설정하는 것.
• 확장의 위상적 및 동역학적 함의, 특히 확장이 왜곡된 곱의 형태로 동형이 되는지 탐구하는 것.

제안 방법

• 확장 연산자를 정의하기 위해 $\mathbb{S}^n$ 위의 확률 측도에 대해 도우디-어르 쌍곡적 바이아센트 구성법을 사용한다.
• 메비우스 변환의 군 작용 $G$ 를 적용하여 $G$-등변성을 정의함으로써 확장의 쌍곡적 자연스러움을 보장한다.
• 구의 내부 $\mathbb{B}^{n+1}$ 에서의 쌍곡적 등장사상은 공식 $g_\mathbf{w}(\mathbf{x}) = \frac{\mathbf{x}(1-|\mathbf{w}|^2) + \mathbf{w}(1 + |\mathbf{x}|^2 + 2\langle \mathbf{w}, \mathbf{x} \rangle)}{1 + |\mathbf{w}|^2 |\mathbf{x}|^2 + 2\langle \mathbf{w}, \mathbf{x} \rangle}$ 를 통해 정의된다.
• 확장의 스무스성과 해석성을 확보하기 위해 $G$-작용 하에서의 측도 이식과 벡터장 변환을 분석한다.
• 쌍곡적 자연스러움을 활용해 $E(\widehat{f})$ 의 분석을 $f(0) = 0$ 인 경우로 단순화함으로써 반경 방향 행동의 연구를 용이하게 한다.
• 복소수 $z, \overline{z}$ 에 대한 급수 전개를 적용하여 $f(z) = z^d$ 인 경우 $\Phi(z) = z^d \sum_{k=0}^\infty a_k |z|^{2k}$ 를 도출함으로써 해석성과 반경 방향의 구조를 확인한다.

실험 결과

연구 질문

• RQ1 유한 블라시케 곱에 대해 $f(0) = 0$ 인 경우 도우디-어르 확장이 원점을 유지하는가?
• RQ2 이러한 사상에 대해 확장이 반경 간격 $[\mathbf{0}, \mathbf{e}_3)$ 를 미분동형으로 증가시키며 자기 자신에 위로 매핑하는가?
• RQ3 확장의 동역학은 $\mathbb{D} \times [-1,1]$ 에서의 왜곡된 곱의 형태로 동형이 될 수 있는가?
• RQ4 가측성 엔도모르피즘의 경우 확장은 $\mathbb{B}^{n+1}$ 내부에서는 실해석적이며 경계까지 연속적인가, 특히 르베그 측도의 절대 연속성 이식을 갖는가?
• RQ5 비가역 사상, 즉 호메오모르피즘을 초월한 일반적인 사상으로 확장된 쌍곡적 바이아센트 구성법은 어떻게 일반화되는가?

주요 결과

• 함수 $f(z) = z^d$ 인 경우 도우디-어르 확장 $E(\widehat{f})$ 는 지오데식 디스크 $\mathbb{D}_t$ 를 $\mathbb{D}_{t^d}$ 로 $d$ 차수의 분지 덮개를 통해 매핑한다.
• 함수 $f(z) = z^d$ 인 경우 확장 $E(\widehat{f})$ 는 간격 $[\mathbf{0}, \mathbf{e}_3)$ 를 미분동형으로 증가시키며 자기 자신에 위로 매핑한다.
• 부분 도함수 $\partial \Phi / \partial x_3(z)$ 는 $z \in \mathbb{D}$ 에서 0이 되며, 이는 $\partial \Phi / \partial x_3(z) = g(z) \mathbf{e}_3$ 이고 $g(z) > 0$ 이므로 반경 방향 증가성을 확인한다.
• 가측성 엔도모르피즘 $f: \mathbb{S}^2 \to \mathbb{S}^2$ 에 대해 르베그 측도의 절대 연속 이식을 갖는 경우, 확장 $E(\widehat{f})$ 는 $\mathbb{B}^3$ 내부에서는 실해석적이며 닫힘에 대해 연속적이다.
• 쌍곡적 바이아센트 구성법은 $f_*\eta_\mathbf{0}$ 가 $\eta_\mathbf{0}$ 에 대해 절대 연속일 경우 모든 가측성 엔도모르피즘 $f$ 에 대해 쌍곡적 자연스러운 확장을 유도한다.
• 확장이 $[\mathbf{0}, \mathbf{e}_3)$ 를 미분동형으로 증가시키며 자기 자신에 위로 매핑한다는 추측은 $E(\widehat{f})$ 의 동역학이 $\mathbb{D} \times [-1,1]$ 에서의 왜곡된 곱의 형태로 동형이 된다는 것을 암시한다.