Volume 2022, Issue 1 3763450
Research Article
Open Access

Infinite Product Representation for the Szegö Kernel for an Annulus

Nuraddeen S. Gafai

Nuraddeen S. Gafai

Department of Mathematics and Statistics, Umaru Musa Yar’adua University Katsina, Nigeria

Department of Mathematical Sciences, Faculty of Science, Universiti Teknologi Malaysia (UTM), 81310 Johor Bahru, Johor, Malaysia utm.my

Search for more papers by this author
Ali H. M. Murid

Corresponding Author

Ali H. M. Murid

Department of Mathematical Sciences, Faculty of Science, Universiti Teknologi Malaysia (UTM), 81310 Johor Bahru, Johor, Malaysia utm.my

Search for more papers by this author
Nur H. A. A. Wahid

Nur H. A. A. Wahid

Faculty of Computer and Mathematical Sciences, Universiti Teknologi MARA, 40450 Shah Alam, Selangor, Malaysia uitm.edu.my

Search for more papers by this author
First published: 12 April 2022
Citations: 1
Academic Editor: Sibel Yalçın

Abstract

The Szegö kernel has many applications to problems in conformal mapping and satisfies the Kerzman-Stein integral equation. The Szegö kernel for an annulus can be expressed as a bilateral series and has a unique zero. In this paper, we show how to represent the Szegö kernel for an annulus as a basic bilateral series (also known as q-bilateral series). This leads to an infinite product representation through the application of Ramanujan’s sum. The infinite product clearly exhibits the unique zero of the Szegö kernel for an annulus. Its connection with the basic gamma function and modified Jacobi theta function is also presented. The results are extended to the Szegö kernel for general annulus and weighted Szegö kernel. Numerical comparisons on computing the Szegö kernel for an annulus based on the Kerzman-Stein integral equation, the bilateral series, and the infinite product are also presented.

1. Introduction

The Ahlfors map is a branching n-to-one map from an n-connected region onto the unit disk. It is intimately tied to the Szegö kernel of an n-connected region [1]. The boundary values of the Szegö kernel satisfy the Kerzman-Stein integral equation, which is a Fredholm integral equation of the second kind for a region with a smooth boundary [2]. The boundary values of the Alhfors map are completely determined from the boundary values of the Szegö kernel [13]. For an annulus region Ω, the Szegö kernel can be expressed as a bilateral series from which the zero can be determined analytically [4]. The Kerzman-Stein integral equation has been solved using the Adomian decomposition method in [5] to give another bilateral series form for the Szegö kernel for Ω that converges faster. There are various special functions in the form of bilateral and basic bilateral series [68]. For example, the bilateral basic hypergeometric series contain, as special cases, many interesting identities related to infinite products, theta functions, and Ramanujan's identities. It is therefore natural to ask if the bilateral series for the Szegö kernel for Ω can be summed as special functions or an infinite product that exhibits clearly its zero.

In this paper, we show how to express the bilateral series for the Szegö kernel for Ω as a basic bilateral series (also known as q-bilateral series). Ramanujan’s sum is then applied to obtain the infinite product representation for the Szegö kernel for Ω. The product clearly exhibits the zero of the Szegö kernel for Ω, and its connection with the q-gamma function and the modified Jacobi theta function is shown. Using the symmetry of Ramanujan’s sum, we show how to easily transform the bilateral series for the Szegö kernel for Ω in [4] to the bilateral series in [5].

The plan of the paper is as follows: After the presentation of some preliminaries in Section 2, we derive the basic bilateral series and infinite product representations for the Szegö kernel for Ω in Section 3. We then derive a closed form of the Szegö for Ω in terms of q-gamma function and the modified Jacobi theta function. In Section 4, we show how to extend the representations in Section 3 to the general annulus using the transformation formula for the Szegö kernel under conformal mappings. Similar q-analysis for the weighted Szegö kernel for Ω is presented in Section 5. In Section 6, we give numerical comparisons for computing the Szegö kernel for Ω using bilateral series, infinite product, and integral equation formulations.

2. Preliminaries

Let Ω = {z : ρ < |z| < 1} be an annulus with 0 < ρ < 1 and a point aΩ. The boundary Γ of Ω consists of two smooth Jordan curves with the outer curve Γ0 oriented counterclockwise and the inner curve Γ1 oriented clockwise. The positive direction of the contour Γ = Γ0Γ1 is usually that for which the region is on the left as one traces the boundary.

Let be an orthonormal basis for the Hardy spaces H2(Γ). Since the Szegö kernel S(z, a) is the reproducing kernel for H2(Γ), it can be written as [4]
(1)
with absolute and uniform convergence on compact subsets of Ω. An orthogonal basis for H2(Γ) is . Thus
(2)
where |dz| is the arc length measure. Therefore, an orthonormal basis for H2(Γ) is [3, 4]
(3)
Using (1) and (3), the series representation for the Szegö kernel for Ω is given by [4]
(4)

Series (4) is a bilateral series. It has a zero at [4].

Another bilateral series representation for the Szegö kernel for Ω is given by [5] (in an equivalent form)
(5)
which is initially obtained by solving the Kerzman-Stein integral equation using the Adomian decomposition method. It is also shown in [5] how to derive (5) directly from (4) using geometric series. It is illustrated in [5] that series (5) converges faster than (4).
More generally, if Ω1 is any doubly connected region with the smooth boundary Γ1, and f(z) is a biholomorphic map of Ω1 onto Ω, then the Szegö kernel for Ω1 can be obtained via the transformation formula as [1]
(6)
where ρ is unknown but can be computed.
The Szegö kernel S1(z, a) can also be computed without using conformal mapping. The boundary values of the Szegö kernel S1(z, a) on Γ1 satisfy the Kerzman-Stein integral equation [2, 4],
(7)
where
(8)
and z(t) is a parametrization of Γ1. The function A(z, w) is known as the Kerzman-Stein kernel, and it is continuous on the boundary of Ω1 [9, 10]. In fact, the integral equation (7) is also valid for an n-connected region.

Since bilateral series and basic bilateral series will be used throughout this paper, we recall some facts about q-series notations and results.

Let 0 < q < 1 and α. The q-shifted factorial is defined as [7]
(9)
This notation yields the shifted factorial as a special case through
(10)
If α is written in place of qα, then (9) becomes
(11)
It can be shown that [7]
(12)
If n⟶∞, it is standard to write
(13)
which is absolutely convergent for all finite values of α, real or complex, when |q| < 1 [6]. This yields
(14)

Observe that (α; q) would have zero as a factor if α = 1. It would be zero also if α = q−1, q−2, q−3, …, but these are all outside the circle |z| = 1 since |q| < 1 [8].

The bilateral basic hypergeometric series in base q with one numerator and one denominator parameters is defined by [68]
(15)

The series is convergent for |q| < 1 and |β/α| < |z| < 1.

The classical Ramanujan’s 1ψ1 summation is given by [7, 8]
(16)
The special case β = αq of Ramanujan’s  1ψ1 summation yields [8]
(17)
also known as Cauchy’s formula. Due to symmetry in α and z on the right-hand side of (17), it implies [8]
(18)
The q-gamma function is defined as [7]
(19)
Another important special function that is used in this paper is the modified Jacobi theta function defined by [7]
(20)
where x ≠ 0 and |q| < 1. For a more detailed discussion on q-series and historical perspectives, see, for example, [68] and the references therein.

3. Szegö Kernel for an Annulus and Basic Bilateral Series

In this section, we express the bilateral series (4) as a basic bilateral series and derive the infinite product representation of the Szegö kernel for Ω. It is given in the following theorem.

Theorem 1. Let Ω be the annulus {z : ρ < |z| < 1} bounded by Γ. For aΩ, zΩΓ, the Szegö kernel for Ω can be represented by

(21)
(22)

The zero of S(z, a) in Ω is the zero of the factor , that is, .

Proof. From (4), we have

(23)

Letting α = −ρ and q = ρ2 yields

(24)
(25)

Applying (12) and (15) gives

(26)

Note that the  1ψ1 series above is convergent because |q| = ρ2 < 1 and . Substituting α = −ρ and q = ρ2 into (26) gives (21).

Applying Ramanujan’s sum (16) to (26), gives

(27)

But from (14), with n = 1, we have

(28)

Thus, (27) becomes

(29)
(30)

Substituting α = −ρ and q = ρ2 into (30) gives (22).

The infinite product (22) would have poles if

(31)
which implies
(32)

But

(33)

Therefore, the poles are all outside Ω.

The infinite product (22) would have zeros if

(34)
which implies
(35)

For the first case

(36)
which is outside Ω. For the second case, observe that
(37)
which clearly has a zero inside Ω when n = 0. Thus, the infinite product (22) for S(z, a) has only one zero inside Ω at . This completes the proof.

We note that the series representation (21) for S(z, a) is valid only for ρ ≤ ∣z | ≤1, while the infinite product representation (22) for S(z, a) is meaningful for all z except for the infinitely many poles at .

We next show that the Szegö kernel for Ω can also be expressed in terms of the basic gamma function and modified Jacobi theta function. By applying (20) to (29) and substituting α = −ρ and q = ρ2, we have
(38)
Applying (19) with q = ρ2, observe that
(39)
where x satisfies ρ2x = −ρ. This equation may be written as
(40)
which yields a solution
(41)
Thus, (38) becomes
(42)

This can be regarded as a closed-form expression for the Szegö kernel for Ω.

In the following, we show how to easily transform series (4) to series (5) using (18). Letting α = −ρ and q = ρ2, (4) becomes
(43)
where in the last step we have used (18). By replacing α = −ρ and q = ρ2, we get
(44)
Letting n = −m yields
(45)
which is the same as (5).

4. Szegö Kernel for General Annulus

Consider the general annulus Ω2 = {z : r2 < |zz0| < r1} with boundary denoted by Γ2. The region Ω2 reduces to Ω if z0 = 0, r2 = ρ, and r1 = 1.

Theorem 2. Let z0, zΩ2Γ2, and aΩ2. The Szegö kernel for Ω2 can be represented by the bilateral series as

(46)
(47)
 The zero of S2(z, a) in Ω2 is .

Proof. Observe that the function f(z) = (zz0)/r1 maps Ω2 onto Ω with ρ = r2/r1.

Applying the transformation formula (6) yields

(48)

Applying (4) to (48) with z and a replaced by (zz0)/r1 and (az0)/r1, respectively, gives

(49)
which simplifies to (46).

Applying (5) to (48) instead of z and a replaced by (zz0)/r1 and (az0)/r1, respectively, gives

(50)
which simplifies to (47).

Using the fact that S(z, a) has a zero at for Ω, the zero of S2(z, a) for Ω2 is which implies . This completes the proof.

Similarly, the infinite product representation of S2(z, a) for Ω2 can be obtained by applying (22) to (48) with z and a replaced by (zz0)/r1 and (az0)/r1, respectively.

5. The Weighted Szegö Kernel for an Annulus and Basic Bilateral Series

The weighted Szegö kernel is defined in [11] as
(51)
To adopt the notations used in this paper, we change q to ρ, w to a, and to in (51), which gives
(52)

Note that is exactly the kernel S(z, a) for Ω discussed in Section 1. The zeros of the kernel are not discussed in [11] but have expressed interest on the effect of the weight on the location of its zeros. In the following theorem, we express the weighted Szegö kernel as a basic bilateral series and derive its associated infinite product representation as well as its zeros.

Theorem 3. Let Ω be the annulus {z : ρ < |z| < 1} bounded by Γ. For aΩ, zΩΓ, and t > 0, the weighted Szegö kernel for Ω can be represented by

(53)
(54)

The kernel has a zero in Ω only if t takes the form t = ρ±(2m + 1), m = 0, 1, 2, ⋯. In both cases, the zero is .

Proof. Observe that

(55)

Letting α = −t and q = ρ2, the above equation becomes

(56)
which is exactly the same form as (24). Applying the result (26) with α = −t, the above equation becomes
(57)

Series (57) is convergent because |q| = ρ2 < 1 and . Substituting q = ρ2 gives (41).

Applying the result (29) with α = −t to (57) yields

(58)

Replacing q = ρ2 and applying (13) give (54).

In the proof of Theorem 1, we have shown that the factors have no zeros in Ω. The factors (1 + ρ2n+2/t)(1 + tρ2n) would have zeros if

(59)

Since t > 0, we conclude that the kernel has no poles in Ω for any t > 0. The factors would have zeros if

(60)
which implies
(61)

For the first case, observe that

(62)

To have a zero in Ω, we must have the condition

(63)
which means
(64)

Hence, we must have t = ρ−(2n + 1). In this case, the zero of in Ω is .

For the second case, observe that

(65)

To have a zero in Ω, we must have the condition

(66)
which means
(67)

Hence, we must have t = ρ2n+1. In this case, the zero of in Ω is also . This completes the proof.

The weighted Szegö kernel can also be expressed in terms of the basic gamma function and the modified Jacobi theta function. By applying (20) to (58) with q = ρ2, we have
(68)
Observe that
(69)
where x satisfies ρ2x = −t. This equation may be written as
(70)
which yields a solution
(71)
Observe also that
(72)
where y satisfies ρ2y = −ρ2/t. This equation may be written as
(73)
which yields a solution
(74)
Thus, (68) becomes
(75)

This can be regarded as a closed-form expression for the weighted Szegö kernel for an annulus Ω. Observe that (75) reduces to (42) when t = ρ.

6. Numerical Computation of the Szegö Kernel for an Annulus

In this section, we compare the speed of convergence of the three formulas for computing the Szegö kernel for Ω based on the two bilateral series (4) and (5) and the infinite product (22).

To approximate (4) numerically, we calculate
(76)
and S50 and S100.
To approximate (5) numerically, we calculate
(77)
and .
To approximate (22) numerically, we compute
(78)
and and .

The approximations are then compared with the numerical solution of the Kerzman-Stein Equation (7). To solve (7), we used the Nyström method [5] with the trapezoidal rule with n selected nodes on each boundary component Γ0 and Γ1. The approximate solution is represented by where n is the number of nodes. All the computations were done using MATHEMATICA 12.3. Four numerical examples are given for different values of a and ρ. The results for the error norms are presented for each example.

We consider an annulus Ω bounded by
(79)
with 0 ≤ t ≤ 2π.

Example 1. We consider an annulus Ω with a = 0.7i and ρ = 0.5. The results for the error norms are presented in Tables 13.

Table 1. Error norms between S10 and , S50 and , and S100 and
n
16 2.4536 (-02) 2.97754 (-03) 2.97758 (-03)
32 2.75019 (-02) 1.15906 (-05) 1.16299 (-05)
64 2.75136 (-02) 3.91113 (-08) 1.88349 (-10)
128 2.75136 (-02) 3.92996 (-08) 2.28878 (-15)
Table 2. Error norms between and and and .
n
16 2.94797 (-03) 2.97758 (-03)
32 1.78995 (-02) 1.16299 (-05)
64 1.77628 (-04) 1.88351 (-10)
128 1.77628 (-04) 1.81497 (-15)
Table 3. Error norms between and , and , and and .
n
16 2.97758 (-03) 2.97758 (-03) 2.97758 (-03)
32 1.16296 (-05) 1.16299 (-05) 1.16299 (-05)
64 1.44308 (-10) 1.88038 (-10) 1.8835 (-10)
128 3.1999 (-10) 3.1275 (-13) 1.82618 (-15)

Example 2. We consider an annulus Ω with a = −0.4 − 0.6i and ρ = 0.3. The results for the error norms are presented in Tables 46.

Table 4. Error norms between S10 and , S50 and , and S100 and .
n
16 1.29695 (-02) 1.46732 (-03) 1.46732 (-03)
32 1.56432 (-02) 7.88666 (-06) 7.88666 (-06)
64 1.5646 (-02) 3.26124 (-08) 2.2539 (-10)
128 1.5646 (-02) 3.26942 (-08) 2.85127 (-15)
Table 5. Error norms between and and and .
n
16 1.46686 (-03) 1.46732 (-03)
32 8.4009 (-06) 7.88666 (-06)
64 1.02367 (-06) 2.2539 (-10)
128 1.02367 (-06) 1.25883 (-15)
Table 6. Error norms between and , and , and and .
n
16 1.4675 (-03) 1.46732 (-03) 1.46732 (-03)
32 7.70793 (-06) 7.88666 (-06) 7.88666 (-06)
64 3.72977 (-07) 2.2434 (-10) 2.2539 (-10)
128 3.73107 (-07) 2.2023 (-12) 1.41308 (-15)

Example 3. We consider an annulus Ω with a = −0.8 and ρ = 0.4. The results for the error norms are presented in Tables 79.

Table 7. Error norms between S10 and , S50 and , and S100 and .
n
16 6.45804 (-02) 8.28061 (-03) 8.28061 (-03)
32 6.82534 (-02) 2.2673 (-04) 2.2673 (-04)
64 6.83565 (-02) 9.0045 (-06) 1.79491 (-07)
128 6.83565 (-02) 9.08614 (-06) 1.29631 (-10)
Table 8. Error norms between and and and .
n
16 8.28737 (-03) 8.28061 (-03)
32 2.33562 (-04) 2.2673 (-04)
64 1.79806 (-05) 1.79491 (-07)
128 1.78806 (-05) 1.1287 (-15)
Table 9. Error norms between and , and , and and .
n
16 8.27577 (-03) 8.28061 (-03) 8.28061 (-03)
32 2.2189 (-04) 2.26729 (-04) 2.2673 (-04)
64 1.13437 (-05) 1.78984 (-07) 1.79491 (-07)
128 1.14253 (-05) 1.19798 (-09) 7.90864 (-14)

Example 4. We consider an annulus Ω with a = −0.4 − 0.5i and ρ = 0.1. The results for the error norms are presented in Tables 1012.

Table 10. Error norms between S10 and , S50 and , and S100 and .
n
16 3.15879 (-03) 2.61429 (-04) 2.61429 (-04)
32 3.22447 (-03) 2.08805 (-07) 2.08805 (-07)
64 3.28124 (-03) 5.91022 (-11) 1.33153 (-13)
128 3.28124 (-03) 5.91168 (-11) 1.33233 (-15)
Table 11. Error norms between and and and .
n
16 2.61429 (-04) 2.61429 (-04)
32 2.0879 (-07) 2.08805 (-07)
64 1.68217 (-11) 1.33183 (-13)
128 1.67281 (-11) 1.16606 (-15)
Table 12. Error norms between and , and , and and .
n
16 2.61429 (-04) 2.61429 (-04) 2.61429 (-04)
32 2.08805 (-07) 2.08805 (-07) 2.08805 (-07)
64 6.46416 (-13) 1.3313 (-13) 1.33121 (-13)
128 6.77069 (-13) 1.49882 (-15) 1.55654 (-15)

The numerical results presented in Tables 112 show that computations using the infinite product formula (22) converge faster than the bilateral series formulas (4) and (5).

7. Conclusion

This paper has shown that the bilateral series for the Szegö kernel for Ω is a disguised bilateral basic hypergeometric series 1ψ1. Ramanujan’s sum for 1ψ1 is then applied to obtain the infinite product representation for the Szegö kernel for Ω. The product clearly exhibits the zero of the Szegö kernel for an Ω. The Szegö kernel can also be expressed as a closed form in terms of the q-gamma function and the modified Jacobi theta function. Similar q-analysis has also been conducted for the Szegó kernel for general Ω and for the weighted Szegö kernel for Ω. The numerical comparisons have shown that the infinite product method converges faster than the bilateral series methods for computing the Szegö kernel for Ω.

For future work, it is natural to devote further investigation on the infinite product representation for the Szegö kernel for doubly connected regions via the transformation formula (6) and Theorem 1. This however requires knowledge of conformal mapping of doubly connected regions to annulus [1215]. For some ideas on numerical methods for computing the zero of the Szegö kernel for doubly connected regions, see [16]. Alternatively, perhaps some computational intelligence algorithms can also be considered to compute the zero, like the monarch butterfly optimization (MBO) [17], earthworm optimization algorithm (EWA) [18], elephant herding optimization (EHO) [19], moth search (MS) algorithm [20], slime mould algorithm (SMA) [21], and Harris hawks optimization (HHO) [22].

Conflicts of Interest

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

Acknowledgments

The authors wish to thank the Universiti Teknologi Malaysia for supporting this work. This work was supported by the Ministry of Higher Education Malaysia under Fundamental Research Grant Scheme (FRGS/1/2019/STG06/UTM/02/20). This support is gratefully acknowledged. The first author would also like to acknowledge the Tertiary Education Trust Fund (TETFund) Nigeria for overseas scholarship award. The authors thank the referees for comments and suggestions which improved the paper.

    Data Availability

    No data were used to support this study.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.