domain of holomorphy


Definition.

An open set Ωn is called a domain of holomorphy if there do not exist non-empty open sets UΩ and Vn where V is connected, VΩ and UΩV such that for every holomorphic functionMathworldPlanetmath f on Ω there exists a holomorphic function g on V such that f=g on U.

When n=1, then every open set is a domain of holomorphy. For an example, assume that the boundary of Ω is a Jordan curve for simplicity. We can define a holomorphic function which has zeros which accumulate on the boundary of the domain and thus the function cannot be continued past any point in the boundary. If you could extend the function, it would be identically zero.

Alternatively given any open set Ω and any point pΩ, the function z1z-p is holomorphic in Ω, but cannot be continued past p.

For n2 many domains are not domains of holomorphy. For example if you take 2{0}, this is no longer a domain of holomorphy by Hartogs’s theorem (http://planetmath.org/HartogsTheorem). It turns out that a domain is a domain of holomorphy if and only if the boundary is pseudoconvex. In particular, every convex (in the classical sense) domain is a domain of holomorphy. examples of domains of holomorphy are n, an open ball, or a polydisc.

References

  • 1 Lars Hörmander. , North-Holland Publishing Company, New York, New York, 1973.
  • 2 Steven G. Krantz. , AMS Chelsea Publishing, Providence, Rhode Island, 1992.
Title domain of holomorphy
Canonical name DomainOfHolomorphy
Date of creation 2013-03-22 14:29:29
Last modified on 2013-03-22 14:29:29
Owner jirka (4157)
Last modified by jirka (4157)
Numerical id 7
Author jirka (4157)
Entry type Definition
Classification msc 32T05
Classification msc 32A10
Related topic LeviPseudoconvex
Related topic SolutionOfTheLeviProblem
Related topic SteinManifold