Bounds for the moduli of continuity for conformal mappings of domains near their accessible boundary arcs (Q2880052)

The paper is devoted to the boundary behavior of conformal mappings. Along with the modulus of continuity \(\omega(\varphi,\overline G;\delta)\), \(\delta\geq0\), of a function \(\varphi\) on the closure \(\overline G\) of a domain \(G\), the author introduces new characteristics for curves in the complex plane \(\mathbb C\). For a curve \(L\), the modulus of oscillation \(d(L;\delta)\), \(\delta\geq0\), of \(L\) is defined to be NEWLINE\[NEWLINEd(L;\delta):=\sup\{d(L;z,t): z,t\in L, |z-t|\leq\delta\},NEWLINE\]NEWLINE where \(d(L;z,t)\) is a diameter of the arc of \(L\) with endpoints \(z\) and \(t\). In the case of a closed curve \(L\), \(d(L;z,t)\) is the minimal diameter among two arcs with endpoints \(z\) and \(t\). The family of all Jordan curves \(L\) with \(d(L;\delta)\leq g(\delta)\) for \(\delta\geq0\) or for \(\delta\in[0,\epsilon]\) is denoted by \(J(g)\) or \(J(g,\epsilon)\), \(\epsilon>0\), respectively. For a rectifiable curve \(L\), the modulus of rectifiability \(m(L;\delta)\), \(\delta\geq0\), of \(L\) is NEWLINE\[NEWLINEm(L;\delta):=\sup\{m(L;z,t): z,t\in L, |z-t|\leq\delta\},NEWLINE\]NEWLINE where \(m(L;z,t)\) is an arclength of \(L(z,t)\subset L\) with endpoints \(z\) and \(t\). Again, in the case of a closed curve \(L\), \(m(L;z,t)\) is the minimal arclength among two arcs with endpoints \(z\) and \(t\). The family of all rectifiable Jordan curves \(L\) with \(m(L;\delta)\leq g(\delta)\) for \(\delta\geq0\) or for \(\delta\in[0,\epsilon]\) is denoted by \(J_0(g)\) or \(J_0(g,\epsilon)\), \(\epsilon>0\), respectively.NEWLINENEWLINEThe first theorem of the article is Theorem 3.1: For a simply connected bounded domain \(G\) in \(\mathbb C\) having a Jordan boundary \(\Gamma\in J(g,\epsilon)\), let \(w=\varphi(z)\) map conformally \(G\) onto the unit disk \(\mathbb D\). Then \(\omega(\varphi,\overline G;\delta)\leq A_1\sqrt{g(\delta)}\), where \(A_1\) does not depend on \(\delta\geq0\).NEWLINENEWLINE Theorem 3.1 follows from Theorem 3.2: For a simply connected bounded domain \(G\) in \(\mathbb C\) having a boundary \(\Gamma\in J(g,\epsilon)\), let \(w=\varphi(z)\) map conformally \(G\) onto \(\mathbb D\). Denote by \(R\) the distance from a preimage \(b=\varphi^{-1}(0)\) of \(w=0\) to \(\Gamma\), and a number \(r(\epsilon)\) satisfies the inequality \(9g(r)<2\pi R\). Then \(\omega(\varphi,\overline G;\delta)\leq A_0\sqrt{g(\delta)}\), \(\delta\in[0,r]\), \(A_0(\varphi)=3K_{\Lambda}\sqrt{|\varphi'(b)|}\), where \(K_{\Lambda}\) is the Lavrentyev constant.NEWLINENEWLINEIn Section 4 the author considers conformal mappings \(\psi: \mathbb D\to G\). Theorem 4.1 gives upper estimates of \(|\psi(z)-\psi(t)|\) for \(t\in\gamma:=\psi^{-1}(\Gamma)\) and \(z\in\mathbb D\) near \(t\), where \(\Gamma\) is a bounded open accessible Jordan arc on \(\partial G\). Theorem 4.2 estimates \(\omega(\psi,\overline{\mathbb D};\delta)\) for \(G\) having a Jordan boundary \(\Gamma\in J(g,\epsilon)\). Theorem 4.3 extends the previous result for \(G\) having a rectifiable Jordan boundary \(\Gamma\in J(g,\epsilon)\cap J_0(h,\eta)\). For domains \(G\) and \(Q\), Section 5 contains results for conformal mappings \(f: G\to Q\). Theorem 5.1 proposes upper estimates of \(\omega(f,\overline G;\delta)\) when \(\partial G\in J(g,\epsilon)\) and \(\partial Q\in J(g,\eta)\), \(\epsilon>0\), \(\eta>0\). In Section 6 the author proves the local versions of theorems from Sections 3--5.