Plurisubharmonic functions with logarithmic singularities (Q580550): Difference between revisions

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.