cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A338408 E.g.f. A(x) satisfies: [x^n] (1 + n*x - A(x))^(2*n) = 0, for n > 0.

This page as a plain text file.
%I A338408 #15 Dec 29 2021 04:13:30
%S A338408 1,3,70,4515,567576,116389295,35111089728,14574226069095,
%T A338408 7944376570503040,5494208894263886139,4694820247236686649600,
%U A338408 4853712224007783889422923,5968210130160831707746406400,8605241830169634366425696447655,14375558607944255605507888571539456
%N A338408 E.g.f. A(x) satisfies: [x^n] (1 + n*x - A(x))^(2*n) = 0, for n > 0.
%C A338408 Compare to: [x^n] (1 + n*x - W(x))^n = 0, for n>0, where W(x) = Sum_{n>=1} (n-1)^(n-1)*x^n/n! = 1 + x/LambertW(-x).
%C A338408 Compare to: [x^n] (1 + n*x - C(x))^(n+1) = 0, for n>0, where C(x) = x + C(x)^2 is a g.f. of the Catalan numbers (A000108).
%H A338408 Paul D. Hanna, <a href="/A338408/b338408.txt">Table of n, a(n) for n = 1..200</a>
%F A338408 a(n) ~ c * d^n * n!^2 / n^2, where d = (1+r) / ((-1 + exp(r + LambertW(-1, -exp(-r)*r))) * LambertW(-exp(-1-r)*(1+r))) = 8.406107401279769476199925123910168..., r = 0.7545302104650497245839827141610818561001159135034... is the root of the equation r*(1 + r + LambertW(-exp(-1 - r)*(1 + r))) = -(1 + r)*(r + LambertW(-1, -exp(-r)*r)) and c = 0.031468237083... - _Vaclav Kotesovec_, Aug 12 2021, updated Dec 29 2021
%e A338408 E.g.f.: A(x) = x + 3*x^2/2! + 70*x^3/3! + 4515*x^4/4! + 567576*x^5/5! + 116389295*x^6/6! + 35111089728*x^7/7! + 14574226069095*x^8/8! + 7944376570503040*x^9/9! + 5494208894263886139*x^10/10! + ...
%e A338408 ILLUSTRATION OF DEFINITION.
%e A338408 The table of coefficients of x^k/k! in (1 + n*x - A(x))^(2*n) begins:
%e A338408 n=0: [1, 0, 0, 0, 0, 0, 0, 0, ...];
%e A338408 n=1: [1, 0, -6, -140, -8976, -1130952, -232274240, -70128541380, ...];
%e A338408 n=2: [1, 4, 0, -364, -21504, -2530284, -504753152, -149907313980, ...];
%e A338408 n=3: [1, 12, 102, 0, -45960, -5063916, -928551600, -263868802728, ...];
%e A338408 n=4: [1, 24, 480, 7000, 0, -9924168, -1748523008, -457324971720, ...];
%e A338408 n=5: [1, 40, 1410, 42140, 939360, 0, -3259331360, -836926230780, ...];
%e A338408 n=6: [1, 60, 3264, 158220, 6595584, 208807788, 0, -1509806731620, ...];
%e A338408 n=7: [1, 84, 6510, 460936, 29355816, 1626947196, 69489455728, 0, ...]; ...
%e A338408 in which the main diagonal is all zeros after the initial term, illustrating that [x^n] (1 + n*x - A(x))^(2*n) = 0, for n > 0.
%o A338408 (PARI) {a(n) = my(A=[1],m=1); for(i=1,n, A=concat(A,0); m=#A; A[#A] = polcoeff( (1 + m*x - x*Ser(A))^(2*m), m)/(2*m) ); n!*A[n]}
%o A338408 for(n=1,30,print1(a(n),", "))
%Y A338408 Cf. A338328, A337758, A350366.
%K A338408 nonn
%O A338408 1,2
%A A338408 _Paul D. Hanna_, Oct 24 2020