×

Inner bounds for the extreme zeros of \(_3F_2\) hypergeometric polynomials. (English) Zbl 1445.33057

Summary: Zeilberger’s celebrated algorithm finds pure recurrence relations (w.r.t. a single variable) for hypergeometric sums automatically. However, in the theory of orthogonal polynomials and special functions, contiguous relations w.r.t. several variables exist in abundance. We modify Zeilberger’s algorithm to generate unknown contiguous relations that are necessary to obtain inner bounds for the extreme zeros of orthogonal polynomial sequences with \(_3F_2\) hypergeometric representations. Using this method, we improve previously obtained upper bounds for the smallest and lower bounds for the largest zeros of the Hahn polynomials and we identify inner bounds for the extreme zeros of the Continuous Hahn and Continuous Dual Hahn polynomials. Numerical examples are provided to illustrate the quality of the new bounds. Without the use of computer algebra such results are not accessible. We expect our algorithm to be useful to compute useful and new contiguous relations for other hypergeometric functions.

MSC:

33F10 Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.)
33C45 Orthogonal polynomials and functions of hypergeometric type (Jacobi, Laguerre, Hermite, Askey scheme, etc.)
33C50 Orthogonal polynomials and functions in several variables expressible in terms of special functions in one variable
68W30 Symbolic computation and algebraic computation
Full Text: DOI

References:

[1] DOI: 10.1007/978-3-642-05014-5 · Zbl 1200.33012 · doi:10.1007/978-3-642-05014-5
[2] Szegö G, Orthogonal polynomials (1975)
[3] DOI: 10.1007/BF03321801 · Zbl 1232.42023 · doi:10.1007/BF03321801
[4] DOI: 10.1016/j.jat.2012.05.014 · Zbl 1262.33008 · doi:10.1016/j.jat.2012.05.014
[5] DOI: 10.1112/S1461157013000260 · Zbl 1294.33008 · doi:10.1112/S1461157013000260
[6] DOI: 10.1016/j.jat.2013.10.003 · Zbl 1282.33013 · doi:10.1016/j.jat.2013.10.003
[7] DOI: 10.1016/S0747-7171(08)80044-2 · Zbl 0738.33002 · doi:10.1016/S0747-7171(08)80044-2
[8] DOI: 10.1016/j.jsc.2011.12.024 · Zbl 1305.33035 · doi:10.1016/j.jsc.2011.12.024
[9] DOI: 10.1006/jsco.1995.1056 · Zbl 0851.68049 · doi:10.1006/jsco.1995.1056
[10] DOI: 10.1007/s11005-014-0728-8 · Zbl 1303.33008 · doi:10.1007/s11005-014-0728-8
[11] DOI: 10.1080/10652469708819127 · Zbl 0895.33002 · doi:10.1080/10652469708819127
[12] DOI: 10.1016/j.jat.2008.04.015 · Zbl 1167.33004 · doi:10.1016/j.jat.2008.04.015
[13] DOI: 10.1137/1009032 · Zbl 0154.06601 · doi:10.1137/1009032
[14] DOI: 10.1090/S0025-5718-2012-02646-9 · Zbl 1266.33009 · doi:10.1090/S0025-5718-2012-02646-9
[15] DOI: 10.1017/CBO9781107325982 · doi:10.1017/CBO9781107325982
[16] DOI: 10.1080/10652469.2014.904303 · Zbl 1297.33009 · doi:10.1080/10652469.2014.904303
[17] DOI: 10.1137/120887278 · Zbl 1311.33006 · doi:10.1137/120887278
[18] DOI: 10.1007/978-3-642-74748-9 · doi:10.1007/978-3-642-74748-9
[19] Karlin S, Scripta Math 26 pp 33– (1961)
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. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.