OFFSET
0,2
COMMENTS
a(n) is the determinant of M(2n+1) where M(k) is the k X k matrix with m(i,j)=j if i+j=k m(i,j)=i otherwise. - Adapted to offset 0, Rainer Rosenthal, Jun 19 2024
In the following two comments on the calculation of the terms using permanents, offset 1 is assumed. In the corresponding PARI code, this is implemented with offset 0. - Hugo Pfoertner, Jun 23 2024
(-1)^n*a(n)/2^(2n-1) is the permanent of the (m X m) matrix {1/(x_i-y_j), 1<=i<=m, 1<=j<=m}, where x_1,x_2,...,x_m are the zeros of x^m-1 and y_1,y_2,...,y_m the zeros of y^m+1 and m=2n-1.
In 1881, R. F. Scott posed a conjecture that the absolute value of permanent of square matrix with elements a(i,j)= (x_i - y_j)^(-1), where x_1,...,x_n are roots of x^n=1, while y_1,...,y_n are roots of y^n=-1, equals a((n-1)/2)/2^n, if n>=1 is odd, and 0, if n>=2 is even. After a century (in 1979), the conjecture was proved by H. Minc. - Vladimir Shevelev, Dec 01 2013
a(n) is the number of permutations in S_{2n+1} in which all cycles have odd length. - José H. Nieto S., Jan 09 2012
Number of 3-bundled increasing bilabeled trees with 2n labels. - Markus Kuba, Nov 18 2014
a(n) is the number of rooted, binary, leaf-labeled topologies with 2n+2 leaves that have n+1 cherry nodes. - Noah A Rosenberg, Feb 12 2019
REFERENCES
Miklós Bóna, A walk through combinatorics, World Scientific, 2006.
LINKS
Alois P. Heinz, Table of n, a(n) for n = 0..224
Cyril Banderier, Markus Kuba, and Michael Wallner, Analytic Combinatorics of Composition schemes and phase transitions with mixed Poisson distributions, arXiv:2103.03751 [math.PR], 2021.
Guo-Niu Han and Christian Krattenthaler, Rectangular Scott-type permanents, arXiv:math/0003072 [math.RA], 2000.
Markus Kuba and Alois Panholzer, Combinatorial families of multilabelled increasing trees and hook-length formulas, arXiv:1411.4587 [math.CO], 17 Nov 2014.
MathOverflow, Geometric / physical / probabilistic interpretations of Riemann zeta(n>1)?, answer by Tom Copeland posted in Aug 2021.
Henryk Minc, On a conjecture of R. F. Scott (1881), Linear Algebra Appl., Vol. 28 (1979), pp. 141-153.
Theodoros Theodoulidis, On the Closed-Form Expression of Carson’s Integral, Period. Polytech. Elec. Eng. Comp. Sci., Vol. 59, No. 1 (2015), pp. 26-29.
Eric Weisstein's World of Mathematics, Struve function.
FORMULA
D-finite with recurrence a(n) = (4*n^2 - 1) * a(n-1) for all n in Z.
E.g.f.: 1/(1-x^2)^(3/2) (with interpolated zeros). - Paul Barry, May 26 2003
a(n) = (2n+1)! * C(2n, n) / 2^(2n). - Ralf Stephan, Mar 22 2004.
Alternatingly signed values have e.g.f. sqrt(1+x^2).
a(n) is the value of the n-th moment of (1/Pi)*BesselK(1, sqrt(x)) on the positive part of the real line. - Olivier Gérard, May 20 2009
a(n) = -2^(2*n-1)*exp(i*n*Pi)*gamma(1/2+n)/gamma(3/2-n). - Gerry Martens, Mar 07 2011
E.g.f. (odd powers) tan(arcsin(x)) = Sum_{n>=0} (2n-1)!!*(2n+1)!!*x^(2*n+1)/(2*n+1)!. - Vladimir Kruchinin, Apr 22 2011
G.f.: 1 + x*(G(0) - 1)/(x-1) where G(k) = 1 - ((2*k+2)^2-1)/(1-x/(x - 1/G(k+1))); ( continued fraction ). - Sergei N. Gladkovskii, Jan 15 2013
a(n) = (2^(2*n+3)*Gamma(n+3/2)*Gamma(n+5/2))/Pi. - Jean-François Alcover, Jul 20 2015
Limit_{n->oo} 4^n*(n!)^2/a(n) = Pi/2. - Daniel Suteu, Feb 05 2017
From Michael Somos, May 04 2017: (Start)
a(n) = (2*n + 1) * A001818(n).
E.g.f.: Sum_{n>=0} a(n) * x^(2*n+1) / (2*n+1)! = x / sqrt(1 - x^2) = tan(arcsin(x)).
Given e.g.f. A(x) = y, then x * y' = y + y^3.
a(n) = -1 / a(-1-n) for all n in Z.
0 = +a(n)*(+288*a(n+2) -60*a(n+3) +a(n+4)) +a(n+1)*(-36*a(n+2) -4*a(n+3)) +a(n+2)*(+3*a(n+2)) for all n in Z. (End)
a(n) = Sum_{k=0..2n} (k+1) * A316728(n,k). - Alois P. Heinz, Jul 12 2018
From Amiram Eldar, Mar 18 2022: (Start)
Sum_{n>=0} 1/a(n) = 1 + L_1(1)*Pi/2, where L is the modified Struve function.
Sum_{n>=0} (-1)^n/a(n) = 1 - H_1(1)*Pi/2, where H is the Struve function. (End)
EXAMPLE
G.f. = 1 + 3*x + 45*x^2 + 1575*x^3 + 99225*x^4 + 9823275*x^5 + ...
M(5) =
[1, 2, 3, 1, 5]
[1, 2, 2, 4, 5]
[1, 3, 3, 4, 5]
[4, 2, 3, 4, 5]
[1, 2, 3, 4, 5].
Integral_{x=0..oo} x^3*BesselK(1, sqrt(x)) = 1575*Pi. - Olivier Gérard, May 20 2009
MAPLE
a:= n-> (d-> d(2*n-1)*d(2*n+1))(doublefactorial):
seq(a(n), n=0..15); # Alois P. Heinz, Jan 30 2013
# second Maple program:
A079484 := n-> LinearAlgebra[Determinant](Matrix(2*n+1, (i, j)-> `if`(i+j=2*n+1, j, i))): seq(A079484(n), n=0..14); # Rainer Rosenthal, Jun 18 2024
MATHEMATICA
a[n_] := (2n - 1)!!*(2n + 1)!!; Table[a[n], {n, 0, 13}] (* Jean-François Alcover, Jan 30 2013 *)
PROG
(PARI) /* Formula using the zeta function and a log integral:*/
L(n)= intnum(t=0, 1, log(1-1/t)^n);
Zetai(n)= -I*I^n*(2*Pi)^(n-1)/(n-1)*L(1-n);
a(m)={my(n=m+1); round(real(-I*2^(2*n-1)*Zetai(1/2-n)*L(-1/2+n)/(Zetai(-1/2+n)*L(1/2-n))))};
/* Gerry Martens, Mar 07 2011, adapted to offset 0 by Hugo Pfoertner, Jun 19 2024 */
(Magma) I:=[1, 3]; [n le 2 select I[n] else (4*n^2-8*n+3)*Self(n-1): n in [1..20]]; // Vincenzo Librandi, Nov 18 2014
(PARI) {a(n) = if( n<0, -1 / self()(-1-n), (2*n + 1)! * (2*n)! / (n! * 2^n)^2 )}; /* Michael Somos, May 04 2017 */
(PARI) {a(n) = if( n<0, -1 / self()(-1-n), my(m = 2*n + 1); m! * polcoeff( x / sqrt( 1 - x^2 + x * O(x^m) ), m))}; /* Michael Somos, May 04 2017 */
(PARI) \\ using the Pochhammer symbol
a(n) = {my(P(x, k)=gamma(x+k)/gamma(x)); 4^n*round(P(1/2, n)*P(3/2, n))} \\ Hugo Pfoertner, Jun 20 2024
(PARI) \\ Scott's (1881) method
a(n) = {my(m=2*n+1, X = polroots(x^m-1), Y = polroots(x^m+1), M = matrix(m, m, i, j, 1/(X[i]-Y[j]))); (-1)^n * round(2^m * real(matpermanent(M)))}; \\ Hugo Pfoertner, Jun 23 2024
CROSSREFS
KEYWORD
nonn
AUTHOR
Benoit Cloitre, Jan 17 2003
EXTENSIONS
Simpler description from Daniel Flath (deflath(AT)yahoo.com), Mar 05 2004
STATUS
approved