Skip to main content
Engineering LibreTexts

1.2: LTI Systems and ODEs

  • Page ID
    7622
  • \( \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}\)

    We consider physical systems that can be modeled with reasonable engineering fidelity as linear, time-invariant (LTI) systems. Such a system is represented mathematically by an ordinary differential equation (ODE), or by a set of coupled ODEs, for which the single independent variable is time, denoted as \(t\). These ODEs are linear, and they have constant coefficients, so we describe them as linear, time-invariant (LTI), the same as the systems they represent1. For example, suppose we denote a dependent variable as \( x(t) \), here a general symbol representing some physical dynamic response quantity for which we want to solve. Then an LTI ODE that models an LTI physical system might have the form

    \[\dfrac{dx}{dt} - a\,x =b\,u(t)\label{eqn:1} \]

    in which \(a\) and \(b\) are constant multiplying coefficients, and known function \(u(t)\) is the excitation and is independent of the response. In the study of systems, an independent excitation \(u(t)\) is often called an input, and a dependent response \(x(t)\) is often called an output.

    Hereafter, we will usually employ the common shorthand dot notation for denoting derivatives with respect to time: \( \dfrac{dx}{dt} = \dot{x} \), \( \dfrac{d^2 x}{dt^2} = \ddot{x} \) etc., so that Equation \(\ref{eqn:1}\) can be written more simply as

    \[ \dot{x} - a\,x = b\,u(t) . \nonumber \]

    The linearity of Equation \(\ref{eqn:1}\) is manifested by the linear appearance of \( x(t) \) and all of its derivatives in the ODE. The following are some similar ODEs that are not linear (they are nonlinear) for obvious reasons: \( \dot{x} - a\,x^2 = b\,u(t) \); \( sin(\dot{x}) - a\,x = b\,u(t) \); \( \sqrt(\dot{x}) - a\,tan(x) = b\,u(t) \). Linear ODEs are almost always easier to solve (at least in closed form, i.e., as equations involving standard functions) than nonlinear ODEs. Moreover, the important principle of superposition applies to linear ODEs, but not to nonlinear ODEs. An example of the application of this principle is: let the response to input \( u_1(t) \) be \( \ x_1(t) \), and let the response to another input \( u_2(t) \) be \( x_1 (t) \); if a third input is the sum of multiplied terms \( u_3(t) = c_1\,u_1(t) + c_2\,u_2 (t) \), in which \( c_1 \) and \( c_2 \) are constants, then the response to \( u_3(t) \) is \( x_3 (t) = c_1\,x_1 (t) + c_2\,x_2 (t) \). This result is easy to derive just by multiplying two ODEs such as Equation \(\ref{eqn:1}\) by the constants, then adding the multiplied ODEs. The principle of superposition allows us to solve accurately for the responses of linear systems to any physically realistic inputs. (See Section 8.10 for a derivation of system response to an arbitrary physically realistic input by direct application of superposition.)

    The time invariance of Equation \(\ref{eqn:1}\) is manifested by the constant coefficients of \( x(t) \) and all of its derivatives in the ODE. ODEs with time-invariant coefficients model the behavior of systems assumed to have physical properties that either remain constant in time or vary so slowly and/or slightly that the variation is negligible for engineering purposes. But many practically important systems have time-varying physical properties. For example, a vehicle such as a space shuttle between liftoff and achievement of orbital position has rapidly varying (decreasing) mass as propellant is burned and external fuel tanks and boosters are released. The following is a linear equation somewhat similar to Equation \(\ref{eqn:1}\), but with an obviously time-varying coefficient: \( \dot{x} -3\,x\,(1-e^(-2\,t))\,x = b\,u(t) \). The study of systems with time-varying physical properties is generally more complicated, not fundamental, so only time-invariant systems and ODEs are considered in this book.

    The form of Equation \(\ref{eqn:1}\), \( \dot{x} - a\,x = b\,u(t) \), is widely regarded as the standard form for a first order LTI ODE, and we will use it as such in this book. Beginning in the next section, we will study idealized physical systems whose dynamic behaviors are described by equations that are directly analogous to Equation \(\ref{eqn:1}\). We will express the mathematical constants \(a\) and \(b\) in terms of specific physical constants. Also, the roles of input \( u(t) \) and output \( x(t) \) in Equation \(\ref{eqn:1}\) will be assumed by some specific physical quantities, such as force, velocity, voltage, etc., and we will denote them with relevant symbols [often different than \( u(t) \) and \( x(t) \)] when appropriate.

    Although only first order ODEs are discussed in this section, we certainly will encounter and study systems and ODEs of second and higher orders.

    1LTI ODEs are also sometimes described as linear, constant-coefficient, or LCC.


    This page titled 1.2: LTI Systems and ODEs is shared under a CC BY-NC 4.0 license and was authored, remixed, and/or curated by William L. Hallauer Jr. (Virginia Tech Libraries' Open Education Initiative) via source content that was edited to the style and standards of the LibreTexts platform.