Namespaces
Variants
Actions

Difference between revisions of "Carathéodory interpolation"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (moved Caratheodory interpolation to Carathéodory interpolation over redirect: accented title)
m (tex encoded by computer)
 
Line 1: Line 1:
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c1100601.png" /> be a polynomial of degree at most <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c1100602.png" />. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c1100603.png" /> be the Hardy space (cf. [[Hardy spaces|Hardy spaces]]) formed by the set of all analytic functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c1100604.png" /> in the open unit disc whose <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c1100605.png" />-norm <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c1100606.png" /> is finite. One says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c1100607.png" /> is an interpolant of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c1100608.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c1100609.png" /> is a function in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006010.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006011.png" /> are the first <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006012.png" /> Taylor coefficients of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006013.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006014.png" />, that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006015.png" /> for some <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006016.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006017.png" /> (cf. also [[Taylor series|Taylor series]]).
+
<!--
 +
c1100601.png
 +
$#A+1 = 56 n = 0
 +
$#C+1 = 56 : ~/encyclopedia/old_files/data/C110/C.1100060 Carath\Aeeodory interpolation
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
The Carathéodory interpolation problem is to find the set of all interpolants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006018.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006019.png" /> satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006020.png" />. Of course, this set can be empty. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006021.png" /> be the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006022.png" /> lower triangular [[Toeplitz matrix|Toeplitz matrix]] defined by
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<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/c110060/c11006023.png" /></td> </tr></table>
+
Let  $  p ( z ) = a _ {0} + a _ {1} z + \dots + a _ {n - 1 }  z ^ {n - 1 } $
 +
be a polynomial of degree at most  $  n - 1 $.
 +
Let  $  H  ^  \infty  $
 +
be the Hardy space (cf. [[Hardy spaces|Hardy spaces]]) formed by the set of all analytic functions  $  f $
 +
in the open unit disc whose  $  H  ^  \infty  $-
 +
norm  $  \| f \| _  \infty  = \sup  \{ {| {f ( z ) } | } : {| z | < 1 } \} $
 +
is finite. One says that  $  f ( z ) $
 +
is an interpolant of  $  p ( z ) $
 +
if  $  f $
 +
is a function in  $  H  ^  \infty  $
 +
and  $  \{ a _ {j} \} _ {0} ^ {n - 1 } $
 +
are the first  $  n $
 +
Taylor coefficients of  $  z  ^ {j} $
 +
for  $  f $,
 +
that is,  $  f ( z ) = p ( z ) + z  ^ {n} h ( z ) $
 +
for some  $  h $
 +
in  $  H  ^  \infty  $(
 +
cf. also [[Taylor series|Taylor series]]).
  
Then there exists a solution of the Carathéodory interpolation problem if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006024.png" />. Moreover, there exists a unique solution of the Carathéodory interpolation problem if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006025.png" />. In this case the unique interpolant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006026.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006027.png" /> satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006028.png" /> is a [[Blaschke product|Blaschke product]].
+
The Carathéodory interpolation problem is to find the set of all interpolants  $  f $
 +
of $  p $
 +
satisfying $  \| f \| _  \infty  \leq  1 $.  
 +
Of course, this set can be empty. Let  $  A _ {n} $
 +
be the  $  ( n \times n ) $
 +
lower triangular [[Toeplitz matrix|Toeplitz matrix]] defined by
  
The Schur method for solving the Carathéodory interpolation problem [[#References|[a1]]], [[#References|[a2]]] is based on the Möbius transformation (cf. [[Fractional-linear mapping|Fractional-linear mapping]]) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006029.png" /> where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006030.png" />. By recursively unravelling this Möbius transformation, I. Schur discovered that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006031.png" /> uniquely determines and is uniquely determined by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006032.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006033.png" /> forms a sequence of complex numbers now referred to as the Schur numbers, or reflection coefficients, for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006034.png" />. The Schur algorithm is a computational procedure, discovered by Schur, which computes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006035.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006036.png" />, or vice versa, in about <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006037.png" /> computations. Moreover, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006038.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006039.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006040.png" />. In this case the set of all solutions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006041.png" /> of the Carathéodory interpolation problem is given by
+
$$
 +
A _ {n} = \left (
  
<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/c110060/c11006042.png" /></td> </tr></table>
+
\begin{array}{cccc}
 +
a _ {0}  & 0  &\dots  & 0  \\
 +
a _ {1}  &a _ {0}  &\dots  & 0  \\
 +
\vdots  &\vdots  &\vdots  &\vdots  \\
 +
a _ {n - 1 }  &a _ {n - 2 }  &\dots  &a _ {0}  \\
 +
\end{array}
 +
 +
\right ) .
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006043.png" /> is an arbitrary function in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006044.png" /> satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006045.png" />. Furthermore, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006046.png" /> if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006047.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006048.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006049.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006050.png" />. In this case
+
Then there exists a solution of the Carathéodory interpolation problem if and only if  $  \| {A _ {n} } \| \leq  1 $.  
 +
Moreover, there exists a unique solution of the Carathéodory interpolation problem if and only if $  \| {A _ {n} } \| = 1 $.  
 +
In this case the unique interpolant  $  f $
 +
of  $  p $
 +
satisfying  $  \| f \| _  \infty  \leq  1 $
 +
is a [[Blaschke product|Blaschke 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/c/c110/c110060/c11006051.png" /></td> </tr></table>
+
The Schur method for solving the Carathéodory interpolation problem [[#References|[a1]]], [[#References|[a2]]] is based on the Möbius transformation (cf. [[Fractional-linear mapping|Fractional-linear mapping]])  $  b _  \alpha  ( z ) = { {( z + \alpha ) } / {( 1 + {\overline \alpha \; } z ) } } $
 +
where  $  | \alpha | < 1 $.
 +
By recursively unravelling this Möbius transformation, I. Schur discovered that  $  \{ a _ {j} \} _ {0} ^ {n - 1 } $
 +
uniquely determines and is uniquely determined by  $  \{ r _ {j} \} _ {0} ^ {n - 1 } $,
 +
where  $  \{ r _ {j} \} _ {0} ^ {n - 1 } $
 +
forms a sequence of complex numbers now referred to as the Schur numbers, or reflection coefficients, for  $  \{ a _ {j} \} _ {0} ^ {n - 1 } $.  
 +
The Schur algorithm is a computational procedure, discovered by Schur, which computes  $  \{ r _ {j} \} _ {0} ^ {n - 1 } $
 +
from  $  \{ a _ {j} \} _ {0} ^ {n - 1 } $,
 +
or vice versa, in about  $  n  ^ {2} $
 +
computations. Moreover,  $  | {r _ {j} } | < 1 $
 +
for all  $  0 \leq  j < n $
 +
if and only if  $  \| {A _ {n} } \| < 1 $.
 +
In this case the set of all solutions  $  f $
 +
of the Carathéodory interpolation problem is given by
  
is the unique solution of the Carathéodory interpolation problem. If the reflection coefficients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006052.png" /> do not satisfy any one of the previous conditions, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006053.png" /> and there is no solution of the Carathéodory interpolation problem; see [[#References|[a4]]] for further details.
+
$$
 +
f ( z ) = b _ {r _ {0}  } ( z b _ {r _ {1}  } ( \dots ( z b _ {r _ {n - 1 }  } ( z f _ {n} ) ) \dots ) ) ,
 +
$$
  
The Schur numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006054.png" /> are precisely the reflection coefficients which naturally occur in certain inverse scattering problems for layered media in geophysics. Therefore, the Schur algorithm plays an important role in geophysics and marine seismology, see [[#References|[a3]]], [[#References|[a4]]], [[#References|[a5]]]. Finally, it has been noted that the Schur algorithm can also be used to obtain a Routh or Jury test for the open unit disc, that is, the Schur algorithm can be used to determine whether or not a polynomial <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006055.png" /> has all its roots inside the open unit disc without computing the zeros of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/c/c110/c110060/c11006056.png" />; see [[#References|[a2]]], [[#References|[a4]]].
+
where  $  f _ {n} $
 +
is an arbitrary function in  $  H  ^  \infty  $
 +
satisfying  $  \| {f _ {n} } \| _  \infty  \leq  1 $.
 +
Furthermore,  $  \| {A _ {n} } \| = 1 $
 +
if and only if  $  | {r _ {j} } | < 1 = | {r _ {k} } | $
 +
for  $  0 \leq  j < k $
 +
and  $  r _ {m} = 0 $
 +
for  $  m > k $.
 +
In this case
 +
 
 +
$$
 +
f ( z ) = b _ {r _ {0}  } ( z b _ {r _ {1}  } ( \dots ( z b _ {r _ {k - 1 }  } ( z r _ {k} ) ) \dots ) )
 +
$$
 +
 
 +
is the unique solution of the Carathéodory interpolation problem. If the reflection coefficients  $  \{ r _ {j} \} _ {0} ^ {n - 1 } $
 +
do not satisfy any one of the previous conditions, then  $  \| {A _ {n} } \| > 1 $
 +
and there is no solution of the Carathéodory interpolation problem; see [[#References|[a4]]] for further details.
 +
 
 +
The Schur numbers  $  \{ r _ {j} \} $
 +
are precisely the reflection coefficients which naturally occur in certain inverse scattering problems for layered media in geophysics. Therefore, the Schur algorithm plays an important role in geophysics and marine seismology, see [[#References|[a3]]], [[#References|[a4]]], [[#References|[a5]]]. Finally, it has been noted that the Schur algorithm can also be used to obtain a Routh or Jury test for the open unit disc, that is, the Schur algorithm can be used to determine whether or not a polynomial $  p ( z ) $
 +
has all its roots inside the open unit disc without computing the zeros of $  p ( z ) $;  
 +
see [[#References|[a2]]], [[#References|[a4]]].
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</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">[a2]</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><TR><TD valign="top">[a3]</TD> <TD valign="top">  J.F. Claerbout,  "Fundamentals of geophysical data processing" , McGraw-Hill  (1976)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  C. Foias,  A. Frazho,  "The commutant lifting approach to interpolation problems" , ''Operator Theory: Advances and Applications'' , '''44''' , Birkhäuser  (1990)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  E.A. Robinson,  S. Treitel,  "Geophysical signal analysis" , Prentice-Hall  (1980)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</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">[a2]</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><TR><TD valign="top">[a3]</TD> <TD valign="top">  J.F. Claerbout,  "Fundamentals of geophysical data processing" , McGraw-Hill  (1976)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  C. Foias,  A. Frazho,  "The commutant lifting approach to interpolation problems" , ''Operator Theory: Advances and Applications'' , '''44''' , Birkhäuser  (1990)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  E.A. Robinson,  S. Treitel,  "Geophysical signal analysis" , Prentice-Hall  (1980)</TD></TR></table>

Latest revision as of 11:17, 30 May 2020


Let $ p ( z ) = a _ {0} + a _ {1} z + \dots + a _ {n - 1 } z ^ {n - 1 } $ be a polynomial of degree at most $ n - 1 $. Let $ H ^ \infty $ be the Hardy space (cf. Hardy spaces) formed by the set of all analytic functions $ f $ in the open unit disc whose $ H ^ \infty $- norm $ \| f \| _ \infty = \sup \{ {| {f ( z ) } | } : {| z | < 1 } \} $ is finite. One says that $ f ( z ) $ is an interpolant of $ p ( z ) $ if $ f $ is a function in $ H ^ \infty $ and $ \{ a _ {j} \} _ {0} ^ {n - 1 } $ are the first $ n $ Taylor coefficients of $ z ^ {j} $ for $ f $, that is, $ f ( z ) = p ( z ) + z ^ {n} h ( z ) $ for some $ h $ in $ H ^ \infty $( cf. also Taylor series).

The Carathéodory interpolation problem is to find the set of all interpolants $ f $ of $ p $ satisfying $ \| f \| _ \infty \leq 1 $. Of course, this set can be empty. Let $ A _ {n} $ be the $ ( n \times n ) $ lower triangular Toeplitz matrix defined by

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

Then there exists a solution of the Carathéodory interpolation problem if and only if $ \| {A _ {n} } \| \leq 1 $. Moreover, there exists a unique solution of the Carathéodory interpolation problem if and only if $ \| {A _ {n} } \| = 1 $. In this case the unique interpolant $ f $ of $ p $ satisfying $ \| f \| _ \infty \leq 1 $ is a Blaschke product.

The Schur method for solving the Carathéodory interpolation problem [a1], [a2] is based on the Möbius transformation (cf. Fractional-linear mapping) $ b _ \alpha ( z ) = { {( z + \alpha ) } / {( 1 + {\overline \alpha \; } z ) } } $ where $ | \alpha | < 1 $. By recursively unravelling this Möbius transformation, I. Schur discovered that $ \{ a _ {j} \} _ {0} ^ {n - 1 } $ uniquely determines and is uniquely determined by $ \{ r _ {j} \} _ {0} ^ {n - 1 } $, where $ \{ r _ {j} \} _ {0} ^ {n - 1 } $ forms a sequence of complex numbers now referred to as the Schur numbers, or reflection coefficients, for $ \{ a _ {j} \} _ {0} ^ {n - 1 } $. The Schur algorithm is a computational procedure, discovered by Schur, which computes $ \{ r _ {j} \} _ {0} ^ {n - 1 } $ from $ \{ a _ {j} \} _ {0} ^ {n - 1 } $, or vice versa, in about $ n ^ {2} $ computations. Moreover, $ | {r _ {j} } | < 1 $ for all $ 0 \leq j < n $ if and only if $ \| {A _ {n} } \| < 1 $. In this case the set of all solutions $ f $ of the Carathéodory interpolation problem is given by

$$ f ( z ) = b _ {r _ {0} } ( z b _ {r _ {1} } ( \dots ( z b _ {r _ {n - 1 } } ( z f _ {n} ) ) \dots ) ) , $$

where $ f _ {n} $ is an arbitrary function in $ H ^ \infty $ satisfying $ \| {f _ {n} } \| _ \infty \leq 1 $. Furthermore, $ \| {A _ {n} } \| = 1 $ if and only if $ | {r _ {j} } | < 1 = | {r _ {k} } | $ for $ 0 \leq j < k $ and $ r _ {m} = 0 $ for $ m > k $. In this case

$$ f ( z ) = b _ {r _ {0} } ( z b _ {r _ {1} } ( \dots ( z b _ {r _ {k - 1 } } ( z r _ {k} ) ) \dots ) ) $$

is the unique solution of the Carathéodory interpolation problem. If the reflection coefficients $ \{ r _ {j} \} _ {0} ^ {n - 1 } $ do not satisfy any one of the previous conditions, then $ \| {A _ {n} } \| > 1 $ and there is no solution of the Carathéodory interpolation problem; see [a4] for further details.

The Schur numbers $ \{ r _ {j} \} $ are precisely the reflection coefficients which naturally occur in certain inverse scattering problems for layered media in geophysics. Therefore, the Schur algorithm plays an important role in geophysics and marine seismology, see [a3], [a4], [a5]. Finally, it has been noted that the Schur algorithm can also be used to obtain a Routh or Jury test for the open unit disc, that is, the Schur algorithm can be used to determine whether or not a polynomial $ p ( z ) $ has all its roots inside the open unit disc without computing the zeros of $ p ( z ) $; see [a2], [a4].

References

[a1] 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)
[a2] 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)
[a3] J.F. Claerbout, "Fundamentals of geophysical data processing" , McGraw-Hill (1976)
[a4] C. Foias, A. Frazho, "The commutant lifting approach to interpolation problems" , Operator Theory: Advances and Applications , 44 , Birkhäuser (1990)
[a5] E.A. Robinson, S. Treitel, "Geophysical signal analysis" , Prentice-Hall (1980)
How to Cite This Entry:
Carathéodory interpolation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Carath%C3%A9odory_interpolation&oldid=46206
This article was adapted from an original article by A.E. Frazho (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article