2.8 Quizz

PDF (letter size)
PDF (legal size)

pict

What we know (given): We have state space representation of a system in the form \(Y^{\prime }=AY\), where \(y_{1},y_{2},\cdots ,y_{n}\) are the states, and we are told the system goes to stable equilibrium \(Y=0\), as \(t\rightarrow \infty \) when starting from any initial point in the \(n\) dimensions state space. The original system is described by a single \(n^{th}\) degree one differential equation, and is broken down to \(n\) first order differential equation. These are \(y_{1}^{\prime },y_{2}^{\prime },\cdots ,y_{n}^{\prime }\).  The system is coupled, since each \(y_{i}^{\prime }\left ( t\right ) \) depends on all other \(y_{i}\left ( t\right ) \).

Solution The only way I can see to answer this question in concrete way, is to resort to using the Wronskian. Writing down the Wronskian \(W\left ( t\right ) \) of the functions \(y_{1}\left ( t\right ) ,y_{2}\left ( t\right ) ,\cdots ,y_{n}\left ( t\right ) \) we obtain

\[ W\left ( t\right ) =\begin{vmatrix} y_{1} & y_{2} & \cdots & y_{n}\\ y_{1}^{\prime } & y_{2}^{\prime } & \cdots & y_{n}^{\prime }\\ y_{1}^{\prime \prime } & y_{2}^{\prime \prime } & \cdots & y_{n}^{\prime \prime }\\ \vdots & \vdots & \ddots & \vdots \\ y_{1}^{\left ( n-1\right ) } & y_{2}^{\left ( n-1\right ) } & \cdots & y_{n}^{\left ( n-1\right ) }\end{vmatrix} \]

In the limit, as \(t\rightarrow \infty \), since we are told \(y_{i}\rightarrow 0\), then the above becomes \[ \lim _{t\rightarrow \infty }W\left ( t\right ) =\begin{vmatrix} 0 & 0 & \cdots & 0\\ y_{1}^{\prime }\left ( t\right ) & y_{2}^{\prime }\left ( t\right ) & \cdots & y_{n}^{\prime }\left ( t\right ) \\ y_{1}^{\prime \prime }\left ( t\right ) & y_{2}^{\prime \prime }\left ( t\right ) & \cdots & y_{n}^{\prime \prime }\left ( t\right ) \\ \vdots & \vdots & \ddots & \vdots \\ y_{1}^{\left ( n-1\right ) }\left ( t\right ) & y_{2}^{\left ( n-1\right ) }\left ( t\right ) & \cdots & y_{n}^{\left ( n-1\right ) }\left ( t\right ) \end{vmatrix} \]

Since, at least, one row becomes all zero, then the determinant above is zero (from linear algebra). Therefore

\[ \lim _{t\rightarrow \infty }W\left ( t\right ) =0 \]

We could conclude now that \(y_{1},y_{2},\cdots ,y_{n}\) are therefore linearly dependent functions since we found that \(W\left ( t\right ) =0\) at some point. However, the Wronskian being zero at some point does not necessarily imply that the functions are linearly dependent. So the Wronskian test is not conclusive when it gives zero when evaluated at one point, and we need another test to do. The following are the important facts about using the Wronskian

1.
If \(W\left ( t\right ) \neq 0\) at any point \(t\) (in the interval of interest) \(\Rightarrow \) \(y_{1},y_{2},\cdots ,y_{n}\) are linearly independent (in that interval).
2.
If \(y_{1},y_{2},\cdots ,y_{n}\) are analytic (differentiable) functions and linearly dependent (in the interval of interest) \(\Rightarrow W\left ( t\right ) =0\) at every point \(t\) in the interval.
3.
If \(W\left ( t\right ) =0\) at every point \(t\) (in the interval of interest) and \(y_{1}\left ( t\right ) ,y_{2}\left ( t\right ) ,\cdots ,y_{n}\left ( r\right ) \) are all analytic functions \(\Rightarrow \) \(y_{1}\left ( t\right ) ,y_{2}\left ( t\right ) ,\cdots ,y_{n}\left ( r\right ) \) are linearly dependent in that interval.
4.
If \(W\left ( t\right ) =0\) at one point \(t\) (or at countable number of points) in the interval of interest \(\Rightarrow \) test is not conclusive.

The above are results from Linear algebra. We see from the above, that \(W\left ( t\right ) =0\) at \(t=\infty \) does not imply that the functions are necessarily linearly dependent. In this case, we would use a different test if we are given the functions, by writing

\[ c_{1}y_{1}+c_{2}y_{2}+\cdots +c_{n}y_{n}=0 \]

And then we would try to find constants \(c_{1},c_{2},\cdots ,c_{n},\) not all zero, which would satisfy the above. If we can find such constants, only then we can conclude that \(y_{1},y_{2},\cdots ,y_{n}\) are linearly dependent since If the functions are linearly independent, then \(c_{i}=0\) will be the only possible solution.

In conclusion The functions \(y_{1}\left ( t\right ) ,y_{2}\left ( t\right ) ,\cdots ,y_{n}\left ( t\right ) \) are not necessarily linearly dependent, even though \(W\left ( t\right ) =0\) in the limit as \(t\rightarrow \infty \).