Math 2.0

Several complex variables and analytic spaces Definition

Complex Monge–Ampère operator

Builds on Plurisubharmonic functionDeterminant(p,q)-form

Definition

Let Ω⊆ℂn\Omega \subseteq \C^n be open and let u ⁣:Ω→ℝu \colon \Omega \to \R be of class C2C^2. Let dc=i(∂ˉ−∂)d^c = i(\bar\partial - \partial), so that ddc=2i∂∂ˉdd^c = 2i \partial\bar\partial. The complex Monge–Ampère operator applied to uu is the (n,n)(n, n)-form (ddcu)n=ddcu∧⋯∧ddcu(n factors).(dd^c u)^n = dd^c u \wedge \cdots \wedge dd^c u \quad (n \text{ factors}). In coordinates, (ddcu)n=4n n! det⁡(∂2u∂zj∂zˉk)j,k=1ndV,(dd^c u)^n = 4^n \, n! \, \det\left( \frac{\partial^2 u}{\partial z_j \partial \bar z_k} \right)_{j,k=1}^n dV, where dVdV is Lebesgue measure on ℂn=ℝ2n\C^n = \R^{2n}.

Remarks

The constant 4nn!4^n n! depends on the normalisation of dcd^c; many authors use dc=i4π(∂ˉ−∂)d^c = \frac{i}{4\pi}(\bar\partial - \partial) or write simply det⁡(∂2u/∂zj∂zˉk)\det\left(\partial^2 u / \partial z_j \partial \bar z_k\right). If uu is plurisubharmonic, the complex Hessian is positive semidefinite, so (ddcu)n(dd^c u)^n is a positive measure. Example: for u(z)=∣z∣2=∑j∣zj∣2u(z) = \abs{z}^2 = \sum_j \abs{z_j}^2 the complex Hessian is the identity, so (ddcu)n=4nn! dV(dd^c u)^n = 4^n n! \, dV. For n=1n = 1, ddcu=4 ∂2u∂z∂zˉ dV=Δu dVdd^c u = 4 \, \frac{\partial^2 u}{\partial z \partial \bar z} \, dV = \Delta u \, dV, the Laplacian. Non-example of positivity: for u=∣z1∣2−∣z2∣2u = \abs{z_1}^2 - \abs{z_2}^2 on ℂ2\C^2 the determinant is −1-1, so (ddcu)2(dd^c u)^2 is a negative measure; this uu is not plurisubharmonic. The operator is nonlinear for n≥2n \ge 2. The extension of (ddcu)n(dd^c u)^n to locally bounded plurisubharmonic functions, where uu need not be differentiable, is the Bedford–Taylor theory.

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. (p,q)-form concept
  2. Determinant concept
  3. Plurisubharmonic function concept
  4. Complex Monge–Ampère operator definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Monge%E2%80%93Amp%C3%A8re_equation
About this page
TagMXX766RYDX
URIm2://MXX766RYDX
Kinddefinition
WritingW0 stub
MSC32W20, 32U15
DefinesComplex Monge–Ampère operator
UsesPlurisubharmonic function, Determinant, (p,q)-form

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)
  • 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.