Deducing boundedness properties of Fourier transform from the inverse Fourier transform

Multi tool use
Multi tool use

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











up vote
1
down vote

favorite












I have shown that the inverse Fourier transform is unbounded from $L^p(mathbbR^d) to L^q(mathbbR^d)$ when $1le p <2$ ($p$ and $q$ being Holder conjugates). Here I define the Fourier transform
$$hatf(xi) = int_mathbbR^d e^-2pi i x cdot xi f(x) dx$$ and with no negative in the exponent for the inverse Fourier transform.
I was wondering whether we could use duality somehow to deduce that the Fourier transform is unbounded from $L^p(mathbbR^d$ to $L^q(mathbbR^d)$ for $p >2$.



The hope would be that we can use that the Fourier transform is unitary, i.e.,
$$int hatf barg = int f barcheckg.$$



But, this runs into problems when we consider formally what these operators are doing. By this I mean, with $mathcalF$ the Fourier transform, we have
$$mathcalF:L^p to L^q$$
$$mathcalF^-1:L^q to L^p$$
$$mathcalF^*: L^p to L^q$$



so while it's true that $mathcalF^-1$ and $mathcalF^*$ might agree on say, $mathcalS(mathbbR^d)$, the first equality below is not true:
$$|mathcalF^-1| = |mathcalF^*| = |mathcalF|$$
where those are operator norms, so we cannot immediately conclude unboundedness of the Fourier transform this way.



How should I proceed?



Edit: So, two things. The first is that I should've been saying "inverse of Fourier Transform" in everything above, not "inverse Fourier transform". The second thing is that I was able to adapt the proof I had to get that the Fourier transform is unbounded for $p>2$, so everything is good.







share|cite|improve this question


























    up vote
    1
    down vote

    favorite












    I have shown that the inverse Fourier transform is unbounded from $L^p(mathbbR^d) to L^q(mathbbR^d)$ when $1le p <2$ ($p$ and $q$ being Holder conjugates). Here I define the Fourier transform
    $$hatf(xi) = int_mathbbR^d e^-2pi i x cdot xi f(x) dx$$ and with no negative in the exponent for the inverse Fourier transform.
    I was wondering whether we could use duality somehow to deduce that the Fourier transform is unbounded from $L^p(mathbbR^d$ to $L^q(mathbbR^d)$ for $p >2$.



    The hope would be that we can use that the Fourier transform is unitary, i.e.,
    $$int hatf barg = int f barcheckg.$$



    But, this runs into problems when we consider formally what these operators are doing. By this I mean, with $mathcalF$ the Fourier transform, we have
    $$mathcalF:L^p to L^q$$
    $$mathcalF^-1:L^q to L^p$$
    $$mathcalF^*: L^p to L^q$$



    so while it's true that $mathcalF^-1$ and $mathcalF^*$ might agree on say, $mathcalS(mathbbR^d)$, the first equality below is not true:
    $$|mathcalF^-1| = |mathcalF^*| = |mathcalF|$$
    where those are operator norms, so we cannot immediately conclude unboundedness of the Fourier transform this way.



    How should I proceed?



    Edit: So, two things. The first is that I should've been saying "inverse of Fourier Transform" in everything above, not "inverse Fourier transform". The second thing is that I was able to adapt the proof I had to get that the Fourier transform is unbounded for $p>2$, so everything is good.







    share|cite|improve this question
























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      I have shown that the inverse Fourier transform is unbounded from $L^p(mathbbR^d) to L^q(mathbbR^d)$ when $1le p <2$ ($p$ and $q$ being Holder conjugates). Here I define the Fourier transform
      $$hatf(xi) = int_mathbbR^d e^-2pi i x cdot xi f(x) dx$$ and with no negative in the exponent for the inverse Fourier transform.
      I was wondering whether we could use duality somehow to deduce that the Fourier transform is unbounded from $L^p(mathbbR^d$ to $L^q(mathbbR^d)$ for $p >2$.



      The hope would be that we can use that the Fourier transform is unitary, i.e.,
      $$int hatf barg = int f barcheckg.$$



      But, this runs into problems when we consider formally what these operators are doing. By this I mean, with $mathcalF$ the Fourier transform, we have
      $$mathcalF:L^p to L^q$$
      $$mathcalF^-1:L^q to L^p$$
      $$mathcalF^*: L^p to L^q$$



      so while it's true that $mathcalF^-1$ and $mathcalF^*$ might agree on say, $mathcalS(mathbbR^d)$, the first equality below is not true:
      $$|mathcalF^-1| = |mathcalF^*| = |mathcalF|$$
      where those are operator norms, so we cannot immediately conclude unboundedness of the Fourier transform this way.



      How should I proceed?



      Edit: So, two things. The first is that I should've been saying "inverse of Fourier Transform" in everything above, not "inverse Fourier transform". The second thing is that I was able to adapt the proof I had to get that the Fourier transform is unbounded for $p>2$, so everything is good.







      share|cite|improve this question














      I have shown that the inverse Fourier transform is unbounded from $L^p(mathbbR^d) to L^q(mathbbR^d)$ when $1le p <2$ ($p$ and $q$ being Holder conjugates). Here I define the Fourier transform
      $$hatf(xi) = int_mathbbR^d e^-2pi i x cdot xi f(x) dx$$ and with no negative in the exponent for the inverse Fourier transform.
      I was wondering whether we could use duality somehow to deduce that the Fourier transform is unbounded from $L^p(mathbbR^d$ to $L^q(mathbbR^d)$ for $p >2$.



      The hope would be that we can use that the Fourier transform is unitary, i.e.,
      $$int hatf barg = int f barcheckg.$$



      But, this runs into problems when we consider formally what these operators are doing. By this I mean, with $mathcalF$ the Fourier transform, we have
      $$mathcalF:L^p to L^q$$
      $$mathcalF^-1:L^q to L^p$$
      $$mathcalF^*: L^p to L^q$$



      so while it's true that $mathcalF^-1$ and $mathcalF^*$ might agree on say, $mathcalS(mathbbR^d)$, the first equality below is not true:
      $$|mathcalF^-1| = |mathcalF^*| = |mathcalF|$$
      where those are operator norms, so we cannot immediately conclude unboundedness of the Fourier transform this way.



      How should I proceed?



      Edit: So, two things. The first is that I should've been saying "inverse of Fourier Transform" in everything above, not "inverse Fourier transform". The second thing is that I was able to adapt the proof I had to get that the Fourier transform is unbounded for $p>2$, so everything is good.









      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Aug 24 at 20:42

























      asked Aug 24 at 5:07









      David Bowman

      4,1351824




      4,1351824

























          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%2f2892798%2fdeducing-boundedness-properties-of-fourier-transform-from-the-inverse-fourier-tr%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%2f2892798%2fdeducing-boundedness-properties-of-fourier-transform-from-the-inverse-fourier-tr%23new-answer', 'question_page');

          );

          Post as a guest













































































          J0pOs,mnR8hfJCc4d3BMPj
          zKoV8D,ZE8rvRfcI 9,sGLmJZ,eiMH97FKJFHmv

          這個網誌中的熱門文章

          How to combine Bézier curves to a surface?

          Propositional logic and tautologies

          Distribution of Stopped Wiener Process with Stochastic Volatility