Infinite Product Representation for the Szegö Kernel for an Annulus
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 [1–3]. 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 [6–8]. 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.
Series (4) is a bilateral series. It has a zero at [4].
Since bilateral series and basic bilateral series will be used throughout this paper, we recall some facts about q-series notations and results.
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 series is convergent for |q| < 1 and |β/α| < |z| < 1.
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
The zero of S(z, a) in Ω is the zero of the factor , that is, .
Proof. From (4), we have
Letting α = −ρ and q = ρ2 yields
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
But from (14), with n = 1, we have
Thus, (27) becomes
Substituting α = −ρ and q = ρ2 into (30) gives (22).
The infinite product (22) would have poles if
But
Therefore, the poles are all outside Ω.
The infinite product (22) would have zeros if
For the first case
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 .
This can be regarded as a closed-form expression for the Szegö kernel for Ω.
4. Szegö Kernel for General Annulus
Consider the general annulus Ω2 = {z : r2 < |z − z0| < 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
Proof. Observe that the function f(z) = (z − z0)/r1 maps Ω2 onto Ω with ρ = r2/r1.
Applying the transformation formula (6) yields
Applying (4) to (48) with z and a replaced by (z − z0)/r1 and (a − z0)/r1, respectively, gives
Applying (5) to (48) instead of z and a replaced by (z − z0)/r1 and (a − z0)/r1, respectively, gives
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 (z − z0)/r1 and (a − z0)/r1, respectively.
5. The Weighted Szegö Kernel for an Annulus and Basic Bilateral Series
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
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
Letting α = −t and q = ρ2, the above equation becomes
Series (57) is convergent because |q| = ρ2 < 1 and . Substituting q = ρ2 gives (41).
Applying the result (29) with α = −t to (57) yields
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
Since t > 0, we conclude that the kernel has no poles in Ω for any t > 0. The factors would have zeros if
For the first case, observe that
To have a zero in Ω, we must have the condition
Hence, we must have t = ρ−(2n + 1). In this case, the zero of in Ω is .
For the second case, observe that
To have a zero in Ω, we must have the condition
Hence, we must have t = ρ2n+1. In this case, the zero of in Ω is also . This completes the proof.
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).
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.
Example 1. We consider an annulus Ω with a = 0.7i and ρ = 0.5. The results for the error norms are presented in Tables 1–3.
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) |
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) |
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 4–6.
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) |
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) |
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 7–9.
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) |
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) |
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 10–12.
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) |
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) |
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 1–12 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 [12–15]. 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.
Open Research
Data Availability
No data were used to support this study.