Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.05419 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913440933609472 |
|---|---|
| author | Milla, Lorenz Chen, Chao-Ping |
| author_facet | Milla, Lorenz Chen, Chao-Ping |
| contents | In this paper, we consider rational hypergeometric series of the form \[\frac{p}π= \sum_{k=0}^\infty u_k\quad\text{with}\quad u_k=\frac{\left(\frac{1}{2}\right)_k \left(q\right)_k \left(1-q\right)_k}{(k!)^3}(r+s\,k)\,t^k,\] where $(a)_k$ denotes the Pochhammer symbol and $p,q,r,s,t$ are algebraic coefficients. Using only the first $n+1$ terms of this series, we define the remainder \[\mathcal{R}_n = \frac{p}π - \sum_{k=0}^n u_k=\sum_{k=n+1}^\infty u_k.\] We consider an asymptotic expansion of $\mathcal{R}_n$. More precisely, we provide a recursive relation for determining the coefficients $c_j$ such that \[ \mathcal{R}_n = \frac{\left(\frac{1}{2}\right)_n \left(q\right)_n \left(1-q\right)_n}{n!^3}nt^n\left(\sum_{j=0}^{J-1}\frac{c_j}{n^j}+\mathcal{O}\left(n^{-J}\right)\right),\qquad n \rightarrow \infty.\] Here we need $J<\infty$ to approximate $\mathcal{R}_n$, because (like the Stirling series) this series diverges if $J\rightarrow\infty$. By applying our recursive relation to the Chudnovsky formula, we solve an open problem posed by Han and Chen. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_05419 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Asymptotic expansions of truncated hypergeometric series for $1/π$ Milla, Lorenz Chen, Chao-Ping Number Theory 11Y60, 33C20, 40A05 In this paper, we consider rational hypergeometric series of the form \[\frac{p}π= \sum_{k=0}^\infty u_k\quad\text{with}\quad u_k=\frac{\left(\frac{1}{2}\right)_k \left(q\right)_k \left(1-q\right)_k}{(k!)^3}(r+s\,k)\,t^k,\] where $(a)_k$ denotes the Pochhammer symbol and $p,q,r,s,t$ are algebraic coefficients. Using only the first $n+1$ terms of this series, we define the remainder \[\mathcal{R}_n = \frac{p}π - \sum_{k=0}^n u_k=\sum_{k=n+1}^\infty u_k.\] We consider an asymptotic expansion of $\mathcal{R}_n$. More precisely, we provide a recursive relation for determining the coefficients $c_j$ such that \[ \mathcal{R}_n = \frac{\left(\frac{1}{2}\right)_n \left(q\right)_n \left(1-q\right)_n}{n!^3}nt^n\left(\sum_{j=0}^{J-1}\frac{c_j}{n^j}+\mathcal{O}\left(n^{-J}\right)\right),\qquad n \rightarrow \infty.\] Here we need $J<\infty$ to approximate $\mathcal{R}_n$, because (like the Stirling series) this series diverges if $J\rightarrow\infty$. By applying our recursive relation to the Chudnovsky formula, we solve an open problem posed by Han and Chen. |
| title | Asymptotic expansions of truncated hypergeometric series for $1/π$ |
| topic | Number Theory 11Y60, 33C20, 40A05 |
| url | https://arxiv.org/abs/2401.05419 |