Sobolev orthogonal polynomials

In mathematics, Sobolev orthogonal polynomials are orthogonal polynomials with respect to a Sobolev inner product, i.e. an inner product with derivatives.

By having conditions on the derivatives, the Sobolev orthogonal polynomials in general no longer share some of the nice features that classical orthogonal polynomials have.

Sobolev orthogonal polynomials are named after Sergei Lvovich Sobolev.

Definition

Let ${\mu }_0,{\mu }_1,\dots ,{\mu }_n$ be positive Borel measures on $ℝ$ with finite moments. Consider the inner product

$⟨p_r,p_s{⟩}_{W^{n,2}}=\underset{ℝ}{\int }{p}_r(x)p_s(x)\mathrm{d}{\mu }_0+\sum _{k=1}^n\underset{ℝ}{\int }{p}_r^{(k)}(x)p_s^{(k)}(x)\mathrm{d}{\mu }_k$

and let $W^{n,2}$ be the corresponding Sobolev space. The Sobolev orthogonal polynomials $\{p_n{\}}_{n\ge 0}$ are defined as

$⟨p_n,p_s{⟩}_{W^{n,2}}=c_n{\delta }_{n,s}$

where ${\delta }_{n,s}$ denotes the Kronecker delta. One says that these polynomials are sobolev orthogonal.

Explanation

• Classical orthogonal polynomials are Sobolev orthogonal polynomials, since their derivatives are also orthogonal polynomials.
• Sobolev orthogonal polynomials in general are no longer commutative in the multiplication operator with respect to the inner product, i.e.

$⟨x{p}_n,p_s{⟩}_{W^{n,2}}\ne ⟨p_n,x{p}_s{⟩}_{W^{n,2}}$

Consequently neither Favard's theorem, the three term recurrence or the Christoffel-Darboux formula hold. There exist however other recursion formulas for certain types of measures.

• There exist a lot of literature for the case $n=1$.

Literature

• Template:Cite journal
• Template:Cite journal