If $sum a_n^{3/2}$ is convergent then $sum frac{a_n}n$ is convergent
$begingroup$
If $sum a_n^{3/2}$ is convergent then $sum frac{a_n}n$ is convergent.
To prove this result: How to approach ?
Actually, when I first encountered this problem, I searched for an example that would counter this claim.
But I only have the usual example of harmonic series.
Hint only, please.
real-analysis sequences-and-series
$endgroup$
add a comment |
$begingroup$
If $sum a_n^{3/2}$ is convergent then $sum frac{a_n}n$ is convergent.
To prove this result: How to approach ?
Actually, when I first encountered this problem, I searched for an example that would counter this claim.
But I only have the usual example of harmonic series.
Hint only, please.
real-analysis sequences-and-series
$endgroup$
1
$begingroup$
Is $(a_n)$ assumed positive?
$endgroup$
– Math_QED
Jan 4 at 17:12
$begingroup$
Yes a_n >0 .Because other wise by alternating test directly we can argue.
$endgroup$
– MathLover
Jan 4 at 17:13
$begingroup$
Young's inequality $xyle x^p/p+y^q/q$, valid for positive $x,y,p,q$ where $1/p+1/q=1$, is useful here.
$endgroup$
– Mike Earnest
Jan 4 at 17:19
add a comment |
$begingroup$
If $sum a_n^{3/2}$ is convergent then $sum frac{a_n}n$ is convergent.
To prove this result: How to approach ?
Actually, when I first encountered this problem, I searched for an example that would counter this claim.
But I only have the usual example of harmonic series.
Hint only, please.
real-analysis sequences-and-series
$endgroup$
If $sum a_n^{3/2}$ is convergent then $sum frac{a_n}n$ is convergent.
To prove this result: How to approach ?
Actually, when I first encountered this problem, I searched for an example that would counter this claim.
But I only have the usual example of harmonic series.
Hint only, please.
real-analysis sequences-and-series
real-analysis sequences-and-series
edited Jan 4 at 17:36
Did
248k23225463
248k23225463
asked Jan 4 at 17:08
MathLoverMathLover
54010
54010
1
$begingroup$
Is $(a_n)$ assumed positive?
$endgroup$
– Math_QED
Jan 4 at 17:12
$begingroup$
Yes a_n >0 .Because other wise by alternating test directly we can argue.
$endgroup$
– MathLover
Jan 4 at 17:13
$begingroup$
Young's inequality $xyle x^p/p+y^q/q$, valid for positive $x,y,p,q$ where $1/p+1/q=1$, is useful here.
$endgroup$
– Mike Earnest
Jan 4 at 17:19
add a comment |
1
$begingroup$
Is $(a_n)$ assumed positive?
$endgroup$
– Math_QED
Jan 4 at 17:12
$begingroup$
Yes a_n >0 .Because other wise by alternating test directly we can argue.
$endgroup$
– MathLover
Jan 4 at 17:13
$begingroup$
Young's inequality $xyle x^p/p+y^q/q$, valid for positive $x,y,p,q$ where $1/p+1/q=1$, is useful here.
$endgroup$
– Mike Earnest
Jan 4 at 17:19
1
1
$begingroup$
Is $(a_n)$ assumed positive?
$endgroup$
– Math_QED
Jan 4 at 17:12
$begingroup$
Is $(a_n)$ assumed positive?
$endgroup$
– Math_QED
Jan 4 at 17:12
$begingroup$
Yes a_n >0 .Because other wise by alternating test directly we can argue.
$endgroup$
– MathLover
Jan 4 at 17:13
$begingroup$
Yes a_n >0 .Because other wise by alternating test directly we can argue.
$endgroup$
– MathLover
Jan 4 at 17:13
$begingroup$
Young's inequality $xyle x^p/p+y^q/q$, valid for positive $x,y,p,q$ where $1/p+1/q=1$, is useful here.
$endgroup$
– Mike Earnest
Jan 4 at 17:19
$begingroup$
Young's inequality $xyle x^p/p+y^q/q$, valid for positive $x,y,p,q$ where $1/p+1/q=1$, is useful here.
$endgroup$
– Mike Earnest
Jan 4 at 17:19
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
Use Holder's inequality to deduce that
$$
sum_{n} frac{a_n}{n}leq left(sum_n a_n^{3/2}right)^{2/3}left(sum_n frac{1}{n^3}right)^{1/3}
$$
$endgroup$
add a comment |
$begingroup$
One does not need to use Holder, Young, or anything else that advanced. The part of the series in the RHS corresponding to those $n$ with $a_n<frac1{n^2}$ converges since $a_n<frac1{n^2}$ yields $frac{a_n}n<frac1{n^3}$, the part corresponding to those $n$ with $a_ngefrac1{n^2}$ converges since in this case $frac{a_n}nle a_n^{3/2}$.
$endgroup$
add a comment |
$begingroup$
Your thought of the harmonic series is a good one. If $a_n$ is nice enough, you can say $a_n^{3/2} lt frac 1n$, so $frac {a_n}n lt n^{-5/3}$. Of course, you were not given that $a_n$ is nice, so there is still work to do.
$endgroup$
$begingroup$
This seems at most a comment.
$endgroup$
– Did
Jan 4 at 17:36
add a comment |
$begingroup$
Note first that, for $a_1,ldots,a_nge 0$, according to Hölder's inequality
$$
frac{a_1}{1}+frac{a_2}{2}+cdots+frac{a_n}{n}le (a_1^p+cdots+a_n^p)^{1/p}
left(frac{1}{1^q}+cdots+frac{1}{n^q}right)^{1/q}
$$
whenever $displaystyle frac{1}{p}+frac{1}{q}=1$. In particular, for $p=3/2$ and $q=3$, we have
$$
frac{a_1}{1}+frac{a_2}{2}+cdots+frac{a_n}{n}le (a_1^{3/2}+cdots+a_n^{3/2})^{2/3}
left(frac{1}{1^3}+cdots+frac{1}{n^3}right)^{1/3}le left(sum_{n=1}^infty a_n^{3/2}right)^{2/3}left(sum_{n=1}^inftyfrac{1}{n^3}right)^{1/3}=M<infty.
$$
Hence, $sum_{n=1}^inftyfrac{a_n}{n}$ converges.
$endgroup$
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%2f3061838%2fif-sum-a-n3-2-is-convergent-then-sum-fraca-nn-is-convergent%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Use Holder's inequality to deduce that
$$
sum_{n} frac{a_n}{n}leq left(sum_n a_n^{3/2}right)^{2/3}left(sum_n frac{1}{n^3}right)^{1/3}
$$
$endgroup$
add a comment |
$begingroup$
Use Holder's inequality to deduce that
$$
sum_{n} frac{a_n}{n}leq left(sum_n a_n^{3/2}right)^{2/3}left(sum_n frac{1}{n^3}right)^{1/3}
$$
$endgroup$
add a comment |
$begingroup$
Use Holder's inequality to deduce that
$$
sum_{n} frac{a_n}{n}leq left(sum_n a_n^{3/2}right)^{2/3}left(sum_n frac{1}{n^3}right)^{1/3}
$$
$endgroup$
Use Holder's inequality to deduce that
$$
sum_{n} frac{a_n}{n}leq left(sum_n a_n^{3/2}right)^{2/3}left(sum_n frac{1}{n^3}right)^{1/3}
$$
answered Jan 4 at 17:27
Foobaz JohnFoobaz John
22.7k41452
22.7k41452
add a comment |
add a comment |
$begingroup$
One does not need to use Holder, Young, or anything else that advanced. The part of the series in the RHS corresponding to those $n$ with $a_n<frac1{n^2}$ converges since $a_n<frac1{n^2}$ yields $frac{a_n}n<frac1{n^3}$, the part corresponding to those $n$ with $a_ngefrac1{n^2}$ converges since in this case $frac{a_n}nle a_n^{3/2}$.
$endgroup$
add a comment |
$begingroup$
One does not need to use Holder, Young, or anything else that advanced. The part of the series in the RHS corresponding to those $n$ with $a_n<frac1{n^2}$ converges since $a_n<frac1{n^2}$ yields $frac{a_n}n<frac1{n^3}$, the part corresponding to those $n$ with $a_ngefrac1{n^2}$ converges since in this case $frac{a_n}nle a_n^{3/2}$.
$endgroup$
add a comment |
$begingroup$
One does not need to use Holder, Young, or anything else that advanced. The part of the series in the RHS corresponding to those $n$ with $a_n<frac1{n^2}$ converges since $a_n<frac1{n^2}$ yields $frac{a_n}n<frac1{n^3}$, the part corresponding to those $n$ with $a_ngefrac1{n^2}$ converges since in this case $frac{a_n}nle a_n^{3/2}$.
$endgroup$
One does not need to use Holder, Young, or anything else that advanced. The part of the series in the RHS corresponding to those $n$ with $a_n<frac1{n^2}$ converges since $a_n<frac1{n^2}$ yields $frac{a_n}n<frac1{n^3}$, the part corresponding to those $n$ with $a_ngefrac1{n^2}$ converges since in this case $frac{a_n}nle a_n^{3/2}$.
answered Jan 4 at 17:42
W-t-PW-t-P
1,422611
1,422611
add a comment |
add a comment |
$begingroup$
Your thought of the harmonic series is a good one. If $a_n$ is nice enough, you can say $a_n^{3/2} lt frac 1n$, so $frac {a_n}n lt n^{-5/3}$. Of course, you were not given that $a_n$ is nice, so there is still work to do.
$endgroup$
$begingroup$
This seems at most a comment.
$endgroup$
– Did
Jan 4 at 17:36
add a comment |
$begingroup$
Your thought of the harmonic series is a good one. If $a_n$ is nice enough, you can say $a_n^{3/2} lt frac 1n$, so $frac {a_n}n lt n^{-5/3}$. Of course, you were not given that $a_n$ is nice, so there is still work to do.
$endgroup$
$begingroup$
This seems at most a comment.
$endgroup$
– Did
Jan 4 at 17:36
add a comment |
$begingroup$
Your thought of the harmonic series is a good one. If $a_n$ is nice enough, you can say $a_n^{3/2} lt frac 1n$, so $frac {a_n}n lt n^{-5/3}$. Of course, you were not given that $a_n$ is nice, so there is still work to do.
$endgroup$
Your thought of the harmonic series is a good one. If $a_n$ is nice enough, you can say $a_n^{3/2} lt frac 1n$, so $frac {a_n}n lt n^{-5/3}$. Of course, you were not given that $a_n$ is nice, so there is still work to do.
answered Jan 4 at 17:14
Ross MillikanRoss Millikan
299k24200374
299k24200374
$begingroup$
This seems at most a comment.
$endgroup$
– Did
Jan 4 at 17:36
add a comment |
$begingroup$
This seems at most a comment.
$endgroup$
– Did
Jan 4 at 17:36
$begingroup$
This seems at most a comment.
$endgroup$
– Did
Jan 4 at 17:36
$begingroup$
This seems at most a comment.
$endgroup$
– Did
Jan 4 at 17:36
add a comment |
$begingroup$
Note first that, for $a_1,ldots,a_nge 0$, according to Hölder's inequality
$$
frac{a_1}{1}+frac{a_2}{2}+cdots+frac{a_n}{n}le (a_1^p+cdots+a_n^p)^{1/p}
left(frac{1}{1^q}+cdots+frac{1}{n^q}right)^{1/q}
$$
whenever $displaystyle frac{1}{p}+frac{1}{q}=1$. In particular, for $p=3/2$ and $q=3$, we have
$$
frac{a_1}{1}+frac{a_2}{2}+cdots+frac{a_n}{n}le (a_1^{3/2}+cdots+a_n^{3/2})^{2/3}
left(frac{1}{1^3}+cdots+frac{1}{n^3}right)^{1/3}le left(sum_{n=1}^infty a_n^{3/2}right)^{2/3}left(sum_{n=1}^inftyfrac{1}{n^3}right)^{1/3}=M<infty.
$$
Hence, $sum_{n=1}^inftyfrac{a_n}{n}$ converges.
$endgroup$
add a comment |
$begingroup$
Note first that, for $a_1,ldots,a_nge 0$, according to Hölder's inequality
$$
frac{a_1}{1}+frac{a_2}{2}+cdots+frac{a_n}{n}le (a_1^p+cdots+a_n^p)^{1/p}
left(frac{1}{1^q}+cdots+frac{1}{n^q}right)^{1/q}
$$
whenever $displaystyle frac{1}{p}+frac{1}{q}=1$. In particular, for $p=3/2$ and $q=3$, we have
$$
frac{a_1}{1}+frac{a_2}{2}+cdots+frac{a_n}{n}le (a_1^{3/2}+cdots+a_n^{3/2})^{2/3}
left(frac{1}{1^3}+cdots+frac{1}{n^3}right)^{1/3}le left(sum_{n=1}^infty a_n^{3/2}right)^{2/3}left(sum_{n=1}^inftyfrac{1}{n^3}right)^{1/3}=M<infty.
$$
Hence, $sum_{n=1}^inftyfrac{a_n}{n}$ converges.
$endgroup$
add a comment |
$begingroup$
Note first that, for $a_1,ldots,a_nge 0$, according to Hölder's inequality
$$
frac{a_1}{1}+frac{a_2}{2}+cdots+frac{a_n}{n}le (a_1^p+cdots+a_n^p)^{1/p}
left(frac{1}{1^q}+cdots+frac{1}{n^q}right)^{1/q}
$$
whenever $displaystyle frac{1}{p}+frac{1}{q}=1$. In particular, for $p=3/2$ and $q=3$, we have
$$
frac{a_1}{1}+frac{a_2}{2}+cdots+frac{a_n}{n}le (a_1^{3/2}+cdots+a_n^{3/2})^{2/3}
left(frac{1}{1^3}+cdots+frac{1}{n^3}right)^{1/3}le left(sum_{n=1}^infty a_n^{3/2}right)^{2/3}left(sum_{n=1}^inftyfrac{1}{n^3}right)^{1/3}=M<infty.
$$
Hence, $sum_{n=1}^inftyfrac{a_n}{n}$ converges.
$endgroup$
Note first that, for $a_1,ldots,a_nge 0$, according to Hölder's inequality
$$
frac{a_1}{1}+frac{a_2}{2}+cdots+frac{a_n}{n}le (a_1^p+cdots+a_n^p)^{1/p}
left(frac{1}{1^q}+cdots+frac{1}{n^q}right)^{1/q}
$$
whenever $displaystyle frac{1}{p}+frac{1}{q}=1$. In particular, for $p=3/2$ and $q=3$, we have
$$
frac{a_1}{1}+frac{a_2}{2}+cdots+frac{a_n}{n}le (a_1^{3/2}+cdots+a_n^{3/2})^{2/3}
left(frac{1}{1^3}+cdots+frac{1}{n^3}right)^{1/3}le left(sum_{n=1}^infty a_n^{3/2}right)^{2/3}left(sum_{n=1}^inftyfrac{1}{n^3}right)^{1/3}=M<infty.
$$
Hence, $sum_{n=1}^inftyfrac{a_n}{n}$ converges.
answered Jan 4 at 17:27
Yiorgos S. SmyrlisYiorgos S. Smyrlis
63.5k1385164
63.5k1385164
add a comment |
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%2f3061838%2fif-sum-a-n3-2-is-convergent-then-sum-fraca-nn-is-convergent%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
1
$begingroup$
Is $(a_n)$ assumed positive?
$endgroup$
– Math_QED
Jan 4 at 17:12
$begingroup$
Yes a_n >0 .Because other wise by alternating test directly we can argue.
$endgroup$
– MathLover
Jan 4 at 17:13
$begingroup$
Young's inequality $xyle x^p/p+y^q/q$, valid for positive $x,y,p,q$ where $1/p+1/q=1$, is useful here.
$endgroup$
– Mike Earnest
Jan 4 at 17:19