$H_0^1(Omega)hookrightarrow L^4(Omega)$?What is the Sobolev Lemma?Differences between $-Delta: H_0^1(Omega)to H^-1(Omega)$ and $-Delta: H^2(Omega)cap H_0^1(Omega)to L^2(Omega)$functions in $H_0^1(Omega) cap C(overlineOmega)$ are zero on the boundaryReference request: The compactness and compact embedding in Besov Space?$u in W^2,2(Omega)$ implies $Delta_p u in L^q(Omega)$ for some $q>1$?Problem to understand Sobolev imbedding.Inequality in $W^1,infty(Omega)$Show that $ C^1(overlineOmega) hookrightarrow C^0,alpha(overlineOmega)$ is compact.Compact embedding of $W^k,p(Omega)$ into $W^k-1,p*(Omega)$, where $p^*$ is the Sobolev conjugateEquivalence of norms in the space $H_Delta(Omega)$
Drawing a topological "handle" with Tikz
Is there a word to describe the feeling of being transfixed out of horror?
THT: What is a squared annular “ring”?
Is camera lens focus an exact point or a range?
Is it possible to have a strip of cold climate in the middle of a planet?
Is possible to search in vim history?
Proving a function is onto where f(x)=|x|.
Indicating multiple different modes of speech (fantasy language or telepathy)
Do Legal Documents Require Signing In Standard Pen Colors?
Why did the HMS Bounty go back to a time when whales are already rare?
MAXDOP Settings for SQL Server 2014
Have I saved too much for retirement so far?
Proof of Lemma: Every nonzero integer can be written as a product of primes
What is the difference between "Do you interest" and "...interested in" something?
What is the grammatical term for “‑ed” words like these?
Is a model fitted to data or is data fitted to a model?
How do you respond to a colleague from another team when they're wrongly expecting that you'll help them?
Why do IPv6 unique local addresses have to have a /48 prefix?
Do the concepts of IP address and network interface not belong to the same layer?
How to align and center standalone amsmath equations?
Translation of Scottish 16th century church stained glass
How can Trident be so inexpensive? Will it orbit Triton or just do a (slow) flyby?
Bob has never been a M before
Why has "pence" been used in this sentence, not "pences"?
$H_0^1(Omega)hookrightarrow L^4(Omega)$?
What is the Sobolev Lemma?Differences between $-Delta: H_0^1(Omega)to H^-1(Omega)$ and $-Delta: H^2(Omega)cap H_0^1(Omega)to L^2(Omega)$functions in $H_0^1(Omega) cap C(overlineOmega)$ are zero on the boundaryReference request: The compactness and compact embedding in Besov Space?$u in W^2,2(Omega)$ implies $Delta_p u in L^q(Omega)$ for some $q>1$?Problem to understand Sobolev imbedding.Inequality in $W^1,infty(Omega)$Show that $ C^1(overlineOmega) hookrightarrow C^0,alpha(overlineOmega)$ is compact.Compact embedding of $W^k,p(Omega)$ into $W^k-1,p*(Omega)$, where $p^*$ is the Sobolev conjugateEquivalence of norms in the space $H_Delta(Omega)$
$begingroup$
In a paper I see that the authors used $H_0^1(Omega)hookrightarrow L^4(Omega)$ where $Omega$ is an open bounded domain in $mathbbR^N$ with smooth boundary. I think that this imbedding holds only for those $N$ which satisfy $4leq 2^star$($2^star=frac2NN-2$) i.e. when $Omega$ is in $mathbbR^3$ or $mathbbR^4$. How we can show this imbedding for higher dimensions?
real-analysis functional-analysis analysis pde sobolev-spaces
$endgroup$
add a comment |
$begingroup$
In a paper I see that the authors used $H_0^1(Omega)hookrightarrow L^4(Omega)$ where $Omega$ is an open bounded domain in $mathbbR^N$ with smooth boundary. I think that this imbedding holds only for those $N$ which satisfy $4leq 2^star$($2^star=frac2NN-2$) i.e. when $Omega$ is in $mathbbR^3$ or $mathbbR^4$. How we can show this imbedding for higher dimensions?
real-analysis functional-analysis analysis pde sobolev-spaces
$endgroup$
1
$begingroup$
You are right, this is only true for $Nle 4$.
$endgroup$
– daw
Mar 16 at 12:00
$begingroup$
@daw Thank you very much. I do think so.
$endgroup$
– Albert
Mar 16 at 17:11
add a comment |
$begingroup$
In a paper I see that the authors used $H_0^1(Omega)hookrightarrow L^4(Omega)$ where $Omega$ is an open bounded domain in $mathbbR^N$ with smooth boundary. I think that this imbedding holds only for those $N$ which satisfy $4leq 2^star$($2^star=frac2NN-2$) i.e. when $Omega$ is in $mathbbR^3$ or $mathbbR^4$. How we can show this imbedding for higher dimensions?
real-analysis functional-analysis analysis pde sobolev-spaces
$endgroup$
In a paper I see that the authors used $H_0^1(Omega)hookrightarrow L^4(Omega)$ where $Omega$ is an open bounded domain in $mathbbR^N$ with smooth boundary. I think that this imbedding holds only for those $N$ which satisfy $4leq 2^star$($2^star=frac2NN-2$) i.e. when $Omega$ is in $mathbbR^3$ or $mathbbR^4$. How we can show this imbedding for higher dimensions?
real-analysis functional-analysis analysis pde sobolev-spaces
real-analysis functional-analysis analysis pde sobolev-spaces
edited Mar 17 at 6:18
Albert
asked Mar 16 at 9:49
AlbertAlbert
739312
739312
1
$begingroup$
You are right, this is only true for $Nle 4$.
$endgroup$
– daw
Mar 16 at 12:00
$begingroup$
@daw Thank you very much. I do think so.
$endgroup$
– Albert
Mar 16 at 17:11
add a comment |
1
$begingroup$
You are right, this is only true for $Nle 4$.
$endgroup$
– daw
Mar 16 at 12:00
$begingroup$
@daw Thank you very much. I do think so.
$endgroup$
– Albert
Mar 16 at 17:11
1
1
$begingroup$
You are right, this is only true for $Nle 4$.
$endgroup$
– daw
Mar 16 at 12:00
$begingroup$
You are right, this is only true for $Nle 4$.
$endgroup$
– daw
Mar 16 at 12:00
$begingroup$
@daw Thank you very much. I do think so.
$endgroup$
– Albert
Mar 16 at 17:11
$begingroup$
@daw Thank you very much. I do think so.
$endgroup$
– Albert
Mar 16 at 17:11
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
The general result is called the Sobolev embedding theorem, which states that $H_0^k$ is embedded in $L^q$ where $$frac1q=frac12-frackn$$ where $n$ is the dimension of the space. This can be generalized even further, see the Wikipedia article.
$endgroup$
$begingroup$
Thank you very much for your answer. I know the generalized form of the Sobolev imbedding. But my question is in this special case $k=1$.
$endgroup$
– Albert
Mar 16 at 17:16
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%2f3150239%2fh-01-omega-hookrightarrow-l4-omega%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
$begingroup$
The general result is called the Sobolev embedding theorem, which states that $H_0^k$ is embedded in $L^q$ where $$frac1q=frac12-frackn$$ where $n$ is the dimension of the space. This can be generalized even further, see the Wikipedia article.
$endgroup$
$begingroup$
Thank you very much for your answer. I know the generalized form of the Sobolev imbedding. But my question is in this special case $k=1$.
$endgroup$
– Albert
Mar 16 at 17:16
add a comment |
$begingroup$
The general result is called the Sobolev embedding theorem, which states that $H_0^k$ is embedded in $L^q$ where $$frac1q=frac12-frackn$$ where $n$ is the dimension of the space. This can be generalized even further, see the Wikipedia article.
$endgroup$
$begingroup$
Thank you very much for your answer. I know the generalized form of the Sobolev imbedding. But my question is in this special case $k=1$.
$endgroup$
– Albert
Mar 16 at 17:16
add a comment |
$begingroup$
The general result is called the Sobolev embedding theorem, which states that $H_0^k$ is embedded in $L^q$ where $$frac1q=frac12-frackn$$ where $n$ is the dimension of the space. This can be generalized even further, see the Wikipedia article.
$endgroup$
The general result is called the Sobolev embedding theorem, which states that $H_0^k$ is embedded in $L^q$ where $$frac1q=frac12-frackn$$ where $n$ is the dimension of the space. This can be generalized even further, see the Wikipedia article.
answered Mar 16 at 11:41
ChrystomathChrystomath
1,783513
1,783513
$begingroup$
Thank you very much for your answer. I know the generalized form of the Sobolev imbedding. But my question is in this special case $k=1$.
$endgroup$
– Albert
Mar 16 at 17:16
add a comment |
$begingroup$
Thank you very much for your answer. I know the generalized form of the Sobolev imbedding. But my question is in this special case $k=1$.
$endgroup$
– Albert
Mar 16 at 17:16
$begingroup$
Thank you very much for your answer. I know the generalized form of the Sobolev imbedding. But my question is in this special case $k=1$.
$endgroup$
– Albert
Mar 16 at 17:16
$begingroup$
Thank you very much for your answer. I know the generalized form of the Sobolev imbedding. But my question is in this special case $k=1$.
$endgroup$
– Albert
Mar 16 at 17:16
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.
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%2f3150239%2fh-01-omega-hookrightarrow-l4-omega%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
1
$begingroup$
You are right, this is only true for $Nle 4$.
$endgroup$
– daw
Mar 16 at 12:00
$begingroup$
@daw Thank you very much. I do think so.
$endgroup$
– Albert
Mar 16 at 17:11