|
%I #42 Jan 31 2024 09:42:25
%S 0,1,4,23,180,1777,21144,294239,4686680,84066001,1676633340,
%T 36801867479,881568186156,22883970972577,639869619046000,
%U 19173204600407423,612902677593991536,20819517833595304801,748889739331836981300
%N a(n) = 2*n*a(n-1) - a(n-2), with a(0)=0, a(1)=1.
%C Bessel recurrence at x=1: J(x,n) = (2*n/x)*J(x,n-1) - J(x,n-2).
%D Abramowitz and Stegun, Handbook of Mathematical Functions, 9th printing, 1972, page 385.
%H Seiichi Manyama, <a href="/A106174/b106174.txt">Table of n, a(n) for n = 0..403</a>
%H M. Abramowitz and I. A. Stegun, eds., <a href="http://www.convertit.com/Go/ConvertIt/Reference/AMS55.ASP">Handbook of Mathematical Functions</a>, National Bureau of Standards, Applied Math. Series 55, Tenth Printing, 1972 [alternative scanned copy].
%H S. Janson, <a href="https://doi.org/10.46298/dmtcs.520">A divergent generating function that can be summed and analysed analytically</a>, Discrete Mathematics and Theoretical Computer Science; 2010, Vol. 12, No. 2, 1-22.
%F a(n) = Sum_{k = 0..floor((n-1)/2)} (-1)^k*2^(n-2*k-1)*(n-2*k-1)! * binomial(n-k-1,k)*binomial(n-k,k+1), cf. A058798. - _Peter Bala_, Aug 01 2013
%F a(n) = n!*2^(n-1)*hypergeometric2F3([(1-n)/2, 1-n/2],[2, 1-n, -n], -1) for n >= 2. - _Peter Luschny_, Sep 10 2014
%F From _Vaclav Kotesovec_, Jun 10 2019: (Start)
%F a(n) = Pi*(BesselJ(1 + n, 1)*BesselY(1, 1) - BesselJ(1, 1)*BesselY(1 + n, 1))/2.
%F a(n) ~ BesselJ(1,1) * 2^n * n!. (End)
%t F[0]=0; F[1]=1; F[n_]:= F[n]= 2*n*F[n-1]-F[n-2]; Table[F[n], {n, 0, 20}]
%t RecurrenceTable[{a[0]==0,a[1]==1,a[n]==2n a[n-1]-a[n-2]},a,{n,20}] (* _Harvey P. Dale_, Oct 17 2016 *)
%o (Sage)
%o def A058798(n):
%o if n < 2: return n
%o return factorial(n)*2^(n-1)*hypergeometric([1/2-n/2, 1-n/2], [2, 1-n, -n], -1)
%o [round(A058798(n).n(164)) for n in (0..18)] # _Peter Luschny_, Sep 10 2014
%o (PARI) m=20; v=concat([0,1], vector(m-2)); for(n=3, m, v[n]=2*(n-1)*v[n-1]-v[n-2]); v \\ _G. C. Greubel_, Mar 25 2019
%o (Magma) I:=[0,1]; [n le 2 select I[n] else 2*(n-1)*Self(n-1) - Self(n-2): n in [1..20]]; // _G. C. Greubel_, Mar 25 2019
%o (GAP) a:=[0,1];; for n in [3..20] do a[n]:=2*(n-1)*a[n-1]-a[n-2]; od; a; # _G. C. Greubel_, Mar 25 2019
%Y Cf. A058798.
%K nonn,easy
%O 0,3
%A _Roger L. Bagula_, Mar 14 2006
|
