(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.