Journal of Mathematics

Volume 2019, Article ID 6961476, 11 pages

https://doi.org/10.1155/2019/6961476

## Analytical Solution for Finding the Second Zero of the Ahlfors Map for an Annulus Region

Department of Mathematical Sciences, Faculty of Science, Universiti Teknologi Malaysia, 81310 Johor Bahru, Malaysia

Correspondence should be addressed to Ali H. M. Murid; ym.mtu@nassahila

Received 24 April 2019; Revised 27 June 2019; Accepted 22 July 2019; Published 28 August 2019

Academic Editor: Mike Tsionas

Copyright © 2019 Nur H. A. A. Wahid et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

The Ahlfors map is a conformal mapping function that maps a multiply connected region onto a unit disk. It can be written in terms of the Szegö kernel and the Garabedian kernel. In general, a zero of the Ahlfors map can be freely prescribed in a multiply connected region. The remaining zeros are the zeros of the Szegö kernel. For an annulus region, it is known that the second zero of the Ahlfors map can be computed analytically based on the series representation of the Szegö kernel. This paper presents another analytical method for finding the second zero of the Ahlfors map for an annulus region without using the series approach but using a boundary integral equation and knowledge of intersection points.

#### 1. Introduction

A conformal mapping that maps a multiply connected region of connectivity onto a unit disk is known as the Ahlfors map. It generalizes the Riemann map for a simply connected region. The Ahlfors map with a base point is a -to-one map. It maps each boundary of corresponding in a one-to-one manner onto the boundary of the unit disk and maps to the origin [1–3]. The Ahlfors map of a multiply connected region has several applications in modern function theory. For examples, the Bergman kernel and Green’s function of a multiply connected region can be written in terms of finitely many Ahlfors map [4, 5]. The Ahlfors map has zeros in where one of the zeros is which can be freely prescribed, and the remaining zeros in are unknown [1–3]. It is known that the Ahlfors map can be written in terms of the Szegö kernel and the Garabedian kernel. In [1–3], the zeros of the Ahlfors map with a base point occur at the pole of the Garabedian kernel at and the remaining zeros are those of the Szegö kernel.

Kerzman and Stein [6] and Kerzman and Trummer [7] have shown that the Szegö kernel of a simply connected region satisfies an integral equation which is valid also for a multiply connected region [8]. The integral equations with the Kerzman–Stein kernel, Neumann kernel, and Szegö kernel related to the Ahlfors map for a doubly connected region have been derived in [9]. The integral equation with the generalized Neumann kernel for computing the Ahlfors map has been constructed in [10]. The method in [10] is useful provided the zeros are known. Several integral equations involving the Kerzman–Stein kernel, the Neumann kernel, the Szegö kernel, the Neumann-type kernel, and the Kerzman-Stein type kernel have also been derived in [11, 12].

In [2], the formula of the second zero of the Ahlfors map for a doubly connected region has been derived in terms of an integral involving the Szegö kernel and the derivative of the Szegö kernel, but the second zero has not been computed numerically. In [3], the second zero of the Ahlfors map for an annulus region has been obtained analytically from the series representation of the Szegö kernel. The problem of finding the zeros of the Ahlfors map has not been studied in [9–12], but discussed in [13]. The second zero of the Ahlfors map for any doubly connected region has been computed numerically in [13] based on the integral equation and Newton iterative method.

In this paper, we derive a boundary integral equation related to the Ahlfors map for a doubly connected region different from [12]. This integral equation together with knowledge of intersection points provides another analytical method for finding the second zero of the Ahlfors map for an annulus region. Unlike [3], the method does not depend on the series representation of the Szegö kernel.

The organization of this paper is as follows: Section 2 presents some auxiliary materials related to the Ahlfors map and the zeros of the Ahlfors map. In Section 3, we give a boundary integral equation related to the Ahlfors map for a doubly connected region. In Section 4, we present another analytical method for finding the second zero of the Ahlfors map for an annulus region. In Section 5, we give a conclusion.

#### 2. Auxiliary Materials

Let be a bounded doubly connected region with the boundary consisting of two smoothly closed Jordan curves i.e., The curve lies in the interior of the boundary The outer curve has a counterclockwise orientation, and the inner curve has a clockwise orientation. The curves are parameterized by twice continuously differentiable complex-valued functions with the first derivatives The total parameter domain is defined as the disjoint union of two intervals of The parameterization of the whole boundary on is defined as The unit tangent to the boundary at is given by

It is known that the Szegö kernel satisfies the Kerzman–Stein integral equation [1, 6]:where

The function is continuous on the smooth boundary of , and it is known as a Kerzman–Stein kernel [6, 7]. If and are on a circle, then Numerical implementations of computing the Szegö kernel based on (2) are discussed in [7]. With and (2) becomes

The derivative of the Szegö kernel has been derived in [13] as a solution of the integral equation:where

Let be the Ahlfors function which maps conformally onto the unit disk which satisfies the conditions , and where are the zeros of the Ahlfors map and can be freely chosen. The boundary values of is represented bywhere , are the boundary correspondence functions of the Ahlfors map on

Differentiating both sides of (7), we have

Taking modulus on both sides of (8) gives

Dividing (8) by (9) and using (1), we get

The image of remains in a counterclockwise orientation, so , and the image of is in reversed orientation, so

Since thus from (10), we get

In general,

The interior values of the Ahlfors map which is analytic on can be obtained by using the Cauchy integral formula:

For points closed to the method of Helsing and Ojala [14] can be used for the efficient numerical computation of (13).

The Ahlfors map can be represented in terms of the Szegö kernel and the Garabedian kernel It is given as follows [1]:

Since [1], (14) can be written as

It is shown that the boundary values of the Ahlfors map can be determined from the boundary values of the Szegö kernel since the boundary values of the Garabedian kernel can be determined from the boundary values of the Szegö kernel.

Differentiating both sides of (15), we get

In [13], an alternative formula for the derivative of the boundary correspondence function of the Ahlfors map has been derived by using (8), (15), and (16), i.e.,

In general, the zeros of the Ahlfors map are unknown except for an annulus region. In [2], the second zero of the Ahlfors map for a doubly connected region is represented by

However, numerical computation of based on (18) is not given in [2] where the boundary values of can be computed by solving the integral equation (5).

The second zero of the Ahlfors map for an annulus region is shown to be , and it has been obtained from the series representation of the Szegö kernel [3]:

Another series representation of the Szegö kernel for an annulus region has been derived in [15] by solving the Kerzman–Stein integral equation (2) using the Adomian decomposition method, and it is given by

The two series (19) and (20) are shown to be equivalent. However, the series in (20) gives a faster convergence compared to the series in (19) [15].

#### 3. A Boundary Integral Equation Related to the Ahlfors Map for an Annulus Region

In this section, a new boundary integral equation related to the Ahlfors map for a doubly connected region different from [12] is derived and applied in Section 4 to determine analytically the second zero of the Ahlfors map. It is given in the following theorem.

Theorem 1. *For all the function of the Ahlfors map for the doubly connected region satisfieswhere and are the zeros of the Ahlfors map.*

*Proof. *The Ahlfors map for a doubly connected region can be written aswhere is analytic in and Applying log on both sides of (22) givesDifferentiating on both sides of (23), we getObserve thatApplying the residue theory [16], Sokhotskyi formula [17], and (24) to (25), we getLetting and and multiplying (26) by givesSince from (8), thus, (27) yieldsThis completes the proof of Theorem 1.

If we take the imaginary part on both sides of (21), then it reduces the integral equation derived in [12], i.e.,whereand is defined in (17). The kernel is the classical Neumann kernel. If is a simply connected region, then (29) reduces to the Warschawski’s integral equation for the Riemann map as given in [17] (p. 394-395) with i.e.,

Next we show how to find the second zero of the Ahlfors map for an annulus region using (21) and knowledge of intersection points.

#### 4. Finding the Second Zero of the Ahlfors Map for an Annulus Region

We represent the left-hand side and the right-hand side of (21), respectively, as

We consider an annulus region bounded bywhere and Given is known, and we assume is unknown. In the next two examples, we show the graphs of for special values of and The graph of depends on which is computed based on (17). The function in (17) depends on and which are computed by solving (2) and (5), respectively. Thus, the graph of does not depend on If is known, then the graph of is the same as the graph of

* Example 1. *Given and and the annulus region is shown in Figure 1. The graphs of the functions and are shown in Figure 2.