Dejemos que $n$ sea un número entero positivo. Sea $A$ sea una matriz cuadrada. Sea $I$ sea la matriz identidad con el mismo tamaño que $A$ .
Quiero simplificar $f_n(A) = I + A + A^2 + A^3 + A^4 + \cdots + A^n$
Ahora sé que para un número complejo $z$ tenemos $1 + z + z^2 + z^3 + z^4 + \cdots + z^n= \dfrac{z^{n+1}-1}{z-1}$ cuando $z$ no es igual a $1$ ... e incluso si $z=1$ entonces calculando el límite obtenemos la respuesta correcta : $n+1$ . Esto es bien conocido como la serie geométrica y conduce a las llamadas ideas q-analógicas.
Pero para las matrices $A$ esto no funciona si el determinante de $A-I$ es $0$ porque entonces $\dfrac{A^{n+1} - I}{A - I}$ no está bien definida.
Esto me frustra mucho. Ahora bien, he oído hablar de los pseudoinversos, pero no sé mucho sobre ellos e incluso me pregunto si pueden ser de alguna ayuda en este caso.
También intenté algunas cosas de cálculo y fracciones continuas, pero nada me funcionó.
También consideré este problema para matrices infinitas (cuadradas) pero supongo que es análogo a este problema y también su solución.
0 votos
El hecho de que una matriz no tenga inversa no excluye la posibilidad de dividirla por ella; sólo significa que sólo algunas matrices pueden dividirse por ella. Que funcione bien es otra cuestión.
0 votos
Si $A$ es diagonalizable, será fácil calcular $f_n(A)$ . De lo contrario, aún puedes jordanizarlo, pero será más tedioso.
0 votos
@julien Interesante. Pero eso fallará para matrices infinitas la mayoría de las veces no ?
0 votos
¿Matrices infinitas? Entonces debes ser más específico. ¿Estás interesado en, digamos, $B(H)$ operadores lineales acotados en el espacio de Hilbert (son matrices infinitas bien comportadas). Entonces usted quiere que su operador $A$ ser normal hacerlo bien con la ayuda del teorema espectral.
0 votos
@julien Estaba pensando en las matrices de Carleman.
0 votos
@mick : sin suponer $A-I$ es no singular o diagonalizable, no parece que haya una buena manera de simplificarlo en general.
0 votos
@mick : No sé lo que es una matriz de Carleman, pero si realmente estás interesado principalmente en matrices de Carleman, probablemente deberías mencionarlo en la pregunta (no sólo en un comentario).