REVIEW 6 minor 44 references
Evaluation of terminating and non-terminating sums containing the digamma function
T0 review · 0 major / 6 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read The paper proves new identities converting digamma-weighted series into hypergeometric functions, including cases where digamma cancels completely.
desk verdict A careful, incremental special-functions paper: the new digamma and hypergeometric identities look right, and the small convergence gap is easy to patch. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central mechanism is the degeneration of duality relations for generalized hypergeometric functions. Writing the regularized hypergeometric function rϕ_{r−1} in gamma-function form, the authors set α2 = α1 + p + ε and expand in Taylor series; the 1/sin(πε) singularities in the two parts cancel because the coefficients h1(0) and h2(0) are equal, leaving finite limits expressed through ψ. Theorem 2.2 is instead obtained by applying the differential operators ∂_{b1}+∂c and ∂_{b2}+∂c to Euler's transformation, while Theorems 4.2 and 4.4 are proved by elementary contiguous relations between hypergeometric series.
What would settle it
Evaluate both sides of (2.14) numerically for a concrete admissible parameter set, say b1=1/3, b2=1/5, c=2, at z=0.7, truncating the two series at k=100, and check that the computed difference matches the right-hand side to the expected precision; a mismatch would reveal a failure of the limiting process.
Extended reading notes
Core claim
At its core, the paper derives and proves a family of identities of the form (1−z)^{c−b1−b2} times a digamma-weighted series plus another digamma-weighted series equals [ψ(c−b1)+ψ(c−b2)−ψ(b1)−ψ(b2)] times 2F1(b1,b2;c;z), where both series are ordinary hypergeometric series with an additional ψ factor in each term. Equating coefficients of z^n in this identity yields a finite summation formula (Theorem 2.3) for terminating digamma sums. A second strand of the paper evaluates terminating digamma sums in terms of hypergeometric functions and Bernoulli polynomials (Theorem 3.1), and a third shows that in certain coalescence limits all digamma contributions vanish, producing identities that are purely products of hypergeometric series (Theorems 4.1–4.4), which the authors believe to be new.
Load-bearing premise
The load-bearing step is the interchange of the limit ε→0 with the infinite hypergeometric sums (and the companion analytic continuation to the stated parameter sets); the paper assumes this regularity without giving a uniform-convergence or continuation argument.
Editorial extensions
If this is right
- The coefficient-wise identity (2.19) gives new finite summations for digamma-weighted hypergeometric terms, specializing to explicit formulas when b1 = b2 = 1/3 as shown in Example 2.2.
- The digamma-free identities (4.2), (4.3), (4.8), and (4.9) can be used as reduction rules for products of hypergeometric series in other derivations.
- The digamma sums with Bernoulli-polynomial evaluations in Section 3 provide closed forms for finite harmonic-type sums that previously lacked summation formulas.
- Every identity yields a numerical evaluation route: truncating the hypergeometric side is typically more stable than summing the original digamma series.
Reading between the lines
- The method of coalescing parameters could be applied to other duality relations, including the basic hypergeometric analogues mentioned in the paper's reference [23], producing digamma-type series in q-calculus.
- One could test whether the hypergeometric product identities of Section 4 have combinatorial interpretations as coefficient identities for classical orthogonal polynomials; the similarity to the Meixner–Sorokin identity noted for Corollary 4.1 suggests the perfectness proofs may be replicable.
- The formal power-series proofs suggest that identities (4.3) and (4.9) may hold beyond the stated convergence regions by analytic continuation, which would extend their range of applicability if confirmed.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives new transformation and summation identities for series containing the digamma function. The main mechanism is a degeneration limit applied to known duality and contiguous relations for generalized hypergeometric functions, with singular contributions regularized so that finite limits exist. Principal results include Theorem 2.1, a sum-product identity involving regularized hypergeometric and digamma series; Theorem 2.2, a compact identity obtained by parameter differentiation of Euler's transformation; Theorem 2.3, a terminating summation formula; Theorem 3.1, a finite-sum formula involving Bernoulli polynomials; and Theorems 4.1-4.4, purely hypergeometric product identities in which all digamma contributions cancel. The proofs are detailed, and the regularized definitions for singular parameter values are addressed in Remarks 2.1, 3.1, and 4.1.
Significance. If correct, the identities provide a useful and systematic set of tools for evaluating digamma-weighted hypergeometric sums, converting products of digamma series with hypergeometric functions into single hypergeometric functions or finite expressions. A particular strength is that the main formulas are supported by independent proof methods: Theorem 2.2 is proved by differentiating Euler's transformation, and Theorems 4.2 and 4.4 are proved by elementary contiguous relations. The paper also isolates several purely hypergeometric identities (Theorems 4.1, 4.3, and Corollary 4.1) that are likely of independent interest. The treatment of singular parameter cases is careful, and the stated exclusions appear to match the places where the regularization arguments are needed.
minor comments (6)
- [Abstract/Title] The title page contains the typo "EV ALUATION" instead of "EVALUATION"; this should be corrected.
- [Section 4, before Theorem 4.1] The sentence introducing Theorem 4.1 contains the misspelling "tated" for "stated"; please fix this typo.
- [Corollary 2.2 proof] The proof begins by substituting z=1 into (2.6), but Theorem 2.1 is stated for 0<|z|<1. Since the corollary uses Gauss summation to evaluate the resulting hypergeometric functions, a short Abel-limit or analytic-continuation justification for z tending to 1 should be supplied, along with the convergence conditions it requires.
- [Eqs. (2.9) and (4.14)] The degeneration proofs interchange the limit epsilon->0 with infinite summation. For fixed |z|<1 and under the stated exclusions, the defining series converge absolutely and uniformly in a neighborhood of epsilon=0, so the interchange is routine; nevertheless, the paper never states this justification. Please add a sentence (or a brief lemma) making the uniform-convergence argument explicit for the proofs of Theorems 2.1, 3.1, 4.1, and 4.3.
- [Appendix, proof of Theorem 4.1] In the proof after (4.14), the relation h_2(0)=h_1(0) is asserted to follow "by shifting the index of summation similarly to the proof of Theorem 2.1". Since this equality is load-bearing for the cancellation of the 1/Gamma(epsilon) singularity, please either display the few lines of the index shift or give an exact reference to the corresponding part of the proof of Theorem 2.1.
- [Theorem 2.2 statement] The statement says "all expressions below are non-singular", which is somewhat vague. It would be helpful to state explicitly that c is not a non-positive integer and that the digamma arguments avoid poles, or else to refer to the regularization convention of Section 2.
Circularity Check
No significant circularity: the new identities are genuine consequences of stated prior theorems and independent parameter differentiation.
full rationale
I traced the derivation chain through the paper. Section 2 starts from the published duality relation [22, eq. (3)] and computes the degenerate limit α2 → α1 + p; the key step (2.9) uses h1(0) = h2(0), which is proved in the text by explicit index shifts, and the resulting identity (2.6) is a new limit consequence rather than a restatement of the input. Theorems 2.2 and 2.3 are proved independently by applying ∂b1 + ∂c and ∂b2 + ∂c to Euler's transformation (2.15); no fitted parameter or target identity is fed into the derivation. Section 3 processes [11, Theorem 6.2] with the same degeneration technique, and Corollary 3.4 isolates the purely hypergeometric part by explicit cancellation of prefactors and digamma terms. Section 4 takes b → 1 limits of [11, eq. (6.7)] and [11, Lemma 6.5], which themselves go back to the external source [19]; Theorems 4.2 and 4.4 are then proved by fresh coefficient comparisons of contiguous relations, not by invoking the conclusions. The cited inputs [22] and [11] are published, parameter-free theorems whose assumptions do not include the new formulas, so the self-citations are legitimate premises rather than circular load-bearing. The only mild gap is that the ε → 0 interchange with the infinite hypergeometric sums is not written out in full, but absolute convergence for fixed |z| < 1 makes that interchange routine; this is a rigor gap, not circularity. No equation in the paper reduces to its own input by construction.
Assumptions & free parameters
assumptions (5)
- standard math Euler's transformation: F(a,b;c;z) = (1-z)^(c-a-b) F(c-a,c-b;c;z).
- standard math Gauss summation theorem for 2F1 at unit argument.
- standard math Reflection formulas: Gamma(z)Gamma(1-z)=pi/sin(pi z) and psi(1-x)-psi(x)=pi cot(pi x).
- ad hoc to paper The regularized convention psi(-n)/Gamma(-n)=(-1)^(n+1)n! and the finite difference definition psi(x;j) from (3.3)-(3.4).
- domain assumption Analytic continuation of identities from generic parameters to degenerate cases where singularities cancel.
Cite this review
Pith. "Pith review of Evaluation of terminating and non-terminating sums containing the digamma function." pith.science (2026). https://pith.science/paper/CMWE4XWM
@misc{pith2026260801099,
author = {Pith},
title = {Pith review of: Evaluation of terminating and non-terminating sums containing the digamma function},
year = {2026},
howpublished = {\url{https://pith.science/paper/CMWE4XWM}},
note = {Machine review of arXiv:2608.01099}
}
read the original abstract
We derive transformation and summation formulas for terminating and nonterminating series involving the digamma function. Our principal results are obtained by a limiting process starting with duality relations for the generalized hypergeometric functions and their consequences. Selected formulas are further extended by parameter differentiation of Euler's transformation and by using contiguous relations. Most of our identities express products of hypergeometric and digamma series in terms of hypergeometric functions, and some evaluations of terminating digamma sums involve Bernoulli polynomials. In several cases the digamma contributions cancel, producing identities involving only products of hypergeometric functions.
Reference graph
Works this paper leans on
-
[1]
General duality relations for hypergeometric and basic hypergeometric series
Karp, D. and Zhang, Y. , TITLE =. Preprint , VOLUME =. 2026 , NUMBER =. doi:10.48550/arXiv.2606.18904 , NOTE =
work page Pith review arXiv doi:10.48550/arxiv.2606.18904 2026
-
[2]
Kalmykov, S. I. and Karp, D. and Kuznetsov, A. , TITLE =. Ramanujan J. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s11139-022-00598-w , NOTE =
-
[3]
On digamma series convertible into hypergeometric series , BOOKTITLE =. [2025] 2025 , MRCLASS =. doi:10.1090/conm/818/16366 , NOTE =
-
[4]
Karp, D. B. and Prilepkina, E. G. , TITLE =. Lobachevskii J. Math. , FJOURNAL =. 2022 , NUMBER =
work page 2022
-
[5]
Shpot, M. A. and Srivastava, H. M. , TITLE =. Appl. Math. Comput. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.amc.2015.03.031 , NOTE =
-
[6]
Greynat, David and Sesma, Javier and Vulvert, Gr\'. Derivatives of the. J. Math. Phys. , FJOURNAL =. 2014 , NUMBER =. doi:10.1063/1.4870619 , NOTE =
-
[7]
Bera, Souvik , TITLE =. Nuclear Phys. B , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.nuclphysb.2023.116145 , NOTE =
arXiv 2023
-
[8]
Computer Physics Communications , volume=
A new approach to the epsilon expansion of generalized hypergeometric functions , author=. Computer Physics Communications , volume=. 2014 , publisher=
work page 2014
Show all 44 references
-
[9]
and Olver, Sheehan and Porter, Mason A
Pearson, John W. and Olver, Sheehan and Porter, Mason A. , TITLE =. Numer. Algorithms , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s11075-016-0173-0 , NOTE =
2017 doi
-
[10]
Karp, Dmitrii and Kuznetsov, Alexey , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/proc/14803 , NOTE =
2021 doi
-
[11]
, TITLE =
Salem, A. , TITLE =. Math. Inequal. Appl. , FJOURNAL =. 2014 , NUMBER =. doi:10.7153/mia-17-58 , NOTE =
2014 doi
-
[12]
2004 , PAGES =
Gasper, George and Rahman, Mizan , TITLE =. 2004 , PAGES =. doi:10.1017/CBO9780511526251 , NOTE =
2004 doi
-
[13]
2021 , PAGES =
Hypergeometric functions at unit argument: simple derivation of old and new identities , JOURNAL =. 2021 , PAGES =. doi:10.3842/SIGMA.2021.098 , NOTE =
2021 doi
-
[14]
, TITLE =
Brychkov, Yury A. , TITLE =. 2008 , PAGES =
2008
-
[15]
Ancarani, L. U. and Gasaneo, G. , TITLE =. J. Phys. A , FJOURNAL =. 2010 , NUMBER =. doi:10.1088/1751-8113/43/8/085210 , NOTE =
2010 doi
-
[16]
Ancarani, L. U. and Gasaneo, G. , TITLE =. J. Math. Phys. , FJOURNAL =. 2008 , NUMBER =. doi:10.1063/1.2939395 , NOTE =
2008 doi
-
[17]
, TITLE =
Coffey, Mark W. , TITLE =. J. Comput. Appl. Math. , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.cam.2005.01.003 , NOTE =
2005 doi
-
[18]
Qureshi, M. I. and Shadab, Mohammad , TITLE =. Appl. Appl. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.2478/jamsi-2020-0001 , NOTE =
2020 doi
-
[19]
Hypergeometric structures in
Bl\". Hypergeometric structures in. Ann. Math. Artif. Intell. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s10472-023-09831-8 , NOTE =
2023 doi
-
[20]
Ancarani, L. U. and Gasaneo, G. , TITLE =. J. Phys. A , FJOURNAL =. 2009 , NUMBER =. doi:10.1088/1751-8113/42/39/395208 , NOTE =
2009 doi
-
[21]
2020 , PAGES =
Apelblat, Alexander , TITLE =. 2020 , PAGES =
2020
-
[22]
Applied Sciences , volume=
Differentiation of the Wright functions with respect to parameters and other results , author=. Applied Sciences , volume=. 2022 , publisher=
2022
-
[23]
Addendum to Hansen’s Table of Series and Products , author=
-
[24]
Brychkov, Yu. A. and Geddes, K. O. , TITLE =. Abstract and applied analysis , PAGES =. 2004 , MRCLASS =
2004
-
[25]
Closed-form summations of certain hypergeometric-type series containing the digamma function , JOURNAL =
Cvijovi\'. Closed-form summations of certain hypergeometric-type series containing the digamma function , JOURNAL =. 2008 , NUMBER =. doi:10.1088/1751-8113/41/45/455205 , NOTE =
2008 doi
-
[26]
A reduction formula for the
Cvijovi\'. A reduction formula for the. Appl. Math. Lett. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.aml.2010.03.006 , NOTE =
2010 doi
-
[27]
and Kniehl, Bernd A
Bytev, Vladimir V. and Kniehl, Bernd A. , TITLE =. Nuclear Phys. B , FJOURNAL =. 2020 , PAGES =. doi:10.1016/j.nuclphysb.2019.114911 , NOTE =
2020
-
[28]
, TITLE =
Fejzullahu, Bujar Xh. , TITLE =. Integral Transforms Spec. Funct. , FJOURNAL =. 2017 , NUMBER =. doi:10.1080/10652469.2017.1362635 , NOTE =
2017
-
[29]
Mathematics , volume=
Finite and infinite hypergeometric sums involving the digamma function , author=. Mathematics , volume=. 2022 , publisher=
2022
-
[30]
Mathematics , volume=
Sums involving the digamma function connected to the incomplete beta function and the Bessel functions , author=. Mathematics , volume=. 2023 , publisher=
2023
-
[31]
1975 , publisher=
A table of series and products , author=. 1975 , publisher=
1975
-
[32]
Physics of Particles and Nuclei , year=
All-order epsilon-expansions of hypergeometric functions of one variable , author=. Physics of Particles and Nuclei , year=
-
[33]
and Moch, Sven-Olaf and Ward, Bennie F
Kalmykov, Mikhail and Bytev, Vladimir and Kniehl, Bernd A. and Moch, Sven-Olaf and Ward, Bennie F. L. and Yost, Scott A. , TITLE =. Anti-differentiation and the calculation of. [2021] 2021 , MRCLASS =. doi:10.1007/978-3-030-80219-6\_9 , NOTE =
2021 doi
-
[34]
Kang, Hongchao and An, Congpei , TITLE =. Appl. Math. Comput. , FJOURNAL =. 2015 , PAGES =. doi:10.1016/j.amc.2015.02.017 , NOTE =
2015 doi
-
[35]
, TITLE =
Miller, Allen R. , TITLE =. J. Phys. A , FJOURNAL =. 2006 , NUMBER =. doi:10.1088/0305-4470/39/12/010 , NOTE =
2006 doi
-
[36]
Miller, A. R. and Paris, R. B. , TITLE =. Rocky Mountain J. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.1216/RMJ-2013-43-1-291 , NOTE =
2013 doi
-
[38]
Karp, D. B. and Prilepkina, E. G. , TITLE =. Results Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00025-019-1017-8 , NOTE =
2019 doi
-
[39]
and Srivastava, H
Rassias, Themistocles M. and Srivastava, H. M. , TITLE =. Appl. Math. Comput. , FJOURNAL =. 2002 , NUMBER =. doi:10.1016/S0096-3003(01)00172-2 , NOTE =
2002 doi
-
[40]
Sofotasios, P. C. and Brychkov, Yu. A. , TITLE =. Integral Transforms Spec. Funct. , FJOURNAL =. 2018 , NUMBER =. doi:10.1080/10652469.2018.1504042 , NOTE =
2018
-
[41]
Sur les valeurs asymptotiques des nombres et des polyn\^
N\". Sur les valeurs asymptotiques des nombres et des polyn\^. Rend. Circ. Mat. Palermo (2) , FJOURNAL =. 1961 , PAGES =. doi:10.1007/BF02844807 , NOTE =
1961 doi
-
[42]
Chu, Wenchang and Campbell, John Maxwell , TITLE =. J. Math. Anal. Appl. , FJOURNAL =. 2021 , NUMBER =. doi:10.1016/j.jmaa.2021.125179 , NOTE =
2021
-
[43]
and Dyachenko, Alexander V
Aptekarev, Alexander I. and Dyachenko, Alexander V. and Lysov, Vladimir G. , TITLE =. Analysis, approximation, optimization: computation and applications---in honor of. [2025] 2025 , ISBN =. doi:10.1007/978-3-031-85743-0\ _ 5 , NOTE =
2025 doi
-
[44]
Duality relations for hypergeometric series , JOURNAL =
Beukers, Frits and Jouhet, Fr\'. Duality relations for hypergeometric series , JOURNAL =. 2015 , NUMBER =. doi:10.1112/blms/bdv009 , NOTE =
2015 doi
-
[45]
Guo, Victor J. W. and Ishikawa, Masao and Tagawa, Hiroyuki and Zeng, Jiang , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2015 , NUMBER =. doi:10.1090/S0002-9939-2015-12099-0 , NOTE =
2015 doi
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.