The pluricomplex Poisson kernel for strongly pseudoconvex domains

DOI10.1016/J.AIM.2021.107577MaRDI QIDQ2227278zbMATH OpenOpenAlexFDO

Authors Filippo Bracci, Alberto Saracco, Stefano Trapani

Publication date 15 February 2021

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2007.06270

holomorphic dynamics pluricomplex Poisson kernel pluripotential theory strongly pseudoconvex domains

Iteration of holomorphic maps, fixed points of holomorphic maps and related problems for several complex variables (32H50) Strongly pseudoconvex domains (32T15) General pluripotential theory (32U15)

Abstract: In this paper we introduce, via a Phragmen-Lindel"of type theorem, a maximal plurisubharmonic function in a strongly pseudoconvex domain. We call such a function the {sl pluricomplex Poisson kernel} because it shares many properties with the classical Poisson kernel of the unit disc. In particular, we show that such a function is continuous, it is zero on the boundary except at one boundary point where it has a non-tangential simple pole, and reproduces pluriharmonic functions. We also use such a function to obtain a new "intrinsic" version of the classical Julia's Lemma and Julia-Wolff-Carath'eodory Theorem.

Review text

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

Recommendations

Cites work

Cited in

(12)

This page was built for publication: The pluricomplex Poisson kernel for strongly pseudoconvex domains

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