The sharp radius in Korenblum's maximum principle for the Fock space

Korenblum’s maximum principle states that if $\mathrm{\mid }f\mathrm{\mid }\le \mathrm{\mid }g\mathrm{\mid }$ near the boundary, then $\mathrm{\parallel }f\mathrm{\parallel }\le \mathrm{\parallel }g\mathrm{\parallel }$. The optimal size of the region of domination has been studied in Bergman spaces since 1991 and in Fock spaces since 2006, but only bounds have been obtained. We determine the optimal size for the Fock space $F^2$ of entire functions that are square integrable with respect to $e^{-\mathrm{\mid }z{\mathrm{\mid }}^2}dA(z)$: if $f,g\in F^2$ and $\mathrm{\mid }f(z)\le \mathrm{\mid }g(z)\mathrm{\mid }$ for all $\mathrm{\mid }z\mathrm{\mid }>1$, then $\mathrm{\parallel }f\mathrm{\parallel }\le \mathrm{\parallel }g\mathrm{\parallel }$. The radius $1$ is optimal and we determine all pairs for which equality holds. To our knowledge, this is the first space of Bergman or Fock type in which the optimal radius in Korenblum’s principle has been determined. The proof combines a Schwarz-Pick estimate centred at infinity with a moment-duality argument, and requires no numerical computation. The same method gives a moment criterion for weighted Fock-type spaces. For every non-increasing radial weight, the optimal radius equals the upper bound given by the pairs $f\equiv c$, $g(z)=z$. In particular, the upper bounds of Wee and Le for such weighted Fock spaces are sharp in the Hilbert space case. We also show that the optimal radius is $\sqrt{(\beta +1)\mathrm{/}\alpha }$ for the weight $\mathrm{\mid }z{\mathrm{\mid }}^{2\beta }{e}^{-\alpha \mathrm{\mid }z{\mathrm{\mid }}^2}$, whenever $-1<\beta \le 5.44$.