Orthogonal polynomials: the first minutes. (English) Zbl 1141.30001
Gesztesy, Fritz (ed.) et al., Spectral theory and mathematical physics. A festschrift in honor of Barry Simon’s 60th birthday. Ergodic Schrödinger operators, singular spectrum, orthogonal polynomials, and inverse spectral theory. Based on the SimonFest conference, Pasadena, CA, USA, March 27–31, 2006. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4249-2/pt.2; 978-0-8218-3783-2/set). Proceedings of Symposia in Pure Mathematics 76, Pt. 2, 875-905 (2007).
The author offers a pleasantly discursive presentation of the origins of the concept of orthogonality in mathematics. He begins by introducing the continued fraction which is written here as
\[
\{ 1 / \{ 1 \;+ {\mathbf K}[ ( 2k-1 )^{2} / 2 + \| k \geq 1 ] \}\tag{\(*\)}
\]
and suggests that Brouncker, to whom this expansion is due, was one of the originators of orthogonal polynomial theory. He also suggests that Euler had some difficulty in proving that expansion (\(*\)) converges to \( \pi / 4 \). However, there is a simple recipe for constructing continued fractions whose convergents are expressible in closed form: the successive partial sums of the series
\[
\{ 1 / v(1) \} - \{ 1 / v(2) \} + \{ 1 / v(3) \} - \ldots
\]
are the successive convergents of the continued fraction
\[
1 / \{ v(1) + {\mathbf K}[ v(k)^{2} / v(k+1) - v(k) + \| k \geq 1 ] \}
\]
The first expansion to be derived in this way results from setting \( v(k) = k \) and is \( 1 / \{ 1 + {\mathbf K}[ k^{2} / 1 + \| k \geq 1 ] \} \) converging to \( \log 2 \). The second, namely (\(*\)), is derived from Gregory’s series \( 1 - (1/3) + (1/5) - \ldots \) for \( \pi / 4 \) by setting \( v(k) = 2k - 1 \), and it is hard to believe that Euler had much trouble with it.
An analogue of Stirling’s formula is derived for an extension of (\(*\)).
For the entire collection see [Zbl 1110.00015].
An analogue of Stirling’s formula is derived for an extension of (\(*\)).
For the entire collection see [Zbl 1110.00015].
Reviewer: Peter Wynn (Zacatecas)
MSC:
30B70 | Continued fractions; complex-analytic aspects |
01A45 | History of mathematics in the 17th century |
33B15 | Gamma, beta and polygamma functions |
33C47 | Other special orthogonal polynomials and functions |
33D45 | Basic orthogonal polynomials and functions (Askey-Wilson polynomials, etc.) |