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