Bounded sequence in Sobolev Space












3














Hi can anyone complete my solution (or give a better solution /hints to a better solution) to the following problem :





Define : The Sobolev Space $W^{1,4}(mathbb{T}^{2})$ as
$$W^{1,4}(mathbb{T}^{2})={u~:~~ uin L^4_{loc}(mathbb{R}^2), ~~ Delta uin L^4_{loc}(mathbb{R}^2),~~ u(x_{1}+1,x_{2})=u(x_{1},x_{2}),~~u(x_{1},x_{2}+1)=u(x_{1}+1,x_{2}),~~ int_{(0,1)^{2}}u~=0 } $$



Define : The functional $J:W^{1,4}(mathbb{T}^2)to mathbb{R} $ (for some $fin L^2(mathbb{T}^2) $)



$$J(u)=frac{1}{2}int_{(0,1)^{2}}|Du|^2 + int_{(0,1)^{2}}u_{x_{1}}^4+u_{x_{2}}^4 - int_{(0,1)^{2}}fu$$



Show that if $J(u_{n})to inf_{u}J(u)$ then ${ u_{n}}$ is bounded in $W^{1,4}(mathbb{T}^2)$.



$bf{Hint}$ Use Poincare-Writinger inequality to justify why $exists C>0$ s.t for any $uin W^{1,4}(mathbb{T}^2)$



$$||u||_{W^{1,4}(mathbb{T}^2)}leq C|| D u||_{W^{1,4}(mathbb{T}^2)} $$



Note : $Du=(u_{x_{1}},u_{x_{2}})$





$bf{My Attempt}$ ( note : we only need to bound the tail of the sequence)



Let $epsilon>0$ using the definition of limit $exists N$ s.t $forall n>N$



$$| J(u_{n})-inf J(u) | leq epsilon $$



Now using definition of infimum it follows



$$J(u_{n})leq epsilon +inf J(u) $$
$$J(u_{n}) leq eta ~~~~ forall n>N $$



Now were done if we can show $||u_{n}||_{W^{1,4}(mathbb{T}^2)} leq J(u_{n})$
Im struggling to extract $||u_{n}||_{W^{1,4}}(mathbb{T}^2)$ from the above because of the $-int_{(0,1)^2} fu_{n} $ term. I guess its a combination of Holder, $f$ zero average, and the 'hint'.










share|cite|improve this question









New contributor




rogerroger is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • What is $Delta$?
    – timur
    Dec 26 '18 at 19:43










  • @timur Sorry I meant to write $||Du||_{W^{1,4}(mathbb{T}^2)}$, I will edit now
    – rogerroger
    Dec 26 '18 at 19:59
















3














Hi can anyone complete my solution (or give a better solution /hints to a better solution) to the following problem :





Define : The Sobolev Space $W^{1,4}(mathbb{T}^{2})$ as
$$W^{1,4}(mathbb{T}^{2})={u~:~~ uin L^4_{loc}(mathbb{R}^2), ~~ Delta uin L^4_{loc}(mathbb{R}^2),~~ u(x_{1}+1,x_{2})=u(x_{1},x_{2}),~~u(x_{1},x_{2}+1)=u(x_{1}+1,x_{2}),~~ int_{(0,1)^{2}}u~=0 } $$



Define : The functional $J:W^{1,4}(mathbb{T}^2)to mathbb{R} $ (for some $fin L^2(mathbb{T}^2) $)



$$J(u)=frac{1}{2}int_{(0,1)^{2}}|Du|^2 + int_{(0,1)^{2}}u_{x_{1}}^4+u_{x_{2}}^4 - int_{(0,1)^{2}}fu$$



Show that if $J(u_{n})to inf_{u}J(u)$ then ${ u_{n}}$ is bounded in $W^{1,4}(mathbb{T}^2)$.



$bf{Hint}$ Use Poincare-Writinger inequality to justify why $exists C>0$ s.t for any $uin W^{1,4}(mathbb{T}^2)$



$$||u||_{W^{1,4}(mathbb{T}^2)}leq C|| D u||_{W^{1,4}(mathbb{T}^2)} $$



Note : $Du=(u_{x_{1}},u_{x_{2}})$





$bf{My Attempt}$ ( note : we only need to bound the tail of the sequence)



Let $epsilon>0$ using the definition of limit $exists N$ s.t $forall n>N$



$$| J(u_{n})-inf J(u) | leq epsilon $$



Now using definition of infimum it follows



$$J(u_{n})leq epsilon +inf J(u) $$
$$J(u_{n}) leq eta ~~~~ forall n>N $$



Now were done if we can show $||u_{n}||_{W^{1,4}(mathbb{T}^2)} leq J(u_{n})$
Im struggling to extract $||u_{n}||_{W^{1,4}}(mathbb{T}^2)$ from the above because of the $-int_{(0,1)^2} fu_{n} $ term. I guess its a combination of Holder, $f$ zero average, and the 'hint'.










share|cite|improve this question









New contributor




rogerroger is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.




















  • What is $Delta$?
    – timur
    Dec 26 '18 at 19:43










  • @timur Sorry I meant to write $||Du||_{W^{1,4}(mathbb{T}^2)}$, I will edit now
    – rogerroger
    Dec 26 '18 at 19:59














3












3








3







Hi can anyone complete my solution (or give a better solution /hints to a better solution) to the following problem :





Define : The Sobolev Space $W^{1,4}(mathbb{T}^{2})$ as
$$W^{1,4}(mathbb{T}^{2})={u~:~~ uin L^4_{loc}(mathbb{R}^2), ~~ Delta uin L^4_{loc}(mathbb{R}^2),~~ u(x_{1}+1,x_{2})=u(x_{1},x_{2}),~~u(x_{1},x_{2}+1)=u(x_{1}+1,x_{2}),~~ int_{(0,1)^{2}}u~=0 } $$



Define : The functional $J:W^{1,4}(mathbb{T}^2)to mathbb{R} $ (for some $fin L^2(mathbb{T}^2) $)



$$J(u)=frac{1}{2}int_{(0,1)^{2}}|Du|^2 + int_{(0,1)^{2}}u_{x_{1}}^4+u_{x_{2}}^4 - int_{(0,1)^{2}}fu$$



Show that if $J(u_{n})to inf_{u}J(u)$ then ${ u_{n}}$ is bounded in $W^{1,4}(mathbb{T}^2)$.



$bf{Hint}$ Use Poincare-Writinger inequality to justify why $exists C>0$ s.t for any $uin W^{1,4}(mathbb{T}^2)$



$$||u||_{W^{1,4}(mathbb{T}^2)}leq C|| D u||_{W^{1,4}(mathbb{T}^2)} $$



Note : $Du=(u_{x_{1}},u_{x_{2}})$





$bf{My Attempt}$ ( note : we only need to bound the tail of the sequence)



Let $epsilon>0$ using the definition of limit $exists N$ s.t $forall n>N$



$$| J(u_{n})-inf J(u) | leq epsilon $$



Now using definition of infimum it follows



$$J(u_{n})leq epsilon +inf J(u) $$
$$J(u_{n}) leq eta ~~~~ forall n>N $$



Now were done if we can show $||u_{n}||_{W^{1,4}(mathbb{T}^2)} leq J(u_{n})$
Im struggling to extract $||u_{n}||_{W^{1,4}}(mathbb{T}^2)$ from the above because of the $-int_{(0,1)^2} fu_{n} $ term. I guess its a combination of Holder, $f$ zero average, and the 'hint'.










share|cite|improve this question









New contributor




rogerroger is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











Hi can anyone complete my solution (or give a better solution /hints to a better solution) to the following problem :





Define : The Sobolev Space $W^{1,4}(mathbb{T}^{2})$ as
$$W^{1,4}(mathbb{T}^{2})={u~:~~ uin L^4_{loc}(mathbb{R}^2), ~~ Delta uin L^4_{loc}(mathbb{R}^2),~~ u(x_{1}+1,x_{2})=u(x_{1},x_{2}),~~u(x_{1},x_{2}+1)=u(x_{1}+1,x_{2}),~~ int_{(0,1)^{2}}u~=0 } $$



Define : The functional $J:W^{1,4}(mathbb{T}^2)to mathbb{R} $ (for some $fin L^2(mathbb{T}^2) $)



$$J(u)=frac{1}{2}int_{(0,1)^{2}}|Du|^2 + int_{(0,1)^{2}}u_{x_{1}}^4+u_{x_{2}}^4 - int_{(0,1)^{2}}fu$$



Show that if $J(u_{n})to inf_{u}J(u)$ then ${ u_{n}}$ is bounded in $W^{1,4}(mathbb{T}^2)$.



$bf{Hint}$ Use Poincare-Writinger inequality to justify why $exists C>0$ s.t for any $uin W^{1,4}(mathbb{T}^2)$



$$||u||_{W^{1,4}(mathbb{T}^2)}leq C|| D u||_{W^{1,4}(mathbb{T}^2)} $$



Note : $Du=(u_{x_{1}},u_{x_{2}})$





$bf{My Attempt}$ ( note : we only need to bound the tail of the sequence)



Let $epsilon>0$ using the definition of limit $exists N$ s.t $forall n>N$



$$| J(u_{n})-inf J(u) | leq epsilon $$



Now using definition of infimum it follows



$$J(u_{n})leq epsilon +inf J(u) $$
$$J(u_{n}) leq eta ~~~~ forall n>N $$



Now were done if we can show $||u_{n}||_{W^{1,4}(mathbb{T}^2)} leq J(u_{n})$
Im struggling to extract $||u_{n}||_{W^{1,4}}(mathbb{T}^2)$ from the above because of the $-int_{(0,1)^2} fu_{n} $ term. I guess its a combination of Holder, $f$ zero average, and the 'hint'.







sequences-and-series functional-analysis sobolev-spaces lp-spaces






share|cite|improve this question









New contributor




rogerroger is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.











share|cite|improve this question









New contributor




rogerroger is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









share|cite|improve this question




share|cite|improve this question








edited Dec 28 '18 at 23:03





















New contributor




rogerroger is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.









asked Dec 26 '18 at 17:48









rogerroger

293




293




New contributor




rogerroger is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.





New contributor





rogerroger is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.






rogerroger is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.












  • What is $Delta$?
    – timur
    Dec 26 '18 at 19:43










  • @timur Sorry I meant to write $||Du||_{W^{1,4}(mathbb{T}^2)}$, I will edit now
    – rogerroger
    Dec 26 '18 at 19:59


















  • What is $Delta$?
    – timur
    Dec 26 '18 at 19:43










  • @timur Sorry I meant to write $||Du||_{W^{1,4}(mathbb{T}^2)}$, I will edit now
    – rogerroger
    Dec 26 '18 at 19:59
















What is $Delta$?
– timur
Dec 26 '18 at 19:43




What is $Delta$?
– timur
Dec 26 '18 at 19:43












@timur Sorry I meant to write $||Du||_{W^{1,4}(mathbb{T}^2)}$, I will edit now
– rogerroger
Dec 26 '18 at 19:59




@timur Sorry I meant to write $||Du||_{W^{1,4}(mathbb{T}^2)}$, I will edit now
– rogerroger
Dec 26 '18 at 19:59










1 Answer
1






active

oldest

votes


















1














We have
$$
|int fu| leq |f|_{L^2}|u|_{L^2}
leq
varepsilon|u|_{L^2}^2+frac4varepsilon|f|_{L^2}^2
leq
Cvarepsilon|Du|_{L^2}^2+frac4varepsilon|f|_{L^2}^2 ,
$$

where we have used the fact that $int u=0$ in combination with the Poincare-Wirtinger inequality. Take $varepsilon>0$ small enough, and get
$$
|Du|_{L^4}^4leqalpha J(u) + beta
$$

for some constants $alpha,beta$.






share|cite|improve this answer





















  • Is it obvious that we can apply Poincare-Wirtinger in this way for all $u in W^{1,4}(mathbb{T}^2)$
    – rogerroger
    Dec 26 '18 at 21:05










  • Thanks by the way, I should of thought to apply the epsilon young inequality it is used everywhere :)
    – rogerroger
    Dec 26 '18 at 21:06






  • 1




    @rogerroger: Yes, because the domain is bounded, there is the continuous embedding $W^{1,4}subset W^{1,2}$.
    – timur
    Dec 26 '18 at 21:10










  • and I assume you have used $u$ having zero average by not regarding it in your $||cdot ||_{W^{1,4}}$ norm?
    – rogerroger
    Dec 27 '18 at 17:43










  • I don't know exactly which step you are referring to but you will need that at some point.
    – timur
    Dec 27 '18 at 19:50











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});






rogerroger is a new contributor. Be nice, and check out our Code of Conduct.










draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3053147%2fbounded-sequence-in-sobolev-space%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









1














We have
$$
|int fu| leq |f|_{L^2}|u|_{L^2}
leq
varepsilon|u|_{L^2}^2+frac4varepsilon|f|_{L^2}^2
leq
Cvarepsilon|Du|_{L^2}^2+frac4varepsilon|f|_{L^2}^2 ,
$$

where we have used the fact that $int u=0$ in combination with the Poincare-Wirtinger inequality. Take $varepsilon>0$ small enough, and get
$$
|Du|_{L^4}^4leqalpha J(u) + beta
$$

for some constants $alpha,beta$.






share|cite|improve this answer





















  • Is it obvious that we can apply Poincare-Wirtinger in this way for all $u in W^{1,4}(mathbb{T}^2)$
    – rogerroger
    Dec 26 '18 at 21:05










  • Thanks by the way, I should of thought to apply the epsilon young inequality it is used everywhere :)
    – rogerroger
    Dec 26 '18 at 21:06






  • 1




    @rogerroger: Yes, because the domain is bounded, there is the continuous embedding $W^{1,4}subset W^{1,2}$.
    – timur
    Dec 26 '18 at 21:10










  • and I assume you have used $u$ having zero average by not regarding it in your $||cdot ||_{W^{1,4}}$ norm?
    – rogerroger
    Dec 27 '18 at 17:43










  • I don't know exactly which step you are referring to but you will need that at some point.
    – timur
    Dec 27 '18 at 19:50
















1














We have
$$
|int fu| leq |f|_{L^2}|u|_{L^2}
leq
varepsilon|u|_{L^2}^2+frac4varepsilon|f|_{L^2}^2
leq
Cvarepsilon|Du|_{L^2}^2+frac4varepsilon|f|_{L^2}^2 ,
$$

where we have used the fact that $int u=0$ in combination with the Poincare-Wirtinger inequality. Take $varepsilon>0$ small enough, and get
$$
|Du|_{L^4}^4leqalpha J(u) + beta
$$

for some constants $alpha,beta$.






share|cite|improve this answer





















  • Is it obvious that we can apply Poincare-Wirtinger in this way for all $u in W^{1,4}(mathbb{T}^2)$
    – rogerroger
    Dec 26 '18 at 21:05










  • Thanks by the way, I should of thought to apply the epsilon young inequality it is used everywhere :)
    – rogerroger
    Dec 26 '18 at 21:06






  • 1




    @rogerroger: Yes, because the domain is bounded, there is the continuous embedding $W^{1,4}subset W^{1,2}$.
    – timur
    Dec 26 '18 at 21:10










  • and I assume you have used $u$ having zero average by not regarding it in your $||cdot ||_{W^{1,4}}$ norm?
    – rogerroger
    Dec 27 '18 at 17:43










  • I don't know exactly which step you are referring to but you will need that at some point.
    – timur
    Dec 27 '18 at 19:50














1












1








1






We have
$$
|int fu| leq |f|_{L^2}|u|_{L^2}
leq
varepsilon|u|_{L^2}^2+frac4varepsilon|f|_{L^2}^2
leq
Cvarepsilon|Du|_{L^2}^2+frac4varepsilon|f|_{L^2}^2 ,
$$

where we have used the fact that $int u=0$ in combination with the Poincare-Wirtinger inequality. Take $varepsilon>0$ small enough, and get
$$
|Du|_{L^4}^4leqalpha J(u) + beta
$$

for some constants $alpha,beta$.






share|cite|improve this answer












We have
$$
|int fu| leq |f|_{L^2}|u|_{L^2}
leq
varepsilon|u|_{L^2}^2+frac4varepsilon|f|_{L^2}^2
leq
Cvarepsilon|Du|_{L^2}^2+frac4varepsilon|f|_{L^2}^2 ,
$$

where we have used the fact that $int u=0$ in combination with the Poincare-Wirtinger inequality. Take $varepsilon>0$ small enough, and get
$$
|Du|_{L^4}^4leqalpha J(u) + beta
$$

for some constants $alpha,beta$.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered Dec 26 '18 at 20:55









timur

11.8k1943




11.8k1943












  • Is it obvious that we can apply Poincare-Wirtinger in this way for all $u in W^{1,4}(mathbb{T}^2)$
    – rogerroger
    Dec 26 '18 at 21:05










  • Thanks by the way, I should of thought to apply the epsilon young inequality it is used everywhere :)
    – rogerroger
    Dec 26 '18 at 21:06






  • 1




    @rogerroger: Yes, because the domain is bounded, there is the continuous embedding $W^{1,4}subset W^{1,2}$.
    – timur
    Dec 26 '18 at 21:10










  • and I assume you have used $u$ having zero average by not regarding it in your $||cdot ||_{W^{1,4}}$ norm?
    – rogerroger
    Dec 27 '18 at 17:43










  • I don't know exactly which step you are referring to but you will need that at some point.
    – timur
    Dec 27 '18 at 19:50


















  • Is it obvious that we can apply Poincare-Wirtinger in this way for all $u in W^{1,4}(mathbb{T}^2)$
    – rogerroger
    Dec 26 '18 at 21:05










  • Thanks by the way, I should of thought to apply the epsilon young inequality it is used everywhere :)
    – rogerroger
    Dec 26 '18 at 21:06






  • 1




    @rogerroger: Yes, because the domain is bounded, there is the continuous embedding $W^{1,4}subset W^{1,2}$.
    – timur
    Dec 26 '18 at 21:10










  • and I assume you have used $u$ having zero average by not regarding it in your $||cdot ||_{W^{1,4}}$ norm?
    – rogerroger
    Dec 27 '18 at 17:43










  • I don't know exactly which step you are referring to but you will need that at some point.
    – timur
    Dec 27 '18 at 19:50
















Is it obvious that we can apply Poincare-Wirtinger in this way for all $u in W^{1,4}(mathbb{T}^2)$
– rogerroger
Dec 26 '18 at 21:05




Is it obvious that we can apply Poincare-Wirtinger in this way for all $u in W^{1,4}(mathbb{T}^2)$
– rogerroger
Dec 26 '18 at 21:05












Thanks by the way, I should of thought to apply the epsilon young inequality it is used everywhere :)
– rogerroger
Dec 26 '18 at 21:06




Thanks by the way, I should of thought to apply the epsilon young inequality it is used everywhere :)
– rogerroger
Dec 26 '18 at 21:06




1




1




@rogerroger: Yes, because the domain is bounded, there is the continuous embedding $W^{1,4}subset W^{1,2}$.
– timur
Dec 26 '18 at 21:10




@rogerroger: Yes, because the domain is bounded, there is the continuous embedding $W^{1,4}subset W^{1,2}$.
– timur
Dec 26 '18 at 21:10












and I assume you have used $u$ having zero average by not regarding it in your $||cdot ||_{W^{1,4}}$ norm?
– rogerroger
Dec 27 '18 at 17:43




and I assume you have used $u$ having zero average by not regarding it in your $||cdot ||_{W^{1,4}}$ norm?
– rogerroger
Dec 27 '18 at 17:43












I don't know exactly which step you are referring to but you will need that at some point.
– timur
Dec 27 '18 at 19:50




I don't know exactly which step you are referring to but you will need that at some point.
– timur
Dec 27 '18 at 19:50










rogerroger is a new contributor. Be nice, and check out our Code of Conduct.










draft saved

draft discarded


















rogerroger is a new contributor. Be nice, and check out our Code of Conduct.













rogerroger is a new contributor. Be nice, and check out our Code of Conduct.












rogerroger is a new contributor. Be nice, and check out our Code of Conduct.
















Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3053147%2fbounded-sequence-in-sobolev-space%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Human spaceflight

Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

File:DeusFollowingSea.jpg