Lyapunov stability of measure driven impulsive systems (Q2387989)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Lyapunov stability of measure driven impulsive systems
scientific article

    Statements

    Lyapunov stability of measure driven impulsive systems (English)
    0 references
    5 September 2005
    0 references
    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.
    0 references
    0 references
    0 references
    0 references
    0 references
    differential inclusion with measure
    0 references
    Lyapunov function
    0 references
    asymptotically stable equilibrium
    0 references