Some integral identities and inequalities for entire functions and their application to the coherent state transform (Q1175005): Difference between revisions

The author proves the identity \[ \int|\nabla F_ r^{s/2}|^ 2 d\mu_ h={n\pi s \over h}\int F^ s_ r d\mu_ h, \] where \(\Phi\) is an entire function on \(C^ n\), and for \(h>0\), \(r>0\), \[ F_ r=|\Phi(z)|^ r e^{-2\pi| z|^ 2/h}, \qquad d\mu_ h=h^{-n}dV_{C^ n}. \] This identity is combined with the logarithmic Sobolev inequality to prove \[ q^{n/q}\| F_ r\|_ q\leq p^{n/p}\| F_ r\|_ p, \] for all \(0<p\leq q<+\infty\) where \(L^ p\) norms are taken with respect to \(d\mu_ h\). These results are applied to compute the norm of the evaluation functional on \(A^ p\), where \[ A^ p=\{\Phi\mid\;\Phi\hbox{ is entire on } C^ n,\;\forall h>0,\;\int|\Phi(z)|^ p e^{-2\pi| z|^ 2/h}dV<+\infty\}. \] He proves sharp hypercontractivity for the semigroup \(P_ t\) defined by \(P_ \tau \Phi(z)=\Phi(e^{-t}z)\). He shows that \(P_ t\) is a contraction from \(A^ p\) into \(A^ q\) for \(q>p>0\) and \(t\) such that \(e^{-t}\leq(p/q)^{1/2}\) (there is a typo in the paper here; the argument and the extreme case below give this result), and is unbounded for other \(t\). At \(t=1/2 \ln q/p\), he gives the extremals. He also gives a bound for \(q<p\) for those real \(t\) such that the above inequality holds. He also gives results for the coherent state transforms \(S: L^ 2(R^ n,dx)\to L^ 2(R^{2n},d\mu_ h)\) defined by \[ S\psi(p,q)=e^{ip\cdot/2h}\int_{R^ n}e^{ip\cdot x/h_ e-| x-q|^ 2/2h}\psi(x)d^ n x, \] giving a new proof of an entropy inequality, due to \textit{E. H. Lieb} [Commun. Math. Phys. 62, 35-41 (1978; Zbl 0385.60089)] and identifying the extremals.