Math 2.0

Several complex variables and analytic spaces Definition

Pseudoconvexity

Builds on Plurisubharmonic functionCompact setOpen set

Definition

Let D⊆ℂnD \subseteq \C^n be an open set. Then DD is pseudoconvex if there is a continuous plurisubharmonic function φ ⁣:D→ℝ\varphi \colon D \to \R with the following property. For every c∈ℝc \in \R, the set {z∈D:φ(z)<c}\set{z \in D : \varphi(z) < c} has compact closure contained in DD.

A function φ\varphi with this last property is called an exhaustion function of DD.

Remarks

Example: the unit ball B={z∈ℂn:∣z∣<1}B = \set{z \in \C^n : \abs{z} < 1} with φ(z)=−log⁡(1−∣z∣2)\varphi(z) = -\log(1 - \abs{z}^2). The function ∣z∣2\abs{z}^2 is plurisubharmonic, and t↦−log⁡(1−t)t \mapsto -\log(1 - t) is convex and increasing on [0,1)[0, 1), so φ\varphi is plurisubharmonic and continuous. The set {φ<c}\set{\varphi < c} is the ball of radius 1−e−c\sqrt{1 - e^{-c}} (empty for c≤0c \le 0), whose closure is compact and contained in BB.

Non-example: D={z∈ℂ2:0<∣z∣<1}D = \set{z \in \C^2 : 0 < \abs{z} < 1}. Let φ\varphi be any continuous plurisubharmonic function on DD, and let MM be its maximum on the compact set {∣z1∣≤1/4, ∣z2∣=1/2}⊆D\set{\abs{z_1} \le 1/4, \ \abs{z_2} = 1/2} \subseteq D. For 0<∣t∣≤1/40 < \abs{t} \le 1/4, the disc ζ↦(t,ζ/2)\zeta \mapsto (t, \zeta/2), ∣ζ∣≤1\abs{\zeta} \le 1, lies in DD, so by subharmonicity φ(t,0)≤M\varphi(t, 0) \le M. The points (t,0)(t, 0) accumulate at the origin, which is not in DD, so {φ<M+1}\set{\varphi < M + 1} does not have compact closure in DD, and no exhaustion of the required kind exists.

Equivalent forms: for D≠ℂnD \ne \C^n, DD is pseudoconvex exactly when −log⁡d(z)-\log d(z) is plurisubharmonic on DD, where d(z)d(z) is the distance from zz to the boundary. If DD has C2C^2 boundary, pseudoconvexity is equivalent to Levi pseudoconvexity: the Levi form of a defining function is positive semidefinite on the complex tangent space at each boundary point.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Compact set concept
  2. Open set concept
  3. Plurisubharmonic function concept
  4. Pseudoconvexity definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Pseudoconvexity, Definition
About this page
TagY71Z3MN0S3
URIm2://Y71Z3MN0S3
Kinddefinition
WritingW0 stub
MSC32T05, 32U10
DefinesPseudoconvexity
UsesPlurisubharmonic function, Compact set, Open set

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.