Orthogonal polynomials on the unit circle

In mathematics, orthogonal polynomials on the unit circle are families of polynomials that are orthogonal with respect to integration over the unit circle in the complex plane, for some probability measure on the unit circle. They were introduced by Szegő (1920, 1921, 1939).

Definition

Suppose that μ is a probability measure on the unit circle in the complex plane, whose support is not finite. The orthogonal polynomials associated to μ are the polynomials Φ_n(z) with leading term zⁿ that are orthogonal with respect to the measure μ.

The Szegő recurrence

Szegő's recurrence states that

\Phi _{{n+1}}(z)=z\Phi _{n}(z)-\overline \alpha _{n}\Phi _{n}^{*}(z)

where

\Phi _{n}^{*}(z)=z^{n}\overline {\Phi _{n}(1/\overline {z})}

is the polynomial with its coefficients reversed and complex conjugated, and where the Verblunsky coefficients α_n are complex numbers with absolute values less than 1.

Verblunsky's theorem

Verblunsky's theorem states that any sequence of complex numbers in the open unit disk is the sequence of Verblunsky coefficients for a unique probability measure on the unit circle with infinite support.

Geronimus's theorem

Geronimus's theorem states that the Verblunsky coefficients of the measure μ are the Schur parameters of the function f defined by the equations

{\frac {1+zf(z)}{1-zf(z)}}=F(z)=\int {\frac {e^{{i\theta }}+z}{e^{{i\theta }}-z}}d\mu .

Baxter's theorem

Baxter's theorem states that the Verblunsky coefficients form an absolutely convergent series if and only if the moments of μ form an absolutely convergent series and the weight function w is strictly positive everywhere.

Szegő's theorem

Szegő's theorem states that

\prod (1-|\alpha _{j}|^{2})=\exp {\big (}\int _{0}^{{2\pi }}\log(w(\theta ))d\theta /2\pi {\big )}

where wdθ/2π is the absolutely continuous part of the measure μ.

Rakhmanov's theorem

Rakhmanov's theorem states that if the absolutely continuous part w of the measure μ is positive almost everywhere then the Verblunsky coefficients α_n tend to 0.

Examples

The Rogers–Szegő polynomials are an example of orthogonal polynomials on the unit circle.

References

Koornwinder, Tom H.; Wong, Roderick S. C.; Koekoek, Roelof; Swarttouw, René F. (2010), "Orthogonal Polynomials on the unit circle", in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F.; Clark, Charles W., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0521192255, MR 2723248
Simon, Barry (2005), Orthogonal polynomials on the unit circle. Part 1. Classical theory, American Mathematical Society Colloquium Publications, 54, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3446-6, MR 2105088
Simon, Barry (2005), Orthogonal polynomials on the unit circle. Part 2. Spectral theory, American Mathematical Society Colloquium Publications, 54, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-3675-0, MR 2105089
Szegő, Gábor (1920), "Beiträge zur Theorie der Toeplitzschen Formen", Mathematische Zeitschrift, Springer Berlin / Heidelberg, 6: 167–202, doi:10.1007/BF01199955, ISSN 0025-5874
Szegő, Gábor (1921), "Beiträge zur Theorie der Toeplitzschen Formen", Mathematische Zeitschrift, Springer Berlin / Heidelberg, 9: 167–190, doi:10.1007/BF01279027, ISSN 0025-5874
Szegő, Gábor (1939), Orthogonal Polynomials, Colloquium Publications, XXIII, American Mathematical Society, ISBN 978-0-8218-1023-1, MR 0372517

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.