A hypercontractive estimate for the heat semigroup on \(P^ 2\) (Q1174219)

Let \({\mathbf P}^ n\) be the \(n\)-dimensional real projective space which can be considered as the \(n\)-sphere \(S^ n\) with antipodal points identified. Let \(d\zeta\) be the normalized Lebesgue measure on \({\mathbf P}^ n\) or \(S^ n\). The norm of the functions on \({\mathbf P}^ n\) is defined by \[ \| f\|_{L^ p({\mathbf P}^ n)}=\int_{P^ n} | f|^ p d\zeta=\int_{S^ n} | f|^ p d\zeta = \| f\|_{L^ p(S^ n)}. \] The following estimate for the heat semigroup on \(S^ n\) is known: \[ \|\exp(t\Delta)f \|_{L^ q(S^ n)}\leq \| f\|_{L^ p(S^ n)},\quad 1\leq p\leq q<\infty\quad\text{and}\quad t\geq{1\over 2^ n} \ln{q-1\over p-1}.\tag{1} \] By using a logarithmic Sobolev inequality which depends on a sharp isoperimetric inequality for \({\mathbf P}^ 2\) the following improvement of (1) is proved: Let \(f\in L^ p({\mathbf P}^ 2)\), \(p\geq 1\), then for \(t\geq{1\over 8} \ln{q-1\over p-1}\) we have \(\|\exp(t\Delta)f\|_{L^ q({\mathbf P}^ 2)}\leq \| f\|_{L^ p({\mathbf P}^ 2)}\).