Loading [MathJax]/extensions/TeX/mathchoice.js

28 votos

Calcular el n-ésima potencia de triangular 3×3 matriz

Tengo la siguiente matriz

[123012001]

me piden calcular el n-ésima potencia (para expresar cada elemento como una función de la n). No sé en absoluto qué hacer. Traté de calcular algunos valores manualmente para ver algunos de patrón y deducir una expresión general, pero que no dio nada (sobre todo para la parte de arriba a la derecha). Gracias.

42voto

Hengrong Du Puntos 541

Escribir esta matriz como la siguiente: \begin{equation}
\left[ 
\begin{matrix}
1 & 2&3\\
0 & 1 & 2\\
0 & 0 &1
\end{de la matriz}
 \right] = I + 2 J+ 3 J^{2}.
\end{equation}
donde \begin{equation}
I  = \left[ 
\begin{matrix}
1 & & \\
&1 & \\
& & 1
\end{de la matriz}
 \right], ~ J = \left[ 
\begin{matrix}
0& 1 &0 \\
0 &0 & 1 \\
0 & 0& 0
\end{de la matriz}
 \right],~ J^2 =
 \left[ 
\begin{matrix}
0& 0 &1\\
0 & 0 &0\\
0& 0 & 0
\end{de la matriz}
 \right], ~ J^{3}=0.
\end{equation}
Con esta relación se puede expandir el poder de la matriz en la suma de I, J y J2.

38voto

Ian Miller Puntos 3708

La computación de los primeros poderes debe permitir que usted para encontrar un patrón para los términos. A continuación son algunos de los términos:

(123012001),(1410014001),(1621016001),(1836018001),(110550110001),(112780112001)

Todos, pero la esquina superior derecha son triviales, por lo que permite centrarse en ese patrón. (Aunque si se mira con cuidado se debe reconocer los términos.)

Términos: 3,10,21,36,55,78

Primera diferencia: 7,11,15,19,23

Segunda diferencia: 4,4,4,4

La segunda diferencia es una constante de la fórmula debe ser una ecuación cuadrática. La segunda diferencia es 4, entonces es en la forma 2n2+bn+c. El examen de los patrones da la fórmula de 2n2+n=n(2n+1).

Por lo que el nth de la potencia está dada por:

(12nn(2n+1)012n001)

La razón por la que dijo que se debe reconocer el patrón es debido a que es cada segundo término de esta secuencia: 1,3,6,10,15,21,27,37,45,55,66,78, que es la triangular números.

32voto

Hurkyl Puntos 57397

Definir

J=[023002000]

así que el problema es calcular los (I+J)n. Las cosas importantes a destacar aquí

  • I J commute
  • J3=0

que permite a las poderosas siguientes trucos: el primer punto nos permite ampliar con el teorema del binomio, y el segundo punto nos permite truncar a los primeros términos:

(I+J)^n = \sum_{k=0}^n \binom{n}{k} I^{n-k} J^k = I + nJ + \frac{n(n-1)}{2} J^2


De manera más general, para cualquier función de f que es analítica en 1, (como cualquier polinomio), si se extienden a las matrices a través de la expansión de Taylor, a continuación, en las condiciones anteriores, su valor en I+J está dado por

f(I+J) = \sum_{k=0}^\infty f^{(k)}(1) \frac{J^k}{k!} = f(1) I + f'(1) J + \frac{1}{2} f''(1) J^2

Como ejemplos de cosas cuyo resultado se puede comprobar simplemente (por lo que aún puede utilizar el método, incluso si usted se siente incómodo con él, porque se puede comprobar el resultado), se puede calcular la inversa por

(I+J)^{-1} = I - J + J^2 = \begin{bmatrix} 1 & -2 & 1\\ 0 & 1 & -2\\ 0 & 0 & 1 \end{bmatrix}

y si quieres una raíz cuadrada, usted puede obtener

\sqrt{I+J} = I + \frac{1}{2} J - \frac{1}{8} J^2 = \begin{bmatrix} 1 & 1 & 1\\ 0 & 1 & 1\\ 0 & 0 & 1 \end{bmatrix}

(En realidad, éstos son casos especiales de (I+J)^n por la generalizada del teorema binomial para los valores de n que no son números enteros no negativos)

16voto

MarlonRibunal Puntos 1732

Vamos I=\begin{pmatrix}1&0&0\\0&1&0\\0&0&1\end{pmatrix}, A=\begin{pmatrix}0&1&0\\0&0&1\\0&0&0\end{pmatrix} y B=\begin{pmatrix}0&0&1\\0&0&0\\0&0&0\end{pmatrix}. A continuación,M=I+2A+3B.

Se puede demostrar que para cualquier n, M^n puede ser escrito como M^n=\lambda_n I + a_n A + b_n B (porque es triangular superior y la simetría a lo largo de la diagonal ascendente).

Por lo M^{n+1}=M^nM=(\lambda_n I + a_n A + b_n B) (I + 2A + 3B) = \dots

El uso de este, calcular los \lambda_n, y, a continuación, a_n y, finalmente,b_n.

13voto

Markus Scheuer Puntos 16133

Aquí es otra variación basa en los paseos en los gráficos.

Podemos interpretar la matriz de A=(a_{i,j})_{1\leq i,j\leq 3} con \begin{align*} A= \begin{pmatrix} 1 & 2 & 3\\ \color{grey}{0} & 1 & 2\\ \color{grey}{0} & \color{grey}{0} & 1 \end{pmatrix} \end{align*} como la matriz de adyacencia de un grafo con tres nodos P_1,P_2P_3, y para cada entrada de a_{i,j}\neq 0 con un borde dirigido de P_i P_jponderado con a_{i,j}.

 enter image description here

Nota: a la hora de calcular el n-ésima potencia de a A^n=\left(a_{i,j}^{(n)}\right)_{1\leq i,j\leq 3} podemos interpretar el elemento a_{i,j}^{(n)} A^n como el número de (ponderado) de caminos de longitud nP_iP_j. Las entradas de A=(a_{i,j})_{1\leq i,j\leq 3} es el promedio ponderado de caminos de longitud 1P_iP_j.

Ver, por ejemplo, el capítulo 1 de los Temas en la Combinatoria Algebraica por Richard P. Stanley.

Veamos la gráfica correspondiente y comprobar los ámbitos de la longitud de la n.

  • Vemos que no hay dirigida bordes de P_2 P_1y no dirigida bordes de P_3 P_2e deP_3P_1, lo que implica que no hay caminos de longitud n. Por eso, A^n se ha debido a la propia estructura de triángulo de A necesariamente ceros en los mismos lugares como A. \begin{align*} A^n= \begin{pmatrix} . & . & .\\ \color{grey}{0} & . & .\\ \color{grey}{0} & \color{grey}{0} & . \end{pmatrix} \end{align*}

  • También es fácil considerar los ámbitos de la longitud de la nP_iP_i. Sólo hay una posibilidad de bucle a lo largo del vértice ponderado con 1P_iP_i, por lo que las entradas a_{i,i}^{(n)} \begin{align*} 1\cdot 1\cdot 1\cdots 1 = 1^n=1 \end{align*} y obtenemos \begin{align*} A^n= \begin{pmatrix} 1& . & .\\ \color{grey}{0} & 1 & .\\ \color{grey}{0} & \color{grey}{0} & 1 \end{pmatrix} \end{align*}

y ahora la parte más interesante

  • P_1 P_2:

    Los paseos de la longitud de la n P_1 P_2puede comenzar con cero o más bucles enP_1, seguido por un paso (weigthed con 2) P_1 P_2y, finalmente, cero o más bucles en P_2. Todos los bucles son ponderados con 1. Hay n posibilidades para andar este camino \begin{align*} a_{1,2}^{(n)}=2\cdot 1^{n-1}+1\cdot 2\cdot 1^{n-2}+\cdots +1^{n-2}\cdot 2\cdot 1+1^{n-1}\cdot 2=2n \end{align*}

  • P_2 P_3:

    La simetría es el triunfo. Cuando se mira en el gráfico se observa la misma situación que antes de P_1 P_2y la conclusión de

\begin{align*} a_{2,3}^{(n)}=2n \end{align*}

  • P_1 P_3:

    Aquí hay dos tipos diferentes de estilos de longitud de la n posible. El primer paseo utiliza el peso 3 borde de P_1 P_3como hicimos al pie de P_1 P_2a lo largo del peso 2 de ventaja. En esta parte se da, por tanto, \begin{align*} 3\cdot 1^{n-1}+1\cdot 3\cdot 1^{n-2}+\cdots +1^{n-2}\cdot 3\cdot 1+1^{n-1}\cdot 3=3n\tag{1} \end{align*} El otro tipo de pie de longitud n utiliza el salto por P_2. Podemos observar que es una especie de concatenación de los paseos que lo considere antes de P_1 P_2e deP_2P_3. De hecho, hay \binom{n}{2} posibilidades para colocar dos 2's en un pie de longitud n. Todos los demás pasos son los bucles en P_1,P_2 P_3 y obtenemos \begin{align*} \binom{n}{2}\cdot 2\cdot 2=2n(n-1)\tag{2} \end{align*} Sumando (1) y (2) da \begin{align*} a_{1,3}^{(n)}=3n+2n(n-1)=n(2n+1) \end{align*}

y se obtiene finalmente

\begin{align*} A^n=\left(a_{i,j}^{(n)}\right)_{1\leq i,j\leq 3}=\begin{pmatrix} 1& 2n & n(2n+1)\\ \color{grey}{0} & 1 & 2n\\ \color{grey}{0} & \color{grey}{0} & 1 \end{pmatrix} \end{align*}

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X