Note sur les fonctions convexes d'ordre supérieur. VII. (Q2590815)

Unter Bezugnahme auf eine frühere Arbeit (Mathematica, Cluj, 8 (1934), 1-85; JFM 60.0196.*) wird zunächst folgender Satz ausgesprochen (in diesem, wie im folgenden ist \(f(x)\) stets eine reelle, eindeutige, auf einer linearen Menge \(E\) erklärte Funktion): Ist \(f (x)\) von der Ordnung \(n\) und ist (1) \(x_1< x_2 <\cdots < x_m, m > n + 2\), eine beliebige endliche Teilmenge von \(E\), so weist die Folge der Differenzenquotienten (2) \(\varDelta_{n-k+1}^j\), \(j = 1,\ldots, m - n +k -1\), höchstens \(k\) Vorzeichenwechsel auf, \(k = 0, 1,\ldots, m - 1\). Dabei ist \(\varDelta _q^i=[x_i, x_{i+1},\ldots, x_{i+q};f]\) gesetzt. In vorliegender Note wird folgende Umkehrung bewiesen: Es ist \(f (x)\) von der Ordnung \(n\) auf \(E\), wenn für jedes Polynom \(P (x)\) vom Grade \(n\) und jede endliche Teilmenge (1) von \(E\) die für \(f (x) - P (x)\) gebildete Folge (2) höchstens \(k\) Vorzeichenwechsel aufweist. -Außerdem werden die Funktionen erster Ordnung in zweierlei Weise gekennzeichnet: I) dadurch, daß sich zu jedem \(a\), eine Zerlegung von \(E\) in höchstens zwei konsekutive Teile (Acad. Roumaine Bull. Sect. sci. 20 (1938), 187-191; F. d. M. 64\(_{\text{II}}\)) finden läßt, so daß \(f - ax\) auf jedem der beiden Teile monoton ist, und zwar in entgegengesetztem Sinne; II) dadurch, daß zu jedem \(a\) und \(\alpha\) eine Zerlegung von \(E\) in höchstens drei konsekutive Teile existiert derart, daß auf jedem dieser Teile die Funktion \(f(x) + ax + \alpha\) ihr Zeichen nicht wechselt.