Pseudoconvexity

This article is about the notion in several complex variables. For the notion in convex analysis, see Pseudoconvex function.

In mathematics, more precisely in the theory of functions of several complex variables, a pseudoconvex set is a special type of open set in the n-dimensional complex space Cⁿ. Pseudoconvex sets are important, as they allow for classification of domains of holomorphy.

Let

G\subset {{\mathbb {C}}}^{n}

be a domain, that is, an open connected subset. One says that $G$ is pseudoconvex (or Hartogs pseudoconvex) if there exists a continuous plurisubharmonic function $\varphi$ on $G$ such that the set

\{z\in G\mid \varphi (z)<x\}

is a relatively compact subset of $G$ for all real numbers $x.$ In other words, a domain is pseudoconvex if $G$ has a continuous plurisubharmonic exhaustion function. Every (geometrically) convex set is pseudoconvex.

When $G$ has a $C^{2}$ (twice continuously differentiable) boundary, this notion is the same as Levi pseudoconvexity, which is easier to work with. More specifically, with a $C^{2}$ boundary, it can be shown that $G$ has a defining function; i.e., that there exists $\rho :{\mathbb {C}}^{n}\to {\mathbb {R}}$ which is $C^{2}$ so that $G=\{\rho <0\}$ , and $\partial G=\{\rho =0\}$ . Now, $G$ is pseudoconvex iff for every $p\in \partial G$ and $w$ in the complex tangent space at p, that is,

\nabla \rho (p)w=\sum _{{i=1}}^{n}{\frac {\partial \rho (p)}{\partial z_{j}}}w_{j}=0

, we have

\sum _{{i,j=1}}^{n}{\frac {\partial ^{2}\rho (p)}{\partial z_{i}\partial {\bar {z_{j}}}}}w_{i}{\bar {w_{j}}}\geq 0.

If $G$ does not have a $C^{2}$ boundary, the following approximation result can come in useful.

Proposition 1 If $G$ is pseudoconvex, then there exist bounded, strongly Levi pseudoconvex domains $G_{k}\subset G$ with $C^{\infty }$ (smooth) boundary which are relatively compact in $G$ , such that

G=\bigcup _{{k=1}}^{\infty }G_{k}.

This is because once we have a $\varphi$ as in the definition we can actually find a C^∞ exhaustion function.

The case n = 1

In one complex dimension, every open domain is pseudoconvex. The concept of pseudoconvexity is thus more useful in dimensions higher than 1.

References

Lars Hörmander, An Introduction to Complex Analysis in Several Variables, North-Holland, 1990. (ISBN 0-444-88446-7).
Steven G. Krantz. Function Theory of Several Complex Variables, AMS Chelsea Publishing, Providence, Rhode Island, 1992.

This article incorporates material from Pseudoconvex on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

External links

Range, R. Michael (February 2012), "WHAT IS...a Pseudoconvex Domain?" (PDF), Notices of the American Mathematical Society, 59 (2): 301–303, doi:10.1090/noti798
Hazewinkel, Michiel, ed. (2001), "Pseudo-convex and pseudo-concave", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4

This article is issued from Wikipedia - version of the 11/22/2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.

Pseudoconvexity

The case n = 1

See also

References

External links