Math 2.0

Difference and functional equations Definition

Matrix difference equation

Builds on MatrixSequence

Definition

Let KK be a field and let m≥1m \ge 1. Let A(n)A(n), for n∈ℕn \in \N, be m×mm \times m matrices over KK, and let b(n)b(n), for n∈ℕn \in \N, be vectors in KmK^m. A matrix difference equation (of first order) is the equation x(n+1)=A(n) x(n)+b(n)(n∈ℕ)x(n+1) = A(n)\, x(n) + b(n) \qquad (n \in \N) for a sequence of vectors x ⁣:ℕ→Kmx \colon \N \to K^m.

  1. It is homogeneous if b(n)=0b(n) = 0 for all nn.
  2. It has constant coefficients if A(n)=AA(n) = A does not depend on nn.

A solution is a sequence xx that satisfies the equation for all n∈ℕn \in \N.

Remarks

Example: with m=2m = 2, A=(1110)A = \begin{pmatrix} 1 & 1 \\ 1 & 0 \end{pmatrix} and b=0b = 0, the sequence x(n)=(Fn+1,Fn)Tx(n) = (F_{n+1}, F_n)^T of Fibonacci numbers is a solution, since Fn+2=Fn+1+FnF_{n+2} = F_{n+1} + F_n and the second entry just shifts. Non-example: x(n+1)=x(n)2x(n+1) = x(n)^2 for x(n)∈Kx(n) \in K is not a matrix difference equation, since the right side is not of the form A(n)x(n)+b(n)A(n) x(n) + b(n). In the homogeneous constant-coefficient case the solutions are x(n)=Anx(0)x(n) = A^n x(0). Equations of higher order, such as x(n+1)=A0x(n)+A1x(n−1)x(n+1) = A_0 x(n) + A_1 x(n-1), reduce to first order by stacking (x(n),x(n−1))(x(n), x(n-1)) into one vector of size 2m2m. In this way a scalar linear recurrence of order dd becomes a first-order system with a companion matrix.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Matrix concept
  2. Sequence concept
  3. Matrix difference equation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Matrix_difference_equation
About this page
TagAGMBTZQC97
URIm2://AGMBTZQC97
Kinddefinition
WritingW0 stub
MSC39A06
DefinesMatrix difference equation
UsesMatrix, Sequence

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.