A303675 -id:A303675 - cp's OEIS frontend

A100868 a(n) = Sum_{k>0} k^(2n-1)/phi^(2k) where phi = (1+sqrt(5))/2 = A001622.

1, 7, 151, 6847, 532231, 63206287, 10645162711, 2413453999327, 708721089607591, 261679010699505967, 118654880542567722871, 64819182599591545006207, 41987713702382161714004551, 31821948327041297758906340047, 27896532358791207565357448388631

Offset: 1

Benoit Cloitre, Jan 08 2005

nonn

A bisection of "Stirling-Bernoulli transform" of Fibonacci numbers.

Alois P. Heinz, Table of n, a(n) for n = 1..224

Cf. A001622, A050946, A100872.

Row sums of A303675.

FullSimplify[Table[PolyLog[1 - 2k, GoldenRatio^(-2)], {k, 1, 10}]] (* Vladimir Reshetnikov, Feb 16 2011 *)

a(n)=round(sum(k=1,500,k^(2*n-1)/((1+sqrt(5))/2)^(2*k)))

a(n) = A050946(2*n-1).

A385567 Triangle read by rows: T(n,k) is the numerator of A(n,k), such that A(n,k) satisfies the identity for sums of odd powers: Sum_{k=1..p} k^(2n-1) = 1/(2n) Sum_{k=0..n-1} A(n,k) * (p^2+p)^(n-k), for all integers p >= 1.

Original entry on oeis.org

1, 1, 1, 1, 0, -1, 1, -1, 0, 1, 1, -4, 2, 0, -1, 1, -5, 3, -3, 0, 5, 1, -4, 17, -10, 5, 0, -691, 1, -35, 287, -118, 691, -691, 0, 7, 1, -8, 112, -352, 718, -280, 140, 0, -3617, 1, -21, 66, -293, 4557, -3711, 10851, -10851, 0, 43867, 1, -40, 217, -4516, 2829, -26332, 750167, -438670, 219335, 0, -174611

Offset: 0

Kolosov Petro, Jul 31 2025

The companion triangle with the denominators is A386728.

Extension of A093556 with k in the range 0 <= k <= n, and n >= 0.

			Triangle begins:
---------------------------------------------------------------------------------
k =   0    1     2     3     4       5       6        7       8      9      10
---------------------------------------------------------------------------------
n=0:  1;
n=1:  1,   1;
n=2:  1,   0,  -1;
n=3:  1,  -1,   0,     1;
n=4:  1,  -4,   2,     0,   -1;
n=5:  1,  -5,   3,    -3,    0,      5;
n=6:  1,  -4,  17,   -10,    5,      0,   -691;
n=7:  1, -35, 287,  -118,  691,   -691,      0,       7;
n=8:  1,  -8, 112,  -352,  718,   -280,    140,       0,  -3617;
n=9:  1, -21,  66,  -293, 4557,  -3711,  10851,  -10851,      0, 43867;
n=10: 1, -40, 217, -4516, 2829, -26332, 750167, -438670, 219335,     0, -174611;
...

Donald E. Knuth, Johann Faulhaber and Sums of Powers, arXiv:9207222 [math.CA], 1992, see page 16.
Petro Kolosov, Faulhaber's coefficients: Examples, GitHub, 2025.
Petro Kolosov, Mathematica programs, GitHub, 2025.

Cf. A386728 (denominators).
Cf. A303675, A304330, A304334, A304336.
Cf. A093558/A093559, A335951/A335952, A093556/A093557.

FaulhaberCoefficient[n_, k_] := 0;
FaulhaberCoefficient[n_, k_] := (-1)^(n - k) * Sum[Binomial[2 n, n - k - j]* Binomial[n - k + j, j] * (n - k - j)/(n - k + j) * BernoulliB[n + k + j], {j, 0, n - k}] /; 0 <= k < n;
FaulhaberCoefficient[n_, k_] := BernoulliB[2 n] /; k == n;
Flatten[Table[Numerator[FaulhaberCoefficient[n, k]], {n, 0, 10}, {k, 0, n}]]

T(n,k) = numerator(if (k==n, bernfrac(2*n), if (kMichel Marcus, Aug 03 2025

A(n,k) = 0 if k>n or n<0
A(n,k) = (-1)^(n - k) * Sum_{j=0..n-k} binomial(2n, n - k - j) * binomial(n - k + j, j) * (n - k - j)/(n - k + j) * B_{n + k + j}, if 0 <= k < n;
A(n,k) = B_{2n}, if k = n;
T(n,k) = numerator(A(n,k)).

A386728 Triangle read by rows: T(n,k) is the denominator of A(n,k), such that A(n,k) satisfies the identity for sums of odd powers: Sum_{k=1..p} k^(2n-1) = 1/(2n) Sum_{k=0..n-1} A(n,k) * (p^2+p)^(n-k), for all integers p >= 1.

Original entry on oeis.org

1, 1, 6, 1, 1, 30, 1, 2, 1, 42, 1, 3, 3, 1, 30, 1, 2, 1, 2, 1, 66, 1, 1, 2, 1, 1, 1, 2730, 1, 6, 15, 3, 15, 30, 1, 6, 1, 1, 3, 3, 3, 1, 1, 1, 510, 1, 2, 1, 1, 5, 2, 5, 10, 1, 798, 1, 3, 2, 7, 1, 3, 42, 21, 21, 1, 330, 1, 2, 3, 2, 1, 6, 15, 3, 5, 10, 1, 138, 1

Offset: 0

Kolosov Petro, Jul 31 2025

The companion triangle with the numerators is A385567.

Extension of A093557 with k in the range 0 <= k <= n.

			Triangle begins:
  ---------------------------------------------------------
  k =   0  1   2   3    4    5    6   7    8    9    10
  ---------------------------------------------------------
  n=0:  1;
  n=1:  1, 6;
  n=2:  1, 1, 30;
  n=3:  1, 2,  1, 42;
  n=4:  1, 3,  3,  1, 30;
  n=5:  1, 2,  1,  2,  1, 66;
  n=6:  1, 1,  2,  1,  1,  1, 2730;
  n=7:  1, 6, 15,  3, 15, 30,    1,  6;
  n=8:  1, 1,  3,  3,  3,  1,    1,  1, 510;
  n=9:  1, 2,  1,  1,  5,  2,    5, 10,   1, 798;
  n=10: 1, 3,  2,  7,  1,  3,   42, 21,  21,   1, 330;
  ...

Donald E. Knuth, Johann Faulhaber and Sums of Powers, arXiv:9207222 [math.CA], 1992, see page 16.
Petro Kolosov, Faulhaber's coefficients: Examples, GitHub, 2025.
Petro Kolosov, Mathematica programs, GitHub, 2025.

Cf. A385567 (numerators).
Cf. A303675, A304330, A304334, A304336.
Cf. A093558/A093559, A335951/A335952, A093556/A093557.

FaulhaberCoefficient[n_, k_] := 0;
FaulhaberCoefficient[n_, k_] := (-1)^(n - k) * Sum[Binomial[2 n, n - k - j]* Binomial[n - k + j, j] * (n - k - j)/(n - k + j) * BernoulliB[n + k + j], {j, 0, n - k}] /; 0 <= k < n;
FaulhaberCoefficient[n_, k_] := BernoulliB[2 n] /; k == n;
Flatten[Table[Denominator[FaulhaberCoefficient[n, k]], {n, 0, 10}, {k, 0, n}]]

T(n,k) = denominator(if (k==n, bernfrac(2*n), if (kMichel Marcus, Aug 03 2025

A(n,k) = 0 if k>n or n<0;
A(n,k) = (-1)^(n - k) * Sum_{j=0..n-k} binomial(2n, n - k - j) * binomial(n - k + j, j) * (n - k - j)/(n - k + j) * B_{n + k + j}, if 0 <= k < n;
A(n,k) = B_{2n}, if k = n;
T(n,k) = denominator(A(n,k)).

cp's OEIS Frontend

A100868 a(n) = Sum_{k>0} k^(2n-1)/phi^(2k) where phi = (1+sqrt(5))/2 = A001622.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385567 Triangle read by rows: T(n,k) is the numerator of A(n,k), such that A(n,k) satisfies the identity for sums of odd powers: Sum_{k=1..p} k^(2n-1) = 1/(2n) Sum_{k=0..n-1} A(n,k) * (p^2+p)^(n-k), for all integers p >= 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A386728 Triangle read by rows: T(n,k) is the denominator of A(n,k), such that A(n,k) satisfies the identity for sums of odd powers: Sum_{k=1..p} k^(2n-1) = 1/(2n) Sum_{k=0..n-1} A(n,k) * (p^2+p)^(n-k), for all integers p >= 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

cp's OEIS Frontend

A100868 a(n) = Sum_{k>0} k^(2n-1)/phi^(2k) where phi = (1+sqrt(5))/2 = A001622.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385567 Triangle read by rows: T(n,k) is the numerator of A(n,k), such that A(n,k) satisfies the identity for sums of odd powers: Sum_{k=1..p} k^(2n-1) = 1/(2*n) * Sum_{k=0..n-1} A(n,k) * (p^2+p)^(n-k), for all integers p >= 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A386728 Triangle read by rows: T(n,k) is the denominator of A(n,k), such that A(n,k) satisfies the identity for sums of odd powers: Sum_{k=1..p} k^(2n-1) = 1/(2*n) * Sum_{k=0..n-1} A(n,k) * (p^2+p)^(n-k), for all integers p >= 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A385567 Triangle read by rows: T(n,k) is the numerator of A(n,k), such that A(n,k) satisfies the identity for sums of odd powers: Sum_{k=1..p} k^(2n-1) = 1/(2n) Sum_{k=0..n-1} A(n,k) * (p^2+p)^(n-k), for all integers p >= 1.

A386728 Triangle read by rows: T(n,k) is the denominator of A(n,k), such that A(n,k) satisfies the identity for sums of odd powers: Sum_{k=1..p} k^(2n-1) = 1/(2n) Sum_{k=0..n-1} A(n,k) * (p^2+p)^(n-k), for all integers p >= 1.