login
The OEIS Foundation is supported by donations from users of the OEIS and by a grant from the Simons Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A325062 G.f. A(x) satisfies: 1 + 2*x = Sum_{n>=0} (2^n + q*sqrt(A(x)))^n * x^n / (1 + 2^n*q*x*sqrt(A(x)))^(n+1), where q = sqrt(8). 5
1, 8, 2504, 1721024, 4004836544, 34371837694976, 1144244247852783104, 150756716920877640704000, 79170171472489778115703918592, 166116745151581288207313820694446080, 1393704864012762439255232236469539465232384, 46767149231853952372202508147249496634017589755904, 6277066566013980877709014174399846162076444100155305361408 (list; graph; refs; listen; history; text; internal format)
OFFSET

0,2

COMMENTS

For a given integer k > 1, there exists an integer series G(x,k)^2 that satisfies: 1 + k*x = Sum_{n>=0} (k^n + q*G(x,k))^n * x^n / (1 + k^n*q*x*G(x,k))^(n+1) iff q^2 = k^4/(2*k-2). In that case, G(x,k)^2 = 1 + k^3*(k^2-3)*x + k^4*(2*k^8 - 18*k^4 + 21*k^2 + 2*k + 1)*x^2/2 + ...; the g.f. for this sequence is A(x) = G(x,k=2)^2.

LINKS

Paul D. Hanna, Table of n, a(n) for n = 0..50

FORMULA

Let q = sqrt(8), then g.f. A(x) satisfies:

(1) 1 + 2*x = Sum_{n>=0} (2^n + q * sqrt(A(x)))^n * x^n / (1 + 2^n * q * x*sqrt(A(x)))^(n+1).

(2) 1 + 2*x = Sum_{n>=0} (2^n - q * sqrt(A(x)))^n * x^n / (1 - 2^n * q * x*sqrt(A(x)))^(n+1).

EXAMPLE

G.f.: A(x) = 1 + 8*x + 2504*x^2 + 1721024*x^3 + 4004836544*x^4 + 34371837694976*x^5 + 1144244247852783104*x^6 + 150756716920877640704000*x^7 + ...

Let q = sqrt(8) and B = A(x)^(1/2), then

1 + 2*x = 1/(1 + x*q*B) + (2 + q*B)*x/(1 + 2*x*q*B)^2 + (2^2 + q*B)^2*x^2/(1 + 2^2*x*q*B)^3 + (2^3 + q*B)^3*x^3/(1 + 2^3*x*q*B)^4 + (2^4 + q*B)^4*x^4/(1 + 2^4*x*q*B)^5 + (2^5 + q*B)^5*x^5/(1 + 2^5*x*q*B)^6 + (2^6 + q*B)^6*x^6/(1 + 2^6*x*q*B)^7 + ...

and also

1 + 2*x = 1/(1 - x*q*B) + (2 - q*B)*x/(1 - 2*x*q*B)^2 + (2^2 - q*B)^2*x^2/(1 - 2^2*x*q*B)^3 + (2^3 - q*B)^3*x^3/(1 - 2^3*x*q*B)^4 + (2^4 - q*B)^4*x^4/(1 - 2^4*x*q*B)^5 + (2^5 - q*B)^5*x^5/(1 - 2^5*x*q*B)^6 + (2^6 - q*B)^6*x^6/(1 - 2^6*x*q*B)^7 + ...

PROG

(PARI) /* Set k = 2 to generate this sequence (requires high precision) */

{a(n, k) = my(q = k^2/sqrt(2*k-2), A=[1, k^3*(k^2-3), 0]); for(i=0, n,

A=concat(A, 0); A[#A-1] = round( polcoeff( sum(m=0, #A, (k^m + q * Ser(A)^(1/2))^m * x^m / (1 + k^m * q * x*Ser(A)^(1/2))^(m+1) ), #A)/k^4)); A[n+1]}

for(n=0, 20, print1(a(n, k=2), ", "))

CROSSREFS

Cf. A325063, A325064, A325065, A325066, A324299.

Sequence in context: A151580 A173175 A268150 * A247733 A343696 A210126

Adjacent sequences:  A325059 A325060 A325061 * A325063 A325064 A325065

KEYWORD

nonn

AUTHOR

Paul D. Hanna, Mar 26 2019

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified October 21 05:28 EDT 2021. Contains 348141 sequences. (Running on oeis4.)