Finding the Pattern in Matrix Induction

[boneill3]

Homework Statement

Given the following matrix A find Aⁿ


<br /> A=<br /> \[ \left( \begin{array}{ccc}<br /> a &amp; -b \\<br /> b &amp; a \\<br /> \end{array} \right)\] <br /> <br />

Homework Equations

I am using matrix multiplication and eventually mathematical induction

The Attempt at a Solution

First I find A²

<br /> A^2=<br /> \[ \left( \begin{array}{cc}<br /> a &amp; -b \\<br /> b &amp; a \\<br /> \end{array} \right) <br /> \times \left( \begin{array}{cc}<br /> a &amp; -b \\<br /> b &amp; a \\<br /> \end{array} \right)\]<br /> <br /> <br />



<br /> <br /> A^2=<br /> \[ \left( \begin{array}{cc}<br /> a^2-b^2 &amp; -2ab \\<br /> 2ab &amp; a^2-b^2 \\<br /> \end{array} \right) <br /> <br />




<br /> <br /> A^3=AA^2<br /> \[ \left( \begin{array}{cc}<br /> a &amp; -b \\<br /> b &amp; a \\<br /> \end{array} \right) <br /> \times \left( \begin{array}{cc}<br /> a^2-b^2 &amp; -2ab \\<br /> 2ab &amp; a^2-B^2 \\<br /> \end{array} \right)\]<br /> <br />




<br /> <br /> A^3=<br /> \[ \left( \begin{array}{cc}<br /> a(a^2-3b^2) &amp; -b(3a^2-b^2) \\<br /> b(3a^2-b^2) &amp; a(a^2-3b^2) \\<br /> \end{array} \right) <br /> <br />



<br /> <br /> A^4=AA^3<br /> \[ \left( \begin{array}{cc}<br /> a &amp; -b \\<br /> b &amp; a \\<br /> \end{array} \right) <br /> \times \left( \begin{array}{cc}<br /> a(a^2-3b^2) &amp; -b(3a^2-b^2) \\<br /> b(3a^2-b^2) &amp; a(a^2-3b^2) \\<br /> \end{array} \right) <br /> <br />



<br /> <br /> A^4=<br /> \[ \left( \begin{array}{cc}<br /> a^4-6a^2b^2+b^4 &amp; -4a(a^2-b^2)b \\<br /> 4a(a^2-b^2)b &amp; a^4-6a^2b^2+b^4 \\<br /> \end{array} \right) <br /> <br />

now I am trying to look for a patern so that I can use that to find Aⁿ

I see that The diagonals are the same except that row 1 column 2 is negative.

for row 1 column 1 I think it might be something like

<br /> <br /> a^n (n-1+n)a^{n-2}<br /> <br />

and for row 2 column 1 I think it may be

<br /> <br /> na^{n-1}b-nab^{n-1}<br /> <br />

As they are the same diagonals I can use the same ones except for row 1 column 2 which I make negative.

If I could someone can see a pattern I would greatly appreciate it as Then I can try to prove it using induction.

regards
Brendan

 

[kNYsJakE]

If a matrix A is given, you probably already had learn that you can set a matrix A as A=QDQ^{-1}

where Q is an appropriate matrix and D is a diagonal matrix.

Now A^{n}=(QDQ^{-1})(QDQ^{-1})\cdots(QDQ^{-1})
=QD^{n}Q^{-1}

It should be pretty straight from this point.

I hope it helped =)

 

[boneill3]

Thankyou for your help.
It is a bit advanced for me though as I'm not up too that level yet.
I have just started linear Algebra so we have been doing exercices to show that certain patterns can form when doing matrix powers.
So I am supposed to find the general expression just by recognising a pattern.
Perhaps my calculations are wrong.
regards
Brendan

 

[boneill3]

I was looking through some class notes examples. I've come up with a pattern which is close but but the sign of the expression is wrong.

a = [(a+b)^n + (a-b)^n] / 2
b = [(a+b)^n - (a-b)^n] / 2

-b = - [(a+b)^n - (a-b)^n] / 2

I'll take a_1,1 as example.

A1_1,1 = a A²_1,1 = a²-b²
A³_1,1= a(a²-3b²)


However when I use the general expression a = [(a+b)^n + (a-b)^n] / 2
I'm getting:

A1 = a A² = a²+b²
A³= a(a²+3b²)


I've tried a few variations with trying to incorporate a negative but with no success.
Any help greatly appreciated

 

[jacobrhcp]

That guys answer is very illuminating and useful, you should read up on it as soon you know what egenvectors are.

the constants in the matrix are just coefficients appearing also in (a+b)^n, where the even powers of b appear on the top-left sides and the uneven powers on the top-right side.

I'll write powers of A as a vector of the top two coefficients for my convinience:

(a+b)^n can be expanded using Newtons binomium

A=(a,-b) (from a+b, left 1st, right 2nd)
A^2=(aa - bb, -2ab) (these are coefficients from (a+b)^2, left the 1st and 3d, right the 2nd)
etc...
writing n over k as n_k, again for convenience, we get:

A^n= (a^n + (-1)*(n_n-2)*(a^n-2)*b^2 + ... + (-1^k-1)*(n_n-2k)*(a^n-2k)*b^2k, n*(a^n-1)*b + ... + (-1)^k*(a^n-2k-1)*(n_n-2k-1)*b^2k-1)

which can be easier notated with a sum symbol, but I don't like LaTeX

You can do induction to proof this is correct, I'm convinced it is.

=)