pseudoconvex
Definition.
Let be a domain (open connected subset).We say is pseudoconvex (or Hartogs pseudoconvex) if there exists a continuous plurisubharmonic function
on such thatthe sets are relatively compactsubsets of for all . That is we say that has a continuous plurisubharmonic exhaustion function.
When has a (twice continuously differentiable) boundary then thisnotion is the same as Levi pseudoconvexity (http://planetmath.org/LeviPseudoconvex), whichis easier to work with if you have such nice boundaries. If you don’t havenice boundaries then the following approximation result can come in useful.
Proposition.
If is pseudoconvex then there exist bounded,strongly Levi pseudoconvex domains with (smooth)boundary which are relatively compactin , such that .
This is because once we have a as in the definition we can actually find a exhaustion function.
The reason for the definition of pseudoconvexity is that it classifies domains of holomorphy. One thing to note then is that every open domain in one complexdimension (in the complex plane ) is then pseudoconvex.
References
- 1 Steven G. Krantz.,AMS Chelsea Publishing, Providence, Rhode Island, 1992.