Analytic Continuation In Several Complex Variables
We wish to study those domains in Cn,for n ≥ 2, the so-called domains of holomorphy, which are in some sense the maximal domains of existence of the holomorphic functions defined on them. We demonstrate that this study is radically different from that of domains in C by discussing some examples of special types of domains in Cn , n ≥2, such that every function holomorphic on them extends to strictly larger domains. Given a domain in Cn , n ≥ 2, we wish to construct the maximal domain of existence for the holomorphic functions defined on the given domain. This leads to Thullen’s construction of a domain (not necessarily in Cn)spread overCn, the so-called envelope of holomorphy, which fulfills our criteria. Unfortunately this turns out to beavery abstract space, far from giving us sense in general howa domain sitting in Cn can be constructed which is strictly larger than the given domain and such that all the holomorphic functions defined on the given domain extend to it. But with the help of this abstract approach we can give a characterization of the domains of holomorphyin Cn , n ≥ 2. The aforementioned characterization is as follows: adomain in Cn is a domain of holomorphy if and only if it is holomorphically convex. However, holomorphic convexity is a very difficult property to check. This calls for other (equivalent) criteria for a domain in Cn , n ≥ 2, to be a domain of holomorphy. We survey these criteria. The proof of the equivalence of several of these criteria are very technical – requiring methods coming from partial differential equations. We provide those proofs that rely on the first part of our survey: namely, on analytic continuation theorems. If a domain Ω Cn , n ≥ 2, is not a domain of holomorphy, we would still like to explicitly describe a domain strictly larger than Ω to which all functions holomorphic on Ω continue analytically. Aspects of Thullen’s approach are also useful in the quest to construct an explicit strictly larger domain in Cn with the property stated above. The tool used most often in such constructions s called “Kontinuitatssatz”. It has been invoked, without a clear statement, in many works on analytic continuation. The basic (unstated) principle that seems to be in use in these works appears to be a folk theorem. We provide a precise statement of this folk Kontinuitatssatz and give a proof of it.
- Mathematics (MA)