The OEIS is supported by the many generous donors to the OEIS Foundation.

 Hints (Greetings from The On-Line Encyclopedia of Integer Sequences!)
 A337390 Expansion of sqrt((1-2*x+sqrt(1-12*x+4*x^2)) / (2 * (1-12*x+4*x^2))). 4
 1, 4, 34, 328, 3334, 34904, 372436, 4027216, 43976774, 483860632, 5355697084, 59569288816, 665238165916, 7454247891952, 83769667651816, 943744775565728, 10655369806377542, 120535523282756632, 1365840013196530348, 15500428304345011504, 176148760580561346484 (list; graph; refs; listen; history; text; internal format)
 OFFSET 0,2 LINKS Seiichi Manyama, Table of n, a(n) for n = 0..939 FORMULA a(n) = Sum_{k=0..n} 2^(n-k) * binomial(2*k,k) * binomial(2*n,2*k). a(0) = 1, a(1) = 4 and n * (2*n-1) * (4*n-5) * a(n) = (4*n-3) * (24*n^2-36*n+8) * a(n-1) - 4 * (n-1) * (2*n-3) * (4*n-1) * a(n-2) for n > 1. - Seiichi Manyama, Aug 28 2020 a(n) ~ 2^(n - 5/4) * (1 + sqrt(2))^(2*n + 1/2) / sqrt(Pi*n). - Vaclav Kotesovec, Aug 31 2020 From Peter Bala, May 02 2022: (Start) Conjecture: a(n) = [x^n] ( (1 + x^2)*(1 + x)^2/(1 - x)^2 )^n. Equivalently, a(n) = Sum_{k = 0..n} Sum_{j = 0..n-2*k} binomial(n,k)*binomial(2*n,j)*binomial(3*n-2*k-j-1,n-2*k-j). If the conjecture is true then the Gauss congruences a(n*p^k) == a(n*p^(k-1)) (mod p^k) hold for all primes p and positive integers n and k. Calculation suggests that the supercongruences a(n*p^k) == a(n*p^(k-1)) (mod p^(2*k)) hold for primes p >= 3 and positive integers n and k. It appears that a(n)^2 = Sum_{k = 0..2*n} (-1)^k*2^(2*n-k)*binomial(2*k,k)^2* binomial(2*n+k,2*k). Compare with the pair of identities: binomial(2*n,n) = Sum_{k = 0..n} 2^(n-2*k)*binomial(2*k,k)*binomial(n,2*k) and binomial(2*n,n)^2 = Sum_{k = 0..2*n} (-1)^k*2^(4*n-2*k)*binomial(2*k,k)^2*binomial(2*n+k,2*k). (End) MATHEMATICA a[n_] := Sum[2^(n - k) * Binomial[2*k, k] * Binomial[2*n, 2*k], {k, 0, n}]; Array[a, 21, 0] (* Amiram Eldar, Aug 25 2020 *) PROG (PARI) N=40; x='x+O('x^N); Vec(sqrt((1-2*x+sqrt(1-12*x+4*x^2))/(2*(1-12*x+4*x^2)))) (PARI) {a(n) = sum(k=0, n, 2^(n-k)*binomial(2*k, k)*binomial(2*n, 2*k))} CROSSREFS Column k=2 of A337389. Cf. A337370, A337421. Sequence in context: A370171 A232910 A208215 * A025572 A093137 A332617 Adjacent sequences: A337387 A337388 A337389 * A337391 A337392 A337393 KEYWORD nonn,easy AUTHOR Seiichi Manyama, Aug 25 2020 STATUS approved

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

Last modified September 11 17:54 EDT 2024. Contains 375839 sequences. (Running on oeis4.)