1
$\begingroup$

I try to upper bound tightly the following sum:

$$\sum_{i=1}^N \left(\frac{1}{\sqrt{i}} - \frac{1}{\sqrt{i+1}}\right)i$$

I expect something which is asymptotically close to $\sqrt{N}$.

Thank you very much.

  • 0
    try the euler mac-laurin summation formula2017-01-04

1 Answers 1

4

By creative telescoping,

$$\begin{eqnarray*} \sum_{i=1}^{N}\left(\frac{1}{\sqrt{i}}-\frac{1}{\sqrt{i+1}}\right)i =\sum_{i=1}^{N}\frac{\sqrt{i}}{\sqrt{i+1}(\sqrt{i}+\sqrt{i+1})}&\color{red}{\leq}&\sum_{i=1}^{N}\frac{1}{\sqrt{i}+\sqrt{i+1}}\\&=&\sum_{i=1}^{N}\left(\sqrt{i+1}-\sqrt{i}\right)\\&=&\sqrt{N+1}-1.\end{eqnarray*}$$ More carefully, $$\begin{eqnarray*} S_N &=& \sum_{i=1}^{N}\sqrt{i}-\sum_{i=1}^{N}\sqrt{i+1}+\sum_{i=1}^{N}\frac{1}{\sqrt{i+1}}\\&=&-\sqrt{N+1}+H^{(1/2)}_{N+1}\\&\leq &\sqrt{N+1}+\zeta\left(\tfrac{1}{2}\right)+\frac{1}{2\sqrt{N+1}}\end{eqnarray*}$$ where $\zeta\left(\tfrac{1}{2}\right)=-1.4603545088\ldots$.

  • 1
    When I read "By creative telescoping", I knew exactly who wrote this answer.2017-01-03
  • 0
    Thank you @SimpleArt I don't really understand the first step (the first equality).2017-01-03
  • 0
    @Dingo13 Multiply both sides by $\sqrt{i+1}$ and square both sides.2017-01-03
  • 0
    @Dingo13: isn't it obvious that $\sqrt{i+1}\geq \sqrt{i}$? The square root is an increasing function.2017-01-03
  • 0
    @JackD'Aurizio Exact, sorry :-)2017-01-03
  • 1
    @JackD'Aurizio Thank you for your detailed answer. Simple Art has noticed a problem with the lower case $n$. Maybe it's just $\sqrt{i+1}$ ?2017-01-03
  • 0
    @Dingo13: correct, now fixed.2017-01-03