2
$\begingroup$

I want to prove that a system is stable using a delta-epsilon proof.

My criteria for stability is: for all $t>0$, $\epsilon>0$ and $\delta>0$, $||x(0)||<\delta$ and $||x(t)||<\epsilon$. Where I want to find $\delta$ as a function of $\epsilon$ to satisfy the criteria.

My system is in state space form (basically two first order ODE's):

$\begin{bmatrix}\dot{x}_1\\\dot{x}_2\end{bmatrix}=$ $\begin{bmatrix}0&1\\-\zeta^2&-2\zeta\end{bmatrix}$ $\begin{bmatrix}x_1\\x_2\end{bmatrix}$

But I have rewritten the system as one 2nd order ODE:

$\ddot{x} + 2\zeta\dot{x} + \zeta^2x=0$

I found the solution to be $x(t)=e^{-\zeta t}(C_1 + C_2t)$

We can see that $x(t=0)=C_1$ and $x(t=\infty)=0$

So my question is where to go from here? I know my system converges to $0$, but I'm not sure how to find the correct $\delta(\epsilon)$?

Do I start with this ?

$$0<\delta$$ and $$e^{-\zeta t}(C_1 + C_2t)<\epsilon$$

$\endgroup$
4
  • $\begingroup$ Is it supposed that $\zeta>0$? $\endgroup$ Commented Mar 1, 2018 at 5:49
  • $\begingroup$ Yes, I should have specified that condition. Thanks for pointing that out. I like how you used the triangle inequality to find a relationship between x(t) and x(0). I understand your proof up until the last line. Why is epsilon = delta / M ? $\endgroup$ Commented Mar 2, 2018 at 5:55
  • $\begingroup$ Why can we exclude the initial condition vector and e^-t term? $\endgroup$ Commented Mar 2, 2018 at 6:49
  • $\begingroup$ I updated the answer $\endgroup$ Commented Mar 2, 2018 at 7:01

1 Answer 1

2
$\begingroup$

We have to prove that $$ \forall \epsilon>0 \, \exists \delta>0:\; \|\bar x(0)\|<\delta\,\Rightarrow\,\forall t\ge 0\;\|\bar x(t)\|<\epsilon, $$ where $\bar x(t)$ is a vector of solution: $$ \bar x(t)=\left(\begin{array}{c}x_1(t)\\x_2(t)\end{array}\right). $$ For the considered system $$ x_1(t)= e^{-\zeta t}(C_1 + C_2t + C_1\zeta t) $$ $$ x_2(t)= - e^{-\zeta t}(C_1\zeta^2 t+ C_2\zeta t -C_2 ), $$ where $x_1(0)=C_1$, $x_2(0)=C_2$. Hence $$ \|\bar x(0)\|=\sqrt{C_1^2+C_2^2}, $$ (note that $|C_1|\le\|\bar x(0)\|$, $|C_2|\le\|\bar x(0)\|$), $$ \|\bar x(t)\|=\sqrt{x_1^2(t)+x_2^2(t)} =e^{-\zeta t} \sqrt{(C_1 + C_2t + C_1\zeta t)^2+ (C_1\zeta^2 t+ C_2\zeta t -C_2 )^2} $$ We can use the triangle inequality: $$ \sqrt{(a_1+b_1)^2+(a_2+b_2)^2}\le \sqrt{a_1^2+a_2^2}+\sqrt{b_1^2+b_2^2} $$ to obtain $$ \|\bar x(t)\|\le e^{-\zeta t} \left( \sqrt{C_1^2(1+\zeta t)^2+C_1^2\zeta^4t^2}+ \sqrt{C_2^2t^2+C_2^2(\zeta t-1)^2} \right) $$ $$ =e^{-\zeta t} \left( |C_1|\sqrt{(1+\zeta t)^2+\zeta^4t^2}+ |C_2|\sqrt{t^2+(\zeta t-1)^2} \right) $$ $$ \le \|\bar x(0)\|e^{-\zeta t} \left( \sqrt{(1+\zeta t)^2+\zeta^4t^2}+ \sqrt{t^2+(\zeta t-1)^2} \right) $$ Since $\zeta>0$, $e^{-\zeta t} \left( \sqrt{(1+\zeta t)^2+\zeta^4t^2}+ \sqrt{t^2+(\zeta t-1)^2} \right)$ tends to zero at $t\to\infty$. It implies that there exists some maximum value $$ M=\max_{t\ge 0} e^{-\zeta t} \left( \sqrt{(1+\zeta t)^2+\zeta^4t^2}+ \sqrt{t^2+(\zeta t-1)^2} \right) $$ and $$ \|\bar x(t)\|\le \|\bar x(0)\|M e^{-\zeta t} . $$ We have proved the exponential stability of the system. Usual (Lyapunov) stability is obvious if we take $$ \delta(\epsilon)=\frac{\epsilon}M $$ Update

Indeed, $\forall t\ge 0$ $$ \|\bar x(0)\|<\delta=\frac{\epsilon}{M}\quad\Rightarrow\quad \|\bar x(t)\|<\frac{\epsilon}{M}M e^{-\zeta t}=\epsilon e^{-\zeta t} \le\epsilon $$

$\endgroup$
1
  • $\begingroup$ I'm working on a similar problem here: math.stackexchange.com/questions/2783026/… and I'm having trouble bounding $\Vert \overline{x}(t)\Vert$. Do you think you could help me out? I'd really appreciate it! Thank you! $\endgroup$ Commented May 16, 2018 at 2:15

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.