Skip to main content
3 of 3
Removed the deprecated (abstract-algebra) tag - see the tag info: https://mathoverflow.net/tags/abstract-algebra/info (if there are some other suitable tags, choose them instead.)
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

$f_n$ is bounded in $C(0,T;H^2(0,L))$ so is $f_n^p$?

Let $1<p<\infty$, and $f_n$ be a bounded sequence in $C(0,T;H^2(0,L))$. It looks obvious to me that $f_n^p$ is also bounded in $C(0,T;H^2(0,L))$. When we take the derivative of $f^p(t)$ twice we get $$(f^p)_{xx}(t)=p(p-1)f^{p-2}(t)(f_x(t))^2+pf^{p-1}(t)f_{xx}(t).$$ Since for every $t\in[0,T]$,$f(t)$ and $f_x^2(t)$ are in $C(0,L)$, we have $(f^p)_{xx}(t)$ in $H^2(0,L)$ using above formula. Does this prove the statement?

Saj_Eda
  • 395
  • 1
  • 11