On sharp constants for dual Segal-Bargmann \(L^p\) spaces (Q482758)

The present paper is concerned with holomorphic \(L^p\) spaces associated to Gaussian measure on \(\mathbb C^n\). For \(\alpha >0\), \(n\in\mathbb N\), the Gaussian probability measure \(\gamma_\alpha^n\) on \(\mathbb C^n\) is given by \[ \gamma_\alpha^n(dz) = \left(\tfrac{\alpha}{n}\right)^n e^{-\alpha |z|^2} \lambda^n(dz), \] where \(\lambda^n\) is Lebesgue measure on \(\mathbb C^n\). For \(p\geq 1\), \(\alpha>0\), the dilated holomorphic \(L^p\) spaces are defined by \[ \mathcal H^n_{p,\alpha} = \{f\in \operatorname{Hol}(\mathbb C^n): \|f\|_{p,\alpha}^p =\int |f|^p d\gamma^n_{\alpha p/2} <\infty\}. \] When \(p=2\), these spaces are often called Segal-Bargmann spaces or Fock spaces. Also, for \(\Lambda\in (\mathcal H^n_{p,\alpha})^\ast\), let \(\|\Lambda\|^\ast_{p,\alpha}\) denote the norm of the linear functional \(\Lambda\). It was shown by \textit{S. Janson} et al. [Rev. Mat. Iberoam. 3, No. 1, 61--138 (1987; Zbl 0704.47022)] that the duality relation \((\mathcal H^n_{p,\alpha})^\ast \cong\mathcal H^n_{p',\alpha}\) holds with \(\frac1{p} + \frac1{p'} =1\), but not isometrically. For \(f, g\in \operatorname{Hol}(\mathbb C^n)\), define \(\langle f,g\rangle_\alpha = \int f\overline g d\gamma^n_\alpha\). In [J. Funct. Anal. 261, No. 6, 1591--1623 (2011; Zbl 1236.46021)], the authors proved that for any \(h\in \mathcal H^n_{p',\alpha}\), \[ \|h\|_{p',\alpha} \leq \| \langle \cdot, h\rangle_\alpha\|_{p,\alpha}^\ast \leq C_p^n \|h\|_{p',\alpha}, \] where \(C_p = 2 p^{-1/p}(p')^{-1/p'}\) and \(\langle \cdot,h\rangle_\alpha\) is the linear functional on \(\mathcal H^n_{p,\alpha}\) defined as \(g\to \langle g,h\rangle_\alpha\). In the present paper, the authors are interested in the sharpness of the above inequalities. Whereas the first inequality is shown to be sharp, the second is not, and the authors provide upper and lower bounds on the sharp upper constant. When \(n=1\), one of the results leads to a sharp bound on each Taylor coefficient of a function in the Fock space.