cp's OEIS Frontend

A261207 Expansion of (x-1)/8 - (x^2-4*x-1)/(8*sqrt(x^2-6*x+1)).

%I A261207 #36 Nov 16 2024 02:02:35
%S A261207 0,1,3,14,70,363,1925,10364,56412,309605,1710247,9496746,52960674,
%T A261207 296408847,1663998345,9365980152,52837614456,298676661129,
%U A261207 1691325089867,9592607927750,54482777049918,309837754937843,1764046900535053,10054065679046004,57357471874390100
%N A261207 Expansion of (x-1)/8 - (x^2-4*x-1)/(8*sqrt(x^2-6*x+1)).
%C A261207 Number of vertices in all Schroeder trees with n leaves. See Theorem 2.1 of Van Duzer. - _Michel Marcus_, Apr 12 2019
%H A261207 G. C. Greubel, <a href="/A261207/b261207.txt">Table of n, a(n) for n = 0..1000</a>
%H A261207 Anthony Van Duzer, <a href="https://arxiv.org/abs/1904.05525">Subtrees of a Given size in Schroeder Trees</a>, arXiv:1904.05525 [math.CO], 2019.
%F A261207 a(n) = Sum_{i=0..n-1}(2^i*(-1)^(n-i-1)*C(n+1,n-i-1)*C(n+i,n)).
%F A261207 a(n) = (-1)^(n+1)*(n*(n+1)/2)*hypergeom([1-n, 1+n], [3], 2). - _Peter Luschny_, Aug 12 2015
%F A261207 a(n) = A010683(n-1)*(n+1)/2. - _Peter Luschny_, Aug 12 2015
%F A261207 a(n) ~ (3+2*sqrt(2))^n / (2^(9/4)*sqrt(Pi*n)). - _Vaclav Kotesovec_, Aug 17 2015
%F A261207 D-finite with recurrence: n*a(n) +(-2*n-5)*a(n-1) +3*(-8*n+21)*a(n-2) +(10*n-39)*a(n-3) +(-n+5)*a(n-4)=0. - _R. J. Mathar_, Jan 25 2020
%p A261207 a := n -> simplify((-1)^(n+1)*(n*(n+1)/2)*hypergeom([1-n, 1+n], [3], 2));
%p A261207 seq(a(n),n=0..27); # _Peter Luschny_, Aug 12 2015
%t A261207 CoefficientList[Series[(x - 1) / 8 - (x^2 - 4 x - 1) / (8 Sqrt[x^2 - 6 x + 1]), {x, 0, 33}], x] (* _Vincenzo Librandi_, Aug 12 2015 *)
%o A261207 (Maxima) a(n):=sum(2^i*(-1)^(n-i-1)*binomial(n+1,n-i-1)*binomial(n+i,n),i,0,n-1);
%o A261207 (PARI) vector(30, n, n--; sum(i=0,n-1,2^i*(-1)^(n-i-1)*binomial(n+1,n-i-1)*binomial(n+i,n))) \\ _Michel Marcus_, Aug 12 2015
%Y A261207 Cf. A010683.
%K A261207 nonn
%O A261207 0,3
%A A261207 _Vladimir Kruchinin_, Aug 11 2015