Let D = H ∖ ⋃ k = 1 N C k D={\mathbb H} \setminus \bigcup _{k=1}^N C_k be a standard slit domain where H \mathbb H is the upper half-plane and C k C_k , 1 ≤ k ≤ N 1\leq k\leq N , are mutually disjoint horizontal line segments in H \mathbb {H} . Given a Jordan arc γ ⊂ D \gamma \subset D starting at ∂ H , \partial {\mathbb H}, let g t g_t be the unique conformal map from D ∖ γ [ 0 , t ] D\setminus \gamma [0,t] onto a standard slit domain D t D_t satisfying the hydrodynamic normalization. We prove that g t g_t satisfies an ODE with the kernel on its right-hand side being the complex Poisson kernel of the Brownian motion with darning (BMD) for D t D_t , generalizing the chordal Loewner equation for the simply connected domain D = H . D={\mathbb H}. Such a generalization has been obtained by Y. Komatu in the case of circularly slit annuli and by R. O. Bauer and R. M. Friedrich in the present chordal case, but only in the sense of the left derivative in t t . We establish the differentiability of g t g_t in t t to make the equation a genuine ODE. To this end, we first derive the continuity of g t ( z ) g_t(z) in t t with a certain uniformity in z z from a probabilistic expression of ℑ g t ( z ) \Im g_t(z) in terms of the BMD for D D , which is then combined with a Lipschitz continuity of the complex Poisson kernel under the perturbation of standard slit domains to get the desired differentiability.
Read full abstract