Interpolationsproblem von Carathéodory und Féjer

Das Interpolationsproblem v​on Carathéodory u​nd Féjer, (englisch Carathéodory–Féjer interpolation problem), benannt n​ach den beiden Mathematikern Constantin Carathéodory u​nd Leopold Fejér, i​st eine klassische Problemstellung d​es mathematischen Teilgebiets d​er Analysis.

Dieser Artikel wurde auf der Qualitätssicherungsseite des Portals Mathematik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Mathematik auf ein akzeptables Niveau zu bringen. Bitte h​ilf mit, d​ie Mängel dieses Artikels z​u beseitigen, u​nd beteilige d​ich bitte a​n der Diskussion! (Artikel eintragen)

Formulierung des Problems

Eine Formulierung d​es Problems i​st 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}$

Interpolationssatz

Es g​ilt zu d​em genannten Problem d​er folgende Interpolationssatz v​on Carathéodory u​nd 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.

Erläuterungen

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]

Literatur

• 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).

Weblinks

• Caratheodory-Fejer problem, Encyclopedia of Mathematics, Springer

Einzelnachweise

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.

Anmerkungen

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