Journal of Mathematics
Volume 2019 (2019), Article ID 6961476, 11 pages
https://doi.org/10.1155/2019/6961476

Research Article

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

Nur H. A. A. Wahid, Ali H. M. Murid, and Mukhiddin I. Muminov

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

Correspondence should be addressed to Ali H. M. Murid; alihassan@utm.my

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 by

where , 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 satisfies

where and are the zeros of the Ahlfors map.

Proof. The Ahlfors map for a doubly connected region can be written as

where is analytic in and Applying log on both sides of (22) gives

Differentiating on both sides of (23), we get

Observe that

Applying the residue theory [16], Sokhotskyi formula [17], and (24) to (25), we get

Letting and and multiplying (26) by gives

Since from (8), thus, (27) yields

This 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.,

where

and 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 by

where 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.

Figure 1: Annulus region for Example 1.

Figure 2: Graphs of (top curve) and (bottom curve) for Example 1.

Example 2. Given and and the annulus region is shown in Figure 3. The graphs of the functions and are shown in Figure 4.
Figures 2 and 4 show some common characteristics:

(i)C1: the graphs of and have the same shape and size(ii)C2: the graphs of and are symmetrical with respect to the imaginary axis(iii)C3: both graphs also have intersection points on the imaginary axis(iv)C4: the graph of is 4i units above the graph of

These characteristics are unique for the Ahlfors map for the annulus region. Note that the graphs in Figures 2 and 4 can also be generated using (33) provided is known. In Example 3, we consider plotting (33) using

Figure 3: Annulus region for Example 2.

Figure 4: Graphs (top curve) and (bottom curve) for Example 2.

Example 3. Given and and the annulus region is shown in Figure 3. We choose The graphs of the functions and are shown in Figure 5.
In Example 4, we consider plotting (32) involving nonconcentric circles.

Figure 5: Graphs of (top curve) and (bottom curve) for Example 3.

Example 4. Consider the region bounded by nonconcentric circles and with and The nonconcentric circles region is shown in Figure 6. The graphs of the functions and are shown in Figure 7.
The graphs in Figures 5 and 7 no longer satisfy the characteristics C1, C2, C3, and C4. Based on these observations, we prove the following theorem to determine the second zero of the Ahlfors map for an annulus region.

Figure 6: Nonconcentric circles region for Example 4.

Figure 7: Graphs (top curve) and (bottom curve) for Example 4.

Theorem 2. Let be defined in (33), where , and be given. Then, there exists and such that

Furthermore,

Proof. From (33),

We consider for two cases which are , and

Case 1.
Let , and be given, and is unknown. Since is periodic, there exists with such that

This gives

From (38) and (39), respectively, we have

From (40) and (41), we seek and such that

that is,

Since thus this implies

Choosing gives

Then,

Using (42) and (46) into (40) and (41) gives

Simplifying (48) to solve we get

Since and we have

Solving (50) and applying (45) gives

Choosing gives

Then, for we have

Applying (46), (50), (53), and (54) into (47), we get

It shows that This implies

or

Case 2.
Let If is periodic, then there exists , such that

This gives

From (59) and (60), respectively, we have

From (61) and (62), we seek and such that

that is,

This implies

Choosing gives

Then,

Since then for we have

Applying (63), (67), (68), and (69) into (61), we get

It shows that This implies

or

Equating (56) and (71) and solving for , we get

Adding both sides of (56) and (71) gives

Using (73) into (74), we obtain

Since this implies

Applying (56) and (71) into (76) and solving for , we get

Since we must have

Thus This completes the proof of Theorem 2.

Remark. Using (53), (54), and (56), it can be shown that and similarly by using (68), (69), and (71), it can be shown that
Now we are in the position to prove the characteristic C4. The following theorem shows that there exists such that

Theorem 3. Let be defined in (33), where , and be given. Then, there exists a constant such that

which is equivalent to

Proof. Since (33) becomes

Since (33) becomes

Letting we get

Comparing the denominators (80) and (82), we seek such that

Observe that (84) is just the square of (83). Note that Theorem 2 gives
Hence, (83) becomes

This yields

Thus, (82) simplifies to

Hence,

Since This completes the proof of Theorem 3.

5. Conclusion

In this paper, we have presented a boundary integral equation related to the Ahlfors map for a doubly connected region and an analytical method for finding the second zero of the Ahlfors map for an annulus region. The method does not depend on the series representation of the Szegö kernel. The method is based on some geometrical properties and knowledge of intersection points. Probably the method can be extended to some other doubly connected regions.

Data Availability

No data were used to support this study.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This study was supported partially by the Ministry of Education Malaysia (MOE) through the Research Management Centre (RMC), Universiti Teknologi Malaysia, GUP Ref. No. Q.J130000.2426.16H70. The first author would like to acknowledge the Ministry of Education Malaysia (MOE) for MyBrainSc scholarship.

References

S. R. Bell, The Cauchy Transform, Potential Theory, and Conformal Mapping, CRC Press, Boca Raton, FL, USA, 1992.

T. J. Tegtmeyer, The Ahlfors Map and Szegö Kernel in Multiply Connected Domains, Purdue University, West Lafayette, IN, USA, 1998, Ph.D. thesis.

T. J. Tegtmeyer and A. D. Thomas, “The Ahlfors map and Szegö kernel for an annulus,” Rocky Mountain Journal of Mathematics, vol. 29, no. 2, pp. 709–723, 1999.

S. G. Krantz and C. L. Epstein, Geometric Function Theory: Explorations in Complex Analysis, Springer Science and Business Media, Birkhäuser, Boston, MA, USA, 2006.

S. R. Bell, “The Green’s function and the Ahlfors map,” Indiana University Mathematics Journal, vol. 57, no. 7, pp. 3049–3064, 2008.

N. Kerzman and E. M. Stein, “The Cauchy kernel, the Szegö kernel, and the Riemann mapping function,” Mathematische Annalen, vol. 236, no. 1, pp. 85–93, 1978.

N. Kerzman and M. R. Trummer, “Numerical conformal mapping via the Szegö kernel,” Journal of Computational and Applied Mathematics, vol. 14, no. 1-2, pp. 111–123, 1986.

S. Bell, “Numerical computation of the Ahlfors map of a multiply connected planar domain,” Journal of Mathematical Analysis and Applications, vol. 120, no. 1, pp. 211–217, 1986.

A. H. M. Murid and M. R. M. Razali, “An integral equation method for conformal mapping of doubly connected regions,” Matematika, vol. 15, no. 2, pp. 79–93, 1999.

M. M. S. Nasser and A. H. M. Murid, “A boundary integral equation with the generalized Neumann kernel for the Ahlfors map,” Clifford Analysis, Clifford Algebras and Their Applications, vol. 2, no. 4, pp. 307–312, 2013.

K. Nazar, A. H. M. Murid, and A. W. K. Sangawi, “Some integral equations related to the Ahlfors map for multiply connected regions,” AIP Conference Proceedings, vol. 1691, no. 1, Article ID 040021, pp. 1–8, 2015.

K. Nazar, A. H. M. Murid, and A. W. K. Sangawi, “Integral equation for the Ahlfors map on multiply connected regions,” Jurnal Teknologi, vol. 73, no. 1, pp. 1–9, 2015.

K. Nazar, A. W. K. Sangawi, A. H. M. Murid, and Y. S. Hoe, “The computation of zeros of Ahlfors map for doubly connected regions,” AIP Conference Proceedings, vol. 1750, no. 1, Article ID 020007, pp. 1–9, 2016.

J. Helsing and R. Ojala, “On the evaluation of layer potentials close to their sources,” Journal of Computational Physics, vol. 227, no. 5, pp. 2899–2921, 2008.

N. H. A. A. Wahid and A. H. M. Murid, “Convergence of the series for the Szegö kernel for an annulus region,” AIP Conference Proceedings, vol. 1974, no. 1, Article ID 030025, pp. 1–9, 2018.

W. Derrick, Introductory Complex Analysis and Applications, Academic Press, New York, NY, USA, 1972.

P. Henrici, Applied and Computational Complex Analysis, vol. 3, John Wiley and Sons, New York, NY, USA, 1986.