A275047 Diagonal of the rational function 1/(1-(1+w)(xy + xz + yz)) [even-indexed terms only].
1, 18, 1350, 141120, 17151750, 2272538268, 318430816704, 46404203788800, 6961609406993670, 1068002895589987500, 166779781860762170100, 26422986893371642828800, 4236593267629481817240000, 686167053247777413372681600, 112093956900827388909570240000
Offset: 0
Examples
1 + 18*x^2 + 1350*x^4 + 141120*x^6 + ...
Links
- Alois P. Heinz, Table of n, a(n) for n = 0..444 (first 34 terms from Gheorghe Coserea)
- A. Bostan, S. Boukraa, J.-M. Maillard and J.-A. Weil, Diagonals of rational functions and selected differential Galois groups, arXiv preprint arXiv:1507.03227 [math-ph], 2015.
- R. Meštrović, Wolstenholme's theorem: Its Generalizations and Extensions in the last hundred and fifty years (1862-2012), arXiv:1111.3057 [math.NT], 2011.
- Armin Straub, Multivariate Apéry numbers and supercongruences of rational functions, Algebra & Number Theory, Vol. 8, No. 8 (2014), pp. 1985-2008; arXiv preprint, arXiv:1401.0854 [math.NT], 2014.
- Jacques-Arthur Weil, Supplementary Material for the Paper "Diagonals of rational functions and selected differential Galois groups"
Programs
-
Maple
a:= proc(n) option remember; `if`(n=0, 1, 9*(3*n-1)^2*(3*n-2)^2*a(n-1)/((4*n-2)*n^3)) end: seq(a(n), n=0..20); # Alois P. Heinz, Jul 25 2016 -
Mathematica
Table[(3*n)!^2 / (n!^4*(2*n)!), {n, 0, 20}] (* Vaclav Kotesovec, Aug 03 2016 *) CoefficientList[Series[HypergeometricPFQ[{1/3, 1/3, 2/3, 2/3}, {1/2, 1, 1}, 729x/4], {x, 0, 10}], x] (* Benedict W. J. Irwin, Aug 05 2016 *) -
PARI
my(x='x, y='y, z='z, w='w); R = 1/(1-(1+w)*(x*y+x*z+y*z)); diag(n, expr, var) = { my(a = vector(n)); for (i = 1, #var, expr = taylor(expr, var[#var - i + 1], n)); for (k = 1, n, a[k] = expr; for (i = 1, #var, a[k] = polcoeff(a[k], k-1))); return(a); }; diag(23, R, [x,y,z,w])
Formula
0 = (-4*x^2+729*x^4)*y'''' + (-20*x+7290*x^3)*y''' + (-16+18063*x^2)*y'' + 10449*x*y' + 576*y, where y = 1 + 18*x^2 + 1350*x^4 + ...
From Vaclav Kotesovec, Aug 03 2016: (Start)
a(n) = (3*n)!^2 / (n!^4 * (2*n)!).
a(n) ~ 3^(6*n+1) / (Pi^(3/2) * n^(3/2) * 2^(2*n+2)).
(End)
G.f.: 4F3(1/3,1/3,2/3,2/3;1/2,1,1;729x/4). - Benedict W. J. Irwin, Aug 05 2016
From Peter Bala, Sep 20 2021: (Start)
a(n) = 9*(3*n - 1)^2*(3*n - 2)^2/(2*n^3*(2*n - 1))*a(n-1).
a(n) = Sum_{k = n..3*n} (-1)^k*binomial(3*n,k)^2*binomial(k,n)^2. (End)
From Peter Bala, Jun 22 2023: (Start)
a(n) = Sum_{k = 0..n} binomial(n,k)*binomial(2*n,k)*binomial(2*n-k,n)* binomial(4*n-k,2*n).
a(n) = [(x*y)^n * (z*t)^(2*n)] 1/((1 - x - y)*(1 - z - t) - x*y*z*t). (End)
Comments