A tricky finite series!

  • Thread starter ekkilop
  • Start date
  • #1
29
0
Hi!
I've encountered the series below:

[itex] \sum_{l=0}^{k-1} (r+l)^j (r+l-k)^i [/itex]

where [itex]r, k, i, j[/itex] are positive integers and [itex]i \leq j [/itex].
I am interested in expressing this series as a polynomial in [itex]k[/itex] - or rather - finding the coefficients of that polynomial as [itex]i,j[/itex] changes. I have reasons to believe that all terms with even exponent will vanish though I cannot readily see it from the expression above.

I have made some feeble attempts at expressing this in terms of well known functions. The most promising seems to be in terms of Bernoulli polynomials due to the large number of catalogued identities for these functions, though I haven't found a suitable one;

[itex] \frac{1}{(i+1)(j+1)} \sum_{l=0}^{k-1} [B_{j+1}(r+l+1) - B_{j+1}(r+l)][B_{i+1}(r+l-k+1) - B_{i+1}(r+l-k)] [/itex]

Anyway, I cannot see how to proceed from here.
Any ideas or insights would be greatly appreciated.

Thank you!
 

Answers and Replies

  • #2
35,628
12,165
I have reasons to believe that all terms with even exponent will vanish though I cannot readily see it from the expression above.
I found a counterexample: i=2, j=3, r does not matter. You get k^6 (and maybe k^2, depends on r) as term.
WolframAlpha query

I have no idea how to simplify the sum.
 

Related Threads on A tricky finite series!

  • Last Post
Replies
2
Views
1K
Replies
8
Views
793
Replies
10
Views
12K
Replies
15
Views
3K
Replies
1
Views
1K
Replies
1
Views
12K
  • Last Post
Replies
2
Views
4K
  • Last Post
Replies
8
Views
5K
Replies
3
Views
837
  • Last Post
Replies
13
Views
3K
Top