[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
login
Revision History for A001147 (Bold, blue-underlined text is an addition; faded, red-underlined text is a deletion.)

Showing entries 1-10 | older changes
Double factorial of odd numbers: a(n) = (2*n-1)!! = 1*3*5*...*(2*n-1).
(history; published version)
#668 by Charles R Greathouse IV at Sun Feb 16 08:32:22 EST 2025
LINKS

Eric Weisstein's World of Mathematics, <a href="httphttps://mathworld.wolfram.com/AdjacencyMatrix.html">Adjacency Matrix</a>

Eric Weisstein's World of Mathematics, <a href="httphttps://mathworld.wolfram.com/DoubleFactorial.html">Double Factorial</a>

Eric Weisstein's World of Mathematics, <a href="httphttps://mathworld.wolfram.com/Erf.html">Erf</a>

Eric Weisstein's World of Mathematics, <a href="httphttps://mathworld.wolfram.com/LadderRungGraph.html">Ladder Rung Graph</a>

Eric Weisstein's World of Mathematics, <a href="httphttps://mathworld.wolfram.com/NormalDistributionFunction.html">Normal Distribution Function</a>

Discussion
Sun Feb 16
08:32
OEIS Server: https://oeis.org/edit/global/3014
#667 by Joerg Arndt at Sat Jan 11 03:06:36 EST 2025
STATUS

proposed

approved

#666 by Michel Marcus at Sat Jan 11 02:34:43 EST 2025
STATUS

editing

proposed

#665 by Michel Marcus at Sat Jan 11 02:34:35 EST 2025
LINKS

S. Goodenough and C. Lavault, <a href="httphttps://www.combinatoricsdoi.org/ojs/index10.php/eljc/article/view37236/v22i4p165264">Overview on Heisenberg—Weyl Algebra and Subsets of Riordan Subgroups</a>, The Electronic Journal of Combinatorics, 22(4) (2015), #P4.16.

Helmut Prodinger, <a href="https://www.combinatoricsdoi.org/ojs/index10.php/eljc/article/view37236/v3i1r291253">Descendants in heap ordered trees or a triumph of computer algebra</a>, The Electronic Journal of Combinatorics, Volume 3, Issue 1 (1996), R29.

STATUS

approved

editing

#664 by Michael De Vlieger at Mon Dec 16 22:18:12 EST 2024
STATUS

reviewed

approved

#663 by Andrew Howroyd at Mon Dec 16 21:55:20 EST 2024
STATUS

proposed

reviewed

#662 by Andrew Howroyd at Mon Dec 16 19:12:22 EST 2024
STATUS

editing

proposed

#661 by Andrew Howroyd at Mon Dec 16 19:11:16 EST 2024
COMMENTS

b(n) = a(n) / (n! 2^n) = Sum_{k = 0..n} (-1)^n binomial(n,k) (-1)^k a(k) / (k! 2^k) = (1-b.)^n, umbrally; i.e., the normalized double factorial a(n) is self-inverse under the binomial transform. This can be proved by applying the Euler binomial transformation for o.g.f.s Sum_{n >= 0} (1-b.)^n x^n = (1/(1-x)) Sum_{n >= 0} b_n (x / (x-1))^n to the o.g.f. (1-x)^{-1/2} = Sum_{n >= 0} b_n x^n. Other proofs are suggested by the discussion in Watson on pages 104-5 of transformations of the Bessel functions of the first kind with b(n) = (-1)^n binomial(-1/2,n) = binomial(n-1/2,n) = (2n)! / (n! 2^n)^2. - Tom Copeland, Dec 10 2022 (Subscript corrected Dec. 16, 2024)

STATUS

proposed

editing

Discussion
Mon Dec 16
19:12
Andrew Howroyd: Can be done silently - seems to be just a typo. (Huge numbers of such things are corrected without additional signatures)
#660 by Tom Copeland at Mon Dec 16 14:42:36 EST 2024
STATUS

editing

proposed

#659 by Tom Copeland at Mon Dec 16 14:42:26 EST 2024
COMMENTS

b(n) = a(n) / (n! 2^n) = Sum_{k = 0..n} (-1)^n binomial(n,k) (-1)^k a(k) / (k! 2^k) = (1-b.)^n, umbrally; i.e., the normalized double factorial a(n) is self-inverse under the binomial transform. This can be proved by applying the Euler binomial transformation for o.g.f.s Sum_{n >= 0} (1-b_n.)^n x^n = (1/(1-x)) Sum_{n >= 0} b_n (x / (x-1))^n to the o.g.f. (1-x)^{-1/2} = Sum_{n >= 0} b_n x^n. Other proofs are suggested by the discussion in Watson on pages 104-5 of transformations of the Bessel functions of the first kind with b(n) = (-1)^n binomial(-1/2,n) = binomial(n-1/2,n) = (2n)! / (n! 2^n)^2. - Tom Copeland, Dec 10 2022 (Subscript corrected Dec. 16, 2024)

STATUS

approved

editing