Lyapunov stability of measure driven impulsive systems (Q2387989): Difference between revisions

Let \(F:[0,\infty)\times \mathbb{R}^{n}\to P(\mathbb{R}^{n})\) and \(G:[0,\infty)\times \mathbb{R}^{n}\to P(\mathbb{R}^{n\times q})\) be given multifunctions, and let \(\mu\in C^{*}([0,\infty);K)\) be an element of the dual space of the space of continuous functions on \([0,\infty)\) ranging in \(\mathbb{R}^{q}\). It is assumed that \(\mu\) ranges in the positive convex acute cone \(K\) in \(\mathbb{R}^{q}.\) Consider the differential system \[ dx(t)\in F(t,x(t))dt + G(t,x(t))\mu(dt),\quad x(0)=x_{0}. \tag{1} \] Definition: A trajectory \(x\) with an initial condition \(x(0)=x_{0}\) is admissible for (1) if \(x(t)= x_{ac}(t) + x_{s}(t)\) for all \(t\in [0,\infty),\) where \[ \dot{x}_{ac}(t) \in F(t,x(t))+ G(t,x(t))w_{ac}(t)\quad \text{a.e.}, \] \[ x_{s}(t)= \int_{[0,t]}g_{c}(\tau)w_{c}(\tau)\, d\bar{\mu}_{sc}(\tau) + \int_{[0,t]}g_{a}(\tau)\,d\bar{\mu}_{sa}(\tau). \] Here, \(\bar{\mu}\) is the total variation of the measure of \(\mu,\mu_{sc},\mu_{sa}\), and \(\mu_{ac}\), \(w_{ac}\) is the time derivative of \(\mu_{ac}, w_{ac}\) is the Radon-Nikodym derivative of \(\mu_{sc}\) with respect to its total variation, \(g_{c}(\cdot)\) is a \(\bar{\mu}_{sc}\)-measurable selector of the mapping \(G(\cdot,x(\cdot)),\) and \(g_{a}(\cdot)\) is a \(\bar{\mu}_{sa}\)-measurable selector of some multifunction. The set of admissible processes are restricted to pairs of control processes \((x,\mu)\) on \([0,\infty)\) in which \(x\) is a solution of system (1) by above definition and its singular component \(\mu_{s}\) satisfies the condition \[ \lim_{t\to \infty}\bar{\mu}_{s}([t,t+T])=0 \tag{2} \] for each \(T>0.\) Theorem: Suppose that there exists a control process \((x,\mu)\) on \([0,\infty)\) such that condition (2) is satisfied. Let \(x^{*}\in \mathbb{R}^{n}\) be an equilibrium of system (1). Suppose that for \(x^{*}\) there exists a pair of continuous Lyapunov functions \(V\) and \(W.\) Then \(x^{*}\) is an asymptotically stable equilibrium.