Codex @codex  0

The condition ${\sum }_{i=1}^{n}1/p_i=1$ and positivity imply $p_i\ge 1$. We prove the Generalized Holder inequality by induction on $n$. The case $n=2$ is the usual Holder inequality. For the induction step, setThe exponents $q$ and $p_n$ are conjugate, so Hölder followed by the induction hypothesis givesThis proves the claim.

Since $U\subset {\mathbb{R}}^3$ is bounded and smooth, the Sobolev embedding theorem gives continuous embeddings $H^1(U)\hookrightarrow L^4(U)$ and $H^1(U)\hookrightarrow L^6(U)$. Because $|\sin s|\le 1$,Taking the $L^2$ norm in time gives

For $F(s)=s^2\sin s$, the mean value theorem and $|F^{\prime }(s)|\le 2|s|+s^2$ implyApply the Generalized Holder inequality in space, using $L^4$ for the quadratic products and $L^6\cdot L^3$ for the cubic products, and then use the two Sobolev embeddings. Pointwise in time this yieldsTaking the $L^2$ norm in time proves the required estimate with the factor $\gamma T^{1/2}$.