# Frechet Differentiabilty of a Functional defined on some Sobolev Space

How can I prove that the following Functional is Frechet Differentiable and that the Frechet derivative is continuous?
$$I(u)=\int_\Omega |u|^{p+1} dx , \quad 1<p<\frac{n+2}{n-2}$$

where $\Omega$ is a bounded open subset of $\mathbb{R}^n$ and $I$ is a functional on $H^1_0(\Omega).$

-
1) compute the Gateaux derivative $\frac{d}{dt}I(u+t\psi)$; 2) check that it's continuous with respect to the basepoint $u$; 3) apply this. –  user31373 Aug 13 '12 at 20:35
@Leonid Kovalev, thanks, I tried that but I was stuck on Justifying the interchange between the limit and the integral in showing that $$I^\prime(u_n)(\psi) \longrightarrow I^\prime(u)(\psi)$$ if $$u_n\longrightarrow u$$ –  Melusi Aug 13 '12 at 22:06
What did you get for $I'$? –  Davide Giraudo Aug 14 '12 at 8:11
@DavideGiraudo $$I^\prime(u)(\psi)=(p+1)\int_\Omega |u|^{p-1}u\psi dx$$ –  Melusi Aug 14 '12 at 10:55
As was given in the comments, the Gâteaux derivative is $$I'(u)\psi = (p+1) \int_\Omega |u|^{p-1}u\psi.$$ It is clearly linear, and bounded on $L^{p+1}$ since $$|I'(u)\psi| \leq (p+1) \|u\|_{p+1}^p\|\psi\|_{p+1},$$ by the Hölder inequality with the exponents $\frac{p+1}p$ and $p+1$. Here $\|\cdot\|_{q}$ denotes the $L^q$-norm. Then the boundedness on $H^1_0(\Omega)$ follows from the continuity of the embedding $H^1_0\subset L^{p+1}$.
Now we will show the continuity of $I':L^{p+1}\to (L^{p+1})'$, with the latter space taken with its norm topology. First, some elementary calculus. For a constant $a>0$, the function $f(x)=|x|^a x$ is continuously differentiable with $$f'(x) = (a+1)|x|^a,$$ implying that $$\left||x|^ax-|y|^ay\right| \leq (a+1)\left|\int_{x}^{y} |t|^a\mathrm{d}t \right| \leq (a+1)\max\{|x|^a,|y|^a\}|x-y|.$$ Using this, we have $$|I(u)\psi-I(v)\psi|\leq (p+1)\int_\Omega \left||u|^{p-1}u-|v|^{p-1}v\right|\cdot|\psi| \leq p(p+1) \int_\Omega \left(|u|^{p-1}+|v|^{p-1}\right)|u-v|\cdot|\psi|.$$ Finally, it follows from the Hölder inequality with the exponents $\frac{p+1}{p-1}$, $p+1$, and $p+1$ that $$|I(u)\psi-I(v)\psi| \leq p(p+1) \left(\|u\|_{p+1}^{p-1}+\|v\|_{p+1}^{p-1}\right)\|u-v\|_{p+1}\cdot\|\psi\|_{p+1},$$ which establishes the claim. Finally, the continuity of $I':H^1_0\to (H^1_0)'$ follows from the continuity of the embedding $H^1_0\subset L^{p+1}$.