A discrepancy theorem on quasiconformal curves (Q1362764)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A discrepancy theorem on quasiconformal curves |
scientific article |
Statements
A discrepancy theorem on quasiconformal curves (English)
0 references
19 January 1998
0 references
Let \(L\subset \mathbb{C}\) be a bounded Jordan curve or a Jordan arc. The discrepancy of a signed (Borel) measure \(\delta\) given on \(L\) is defined as \[ D[\delta]: =\sup \bigl|\delta (J)\bigr | \] where the supremum is taken over all subarcs \(J\subset L\). We say that \(L\) is a \(K\)-quasiconformal curve if it is the image of the unit circle under some \(K\)-quasiconformal mapping. For a bounded Jordan curve \(L\) we put \(\Omega= \text{Ext} L\) and let \(\varphi\) be the conformal univalent mapping of \(\Omega\) onto the exterior \(\Delta= \overline \mathbb{C} \backslash \overline \mathbb{D}\) of the unit disc \(D\) normalized by the conditions \[ \varphi (\infty)= \infty, \quad \varphi' (\infty)= \lim_{z\to \infty} {\varphi(z) \over z}>0. \] This function \(\varphi\) can be extended on \(\overline \Omega= \Omega\cup L\). The equilibrium measure \(\mu_L\) may be defined as follows \(\mu_L(I) ={1\over 2 \pi}\) length \(\varphi(I)\), for any subarc \(I\subset L\). In this paper the following result is proved: Theorem. Let \(L\) be a given \(K\)-quasiconformal curve, let \(\delta: =\delta^+ -\delta^-\), be a signed measure on \(L\) with positive part \(\delta^+\), negative part \(\delta^-\) and \(\delta^+ (L)= \delta^-(L) =1\). Moreover, let \(c\) and \(\beta\) be positive constants such that, for all subarcs \(I\subset L\) \(\delta^+ (I)\leq c \mu_L(I)^\delta\). Then there exists a constant \(c_1>0\), depending only on \(K,c\) and \(\beta\) such that for \(0<\delta <1/e\), \[ D[\delta] \leq c_1\left( {\mathcal E} (\delta) \log{1\over \delta}+ \delta^{1/(2K^2)} +\delta^{B/2} \right), \] where \({\mathcal E} (\delta): =|{\mathcal U} (\delta, \cdot) |_{L \delta}\) and \(L_\delta: =\{z\in \Omega: |\varphi (x)|=1+ \delta\}\), \({\mathcal U} (\delta, z): =\int_L\log {1\over |z- \xi|} d\delta (\xi)\) is the logarithmic potential. Some other results concerning a discrepancy are also investigated.
0 references