Table of Contents
Fetching ...

Approximation of plurisubharmonic functions by logarithms of Gaussian analytic functions

Kiyoon Eum

TL;DR

The paper addresses approximating a bounded plurisubharmonic function $u$ on a bounded pseudoconvex domain $Ω$ by normalized logarithms of Gaussian analytic functions $f_n$ built from the weighted Bergman spaces $\mathcal{H}(nu)$. By leveraging reproducing kernels and Demailly’s regularization, the authors prove that $\frac{1}{n}\log|f_n|$ converges to $u$ in $L^1_{loc}(Ω)$ almost surely, and that the upper envelope $(\limsup_{n\to\infty} \frac{1}{n}\log|f_n(z)|)^*$ equals $u(z)$ for all $z\in Ω$, with zeros converging to the current $dd^c u$. The framework provides a probabilistic proof of Hörmander’s density result for PSH functions and yields convergence of zero currents, including an explicit description in terms of Bedford–Taylor products. Overall, the work extends prior random-polynomial results to arbitrary continuous psh functions, connecting Gaussian analytic function theory with pluripotential theory and current convergence. The findings offer a stochastic method to approximate plurisubharmonic functions and to study the asymptotic distribution of zeros of holomorphic sections.

Abstract

Let $Ω$ be a bounded pseudoconvex domain in $\mathbb{C}^N$. Given a continuous plurisubharmonic function $u$ on $Ω$, we construct a sequence of Gaussian analytic functions $f_n$ on $Ω$ associated with $u$ such that $\frac{1}{n}\log|f_n|$ converges to $u$ in $L^1_{loc}(Ω)$ almost surely, as $n\rightarrow\infty$. Gaussian analytic function $f_n$ is defined through its covariance, or equivalently, via its reproducing kernel Hilbert space, which corresponds to the weighted Bergman space with weight $e^{-2nu}$ with respect to the Lebesgue measure. As a consequence, we show the normalized zeros of $f_n$ converge to $dd^c u$ in the sense of currents.

Approximation of plurisubharmonic functions by logarithms of Gaussian analytic functions

TL;DR

The paper addresses approximating a bounded plurisubharmonic function on a bounded pseudoconvex domain by normalized logarithms of Gaussian analytic functions built from the weighted Bergman spaces . By leveraging reproducing kernels and Demailly’s regularization, the authors prove that converges to in almost surely, and that the upper envelope equals for all , with zeros converging to the current . The framework provides a probabilistic proof of Hörmander’s density result for PSH functions and yields convergence of zero currents, including an explicit description in terms of Bedford–Taylor products. Overall, the work extends prior random-polynomial results to arbitrary continuous psh functions, connecting Gaussian analytic function theory with pluripotential theory and current convergence. The findings offer a stochastic method to approximate plurisubharmonic functions and to study the asymptotic distribution of zeros of holomorphic sections.

Abstract

Let be a bounded pseudoconvex domain in . Given a continuous plurisubharmonic function on , we construct a sequence of Gaussian analytic functions on associated with such that converges to in almost surely, as . Gaussian analytic function is defined through its covariance, or equivalently, via its reproducing kernel Hilbert space, which corresponds to the weighted Bergman space with weight with respect to the Lebesgue measure. As a consequence, we show the normalized zeros of converge to in the sense of currents.
Paper Structure (5 sections, 11 theorems, 50 equations)

This paper contains 5 sections, 11 theorems, 50 equations.

Key Result

Theorem 1

Let $u$ be arbitrary continuous psh function on $\Omega$ and let $(f_n)_{n}$ be sequence of GAF's defined in Definition GAF. Then and hold almost surely.

Theorems & Definitions (22)

  • Theorem : Main result
  • Remark
  • Proposition 1
  • Lemma 1
  • proof
  • Lemma 2
  • proof
  • Theorem 1
  • proof
  • Proposition 2: demailly1992regularization
  • ...and 12 more