cp's OEIS Frontend

A299854 G.f. S(x) satisfies C(x)^(1/2) - S(x)^(1/2) = 1 such that C'(x)*S(x)^(1/2) = S'(x)*C(x)^(1/2) = 72*x.

%I A299854 #7 May 05 2018 20:55:39
%S A299854 36,-144,864,-6048,46080,-370656,3096576,-26604864,233570304,
%T A299854 -2086063200,18893242368,-173111152320,1601754365952,-14945262816960,
%U A299854 140461536706560,-1328495714939520,12635295568625664,-120770748612067680,1159474181591531520,-11176086736640548800,108114032779214192640,-1049288769526156568640,10214201953998140866560,-99701511082612622322048
%N A299854 G.f. S(x) satisfies C(x)^(1/2) - S(x)^(1/2) = 1 such that C'(x)*S(x)^(1/2) = S'(x)*C(x)^(1/2) = 72*x.
%C A299854 a(n) = -(-1)^n * 36 * A214377(n-2) for n>=2.
%F A299854 The functions C = C(x) and S = S(x) satisfy:
%F A299854 (1a) sqrt(C) - sqrt(S) = 1.
%F A299854 (1b) C'*sqrt(S) = S'*sqrt(C) = 72*x.
%F A299854 (1c) C' = 72*x/sqrt(S).
%F A299854 (1d) S' = 72*x/sqrt(C).
%F A299854 Integrals.
%F A299854 (2a) C = 1 + Integral 72*x/sqrt(S) dx.
%F A299854 (2b) S = Integral 72*x/sqrt(C) dx.
%F A299854 (2c) C = 1 + Integral S'*sqrt(C/S) dx.
%F A299854 (2d) S = Integral C'*sqrt(S/C) dx.
%F A299854 Exponentials.
%F A299854 (3a) sqrt(C) = exp( Integral 36*x/(C*sqrt(S)) dx ).
%F A299854 (3b) sqrt(S) = 6*x*exp( Integral 36*x/(S*sqrt(C)) - 1/x dx ).
%F A299854 (3c) C - S = exp( Integral 72*x/(C*sqrt(S) + S*sqrt(C)) dx ).
%F A299854 (3d) C - S = exp( Integral C'*S'/(C*S' + S*C') dx).
%F A299854 Functional equations.
%F A299854 (4a) C = 1/3 - 36*x^2 + (2/3)*C^(3/2).
%F A299854 (4b) S = 36*x^2 - (2/3)*S^(3/2).
%F A299854 Explicit solutions.
%F A299854 (5a) C(x) = 1 + Sum_{n>=1} 2*(-4)^n*binomial(3*n/2,n)/((3*n-2)*(3*n-4)) * x^n.
%F A299854 (5b) S(x) = 36*x^2 + Sum_{n>=3} 18*(-4)^n*(3*n-3)*binomial(3*n/2-2,n)/((3*n-4)*(3*n-6)) * x^n.
%F A299854 (5c) sqrt(C(x)) = 1 + Sum_{n>=1} -(-4)^n * binomial(3*n/2,n)/(3*n-2) * x^n.
%F A299854 Formulas for terms.
%F A299854 a(n) = 18*(-4)^n * (3*n-3) * binomial(3*n/2-2,n) / ((3*n-4)*(3*n-6)) for n>=3, with a(2) = 36.
%e A299854 G.f.: S(x) = 36*x^2 - 144*x^3 + 864*x^4 - 6048*x^5 + 46080*x^6 - 370656*x^7 + 3096576*x^8 - 26604864*x^9 + 233570304*x^10 + ...
%e A299854 RELATED SERIES.
%e A299854 C(x) = 1 + 12*x + 12*x^2 - 24*x^3 + 96*x^4 - 504*x^5 + 3072*x^6 - 20592*x^7 + 147456*x^8 - 1108536*x^9 + 8650752*x^10 + ...
%e A299854 C(x)^(1/2) = 1 + 6*x - 12*x^2 + 60*x^3 - 384*x^4 + 2772*x^5 - 21504*x^6 + 175032*x^7 - 1474560*x^8 + 12748164*x^9 - 112459776*x^10 + ...
%e A299854 sqrt(S(x)) = 6*x - 12*x^2 + 60*x^3 - 384*x^4 + 2772*x^5 - 21504*x^6 + 175032*x^7 - 1474560*x^8 + 12748164*x^9 - 112459776*x^10 + ...
%e A299854 where C(x)^(1/2) - S(x)^(1/2) = 1
%e A299854 and C'*sqrt(S) = S'*sqrt(C) = 72*x.
%o A299854 (PARI) {a(n) = my(C=1, S=x^2); for(i=0, n, C = 1 + intformal( 72*x/sqrt(S +x^3*O(x^n)) ); S = intformal( 72*x/sqrt(C) ) ); polcoeff(S, n)}
%o A299854 for(n=2,30,print1(a(n),", "))
%o A299854 (PARI) {a(n) = if(n<2,0,n==2,36, 18*(-4)^n * (3*n-3) * binomial(3*n/2-2,n) / ((3*n-4)*(3*n-6)) )}
%o A299854 for(n=2,30,print1(a(n),", "))
%Y A299854 Cf. A299853, A299855, A214377.
%K A299854 sign
%O A299854 2,1
%A A299854 _Paul D. Hanna_, Feb 20 2018