cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

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

This page as a plain text file.
%I A103438 #96 Jul 23 2025 20:02:20
%S A103438 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,
%T A103438 98,100,55,21,7,0,1,65,276,354,225,91,28,8,0,1,129,794,1300,979,441,
%U A103438 140,36,9,0,1,257,2316,4890,4425,2275,784,204,45,10
%N A103438 Square array T(m,n) read by antidiagonals: Sum_{k=1..n} k^m.
%C A103438 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
%C A103438 T(m,n)/n is the m-th moment of the discrete uniform distribution on {1,2,...,n}. - _Geoffrey Critzer_, Dec 31 2018
%C A103438 T(1,n) divides T(m,n) for odd m. - _Franz Vrabec_, Dec 23 2020
%D A103438 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.
%H A103438 G. C. Greubel, <a href="/A103438/b103438.txt">Antidiagonals n = 0..50, flattened</a>
%H A103438 José L. Cereceda, <a href="https://arxiv.org/abs/2005.03407">Sums of powers of integers and hyperharmonic numbers</a>, arXiv:2005.03407 [math.NT], 2020.
%H A103438 T. A. Gulliver, <a href="http://www.m-hikari.com/imf-2010/61-64-2010/gulliverIMF61-64-2010.pdf">Divisibility of sums of powers of odd integers</a>, Int. Math. For. 5 (2010) 3059-3066.
%H A103438 T. A. Gulliver, <a href="http://www.m-hikari.com/ijcms/ijcms-2012/37-40-2012/gulliverIJCMS37-40-2012.pdf">Sums of Powers of Integers Divisible by Three</a>, Int. J. Contemp. Math. Sciences, Vol. 7, 2012, no. 38, pp. 1895-1901. - From _N. J. A. Sloane_, Dec 22 2012
%H A103438 V. J. W. Guo and J. Zeng, <a href="https://arxiv.org/abs/math/0501441">A q-analogue of Faulhaber's formula for sums of powers</a>, arXiv:math/0501441 [math.CO], 2005.
%H A103438 H. Helfgott and I. M. Gessel, <a href="https://arxiv.org/abs/math/9810143">Enumeration of tilings of diamonds and hexagons with defects</a>, arXiv:math/9810143 [math.CO], 1998.
%H A103438 T. Kim, <a href="https://arxiv.org/abs/math/0502113">q-analogues of the sums of powers of consecutive integers</a>, arXiv:math/0502113 [math.NT], 2005.
%H A103438 D. E. Knuth, <a href="http://dx.doi.org/10.1090/S0025-5718-1993-1197512-7">Johann Faulhaber and sums of powers</a>, Math. Comp. 61 (1993), no. 203, 277-294.
%H A103438 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/DiscreteUniformDistribution.html">Discrete Uniform Distribution</a>.
%H A103438 Wikipedia, <a href="http://en.wikipedia.org/wiki/Faulhaber%27s_formula">Faulhaber's formula</a>
%F A103438 E.g.f.: e^x*(e^(x*y)-1)/(e^x-1).
%F A103438 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
%F A103438 T(m, n) = HarmonicNumber(m, -n). - _Jean-François Alcover_, May 11 2012
%F A103438 T(m, n) = (Bernoulli(m + 1, n + 1) - Bernoulli(m + 1, 1)) / (m + 1). - _Peter Luschny_, Mar 20 2024
%F A103438 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
%F A103438 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
%e A103438 Square array begins:
%e A103438   0, 1,  2,   3,    4,     5,     6,      7,      8,      9, ... A001477;
%e A103438   0, 1,  3,   6,   10,    15,    21,     28,     36,     45, ... A000217;
%e A103438   0, 1,  5,  14,   30,    55,    91,    140,    204,    285, ... A000330;
%e A103438   0, 1,  9,  36,  100,   225,   441,    784,   1296,   2025, ... A000537;
%e A103438   0, 1, 17,  98,  354,   979,  2275,   4676,   8772,  15333, ... A000538;
%e A103438   0, 1, 33, 276, 1300,  4425, 12201,  29008,  61776, 120825, ... A000539;
%e A103438   0, 1, 65, 794, 4890, 20515, 67171, 184820, 446964, 978405, ... A000540;
%e A103438 Antidiagonal triangle begins as:
%e A103438   0;
%e A103438   0, 1;
%e A103438   0, 1,  2;
%e A103438   0, 1,  3,  3;
%e A103438   0, 1,  5,  6,  4;
%e A103438   0, 1,  9, 14, 10,  5;
%e A103438   0, 1, 17, 36, 30, 15, 6;
%p A103438 seq(print(seq(Zeta(0,-k,1)-Zeta(0,-k,n+1),n=0..9)),k=0..6);
%p A103438 # (Produces the square array from the example.) _Peter Luschny_, Nov 16 2008
%p A103438 # alternative
%p A103438 A103438 := proc(m,n)
%p A103438     (bernoulli(m+1,n+1)-bernoulli(m+1))/(m+1) ;
%p A103438     if m = 0 then
%p A103438         %-1 ;
%p A103438     else
%p A103438         % ;
%p A103438     end if;
%p A103438 end proc: # _R. J. Mathar_, May 10 2013
%p A103438 # simpler:
%p A103438 A103438 := proc(m,n)
%p A103438     (bernoulli(m+1,n+1)-bernoulli(m+1,1))/(m+1) ;
%p A103438 end proc: # _Peter Luschny_, Mar 20 2024
%t A103438 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 *)
%o A103438 (PARI) T(m,n)=sum(k=0,n,k^m)
%o A103438 (Magma)
%o A103438 T:= func< n,k | n eq 0 select k else (&+[j^n: j in [0..k]]) >;
%o A103438 [T(n-k,k): k in [0..n], n in [0..12]]; // _G. C. Greubel_, Dec 22 2021
%o A103438 (SageMath)
%o A103438 def T(n,k): return (bernoulli_polynomial(k+1, n+1) - bernoulli_polynomial(1, n+1)) /(n+1)
%o A103438 flatten([[T(n-k,k) for k in (0..n)] for n in (0..12)]) # _G. C. Greubel_, Dec 22 2021
%o A103438 (Python)
%o A103438 from itertools import count, islice
%o A103438 from math import comb
%o A103438 from fractions import Fraction
%o A103438 from sympy import bernoulli
%o A103438 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))
%o A103438 def A103438_gen(): # generator of terms
%o A103438     for m in count(0):
%o A103438         for n in range(m+1):
%o A103438             yield A103438_T(m-n,n)
%o A103438 A103438_list = list(islice(A103438_gen(),100)) # _Chai Wah Wu_, Oct 23 2024
%Y A103438 Rows include A000027, A000217, A000330, A000537, A000538, A000539, A000540, A000541, A000542, A007487, A023002.
%Y A103438 Columns include A000051, A001550, A001551, A001552, A001553, A001554, A001555, A001556, A001557.
%Y A103438 Diagonals include A076015 and A031971.
%Y A103438 Antidiagonal sums are in A103439.
%Y A103438 Antidiagonals are the rows of triangle A192001.
%K A103438 nonn,tabl
%O A103438 0,6
%A A103438 _Ralf Stephan_, Feb 11 2005