The equality of the generalized sums S~k,j(n)\tilde{S}_{k,j}(n) and Sk,j(n)S_{k,j}(n)

About 10 years old · traced to

Let xr:=r2k+1x_r:=r^{2k+1}, let Cj,q(n)C_{j,q}(n) be the coefficients defined by the paper, and define

sk,j(n):=∑q=0j(n−1)Cj,q(n)xj+q.s_{k,j}(n):=\sum_{q=0}^{j(n-1)}C_{j,q}(n)x_{j+q}.

For integers j≥1j\geq 1, let

S~k,j(n):=∑{λ}∈Bj,jn{λ12k+1+(λ2−n)2k+1+⋯+(λj−jn+n)2k+1},\tilde{S}_{k,j}(n):=\sum_{\{\lambda\}\in B_{j,jn}}\left\{\lambda_1^{2k+1}+(\lambda_2-n)^{2k+1}+\cdots+(\lambda_j-jn+n)^{2k+1}\right\},

where Bj,jn:={λk:1≤λ1≤⋯≤λj≤jn}B_{j,jn}:=\{\lambda_k:1\leq\lambda_1\leq\cdots\leq\lambda_j\leq jn\}, and set

Sk,j(n):=∑q=0j−1(j(n+1)q)sk,j−q(n).S_{k,j}(n):=\sum_{q=0}^{j-1}{j(n+1)\choose q}s_{k,j-q}(n).

The generalized-sums equality. For any k≥0k\geq 0 and j≥1j\geq 1, one has

S~k,j(n)=Sk,j(n).\tilde{S}_{k,j}(n)=S_{k,j}(n).

The equality is proved in the paper for the particular case j=2j=2, while the general case is presented as a conjecture.

References

Primary source

Andrei K. Svinin, “Conjectures involving a generalization of the sums of powers of integers”, arXiv:1610.05387 (2017).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.