Closed form for (in)finite sums

  • Context: Graduate 
  • Thread starter Thread starter henpen
  • Start date Start date
  • Tags Tags
    Closed Form Sums
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
1 reply · 2K views
henpen
Messages
50
Reaction score
0
I have a set of questions concerning the perennial sum
[tex]\large \sum_{k=1}^{n}k^p[/tex]
and its properties.

1. For [itex]p \ge 0[/itex], the closed form of this is known (via Faulhaber's formula).
I know little about divergent series, but I've read that in some sense there exists a value associated with these sums as [itex]n \rightarrow \infty[/itex]: for instance [itex]\lim_{n \rightarrow \infty}\sum_{k=1}^{n}k = \frac{-1}{12}[/itex] (here)? I think this is called zeta function regularisation.

a. What is the significance of such sums? Are they useful realistic compatable-with-rest-of-mathematics, or wholly artificial? What evidence is there of these pseudosums' existence?

b. What are they for [itex]p \ge -1[/itex] (hoping that the Harmonic series, [itex]p = -1[/itex], has such a 'pseudo-sum')?2. Moving on to [itex]p < 0[/itex]. For even [itex]p[/itex] the limit as [itex]n \rightarrow \infty[/itex] infinity is known (Euler).

a. Is there a Faulhaber equivalent in this case (a closed form of the sum up to [itex]n[/itex] for either even or integer [itex]n[/itex])?

b. Are the odd [itex]p[/itex]'s infinite series likely to be found?For comparison, with constant [itex]k[/itex] and changing [itex]p[/itex]:
[tex]\large \sum_{p=1}^{n}k^p= \frac{1-k^{p+1}}{1-k}[/tex]
I would love if for constant [itex]p[/itex] and changing [itex]k[/itex] was a formula as complete as this.

Thank you for volunteering to suffer my question.
 
Last edited:
Mathematics news on Phys.org
The problem why this can't be is a dimensional one. If we have a constant ##p## and changing ##k## as in ##\sum_{k=1}^n k^p## we basically add different dimensions:
##p=1## is adding lengths
##p=2## is adding areas
##p=3## is adding volumes
etc.
So there cannot be one formula fits all, because the procedure is so different, and with increasing dimension ##p## the additional amount of each term is less and less relevant compared to the partial sum so far.