Existence of solutions to boundary value problems for impulsive second order differential inclusions (Q1201202): Difference between revisions

The authors consider a second order differential inclusion \(y''\in F(t,y,y')\) subject to a set of nonlinear boundary constraints \[ y(t_ k^ +)= l_ k(y(t_ k)) \qquad y'(t_ k^ +)= N_ k(y(t_ k),y'(t_ k)) \] where \(l_ k\) are given homeomorphisms and \(N_ k\) are continuous, moreover \[ G_ i(y(a_ 0),y'(a_ 0), y(a_ 1),y'(a_ 1)), \quad i=1,2 \] where \(a_ 0=t_ 0<t_ 1<\cdots <t_ m<t_{m+1}=a_ 1\). Their main existence result, Theorem 2.2, is proved by means of the topological transversality method of Granas based on the existence of a priori bounds for the solutions of the above boundary value problem which is suitably modified to deal with the impulsive nature of the problem. Two motivating examples involving impulses are presented.