The pluricomplex Poisson kernel for strongly pseudoconvex domains (Q2227278): Difference between revisions

The aim of this article is to introduce, via a Phragmén-Lindelöf type theorem, a special maximal plurisubharmonic function in a strongly pseudoconvex domain with smooth boundary \(D\subset \mathbb C^n\). Let \(p\in \partial D\) and let \(\nu_p\) be the outer unit normal of \(\partial D\) at \(p\). Let \(\Gamma\) denote the set of smooth curves \(\gamma:[0,1]\to D\cup \{p\}\) such that \(\gamma([0,1))\subset D\), \(\gamma(1)=p\) and \(\gamma'(1)\notin T_p\partial D\) and define the following family of plurisubharmonic functions \[\mathcal S_p=\left\{u\in \operatorname{PSH}(D): u<0, \ \forall \,\gamma\in \Gamma \ \limsup_{t\to 1}u(\gamma(t))(1-t)\leq -2\operatorname{Re}\frac {1}{<\gamma'(1),\nu_p>} \right\}.\] The first result of this paper is the existence of the pluricomplex Poisson kernel \(\Omega_{D,p}\) (in analogy to the classical Poisson kernel of the unit disc). There exists a maximal plurisubharmonic function \(\Omega_{D,p}\in \mathcal S_p\) such that for all \(u\in \mathcal S_p\), \(u\leq \Omega_{D,p}\). Moreover, \(\Omega_{D,p}\) is continuous in \(\bar D\setminus\{p\}\), \(\Omega_{D,p}(x)=0\) for all \(x\in \partial D\setminus \{p\}\) and for any \(\gamma\in \Gamma\) \[\lim_{t\to 1}\Omega_{D,p}(\gamma(t))(1-t)=-2\operatorname{Re}\frac {1}{\langle\gamma'(1),\nu_p\rangle}. \] The pluricomplex Poisson kernel is a solution of the following complex Monge-Ampère problem \begin{align*} &u\in \operatorname{PSH}(D)\cap L^{\infty}_{loc}(D);\\ &(dd^cu)^n=0;\\ &u<0;\\ &u(x)=0 \ \text { for } \ x\in \partial D\setminus\{p\};\\ &u(z) \thicksim |z-p|^{-1} \ \text { as } \ z\to p \ \text {non-tangentialy}. \end{align*} The uniqueness of the solution to the above equation is an open problem even in convex case. However, it was proved that if \(u\) is a maximal negative plurisubharmonic function in \(D\) such that \(\lim_{z\to x}u(z)=0\) for all \(x\in D\setminus\{p\}\) and \(\lim_{z\to p}\frac {\Omega_{D,p}(z)}{u(z)}=1\) then \(u=\Omega_{D,p}\). Using the pluricomplex Poisson kernel the authors obtain a new version of the classical Julia's Lemma and Julia-Wolff-Carathéodory's Theorem for strongly pseudoconvex domains. Finally, a new representation formula for plurisubharmonic functions on strongly pseudoconvex domains is proved. The authors show that, in case the pluricomplex Green function \(G_D\) of \(D\) is symmetric, then for all \(z\in D\), \[\Omega_{D,p}(z)=-\frac {\partial G_D(z,p)}{\partial \nu_p},\] and for any plurisubharmonic functions \(u\) which is continuous up to the boundary the following formula holds \begin{align*}u(z)&=\frac {1}{(2\pi)^n}\int_{\partial D}u(x)|\Omega_{D,p}(x)|^n\omega_{\partial D}(x)\\ &-\frac {1}{(2\pi)^n}\int_D|G_D(z,w)|dd^cu(w)\wedge(dd^cG_D(z,w))^{n-1},\end{align*} where \[\omega_{\partial D}=\frac {(dd^c\psi)^{n-1}\wedge d^c\psi}{|d\psi|^n}|_{\partial D}\] and \(\psi\) is a defining function for \(D\).