Rational difference equation
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
- ↑ Skellam, J.G. (1951). “Random dispersal in theoretical populations”, Biometrika 38 196−218, eqns (41,42)
- ↑ 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.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.
- ↑ Newth, Gerald, "World order from chaotic beginnings", Mathematical Gazette 88, March 2004, 39-45 gives a trigonometric approach.
- ↑ "Equivalent resistance in ladder circuit". https://physics.stackexchange.com/q/121297.
- ↑ "Thinking Recursively: How to Crack the Infinite Resistor Ladder Puzzle!". https://www.youtube.com/watch?v=rqckorUt2ck.
- ↑ Brand, Louis, "A sequence defined by a difference equation," American Mathematical Monthly 62, September 1955, 489–492. online
- ↑ Mitchell, Douglas W., "An analytic Riccati solution for two-target discrete-time control," Journal of Economic Dynamics and Control 24, 2000, 615–622.
- ↑ 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.
- ↑ 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.
Original source: https://en.wikipedia.org/wiki/Rational difference equation.
Read more |