pseudoconvex

Definition.

Let $G\\subset{\\mathbb{C}}^{n}$ be a domain (open connected subset).We say $G$ is pseudoconvex (or Hartogs pseudoconvex) if there exists a continuous plurisubharmonic function $\\varphi$ on $G$ such thatthe sets $\\{z\\in G\\mid\\varphi(z)<x\\}$ are relatively compactsubsets 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 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 $G\\subset{\\mathbb{C}}^{n}$ is pseudoconvex then there exist bounded,strongly Levi pseudoconvex domains $G_{k}\\subset G$ with $C^{\\infty}$ (smooth)boundary which are relatively compactin $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^{\\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 complexdimension (in the complex plane ${\\mathbb{C}}$ ) is then pseudoconvex.

References

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

单词	Pseudoconvex
释义	pseudoconvex Definition. Let $G\\subset{\\mathbb{C}}^{n}$ be a domain (open connected subset).We say $G$ is pseudoconvex (or Hartogs pseudoconvex) if there exists a continuous plurisubharmonic function $\\varphi$ on $G$ such thatthe sets $\\{z\\in G\\mid\\varphi(z)<x\\}$ are relatively compactsubsets 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 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 $G\\subset{\\mathbb{C}}^{n}$ is pseudoconvex then there exist bounded,strongly Levi pseudoconvex domains $G_{k}\\subset G$ with $C^{\\infty}$ (smooth)boundary which are relatively compactin $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^{\\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 complexdimension (in the complex plane ${\\mathbb{C}}$ ) is then pseudoconvex. References 1 Steven G. Krantz.,AMS Chelsea Publishing, Providence, Rhode Island, 1992.
随便看	explementary ExplicitDefinitionOfPolynomialRingsInArbitrarlyManyVariables explicit definition of polynomial rings in arbitrarly many variables ExplicitFormForCurrying explicit form for currying ExplicitFormulaForDividedDifferences explicit formula for divided differences ExplicitGeneratorsOfAQuotientPolynomialRingAssociatedToAGivenPolynomial explicit generators of a quotient polynomial ring associated to a given polynomial Exponent exponent Exponential exponential ExponentialFactorial exponential factorial ExponentialFamily exponential family ExponentialFunctionDefinedAsLimitOfPowers exponential function defined as limit of powers ExponentialFunctionNeverVanishes exponential function never vanishes ExponentialIntegral exponential integral ExponentialRandomVariable exponential random variable