Skip to main content
Mathematics LibreTexts

4.2: Classifications of Model Equations

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    There are some technical terminologies I need to introduce before moving on to further discussions:

    Linear system A dynamical equation whose rules involve just a linear combination of state variables (a constant times a variable, a constant, or their sum).

    Nonlinear system Anything else (e.g., equation involving squares, cubes, radicals, trigonometric functions, etc., of state variables).

    First-order system A difference equation whose rules involve state variables of the immediate past (at time \(t−1\)) onlya.

    Higher-order system Anything else.

    aNote that the meaning of “order” in this context is different from the order of terms in polynomials.

    Autonomous system A dynamical equation whose rules don’t explicitly include time \(t\) or any other external variables.

    Non-autonomous system A dynamical equation whose rules do include time \(t\) or other external variables explicitly.

    Exercise \(\PageIndex{1}\)

    Decide whether each of the following examples is (1) linear or nonlinear, (2) first-order or higher-order, and (3) autonomous or non-autonomous

    1. \(x_{t} = ax_{t−1} + b\)
    2. \( x_{t} = ax_{t−1} + bx_{t−2} + cx_{t−3}\)
    3. \( x_{t} = ax_{t−1}(1−x_{t−1})\)
    4. \( x_{t} = ax_{t−1} + bxt−2^{2} + \sqrt[c]{x_{t−1}x_{t−3}}\)
    5. \( x_{t} = ax_{t−1}x_{t−2} + bx_{t−3} + sin(t)\)
    6. \(x_{t} = ax_{t−1} + by_{t−1}, y_{t} = cx_{t−1} + dy_{t−1}\)

    Also, there are some useful things that you should know about these classifications:

    Non-autonomous, higher-order difference equations can always be converted into autonomous, first-order forms, by introducing additional state variables.

    For example, the second-order difference equation

    \[x_{t}=x_{t-1}+x_{t-2} \label{(4.5)} \]

    (which is called the Fibonacci sequence can be converted into a first-order form by introducing a “memory” variable \(y\) as follows:

    \[y_{t} = x_{t-1}\label{(4.6)} \]

    Using this, \(x_{t−2}\) can be rewritten as \(y_{t−1}\). Therefore the equation can be rewritten as follows:

    \[ \begin{align} x_{t} &= x_{t-1}+y_{t-1}\label{(4.7)} \\[4pt] y_{t} &= x_{t-1}\label{(4.8)} \end{align} \]

    This is now first-order. This conversion technique works for third-order or any higher-order equations as well, as long as the historical dependency is finite. Similarly, a non-autonomous equation

    \[x_{t} = x_{t-1} +t\label{(4.9)} \]

    can be converted into an autonomous form by introducing a “clock” variable z as follows:

    \[z_{t}= z_{t-1} +1, z_{0} =1\label{(4.10)} \]

    This definition guarantees \(z_{t−1} = t\). Using this, the equation can be rewritten as

    \[x_{t} = x_{t-1}+ z_{t-1},\label{(4.11)} \]

    which is now autonomous. These mathematical tricks might look like some kind of cheating, but they really aren’t. The take-home message on this is that autonomous first-order equations can cover all the dynamics of any non-autonomous, higher-order equations. This gives us confidence that we can safely focus on autonomous first-order equations without missing anything fundamental. This is probably why autonomous first-order difference equations are called by a particular name: iterative maps.

    Exercise \(\PageIndex{2}\)

    Convert the following difference equations into an autonomous, first-order form.

    1. \(x_{t} = x_{t-1}(1-x_{t-1})sint\)

    2. \(x_{t} = x_{t-1} +x_{t-2}-x_{t-3}\)

    Another important thing about dynamical equations is the following distinction between linear and nonlinear systems:

    Linear equations are always analytically solvable, while nonlinear equations don’t have analytical solutions in general.

    Here, an analytical solution means a solution written in the form of \(x_{t} = f(t)\) without using state variables on the right hand side. This kind of solution is also called a closed form solution because the right hand side is “closed,” i.e., it only needs \(t\) and doesn’t need \(x\). Obtaining a closed-form solution is helpful because it gives you a way to calculate (i.e., predict) the system’s state directly from \(t\) at any point in time in the future, without actually simulating the whole history of its behavior. Unfortunately this is not possible for nonlinear systems in most cases.

    This page titled 4.2: Classifications of Model Equations is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Hiroki Sayama (OpenSUNY) via source content that was edited to the style and standards of the LibreTexts platform.