An Elementary Proof for the Structure of Wasserstein Derivatives

Abstract

Let $F:{\mathbb{L}}^2(\hat{I}\text{c◯},\mathbb{R})\to \mathbb{R}$ be a law invariant and continuously Fréchet differentiable mapping. Based on Lions \cite{Lions}, Cardaliaguet \cite{Cardaliaguet} (Theorem 6.2 and 6.5) proved that: \bea \label{Derivative} D F (ξ) = g(ξ), \eea where $g:\mathbb{R}\to \mathbb{R}$ is a deterministic function which depends only on the law of $\hat{I}¾$. See also Carmona \& Delarue \cite{CD} Section 5.2. In this short note we provide an elementary proof for this well known result. This note is part of our accompanying paper \cite{WZ}, which deals with a more general situation.

3 pages