Over eenige determinanten. (Q5916739): Difference between revisions

Es werden drei sehr allgemeine Determinantensätze bewiesen, aus denen sich eine Reihe von speziellen Formeln ergeben, die zum Teil in der Literatur bekannt sind. \(e_{rs}\) sei das Element in der \(r\)-ten Zeile und \(s\)-ten Kolonne einer \(n\)-reihigen Determinante \(|e_{rs}|\), \(a_1,a_2,\ldots, a_{n-1}, x_1, x_2, \ldots, x_{n-1}, y_1,y_2,\ldots, y_n\) seien gewöhnliche komplexe Größen und \[ Y=\prod_{r<s}(y_r-y_s) \] sei das Differenzenprodukt der \(y_i\). Dann gelten die Sätze: I. Ist \[ e_{r,s+1}=a_s(y_r-x_r)e_{rs} \tag{1} \] dann ist \(|e_{rs}|\) gleich dem Produkt der Elemente der ersten Kolonne mal \(a_1^{n-1}a_2^{n-2}\ldots a_{n-1}^1Y\). II. Gilt wieder (1), und bedeutet \(\varphi_s(y)\) ein Polynom vom Grade \(\leqq n - s\) (\(s= 1, 2,\ldots, n\)), \(x_n\) eine willkürliche Zahl, dann ist \[ |e_{rs}\varphi_s(y)|=|e_{rs}|\varphi_1(x_1)\varphi_2(x_2)\ldots \varphi_n(x_n). \] Mit Hilfe von I und II werden Formeln für Determinanten abgeleitet, deren Elemente durch \(\varGamma\)-Funktionen und Binomialkoeffizienten dargestellt sind, und wovon sich spezielle Fälle bereits bei \textit{V. v. Zeipel}, \textit{Th. Muir}, \textit{E. d'Ovidio} und \textit{F. J. Studnička} finden. Ein dritter Satz bringt eine Verallgemeinerung der (aus I und II sich ergebenden) Formel von \textit{Cauchy}: \[ \left|\frac 1{y_r-x_s}\right|=\frac {\prod\limits_{r<s} (y_r-y_s)(x_s-x_r)}{\prod (y_r-x_s)}\quad (x_i \neq y_k). \] III. Gilt wieder (1) mit \(a_s \neq 0\), ist \(\psi_s(y)\) (\(s = 1, 2, \ldots,n- 1)\) ein Polynom vom Grade \(\leqq n - s - 1\), ist \(\psi_n(y)= 1\) und bedeutet \(f(y)\) eine Funktion, die überall in der komplexen \(y\)-Ebene -- bis auf höchsten endlich viele Punkte -- eindeutig und analytisch ist, und für die die Punkte \(y_1, y_2, \ldots, y_n\) reguläre Punkte sind, so gilt \[ |e_{rs}\psi_s(y_r);e_{r1}f(y_r)|=\frac{|e_{rs}\psi_s(y_r)|}{a_1a_2 \ldots a_{n-1}}S\left( \frac{f(y)}{(y-y_1)(y-y_2)\ldots (y-y_n)}\right). \] Hierbei bedeutet links das Zeichen \(|e_{rs};e_r|\) die Determinante, die aus \(|e_{rs}|\) entsteht, wenn das \(r\)-te Element der letzten Kolonne durch \(e_r\) ersetzt wird. Rechts bedeutet \(S(g(y))\) die Summe aller Residuen von \(g(y)\) ohne die Residuen in den Punkten \(y_1, y_2, \ldots, y_n\). Auch aus der Formel von Satz III ergibt sich eine große Zahl spezieller Determinantenformeln.