Existence of solutions for second-order differential inclusions involving proximal normal cones

In this work, we prove global existence of solutions for second-order differential problems in a general framework. More precisely, we consider second-order differential inclusions involving proximal normal cone to a set-valued map. This set-valued map is supposed to take admissible values (so in particular uniformly prox-regular values, which may be non-smooth and non-convex). Moreover the solution is required to satisfy an impact law, appearing in the description of mechanical systems with inelastic shocks.

RésuméDans cet article on démontre un résultat dʼexistence globale de solutions pour des inclusions différentielles du second ordre. Ou consideré plus précisément des inclusions différentielles du second ordre faisant apparaître le cône proximal normal dʼun ensemble C dépendant du temps. La multifonction C(⋅) est supposée admissible (et en particulier prendre des valeurs uniformément prox régulières éventuellement non régulières et non convexes). De plus, on impose à la solution de vérifier une loi dʼimpact, apparaissant dans la description de systèmes mécaniques avec des chocs inélastiques.