Bessel Averaging, Fourier Decomposition, and the Value of the Borwein-Bailey-Girgensohn Series
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866915870596399104 |
|---|---|
| author | Zapata, Carlos Lopez |
| author_facet | Zapata, Carlos Lopez |
| contents | We study the Borwein--Bailey--Girgensohn sinusoidal series S_BBG = sum_{n=1}^\infty (1/n) * ((2+sin n)/3)^n, originally posed as an open problem by Borwein, Bailey, and Girgensohn, whose convergence was established by Boppana using the irrationality measure of pi.
We present three unconditional results. First, applying the Weyl equidistribution theorem with a quantitative Erdos--Turan bound, we split S_BBG = M + R, where M = sum_{n=1}^\infty I_n/n is a Bessel averaging series and |R| < infinity. Second, we evaluate M exactly via Fubini's theorem and the Fourier series of log(1-cos t): M = sum_{n=1}^\infty I_n/n = log 6. Third, we decompose the remainder R into a convergent series of Fourier harmonics: R = sum_{k=1}^\infty 2*Re[G_k((2/3)e^{ik})], where each G_k(z) = sum_{n=1}^\infty c_k(n) z^n/n is a Dirichlet-type generating function built from the k-th Fourier coefficients of (theta -> (1 + (sin theta)/2)^n). The series converges absolutely because |(2e^{ik})/3| = 2/3 < 1.
Numerical computation strongly suggests S_BBG = Ei(log 3) = li(3) approx 2.16358...; we reduce this conjecture to a single Diophantine identity for R and indicate the Mellin-transform approach most likely to settle it. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2603_14548 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Bessel Averaging, Fourier Decomposition, and the Value of the Borwein-Bailey-Girgensohn Series Zapata, Carlos Lopez General Mathematics 40A05, 33E20, 11K06, 11M35, 33C10} 40A05, 33E20, 11K06, 11M35, 33C10} 40A05, 33E20, 11K06, 11M35, 33C10 We study the Borwein--Bailey--Girgensohn sinusoidal series S_BBG = sum_{n=1}^\infty (1/n) * ((2+sin n)/3)^n, originally posed as an open problem by Borwein, Bailey, and Girgensohn, whose convergence was established by Boppana using the irrationality measure of pi. We present three unconditional results. First, applying the Weyl equidistribution theorem with a quantitative Erdos--Turan bound, we split S_BBG = M + R, where M = sum_{n=1}^\infty I_n/n is a Bessel averaging series and |R| < infinity. Second, we evaluate M exactly via Fubini's theorem and the Fourier series of log(1-cos t): M = sum_{n=1}^\infty I_n/n = log 6. Third, we decompose the remainder R into a convergent series of Fourier harmonics: R = sum_{k=1}^\infty 2*Re[G_k((2/3)e^{ik})], where each G_k(z) = sum_{n=1}^\infty c_k(n) z^n/n is a Dirichlet-type generating function built from the k-th Fourier coefficients of (theta -> (1 + (sin theta)/2)^n). The series converges absolutely because |(2e^{ik})/3| = 2/3 < 1. Numerical computation strongly suggests S_BBG = Ei(log 3) = li(3) approx 2.16358...; we reduce this conjecture to a single Diophantine identity for R and indicate the Mellin-transform approach most likely to settle it. |
| title | Bessel Averaging, Fourier Decomposition, and the Value of the Borwein-Bailey-Girgensohn Series |
| topic | General Mathematics 40A05, 33E20, 11K06, 11M35, 33C10} 40A05, 33E20, 11K06, 11M35, 33C10} 40A05, 33E20, 11K06, 11M35, 33C10 |
| url | https://arxiv.org/abs/2603.14548 |