(Nota: Los elementos de la matriz se indexan a partir de 0 . Para evitar confusiones, no indexaré en una matriz sin paréntesis)
He aquí una aproximación ingenua a este problema, sin retrospectiva de la fórmula ya derivada.
Lema: Si M \in \mathbb F^{n \times n} es una matriz invertible y (\alpha_i),(\beta_i) son elementos distintos de cero de \mathbb F entonces la matriz formada por N := \left[(M)_{i,j}\alpha_i\beta_j\right] es invertible, y su inversa viene dada por N^{-1} = \left[(M^{-1})_{i,j}\beta_i^{-1}\alpha_j^{-1}\right]
Sea H_n sea el n -matriz de Hilbert, dada por H_n = \left[\frac1{i+j+1}\right]_{i,j} Entonces H_n es invertible y cada elemento de H_n^{-1} es un número entero.
Prueba: En H_n s están anidados unos dentro de otros: H_{n+1} = \begin{bmatrix} H_n & u \\ u^\intercal & 1/(2n+1)\end{bmatrix} Defina V_n := H_n - (2n+1)uu^\intercal . Entonces \begin{align*} V_n &= \left[\frac1{i+j+1} - \frac{2n+1}{(n+1+i)(n+1+j)}\right] \\ &= \left[\frac{(n-i)(n-j)}{(i+j+1)(n+1+i)(n+1+j)}\right] \\ &= \left[(H_n)_{i,j} \frac{n -i}{n+1+i} \frac{n-j}{n+1+j}\right] \end{align*} Es bien sabido que si V_n es invertible, entonces también lo es H_{n+1} pero la invertibilidad de V_n está intrínsecamente ligada a H_n por lo que un argumento inductivo da que H_n es invertible.
La inversa de H_{n+1} viene dada por la fórmula de inversión de Blockwise: H_{n+1}^{-1} = \begin{bmatrix} V_n^{-1} & -(2n+1)V_n^{-1}u \\ -(2n+1)u^\intercal V_n^{-1} & (2n+1) + (2n+1)^2u^\intercal V_n^{-1} u\end{bmatrix} Por el lema anterior, la inversa de V_n viene dada por V_n^{-1} = \left[(H_n^{-1}) \frac{(n+1+i)(n+1+j)}{(n-i)(n-j)} \right] Desde V_n^{-1} es un componente de H_{n+1} se puede utilizar para telescopiar las entradas de H_n^{-1} .
Por la simetría de H_n,V_n,H_n^{-1} basta con considerar la porción triangular superior de H_n . Podemos ver que eventualmente un elemento "interior" de H_n^{-1} "aterriza" en un elemento de borde de algún H_n^{-1} : Sea i,j<n con i \leq j . Entonces \begin{align*} (H_{n+1}^{-1})_{i,j} &= (V_n^{-1})_{i,j} = (H_{j+1}^{-1})_{i,j} \frac{(2j+2)(i+j+2)}{1(j+1-i)} \cdots \frac{(n+1+i)(n+1+j)}{(n-i)(n-j)} \\ &= (H_{j+1}^{-1})_{i,j} \frac{(n+1+i)!(n+1+j)!}{(2j+1)!(i+j+1)!} \frac{(j-i)!}{(n-i)!(n-j)!} \\ &= (H_{j+1}^{-1})_{i,j} \frac{(j-i)!}{(2j+1)!(i+j+1)!} \frac{(n+1+i)!(n+1+j)!}{(n-i)!(n-j)!(2i+1)!(2j+1)!} (2i+1)!(2j+1)! \\ &= (H_{j+1}^{-1})_{i,j} \frac{(j-i)!(2i+1)!}{(i+j+1)!} \binom{n+1+i}{n-i}\binom{n+1+j}{n-j} \\ &= (H_{j+1}^{-1})_{i,j} \frac{1}{\binom{i+j+1}{2i+1}} \binom{n+1+i}{n-i}\binom{n+1+j}{n-j} \end{align*} Esta es una pista muy fuerte sobre cuál debe ser la hipótesis inductiva.
Hipótesis inductiva P(n):
Cada elemento de H_n^{-1} es un número entero, y \binom{n+i}{n-1-i}\binom{n+j}{n-1-j} \mid (H_n^{-1})_{i,j} donde i,j \in \{0,\dots,n-1\} .
Definir la matriz A_n := \left[\frac{(H_n^{-1})_{i,j}}{\binom{n+i}{n-1-i} \binom{n+j}{n-1-j}}\right]_{i,j} P(n) es sólo la afirmación de que A_n tiene entradas enteras. Evidentemente P(1) retenciones. Supongamos que P(n) es válido para n . Examinaremos la validez de P(n+1) .
Hay tres casos:
- Supongamos que i,j < n . Esto corresponde a un elemento "interior (H_{n+1}^{-1})_{i,j} de H_{n+1}^{-1} .
Tenemos que \begin{align*} (H_{n+1}^{-1})_{i,j} &= (V_n^{-1})_{i,j} = (H_n^{-1})_{i,j} \frac{(n+1+i)(n+1+j)}{(n-i)(n-j)} \\ &= (A_n)_{i,j} \binom{n+i}{n-1-i}\binom{n+j}{n-1-j} \frac{(n+1+i)(n+1+j)}{(n-i)(n-j)} \\ &= (A_n)_{i,j} \binom{n+1+i}{n-i} \binom{n+1+j}{n-j} \end{align*} Establecimiento del caso interior. (También puede deducirse de esta ecuación que A_n están anidados unos dentro de otros).
-
El caso límite: Considere el borde -(2n+1)V_n^{-1}u . Sea i \in \{0,\dots,n-1\} En i ésimo elemento (H_{n+1}^{-1})_{i,n} en el borde viene dado por el producto punto \begin{align*} -(2n+1)(V_n^{-1}u)_i &= -(2n+1) \sum_{j=0}^{n-1} (V_n^{-1})_{i,j} (u)_j \\ &= -(2n+1) \sum_{j=0}^{n-1} (H_n^{-1})_{i,j} \frac{(n+1+i)(n+1+j)}{(n-i)(n-j)} \frac1{n+1+j} \\ &= -\frac{(n+1+i)(2n+1)}{n-i} \sum_{j=0}^{n-1} (H_n^{-1})_{i,j} \frac1{n-j} \\ &= -\frac{(n+1+i)(2n+1)}{n-i} \sum_{j=0}^{n-1} (A_n)_{i,j} \binom{n+i}{n-1-i}\binom{n+j}{n-1-j} \frac1{n-j} \\ &= -\frac{n+1+i}{n-i}\binom{n+i}{n-1-i} \sum_{j=0}^{n-1} (A_n)_{i,j} \frac{2n+1}{n-j} \binom{n+j}{n-1-j}\\ \end{align*} Ici la gente demostró que el multiplicador en la suma es un número entero, por lo que queda por demostrar que \frac{n+1+i}{n-i}\binom{n+i}{n-1-i} = \binom{n+i+1}{n-i} = \binom{n+i+1}{n-i}\binom{n+n+1}{n-n} también es un número entero.
-
El elemento de esquina (H_{n+1}^{-1})_{n,n} viene dada por la forma cuadrática: \begin{align*} (H_{n+1}^{-1})_{n,n} - (2n+1) &= (2n+1)^2 \sum_{i=0}^{n-1}\sum_{j=0}^{n-1} \frac{(H_n^{-1})_{i,j}}{(n-i)(n-j)} \\ &= \sum_{i=0}^{n-1}\sum_{j=0}^{n-1} (A_n)_{i,j} \frac{(2n+1)(2n+1)}{(n-i)(n-j)}\binom{n+i}{n-1-i}\binom{n+j}{n-1-j} \end{align*} La última suma es una suma de enteros, y por tanto un entero. Trivialmente se cumple que \binom{n+1+n}{n-n}\binom{n+1+n}{n-n} \mid (H_{n+1}^{-1})_{n,n} Establecidos los tres casos, la prueba se completa por inducción.