Existence results for third-order impulsive functional differential inclusions with multiplier \(p(t)\) (Q1948616)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Existence results for third-order impulsive functional differential inclusions with multiplier \(p(t)\)
scientific article

    Statements

    Existence results for third-order impulsive functional differential inclusions with multiplier \(p(t)\) (English)
    0 references
    0 references
    0 references
    0 references
    24 April 2013
    0 references
    The authors consider the third order impulsive functional differential inclusions given by \[ [p(t)u'(t)]''~(t) \in F(t,u_t),\quad t \in [0,T],\;t \neq t_k,\;i=1,2,\dotsc,n, \] together with impulses. \[ \Delta u^{(i)}(t)=I_k[u(t_k)],\quad i=0,1,2,\dots, \quad k=1,2,3,\dotsc,n \] and initial conditions \[ u(t)= \phi (t),\quad t \in[-r,0],\quad u^{(i)}(0)= \eta_i; \] where \(F\) is a multivalued map. It is to be observed that the impulses are defined not only for the function \(u(t)\) but also for its first and second derivatives. Assuming (i) the multivalued mapping \(F(t, \psi)\) to be measurable in \(\psi \) for every \(t,\) lower semi continuous and satisfies a condition weaker than a contraction map and is bounded by a Lebesgue measurable function; and (ii) that the function \(I_{ik}\) is Lipschitz for each \(i=0,1,2,\dots\), \(k=1,2,3,\dotsc,n\). With the above hypotheses, they give a criterion under which the existence of at least one solution is guaranteed. The proof of the theorem is given in steps by considering a multivalued map \(G\) and then showing that it is a contraction. This means that \(G\) has a fixed point which is a solution of the considered problem. Another existence result is proved by weakening the hypothesis on the impulsive functions from Lipschitz to functions that are dominated by linear functions of \(u.\)
    0 references
    third-order impulsive functional differential inclusions
    0 references
    existence results
    0 references
    fixed points
    0 references

    Identifiers