Interpolationsproblem von Carathéodory und Féjer

Das Interpolationsproblem von Carathéodory und Féjer, englisch Carathéodory–Féjer interpolation problem, benannt nach den beiden Mathematikern Constantin Carathéodory und Leopold Fejér, ist eine klassische Problemstellung des mathematischen Teilgebiets der Analysis.

Eine Formulierung des Problems ist die folgende:^[1]

Gegeben seien ${\displaystyle n+1}$ beliebige (nicht notwendig verschiedene) komplexe Zahlen ${\displaystyle c_{i}\in {\mathbb {C} }\,(i=0,1,\dotsc ,n)}$.

Gesucht wird zu diesen Zahlen eine Funktion ${\displaystyle f\in H^{\infty }(\mathbb {D} )}$, welche die folgenden beiden Nebenbedingungen erfüllen soll:

(i) Die ${\displaystyle n+1}$ ersten Taylorkoeffizienten der Potenzreihenentwicklung von ${\displaystyle f}$ um ${\displaystyle 0\in \mathbb {C} }$ sind ${\displaystyle c_{0},c_{1},\dotsc ,c_{n}}$.

(ii) ${\displaystyle \|f\|_{\infty }\leq 1}$

Es gilt zu dem genannten Problem der folgende Interpolationssatz von Carathéodory und Féjer (englisch Carathéodory–Féjer interpolation theorem):^[2]

Das Interpolationsproblem von Carathéodory und Féjer ist lösbar genau dann, wenn die Spektralnorm der zu diesen ${\displaystyle c_{i}\,(i=0,1,\dotsc ,n)}$ gehörigen unteren Dreiecksmatrix

${\displaystyle M=M_{(c_{0},c_{1},\dotsc ,c_{n})}={\begin{bmatrix}c_{0}&0&\cdots &0\\c_{1}&c_{0}&\ddots &\vdots \\\vdots &\ddots &\ddots &\vdots \\c_{n}&\cdots &c_{1}&c_{0}\end{bmatrix}}}$

die Ungleichung

${\displaystyle \|M\|_{2}\leq 1}$

erfüllt.

1. ${\displaystyle \mathbb {D} =\{z\in \mathbb {C} \mid |z|<1\}}$ ist die offene Einheitskreisscheibe.
2. ${\displaystyle H^{\infty }(\mathbb {D} )}$ ist der zu den beschränkten holomorphen Funktionen ${\displaystyle f\colon \mathbb {D} \to \mathbb {C} }$ gehörige Hardy-Raum.
3. Das Interpolationsproblem von Carathéodory und Féjer ist direkt verwandt mit dem Interpolationsproblem von Pick und Nevanlinna. Ebenso wie dieses lässt es sich im Rahmen der Theorie der beschränkten Operatoren auf Hardy-Räumen lösen. Hier ist im Jahre 1967 von Donald Erik Sarason gezeigt worden, dass der zugehörige Interpolationssatz als Folgerung aus einem von Sarason vorgelegten – grundlegenden! – Theorem verstanden werden kann.^[3]

• C. Carathéodory, L. Fejér: Über den Zusammenhang der Extremen von harmonischen Funktionen mit ihren Koeffizienten und über den Picard–Landauschen Satz, Rend. Circ. Mat. Palermo, Band 32, 1911, S. 218–239.
• Yutaka Yamamoto^{[A 1]}: From Vector Spaces to Function Spaces. Introduction to Functional Analysis with Applications. Society for Industrial and Applied Mathematics, Philadelphia, PA 2012, ISBN 978-1-61197-230-6 (MR2985156). 
• Gennadi Michailowitsch Golusin: Geometric theory of functions of a complex variable, Translations of Mathematical Monographs 26, American Mathematical Society, 1969. Kapitel 9, § 7, S. 497 ff. (Some remarks on the Caratheodory-Fejer problem and on an analogous problem in der Google-Buchsuche).

• Caratheodory-Fejer problem, Encyclopedia of Mathematics, Springer

1. ↑ Yutaka Yamamoto: From Vector Spaces to Function Spaces 2012, S. 199 ff.
2. ↑ Yamamoto, op. cit., S. 199.
3. ↑ Yamamoto, op. cit., S. 196 ff.

1. ↑ Yutaka Yamamoto, geboren am 29. März 1950 ist ein japanischer Mathematiker, der vor allem auf den Gebieten der Systemtheorie und Kontrolltheorie arbeitet.