On the transformation of some classes of infinite matrices into diagonal matrices. (Q2621669)

Es werden Klassen von unendlichen Matrizen \(A\) angegeben, mit der Eigenschaft, daß\ es zu \(A\) eine Matrix \(H\) gibt mit einer eindeutigen Reziproken \(H^{-1}\) derart, daß\^^M \[ AH-HD=0 \tag{1} \] gilt, wo \(D\) eine Diagonalmatrix bedeutet. (1) wird durch folgende Matrizen \(A=(a_{ik}), H=(x_{ik}), D=(d_k)\) erfüllt: I. \(f_i,g_i,h_i\) seien gegeben, daß\^^M \[ S=\sum \limits _{i=1}^{\infty }f_ig_i \quad \text{konvergiert}, \quad \varDelta =\sum \limits _{i=1}^{\infty }f_ih_i \quad \text{konvergiert} \] und \(\varDelta \neq 1\) ist. Dann ist: \[ \begin{gathered} a_{ni}= \begin{cases} -f_n\left ( g_i+\dfrac {h_id_n}{\varDelta -1}\right ) &\text{für} \quad i\neq n,\\ -f_n\left ( g_n+\dfrac {h_nd_n}{\varDelta -1}\right ) +d_n &\text{für} \quad i=n; \end{cases} \\ y_{ik}=\begin{cases} f_ih_k &\text{für} \quad i\neq k,\\ f_kh_k-1 &\text{für} \quad i=k; \end{cases} \\ d_k=\frac {g_k}{h_k}-S. \end{gathered} \] Falls \(\sum \limits _{i=1}^{\infty }| f_ih_i| \) konvergiert, ist \(H^{-1}\) eindeutig und \[ x_{ni}^{-1}=\begin{cases} \dfrac {f_nh_i}{\varDelta -1} &\text{für} \quad i\neq n,\\ \dfrac {f_nh_n}{\varDelta -1}-1 &\text{für} \quad i=n. \end{cases} \] II. \(D=(d_k)\) und \((y_{ik})\) seien so gegeben, daß\^^M \[ \sum \limits _{i=1}^{\infty }y_{ni}d_iy_{ik}=0 \quad \text{und}\quad \sum \limits _{i=1}^{\infty }y_{ni}y_{ik}=0 \] gilt. Dann ist \[ \begin{gathered} a_{ni}=\begin{cases} y_{ni}(d_n-d_i) &\text{für} \quad i\neq n,\\ d_n &\text{für} \quad i=n; \end{cases} \\ x_{ik}=\begin{cases} y_{ik} &\text{für} \quad i\neq k,\\ y_{kk}-1 &\text{für} \quad i=k. \end{cases} \end{gathered} \] Es sei \[ \sum \limits _{i=1}^{\infty }u_{ni}e_iu_{ik}=u_{nk} \sum \limits _{i=1}^{\infty }u_{ii}e_i, \quad \sum \limits _{i=1}^{\infty }u_{ni}f_iu_{ik}=u_{nk} \sum \limits _{i=1}^{\infty }u_{ii}f_i; \] ferner seien \[ S=\sum \limits _{i=1}^{\infty }u_{ii}e_i, \quad \varDelta =\sum \limits _{i=1}^{\infty }u_{ii}f_i; \] konvergent und \(\varDelta \neq 1\). Dann ist \[ \begin{aligned} a_{ni} &=\begin{cases} u_{ni}\left ( e_i-\dfrac {f_id_u}{\varDelta -1}\right ) &\text{für} \quad n\neq i,\\ u_{nn}\left ( e_n-\dfrac {f_nd_n}{\varDelta -1}\right ) +d_n &\text{für} \quad n=i; \end{cases} \\ x_{ik} &=\begin{cases} u_{ik}f_k &\text{für} \quad i\neq k,\\ u_{kk}f_k-1 &\text{für} \quad i=k; \end{cases} \\ d_k &=S-\dfrac {e_k}{f_k}. \end{aligned} \] Der Beweis wird so geführt: Aus den Voraussetzungen wird rechnerisch verifiziert, daß\ es zwei Matrizen \(B\) und \(C\) mit den Eigenschaften \[ BH-HD=D,\quad CH=D,\quad A=B-C \] gibt. - Schließlich gilt, wenn \[ S=\sum \limits _{i=1}^{\infty }d_if_ih_i\neq 1 \] konvergiert, und wenn, \(b_{ii}=-f_ig_i\) gesetzt, \(\sum \limits _{i=1}^{\infty }b_{ii}^2\) konvergiert: \[ \begin{gathered} a_{ni}=\begin{cases} -f_n\left ( g_i+\dfrac {h_id_id_n}{S-1}\right ) &\text{für} \quad n\neq i,\\ -f_n\left ( g_n+\dfrac {h_nd_n^2}{S-1}\right ) +d_n &\text{für} \quad n=i; \end{cases} \\ x_{in}=\begin{cases} f_ih_k &\text{für} \quad i\neq k,\\ f_kh_k-\dfrac {1}{d_k} &\text{für} \quad i=k; \end{cases} \\ d_k=\dfrac 12\left [ \sum \limits _{i=1}^{\infty }b_{ii} +\left \{ \sum \limits _{i=1}^{\infty }b_{ii}^2+\dfrac {4g_k}{h_k}\right \} ^ {\tfrac 12}\right ]. \end{gathered} \] Zum Beweis wird \[ BH-HD=1, \quad H^{-1}H=1,\quad A=B-H^{-1} \] verifiziert.