Solotareff’s drittes Problem

E. I. SOLOTAREff hat sich in [Sol32] mit mehreren praktischen Problemen der gleichmäßigen bzw. TSCHEBYSCHEff-Approximation auseinandergesetzt, von denen insbesondere das dritte Problem hier von Interesse sei.⁶² Es widmet sich der Suche nach einer gebrochen rationalen Funktion $f (x) = U(x)∕V(x)$ , welche im Intervall $√- |x|≤ k$ am wenigsten von Null abweicht (mit $0< k < 1$ ), dagegen für $√ - |x|≥ 1∕ k$ am stärksten von Null verschieden ist. Dabei sollen $U(x)$ und $V (x)$ algebraische Polynome der Form

sein, deren Koeffizienten $cυ$ und $dμ$ bzw. Nullstellen der Linearfaktordarstellung entsprechend der Zielvorgabe (für die Fehlerfunktion, vgl. Toleranzschema in Abbildung 21)

Die Lösung dieser Approximationsaufgabe bzw. der nach 177 beruht auf JACOBI’schen elliptischen Funktionen in Verbindung mit der ersten elliptischen Haupttransformation. Um den speziellen Intervallgrenzen in SOLOTAREff’s drittem Problem Rechnung zu tragen, müssen die Achsen allerdings noch passend skaliert werden. Dazu setzt man in den rationalen Transformationsbeziehungen 140 und 125

bzw. nach den Parameterdarstellungen 124 und 139 der ersten elliptischen Haupttransformation:

Die Verschiebung der ehemaligen Extremwerte $y = ±1$ und $−1 y= ± λ$ hin zu $1∕2 ± λ$ und $±λ −1∕2$ entspricht dem Toleranzschema nach Abbildung 21, wenn man die Verläufe der ersten elliptischen Haupttransformation in den zugehörigen Abbildungen 15 und 17 betrachtet.

Passt man auch die Berechnungsformeln 138 und 146 für $λ$ an, dann ist auch $√-- ε = λ$ leicht zu ermitteln.

Berücksichtigt man für den Fall eines ungeraden $n$ die Gleichung 136 und für gerades $n$ entsprechend 146 in der Form

Bezüglich des SOLOTAREff’schen Ausgangspunktes nach Beziehung 178 kann man nun die Unbestimmten $bν$ angeben.

Wegen der Skalierung der x-Achse verschieben sich natürlich auch alle Nullstellen und Pole nach den Formeln 128 und 127 ( $n$ ungerade) sowie 141 und 142 ( $n$ gerade).

Die Berechnungsformeln 126 und 141 für die Koeffizienten $aν$ bleiben unverändert bei:

Beweis. Der Beweis der Bestapproximation beruht auf TSCHEBYSCHEff’s Alternantensatz [Mei64, Satz 23], welcher angewandt auf die Ausgangspolynome 176 in kurzer Form lautet [Mei64, § 6]:

Die Funktion $f(x;k) = U(x)∕V(x)$ stellt dann eine Minimallösung dar, wenn die absolute Fehlerfunktion

( √ - { f(x;k) (|x|≤ k) ε(x) = --1--- 1-- ( f(x;k) (|x|≥ √k )

im Approximationsintervall genau $m + n+ 3$ Extremalpunkte hat,⁶³ an denen sie alternierend den Wert $±ε$ annimmt. Berücksichtigt man den Polynomgrad in Zähler und Nenner der Lösungsformel 179, dann gilt:

{ n − 1 (n ungerade) m= . n (n gerade)

Betrachtet man nun einfach die Funktionsverläufe der ersten elliptischen Haupttransformation in den Abbildungen 15 und 17, dann ist zu erkennen, daß $ε(x)$ genau $n+ 1$ Alternantenpunkte im Intervall $0 ≤ |x|≤ k1∕2$ und dazu nocheinmal $m + 2$ solcher Punkte im Intervall $k−1∕2 ≤ |x|≤ ∞$ hat.

Aufgrund ihrer Anzahl sowie des alternierenden Fehlers $√ -- ± λ$ an den Stellen $x = ±sn(νK ∕n;k)$ ist die TSCHEBYSCHEff’sche Alternantenbedingung erfüllt und die Funktion $f (x;k)$ stellt folgerichtig eine Bestapproximation dar. __

6 SOLOTAREff’s drittes Problem