Extremal point methods for Robin capacity (Q558505)

The Robin capacity \(\delta(A)\) of a compact, non-empty set \(A\subset\partial\Omega\) with respect to a domain \(\Omega\subset\widehat{\mathbb C}\) containing \(\infty\) is defined by \[ \delta(A) = \delta(A, \Omega) = \exp\left(\lim_{z\to\infty} -R(z) +\log| z| \right), \] where \(R(z) = R(z,\infty)\) is the fundamental solution of a mixed boundary value problem with pole at \(\infty\), where Dirichlet conditions are imposed on \(A\) and Neumann conditions on \(\partial\Omega\setminus A\). P. Duren and M. Schiffer have discovered that it coincides with the minimal logarithmic capacity of \(f(A)\) over all conformal mappings \(f\) of \(\Omega\) with \(f(z) = z +O(1)\), \(z \to \infty\). In this article, effective methods for the numerical determination of \(\delta(A)\) are developed. For this purpose the conformal invariant \(\delta(A)\setminus \text{cap}(\partial\Omega)\) is related to other moduli of the given configuration like harmonic measure or conformal modulus. Let \(\Omega\) be the outer domain of a Jordan curve and \(A\subset\partial\Omega\) a subarc. Then the Robin capacity \(\delta(A)\) of \(A\) with respect to \(\Omega \) amounts to \(\delta(A) =\text{cap}(\partial\Omega) \cdot \sin^2\left(\frac{\pi}{2}\mu(A)\right)\), where \(\mu(A)\) is the equilibrium measure of \(A\). Let \(M\) be the conformal modulus of the doubly connected domain \(\Omega\) with \(\infty\in\Omega\), whose boundary components are non-degenerate continua. Further, let \(\omega =\omega(\infty, B,\Omega)\) be the value in \(\infty\) of the harmonic measure in \(\Omega\) with respect to the Neumann boundary \(B\). Then \[ \delta(A)= \left(\frac{\vartheta_2\left(\frac{\omega}{2}\right) \vartheta_3\left(\frac{\omega}{2}\right)} {\vartheta_2(0)\vartheta_3(0)}\right)^2 \cdot\text{cap}(\partial\Omega). \] The parameter of the above theta functions is given by \(\tau=i\pi/M\). Note that no further assumptions on the smoothness of \(A\) and \(B\) are necessary, if the conformally invariant extended version of the Robin function is considered. In particular, since \(A\) and \(B\) are non-degenerate continua, \(\partial\Omega\) is regular in the sense of potential theory and \(\omega\) is well defined. The theta functions occurring in the above formula can be effectively computed with the help of their Fourier series. An effective extremal point discretization for the moduli based on Menke points is derived. If \(\Omega\) is analytically bounded, the discretizations presented provide geometrically fast converging approximations to the considered moduli and thus to Robin capacity.