Math 2.0

Several complex variables and analytic spaces Definition

Plurisubharmonic function

Builds on Subharmonic functionSemicontinuity

Definition

Let Ω⊆ℂn\Omega \subseteq \C^n be an open set. A function u ⁣:Ω→[−∞,∞)u \colon \Omega \to [-\infty, \infty) is plurisubharmonic if:

  1. uu is upper semicontinuous;
  2. for every a∈Ωa \in \Omega and b∈ℂnb \in \C^n such that the set {a+λb:λ∈ℂ,∣λ∣≤1}\set{a + \lambda b : \lambda \in \C, \abs{\lambda} \le 1} lies in Ω\Omega, u(a)≤12π∫02πu(a+eiθb) dθ.u(a) \le \frac{1}{2\pi} \int_0^{2\pi} u(a + e^{i\theta} b) \, d\theta .

Remarks

Clause 2 says that for all a,ba, b the function λ↦u(a+λb)\lambda \mapsto u(a + \lambda b) is subharmonic or identically −∞-\infty on each component of its domain. Many authors also require that uu is not identically −∞-\infty on any connected component of Ω\Omega. A function uu of class C2C^2 is plurisubharmonic if and only if ∑j,k=1n∂2u∂zj∂zˉk(z) wjwˉk≥0for all z∈Ω, w∈ℂn.\sum_{j,k=1}^n \frac{\partial^2 u}{\partial z_j \partial \bar z_k}(z) \, w_j \bar w_k \ge 0 \quad \text{for all } z \in \Omega,\ w \in \C^n . Example: u(z)=∣z1∣2+⋯+∣zn∣2u(z) = \abs{z_1}^2 + \cdots + \abs{z_n}^2 has complex Hessian equal to the identity matrix, which is positive definite, so uu is plurisubharmonic. Non-example: u(z1,z2)=∣z1∣2−∣z2∣2u(z_1, z_2) = \abs{z_1}^2 - \abs{z_2}^2 is smooth, but on the line λ↦(0,λ)\lambda \mapsto (0, \lambda) it is −∣λ∣2-\abs{\lambda}^2, which is not subharmonic, so clause 2 fails at a=0a = 0, b=(0,1)b = (0, 1). Plurisubharmonic functions are subharmonic as functions on ℝ2n\R^{2n}, but the converse fails, as the non-example shows. The abbreviation "psh" is common.

Reading path

To understand this page from the ground up, read these 3 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. Semicontinuity concept
  2. Subharmonic function concept
  3. Plurisubharmonic function definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Plurisubharmonic_function
About this page
TagCPR1B0WEWA
URIm2://CPR1B0WEWA
Kinddefinition
WritingW0 stub
MSC32U05, 31C10
DefinesPlurisubharmonic function
UsesSubharmonic function, Semicontinuity

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • a source with a locator (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.