Sharp \(L^p\) bound for holomorphic functions on the unit disc (Q5964376)

Let \(1<p<\infty\) and \(T\) the unit circle in the complex plane. If \(F\) is holomorphic in the unit disc, then the sharp inequality \(\| F\|_{L^p(T)}\geq \| \Re F\|_{L^p(T)}\) holds. The author solves the problem to find the sharp analogue of the previous inequality subject to the restrictions \[ \Re F(0)=X, \quad \| \Re F\|_{L^p(T)}=Y.\eqno {(1)} \] Theorem 1.1. Let \(1<p<\infty\). Then for any holomorphic function \(F\) on the unit disc satisfying (1), we have \[ \| F\|_{L^p(T)}\geq C_p(X,Y), \] where \[ C_p(X,Y)=\begin{cases} \Bigl( \sin^{-p} \frac{\pi}{2p} (Y^p-|X|^p)+|X|^p\Bigr)^{1/p}, & 1<p\leq 2, \\ \frac{Y}{\cos \phi_p}, & 2<p<\infty, \end{cases} \] where \(\phi_p\) is the unique number in \([0, \frac{\pi}{2p})\) satisfying \(\Bigl(\frac{|X|}{Y}\Bigr)^p=\frac{\cos p\phi _p}{\cos^p \phi_p}\). For each \(p\), \(X\) and \(Y\), the number \(C_p(X,Y) \) cannot be replaced by a smaller one.