Polynomials Orthogonal On The Unit Circle
   HOME

TheInfoList



OR:

In mathematics, orthogonal polynomials on the unit circle are families of polynomials that are orthogonal with respect to integration over the
unit circle In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin (0, 0) in the Cartesian coordinate system in the Eucl ...
in the
complex plane In mathematics, the complex plane is the plane formed by the complex numbers, with a Cartesian coordinate system such that the -axis, called the real axis, is formed by the real numbers, and the -axis, called the imaginary axis, is formed by the ...
, for some
probability measure In mathematics, a probability measure is a real-valued function defined on a set of events in a probability space that satisfies measure properties such as ''countable additivity''. The difference between a probability measure and the more gener ...
on the unit circle. They were introduced by .


Definition

Suppose that \mu is a probability measure on the unit circle in the complex plane, whose
support Support may refer to: Arts, entertainment, and media * Supporting character Business and finance * Support (technical analysis) * Child support * Customer support * Income Support Construction * Support (structure), or lateral support, a ...
is not finite. The orthogonal polynomials associated to \mu are the polynomials \Phi_n(z) with leading term z^n that are orthogonal with respect to the measure \mu.


The Szegő recurrence

Szegő's recurrence states that :\Phi_0(z) = 1 :\Phi_(z)=z\Phi_n(z)-\overline\alpha_n\Phi_n^*(z) where :\Phi_n^*(z)=z^n\overline is the polynomial with its coefficients reversed and complex conjugated, and where the Verblunsky coefficients \alpha_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=F(z)=\int\fracd\mu.


Baxter's theorem

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


Szegő's theorem

Szegő's theorem states that :\prod_^\infty(1-, \alpha_n, ^2) = \exp\big(\int_0^\log(w(\theta))d\theta/2\pi\big) where wd\theta / 2\pi is the absolutely continuous part of the measure \mu.


Rakhmanov's theorem

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


Examples

The
Rogers–Szegő polynomials In mathematics, the Rogers–Szegő polynomials are a family of polynomials orthogonal on the unit circle introduced by , who was inspired by the continuous ''q''-Hermite polynomials studied by Leonard James Rogers. They are given by :h_n(x;q) = ...
are an example of orthogonal polynomials on the unit circle.


References

* * * * * *{{Citation , last1=Szegő , first1=Gábor , title=Orthogonal Polynomials , url=https://books.google.com/books?id=3hcW8HBh7gsC , publisher= American Mathematical Society , series=Colloquium Publications , isbn=978-0-8218-1023-1 , mr=0372517 , year=1939 , volume=XXIII Orthogonal polynomials