|
| |
|
|
A002893
|
|
a(n) = Sum_{k=0..n} binomial(n,k)^2 * binomial(2*k,k).
(Formerly M2998 N1214)
|
|
86
|
|
|
|
1, 3, 15, 93, 639, 4653, 35169, 272835, 2157759, 17319837, 140668065, 1153462995, 9533639025, 79326566595, 663835030335, 5582724468093, 47152425626559, 399769750195965, 3400775573443089, 29016970072920387, 248256043372999089
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
|
OFFSET
|
0,2
|
|
|
COMMENTS
|
This is the Taylor expansion of a special point on a curve described by Beauville. - Matthijs Coster, Apr 28 2004
a(n) is the 2n-th moment of the distance from the origin of a 3-step random walk in the plane. - Peter M. W. Gill (peter.gill(AT)nott.ac.uk), Feb 27 2004
a(n) is the number of Abelian squares of length 2n over a 3-letter alphabet. - Jeffrey Shallit, Aug 17 2010
Consider 2D simple random walk on honeycomb lattice. a(n) gives number of paths of length 2n ending at origin. - Sergey Perepechko, Feb 16 2011
Conjecture: For each n=1,2,3,... the polynomial g_n(x) = Sum_{k=0..n} binomial(n,k)^2*binomial(2k,k)*x^k is irreducible over the field of rational numbers. - Zhi-Wei Sun, Mar 21 2013
This is one of the Apery-like sequences - see Cross-references. - Hugo Pfoertner, Aug 06 2017
a(n) is the sum of the squares of the coefficients of (x + y + z)^n. - Michael Somos, Aug 25 2018
a(n) is the constant term in the expansion of (1 + (1 + x) * (1 + y) + (1 + 1/x) * (1 + 1/y))^n. - Seiichi Manyama, Oct 28 2019
|
|
|
REFERENCES
|
Matthijs Coster, Over 6 families van krommen [On 6 families of curves], Master's Thesis (unpublished), Aug 26 1983.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
|
|
|
LINKS
|
|
|
|
FORMULA
|
a(n) = Sum_{m=0..n} binomial(n, m) * A000172(m). [Barrucand]
D-finite with recurrence: (n+1)^2 a(n+1) = (10*n^2+10*n+3) * a(n) - 9*n^2 * a(n-1). - Matthijs Coster, Apr 28 2004
Sum_{n>=0} a(n)*x^n/n!^2 = BesselI(0, 2*sqrt(x))^3. - Vladeta Jovovic, Mar 11 2003
a(n) = Sum_{p+q+r=n} (n!/(p!*q!*r!))^2 with p, q, r >= 0. - Michael Somos, Jul 25 2007
a(n) = hypergeom([1/2, -n, -n], [1, 1], 4). - Mark van Hoeij, Jun 02 2010
G.f.: 2*sqrt(2)/Pi/sqrt(1-6*z-3*z^2+sqrt((1-z)^3*(1-9*z))) * EllipticK(8*z^(3/2)/(1-6*z-3*z^2+sqrt((1-z)^3*(1-9*z)))). - Sergey Perepechko, Feb 16 2011
G.f.: Sum_{n>=0} (3*n)!/n!^3 * x^(2*n)*(1-x)^n / (1-3*x)^(3*n+1). - Paul D. Hanna, Feb 26 2012
G.f.: 1/(1-3*x)*(1-6*x^2*(1-x)/(Q(0)+6*x^2*(1-x))), where Q(k) = (54*x^3 - 54*x^2 + 9*x -1)*k^2 + (81*x^3 - 81*x^2 + 18*x -2)*k + 33*x^3 - 33*x^2 +9*x - 1 - 3*x^2*(1-x)*(1-3*x)^3*(k+1)^2*(3*k+4)*(3*k+5)/Q(k+1); (continued fraction). - Sergei N. Gladkovskii, Jul 16 2013
G.f.: G(0)/(2*(1-9*x)^(2/3)), where G(k) = 1 + 1/(1 - 3*(3*k+1)^2*x*(1-x)^2/(3*(3*k+1)^2*x*(1-x)^2 - (k+1)^2*(1-9*x)^2/G(k+1) )); (continued fraction). - Sergei N. Gladkovskii, Jul 31 2013
a(n) = [x^(2n)] 1/agm(sqrt((1-3*x)*(1+x)^3), sqrt((1+3*x)*(1-x)^3)). - Gheorghe Coserea, Aug 17 2016
0 = +a(n)*(+a(n+1)*(+729*a(n+2) -1539*a(n+3) +243*a(n+4)) +a(n+2)*(-567*a(n+2) +1665*a(n+3) -297*a(n+4)) +a(n+3)*(-117*a(n+3) +27*a(n+4))) +a(n+1)*(+a(n+1)*(-324*a(n+2) +720*a(n+3) -117*a(n+4)) +a(n+2)*(+315*a(n+2) -1000*a(n+3) +185*a(n+4)) +a(n+3)*(+80*a(n+3) -19*a(n+4))) +a(n+2)*(+a(n+2)*(-9*a(n+2) +35*a(n+3) -7*a(n+4)) +a(n+3)*(-4*a(n+3) +a(n+4))) for all n in Z. - Michael Somos, Oct 30 2017
G.f. y=A(x) satisfies: 0 = x*(x - 1)*(9*x - 1)*y'' + (27*x^2 - 20*x + 1)*y' + 3*(3*x - 1)*y. - Gheorghe Coserea, Jul 01 2018
Sum_{k>=0} binomial(2*k,k) * a(k) / 6^(2*k) = A086231 = (sqrt(3)-1) * (Gamma(1/24) * Gamma(11/24))^2 / (32*Pi^3). - Vaclav Kotesovec, Apr 23 2023
|
|
|
EXAMPLE
|
G.f.: A(x) = 1 + 3*x + 15*x^2 + 93*x^3 + 639*x^4 + 4653*x^5 + 35169*x^6 + ...
G.f.: A(x) = 1/(1-3*x) + 6*x^2*(1-x)/(1-3*x)^4 + 90*x^4*(1-x)^2/(1-3*x)^7 + 1680*x^6*(1-x)^3/(1-3*x)^10 + 34650*x^8*(1-x)^4/(1-3*x)^13 + ... - Paul D. Hanna, Feb 26 2012
|
|
|
MAPLE
|
series(1/GaussAGM(sqrt((1-3*x)*(1+x)^3), sqrt((1+3*x)*(1-x)^3)), x=0, 42) # Gheorghe Coserea, Aug 17 2016
A002893 := n -> hypergeom([1/2, -n, -n], [1, 1], 4):
|
|
|
MATHEMATICA
|
Table[Sum[Binomial[n, k]^2 Binomial[2k, k], {k, 0, n}], {n, 0, 20}] (* Harvey P. Dale, Aug 19 2011 *)
a[ n_] := If[ n < 0, 0, HypergeometricPFQ[ {1/2, -n, -n}, {1, 1}, 4]]; (* Michael Somos, Oct 16 2013 *)
a[n_] := SeriesCoefficient[BesselI[0, 2*Sqrt[x]]^3, {x, 0, n}]*n!^2; Table[a[n], {n, 0, 20}] (* Jean-François Alcover, Dec 30 2013 *)
a[ n_] := If[ n < 0, 0, Block[ {x, y, z}, Expand[(x + y + z)^n] /. {t_Integer -> t^2, x -> 1, y -> 1, z -> 1}]]; (* Michael Somos, Aug 25 2018 *)
|
|
|
PROG
|
(PARI) {a(n) = if( n<0, 0, n!^2 * polcoeff( besseli(0, 2*x + O(x^(2*n+1)))^3, 2*n))};
(PARI) {a(n) = sum(k=0, n, binomial(n, k)^2 * binomial(2*k, k))}; /* Michael Somos, Jul 25 2007 */
(PARI) {a(n)=polcoeff(sum(m=0, n, (3*m)!/m!^3 * x^(2*m)*(1-x)^m / (1-3*x+x*O(x^n))^(3*m+1)), n)} \\ Paul D. Hanna, Feb 26 2012
(PARI) N = 42; x='x + O('x^N); v = Vec(1/agm(sqrt((1-3*x)*(1+x)^3), sqrt((1+3*x)*(1-x)^3))); vector((#v+1)\2, k, v[2*k-1]) \\ Gheorghe Coserea, Aug 17 2016
(Magma) [&+[Binomial(n, k)^2 * Binomial(2*k, k): k in [0..n]]: n in [0..25]]; // Vincenzo Librandi, Aug 26 2018
(SageMath)
def A002893(n): return simplify(hypergeometric([1/2, -n, -n], [1, 1], 4))
|
|
|
CROSSREFS
|
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.)
For primes that do not divide the terms of the sequences A000172, A005258, A002893, A081085, A006077, A093388, A125143, A229111, A002895, A290575, A290576, A005259 see A260793, A291275-A291284 and A133370 respectively.
|
|
|
KEYWORD
|
nonn,easy,walk,nice
|
|
|
AUTHOR
|
|
|
|
STATUS
|
approved
|
| |
|
|
