cp's OEIS Frontend

A377267 G.f. A(x) satisfies A(x) = 1/(1 - 9*x*A(x))^(2/3).

%I A377267 #40 Sep 02 2025 04:07:00
%S A377267 1,6,81,1386,26676,551124,11939967,267647490,6155681103,144442697256,
%T A377267 3444310087155,83222570083068,2033143391152440,50136558534943776,
%U A377267 1246312401751305306,31197886757177379570,785732617740674763684,19896044539519213482690
%N A377267 G.f. A(x) satisfies A(x) = 1/(1 - 9*x*A(x))^(2/3).
%H A377267 Paolo Xausa, <a href="/A377267/b377267.txt">Table of n, a(n) for n = 0..650</a>
%H A377267 <a href="/index/Res#revert">Index entries for reversions of series</a>.
%F A377267 G.f.: (1/x) * Series_Reversion( x*(1-9*x)^(2/3) ).
%F A377267 a(n) = 9^n * binomial(5*n/3 - 1/3,n)/(n+1).
%F A377267 G.f.: B(x)^2, where B(x) is the g.f. of A245114.
%F A377267 G.f. A(x) satisfies A(x) = 1/A(-x*A(x)^(7/2)). - _Seiichi Manyama_, Jun 22 2025
%F A377267 E.g.f.: (2*hypergeom([2/15, 8/15, 11/15, 14/15], [1/3, 2/3, 2/3, 5/6, 1, 4/3], 5^5*x^3/4) + 12*x*hypergeom([7/15, 13/15, 16/15, 19/15], [2/3, 1, 7/6, 4/3, 4/3, 5/3], 5^5*x^3/4) + 81*x^2*hypergeom([4/5, 6/5, 7/5, 8/5], [4/3, 4/3, 3/2, 5/3, 5/3, 2], 5^5*x^3/4))/2. - _Stefano Spezia_, Jun 22 2025
%F A377267 From _Karol A. Penson_, Aug 23 2025: (Start)
%F A377267 a(n) = Integral_{x=0..15*5^(2/3)*2^(1/3)/2} x^n*W(x)*dx, where W(x) can be represented in terms of 4 different generalized hypergeometric functions of type 4F3 of argument 4*x^3/84375, W(x) = W1(x) + W2(x) + W3(x) + W4(x):
%F A377267 W1(x) = sqrt(15)*3^(7/10)*csc((2*Pi)/5)*sin((3*Pi)/10)*hypergeom([-1/5, 2/15, 3/10, 7/15], [1/5, 2/5, 3/5], (4*x^3)/84375)/(18*Pi*x^(3/5)),
%F A377267 W2(x) = -sqrt(15)*3^(3/10)*sec(Pi/10)*sin((3*Pi)/10)*x^(3/5)*hypergeom([1/5, 8/15, 7/10, 13/15], [3/5, 4/5, 7/5], (4*x^3)/84375)/(1350*Pi),
%F A377267 W3(x) = -sqrt(15)*3^(1/10)*sec((3*Pi)/10)*sin(Pi/10)*x^(6/5)*hypergeom([2/5, 11/15, 9/10, 16/15], [4/5, 6/5, 8/5], (4*x^3)/84375)/(30375*Pi),
%F A377267 W4(x) = -sqrt(15)*3^(9/10)*csc(Pi/5)*sin(Pi/10)*x^(9/5)*hypergeom([3/5, 14/15, 11/10, 19/15], [6/5, 7/5, 9/5], (4*x^3)/84375)/(911250*Pi).
%F A377267 W(x) is a positive function on x = (0,15*5^(2/3)*2^(1/3)/2), is singular at x=0 with the singularity x^(-3/5), and tends to zero at x = 15*5^(2/3)*2^(1/3)/2.
%F A377267 Thus a(n) is a positive definite sequence. This representation is unique as W(x) is the solution of the Hausdorff moment problem. (End)
%F A377267 a(n) ~ 3^n * 5^(5*n/3+1/6) / (sqrt(Pi) * 2^(2*(n+1)/3) * n^(3/2)). - _Amiram Eldar_, Sep 02 2025
%t A377267 A377267[n_] := 9^n*Binomial[(5*n - 1)/3, n]/(n + 1);
%t A377267 Array[A377267, 20, 0] (* _Paolo Xausa_, Aug 05 2025 *)
%o A377267 (PARI) a(n) = 9^n*binomial(5*n/3-1/3, n)/(n+1);
%Y A377267 Cf. A078532, A245114, A377262.
%K A377267 nonn,easy,changed
%O A377267 0,2
%A A377267 _Seiichi Manyama_, Oct 22 2024