%I #22 Sep 08 2022 08:46:00
%S 1,-2,4,-6,-16,310,-3144,28826,-260000,2345094,-20901880,176084986,
%T -1216168944,1862029910,186232275544,-6005924996070,144514137334976,
%U -3177768345524954,67577079942366120,-1420754665075404166,29799354626069718640
%N Row sums of coefficient triangle of the monic associated Laguerre polynomials of order 1.
%H G. C. Greubel, <a href="/A199578/b199578.txt">Table of n, a(n) for n = 0..448</a>
%F a(n) = Sum_{k=0..n} A199577(n,k), n>=0.
%F From _Wolfdieter Lang_, Dec 12 2011 (Start)
%F E.g.f. from A199577 with x=1, z->x:
%F g(x) = -x*exp(-1/(1+x))*(Ei(1,-1/(1+x))-Ei(1,-1))/(1+x)^3 + 1/(1+x)^2, with the exponential integral Ei. In order to obtain the series use first Ei(1,-y/(1+x))-Ei(1,-y), and put y=1 after the expansion.
%F This e.g.f. satisfies the homogeneous ordinary second order differential equation (1+x)^2*(d^2/dx^2)g(x)+(4+5*x)*(d/dx)g(x)+4*g(x) = 0, with g(0)=1 and (d/dx)g(x)|_{x=0}=-2.
%F This e.g.f. is equivalent to the recurrence relation:
%F a(n) = -2*n*a(n-1) - n^2*a(n-2), a(-1)=0, a(0)=1.
%F (End)
%F The conjecture on the alternating row sums has been proved by _Wolfdieter Lang_, Dec 12 2011
%t RecurrenceTable[{a[n] == -2*n*a[n-1] -n^2*a[n-2], a[0] == 1, a[1] == -2}, a, {n, 0, 40}] (* _G. C. Greubel_, May 14 2018 *)
%o (Magma) I:=[-2,4]; [1] cat [n le 2 select I[n] else -2*n*Self(n-1) - n^2*Self(n-2): n in [1..30]]; // _G. C. Greubel_, May 14 2018
%o (PARI) m=30; v=concat([-2,4], vector(m-2)); for(n=3, m, v[n]=-2*n*v[n-1]-n^2*v[n-2]); concat([1], v) \\ _G. C. Greubel_, May 14 2018
%Y Cf. A199577 (monic first associated Laguerre), A002793(n+1)*(-1)^n, n>=0 (alternating row sums).
%K sign,easy
%O 0,2
%A _Wolfdieter Lang_, Nov 25 2011
|