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.

User: Lynette O'Brien

Lynette O'Brien's wiki page.

Lynette O'Brien has authored 3 sequences.

A279619 Expansion of g.f. of A002652 in powers of the g.f. of A279618.

Original entry on oeis.org

1, 2, 22, 336, 6006, 117348, 2428272, 52303680, 1160427510, 26337699740, 608642155660, 14272471122560, 338764038330480, 8123136091556640, 196484811079765440, 4788469475873867520, 117465323079289162230, 2898183118626011393100
Offset: 1

Views

Author

Lynette O'Brien, Dec 15 2016

Keywords

Comments

G.f. is the square root of the g.f. for A183204.
This sequence is c_n in Theorem 6.1 in O'Brien's thesis.
Also see Conjecture 5.4 in Chan, Cooper and Sica's paper.

Examples

			G.f. = 1 + 2*x + 22*x^2 + 336*x^3 + 6006*x^4 + ....

References

  • L. O'Brien, Modular forms and two new integer sequences at level 7, Massey University, 2016.

Links

Crossrefs

Cf. A183204, A279613, A279618.
The Apéry-like numbers [or Apéry-like sequences, Apery-like numbers, Apery-like sequences] include A000172, A000984, A002893, A002895, A005258, A005259, A005260, A006077, A036917, A063007, A081085, A093388, A125143 (apart from signs), A143003, A143007, A143413, A143414, A143415, A143583, A183204, A214262, A219692, A226535, A227216, A227454, A229111 (apart from signs), A260667, A260832, A262177, A264541, A264542, A279619, A290575, A290576. (The term "Apery-like" is not well-defined.)

Programs

  • Magma
    I:=[2, 22]; [1] cat [n le 2 select I[n] else ((26*n^2-39*n+15)* Self(n-1) + 3*(3*n-4)*(3*n-5)*Self(n-2))/n^2 : n in [1..50]] // G. C. Greubel, Jul 04 2018
  • Mathematica
    RecurrenceTable[{a[n+1] == ((26*n^2+13*n+2)*a[n] + 3*(3*n-1)*(3*n-2)*a[n-1])/ (n + 1)^2, a[-1] == 0, a[0] == 1}, a, {n, 0, 50}] (* G. C. Greubel, Jul 04 2018 *)
CoefficientList[Series[Sqrt[7]*(1/(25 - 80*x + 24*Sqrt[1 - 27*x]*Sqrt[1+x]))^(1/4) * Hypergeometric2F1[1/12, 5/12, 1, 13824*x^7/(1 - 21*x + 8*x^2 + Sqrt[1 - 27*x] * (1 - 8*x)*Sqrt[1+x])^3], {x, 0, 20}], x] (* Vaclav Kotesovec, Jul 04 2018 *)

Formula

(n+1)^2*a_7(n+1) = (26*n^2+13*n+2)*a_7(n) + 3*(3*n-1)*(3*n-2)*a_7(n-1), a(0)=1, a(-1)=0.
Conjecture: For any positive integer n and any prime p with p equiv. 0,1,2 or 4 modulo 7, a(n) equiv. a(n)=a(n_0)a(n_1)...a(n_r) modulo p, where n=n_0+n_1p+...n_rp^r is the base p representation of n.
Conjecture: a(n)~ C n^(-3/2) 27^n where C=0.0955223052681267146513079107870296256727946666510071798669948234917659...

A279618 Expansion of w_7/(1 + 13*w_7 + 49*w_7^2) in powers of q, where w_7 = (eta(7*q)/eta(q))^4.

Original entry on oeis.org

1, -9, 30, -15, -240, 978, -1463, -2361, 18201, -42800, 15624, 227742, -809028, 1088367, 1593120, -11383551, 25003158, -8589729, -119069358, 403991280, -521730930, -736063496, 5088063696, -10843708302, 3624181875, 48991048836, -162420646812, 205328313785, 284014016994
Offset: 1

Views

Author

Lynette O'Brien, Dec 15 2016

Keywords

Comments

G.f. is y_7 in Cooper's paper.
See Equation (3.15) and Theorem 3.10 in O'Brien's thesis.
G.f. is a period 1 Fourier series which satisfies f(-1 / (7 t)) = f(t) where q = exp(2 Pi i t). - Michael Somos, Sep 07 2018

Examples

			G.f. = q - 9*q^2 + 30*q^3 - 15*q^4 - 240*q^5 + 978*q^6 - 1463*q^7 + ...

References

  • S. Cooper, (2012). Sporadic sequences, modular forms and new series for 1/pi. The Ramanujan Journal, 29(1-3), 163-183.
  • L. O'Brien, Modular forms and two new integer sequences at level 7, Massey University, 2016.

Links

Crossrefs

Cf. A002652, A121593, A279613, A279619.

Programs

  • Mathematica
    a[ n_] := With[{u1 = QPochhammer[ x]^4, u7 = QPochhammer[ x^7]^4}, SeriesCoefficient[ x u1 u7 / (u1^2 + 13 x u1 u7 + 49 x^2 u7^2) , {x, 0, n}]]; (* Michael Somos, Sep 07 2018 *)
  • PARI
    {a(n) = my(A); if( n<1, 0, A = x * O(x^n); A = x * (eta(x^7 + A) / eta(x + A))^4; polcoeff( 1 / (1/A + 13 + 49*A), n))}; /* Michael Somos, Sep 07 2018 */

Formula

G.f. is w_7/(1 + 13*w_7 + 49*w_7^2) = (eta(q)*eta(7q)/z_7)^3 where w_7 = (eta(7*q)/eta(q))^4 and z_7 = 1 + 2*Sum_{k>0} Kronecker(-7,k)*q^k/(1-q^k).
G.f. is also (eta(q)*eta(7*q)/z_7)^3, where z_7 = 1 + 2*Sum_{k>0} Kronecker(-7,k)*q^k/(1-q^k). See A002652.

A279613 Expansion of the g.f. of A160534 in powers of A121593.

Original entry on oeis.org

1, -7, 42, -231, 1155, -4998, 15827, -791, -566244, 6506955, -53524611, 369879930, -2218053747, 11306008875, -43772711220, 55203364377, 1172838094533, -16542312772356, 150992704165079, -1130142960861845, 7290759457923816
Offset: 1

Views

Author

Lynette O'Brien, Dec 15 2016

Keywords

Comments

(eta(q))^7/eta(7*q) in powers of (eta(7*q)/eta(q))^4.
This sequence is u_n in Theorem 6.5 in O'Brien's thesis.

Examples

			G.f.: 1 - 7*x + 42*x^2 - 231*x^3 + 1155*x^4 - 4998*x^5 + ...

References

  • L. O'Brien, Modular forms and two new integer sequences at level 7, Massey University, 2016.

Links

Crossrefs

Cf. A183204, A229111, A279618, A279619.

Formula

(n+1)^4a_7(n+1)=-(26*n^4+52*n^3+58*n^2+32*n+7)a_7(n)-(267*n^4+268*n^2+18)a_7(n-1)-(1274*n^4-2548*n^3+2842*n^2-1568*n+343)a_7(n-2)-2401(n-1)^4a_7(n-3)
with a_7(0)=1, a_7(-1)=a_7(-2)=a_7(-3)=0.
asymptotic conjecture: a(n) ~ C n^(-4/3) 7^n cos( n( arctan( (3*sqrt 3)/13) +Pi -1.083913253)), where C = 6.502807770...

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.