[논문 리뷰] Two-curve Green's function for $2$-SLE: the boundary case

Dapeng Zhan|arXiv (Cornell University)|2019. 01. 02.

Stochastic processes and statistical mechanics참고 문헌 24인용 수 4

한 줄 요약

이 논문은 $\kappa \in (0,8)$ 인 $2$-SLE$_\kappa$에 대해 경계 두 곡선 그린 함수를 수립하며, $r \to 0^+$일 때 두 곡선이 경계점 $z_0$에 수렴할 확률의 정확한 점근적 행동을 도출한다. 두 가지 다른 스케일링 지수를 식별한다: $z_0$가 두 곡선의 끝점인 경우 $\alpha = \frac{12}{\kappa} - 1$, 그 외의 경우 $\alpha = 2\left(\frac{12}{\kappa} - 1\right)$이며, 이는 초함수 및 등각 사상과 관련된 상수를 제외한 명시적 공식을 포함한다.

ABSTRACT

We prove that for $κ\in(0,8)$, if $(η_1,η_2)$ is a $2$-SLE$_κ$ pair in a simply connected domain $D$ with an analytic boundary point $z_0$, then $\lim_{r o 0^+}r^{-α} \mathbb{P}[\mbox{dist}(z_0,η_j)0$, which is called the two-curve Green's function. The exponent $α$ equals $\frac{12}κ-1$ or $2(\frac{12}κ-1)$ depending on whether $z_0$ is one of the endpoints of $η_1$ and $η_2$. We also find the convergence rate and the exact formula of the Green's function up to a multiplicative constant. To derive these results, we construct two-dimensional diffusion processes and use orthogonal polynomials to obtain their transition density.

연구 동기 및 목표

• 해석적 경계를 가진 도메인 $D$에서 경계점 $z_0 \in \partial D$에서 $2$-SLE$_\kappa$에 대한 두 곡선 그린 함수의 존재성과 정확한 형태를 수립한다.
• 두 곡선이 $r \to 0^+$일 때 $z_0$에 수렴할 확률에 대한 적절한 스케일링 지수 $\alpha$를 결정한다. 이는 $z_0$가 곡선의 끝점이 되는지 여부에 따라 달라진다.
• 등각 불변성, 초함수 및 이维수 확산 과정의 전이 밀도를 사용하여 그린 함수를 상수를 제외한 채로 계산한다.
• 곡선 끝점의 다양한 기하적 구성에 대해 그린 함수의 수렴 속도와 명시적 표현을 제공한다.

제안 방법

• 도메인 $D$를 상반평면 $\mathbb{H}$로 등각 변환하여 $z_0$를 $\infty$로 보냄으로써 문제를 $\mathbb{H}$에서의 분석으로 단순화한다.
• 2-SLE$_\kappa$에서 곡선 끝점의 진화를 모델링하기 위해 SLE$_\kappa(\underline{\rho})$ 및 hSLE$_\kappa$ 과정을 사용한 이차원 확산 과정을 구성한다.
• 직교 다항식과 초함수를 적용하여 확산 과정의 전이 밀도를 유도함으로써 정밀한 점근적 분석을 가능하게 한다.
• 도메인 마르코프 성질과 마틴갈 기법을 활용하여 로엔러 방정식의 매개변수 공간에서의 시간 곡선과 곡선의 공동 분포를 연결한다.
• 확률 $\mathbb{P}[\text{dist}(\eta_j, z_0) < r, j=1,2]$가 $r^{-\alpha} G(z_0)$ 형태의 거듭제곱 법칙으로 수렴함을 이용하며, $G(z_0)$는 초함수를 통해 표현된다.
• 드라이빙 함수와 전이 밀도의 무한대 근처 행동을 분석함으로써 $J \circ f$와 등각 도함수를 사용하여 그린 함수 공식을 유도한다.

실험 결과

연구 질문

• RQ1 2-SLE$_\kappa$ 쌍에서 두 곡선이 $r \to 0^+$일 때 경계점 $z_0$에 수렴할 확률에 대한 적절한 스케일링 지수 $\alpha$는 무엇인가?
• RQ2 그린 함수는 곡선 끝점의 기하적 구성이 $z_0$에 대해 어떻게 의존하는가? 특히 $z_0$가 끝점인지 여부에 따라 어떻게 달라지는가?
• RQ3 경계점에서의 두 곡선 그린 함수는 초함수와 등각 사상으로 표현될 수 있는가? 상수를 제외한 형태로 표현 가능한가?
• RQ4 확률 $\mathbb{P}[\text{dist}(\eta_j, z_0) < r, j=1,2]$의 수렴 속도는 무엇이며, 이는 곡선 구성에 따라 어떻게 달라지는가?

주요 결과

• 2-SLE$_\kappa$의 경계점 $z_0$에서 두 곡선 그린 함수는 $\kappa \in (0,8)$일 때 존재하며 양수이다. $\lim_{r \to 0^+} r^{-\alpha} \mathbb{P}[\text{dist}(\eta_j, z_0) < r, j=1,2]$는 유한한 양수로 수렴한다.
• 만약 $z_0$가 두 곡선의 끝점이라면 스케일링 지수는 $\alpha = \frac{12}{\kappa} - 1$이며, 그렇지 않은 경우 $\alpha = 2\left(\frac{12}{\kappa} - 1\right)$이다.
• 그린 함수는 상수 $C > 0$를 제외한 채로 $G_D(z_0) = C \cdot |(J \circ f)'(z_0)|^\alpha \cdot G_1(\underline{w}; \underline{v})$ 형태로 표현되며, 여기서 $G_1$은 거리 항의 곱과 초함수 $_2F_1$의 역수를 포함한다.
• 한 곡선이 다른 곡선과 $z_0$를 분리하는 구성의 경우, 그린 함수는 $G_D(z_0) = C_2 \cdot |(J ⋈ f)'(z_0)|^{\alpha_2} \cdot G_2(\underline{w}; \underline{v})$ 형태를 띠며, $G_2$는 다른 곱 구조와 동일한 초함수 요소를 포함한다.
• 만약 $z_0$가 두 곡선의 끝점이라면 그린 함수는 $G_D(z_0) = C_3 \cdot |(J ⋈ f)'(z_0)|^{\alpha_3} \cdot G_3(\underline{w}; v_+)$ 형태를 띠며, $G_3$는 세 점과 단일 초함수 항에 의존한다.
• 결과는 중간형 SLE$_\kappa(\rho)$ (iSLE$_\kappa(\rho)$) 과정으로 확장되며, 이 경우 지수와 그린 함수는 $\alpha_2 = \frac{\rho+2}{\kappa}(\rho + 4 - \frac{\kappa}{2})$ 및 $\alpha_3 = \frac{2}{\kappa}(\rho + 4 - \frac{\kappa}{2})$로 일반화되며, 문헌에 알려진 결과와 일치한다.