The limit containing sum of arccosines DOES exist












2














I'm trying to handle a quite complicated limit involving series. Such limits are really scary for me because I do not know any technique to compute them. The initial limit is $$lim_{mtoinfty}left(lnleft(m+1+sqrt{m^2+2m}right)+sum_{n=1}^{m+1}arccosfrac1n-(m+1)arccosfrac1{m+1}right)$$
I'm thinking that determining of asymptotic behaviour of the sum $sum_{n=1}^marccosfrac1n$ as $mtoinfty$ will help to evaluate this limit. Thank you for any contribution.



As an addition. Maybe it could be helpful. The last two terms I got after simplifying sum $$-sum_{n=1}^m nleft(arccosfrac1{n+1}-arccosfrac1nright)$$



Update. The limit could be rewritten (after changing $m+1to m$) as $$lim_{mtoinfty}left(lnleft(m+sqrt{m^2-1}right)+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)$$ or $$lim_{mtoinfty}left(operatorname{arccosh}m+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)$$
The limit seems to exist. After computing numerically it seems to tend to $color{red}{0.508132}$.



Update #2. After using Euler–Maclaurin formula I've gotten that $sum_{n=1}^marccosfrac1n$ could be expressed as follows (for certain $p$, $f(x)=arccosfrac1x$):



$$begin{aligned}sum_{n=1}^marccosfrac1n&=int_1^marccosfrac1x,dx+frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p\
&=marccosfrac1m-operatorname{arccosh}m+frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p
end{aligned}$$

Thus $$sum_{n=1}^marccosfrac1n-marccosfrac1m+operatorname{arccosh}m=frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p$$ and $$lim_{mtoinfty}left(operatorname{arccosh}m+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)=lim_{mtoinfty}left(frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_pright)$$
And I'm stuck. I do not know what I can do with these Bernoulli numbers and so on.










share|cite|improve this question




















  • 1




    It was a long time I calculated things like this. But maybe you can estimate this sum with integrals of some kind.
    – mathreadler
    Nov 22 at 13:16










  • Have you tried Euler-Maclaurin formula?
    – Szeto
    Nov 22 at 14:22










  • No, I haven't. I supposed that it would not help because I would have to find n-th derivative of $arccosfrac1x$ which (I think) hasn't closed form
    – Mikalai Parshutsich
    Nov 22 at 15:49










  • Please have titles that reflect the content of your question, rather announcements that would only be understood after spending some nontrivial amount of time reading through your question.
    – Asaf Karagila
    Nov 27 at 6:45
















2














I'm trying to handle a quite complicated limit involving series. Such limits are really scary for me because I do not know any technique to compute them. The initial limit is $$lim_{mtoinfty}left(lnleft(m+1+sqrt{m^2+2m}right)+sum_{n=1}^{m+1}arccosfrac1n-(m+1)arccosfrac1{m+1}right)$$
I'm thinking that determining of asymptotic behaviour of the sum $sum_{n=1}^marccosfrac1n$ as $mtoinfty$ will help to evaluate this limit. Thank you for any contribution.



As an addition. Maybe it could be helpful. The last two terms I got after simplifying sum $$-sum_{n=1}^m nleft(arccosfrac1{n+1}-arccosfrac1nright)$$



Update. The limit could be rewritten (after changing $m+1to m$) as $$lim_{mtoinfty}left(lnleft(m+sqrt{m^2-1}right)+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)$$ or $$lim_{mtoinfty}left(operatorname{arccosh}m+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)$$
The limit seems to exist. After computing numerically it seems to tend to $color{red}{0.508132}$.



Update #2. After using Euler–Maclaurin formula I've gotten that $sum_{n=1}^marccosfrac1n$ could be expressed as follows (for certain $p$, $f(x)=arccosfrac1x$):



$$begin{aligned}sum_{n=1}^marccosfrac1n&=int_1^marccosfrac1x,dx+frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p\
&=marccosfrac1m-operatorname{arccosh}m+frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p
end{aligned}$$

Thus $$sum_{n=1}^marccosfrac1n-marccosfrac1m+operatorname{arccosh}m=frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p$$ and $$lim_{mtoinfty}left(operatorname{arccosh}m+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)=lim_{mtoinfty}left(frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_pright)$$
And I'm stuck. I do not know what I can do with these Bernoulli numbers and so on.










share|cite|improve this question




















  • 1




    It was a long time I calculated things like this. But maybe you can estimate this sum with integrals of some kind.
    – mathreadler
    Nov 22 at 13:16










  • Have you tried Euler-Maclaurin formula?
    – Szeto
    Nov 22 at 14:22










  • No, I haven't. I supposed that it would not help because I would have to find n-th derivative of $arccosfrac1x$ which (I think) hasn't closed form
    – Mikalai Parshutsich
    Nov 22 at 15:49










  • Please have titles that reflect the content of your question, rather announcements that would only be understood after spending some nontrivial amount of time reading through your question.
    – Asaf Karagila
    Nov 27 at 6:45














2












2








2







I'm trying to handle a quite complicated limit involving series. Such limits are really scary for me because I do not know any technique to compute them. The initial limit is $$lim_{mtoinfty}left(lnleft(m+1+sqrt{m^2+2m}right)+sum_{n=1}^{m+1}arccosfrac1n-(m+1)arccosfrac1{m+1}right)$$
I'm thinking that determining of asymptotic behaviour of the sum $sum_{n=1}^marccosfrac1n$ as $mtoinfty$ will help to evaluate this limit. Thank you for any contribution.



As an addition. Maybe it could be helpful. The last two terms I got after simplifying sum $$-sum_{n=1}^m nleft(arccosfrac1{n+1}-arccosfrac1nright)$$



Update. The limit could be rewritten (after changing $m+1to m$) as $$lim_{mtoinfty}left(lnleft(m+sqrt{m^2-1}right)+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)$$ or $$lim_{mtoinfty}left(operatorname{arccosh}m+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)$$
The limit seems to exist. After computing numerically it seems to tend to $color{red}{0.508132}$.



Update #2. After using Euler–Maclaurin formula I've gotten that $sum_{n=1}^marccosfrac1n$ could be expressed as follows (for certain $p$, $f(x)=arccosfrac1x$):



$$begin{aligned}sum_{n=1}^marccosfrac1n&=int_1^marccosfrac1x,dx+frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p\
&=marccosfrac1m-operatorname{arccosh}m+frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p
end{aligned}$$

Thus $$sum_{n=1}^marccosfrac1n-marccosfrac1m+operatorname{arccosh}m=frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p$$ and $$lim_{mtoinfty}left(operatorname{arccosh}m+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)=lim_{mtoinfty}left(frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_pright)$$
And I'm stuck. I do not know what I can do with these Bernoulli numbers and so on.










share|cite|improve this question















I'm trying to handle a quite complicated limit involving series. Such limits are really scary for me because I do not know any technique to compute them. The initial limit is $$lim_{mtoinfty}left(lnleft(m+1+sqrt{m^2+2m}right)+sum_{n=1}^{m+1}arccosfrac1n-(m+1)arccosfrac1{m+1}right)$$
I'm thinking that determining of asymptotic behaviour of the sum $sum_{n=1}^marccosfrac1n$ as $mtoinfty$ will help to evaluate this limit. Thank you for any contribution.



As an addition. Maybe it could be helpful. The last two terms I got after simplifying sum $$-sum_{n=1}^m nleft(arccosfrac1{n+1}-arccosfrac1nright)$$



Update. The limit could be rewritten (after changing $m+1to m$) as $$lim_{mtoinfty}left(lnleft(m+sqrt{m^2-1}right)+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)$$ or $$lim_{mtoinfty}left(operatorname{arccosh}m+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)$$
The limit seems to exist. After computing numerically it seems to tend to $color{red}{0.508132}$.



Update #2. After using Euler–Maclaurin formula I've gotten that $sum_{n=1}^marccosfrac1n$ could be expressed as follows (for certain $p$, $f(x)=arccosfrac1x$):



$$begin{aligned}sum_{n=1}^marccosfrac1n&=int_1^marccosfrac1x,dx+frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p\
&=marccosfrac1m-operatorname{arccosh}m+frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p
end{aligned}$$

Thus $$sum_{n=1}^marccosfrac1n-marccosfrac1m+operatorname{arccosh}m=frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_p$$ and $$lim_{mtoinfty}left(operatorname{arccosh}m+sum_{n=1}^{m}arccosfrac1n-marccosfrac1{m}right)=lim_{mtoinfty}left(frac12arccosfrac1m+sum_{k=1}^{lfloor p/2rfloor}frac{B_{2k}}{(2k)!}left(f^{(2k-1)}(m)-f^{(2k-1)}(1)right)+R_pright)$$
And I'm stuck. I do not know what I can do with these Bernoulli numbers and so on.







sequences-and-series limits






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 27 at 6:47

























asked Nov 22 at 13:15









Mikalai Parshutsich

453315




453315








  • 1




    It was a long time I calculated things like this. But maybe you can estimate this sum with integrals of some kind.
    – mathreadler
    Nov 22 at 13:16










  • Have you tried Euler-Maclaurin formula?
    – Szeto
    Nov 22 at 14:22










  • No, I haven't. I supposed that it would not help because I would have to find n-th derivative of $arccosfrac1x$ which (I think) hasn't closed form
    – Mikalai Parshutsich
    Nov 22 at 15:49










  • Please have titles that reflect the content of your question, rather announcements that would only be understood after spending some nontrivial amount of time reading through your question.
    – Asaf Karagila
    Nov 27 at 6:45














  • 1




    It was a long time I calculated things like this. But maybe you can estimate this sum with integrals of some kind.
    – mathreadler
    Nov 22 at 13:16










  • Have you tried Euler-Maclaurin formula?
    – Szeto
    Nov 22 at 14:22










  • No, I haven't. I supposed that it would not help because I would have to find n-th derivative of $arccosfrac1x$ which (I think) hasn't closed form
    – Mikalai Parshutsich
    Nov 22 at 15:49










  • Please have titles that reflect the content of your question, rather announcements that would only be understood after spending some nontrivial amount of time reading through your question.
    – Asaf Karagila
    Nov 27 at 6:45








1




1




It was a long time I calculated things like this. But maybe you can estimate this sum with integrals of some kind.
– mathreadler
Nov 22 at 13:16




It was a long time I calculated things like this. But maybe you can estimate this sum with integrals of some kind.
– mathreadler
Nov 22 at 13:16












Have you tried Euler-Maclaurin formula?
– Szeto
Nov 22 at 14:22




Have you tried Euler-Maclaurin formula?
– Szeto
Nov 22 at 14:22












No, I haven't. I supposed that it would not help because I would have to find n-th derivative of $arccosfrac1x$ which (I think) hasn't closed form
– Mikalai Parshutsich
Nov 22 at 15:49




No, I haven't. I supposed that it would not help because I would have to find n-th derivative of $arccosfrac1x$ which (I think) hasn't closed form
– Mikalai Parshutsich
Nov 22 at 15:49












Please have titles that reflect the content of your question, rather announcements that would only be understood after spending some nontrivial amount of time reading through your question.
– Asaf Karagila
Nov 27 at 6:45




Please have titles that reflect the content of your question, rather announcements that would only be understood after spending some nontrivial amount of time reading through your question.
– Asaf Karagila
Nov 27 at 6:45










1 Answer
1






active

oldest

votes


















1














The Euler-Maclaurin formula won't help here, instead you should use Abel's summation formula, that is
$$sum_{1 le n le x} a_n f(n) = f(x) A(x) - int_1^x A(t) f'(t) dt,$$
where $A(x) = sum_{1 le n le x} a_n$. Apply this formula with $a_n =1$ and $f(x) = arccos(1/x)$ and get
$$tag{1}sum_{k=1}^{m} arccos(1/k) = m arccos(1/m) - int_1^m lfloor x rfloor frac{1}{x sqrt{x^2-1}} d x.$$
Note that $arccos(1/m) rightarrow pi/2$ and $x (arccos(1/x)-arccos(1/(x+1)) rightarrow 0$ if $x rightarrow infty$. Thus the first term on the right-side in (1) cancels with the last term in your formula.



Additionally note that $g(x) := lfloor x rfloor- x$ is a bounded function. Thus
$$int_1^infty g(x) frac{1}{x sqrt{x^2-1}} , dx $$
exists as a Lebesgue-integral (i.e. is absolutely integrable). This shows that we can replace $lfloor x rfloor$ by $x$. Therefore we have to calculate
$$ int_1^m frac{1}{sqrt{x^2-1}} dx = log(sqrt{x^2-1}+x) Big|_{x=1}^m = log(sqrt{m^2-1}+m).$$
We see that
begin{align}
&lim_{m rightarrow infty} left(sum_{k=1}^m arccos(1/k) - m arccos(1/m) +log(sqrt{m^2-1}+m) right) \ &= int_1^infty (x - lfloor x rfloor) frac{1}{x sqrt{x^2-1}} dx.
end{align}

Note that $log(m+1 +sqrt{m^2+2m}) -log(sqrt{m^2-1}+m) rightarrow 0$ for $m rightarrow infty$.






share|cite|improve this answer























  • Thank you very much for showing that wonderful technique of calculating infinite sums. But I have some doubt: don't we have to add $log$ under the limit in the last equation?
    – Mikalai Parshutsich
    Nov 23 at 5:11










  • ... you've edited typos almost everywhere. But there is one left in the last equation: $sqrt{x^2-1}$ should be in the denominator under integral instead of $sqrt{1-x}$
    – Mikalai Parshutsich
    Nov 23 at 5:26










  • And after all... the last integral is the very on which I tried to compute in the first place :'-(
    – Mikalai Parshutsich
    Nov 23 at 5:43










  • Yes, there was a sign-error! Hopefully, I have corrected all errors. :-) A similar argument can be also used in order to prove that $lim_{n rightarrow infty} ( sum_{k=1}^n frac{1}{k}-ln(n))$ exists and has an integral representation. (This limes is known as the 'Euler–Mascheroni constant'.)
    – p4sch
    Nov 23 at 8:59













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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3009116%2fthe-limit-containing-sum-of-arccosines-does-exist%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









1














The Euler-Maclaurin formula won't help here, instead you should use Abel's summation formula, that is
$$sum_{1 le n le x} a_n f(n) = f(x) A(x) - int_1^x A(t) f'(t) dt,$$
where $A(x) = sum_{1 le n le x} a_n$. Apply this formula with $a_n =1$ and $f(x) = arccos(1/x)$ and get
$$tag{1}sum_{k=1}^{m} arccos(1/k) = m arccos(1/m) - int_1^m lfloor x rfloor frac{1}{x sqrt{x^2-1}} d x.$$
Note that $arccos(1/m) rightarrow pi/2$ and $x (arccos(1/x)-arccos(1/(x+1)) rightarrow 0$ if $x rightarrow infty$. Thus the first term on the right-side in (1) cancels with the last term in your formula.



Additionally note that $g(x) := lfloor x rfloor- x$ is a bounded function. Thus
$$int_1^infty g(x) frac{1}{x sqrt{x^2-1}} , dx $$
exists as a Lebesgue-integral (i.e. is absolutely integrable). This shows that we can replace $lfloor x rfloor$ by $x$. Therefore we have to calculate
$$ int_1^m frac{1}{sqrt{x^2-1}} dx = log(sqrt{x^2-1}+x) Big|_{x=1}^m = log(sqrt{m^2-1}+m).$$
We see that
begin{align}
&lim_{m rightarrow infty} left(sum_{k=1}^m arccos(1/k) - m arccos(1/m) +log(sqrt{m^2-1}+m) right) \ &= int_1^infty (x - lfloor x rfloor) frac{1}{x sqrt{x^2-1}} dx.
end{align}

Note that $log(m+1 +sqrt{m^2+2m}) -log(sqrt{m^2-1}+m) rightarrow 0$ for $m rightarrow infty$.






share|cite|improve this answer























  • Thank you very much for showing that wonderful technique of calculating infinite sums. But I have some doubt: don't we have to add $log$ under the limit in the last equation?
    – Mikalai Parshutsich
    Nov 23 at 5:11










  • ... you've edited typos almost everywhere. But there is one left in the last equation: $sqrt{x^2-1}$ should be in the denominator under integral instead of $sqrt{1-x}$
    – Mikalai Parshutsich
    Nov 23 at 5:26










  • And after all... the last integral is the very on which I tried to compute in the first place :'-(
    – Mikalai Parshutsich
    Nov 23 at 5:43










  • Yes, there was a sign-error! Hopefully, I have corrected all errors. :-) A similar argument can be also used in order to prove that $lim_{n rightarrow infty} ( sum_{k=1}^n frac{1}{k}-ln(n))$ exists and has an integral representation. (This limes is known as the 'Euler–Mascheroni constant'.)
    – p4sch
    Nov 23 at 8:59


















1














The Euler-Maclaurin formula won't help here, instead you should use Abel's summation formula, that is
$$sum_{1 le n le x} a_n f(n) = f(x) A(x) - int_1^x A(t) f'(t) dt,$$
where $A(x) = sum_{1 le n le x} a_n$. Apply this formula with $a_n =1$ and $f(x) = arccos(1/x)$ and get
$$tag{1}sum_{k=1}^{m} arccos(1/k) = m arccos(1/m) - int_1^m lfloor x rfloor frac{1}{x sqrt{x^2-1}} d x.$$
Note that $arccos(1/m) rightarrow pi/2$ and $x (arccos(1/x)-arccos(1/(x+1)) rightarrow 0$ if $x rightarrow infty$. Thus the first term on the right-side in (1) cancels with the last term in your formula.



Additionally note that $g(x) := lfloor x rfloor- x$ is a bounded function. Thus
$$int_1^infty g(x) frac{1}{x sqrt{x^2-1}} , dx $$
exists as a Lebesgue-integral (i.e. is absolutely integrable). This shows that we can replace $lfloor x rfloor$ by $x$. Therefore we have to calculate
$$ int_1^m frac{1}{sqrt{x^2-1}} dx = log(sqrt{x^2-1}+x) Big|_{x=1}^m = log(sqrt{m^2-1}+m).$$
We see that
begin{align}
&lim_{m rightarrow infty} left(sum_{k=1}^m arccos(1/k) - m arccos(1/m) +log(sqrt{m^2-1}+m) right) \ &= int_1^infty (x - lfloor x rfloor) frac{1}{x sqrt{x^2-1}} dx.
end{align}

Note that $log(m+1 +sqrt{m^2+2m}) -log(sqrt{m^2-1}+m) rightarrow 0$ for $m rightarrow infty$.






share|cite|improve this answer























  • Thank you very much for showing that wonderful technique of calculating infinite sums. But I have some doubt: don't we have to add $log$ under the limit in the last equation?
    – Mikalai Parshutsich
    Nov 23 at 5:11










  • ... you've edited typos almost everywhere. But there is one left in the last equation: $sqrt{x^2-1}$ should be in the denominator under integral instead of $sqrt{1-x}$
    – Mikalai Parshutsich
    Nov 23 at 5:26










  • And after all... the last integral is the very on which I tried to compute in the first place :'-(
    – Mikalai Parshutsich
    Nov 23 at 5:43










  • Yes, there was a sign-error! Hopefully, I have corrected all errors. :-) A similar argument can be also used in order to prove that $lim_{n rightarrow infty} ( sum_{k=1}^n frac{1}{k}-ln(n))$ exists and has an integral representation. (This limes is known as the 'Euler–Mascheroni constant'.)
    – p4sch
    Nov 23 at 8:59
















1












1








1






The Euler-Maclaurin formula won't help here, instead you should use Abel's summation formula, that is
$$sum_{1 le n le x} a_n f(n) = f(x) A(x) - int_1^x A(t) f'(t) dt,$$
where $A(x) = sum_{1 le n le x} a_n$. Apply this formula with $a_n =1$ and $f(x) = arccos(1/x)$ and get
$$tag{1}sum_{k=1}^{m} arccos(1/k) = m arccos(1/m) - int_1^m lfloor x rfloor frac{1}{x sqrt{x^2-1}} d x.$$
Note that $arccos(1/m) rightarrow pi/2$ and $x (arccos(1/x)-arccos(1/(x+1)) rightarrow 0$ if $x rightarrow infty$. Thus the first term on the right-side in (1) cancels with the last term in your formula.



Additionally note that $g(x) := lfloor x rfloor- x$ is a bounded function. Thus
$$int_1^infty g(x) frac{1}{x sqrt{x^2-1}} , dx $$
exists as a Lebesgue-integral (i.e. is absolutely integrable). This shows that we can replace $lfloor x rfloor$ by $x$. Therefore we have to calculate
$$ int_1^m frac{1}{sqrt{x^2-1}} dx = log(sqrt{x^2-1}+x) Big|_{x=1}^m = log(sqrt{m^2-1}+m).$$
We see that
begin{align}
&lim_{m rightarrow infty} left(sum_{k=1}^m arccos(1/k) - m arccos(1/m) +log(sqrt{m^2-1}+m) right) \ &= int_1^infty (x - lfloor x rfloor) frac{1}{x sqrt{x^2-1}} dx.
end{align}

Note that $log(m+1 +sqrt{m^2+2m}) -log(sqrt{m^2-1}+m) rightarrow 0$ for $m rightarrow infty$.






share|cite|improve this answer














The Euler-Maclaurin formula won't help here, instead you should use Abel's summation formula, that is
$$sum_{1 le n le x} a_n f(n) = f(x) A(x) - int_1^x A(t) f'(t) dt,$$
where $A(x) = sum_{1 le n le x} a_n$. Apply this formula with $a_n =1$ and $f(x) = arccos(1/x)$ and get
$$tag{1}sum_{k=1}^{m} arccos(1/k) = m arccos(1/m) - int_1^m lfloor x rfloor frac{1}{x sqrt{x^2-1}} d x.$$
Note that $arccos(1/m) rightarrow pi/2$ and $x (arccos(1/x)-arccos(1/(x+1)) rightarrow 0$ if $x rightarrow infty$. Thus the first term on the right-side in (1) cancels with the last term in your formula.



Additionally note that $g(x) := lfloor x rfloor- x$ is a bounded function. Thus
$$int_1^infty g(x) frac{1}{x sqrt{x^2-1}} , dx $$
exists as a Lebesgue-integral (i.e. is absolutely integrable). This shows that we can replace $lfloor x rfloor$ by $x$. Therefore we have to calculate
$$ int_1^m frac{1}{sqrt{x^2-1}} dx = log(sqrt{x^2-1}+x) Big|_{x=1}^m = log(sqrt{m^2-1}+m).$$
We see that
begin{align}
&lim_{m rightarrow infty} left(sum_{k=1}^m arccos(1/k) - m arccos(1/m) +log(sqrt{m^2-1}+m) right) \ &= int_1^infty (x - lfloor x rfloor) frac{1}{x sqrt{x^2-1}} dx.
end{align}

Note that $log(m+1 +sqrt{m^2+2m}) -log(sqrt{m^2-1}+m) rightarrow 0$ for $m rightarrow infty$.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Nov 23 at 8:53

























answered Nov 22 at 18:34









p4sch

4,760217




4,760217












  • Thank you very much for showing that wonderful technique of calculating infinite sums. But I have some doubt: don't we have to add $log$ under the limit in the last equation?
    – Mikalai Parshutsich
    Nov 23 at 5:11










  • ... you've edited typos almost everywhere. But there is one left in the last equation: $sqrt{x^2-1}$ should be in the denominator under integral instead of $sqrt{1-x}$
    – Mikalai Parshutsich
    Nov 23 at 5:26










  • And after all... the last integral is the very on which I tried to compute in the first place :'-(
    – Mikalai Parshutsich
    Nov 23 at 5:43










  • Yes, there was a sign-error! Hopefully, I have corrected all errors. :-) A similar argument can be also used in order to prove that $lim_{n rightarrow infty} ( sum_{k=1}^n frac{1}{k}-ln(n))$ exists and has an integral representation. (This limes is known as the 'Euler–Mascheroni constant'.)
    – p4sch
    Nov 23 at 8:59




















  • Thank you very much for showing that wonderful technique of calculating infinite sums. But I have some doubt: don't we have to add $log$ under the limit in the last equation?
    – Mikalai Parshutsich
    Nov 23 at 5:11










  • ... you've edited typos almost everywhere. But there is one left in the last equation: $sqrt{x^2-1}$ should be in the denominator under integral instead of $sqrt{1-x}$
    – Mikalai Parshutsich
    Nov 23 at 5:26










  • And after all... the last integral is the very on which I tried to compute in the first place :'-(
    – Mikalai Parshutsich
    Nov 23 at 5:43










  • Yes, there was a sign-error! Hopefully, I have corrected all errors. :-) A similar argument can be also used in order to prove that $lim_{n rightarrow infty} ( sum_{k=1}^n frac{1}{k}-ln(n))$ exists and has an integral representation. (This limes is known as the 'Euler–Mascheroni constant'.)
    – p4sch
    Nov 23 at 8:59


















Thank you very much for showing that wonderful technique of calculating infinite sums. But I have some doubt: don't we have to add $log$ under the limit in the last equation?
– Mikalai Parshutsich
Nov 23 at 5:11




Thank you very much for showing that wonderful technique of calculating infinite sums. But I have some doubt: don't we have to add $log$ under the limit in the last equation?
– Mikalai Parshutsich
Nov 23 at 5:11












... you've edited typos almost everywhere. But there is one left in the last equation: $sqrt{x^2-1}$ should be in the denominator under integral instead of $sqrt{1-x}$
– Mikalai Parshutsich
Nov 23 at 5:26




... you've edited typos almost everywhere. But there is one left in the last equation: $sqrt{x^2-1}$ should be in the denominator under integral instead of $sqrt{1-x}$
– Mikalai Parshutsich
Nov 23 at 5:26












And after all... the last integral is the very on which I tried to compute in the first place :'-(
– Mikalai Parshutsich
Nov 23 at 5:43




And after all... the last integral is the very on which I tried to compute in the first place :'-(
– Mikalai Parshutsich
Nov 23 at 5:43












Yes, there was a sign-error! Hopefully, I have corrected all errors. :-) A similar argument can be also used in order to prove that $lim_{n rightarrow infty} ( sum_{k=1}^n frac{1}{k}-ln(n))$ exists and has an integral representation. (This limes is known as the 'Euler–Mascheroni constant'.)
– p4sch
Nov 23 at 8:59






Yes, there was a sign-error! Hopefully, I have corrected all errors. :-) A similar argument can be also used in order to prove that $lim_{n rightarrow infty} ( sum_{k=1}^n frac{1}{k}-ln(n))$ exists and has an integral representation. (This limes is known as the 'Euler–Mascheroni constant'.)
– p4sch
Nov 23 at 8:59




















draft saved

draft discarded




















































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.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • 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.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3009116%2fthe-limit-containing-sum-of-arccosines-does-exist%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

Probability when a professor distributes a quiz and homework assignment to a class of n students.

Aardman Animations

Are they similar matrix