Is there a bounded domain on which Poincaré's inequality does not hold?
Suppose that $U$ is a bounded domain in $mathbb{R}^n$. Poincaré's inequality states that (for $U$ sufficiently "nice") there exists a constant $C>0$ such that if $uin H^1(U)$ satisfies $int_U u = 0$ then
$$
int_U lvert urvert^2 leq Cint_U lvert nabla u rvert^2
$$
I was wondering if it was possible to find an example of a bounded domain on which the inequality does not hold. The proof for this inequality in Evan's PDE requires $U$ to be an extension domain. So I though that maybe the inequality would be false on a domain as simple as $U = {(x,y) : 0<x<1, 0<y<x^2}$.
I tried to construct a sequence of functions $u_kin H^1(U)$ satisfying $int_U u_k = 0$ and such that
$$
frac{int_U lvert u_krvert^2}{int_U lvert nabla u_k rvert^2} toinfty
$$
but unforunately I was unable to obtain such a sequence.
Is the inequality always true on bounded domains? Or is it indeed possible to find a counter-example
functional-analysis pde sobolev-spaces examples-counterexamples
add a comment |
Suppose that $U$ is a bounded domain in $mathbb{R}^n$. Poincaré's inequality states that (for $U$ sufficiently "nice") there exists a constant $C>0$ such that if $uin H^1(U)$ satisfies $int_U u = 0$ then
$$
int_U lvert urvert^2 leq Cint_U lvert nabla u rvert^2
$$
I was wondering if it was possible to find an example of a bounded domain on which the inequality does not hold. The proof for this inequality in Evan's PDE requires $U$ to be an extension domain. So I though that maybe the inequality would be false on a domain as simple as $U = {(x,y) : 0<x<1, 0<y<x^2}$.
I tried to construct a sequence of functions $u_kin H^1(U)$ satisfying $int_U u_k = 0$ and such that
$$
frac{int_U lvert u_krvert^2}{int_U lvert nabla u_k rvert^2} toinfty
$$
but unforunately I was unable to obtain such a sequence.
Is the inequality always true on bounded domains? Or is it indeed possible to find a counter-example
functional-analysis pde sobolev-spaces examples-counterexamples
What is your definition of "domain"?
– gerw
Nov 27 at 7:05
I think Evans takes domain to be “open and connected”. @gerw
– DaveNine
Nov 27 at 8:04
add a comment |
Suppose that $U$ is a bounded domain in $mathbb{R}^n$. Poincaré's inequality states that (for $U$ sufficiently "nice") there exists a constant $C>0$ such that if $uin H^1(U)$ satisfies $int_U u = 0$ then
$$
int_U lvert urvert^2 leq Cint_U lvert nabla u rvert^2
$$
I was wondering if it was possible to find an example of a bounded domain on which the inequality does not hold. The proof for this inequality in Evan's PDE requires $U$ to be an extension domain. So I though that maybe the inequality would be false on a domain as simple as $U = {(x,y) : 0<x<1, 0<y<x^2}$.
I tried to construct a sequence of functions $u_kin H^1(U)$ satisfying $int_U u_k = 0$ and such that
$$
frac{int_U lvert u_krvert^2}{int_U lvert nabla u_k rvert^2} toinfty
$$
but unforunately I was unable to obtain such a sequence.
Is the inequality always true on bounded domains? Or is it indeed possible to find a counter-example
functional-analysis pde sobolev-spaces examples-counterexamples
Suppose that $U$ is a bounded domain in $mathbb{R}^n$. Poincaré's inequality states that (for $U$ sufficiently "nice") there exists a constant $C>0$ such that if $uin H^1(U)$ satisfies $int_U u = 0$ then
$$
int_U lvert urvert^2 leq Cint_U lvert nabla u rvert^2
$$
I was wondering if it was possible to find an example of a bounded domain on which the inequality does not hold. The proof for this inequality in Evan's PDE requires $U$ to be an extension domain. So I though that maybe the inequality would be false on a domain as simple as $U = {(x,y) : 0<x<1, 0<y<x^2}$.
I tried to construct a sequence of functions $u_kin H^1(U)$ satisfying $int_U u_k = 0$ and such that
$$
frac{int_U lvert u_krvert^2}{int_U lvert nabla u_k rvert^2} toinfty
$$
but unforunately I was unable to obtain such a sequence.
Is the inequality always true on bounded domains? Or is it indeed possible to find a counter-example
functional-analysis pde sobolev-spaces examples-counterexamples
functional-analysis pde sobolev-spaces examples-counterexamples
asked Nov 27 at 0:41
Quoka
1,208212
1,208212
What is your definition of "domain"?
– gerw
Nov 27 at 7:05
I think Evans takes domain to be “open and connected”. @gerw
– DaveNine
Nov 27 at 8:04
add a comment |
What is your definition of "domain"?
– gerw
Nov 27 at 7:05
I think Evans takes domain to be “open and connected”. @gerw
– DaveNine
Nov 27 at 8:04
What is your definition of "domain"?
– gerw
Nov 27 at 7:05
What is your definition of "domain"?
– gerw
Nov 27 at 7:05
I think Evans takes domain to be “open and connected”. @gerw
– DaveNine
Nov 27 at 8:04
I think Evans takes domain to be “open and connected”. @gerw
– DaveNine
Nov 27 at 8:04
add a comment |
1 Answer
1
active
oldest
votes
The classical counter-example is called "Rooms and passages" or "Rooms and corridors". You take a sequence of squares $R_n$ of side-length $1/n^p$ and in each of them, you assign $u$ to be a large constant, say $n^q$. Then you connect each square with a narrow corridor and in this corridor, you take $u$ to be affine. If the corridors are narrow enough the gradient will be in $L^2$ but the function will not be in $L^2$.
The details are here
Room and Passages
add a comment |
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%2f3015161%2fis-there-a-bounded-domain-on-which-poincar%25c3%25a9s-inequality-does-not-hold%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
The classical counter-example is called "Rooms and passages" or "Rooms and corridors". You take a sequence of squares $R_n$ of side-length $1/n^p$ and in each of them, you assign $u$ to be a large constant, say $n^q$. Then you connect each square with a narrow corridor and in this corridor, you take $u$ to be affine. If the corridors are narrow enough the gradient will be in $L^2$ but the function will not be in $L^2$.
The details are here
Room and Passages
add a comment |
The classical counter-example is called "Rooms and passages" or "Rooms and corridors". You take a sequence of squares $R_n$ of side-length $1/n^p$ and in each of them, you assign $u$ to be a large constant, say $n^q$. Then you connect each square with a narrow corridor and in this corridor, you take $u$ to be affine. If the corridors are narrow enough the gradient will be in $L^2$ but the function will not be in $L^2$.
The details are here
Room and Passages
add a comment |
The classical counter-example is called "Rooms and passages" or "Rooms and corridors". You take a sequence of squares $R_n$ of side-length $1/n^p$ and in each of them, you assign $u$ to be a large constant, say $n^q$. Then you connect each square with a narrow corridor and in this corridor, you take $u$ to be affine. If the corridors are narrow enough the gradient will be in $L^2$ but the function will not be in $L^2$.
The details are here
Room and Passages
The classical counter-example is called "Rooms and passages" or "Rooms and corridors". You take a sequence of squares $R_n$ of side-length $1/n^p$ and in each of them, you assign $u$ to be a large constant, say $n^q$. Then you connect each square with a narrow corridor and in this corridor, you take $u$ to be affine. If the corridors are narrow enough the gradient will be in $L^2$ but the function will not be in $L^2$.
The details are here
Room and Passages
answered Dec 8 at 23:20
Gio67
12.4k1626
12.4k1626
add a comment |
add a comment |
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%2f3015161%2fis-there-a-bounded-domain-on-which-poincar%25c3%25a9s-inequality-does-not-hold%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
What is your definition of "domain"?
– gerw
Nov 27 at 7:05
I think Evans takes domain to be “open and connected”. @gerw
– DaveNine
Nov 27 at 8:04