How to prove that $ ||T_lambdaf||_L^q(mathbbR^n)leq C_p, qlambda^n(1/p-1/q)||f||_L^p(mathbbR^n),quad lambda>0. $

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite
3












Suppose $ hin C_0^infty(mathbbR) $ supported in $ (0, infty) $ and for $
lambda >0 $
$$
T_lambdaf(x)=(2pi)^-nint_mathbbR^n e^ixcdotxihleft(fraclambdaright)hatf(xi)dxi
$$
Where $$ hatf(xi)=int_mathbbR^ne^-ixcdot xif(x)dx .$$
Prove that if $ 1leq pleq qleq infty $ there is a uniform constant $ C_p, q $ so that




$$
||T_lambdaf||_L^q(mathbbR^n)leq C_p, qlambda^n(1/p-1/q)||f||_L^p(mathbbR^n),quad lambda>0.
$$





I think it maybe needs some interpolation theorems, but how to do so?







share|cite|improve this question





















  • If you start with an $mathitL^p$ function, the Fourier transform does not need to be a function again, but might be a distribution. In which sense is the above integral defined then?
    – Jonas Lenz
    Jul 23 at 5:49










  • Why? If $f$ is in $mathitL^p$ but not integrable, the right hand side is perfectly finite.
    – Jonas Lenz
    Jul 23 at 6:49










  • @JonasLenz I really don't know what you mean, I didn't meet any trouble integrating $ f $, you should know that integrable can refer to both finite and infinite situations and this need to be discussed in your proof. And you'd better compose an answer rather than querying me at comments.
    – A beginer
    Jul 23 at 6:55











  • Actually, I do not know the answer, that is why I am not writing an answer. Maybe we should first check terminology. For me, $f$ is called integrable if $int_mathbbR^n |f| mathrmdlambda$ is finite. Similarly, $fin mathitL^p$ if $int_mathbbR^n |f|^p mathrmdlambda $ is finite. I am not completely sure what you mean with finite and infinite situation, could you please clarify? For which functions do you want to show the estimate? From the above I would assume $fin mathitL^p$, right?
    – Jonas Lenz
    Jul 23 at 7:16















up vote
4
down vote

favorite
3












Suppose $ hin C_0^infty(mathbbR) $ supported in $ (0, infty) $ and for $
lambda >0 $
$$
T_lambdaf(x)=(2pi)^-nint_mathbbR^n e^ixcdotxihleft(fraclambdaright)hatf(xi)dxi
$$
Where $$ hatf(xi)=int_mathbbR^ne^-ixcdot xif(x)dx .$$
Prove that if $ 1leq pleq qleq infty $ there is a uniform constant $ C_p, q $ so that




$$
||T_lambdaf||_L^q(mathbbR^n)leq C_p, qlambda^n(1/p-1/q)||f||_L^p(mathbbR^n),quad lambda>0.
$$





I think it maybe needs some interpolation theorems, but how to do so?







share|cite|improve this question





















  • If you start with an $mathitL^p$ function, the Fourier transform does not need to be a function again, but might be a distribution. In which sense is the above integral defined then?
    – Jonas Lenz
    Jul 23 at 5:49










  • Why? If $f$ is in $mathitL^p$ but not integrable, the right hand side is perfectly finite.
    – Jonas Lenz
    Jul 23 at 6:49










  • @JonasLenz I really don't know what you mean, I didn't meet any trouble integrating $ f $, you should know that integrable can refer to both finite and infinite situations and this need to be discussed in your proof. And you'd better compose an answer rather than querying me at comments.
    – A beginer
    Jul 23 at 6:55











  • Actually, I do not know the answer, that is why I am not writing an answer. Maybe we should first check terminology. For me, $f$ is called integrable if $int_mathbbR^n |f| mathrmdlambda$ is finite. Similarly, $fin mathitL^p$ if $int_mathbbR^n |f|^p mathrmdlambda $ is finite. I am not completely sure what you mean with finite and infinite situation, could you please clarify? For which functions do you want to show the estimate? From the above I would assume $fin mathitL^p$, right?
    – Jonas Lenz
    Jul 23 at 7:16













up vote
4
down vote

favorite
3









up vote
4
down vote

favorite
3






3





Suppose $ hin C_0^infty(mathbbR) $ supported in $ (0, infty) $ and for $
lambda >0 $
$$
T_lambdaf(x)=(2pi)^-nint_mathbbR^n e^ixcdotxihleft(fraclambdaright)hatf(xi)dxi
$$
Where $$ hatf(xi)=int_mathbbR^ne^-ixcdot xif(x)dx .$$
Prove that if $ 1leq pleq qleq infty $ there is a uniform constant $ C_p, q $ so that




$$
||T_lambdaf||_L^q(mathbbR^n)leq C_p, qlambda^n(1/p-1/q)||f||_L^p(mathbbR^n),quad lambda>0.
$$





I think it maybe needs some interpolation theorems, but how to do so?







share|cite|improve this question













Suppose $ hin C_0^infty(mathbbR) $ supported in $ (0, infty) $ and for $
lambda >0 $
$$
T_lambdaf(x)=(2pi)^-nint_mathbbR^n e^ixcdotxihleft(fraclambdaright)hatf(xi)dxi
$$
Where $$ hatf(xi)=int_mathbbR^ne^-ixcdot xif(x)dx .$$
Prove that if $ 1leq pleq qleq infty $ there is a uniform constant $ C_p, q $ so that




$$
||T_lambdaf||_L^q(mathbbR^n)leq C_p, qlambda^n(1/p-1/q)||f||_L^p(mathbbR^n),quad lambda>0.
$$





I think it maybe needs some interpolation theorems, but how to do so?









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 23 at 17:33









Davide Giraudo

121k15146249




121k15146249









asked Jul 23 at 5:45









A beginer

235




235











  • If you start with an $mathitL^p$ function, the Fourier transform does not need to be a function again, but might be a distribution. In which sense is the above integral defined then?
    – Jonas Lenz
    Jul 23 at 5:49










  • Why? If $f$ is in $mathitL^p$ but not integrable, the right hand side is perfectly finite.
    – Jonas Lenz
    Jul 23 at 6:49










  • @JonasLenz I really don't know what you mean, I didn't meet any trouble integrating $ f $, you should know that integrable can refer to both finite and infinite situations and this need to be discussed in your proof. And you'd better compose an answer rather than querying me at comments.
    – A beginer
    Jul 23 at 6:55











  • Actually, I do not know the answer, that is why I am not writing an answer. Maybe we should first check terminology. For me, $f$ is called integrable if $int_mathbbR^n |f| mathrmdlambda$ is finite. Similarly, $fin mathitL^p$ if $int_mathbbR^n |f|^p mathrmdlambda $ is finite. I am not completely sure what you mean with finite and infinite situation, could you please clarify? For which functions do you want to show the estimate? From the above I would assume $fin mathitL^p$, right?
    – Jonas Lenz
    Jul 23 at 7:16

















  • If you start with an $mathitL^p$ function, the Fourier transform does not need to be a function again, but might be a distribution. In which sense is the above integral defined then?
    – Jonas Lenz
    Jul 23 at 5:49










  • Why? If $f$ is in $mathitL^p$ but not integrable, the right hand side is perfectly finite.
    – Jonas Lenz
    Jul 23 at 6:49










  • @JonasLenz I really don't know what you mean, I didn't meet any trouble integrating $ f $, you should know that integrable can refer to both finite and infinite situations and this need to be discussed in your proof. And you'd better compose an answer rather than querying me at comments.
    – A beginer
    Jul 23 at 6:55











  • Actually, I do not know the answer, that is why I am not writing an answer. Maybe we should first check terminology. For me, $f$ is called integrable if $int_mathbbR^n |f| mathrmdlambda$ is finite. Similarly, $fin mathitL^p$ if $int_mathbbR^n |f|^p mathrmdlambda $ is finite. I am not completely sure what you mean with finite and infinite situation, could you please clarify? For which functions do you want to show the estimate? From the above I would assume $fin mathitL^p$, right?
    – Jonas Lenz
    Jul 23 at 7:16
















If you start with an $mathitL^p$ function, the Fourier transform does not need to be a function again, but might be a distribution. In which sense is the above integral defined then?
– Jonas Lenz
Jul 23 at 5:49




If you start with an $mathitL^p$ function, the Fourier transform does not need to be a function again, but might be a distribution. In which sense is the above integral defined then?
– Jonas Lenz
Jul 23 at 5:49












Why? If $f$ is in $mathitL^p$ but not integrable, the right hand side is perfectly finite.
– Jonas Lenz
Jul 23 at 6:49




Why? If $f$ is in $mathitL^p$ but not integrable, the right hand side is perfectly finite.
– Jonas Lenz
Jul 23 at 6:49












@JonasLenz I really don't know what you mean, I didn't meet any trouble integrating $ f $, you should know that integrable can refer to both finite and infinite situations and this need to be discussed in your proof. And you'd better compose an answer rather than querying me at comments.
– A beginer
Jul 23 at 6:55





@JonasLenz I really don't know what you mean, I didn't meet any trouble integrating $ f $, you should know that integrable can refer to both finite and infinite situations and this need to be discussed in your proof. And you'd better compose an answer rather than querying me at comments.
– A beginer
Jul 23 at 6:55













Actually, I do not know the answer, that is why I am not writing an answer. Maybe we should first check terminology. For me, $f$ is called integrable if $int_mathbbR^n |f| mathrmdlambda$ is finite. Similarly, $fin mathitL^p$ if $int_mathbbR^n |f|^p mathrmdlambda $ is finite. I am not completely sure what you mean with finite and infinite situation, could you please clarify? For which functions do you want to show the estimate? From the above I would assume $fin mathitL^p$, right?
– Jonas Lenz
Jul 23 at 7:16





Actually, I do not know the answer, that is why I am not writing an answer. Maybe we should first check terminology. For me, $f$ is called integrable if $int_mathbbR^n |f| mathrmdlambda$ is finite. Similarly, $fin mathitL^p$ if $int_mathbbR^n |f|^p mathrmdlambda $ is finite. I am not completely sure what you mean with finite and infinite situation, could you please clarify? For which functions do you want to show the estimate? From the above I would assume $fin mathitL^p$, right?
– Jonas Lenz
Jul 23 at 7:16
















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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
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%2f2860040%2fhow-to-prove-that-t-lambdaf-lq-mathbbrn-leq-c-p-q-lambda%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2860040%2fhow-to-prove-that-t-lambdaf-lq-mathbbrn-leq-c-p-q-lambda%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?