3
$\begingroup$

My problem is: What is the expression in $n$ that equals to $\sum_{i=1}^n \frac{1}{i^2}$?

Thank you very much~

  • 1
    There isn't one.2010-12-16
  • 0
    Thank you very much. Do you mean algebraic expression in $n$? I guess there is no algebraic expression in $n$ that satisfies the equation. But I am wondering if there is a transcendetal expression in $n$ that does.2010-12-18

3 Answers 3

13

I don't think there is a "closed" form. You can give a good approximation using the Euler-McLaurin Summation formula though:

$$\sum_{j=1}^{n} \dfrac{1}{j^2} = \dfrac{\pi^2}{6} - \dfrac{1}{n} - \dfrac{1}{2n^2} + \mathcal{O}(\dfrac{1}{n^3})$$

(If you need more accuracy you can include more terms from the summation formula to give the coefficients of the lower order terms)

Note: The Euler McLaurin Summation formula only tells us that

$$\sum_{j=1}^{n} \dfrac{1}{j^2} = C - \dfrac{1}{n} - \dfrac{1}{2n^2} + \mathcal{O}(\dfrac{1}{n^3})$$

for some constant $\displaystyle C$.

We know by other means that $\displaystyle C = \dfrac{\pi^2}{6}$, for instance, see this for a multitude of ways: Different methods to compute $\sum\limits_{k=1}^\infty \frac{1}{k^2}$

6

I not sure of the thrust of your question but maybe the generalised harmonic numbers are what you want $$ H_{n,r} = \sum_{k=1}^n \frac{1}{k^r} , $$

and in particular $H_{n,2}$

You can find more information here, including a very nice identity for $H_{n,2}$ by B. Cloitre.

  • 1
    Alternatively, you have the expression in terms of the trigamma function: $\frac{\pi^2}{6}-\psi^{(1)}(n+1)$2010-12-16
  • 1
    I am guessing OP is looking for a simpler formula than just $\sum \dfrac{1}{j^2}$. I suppose something similar to $\sum j = n(n+1)/2$.2010-12-16
  • 2
    @Moron: Very likely, let's hope he won't be too disappointed :-)2010-12-16
  • 0
    @Mo: Well, Derek and me gave it as simple as it can be... again, what exactly is a "closed form"? ;)2010-12-16
  • 1
    @Derek: what you are proposing is that we find a closed form for the harmonic numbers by defining 'closed form' to include harmonic numbers! :)2010-12-16
  • 0
    @J.M: Your's is simple, but kind of circular, perhaps? I won't call the identity given by Derek to be simpler :-) I agree, though.2010-12-16
  • 0
    As I said in a previous post @Mo, polygamma functions and (generalized) harmonic numbers are virtually the same. :)2010-12-17
  • 0
    @J.M: Yep, I agree. In fact I realized that the circularity isn't there after I posted (perhaps you can add an answer?). btw, you need at least 3 letter to be able to notify :-)2010-12-17
  • 0
    But I **don't** like calling you @Moron. :P Anyway Mo, I'd rather Derek edit his answer instead; I'll only be effectively copying Derek's answer otherwise, except that the notation is different.2010-12-17
  • 0
    @J.M: :-P. Either way, as long as we have some answer which mentions that. I think it is too relevant to be left as a comment.2010-12-17
  • 0
    Anyway, as I said, [polygamma functions and generalized harmonic numbers are essentially the same banana.](http://functions.wolfram.com/06.15.27.0005.01)2010-12-17
  • 0
    Thanks, everyone~ In fact, as Moron San have said, I was looking for some "simple" expression. But I really learn much from this answer~2010-12-18
2

I am not sure if this will work or not, but maybe you could try writing the expression in terms of falling factorials. Then maybe use summation by parts. I am not sure how nicely this will work, but you could try it. Let me know what you find out!

  • 0
    Thanks~ I will take time to have a closer look to this~2010-12-18
  • 0
    @ShinyaSakai Not a problem. Let me know what you find.2010-12-19