[논문 리뷰] Stochastic Komatu-Loewner evolutions and BMD domain constant

Zhen-Qing Chen, Masatoshi Fukushima|arXiv (Cornell University)|2014. 10. 30.

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

한 줄 요약

이 논문은 복소수 평면에서 유한한 수의 분리된 수평 슬릿을 가진 다중연결 표준 슬릿 도메인으로 SLE를 일반화한 Stochastic Komatu-Loewner Evolutions (SKLE)를 제안한다. 이는 BMD 복소 포isson 핵으로부터 유도된 동차 계수를 가진 마코프성 SDE에 의해 구동된다. 주요 결과는 확산 계수 $\sqrt{6}$와 비드립 항 $-b_{\text{BMD}}$를 갖는 SKLE가 국소성 성질을 보이며, 이는 다중연결 영역에서 $\mathrm{SLE}_6$를 특징짓는다.

ABSTRACT

Let $D={\mathbb H} \setminus \cup_{k=1}^N C_k$ be a standard slit domain, where ${\mathbb H}$ is the upper half plane and $C_k$, $1\leq k\leq N$, are mutually disjoint horizontal line segments in $H$. Given a Jordan arc $γ\subset D$ starting at $\partial H$, let $g_t$ be the unique conformal map from $D\setminusγ[0,t]$ onto a standard slit domain $D_t={\mathbb H} \setminus \cup_{k=1}^N C_k(t)$ satisfying the hydrodynamic normalization at infinity. It has been established recently that $g_t$ satisfies an ODE called a Komatu-Loewner equation in terms of the complex Poisson kernel of the Brownian motion with darning (BMD) for $D_t$. We randomize the Jordan arc $γ$ according to a system of probability measures on the family of equivalence classes of Jordan arcs that enjoy a domain Markov property and a certain conformal invariance property. We show that the induced process $(ξ(t), {\bf s}(t))$ satisfies a Markov type stochastic differential equation, where $ξ(t)$ is a motion on $\partial {\mathbb H}$ and ${\bf} s(t)$ represents the motion of the endpoints of the slits $\{C_k(t),\; 1\le k\le N \}.$ Conversely, given such functions $α$ and $b$ with local Lipschitz continuity, the corresponding SDE admits a unique solution $(ξ(t), {\bf s}(t))$. The latter produces random conformal maps $g_t(z)$ via the Komatu-Loewner equation. The resulting family of random growing hulls $\{F_t\}$ from the conformal mappings is called ${ m SKLE}_{α,b}.$ We show that it enjoys a certain scaling property and a domain Markov property. Among other things, we further prove that ${ m SKLE}_{α,-b_{ m BMD}}$ for a constant $α>0$ has a locality property if and only if $α= \sqrt{6}$, where $b_{ m BMD}$ is a BMD-domain constant that describes the discrepancy of a standard slit domain from ${\mathbb H}$ relative to BMD.

연구 동기 및 목표

• 단순연결 도메인에서의 Schramm-Loewner 진동(SLE)을 유한한 수의 분리된 수평 슬릿을 가진 표준 슬릿 도메인으로 확장하기 위해.
• 다중연결 도메인에서의 랜덤 성장 힐의 구동 과정을 Stochastic Komatu-Loewner 방정식(SKLE)을 통해 특징짓기 위해.
• SKLE가 국소성 성질을 만족하는 조건을 확립하여 $\mathrm{SLE}_6$의 핵심 특징을 일반화하기 위해.
• 브라운 운동과 다닝을 고려할 때 상반평면에서의 탈진도를 측정하는 도구로 사용되는 BMD 도메인 상수 $b_{\text{BMD}}$를 정의하고 분석하기 위해.

제안 방법

• 무한대에서의 수류 정규화를 갖는 $D \setminus \gamma[0,t]$에서 $D_t$로의 동적 슬릿 도메인으로의 등각 사상 $g_t$를 사용하여 슬릿 도메인에 대한 Komatu-Loewner 방정식을 수립한다.
• 영역 마코프성 및 등각 불변성 성질을 만족하는 확률 측도 시스템을 통해 구동 곡선 $\gamma$를 랜덤화한다.
• 확산 계수 $\alpha$(동차 차수 0)와 비드립 항 $b$(동차 차수 -1)를 갖는 마코프성 SDE를 $(\xi(t), \mathbf{s}(t))$ 과정에 대해 유도한다. 여기서 $\xi(t)$는 $\partial\mathbb{H}$ 위의 운동이며 $\mathbf{s}(t)$는 슬릿 끝점의 위치를 추적한다.
• 슬릿 끝점 $\mathbf{s}(t)$의 비드립 계수는 BMD 복소 포isson 핵에 의해 결정되며, 이는 리프시츠 연속성을 갖는다.
• 확산 계수 $\alpha$와 비드립 항 $b$가 국소 리프시츠 연속성을 만족할 경우 SDE의 해가 존재하고 유일함을 증명하여 Komatu-Loewner 방정식을 통한 랜덤 등각 사상의 구성이 가능함을 보장한다.
• 해당 과정으로 유도된 랜덤 성장 힐 $\{F_t\}$를 $\mathrm{SKLE}_{\alpha,b}$로 정의하고, 스케일링 및 영역 마코프 성질을 확립한다.

실험 결과

연구 질문

• RQ1 다중 슬릿을 가진 표준 슬릿 도메인으로의 SLE의 적절한 일반화 형태는 무엇이며, 이를 구동하는 SDE는 어떻게 되는가?
• RQ2 SKLE 과정이 국소성 성질을 만족하는 조건는 무엇이며, 이는 BMD 도메인 상수와 어떻게 관련되는가?
• RQ3 BMD 복소 포isson 핵은 SKLE 프레임워크 내에서 슬릿 진화의 비드립 계수에 어떤 영향을 미치는가?
• RQ4 SDE의 계수인 $\alpha$와 $b$의 동차성은 $\xi(t)$와 $\mathbf{s}(t)$를 지배하는 SDE에서 어떤 역할을 하는가?
• RQ5 SKLE 프레임워크는 다중연결 영역에서 $\mathrm{SLE}_6$의 국소성을 복원할 수 있는가? 만약 가능하면, 어떤 $\alpha$ 값에서 가능한가?

주요 결과

• 확산 계수 $\alpha = \sqrt{6}$일 때에만 SKLE 과정 $\mathrm{SKLE}_{\alpha, -b_{\text{BMD}}}$가 국소성 성질을 갖는다. 이는 $\mathrm{SLE}_6$의 핵심 특징을 다중연결 영역으로 일반화한 것이다.
• 슬릿 끝점 $\mathbf{s}(t)$의 비드립 계수는 BMD 복소 포isson 핵에 의해 결정되며, 이는 리프시츠 연속성을 갖는다. 따라서 SDE의 해가 잘 정의됨을 보장한다.
• $(\xi(t), \mathbf{s}(t))$의 SDE는 확산 계수 $\alpha$가 동차 차수 0, 비드립 항 $b$가 동차 차수 -1이며, $\alpha$와 $b$는 국소 리프시츠 연속성을 갖는다.
• SDE의 해는 Komatu-Loewner 방정식을 통해 유일한 랜덤 등각 사상 $g_t(z)$의 가닥을 생성하며, 이는 영역 마코프성과 스케일링 성질을 갖는 랜덤 성장 힐 $F_t$를 유도한다.
• BMD 도메인 상수 $b_{\text{BMD}}$는 $b = \lim_{z \to 0} (\pi \widehat{\Psi}(z,0) + 1/z)$로 정의되며, 브라운 운동과 다닝을 고려할 때 슬릿 도메인이 상반평면에서 얼마나 벗어나 있는지를 수량화한다.
• 반평면 용량은 $r_t \to 0$일 때의 점근적 행동인 $a_t = \frac{2}{\pi} r_t M_1^*(t) (1 + O(r_t))$를 통해 특징지어지며, 이는 용량과 BMD 그린 함수 및 포isson 핵의 관계를 연결한다.