No label defined (Q4704584)

Let \(f:[0, 2\pi]\to \mathbb C\) be a function and \(\widetilde f\) its conjugate function. The M. Riesz theorem is that if \(1<p<\infty\) then \((1)\) \(\|f+i\widetilde f\|_p\leq C_p\|f\|_p\), or equivalently \((2)\) \(\|\widetilde f\|_p\leq C_p'\|f\|_p\). In (2), the best constant is known by S. K. Pichorides and B. Cole. In (1), the best constant is known, for the real valued case, by I. E. Verbitskij and M. Essen. This is \(C_p=\bigl(\min(\cos \frac{\pi}{2p}, \sin \frac{\pi}{2p})\bigr)^{-1}\). The author gives the following: If \(p=2^k\), \(k\in \mathbb N\), and \(\hat f(0)=0\), then \[ 2^{1/p}(\cos (\pi/2p))^{-1}\|f\|_p\leq \Biggl(\int_0^{2\pi}|f+i\widetilde f|^p+|f-i\widetilde f|^p\Biggr)^{1/p} \leq 2^{1/p}(\sin (\pi/2p))^{-1}\|f\|_p. \] This is a step to the conjecture that the best constant in (1) for complex valued functions is \(2/\sin(\pi/p)\), and is a consequence of a somewhat more general result whose proof is elementary.