Friend of mine, have found a formula for the summation $\sum \limits_{i=0}^{n-1} (a + d * i )^k$ for given $k,n \in \mathbb{N}$ and $a,d \in \mathbb{R}$.
He checked it for many values, and professor in BGU proved it.
The formula he found is recursive so letting $$p(a,d,k,n) = \sum \limits_{i=0}^{n-1} (a + d * i )^k$$ the recursive step is on $k$ and he is asking if there is a recursive formula in this form known to the math commuinty ??
In this form : $$p(a,d,k,n) = f(a,d,k,n)+\sum \limits_{i=0}^{n-1}p(a,d,k-i,n) g(a,d,k,n,i)$$
Where $f,g$ are simple function consists of factorials and powers only(which are much simpler than Bernoulli numbers or Stirling numbers).
Any ref to existing formula would be more than helpful.
Thanks.