Namespaces
Variants
Actions

Difference between revisions of "Sobolev inner product"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (AUTOMATIC EDIT (latexlist): Replaced 67 formulas out of 68 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
Line 1: Line 1:
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s1304101.png" /> be the linear space of polynomials in one variable with real coefficients and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s1304102.png" /> be a set of positive Borel measures supported in the real line (cf. also [[Borel measure|Borel measure]]; [[Polynomial|Polynomial]]).
+
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
  
One introduces an [[Inner product|inner product]] in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s1304103.png" />
+
Out of 68 formulas, 67 were replaced by TEX code.-->
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s1304104.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
{{TEX|semi-auto}}{{TEX|partial}}
 +
Let $\mathcal{P}$ be the linear space of polynomials in one variable with real coefficients and let $\{ \mu _ { i } \} _ { i = 0 } ^ { N }$ be a set of positive Borel measures supported in the real line (cf. also [[Borel measure|Borel measure]]; [[Polynomial|Polynomial]]).
  
such that the integrals are convergent for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s1304105.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s1304106.png" />. Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s1304107.png" /> is the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s1304108.png" />th derivative of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s1304109.png" />.
+
One introduces an [[Inner product|inner product]] in $P$
 +
 
 +
\begin{equation} \tag{a1} \langle p , q \rangle _ { s } = \sum _ { i = 0 } ^ { N } \lambda _ { i } \int _ { \bf R } p ^ { ( i ) } q ^ { ( i ) } d \mu _ { i }, \end{equation}
 +
 
 +
such that the integrals are convergent for all $p , q \in \mathcal{P}$ and $\lambda _ { i } \in \mathbf{R} ^ { + }$. Here, $p ^ { ( i ) }$ is the $i$th derivative of $p$.
  
 
As usual, the associated norm is
 
As usual, the associated norm is
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041010.png" /></td> </tr></table>
+
\begin{equation*} \| p \| _ { s } ^ { 2 } = \sum _ { i = 0 } ^ { N } \lambda _ { i } \int _ { \mathbf{R} } | p ^ { ( i ) } ( t ) | ^ { 2 } d \mu _ { i } = \sum _ { i = 0 } ^ { N } \lambda _ { i } \| p ^ { ( i ) } ( t ) \| _ { \mu _ { i } } ^ { 2 }. \end{equation*}
  
 
Inner products such as (a1) appear in least-square approximation when smooth conditions are involved both in the approximation and in the functions to be approximated. See [[#References|[a4]]] for an introduction to this.
 
Inner products such as (a1) appear in least-square approximation when smooth conditions are involved both in the approximation and in the functions to be approximated. See [[#References|[a4]]] for an introduction to this.
  
One says that (a1) is a Sobolev inner product in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041011.png" />.
+
One says that (a1) is a Sobolev inner product in $\mathcal{P}$.
  
In a pioneer work, P. Althammer [[#References|[a1]]] considered the so-called Legendre–Sobolev inner products, when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041012.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041013.png" /> is the [[Lebesgue measure|Lebesgue measure]] supported on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041014.png" />. Most of the tools of the standard case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041015.png" /> are not useful for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041016.png" /> since a basic property concerning the symmetry of the shift operator is lost for (a1). This is the reason why further work focused initially on some particular cases of (a1) when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041017.png" />.
+
In a pioneer work, P. Althammer [[#References|[a1]]] considered the so-called Legendre–Sobolev inner products, when $N = 1$ and $\mu _ { 0 } = \mu _ { 1 }$ is the [[Lebesgue measure|Lebesgue measure]] supported on $[ - 1,1 ]$. Most of the tools of the standard case $( N = 0 )$ are not useful for $N &gt; 1$ since a basic property concerning the symmetry of the shift operator is lost for (a1). This is the reason why further work focused initially on some particular cases of (a1) when $N = 1$.
  
In [[#References|[a6]]], the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041018.png" /> the Gegenbauer weight function and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041019.png" /> is considered with some detail. In such a situation, there exists a linear differential operator <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041020.png" /> of second order such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041021.png" />. This fact leads to the study of the algebraic properties of the so-called Gegenbauer–Sobolev orthogonal polynomials, with a special emphasis on the location of their zeros as well as their strong asymptotics (see [[#References|[a10]]]; cf. also [[Orthogonal polynomials|Orthogonal polynomials]]).
+
In [[#References|[a6]]], the case $\mu _ { 0 } = \mu _ { 1 } =$ the Gegenbauer weight function and $\lambda _ { 0 } = 1$ is considered with some detail. In such a situation, there exists a linear differential operator $\mathcal{L}$ of second order such that $\langle \mathcal{L} p , q \rangle _ { s } = \langle p , \mathcal{L} q \rangle _ { s }$. This fact leads to the study of the algebraic properties of the so-called Gegenbauer–Sobolev orthogonal polynomials, with a special emphasis on the location of their zeros as well as their strong asymptotics (see [[#References|[a10]]]; cf. also [[Orthogonal polynomials|Orthogonal polynomials]]).
  
A similar approach was made in [[#References|[a7]]] for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041022.png" /> the Laguerre weight function and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041023.png" />. Thus, the Laguerre–Sobolev orthogonal polynomials are introduced. Some estimates for them, as well as their relative asymptotics with respect to Laguerre polynomials off the positive real semi-axis, are given in [[#References|[a8]]].
+
A similar approach was made in [[#References|[a7]]] for $\mu _ { 0 } = \mu _ { 1 } =$ the Laguerre weight function and $\lambda _ { 0 } = 1$. Thus, the Laguerre–Sobolev orthogonal polynomials are introduced. Some estimates for them, as well as their relative asymptotics with respect to Laguerre polynomials off the positive real semi-axis, are given in [[#References|[a8]]].
  
Beyond these two examples, an approach to a general theory was started in [[#References|[a3]]], where the concept of a coherent pair of measures is introduced. The main idea consists in the assumption of a kind of correlation between the measures <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041024.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041025.png" />.
+
Beyond these two examples, an approach to a general theory was started in [[#References|[a3]]], where the concept of a coherent pair of measures is introduced. The main idea consists in the assumption of a kind of correlation between the measures $\mu_0$ and $\mu _{1}$.
  
 
Consider an inner product
 
Consider an inner product
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041026.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a2)</td></tr></table>
+
\begin{equation} \tag{a2} \langle p , q \rangle = \int _ {\bf R } p q d \mu _ { 0 } + \lambda \int _ {\bf R } p ^ { \prime } q ^ { \prime } d \mu _ { 1 }, \end{equation}
  
with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041027.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041028.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041029.png" /> be sequences of monic polynomials orthogonal with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041030.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041031.png" />, respectively.
+
with $\lambda \in \textbf{R} ^ { + }$, and let $( P _ { n } )$ and $( T _ { n } )$ be sequences of monic polynomials orthogonal with respect to $\mu_0$ and $\mu _{1}$, respectively.
  
Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041032.png" /> is called a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041034.png" />-coherent pair of measures if
+
Then $( \mu _ { 0 } , \mu _ { 1 } )$ is called a $k$-coherent pair of measures if
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041035.png" /></td> </tr></table>
+
\begin{equation*} T _ { n } ( x ) = \sum _ { j = n - k } ^ { n + 1 } \frac { b _ { n  , j} } { j } P _ { j } ^ { \prime } ( x ) , n \geq k + 1, \end{equation*}
  
with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041036.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041037.png" />.
+
with $b _ { n , n  + 1} = 1$ and $b _ { n  ,\, n - k} \neq 0$.
  
If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041038.png" /> denotes the sequence of monic polynomials orthogonal with respect to (a2) and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041039.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041040.png" />-coherent pair, then
+
If $( Q _ { n } )$ denotes the sequence of monic polynomials orthogonal with respect to (a2) and $( \mu _ { 0 } , \mu _ { 1 } )$ is a $k$-coherent pair, then
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041041.png" /></td> </tr></table>
+
\begin{equation*} \sum _ { j = n - k } ^ { n + 1 } b _ { n , j } P _ { j } ( x ) = \sum _ { j = n - k } ^ { n + 1 } \beta _ { n + 1 , j } Q _ { j } ( x ). \end{equation*}
  
Thus, analytic properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041042.png" /> can be studied in terms of analytic properties of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041043.png" />. The first problem is to classify the set of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041044.png" />-coherent pairs of measures. This was described in [[#References|[a12]]] for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041045.png" /> (see Table 1). Note that one of the measures must be the Jacobi or the Laguerre weight function. This means that the concept is very restrictive from the point of view of a general theory. The study of the general case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041046.png" /> remains open (as of 2000).
+
Thus, analytic properties of $( Q _ { n } )$ can be studied in terms of analytic properties of $( P _ { n } )$. The first problem is to classify the set of $k$-coherent pairs of measures. This was described in [[#References|[a12]]] for $k = 0$ (see Table 1). Note that one of the measures must be the Jacobi or the Laguerre weight function. This means that the concept is very restrictive from the point of view of a general theory. The study of the general case $k \geq 1$ remains open (as of 2000).
  
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/s130410a.gif" />
+
<img src="https://www.encyclopediaofmath.org/legacyimages/common_img/s130410a.gif" style="border:1px solid;"/>
  
 
Figure: s130410a
 
Figure: s130410a
Line 47: Line 55:
 
Table 1
 
Table 1
  
Nevertheless, in [[#References|[a9]]] a first approach is given when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041047.png" /> is the Jacobi weight function.
+
Nevertheless, in [[#References|[a9]]] a first approach is given when $\mu _{1}$ is the Jacobi weight function.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041048.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041049.png" />, supported on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041050.png" />. The measure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041051.png" /> is said to be admissible with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041052.png" /> if
+
Let $d \mu _ { 1 } = ( 1 - x ) ^ { \alpha } ( 1 + x ) ^ { \beta } d x$, $\alpha , \beta &gt; 0$, supported on $[ - 1,1 ]$. The measure $\mu_0$ is said to be admissible with respect to $\mu _{1}$ if
  
i) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041053.png" /> belongs to the Szegö class, i.e.,
+
i) $\mu_0$ belongs to the Szegö class, i.e.,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041054.png" /></td> </tr></table>
+
\begin{equation*} \int _ { - 1 } ^ { 1 } \frac { \operatorname { ln } \mu _ { 0 } ^ { \prime } ( x ) } { \sqrt { 1 - x ^ { 2 } } } d x &gt; - \infty. \end{equation*}
  
ii) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041055.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041056.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041057.png" /> denotes the sequence of orthonormal Jacobi polynomials. In such a case one obtains the following relative asymptotics: for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041058.png" />,
+
ii) $\| p _ {n } ^ { \langle \alpha - 1 ,\, \beta - 1 \rangle } \| _ { \mu _ { 0 } } = o( n )$, $n \rightarrow \infty$, where $( p _ { n } ^ { ( \alpha , \beta ) } )$ denotes the sequence of orthonormal Jacobi polynomials. In such a case one obtains the following relative asymptotics: for $z \in \mathbf C \backslash [ - 1,1 ]$,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041059.png" /></td> </tr></table>
+
\begin{equation*} \frac { Q _ { n } ( z ) } { P _ { n } ^ { ( \alpha , \beta ) } ( z ) } \underset{ \rightarrow } { \rightarrow } \frac { 2 } { \phi ^ { \prime } ( z ) }, \end{equation*}
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041060.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041061.png" /> when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041062.png" />.
+
where $\phi ( z ) = z + \sqrt { z ^ { 2 } - 1 }$, with $\sqrt { z ^ { 2 } - 1 } &gt; 0$ when $z &gt; 1$.
  
This result has been extended [[#References|[a11]]] to the case when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041063.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041064.png" /> are [[Absolutely continuous measures|absolutely continuous measures]] supported in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041065.png" /> and belong to the Szegö class.
+
This result has been extended [[#References|[a11]]] to the case when $\mu_0$ and $\mu _{1}$ are [[Absolutely continuous measures|absolutely continuous measures]] supported in $[ - 1,1 ]$ and belong to the Szegö class.
  
In fact, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041066.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041067.png" />.
+
In fact, $Q _ { n } ( z ) / T _ { n } ( z ) \rightrightarrows 2 / \phi ^ { \prime } ( z )$, $z \in \mathbf C \backslash [ - 1,1 ]$.
  
From a numerical point of view, [[#References|[a2]]] is a nice survey about the location of zeros of polynomials orthogonal with respect to (a1) when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/s/s130/s130410/s13041068.png" />. For more information about Sobolev inner products, see the surveys [[#References|[a5]]] and [[#References|[a13]]].
+
From a numerical point of view, [[#References|[a2]]] is a nice survey about the location of zeros of polynomials orthogonal with respect to (a1) when $N = 1$. For more information about Sobolev inner products, see the surveys [[#References|[a5]]] and [[#References|[a13]]].
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  P. Althammer,  "Eine Erweiterung des Orthogonalitätsbegriffes bei Polynomen und deren Anwendung auf die beste Approximation"  ''J. Reine Angew. Math.'' , '''211'''  (1962)  pp. 192–204</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  W. Gautschi,  M. Zhang,  "Computing orthogonal polynomials in Sobolev spaces"  ''Numer. Math.'' , '''71'''  (1995)  pp. 159–184</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  A. Iserles,  P.E. Koch,  S.P. Norsett,  J.M. Sanz-Serna,  "On polynomials orthogonal with respect to certain Sobolev inner products"  ''J. Approx. Th.'' , '''65'''  (1991)  pp. 151–175</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  D.C. Lewis,  "Polynomial least square approximations"  ''Amer. J. Math.'' , '''69'''  (1947)  pp. 273–278</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  F. Marcellán,  M. Alfaro,  M.L. Rezola,  "Orthogonal polynomials on Sobolev spaces: Old and new directions"  ''J. Comput. Appl. Math.'' , '''48'''  (1993)  pp. 113–131</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  F. Marcellán,  T.E. Pérez,  M.A. Piñar,  "Gegenbauer–Sobolev orthogonal polynomials"  A. Cuyt (ed.) , ''Proc. Conf. Nonlinear Numerical Methods and Rational Approximation II'' , Kluwer Acad. Publ.  (1994)  pp. 71–82</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  F. Marcellán,  T.E. Pérez,  M.A. Piñar,  "Laguerre–Sobolev orthogonal polynomials"  ''J. Comput. Appl. Math.'' , '''71'''  (1996)  pp. 245–265</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  F. Marcellán,  H.G. Meijer,  T.E. Pérez,  M.A. Piñar,  "An asymptotic result for Laguerre–Sobolev orthogonal polynomials"  ''J. Comput. Appl. Math.'' , '''87'''  (1997)  pp. 87–94</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  A. Martínez-Finkelshtein,  J.J. Moreno-Balcázar,  "Asymptotics of Sobolev orthogonal polynomials for a Jacobi weight"  ''Meth. Appl. Anal.'' , '''4'''  (1997)  pp. 430–437</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  A. Martínez-Finkelshtein,  J.J. Moreno-Balcázar,  H. Pijeira,  "Strong asymptotics for Gegenbauer–Sobolev orthogonal polynomials"  ''J. Comput. Appl. Math.'' , '''81'''  (1997)  pp. 211–216</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  A. Martínez-Finkelshtein,  "Bernstein–Szegő's theorem for Sobolev orthogonal polynomials"  ''Constructive Approx.''  (2000)  pp. 73–84</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  H.G. Meijer,  "Determination of all coherent pairs of functionals"  ''J. Approx. Th.'' , '''89'''  (1997)  pp. 321–343</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  H.G. Meijer,  "A short history of orthogonal polynomials in a Sobolev space I: The non-discrete case"  ''Nieuw Arch. Wisk.'' , '''14'''  (1996)  pp. 93–112</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  P. Althammer,  "Eine Erweiterung des Orthogonalitätsbegriffes bei Polynomen und deren Anwendung auf die beste Approximation"  ''J. Reine Angew. Math.'' , '''211'''  (1962)  pp. 192–204</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  W. Gautschi,  M. Zhang,  "Computing orthogonal polynomials in Sobolev spaces"  ''Numer. Math.'' , '''71'''  (1995)  pp. 159–184</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  A. Iserles,  P.E. Koch,  S.P. Norsett,  J.M. Sanz-Serna,  "On polynomials orthogonal with respect to certain Sobolev inner products"  ''J. Approx. Th.'' , '''65'''  (1991)  pp. 151–175</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  D.C. Lewis,  "Polynomial least square approximations"  ''Amer. J. Math.'' , '''69'''  (1947)  pp. 273–278</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  F. Marcellán,  M. Alfaro,  M.L. Rezola,  "Orthogonal polynomials on Sobolev spaces: Old and new directions"  ''J. Comput. Appl. Math.'' , '''48'''  (1993)  pp. 113–131</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  F. Marcellán,  T.E. Pérez,  M.A. Piñar,  "Gegenbauer–Sobolev orthogonal polynomials"  A. Cuyt (ed.) , ''Proc. Conf. Nonlinear Numerical Methods and Rational Approximation II'' , Kluwer Acad. Publ.  (1994)  pp. 71–82</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  F. Marcellán,  T.E. Pérez,  M.A. Piñar,  "Laguerre–Sobolev orthogonal polynomials"  ''J. Comput. Appl. Math.'' , '''71'''  (1996)  pp. 245–265</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  F. Marcellán,  H.G. Meijer,  T.E. Pérez,  M.A. Piñar,  "An asymptotic result for Laguerre–Sobolev orthogonal polynomials"  ''J. Comput. Appl. Math.'' , '''87'''  (1997)  pp. 87–94</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  A. Martínez-Finkelshtein,  J.J. Moreno-Balcázar,  "Asymptotics of Sobolev orthogonal polynomials for a Jacobi weight"  ''Meth. Appl. Anal.'' , '''4'''  (1997)  pp. 430–437</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  A. Martínez-Finkelshtein,  J.J. Moreno-Balcázar,  H. Pijeira,  "Strong asymptotics for Gegenbauer–Sobolev orthogonal polynomials"  ''J. Comput. Appl. Math.'' , '''81'''  (1997)  pp. 211–216</td></tr><tr><td valign="top">[a11]</td> <td valign="top">  A. Martínez-Finkelshtein,  "Bernstein–Szegő's theorem for Sobolev orthogonal polynomials"  ''Constructive Approx.''  (2000)  pp. 73–84</td></tr><tr><td valign="top">[a12]</td> <td valign="top">  H.G. Meijer,  "Determination of all coherent pairs of functionals"  ''J. Approx. Th.'' , '''89'''  (1997)  pp. 321–343</td></tr><tr><td valign="top">[a13]</td> <td valign="top">  H.G. Meijer,  "A short history of orthogonal polynomials in a Sobolev space I: The non-discrete case"  ''Nieuw Arch. Wisk.'' , '''14'''  (1996)  pp. 93–112</td></tr></table>

Revision as of 16:58, 1 July 2020

Let $\mathcal{P}$ be the linear space of polynomials in one variable with real coefficients and let $\{ \mu _ { i } \} _ { i = 0 } ^ { N }$ be a set of positive Borel measures supported in the real line (cf. also Borel measure; Polynomial).

One introduces an inner product in $P$

\begin{equation} \tag{a1} \langle p , q \rangle _ { s } = \sum _ { i = 0 } ^ { N } \lambda _ { i } \int _ { \bf R } p ^ { ( i ) } q ^ { ( i ) } d \mu _ { i }, \end{equation}

such that the integrals are convergent for all $p , q \in \mathcal{P}$ and $\lambda _ { i } \in \mathbf{R} ^ { + }$. Here, $p ^ { ( i ) }$ is the $i$th derivative of $p$.

As usual, the associated norm is

\begin{equation*} \| p \| _ { s } ^ { 2 } = \sum _ { i = 0 } ^ { N } \lambda _ { i } \int _ { \mathbf{R} } | p ^ { ( i ) } ( t ) | ^ { 2 } d \mu _ { i } = \sum _ { i = 0 } ^ { N } \lambda _ { i } \| p ^ { ( i ) } ( t ) \| _ { \mu _ { i } } ^ { 2 }. \end{equation*}

Inner products such as (a1) appear in least-square approximation when smooth conditions are involved both in the approximation and in the functions to be approximated. See [a4] for an introduction to this.

One says that (a1) is a Sobolev inner product in $\mathcal{P}$.

In a pioneer work, P. Althammer [a1] considered the so-called Legendre–Sobolev inner products, when $N = 1$ and $\mu _ { 0 } = \mu _ { 1 }$ is the Lebesgue measure supported on $[ - 1,1 ]$. Most of the tools of the standard case $( N = 0 )$ are not useful for $N > 1$ since a basic property concerning the symmetry of the shift operator is lost for (a1). This is the reason why further work focused initially on some particular cases of (a1) when $N = 1$.

In [a6], the case $\mu _ { 0 } = \mu _ { 1 } =$ the Gegenbauer weight function and $\lambda _ { 0 } = 1$ is considered with some detail. In such a situation, there exists a linear differential operator $\mathcal{L}$ of second order such that $\langle \mathcal{L} p , q \rangle _ { s } = \langle p , \mathcal{L} q \rangle _ { s }$. This fact leads to the study of the algebraic properties of the so-called Gegenbauer–Sobolev orthogonal polynomials, with a special emphasis on the location of their zeros as well as their strong asymptotics (see [a10]; cf. also Orthogonal polynomials).

A similar approach was made in [a7] for $\mu _ { 0 } = \mu _ { 1 } =$ the Laguerre weight function and $\lambda _ { 0 } = 1$. Thus, the Laguerre–Sobolev orthogonal polynomials are introduced. Some estimates for them, as well as their relative asymptotics with respect to Laguerre polynomials off the positive real semi-axis, are given in [a8].

Beyond these two examples, an approach to a general theory was started in [a3], where the concept of a coherent pair of measures is introduced. The main idea consists in the assumption of a kind of correlation between the measures $\mu_0$ and $\mu _{1}$.

Consider an inner product

\begin{equation} \tag{a2} \langle p , q \rangle = \int _ {\bf R } p q d \mu _ { 0 } + \lambda \int _ {\bf R } p ^ { \prime } q ^ { \prime } d \mu _ { 1 }, \end{equation}

with $\lambda \in \textbf{R} ^ { + }$, and let $( P _ { n } )$ and $( T _ { n } )$ be sequences of monic polynomials orthogonal with respect to $\mu_0$ and $\mu _{1}$, respectively.

Then $( \mu _ { 0 } , \mu _ { 1 } )$ is called a $k$-coherent pair of measures if

\begin{equation*} T _ { n } ( x ) = \sum _ { j = n - k } ^ { n + 1 } \frac { b _ { n , j} } { j } P _ { j } ^ { \prime } ( x ) , n \geq k + 1, \end{equation*}

with $b _ { n , n + 1} = 1$ and $b _ { n ,\, n - k} \neq 0$.

If $( Q _ { n } )$ denotes the sequence of monic polynomials orthogonal with respect to (a2) and $( \mu _ { 0 } , \mu _ { 1 } )$ is a $k$-coherent pair, then

\begin{equation*} \sum _ { j = n - k } ^ { n + 1 } b _ { n , j } P _ { j } ( x ) = \sum _ { j = n - k } ^ { n + 1 } \beta _ { n + 1 , j } Q _ { j } ( x ). \end{equation*}

Thus, analytic properties of $( Q _ { n } )$ can be studied in terms of analytic properties of $( P _ { n } )$. The first problem is to classify the set of $k$-coherent pairs of measures. This was described in [a12] for $k = 0$ (see Table 1). Note that one of the measures must be the Jacobi or the Laguerre weight function. This means that the concept is very restrictive from the point of view of a general theory. The study of the general case $k \geq 1$ remains open (as of 2000).

Figure: s130410a

Table 1

Nevertheless, in [a9] a first approach is given when $\mu _{1}$ is the Jacobi weight function.

Let $d \mu _ { 1 } = ( 1 - x ) ^ { \alpha } ( 1 + x ) ^ { \beta } d x$, $\alpha , \beta > 0$, supported on $[ - 1,1 ]$. The measure $\mu_0$ is said to be admissible with respect to $\mu _{1}$ if

i) $\mu_0$ belongs to the Szegö class, i.e.,

\begin{equation*} \int _ { - 1 } ^ { 1 } \frac { \operatorname { ln } \mu _ { 0 } ^ { \prime } ( x ) } { \sqrt { 1 - x ^ { 2 } } } d x > - \infty. \end{equation*}

ii) $\| p _ {n } ^ { \langle \alpha - 1 ,\, \beta - 1 \rangle } \| _ { \mu _ { 0 } } = o( n )$, $n \rightarrow \infty$, where $( p _ { n } ^ { ( \alpha , \beta ) } )$ denotes the sequence of orthonormal Jacobi polynomials. In such a case one obtains the following relative asymptotics: for $z \in \mathbf C \backslash [ - 1,1 ]$,

\begin{equation*} \frac { Q _ { n } ( z ) } { P _ { n } ^ { ( \alpha , \beta ) } ( z ) } \underset{ \rightarrow } { \rightarrow } \frac { 2 } { \phi ^ { \prime } ( z ) }, \end{equation*}

where $\phi ( z ) = z + \sqrt { z ^ { 2 } - 1 }$, with $\sqrt { z ^ { 2 } - 1 } > 0$ when $z > 1$.

This result has been extended [a11] to the case when $\mu_0$ and $\mu _{1}$ are absolutely continuous measures supported in $[ - 1,1 ]$ and belong to the Szegö class.

In fact, $Q _ { n } ( z ) / T _ { n } ( z ) \rightrightarrows 2 / \phi ^ { \prime } ( z )$, $z \in \mathbf C \backslash [ - 1,1 ]$.

From a numerical point of view, [a2] is a nice survey about the location of zeros of polynomials orthogonal with respect to (a1) when $N = 1$. For more information about Sobolev inner products, see the surveys [a5] and [a13].

References

[a1] P. Althammer, "Eine Erweiterung des Orthogonalitätsbegriffes bei Polynomen und deren Anwendung auf die beste Approximation" J. Reine Angew. Math. , 211 (1962) pp. 192–204
[a2] W. Gautschi, M. Zhang, "Computing orthogonal polynomials in Sobolev spaces" Numer. Math. , 71 (1995) pp. 159–184
[a3] A. Iserles, P.E. Koch, S.P. Norsett, J.M. Sanz-Serna, "On polynomials orthogonal with respect to certain Sobolev inner products" J. Approx. Th. , 65 (1991) pp. 151–175
[a4] D.C. Lewis, "Polynomial least square approximations" Amer. J. Math. , 69 (1947) pp. 273–278
[a5] F. Marcellán, M. Alfaro, M.L. Rezola, "Orthogonal polynomials on Sobolev spaces: Old and new directions" J. Comput. Appl. Math. , 48 (1993) pp. 113–131
[a6] F. Marcellán, T.E. Pérez, M.A. Piñar, "Gegenbauer–Sobolev orthogonal polynomials" A. Cuyt (ed.) , Proc. Conf. Nonlinear Numerical Methods and Rational Approximation II , Kluwer Acad. Publ. (1994) pp. 71–82
[a7] F. Marcellán, T.E. Pérez, M.A. Piñar, "Laguerre–Sobolev orthogonal polynomials" J. Comput. Appl. Math. , 71 (1996) pp. 245–265
[a8] F. Marcellán, H.G. Meijer, T.E. Pérez, M.A. Piñar, "An asymptotic result for Laguerre–Sobolev orthogonal polynomials" J. Comput. Appl. Math. , 87 (1997) pp. 87–94
[a9] A. Martínez-Finkelshtein, J.J. Moreno-Balcázar, "Asymptotics of Sobolev orthogonal polynomials for a Jacobi weight" Meth. Appl. Anal. , 4 (1997) pp. 430–437
[a10] A. Martínez-Finkelshtein, J.J. Moreno-Balcázar, H. Pijeira, "Strong asymptotics for Gegenbauer–Sobolev orthogonal polynomials" J. Comput. Appl. Math. , 81 (1997) pp. 211–216
[a11] A. Martínez-Finkelshtein, "Bernstein–Szegő's theorem for Sobolev orthogonal polynomials" Constructive Approx. (2000) pp. 73–84
[a12] H.G. Meijer, "Determination of all coherent pairs of functionals" J. Approx. Th. , 89 (1997) pp. 321–343
[a13] H.G. Meijer, "A short history of orthogonal polynomials in a Sobolev space I: The non-discrete case" Nieuw Arch. Wisk. , 14 (1996) pp. 93–112
How to Cite This Entry:
Sobolev inner product. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Sobolev_inner_product&oldid=50280
This article was adapted from an original article by F. Marcellán (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article