Entropic Measure and Wasserstein Diffusion

We construct a new random probability measure on the sphere and on the unit interval which in both cases has a Gibbs structure with the relative entropy functional as Hamiltonian. It satisfies a quasi-invariance formula with respect to the action of smooth diffeomorphism of the sphere and the interval respectively. The associated integration by parts formula is used to construct two classes of diffusion processes on probability measures (on the sphere or the unit interval) by Dirichlet form methods. The first one is closely related to Malliavin's Brownian motion on the homeomorphism group. The second one is a probability valued stochastic perturbation of the heat flow, whose intrinsic metric is the quadratic Wasserstein distance. It may be regarded as the canonical diffusion process on the Wasserstein space.

[1]  S. Fang.  Canonical Brownian Motion on the Diffeomorphism Group of the Circle , 2002 .

[2]  Donald A. Dawson,et al.  Measure-valued Markov processes , 1993 .

[3]  J. Ramírez,et al.  Small-time Gaussian behavior of symmetric diffusion semi-groups , 2003 .

[4]  C. Villani,et al.  Generalization of an Inequality by Talagrand and Links with the Logarithmic Sobolev Inequality , 2000 .

[5]  F. Otto.  THE GEOMETRY OF DISSIPATIVE EVOLUTION EQUATIONS: THE POROUS MEDIUM EQUATION , 2001 .

[6]  C. Villani.  Topics in Optimal Transportation , 2003 .

[7]  Quasi-invariance and reversibility in the Fleming–Viot process , 1999, math/9909189.

[8]  Karl-Theodor Sturm,et al.  On the geometry of metric measure spaces , 2006 .

[9]  D. Nualart,et al.  White noise driven quasilinear SPDEs with reflection , 1992 .

[10]  Anton Thalmaier,et al.  Canonical Brownian motion on the space of univalent functions and resolution of Beltrami equations by a continuity method along stochastic flows , 2004 .

[11]  R. McCann.  A Convexity Principle for Interacting Gases , 1997 .

[12]  J. Bertoin.  Subordinators: Examples and Applications , 1999 .

[13]  M. Yor,et al.  A Parallel between Brownian Bridges and Gamma Bridges , 2004 .

[14]  R. McCann,et al.  A Riemannian interpolation inequality à la Borell, Brascamp and Lieb , 2001 .

[15]  S. Fang.  Solving stochastic differential equations on Homeo(S1) , 2004 .

[16]  W. Stannat.  On transition semigroups of (A,Ψ)-superprocesses with immigration , 2003 .

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

[18]  G. Burton.  TOPICS IN OPTIMAL TRANSPORTATION (Graduate Studies in Mathematics 58) By CÉDRIC VILLANI: 370 pp., US$59.00, ISBN 0-8218-3312-X (American Mathematical Society, Providence, RI, 2003) , 2004 .

[19]  Joel Spencer,et al.  Ecole D'Ete De Probabilites De Saint-Flour Xxi-1991 , 1993 .

[20]  Geometric aspects of Fleming-Viot and Dawson-Watanabe processes , 1997 .

[21]  Karl-Theodor Sturm,et al.  On the geometry of metric measure spaces. II , 2006 .

[22]  Karl-Theodor Sturm,et al.  Transport inequalities, gradient estimates, entropy and Ricci curvature , 2005 .

[23]  P. Malliavin.  The canonic diffusion above the diffeomorphism group of the circle , 1999 .

[24]  P. Malliavin,et al.  Quasi-invariance of Brownian measures on the group of circle homeomorphisms and infinite-dimensional Riemannian geometry , 2006 .

[25]  M. Yor,et al.  An Infinite-Dimensional Analogue of the Lebesgue Measure and Distinguished Properties of the Gamma Process , 2001 .

[26]  D. Kinderlehrer,et al.  THE VARIATIONAL FORMULATION OF THE FOKKER-PLANCK EQUATION , 1996 .

[27]  Sergio Albeverio,et al.  Analysis and Geometry on Configuration Spaces , 1998 .

[28]  Conservative stochastic Cahn–Hilliard equation with reflection , 2006, math/0601313.

[29]  H. Airault,et al.  Modulus of continuity of the canonic Brownian motion “on the group of diffeomorphisms of the circle” , 2002 .