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

From MaRDI portal





scientific article; zbMATH DE number 6157078
Language Label Description Also known as
default for all languages
No label defined
    English
    Existence results for third-order impulsive functional differential inclusions with multiplier \(p(t)\)
    scientific article; zbMATH DE number 6157078

      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