Plurisubharmonic functions with logarithmic singularities

Pluriharmonic and plurisubharmonic functions (31C10) Potentials and capacities on other spaces (31C15) Local complex singularities (32S05) Plurisubharmonic functions and generalizations (32U05)

Review text

There are two generalizations of the Green function in pluripotential theory. One of them, \(L_ K\), corresponding to a compact subset K of \({\mathbb{C}}^ n\), is the plurisubharmonic function which vanishes on K, has logarithmic growth at infinity, and satisfy the homogeneous complex Monge-Ampère equation \((dd^ cL_ K)^ n=0\) on \({\mathbb{C}}^ n\setminus K\). The other, \(u_ p\), which arises from a bounded strongly pseudoconvex domain \(\Omega\) and a point \(p\in \Omega\), has a (negative) logarithmic singularity at \(z=p\), satisfies \(u_ p=0\) on \(\partial \Omega\), and \((dd^ cu_ p)^ n=0\) on \(\Omega\) \(\setminus \{p\}\). To study the logarithmic singularity of these two functions, we consider the Robin function, \(\rho\), which is homogeneous of degree 0 and such that \[ \begin{alignedat}{2} L_ K(z)&=\log ^ +| z| + \rho _ K(z) + o(1),&\quad &| z| \to \infty\\ u_ p(z)&=\log | z-p| + \rho _{\Omega,p}(z-p) + o(1),&\quad &z\to p\end{alignedat} \] where o(1) is to be interpreted in an \(L^ 1\) norm. In this paper we develop an integral formula which gives a method for studying \(\rho\) and the class \({\mathcal L}_{\rho}\) of plurisubharmonic functions with logarithmic singularities for which \(\rho\) is defined. As applications we show that \(\rho _ K\) and \(\rho _{\Omega,p}\) converge under monotone sequences of K and \(\Omega\), and we obtain corresponding results on the logarithmic capacity. We also consider the relation between \({\mathcal L}_{\rho}\) and (pluri-) polar sets; it is shown that any pluripolar set E is contained in \(\{\psi =-\infty \}\) for some \(\psi\) \(\in {\mathcal L}_{\rho}\). Finally, we study the propagator \(E^ *=\{z: \psi (z)=-\infty\) for all plurisubharmonic \(\psi\) such that \(\psi =- \infty\) on \(E\}\) of a polar set. We show that if E is disjoint from a smooth algebraic hypersurface A, then \(E^ *\) cannot contain A.

Recommendations

Cites work

Cited in

(28)

This page was built for publication: Plurisubharmonic functions with logarithmic singularities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q580550)