Math 2.0

Difference and functional equations Definition

Linear difference equation

Builds on Recurrence relationField

Definition

Let KK be a field and let k≥1k \ge 1 be an integer. Let a0,a1,…,aka_0, a_1, \dots, a_k and bb be sequences in KK, indexed by n∈ℕn \in \N, with ak(n)≠0a_k(n) \ne 0 for all nn. The linear difference equation with these coefficients is the equation ak(n) un+k+ak−1(n) un+k−1+⋯+a0(n) un=b(n)(n≥0)a_k(n)\, u_{n+k} + a_{k-1}(n)\, u_{n+k-1} + \dots + a_0(n)\, u_n = b(n) \qquad (n \ge 0) for an unknown sequence (un)n≥0(u_n)_{n \ge 0} in KK. It is homogeneous if b(n)=0b(n) = 0 for all nn, and inhomogeneous otherwise. It has constant coefficients if each aia_i is a constant sequence.

Remarks

Since ak(n)≠0a_k(n) \ne 0, the equation can be solved for un+ku_{n+k}, so it is a recurrence relation of order at most kk. Example: un+1−(n+1)un=0u_{n+1} - (n+1) u_n = 0 is a homogeneous linear difference equation with k=1k = 1, a1=1a_1 = 1 and a0(n)=−(n+1)a_0(n) = -(n+1); with u0=1u_0 = 1 its solution is un=n!u_n = n!. Non-example: un+1=un2u_{n+1} = u_n^2 is not linear, because the unknown appears squared; the sequences u=(1,1,1,… )u = (1, 1, 1, \dots) and 2u=(2,2,2,… )2u = (2, 2, 2, \dots) show that multiples of solutions need not be solutions. In terms of the shift operator EE, the equation reads Lu=bL u = b with L=akEk+⋯+a0L = a_k E^k + \dots + a_0, a linear operator on sequences. The constant coefficient case is the linear recurrence with constant coefficients.

Reading path

To understand this page from the ground up, read these 7 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. Group concept
  2. Recurrence relation definition
  3. Ring definition
  4. Commutative ring definition
  5. Unit of a ring definition
  6. Field definition
  7. Linear difference equation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Linear_recurrence_with_constant_coefficients
About this page
Tag5115KV924G
URIm2://5115KV924G
Kinddefinition
WritingW0 stub
MSC39A06
DefinesLinear difference equation
UsesRecurrence relation, Field

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.