An existence theorem for a non-autonomous second order nonlocal multivalued problem

In this paper we prove the existence of mild solutions for a nonlocal problem governed by an abstract semilinear non-autonomous second order differential inclusion, where the non-linear part is an upper-Caratheodory semicontinuous multimap. Our existence theorem is obtained thanks to the introduction of a fundamental Cauchy operator. Finally we apply our main result to provide the controllability of a problem involving a non-autonomous wave equation.