$L^infty$ bound on integral of product of $L^2$ and $C^infty_c$ functions.

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











up vote
1
down vote

favorite












Suppose $Omega subset mathbbR^2$ is open and bounded. Let $g in C^infty_c(mathbbR^2)$ and $f in L^2(mathbbR^2)$. Let
beginequation*
h(x,x',y,y') := frac1^2)^r int_mathbbR^2 g(t)(( f(x'+t)-f(y'+t))^2-(f(x+t)-f(y+t))^2) dt.
endequation*
I wonder if $exists r > 0$ such that $h in L^infty(Omega^4)$.



I've been able to bound some of the terms, but when I expand the products, the mixed terms are problematic for me. Here is my approach for the pure terms:



beginequation*
beginsplit
&int g(t) [f^2(x'+t)+f^2(y'+t)-f^2(x+t)-f^2(y+t)] dt \
&= int f^2(t) [g(t-x')+g(t-y')-g(t-x)-g(t-y)] dt \
&leq C int f^2(t) (|x'-x|^2+|y'-y|^2)^frac12 \
&= C | f |_L^2(mathbbR^2) (|x'-x|^2+|y'-y|^2)^frac12
endsplit
endequation*
where the second to last line follows by the Holder continuity of $g$. For the mixed terms I've been playing around with adding and subtracting terms, but I'm not having a lot of luck. Any help would be greatly appreciated.







share|cite|improve this question
























    up vote
    1
    down vote

    favorite












    Suppose $Omega subset mathbbR^2$ is open and bounded. Let $g in C^infty_c(mathbbR^2)$ and $f in L^2(mathbbR^2)$. Let
    beginequation*
    h(x,x',y,y') := frac1^2)^r int_mathbbR^2 g(t)(( f(x'+t)-f(y'+t))^2-(f(x+t)-f(y+t))^2) dt.
    endequation*
    I wonder if $exists r > 0$ such that $h in L^infty(Omega^4)$.



    I've been able to bound some of the terms, but when I expand the products, the mixed terms are problematic for me. Here is my approach for the pure terms:



    beginequation*
    beginsplit
    &int g(t) [f^2(x'+t)+f^2(y'+t)-f^2(x+t)-f^2(y+t)] dt \
    &= int f^2(t) [g(t-x')+g(t-y')-g(t-x)-g(t-y)] dt \
    &leq C int f^2(t) (|x'-x|^2+|y'-y|^2)^frac12 \
    &= C | f |_L^2(mathbbR^2) (|x'-x|^2+|y'-y|^2)^frac12
    endsplit
    endequation*
    where the second to last line follows by the Holder continuity of $g$. For the mixed terms I've been playing around with adding and subtracting terms, but I'm not having a lot of luck. Any help would be greatly appreciated.







    share|cite|improve this question






















      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite











      Suppose $Omega subset mathbbR^2$ is open and bounded. Let $g in C^infty_c(mathbbR^2)$ and $f in L^2(mathbbR^2)$. Let
      beginequation*
      h(x,x',y,y') := frac1^2)^r int_mathbbR^2 g(t)(( f(x'+t)-f(y'+t))^2-(f(x+t)-f(y+t))^2) dt.
      endequation*
      I wonder if $exists r > 0$ such that $h in L^infty(Omega^4)$.



      I've been able to bound some of the terms, but when I expand the products, the mixed terms are problematic for me. Here is my approach for the pure terms:



      beginequation*
      beginsplit
      &int g(t) [f^2(x'+t)+f^2(y'+t)-f^2(x+t)-f^2(y+t)] dt \
      &= int f^2(t) [g(t-x')+g(t-y')-g(t-x)-g(t-y)] dt \
      &leq C int f^2(t) (|x'-x|^2+|y'-y|^2)^frac12 \
      &= C | f |_L^2(mathbbR^2) (|x'-x|^2+|y'-y|^2)^frac12
      endsplit
      endequation*
      where the second to last line follows by the Holder continuity of $g$. For the mixed terms I've been playing around with adding and subtracting terms, but I'm not having a lot of luck. Any help would be greatly appreciated.







      share|cite|improve this question












      Suppose $Omega subset mathbbR^2$ is open and bounded. Let $g in C^infty_c(mathbbR^2)$ and $f in L^2(mathbbR^2)$. Let
      beginequation*
      h(x,x',y,y') := frac1^2)^r int_mathbbR^2 g(t)(( f(x'+t)-f(y'+t))^2-(f(x+t)-f(y+t))^2) dt.
      endequation*
      I wonder if $exists r > 0$ such that $h in L^infty(Omega^4)$.



      I've been able to bound some of the terms, but when I expand the products, the mixed terms are problematic for me. Here is my approach for the pure terms:



      beginequation*
      beginsplit
      &int g(t) [f^2(x'+t)+f^2(y'+t)-f^2(x+t)-f^2(y+t)] dt \
      &= int f^2(t) [g(t-x')+g(t-y')-g(t-x)-g(t-y)] dt \
      &leq C int f^2(t) (|x'-x|^2+|y'-y|^2)^frac12 \
      &= C | f |_L^2(mathbbR^2) (|x'-x|^2+|y'-y|^2)^frac12
      endsplit
      endequation*
      where the second to last line follows by the Holder continuity of $g$. For the mixed terms I've been playing around with adding and subtracting terms, but I'm not having a lot of luck. Any help would be greatly appreciated.









      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Aug 8 at 16:35









      John

      1588




      1588

























          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%2f2876302%2fl-infty-bound-on-integral-of-product-of-l2-and-c-infty-c-functions%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%2f2876302%2fl-infty-bound-on-integral-of-product-of-l2-and-c-infty-c-functions%23new-answer', 'question_page');

          );

          Post as a guest