Journal of Function Spaces
Volume 2015 (2015), Article ID 919465, 8 pages
http://dx.doi.org/10.1155/2015/919465

Research Article

Uniform Extendibility of the Bergman Kernel for Generalized Minimal Balls

Jong-Do Park

Department of Mathematics and Research Institute for Basic Sciences, Kyung Hee University, Seoul 130-701, Republic of Korea

Received 6 October 2014; Accepted 23 December 2014

Academic Editor: Kehe Zhu

Copyright © 2015 Jong-Do Park. 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.

We consider a class of convex domains which contains non-Reinhardt domains with nonsmooth boundary. We show that the domains of this class satisfy the condition Q.

1. Introduction

Let be a bounded domain in . The Bergman space is the space of holomorphic functions on which are square integrable. The Bergman space has the Bergman kernel , which is uniquely determined by the properties that it is an element of in , is conjugate symmetric, and reproduces . The Bergman projection of onto is given by

where and .

A bounded domain is said to satisfy the condition if the Bergman projection maps into the space of all holomorphic functions on that can be extended holomorphically to a neighborhood of .

It was also known that the condition holds on a domain whenever the -Neumann problem is globally real analytic hypoelliptic on [1–3]. When a domain is a smoothly bounded pseudoconvex domain with real analytic boundary, there are many well-known examples on which the globally real analytic hypoellipticity of the -Neumann problem holds:

(i)strictly pseudoconvex domains [4–6],(ii)smooth bounded pseudoconvex circular domains with near the boundary, where is the defining function for domains [7],(iii)Reinhardt domains [8].

In this paper, we consider a class of convex circular domains which neither are Reinhardt nor have smooth boundaries and prove that the condition holds on each domain in the class defined above. Recently, there are many results of computing the Bergman kernels for various domains explicitly. See [9–14].

Let us restrict our attention to circular domains which are not Reinhardt. For , consider the norm

where and . The norm is the smallest norm in that coincides with the Euclidean norm in , under certain restriction [15]. The minimal ball is the first known bounded domain in which is neither Reinhardt nor homogeneous and for which the Bergman kernel can be computed explicitly as the closed form [16].

For any positive integers and , we denote by the -dimensional complex vector space of all -matrices with complex coefficients. If is an element of , we set

Let be a positive integer and let and be multi-indices with and for all . We denote by the number of those ’s that are equal to . If , we may assume without loss of generality that and for . Let with , and consider the function defined for by

and define the generalized minimal balls , where

Note that

where .

Remark 1. (i) Note that, for , the domain is a complex ellipsoid, which is a smoothly bounded Reinhardt domain and clearly satisfies the condition [8].
(ii) Note also that, for and , the domain is the minimal ball with radius , which is not Reinhardt but satisfies the condition [16]. If at least one of ’s is greater than 1, then is neither smooth nor Reinhardt.

In 2002, Youssfi [17] computed the Bergman kernel for the generalized minimal ball using the transformation formula of the Bergman kernel under proper holomorphic mappings [18–20]. See the Bergman kernel for in Theorem 4. The Bergman kernel for contains an infinite series defined by

It is the crucial part to investigate the infinite series , when we study the Bergman kernel for .

In [16], it was proved that the minimal ball satisfies the condition . In this paper, we generalize this result to the generalized minimal balls as follows.

Theorem 2. The condition holds on each domain

where is defined as in (4) and all ’s are positive integers.

Similarly as in [16], we obtain the properties of the proper holomorphic mappings on .

Corollary 3. Let be any bounded circular domain which contains the origin.

(i)If is a proper holomorphic mapping, then extends holomorphically to a neighborhood of .(ii)If is smooth then there is no proper holomorphic mapping from into .

In Section 2, we review the notation and the Bergman kernel for following [17]. In Section 3, we prove the theorem using the characterization theorem (Lemma 6). In the final section, the explicit formulas of have been obtained in some cases and we show that the minimal ball satisfies the condition using Theorem 2.

2. Bergman Kernel Function for

In this section we review the Bergman kernel for following the notations which were introduced in [17]. For with , we define

Consider the differential operator acting on functions for by

where

We also consider the differential operator acting on functions for defined by

where

Note that depends on . Since for , then we have .

We also consider the product group

and extend each element , , , of to an element of by

If is a smooth function defined on the region of with , we consider the function on the region of with in by

where . Then define . For example, we consider and . Then,

Consider the series defined for by

where is defined in (7). The series converges for . Finally, we set

We extend the operation to a -valued bilinear mapping defined for by

if , , and

In 2002, Youssfi [17] computed the Bergman kernel for as follows.

Theorem 4 ([17], Theorem ). The Bergman kernel function for the domain is given by the formula

where and . The latter product is understood in the sense of (9). More precisely, one has and , where

Remark 5. In fact, the weighted Bergman kernel and Szegö kernel have been obtained in [17].

3. Proof of Theorem 2

For the study of , we need to introduce Appell’s hypergeometric functions. Recall that Appell’s hypergeometric function [21] is defined by

where .

Now we prove the main theorem of this paper. At first we need to represent in terms of Appell hypergeometric functions when ’s are positive integers. If we write

then we have

where is a polynomial such that there exists a with satisfying that the degree in is strictly less than and

Thus we have

If ’s are positive integers, then there are positive integers and such that and . It follows that

where

Here we used the notation and .

Note that Appell’s hypergeometric functions converge for and diverge for . Thus there exist a nonnegative constant and an analytic function such that

From (28), there exist a nonnegative constant and an analytic function such that

From (19), there exists an analytic function such that

where

The following lemma is useful when we show that a bounded domain satisfies the condition .

Lemma 6 ([22, 23]). For a bounded domain , the condition holds on if and only if, for each compact subset of , there exists an open set containing such that

(i)for each fixed is holomorphic in on ,(ii) is continuous on .

The above property for smoothly bounded domains was proved by Chen [22] and duplicated for general bounded domains by Thomas [23].

At first we need to study the singular points of defined as in (16).

Lemma 7. Let be a smooth function on a region of with . Denote

If is defined as in (16), then there exists a function such that

(i) equal to ,(ii) for .

Proof. If we define and , then is equal to one of

where is one of either or .
Let be the number of ’s. For fixed and with , , we have

where (, resp.) means summation running over which contains (, resp.).
From the above formula, we see that a numerator has a factor . Repeating this process for all and , we obtain that is equal to certain function times

which means that satisfies condition (ii).

Let and be defined as in (23). By Lemma 7 the Bergman kernel of has poles at with

for some . Write and as

where and . Then it follows that

The following lemma is needed when we estimate the function .

Lemma 8. For and with , let

Then one has

Proof. By the Schwartz inequality, we have

Then, by using Lemma 8, the identity (41), and the inequality for , we have

Thus by Lemma 6, each domain satisfies the condition .

4. Examples

In fact, it is difficult to write explicitly. In the final section, we give some explicit formulas for .

Lemma 9. Let with and . For any and with , one has

Proof. Consider the Taylor expansion of the function in the right hand side of (46). See the details in [11] or [13].

Lemma 10. Let be a polynomial of degree with variable . Then there exist unique constants for such that

Proof. For a given polynomial , there exist unique constants for such that

Note that, for ,

If we write , then we obtain (47).

Example 11. The complex -dimensional ball with radius : if and , then using Lemma 9, we have

Example 12. The Thullen domain with a positive integer : if , , and , then

is linearly biholomorphic to the Thullen domain . In this case, we have

If we apply Lemma 9 to a variable , then we obtain

By Lemma 10, there exist constants such that

where is a polynomial for a positive integer . Note that .

Example 13. A complex ellipsoid : if , , and , then the following formula was proved in [13]:

where and .

Example 14. The minimal ball with radius : if , , and , the infinite series is equal to

Since , we have which is analytic in and this shows that the minimal ball satisfies the condition .

Example 15. Let , , and with and . Then the infinite series is equal to

Next, for nonnegative integers and , we need to compute the infinite series

It is interesting to compare this series (58) with the left hand side in (46). We can express the infinite series (58) in terms of finite series using Lemma 9. Precisely, the series (58) is equal to

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

This work was supported by NRF-2010-0011841 from the National Research Foundation of Korea.

References

S. R. Bell, “Boundary behavior of holomorphic mappings,” in Several Complex Variables. Proceedings of the 1981 Hangzhou Conference, pp. 3–6, Birkhäuser, Boston, Mass, USA, 1984.

D. S. Tartakoff, “Local analytic hypoellipticity for square(b) on nondegenerate Cauchy-Riemann manifolds,” Proceedings of the National Academy of Sciences of the United States of America, vol. 75, no. 7, pp. 3027–3028, 1978.

D. S. Tartakoff, “The local real analyticity of solutions to b and the -Neumann problem,” Acta Mathematica, vol. 145, no. 1, pp. 177–204, 1980.

M. Derridj and D. S. Tartakoff, “On the global real analyticity of solutions to the ∂-Neumann problem,” Communications in Partial Differential Equations, vol. 1, pp. 401–430, 1976.

G. Komatsu, “Global analytic-hypoellipticity of the ∂-Neumann problem,” Tohoku Mathematical Journal, II Series, vol. 28, no. 1, pp. 145–156, 1976.

F. Treves, “Analytic hypo-ellipticity of a class of pseudodifferential operators with double characteristics and applications to the -Neumann problem,” Communications in Partial Differential Equations, vol. 3, no. 6-7, pp. 475–642, 1978.

S. Chen, “Global analytic hypoellipticity of the -Neumann problem on circular domains,” Inventiones Mathematicae, vol. 92, pp. 173–185, 1988.

S.-C. Chen, “Global real analyticity of solutions to the -Neumann problem on Reinhardt domains,” Indiana University Mathematics Journal, vol. 37, no. 2, pp. 421–430, 1988.

H. Ahn and J.-D. Park, “The explicit forms and zeros of the Bergman kernel function for Hartogs type domains,” Journal of Functional Analysis, vol. 262, no. 8, pp. 3518–3547, 2012.

J. P. D'Angelo, “A note on the Bergman kernel,” Duke Mathematical Journal, vol. 45, no. 2, pp. 259–265, 1978.

J. P. D'Angelo, “An explicit computation of the Bergman kernel function,” The Journal of Geometric Analysis, vol. 4, no. 1, pp. 23–34, 1994.

G. Francsics and N. Hanges, “The Bergman kernel of complex ovals and multivariable hypergeometric functions,” Journal of Functional Analysis, vol. 142, no. 2, pp. 494–510, 1996.

J.-D. Park, “New formulas of the Bergman kernels for complex ellipsoids in ,” Proceedings of the American Mathematical Society, vol. 136, no. 12, pp. 4211–4221, 2008.

J.-D. Park, “Explicit formulas of the Bergman kernel for 3-dimensional complex ellipsoids,” Journal of Mathematical Analysis and Applications, vol. 400, no. 2, pp. 664–674, 2013.

K. T. Hahn and P. Pflug, “On a minimal complex norm that extends the real Euclidean norm,” Monatshefte für Mathematik, vol. 105, no. 2, pp. 107–112, 1988.

K. Oeljeklaus, P. Pflug, and E. H. Youssfi, “The Bergman kernel of the minimal ball and applications,” Annales de l'Institut Fourier, vol. 47, no. 3, pp. 915–928, 1997.

E. H. Youssfi, “Proper holomorphic liftings and new formulas for the Bergman and Szegö kernels,” Studia Mathematica, vol. 152, no. 2, pp. 161–186, 2002.

S. R. Bell, “Proper holomorphic mappings and the Bergman projection,” Duke Mathematical Journal, vol. 48, no. 1, pp. 167–175, 1981.

S. R. Bell, “The Bergman kernel function and proper holomorphic mappings,” Transactions of the American Mathematical Society, vol. 270, no. 2, pp. 685–691, 1982.

S. R. Bell, “Proper holomorphic mappings between circular domains,” Commentarii Mathematici Helvetici, vol. 57, no. 4, pp. 532–538, 1982.

P. Appell and J. K. de Fériet, Fonctions hypergéométriques et hypersphériques, Gauthier-Villars, Paris, France, 1926.

S.-C. Chen, “A remark on the uniform extendability of the Bergman kernel function,” Mathematische Annalen, vol. 291, no. 1, pp. 481–486, 1991.

A. D. Thomas, “Uniform extendibility of the Bergman kernel,” Illinois Journal of Mathematics, vol. 39, no. 4, pp. 598–605, 1995.