THC Science

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. However, there are pseudoconvex domains which are not geometrically convex.

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.

The definition above is analogous to definitions of convexity in Real Analysis.

If $G$ does not have a $C^{2}$ boundary, the following approximation result can be 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[edit]

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

References[edit]

Bremermann, H. J. (1956). "Complex Convexity". Transactions of the American Mathematical Society. 82 (1): 17–51. doi:10.1090/S0002-9947-1956-0079100-2. JSTOR 1992976.
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.
Siu, Yum-Tong (1978). "Pseudoconvexity and the problem of Levi". Bulletin of the American Mathematical Society. 84 (4): 481–513. doi:10.1090/S0002-9904-1978-14483-8. MR 0477104.
Catlin, David (1983). "Necessary Conditions for Subellipticity of the ${\bar {\partial }}$ -Neumann Problem". Annals of Mathematics. 117 (1): 147–171. doi:10.2307/2006974. JSTOR 2006974.
Zimmer, Andrew (2019). "Characterizing strong pseudoconvexity, obstructions to biholomorphisms, and Lyapunov exponents". Mathematische Annalen. 374 (3–4): 1811–1844. arXiv:1703.01511. doi:10.1007/s00208-018-1715-7. S2CID 253714537.
Fornæss, John; Wold, Erlend (2018). "A non-strictly pseudoconvex domain for which the squeezing function tends to 1 towards the boundary". Pacific Journal of Mathematics. 297: 79–86. arXiv:1611.04464. doi:10.2140/pjm.2018.297.79. S2CID 119149200.

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

External links[edit]

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
"Pseudo-convex and pseudo-concave", Encyclopedia of Mathematics, EMS Press, 2001 [1994]

Convex analysis and variational analysis
Basic concepts	Convex combination Convex function Convex set
Topics (list)	Choquet theory Convex geometry Convex metric space Convex optimization Duality Lagrange multiplier Legendre transformation Locally convex topological vector space Simplex
Maps	Convex conjugate Concave (Closed K- Logarithmically Proper Pseudo- Quasi-) Convex function Invex function Legendre transformation Semi-continuity Subderivative
Main results (list)	Carathéodory's theorem Ekeland's variational principle Fenchel–Moreau theorem Fenchel-Young inequality Jensen's inequality Hermite–Hadamard inequality Krein–Milman theorem Mazur's lemma Shapley–Folkman lemma Robinson–Ursescu Simons Ursescu
Sets	Convex hull (Orthogonally, Pseudo-) Convex set Effective domain Epigraph Hypograph John ellipsoid Lens Radial set/Algebraic interior Zonotope
Series	Convex series related ((cs, lcs)-closed, (cs, bcs)-complete, (lower) ideally convex, (Hx), and (Hwx))
Duality	Dual system Duality gap Strong duality Weak duality
Applications and related	Convexity in economics

THC Science

Bringing Science to the Cannabis Conversation!

Cannabis Sativa

The case n = 1[edit]

See also[edit]

References[edit]

External links[edit]

Leave a Reply