1
$\begingroup$

I have a linear time-varying linearly perturbed ODE of the form:

$$ \dot{x} = [A(t)+B(t)]x $$

where $A(t)$ is a bounded lower-triangular matrix with negative functions on the main diagonal, i.e. $0>a^0\ge a_{ii}(t)$. The matrix $B(t)$ is bounded, so that $||B(t)|| \le \beta$.

The question is whether there exists a sufficiently small $\beta$ such that the origin is asymptotically stable (not necessarily exponentially! I don't care about that).

This article gives a positive answer to the question, BUT the assumption is that $\dot{x}=A(t)x$ is exponentially stable. In my case, while it is possible to show inductively stability of $\dot{x}=A(t)x$, it is not clear to me that it is exponentially stable, since, for example $\dot{x}_2 = a_{22}(t)x_2 + a_{21}(t)x_1(t)$ such that $x_1(t)\to0$ is exponentially bounded. Is $x_2(t)$ also exponentially bounded?

$\endgroup$
1
$\begingroup$

Found the answer. According to the theorem 1.1 from this paper, there indeed exists sufficiently small $\beta$ such that $\dot{x}=\left[A(t)+B(t)\right]x$ has negative maximum lyapunov exponent.

$\endgroup$
  • $\begingroup$ Sure would like to be able to get a copy of that paper! $\endgroup$ – Robert Lewis Sep 3 '14 at 23:03
  • $\begingroup$ How can I send it to you? $\endgroup$ – dmytro Sep 3 '14 at 23:52
  • $\begingroup$ Send it to my regular email address--drbobmeister@gmail.com. $\endgroup$ – Robert Lewis Sep 4 '14 at 0:03
  • $\begingroup$ I was able to download a copy of the paper from the JDE website! So, thanks anyway. Cheers! $\endgroup$ – Robert Lewis Sep 4 '14 at 5:58
  • $\begingroup$ Cool. Would be great to hear your opinion. I think condition C2 is satisfied cuz all $A_{kk}(t)$ are negative by definition. The question however is still open if $A$ is block-triangular with negative definite blocks on the main diagonal for all $t$ $\endgroup$ – dmytro Sep 4 '14 at 8:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.