5
$\begingroup$

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

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

  • 1
    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](http://math.stackexchange.com/questions/145910/gateaux-derivative/145993#145993).2012-08-13
  • 0
    @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 $$2012-08-13
  • 0
    What did you get for $I'$?2012-08-14
  • 0
    @DavideGiraudo $$ I^\prime(u)(\psi)=(p+1)\int_\Omega |u|^{p-1}u\psi dx $$2012-08-14

1 Answers 1

3

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}$.