Abstract impulsive differential equations without predefined time impulses (Q2195192)

From MaRDI portal
Revision as of 17:02, 21 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q938710)
scientific article
Language Label Description Also known as
English
Abstract impulsive differential equations without predefined time impulses
scientific article

    Statements

    Abstract impulsive differential equations without predefined time impulses (English)
    0 references
    8 September 2020
    0 references
    The author studies a general class of non-instantaneous abstract impulsive problems without predefined times of impulse of the form \[ \begin{cases} u'(t)=Au(t)+F(t,u(t)), ~~t\in [s_u^i,t_u^{i+1}], \;H(u(s_u^i))=0,\\ u(t)=\Psi(t_u^{i+1},t,u(t_u^{i+1}),u(t)), ~~ t\in (t_u^{i+1},s_u^{i+1}], \;H(u(t_u^{i+1}))=1,\\ u(0)=x_0, ~~ H(x_0)=0, \end{cases} \] where \(A : D(A)\subset X \to X\) is the generator of an analytic \(C_0\)-semigroup of bounded linear operators \((T(t))_{t\ge 0}\) defined on a Banach space \((X,\|\cdot\|)),\) \( H \in C(X;[0,\infty)),\) \(x_0\in H^{-1}(0),\) \( F\in C([0,a] \times X;X),\) \(\Psi\in C([0,\infty)\times[0,\infty)\times X \times X;X),\) \( 0 = s_u^0 < t_u^1 < s_u^1 < t_u^2<\ldots < s_u^i < t_u^{i+1}<\ldots\le a\) are numbers depending on the state \(u(\cdot)\) by mean of the conditions \(1 = H(u(t^i_u)) \ge H(u(s)) > 0 \) for all \(s\in [t^i_u, s^i_u)\) and \(0 = H(u(s^j_u)) \le H(u(s)) < 1\) for all \(s\in [s_u^j , t_u^{j+1}).\) Existence, uniqueness and qualitative properties of different types of solutions, such as \(N\)-mild solution, \(N\Psi\)-mild solution, maximal oscillating mild solution, are studied. Some examples motivated from the theory of population dynamics are also presented.
    0 references
    impulsive differential equation
    0 references
    mild solution
    0 references
    strict solution
    0 references
    maximal oscillating mild solutions
    0 references
    analytic \(C_0\)-semigroup of linear operators
    0 references

    Identifiers