Über eine Klasse von Funktionen, die die Stieltjesschen Kettenbrüche als Sonderfall enthält. (Q1434879)

Aus den Beiwerten der positiv definiten, nicht singulären quadratischen Formen \[ \sum_{i,k=1}^{n} L_{ik} x_i x_k, \qquad \sum_{i,k=1}^{n} R_{ik} x_i x_k, \qquad \sum_{i,k=1}^{n} D_{ik} x_i x_k \] bilde man mit dem Parameter \(\lambda\) die Größen \[ A_{ik}=\lambda L_{ik}+R_{ik}+\lambda^{-1} D_{ik}; \] die Diskriminanten der quadratischen Formen \(\sum\limits_{i,k=1}^{n} A_{ik} x_i x_k\) bzw. \(\sum\limits_{i,k=2}^{n} A_{ik} x_i x_k\) seien \(a\) bzw. \(a_{11}\). Verf. untersucht dann die rationale Funktion \(F(\lambda)=aa_{11}^{-1}\), namentlich auf die Lage ihrer Nullstellen und Pole. In der Klasse A dieser Funktionen \(F\) beginnt er mit derjenigen Sonderklasse B, bei welcher alle \(L_{ik}=0\) sind. Für die Zugehörigkeit von \(F\) zu B erweist sich als notwendig und hinreichend, daß \(F\) lauter verschiedene negative Nullstellen und Pole besitzt, die sich gegenseitig trennen, und daß das Verhältnis der Beiwerte der höchsten Potenzen von \(\lambda\) im Zähler und Nenner positiv ist. -Die Eigenschaften der Funktionen B deutet Verf. höchst anschaulich an Hand gewisser der Analysis situs angehöriger Linienzüge, der Bilder bestimmter elektrotechnischer Schaltungen -- wie denn überhaupt die algebraische Fragestellung einer elektrotechnischen Aufgabe entstammt. An den Zügen läßt sich die Verwandlung der \(R_{ik}\) und \(D_{ik}\) bei den für die Frage bedeutsamen Verwandlungen geeigneter Urveränderlicher verfolgen. Es gibt Züge, die die Ermittelung von \(F\) ohne Benutzung von Determinanten gestatten. Dadurch kommt eine von den quadratischen Formen ganz unabhängige Erzeugung der Funktionen B zustande: Die Anwendung zweier in den Zügen deutbarer Verknüpfungsregeln auf zwei Funktionen \(F_1\) und \(F_2\) von B, nämlich (I) der Vorschrift \(F_1+F_2\), (II) der Vorschrift \((F_1^{-1}+F_2^{-1})^{-1}\), liefert wieder eine Funktion von B. Die unbegrenzte abwechselnde Anwendung von (I) und (II) führt zu den \textit{Stieltjes}schen Kettenbrüchen und zeigt, daß sich die Funktionen in B von solchen nur um feste positive Summanden unterscheiden. Wenn man den Erzeugenden von B die positiven Vielfachen \(L_p \lambda\) von \(\lambda\) hinzufügt, erhält man Funktionen der Klasse A, aber nicht alle. Gehören \(F_1\) und \(F_2\) zu A, so auch \(F_1\int\limits_{0}^{\infty} (F_1 F_2^{-1}+x)^{-1}\,d\psi(x)\), wo \(\psi(x)\) eine wachsende Funktion ist. Gehört \(F\) zu A, so auch \(F^{-1}\). -Damit \(F\) zu A gehöre, müssen alle Nullstellen und Pole von \(F\) einen negativen Realteil besitzen, ferner muß bei rein imaginärem \(\lambda\) der Realteil von \(F\) positiv sein -- Bedingungen, die nicht unabhängig voneinander sind. Was notwendige \textit{und} hinreichende Bedingungen betrifft, so gibt Verf. diese im Falle \(n=2\) der Funktion \[ F(\lambda)=\frac{a_0\lambda^4+a_1\lambda^3+a_2\lambda^2+a_3\lambda+a_4} {b_1\lambda^3+b_2\lambda^2+b_3\lambda}, \quad a_0>0, \] mit komplexen Polen und bei den Abkürzungen \[ V_1 = a_1 b_1 - a_0 b_2, \quad V_2 = a_2 b_2 - a_1 b_3 -a_3 b_1, \quad V_1 = a_3 b_3 - a_4 b_2 \] wie folgt an: \[ a_4>0, \;b_1>0, \;b_2>0, \quad V_1x_1^2+V_2x_1x_2+V_3x_2^2\quad \text{definit }{}>0. \]