Über den Millouxschen Satz. (Q1829903)

Beweis des folgenden Satzes: (A) \ Es gibt eine absolute Konstante \(p > 0\) mit folgender Eigenschaft: \(\quad (\alpha)\) \ Für \(|x| \leqq 1\) sei \(f(x)\) regulär und \(|f(x)| \leqq 1\). \(\quad (\beta)\) \ Zu jedem \(\varrho\) mit \(0 \leqq \varrho \leqq 1\) gebe es ein \(x\) mit \(|x| = \varrho\), \ \(|f(x)| \leqq \delta\). Dann ist \(\quad (1) \qquad \qquad |f(x)| \leqq \delta^{p(1-\varrho)} \quad \text{ für } \quad |x| \leqq \varrho \leqq 1\). (B) \(\qquad \qquad \qquad p =\dfrac{1}{2(\sqrt{2} + 1) \log (\sqrt{2} + 1)}\). (C) \ Zu jedem \[ p > \frac{1}{2 \sqrt{2} \log (\sqrt{2}+ 1)} \] gibt es ein \(\delta\) und ein \(f(x)\), die \((\alpha)\) und \((\beta)\) erfüllen, \((\beta)\) sogar in der weitergehenden Fassung \[ |f(x)| \leqq \delta \quad \text{ für } \quad -1 \leqq x \leqq 0, \] während (1) nicht für alle \(\varrho\) mit \(0 \leqq \varrho \leqq 1\) gilt.