---
title: Lions Derivative in Wasserstein Analysis
url: https://www.emergentmind.com/topics/lions-derivative
type: topic
---

# Lions Derivative in Wasserstein Analysis

The Lions derivative is the differential object attached to a functional of a probability law, typically on \(\mathcal P_2(\mathbb R^d)\), obtained by lifting the functional to a map on square-integrable random variables and representing the resulting Fréchet derivative as evaluation of a deterministic function at the underlying state. In contemporary Wasserstein calculus it is the standard first-order differential notion for mean-field games, McKean–Vlasov dynamics, and master equations. The same surname appears in other settings, however, and the Lions derivative must be distinguished from Lasry–Lions regularization and from J.-L. Lions’ boundary-integral formulas for reproducing kernels [1709.08676] [2602.09669].

## 1. Classical formulation on Wasserstein space

In the standard finite-dimensional formulation, one starts with a map
\[
f:\mathcal P_2(\mathbb R^d)\to \mathbb R
\]
or more generally \(f:\mathcal P_2(\mathbb R^e)\to \mathbb R^d\), and defines its lift on a linear Hilbert space by
\[
\widetilde f(X)=f(\mathcal L(X)),\qquad X\in L^2(\Omega;\mathbb R^d).
\]
The map \(f\) is then said to be Lions differentiable, or \(L\)-differentiable, at \(\mu\) if the lifted map is Fréchet differentiable at some \(X\) with \(\mathcal L(X)=\mu\), and the derivative can be represented as
\[
D\widetilde f(X)=\partial_\mu f(\mu)(X).
\]
This is the basic construction used in higher-order Lions calculus and in later stochastic applications [2303.17571].

A decisive structural fact is that the derivative of a law-invariant lift is itself a function of the underlying random variable. Wu and Zhang proved, in the scalar \(\mathbb R\)-valued case, that if
\[
F:L^2(\Omega,\mathbb R)\to\mathbb R
\]
is law invariant and continuously Fréchet differentiable, then
\[
DF(\xi)=g(\xi),
\]
where \(g:\mathbb R\to\mathbb R\) is deterministic and depends only on the law of \(\xi\) [1705.08046]. This is the statement that makes it legitimate to regard the derivative as a function of \((\mu,x)\), rather than as an arbitrary random variable.

The first-order increment formula on Wasserstein space takes the form
\[
f(\nu)-f(\mu)
=
\int \partial_\mu f(\mu,x)\cdot (y-x)\,d\Pi^{\mu,\nu}(x,y)
+o\!\left(\Big(\int |y-x|^2\,d\Pi^{\mu,\nu}\Big)^{1/2}\right),
\]
with \(\Pi^{\mu,\nu}\) a coupling of \(\mu\) and \(\nu\) [2303.17571]. In this sense, the Lions derivative measures the first-order response of a functional to infinitesimal perturbations of the law implemented through perturbations of an underlying random variable.

The basic examples already exhibit the derivative’s state-dependent character. For
\[
f(\mu)=\int k(x)\,d\mu(x),
\]
the lifted map is \(F(X)=\mathbb E[k(X)]\), and the Lions derivative is
\[
\partial_\mu f(\mu)(x)=\nabla k(x).
\]
For multilinear polynomial-type functionals of \(\mu\), the derivative is obtained by differentiating the integrand in each slot and inserting a free variable \(x\) into the corresponding position [2303.17571].

## 2. Relation to intrinsic, extrinsic, and density-based derivatives

A major theme of the literature is that the Lions derivative is only one member of a family of derivatives on spaces of measures. In one common formulation, the intrinsic derivative is defined directionally along transport perturbations:
\[
D_\phi^I f(\mu)
:=
\lim_{\varepsilon\downarrow 0}
\frac{
f(\mu\circ(\mathrm{Id}+\varepsilon\phi)^{-1})-f(\mu)
}{\varepsilon},
\]
with \(\phi\in L^2(\mathbb R^d\to\mathbb R^d;\mu)\). In the formulation used for distribution-dependent SDEs, \(f\) is \(L\)-differentiable if, in addition, the full Fréchet-type remainder condition in \(L^2(\mu)\) holds; then the intrinsic derivative and the \(L\)-derivative coincide [2105.11116].

On complete Riemannian manifolds and on spaces of finite measures, the relation between derivative notions can be made especially concrete. For a sufficiently regular \(f\), the extrinsic derivative
\[
D^E f(\eta)(x):=\lim_{s\downarrow 0}\frac{f(\eta+s\delta_x)-f(\eta)}{s}
\]
coincides with the linear functional derivative, while the intrinsic derivative and the Lions derivative agree and satisfy
\[
D^I f(\eta)(x)=D^L f(\eta)(x)=\nabla\{D^E f(\eta)\}(x).
\]
On probability space the same principle holds with the centered extrinsic derivative \(\tilde D^E\) in place of \(D^E\) [1908.03711]. This yields a direct computational rule: under the stated regularity, the Lions derivative is the spatial gradient of the extrinsic derivative.

A different route arises from differentiation with respect to a density on an underlying reference probability space. For
\[
F_Q(L)=f((LQ)_\xi),
\]
the derivative with respect to the density variable \(L\) is represented by a scalar function \(\partial_1F(\mu,x)\), and when \(f\) is Lions differentiable one has
\[
\partial_x\partial_1F((LQ)_\xi,x)=\partial_\mu f((LQ)_\xi,x).
\]
Thus the density derivative is a scalar potential whose spatial derivative recovers the Lions derivative [2010.01507].

These formulations are complementary rather than redundant. The lifted \(L^2\)-definition is canonical for \(\mathcal P_2(\mathbb R^d)\); the transport-based intrinsic derivative is often better adapted to stochastic analysis; the extrinsic derivative gives a practical route on manifolds; and the density-based derivative is natural in weak formulations of mean-field control.

## 3. Higher-order Lions calculus

Higher-order Lions calculus differs sharply from ordinary Fréchet calculus because each new Lions derivative creates a new free variable. Already at second order, the distinction between
\[
\nabla_x\partial_\mu f(\mu,x)
\qquad\text{and}\qquad
\partial_\mu\partial_\mu f(\mu,x,x')
\]
is fundamental: the first differentiates in the already existing free variable, while the second differentiates again in the measure and therefore introduces an additional state variable [2303.17571].

To organize this, higher-order derivatives are indexed by partition sequences \(a\in A_n\). Repeated labels mean differentiation in an already existing free variable; a new label means a new Lions differentiation. This produces a family of derivatives \(\partial_a f\), rather than a single \(n\)-linear tensor. The resulting Taylor expansion on \(\mathcal P_2(\mathbb R^e)\) is
\[
f(\nu)
=
\sum_{a\in A_n}\frac{1}{a!}\,D^a f(\mu)[\Pi^{\mu,\nu}]
+
R_n^{\mu,\nu}(f),
\]
with the increment terms built from couplings \(\Pi^{\mu,\nu}\) and the remainder controlled by moments of \(|y-x|^{n+1}\) under the coupling [2303.17571].

For functions of both a Euclidean variable and a measure,
\[
f:\mathbb R^e\times \mathcal P_2(\mathbb R^e)\to \mathbb R^d,
\]
the notation is extended by adding a symbol for differentiation in the Euclidean variable. This yields mixed derivatives such as \(\nabla_{x_0}\partial_\mu f\), \(\nabla_{x_1}\partial_\mu f\), and \(\partial_\mu\partial_\mu f\), all of which are distinct objects [2303.17571].

In rough-path and probabilistic mean-field expansions, the combinatorics of iterated Lions derivatives are encoded by Lions trees and Lions forests. These objects record which derivative slots share the same free variable and which new variables are created by subsequent Lions differentiations. The associated coupled Hopf or bialgebra structure is not a cosmetic reformulation; it is the bookkeeping mechanism needed because iterated Lions–Taylor expansions are indexed by partition structure rather than by ordinary multi-indices [2203.01185] [2303.17576].

## 4. Infinite-dimensional, Banach, and path-space extensions

The finite-dimensional lift-to-\(L^2\) picture becomes nontrivial when the state space is infinite dimensional or when the functional takes values in a Banach space. For
\[
f:\mathcal P_2(H)\to U,
\]
with \(H\) a separable Hilbert space and \(U\) a Banach space, the lift
\[
\hat f:L^2(\Omega,H)\to U,\qquad X\mapsto f(\mathcal L(X))
\]
remains natural, but \(D\hat f(X)\) is no longer canonically representable as a random variable. The infinite-dimensional theory developed in 2024 interprets the lifted derivative as a vector measure and defines the Lions derivative as the Radon–Nikodym derivative of the associated image vector measure:
\[
\partial_\mu f(\mu)(\cdot)=\frac{dm_\mu}{d\mu}(\cdot)\in L^2(H,\mu;L(H,U)).
\]
In that framework,
\[
D\hat f(X)Y=\mathbb E\!\left[\frac{dm_\mu}{d\mu}(X)Y\right],
\]
which yields a canonical Banach-valued extension of the Lions derivative [2407.14884].

This extension supports an Itô formula for law flows and a mild Itô formula for mean-field SPDEs. For a Hilbert space valued mean-field stochastic evolution equation, the regular \(L\)-derivative enters the law-dependent drift terms of the mild Itô formula and serves as the basis for higher-order Taylor expansion and higher-order numerical schemes [2407.14884].

A parallel development treats measures on Banach path spaces, especially
\[
\mathscr C=C([-r_0,0];\mathbb R^d).
\]
There the tangent space at \(\mu\in\mathscr P_p(\mathscr C)\) is
\[
T_{\mu,p}=L^p(\mathscr C\to\mathscr C;\mu),
\]
the intrinsic derivative is defined by pushforward under \(\mathrm{Id}+\phi\), and the Lions derivative is the stronger Fréchet-type notion in this Banach setting. The resulting chain rule for laws of Banach-valued random variables extends the standard identity
\[
\frac{d}{d\varepsilon}f(\mathcal L_{\xi_\varepsilon})\Big|_{\varepsilon=0}
=
\mathbb E\langle D^L f(\mu_0)(\xi_0),\dot\xi_0\rangle
\]
to path-space laws and underpins later Bismut formulas for distribution-path dependent SDEs [2004.14629].

## 5. Bismut formulas and McKean–Vlasov applications

One of the most active uses of the Lions derivative is the analysis of nonlinear semigroups generated by McKean–Vlasov SDEs. For
\[
P_t f(\mu):=\mathbb E f(X_t^\mu),
\]
where \(X_t^\mu\) solves a distribution-dependent SDE with initial law \(\mu\), the problem is to differentiate \(P_t f\) with respect to \(\mu\). In the nondegenerate setting, the 2018 Bismut formula gives a stochastic representation
\[
D_\phi^L(P_T f)(\mu)
=
\mathbb E\left[
f(X_T)\int_0^T \langle \zeta_t^\phi,dW_t\rangle
\right],
\]
and analogous formulas are obtained in degenerate Hamiltonian settings via Malliavin divergence [1809.06068]. These formulas yield explicit derivative estimates and total variation bounds for \(P_t^*\mu\).

For singular drifts, Huang–Song–Wang developed a Bismut formula for intrinsic/Lions derivatives of distribution-dependent SDEs whose drift is only Dini continuous in the spatial variable. Their method combines a distribution-dependent Zvonkin transform with Malliavin calculus, and under an additional integrability assumption upgrades intrinsic differentiability to full \(L\)-differentiability [2105.11116].

A later development addresses singular interaction kernels of convolution type,
\[
B_t(x,\mu)=(h_t*\mu)(x),
\]
for which coefficient-level Lions differentiability may fail. In that setting the derivative object is the intrinsic derivative of the semigroup
\[
D_\phi P_t f(\mu)
=
\lim_{\varepsilon\to 0}
\frac{
P_t f(\mu\circ(\mathrm{Id}+\varepsilon\phi)^{-1})-P_t f(\mu)
}{\varepsilon},
\]
and the resulting Bismut formula is obtained without assuming that the drift coefficient itself is Lions differentiable in the measure variable [2604.08899]. This marks a conceptual shift: semigroup differentiability in the initial law can persist beyond coefficient-level Lions differentiability.

For distribution-path dependent SDEs on \(\mathscr C\), the Banach-space Lions derivative supports exact Bismut formulas in additive and certain multiplicative noise settings, and asymptotic Bismut formulas when path-dependent diffusion prevents an exact representation [2004.14629]. Across these settings, the Lions derivative is the measure-space analogue of the spatial gradient in classical Bismut–Elworthy–Li theory.

## 6. Distinctions, misconceptions, and scope of the term

The expression “Lions derivative” is often conflated with objects that are mathematically unrelated. The first major source of confusion is Lasry–Lions regularization. The 2017 paper on discounted Hamilton–Jacobi equations studies intrinsic Lasry–Lions approximation
\[
T_{s,t}^+u(x)=\sup_y\{u(y)-A_{s,t}(x,y)\},
\]
selects distinguished supergradients of viscosity solutions, and analyzes generalized characteristics, but it explicitly does not treat derivatives with respect to probability measures, lifted derivatives on \(L^2\), Wasserstein differential calculus, or \(D_\mu U(\mu)(x)\) [1709.08676].

The second source of confusion is the “Lions’ type formula” in PDE/RKHS theory. In the 2026 paper on fractional harmonic functions, this expression refers to a boundary-integral formula for a reproducing kernel,
\[
K_{a,s}(x,y)
=
\Gamma^2(a)\Gamma^2(a+1)\int_{\partial\Omega}
\big(M^{-\theta}\gamma_0^a G_a(x,\cdot)\big)
\big(M^{-\theta}\gamma_0^a G_a(y,\cdot)\big)\,d\sigma,
\]
originating with J.-L. Lions’ work on harmonic-function RKHSs. It is unrelated to differentiation on Wasserstein space [2602.09669].

Even within measure calculus, the Lions derivative should not be identified with every first-order measure derivative. The density-based derivative \(\partial_1F(\mu,x)\) is scalar-valued and defined only up to additive constants, whereas the Lions derivative is the vector-valued quantity obtained after spatial differentiation:
\[
\partial_x\partial_1F(\mu,x)=\partial_\mu f(\mu,x)
\]
under the stated regularity assumptions [2010.01507]. Likewise, intrinsic differentiability and \(L\)-differentiability are closely related but not interchangeable in every framework; the latter includes the Fréchet-type remainder condition in the tangent norm [2105.11116].

In modern usage, therefore, the Lions derivative denotes the state-dependent derivative of a functional of a probability measure, canonically represented as \(\partial_\mu f(\mu)(x)\), together with its higher-order extensions \(\partial_\mu\partial_\mu f\), \(\nabla_x\partial_\mu f\), and their mixed iterates. Its role is foundational in Wasserstein analysis, but its precise realization depends on the ambient setting: lifted Fréchet derivatives on \(L^2\), transport derivatives on measure space, vector-measure Radon–Nikodym densities in infinite dimensions, or path-space derivatives on Banach-valued laws.

Source: https://www.emergentmind.com/topics/lions-derivative