Rational difference equation

From HandWiki
Revision as of 00:07, 7 March 2023 by StanislovAI (talk | contribs) (update)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A rational difference equation is a nonlinear difference equation of the form[1][2][3][4]

[math]\displaystyle{ x_{n+1} = \frac{\alpha+\sum_{i=0}^k \beta_ix_{n-i}}{A+\sum_{i=0}^k B_ix_{n-i}}~, }[/math]

where the initial conditions [math]\displaystyle{ x_{0}, x_{-1},\dots, x_{-k} }[/math] are such that the denominator never vanishes for any n.

First-order rational difference equation

A first-order rational difference equation is a nonlinear difference equation of the form

[math]\displaystyle{ w_{t+1} = \frac{aw_t+b}{cw_t+d}. }[/math]

When [math]\displaystyle{ a,b,c,d }[/math] and the initial condition [math]\displaystyle{ w_0 }[/math] are real numbers, this difference equation is called a Riccati difference equation.[3]

Such an equation can be solved by writing [math]\displaystyle{ w_t }[/math] as a nonlinear transformation of another variable [math]\displaystyle{ x_t }[/math] which itself evolves linearly. Then standard methods can be used to solve the linear difference equation in [math]\displaystyle{ x_t }[/math].

Equations of this form arise from the infinite resistor ladder problem.[5][6]

Solving a first-order equation

First approach

One approach[7] to developing the transformed variable [math]\displaystyle{ x_t }[/math], when [math]\displaystyle{ ad-bc \neq 0 }[/math], is to write

[math]\displaystyle{ y_{t+1}= \alpha - \frac{\beta}{y_t} }[/math]

where [math]\displaystyle{ \alpha = (a+d)/c }[/math] and [math]\displaystyle{ \beta = (ad-bc)/c^{2} }[/math] and where [math]\displaystyle{ w_t = y_t -d/c }[/math].

Further writing [math]\displaystyle{ y_t = x_{t+1}/x_t }[/math] can be shown to yield

[math]\displaystyle{ x_{t+2} - \alpha x_{t+1} + \beta x_t = 0. }[/math]

Second approach

This approach[8] gives a first-order difference equation for [math]\displaystyle{ x_t }[/math] instead of a second-order one, for the case in which [math]\displaystyle{ (d-a)^{2}+4bc }[/math] is non-negative. Write [math]\displaystyle{ x_t = 1/(\eta + w_t) }[/math] implying [math]\displaystyle{ w_t = (1- \eta x_t)/x_t }[/math], where [math]\displaystyle{ \eta }[/math] is given by [math]\displaystyle{ \eta = (d-a+r)/2c }[/math] and where [math]\displaystyle{ r=\sqrt{(d-a)^{2}+4bc} }[/math]. Then it can be shown that [math]\displaystyle{ x_t }[/math] evolves according to

[math]\displaystyle{ x_{t+1} = \left(\frac{d-\eta c}{\eta c+a}\right)\!x_t + \frac{c}{\eta c+a}. }[/math]

Third approach

The equation

[math]\displaystyle{ w_{t+1} = \frac{aw_t+b}{cw_t+d} }[/math]

can also be solved by treating it as a special case of the more general matrix equation

[math]\displaystyle{ X_{t+1} = -(E+BX_t)(C+AX_t)^{-1}, }[/math]

where all of A, B, C, E, and X are n × n matrices (in this case n = 1); the solution of this is[9]

[math]\displaystyle{ X_t = N_tD_t^{-1} }[/math]

where

[math]\displaystyle{ \begin{pmatrix} N_{t} \\ D_{t}\end{pmatrix} = \begin{pmatrix} -B & -E \\ A & C \end{pmatrix}^t\begin{pmatrix} X_0\\ I \end{pmatrix}. }[/math]

Application

It was shown in [10] that a dynamic matrix Riccati equation of the form

[math]\displaystyle{ H_{t-1} = K +A'H_tA - A'H_tC(C'H_tC)^{-1}C'H_tA, }[/math]

which can arise in some discrete-time optimal control problems, can be solved using the second approach above if the matrix C has only one more row than column.

References

  1. Skellam, J.G. (1951). “Random dispersal in theoretical populations”, Biometrika 38 196−–218, eqns (41,42)
  2. Camouzis, Elias; Ladas, G. (November 16, 2007). Dynamics of Third-Order Rational Difference Equations with Open Problems and Conjectures. CRC Press. ISBN 9781584887669. https://books.google.com/books?id=4Kb3lO31NcAC&q=on+third+order+rational+difference+equations. 
  3. 3.0 3.1 Kulenovic, Mustafa R. S.; Ladas, G. (July 30, 2001). Dynamics of Second Order Rational Difference Equations: With Open Problems and Conjectures. CRC Press. ISBN 9781420035384. https://books.google.com/books?id=zW7N4r64aZgC&q=on+second+order+rational+difference+equations. 
  4. Newth, Gerald, "World order from chaotic beginnings", Mathematical Gazette 88, March 2004, 39-45 gives a trigonometric approach.
  5. "Equivalent resistance in ladder circuit". https://physics.stackexchange.com/q/121297. 
  6. "Thinking Recursively: How to Crack the Infinite Resistor Ladder Puzzle!". https://www.youtube.com/watch?v=rqckorUt2ck. 
  7. Brand, Louis, "A sequence defined by a difference equation," American Mathematical Monthly 62, September 1955, 489–492. online
  8. Mitchell, Douglas W., "An analytic Riccati solution for two-target discrete-time control," Journal of Economic Dynamics and Control 24, 2000, 615–622.
  9. Martin, C. F., and Ammar, G., "The geometry of the matrix Riccati equation and associated eigenvalue method," in Bittani, Laub, and Willems (eds.), The Riccati Equation, Springer-Verlag, 1991.
  10. Balvers, Ronald J., and Mitchell, Douglas W., "Reducing the dimensionality of linear quadratic control problems," Journal of Economic Dynamics and Control 31, 2007, 141–159.

Further reading

  • Simons, Stuart, "A non-linear difference equation," Mathematical Gazette 93, November 2009, 500–504.