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

Clash 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.
real-analysis
add a comment |Â
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.
real-analysis
add a comment |Â
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.
real-analysis
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.
real-analysis
asked Aug 8 at 16:35
John
1588
1588
add a comment |Â
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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
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
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
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
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