Convergence of Probability Measures. By P. Billingsley. Chichester, Sussex, Wiley, 1968. xii, 253 p. 9 1/4“. 117s.

Convergence of Probability Measures

The author's preface gives an outline: "This book is about weakconvergence methods in metric spaces, with applications sufficient to show their power and utility. The Introduction motivates the definitions and indicates how the theory will yield solutions to problems arising outside it. Chapter 1 sets out the basic general theorems, which are then specialized in Chapter 2 to the space C[0, l ] of continuous functions on the unit interval and in Chapter 3 to the space D [0, 1 ] of functions with discontinuities of the first kind. The results of the first three chapters are used in Chapter 4 to derive a variety of limit theorems for dependent sequences of random variables. " The book develops and expands on Donsker's 1951 and 1952 papers on the invariance principle and empirical distributions. The basic random variables remain real-valued although, of course, measures on C[0, l ] and D[0, l ] are vitally used. Within this framework, there are various possibilities for a different and apparently better treatment of the material. More of the general theory of weak convergence of probabilities on separable metric spaces would be useful. Metrizability of the convergence is not brought up until late in the Appendix. The close relation of the Prokhorov metric and a metric for convergence in probability is (hence) not mentioned (see V. Strassen, Ann. Math. Statist. 36 (1965), 423-439; the reviewer, ibid. 39 (1968), 1563-1572). This relation would illuminate and organize such results as Theorems 4.1, 4.2 and 4.4 which give isolated, ad hoc connections between weak convergence of measures and nearness in probability. In the middle of p. 16, it should be noted that C*(S) consists of signed measures which need only be finitely additive if 5 is not compact. On p. 239, where the author twice speaks of separable subsets having nonmeasurable cardinal, he means "discrete" rather than "separable." Theorem 1.4 is Ulam's theorem that a Borel probability on a complete separable metric space is tight. Theorem 1 of Appendix 3 weakens completeness to topological completeness. After mentioning that probabilities on the rationals are tight, the author says it is an

Convergence of probability measures

A criterion is given for the convergence of numerical solutions of the Navier-Stokes equations in two dimensions under steady conditions. The criterion applies to all cases, of steady viscous flow in two dimensions and shows that if the local ' mesh Reynolds number ', based on the size of the mesh used in the solution, exceeds a certain fixed value, the numerical solution will not converge.

On the Navier-Stokes equations

Stochastic equations in infinite dimensions

The flow of homogeneous fluids through porous media: analogies with other physical problems

In this paper, for $\mu$ and $\nu$ two probability measures on $\mathbb{R}^d$ with finite moments of order $\rho\ge 1$, we define the respective projections for the $W_\rho$-Wasserstein distance of $\mu$ and $\nu$ on the sets of probability measures dominated by $\nu$ and of probability measures larger than $\mu$ in the convex order. The $W_2$-projection of $\mu$ can be easily computed when $\mu$ and $\nu$ have finite support by solving a quadratic optimization problem with linear constraints. In dimension $d=1$, Gozlan et al.~(2018) have shown that the projections do not depend on $\rho$. We explicit their quantile functions in terms of those of $\mu$ and $\nu$. The motivation is the design of sampling techniques preserving the convex order in order to approximate Martingale Optimal Transport problems by using linear programming solvers. We prove convergence of the Wasserstein projection based sampling methods as the sample sizes tend to infinity and illustrate them by numerical experiments.

Sampling of probability measures in the convex order by Wasserstein projection

The purpose of this paper is to study the existence and uniqueness of solutions to a Stochastic Differential Equation (SDE) coming from the eigenvalues of Wishart processes. The coordinates are non-negative, evolve as Cox-Ingersoll-Ross (CIR) processes and repulse each other according to a Coulombian like interaction force. We show the existence of strong and pathwise unique solutions to the system until the first multiple collision, and give a necessary and sufficient condition on the parameters of the SDE for this multiple collision not to occur in finite time.

Strong solutions to a beta-Wishart particle system

In this paper, we remark that any optimal coupling for the quadratic Wasserstein distance $W^2_2(\mu,\nu)$ between two probability measures $\mu$ and $\nu$ with finite second order moments on $\mathbb{R}^d$ is the composition of a martingale coupling with an optimal transport map ${\mathcal T}$. We check the existence of an optimal coupling in which this map gives the unique optimal coupling between $\mu$ and ${\mathcal T}\#\mu$. Next, we prove that $\sigma\mapsto W_2^2(\sigma,\nu)$ is differentiable at $\mu$ in the Lions~\cite{Lions} and the geometric senses iff there is a unique optimal coupling between $\mu$ and $\nu$ and this coupling is given by a map. Besides, we give a self-contained proof that mere Frechet differentiability of a law invariant function $F$ on $L^2(\Omega,\mathbb{P};\mathbb{R}^d)$ is enough for the Frechet differential at $X$ to be a measurable function of $X$.

Lifted and geometric differentiability of the squared quadratic Wasserstein distance

This article is dedicated to the study of diagonal hyperbolic systems in one space dimension, with cumulative distribution functions, or more generally nonconstant monotonic bounded functions, as initial data. Under a uniform strict hyperbolicity assumption on the characteristic fields, we construct a multitype version of the sticky particle dynamics and obtain existence of global weak solutions by compactness. 
We then derive a $L^p$ stability estimate on the particle system uniform in the number of particles. This allows to construct nonlinear semigroups solving the system in the sense of Bianchini and Bressan [Ann. of Math. (2), 2005]. We also obtain that these semigroup solutions satisfy a stability estimate in Wasserstein distances of all orders, which encompasses the classical $L^1$ estimate and generalises to diagonal systems the results by Bolley, Brenier and Loeper [J. Hyperbolic Differ. Equ., 2005] in the scalar case. 
Our results are obtained without any smallness assumption on the variation of the data, and only require the characteristic fields to be Lipschitz continuous and the system to be uniformly strictly hyperbolic.

https://hal-enpc.archives-ouvertes.fr/hal-01100604/document

A multitype sticky particle construction of Wasserstein stable semigroups solving one-dimensional diagonal hyperbolic systems with large monotonic data

Benjamin Jourdain

Papers

Sampling of probability measures in the convex order by Wasserstein projection

Strong solutions to a beta-Wishart particle system

Lifted and geometric differentiability of the squared quadratic Wasserstein distance

A multitype sticky particle construction of Wasserstein stable semigroups solving one-dimensional diagonal hyperbolic systems with large monotonic data

Particules collantes signées et lois de conservation scalaires 1D