“Reverse Hölder” type inequality on a dense subset?
$begingroup$
I want to know if the following is possible.
Fix some measure space $(X,mu)$. Take any $fin L^1$. Recall that $L^1 cap L^2$ is dense in $L^1$, i.e. for every $varepsilon > 0$ there is some $gin L^1 cap L^2 $ such that $Vert f - g Vert_1 < varepsilon$. If $mu(X)<infty$ we can bound the $L^1$ norm of $g$ in terms of the $L^2 $ norm, like so: $Vert g Vert_1 leq mu(X)^{1/2} Vert g Vert_2$; this is an immediate consequence of Hölder's inequality.
I want to know when you can get a similar bound in the other direction, that is, that there exists some $C$ such that $Vert g Vert_2 leq C Vert g Vert_1$. More specifically, (under what circumstances) can we show that there exists some constant $C$ (possibly depending on $Vert f Vert_1 $ and $varepsilon$) such that there exists some some $gin L^1 cap L^2 $ such that $Vert f - g Vert_1 < varepsilon$ and $Vert g Vert_2 leq C Vert g Vert_1$? (In other words, can we show a reversal of the usual interpolation inequality on a dense subset?)
functional-analysis lp-spaces
$endgroup$
add a comment |
$begingroup$
I want to know if the following is possible.
Fix some measure space $(X,mu)$. Take any $fin L^1$. Recall that $L^1 cap L^2$ is dense in $L^1$, i.e. for every $varepsilon > 0$ there is some $gin L^1 cap L^2 $ such that $Vert f - g Vert_1 < varepsilon$. If $mu(X)<infty$ we can bound the $L^1$ norm of $g$ in terms of the $L^2 $ norm, like so: $Vert g Vert_1 leq mu(X)^{1/2} Vert g Vert_2$; this is an immediate consequence of Hölder's inequality.
I want to know when you can get a similar bound in the other direction, that is, that there exists some $C$ such that $Vert g Vert_2 leq C Vert g Vert_1$. More specifically, (under what circumstances) can we show that there exists some constant $C$ (possibly depending on $Vert f Vert_1 $ and $varepsilon$) such that there exists some some $gin L^1 cap L^2 $ such that $Vert f - g Vert_1 < varepsilon$ and $Vert g Vert_2 leq C Vert g Vert_1$? (In other words, can we show a reversal of the usual interpolation inequality on a dense subset?)
functional-analysis lp-spaces
$endgroup$
add a comment |
$begingroup$
I want to know if the following is possible.
Fix some measure space $(X,mu)$. Take any $fin L^1$. Recall that $L^1 cap L^2$ is dense in $L^1$, i.e. for every $varepsilon > 0$ there is some $gin L^1 cap L^2 $ such that $Vert f - g Vert_1 < varepsilon$. If $mu(X)<infty$ we can bound the $L^1$ norm of $g$ in terms of the $L^2 $ norm, like so: $Vert g Vert_1 leq mu(X)^{1/2} Vert g Vert_2$; this is an immediate consequence of Hölder's inequality.
I want to know when you can get a similar bound in the other direction, that is, that there exists some $C$ such that $Vert g Vert_2 leq C Vert g Vert_1$. More specifically, (under what circumstances) can we show that there exists some constant $C$ (possibly depending on $Vert f Vert_1 $ and $varepsilon$) such that there exists some some $gin L^1 cap L^2 $ such that $Vert f - g Vert_1 < varepsilon$ and $Vert g Vert_2 leq C Vert g Vert_1$? (In other words, can we show a reversal of the usual interpolation inequality on a dense subset?)
functional-analysis lp-spaces
$endgroup$
I want to know if the following is possible.
Fix some measure space $(X,mu)$. Take any $fin L^1$. Recall that $L^1 cap L^2$ is dense in $L^1$, i.e. for every $varepsilon > 0$ there is some $gin L^1 cap L^2 $ such that $Vert f - g Vert_1 < varepsilon$. If $mu(X)<infty$ we can bound the $L^1$ norm of $g$ in terms of the $L^2 $ norm, like so: $Vert g Vert_1 leq mu(X)^{1/2} Vert g Vert_2$; this is an immediate consequence of Hölder's inequality.
I want to know when you can get a similar bound in the other direction, that is, that there exists some $C$ such that $Vert g Vert_2 leq C Vert g Vert_1$. More specifically, (under what circumstances) can we show that there exists some constant $C$ (possibly depending on $Vert f Vert_1 $ and $varepsilon$) such that there exists some some $gin L^1 cap L^2 $ such that $Vert f - g Vert_1 < varepsilon$ and $Vert g Vert_2 leq C Vert g Vert_1$? (In other words, can we show a reversal of the usual interpolation inequality on a dense subset?)
functional-analysis lp-spaces
functional-analysis lp-spaces
asked Nov 29 '18 at 16:15
pseudocydoniapseudocydonia
405211
405211
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
A "reverse Hölder inequality" exists in the literature. It is studied in the theory of "weights". Essentially a weight $w$ is a positive function for which the measure $w(x) dx$ have the same boudedness properties with respect to some classes of singular integral operators. Look into [D: Theorem 7.4].
The only difference between the condition that you demand and the $A_p$ conditions imposed in weighted theory is that they tend to be "open". I.e. you can have a reverse Hölder inequality for your exponent plus some (potentially small) $epsilon >0$.
[D]: Duoandikoetxea, Javier, Fourier analysis. Transl. from the Spanish and revised by David Cruz-Uribe, Graduate Studies in Mathematics. 29. Providence, RI: American Mathematical Society (AMS). xviii, 222 p. (2001). ZBL0969.42001.
$endgroup$
$begingroup$
Very cool! Thanks for the reference, I'll have a look.
$endgroup$
– pseudocydonia
Nov 30 '18 at 19:32
$begingroup$
Okay, so I am looking at Duoandikoetxea's book, and this looks related but maybe is not 100% what I'm looking for. For one thing the underlying setting is $mathbb{R}^d$ rather than an arbitrary measure space, I guess because the Calderón-Zygmund decomposition is used. Also it's not exactly obvious to me how $w$ being in $A_p$ relates to being in $L_p$.
$endgroup$
– pseudocydonia
Dec 1 '18 at 3:12
add a comment |
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
});
}
});
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3018848%2freverse-h%25c3%25b6lder-type-inequality-on-a-dense-subset%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
A "reverse Hölder inequality" exists in the literature. It is studied in the theory of "weights". Essentially a weight $w$ is a positive function for which the measure $w(x) dx$ have the same boudedness properties with respect to some classes of singular integral operators. Look into [D: Theorem 7.4].
The only difference between the condition that you demand and the $A_p$ conditions imposed in weighted theory is that they tend to be "open". I.e. you can have a reverse Hölder inequality for your exponent plus some (potentially small) $epsilon >0$.
[D]: Duoandikoetxea, Javier, Fourier analysis. Transl. from the Spanish and revised by David Cruz-Uribe, Graduate Studies in Mathematics. 29. Providence, RI: American Mathematical Society (AMS). xviii, 222 p. (2001). ZBL0969.42001.
$endgroup$
$begingroup$
Very cool! Thanks for the reference, I'll have a look.
$endgroup$
– pseudocydonia
Nov 30 '18 at 19:32
$begingroup$
Okay, so I am looking at Duoandikoetxea's book, and this looks related but maybe is not 100% what I'm looking for. For one thing the underlying setting is $mathbb{R}^d$ rather than an arbitrary measure space, I guess because the Calderón-Zygmund decomposition is used. Also it's not exactly obvious to me how $w$ being in $A_p$ relates to being in $L_p$.
$endgroup$
– pseudocydonia
Dec 1 '18 at 3:12
add a comment |
$begingroup$
A "reverse Hölder inequality" exists in the literature. It is studied in the theory of "weights". Essentially a weight $w$ is a positive function for which the measure $w(x) dx$ have the same boudedness properties with respect to some classes of singular integral operators. Look into [D: Theorem 7.4].
The only difference between the condition that you demand and the $A_p$ conditions imposed in weighted theory is that they tend to be "open". I.e. you can have a reverse Hölder inequality for your exponent plus some (potentially small) $epsilon >0$.
[D]: Duoandikoetxea, Javier, Fourier analysis. Transl. from the Spanish and revised by David Cruz-Uribe, Graduate Studies in Mathematics. 29. Providence, RI: American Mathematical Society (AMS). xviii, 222 p. (2001). ZBL0969.42001.
$endgroup$
$begingroup$
Very cool! Thanks for the reference, I'll have a look.
$endgroup$
– pseudocydonia
Nov 30 '18 at 19:32
$begingroup$
Okay, so I am looking at Duoandikoetxea's book, and this looks related but maybe is not 100% what I'm looking for. For one thing the underlying setting is $mathbb{R}^d$ rather than an arbitrary measure space, I guess because the Calderón-Zygmund decomposition is used. Also it's not exactly obvious to me how $w$ being in $A_p$ relates to being in $L_p$.
$endgroup$
– pseudocydonia
Dec 1 '18 at 3:12
add a comment |
$begingroup$
A "reverse Hölder inequality" exists in the literature. It is studied in the theory of "weights". Essentially a weight $w$ is a positive function for which the measure $w(x) dx$ have the same boudedness properties with respect to some classes of singular integral operators. Look into [D: Theorem 7.4].
The only difference between the condition that you demand and the $A_p$ conditions imposed in weighted theory is that they tend to be "open". I.e. you can have a reverse Hölder inequality for your exponent plus some (potentially small) $epsilon >0$.
[D]: Duoandikoetxea, Javier, Fourier analysis. Transl. from the Spanish and revised by David Cruz-Uribe, Graduate Studies in Mathematics. 29. Providence, RI: American Mathematical Society (AMS). xviii, 222 p. (2001). ZBL0969.42001.
$endgroup$
A "reverse Hölder inequality" exists in the literature. It is studied in the theory of "weights". Essentially a weight $w$ is a positive function for which the measure $w(x) dx$ have the same boudedness properties with respect to some classes of singular integral operators. Look into [D: Theorem 7.4].
The only difference between the condition that you demand and the $A_p$ conditions imposed in weighted theory is that they tend to be "open". I.e. you can have a reverse Hölder inequality for your exponent plus some (potentially small) $epsilon >0$.
[D]: Duoandikoetxea, Javier, Fourier analysis. Transl. from the Spanish and revised by David Cruz-Uribe, Graduate Studies in Mathematics. 29. Providence, RI: American Mathematical Society (AMS). xviii, 222 p. (2001). ZBL0969.42001.
answered Nov 30 '18 at 11:09
Adrián González-PérezAdrián González-Pérez
1,004138
1,004138
$begingroup$
Very cool! Thanks for the reference, I'll have a look.
$endgroup$
– pseudocydonia
Nov 30 '18 at 19:32
$begingroup$
Okay, so I am looking at Duoandikoetxea's book, and this looks related but maybe is not 100% what I'm looking for. For one thing the underlying setting is $mathbb{R}^d$ rather than an arbitrary measure space, I guess because the Calderón-Zygmund decomposition is used. Also it's not exactly obvious to me how $w$ being in $A_p$ relates to being in $L_p$.
$endgroup$
– pseudocydonia
Dec 1 '18 at 3:12
add a comment |
$begingroup$
Very cool! Thanks for the reference, I'll have a look.
$endgroup$
– pseudocydonia
Nov 30 '18 at 19:32
$begingroup$
Okay, so I am looking at Duoandikoetxea's book, and this looks related but maybe is not 100% what I'm looking for. For one thing the underlying setting is $mathbb{R}^d$ rather than an arbitrary measure space, I guess because the Calderón-Zygmund decomposition is used. Also it's not exactly obvious to me how $w$ being in $A_p$ relates to being in $L_p$.
$endgroup$
– pseudocydonia
Dec 1 '18 at 3:12
$begingroup$
Very cool! Thanks for the reference, I'll have a look.
$endgroup$
– pseudocydonia
Nov 30 '18 at 19:32
$begingroup$
Very cool! Thanks for the reference, I'll have a look.
$endgroup$
– pseudocydonia
Nov 30 '18 at 19:32
$begingroup$
Okay, so I am looking at Duoandikoetxea's book, and this looks related but maybe is not 100% what I'm looking for. For one thing the underlying setting is $mathbb{R}^d$ rather than an arbitrary measure space, I guess because the Calderón-Zygmund decomposition is used. Also it's not exactly obvious to me how $w$ being in $A_p$ relates to being in $L_p$.
$endgroup$
– pseudocydonia
Dec 1 '18 at 3:12
$begingroup$
Okay, so I am looking at Duoandikoetxea's book, and this looks related but maybe is not 100% what I'm looking for. For one thing the underlying setting is $mathbb{R}^d$ rather than an arbitrary measure space, I guess because the Calderón-Zygmund decomposition is used. Also it's not exactly obvious to me how $w$ being in $A_p$ relates to being in $L_p$.
$endgroup$
– pseudocydonia
Dec 1 '18 at 3:12
add a comment |
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.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3018848%2freverse-h%25c3%25b6lder-type-inequality-on-a-dense-subset%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
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