Dans cette thèse, nous nous intéressons à des inclusions de la forme 0∈ f( x) + F(x), où f est une application univoque et F est une application multivoque à graphe fermé. Ces dernières années, diverses méthodes de résolutions d'inclusions de ce type ont été développées par les chercheurs et, après un bref rappel sur quelques notions d'analyse (univoque et multivoque) nous en présentons quelques unes utilisant l'hypothèse de régularité métrique sur l'application multivoque. Dans la suite de notre travail, plutôt que d'utiliser cette hypothèse de régularité métrique, nous lui préférons des hypothèses directement liées à la solution qui sont la semistabilité et l'hemistabilité. Notons que la semistabilité d'une solution x̅ de l'inclusion 0∈G(x) est en fait équivalente à la sous-régularité métrique forte de l'application multivoque G en x̅ pour 0. Après avoir présenté des méthodes utilisant la semistabilité et l'hemistabilité, nous exposons les nouveaux résultats auxquels nous avons abouti qui consistent essentiellement en des améliorations des méthodes présentées. Ce que nous entendons par améliorations se décline en deux points principaux : soit nous obtenons un meilleur taux de convergence, soit nous utilisons des hypothèses plus faibles qui nous permettent d'obtenir des taux de convergence similaires. / In this thesis, we focus on inclusions in the form of 0∈ f( x) + F(x), where f is a single-valued function and F is a set-valued map with closed graph. In the last few years, various methods to solve such inclusions have been developed; after having recalled some notions in analysis (single-valued and set-valued) we present some of them using metric regularity on the set-valued map. Then, instead of considering this metric regularity assumption, we prefer assumptions which are directly connected to the solution, that are semistability and hemistability. One can note that semistabily of a solution x̅ of the inclusion 0∈G(x) is actually equivalent strong metric subregularity on the set-valued map G at x̅ for 0. After having presented some methods using semistability and hemistability, we show the new results we obtained, most of them being improvement of the presented methods. What we mean by improvement is mainly a better convergence rate on the one hand, and weaker assumptions that lead to similar convergence rate, on the other.

No description available.

Cette thèse est consacrée, d'une part, à l'étude d'existence de solutions pour des problèmes d'évolution et, d'autre part, à la stabilité de la propriété de prox-régularité ensembliste. Nous étudions dans la première partie des processus de rafle de Moreau perturbés et discontinu du premier et du second ordre. L'ensemble mouvant est prox-régulier dans un espace de Hilbert réel quelconque et sa variation est contrôlé par une mesure de Radon. Des applications à la théorie de la complémentarité et à celle des inéquations variationnelles sont présentées. Dans la seconde partie, on donne des conditions suffisantes assurant la prox-régularité d'ensembles décrit par des contraintes non nécessairement lisses sous forme d'inégalités et/ ou d'égalités et plus généralement d'ensembles de solutions d'équations généralisées. On y développe également des conditions vérifiables assurant la préservation de la prox-régularité vis-à-vis d'opérations ensemblistes : les cas de l'intersection, d'image directe, de pré-image, d'union et projection sur un sous-espace sont considérés. / In this dissertation, we study, on the one hand, the existence of solutions for some evolution problems and, on the other hand, the stability of prox-regularity under set operations. The first topic is devoted to first and second order nonconvex perturberd Moreau's sweeping processes in infinite dimensional framework. The moving set is assumed to be prox-regular and moved in a bounded variation way. Applications to the theory of complementarity problems and evolution variational inequalities are given. In the other topic, we first give verifiable sufficient conditions ensuring the prox-regularity of constrained sets and more generally for solution sets of generalized equations. We also develop the preservation of prox-regularity under set operations as intersection, direct image, inverse image, union and projection along a vector space.

No description available.

Le but de cette thèse est d'étudier la méthode de Newton pour résoudre numériquement les inclusions variationnelles, appelées aussi dans la littérature les équations généralisées. Ces problèmes engendrent en général des opérateurs multivoques. La première partie est dédiée à l'extension des approches de Kantorovich et la théorie (alpha, gamma) de Smale (connues pour les équations non-linéaires classiques) au cas des inclusions variationnelles dans les espaces de Banach. Ceci a été rendu possible grâce aux développements récents des outils de l'analyse variationnelle et non-lisse tels que la régularité métrique. La seconde partie est consacrée à l'étude de méthodes numériques de type-Newton pour les inclusions variationnelles en utilisant la différentiabilité généralisée d'applications multivoques où nous proposons de linéariser à la fois les parties univoques (lisses) et multivoques (non-lisses). Nous avons montré que, sous des hypothèses sur les données du problème ainsi que le choix du point de départ, la suite générée par la méthode de Newton converge au moins linéairement vers une solution du problème de départ. La convergence superlinéaire peut-être obtenue en imposant plus de conditions sur l'approximation multivaluée. La dernière partie de cette thèse est consacrée à l'étude des équations généralisées dans les variétés Riemaniennes à valeurs dans des espaces euclidiens. Grâce à la relation entre la structure géométrique des variétés et les applications de rétractions, nous montrons que le schéma de Newton converge localement superlinéairement vers une solution du problème. La convergence quadratique (locale et semi-locale) peut-être obtenue avec des hypothèses de régularités sur les données du problème. / This thesis is devoted to present some results in the scope of Newton-type methods applied for inclusion involving set-valued mappings. In the first part, we follow the Kantorovich's and/or Smale's approaches to study the convergence of Josephy-Newton method for generalized equation (GE) in Banach spaces. Such results can be viewed as an extension of the classical Kantorovich's theorem as well as Smale's (alpha, gamma)-theory which were stated for nonlinear equations. The second part develops an algorithm using set-valued differentiation in order to solve GE. We proved that, under some suitable conditions imposed on the input data and the choice of the starting point, the algorithm produces a sequence converging at least linearly to a solution of considering GE. Moreover, by imposing some stronger assumptions related to the approximation of set-valued part, the proposed method converges locally superlinearly. The last part deals with inclusions involving maps defined on Riemannian manifolds whose values belong to an Euclidean space. Using the relationship between the geometric structure of manifolds and the retraction maps, we show that, our scheme converges locally superlinearly to a solution of the initial problem. With some more regularity assumptions on the data involved in the problem, the quadratic convergence (local and semi-local) can be ensured.