Radius of convergence of $sum_{n=0}^{infty}frac{x^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}$
$begingroup$
I need to find the radius of convergence and the behavior at the endpoints of
$$sum_{n=0}^{infty}frac{x^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}.
$$
I would like that you check if my results are correct, and if not, where I made a mistake. Thank you.
Using the root test, I get
$$lim_{n to infty}left|frac{x^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}right|^{frac{1}{n}};text{ if and only if }; |x|< frac{pi}{2},
$$
by using the fact that $lim_{nto infty} sqrt{n+1}-sqrt{n}=0$ and $|cos^{-1}(0)|=frac{pi}{2}$
Now, on the endpoints, we have $x=frac{pi}{2}$ and $x=frac{-pi}{2}$ which, using the root test again, seems to result in $1$ and $-1$. So we sum up infinitely many $1$ resp. $-1$, so it diverges on both endpoints.
Are my results correct? Thanks for your help!
real-analysis sequences-and-series algebra-precalculus convergence power-series
$endgroup$
add a comment |
$begingroup$
I need to find the radius of convergence and the behavior at the endpoints of
$$sum_{n=0}^{infty}frac{x^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}.
$$
I would like that you check if my results are correct, and if not, where I made a mistake. Thank you.
Using the root test, I get
$$lim_{n to infty}left|frac{x^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}right|^{frac{1}{n}};text{ if and only if }; |x|< frac{pi}{2},
$$
by using the fact that $lim_{nto infty} sqrt{n+1}-sqrt{n}=0$ and $|cos^{-1}(0)|=frac{pi}{2}$
Now, on the endpoints, we have $x=frac{pi}{2}$ and $x=frac{-pi}{2}$ which, using the root test again, seems to result in $1$ and $-1$. So we sum up infinitely many $1$ resp. $-1$, so it diverges on both endpoints.
Are my results correct? Thanks for your help!
real-analysis sequences-and-series algebra-precalculus convergence power-series
$endgroup$
add a comment |
$begingroup$
I need to find the radius of convergence and the behavior at the endpoints of
$$sum_{n=0}^{infty}frac{x^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}.
$$
I would like that you check if my results are correct, and if not, where I made a mistake. Thank you.
Using the root test, I get
$$lim_{n to infty}left|frac{x^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}right|^{frac{1}{n}};text{ if and only if }; |x|< frac{pi}{2},
$$
by using the fact that $lim_{nto infty} sqrt{n+1}-sqrt{n}=0$ and $|cos^{-1}(0)|=frac{pi}{2}$
Now, on the endpoints, we have $x=frac{pi}{2}$ and $x=frac{-pi}{2}$ which, using the root test again, seems to result in $1$ and $-1$. So we sum up infinitely many $1$ resp. $-1$, so it diverges on both endpoints.
Are my results correct? Thanks for your help!
real-analysis sequences-and-series algebra-precalculus convergence power-series
$endgroup$
I need to find the radius of convergence and the behavior at the endpoints of
$$sum_{n=0}^{infty}frac{x^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}.
$$
I would like that you check if my results are correct, and if not, where I made a mistake. Thank you.
Using the root test, I get
$$lim_{n to infty}left|frac{x^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}right|^{frac{1}{n}};text{ if and only if }; |x|< frac{pi}{2},
$$
by using the fact that $lim_{nto infty} sqrt{n+1}-sqrt{n}=0$ and $|cos^{-1}(0)|=frac{pi}{2}$
Now, on the endpoints, we have $x=frac{pi}{2}$ and $x=frac{-pi}{2}$ which, using the root test again, seems to result in $1$ and $-1$. So we sum up infinitely many $1$ resp. $-1$, so it diverges on both endpoints.
Are my results correct? Thanks for your help!
real-analysis sequences-and-series algebra-precalculus convergence power-series
real-analysis sequences-and-series algebra-precalculus convergence power-series
edited Dec 29 '18 at 16:49
Daniele Tampieri
2,3022922
2,3022922
asked Dec 29 '18 at 16:40
PoujhPoujh
616516
616516
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Edit: in order to answer as comprehensively as possible to the question, following the OP's comments, I have reworked and extended my former answer.
The first one of your conclusions is right, while you are misinterpreting the second one: when $x=pmfrac{pi}{2}$ you are on the boundary of the circle of convergence, therefore the power series may or may not converge at that points: the root test does to work when
$$
lim_{n to infty} sqrt[n]{a_nx^n}=lim_{n to infty}left|frac{1}{2^n}frac{pi^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}right|^{frac{1}{n}}=1
$$
The Cauchy-Hadamard theorem states simply than the root test applied to the coefficients $langle a_n rangle_{n in mathbb{N}}$ (in general $a_n in mathbb{C}$ for all $n in mathbb{N}$) of a given power series $sum_{n=0}^{infty} a_n x^n$, determines the values $R$ of the radius of convergence
$$
R=frac{1}{lim_{n to infty} sqrt[n]{a_n}}
$$
for which $|x|<R$ implies the convergence of your power series, but cannot say anything when $|x|=R$: thus you have correctly determined the radius of convergence $R=frac{pi}{2}$ of your power series, but this does not give any knowledge on its behavior path the extremes of its interval (disk) of convergence.
How to find the behavior of $sum_{n=0}^{infty} a_n x^n$ for $x=R$?
Assuming without loss of generality $R=1$ (you can always use the transformation $xmapsto Rx$ and consider a new power series
$sum_{n=0}^{infty} hat{a}_n x^n$ with $hat{a}_n=a_nR^n$ for all $ninmathbb{N}$), apart from the standard Cauchy convergence criterion which Dèö cites in the comments to his answer, the only necessary and sufficient condition for the convergence of power series on the boundary points $|x|=1$ I am aware of is Tauber's second theorem. In the current situation, it states that the power series is summable and the value of its sum is $s_pm$ ($s_+$ for $x=1$ and $s_-$ for $x=-1$; note that the original statement of Tauber considers each boundary point singularly) if and only if
$lim_{zto pm 1^-}sum_{n=0}^infty a_nx^n=s_pm$ and
$a_1+2a_2+cdots+na_n=o(n)quad forall ninmathbb{N}_+$.
However, like Cauchy criterion, this is not easily applicable to real problems: the fulfillment of condition 1 means requiring the series $sum_{n=0}^infty a_n$ to be Abel summable, while the fulfillment of condition 2 means that the Cesaro mean of its partial sums vanishes as $nto infty$. Definitely not the easiest properties to check, even if in some case they can be quite effective.
$endgroup$
$begingroup$
But then how should I proceed to find the behavior at the endpoints ? I mean, if I plug in $frac{pm pi}{2}$, what should I do next ? Given that it's raised to the nth power, how can I define the convergence there in another way ?
$endgroup$
– Poujh
Dec 29 '18 at 17:02
$begingroup$
In another way, how should I proceed in order to evaluate the convergence/ divergence at the boundary if I can't use the root test ?
$endgroup$
– Poujh
Dec 29 '18 at 17:13
$begingroup$
This is a difficult matter: I'll add something to my answer later.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 17:50
$begingroup$
@Poujh: thanks for accepting my answer. I corrected it a bit and added a few considerations.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 22:53
$begingroup$
Okay, thank you !
$endgroup$
– Poujh
Dec 30 '18 at 11:30
add a comment |
$begingroup$
You can directly find the radius of convergence for the power series $sum_{n=0}^{infty}a_nx^n$ by $textit{Hadamard's formula}$, given by $$frac{1}{R}=limsup_{nrightarrow infty } sqrt[n]{a_n}.$$
In the given series, $a_n=frac{1}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n} implies frac{1}{R}=limsup_{nrightarrow infty } frac{1}{(cos^{-1}(sqrt{n+1}-sqrt{n}))}$, since in the interval $(-frac{pi}{2},frac{pi}{2})$ containing $0$ the function $cos^{-1}$ is continuous and $lim_{nrightarrow infty}(sqrt{n+1}-sqrt{n})=0$, hence $R=frac{pi}{2}$. At the end point say $x=frac{pi}{2}$, the series $sum_{n=0}^{infty}frac{(frac{pi}{2})^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n} $ diverges as the $n^{th}$ terms goes to $1$ as $n rightarrow infty$, similarly for $x=-frac{pi}{2}$.
The above calculation is valid if the convergence is asked to be in $mathbb{R}$. If the convergence is asked in $mathbb{C}$, the disc of convergence would be $|z|<frac{pi}{2}$ and we have to look for all the points in $|z|=R$ , if it converges or not.
$endgroup$
$begingroup$
Just a question : what method did you exactly use to prove the divergence at the endpoints ?
$endgroup$
– Poujh
Dec 29 '18 at 17:24
$begingroup$
If the series $sum a_n$ converges then the $lim_{nrightarrow infty} a_n=0$, which trivially follows from $S_n-S_{n-1}=a_n$, where $S_n$ is the partial sum of first $n$ terms.
$endgroup$
– Dèö
Dec 29 '18 at 17:29
$begingroup$
Yeah, but so you used the fact that we get pi over two over pi over two as n tends toward infinity which yields 1 (resp. -1). You didn't use the root test or ratio test because we can't use them at the borders. Basically, we just ask us at the endpoints if we get 0 as n approaches infinity by plugging in the endpoint values, we don't use another "test" as before, is that correct ?
$endgroup$
– Poujh
Dec 29 '18 at 17:33
$begingroup$
But $lim_{nrightarrow infty}a_n =0$ doesn't guarantee the convergence of the series, but if it is not 0 we can certainly say that the series does not converge. Judging if the series converges or not needs a few more arguments which are illustrated by @ Daniele Tampieri.
$endgroup$
– Dèö
Dec 30 '18 at 16:46
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%2f3056021%2fradius-of-convergence-of-sum-n-0-infty-fracxn-cos-1-sqrtn1-s%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Edit: in order to answer as comprehensively as possible to the question, following the OP's comments, I have reworked and extended my former answer.
The first one of your conclusions is right, while you are misinterpreting the second one: when $x=pmfrac{pi}{2}$ you are on the boundary of the circle of convergence, therefore the power series may or may not converge at that points: the root test does to work when
$$
lim_{n to infty} sqrt[n]{a_nx^n}=lim_{n to infty}left|frac{1}{2^n}frac{pi^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}right|^{frac{1}{n}}=1
$$
The Cauchy-Hadamard theorem states simply than the root test applied to the coefficients $langle a_n rangle_{n in mathbb{N}}$ (in general $a_n in mathbb{C}$ for all $n in mathbb{N}$) of a given power series $sum_{n=0}^{infty} a_n x^n$, determines the values $R$ of the radius of convergence
$$
R=frac{1}{lim_{n to infty} sqrt[n]{a_n}}
$$
for which $|x|<R$ implies the convergence of your power series, but cannot say anything when $|x|=R$: thus you have correctly determined the radius of convergence $R=frac{pi}{2}$ of your power series, but this does not give any knowledge on its behavior path the extremes of its interval (disk) of convergence.
How to find the behavior of $sum_{n=0}^{infty} a_n x^n$ for $x=R$?
Assuming without loss of generality $R=1$ (you can always use the transformation $xmapsto Rx$ and consider a new power series
$sum_{n=0}^{infty} hat{a}_n x^n$ with $hat{a}_n=a_nR^n$ for all $ninmathbb{N}$), apart from the standard Cauchy convergence criterion which Dèö cites in the comments to his answer, the only necessary and sufficient condition for the convergence of power series on the boundary points $|x|=1$ I am aware of is Tauber's second theorem. In the current situation, it states that the power series is summable and the value of its sum is $s_pm$ ($s_+$ for $x=1$ and $s_-$ for $x=-1$; note that the original statement of Tauber considers each boundary point singularly) if and only if
$lim_{zto pm 1^-}sum_{n=0}^infty a_nx^n=s_pm$ and
$a_1+2a_2+cdots+na_n=o(n)quad forall ninmathbb{N}_+$.
However, like Cauchy criterion, this is not easily applicable to real problems: the fulfillment of condition 1 means requiring the series $sum_{n=0}^infty a_n$ to be Abel summable, while the fulfillment of condition 2 means that the Cesaro mean of its partial sums vanishes as $nto infty$. Definitely not the easiest properties to check, even if in some case they can be quite effective.
$endgroup$
$begingroup$
But then how should I proceed to find the behavior at the endpoints ? I mean, if I plug in $frac{pm pi}{2}$, what should I do next ? Given that it's raised to the nth power, how can I define the convergence there in another way ?
$endgroup$
– Poujh
Dec 29 '18 at 17:02
$begingroup$
In another way, how should I proceed in order to evaluate the convergence/ divergence at the boundary if I can't use the root test ?
$endgroup$
– Poujh
Dec 29 '18 at 17:13
$begingroup$
This is a difficult matter: I'll add something to my answer later.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 17:50
$begingroup$
@Poujh: thanks for accepting my answer. I corrected it a bit and added a few considerations.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 22:53
$begingroup$
Okay, thank you !
$endgroup$
– Poujh
Dec 30 '18 at 11:30
add a comment |
$begingroup$
Edit: in order to answer as comprehensively as possible to the question, following the OP's comments, I have reworked and extended my former answer.
The first one of your conclusions is right, while you are misinterpreting the second one: when $x=pmfrac{pi}{2}$ you are on the boundary of the circle of convergence, therefore the power series may or may not converge at that points: the root test does to work when
$$
lim_{n to infty} sqrt[n]{a_nx^n}=lim_{n to infty}left|frac{1}{2^n}frac{pi^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}right|^{frac{1}{n}}=1
$$
The Cauchy-Hadamard theorem states simply than the root test applied to the coefficients $langle a_n rangle_{n in mathbb{N}}$ (in general $a_n in mathbb{C}$ for all $n in mathbb{N}$) of a given power series $sum_{n=0}^{infty} a_n x^n$, determines the values $R$ of the radius of convergence
$$
R=frac{1}{lim_{n to infty} sqrt[n]{a_n}}
$$
for which $|x|<R$ implies the convergence of your power series, but cannot say anything when $|x|=R$: thus you have correctly determined the radius of convergence $R=frac{pi}{2}$ of your power series, but this does not give any knowledge on its behavior path the extremes of its interval (disk) of convergence.
How to find the behavior of $sum_{n=0}^{infty} a_n x^n$ for $x=R$?
Assuming without loss of generality $R=1$ (you can always use the transformation $xmapsto Rx$ and consider a new power series
$sum_{n=0}^{infty} hat{a}_n x^n$ with $hat{a}_n=a_nR^n$ for all $ninmathbb{N}$), apart from the standard Cauchy convergence criterion which Dèö cites in the comments to his answer, the only necessary and sufficient condition for the convergence of power series on the boundary points $|x|=1$ I am aware of is Tauber's second theorem. In the current situation, it states that the power series is summable and the value of its sum is $s_pm$ ($s_+$ for $x=1$ and $s_-$ for $x=-1$; note that the original statement of Tauber considers each boundary point singularly) if and only if
$lim_{zto pm 1^-}sum_{n=0}^infty a_nx^n=s_pm$ and
$a_1+2a_2+cdots+na_n=o(n)quad forall ninmathbb{N}_+$.
However, like Cauchy criterion, this is not easily applicable to real problems: the fulfillment of condition 1 means requiring the series $sum_{n=0}^infty a_n$ to be Abel summable, while the fulfillment of condition 2 means that the Cesaro mean of its partial sums vanishes as $nto infty$. Definitely not the easiest properties to check, even if in some case they can be quite effective.
$endgroup$
$begingroup$
But then how should I proceed to find the behavior at the endpoints ? I mean, if I plug in $frac{pm pi}{2}$, what should I do next ? Given that it's raised to the nth power, how can I define the convergence there in another way ?
$endgroup$
– Poujh
Dec 29 '18 at 17:02
$begingroup$
In another way, how should I proceed in order to evaluate the convergence/ divergence at the boundary if I can't use the root test ?
$endgroup$
– Poujh
Dec 29 '18 at 17:13
$begingroup$
This is a difficult matter: I'll add something to my answer later.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 17:50
$begingroup$
@Poujh: thanks for accepting my answer. I corrected it a bit and added a few considerations.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 22:53
$begingroup$
Okay, thank you !
$endgroup$
– Poujh
Dec 30 '18 at 11:30
add a comment |
$begingroup$
Edit: in order to answer as comprehensively as possible to the question, following the OP's comments, I have reworked and extended my former answer.
The first one of your conclusions is right, while you are misinterpreting the second one: when $x=pmfrac{pi}{2}$ you are on the boundary of the circle of convergence, therefore the power series may or may not converge at that points: the root test does to work when
$$
lim_{n to infty} sqrt[n]{a_nx^n}=lim_{n to infty}left|frac{1}{2^n}frac{pi^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}right|^{frac{1}{n}}=1
$$
The Cauchy-Hadamard theorem states simply than the root test applied to the coefficients $langle a_n rangle_{n in mathbb{N}}$ (in general $a_n in mathbb{C}$ for all $n in mathbb{N}$) of a given power series $sum_{n=0}^{infty} a_n x^n$, determines the values $R$ of the radius of convergence
$$
R=frac{1}{lim_{n to infty} sqrt[n]{a_n}}
$$
for which $|x|<R$ implies the convergence of your power series, but cannot say anything when $|x|=R$: thus you have correctly determined the radius of convergence $R=frac{pi}{2}$ of your power series, but this does not give any knowledge on its behavior path the extremes of its interval (disk) of convergence.
How to find the behavior of $sum_{n=0}^{infty} a_n x^n$ for $x=R$?
Assuming without loss of generality $R=1$ (you can always use the transformation $xmapsto Rx$ and consider a new power series
$sum_{n=0}^{infty} hat{a}_n x^n$ with $hat{a}_n=a_nR^n$ for all $ninmathbb{N}$), apart from the standard Cauchy convergence criterion which Dèö cites in the comments to his answer, the only necessary and sufficient condition for the convergence of power series on the boundary points $|x|=1$ I am aware of is Tauber's second theorem. In the current situation, it states that the power series is summable and the value of its sum is $s_pm$ ($s_+$ for $x=1$ and $s_-$ for $x=-1$; note that the original statement of Tauber considers each boundary point singularly) if and only if
$lim_{zto pm 1^-}sum_{n=0}^infty a_nx^n=s_pm$ and
$a_1+2a_2+cdots+na_n=o(n)quad forall ninmathbb{N}_+$.
However, like Cauchy criterion, this is not easily applicable to real problems: the fulfillment of condition 1 means requiring the series $sum_{n=0}^infty a_n$ to be Abel summable, while the fulfillment of condition 2 means that the Cesaro mean of its partial sums vanishes as $nto infty$. Definitely not the easiest properties to check, even if in some case they can be quite effective.
$endgroup$
Edit: in order to answer as comprehensively as possible to the question, following the OP's comments, I have reworked and extended my former answer.
The first one of your conclusions is right, while you are misinterpreting the second one: when $x=pmfrac{pi}{2}$ you are on the boundary of the circle of convergence, therefore the power series may or may not converge at that points: the root test does to work when
$$
lim_{n to infty} sqrt[n]{a_nx^n}=lim_{n to infty}left|frac{1}{2^n}frac{pi^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n}right|^{frac{1}{n}}=1
$$
The Cauchy-Hadamard theorem states simply than the root test applied to the coefficients $langle a_n rangle_{n in mathbb{N}}$ (in general $a_n in mathbb{C}$ for all $n in mathbb{N}$) of a given power series $sum_{n=0}^{infty} a_n x^n$, determines the values $R$ of the radius of convergence
$$
R=frac{1}{lim_{n to infty} sqrt[n]{a_n}}
$$
for which $|x|<R$ implies the convergence of your power series, but cannot say anything when $|x|=R$: thus you have correctly determined the radius of convergence $R=frac{pi}{2}$ of your power series, but this does not give any knowledge on its behavior path the extremes of its interval (disk) of convergence.
How to find the behavior of $sum_{n=0}^{infty} a_n x^n$ for $x=R$?
Assuming without loss of generality $R=1$ (you can always use the transformation $xmapsto Rx$ and consider a new power series
$sum_{n=0}^{infty} hat{a}_n x^n$ with $hat{a}_n=a_nR^n$ for all $ninmathbb{N}$), apart from the standard Cauchy convergence criterion which Dèö cites in the comments to his answer, the only necessary and sufficient condition for the convergence of power series on the boundary points $|x|=1$ I am aware of is Tauber's second theorem. In the current situation, it states that the power series is summable and the value of its sum is $s_pm$ ($s_+$ for $x=1$ and $s_-$ for $x=-1$; note that the original statement of Tauber considers each boundary point singularly) if and only if
$lim_{zto pm 1^-}sum_{n=0}^infty a_nx^n=s_pm$ and
$a_1+2a_2+cdots+na_n=o(n)quad forall ninmathbb{N}_+$.
However, like Cauchy criterion, this is not easily applicable to real problems: the fulfillment of condition 1 means requiring the series $sum_{n=0}^infty a_n$ to be Abel summable, while the fulfillment of condition 2 means that the Cesaro mean of its partial sums vanishes as $nto infty$. Definitely not the easiest properties to check, even if in some case they can be quite effective.
edited Dec 29 '18 at 22:52
answered Dec 29 '18 at 16:57
Daniele TampieriDaniele Tampieri
2,3022922
2,3022922
$begingroup$
But then how should I proceed to find the behavior at the endpoints ? I mean, if I plug in $frac{pm pi}{2}$, what should I do next ? Given that it's raised to the nth power, how can I define the convergence there in another way ?
$endgroup$
– Poujh
Dec 29 '18 at 17:02
$begingroup$
In another way, how should I proceed in order to evaluate the convergence/ divergence at the boundary if I can't use the root test ?
$endgroup$
– Poujh
Dec 29 '18 at 17:13
$begingroup$
This is a difficult matter: I'll add something to my answer later.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 17:50
$begingroup$
@Poujh: thanks for accepting my answer. I corrected it a bit and added a few considerations.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 22:53
$begingroup$
Okay, thank you !
$endgroup$
– Poujh
Dec 30 '18 at 11:30
add a comment |
$begingroup$
But then how should I proceed to find the behavior at the endpoints ? I mean, if I plug in $frac{pm pi}{2}$, what should I do next ? Given that it's raised to the nth power, how can I define the convergence there in another way ?
$endgroup$
– Poujh
Dec 29 '18 at 17:02
$begingroup$
In another way, how should I proceed in order to evaluate the convergence/ divergence at the boundary if I can't use the root test ?
$endgroup$
– Poujh
Dec 29 '18 at 17:13
$begingroup$
This is a difficult matter: I'll add something to my answer later.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 17:50
$begingroup$
@Poujh: thanks for accepting my answer. I corrected it a bit and added a few considerations.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 22:53
$begingroup$
Okay, thank you !
$endgroup$
– Poujh
Dec 30 '18 at 11:30
$begingroup$
But then how should I proceed to find the behavior at the endpoints ? I mean, if I plug in $frac{pm pi}{2}$, what should I do next ? Given that it's raised to the nth power, how can I define the convergence there in another way ?
$endgroup$
– Poujh
Dec 29 '18 at 17:02
$begingroup$
But then how should I proceed to find the behavior at the endpoints ? I mean, if I plug in $frac{pm pi}{2}$, what should I do next ? Given that it's raised to the nth power, how can I define the convergence there in another way ?
$endgroup$
– Poujh
Dec 29 '18 at 17:02
$begingroup$
In another way, how should I proceed in order to evaluate the convergence/ divergence at the boundary if I can't use the root test ?
$endgroup$
– Poujh
Dec 29 '18 at 17:13
$begingroup$
In another way, how should I proceed in order to evaluate the convergence/ divergence at the boundary if I can't use the root test ?
$endgroup$
– Poujh
Dec 29 '18 at 17:13
$begingroup$
This is a difficult matter: I'll add something to my answer later.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 17:50
$begingroup$
This is a difficult matter: I'll add something to my answer later.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 17:50
$begingroup$
@Poujh: thanks for accepting my answer. I corrected it a bit and added a few considerations.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 22:53
$begingroup$
@Poujh: thanks for accepting my answer. I corrected it a bit and added a few considerations.
$endgroup$
– Daniele Tampieri
Dec 29 '18 at 22:53
$begingroup$
Okay, thank you !
$endgroup$
– Poujh
Dec 30 '18 at 11:30
$begingroup$
Okay, thank you !
$endgroup$
– Poujh
Dec 30 '18 at 11:30
add a comment |
$begingroup$
You can directly find the radius of convergence for the power series $sum_{n=0}^{infty}a_nx^n$ by $textit{Hadamard's formula}$, given by $$frac{1}{R}=limsup_{nrightarrow infty } sqrt[n]{a_n}.$$
In the given series, $a_n=frac{1}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n} implies frac{1}{R}=limsup_{nrightarrow infty } frac{1}{(cos^{-1}(sqrt{n+1}-sqrt{n}))}$, since in the interval $(-frac{pi}{2},frac{pi}{2})$ containing $0$ the function $cos^{-1}$ is continuous and $lim_{nrightarrow infty}(sqrt{n+1}-sqrt{n})=0$, hence $R=frac{pi}{2}$. At the end point say $x=frac{pi}{2}$, the series $sum_{n=0}^{infty}frac{(frac{pi}{2})^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n} $ diverges as the $n^{th}$ terms goes to $1$ as $n rightarrow infty$, similarly for $x=-frac{pi}{2}$.
The above calculation is valid if the convergence is asked to be in $mathbb{R}$. If the convergence is asked in $mathbb{C}$, the disc of convergence would be $|z|<frac{pi}{2}$ and we have to look for all the points in $|z|=R$ , if it converges or not.
$endgroup$
$begingroup$
Just a question : what method did you exactly use to prove the divergence at the endpoints ?
$endgroup$
– Poujh
Dec 29 '18 at 17:24
$begingroup$
If the series $sum a_n$ converges then the $lim_{nrightarrow infty} a_n=0$, which trivially follows from $S_n-S_{n-1}=a_n$, where $S_n$ is the partial sum of first $n$ terms.
$endgroup$
– Dèö
Dec 29 '18 at 17:29
$begingroup$
Yeah, but so you used the fact that we get pi over two over pi over two as n tends toward infinity which yields 1 (resp. -1). You didn't use the root test or ratio test because we can't use them at the borders. Basically, we just ask us at the endpoints if we get 0 as n approaches infinity by plugging in the endpoint values, we don't use another "test" as before, is that correct ?
$endgroup$
– Poujh
Dec 29 '18 at 17:33
$begingroup$
But $lim_{nrightarrow infty}a_n =0$ doesn't guarantee the convergence of the series, but if it is not 0 we can certainly say that the series does not converge. Judging if the series converges or not needs a few more arguments which are illustrated by @ Daniele Tampieri.
$endgroup$
– Dèö
Dec 30 '18 at 16:46
add a comment |
$begingroup$
You can directly find the radius of convergence for the power series $sum_{n=0}^{infty}a_nx^n$ by $textit{Hadamard's formula}$, given by $$frac{1}{R}=limsup_{nrightarrow infty } sqrt[n]{a_n}.$$
In the given series, $a_n=frac{1}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n} implies frac{1}{R}=limsup_{nrightarrow infty } frac{1}{(cos^{-1}(sqrt{n+1}-sqrt{n}))}$, since in the interval $(-frac{pi}{2},frac{pi}{2})$ containing $0$ the function $cos^{-1}$ is continuous and $lim_{nrightarrow infty}(sqrt{n+1}-sqrt{n})=0$, hence $R=frac{pi}{2}$. At the end point say $x=frac{pi}{2}$, the series $sum_{n=0}^{infty}frac{(frac{pi}{2})^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n} $ diverges as the $n^{th}$ terms goes to $1$ as $n rightarrow infty$, similarly for $x=-frac{pi}{2}$.
The above calculation is valid if the convergence is asked to be in $mathbb{R}$. If the convergence is asked in $mathbb{C}$, the disc of convergence would be $|z|<frac{pi}{2}$ and we have to look for all the points in $|z|=R$ , if it converges or not.
$endgroup$
$begingroup$
Just a question : what method did you exactly use to prove the divergence at the endpoints ?
$endgroup$
– Poujh
Dec 29 '18 at 17:24
$begingroup$
If the series $sum a_n$ converges then the $lim_{nrightarrow infty} a_n=0$, which trivially follows from $S_n-S_{n-1}=a_n$, where $S_n$ is the partial sum of first $n$ terms.
$endgroup$
– Dèö
Dec 29 '18 at 17:29
$begingroup$
Yeah, but so you used the fact that we get pi over two over pi over two as n tends toward infinity which yields 1 (resp. -1). You didn't use the root test or ratio test because we can't use them at the borders. Basically, we just ask us at the endpoints if we get 0 as n approaches infinity by plugging in the endpoint values, we don't use another "test" as before, is that correct ?
$endgroup$
– Poujh
Dec 29 '18 at 17:33
$begingroup$
But $lim_{nrightarrow infty}a_n =0$ doesn't guarantee the convergence of the series, but if it is not 0 we can certainly say that the series does not converge. Judging if the series converges or not needs a few more arguments which are illustrated by @ Daniele Tampieri.
$endgroup$
– Dèö
Dec 30 '18 at 16:46
add a comment |
$begingroup$
You can directly find the radius of convergence for the power series $sum_{n=0}^{infty}a_nx^n$ by $textit{Hadamard's formula}$, given by $$frac{1}{R}=limsup_{nrightarrow infty } sqrt[n]{a_n}.$$
In the given series, $a_n=frac{1}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n} implies frac{1}{R}=limsup_{nrightarrow infty } frac{1}{(cos^{-1}(sqrt{n+1}-sqrt{n}))}$, since in the interval $(-frac{pi}{2},frac{pi}{2})$ containing $0$ the function $cos^{-1}$ is continuous and $lim_{nrightarrow infty}(sqrt{n+1}-sqrt{n})=0$, hence $R=frac{pi}{2}$. At the end point say $x=frac{pi}{2}$, the series $sum_{n=0}^{infty}frac{(frac{pi}{2})^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n} $ diverges as the $n^{th}$ terms goes to $1$ as $n rightarrow infty$, similarly for $x=-frac{pi}{2}$.
The above calculation is valid if the convergence is asked to be in $mathbb{R}$. If the convergence is asked in $mathbb{C}$, the disc of convergence would be $|z|<frac{pi}{2}$ and we have to look for all the points in $|z|=R$ , if it converges or not.
$endgroup$
You can directly find the radius of convergence for the power series $sum_{n=0}^{infty}a_nx^n$ by $textit{Hadamard's formula}$, given by $$frac{1}{R}=limsup_{nrightarrow infty } sqrt[n]{a_n}.$$
In the given series, $a_n=frac{1}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n} implies frac{1}{R}=limsup_{nrightarrow infty } frac{1}{(cos^{-1}(sqrt{n+1}-sqrt{n}))}$, since in the interval $(-frac{pi}{2},frac{pi}{2})$ containing $0$ the function $cos^{-1}$ is continuous and $lim_{nrightarrow infty}(sqrt{n+1}-sqrt{n})=0$, hence $R=frac{pi}{2}$. At the end point say $x=frac{pi}{2}$, the series $sum_{n=0}^{infty}frac{(frac{pi}{2})^n}{(cos^{-1}(sqrt{n+1}-sqrt{n}))^n} $ diverges as the $n^{th}$ terms goes to $1$ as $n rightarrow infty$, similarly for $x=-frac{pi}{2}$.
The above calculation is valid if the convergence is asked to be in $mathbb{R}$. If the convergence is asked in $mathbb{C}$, the disc of convergence would be $|z|<frac{pi}{2}$ and we have to look for all the points in $|z|=R$ , if it converges or not.
edited Dec 29 '18 at 17:25
answered Dec 29 '18 at 17:20
DèöDèö
18116
18116
$begingroup$
Just a question : what method did you exactly use to prove the divergence at the endpoints ?
$endgroup$
– Poujh
Dec 29 '18 at 17:24
$begingroup$
If the series $sum a_n$ converges then the $lim_{nrightarrow infty} a_n=0$, which trivially follows from $S_n-S_{n-1}=a_n$, where $S_n$ is the partial sum of first $n$ terms.
$endgroup$
– Dèö
Dec 29 '18 at 17:29
$begingroup$
Yeah, but so you used the fact that we get pi over two over pi over two as n tends toward infinity which yields 1 (resp. -1). You didn't use the root test or ratio test because we can't use them at the borders. Basically, we just ask us at the endpoints if we get 0 as n approaches infinity by plugging in the endpoint values, we don't use another "test" as before, is that correct ?
$endgroup$
– Poujh
Dec 29 '18 at 17:33
$begingroup$
But $lim_{nrightarrow infty}a_n =0$ doesn't guarantee the convergence of the series, but if it is not 0 we can certainly say that the series does not converge. Judging if the series converges or not needs a few more arguments which are illustrated by @ Daniele Tampieri.
$endgroup$
– Dèö
Dec 30 '18 at 16:46
add a comment |
$begingroup$
Just a question : what method did you exactly use to prove the divergence at the endpoints ?
$endgroup$
– Poujh
Dec 29 '18 at 17:24
$begingroup$
If the series $sum a_n$ converges then the $lim_{nrightarrow infty} a_n=0$, which trivially follows from $S_n-S_{n-1}=a_n$, where $S_n$ is the partial sum of first $n$ terms.
$endgroup$
– Dèö
Dec 29 '18 at 17:29
$begingroup$
Yeah, but so you used the fact that we get pi over two over pi over two as n tends toward infinity which yields 1 (resp. -1). You didn't use the root test or ratio test because we can't use them at the borders. Basically, we just ask us at the endpoints if we get 0 as n approaches infinity by plugging in the endpoint values, we don't use another "test" as before, is that correct ?
$endgroup$
– Poujh
Dec 29 '18 at 17:33
$begingroup$
But $lim_{nrightarrow infty}a_n =0$ doesn't guarantee the convergence of the series, but if it is not 0 we can certainly say that the series does not converge. Judging if the series converges or not needs a few more arguments which are illustrated by @ Daniele Tampieri.
$endgroup$
– Dèö
Dec 30 '18 at 16:46
$begingroup$
Just a question : what method did you exactly use to prove the divergence at the endpoints ?
$endgroup$
– Poujh
Dec 29 '18 at 17:24
$begingroup$
Just a question : what method did you exactly use to prove the divergence at the endpoints ?
$endgroup$
– Poujh
Dec 29 '18 at 17:24
$begingroup$
If the series $sum a_n$ converges then the $lim_{nrightarrow infty} a_n=0$, which trivially follows from $S_n-S_{n-1}=a_n$, where $S_n$ is the partial sum of first $n$ terms.
$endgroup$
– Dèö
Dec 29 '18 at 17:29
$begingroup$
If the series $sum a_n$ converges then the $lim_{nrightarrow infty} a_n=0$, which trivially follows from $S_n-S_{n-1}=a_n$, where $S_n$ is the partial sum of first $n$ terms.
$endgroup$
– Dèö
Dec 29 '18 at 17:29
$begingroup$
Yeah, but so you used the fact that we get pi over two over pi over two as n tends toward infinity which yields 1 (resp. -1). You didn't use the root test or ratio test because we can't use them at the borders. Basically, we just ask us at the endpoints if we get 0 as n approaches infinity by plugging in the endpoint values, we don't use another "test" as before, is that correct ?
$endgroup$
– Poujh
Dec 29 '18 at 17:33
$begingroup$
Yeah, but so you used the fact that we get pi over two over pi over two as n tends toward infinity which yields 1 (resp. -1). You didn't use the root test or ratio test because we can't use them at the borders. Basically, we just ask us at the endpoints if we get 0 as n approaches infinity by plugging in the endpoint values, we don't use another "test" as before, is that correct ?
$endgroup$
– Poujh
Dec 29 '18 at 17:33
$begingroup$
But $lim_{nrightarrow infty}a_n =0$ doesn't guarantee the convergence of the series, but if it is not 0 we can certainly say that the series does not converge. Judging if the series converges or not needs a few more arguments which are illustrated by @ Daniele Tampieri.
$endgroup$
– Dèö
Dec 30 '18 at 16:46
$begingroup$
But $lim_{nrightarrow infty}a_n =0$ doesn't guarantee the convergence of the series, but if it is not 0 we can certainly say that the series does not converge. Judging if the series converges or not needs a few more arguments which are illustrated by @ Daniele Tampieri.
$endgroup$
– Dèö
Dec 30 '18 at 16:46
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%2f3056021%2fradius-of-convergence-of-sum-n-0-infty-fracxn-cos-1-sqrtn1-s%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