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.

Showing 1-3 of 3 results.

A317904 Decimal expansion of a constant related to the asymptotics of A302598.

Original entry on oeis.org

3, 9, 5, 6, 1, 8, 4, 2, 0, 3, 0, 2, 6, 1, 6, 9, 7, 5, 4, 5, 4, 0, 8, 0, 2, 1, 8, 1, 8, 7, 8, 3, 0, 0, 8, 3, 3, 2, 9, 9, 9, 9, 8, 8, 0, 9, 5, 2, 5, 5, 5, 4, 0, 9, 8, 1, 6, 4, 9, 6, 2, 1, 1, 3, 0, 9, 3, 2, 8, 8, 5, 1, 3, 1, 4, 6, 2, 5, 2, 1, 2, 3, 0, 3, 1, 1, 5, 8, 9, 4, 8, 8, 4, 1, 6, 4, 0, 9, 6, 0, 7, 4, 7, 6, 5
Offset: 1

Views

Author

Vaclav Kotesovec, Aug 10 2018

Keywords

Examples

			3.9561842030261697545408021818783008332999988095...
		

Crossrefs

A322735 G.f. satisfies: A(x) = Sum_{n>=0} ( (1+x)^n - A(x)^(1/2) )^n / ( 2 - (1+x)^n * A(x)^(1/2) )^(n+1).

Original entry on oeis.org

1, 1, 4, 32, 424, 7696, 173442, 4619266, 141315896, 4874012942, 186981188532, 7896318230898, 364045464940596, 18196879341802488, 980406767669688312, 56648325010279262864, 3494752526532046751322, 229295129566323954429582, 15944415062268028208782178, 1171388932048172852048806000, 90667183883120180538001042398
Offset: 0

Views

Author

Paul D. Hanna, Jan 24 2019

Keywords

Comments

It is remarkable that the g.f. should consist entirely of integer coefficients.

Examples

			G.f.: A(x) = 1 + x + 4*x^2 + 32*x^3 + 424*x^4 + 7696*x^5 + 173442*x^6 + 4619266*x^7 + 141315896*x^8 + 4874012942*x^9 + 186981188532*x^10 + ...
such that A(x) and B = A(x)^(1/2) satisfy
A(x) = 1/(2 - B)  +  ((1+x) - B)/(2 - (1+x)*B)^2  +  ((1+x)^2 - B)^2/(2 - (1+x)^2*B)^3  +  ((1+x)^3 - B)^3/(2 - (1+x)^3*B)^4  +  ((1+x)^4 - B)^4/(2 - (1+x)^4*B)^5  +  ((1+x)^5 - B)^5/(2 - (1+x)^5*B)^6 + ...
also,
A(x) = 1/(2 + B)  +  ((1+x) + B)/(2 + (1+x)*B)^2  +  ((1+x)^2 + B)^2/(2 + (1+x)^2*B)^3  +  ((1+x)^3 + B)^3/(2 + (1+x)^3*B)^4  +  ((1+x)^4 + B)^4/(2 + (1+x)^4*B)^5  +  ((1+x)^5 + B)^5/(2 + (1+x)^5*B)^6 + ...
Notice that A(x)^(1/2) is not an integer series, but instead begins
A(x)^(1/2) = 1 + 2*(x/4) + 30*(x/4)^2 + 964*(x/4)^3 + 51894*(x/4)^4 + 3807644*(x/4)^5 + 345572460*(x/4)^6 + 36985627016*(x/4)^7 + 4541283789862*(x/4)^8 + 628123762214444*(x/4)^9 + 96578670976842436*(x/4)^10 + ...
thus, given the definition, it is remarkable that A(x) should be an integer series.
		

Crossrefs

Programs

  • PARI
    {a(n) = my(A=[1,1]); for(i=1, n, A=concat(A, 0); A = Vec( sum(m=0, #A, ( (1+x)^m - Ser(A)^(1/2) )^m  / (2 - (1+x)^m*Ser(A)^(1/2))^(m+1) ) ) ); A[n+1]}
    for(n=0, 30, print1(a(n), ", "))

Formula

G.f. A(x) along with B(x) = A(x)^(1/2) satisfy:
(1) A(x) = Sum_{n>=0} ( (1+x)^n - B(x) )^n / ( 2 - (1+x)^n*B(x) )^(n+1),
(2) A(x) = Sum_{n>=0} ( (1+x)^n + B(x) )^n / ( 2 + (1+x)^n*B(x) )^(n+1).
a(n) ~ c * A317904^n * n^n / exp(n), where c = 0.501629489631036... - Vaclav Kotesovec, Jul 03 2025

A386665 G.f. satisfies: A(x) = Sum_{n>=0} ( (1+x)^n - A(x)^(-1/2) )^n / ( 2 - (1+x)^n * A(x)^(-1/2) )^(n+1).

Original entry on oeis.org

1, 1, 8, 90, 1336, 24406, 530234, 13410942, 388841734, 12762735148, 469004980720, 19105730068460, 855146084504046, 41724450644602328, 2204075802189470532, 125300401263988607716, 7626356269363721248332, 494723229572772238087966, 34070289390944902842701094, 2482276670026891882801017812
Offset: 0

Views

Author

Paul D. Hanna, Aug 29 2025

Keywords

Comments

It appears that lim_{n->oo} ( a(n+1)/a(n) )/(n+1) exists and is near 4.

Examples

			G.f.: A(x) = 1 + x + 8*x^2 + 90*x^3 + 1336*x^4 + 24406*x^5 + 530234*x^6 + 13410942*x^7 + 388841734*x^8 + 12762735148*x^9 + 469004980720*x^10 + ...
RELATED SERIES.
A(x)^(1/2) = 1 + 2*(x/4) + 62*(x/4)^2 + 2756*(x/4)^3 + 163574*(x/4)^4 + 11997852*(x/4)^5 + 1047984172*(x/4)^6 + 106571791752*(x/4)^7 + 12417003030694*(x/4)^8 + ...
A(x)^(-1/2) = 1 - 2*(x/4) - 58*(x/4)^2 - 2516*(x/4)^3 - 149434*(x/4)^4 - 11055996*(x/4)^5 - 976190180*(x/4)^6 - 100318703592*(x/4)^7 - 11796814729146*(x/4)^8 - ...
		

Crossrefs

Programs

  • PARI
    {a(n) = my(A=[1, 1]); for(i=1, n, A=concat(A, 0); A = Vec( sum(m=0, #A, ( (1+x)^m - Ser(A)^(-1/2) )^m / (2 - (1+x)^m*Ser(A)^(-1/2))^(m+1) ) ) ); A[n+1]}
    for(n=0, 30, print1(a(n), ", "))

Formula

G.f. A(x) = Sum_{n>=0} a(n)*x^n along with B(x) = A(x)^(1/2) satisfies the following formulas.
(1) A(x) = Sum_{n>=0} ( (1+x)^n - 1/B(x) )^n / ( 2 - (1+x)^n/B(x) )^(n+1).
(2) A(x) = Sum_{n>=0} ( (1+x)^n + 1/B(x) )^n / ( 2 + (1+x)^n/B(x) )^(n+1).
(3) B(x) = Sum_{n>=0} ( (1+x)^n*B(x) - 1 )^n / ( 2*B(x) - (1+x)^n )^(n+1).
(4) B(x) = Sum_{n>=0} ( (1+x)^n*B(x) + 1 )^n / ( 2*B(x) + (1+x)^n )^(n+1).
Showing 1-3 of 3 results.