Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

share|improve this question
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. –  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
add comment

1 Answer

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

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.