On differentiability in the Wasserstein space and well-posedness for Hamilton–Jacobi equations

Abstract In this paper we elucidate the connection between various notions of differentiability in the Wasserstein space: some have been introduced intrinsically (in the Wasserstein space, by using typical objects from the theory of Optimal Transport) and used by various authors to study gradient flows, Hamiltonian flows, and Hamilton–Jacobi equations in this context. Another notion is extrinsic and arises from the identification of the Wasserstein space with the Hilbert space of square-integrable random variables on a non-atomic probability space. As a consequence, the classical theory of well-posedness for viscosity solutions for Hamilton–Jacobi equations in infinite-dimensional Hilbert spaces is brought to bear on well-posedness for Hamilton–Jacobi equations in the Wasserstein space.

[1]  L. Caravenna,et al.  The disintegration of the Lebesgue measure on the faces of a convex function , 2010 .

[2]  P. Lions,et al.  Hamilton-Jacobi equations in infinite dimensions. II. Existence of viscosity solutions , 1986 .

[3]  P. Cardaliaguet,et al.  Mean Field Games , 2020, Lecture Notes in Mathematics.

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

[5]  J. Lott.  Some Geometric Calculations on Wasserstein Space , 2006, math/0612562.

[6]  Yann Brenier,et al.  $L^p$ Approximation of maps by diffeomorphisms , 2003 .

[7]  L. Ambrosio,et al.  A global existence result for the semigeostrophic equations in three dimensional convex domains , 2012, 1205.5435.

[8]  Wilfrid Gangbo,et al.  Hamilton-Jacobi equations in the Wasserstein space , 2008 .

[9]  M. Crandall,et al.  Hamilton-Jacobi Equations in Infinite Dimensions , 2003 .

[10]  Wilfrid Gangbo,et al.  Differential forms on Wasserstein space and infinite-dimensional Hamiltonian systems , 2008, 0807.1065.

[11]  Nicola Gigli,et al.  Second Order Analysis on (P2(m), W2) , 2012 .

[12]  W. Gangbo,et al.  Metric viscosity solutions of Hamilton–Jacobi equations depending on local slopes , 2015 .

[13]  J. Borwein,et al.  Survey of subdifferential calculus with applications , 1999 .

[14]  W. Gangbo,et al.  A partial Laplacian as an infinitesimal generator on the Wasserstein space , 2017, Journal of Differential Equations.

[15]  L. Ambrosio,et al.  On a class of first order Hamilton–Jacobi equations in metric spaces , 2014 .

[16]  P. Lions,et al.  Hamilton-Jacobi equations in infinite dimensions I. Uniqueness of viscosity solutions , 1985 .

[17]  Y. Brenier.  Polar Factorization and Monotone Rearrangement of Vector-Valued Functions , 1991 .

[18]  P. Lions,et al.  Hamilton-Jacobi equations in infinite dimensions, III , 1986 .

[19]  L. Caffarelli.  Boundary regularity of maps with convex potentials – II , 1996 .

[20]  David Preiss,et al.  Differentiability of Lipschitz functions on Banach spaces , 1990 .

[21]  Hwa Kil Kim,et al.  Value functions in the Wasserstein spaces: finite time horizons , 2013, 1307.4667.