reviewed
approved
reviewed
approved
proposed
reviewed
editing
proposed
S. B. Ekhad, and M. Yang, <a href="http://sites.math.rutgers.edu/~zeilberg/tokhniot/oMathar1maple12.txt">Proofs of Linear Recurrences of Coefficients of Certain Algebraic Formal Power Series Conjectured in the On-Line Encyclopedia Of Integer Sequences</a>, (2017).
Table[Range[n, 0, -1].Table[a[n, k], {k, 0, n}], {n, 0, 36}] (* with a[n, k] as defined in A033877. *)
proposed
editing
editing
proposed
a(n) = Sum_{k = 0..n+-1} 2^(k+1)/(n+1) * binomial(n+1, k)*binomial(n+1, k+2).
a := proc(n) option remember; if n = 0 then 0 elif n = 1 then 1 else (3*n*(2*n+1)*a(n-1) - n*(n-1)*a(n-2))/((n+3)*(n-1)) end if; end:
(n+3)*(n-1)*a(n) = 3*n*(2*n+1)*a(n-1) - n*(n-1)*a(n-2) with a(0) = 0 and a(1) = 1. (End)
G.f. A(x) satisfies the algebraic equation 4*x^3*A(x)^2 - (5*x^2 - 6*x + 1)*A(x) + x = 0 and the differential equation
(3*x^4 - 19*x^3 + 9*x^2 - x)*dA/dx + (3*x^3 - 29*x^2 + 21*x - 3)*A(x) + 4*x = 0 with A(0) = 0. (End)
nonn,easy,changed
From Peter Bala, Aug 30 2023: (Start)
a(n) = Sum_{k = 0..n+1} 2^(k+1)/(n+1) * binomial(n+1, k)*binomial(n+1, k+2).
(n+3)*(n-1)*a(n) = 3*n*(2*n+1)*a(n-1) - n*(n-1)*a(n-2) with a(0) = 0 and a(1) = 1. (End)
a := proc(n) option remember; if n=0 then 0 elif n = 1 then 1 else (3*n*(2*n+1)*a(n-1) - n*(n-1)*a(n-2))/((n+3)*(n-1)) end if; end:
seq(a(n), n = 0..20); # Peter Bala, Aug 30 2023
approved
editing
reviewed
approved
proposed
reviewed