A note on a system of equations with infinitely many unknowns. (Q1833728): Difference between revisions

Das Gleichungssystem \[ x_i + \sum\limits_{k=1}^\infty a_{ik}x_k = y_i \qquad (i=1,2,3,\ldots ) \tag{1} \] ordnet jedem Wertesystem \((x_i)\), für welches \(\sum\limits_{k=1}^\infty |x_k|^p\) mit \(1 < p\leqq 2\) konvergiert, ein ebensolches der \((y_i)\) zu, wenn \[ \sum\limits_{i=1}^\infty\left[\sum\limits_{k=1}^\infty |a_{ik}|^\tfrac{p}{p-1}\right]^{p-1} \tag{2} \] konvergiert. (2) werde fortan konvergent vorausgesetzt. Für \(i > i_0\) ist \(\dfrac{1}{2} < \dfrac{1}{1+a_{ii}} < 2\); setzt man \[ d_i = \begin{cases} \phantom{1+}1 & \text{ für } i\leqq i_0 \\ \dfrac{1}{1+a_{ii}} &,, \quad i>i_0 \end{cases} \] und multipliziert die \(i\)-te Gleichung von (1) mit \(d_i\), so ist offenbar, daß das erhaltene System \[ x_i + \sum\limits_{k=1}^\infty c_{ik}x_k = z_i \qquad (\delta_{ik}+c_{ik} = d_i(\delta_{ik}+a_{ik}), z_i=d_iy_i) \tag{3} \] dieselben Lösungen \((x_i)\) hat wie (1). Dieses äquivalente System (3) hat nun die Eigenschaften, daß die \textit{Koch}sche Determinante \(\Delta\) absolut konvergiert; wenn ferner \(\Delta\neq 0\) ist und \(\sum\limits_{i=1}^\infty |y_i|^p\) konvergiert, so gilt das gleiche für die nach der \textit{Cramer}schen Regel erhaltenen Lösungen \((x_i)\). Dies folgt ähnlich wie bei \textit{S. Bóbr} (M. Z. 10 (1921), 1- 11; F. d. M. 48, 1251 (JFM 48.1251.*)), indem die Konvergenz der bei der formalen Auflösung auftretenden Reihen unter Benutzung der \textit{Hölder}schen Ungleichung erwiesen wird. Nach ähnlichen Überlegungen folgt weiter: Die zu (1) inversen Gleichungen sind einem System äquivalent, dessen Elemente (2) genügen. Auch das zu (1) transponierte Gleichungssystem ist einem solchen äquivalent, welches den \((x_k)\)-Raum, in dem \(\sum\limits_{k=1}^\infty |x_k|^\tfrac{p}{p-1}\) konvergiert \(\left(\dfrac{p}{p-1}\geqq 2\right)\), in denselben Raum der \((y_i)\) überführt. Das transponierte System hat die analogen Eigenschaften wie (1), wenn man \(p\) durch \(\dfrac{p}{p-1}\) ersetzt, und \(i\) mit \(k\) vertauscht.