Inequalities for sourcewise representable functions and their applications (Q1277556)

The following generalized Wirtinger inequality is proven: Let \(0<q\leq p<\infty\) and let \(p>1\). Then any function \(x(\cdot)\in W^1_p(I,\Gamma_0)\) (in other words, \(x(0)= 0\), \(x(\cdot)\) is an absolutely continuous function on \([0,1]\) and \(\int^1_0|\dot x|^p dx<\infty\)) satisfies the exact inequality \[ \|x(\cdot)\|_{L_q[0,1]}\leq K_{pq}\|\dot x(\cdot)\|_{L_p[0,1]}, \] where \[ K_{pq}= \Biggl({1\over q}+{1\over p'}\Biggr)^{-(1/q+ 1/p')} q^{-1/q'}(p')^{-1/p'} {\Gamma(1+ 1/q+ 1/p')\over \Gamma(1+ 1/q)\Gamma(1+ 1/p')}. \] For \(p>1\), this inequality becomes an equality only for the functions \(x(t)= c\widehat x(t)\), where \(\widehat x(t)\) is uniquely determined by the relations: \[ \widehat\lambda^q \int^1_t \widehat x^{q-1}(\tau) d\tau= \dot{\widehat x}^{p-1}(t),\quad \widehat x(t)>0,\quad 0<t\leq 1, \] \[ \int^1_0 \dot{\widehat x}^p(t) dt= 1,\quad \lambda= \Biggl(\int^1_0\widehat x^q(t) dt\Biggr)^{-{1\over q}}. \]