Mesures de Monge-Ampère et mesures pluriharmoniques. (Monge-Ampère measures and pluriharmonic measures) (Q1077594): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 02:07, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Mesures de Monge-Ampère et mesures pluriharmoniques. (Monge-Ampère measures and pluriharmonic measures) |
scientific article |
Statements
Mesures de Monge-Ampère et mesures pluriharmoniques. (Monge-Ampère measures and pluriharmonic measures) (English)
0 references
1987
0 references
Let \(\Omega\) be a relatively compact open subset in a Stein manifold, and \(n=\dim_{{\mathbb{C}}}\Omega\). Assume that \(\Omega\) is hyperconvex, i.e. that there exists a bounded psh (plurisubharmonic) exhaustion function on \(\Omega\). A ''pluricomplex Green function'' \(u_{\Omega}\) is then naturally defined on \(\Omega \times \Omega:\) For all \(z\in \Omega\), \(u_ z(\zeta):= u_{\Omega}(z,\zeta)\) is the solution of the Dirichlet problem for the complex Monge-Ampère equation \((dd^ cu_ z)^ n=0\) on \(\Omega\) \(\setminus \{z\}\) such that \(u_ z(\zeta)=\log | \zeta - z| +O(1)\) at \(\zeta =z\); \(u_{\Omega}\) is shown to be continuous outside the diagonal and invariant under biholomorphisms. Bedford and Taylor's Monge-Ampère operators are used in conjunction with a general Lelong-Jensen formula previously found by the author [Mem. Soc. Math. Fr., Nouv. Ser. 19, 124 p. (1985; Zbl 0579.32012)] in order to construct an invariant pluricomplex Poisson kernel \(d\mu_ z(\zeta):= (2\pi)^{- n}(dd^ cu_ z(\zeta))^{n-1}\wedge d^ cu_ z(\zeta)|_{\partial \Omega},\) \((z,\zeta)\in \Omega \times \partial \Omega\). Each measure \(\mu_ z\) on \(\partial \Omega\) is such that \(\mu_ z(V)=V(z)\) for every function V pluriharmonic on \(\Omega\) and continuous on \({\bar \Omega}\); furthermore, \(\mu_ z\) is carried by the set of strictly pseudoconvex points of \(\partial \Omega\) if \({\bar \Omega}\) has a \(C^ 2\) psh defining function. The principal part of the singularity of \(d\mu_ z(\zeta)\) on the diagonal of \(\partial \Omega\) is then computed explicitly when \(\Omega\) is strictly pseudoconvex, using an osculation of \(\partial \Omega\) by balls. Through a complexification process, it is finally shown that Monge-Ampère measures provide an explicit formula representing every point of a convex compact subset \(K\subset {\mathbb{R}}^ n\) as a barycenter of the extremal points of K.
0 references
pluricomplex Green function
0 references
Lelong-Jensen formula
0 references
Monge-Ampère measures
0 references
plurisubharmonic exhaustion function
0 references
hyperconvex domain
0 references
pluriharmonic measures
0 references
Choquet's theorem
0 references
barycentric representation
0 references