A001553 -id:A001553 - cp's OEIS frontend

A103438 Square array T(m,n) read by antidiagonals: Sum_{k=1..n} k^m.

0, 0, 1, 0, 1, 2, 0, 1, 3, 3, 0, 1, 5, 6, 4, 0, 1, 9, 14, 10, 5, 0, 1, 17, 36, 30, 15, 6, 0, 1, 33, 98, 100, 55, 21, 7, 0, 1, 65, 276, 354, 225, 91, 28, 8, 0, 1, 129, 794, 1300, 979, 441, 140, 36, 9, 0, 1, 257, 2316, 4890, 4425, 2275, 784, 204, 45, 10

Offset: 0

Ralf Stephan, Feb 11 2005

For the o.g.f.s of the column sequences for this array, see A196837 and the link given there. - Wolfdieter Lang, Oct 15 2011
T(m,n)/n is the m-th moment of the discrete uniform distribution on {1,2,...,n}. - Geoffrey Critzer, Dec 31 2018
T(1,n) divides T(m,n) for odd m. - Franz Vrabec, Dec 23 2020

			Square array begins:
  0, 1,  2,   3,    4,     5,     6,      7,      8,      9, ... A001477;
  0, 1,  3,   6,   10,    15,    21,     28,     36,     45, ... A000217;
  0, 1,  5,  14,   30,    55,    91,    140,    204,    285, ... A000330;
  0, 1,  9,  36,  100,   225,   441,    784,   1296,   2025, ... A000537;
  0, 1, 17,  98,  354,   979,  2275,   4676,   8772,  15333, ... A000538;
  0, 1, 33, 276, 1300,  4425, 12201,  29008,  61776, 120825, ... A000539;
  0, 1, 65, 794, 4890, 20515, 67171, 184820, 446964, 978405, ... A000540;
Antidiagonal triangle begins as:
  0;
  0, 1;
  0, 1,  2;
  0, 1,  3,  3;
  0, 1,  5,  6,  4;
  0, 1,  9, 14, 10,  5;
  0, 1, 17, 36, 30, 15, 6;

J. Faulhaber, Academia Algebrae, Darinnen die miraculosische inventiones zu den höchsten Cossen weiters continuirt und profitirt werden, Augspurg, bey Johann Ulrich Schönigs, 1631.

G. C. Greubel, Antidiagonals n = 0..50, flattened
José L. Cereceda, Sums of powers of integers and hyperharmonic numbers, arXiv:2005.03407 [math.NT], 2020.
T. A. Gulliver, Divisibility of sums of powers of odd integers, Int. Math. For. 5 (2010) 3059-3066.
T. A. Gulliver, Sums of Powers of Integers Divisible by Three, Int. J. Contemp. Math. Sciences, Vol. 7, 2012, no. 38, pp. 1895-1901. - From _N. J. A. Sloane_, Dec 22 2012
V. J. W. Guo and J. Zeng, A q-analogue of Faulhaber's formula for sums of powers, arXiv:math/0501441 [math.CO], 2005.
H. Helfgott and I. M. Gessel, Enumeration of tilings of diamonds and hexagons with defects, arXiv:math/9810143 [math.CO], 1998.
T. Kim, q-analogues of the sums of powers of consecutive integers, arXiv:math/0502113 [math.NT], 2005.
D. E. Knuth, Johann Faulhaber and sums of powers, Math. Comp. 61 (1993), no. 203, 277-294.
Eric Weisstein's World of Mathematics, Discrete Uniform Distribution.
Wikipedia, Faulhaber's formula

Rows include A000027, A000217, A000330, A000537, A000538, A000539, A000540, A000541, A000542, A007487, A023002.
Columns include A000051, A001550, A001551, A001552, A001553, A001554, A001555, A001556, A001557.
Diagonals include A076015 and A031971.
Antidiagonal sums are in A103439.
Antidiagonals are the rows of triangle A192001.

T:= func< n,k | n eq 0 select k else (&+[j^n: j in [0..k]]) >;
[T(n-k,k): k in [0..n], n in [0..12]]; // G. C. Greubel, Dec 22 2021

seq(print(seq(Zeta(0,-k,1)-Zeta(0,-k,n+1),n=0..9)),k=0..6);
# (Produces the square array from the example.) Peter Luschny, Nov 16 2008
# alternative
A103438 := proc(m,n)
    (bernoulli(m+1,n+1)-bernoulli(m+1))/(m+1) ;
    if m = 0 then
        %-1 ;
    else
        % ;
    end if;
end proc: # R. J. Mathar, May 10 2013
# simpler:
A103438 := proc(m,n)
    (bernoulli(m+1,n+1)-bernoulli(m+1,1))/(m+1) ;
end proc: # Peter Luschny, Mar 20 2024

T[m_, n_]:= HarmonicNumber[m, -n]; Flatten[Table[T[m-n, n], {m, 0, 11}, {n, m, 0, -1}]] (* Jean-François Alcover, May 11 2012 *)

PARI
```
T(m,n)=sum(k=0,n,k^m)
```

from itertools import count, islice
from math import comb
from fractions import Fraction
from sympy import bernoulli
def A103438_T(m,n): return sum(k**m for k in range(1,n+1)) if n<=m else int(sum(comb(m+1,i)*(bernoulli(i) if i!=1 else Fraction(1,2))*n**(m-i+1) for i in range(m+1))/(m+1))
def A103438_gen(): # generator of terms
    for m in count(0):
        for n in range(m+1):
            yield A103438_T(m-n,n)
A103438_list = list(islice(A103438_gen(),100)) # Chai Wah Wu, Oct 23 2024

def T(n,k): return (bernoulli_polynomial(k+1, n+1) - bernoulli_polynomial(1, n+1)) /(n+1)
flatten([[T(n-k,k) for k in (0..n)] for n in (0..12)]) # G. C. Greubel, Dec 22 2021

E.g.f.: e^x*(e^(x*y)-1)/(e^x-1).
T(m, n) = Zeta(-n, 1) - Zeta(-n, m + 1), for m >= 0 and n >= 0, where Zeta(z, v) is the Hurwitz zeta function. - Peter Luschny, Nov 16 2008
T(m, n) = HarmonicNumber(m, -n). - Jean-François Alcover, May 11 2012
T(m, n) = (Bernoulli(m + 1, n + 1) - Bernoulli(m + 1, 1)) / (m + 1). - Peter Luschny, Mar 20 2024
T(m, n) = Sum_{k=0...m-n} B(k)*(-1)^k*binomial(m-n,k)*n^(m-n-k+1)/(m-n-k+1), where B(k) = Bernoulli number A027641(k) / A027642(k). - Robert B Fowler, Aug 20 2024
T(m, n) = Sum_{i=1..n} J_m(i)*floor(n/i), where J_m is the m-th Jordan totient function. - Ridouane Oudra, Jul 19 2025

A196837 Coefficient table of numerator polynomials of o.g.f.s for partial sums of powers of positive integers.

Original entry on oeis.org

1, 2, -3, 3, -12, 11, 4, -30, 70, -50, 5, -60, 255, -450, 274, 6, -105, 700, -2205, 3248, -1764, 7, -168, 1610, -7840, 20307, -26264, 13068, 8, -252, 3276, -22680, 89796, -201852, 236248, -109584, 9, -360, 6090, -56700, 316365, -1077300, 2171040, -2345400, 1026576, 10, -495, 10560, -127050, 946638, -4510275, 13667720, -25228500, 25507152, -10628640

Offset: 1

Wolfdieter Lang, Oct 10 2011

The k-th power of the positive integers has partial sums Sum_{j=1..n} j^k given as column number n >= 1, in the array A103438 (not in the triangle; see the example array given there; note that 0^0 has been set to 0 there).
The o.g.f. of column number n >= 1 of the array A103438 is obtained via Laplace transformation from the e.g.f. which is given there as
  exp(x)*(exp(n*x)-1)/(exp(x)-1) = Sum_{j=1..n} exp(j*x)
  (it is trivial that the sum is the e.g.f.).
  The o.g.f. is, therefore, Sum_{j=1..n} 1/(1-j*x), which is rewritten as P(n,x)/Product_{j=1..n} (1-j*x). This defines the row polynomials P(n,x) of the present triangle. See the link for details.
This e.g.f. - o.g.f. connection proves some conjectures by Simon Plouffe. See the o.g.f. Maple programs under, e.g., A001551(n=4) and A001552 (n=5).
This triangle organizes the sum of powers of the first n positive integers in terms of the column no. n of the Stirling2 numbers A048993 (see the formula and example given below, as well as the link).
From Wolfdieter Lang, Oct 12 2011: (Start)
With the formulas given below one finds for n >= 1, k >= 0, Sum_{j=1..n} j^k =
  Sum_{m=0..min(k,n-1)} ((n-m)*S1(n+1, n-m+1)*S2(k+n-m, n)),
  with the Stirling numbers S1 from A048994 and S2 from A048993 (this formula I did not (yet) find in the literature). See the link for the proof.
For two other formulas expressing these sums of k-th powers of the first n positive integers in terms of the row no. k of Stirling2 numbers and binomials in n see the D. E. Knuth reference given under A093556, p. 285.
  See also the given link below, eqs. (11) and (12). (End)

			n\m  0    1    2     3     4      5...
1    1
2    2   -3
3    3  -12   11
4    4  -30   70   -50
5    5  -60  255  -450   274
6    6 -105  700 -2205  3248  -1764
...
n=4 (A001551=2*A196836): the row polynomial factorizes into 2*(2-5*x)*(1-5*x+5*x^2).
n=5: 1^k + 2^k + 3^k + 4^k + 5^k, k>=0, (A001552) has as e.g.f. Sum_{j=1..5} exp(j*x). The o.g.f. is
  Sum_{j=1..5} 1/(1-j*x), and this is
  (5 - 60*x + 255*x^2 - 450*x^3 + 274*x^4)/Product_{j=1..5} (1-j*x).
n=6 (A001553): the row polynomial factorizes into
     (2 - 7*x)*(3 - 42*x + 203*x^2 - 392*x^3 + 252*x^4).
Sums of powers of the first n positive integers in terms of S2:
n=4: A001551(k) = 4*S2(k+4,4) - 30*S2(k+3,4) + 70*S2(k+2,4) - 50*S2(k+1,4), k >= 0. E.g., k=3: 4*350 - 30*65 + 70*10 - 50*1 = 100 = A001551(3).
From _Wolfdieter Lang_, Oct 12 2011: (Start)
Row polynomial for n=3: P(3,x) = (1-2*x)*(1-3*x) + (1-1*x)*(1-3*x) + (1-1*x)*(1-2*x) = 3 - 12*x + 11*x^2.
a(3,2) = +(sigma_2(2,3) + sigma_2(1,3) + sigma_2(1,2)) =
  2*3 + 1*3 + 1*2 = 11 = +1*sigma_2(1,2,3) = +1*|S1(4,4-2)|.
S1,S2 formula for sums of powers with n=4, k=3:
A001551(3) = Sum_{j=1..n} j^3 = 1*4*350 - 3*10*65 + 2*35*10 - 1*50*1 = 100. (End)

José L. Cereceda, A refinement of Lang's formula for the sum of powers of integers, arXiv:2301.02141 [math.NT], 2023.
Wolfdieter Lang, Proofs and first 15 row polynomials, 2011.

Cf. A103438, A093556/A093557 (for sums of powers).

a[n_, m_] := (n-m)*StirlingS1[n+1, n+1-m]; Flatten[ Table[ a[n, m], {n, 1, 10}, {m, 0, n-1}] ] (* Jean-François Alcover, Dec 02 2011, after Wolfdieter Lang *)

from itertools import count, islice
from sympy.functions.combinatorial.numbers import stirling
def A196837_T(n,m): return (n-m)*stirling(n+1,n+1-m,kind=1,signed=True)
def A196837_gen(): # generator of terms
    return (A196837_T(n,m) for n in count(1) for m in range(n))
A196837_list = list(islice(A196837_gen(),40)) # Chai Wah Wu, Oct 24 2024

a(n,m) = [x^m] P(n,x), m=0..n-1, with the row polynomials defined by
  (Sum_{j=1..n} 1/(1-j*x))*Product_{j=1..n} (1-j*x) (see the comment given above).
Sum_{j=1..n} j^k = Sum_{m=0..n-1} a(n,m)*S2(k+n-m,n), n >= 1, k >= 0, with the Stirling2 triangle A048993.
From Wolfdieter Lang, Oct 12 2011: (Start)
The row polynomial P(n,x) is therefore
Sum_{j=1..n} (Product_{k=1..n omitting k=j} (1-k*x)), n >= 1. This leads to:
a(n,m) = (n-m)*S1(n+1, n+1-m), n-1 >= m >= 0, with the (signed) Stirling1 numbers A048994. For the proof see the link.
(End)
A similar polynomial occurs in the expansion of 1/(n+x)^2 as a series with factorials in the denominator: 1/(n+x)^2 = -Sum_{k>=1} n!/(n+k+1)! * P(k,1/x) x^(k-1). - Matt Majic, Nov 01 2019

A341412 a(n) = (Sum_{k=1..6} k^n) mod n.

Original entry on oeis.org

0, 1, 0, 3, 1, 1, 0, 3, 0, 1, 10, 7, 8, 7, 6, 3, 4, 13, 2, 15, 0, 3, 21, 19, 1, 13, 0, 7, 21, 1, 21, 3, 12, 23, 21, 31, 21, 15, 12, 35, 21, 13, 21, 31, 36, 45, 21, 19, 0, 1, 33, 39, 21, 31, 46, 35, 42, 33, 21, 55, 21, 29, 0, 3, 46, 49, 21, 31, 27, 21, 21, 67, 21, 17

Offset: 1

Seiichi Manyama, Feb 11 2021

Seiichi Manyama, Table of n, a(n) for n = 1..10000

(Sum_{k=1..m} k^n) mod n: A096196 (m=2), A341409 (m=3), A341410 (m=4), A341411 (m=5), this sequence (m=6), A341413 (m=7).

Cf. A001553, A056745.

a:= n-> add(i&^n, i=1..6) mod n:
seq(a(n), n=1..100);  # Alois P. Heinz, Feb 11 2021

a[n_] := Mod[Sum[k^n, {k, 1, 6}], n]; Array[a, 100] (* Amiram Eldar, Feb 11 2021 *)
Table[Mod[Total[Range[6]^n],n],{n,100}] (* Harvey P. Dale, Dec 02 2023 *)

PARI
```
a(n) = sum(k=1, 6, k^n)%n;
```

a(n) = A001553(n) mod n.

a(A056745(n)) = 0.

A366301 Expansion of e.g.f. 1 / (-5 + Sum_{k=1..6} exp(-k*x)).

Original entry on oeis.org

1, 21, 791, 44541, 3344327, 313883661, 35351663831, 4645129190541, 697553757742247, 117844709608925901, 22120757207544654071, 4567542244067740041741, 1028853921587420129556167, 251065459281889114259025741, 65978874409961267115296383511, 18577448234544937135538443584141

Offset: 0

Ilya Gutkovskiy, Oct 06 2023

nonn

Cf. A001553, A004704, A005923, A319509, A366298, A366299, A366300, A366302.

nmax = 15; CoefficientList[Series[1/(-5 + Sum[Exp[-k x], {k, 1, 6}]), {x, 0, nmax}], x] Range[0, nmax]!
a[0] = 1; a[n_] := a[n] = Sum[(-1)^(k + 1) Binomial[n, k] (1 + 2^k + 3^k + 4^k + 5^k + 6^k) a[n - k], {k, 1, n}]; Table[a[n], {n, 0, 15}]

a(0) = 1; a(n) = Sum_{k=1..n} (-1)^(k+1) * binomial(n,k) * (1 + 2^k + ... + 6^k) * a(n-k).

A056745 Numbers k such that k | 6^k + 5^k + 4^k + 3^k + 2^k + 1^k.

Original entry on oeis.org

1, 3, 7, 9, 21, 27, 49, 63, 77, 81, 147, 189, 243, 297, 343, 369, 441, 567, 729, 903, 1029, 1323, 1617, 1631, 1701, 2009, 2037, 2043, 2187, 2401, 2597, 2709, 3087, 3969, 5103, 6237, 6321, 6561, 7203, 8001, 8127, 9261, 10209, 11907, 13203, 15309, 15477

Offset: 1

Robert G. Wilson v, Aug 25 2000

nonn

Cf. A001553.

Do[ If[ Mod[ PowerMod[ 6, n, n ] + PowerMod[ 5, n, n ] + PowerMod[ 4, n, n ] + PowerMod[ 3, n, n ] + PowerMod[ 2, n, n ] + 1, n ] == 0, Print[ n ] ], {n, 1, 10^6} ]
Select[Range[16000],Divisible[Total[Range[6]^#],#]&] (* Harvey P. Dale, Jun 06 2013 *)

A137789 a(n) = 7^n - 6^n - 5^n - 4^n - 3^n - 2^n.

Original entry on oeis.org

127, 4607, 50479, 446783, 3622207, 28040447, 211134799, 1561328063, 11403051487, 82538901887, 593482158319, 4245770823743, 30254894691967, 214923605948927, 1522969836817039, 10770185918341823, 76039637426447647, 536127667775741567

Offset: 4

Vladimir Joseph Stephan Orlovsky, Apr 28 2008

For n < 4, a(n) are negative and not entered here. - Michel Marcus, Nov 16 2013

Index entries for linear recurrences with constant coefficients, signature (27,-295,1665,-5104,8028,-5040).

A137789:=n->7^n-6^n-5^n-4^n-3^n-2^n; seq(A137789(n), n=4..50); # Wesley Ivan Hurt, Nov 15 2013

Table[7^n - 6^n - 5^n - 4^n - 3^n - 2^n, {n, 4, 30}] (* Stefan Steinerberger, May 02 2008 *)

G.f.: x^4*(488880*x^5-572076*x^4+231460*x^3-36445*x^2+1178*x+127)/((2*x-1)*(3*x-1)*(4*x-1)*(5*x-1)*(6*x-1)*(7*x-1)). - Colin Barker, Nov 05 2012

a(n) = A000420(n) - A001553(n) + 1. - Michel Marcus, Nov 16 2013

More terms from Stefan Steinerberger, May 02 2008

cp's OEIS Frontend

A103438 Square array T(m,n) read by antidiagonals: Sum_{k=1..n} k^m.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Python

SageMath

Formula

A196837 Coefficient table of numerator polynomials of o.g.f.s for partial sums of powers of positive integers.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

Formula

A341412 a(n) = (Sum_{k=1..6} k^n) mod n.

Views

Author

Keywords

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A366301 Expansion of e.g.f. 1 / (-5 + Sum_{k=1..6} exp(-k*x)).

Views

Author

Keywords

Crossrefs

Programs

Mathematica

Formula

A056745 Numbers k such that k | 6^k + 5^k + 4^k + 3^k + 2^k + 1^k.

Views

Author

Keywords

Crossrefs

Programs

Mathematica

A137789 a(n) = 7^n - 6^n - 5^n - 4^n - 3^n - 2^n.

Views

Author

Keywords

Comments

Links

Programs

Maple

Mathematica

Formula

Extensions