Mean-field sparse optimal control

We introduce the rigorous limit process connecting finite dimensional sparse optimal control problems with ODE constraints, modelling parsimonious interventions on the dynamics of a moving population divided into leaders and followers, to an infinite dimensional optimal control problem with a constraint given by a system of ODE for the leaders coupled with a PDE of Vlasov-type, governing the dynamics of the probability distribution of the followers. In the classical mean-field theory, one studies the behaviour of a large number of small individuals freely interacting with each other, by simplifying the effect of all the other individuals on any given individual by a single averaged effect. In this paper, we address instead the situation where the leaders are actually influenced also by an external policy maker, and we propagate its effect for the number N of followers going to infinity. The technical derivation of the sparse mean-field optimal control is realized by the simultaneous development of the mean-field limit of the equations governing the followers dynamics together with the Γ-limit of the finite dimensional sparse optimal control problems.

[1]  A. Bensoussan,et al.  Mean Field Games and Mean Field Type Control Theory , 2013 .

[2]  References , 1971 .

[3]  P. Caines,et al.  Individual and mass behaviour in large population stochastic wireless power control problems: centralized and Nash equilibrium solutions , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[4]  Benedetto Piccoli,et al.  Modeling self-organization in pedestrians and animal groups from macroscopic and microscopic viewpoints , 2009, 0906.4702.

[5]  P. Lions,et al.  Mean field games , 2007 .

[6]  H. Maurer,et al.  On L1‐minimization in optimal control and applications to robotics , 2006 .

[7]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

[8]  Gerd Wachsmuth,et al.  Convergence and regularization results for optimal control problems with sparsity functional , 2011 .

[9]  G. D. Maso,et al.  An Introduction to-convergence , 1993 .

[10]  Felipe Cucker,et al.  Emergent Behavior in Flocks , 2007, IEEE Transactions on Automatic Control.

[11]  I. Flügge-Lotz,et al.  Investigation of Optimal Control With a Minimum-Fuel Consumption Criterion for a Fourth-Order Plant With Two Control Inputs; Synthesis of an Efficient Suboptimal Control , 1965 .

[12]  L. Ambrosio,et al.  Gradient Flows: In Metric Spaces and in the Space of Probability Measures , 2005 .

[13]  D. Wishart.  Introduction to the Mathematical Theory of Control Processes. Volume 1—Linear Equations and Quadratic Criteria , 1969 .

[14]  Benedetto Piccoli,et al.  Multiscale Modeling of Granular Flows with Application to Crowd Dynamics , 2010, Multiscale Model. Simul..

[15]  Karl Kunisch,et al.  Approximation of Elliptic Control Problems in Measure Spaces with Sparse Solutions , 2012, SIAM J. Control. Optim..

[16]  Boris Vexler,et al.  A Priori Error Analysis for Discretization of Sparse Elliptic Optimal Control Problems in Measure Space , 2013, SIAM J. Control. Optim..

[17]  Felipe Cucker,et al.  A conditional, collision-avoiding, model for swarming , 2013 .

[18]  B. Piccoli,et al.  On Properties of the Generalized Wasserstein Distance , 2013, Archive for Rational Mechanics and Analysis.

[19]  Massimo Fornasier,et al.  Sparse stabilization of dynamical systems driven by attraction and avoidance forces , 2014, Networks Heterog. Media.

[20]  B. Piccoli,et al.  Transport Equation with Nonlocal Velocity in Wasserstein Spaces: Convergence of Numerical Schemes , 2011, 1106.2555.

[21]  M. Fornasier,et al.  Sparse stabilization and optimal control of the Cucker-Smale model , 2013 .

[22]  Roland Herzog,et al.  Directional Sparsity in Optimal Control of Partial Differential Equations , 2012, SIAM J. Control. Optim..

[23]  K. Kunisch,et al.  A duality-based approach to elliptic control problems in non-reflexive Banach spaces , 2011 .

[24]  L. Ambrosio.  Transport Equation and Cauchy Problem for Non-Smooth Vector Fields , 2008 .

[25]  M. Fornasier,et al.  Mean-Field Optimal Control , 2013, 1306.5913.

[26]  Karl Kunisch,et al.  A measure space approach to optimal source placement , 2012, Comput. Optim. Appl..

[27]  Jos'e A. Carrillo,et al.  A well-posedness theory in measures for some kinetic models of collective motion , 2009, 0907.3901.

[28]  W. Gangbo,et al.  Hamiltonian ODEs in the Wasserstein space of probability measures , 2008 .

[29]  Georg Stadler,et al.  Elliptic optimal control problems with L1-control cost and applications for the placement of control devices , 2009, Comput. Optim. Appl..

[30]  Seung-Yeal Ha,et al.  Emergent Behavior of a Cucker-Smale Type Particle Model With Nonlinear Velocity Couplings , 2010, IEEE Transactions on Automatic Control.

[31]  Giuseppe Buttazzo,et al.  Γ-convergence and optimal control problems , 1982 .

[32]  S. Smale,et al.  On the mathematics of emergence , 2007 .

[33]  J. A. Carrillo,et al.  The derivation of swarming models: Mean-field limit and Wasserstein distances , 2013, 1304.5776.

[34]  Massimo Fornasier,et al.  Sparse Stabilization and Control of the Cucker-Smale Model , 2012 .

[35]  B. Perthame.  Mathematical tools for kinetic equations , 2004 .

[36]  Richard Bellman,et al.  Introduction to the mathematical theory of control processes , 1967 .