Namespaces
Variants
Actions

Difference between revisions of "Carathéodory-Schur extension problem"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
Line 1: Line 1:
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c1100701.png" /> be a given [[Polynomial|polynomial]]. The Carathéodory–Schur extension problem is to find (if possible) an [[Analytic function|analytic function]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c1100702.png" /> on the open unit disc <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c1100703.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c1100704.png" /> has a Taylor expansion (cf. [[Taylor series|Taylor series]]) of the form
+
<!--
 +
c1100701.png
 +
$#A+1 = 21 n = 0
 +
$#C+1 = 21 : ~/encyclopedia/old_files/data/C110/C.1100070 Carath\Aeeodory\ANDSchur extension problem
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
<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/c/c110/c110070/c1100705.png" /></td> <td valign="top" style="width:5%;text-align:right;">(a1)</td></tr></table>
+
{{TEX|auto}}
 +
{{TEX|done}}
  
and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c1100706.png" /> is uniformly bounded by one on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c1100707.png" />. In other words, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c1100708.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c1100709.png" />-function with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c11007010.png" /> of which the first <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c11007011.png" /> Taylor coefficients are prescribed. The problem is solvable if and only if the lower-triangular [[Toeplitz matrix|Toeplitz matrix]]
+
Let  $  a _ {0} + a _ {1} z + \dots + a _ {n - 1 }  z ^ {n - 1 } $
 +
be a given [[Polynomial|polynomial]]. The Carathéodory–Schur extension problem is to find (if possible) an [[Analytic function|analytic function]]  $  f $
 +
on the open unit disc  $  | z | < 1 $
 +
such that  $  f $
 +
has a Taylor expansion (cf. [[Taylor series|Taylor series]]) of the form
  
<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/c/c110/c110070/c11007012.png" /></td> </tr></table>
+
$$ \tag{a1 }
 +
f ( z ) = a _ {0} + a _ {1} z + \dots + a _ {n -1 }  z ^ {n -1 } + O ( z  ^ {n} ) ,  \left | z \right | < 1,
 +
$$
  
has operator norm at most one. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c11007013.png" />, the solution is unique. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c11007014.png" />, then the number of solutions is infinite, and the set of solutions can be parametrized by a fractional-linear mapping. The necessary and sufficient conditions for the existence of a solution can also be expressed in terms of the so-called Schur numbers, which can be constructed step-by-step from the given coefficients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c11007015.png" /> (cf. also [[Carathéodory interpolation|Carathéodory interpolation]]). This latter approach, invented originally by I. Schur [[#References|[a6]]], [[#References|[a7]]], in the beginning of the 19th century, includes recursive methods to obtain the set of all solutions. These recursive methods play an important role in modern operator theory, electrical engineering and geophysics (see [[#References|[a3]]], [[#References|[a4]]], [[#References|[a5]]]). A detailed account of the Carathéodory–Schur problem and its solution may be found in [[#References|[a3]]], Chapt. 1.
+
and $  f ( z ) $
 +
is uniformly bounded by one on  $  | z | < 1 $.
 +
In other words, $  f $
 +
is an $  H  ^  \infty  $-
 +
function with  $  \| f \| _  \infty  \leq 1 $
 +
of which the first  $  n $
 +
Taylor coefficients are prescribed. The problem is solvable if and only if the lower-triangular [[Toeplitz matrix|Toeplitz matrix]]
  
By multiplying both sides of (a1) by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c11007016.png" />, one sees that the Carathéodory–Schur extension problem for the polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c11007017.png" /> is equivalent to the [[Nehari extension problem|Nehari extension problem]] for the sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c11007018.png" />. The problem may also be seen as a Nevanlinna–Pick-type interpolation problem, where one seeks <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c11007019.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c11007020.png" />-norm at most one such that the function and its derivatives up to order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110070/c11007021.png" /> have prescribed values at zero (cf. also [[Nevanlinna–Pick interpolation|Nevanlinna–Pick interpolation]]). The Carathéodory–Schur extension problem has natural generalizations for matrix-valued and operator-valued polynomials (see [[#References|[a2]]]). The problem has also a non-stationary variant, in which the role of the polynomial is taken over by a lower-triangular band matrix which has to be completed to a full lower-triangular matrix of operator norm at most one. For this non-stationary variant there is a natural analogue of the Schur numbers, namely the choice sequences, which determine the set of solutions (cf. [[#References|[a1]]]).
+
$$
 +
A = \left (
 +
 
 +
\begin{array}{cccccc}
 +
a _ {0}  & 0  & 0  &\dots  & 0  & 0  \\
 +
a _ {1}  &a _ {0}  & 0  &\dots  & 0  & 0  \\
 +
a _ {2}  &a _ {1}  &a _ {0}  &\dots  & 0  & 0  \\
 +
\vdots  &\vdots  &\vdots  &\vdots  &\vdots  &\vdots  \\
 +
a _ {n - 2 }  &a _ {n - 3 }  &a _ {n - 4 }  &\dots  &a _ {0}  & 0  \\
 +
a _ {n - 1 }  &a _ {n - 3 }  &a _ {n - 3 }  &\dots  &a _ {1}  &a _ {0}  \\
 +
\end{array}
 +
 +
\right )
 +
$$
 +
 
 +
has operator norm at most one. If  $  \| A \| = 1 $,
 +
the solution is unique. If  $  \| A \| < 1 $,
 +
then the number of solutions is infinite, and the set of solutions can be parametrized by a fractional-linear mapping. The necessary and sufficient conditions for the existence of a solution can also be expressed in terms of the so-called Schur numbers, which can be constructed step-by-step from the given coefficients  $  a _ {0} \dots a _ {n - 1 }  $(
 +
cf. also [[Carathéodory interpolation|Carathéodory interpolation]]). This latter approach, invented originally by I. Schur [[#References|[a6]]], [[#References|[a7]]], in the beginning of the 19th century, includes recursive methods to obtain the set of all solutions. These recursive methods play an important role in modern operator theory, electrical engineering and geophysics (see [[#References|[a3]]], [[#References|[a4]]], [[#References|[a5]]]). A detailed account of the Carathéodory–Schur problem and its solution may be found in [[#References|[a3]]], Chapt. 1.
 +
 
 +
By multiplying both sides of (a1) by $  z ^ {- n + 1 } $,  
 +
one sees that the Carathéodory–Schur extension problem for the polynomial $  a _ {0} + a _ {1} z + \dots + a _ {n - 1 }  z ^ {n - 1 } $
 +
is equivalent to the [[Nehari extension problem|Nehari extension problem]] for the sequence $  a _ {n - 1 }  \dots a _ {1} ,a _ {0} ,0,0, \dots $.  
 +
The problem may also be seen as a Nevanlinna–Pick-type interpolation problem, where one seeks $  f \in H  ^  \infty  $
 +
of $  H  ^  \infty  $-
 +
norm at most one such that the function and its derivatives up to order $  n - 1 $
 +
have prescribed values at zero (cf. also [[Nevanlinna–Pick interpolation|Nevanlinna–Pick interpolation]]). The Carathéodory–Schur extension problem has natural generalizations for matrix-valued and operator-valued polynomials (see [[#References|[a2]]]). The problem has also a non-stationary variant, in which the role of the polynomial is taken over by a lower-triangular band matrix which has to be completed to a full lower-triangular matrix of operator norm at most one. For this non-stationary variant there is a natural analogue of the Schur numbers, namely the choice sequences, which determine the set of solutions (cf. [[#References|[a1]]]).
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  T. Constantinescu,  "Schur parameters, factorization and dilation problems" , ''Operator Theory: Advances and Applications'' , '''2''' , Birkhäuser  (1996)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  V.K. Dubovoj,  B. Fritzsche,  B. Kirstein,  "Matricial version of the classical Schur problem" , Teubner  (1992)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  C. Foias,  A.E. Frazho,  "The commutant lifting approach to interpolation problems" , ''Operator Theory: Advances and Applications'' , '''44''' , Birkhäuser  (1990)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  "Schur methods in operator theory and signal processing"  I. Gohberg (ed.) , ''Operator Theory: Advances and Applications'' , '''18''' , Birkhäuser  (1986)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  T. Kailath,  A.H. Sayed,  "Displacement structure: theory and applications"  ''SIAM Review'' , '''37'''  (1995)  pp. 297–386</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  I. Schur,  "On power series which are bounded in the interior of the unit circle"  I. Gohberg (ed.) , ''Methods in Operator Theory and Signal Processing'' , ''Operator Theory: Advances and Applications'' , '''18'''  (1986)  pp. 31–59  (Original (in German): J. Reine Angew. Math. 147 (1917), 205–232)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  I. Schur,  "On power series which are bounded in the interior of the unit circle. II"  I. Gohberg (ed.) , ''Methods in Operator Theory and Signal Processing'' , ''Operator Theory: Advances and Applications'' , '''18'''  (1986)  pp. 68–88  (Original (in German): J. Reine Angew. Math. 184 (1918), 122–145)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  T. Constantinescu,  "Schur parameters, factorization and dilation problems" , ''Operator Theory: Advances and Applications'' , '''2''' , Birkhäuser  (1996)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  V.K. Dubovoj,  B. Fritzsche,  B. Kirstein,  "Matricial version of the classical Schur problem" , Teubner  (1992)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  C. Foias,  A.E. Frazho,  "The commutant lifting approach to interpolation problems" , ''Operator Theory: Advances and Applications'' , '''44''' , Birkhäuser  (1990)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  "Schur methods in operator theory and signal processing"  I. Gohberg (ed.) , ''Operator Theory: Advances and Applications'' , '''18''' , Birkhäuser  (1986)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  T. Kailath,  A.H. Sayed,  "Displacement structure: theory and applications"  ''SIAM Review'' , '''37'''  (1995)  pp. 297–386</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  I. Schur,  "On power series which are bounded in the interior of the unit circle"  I. Gohberg (ed.) , ''Methods in Operator Theory and Signal Processing'' , ''Operator Theory: Advances and Applications'' , '''18'''  (1986)  pp. 31–59  (Original (in German): J. Reine Angew. Math. 147 (1917), 205–232)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  I. Schur,  "On power series which are bounded in the interior of the unit circle. II"  I. Gohberg (ed.) , ''Methods in Operator Theory and Signal Processing'' , ''Operator Theory: Advances and Applications'' , '''18'''  (1986)  pp. 68–88  (Original (in German): J. Reine Angew. Math. 184 (1918), 122–145)</TD></TR></table>

Revision as of 11:06, 30 May 2020


Let $ a _ {0} + a _ {1} z + \dots + a _ {n - 1 } z ^ {n - 1 } $ be a given polynomial. The Carathéodory–Schur extension problem is to find (if possible) an analytic function $ f $ on the open unit disc $ | z | < 1 $ such that $ f $ has a Taylor expansion (cf. Taylor series) of the form

$$ \tag{a1 } f ( z ) = a _ {0} + a _ {1} z + \dots + a _ {n -1 } z ^ {n -1 } + O ( z ^ {n} ) , \left | z \right | < 1, $$

and $ f ( z ) $ is uniformly bounded by one on $ | z | < 1 $. In other words, $ f $ is an $ H ^ \infty $- function with $ \| f \| _ \infty \leq 1 $ of which the first $ n $ Taylor coefficients are prescribed. The problem is solvable if and only if the lower-triangular Toeplitz matrix

$$ A = \left ( \begin{array}{cccccc} a _ {0} & 0 & 0 &\dots & 0 & 0 \\ a _ {1} &a _ {0} & 0 &\dots & 0 & 0 \\ a _ {2} &a _ {1} &a _ {0} &\dots & 0 & 0 \\ \vdots &\vdots &\vdots &\vdots &\vdots &\vdots \\ a _ {n - 2 } &a _ {n - 3 } &a _ {n - 4 } &\dots &a _ {0} & 0 \\ a _ {n - 1 } &a _ {n - 3 } &a _ {n - 3 } &\dots &a _ {1} &a _ {0} \\ \end{array} \right ) $$

has operator norm at most one. If $ \| A \| = 1 $, the solution is unique. If $ \| A \| < 1 $, then the number of solutions is infinite, and the set of solutions can be parametrized by a fractional-linear mapping. The necessary and sufficient conditions for the existence of a solution can also be expressed in terms of the so-called Schur numbers, which can be constructed step-by-step from the given coefficients $ a _ {0} \dots a _ {n - 1 } $( cf. also Carathéodory interpolation). This latter approach, invented originally by I. Schur [a6], [a7], in the beginning of the 19th century, includes recursive methods to obtain the set of all solutions. These recursive methods play an important role in modern operator theory, electrical engineering and geophysics (see [a3], [a4], [a5]). A detailed account of the Carathéodory–Schur problem and its solution may be found in [a3], Chapt. 1.

By multiplying both sides of (a1) by $ z ^ {- n + 1 } $, one sees that the Carathéodory–Schur extension problem for the polynomial $ a _ {0} + a _ {1} z + \dots + a _ {n - 1 } z ^ {n - 1 } $ is equivalent to the Nehari extension problem for the sequence $ a _ {n - 1 } \dots a _ {1} ,a _ {0} ,0,0, \dots $. The problem may also be seen as a Nevanlinna–Pick-type interpolation problem, where one seeks $ f \in H ^ \infty $ of $ H ^ \infty $- norm at most one such that the function and its derivatives up to order $ n - 1 $ have prescribed values at zero (cf. also Nevanlinna–Pick interpolation). The Carathéodory–Schur extension problem has natural generalizations for matrix-valued and operator-valued polynomials (see [a2]). The problem has also a non-stationary variant, in which the role of the polynomial is taken over by a lower-triangular band matrix which has to be completed to a full lower-triangular matrix of operator norm at most one. For this non-stationary variant there is a natural analogue of the Schur numbers, namely the choice sequences, which determine the set of solutions (cf. [a1]).

References

[a1] T. Constantinescu, "Schur parameters, factorization and dilation problems" , Operator Theory: Advances and Applications , 2 , Birkhäuser (1996)
[a2] V.K. Dubovoj, B. Fritzsche, B. Kirstein, "Matricial version of the classical Schur problem" , Teubner (1992)
[a3] C. Foias, A.E. Frazho, "The commutant lifting approach to interpolation problems" , Operator Theory: Advances and Applications , 44 , Birkhäuser (1990)
[a4] "Schur methods in operator theory and signal processing" I. Gohberg (ed.) , Operator Theory: Advances and Applications , 18 , Birkhäuser (1986)
[a5] T. Kailath, A.H. Sayed, "Displacement structure: theory and applications" SIAM Review , 37 (1995) pp. 297–386
[a6] I. Schur, "On power series which are bounded in the interior of the unit circle" I. Gohberg (ed.) , Methods in Operator Theory and Signal Processing , Operator Theory: Advances and Applications , 18 (1986) pp. 31–59 (Original (in German): J. Reine Angew. Math. 147 (1917), 205–232)
[a7] I. Schur, "On power series which are bounded in the interior of the unit circle. II" I. Gohberg (ed.) , Methods in Operator Theory and Signal Processing , Operator Theory: Advances and Applications , 18 (1986) pp. 68–88 (Original (in German): J. Reine Angew. Math. 184 (1918), 122–145)
How to Cite This Entry:
Carathéodory-Schur extension problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Carath%C3%A9odory-Schur_extension_problem&oldid=46203
This article was adapted from an original article by I. GohbergM.A. Kaashoek (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article