[논문 리뷰] Comformal mapping asymptotics at a cusp

Dmitri Prokhorov|arXiv (Cornell University)|2015. 11. 02.

Holomorphic and Operator Theory참고 문헌 2인용 수 4

한 줄 요약

이 논문은 경계 곡선의 일반화된 거듭제곱급수 매개변수화를 사용하여 해석적 코구점 근처의 등각사상에 대한 명시적 점근 전개를 유도한다. 카이제르의 결과를 작은 각도 변형을 가진 코구점에 대해 일반화하여 임의의 접촉 차수로 확장하며, $ d $가 접촉 차수이고 $ a $가 곡률 유사 계수를 제어하는 바, 상반평면에서 $ z \to 0 $일 때 사상 함수가 $ \left(-\frac{2\pi}{da\log|z|}\right)^{-1/d}$와 같이 행동함을 보여준다.

ABSTRACT

We describe the asymptotic behavior of the mapping function at an analytic cusp compared with Kaiser's results for cusps with small perturbation of angles and the known explicit formulae for cusps with circular boundary curves. We propose a boundary curve parametrization by generalized power series which allows us to give explicit representations for locally univalent mapping functions with given asymptotic properties and for cusp boundary curves having an arbitrary order of tangency.

연구 동기 및 목표

• 작은 각도 변형을 가진 코구점에서의 카이제르의 점근적 결과를 임의의 접촉 차수를 가진 코구점으로 확장하기 위해.
• 코구점에서 임의의 접촉 차수를 포착할 수 있는 일반화된 거듭제곱급수를 통한 경계 곡선의 매개변수화를 개발하기 위해.
• 지정된 점근적 행동을 갖는 국소적으로 단일한 등각사상에 대한 명시적 표현을 제공하기 위해.
• 모든 $ d > 0 $에 대해 유효한 통합된 점근 공식을 수립하기 위해. 여기서 $ d $는 코구점에서 경계 곡선의 접촉 차수를 나타낸다.

제안 방법

• 코구점 경계 곡선의 새로운 매개변수화를 제안하며, 이는 $ \log z $에 대한 일반화된 거듭제곱급수를 사용한다. 특히 $ z \in (-\epsilon,0) \cup (0,\epsilon) $에서 $ \Gamma_k(z) = \frac{-2\pi}{a\log z}\left(1 + \sum_{n=1}^{\infty} \frac{\Phi_n(z)}{\log^n z}\right) $이다.
• 크리스토펠-샤르츠 적분 표현을 사용하여 등각사상 함수를 유도하고 코구점 근처의 점근적 행동을 분석한다.
• 해석적 계속과 등각 불변성을 적용하여 점근적 행동이 해석적 변수 변경 하에서도 유지됨을 보여준다.
• 원래 사상과 $ d $-차 코구점을 갖는 도메인을 연결하기 위해 $ g(z) = f^{1/d}(z^d) $라는 사상을 구성함으로써 $ d=1 $에서 임의의 $ d>0 $로 결과를 일반화한다.
• 복소해석학 기법을 활용하여 $ z=0 $ 근처에서 $ f(z) $의 급수 전개와 허수부의 추정치를 이용하여 국소적 단일성과 경계에서의 연속성을 증명한다.
• 점근적 행동가 등각 동치 하에서 불변임을 증명하여, 알려진 사상 성질을 갖는 모델 도메인으로의 축소를 가능하게 한다.

실험 결과

연구 질문

• RQ1 임의의 접촉 차수 $ d>0 $를 가진 코구점에서 등각사상 함수는 점근적으로 어떻게 행동하는가?
• RQ2 작은 변형이 있는 $ d=1 $에 대한 카이제르의 결과를 모든 $ d>0 $로 일반화할 수 있는가?
• RQ3 지정된 점근적 행동을 갖는 등각사상의 명시적 구성이 가능한 경계 곡선의 매개변수화 방식은 무엇인가?
• RQ4 $ d \neq 1 $일 때 곡률 유사 계수 $ a $는 코구점의 기하학적 성질과 어떻게 관련이 있는가?
• RQ5 $ \log z $에 대한 일반화된 거듭제곱급수는 경계와 사상 함수를 표현하는 데 어떤 역할을 하는가?

주요 결과

• 코구점이 0에 위치한 등각사상 $ f: \mathbb{H} \to D $의 점근적 행동은 $ d=1 $일 때 $ \lim_{z \to 0} f(z) \left(-\frac{2\pi}{a \log|z|}\right)^{-1} = 1 $로 주어지며, 이는 다른 매개변수화 방식을 사용한 카이제르의 결과와 일치한다.
• 임의의 $ d>0 $에 대해 점근 공식은 $ \lim_{z \to 0} g(z) \left(-\frac{2\pi}{d a \log|z|}\right)^{-1/d} = 1 $로 일반화되며, 여기서 $ g $는 코구점에서 $ d $-차 접촉을 갖는 도메인으로 사상한다.
• 경계 곡선 $ \Gamma^{1/d} $는 0에서 $ \mathbb{R} $와 $ d $-차 접촉을 가지며, $ u^* \to 0 $일 때 점근 전개 $ v^*(z) = \frac{a}{2d}(u^*(z))^{1+d} + o((u^*)^{1+d}) $를 만족한다.
• 매개변수화 $ \Gamma_k(z) = \frac{-2\pi}{a\log z}\left(1 + \sum_{n=1}^{\infty} \frac{\Phi_n(z)}{\log^n z}\right) $는 임의의 $ d>0 $와 임의의 $ a>0 $에 대해 등각사상의 명시적 구성이 가능하게 한다.
• 사상 $ g(z) = f^{1/d}(z^d) $는 $ d=1 $ 접촉을 갖는 도메인을 $ d $-차 접촉을 갖는 도메인으로 변환하며, 점근적 구조를 유지한다.
• 점근 공식의 계수 $ a $는 코구점 근처의 기하학적 행동을 제어하며, $ d \neq 1 $일 때 $ a/d $는 전개에서 효과적인 곡률 유사 항을 특징짓는다.