Sur les propriétés extrémales de certaines fonctions fractionnaires. (Q578471)

\(f(x)\) sei eine gegebene stetige und positive Funktion im abgeschlossenen Intervall \(\langle -1, 1\rangle\); \(m\) und \(n\) mögen feste natürliche Zahlen bedeuten. Verf. betrachtet die Gesamtheit \(\mathfrak M\) der Funktionen der Gestalt \[ R(x)= \frac{f(x)(q_0x^n+q_1x^{n-1}+ \cdots + q_n)} {p_0x^m+q_1x^{m-1}+ \cdots + p_m} \] mit behebigen Koeffizienten \(q_i\) und \(p_i\) und stellt sich zur Aufgabe, einer gegebenen stetigen Funktion \(F(x)\) eine Funktion \(R(x)\) aus \(\mathfrak M\) so zuzuordnen, daß das Maximum \(L_R\) von \(|F(x)-R(x)|\) im Intervall \(\langle - 1, 1\rangle\) möglichst klein ausfällt. Sein Hauptergebnis lautet wie folgt: Die Funktion \[ S(x)=\frac{f(x)(b_0x^{n-\nu}+b_1x^{n-\nu-1}+ \cdots + b_{n-\nu})} {a_0x^{m-\mu}+b_1x^{m-\mu-1}+ \cdots + a_{m-\mu}}, \quad a_0 \neq 0, \quad b_0 \neq 0, \] deren Zähler und Nenner sich nicht kürzen lassen, liefert dann und nur dann das verlangte Minimum Maximorum \(L_S\), wenn es mindestens \(n+m-d+2\) der Größe nach geordnete Stellen des Intervalls \(\langle -1, 1\rangle\) gibt, wo die Differenz \(F(x)-S(x)\) abwechselnd die Werte \(+ L_S\) und \(-L_S\) annimmt (\(d\) bedeutet die kleinere der Zahlen \(\mu\) und \(\nu\)). Es sei \(F(x) = 1\) und \(S(x)\) die am wenigsten von 1 abweichende Funktion der Menge \(\mathfrak M\); \(L_S\) sei die entsprechende kleinste Abweichung. Verf. spricht ohne Beweis den Satz aus: Durchläuft \(U(x)\) alle rationalen Funktionen der Gestalt \[ U(x)=\frac{q_0x^n+q_1x^{n-1}+ \cdots + q_n} {p_0x^m+q_1x^{m-1}+ \cdots + p_m}, \] so nimmt \(\lambda_U=\max\limits_{-1\leqq x\leq 1}|\log f(x)-\log U(x)|\) seinen kleinsten Wert für \[ U(x)=\frac 1{\sqrt {1-L_S^2}}\,S(x) \] an, und dieser kleinste Wert ist \(\dfrac 12 \log\dfrac{1+L_s}{1-L_S}\). Aus dem ersten Satz ergibt sich, daß bei gegebenen \(n\), \(\sigma\) und \(\varrho\) das Maximum des absoluten Betrages der rationalen Funktion \[ x^n-\sigma x^{n-1} + \varrho x^{n-2}+p_3x^{n-2}+ p_3x^{n-3}+ \cdots + p_n + \frac{Ax+B}{ax^2+bx+c} \] im Intervall \(\langle - 1, 1\rangle\) stets \( \geqq |\lambda|2^{-n+1}\) ist, wo \(\lambda\) als die absolut kleinste Wurzel einer kubischen Gleichung mit von \(n\), \(\sigma\) und \(\varrho\) abhängigen Koeffizienten bestimmt ist. Ähnliche Ergebnisse für andere Typen rationaler Funktionen. (IV 3 D.)