power of a diagonalizable matrix

Proposition

Let 20250206-power_of_a_diagonalizable_matrix_e97d8396e8125bc021268f9f190592002d144779.svg be a diagonalizable Matrix with

20250206-power_of_a_diagonalizable_matrix_0eee2d87585ca6040eda01012fbb57c6c5cc3329.svg

where

20250206-power_of_a_diagonalizable_matrix_412ad3a4c603f0d200db97d6a0811566c0728367.svg

Then the power 20250206-power_of_a_diagonalizable_matrix_a7d1d9fbbfbc46642fd78952594095a7ac16ed71.svg is given by

20250206-power_of_a_diagonalizable_matrix_8d3ac04cec7c135a3e0a00f90cb61b5d091c8e87.svg

where

20250206-power_of_a_diagonalizable_matrix_7ccdd1ef5f4636e4e84867d2790cbc3a44cd3770.svg

In particular 20250206-power_of_a_diagonalizable_matrix_a7d1d9fbbfbc46642fd78952594095a7ac16ed71.svg is also diagonalizable and one can give an explicite description of 20250206-power_of_a_diagonalizable_matrix_a7d1d9fbbfbc46642fd78952594095a7ac16ed71.svg by computing 20250206-power_of_a_diagonalizable_matrix_364a7a2aab28f5a951ba0bbaee84764d6d93daee.svg and then taking the product.

Proof

induction basis

for 20250206-power_of_a_diagonalizable_matrix_275d48aa103dafa90843f08eb6c3bb6388875d62.svg (or 20250206-power_of_a_diagonalizable_matrix_576397ad27af3641e632e1cf9eb0893c722f690c.svg) this follows immediately

induction step

Suppose

20250206-power_of_a_diagonalizable_matrix_a70269c579bcbcd0720245dbc1f00a971ece0de5.svg

then

20250206-power_of_a_diagonalizable_matrix_bb807eb352c95f53f5d8a16167d80e039405affb.svg

Date: nil

Author: Anton Zakrewski

Created: 2025-02-06 Do 08:38