Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2510.00012 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908570765754368 |
|---|---|
| author | Kalinin, Nikita |
| author_facet | Kalinin, Nikita |
| contents | We prove the identity \[ 2W_1(x) + \log 4 + ψ\left(\tfrac{1}{2} + x\right) + ψ\left(\tfrac{3}{2} - x\right) = 0, \] where $ψ$ is the digamma function and \[ W_1(x) = 2\int_0^\infty \Re\left( \frac{y}{(y^2+1)(e^{π(y+2ix)} - 1)} \right) dy. \] The identity was first conjectured while studying class number $h(D)$ for $D=m^2$ from two complementary perspectives. Our proof, however, is purely analytic: we compute cosine-series expansions of both sides, expressed in terms of the cosine integral Ci$(z)$. Using the above identity and Möbius inversion we find an elementary formula for $$\sum_{\substack{1\le r<m\\ (r,m)=1}} W_1\!\left(\frac{r}{m}\right).$$ |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_00012 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A half-shift reflection identity for the digamma function Kalinin, Nikita Number Theory 33B15, 33B10, 42A16, 44A10, 11A25 We prove the identity \[ 2W_1(x) + \log 4 + ψ\left(\tfrac{1}{2} + x\right) + ψ\left(\tfrac{3}{2} - x\right) = 0, \] where $ψ$ is the digamma function and \[ W_1(x) = 2\int_0^\infty \Re\left( \frac{y}{(y^2+1)(e^{π(y+2ix)} - 1)} \right) dy. \] The identity was first conjectured while studying class number $h(D)$ for $D=m^2$ from two complementary perspectives. Our proof, however, is purely analytic: we compute cosine-series expansions of both sides, expressed in terms of the cosine integral Ci$(z)$. Using the above identity and Möbius inversion we find an elementary formula for $$\sum_{\substack{1\le r<m\\ (r,m)=1}} W_1\!\left(\frac{r}{m}\right).$$ |
| title | A half-shift reflection identity for the digamma function |
| topic | Number Theory 33B15, 33B10, 42A16, 44A10, 11A25 |
| url | https://arxiv.org/abs/2510.00012 |