Problèmes de transport partiel optimal et d'appariement avec contrainte

Optimal partial transport and constrained matching problems

• Auteur / Autrice : Van Thanh Nguyen
• Direction : Noureddine Igbida
• Type : Thèse de doctorat
• Discipline(s) : Mathematiques et applications
• Date : Soutenance le 03/10/2017
• Etablissement(s) : Limoges
• Ecole(s) doctorale(s) : École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018)
• Partenaire(s) de recherche : Laboratoire : XLIM
• Jury : Président / Présidente : Guillaume Carlier
• Jury : Examinateurs / Examinatrices : Noureddine Igbida, Filippo Santambrogio, Clément Cancès, Samir Adly
• Jury : Rapporteurs / Rapporteuses : Giuseppe Buttazzo, José M. Mazón

Mots clés

Mots clés contrôlés

Comparaisons par paires, Méthode des

Transport optimal de mesure

Analyse mathématique

Mots clés libres

Transport optimal

Transport partiel optimal

Problème d'appariement optimal

Dualité de Fenchel--Rockafellar

Équation de Monge--Kantorovich

Doublant des variables

Méthodes du lagrangien augmenté

Optimal transport

Optimal partial transport

Optimal matching

Fenchel--Rockafellar duality

Monge--Kantorovich equation

Doubling variables

Augmented lagrangian methods

Résumé

Cette thèse est consacrée à l'analyse mathématique et numérique pour les problèmes de transport partiel optimal et d'appariement avec contrainte (constrained matching problem). Ces deux problèmes présentent de nouvelles quantités inconnues, appelées parties actives. Pour le transport partiel optimal avec des coûts qui sont donnés par la distance finslerienne, nous présentons des formulations équivalentes caractérisant les parties actives, le potentiel de Kantorovich et le flot optimal. En particulier, l'EDP de condition d'optimalité permet de montrer l'unicité des parties actives. Ensuite, nous étudions en détail des approximations numériques pour lesquelles la convergence de la discrétisation et des simulations numériques sont fournies. Pour les coûts lagrangiens, nous justifions rigoureusement des caractérisations de solution ainsi que des formulations équivalentes. Des exemples numériques sont également donnés. Le reste de la thèse est consacré à l'étude du problème d'appariement optimal avec des contraintes pour le coût de la distance euclidienne. Ce problème a un comportement différent du transport partiel optimal. L'unicité de solution et des formulations équivalentes sont étudiées sous une condition géométrique. La convergence de la discrétisation et des exemples numériques sont aussi établis. Les principaux outils que nous utilisons dans la thèse sont des combinaisons des techniques d'EDP, de la théorie du transport optimal et de la théorie de dualité de Fenchel--Rockafellar. Pour le calcul numérique, nous utilisons des méthodes du lagrangien augmenté.

The manuscript deals with the mathematical and numerical analysis of the optimal partial transport and optimal constrained matching problems. These two problems bring out new unknown quantities, called active submeasures. For the optimal partial transport with Finsler distance costs, we introduce equivalent formulations characterizing active submeasures, Kantorovich potential and optimal flow. In particular, the PDE of optimality condition allows to show the uniqueness of active submeasures. We then study in detail numerical approximations for which the convergence of discretization and numerical simulations are provided. For Lagrangian costs, we derive and justify rigorously characterizations of solution as well as equivalent formulations. Numerical examples are also given. The rest of the thesis presents the study of the optimal constrained matching with the Euclidean distance cost. This problem has a different behaviour compared to the partial transport. The uniqueness of solution and equivalent formulations are studied under geometric condition. The convergence of discretization and numerical examples are also indicated. The main tools which we use in the thesis are some combinations of PDE techniques, optimal transport theory and Fenchel--Rockafellar dual theory. For numerical computation, we make use of augmented Lagrangian methods.