Brezis exercise, under what condition does $f$ belongs to $L_p(mathbb{R^n})$
$begingroup$
Brezis excercise 4.1: I am asked to show under what conditions does $f(x)={1+|x|^alpha}^{-1}{1+|log|x||^beta}^{-1}$ belong to $L_p(mathbb{R}^n)$ where $alpha,beta>0$..
I know that for $f$ to belong is must show that $int_{(mathbb{R^n})}|f|^p<infty$, so far I got this:
$$|f(x)|^p=dfrac{1}{|1+|x|^alpha|^p|1+|log|x||^beta|^p}$$ however I don't know what to do after this. Thanks in advance.
functional-analysis lp-spaces
$endgroup$
add a comment |
$begingroup$
Brezis excercise 4.1: I am asked to show under what conditions does $f(x)={1+|x|^alpha}^{-1}{1+|log|x||^beta}^{-1}$ belong to $L_p(mathbb{R}^n)$ where $alpha,beta>0$..
I know that for $f$ to belong is must show that $int_{(mathbb{R^n})}|f|^p<infty$, so far I got this:
$$|f(x)|^p=dfrac{1}{|1+|x|^alpha|^p|1+|log|x||^beta|^p}$$ however I don't know what to do after this. Thanks in advance.
functional-analysis lp-spaces
$endgroup$
2
$begingroup$
It's a radial function, so after changing to polar coordinates, it comes down to whether a 1-dimensional integral converges. My hint: work out the case $beta=0$ first.
$endgroup$
– Ian
Jan 7 at 20:27
$begingroup$
I will give it a try, however, two points. 1. $beta$ is supposed to be nonzero. 2. In order to apply the polar coordinates I know, $f$ must be "summable" meaning the integral of it mod is finite. which is what I must show i think.
$endgroup$
– Alfdav
Jan 7 at 20:32
1
$begingroup$
1. I'm aware that in your actual problem $beta>0$, but the situation here is actually mostly controlled by $alpha$. 2. As long as the integral makes sense (the integrand is measurable and the integral isn't a $infty - infty$ form), you can definitely change variables freely.
$endgroup$
– Ian
Jan 7 at 20:37
$begingroup$
I used polar coordinates and got: $$int_{mathbb{R^n}}f=w_{n-1}int_{0}^{infty}dfrac{1}{r^{alpha p -n+1}(log (r))^{beta p}}$$ I assume that this converges for some special values, where can I read more about this?
$endgroup$
– Alfdav
Jan 7 at 21:19
1
$begingroup$
If you set $beta=0$ then the situation should be quite obvious. Now for $beta>0$, you can use a comparison argument to reduce it to the $beta=0$ case, except when $alpha p - n + 1$ is one particular value. If you show you can get to this point, then I'll explain what the deal is with $beta$.
$endgroup$
– Ian
Jan 7 at 21:43
add a comment |
$begingroup$
Brezis excercise 4.1: I am asked to show under what conditions does $f(x)={1+|x|^alpha}^{-1}{1+|log|x||^beta}^{-1}$ belong to $L_p(mathbb{R}^n)$ where $alpha,beta>0$..
I know that for $f$ to belong is must show that $int_{(mathbb{R^n})}|f|^p<infty$, so far I got this:
$$|f(x)|^p=dfrac{1}{|1+|x|^alpha|^p|1+|log|x||^beta|^p}$$ however I don't know what to do after this. Thanks in advance.
functional-analysis lp-spaces
$endgroup$
Brezis excercise 4.1: I am asked to show under what conditions does $f(x)={1+|x|^alpha}^{-1}{1+|log|x||^beta}^{-1}$ belong to $L_p(mathbb{R}^n)$ where $alpha,beta>0$..
I know that for $f$ to belong is must show that $int_{(mathbb{R^n})}|f|^p<infty$, so far I got this:
$$|f(x)|^p=dfrac{1}{|1+|x|^alpha|^p|1+|log|x||^beta|^p}$$ however I don't know what to do after this. Thanks in advance.
functional-analysis lp-spaces
functional-analysis lp-spaces
edited Jan 8 at 18:00
Davide Giraudo
127k16151263
127k16151263
asked Jan 7 at 20:21
AlfdavAlfdav
787
787
2
$begingroup$
It's a radial function, so after changing to polar coordinates, it comes down to whether a 1-dimensional integral converges. My hint: work out the case $beta=0$ first.
$endgroup$
– Ian
Jan 7 at 20:27
$begingroup$
I will give it a try, however, two points. 1. $beta$ is supposed to be nonzero. 2. In order to apply the polar coordinates I know, $f$ must be "summable" meaning the integral of it mod is finite. which is what I must show i think.
$endgroup$
– Alfdav
Jan 7 at 20:32
1
$begingroup$
1. I'm aware that in your actual problem $beta>0$, but the situation here is actually mostly controlled by $alpha$. 2. As long as the integral makes sense (the integrand is measurable and the integral isn't a $infty - infty$ form), you can definitely change variables freely.
$endgroup$
– Ian
Jan 7 at 20:37
$begingroup$
I used polar coordinates and got: $$int_{mathbb{R^n}}f=w_{n-1}int_{0}^{infty}dfrac{1}{r^{alpha p -n+1}(log (r))^{beta p}}$$ I assume that this converges for some special values, where can I read more about this?
$endgroup$
– Alfdav
Jan 7 at 21:19
1
$begingroup$
If you set $beta=0$ then the situation should be quite obvious. Now for $beta>0$, you can use a comparison argument to reduce it to the $beta=0$ case, except when $alpha p - n + 1$ is one particular value. If you show you can get to this point, then I'll explain what the deal is with $beta$.
$endgroup$
– Ian
Jan 7 at 21:43
add a comment |
2
$begingroup$
It's a radial function, so after changing to polar coordinates, it comes down to whether a 1-dimensional integral converges. My hint: work out the case $beta=0$ first.
$endgroup$
– Ian
Jan 7 at 20:27
$begingroup$
I will give it a try, however, two points. 1. $beta$ is supposed to be nonzero. 2. In order to apply the polar coordinates I know, $f$ must be "summable" meaning the integral of it mod is finite. which is what I must show i think.
$endgroup$
– Alfdav
Jan 7 at 20:32
1
$begingroup$
1. I'm aware that in your actual problem $beta>0$, but the situation here is actually mostly controlled by $alpha$. 2. As long as the integral makes sense (the integrand is measurable and the integral isn't a $infty - infty$ form), you can definitely change variables freely.
$endgroup$
– Ian
Jan 7 at 20:37
$begingroup$
I used polar coordinates and got: $$int_{mathbb{R^n}}f=w_{n-1}int_{0}^{infty}dfrac{1}{r^{alpha p -n+1}(log (r))^{beta p}}$$ I assume that this converges for some special values, where can I read more about this?
$endgroup$
– Alfdav
Jan 7 at 21:19
1
$begingroup$
If you set $beta=0$ then the situation should be quite obvious. Now for $beta>0$, you can use a comparison argument to reduce it to the $beta=0$ case, except when $alpha p - n + 1$ is one particular value. If you show you can get to this point, then I'll explain what the deal is with $beta$.
$endgroup$
– Ian
Jan 7 at 21:43
2
2
$begingroup$
It's a radial function, so after changing to polar coordinates, it comes down to whether a 1-dimensional integral converges. My hint: work out the case $beta=0$ first.
$endgroup$
– Ian
Jan 7 at 20:27
$begingroup$
It's a radial function, so after changing to polar coordinates, it comes down to whether a 1-dimensional integral converges. My hint: work out the case $beta=0$ first.
$endgroup$
– Ian
Jan 7 at 20:27
$begingroup$
I will give it a try, however, two points. 1. $beta$ is supposed to be nonzero. 2. In order to apply the polar coordinates I know, $f$ must be "summable" meaning the integral of it mod is finite. which is what I must show i think.
$endgroup$
– Alfdav
Jan 7 at 20:32
$begingroup$
I will give it a try, however, two points. 1. $beta$ is supposed to be nonzero. 2. In order to apply the polar coordinates I know, $f$ must be "summable" meaning the integral of it mod is finite. which is what I must show i think.
$endgroup$
– Alfdav
Jan 7 at 20:32
1
1
$begingroup$
1. I'm aware that in your actual problem $beta>0$, but the situation here is actually mostly controlled by $alpha$. 2. As long as the integral makes sense (the integrand is measurable and the integral isn't a $infty - infty$ form), you can definitely change variables freely.
$endgroup$
– Ian
Jan 7 at 20:37
$begingroup$
1. I'm aware that in your actual problem $beta>0$, but the situation here is actually mostly controlled by $alpha$. 2. As long as the integral makes sense (the integrand is measurable and the integral isn't a $infty - infty$ form), you can definitely change variables freely.
$endgroup$
– Ian
Jan 7 at 20:37
$begingroup$
I used polar coordinates and got: $$int_{mathbb{R^n}}f=w_{n-1}int_{0}^{infty}dfrac{1}{r^{alpha p -n+1}(log (r))^{beta p}}$$ I assume that this converges for some special values, where can I read more about this?
$endgroup$
– Alfdav
Jan 7 at 21:19
$begingroup$
I used polar coordinates and got: $$int_{mathbb{R^n}}f=w_{n-1}int_{0}^{infty}dfrac{1}{r^{alpha p -n+1}(log (r))^{beta p}}$$ I assume that this converges for some special values, where can I read more about this?
$endgroup$
– Alfdav
Jan 7 at 21:19
1
1
$begingroup$
If you set $beta=0$ then the situation should be quite obvious. Now for $beta>0$, you can use a comparison argument to reduce it to the $beta=0$ case, except when $alpha p - n + 1$ is one particular value. If you show you can get to this point, then I'll explain what the deal is with $beta$.
$endgroup$
– Ian
Jan 7 at 21:43
$begingroup$
If you set $beta=0$ then the situation should be quite obvious. Now for $beta>0$, you can use a comparison argument to reduce it to the $beta=0$ case, except when $alpha p - n + 1$ is one particular value. If you show you can get to this point, then I'll explain what the deal is with $beta$.
$endgroup$
– Ian
Jan 7 at 21:43
add a comment |
0
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',
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%2f3065454%2fbrezis-exercise-under-what-condition-does-f-belongs-to-l-p-mathbbrn%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3065454%2fbrezis-exercise-under-what-condition-does-f-belongs-to-l-p-mathbbrn%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
2
$begingroup$
It's a radial function, so after changing to polar coordinates, it comes down to whether a 1-dimensional integral converges. My hint: work out the case $beta=0$ first.
$endgroup$
– Ian
Jan 7 at 20:27
$begingroup$
I will give it a try, however, two points. 1. $beta$ is supposed to be nonzero. 2. In order to apply the polar coordinates I know, $f$ must be "summable" meaning the integral of it mod is finite. which is what I must show i think.
$endgroup$
– Alfdav
Jan 7 at 20:32
1
$begingroup$
1. I'm aware that in your actual problem $beta>0$, but the situation here is actually mostly controlled by $alpha$. 2. As long as the integral makes sense (the integrand is measurable and the integral isn't a $infty - infty$ form), you can definitely change variables freely.
$endgroup$
– Ian
Jan 7 at 20:37
$begingroup$
I used polar coordinates and got: $$int_{mathbb{R^n}}f=w_{n-1}int_{0}^{infty}dfrac{1}{r^{alpha p -n+1}(log (r))^{beta p}}$$ I assume that this converges for some special values, where can I read more about this?
$endgroup$
– Alfdav
Jan 7 at 21:19
1
$begingroup$
If you set $beta=0$ then the situation should be quite obvious. Now for $beta>0$, you can use a comparison argument to reduce it to the $beta=0$ case, except when $alpha p - n + 1$ is one particular value. If you show you can get to this point, then I'll explain what the deal is with $beta$.
$endgroup$
– Ian
Jan 7 at 21:43