Projective limits of Poletsky-Stessin Hardy spaces (Q2629820)

Let \(D\) be a strongly pseudoconvex domain in \(\mathbb C^n\). Denote by \(\mathcal E(D)\) the set of all continuous functions on \(\overline D\), equal to zero on \(\partial D\) and negative and plurisubharmonic on \(D\); and by \(\mathcal E_1(D)\) the set of all \(u\in\mathcal E (D)\) with Monge-Ampère mass \(\mathrm{MA}(u)=\int_D(dd^cu)^n =1\). For \(u\in\mathcal E (D)\) set \(B_u(r)=\{z\in D:u(z)<r\}\) and \(S_u(r)=\{z\in D:u(z)=r\}\). Let \(\mu_{u,r}=(dd^cu_r)^n-\chi_{D\setminus B_u(r)}(dd^cu)^n\), where \(u_r=\max\{u,r\}\). For \(p\geq 1\), the Hardy space \(H^p_u(D)\) is defined as the space of all holomorphic functions \(f\) on \(D\) such that \(\limsup_{r\to 0^-} \mu_{u,r}(|f|^p)<\infty\). It is shown that the set \(\mathcal E_1(D)\) has a directed partial order. The main result states that the corresponding projective limit of the spaces \(H^p_u(D)\) for \(u\in \mathcal E_1(D)\) is isomorphic to the space \(H^\infty (D)\) of bounded holomorphic functions on \(D\) endowed with a special topology. The proof uses a Lelong-Jensen formula which is due to \textit{J.-P. Demailly} [Math. Z. 194, 519--564 (1987; Zbl 0595.32006)].