login
Third differences of fifth powers (A000584).
13

%I #52 Jan 27 2022 03:05:02

%S 1,29,150,390,750,1230,1830,2550,3390,4350,5430,6630,7950,9390,10950,

%T 12630,14430,16350,18390,20550,22830,25230,27750,30390,33150,36030,

%U 39030,42150,45390,48750,52230,55830,59550,63390,67350,71430,75630,79950,84390,88950

%N Third differences of fifth powers (A000584).

%C Original Name: Shells (nexus numbers) of shells of shells of the power of 5.

%C For n>=3 a(n) is equal to the number of functions f:{1,2,3,4,5}->{1,2,...,n} such that Im(f) contains 3 fixed elements. - Aleksandar M. Janjic and _Milan Janjic_, Feb 24 2007

%H Danny Rorabaugh, <a href="/A101096/b101096.txt">Table of n, a(n) for n = 1..10000</a>

%H Milan Janjic, <a href="https://pmf.unibl.org/wp-content/uploads/2017/10/enumfun.pdf">Enumerative Formulas for Some Functions on Finite Sets</a>.

%H David J. Pengelley, <a href="http://sofia.nmsu.edu/~davidp/bridge.pdf">The bridge between the continuous and the discrete via original sources in Study the Masters: The Abel-Fauvel Conference</a> [pdf], Kristiansand, 2002, (ed. Otto Bekken et al.), National Center for Mathematics Education, University of Gothenburg, Sweden, 2003.

%H Cecilia Rossiter, <a href="http://noticingnumbers.net/300SeriesCube.htm">Depictions, Explorations and Formulas of the Euler/Pascal Cube</a> [Dead link]

%H Cecilia Rossiter, <a href="/A101096/a101096.pdf">Depictions, Explorations and Formulas of the Euler/Pascal Cube</a> [Cached copy, May 15 2013]

%H Eric Weisstein, Link to section of MathWorld: <a href="http://mathworld.wolfram.com/WorpitzkysIdentity.html">Worpitzky's Identity of 1883</a>.

%H Eric Weisstein, Link to section of MathWorld: <a href="http://mathworld.wolfram.com/EulerianNumber.html">Eulerian Number</a>.

%H Eric Weisstein, Link to section of MathWorld: <a href="http://mathworld.wolfram.com/NexusNumber.html">Nexus number</a>.

%H Eric Weisstein, Link to section of MathWorld: <a href="http://mathworld.wolfram.com/FiniteDifference.html">Finite Differences</a>.

%H <a href="/index/Rec#order_03">Index entries for linear recurrences with constant coefficients</a>, signature (3,-3,1).

%F a(k+1) = MagicNKZ(5,k,3) where MagicNKZ(n,k,z) = Sum_{j=0..k+1} (-1)^j*binomial(n+1-z,j)*(k-j+1)^n. (Cf. A101095.)

%F a(k+1) = 30*(1 - 2*k + 2*k^2); k>2.

%F a(n+3) = A069477(n). - _Vladimir Joseph Stephan Orlovsky_, Jun 19 2011

%F G.f.: x*(x^4+26*x^3+66*x^2+26*x+1)/(1-x)^3. - _Colin Barker_, Oct 17 2012

%F Sum_{n>=1} 1/a(n) = (Pi/60)*tanh(Pi/2) + 871/870. - _Amiram Eldar_, Jan 27 2022

%t MagicNKZ=Sum[(-1)^j*Binomial[n+1-z, j]*(k-j+1)^n, {j, 0, k+1}];Table[MagicNKZ, {n, 5, 5}, {z, 3, 3}, {k, 0, 34}]

%t CoefficientList[Series[(-z^4-26z^3-66z^2-26z-1)/(z-1)^3, {z, 0, 200}], z] (* _Vladimir Joseph Stephan Orlovsky_, Jun 19 2011 *)

%t Join[{1,29},Differences[Range[0,40]^5,3]] (* or *) LinearRecurrence[{3,-3,1},{1,29,150,390,750},40] (* _Harvey P. Dale_, Feb 02 2017 *)

%o (Sage) [sum([(-1)^j*binomial(3, j)*(k-j+1)^5 for j in range(min(k+2,4))]) for k in range(40)] # _Danny Rorabaugh_, Apr 27 2015

%o (PARI) a(n)=if(n>2,60*n^2-180*n+150,28*n-27) \\ _Charles R Greathouse IV_, Oct 11 2015

%o (Magma) m:=40; R<x>:=PowerSeriesRing(Integers(), m); Coefficients(R!( x*(x^4+26*x^3+66*x^2+26*x+1)/(1-x)^3)); // _G. C. Greubel_, Dec 01 2018

%Y Cf. A069477.

%Y Third differences of A000584, second differences of A022521, and first differences of A068236.

%Y Cf. A101095 for other sequences related to MagicNKZ.

%K easy,nonn

%O 1,2

%A Cecilia Rossiter, Dec 15 2004

%E MagicNKZ material edited and SeriesAtLevelR material removed by _Danny Rorabaugh_, Apr 27 2015