Heat semigroup norm between fractional Sobolev and $L^p$ spacesSuppose $phi$ is a weak solution of $Delta phi...

How does the math work for Perception checks?

Using substitution ciphers to generate new alphabets in a novel

Terse Method to Swap Lowest for Highest?

Did arcade monitors have same pixel aspect ratio as TV sets?

Open a doc from terminal, but not by its name

Are Captain Marvel's powers affected by Thanos' actions in Infinity War

Does the Linux kernel need a file system to run?

Why can Carol Danvers change her suit colours in the first place?

Is this toilet slogan correct usage of the English language?

Quoting Keynes in a lecture

Why does AES have exactly 10 rounds for a 128-bit key, 12 for 192 bits and 14 for a 256-bit key size?

Has any country ever had 2 former presidents in jail simultaneously?

Why is it that I can sometimes guess the next note?

How do apertures which seem too large to physically fit work?

How to hide some fields of struct in C?

Why "had" in "[something] we would have made had we used [something]"?

Can disgust be a key component of horror?

How can I write humor as character trait?

Is there an injective, monotonically increasing, strictly concave function from the reals, to the reals?

Invalid date error by date command

Temporarily disable WLAN internet access for children, but allow it for adults

It grows, but water kills it

Recommended PCB layout understanding - ADM2572 datasheet

putting logo on same line but after title, latex



Heat semigroup norm between fractional Sobolev and $L^p$ spaces


Suppose $phi$ is a weak solution of $Delta phi = f in mathcal{H}^1$. Then $phiin W^{2,1}$Heat equation and semigroup theory.Sobolev spaces and Holder continuity (or, fractional derivatives and singularities)Can we characterize homogeneous Sobolev spaces by means of Sobolev embedding?Heat semigroup on Morrey spacesQuestion about the proof of General Sobolev Inequality in P.D.E. by EvanPossible error in a proof in Jost's Riemannian Geometry and Geometric AnalysisCalculation/Verification of an integral kernel for $operatorname{e}^{tDelta}(1-Delta)^{-frac{1}{4}}$When $L$ is the generator of an analytic semigroup and $alpha, beta >0$, $(-L)^{-alpha}(-L)^{-beta}= (-L)^{-alpha-beta}$Definitions of fractional Sobolev Spaces













5












$begingroup$


What is the actual inequality that holds for the heat semigroup between fractional Sobolev space $W^{2alpha,p}$ and classical Lebesgue space $L^q$?



I am trying to derive an inequality
$$
lvertlvert e^{tDelta}f rvertrvert_{W^{2alpha,p}} leq frac{C}{t^beta}
lvertlvert f rvertrvert_{L^q} $$

but i cannot manage to find the right value of $beta$.



I am trying to write the heat semigroup as a convolution
$$ e^{tDelta}f = K_t*f $$ where $K_t$ is the heat kernel, and use Holder inequality for convolutions, but I am stuck when computing
$$ lvertlvert (I-Delta)^alpha K_t rvertrvert_{L^r} $$ where
$frac{1}{q}+frac{1}{r} = frac{1}{p}+1$.



Any help is appreciated.










share|cite|improve this question











$endgroup$





This question has an open bounty worth +100
reputation from MaoWao ending in 11 hours.


This question has not received enough attention.
















  • $begingroup$
    Do you want an estimate for all $t$ or only for small enough?
    $endgroup$
    – Andrew
    Mar 18 at 7:48
















5












$begingroup$


What is the actual inequality that holds for the heat semigroup between fractional Sobolev space $W^{2alpha,p}$ and classical Lebesgue space $L^q$?



I am trying to derive an inequality
$$
lvertlvert e^{tDelta}f rvertrvert_{W^{2alpha,p}} leq frac{C}{t^beta}
lvertlvert f rvertrvert_{L^q} $$

but i cannot manage to find the right value of $beta$.



I am trying to write the heat semigroup as a convolution
$$ e^{tDelta}f = K_t*f $$ where $K_t$ is the heat kernel, and use Holder inequality for convolutions, but I am stuck when computing
$$ lvertlvert (I-Delta)^alpha K_t rvertrvert_{L^r} $$ where
$frac{1}{q}+frac{1}{r} = frac{1}{p}+1$.



Any help is appreciated.










share|cite|improve this question











$endgroup$





This question has an open bounty worth +100
reputation from MaoWao ending in 11 hours.


This question has not received enough attention.
















  • $begingroup$
    Do you want an estimate for all $t$ or only for small enough?
    $endgroup$
    – Andrew
    Mar 18 at 7:48














5












5








5


2



$begingroup$


What is the actual inequality that holds for the heat semigroup between fractional Sobolev space $W^{2alpha,p}$ and classical Lebesgue space $L^q$?



I am trying to derive an inequality
$$
lvertlvert e^{tDelta}f rvertrvert_{W^{2alpha,p}} leq frac{C}{t^beta}
lvertlvert f rvertrvert_{L^q} $$

but i cannot manage to find the right value of $beta$.



I am trying to write the heat semigroup as a convolution
$$ e^{tDelta}f = K_t*f $$ where $K_t$ is the heat kernel, and use Holder inequality for convolutions, but I am stuck when computing
$$ lvertlvert (I-Delta)^alpha K_t rvertrvert_{L^r} $$ where
$frac{1}{q}+frac{1}{r} = frac{1}{p}+1$.



Any help is appreciated.










share|cite|improve this question











$endgroup$




What is the actual inequality that holds for the heat semigroup between fractional Sobolev space $W^{2alpha,p}$ and classical Lebesgue space $L^q$?



I am trying to derive an inequality
$$
lvertlvert e^{tDelta}f rvertrvert_{W^{2alpha,p}} leq frac{C}{t^beta}
lvertlvert f rvertrvert_{L^q} $$

but i cannot manage to find the right value of $beta$.



I am trying to write the heat semigroup as a convolution
$$ e^{tDelta}f = K_t*f $$ where $K_t$ is the heat kernel, and use Holder inequality for convolutions, but I am stuck when computing
$$ lvertlvert (I-Delta)^alpha K_t rvertrvert_{L^r} $$ where
$frac{1}{q}+frac{1}{r} = frac{1}{p}+1$.



Any help is appreciated.







functional-analysis semigroup-of-operators fractional-sobolev-spaces






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Mar 13 at 15:45









Bernard

123k741117




123k741117










asked Mar 13 at 15:23









Andrea FuzziAndrea Fuzzi

283




283






This question has an open bounty worth +100
reputation from MaoWao ending in 11 hours.


This question has not received enough attention.








This question has an open bounty worth +100
reputation from MaoWao ending in 11 hours.


This question has not received enough attention.














  • $begingroup$
    Do you want an estimate for all $t$ or only for small enough?
    $endgroup$
    – Andrew
    Mar 18 at 7:48


















  • $begingroup$
    Do you want an estimate for all $t$ or only for small enough?
    $endgroup$
    – Andrew
    Mar 18 at 7:48
















$begingroup$
Do you want an estimate for all $t$ or only for small enough?
$endgroup$
– Andrew
Mar 18 at 7:48




$begingroup$
Do you want an estimate for all $t$ or only for small enough?
$endgroup$
– Andrew
Mar 18 at 7:48










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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3146741%2fheat-semigroup-norm-between-fractional-sobolev-and-lp-spaces%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
















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3146741%2fheat-semigroup-norm-between-fractional-sobolev-and-lp-spaces%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

六本木駅

Integral that is continuous and looks like it converges to a geometric seriesTesting if a geometric series converges by taking limit to infinitySummation of arithmetic-geometric series of higher orderGeometric series with polynomial exponentHow to Recognize a Geometric SeriesShowing an integral equality with series over the integersDiscontinuity of a series of continuous functionsReasons why a Series ConvergesSum of infinite geometric series with two terms in summationUsing geometric series for computing IntegralsLimit of geometric series sum when $r = 1$

Joseph Lister