The first Fundamental Theorem of Calculus for functions defined on Wasserstein space
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913111730028544 |
|---|---|
| author | Erny, Xavier |
| author_facet | Erny, Xavier |
| contents | 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échet-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échet-differentiability in the infinite-dimensional setting of Wasserstein space. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_13640 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | The first Fundamental Theorem of Calculus for functions defined on Wasserstein space Erny, Xavier Functional Analysis 46G05, 46T20, 28A33 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échet-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échet-differentiability in the infinite-dimensional setting of Wasserstein space. |
| title | The first Fundamental Theorem of Calculus for functions defined on Wasserstein space |
| topic | Functional Analysis 46G05, 46T20, 28A33 |
| url | https://arxiv.org/abs/2510.13640 |