Abstract
A boundary integral equation method is presented for fast computation of the analytic capacities of compact sets in the complex plane. The method is based on using the Kerzman–Stein integral equation to compute the Szegő kernel and then the value of the derivative of the Ahlfors map at the point at infinity. The proposed method can be used for domains with smooth and piecewise smooth boundaries. When combined with conformal map**s, the method can be used for compact slit sets. Several numerical examples are presented to demonstrate the efficiency of the proposed method. We recover some known exact results and corroborate the conjectural subadditivity property of analytic capacity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Capacities—such as analytic, logarithmic, and conformal—are fundamental tools in complex analysis and have several applications to problems in different fields, e.g., in approximation theory, potential theory, electronics, and fluid dynamics [5, 6, 8, 19, 31, 37]. These capacities can be expressed explicitly in only a handful of special cases, and therefore numerical methods are needed to compute these capacities in the majority of instances.
The Riemann map** theorem states that any unbounded simply connected domain G in the extended complex plane \({\widehat{{{\mathbb {C}}}}}={{\mathbb {C}}}\cup \{\infty \}\) with \(\infty \in G\) and whose boundary consists of more than one point can be mapped one-to-one onto the unit disk \({{\mathbb {D}}}\) by a conformal map f. If we assume that
then this map** f is unique and known as the Riemann map** function. Here, the derivative of an analytic function f at the point at infinity is
The so-called Ahlfors map can be regarded as an extension of the Riemann map** function for multiply connected domains. That is, given an unbounded multiply connected domain G of connectivity m, the associated Ahlfors map is the unique analytic function f that maps G onto \({{\mathbb {D}}}\) such that [8, 31, 37]
The Ahlfors map \(w=f(z)\) is then an m-to-one covering of G onto \({{\mathbb {D}}}\) which maps each boundary component of G one-to-one onto the unit circle.
Let us now introduce the notion of analytic capacity. Let E be a compact subset of the complex plane \({{\mathbb {C}}}\) and let \(G = {\widehat{{{\mathbb {C}}}}} \backslash E\) be its complement in the extended complex plane \({\widehat{{{\mathbb {C}}}}}={{\mathbb {C}}}\cup \{\infty \}\). The analytic capacity of E is defined to be [31, p. 15]
where the supremum is taken over all analytic functions \(f:G\rightarrow {{\mathbb {C}}}\) such that \(|f(z)|\le 1\) for all \(z\in G\), and \(f'(\infty )\) is as in (2). In this paper, we assume that G is an unbounded multiply connected domain of connectivity m with \(\infty \in G\).
It is well-known that analytic capacity is inextricably linked to the Ahlfors map [6, 8, 19, 31, 37]. If \(w=f(z)\) is the unique Ahlfors map from the unbounded multiply connected domain G in the z-plane onto the unit disk \({{\mathbb {D}}}\) in the w-plane satisfying the conditions (3), then the analytic capacity of the set E is given by [8, 31]
In particular, when E is compact and connected such that \(G = {\widehat{{{\mathbb {C}}}}} \backslash E\) is a simply connected domain, the Ahlfors map \(w=f(z)\) is a conformal map from G onto the unit disk \({{\mathbb {D}}}\) and hence the analytic capacity \(\gamma (E)\) is equal to the logarithmic capacity \({{\,\mathrm{\textrm{cap}}\,}}(E)\) of E. However, for a general compact set E, we have \(\gamma (E)\le {{\,\mathrm{\textrm{cap}}\,}}(E)\). See [37, p. 13] for details.
Closed-form expressions for analytic capacity are special and known only in a handful of cases, and it is informative to survey some of these briefly here. If E is a disk of radius r, then [31, p. 17]
and if E is a square with sides of length \(\ell \), then [16]
where \(\Gamma (\cdot )\) is the gamma function. For a complex line segment \(E=[a,b]\subset {{\mathbb {C}}}\), we have [31, p. 17]
For any compact subset E of \({{\mathbb {R}}}\), we have [8, Ch. I, Thm. 6.2]
In particular, for m non-overlap** real intervals \(E_j=[a_j,b_j]\) with \(a_1<b_1<\cdots<a_m<b_m\), if \(E=\bigcup _{j=1}^mE_j\), we have [37, p. 14]:
If \(E\subset F\subset {{\mathbb {C}}}\), then \(\gamma (E)\le \gamma (F)\). Furthermore, for all \(z,\lambda \in {{\mathbb {C}}}\), \(\gamma (z+\lambda E)= |\lambda | \gamma (E)\). For a compact and connected set \(E\subset {{\mathbb {C}}}\), we have
where \({{\,\mathrm{\textrm{diam}}\,}}(E)\) denotes the diameter of E. For more details, see [31, p. 17].
When E and F are disjoint connected compact subsets of \({{\mathbb {C}}}\), Suita [29] proved that the subadditivity property
holds. For general compact sets, the proof of this property is still an open problem. However, Tolsa [30] proved the semi-additivity of analytic capacity: there exists a constant c such that for all compact sets \(E,F\subset {{\mathbb {C}}}\), the analytic capacity satisfies
Moreover, proving the conjectural subadditivity of analytic capacity for arbitrary compact sets \(E,F\subset {{\mathbb {C}}}\) is equivalent to proving it for all disjoint compact sets \(E,F\subset {{\mathbb {C}}}\) that are finite unions of disjoint closed disks, all with the same radius [17, 36]. Several numerical examples have been considered by Younsi and Ransford in [36] for purely circular compact sets. Numerical results for sets other than circular ones were also presented in [35, 36]. All of these examples provide convincing evidence to suggest that the conjectural subadditivity property for analytic capacity is true. It should also be pointed out that, from (8), in the case of multiple real slits, equality as opposed to inequality holds in (9). The subadditivity property will be of significant interest in the ensuing discussion and will be corroborated numerically in several cases.
Several numerical methods are available in the literature for computing the logarithmic and conformal capacities. One of these methods is based on the boundary integral equation (BIE) with the generalized Neumann kernel [16, 24]. For the numerical computation of analytic capacity, to the best of our knowledge, the only available numerical method is that given in [36]. The method is based on using quadratic minimization for the numerical computation of upper and lower bounds for the analytic capacity, which, in principle, converges to its exact value. This method has been used before to compute the logarithmic capacity [27]. In this paper, we present a fast and accurate BIE method for the numerical computation of the analytic capacity. Our presented method will be used to compute the analytic capacity for a wider class of compact sets, including those with smooth boundaries, piecewise smooth boundaries, and sets consisting of only slits. The method is based on using a BIE for the Szegő kernel (refer to [3, 7, 12, 13, 19] for the definition and basic properties of the Szegő kernel). The BIE has been used by Kerzman and Trummer [13] to compute the conformal map** for simply connected domains. Bell [2] proved that the BIE can be used to compute the Ahlfors map of bounded multiply connected domains. In [4], the BIE has been implemented numerically to compute both the Riemann map** function and the Ahlfors map for bounded simply and multiply connected domains, respectively. See also [3, 12, 25, 32].
Besides this introductory section, our paper is structured in the following way. In Sect. 2, we introduce a numerical method for computing the analytic capacity for compact sets bounded by smooth or piecewise smooth Jordan curves, and several numerical examples for such sets are presented in Sect. 3. In Sect. 4, we consider compact slit sets. We provide our concluding remarks in Sect. 5. Finally, in Appendix A, for a given multiply connected rectilinear slit domain, we review an iterative method from [23] for the construction of a preimage unbounded multiply connected domain bounded by smooth Jordan curves.
2 The Numerical Method
2.1 Analytic Capacity and the Szeg Kernel
Let E be a compact subset of the complex plane \({{\mathbb {C}}}\) and let \(G = {\widehat{{{\mathbb {C}}}}} \backslash E\) be its complement in the extended complex plane \({\widehat{{{\mathbb {C}}}}}\). We assume that G is an unbounded multiply connected domain bounded by m smooth, or piecewise smooth, Jordan curves \(\Gamma _1,\ldots ,\Gamma _m\). Domains bounded by slits will be considered in Sect. 4 below.
From (4), the analytic capacity \(\gamma (E)\) is calculated by computing the derivative \(f'(\infty )\) of the Ahlfors map f from the domain G onto the unit disk \({{\mathbb {D}}}\) with the normalization (1). A BIE method for computing the Ahlfors map for a bounded multiply connected domain is presented in [2, 4]; however, the domain G is unbounded, and therefore a preliminary step is required. We first conformally map the unbounded multiply connected domain G onto a bounded multiply connected domain D using the Möbius transformation
where \(\alpha \) is a point in the interior of any of the curves \(\Gamma _j\). The point at infinity is mapped onto the origin, \(M(\infty )=0\in D\). Let \(w=F(\zeta )\) be the Ahlfors map from the bounded multiply connected domain D onto the unit disk \({{\mathbb {D}}}\) such that \(F(0)=0\), \(F'(0)>0\), and \(F'(0)\) is maximal. It follows immediately that
is the Ahlfors map from the unbounded domain G onto the unit disk \({{\mathbb {D}}}\) which satisfies the conditions (3). Note that
and
Note also that \(\zeta =M(z)=1/(z-\alpha )\) if and only if \(z=M^{-1}(\zeta )=a+1/\zeta \) and hence \(z\rightarrow \infty \) if and only if \(\zeta \rightarrow 0\). Thus, since \(F(0)=0\),
It is straightforward to prove that \(f'(\infty )\) is maximal since \(F'(0)\) is maximal.
As D is a bounded multiply connected domain, the Ahlfors map \(w=F(\zeta )\) from D onto the unit disk \({{\mathbb {D}}}\) can be computed using the method presented by Bell [2] (see also [4]). However, computing the analytic capacity \(\gamma (E)\) requires only computing the derivative \(F'(0)\) since \(\gamma (E)=f'(\infty )=F'(0)\). In fact, it follows from [2] that
where \(S(\zeta ,0)\) is the Szegő kernel for the bounded multiply connected domain D with respect to the base point \(0\in D\). Our numerical method is based on computing S(0, 0) using the BIE related to the Szegő kernel in multiply connected domains [2]. Then
2.2 Integral Equation for the Szeg Kernel
Assume that each boundary component \(\Gamma _j\) is parametrized by a \(2\pi \)-periodic function \(\zeta _j(t)\), \(t\in J_j=[0,2\pi ]\), \(j=1,\ldots ,m\). For domains with corners, the parametrization \(\zeta _j(t)\) is defined as described in [16]. We define the total parameter domain J as the disjoint union of the m intervals \(J_j=[0,2\pi ]\), \(j=1,\ldots ,m\). The whole boundary \(\Gamma \) is therefore parametrized by
See [16, 22, 23] for more details. Further, the boundary \(\partial D\) of the bounded multiply connected domain D is parametrized by
The Szegő kernel for the bounded multiply connected domain D with respect to the base point \(0\in D\) can be computed by solving the second-kind Fredholm integral equation [2, 4]
where
The kernel \(A(\eta (t),\eta (s))\) is continuous with \(A(\eta (t),\eta (t))=0\). The integral equation in (14) is known as the Kerzman–Stein BIE [12, 13, 25, 32]. It was proved in [2] that this BIE can be used also for the computation of the Szegő kernel for bounded multiply connected domains. Multiplying both sides of (14) by \(\eta '(t)/\eta (t)\) and defining
the BIE (14) can be written as
Now, since
it follows that
or equivalently,
Taking the conjugate of both sides and then multiplying by \(\textrm{i}/|\zeta '(t)|\), we obtain
which can be written in the concise form
This BIE (17) is a modification of the Kerzman–Stein BIE (14).
By (11), computing the analytic capacity \(\gamma (E)\) requires computing the value of the Szegő kernel S(0, 0). Since the Szegő kernel \(S(\zeta ,0)\) is an analytic function in the domain D, by the Cauchy integral formula, we have
Then, by solving the BIE (17) for \(\psi (t)\) and using (15) and (17), we have
It then follows at once from (11) that
It is immediate from (18) that the integral \(\int _{J} \overline{\psi (t)}|\zeta '(t)|dt\) must be real and hence
2.3 Numerical Solution of the Integral Equation
The Kerzman-Stein BIE (14) has been used to compute conformal map**s for bounded and unbounded simply connected domains [13, 20, 25, 32], and in [2, 4] to compute the Ahlfors map for bounded multiply connected domains. A combination of the usage of the Kerzman–Stein BIE (14) and the Fast Multipole Method (FMM) [9, 10] has been presented in [25] for computing conformal map**s for bounded simply connected domains.
In this paper, to compute the analytic capacity \(\gamma (E)\), we will solve the BIE (17) which is a modified version of the Kerzman–Stein BIE (14). To accomplish this, we too shall employ the FMM when solving (17). Since the integrand in (17) is \(2\pi \)-periodic, the BIE (17) can be best discretized by the Nyström method with the trapezoidal rule [13, 20, 25, 32].
For domains with smooth boundaries, we use the trapezoidal rule with equidistant nodes. We discretize each interval \(J_p=[0,2\pi ]\), for \(p=1,2,\ldots ,m\), by n equidistant nodes \(s_1, \ldots , s_n\) where
and n is an even integer. Writing \(\textbf{s}=[s_1,\ldots , s_n]\), we discretize the parameter domain J by the vector \(\textbf{t}= [\textbf{s}, \textbf{s}, \ldots , \textbf{s}]\) which consists of m copies of \(\textbf{s}\), i.e.,
where for \(p=1,2,\ldots ,m\) and \(q = 1, \ldots , n\),
For a real or a complex function \(\mu (\zeta (t))\) defined on the boundary \(\Gamma \), the trapezoidal rule then yields
Discretizing the BIE (17) using the trapezoidal rule (21) and substituting \(t=t_i\), we obtain the linear system
where \(\psi _n\) is an approximation of \(\psi \). Recall that \(A(\zeta (t_i),\zeta (t_j))=0\) when \(i=j\). Using the definition of the kernel \(A(\zeta (t),\zeta (s))\), we have for \(i=1,2,\ldots ,n\),
or equivalently,
which can be written in the following concise form:
Here, \(.*\) and ./ are the MATLAB element-by-element multiplication and division, respectively, \(\textbf{x}=\psi _n(\textbf{t})\), \(\textbf{r}\) is the \(mn\times 1\) vector with entries \(\textbf{r}_{i}= \frac{1}{2\pi }\), and B is the \(mn\times mn\) matrix with entries
The linear system (22) will be solved using the GMRES iterative method [28] where the matrix-vector product can be computed using the FMM. The FMM allows us to use the method presented to compute the analytic capacity of compact sets consisting of a high number of components. If we define the left-hand side of (22) to be a function of the unknown vector \(\textbf{x}\),
then the value of the function \(\mathscr {F}(\textbf{x})\) can be computed quickly and accurately using the MATLAB function zfmm2dpart in the MATLAB toolbox FMMLIB2D developed by Greengard and Gimbutas [9]. This method for computing the solution \(\psi \) to the BIE (17) is summarized in the following MATLAB function where the tolerances for the FMM and the GMRES method are taken to be \(0.5\times 10^{-15}\) and \(10^{-14}\), respectively, and the GMRES method is run without restart:
The preceding method assumes that the boundaries of the domains of interest are smooth, i.e. without corners. In the case of domains with corners (excluding cusps), to obtain accurate results, a re-parametrization of the boundary of the domain is performed as described in [16]. Assume that the boundary component \(\Gamma _j\) has \(\ell \) corner points. We first parametrize each boundary component \(\Gamma _j\) by a \(2\pi \)-periodic function \({\hat{\zeta _j}}(t)\) for \(t\in J_j=[0,2\pi ]\). The function \(\zeta _j(t)\) is assumed to be smooth with \(\zeta '_j(t)\ne 0\) for all values of \(t\in J_j\) such that \(\zeta _j(t)\) is not a corner point. We assume that \(\zeta '_j(t)\) has only the first kind discontinuity at these corner points. At each corner point, the left tangent vector is taken to be the tangent vector at this point. As above, let J be the disjoint union of the m intervals \(J_j=[0,2\pi ]\), \(j=1,2,\ldots ,m\) and \({\hat{\zeta }}(t)\), \(t\in J\), be a parametrization of the whole boundary \(\Gamma \). Then, we parametrize the boundary \(\Gamma \) by \(\zeta (t)={\hat{\zeta }}(\delta (t))\), where the function \(\delta (t)\) is defined in [16, pp. 696–697]. The function \(\delta (t)\) is chosen such that the singularity in the first derivative of the solution of the BIE in the vicinity of the corner points is removed [15, 16]. With the new parametrization \(\zeta (t)\), the BIE (17) can be solved accurately using the above MATLAB function. However, for domains with corners, we usually need a larger number of points n (which should be a multiple of the number of corners on each boundary component) for discretizing the BIE compared to domains with smooth boundaries (see [15, 16, 22] for further details).
Once the solution \(\psi \) of the BIE (17) has been found, we can proceed to compute the analytic capacity \(\gamma (E)\) using the formula (19). This can be undertaken using the following MATLAB function:
Various numerical examples will be presented in the proceeding two sections. We will take, in turn, domains bounded by Jordan curves and domains bounded by slits.
3 Domains Bounded by Jordan Curves
In this section, we will use the method presented in the previous section to compute numerical approximations \({\tilde{\gamma }}(E)\) to the analytic capacity \(\gamma (E)\) of compact sets bounded by smooth and piecewise smooth boundaries.
Example 1
Consider the compact set \(E=E_1\cup E_2\) where \(E_{1,2}=\{z \in {{\mathbb {C}}}\,|\,|z\pm c|\le r\}\) and \(0<r<c\). Then [36]
where
is the second Jacobi theta function. The relative error in the computed approximate values \({\tilde{\gamma }}(E)\) obtained with \(n=2^9\) are given in Table 1 for several values of c and r. For \(c=2\) and \(r=1\), our obtained value is \({\tilde{\gamma }}(E)=1.875595019097120\) which is in the interval (1.875595019097112, 1.875595019097164) given in [36]. The exact value is
Example 2
Let E be the square with corners \(1,-\textrm{i},-1,\textrm{i}\). In this case, the domain \(G = {\widehat{{{\mathbb {C}}}}} \backslash E\) is an unbounded simply connected domain. Thus, by (6), the analytic capacity of E is
In this example, the boundary components of the compact set E have corners. We use our numerical method with various values of n to approximate the analytic capacity \(\gamma (E)\) and the results are presented in Table 2. As can clearly be seen in Table 2, the relative error decreases as n increases.
Example 3
As a validation of our numerical method, let us also consider the four compact sets shown in Fig. 1. These sets were considered in [36, Figures 2, 3, 5 and 6]. We are not aware that the analytic capacities \(\gamma (E)\) of these sets are known analytically. The approximate values of \(\gamma (E)\) computed by our method are presented in Table 3.
It is important to point out that for the union of 4 ellipses, the elapsed time of 0.55 seconds suggests that our computations are more than 1000 times faster than the method used for the same problem in [35, 36]. However, around a decade has passed since the computations in [36] were performed. We also note that our method is much faster than the method presented in [35, 36] for non-circular compact sets compared with circular ones.
Example 4
Consider the square \([-2,2]\times [-2,2]\) and the four sub-squares with centers \(\pm 1 \pm \textrm{i}\). Let \(\varepsilon >0\) be a real parameter. We consider three cases (i)-(iii). In the case (i), consider moving the centers of the sub-squares via the parameter \(\epsilon \) to the points \((1+\varepsilon )(\pm 1 \pm \textrm{i})\) (see Fig. 2 (left)). In case (ii), let us fix the lower two sub-squares and consider moving the centers of the upper sub-squares to the points \((1+\varepsilon )(\pm 1 + \textrm{i})\) (see Fig. 2 (middle)). Finally, in case (iii), let us fix three of the sub-squares and move the center of the remaining sub-square to the point \((1+\varepsilon )(1+\textrm{i})\) by increasing the value of \(\epsilon \) (see Fig. 2 (right)). Let us label the union of the compact sets generated with \(\varepsilon \) in each case by \(E_\varepsilon \). For \(\varepsilon =0\), then \(E_0=[-2,2]\times [-2,2]\) is the original square.
Note that the length of each side of the original square is 4, and hence, by (6),
Further, let us label the sub-squares by \(F_1,\ldots ,F_4\), then the length of each of these sub-squares is 2, and hence, by (6),
In each of the three cases, we compute the analytic capacity \(\gamma (E_\varepsilon )\) as a function of \(\varepsilon \) which are presented in Fig. 3. The results indicate that \(\gamma (E_0)\) is a lower bound for \(\gamma (E_\varepsilon )\) and \(\sum _{j=1}^4\gamma (F_j)=2\gamma (E_0)\) is an upper bound for \(\gamma (E_\varepsilon )\). These results collectively provide numerical evidence to corroborate the conjectural subadditivity property of analytic capacity for these compact sets. Our results demonstrate the expected phenomenon that the analytic capacity increases as the sub-squares move further apart from each other, and values of the analytic capacity in the case (i) are larger than those in the cases (ii) and (iii) corresponding to the greater number of sub-squares.
Example 5
Consider the four disks with radius 1 and centers at \(\pm 1\pm \textrm{i}\). Let \(\varepsilon >0\) be a real parameter. We consider three cases (i)-(iii). In case (i), consider moving the centers of the four disks via the parameter \(\epsilon \) to the points \((1+\varepsilon )(\pm 1 \pm \textrm{i})\) (see Fig. 4 (left)). In case (ii), let us fix the lower two disks and consider moving the centers of the upper disks to the points \((1+\varepsilon )(\pm 1 + \textrm{i})\) (see Fig. 4 (middle)). Finally, in case (iii), let us fix three of the disks and move the center of the remaining disk to the point \((1+\varepsilon )(1+\textrm{i})\) by increasing the value of \(\epsilon \) (see Fig. 4 (right)). We label the union of the compact sets generated with \(\varepsilon \) in each case by \(E_\varepsilon \).
Let us label the disks by \(F_1,\ldots ,F_4\), then \(\gamma (F_j)=1\), \(j=1,\ldots ,4\). In each of the three cases, we compute the analytic capacity \(\gamma (E_\varepsilon )\) as a function of \(\varepsilon \) which are presented in Fig. 5. The results demonstrate the expected phenomenon that the analytic capacity increases as the disks move further apart from each other, and values of the analytic capacity in case (i), corresponding to the case when all disks are moving away from each other, are larger than those in cases (ii) and (iii).
Remark 1
If E is a compact set such that \(G = {\widehat{{{\mathbb {C}}}}} \backslash E\) is bounded by finitely many analytic curves, then [35, 36]
where the minimum is taken over all functions g(z) that are analytic on G, continuous up to the boundary, with \(g(\infty )=0\). Thus, taking \(g(z)\equiv 0\) gives the inequality
Hence, if E is a union of finitely many disjoint closed disks \(E_1,\ldots ,E_m\) with radii \(r_1,\ldots ,r_m\), we have
This explains the results presented in Fig. 5 indicating that \(\sum _{j=1}^4\gamma (F_j)=4\) is an upper bound for \(\gamma (E_\varepsilon )\).
Example 6
We consider \(m=100\) random non-overlap** disks. For \(k=1,2,\ldots ,100\), the radius \(r_k\) of the disk \(E_k\) is chosen randomly in (0.2, 0.8) and its center \(c_k\) is chosen in the square \([-10,10]\times [-10,10]\) such that all disks are non-overlap**. Then we randomly choose an integer \(\ell \in [1,99]\). We define
See Fig. 6 (right) for an example of such compact sets E and F.
For this problem, we run our method 50 times to obtain 50 different locations for these disks as well as different sets E and F. For each run j, we use the above presented method with \(n=2^9\) to compute approximate values of the quantities \(\gamma (E)\), \(\gamma (F)\) and \(\gamma (E\cup F)\). The values of the ratio
are plotted as a function of the run number j as shown in Fig. 6 (left). As can be seen from the graphs in this figure, we have verified that the conjectural subadditivity property of analytic capacity holds for each of the 50 random compact sets we considered, and in particular that
Again, the conjectural subadditivity property for analytic capacity holds for the compact sets in this example.
Example 7
In this example, we study compact sets consisting of disjoint disks of equal radii. In particular, we will validate numerically the conjectural subadditivity property of analytic capacity in several cases. The consideration of such compact sets is important since proving the conjectural subadditivity property of analytic capacity for arbitrary compact sets \(E,F\in {{\mathbb {C}}}\) is equivalent to proving it for all disjoint compact sets that are finite unions of disjoint closed disks, all with the same radius [17, 36].
Let \(E_m\) be a union of m disjoint disks and F be a disk with center \(x+\textrm{i}y\) such that these \(m+1\) disks are non-overlap** and of unit radii. Let the real function u(x, y) be defined by
i.e. the function u(x, y) is defined for all points \((x,y)\in {{\mathbb {R}}}^2\) such that the disk F does not overlap any of the other m disks. Note that the domain of definition of the function u(x, y) is unbounded. Hence, in our numerical computations, we consider only the region \(-10\le x,y\le 10\) and we assume that the minimum distance between any two disks is 0.02. We compute approximate values of the function u(x, y) using \(n=2^{10}\) and then plot several level curves of u(x, y). We consider four cases of m, namely \(m=1,2,3,4\). For \(m=1\), \(E_m\) consists of only one disk which is assumed to be the unit disk. For \(m=2,3,4\), we assume that the centers of the disks forming \(E_m\) are \(5e^{2k\pi \textrm{i}/m}\), \(k=1,2,\ldots ,m\). The approximate values \({\tilde{\gamma }}(E_m)\) of the analytic capacity of \(E_m\) are presented in the following table.
m | \({\tilde{\gamma }}(E_m)\) |
---|---|
1 | 1 |
2 | 1.98000206142844 |
3 | 2.88420404308815 |
4 | 3.67012955644439 |
The computed level curves of the function u(x, y) are presented in Fig. 7. The results presented demonstrate that the values of the analytic capacity \(\gamma (E_m\cup F)\) increase when F moves away from \(E_m\) and decrease when F moves towards \(E_m\). In particular, when F is far away from \(E_m\), we have
The results presented also illustrate that
which indicates that the conjectural subadditivity property for analytic capacity again holds in this example.
Finally, we compute approximate values \({\tilde{\gamma }}(E_m)\) of the analytic capacity for the above compact sets \(E_m\), this time assuming that the centers of the disks are \(re^{2k\pi \textrm{i}/m}\), \(k=1,2,\ldots ,m\), for \(1.5\le r\le 20\). The ratios \({\tilde{\gamma }}(E_m)/m\) are plotted in Fig. 8 as functions of r. As we can see, each of these ratios tends to 1 as r increases; that is, the analytic capacity of \(E_m\) (the union of m disks) tends to the sum of the individual analytic capacities of these m disks which is equal to m (see Remark 1 above). The results presented in (26) and Figs. 7 and 8 provide experimental evidence for a previously known result due to Pommerenke who showed that, roughly speaking, the analytic capacity of a compact set is approximately equal to the sum of the analytic capacities of its components if they are far away from each other (see [14, p. 267]).
4 Domains Bounded by Slits
In this section, we will use our numerical method to compute numerical approximations \({\tilde{\gamma }}(E)\) to the analytic capacity \(\gamma (E)\) of sets consisting of slits. We will consider here only rectilinear slits. However, the method presented can be extended to other types of slits.
For \(a_1,\ldots ,a_m,b_1,\ldots ,b_m\in {{\mathbb {C}}}\) such that \(E_j=[a_j,b_j]\) are non-overlap** for \(j=1,2,\ldots ,m\), let \(E=\bigcup _{j=1}^mE_j\) and let \(\Omega ={\widehat{{{\mathbb {C}}}}} \backslash E\), i.e., \(\Omega \) is the unbounded multiply connected slit domain obtained by removing the m slits \(E_1,\ldots ,E_m\) from the extended complex plane \(\overline{{{\mathbb {C}}}}\). The method presented in Sect. 2 is not directly applicable to such a domain \(\Omega \). However, an iterative method has been presented in [23] for constructing of a preimage unbounded multiply connected domain G bounded by smooth Jordan curves and the unique conformal map** \(\zeta =\Phi (z)\), \(\Phi \,:\,G\rightarrow \Omega \), such that \(\Phi \) is normalized near infinity by the condition
The inverse function \(z=\Phi ^{-1}(\zeta )\) is then the conformal map** from \(\Omega \) onto G. The method presented in Sect. 2 is now applicable to the new domain G. This iterative method is reviewed in Appendix A.
Let \(w=f(z)\) be the Ahlfors map from the unbounded domain G onto the unit disk \({{\mathbb {D}}}\) such that \(f(\infty )=0\), \(f'(\infty )>0\), and \(f'(\infty )\) is maximal. Then the function
is an Ahlfors map from the unbounded slit domain \(\Omega \) onto the unit disk \({{\mathbb {D}}}\). We have
and
If \(z=\Phi ^{-1}(\zeta )\), then \(\zeta \rightarrow \infty \) as \(z\rightarrow \infty \), and
where we used (27) and the fact that \(\lim _{z\rightarrow \infty }zf(z)=f'(\infty )\). Since \(f'(\infty )\) is maximal, it then follows that \(g'(\infty )\) is maximal too. Thus, by computing the preimage domain G and the conformal map** \(\Phi \,:\,G\rightarrow \Omega \) normalized by the condition (27), we will have
where \(w=f(z)\) is the Ahlfors map from the unbounded domain G onto the unit disk \({{\mathbb {D}}}\) with the normalization \(f(\infty )=0\) and \(f'(\infty )>0\). Since the domain G is bounded by smooth Jordan curves, the value of \(f'(\infty )\) can be computed as explained in Sect. 2.
We consider three examples. In our first example, we consider rectilinear slits on the real line. We know the exact value of the analytic capacity in this case and hence the error in the computed approximate values can be calculated. Examples with unknown explicit formulae are also presented.
Example 8
We consider several of the compact sets used in the process of generating the middle-thirds Cantor set. Let \(E_0=[-1,1]\), and let \(E_k\) for \(k\ge 1\) be defined recursively by
Note that \(E_k\) consists of \(m=2^k\) sub-intervals of the [0, 1], each of length \(2/3^k\). We denote these sub-intervals by \(I_j\) for \(j=1,2,\ldots ,m\). By (8), the exact value of \(\gamma (E_k)\) is known and given by
from which it is immediate that \(\gamma (E_k)\rightarrow 0\) as \(k\rightarrow \infty \). Note for this example that
The proposed method is used to compute approximate values \({\tilde{\gamma }}(E_k)\) to the analytic capacity \(\gamma (E_k)\) for \(k=1,2,\ldots ,10\) and the obtained results are presented in Table 4. We compute also the relative error in the computed approximate values. As can be seen in Table 4, our numerical method gives accurate results for sets consisting of a very high number of slits.
Example 9
We next consider the union of two equal rectilinear slits of unit length: one slit \(F_1=[0.1,1.1]\) is fixed on the real line, and the other is taken to be \(F_{2,\varepsilon }=[0.1e^{\textrm{i}\varepsilon \pi },1.1e^{\textrm{i}\varepsilon \pi }]\) where we vary \(\varepsilon \) between zero and one. A schematic of this configuration is shown in Fig. 9 (right) when \(\varepsilon =1/3\). Let \(E_\varepsilon =F_1 \cup F_{2,\varepsilon }\). It is known that \(\gamma (F_1)=\gamma (F_{2,\varepsilon })=1/4\), by (7). When \(\varepsilon =1\), we have \(E_1=[0.1,1.1]\cup [-1.1,-0.1]\) and hence \(\gamma (E_1)=1/2\), by (8). When \(\varepsilon =0\), we have \(E_0=F_1=F_{2,0}=[0.1,1.1]\) and hence \(\gamma (E_0)=1/4\). For \(0<\varepsilon <1\), there is no exact value of \(\gamma (E_\varepsilon )\). We use our method to compute \(\gamma (E_\varepsilon )\) for \(0.05\le \varepsilon \le 1\) and the numerical results are presented in Fig. 9 (left). It is clear that
That is, the value of the analytic capacity of \(E_\varepsilon \) is maximum when the two slits are collinear. Furthermore, we always have
Example 10
We next consider the union of four equal rectilinear slits of length \(2-2\varepsilon \), \(0<\varepsilon <1\), such that these four slits make the square \([-1,1]\times [-1,1]\) when \(\varepsilon =0\). A schematic of this configuration is shown in Fig. 10 (right) when \(\varepsilon =0.1\). We denote these four slits by \(F_{k,\varepsilon }\) with \(k=1,2,3,4\). We define \(E_\varepsilon =\cup _{k=1}^4F_{k,\varepsilon }\).
We use our method to approximate \(\gamma (E_\varepsilon )\) for \(0.01\le \varepsilon \le 0.99\) and the obtained numerical results are presented in Fig. 10 (left). As \(\varepsilon \rightarrow 0\), it is clear that the approximate values \({\tilde{\gamma }}(E_\varepsilon )\) approach
i.e., the value of the analytic capacity of the square \([-1,1]\times [-1,1]\). Furthermore, we always have
5 Concluding Remarks
This paper has shown how to use a numerical boundary integral equation method to quickly and accurately compute analytic capacity, an important conformal invariant. This quantity has been widely studied from a mostly theoretical perspective with several deep analytical results having been established [1,2,3, 6, 8, 11, 18, 19, 26, 30, 31, 33, 35,36,37]. Analytic capacity is intimately connected to the Ahlfors map and the Szegő kernel—two fundamental objects in complex analysis—and arises from the generalization of the Riemann map to multiply connected domains.
In our work, two particular classes of configurations were considered over which our calculations of analytic capacity were performed: compact sets bounded by smooth and piecewise smooth Jordan arcs, and domains consisting of a finite number of rectilinear slits. Throughout, we made connections with previous results; in particular, we have been able to corroborate the bounds found by Younsi and Ransford [36] for the analytic capacity for several compact sets they considered, and we were able to validate the conjectural subadditivity property of analytic capacity for numerous configurations. We were also able to validate numerically other exact results of analytic capacity, and illustrate several of its properties. Furthermore, the presented numerical results demonstrate that the analytic capacity \(\gamma (E\cup F)\), roughly speaking, increases when the distance between E and F increases and decreases when this distance decreases.
Our work has been mainly numerical in approach, and the key to its success lies in the BIE scheme based on the Kerzman–Stein BIE [2, 13, 20, 32] and the FMM [9, 10]. The method presented can be used for domains with smooth and piecewise smooth boundaries as well as for domains with many boundary components. We used the method also to approximate the analytic capacity for compact sets consisting of rectilinear slits. However, for the latter case, a preliminary conformal map** step is required; this has also been shown to be expedient in other works [16, 23, 24].
The MATLAB codes for the presented computations in this paper can be found at the link https://github.com/mmsnasser/ac.
References
Anderson, G., Vamanamurthy, M., Vuorinen, M.: Conformal Invariants, Inequalities, and Quasiconformal Maps. Wiley, New York (1997)
Bell, S.: Numerical computation of the Ahlfors map of a multiply connected planar domain. J. Math. Anal. Appl. 120(1), 211–217 (1986)
Bell, S.: The Cauchy Transform, Potential Theory and Conformal Map**, 2nd edn. CRC Press, Boca Raton (2016)
Bolt, M., Snoeyink, S., Van Andel, E.: Visual representation of the Riemann and Ahlfors maps via the Kerzman–Stein equation. Involve 3, 405–420 (2010)
Crowdy, D.G.: Finite gap Jacobi matrices and the Schottky–Klein prime function. Comput. Methods Funct. Theory 17, 319–341 (2017)
Davie, A.M.: Analytic capacity and approximation problems. Trans. Am. Math. Soc. 171, 409–444 (1972)
Garabedian, P.R.: Schwarz’s lemma and the Szegö kernel function. Trans. Am. Math. Soc. 67, 1–35 (1949)
Garnett, J.: Analytic Capacity and Measure. Springer, Berlin (1972)
Greengard, L., Gimbutas, Z.: FMMLIB2D: a MATLAB toolbox for fast multipole method in two dimensions, version 1.2. ed. (2012). http://www.cims.nyu.edu/cmcl/fmm2dlib/fmm2dlib.html. Accessed 16 June 2023
Greengard, L., Rokhlin, V.: A fast algorithm for particle simulations. J. Comput. Phys. 73, 325–348 (1987)
Hariri, P., Klén, R., Vuorinen, M.: Conformally Invariant metrics and Quasiconformal Map**s. Springer, Cham (2020)
Kerzman, N., Stein, E.: The Cauchy kernel, the Szegö kernel, and the Riemann map** function. Math. Ann. 236, 85–93 (1978)
Kerzman, N., Trummer, M.R.: Numerical conformal map** via the Szegö kernel. J. Comput. Appl. Math. 14, 111–123 (1986)
Kirsch, S.: Transfinite diameter, Chebyshev constant and capacity. In: Kühnau, R. (ed.) Handbook of Complex Analysis: Geometric Function Theory, vol. 2, pp. 243–308. Elsevier B. V., Amsterdam (2005)
Kress, R.: A Nyström method for boundary integral equations in domains with corners. Numer. Math. 58, 145–161 (1990)
Liesen, J., Sète, O., Nasser, M.M.S.: Fast and accurate computation of the logarithmic capacity of compact sets. Comput. Methods Funct. Theory 17, 689–713 (2017)
Mel’nikov, M.S.: Analytic capacity: discrete approach and curvature of measure. Sb. Math. 186, 827 (1995)
Murai, T.: Analyic capacity for two segments. Nagoya Math. J. 122, 19–42 (1991)
Murai, T.: Analytic capacity (a theory of the Szegö kernel function). Am. Math. Soc. Transl. Ser. 2(161), 51–74 (1994)
Murid, A.H.M., Nashed, M.Z., Razali, M.R.M.: Numerical conformal map** for exterior regions via the Kerzman–Stein kernel. J. Integr. Equ. Appl. 10, 517–532 (1998)
Nasser, M.M.S.: Numerical conformal map** of multiply connected regions onto the second, third and fourth categories of Koebe’s canonical slit domains. J. Math. Anal. Appl. 382, 47–56 (2011)
Nasser, M.M.S.: Fast solution of boundary integral equations with the generalized Neumann kernel. Electron. Trans. Numer. Anal. 44, 189–229 (2015)
Nasser, M.M.S., Green, C.C.: A fast numerical method for ideal fluid flow in domains with multiple stirrers. Nonlinearity 31, 815–837 (2018)
Nasser, M.M.S., Vuorinen, M.: Numerical computation of the capacity of generalized condensers. J. Comput. Appl. Math. 377, 112865 (2020)
O’Donnell, S.T., Rokhlin, V.: A fast algorithm for the numerical evaluation of conformal map**s. SIAM J. Sci. Stat. Comput. 10(3), 475–487 (1989)
Pouliasis, S., Ransford, T., Younsi, M.: Analytic capacity and holomorphic motions. Conform. Geom. Dyn. 23, 130–134 (2019)
Ransford, T.: Computation of logarithmic capacity. Comput. Methods Funct. Theory 10, 555–578 (2010)
Saad, Y., Schultz, M.H.: GMRES: A generalized minimal residual algorithm for solving nonsymmetric linear systems. SIAM J. Sci. Stat. Comput. 7(3), 856–869 (1986)
Suita, N.: On subadditivity of analytic capacity for two continua. Kodai Math. J. 7, 73–75 (1984)
Tolsa, X.: Painlevé’s problem and the semiadditivity of analytic capacity. Acta Math. 190, 105–149 (2003)
Tolsa, X.: Analytic Capacity, the Cauchy Transform, and Non-homogeneous Calderón-Zygmund Theory. Springer, Heidelberg (2014)
Trummer, M.R.: An efficient implementation of a conformal map** method based on the Szegö kernel. SIAM J. Numer. Anal. 23(4), 853–872 (1986)
Vitushkin, A.G.: The analytic capacity of sets in problems of approximation theory. Russ. Math. Surv. 22, 139–200 (1967)
Wegmann, R., Nasser, M.M.S.: The Riemann–Hilbert problem and the generalized Neumann kernel on multiply connected regions. J. Comput. Appl. Math. 214, 36–57 (2008)
Younsi, M.: Analytic capacity: computation and related problems. Theta Ser. Adv. Math. 22, 121–152 (2018)
Younsi, M., Ransford, T.: Computation of analytic capacity and applications to the subadditivity problem. Comput. Methods Funct. Theory 13, 337–382 (2013)
Zalcman, L.: Analytic Capacity and Rational Approximation. Lecture Notes in Mathematics, 50, Springer-Verlag, Berlin-New York, (1968)
Acknowledgements
The authors would like to thank Nick Trefethen, Malik Younsi, and an anonymous reviewer for their valuable corrections, comments and suggestions, and for bringing several bibliographic items to our attention which greatly improved the presentation of this paper.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Thomas Ransford.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Computing a Preimage Domain for the Rectilinear Slit Domain
Computing a Preimage Domain for the Rectilinear Slit Domain
Let \(\Omega \) be a given multiply connected domain that is obtained by removing m rectilinear slits \(E_1,\ldots ,E_m\) from the extended complex plane \(\overline{{{\mathbb {C}}}}\) such that the slit \(E_j\) makes an angle \(\theta _j\) with the positive x-axis, \(j=1,\ldots ,m\). In this appendix, we will summarize the iterative method from [23] for the construction of a preimage unbounded multiply connected domain G bounded by m smooth Jordan curves \(\Gamma _1,\ldots ,\Gamma _m\) as well as a conformal map** \(\zeta =\Phi (z)\) from G onto \(\Omega \). This method has already been used in [16, 24] for computing numerically the logarithmic and conformal capacities for rectilinear slit domains.
We assume that the boundary components \(\Gamma _1,\ldots ,\Gamma _m\) of the required unbounded domain G are ellipses and are parametrized by
where \(c_j\) is the center of the ellipse \(\Gamma _j\) and \(a_j\) is the length of its major axis, \(j=1,\ldots ,m\). The real parameter r is the ratio between the length of the minor and major axes of these ellipses. We will choose its value such that \(0<r\le 1\) where the domain G is a circular for \(r=1\). The value of r is chosen to be \(r=1\) when the slits are well separated and less than 1 when the slits are close to each other (see [23] for details). Our objective here is to find the values of the parameters \(c_j\) and \(a_j\), \(j=1,\ldots ,m\), of the domain G as well as a conformal map** \(\zeta =\Phi (z)\) from the domain G in the z-plane onto the given unbounded rectilinear slit domain \(\Omega \) in the \(\zeta \)-plane. With the normalization
near infinity, such a conformal map** is unique.
The conformal map** \(\Phi (z)\) can be computed using the following boundary integral equation method from [21]. We parametrize the whole boundary \(\Gamma \) of the domain G on the total parameter domain J by
Then, we define a complex-valued function A(t) on J by
where \(\theta (t)=\theta _j\) for \(t\in J_j\), \(j=1,\ldots ,m\). With the functions A(t) and \(\eta (t)\), we define the kernels N(s, t) and M(s, t) for \((s,t)\in J\times J\) by
The kernel N(s, t), which is known as the generalized Neumann kernel, is continuous and the kernel M(s, t) is singular [34]. The integral operators with the kernels N(s, t) and M(s, t) are then defined by
Let the function \(\gamma \) be defined by
let \(\mu \) be the unique solution of the boundary integral equation with the generalized Neumann kernel
and let the function h be given by
Then the function \(\Psi \) with the boundary values
is analytic in G with \(\Psi (\infty )=0\). The values of \(\Psi (z)\) for \(z\in G\) can be computed by the Cauchy integral formula. Then, the values of the conformal map** \(\Phi (z)\) are given for \(z\in G\cup \Gamma \) by
For more details, see [21].
The application of this method requires that the domain G is known. However, in our case, the slit domain \(\Omega \) is known and the domain G is unknown and needs to be determined alongside the conformal map** \(\zeta =\Phi (z)\) from G onto \(\Omega \). This preimage domain G as well as the conformal map** \(\Phi (z)\) will be computed using the following iterative method from [23] which generates a sequence of multiply connected domains \(G^{(0)},G^{(1)},G^{(2)},\ldots ,\) that converges numerically to the required preimage domain G. Let \(L_j=|E_j|\) be the length of the slit \(E_{j}\) and let \(\beta _j\) be its center, \(j=1,\ldots ,m\). In the iteration step \(i=0,1,2,\ldots \), we assume that \(G^{(i)}\) is an unbounded multiply connected domain bounded by the m ellipses \(\Gamma ^{(i)}_1,\ldots ,\Gamma ^{(i)}_m\) parametrized by
The parameters \(c^{(i)}_j\) and \(a^{(i)}_j\) are computed as follows:
-
1.
Set
$$\begin{aligned} c^{(0)}_j=\beta _j, \quad a^{(0)}_j=(1-0.5r)L_j, \quad j=1,\ldots ,m. \end{aligned}$$ -
2.
For \(i=1,2,3,\ldots ,\)
-
Compute the conformal map** from the preimage domain \(G^{(i-1)}\) in the z-plane onto the canonical rectilinear slit domain \(\Omega ^{(i)}\) obtained by removing m rectilinear slits \(E^{(i)}_{j}\), \(j=1,\ldots ,m\), from the \(\zeta \)-plane (using the method presented in (36)–(40) above). Let \(L^{(i)}_j\) denote the length of the slit \(E^{(i)}_{j}\) and let \(\beta ^{(i)}_j\) denote its center.
-
Define
$$\begin{aligned}{} & {} c^{(i)}_j = c^{(i-1)}_j-\left( \beta _j^{(i)}-\beta _j\right) ,\\{} & {} \quad a^{(i)}_j = a^{(i-1)}_j-(1-0.5r)\left( L_j^{(i)}-L_j\right) , \quad j=1,\ldots ,m. \end{aligned}$$
-
-
3.
Stop the iteration if
$$\begin{aligned} \frac{1}{2m}\sum _{j=1}^{m}\left( |\beta ^{(i)}_j - \beta _j|+|L^{(i)}_j -L|\right) <\varepsilon \quad \textrm{or}\quad i>\texttt {Max} \end{aligned}$$where \(\varepsilon \) is a given tolerance and \(\texttt {Max}\) is the maximum number of iterations allowed.
The above iterative method generates sequences of parameters \(c^{(i)}_j\) and \(a^{(i)}_j\) that converge numerically to \(c_j\) and \(a_j\), respectively, and then the boundary components of the preimage domain G are parametrized by (30). In our numerical implementations, we used \(\varepsilon =10^{-13}\) and \(\texttt{Max}=100\).
It is clear that each iteration of the above method requires solving the integral equation with the generalized Neumann kernel (37) and computing the function h in (38) which can be done with the Matlab function |fbie| presented in [22]. In our numerical computations, the value of n as well as the values of the other parameters in |fbie| are chosen to be the same as those used in the method described in Sect. 2 for computing the analytic capacity. The given slit domain \(\Omega \) and the computed preimage domain G for Examples 9 and 10 are presented in Figs. 11 and 12, respectively.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Nasser, M.M.S., Green, C.C. & Vuorinen, M. Fast Computation of Analytic Capacity. Comput. Methods Funct. Theory (2024). https://doi.org/10.1007/s40315-024-00547-2
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40315-024-00547-2
Keywords
- Analytic capacity
- Multiply connected domain
- Boundary integral equation
- Szegő kernel
- Ahlfors map
- Special functions