The first Fundamental Theorem of Calculus for functions defined on Wasserstein space
Pith reviewed 2026-05-18 06:42 UTC · model grok-4.3
The pith
Regular functions on Wasserstein space satisfy the first fundamental theorem of calculus.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that if a function on the Wasserstein space is sufficiently regular in the sense of the linear functional derivative, then its integral is differentiable and the derivative coincides with the integrand. The approach relies on a general differentiability criterion connecting the linear functional derivative as a Fréchet derivative to Dawson's Gateaux derivative, allowing the upgrade from Gateaux to Fréchet differentiability in this infinite-dimensional setting.
What carries the argument
The linear functional derivative viewed as a Fréchet derivative and linked to Dawson's Gateaux derivative by a general differentiability criterion.
If this is right
- The integral of the derivative recovers the original function for regular cases.
- Differentiation and integration are inverses under the regularity conditions.
- This holds for the infinite-dimensional Wasserstein space of probability measures.
Where Pith is reading between the lines
- The result may enable direct calculus on distribution-valued functions in stochastic modeling.
- It could facilitate checking differentiability in specific examples from optimal transport.
Load-bearing premise
Functions must meet regularity conditions sufficient to upgrade Gateaux differentiability to Fréchet differentiability in the Wasserstein setting.
What would settle it
A function on Wasserstein space meeting the regularity assumptions but where the derivative of its integral differs from the integrand would falsify the theorem.
read the original abstract
We establish an analogue of the first fundamental theorem of calculus for functions defined on the Wasserstein space of probability measures. Precisely, we show that if a function on the Wasserstein space is sufficiently regular in the sense of the linear functional derivative, then its integral is differentiable and the derivative coincides with the integrand. Our approach relies on a general differentiability criterion that connects the linear functional derivative, viewed as a Fr\'echet-derivative, and Dawson's weaker notion, which corresponds to a Gateaux-derivative. Under suitable regularity assumptions, it is possible to upgrade Gateaux-differentiability to Fr\'echet-differentiability in the infinite-dimensional setting of Wasserstein space.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes an analogue of the first fundamental theorem of calculus for functions defined on the Wasserstein space of probability measures. It shows that if a function on the Wasserstein space is sufficiently regular in the sense of the linear functional derivative, then its integral is differentiable and the derivative coincides with the integrand. The approach relies on a general differentiability criterion connecting the linear functional derivative (viewed as a Fréchet derivative) to Dawson's weaker Gateaux derivative, with an upgrade from Gateaux to Fréchet differentiability possible under suitable regularity assumptions in the infinite-dimensional Wasserstein setting.
Significance. If the central claim is established with the required regularity conditions verified, the result would provide a useful calculus tool for functions on Wasserstein space, bridging linear functional derivatives and Fréchet differentiability in a setting central to optimal transport and mean-field analysis. The connection of existing derivative notions from the literature is a positive aspect, though the infinite-dimensional metric-space setting demands explicit verification of continuity properties.
major comments (1)
- [Abstract] Abstract: The upgrade from Dawson's Gateaux differentiability to Fréchet differentiability is load-bearing for the FTC statement. In the metric space (𝒫₂, W₂), Fréchet differentiability requires the candidate derivative map to be continuous (or at least locally Lipschitz) with respect to W₂, not merely directionally defined. The linear functional derivative, defined via integration against test functions, does not automatically inherit W₂-continuity. The manuscript must therefore prove that the stated regularity hypotheses close this gap; without an explicit continuity argument the identification as Fréchet derivative and the subsequent conclusion that the integral's derivative equals the integrand remain unverified.
minor comments (1)
- The abstract would be clearer if it briefly indicated the concrete regularity conditions (e.g., Lipschitz or continuity moduli) that guarantee the W₂-continuity of the linear functional derivative.
Simulated Author's Rebuttal
We thank the referee for the thorough review and for highlighting the critical role of continuity in establishing Fréchet differentiability within the Wasserstein metric space. We address the major comment below and outline the revisions we will make to strengthen the manuscript.
read point-by-point responses
-
Referee: [Abstract] Abstract: The upgrade from Dawson's Gateaux differentiability to Fréchet differentiability is load-bearing for the FTC statement. In the metric space (𝒫₂, W₂), Fréchet differentiability requires the candidate derivative map to be continuous (or at least locally Lipschitz) with respect to W₂, not merely directionally defined. The linear functional derivative, defined via integration against test functions, does not automatically inherit W₂-continuity. The manuscript must therefore prove that the stated regularity hypotheses close this gap; without an explicit continuity argument the identification as Fréchet derivative and the subsequent conclusion that the integral's derivative equals the integrand remain unverified.
Authors: We agree that Fréchet differentiability on the metric space (𝒫₂, W₂) requires the derivative map to be continuous with respect to the W₂ metric, beyond mere directional (Gateaux) differentiability. The manuscript presents a general differentiability criterion that links the linear functional derivative (viewed as a candidate Fréchet derivative) to Dawson's Gateaux notion, with the upgrade to Fréchet differentiability asserted under suitable regularity assumptions on the integrand. However, we acknowledge that an explicit verification of W₂-continuity (or local Lipschitz continuity) of this derivative map, directly from the stated hypotheses, is not sufficiently detailed in the current version. We will add a dedicated proposition or lemma that proves this continuity property under the regularity conditions, thereby closing the gap and rigorously justifying the identification as a Fréchet derivative. This will also reinforce the subsequent application to the fundamental theorem of calculus. revision: yes
Circularity Check
No significant circularity; derivation connects independent derivative notions
full rationale
The paper establishes the FTC analogue by linking the linear functional derivative (viewed as Fréchet) to Dawson's Gateaux notion via an explicit general differentiability criterion that upgrades the weaker derivative under stated regularity assumptions in the Wasserstein metric. This step relies on prior literature definitions of both derivative concepts rather than self-defining the target result or renaming a fitted quantity as a prediction. No load-bearing self-citation chain, ansatz smuggling, or uniqueness theorem imported from the authors' prior work is present in the provided abstract and description; the central claim remains independent of the inputs and is self-contained against external benchmarks in functional analysis.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Wasserstein space is a complete metric space with the usual properties of probability measures
- domain assumption Linear functional derivative exists and behaves as a Fréchet derivative under the stated regularity
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
if a function on the Wasserstein space is sufficiently regular in the sense of the linear functional derivative, then its integral is differentiable and the derivative coincides with the integrand
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
upgrade Gateaux-differentiability to Fréchet-differentiability in the infinite-dimensional setting of Wasserstein space
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.