Quasiconformal harmonic mappings between Dini-smooth Jordan domains (Q2352729): Difference between revisions

This article gives an extension of some recent results about the problem of Lipschitz continuity of harmonic quasiconformal mappings between the unit disk and a Jordan domain, where the Hölder continuity of the boundary of the Jordan domain is replaced by the more general Dini condition. \textit{D. Kalaj} [Stud. Math. 207, No. 2, 117--136 (2011; Zbl 1279.30032)] solved the problem of bi-Lipschitz continuity of a quasiconformal mapping of the unit disk onto a Jordan domain with \(C^2\) boundary. Let \(\gamma\) be a \(C^1\) Jordan curve with length \(l=|\gamma|\), and let \(g\) be its arc-length parametrization. The curve is called Dini-smooth, which is denoted by \(C^{1,\omega}\), if \(g'\) is Dini-continuous, that is, the modulus of continuity of \(g'\) \[ \omega_{g'}(t)=\sup_{|x-y|\leq t}|g'(x)-g'(y)| \] satisfies \[ \int_0^l\frac{\omega_{g'}(t)}{t}\mathrm{d}t<\infty. \] In this paper, it is shown that if the boundary of the Jordan domain \(\Omega\) is \(C^{1,\omega}\), then the harmonic quasiconformal homeomorphism between the unit disk and the domain \(\Omega\) is Lipschitz continuous. In the proof, two cases are distinguished. In the first case, the boundary function \(F(e^{it})\) belongs to \(C^{1,\omega}(\mathbb{T})\), where the harmonic mapping \(f\) is \(C^1\) up to the boundary. In the other case, \(F(e^{it})\) does not belong to \(C^{1,\omega}(\mathbb{T})\), then the author makes use of an approximation argument.