Show convergence of inner product of an operator and a weak convergent sequence
Let $(u_n)_{ninmathbb{N}}subseteq (W^{1,p}_0(Omega))$, $u_n rightharpoonup u in (W^{1,p}_0(Omega))$ and $B$ be an operator on $(W^{1,p}_0(Omega))times(W^{1,p}_0(Omega))$.
B is defined by $$langle B(w,u), vrangle := int_Omega ||nabla u - h(w)||^{p-2}(nabla u - h(w))nabla v dx,$$ where $h:mathbb{R}tomathbb{R}^n$ is continuous and bounded.
I want to show that $langle B(u_n, v), u_n -urangle to 0$ where $vin (W^{1,p}_0(Omega))$.
Is it right, that I just have to show that $B(u_n, v)in(W^{1,p}_0(Omega))^*$ $forall ninmathbb{N}$?
Then the statement follows from the weak continuity of $(u_n)_{ninmathbb{N}}$ (?)
functional-analysis differential-equations convergence sobolev-spaces weak-convergence
asked 2 days ago
user3766553user3766553
465
|
show 1 more comment
Let $(u_n)_{ninmathbb{N}}subseteq (W^{1,p}_0(Omega))$, $u_n rightharpoonup u in (W^{1,p}_0(Omega))$ and $B$ be an operator on $(W^{1,p}_0(Omega))times(W^{1,p}_0(Omega))$.
B is defined by $$langle B(w,u), vrangle := int_Omega ||nabla u - h(w)||^{p-2}(nabla u - h(w))nabla v dx,$$ where $h:mathbb{R}tomathbb{R}^n$ is continuous and bounded.
I want to show that $langle B(u_n, v), u_n -urangle to 0$ where $vin (W^{1,p}_0(Omega))$.
Is it right, that I just have to show that $B(u_n, v)in(W^{1,p}_0(Omega))^*$ $forall ninmathbb{N}$?
Then the statement follows from the weak continuity of $(u_n)_{ninmathbb{N}}$ (?)
functional-analysis differential-equations convergence sobolev-spaces weak-convergence
asked 2 days ago
user3766553user3766553
465
Is it intended that you first write $B(w,u)$ and then $B(u_n,v)$? Or did you swap the two variables by any chance?
– Lorenzo Quarisa
2 days ago
This is the way it is written in my exercise. So I think it is intended to be like this @LorenzoQuarisa
– user3766553
2 days ago
$Omega$ is bounded, right? Because otherwise for $h(x)=1$ the integral defining $left langle B(w,u),vrightrangle$ might fail to converge
– Lorenzo Quarisa
2 days ago
Actually there is no information about $Omega$ in my exercise. But is my idea right? When $B(u_n, v)in (W^{1,p}_0(Omega ))^*$ $forall nin mathbb{N}$ it holds that $langle B(u_n, v), u_n-urangle to 0$?
– user3766553
yesterday
No, it does not. You need some information on the map $u_nmapsto B(u_n,v)$. A priori, it could be that this dependance makes the evaluation $left langle B(u_n,v),u_n-urightrangle$ blow-up even if $left langle F,u_n-urightrangle$ for all $Fin W_0^{1,p}(Omega)^*$. I think you need to work on the specific expression of $B(w,v)$ here. I tried myself and was not able to solve it, probably because I don't know how to use the condition that $u,vin W_0^{1,p}$ rather than just $W^{1,p}$. Any ideas on that?
– Lorenzo Quarisa
yesterday
|
show 1 more comment
Let $(u_n)_{ninmathbb{N}}subseteq (W^{1,p}_0(Omega))$, $u_n rightharpoonup u in (W^{1,p}_0(Omega))$ and $B$ be an operator on $(W^{1,p}_0(Omega))times(W^{1,p}_0(Omega))$.
B is defined by $$langle B(w,u), vrangle := int_Omega ||nabla u - h(w)||^{p-2}(nabla u - h(w))nabla v dx,$$ where $h:mathbb{R}tomathbb{R}^n$ is continuous and bounded.
I want to show that $langle B(u_n, v), u_n -urangle to 0$ where $vin (W^{1,p}_0(Omega))$.
Is it right, that I just have to show that $B(u_n, v)in(W^{1,p}_0(Omega))^*$ $forall ninmathbb{N}$?
Then the statement follows from the weak continuity of $(u_n)_{ninmathbb{N}}$ (?)
functional-analysis differential-equations convergence sobolev-spaces weak-convergence
asked 2 days ago
user3766553user3766553
465
Let $(u_n)_{ninmathbb{N}}subseteq (W^{1,p}_0(Omega))$, $u_n rightharpoonup u in (W^{1,p}_0(Omega))$ and $B$ be an operator on $(W^{1,p}_0(Omega))times(W^{1,p}_0(Omega))$.
B is defined by $$langle B(w,u), vrangle := int_Omega ||nabla u - h(w)||^{p-2}(nabla u - h(w))nabla v dx,$$ where $h:mathbb{R}tomathbb{R}^n$ is continuous and bounded.
I want to show that $langle B(u_n, v), u_n -urangle to 0$ where $vin (W^{1,p}_0(Omega))$.
Is it right, that I just have to show that $B(u_n, v)in(W^{1,p}_0(Omega))^*$ $forall ninmathbb{N}$?
Then the statement follows from the weak continuity of $(u_n)_{ninmathbb{N}}$ (?)
functional-analysis differential-equations convergence sobolev-spaces weak-convergence
functional-analysis differential-equations convergence sobolev-spaces weak-convergence
asked 2 days ago
user3766553user3766553
465
asked 2 days ago
user3766553user3766553
465
asked 2 days ago
user3766553user3766553
465
asked 2 days ago
user3766553user3766553
465
asked 2 days ago
user3766553user3766553
465
465
Is it intended that you first write $B(w,u)$ and then $B(u_n,v)$? Or did you swap the two variables by any chance?
– Lorenzo Quarisa
2 days ago
This is the way it is written in my exercise. So I think it is intended to be like this @LorenzoQuarisa
– user3766553
2 days ago
$Omega$ is bounded, right? Because otherwise for $h(x)=1$ the integral defining $left langle B(w,u),vrightrangle$ might fail to converge
– Lorenzo Quarisa
2 days ago
Actually there is no information about $Omega$ in my exercise. But is my idea right? When $B(u_n, v)in (W^{1,p}_0(Omega ))^*$ $forall nin mathbb{N}$ it holds that $langle B(u_n, v), u_n-urangle to 0$?
– user3766553
yesterday
No, it does not. You need some information on the map $u_nmapsto B(u_n,v)$. A priori, it could be that this dependance makes the evaluation $left langle B(u_n,v),u_n-urightrangle$ blow-up even if $left langle F,u_n-urightrangle$ for all $Fin W_0^{1,p}(Omega)^*$. I think you need to work on the specific expression of $B(w,v)$ here. I tried myself and was not able to solve it, probably because I don't know how to use the condition that $u,vin W_0^{1,p}$ rather than just $W^{1,p}$. Any ideas on that?
– Lorenzo Quarisa
yesterday
|
show 1 more comment
Is it intended that you first write $B(w,u)$ and then $B(u_n,v)$? Or did you swap the two variables by any chance?
– Lorenzo Quarisa
2 days ago
This is the way it is written in my exercise. So I think it is intended to be like this @LorenzoQuarisa
– user3766553
2 days ago
$Omega$ is bounded, right? Because otherwise for $h(x)=1$ the integral defining $left langle B(w,u),vrightrangle$ might fail to converge
– Lorenzo Quarisa
2 days ago
Actually there is no information about $Omega$ in my exercise. But is my idea right? When $B(u_n, v)in (W^{1,p}_0(Omega ))^*$ $forall nin mathbb{N}$ it holds that $langle B(u_n, v), u_n-urangle to 0$?
– user3766553
yesterday
No, it does not. You need some information on the map $u_nmapsto B(u_n,v)$. A priori, it could be that this dependance makes the evaluation $left langle B(u_n,v),u_n-urightrangle$ blow-up even if $left langle F,u_n-urightrangle$ for all $Fin W_0^{1,p}(Omega)^*$. I think you need to work on the specific expression of $B(w,v)$ here. I tried myself and was not able to solve it, probably because I don't know how to use the condition that $u,vin W_0^{1,p}$ rather than just $W^{1,p}$. Any ideas on that?
– Lorenzo Quarisa
yesterday
Is it intended that you first write $B(w,u)$ and then $B(u_n,v)$? Or did you swap the two variables by any chance?
– Lorenzo Quarisa
2 days ago
Is it intended that you first write $B(w,u)$ and then $B(u_n,v)$? Or did you swap the two variables by any chance?
– Lorenzo Quarisa
2 days ago
This is the way it is written in my exercise. So I think it is intended to be like this @LorenzoQuarisa
– user3766553
2 days ago
This is the way it is written in my exercise. So I think it is intended to be like this @LorenzoQuarisa
– user3766553
2 days ago
$Omega$ is bounded, right? Because otherwise for $h(x)=1$ the integral defining $left langle B(w,u),vrightrangle$ might fail to converge
– Lorenzo Quarisa
2 days ago
$Omega$ is bounded, right? Because otherwise for $h(x)=1$ the integral defining $left langle B(w,u),vrightrangle$ might fail to converge
– Lorenzo Quarisa
2 days ago
Actually there is no information about $Omega$ in my exercise. But is my idea right? When $B(u_n, v)in (W^{1,p}_0(Omega ))^*$ $forall nin mathbb{N}$ it holds that $langle B(u_n, v), u_n-urangle to 0$?
– user3766553
yesterday
Actually there is no information about $Omega$ in my exercise. But is my idea right? When $B(u_n, v)in (W^{1,p}_0(Omega ))^*$ $forall nin mathbb{N}$ it holds that $langle B(u_n, v), u_n-urangle to 0$?
– user3766553
yesterday
No, it does not. You need some information on the map $u_nmapsto B(u_n,v)$. A priori, it could be that this dependance makes the evaluation $left langle B(u_n,v),u_n-urightrangle$ blow-up even if $left langle F,u_n-urightrangle$ for all $Fin W_0^{1,p}(Omega)^*$. I think you need to work on the specific expression of $B(w,v)$ here. I tried myself and was not able to solve it, probably because I don't know how to use the condition that $u,vin W_0^{1,p}$ rather than just $W^{1,p}$. Any ideas on that?
– Lorenzo Quarisa
yesterday
No, it does not. You need some information on the map $u_nmapsto B(u_n,v)$. A priori, it could be that this dependance makes the evaluation $left langle B(u_n,v),u_n-urightrangle$ blow-up even if $left langle F,u_n-urightrangle$ for all $Fin W_0^{1,p}(Omega)^*$. I think you need to work on the specific expression of $B(w,v)$ here. I tried myself and was not able to solve it, probably because I don't know how to use the condition that $u,vin W_0^{1,p}$ rather than just $W^{1,p}$. Any ideas on that?
– Lorenzo Quarisa
yesterday
|
show 1 more comment
0
active
oldest
votes
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3062719%2fshow-convergence-of-inner-product-of-an-operator-and-a-weak-convergent-sequence%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3062719%2fshow-convergence-of-inner-product-of-an-operator-and-a-weak-convergent-sequence%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
Is it intended that you first write $B(w,u)$ and then $B(u_n,v)$? Or did you swap the two variables by any chance?
– Lorenzo Quarisa
2 days ago
This is the way it is written in my exercise. So I think it is intended to be like this @LorenzoQuarisa
– user3766553
2 days ago
$Omega$ is bounded, right? Because otherwise for $h(x)=1$ the integral defining $left langle B(w,u),vrightrangle$ might fail to converge
– Lorenzo Quarisa
2 days ago
Actually there is no information about $Omega$ in my exercise. But is my idea right? When $B(u_n, v)in (W^{1,p}_0(Omega ))^*$ $forall nin mathbb{N}$ it holds that $langle B(u_n, v), u_n-urangle to 0$?
– user3766553
yesterday
No, it does not. You need some information on the map $u_nmapsto B(u_n,v)$. A priori, it could be that this dependance makes the evaluation $left langle B(u_n,v),u_n-urightrangle$ blow-up even if $left langle F,u_n-urightrangle$ for all $Fin W_0^{1,p}(Omega)^*$. I think you need to work on the specific expression of $B(w,v)$ here. I tried myself and was not able to solve it, probably because I don't know how to use the condition that $u,vin W_0^{1,p}$ rather than just $W^{1,p}$. Any ideas on that?
– Lorenzo Quarisa
yesterday