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) |
Bergman-Shilov boundary. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bergman-Shilov_boundary&oldid=22093