{"entities":{"Q638607":{"pageid":640455,"ns":120,"title":"Item:Q638607","lastrevid":63328755,"modified":"2026-04-11T12:08:10Z","type":"item","id":"Q638607","labels":{"en":{"language":"en","value":"A transformation of certain infinite series based on the non-local derangement identity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5947301"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638607$039C8D12-E2E5-4D5F-80DA-B5465BAED62D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c7fb4557644649a1a8e3aee1953f9db36225062","datavalue":{"value":{"text":"A transformation of certain infinite series based on the non-local derangement identity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q638607$32A97049-E263-4E1E-8AE5-902B726C67EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a88ec5ffcdabeadc46970eeccf17309a149f269","datavalue":{"value":"1230.40002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q638607$0A6D9621-CB2E-4949-9175-2F968550DD96","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e285988dac1d3c0984127c3ec64b8ae97cb2b981","datavalue":{"value":{"entity-type":"item","numeric-id":504863,"id":"Q504863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638607$1E420C73-DBE3-4BBB-B3B6-22B120A1F589","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"08c25da5813a64bb58b545e5a473febdb94089f7","datavalue":{"value":{"entity-type":"item","numeric-id":175895,"id":"Q175895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q638607$2AD601F5-14BE-46D6-9B10-006E2E5661C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"190dd68ae3d2ec92ed2484e30f5fe3bf65aa6abc","datavalue":{"value":{"time":"+2011-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q638607$C2F78546-A556-4EA2-AF99-80B41792F98D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25073f36ccc18558a134d9da06cfcc19663ec0d3","datavalue":{"value":"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|