Substituting the closed form a(n) = (-1)^n (2 H_{n-3} - 3)(n-3)! into the left-hand side of the conjectured recurrence reduces it to the zero polynomial via harmonic number identities.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
fields
math.CO 3years
2026 3representative citing papers
The sequence A001711 satisfies a(n) - (2n+5)a(n-1) + (n+2)^2 a(n-2) = 0 for n >= 2, shown by substituting the closed form (1/4)(n+3)! (2 H_{n+3} - 3) and verifying that harmonic coefficients and constant terms both cancel to zero.
The Meixner sequence A214615 satisfies the recurrence a(n) - a(n-1) + (n-1)^2 a(n-2) = 0 for n >= 2, proved via its EGF satisfying a linear ODE.
citing papers explorer
-
A short proof of Mathar's 2021 recurrence conjecture for the Lehmer-Comtet diagonal A045406
Substituting the closed form a(n) = (-1)^n (2 H_{n-3} - 3)(n-3)! into the left-hand side of the conjectured recurrence reduces it to the zero polynomial via harmonic number identities.
-
A short proof of Mathar's 2020 recurrence conjecture for the generalized-Stirling sequence A001711
The sequence A001711 satisfies a(n) - (2n+5)a(n-1) + (n+2)^2 a(n-2) = 0 for n >= 2, shown by substituting the closed form (1/4)(n+3)! (2 H_{n+3} - 3) and verifying that harmonic coefficients and constant terms both cancel to zero.
-
A short proof of Mathar's 2013 recurrence conjecture for the Meixner sequence A214615
The Meixner sequence A214615 satisfies the recurrence a(n) - a(n-1) + (n-1)^2 a(n-2) = 0 for n >= 2, proved via its EGF satisfying a linear ODE.