Solving simultaneous linear difference equations

  • Thread starter Thread starter Ad123q
  • Start date Start date
  • Tags Tags
    Difference Linear
Ad123q
Messages
19
Reaction score
0
Hi

Was wondering if anyone could help me with this topic, which relates to the solution of simultaneous linear difference equations and diagonizable matrices.

Sorry for the lack of latex, but as such I will denote an exponent by "^" and a subscript by "_".

Say we have a system of simultaneous linear difference equations

x_n+1 = ax_n + by_n
y_n+1 = cx_n + dy_n

where a, b, c, d are numbers, and "x_n+1" etc is "x subscript n+1".

Denote v_n by the column vector (x_n , y_n) and let the coefficients a, b, c, d form a matrix
A= a b
c d

Then we can write v_n+1 = Av_n.

The solution of the system is then meant to be, in general, v_n = A^nv_0,
where A^n is matrix A raised to power n, calculated by considering that P^-1AP = D (diagonal) and so A^n = PD^nP^-1,

where P^-1 is the inverse of the matrix P, viz the matrix formed by eigenvectors.

Thanks very much for any help in advance.
 
Physics news on Phys.org
Sorry, just realized that I didn't in fact highlight what I don't understand!
Basically I don't understand the whole reason why we can go from v_n+1 = Av_n to v_n = A^nv_0 (ie the process to do this); is it induction of some kind?

This type of problem must be fairly easy but I can't see it.

Best wishes.
 
Anyone?
 
I'm not sure I understand what you're asking, but I see it this way... v_1 = A v_0 right? Just plug in n=0 into the difference equation. Then multiply both sides of the equation by A, and what do you get? A v_1 = A A v_0 = A^2 v_0. But we already know what A v_1 is by the difference equation again. It's v_2. So, v_2 = A^2 v_0. Keep multiplying by A, and see that v_n = A^n v_0.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
Back
Top