Bergman-Shilov boundary

The concept of the Bergman–Shilov boundary is credited to both S. Bergman and G.E. Shilov. Bergman, in 1931, introduced the concept of a distinguished boundary in connection with his studies of holomorphic functions of two complex variables [a1]. He discovered that, for a large class of domains, a holomorphic function of two or more variables is completely determined by its values on a relatively small closed subset of the topological boundary of the domain. This phenomenon does not occur in function theory of one complex variable (cf. also Analytic function). On the other hand, in the 1940s Shilov introduced the concept of a minimal boundary, now called the Shilov boundary, in connection with his studies on commutative Banach algebras (cf. also Boundary (in the theory of uniform algebras); Commutative Banach algebra). Much of the content of this work can be found in [a3].

In modern terminology, the Shilov boundary is defined as follows: Let be a compact space and an algebra of continuous complex-valued functions on which separates the points of (cf. Algebra of functions). A boundary for is a closed subset of such that

for all and . The Shilov boundary of for , denoted by , is defined as the intersection of all boundaries of for . It was proved by Shilov [a3] that is non-empty and is a boundary for .

If is a bounded domain in an -dimensional complex space , , and if is the set of all functions that are holomorphic on (the closure of ), then the Shilov boundary of for is called the Bergman–Shilov boundary of , usually denoted by . By the maximum principle, is always a subset of the topological boundary of . However, when , for many domains is a proper subset of the boundary of . For example, if

then , which is a two-dimensional closed subset of the three-dimensional boundary of . This is the case for a wide class of domains, including all analytic polyhedra (cf. Analytic polyhedron). On the other hand, if

then is equal to the boundary of . More generally, if is strictly pseudo-convex, that is, , where is a plurisubharmonic function in a neighbourhood of (cf. also Pseudo-convex and pseudo-concave), then is equal to the topological boundary of . A fairly comprehensive treatment of the Shilov and Bergman–Shilov boundaries can be found in [a2].

References

[a1]	S. Bergman, "Über ausgezeichnete Randflächen in der Theorie der Functionen von Zwei komplexen Veränderlichen" Math. Ann. , 104 (1931) pp. 611–636
[a2]	B.A. Fuks, "Special chapters in the theory of analytic functions of several complex variables" , Amer. Math. Soc. (1965) (In Russian)
[a3]	I. Gel'fand, D. Raikov, G. Shilov, "Commutative normed rings" , Chelsea (1964) (In Russian)