A short proof of Mathar's 2013 recurrence conjecture for the Laguerre sequence~A025166
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918491066466304 |
|---|---|
| author | Niu, Tong |
| author_facet | Niu, Tong |
| contents | For the OEIS sequence A025166, defined by $a(n) = -n!\,2^{n}\,L_{n}(1/2)$ where $L_{n}$ is the Laguerre polynomial of degree $n$, R.~J.~Mathar contributed in February 2013 the conjectured order-2 P-recursive recurrence \[ a(n) + (-4n+3)\, a(n-1) + 4(n-1)^{2}\, a(n-2) \;=\; 0, \qquad n \ge 2. \] We give a one-page proof. The exponential generating function $F(x) = -\exp\!\big(-x/(1-2x)\big)/(1-2x)$ satisfies the first-order linear ODE $(1-2x)^{2} F'(x) = (1-4x)\, F(x)$, and Mathar's recurrence then falls out by reading off the coefficient of $x^{n}/n!$. Both steps are short. The supplementary archive includes a SymPy script which checks the ODE identically and the recurrence numerically up to $n = 5000$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_08444 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A short proof of Mathar's 2013 recurrence conjecture for the Laguerre sequence~A025166 Niu, Tong Combinatorics 05A15, 11B37, 33C45, 33F10 For the OEIS sequence A025166, defined by $a(n) = -n!\,2^{n}\,L_{n}(1/2)$ where $L_{n}$ is the Laguerre polynomial of degree $n$, R.~J.~Mathar contributed in February 2013 the conjectured order-2 P-recursive recurrence \[ a(n) + (-4n+3)\, a(n-1) + 4(n-1)^{2}\, a(n-2) \;=\; 0, \qquad n \ge 2. \] We give a one-page proof. The exponential generating function $F(x) = -\exp\!\big(-x/(1-2x)\big)/(1-2x)$ satisfies the first-order linear ODE $(1-2x)^{2} F'(x) = (1-4x)\, F(x)$, and Mathar's recurrence then falls out by reading off the coefficient of $x^{n}/n!$. Both steps are short. The supplementary archive includes a SymPy script which checks the ODE identically and the recurrence numerically up to $n = 5000$. |
| title | A short proof of Mathar's 2013 recurrence conjecture for the Laguerre sequence~A025166 |
| topic | Combinatorics 05A15, 11B37, 33C45, 33F10 |
| url | https://arxiv.org/abs/2605.08444 |