In the last few years it has been found useful to apply known theorems in the theory of functions of several complex variables to solve problems arising in the quantum theory of fields (11). In particular, in order to derive the dispersion relations of quantum field theory from the general postulates of that theory it appears useful to apply known theorems on holomorphic continuation for functions of several complex variables ((2), (10)). The most important theorems are those which enable a determination to be made of the largest domain to which every function which is holomorphic in a domain D may be continued. This domain is called the envelope of holomorphy of D, and denoted by E(D). If D = E(D) then D is termed a domain of holomorphy. E(D) may be defined as the smallest domain of holomorphy containing D. Only in the special cases that D is a tube, semi-tube, Hartogs, or circular domain has it been possible to determine the envelope of holomorphy E(D) ((3), (7)). An iterative method for the computation of envelopes of holomorphy has recently been given by Bremmerman(4). It is also possible to use the continuity theorem (1) in a direct manner, though in most cases this is exceedingly difficult.
A domain whose envelope of holomorphy is not a domain