## Pfaff’s method. II: Diverse applications.(English)Zbl 0862.33003

The paper discusses Pfaff’s proof of the Saalschütz summation, which actually preceded Saalschütz’ work by hundred years. Set $$S_n(a,b,c) ={}_3F_2{-n,a,b;1 \choose c,1+a +b-c-n}$$, and $$\sigma_n (a,b,c) = {(c-a)_n(c-b)_n \over (c)_n (c-a-b)_n}$$. The Saalschütz summation states $$S_n(a,b,c) = \sigma_n (a,b,c)$$, and Pfaff proved it in the simplest possible way: showed that $$S_n(a,b,c) - S_{n-1} (a,b,c)$$ and $$\sigma_n (a,b,c)- \sigma_{n-1} (a,b,c)$$ admit the same recurrence. This Pfaffian approach is shown to be effective for Bailey’s, Dougall’s, Lakin’s and Kummer’s summation identities. It is noted that the Pfaffian approach seems most effective for balanced and well-poised hypergeometric series. It is often the case that the Pfaffian approach has to prove a cluster of related identities, and not just one of them.

### MSC:

 33C20 Generalized hypergeometric series, $${}_pF_q$$ 05A19 Combinatorial identities, bijective combinatorics
Full Text:

### References:

  Andrews, G. E., On the $$q$$-analog of Kummer’s theorem and applications, Duke Math. J., 40, 525-528 (1973) · Zbl 0266.33003  Andrews, G. E., Connection coefficient problems and partitions, (Proc. Symp. Pure Math., 34 (1979)), 1-24 · Zbl 0186.30203  Andrews, G. E., Plane partitions III: the weak Macdonald conjecture, Invent. Math., 53, 193-225 (1979) · Zbl 0421.10011  Andrews, G. E.; Burge, W. H., Determinant identities, Pacific J. Math., 158, 1-14 (1993) · Zbl 0793.15001  Askey, R., Variants of Clausen’s formula for the square of special $$_2F_1$$, (Number Theory and Related Topics. Number Theory and Related Topics, Ramanujan Colloquium (1989), Oxford Univ. Press: Oxford Univ. Press Oxford), 1-12, Bombay · Zbl 0756.33002  Bailey, W. N., Some identities involving generalized hypergeometric series, (Proc. London Math. Soc. Ser., 29 (1929)), 503-516, (2) · JFM 55.0219.05  Bailey, W. N., Generalized Hypergeometric Series (1935), Cambridge Univ. Press: Cambridge Univ. Press London and New York, (Reprinted: Hafner, New York, 1964) · Zbl 0011.02303  Burchnall, J. L.; Lakin, A., The theorems of Saalschutz and Dougall, Quart. J. Math. Oxford, 1, 2, 161-164 (1950) · Zbl 0040.03401  Daum, J. A., The basic analog of Kummer’s theorem, Bull. Amer. Math. Soc., 48, 711-713 (1942) · Zbl 0060.19808  Dougall, J., On Vandermonde’s theorem and some more general expansions, (Proc. Edin. Math. Soc., 25 (1907)), 114-132 · JFM 38.0313.01  Gessel, I.; Stanton, D., Strange evaluations of hypergeometric series, SIAM J. Math. Anal., 13, 295-308 (1982) · Zbl 0486.33003  Jackson, F. H., Transformations of $$q$$-series, Messenger Math., 39, 145-153 (1910)  Jackson, F. H., Summation of $$q$$-hypergeometric series, Messenger Math., 50, 101-112 (1921)  Lakin, A., A hypergeometric identity related to Dougall’s theorem, J. London Math. Soc., 27, 229-234 (1952) · Zbl 0046.07401  Mills, W. H.; Robbins, D. P.; Rumsey, H., Enumeration of a symmetry class of plane partitions, Discrete Math., 67, 43-55 (1987) · Zbl 0656.05006  Pfaff, J. F., Observationes analyticae ad L. Euler Institutiones Calculi Integralis, Vol. IV, Supplem. II et IV, Historia de 1793, Nova Acta Acad. Sci. Petropolitanae, 11, 38-57 (1797)  Saalschultz, L., Eine Summationsformel, Z. Math. Phys., 35, 186-188 (1890) · JFM 22.0262.03  Wilf, H. S.; Zeilberger, D., Rational functions certify combinatorial identities, J. Amer. Math. Soc., 3, 147-158 (1990) · Zbl 0695.05004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.