Properties of Bounded Holomorphic Functions: A Survey

We discuss interrelations between H∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {H}}^\infty $$\end{document}-convex domains and H∞\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal {H}}^\infty $$\end{document}-domains of holomorphy for various classes of domains in Cn\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {C}}^n$$\end{document}.


Introduction
For a domain D ⊂ C n we denote by O(D), respectively H ∞ (D), the space of all holomorphic, respectively all bounded holomorphic functions on D. It is well known that a domain D ⊂ C n is holomorphically convex iff it is a domain of holomorphy (Cartan-Thullen theorem).
(1) There are similar notions of convexity with respect to H ∞ (D), namely D is H ∞ -convex or D is an H ∞ -domain of holomorphy.In dimension n = 1 both notions are the same (see [1]); but in higher dimensions these are, in general, two different properties as we will see later.
(2) To have an idea how large H ∞ (D) is the Carathéodory pseudodistance c D may be used as a tool.Recall that Obviously, c D is a metric iff H ∞ (D) separates the points of D (e.g. if D is bounded).Then D is said to be c-hyperbolic.In dimension n = 1 both notions even coincide ( [13][14][15]).
In higher dimensions equality is still an open problem.Moreover, switching to complex spaces, there is an example of a complex space X which is c X -Cauchy complete but not c X finitely compact.
The main aim of this note is to discuss the topics (1) and (2) from above in higher dimensions.

H ∞ -Convexity vs H ∞ -Domain of Holomorphy
Let F ⊂ O(D).Then D is said to be F-convex if for any compact set K ⊂ D the so called F-convex hull K (F) := {z ∈ D : | f (z)| ≤ f K for all f ∈ F} is relatively compact in D.Moreover, D is said to be an F-domain of holomorphy, if there does not exist a pair of open sets U , V with domain of holomorphy is automatically a domain of holomorphy.Observe that more is true, namely: D is an H ∞ -domain of holomorphy iff there exists a function f ∈ H ∞ (D) such that for any pair (U , V ) as above f | U is never the restriction of a holomorphic function on V Note that the property to be an H ∞ -domain of holomorphy is not invariant under biholomorphic mappings; e.g. the Hartogs triangle is an H ∞ -domain of holomorphy but its biholomorphic image D * × D is not (D stands for the unit disc, D * := D \ {0}).
Observe that the punctured disc is neither H ∞ -convex nor it is an H ∞ -domain of holomorphy (use the Riemann theorem on removable singularities).On the other hand any bounded fat plane domain D (i.e.int D = D ) is an H ∞ -domain of holomorphy and therefore also H ∞ -convex.But in higher dimensions, as we will see later, Sibony [15] constructed a fat domain of holomorphy
Example 2.1 [15] This domain is given as follows: is the non-tangential limit of a certain subsequence of (a j ) j , and Note that u is a negative subharmonic function on D with u(a j ) = −∞ and u is continuous and subharmonic; in particular, D is fat and a domain of holomorphy.Moreover, every bounded holomorphic function on D extends to an holomorphic function on D 2 , thus D is not an H ∞ domain of holomorphy.
Indeed, let f ∈ H ∞ (D).We may assume that | f | ≤ 1.Then f (z, w) = ∞ j=0 g j (z)w j with g j ∈ O(D) (the Hartogs series of f ) and |g j | ≤ exp( ju) (use Cauchy inequalities).Thus, g j is bounded and |g j (a k )| ≤ 1 for all k ∈ N. Using the Fatou theorem it follows |g k | ≤ 1. Therefore the series representing f is locally uniformly convergent on D 2 , i.e. it gives a holomorphic extension of f to D 2 .
To see that D is H ∞ -convex it suffices to mention that any f ∈ O(D) can be locally uniformly approximated by polynomials (use the representation of f by its Hartogs series as above).
In [12] it is shown that using different sequences (a j ) j and (α j ) j as above there is an infinite family of such Sibony domains pairwise not biholomorphically equivalent.
To conclude the discussion of the above example we mention, using Fatou theorem, that while exp(− u) exp(−u).Soon it will be clear why this expression plays an important role to describe H ∞ -domains of holomorphy.
Thus there is a need to characterize such Hartogs domains that are H ∞ -domains of holomorphy.Before discussing such properties repeat the following definition of a special class of Hartogs domains.Let Ω ⊂ C n be a domain and Recall that D is a domain of holomorphy iff Ω is a domain of holomorphy and log H is plurisubharmonic on Ω × C m .
To formulate the main result in this context the following to H associated function is needed.Let H be as above.Put Using Hartogs series it is easy to see that any bounded holomorphic function on D extends holomorphically to Conversely, the following is true (cf.[9], Theorem 4.1.70).

Theorem 2.2 Let D = D(Ω, H ) be as above. Assume that the basis Ω is an H ∞domain of holomorphy or that H (z, w) −→ Ω w→∂Ω
∞ for all w with w = 1. 3 Denote by B(0, r ) := {z ∈ C 2 : z < r } the two-dimensional ball with center at zero and radius r and B := B(0, 1).Put Ω := B \ B(0, 1/2).Then the following domain is a Hartogs domain with H (z, w) = |w| whose basis is not an H ∞ -domain of holomorphy.Moreover, also the second assumption in the above theorem is not fulfilled.Obviously, H = H but D is not an H ∞ -domain of holomorphy.Thus, at least one of the above two assumptions is needed for the correctness of the theorem.Then the following properties are equivalent: Compare the above condition with the example given at the beginning of this section.Note that the usual Hartogs triangle is a Hartogs domain with balanced 1-dimensional fibers over D * ; i.e.D = D(D * , log |z|).Note that its base is not a H ∞ -domain of holomorphy and lim D * z→∂D u(z) = ∞ is not fulfilled.Nevertheless, D is an H ∞ -domain of holomorphy and both properties (i) and (ii) are true.Moreover, it is not H ∞ -convex.Note that it seems not to be known which weaker assumptions could also give the correctness of the corollary.Remark 2. 5 It is important to mention that in [15] a somehow weaker result is presented.For example, take the following Hartogs domain with one dimensional fibers over C: Then any bounded holomorphic function on D is constant, i.e. it extends holomorphically to the domain C × C (use power series expansion or show u = −∞), while using the results in [15] one gets no holomorphic extension.This kind of phenomenon does not occur if the function u in the definition of a Hartogs domain with one-dimensional fibers is everywhere positive.

Reinhardt Domains
Let X ⊂ R n be a non empty convex domain.Then E(X ) denotes the vector subspace of R n satisfying X + E(X ) = X such that every vector subspace F ⊂ R n with X + F = X satisfies dim F ≤ dim E(X ).Note that E(X) is well defined.A vector subspace F is called to be of rational type, if F is generated by F ∩ Q n .And X is called of rational type if E(X ) is of this type.
Recall that a Reinhardt domain D of holomorphy has the property that log D is a convex domain.Thus one use the former notation and say that D is of rational type if log D is of rational type.Theorem 2.6 Let D ⊂ C n be a Reinhardt domain of holomorphy.Then: D is an H ∞ -domain of holomorphy iff D is fat and of rational type (cf.[8]).
In particular, any fat bounded Reinhardt domain of holomorphy is an H ∞ -domain of holomorphy.
For example, the so-called Hartogs triangle domain of holomorphy.Note that this D is not H ∞ -convex in contrast to the plane situation.But surprisingly, the following converse result is true.
Proof 1 By assumption, D is a domain of holomorphy.Therefore, D = int D\ j:V j ∩D=∅ V j .
Suppose now that D is not an H ∞ -domain of holomorphy.Case 1 D is not fat: Then there exists a V j with V j ∩ D = ∅ and V j ∩ int D = ∅.W.l.o.g.let j = n.Then there is a point b = (b 1 , . . ., b n−1 , 0) ∈ int D. Thus, for a small positive r , P(b, r ) ⊂ int D, where P(b, r Case 2 D is not of rational type, but fat: Let X := log D, X := log D, r := n − dim E( X ).Obviously, 1 ≤ r ≤ n − 1.By [8] there exists a basis α 1 , . . ., α r ∈ Z n of E( X ) ⊥ and a n-circled domain Ω ⊂ C r , Φ(D\V 0 ) ⊂ Ω, such that any bounded holomorphic function f ∈ H ∞ (D) can be written as Let K := {a}, where a ∈ D ∩ R n >0 .It suffices to prove that the H ∞ (D)-hull of K is not relatively compact in D. Thus, it suffices to show that the set Q := {z ∈ D\V 0 : For Reinhardt domains D of holomorphy which are not H ∞ -domains of holomorphy, there is even a way to calculate their H ∞ -envelope of holomorphy, i.e. the H ∞ -domain of holomorphy D, D ⊂ D, such that every bounded holomorphic function f on D is the restriction of an f ∈ H ∞ ( D).Therefore, any Reinhardt domain of holomorphy allows a univalent (schlicht) H ∞ envelope of holomorphy (see [8]).
Instead of giving details how to get the H ∞ -envelope two examples are presented.

Example 2.8 (a) Let
where 0 < α j < 1, α 1 = α 2 , and Note D is a fat Reinhardt domain of holomorphy which is not of rational type.Hence D is not an H ∞domain of holomorphy.Moreover, its H ∞ -envelope of holomorphy is given by 1 Since this result seems to be a new one, we add its proof.
Then D is not an H ∞ -domain of holomorphy.Its H ∞ -envelope of holomorphy is given as Remark 2.9 Recall that Reinhardt domains of holomorphy have a univalent H ∞envelope of holomorphy.In general there are domains in C n whose H ∞ -envelope of holomorphy is infinitely many sheeted (see [2,4]); in particular, their H ∞ -envelope is not schlicht.The construction of these examples is based on the Sibony example (see 2.1).It seems there are no criteria known which guaranties for a domain to have a schlicht H ∞ -envelope of holomorphy.

Balanced Domains
A domain D ⊂ C n is called to be balanced (or equivalently complete circular) if whenever z ∈ D and λ ∈ D, then λz ∈ D. Such a D may be also described as This function is known as the Minkowski function for D and it is uniquely determined.
Moreover, it is well known that D is a domain of holomorphy iff its Minkowski function h is plurisubharmonic iff log h is plurisubharmonic.
Note that a complete Reinhardt domain is in particular balanced and its Minkowski function is even everywhere continuous.Then the following is true:

a bounded balanced domain of holomorphy with its Minkowski function h. Then D is H ∞ -convex. Even more is true, namely, D is convex with respect to the family of homogeneous polynomials. In particular, any bounded balanced H ∞ -domain of holomorphy is H ∞ -convex
Note that the following unbounded balanced domain of holomorphy Example 2.11 Let (a j ) j ⊂ T := ∂D be a dense subset in T and let Then h is positive homogeneous and plurisubharmonic; thus D := {z ∈ C 2 : h(z) < 1} is a bounded pseudoconvex balanced domain.As above, then D is H ∞ -convex.the set of points at which h is not continuous, is of measure zero.Therefore, D is a fat domain.Nevertheless, D is not an H ∞ -domain of holomorphy.
Note that also here there is no equivalence between the notions of H ∞ -convex and to be an H ∞ -domain of holomorphy.The following characterization of a balanced domain to be an H ∞ -domain of holomorphy is due to Siciak [16].Theorem 2.12 Let D = {z ∈ C n : h(z) < 1} be a bounded balanced domain of holomorphy.Then the following properties are equivalent: (b), is equivalent to: (c) h is plurisubharmonic and the set {z ∈ C n : h is not continuous at z} is pluripolar.
The proof of the former theorem is based on two deep results, namely the theorem of Bedford-Taylor and a modification of Josefson's theorem due to Siciak.(1) In the case of unbounded balanced domains of holomorphy, (c) does not necessarily imply (a) of the above theorem; take, for example, the unbounded Reinhardt domain

Remark 2.13
2 and it is obviously plurisubharmonic and continuous.But any bounded holomorphic function on D is constant; therefore, D is not an H ∞ -domain of holomorphy.The proof of this result (see [17]) is based on the following description of a subharmonic function u with a + log(1 where u * denotes the lower semicontinuous regularization of u. (3) On the other hand, there is a fat bounded balanced domain D ⊂ C 3 of holomorphy with D = int D, but its closure D is not polynomially convex (see [6]).Let (a j ) j ⊂ T be dense in T and (α j ) j ⊂ (0, ∞).

Smoothly Bounded Domains
This survey is finished with a short discussion on smooth pseudoconvex domains.The important results here are due to Catlin (see [5]) and Hakim-Sibony (see [7]).
Theorem 2.14 Let D ⊂ C n be a bounded domain of holomorphy with C ∞ -smooth boundary.Then D is an H ∞ -domain and it is H ∞ -convex.
The proof of the first result is based on regularity results due to Kohn while the proof of the second assertion uses good plurisubharmonic exhaustion functions and the Jensen measure.

Miscellanea
In [3], general open sets which are given as sublevel sets of certain plurisubharmonic functions are discussed.Let In higher dimensions, this result does not remain to be true (see [10]).The proof relies heavily on the Remmert embedding theorem.For the dimension n = 2 an example like the one in the former theorem is, so far, not known.

c-Completeness
Let D ⊂ C n .D is said to be c-finitely compact if it is c-hyperbolic and all c-balls with center in D and finite radius are relatively compact subsets in D.Moreover, D is called to be c-complete if D is c-hyperbolic and any c-Cauchy sequence converges in the Euclidean norm to a point in D.
Obviously, if D is c-finitely compact, then it is c-complete.Note that for certain domains (for example an annulus) c is not an inner metric.Therefore the theorem of Rinow cannot be applied.Nevertheless, in [14,15] and [13] it has been shown that the converse is true for plane domains.The proof needs rather difficult one-dimensional results.So far it is still an open problem whether the above equivalence remains true in higher dimensions.Nevertheless, for certain classes of domains this equivalence holds (see [18]).

Remark 3.5
It should be mentioned that Theorem 3.3, in general, fails to hold for one-dimensional complex spaces (see [11]).
Finally, the following remarks put the completeness properties of c in relation with properties of H ∞ .(d) It should be emphasized that so far it is still unclear, whether c-completeness also implies H ∞ -convexity.(e) Applying the criterium of (a) shows, for example, that strongly pseudoconvex domains are c-finitely compact.Moreover, any C-convex bounded domain is c-finitely compact.On the other side it is still open whether a bounded domain of holomorphy with a C ∞ -boundary is c-finitely compact.
Funding Open Access funding enabled and organized by Projekt DEAL.
(a) Note that for a c-hyperbolic domain D in dimension n = 1 the standard topology of D coincides with the topology induced by the metric c D ; a fact which does not remain true in higher dimensions.(b) Moreover, there are two notions of completeness: D is c D -Cauchy complete or D is c D -finitely compact.Obviously, c D -finitely compact always implies c D -Cauchy complete.
, and λ ∈ C. Then the following domainD := D(Ω, H ) := {(z, w) ∈ Ω × C m : H (z, w) < 1}is called a Hartogs domain with balanced m-dimensional fibers over the basis Ω.Note that with H (z, w) := |w| exp(u(z)) the D discussed before is a Hartogs domain with 1-dimensional balanced fibers over the base D.
For an arbitrary domain D ⊂ C n put D := {z ∈ C n : |Q(z)| ≤ Q D for every homogeneous polynomial Q}.If D is a balanced domain, then D := {z ∈ C n : |p(z)| ≤ p D for every polynomial p}; 123 i.e.D is the polynomial convex hull of D.

( 2 )
Obviously, if D ⊂ C n is an arbitrary fat domain satisfying that D is polynomially convex, then D = int D. In particular, every balanced domain D ⊂ C n which is fat and whose closure is polynomially convex is an H ∞ -domain of holomorphy.The converse remains true for a bounded balanced domain D of holomorphy in C 2 , i.e.D = int D iff D is fat and D is polynomially convex.

Remark 2 .
15 (a)  In fact, for such domains even more is true; namely, they are A ∞domains of holomorphy and A ∞ -convex.Recall thatA ∞ := f ∈ O(D) : all derivatives of f are continuous on D .(b) It seems to be unknown what happens in the case the boundary is only assumed to be C k -smooth.

Theorem 3 . 2
For any n > 2 there exists a c-hyperbolic domain D ⊂ C n such that top c top D.

Theorem 3 . 3
Let D ⊂ C be a c-hyperbolic domain.Then D is c-complete iff it is c-finitely compact.

Theorem 3 . 4
Let D ⊂ C n be a c-hyperbolic Reinhardt domain of holomorphy.Then D is c-finitely compact iff D is c-complete.

Remark 3 . 6
(a) Let D ⊂ C n be c-hyperbolic.Then D is c-finitely compact iff for any point a ∈ D and any sequence (a j ) j∈N ⊂ D without accumulation points in D there exists f ∈ O(D, D) with f (a) = 0 and sup j | f (a j )| = 1.(b) Therefore, any c-finitely compact domain is an H ∞ -domain of holomorphy and H ∞ -convex.(c) Any c-complete domain is an H ∞ -domain of holomorphy; in particular, it is a domain of holomorphy.
[15]whose set of discontinuity is not pluripolar, but nevertheless D u is an H ∞ -domain of holomorphy.Note that D u is bounded.Compare Theorem 2.12 the formulas for the ball it is easy to see that in case of a bounded domain D ⊂ C n this c D -topology is the same as the standard Euclidean topology top of D.Moreover, (see[15]): If D ⊂ C is c-hyperbolic, then its c-topology coincides with the standard Euclidean topology induced on D.
Note that balanced domains of holomorphy are examples of such D u .Then: Theorem 2.16 Let D u be as above and, in addition, bounded.If the set of points where u is not continuous is pluripolar, then every connected component of D u is an H ∞ -domain of holomorphy.Remark 2.17 Observe that there is a function u ∈ L(C n ) with inf{u(z) − log(1 + z ) >