On the extension of a functional inequality of S. Bernstein to non-analytic functions. (Q2586589)

Für ein trigonometrisches Polynom \[ P(x) = \sum_{\nu=0}^{N} \left\{ a_{\nu} \cos\dfrac{\nu x}{N} + b_{\nu}\sin\dfrac{\nu x}{N}\right\} \quad \text{ mit } \quad \{ P(x)\}^2 \leqq 1 \quad \text{ für alle } \quad x \] gilt \[ \{ P^{(k)}(x)\}^2 + \{P^{(k-1)}(x)\}^2 \leqq 1 \quad \text{ für } \quad k=1,2,3\ldots \] Diese Tatsache, die eine Verschärfung eines Satzes von S. Bernstein darstellt und verschiedentlich bewiesen wurde, erweist sich als leichte Folge einer elementaren Ungleichung, die in der vorliegenden Note zunächst abgeleitet wird: Genügt eine Funktion \(f(x)\) für ein ganzes \(n> 0\) und für alle \(x\) den Bedingungen \[ \{f(x)\}^2 \leqq 1,\qquad \{f^{(n)}(x)\}^2 + \{f^{(n-1)}(x)\}^2 \leqq 1, \tag{1} \] so gilt auch für \(k =1,2,\ldots, n -1\) und für alle \(x\) \[ \{f^{(k)}(x)\}^2 + \{f^{(k-1)}(x)\}^2 \leqq 1. \tag{2} \] Der Beweis stützt sich im wesentlichen auf den Mittelwertsatz und den Satz von der Existenz des Maximums einer im abgeschlossenen Intervall stetigen Funktion. Anschließend wird nach denjenigen Funktionen \(f(x)\) gefragt, bei denen an einer Stelle \(x_1\) in einer der Beziehungen (2) das Gleichheitszeichen eintritt. Es ergibt sich: (a) Erfüllt \(f(x)\) für alle \(x\) die Ungleichungen (1) mit \(n = 2\), und gilt an einer Stelle \(x_1\) \[ \{f'(x_1)\}^2 + \{f(x_1)\}^2 =1, \] so ist \(f(x)\equiv \sin (x + \gamma)\), (\(\gamma\) konstant), in einem Intervall, das sich von \(x_1\) bis zur nächsten Stelle mit \(|\sin (x + \gamma)|= 1\), bzw. für \(f(x_1)=0\) um \(\dfrac{\pi}{2}\) nach beiden Seiten von \(x_1\) erstreckt. (b) Erfüllt \(f(x)\) für alle \(x\) die Ungleichungen (1) mit einem \(n > 2\), und gilt an einer Stelle \(x_1\) für ein ganzes \(k\) mit \(1\leqq k\leqq n-1\) \[ \{f^{(k)}(x_1)\}^2 + \{f^{(k-1)}(x_1)\}^2 =1, \] so ist \(f (x)\equiv \sin(x+\gamma)\), (\(\gamma\) konstant), für alle \(x\), ausgenommen möglicherweise der Fall, daß \(k =1\) und \(\{f(x_1)\}^2 = 1\) ist.