# pseudoconvex

###### Definition.

Let $G\subset {\u2102}^{n}$ be a domain (open connected subset).
We say $G$ is pseudoconvex (or Hartogs pseudoconvex) if there exists a continuous^{} plurisubharmonic function^{} $\phi $ on $G$ such that
the sets $$ are relatively compact
subsets of $G$ for all $x\in \mathbb{R}$. That is we say that
$G$ has a continuous plurisubharmonic exhaustion function.

When $G$ has a ${C}^{2}$ (twice continuously differentiable) boundary then this notion is the same as Levi pseudoconvexity (http://planetmath.org/LeviPseudoconvex), which is easier to work with if you have such nice boundaries. If you don’t have nice boundaries then the following approximation result can come in useful.

###### Proposition.

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

This is because once we have a $\phi $ as in the definition we can actually find a ${C}^{\mathrm{\infty}}$ 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 complex dimension (in the complex plane $\u2102$) is then pseudoconvex.

## References

- 1 Steven G. Krantz. , AMS Chelsea Publishing, Providence, Rhode Island, 1992.

Title | pseudoconvex |
---|---|

Canonical name | Pseudoconvex |

Date of creation | 2013-03-22 14:30:58 |

Last modified on | 2013-03-22 14:30:58 |

Owner | jirka (4157) |

Last modified by | jirka (4157) |

Numerical id | 5 |

Author | jirka (4157) |

Entry type | Definition |

Classification | msc 32T15 |

Classification | msc 32T05 |

Synonym | Hartogs pseudoconvex |

Related topic | LeviPseudoconvex |

Related topic | SolutionOfTheLeviProblem |

Related topic | ExhaustionFunction |