-
Fisher information and continuity estimates for nonlinear but 1-homogeneous diffusive PDEs (via the JKO scheme)
Authors:
Thibault Caillet,
Filippo Santambrogio
Abstract:
In this short paper we prove, using the JKO scheme, that quantities such as the Fisher information stay bounded or decrease across time for a family of 1-homogeneous diffusive PDEs. As a corollary, we prove that moduli of continuity are conserved across time for the solutions of those PDEs.
In this short paper we prove, using the JKO scheme, that quantities such as the Fisher information stay bounded or decrease across time for a family of 1-homogeneous diffusive PDEs. As a corollary, we prove that moduli of continuity are conserved across time for the solutions of those PDEs.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Improved convergence rates for the Hele-Shaw limit in the presence of confining potentials
Authors:
Noemi David,
Alpár R. Mészáros,
Filippo Santambrogio
Abstract:
Nowadays a vast literature is available on the Hele-Shaw or incompressible limit for nonlinear degenerate diffusion equations. This problem has attracted a lot of attention due to its applications to tissue growth and crowd motion modelling as it constitutes a way to link soft congestion (or compressible) models to hard congestion (or incompressible) descriptions. In this paper, we address the que…
▽ More
Nowadays a vast literature is available on the Hele-Shaw or incompressible limit for nonlinear degenerate diffusion equations. This problem has attracted a lot of attention due to its applications to tissue growth and crowd motion modelling as it constitutes a way to link soft congestion (or compressible) models to hard congestion (or incompressible) descriptions. In this paper, we address the question of estimating the rate of this asymptotics in the presence of external drifts. In particular, we provide improved results in the 2-Wasserstein distance which are global in time thanks to the contractivity property that holds for strictly convex potentials.
△ Less
Submitted 12 May, 2024;
originally announced May 2024.
-
Uniform regularity estimates for nonlinear diffusion-advection equations in the hard-congestion limit
Authors:
Noemi David,
Filippo Santambrogio,
Markus Schmidtchen
Abstract:
We present regularity results for nonlinear drift-diffusion equations of porous medium type (together with their incompressible limit). We relax the assumptions imposed on the drift term with respect to previous results and additionally study the effect of linear diffusion on our regularity result (a scenario of particular interest in the incompressible case, for it represents the motion of partic…
▽ More
We present regularity results for nonlinear drift-diffusion equations of porous medium type (together with their incompressible limit). We relax the assumptions imposed on the drift term with respect to previous results and additionally study the effect of linear diffusion on our regularity result (a scenario of particular interest in the incompressible case, for it represents the motion of particles driven by a Brownian motion subject to a density constraint). Specifically, this work concerns the $L^4$-summability of the pressure gradient in porous medium flows with drifts that is stable with respect to the exponent of the nonlinearity, and $L^2$-estimates on the pressure Hessian (in particular, in the incompressible case with linear diffusion we prove that the pressure is the positive part of an $H^2$-function).
△ Less
Submitted 11 May, 2024;
originally announced May 2024.
-
On Optimal Transport Maps Between 1 /d-Concave Densities
Authors:
Guillaume Carlier,
Alessio Figalli,
Filippo Santambrogio
Abstract:
In this paper, we extend the scope of Caffarelli's contraction theorem, which provides a measure of the Lipschitz constant for optimal transport maps between log-concave probability densities in $\R^d$. Our focus is on a broader category of densities, specifically those that are $\nicefrac{1}{d}$-concave and can be represented as $V^{-d}$, where $V$ is convex. By setting appropriate conditions, we…
▽ More
In this paper, we extend the scope of Caffarelli's contraction theorem, which provides a measure of the Lipschitz constant for optimal transport maps between log-concave probability densities in $\R^d$. Our focus is on a broader category of densities, specifically those that are $\nicefrac{1}{d}$-concave and can be represented as $V^{-d}$, where $V$ is convex. By setting appropriate conditions, we derive linear or sublinear limitations for the optimal transport map. This leads us to a comprehensive Lipschitz estimate that aligns with the principles established in Caffarelli's theorem.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
Doubly nonlinear diffusive PDEs: new existence results via generalized Wasserstein gradient flows
Authors:
Thibault Caillet,
Filippo Santambrogio
Abstract:
We prove an existence result for a large class of PDEs with a nonlinear Wasserstein gradient flow structure. We use the classical theory of Wasserstein gradient flow to derive an EDI formulation of our PDE and prove that under some integrability assumptions on the initial condition the PDE is satisfied in the sense of distributions.
We prove an existence result for a large class of PDEs with a nonlinear Wasserstein gradient flow structure. We use the classical theory of Wasserstein gradient flow to derive an EDI formulation of our PDE and prove that under some integrability assumptions on the initial condition the PDE is satisfied in the sense of distributions.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Sticky-reflecting diffusion as a Wasserstein gradient flow
Authors:
Jean-Baptiste Casteras,
Léonard Monsaingeon,
Filippo Santambrogio
Abstract:
In this paper we identify the Fokker-Planck equation for (reflected) Sticky Brownian Motion as a Wasserstein gradient flow in the space of probability measures. The driving functional is the relative entropy with respect to a non-standard reference measure, the sum of an absolutely continuous interior part plus a singular part supported on the boundary. Taking the small time-step limit in a minimi…
▽ More
In this paper we identify the Fokker-Planck equation for (reflected) Sticky Brownian Motion as a Wasserstein gradient flow in the space of probability measures. The driving functional is the relative entropy with respect to a non-standard reference measure, the sum of an absolutely continuous interior part plus a singular part supported on the boundary. Taking the small time-step limit in a minimizing movement (JKO scheme) we prove existence of weak solutions for the coupled system of PDEs satisfying in addition an Energy Dissipation Inequality.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
New Lipschitz estimates and long-time asymptotic behavior for porous medium and fast diffusion equations
Authors:
Noemi David,
Filippo Santambrogio
Abstract:
We obtain new estimates for the solution of both the porous medium and the fast diffusion equations by studying the evolution of suitable Lipschitz norms. Our results include instantaneous regularization for all positive times, long-time decay rates of the norms which are sharp and independent of the initial support, and new convergence results to the Barenblatt profile. Moreover, we address nonli…
▽ More
We obtain new estimates for the solution of both the porous medium and the fast diffusion equations by studying the evolution of suitable Lipschitz norms. Our results include instantaneous regularization for all positive times, long-time decay rates of the norms which are sharp and independent of the initial support, and new convergence results to the Barenblatt profile. Moreover, we address nonlinear diffusion equations including quadratic or bounded potentials as well. In the slow diffusion case, our strategy requires exponents close enough to 1, while in the fast diffusion case, our results cover any exponent for which the problem is well-posed and mass-preserving in the whole space.
△ Less
Submitted 25 September, 2023; v1 submitted 2 August, 2023;
originally announced August 2023.
-
Uniform contractivity of the Fisher infinitesimal model with strongly convex selection
Authors:
Vincent Calvez,
David Poyato,
Filippo Santambrogio
Abstract:
The Fisher infinitesimal model is a classical model of phenotypic trait inheritance in quantitative genetics. Here, we prove that it encompasses a remarkable convexity structure which is compatible with a selection function having a convex shape. It yields uniform contractivity along the flow, as measured by a $L^\infty$ version of the Fisher information. It induces in turn asynchronous exponentia…
▽ More
The Fisher infinitesimal model is a classical model of phenotypic trait inheritance in quantitative genetics. Here, we prove that it encompasses a remarkable convexity structure which is compatible with a selection function having a convex shape. It yields uniform contractivity along the flow, as measured by a $L^\infty$ version of the Fisher information. It induces in turn asynchronous exponential growth of solutions, associated with a well-defined, log-concave, equilibrium distribution. Although the equation is non-linear and non-conservative, our result shares some similarities with the Bakry-Emery approach to the exponential convergence of solutions to the Fokker-Planck equation with a convex potential. Indeed, the contraction takes place at the level of the Fisher information. Moreover, the key lemma for proving contraction involves the Wasserstein distance $W_\infty$ between two probability distributions of a (dual) backward-in-time process, and it is inspired by a maximum principle by Caffarelli for the Monge-Ampère equation.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Strong $L^2 H^2$ convergence of the JKO scheme for the Fokker-Planck equation
Authors:
Filippo Santambrogio,
Gayrat Toshpulatov
Abstract:
Following a celebrated paper by Jordan, Kinderleherer and Otto it is possible to discretize in time the Fokker-Planck equation $\partial_t\varrho=Δ\varrho+\nabla\cdot(ρ\nabla V)$ by solving a sequence of iterated variational problems in the Wasserstein space, and the sequence of piecewise constant curves obtained from the scheme is known to converge to the solution of the continuous PDE. This conv…
▽ More
Following a celebrated paper by Jordan, Kinderleherer and Otto it is possible to discretize in time the Fokker-Planck equation $\partial_t\varrho=Δ\varrho+\nabla\cdot(ρ\nabla V)$ by solving a sequence of iterated variational problems in the Wasserstein space, and the sequence of piecewise constant curves obtained from the scheme is known to converge to the solution of the continuous PDE. This convergence is uniform in time valued in the Wasserstein space and also strong in $L^1$ in space-time. We prove in this paper, under some assumptions on the domain (a bounded and smooth convex domain) and on the initial datum (which is supposed to be bounded away from zero and infinity and belong to $W^{1,p}$ for an exponent $p$ larger than the dimension), that the convergence is actually strong in $L^2_tH^2_x$, hence strongly improving the previously known results in terms of the order of derivation in space. The technique is based on some inequalities, obtained with optimal transport techniques, that can be proven on the discrete sequence of approximate solutions, and that mimic the corresponding continuous computations.
△ Less
Submitted 27 June, 2022;
originally announced June 2022.
-
A cross-diffusion system obtained via (convex) relaxation in the JKO scheme
Authors:
Romain Ducasse,
Filippo Santambrogio,
Havva Yoldaş
Abstract:
In this paper, we start from a very natural system of cross-diffusion equations, which can be seen as a gradient flow for the Wasserstein distance of a certain functional. Unfortunately, the cross-diffusion system is not well-posed, as a consequence of the fact that the underlying functional is not lower semi-continuous. We then consider the relaxation of the functional, and prove existence of a s…
▽ More
In this paper, we start from a very natural system of cross-diffusion equations, which can be seen as a gradient flow for the Wasserstein distance of a certain functional. Unfortunately, the cross-diffusion system is not well-posed, as a consequence of the fact that the underlying functional is not lower semi-continuous. We then consider the relaxation of the functional, and prove existence of a solution in a suitable sense for the gradient flow of (the relaxed functional). This gradient flow has also a cross-diffusion structure, but the mixture between two different regimes, that are determined by the relaxation, makes this study non-trivial.
△ Less
Submitted 5 October, 2022; v1 submitted 26 November, 2021;
originally announced November 2021.
-
Non-asymptotic convergence bounds for Wasserstein approximation using point clouds
Authors:
Quentin Merigot,
Filippo Santambrogio,
Clément Sarrazin
Abstract:
Several issues in machine learning and inverse problems require to generate discrete data, as if sampled from a model probability distribution. A common way to do so relies on the construction of a uniform probability distribution over a set of $N$ points which minimizes the Wasserstein distance to the model distribution. This minimization problem, where the unknowns are the positions of the atoms…
▽ More
Several issues in machine learning and inverse problems require to generate discrete data, as if sampled from a model probability distribution. A common way to do so relies on the construction of a uniform probability distribution over a set of $N$ points which minimizes the Wasserstein distance to the model distribution. This minimization problem, where the unknowns are the positions of the atoms, is non-convex. Yet, in most cases, a suitably adjusted version of Lloyd's algorithm -- in which Voronoi cells are replaced by Power cells -- leads to configurations with small Wasserstein error. This is surprising because, again, of the non-convex nature of the problem, as well as the existence of spurious critical points. We provide explicit upper bounds for the convergence speed of this Lloyd-type algorithm, starting from a cloud of points sufficiently far from each other. This already works after one step of the iteration procedure, and similar bounds can be deduced, for the corresponding gradient descent. These bounds naturally lead to a modified Poliak-Lojasiewicz inequality for the Wasserstein distance cost, with an error term depending on the distances between Dirac masses in the discrete distribution.
△ Less
Submitted 15 June, 2021;
originally announced June 2021.
-
Stein kernels for $q$-moment measures and new bounds for the rate of convergence in the central limit theorem
Authors:
Huynh Khanh,
Filippo Santambrogio,
Doan Thai Son
Abstract:
Given an isotropic probability measure $μ$ on ${\mathbb R}^d$ with ${\rm d}μ\left( x \right) = {\left( {\varrho \left( x \right)} \right)^{ - α}}{\rm d}x$, where $α> d + 1$ and $\varrho :{{\mathbb R}^d} \to \left( {0, + \infty } \right)$ is a continuous function and uniformly convex (${\nabla ^2}\varrho \ge {\varepsilon_0}{\rm {Id}}$). By using Stein kernels for $\left( {α- d} \right)$-moment meas…
▽ More
Given an isotropic probability measure $μ$ on ${\mathbb R}^d$ with ${\rm d}μ\left( x \right) = {\left( {\varrho \left( x \right)} \right)^{ - α}}{\rm d}x$, where $α> d + 1$ and $\varrho :{{\mathbb R}^d} \to \left( {0, + \infty } \right)$ is a continuous function and uniformly convex (${\nabla ^2}\varrho \ge {\varepsilon_0}{\rm {Id}}$). By using Stein kernels for $\left( {α- d} \right)$-moment measures, we prove that the rates of convergence in the central limit theorem with sequence of i.i.d. random variables ${X_1},{X_2},...,{X_n}$ of the law $μ$, to be of form $c_{{\varepsilon}_0}\,\sqrt {\dfrac{d}{n}} $. The general case (i.e., $\varrho$ is only convex and continuous) remains open.
△ Less
Submitted 5 March, 2021; v1 submitted 1 March, 2021;
originally announced March 2021.
-
A Cucker-Smale inspired deterministic mean field game with velocity interactions
Authors:
Filippo Santambrogio,
Woojoo Shim
Abstract:
We introduce a mean field game model for pedestrians moving in a given domain and choosing their trajectories so as to minimize a cost including a penalization on the difference between their own velocity and that of the other agents they meet. We prove existence of an equilibrium in a Lagrangian setting by using its variational structure, and then study its properties and regularity.
We introduce a mean field game model for pedestrians moving in a given domain and choosing their trajectories so as to minimize a cost including a penalization on the difference between their own velocity and that of the other agents they meet. We prove existence of an equilibrium in a Lagrangian setting by using its variational structure, and then study its properties and regularity.
△ Less
Submitted 16 September, 2020;
originally announced September 2020.
-
q-Moment Measures and Applications: A New Approach via Optimal Transport
Authors:
Huynh Khanh,
Filippo Santambrogio
Abstract:
In 2017, Bo'az Klartag obtained a new result in differential geometry on the existence of affine hemisphere of elliptic type. In his approach, a surface is associated with every a convex function $Φ$ : R^n $\rightarrow$ (0, +$\infty$) and the condition for the surface to be an affine hemisphere involves the 2-moment measure of $Φ$ (a particular case of q-moment measures, i.e measures of the form (…
▽ More
In 2017, Bo'az Klartag obtained a new result in differential geometry on the existence of affine hemisphere of elliptic type. In his approach, a surface is associated with every a convex function $Φ$ : R^n $\rightarrow$ (0, +$\infty$) and the condition for the surface to be an affine hemisphere involves the 2-moment measure of $Φ$ (a particular case of q-moment measures, i.e measures of the form ($\nabla$$Φ$) \# ($Φ$^{--(n+q)}) for q > 0). In Klartag's paper, q-moment measures are studied through a variational method requiring to minimize a functional among convex functions, which is studied using the Borell-Brascamp-Lieb inequality. In this paper, we attack the same problem through an optimal transport approach, since the convex function $Φ$ is a Kantorovich potential (as already done for moment measures in a previous paper). The variational problem in this new approach becomes the minimization of a local functional and a transport cost among probability measures and the optimizer turns out to be of the form $ρ$ = $Φ$^{--(n+q)}.
△ Less
Submitted 21 August, 2020;
originally announced August 2020.
-
Lipschitz estimates on the JKO scheme for the Fokker-Plack equation on bounded convex domains
Authors:
Vincent Ferrari,
Filippo Santambrogio
Abstract:
Given a semi-convex potential V on a convex and bounded domain $Ω$, we consider the Jordan-Kinderlehrer-Otto scheme for the Fokker-Planck equation with potential V, which defines, for fixed time step $τ$ > 0, a sequence of densities $ρ$ k $\in$ P($Ω$). Supposing that V is $α$-convex, i.e. D 2 V $\ge$ $α$I, we prove that the Lipschitz constant of log $ρ$ + V satisfies the following inequality: Lip(…
▽ More
Given a semi-convex potential V on a convex and bounded domain $Ω$, we consider the Jordan-Kinderlehrer-Otto scheme for the Fokker-Planck equation with potential V, which defines, for fixed time step $τ$ > 0, a sequence of densities $ρ$ k $\in$ P($Ω$). Supposing that V is $α$-convex, i.e. D 2 V $\ge$ $α$I, we prove that the Lipschitz constant of log $ρ$ + V satisfies the following inequality: Lip(log($ρ$ k+1) + V)(1 + $α$$τ$) $\le$ Lip(log($ρ$ k) + V). This provides exponential decay if $α$ > 0, Lipschitz bounds on bounded intervals of time, which is coherent with the results on the continuous-time equation, and extends a previous analysis by Lee in the periodic case.
△ Less
Submitted 16 July, 2020;
originally announced July 2020.
-
Second order local minimal-time Mean Field Games
Authors:
Romain Ducasse,
Guilherme Mazanti,
Filippo Santambrogio
Abstract:
The paper considers a forward-backward system of parabolic PDEs arising in a Mean Field Game (MFG) model where every agent controls the drift of a trajectory subject to Brownian diffusion, trying to escape a given bounded domain $Ω$ in minimal expected time. Agents are constrained by a bound on the drift depending on the density of other agents at their location. Existence for a finite time horizo…
▽ More
The paper considers a forward-backward system of parabolic PDEs arising in a Mean Field Game (MFG) model where every agent controls the drift of a trajectory subject to Brownian diffusion, trying to escape a given bounded domain $Ω$ in minimal expected time. Agents are constrained by a bound on the drift depending on the density of other agents at their location. Existence for a finite time horizon $T$ is proven via a fixed point argument, but the natural setting for this problem is in infinite time horizon. Estimates are needed to treat the limit $T\to\infty$, and the asymptotic behavior of the solution obtained in this way is also studied. This passes through classical parabolic arguments and specific computations for MFGs. Both the Fokker--Planck equation on the density of agents and the Hamilton--Jacobi--Bellman equation on the value function display Dirichlet boundary conditions as a consequence of the fact that agents stop as soon as they reach $\partialΩ$. The initial datum for the density is given, and the long-time limit of the value function is characterized as the solution of a stationary problem.
△ Less
Submitted 25 January, 2022; v1 submitted 25 May, 2020;
originally announced May 2020.
-
JKO estimates in linear and non-linear Fokker-Planck equations, and Keller-Segel: L p and Sobolev bounds
Authors:
Simone Di Marino,
Filippo Santambrogio
Abstract:
We analyze some parabolic PDEs with different drift terms which are gradient flows in the Wasserstein space and consider the corresponding discrete-in-time JKO scheme. We prove with optimal transport techniques how to control the L p and L $\infty$ norms of the iterated solutions in terms of the previous norms, essentially recovering well-known results obtained on the continuous-in-time equations.…
▽ More
We analyze some parabolic PDEs with different drift terms which are gradient flows in the Wasserstein space and consider the corresponding discrete-in-time JKO scheme. We prove with optimal transport techniques how to control the L p and L $\infty$ norms of the iterated solutions in terms of the previous norms, essentially recovering well-known results obtained on the continuous-in-time equations. Then we pass to higher order results, and in particulat to some specific BV and Sobolev estimates, where the JKO scheme together with the so-called "five gradients inequality" allows to recover some inequalities that can be deduced from the Bakry-Emery theory for diffusion operators, but also to obtain some novel ones, in particular for the Keller-Segel chemiotaxis model. 1 Short introduction The goal of this paper is to present some estimates on evolution PDEs in the space of probability densities which share two important features: they include a linear diffusion term, and they are gradient flows in the Wasserstein space W2. These PDEs will be of the form $\partial$t$ρ$ -- $Δ$$ρ$ -- $\nabla$ $\times$ ($ρ$$\nabla$u[$ρ$]) = 0, complemented with no-flux boundary conditions and an intial condition on $ρ$0. We will in particular concentrate on the Fokker-Plack case, where u[$ρ$] = V and V is a fixed function (with possible regularity assumptions) independent of $ρ$, on the case where u[$ρ$] = W * $ρ$ is obtained by convolution and models interaction between particles, and on the parabolic-elliptic Keller-Segel case where u[$ρ$] is related to $ρ$ via an elliptic equation. This last case models the evolution of a biological population $ρ$ subject to diffusion but attracted by the concentration of a chemo-attractant, a nutrient which is produced by the population itself, so that its distribution is ruled by a PDE where the density $ρ$ appears as a source term. Under the assumption that the production rate of this nutrient is much faster than the motion of the cells, we can assume that its distribution is ruled by a statical PDE with no explicit time-dependence, and gives rise to a system which is a gradient flow in the variable $ρ$ (the parabolic-parabolic case, where the time scale for the cells and for the nutrient are comparable, is also a gradient flow, in the product space W2 x L 2 , but we will not consider this case). Since we mainly concentrate on the case of bounded domains, in the Keller-Segel case the term u[$ρ$] cannot be expressed as a convoluton and requires ad-hoc computations. In all the paper, the estimates will be studied on a time-discretized version of these PDEs, consisting in the so-called JKO (Jordan-Kinderleherer-Otto) scheme, based on iterated optimization problems involving the Wasserstein distance W2. We will first present 0-order estimates, on the L p and L $\infty$ norms of the solution. This is just a translation into the JKO language of well-known properties of these equations. The main goal of this part is hence to
△ Less
Submitted 25 November, 2019;
originally announced November 2019.
-
Lagrangian discretization of crowd motion and linear diffusion
Authors:
Hugo Leclerc,
Quentin Mérigot,
Filippo Santambrogio,
Federico Stra
Abstract:
We study a model of crowd motion following a gradient vector field, with possibly additional interaction terms such as attraction/repulsion, and we present a numerical scheme for its solution through a Lagrangian discretization. The density constraint of the resulting particles is enforced by means of a partial optimal transport problem at each time step. We prove the convergence of the discrete m…
▽ More
We study a model of crowd motion following a gradient vector field, with possibly additional interaction terms such as attraction/repulsion, and we present a numerical scheme for its solution through a Lagrangian discretization. The density constraint of the resulting particles is enforced by means of a partial optimal transport problem at each time step. We prove the convergence of the discrete measures to a solution of the continuous PDE describing the crowd motion in dimension one. In a second part, we show how a similar approach can be used to construct a Lagrangian discretization of a linear advection-diffusion equation, interpreted as a gradient flow in Wasserstein space. We provide also a numerical implementation in 2D to demonstrate the feasibility of the computations.
△ Less
Submitted 30 April, 2020; v1 submitted 21 May, 2019;
originally announced May 2019.
-
One more proof of the Alexandrov-Fenchel inequality
Authors:
D. Cordero-Erausquin,
B. Klartag,
Q. Merigot,
F. Santambrogio
Abstract:
We present a short proof of the Alexandrov-Fenchel inequalities for mixed volumes of convex bodies.
We present a short proof of the Alexandrov-Fenchel inequalities for mixed volumes of convex bodies.
△ Less
Submitted 24 June, 2019; v1 submitted 26 February, 2019;
originally announced February 2019.
-
New estimates on the regularity of the pressure in density-constrained Mean Field Games
Authors:
Hugo Lavenant,
Filippo Santambrogio
Abstract:
We consider variational Mean Field Games endowed with a constraint on the maximal density of the distribution of players. Minimizers of the variational formulation are equilibria for a game where both the running cost and the final cost of each player is augmented by a pressure effect, i.e. a positive cost concentrated on the set where the density saturates the constraint. Yet, this pressure is a…
▽ More
We consider variational Mean Field Games endowed with a constraint on the maximal density of the distribution of players. Minimizers of the variational formulation are equilibria for a game where both the running cost and the final cost of each player is augmented by a pressure effect, i.e. a positive cost concentrated on the set where the density saturates the constraint. Yet, this pressure is a priori only a measure and regularity is needed to give a precise meaning to its integral on trajectories. We improve, in the limited case where the Hamiltonian is quadratic, which allows to use optimal transport techniques after time-discretization, the results obtained in a paper of the second author with Cardaliaguet and M{é}sz{á}ros. We prove H1 and L infinity regularity under very mild assumptions on the data, and explain the consequences for the MFG, in terms of the value function and of the Lagrangian equilibrium formulation.
△ Less
Submitted 28 May, 2019; v1 submitted 22 November, 2018;
originally announced November 2018.
-
Weighted ultrafast diffusion equations: from well-posedness to long-time behaviour
Authors:
Mikaela Iacobelli,
Francesco Patacchini,
Filippo Santambrogio
Abstract:
In this paper we devote our attention to a class of weighted ultrafast diffusion equations arising from the problem of quantisation for probability measures. These equations have a natural gradient flow structure in the space of probability measures endowed with the quadratic Wasserstein distance. Exploiting this structure, in particular through the so-called JKO scheme, we introduce a notion of w…
▽ More
In this paper we devote our attention to a class of weighted ultrafast diffusion equations arising from the problem of quantisation for probability measures. These equations have a natural gradient flow structure in the space of probability measures endowed with the quadratic Wasserstein distance. Exploiting this structure, in particular through the so-called JKO scheme, we introduce a notion of weak solutions, prove existence, uniqueness, BV and H^1 estimates, L^1 weighted contractivity, Harnack inequalities, and exponential convergence to a steady state.
△ Less
Submitted 24 October, 2018; v1 submitted 23 August, 2018;
originally announced August 2018.
-
$L^p$ bounds for boundary-to-boundary transport densities, and $W^{1,p}$ bounds for the BV least gradient problem in 2D
Authors:
Filippo Santambrogio,
Samer Dweik
Abstract:
The least gradient problem (minimizing the total variation with given boundary data) is equivalent, in the plane, to the Beckmann minimal-flow problem with source and target measures located on the boundary of the domain, which is in turn related to an optimal transport problem. Motivated by this fact, we prove L p summability results for the solution of the Beckmann problem in this setting, which…
▽ More
The least gradient problem (minimizing the total variation with given boundary data) is equivalent, in the plane, to the Beckmann minimal-flow problem with source and target measures located on the boundary of the domain, which is in turn related to an optimal transport problem. Motivated by this fact, we prove L p summability results for the solution of the Beckmann problem in this setting, which improve upon previous results where the measures were themselves supposed to be L p. In the plane, we carry out all the analysis for general strictly convex norms, which requires to first introduce the corresponding optimal transport tools. We then obtain results about the W 1,p regularity of the solution of the anisotropic least gradient problem in uniformly convex domains.
△ Less
Submitted 2 May, 2018;
originally announced May 2018.
-
Minimal-time mean field games
Authors:
Guilherme Mazanti,
Filippo Santambrogio
Abstract:
This paper considers a mean field game model inspired by crowd motion where agents want to leave a given bounded domain through a part of its boundary in minimal time. Each agent is free to move in any direction, but their maximal speed is bounded in terms of the average density of agents around their position in order to take into account congestion phenomena.
After a preliminary study of the c…
▽ More
This paper considers a mean field game model inspired by crowd motion where agents want to leave a given bounded domain through a part of its boundary in minimal time. Each agent is free to move in any direction, but their maximal speed is bounded in terms of the average density of agents around their position in order to take into account congestion phenomena.
After a preliminary study of the corresponding minimal-time optimal control problem, we formulate the mean field game in a Lagrangian setting and prove existence of Lagrangian equilibria using a fixed point strategy. We provide a further study of equilibria under the assumption that agents may leave the domain through the whole boundary, in which case equilibria are described through a system of a continuity equation on the distribution of agents coupled with a Hamilton--Jacobi equation on the value function of the optimal control problem solved by each agent. This is possible thanks to the semiconcavity of the value function, which follows from some further regularity properties of optimal trajectories obtained through Pontryagin Maximum Principle. Simulations illustrate the behavior of equilibria in some particular situations.
△ Less
Submitted 7 March, 2019; v1 submitted 9 April, 2018;
originally announced April 2018.
-
Splitting Schemes & Segregation In Reaction-(Cross-)Diffusion Systems
Authors:
José A. Carrillo,
Simone Fagioli,
Filippo Santambrogio,
Markus Schmidtchen
Abstract:
One of the most fascinating phenomena observed in reaction-diffusion systems is the emergence of segregated solutions, i.e. population densities with disjoint supports. We analyse such a reaction cross-diffusion system. In order to prove existence of weak solutions for a wide class of initial data without restriction about their supports or their positivity, we propose a variational splitting sche…
▽ More
One of the most fascinating phenomena observed in reaction-diffusion systems is the emergence of segregated solutions, i.e. population densities with disjoint supports. We analyse such a reaction cross-diffusion system. In order to prove existence of weak solutions for a wide class of initial data without restriction about their supports or their positivity, we propose a variational splitting scheme combining ODEs with methods from optimal transport. In addition, this approach allows us to prove conservation of segregation for initially segregated data even in the presence of vacuum.
△ Less
Submitted 15 November, 2017;
originally announced November 2017.
-
Spatial rational expectations equilibria in the Ramsey model of optimal growth
Authors:
Filippo Santambrogio,
A Xepapadeas,
A Yannacopoulos
Abstract:
It is the aim of this work provide a rigorous treatment concerning the formation of spatial rational expectations equlibria in a general class of spatial economic models under the effect of externalities, using techniques from the calculus of variations. Using detailed estimates for a para-metric optimisation problem, the existence of spatial rational expectations equilibria is proved and they are…
▽ More
It is the aim of this work provide a rigorous treatment concerning the formation of spatial rational expectations equlibria in a general class of spatial economic models under the effect of externalities, using techniques from the calculus of variations. Using detailed estimates for a para-metric optimisation problem, the existence of spatial rational expectations equilibria is proved and they are characterised in terms of a nonlocal Euler-Lagrange equation.
△ Less
Submitted 23 October, 2017;
originally announced October 2017.
-
L^$\infty$ estimates for the jko scheme in parabolic-elliptic keller-segel systems
Authors:
José-Antonio Carrillo,
Filippo Santambrogio
Abstract:
We prove L^$\infty$ estimates on the densities that are obtained via the JKO scheme for a general form of a parabolic-elliptic Keller-Segel type system, with arbitrary diffusion, arbitrary mass, and in arbitrary dimension. Of course, such an estimate blows up in finite time, a time proportional to the inverse of the initial L^$\infty$ norm. This estimate can be used to prove short-time well-posedn…
▽ More
We prove L^$\infty$ estimates on the densities that are obtained via the JKO scheme for a general form of a parabolic-elliptic Keller-Segel type system, with arbitrary diffusion, arbitrary mass, and in arbitrary dimension. Of course, such an estimate blows up in finite time, a time proportional to the inverse of the initial L^$\infty$ norm. This estimate can be used to prove short-time well-posedness for a number of equations of this form regardless of the mass of the initial data. The time of existence of the constructed solutions coincides with the maximal time of existence of Lagrangian solutions without the diffusive term by characteristic methods.
△ Less
Submitted 13 September, 2017;
originally announced September 2017.
-
Metric methods for heteroclinic connections in infinite dimensional spaces
Authors:
Antonin Monteil,
Filippo Santambrogio
Abstract:
We consider the minimal action problem min \int\_R 1/2 |$γ$'|^2 + W($γ$) dt among curves lying in a non-locally-compact metric space and connecting two given zeros of W $\ge$ 0. For this problem, the optimal curves are usually called heteroclinic connections. We reduce it, following a standard method, to a geodesic problem of the form min \int\_0^1 K($γ$)|$γ$'| dt with K = (2W)^(1/2). We then prov…
▽ More
We consider the minimal action problem min \int\_R 1/2 |$γ$'|^2 + W($γ$) dt among curves lying in a non-locally-compact metric space and connecting two given zeros of W $\ge$ 0. For this problem, the optimal curves are usually called heteroclinic connections. We reduce it, following a standard method, to a geodesic problem of the form min \int\_0^1 K($γ$)|$γ$'| dt with K = (2W)^(1/2). We then prove existence of curves minimizing this new action under some suitable compactness assumptions on K, which are minimal. The method allows to solve some PDE problems in unbounded domains, in particular in two variables x, y, when y = t and when the metric space is an L^2 space in the first variable x, and the potential W includes a Dirichlet energy in the same variable. We then apply this technique to the problem of connecting, in a functional space, two different heteroclinic connections between two points of the Euclidean space, as it was previously studied by Alama-Bronsard-Gui and by Schatzman more than fifteen years ago. With a very different technique, we are able to recover the same results, and to weaken some assumptions.
△ Less
Submitted 7 September, 2017;
originally announced September 2017.
-
A fractal shape optimization problem in branched transport
Authors:
Paul Pegon,
Filippo Santambrogio,
Qinglan Xia
Abstract:
We investigate the following question: what is the set of unit volume which can be best irrigated starting from a single source at the origin, in the sense of branched transport? We may formulate this question as a shape optimization problem and prove existence of solutions, which can be considered as a sort of "unit ball" for branched transport. We establish some elementary properties of optimize…
▽ More
We investigate the following question: what is the set of unit volume which can be best irrigated starting from a single source at the origin, in the sense of branched transport? We may formulate this question as a shape optimization problem and prove existence of solutions, which can be considered as a sort of "unit ball" for branched transport. We establish some elementary properties of optimizers and describe these optimal sets A as sublevel sets of a so-called landscape function which is now classical in branched transport. We prove $β$-H{ö}lder regularity of the landscape function, allowing us to get an upper bound on the Minkowski dimension of the boundary: dim $\partial$A $\le$ d -- $β$ (where $β$ := d($α$ -- (1 -- 1/d)) $\in$ (0, 1) is a relevant exponent in branched transport, associated with the exponent $α$ > 1 -- 1/d appearing in the cost). We are not able to prove the upper bound, but we conjecture that $\partial$A is of non-integer dimension d -- $β$. Finally, we make an attempt to compute numerically an optimal shape, using an adaptation of the phase-field approximation of branched transport introduced some years ago by Oudet and the second author.
△ Less
Submitted 29 December, 2017; v1 submitted 5 September, 2017;
originally announced September 2017.
-
Swee** processes with prescribed behaviour on jumps
Authors:
Vincenzo Recupero,
Filippo Santambrogio
Abstract:
We present a generalized formulation of swee** process where the behaviour of the solution is prescribed at the jump points of the driving moving set. An existence and uniqueness theorem for such formulation is proved. As a consequence we derive a formulation and an existence/uniqueness theorem for swee** processes driven by an arbitrary BV moving set, whose evolution is not necessarily right…
▽ More
We present a generalized formulation of swee** process where the behaviour of the solution is prescribed at the jump points of the driving moving set. An existence and uniqueness theorem for such formulation is proved. As a consequence we derive a formulation and an existence/uniqueness theorem for swee** processes driven by an arbitrary BV moving set, whose evolution is not necessarily right continuous. Applications to the play operator of elastoplasticity are also shown.
△ Less
Submitted 31 July, 2017;
originally announced July 2017.
-
Optimal density evolution with congestion: L infinity bounds via flow interchange techniques and applications to variational Mean Field Games
Authors:
Hugo Lavenant,
Filippo Santambrogio
Abstract:
We consider minimization problems for curves of measure, with kinetic and potential energy and a congestion penalization, as in the functionals that appear in Mean Field Games with a variational structure. We prove L infinity regularity results for the optimal density, which can be applied to the rigorous derivations of equilibrium conditions at the level of each agent's trajectory, via time-discr…
▽ More
We consider minimization problems for curves of measure, with kinetic and potential energy and a congestion penalization, as in the functionals that appear in Mean Field Games with a variational structure. We prove L infinity regularity results for the optimal density, which can be applied to the rigorous derivations of equilibrium conditions at the level of each agent's trajectory, via time-discretization arguments, displacement convexity, and suitable Moser iterations. Similar L infinity results have already been found by P.-L. Lions in his course on Mean Field Games, using a proof based on the use of a (very degenerate) elliptic equation on the dual potential (the value function) phi, in the case where the initial and final density were prescribed (planning problem). Here the strategy is highly different, and allows for instance to prove local-in-time estimates without assumptions on the initial and final data, and to insert a potential in the dynamics.
△ Less
Submitted 16 May, 2017;
originally announced May 2017.
-
{ Euclidean, Metric, and Wasserstein } Gradient Flows: an overview
Authors:
Filippo Santambrogio
Abstract:
This is an expository paper on the theory of gradient flows, and in particular of those PDEs which can be interpreted as gradient flows for the Wasserstein metric on the space of probability measures (a distance induced by optimal transport). The starting point is the Euclidean theory, and then its generalization to metric spaces, according to the work of Ambrosio, Gigli and Savar{é}. Then comes a…
▽ More
This is an expository paper on the theory of gradient flows, and in particular of those PDEs which can be interpreted as gradient flows for the Wasserstein metric on the space of probability measures (a distance induced by optimal transport). The starting point is the Euclidean theory, and then its generalization to metric spaces, according to the work of Ambrosio, Gigli and Savar{é}. Then comes an independent exposition of the Wasserstein theory, with a short introduction to the optimal transport tools that are needed and to the notion of geodesic convexity, followed by a precise desciption of the Jordan-Kinderleher-Otto scheme, with proof of convergence in the easiest case: the linear Fokker-Planck equation. A discussion of other gradient flows PDEs and of numerical methods based on these ideas is also provided. The paper ends with a new, theoretical, development, due to Ambrosio, Gigli, Savar{é}, Kuwada and Ohta: the study of the heat flow in metric measure spaces.
△ Less
Submitted 13 September, 2016;
originally announced September 2016.
-
A sharp estimate a la calderon-zygmund for the p--laplacian
Authors:
Lorenzo Brasco,
Filippo Santambrogio
Abstract:
We consider local weak solutions of the Poisson equation for the p--Laplace operator. We prove a higher differentiability result, under an essentially sharp condition on the right-hand side. The result comes with a local scaling invariant a priori estimate.
We consider local weak solutions of the Poisson equation for the p--Laplace operator. We prove a higher differentiability result, under an essentially sharp condition on the right-hand side. The result comes with a local scaling invariant a priori estimate.
△ Less
Submitted 22 July, 2016;
originally announced July 2016.
-
Summability estimates on transport densities with dirichlet regions on the boundary via symmetrization techniques
Authors:
Samer Dweik,
Filippo Santambrogio
Abstract:
In this paper we consider the mass transportation problem in a bounded domain $Ω$ where a positive mass f + in the interior is sent to the boundary $\partialΩ$, appearing for instance in some shape optimization problems, and we prove summability estimates on the associated transport density $σ$, which is the transport density from a diffuse measure to a measure on the boundary f -- = P \# f + (P b…
▽ More
In this paper we consider the mass transportation problem in a bounded domain $Ω$ where a positive mass f + in the interior is sent to the boundary $\partialΩ$, appearing for instance in some shape optimization problems, and we prove summability estimates on the associated transport density $σ$, which is the transport density from a diffuse measure to a measure on the boundary f -- = P \# f + (P being the projection on the boundary), hence singular. Via a symmetrization trick, as soon as $Ω$ is convex or satisfies a uniform exterior ball condition, we prove L p estimates (if f + $\in$ L p, then $σ$ $\in$ L p). Finally, by a counterexample we prove that if f + $\in$ L $\infty$ $(Ω)$ and f -- has bounded density w.r.t. the surface measure on $\partialΩ$, the transport density $σ$ between f + and f -- is not necessarily in L $\infty$ $(Ω)$, which means that the fact that f -- = P \# f + is crucial.
△ Less
Submitted 2 June, 2016;
originally announced June 2016.
-
Global-in-time regularity via duality for congestion-penalized Mean Field Games
Authors:
Adam Prosinski,
Filippo Santambrogio
Abstract:
After a brief introduction to one of the most typical problems in Mean Field Games, the congestion case (where agents pay a cost depending on the density of the regions they visit), and to its variational structure, we consider the question of the regularity of the optimal solutions. A duality argument, used for the first time in a paper by Y. Brenier on incompressible fluid mechanics, and recentl…
▽ More
After a brief introduction to one of the most typical problems in Mean Field Games, the congestion case (where agents pay a cost depending on the density of the regions they visit), and to its variational structure, we consider the question of the regularity of the optimal solutions. A duality argument, used for the first time in a paper by Y. Brenier on incompressible fluid mechanics, and recently applied to MFG with density constraints, allows to easily get some Sobolev regularity, locally in space and time. In the paper we prove that a careful analysis of the behaviour close to the final time allows to extend the same result including t = T .
△ Less
Submitted 31 March, 2016;
originally announced March 2016.
-
Metric methods for heteroclinic connections
Authors:
Antonin Monteil,
Filippo Santambrogio
Abstract:
We consider the problem $\min\int_{\mathbb{R}} \frac{1}{2}|\dotγ|^2+W(γ)\mathop{}\mathopen{}\mathrm{d} t $ among curves connecting two given wells of $W\geq 0$ and we reduce it, following a standard method, to a geodesic problem of the form $\min\int_0^1 K(γ)|\dotγ|\mathop{}\mathopen{}\mathrm{d} t$ with $K=\sqrt{2W}$. We then prove existence of curves minimizing this new action just by proving tha…
▽ More
We consider the problem $\min\int_{\mathbb{R}} \frac{1}{2}|\dotγ|^2+W(γ)\mathop{}\mathopen{}\mathrm{d} t $ among curves connecting two given wells of $W\geq 0$ and we reduce it, following a standard method, to a geodesic problem of the form $\min\int_0^1 K(γ)|\dotγ|\mathop{}\mathopen{}\mathrm{d} t$ with $K=\sqrt{2W}$. We then prove existence of curves minimizing this new action just by proving that the distance induced by $K$ is proper (i.e. its closed balls are compact). The assumptions on $W$ are minimal, and the method seems robust enough to be applied in the future to some PDE problems.
△ Less
Submitted 17 February, 2016;
originally announced February 2016.
-
A note on some Poincaré inequalities on convex sets by Optimal Transport methods
Authors:
Lorenzo Brasco,
Filippo Santambrogio
Abstract:
We show that a class of Poincaré-Wirtinger inequalities on bounded convex sets can be obtained by means of the dynamical formulation of Optimal Transport. This is a consequence of a more general result valid for convex sets, possibly unbounded.
We show that a class of Poincaré-Wirtinger inequalities on bounded convex sets can be obtained by means of the dynamical formulation of Optimal Transport. This is a consequence of a more general result valid for convex sets, possibly unbounded.
△ Less
Submitted 3 January, 2016;
originally announced January 2016.
-
Dealing with moment measures via entropy and optimal transport
Authors:
Filippo Santambrogio
Abstract:
A recent paper by Cordero-Erausquin and Klartag provides a characterization of the measures $μ$ on $\R^d$ which can be expressed as the moment measures of suitable convex functions $u$, i.e. are of the form $(\nabla u)\_\\#e^{- u}$ for $u:\R^d\to\R\cup\{+\infty\}$ and finds the corresponding $u$ by a variational method in the class of convex functions. Here we propose a purely optimal-transport-ba…
▽ More
A recent paper by Cordero-Erausquin and Klartag provides a characterization of the measures $μ$ on $\R^d$ which can be expressed as the moment measures of suitable convex functions $u$, i.e. are of the form $(\nabla u)\_\\#e^{- u}$ for $u:\R^d\to\R\cup\{+\infty\}$ and finds the corresponding $u$ by a variational method in the class of convex functions. Here we propose a purely optimal-transport-based method to retrieve the same result. The variational problem becomes the minimization of an entropy and a transport cost among densities $ρ$ and the optimizer $ρ$ turns out to be $e^{-u}$. This requires to develop some estimates and some semicontinuity results for the corresponding functionals which are natural in optimal transport. The notion of displacement convexity plays a crucial role in the characterization and uniqueness of the minimizers.
△ Less
Submitted 15 July, 2015;
originally announced July 2015.
-
First order Mean Field Games with density constraints: Pressure equals Price
Authors:
Pierre Cardaliaguet,
Alpár Richárd Mészáros,
Filippo Santambrogio
Abstract:
In this paper we study Mean Field Game systems under density constraints as optimality conditions of two optimization problems in duality. A weak solution of the system contains an extra term, an additional price imposed on the saturated zones. We show that this price corresponds to the pressure field from the models of incompressible Euler's equations {à} la Brenier. By this observation we manage…
▽ More
In this paper we study Mean Field Game systems under density constraints as optimality conditions of two optimization problems in duality. A weak solution of the system contains an extra term, an additional price imposed on the saturated zones. We show that this price corresponds to the pressure field from the models of incompressible Euler's equations {à} la Brenier. By this observation we manage to obtain a minimal regularity, which allows to write optimality conditions at the level of single agent trajectories and to define a weak notion of Nash equilibrium for our model.
△ Less
Submitted 8 December, 2016; v1 submitted 8 July, 2015;
originally announced July 2015.
-
BV Estimates in Optimal Transportation and Applications
Authors:
Guido De Philippis,
Alpár Mészáros,
Filippo Santambrogio,
Bozhidar Velichkov
Abstract:
In this paper we study the BV regularity for solutions of variational problems in Optimal Transportation. As an application we recover BV estimates for solutions of some non-linear parabolic PDE by means of optimal transportation techniques. We also prove that the Wasserstein projection of a measure with BV density on the set of measures with density bounded by a given BV function f is of bounded…
▽ More
In this paper we study the BV regularity for solutions of variational problems in Optimal Transportation. As an application we recover BV estimates for solutions of some non-linear parabolic PDE by means of optimal transportation techniques. We also prove that the Wasserstein projection of a measure with BV density on the set of measures with density bounded by a given BV function f is of bounded variation as well. In particular, in the case f = 1 (projection onto a set of densities with an L^\infty bound) we precisely prove that the total variation of the projection does not exceed the total variation of the projected measure. This is an estimate which can be iterated, and is therefore very useful in some evolutionary PDEs (crowd motion,. . .). We also establish some properties of the Wasserstein projection which are interesting in their own, and allow for instance to prove uniqueness of such a projection in a very general framework.
△ Less
Submitted 15 July, 2015; v1 submitted 22 March, 2015;
originally announced March 2015.
-
Advection-diffusion equations with density constraints
Authors:
Alpár Richárd Mészáros,
Filippo Santambrogio
Abstract:
In the spirit of the macroscopic crowd motion models with hard congestion (i.e. a strong density constraint $ρ\leq 1$) introduced by Maury {\it et al.} some years ago, we analyze a variant of the same models where diffusion of the agents is also taken into account. From the modeling point of view, this means that individuals try to follow a given spontaneous velocity, but are subject to a Brownian…
▽ More
In the spirit of the macroscopic crowd motion models with hard congestion (i.e. a strong density constraint $ρ\leq 1$) introduced by Maury {\it et al.} some years ago, we analyze a variant of the same models where diffusion of the agents is also taken into account. From the modeling point of view, this means that individuals try to follow a given spontaneous velocity, but are subject to a Brownian diffusion, and have to adapt to a density constraint which introduces a pressure term affecting the movement. From the PDE point of view, this corresponds to a modified Fokker-Planck equation, with an additional gradient of a pressure (only living in the saturated zone $\{ρ=1\}$) in the drift. The paper proves existence and some estimates, based on optimal transport techniques.
△ Less
Submitted 2 March, 2016; v1 submitted 8 March, 2015;
originally announced March 2015.
-
The Monge problem with vanishing gradient penalization: Vortices and asymptotic profile
Authors:
Luigi De Pascale,
Jean Louet,
Filippo Santambrogio
Abstract:
We investigate the approximation of the Monge problem (minimizing \int\_$Ω$ |T (x) -- x| d$μ$(x) among the vector-valued maps T with prescribed image measure T \# $μ$) by adding a vanishing Dirichlet energy, namely $ε$ \int\_$Ω$ |DT |^2. We study the $Γ$-convergence as $ε$ $\rightarrow$ 0, proving a density result for Sobolev (or Lipschitz) transport maps in the class of transport plans. In a cert…
▽ More
We investigate the approximation of the Monge problem (minimizing \int\_$Ω$ |T (x) -- x| d$μ$(x) among the vector-valued maps T with prescribed image measure T \# $μ$) by adding a vanishing Dirichlet energy, namely $ε$ \int\_$Ω$ |DT |^2. We study the $Γ$-convergence as $ε$ $\rightarrow$ 0, proving a density result for Sobolev (or Lipschitz) transport maps in the class of transport plans. In a certain two-dimensional framework that we analyze in details, when no optimal plan is induced by an H ^1 map, we study the selected limit map, which is a new "special" Monge transport, possibly different from the monotone one, and we find the precise asymptotics of the optimal cost depending on $ε$, where the leading term is of order $ε$| log $ε$|.
△ Less
Submitted 4 January, 2017; v1 submitted 25 July, 2014;
originally announced July 2014.
-
Approximation of length minimization problems among compact connected sets
Authors:
Matthieu Bonnivard,
Antoine Lemenant,
Filippo Santambrogio
Abstract:
In this paper we provide an approximation à la Ambrosio-Tortorelli of some classical minimization problems involving the length of an unknown one-dimensional set, with an additional connectedness constraint, in dimension two. We introduce a term of new type relying on a weighted geodesic distance that forces the minimizers to be connected at the limit. We apply this approach to approximate the so-…
▽ More
In this paper we provide an approximation à la Ambrosio-Tortorelli of some classical minimization problems involving the length of an unknown one-dimensional set, with an additional connectedness constraint, in dimension two. We introduce a term of new type relying on a weighted geodesic distance that forces the minimizers to be connected at the limit. We apply this approach to approximate the so-called Steiner Problem, but also the average distance problem, and finally a problem relying on the p-compliance energy. The proof of convergence of the approximating functional, which is stated in terms of Gamma-convergence relies on technical tools from geometric measure theory, as for instance a uniform lower bound for a sort of average directional Minkowski content of a family of compact connected sets.
△ Less
Submitted 9 March, 2014;
originally announced March 2014.
-
A Mass Transportation Model for the Optimal Planning of an Urban Region
Authors:
Giuseppe Buttazzo,
Filippo Santambrogio
Abstract:
We propose a model to describe the optimal distributions of residents and services in a prescribed urban area. The cost functional takes into account the transportation costs (according to a Monge--Kantorovich-type criterion) and two additional terms which penalize concentration of residents and dispersion of services. The tools we use are the Monge--Kantorovich mass transportation theory and the…
▽ More
We propose a model to describe the optimal distributions of residents and services in a prescribed urban area. The cost functional takes into account the transportation costs (according to a Monge--Kantorovich-type criterion) and two additional terms which penalize concentration of residents and dispersion of services. The tools we use are the Monge--Kantorovich mass transportation theory and the theory of nonconvex functionals defined on measures.
△ Less
Submitted 23 December, 2013;
originally announced December 2013.
-
Asymptotic optimal location of facilities in a competition between population and industries
Authors:
Giuseppe Buttazzo,
Filippo Santambrogio,
Eugene Stepanov
Abstract:
We consider the problem of optimally locating a given number $k$ of points in ${\mathbb R}^n$ for an integral cost function which takes into account two measures $\varphi^+$ and $\varphi^-$. The points represent for example new industrial facilities that have to be located, the measure $\varphi^+$ representing in this case already existing industries that want to be close to the new ones, and…
▽ More
We consider the problem of optimally locating a given number $k$ of points in ${\mathbb R}^n$ for an integral cost function which takes into account two measures $\varphi^+$ and $\varphi^-$. The points represent for example new industrial facilities that have to be located, the measure $\varphi^+$ representing in this case already existing industries that want to be close to the new ones, and $\varphi^-$ representing private citizens who want to stay far away. The asymptotic analysis as $k\to\infty$ is performed, providing the asymptotic density of optimal locations.
△ Less
Submitted 19 December, 2013;
originally announced December 2013.
-
Full characterization of optimal transport plans for concave costs
Authors:
Paul Pegon,
Davide Piazzoli,
Filippo Santambrogio
Abstract:
This paper slightly improves a classical result by Gangbo and McCann (1996) about the structure of optimal transport plans for costs that are concave functions of the Euclidean distance. Since the main difficulty for proving the existence of an optimal map comes from the possible singularity of the cost at $0$, everything is quite easy if the supports of the two measures are disjoint; Gangbo and M…
▽ More
This paper slightly improves a classical result by Gangbo and McCann (1996) about the structure of optimal transport plans for costs that are concave functions of the Euclidean distance. Since the main difficulty for proving the existence of an optimal map comes from the possible singularity of the cost at $0$, everything is quite easy if the supports of the two measures are disjoint; Gangbo and McCann proved the result under the assumption $μ(\spt(ν))=0$; in this paper we replace this assumption with the fact that the two measures are singular to each other. In this case it is possible to prove the existence of an optimal transport map, provided the starting measure $μ$ does not give mass to small sets (i.e. $(d\!-\!1)-$rectifiable sets). When the measures are not singular the optimal transport plan decomposes into two parts, one concentrated on the diagonal and the other being a transport map between mutually singular measures.
△ Less
Submitted 16 September, 2014; v1 submitted 14 November, 2013;
originally announced November 2013.
-
A Modica-Mortola approximation for the Steiner Problem
Authors:
Antoine Lemenant,
Filippo Santambrogio
Abstract:
In this note we present a way to approximate the Steiner problem by a family of elliptic energies of Modica-Mortola type, with an additional term relying on the weighted geodesic distance which takes care of the connexity constraint.
In this note we present a way to approximate the Steiner problem by a family of elliptic energies of Modica-Mortola type, with an additional term relying on the weighted geodesic distance which takes care of the connexity constraint.
△ Less
Submitted 13 November, 2013;
originally announced November 2013.
-
A Dacorogna-Moser approach to flow decomposition and minimal flow problems
Authors:
Filippo Santambrogio
Abstract:
The papers describes an easy approach, based on a classical construction by Dacorogna and Moser, to prove that optimal vector fields in some minimal flow problem linked to optimal transport models (congested traffic, branched transport, Beckmann's problem...) are induced by a probability measure on the space of paths. This gives a new, easier, proof of a classical result by Smirnov, and allows han…
▽ More
The papers describes an easy approach, based on a classical construction by Dacorogna and Moser, to prove that optimal vector fields in some minimal flow problem linked to optimal transport models (congested traffic, branched transport, Beckmann's problem...) are induced by a probability measure on the space of paths. This gives a new, easier, proof of a classical result by Smirnov, and allows handling optimal flows without taking care of the presence of cycles.
△ Less
Submitted 10 October, 2013;
originally announced October 2013.
-
Regularity in Monge's mass transfer problem
Authors:
Qi-Rui Li,
Filippo Santambrogio,
Xu-Jian Wang
Abstract:
In this paper, we study the regularity of optimal map**s in Monge's mass transfer problem. Using the approximation to Monge's cost function given by the Euclidean distance c(x,y)=dist(x,y) through the costs c_\eps(x,y)=(\eps^2+dist(x,y)^2)^{1/2}, we consider the optimal map**s T_\eps for these costs, and we prove that the eigenvalues of the Jacobian matrix DT_\eps, which are all positive, are…
▽ More
In this paper, we study the regularity of optimal map**s in Monge's mass transfer problem. Using the approximation to Monge's cost function given by the Euclidean distance c(x,y)=dist(x,y) through the costs c_\eps(x,y)=(\eps^2+dist(x,y)^2)^{1/2}, we consider the optimal map**s T_\eps for these costs, and we prove that the eigenvalues of the Jacobian matrix DT_\eps, which are all positive, are locally uniformly bounded. By an example we prove that T_\eps is in general not uniformly Lipschitz continuous as \eps-0, even if the mass distributions are positive and smooth, and the domains are c-convex.
△ Less
Submitted 1 May, 2013;
originally announced May 2013.
-
Optimal transportation with an oscillation-type cost: the one-dimensional case
Authors:
Didier Lesesvre,
Paul Pegon,
Filippo Santambrogio
Abstract:
The main result of this paper is the existence of an optimal transport map $T$ between two given measures $μ$ and $ν$, for a cost which considers the maximal oscillation of $T$ at scale $δ$, given by $ω_δ(T):=\sup_{|x-y|<δ}|T(x)-T(y)|$. The minimization of this criterion finds applications in the field of privacy-respectful data transmission. The existence proof unfortunately only works in dimensi…
▽ More
The main result of this paper is the existence of an optimal transport map $T$ between two given measures $μ$ and $ν$, for a cost which considers the maximal oscillation of $T$ at scale $δ$, given by $ω_δ(T):=\sup_{|x-y|<δ}|T(x)-T(y)|$. The minimization of this criterion finds applications in the field of privacy-respectful data transmission. The existence proof unfortunately only works in dimension one and is based on some monotonicity considerations.
△ Less
Submitted 2 October, 2012;
originally announced October 2012.
-
A Modest Proposal for MFG with Density Constraints
Authors:
Filippo Santambrogio
Abstract:
We consider a typical problem in Mean Field Games: the congestion case, where in the cost that agents optimize there is a penalization for passing through zones with high density of agents, in a deterministic framework. This equilibrium problem is known to be equivalent to the optimization of a global functional including an $L^p$ norm of the density. The question arises as to produce a similar mo…
▽ More
We consider a typical problem in Mean Field Games: the congestion case, where in the cost that agents optimize there is a penalization for passing through zones with high density of agents, in a deterministic framework. This equilibrium problem is known to be equivalent to the optimization of a global functional including an $L^p$ norm of the density. The question arises as to produce a similar model replacing the $L^p$ penalization with an $L^\infty$ constraint, but the simplest approaches do not give meaningful definitions. Taking into account recent works about crowd motion, where the density constraint $ρ\leq 1$ was treated in terms of projections of the velocity field onto the set of admissible velocity (with a constraint on the divergence) and a pressure field was introduced, we propose a definition and write a system of PDEs including the usual Hamilton-Jacobi equation coupled with the continuity equation. For this system, we analyze an example and propose some open problems.
△ Less
Submitted 2 November, 2011;
originally announced November 2011.