A transformation of certain infinite series based on the non-local derangement identity (Q638607)

In 1993 \textit{R. W. Gosper, M.E.H. Ismail} and \textit{R. Zhang} [Ill. J. Math. 37, No.2, 240--277 (1993; Zbl 0793.33016)] proved a formula known as the \textit{non-local derangement identity}: \vskip0.2cm Let \(\{a_k\}_{k=1}^{\infty}\subset\mathbb{R}\) be arbitrary and suppose that the real numbers \(\{b_k\}_{k=1} {\infty}\) are pairwise distinct, then \[ \sum_{j=1}^{\infty}\,a_j=\sum_{j=1}^{\infty}\,a_j\prod_{k=1,k\not= j}^n\,\left(1+{a_k\over b_j-b_k}\right). \] \vskip0.2cm This formula has later been given in different forms in the literature and the author of the paper under review uses a form given by \textit{J. Zeng} [Adv. Appl. Math. 34, 313--315 (2005; Zbl 1061.05010)] \[ \Phi_K (\{a_t\}_{t=1}^{\infty};n)=\sum_{L=1}^n\,{1\over a_L^K}\,\prod_{j=1,j\not= L}^n\,{a_j\over a_j-a_L}. \] Here \(\{a_t\}_{t=1}^{\infty}\) is a sequence of numbers from \(\mathbb{R}\setminus\{0\}\) and for \((n,K)\in\mathbb{N} \times\mathbb{N}_0\) define \[ \Phi_0 (\{a_t\}_{t=1}^{\infty};n)=1,\;\Phi_K (\{a_t\}_{t=1}^{\infty};n)= \sum_{1\leq n_1\leq \dots\leq n_K\leq n}\,\prod_{j=1}^K\,{1\over a_{n_j}}\;(K\not= 0). \] The main result of the paper is Theorem. Under the conditions (C1) \(\{a_t\}_{t=1}^{\infty}\subset\mathbb{R}\setminus\{0\}\) satisfies \(a_k\not= a_j\) for \(k\not= j\), (C2) for every \(L\in\mathbb{N}\) the infinite product \[ P_L:=\prod_{j=1,j\not= L}\,{a_j\over a_j-a_L} \] converges, (C3) there exists a \(K\in\mathbb{N}_0\) such that \[ \sum_{L=1}^{\infty}\,{P_L\over a_L^K}\text{ and }\lim_{n\rightarrow\infty}\,\Phi_K (\{a_t\}_{t=1}^{\infty};n) \] converge for the common value \(K\in\mathbb{N}_0\), (C4) the sequence \(\{P_{L,N}\cdot P_L^{-1}\}_{L=1}^N\) is monotone; \(P_{L,N}\) denotes the \(N\)-th partial product of \(P_L\), (C5) there exists a \(B>0\), such that for every \(n\in\mathbb{N}\) \[ \left|\prod_{j=n+1}^{\infty}\,\left(1-{a_n\over a_j}\right)\right|<B. \] Then \[ \lim_{n\rightarrow\infty}\,\Phi_K (\{a_t\}_{t=1}^{\infty};n)=\sum_{L=1}^{\infty}\,{P_L\over a_L^K}, \] where the value \(K\in\mathbb{N}_0\) is given by condition (C3). The author gives several applications (e.g. summing specific \({}_{2K+4}F_{2K+3},{}_{2K+2}F_{2K+1}\) at \(z=-1\)) and examples (e.g. summing a \({}_4F_3,\,{}_6F_5\) at \(z=-1\) and evaluation of infinite series involving hyperbolic sine- and cosine-functions).