13.2: Estabilidad de Sistemas Lineales
- Page ID
- 85692
\( \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}\)Podemos aplicar las definiciones anteriores al caso LTI considerando un sistema con una\(A\) matriz diagonalizable (en nuestra notación estándar) y\(\mathbf{u} \equiv 0\). El punto de equilibrio único es at\(x = 0\), siempre que no\(A\) tenga valor propio a 0 (respectivamente 1) en el caso CT (respectivamente DT). (De lo contrario, cada punto en todo el espacio propio correspondiente a este valor propio es un equilibrio.) Ahora
\ [\ begin {aligned}
\ dot {x} (t) &=e^ {A t} x (0)\\
&=V\ left [\ begin {array} {ccc}
e^ {\ lambda_ {1} t} &\\
&\ ddots &\\\
& e^ {\ lambda_ {n} t}
\ end {array}\ derecha] W x (0)\ (C T)\ (13.4)
\ fin {alineado}\ nonumber\]
\ [\ begin {alineado}
x (k) &=A^ {k} x (0)\\
&=V\ left [\ begin {array} {ccc}
\ lambda_ {1} ^ {k} &\\
&\ ddots &\\
& &\ lambda_ {n} ^ {k}
\ end {array}\ derecha] W x (0)\ quad (D)\ (13.5)
\ end {alineado} \ nonumber\]
De ahí que quede claro que en tiempo continuo un sistema con un diagonalizable\(A\) es asintóticamente estable iff
\[\mathcal{R} e\left(\lambda_{i}\right)<0, \quad i \in\{1, \ldots, n\} \ \tag{13.6}\]
mientras que en tiempo discreto el requisito es que
\[\left|\lambda_{i}\right|<1 \quad i \in\{1, \ldots, n\} \ \tag{13.7}\]
Tenga en cuenta que si\(\mathcal{R} e\left(\lambda_{i}\right)=0(\mathrm{CT})\) o\(\left|\lambda_{i}\right|=1(\mathrm{DT})\), el sistema no es asintóticamente estable, sino marginalmente estable.
Ejercicio
Para el caso no diagonalizable, utilice su comprensión de la forma Jordan para demostrar que las condiciones para la estabilidad asintótica son las mismas que en el caso diagonalizable. Para la estabilidad marginal, requerimos en el caso CT que\(\mathcal{R} e\left(\lambda_{i}\right) \leq 0\), con igualdad manteniendo al menos un valor propio; además, cada autovalor cuya parte real sea igual a 0 debe tener su multiplicidad geométrica igual a su multiplicidad algebraica, es decir, todos sus bloques Jordan asociados deben ser de talla 1. (Verificar que la presencia de bloques Jordan de tamaño mayor a uno para estos valores propios del eje imaginario conduciría a que las variables de estado crecieran polinomialmente con el tiempo.) Una condición similar se mantiene para la estabilidad marginal en el caso DT.
Estabilidad de Sistemas Lineales Variables en el Tiempo
Recordemos que la solución general no forzada a un sistema lineal variable en el tiempo es
\[x(t)=\Phi\left(t, t_{0}\right) x\left(t_{0}\right)\nonumber\]
donde\(\Phi(t, \tau)\) está la matriz de transición de estado. De ello se deduce que el sistema es
- estable I.s.l. en\(\bar{x}=0 \text { if } \sup _{t}\left\|\Phi\left(t, t_{0}\right)\right\|=m\left(t_{0}\right)<\infty\).
- asintóticamente estable en\(\bar{x}=0 \text { if } \lim _{t \rightarrow \infty}\left\|\Phi\left(t, t_{0}\right)\right\| \rightarrow 0, \forall t_{0}\).
Estas condiciones siguen directamente de la Definición 13.1