Calculus of Variations and Geometric Measure Theory

C. Brena - N. Gigli

About the general chain rule for functions of bounded variation

created by brena on 13 Jul 2023
modified on 12 Sep 2024

[BibTeX]

Published Paper

Inserted: 13 jul 2023
Last Updated: 12 sep 2024

Journal: Nonlinear Analysis
Year: 2023
Doi: https://doi.org/10.1016/j.na.2024.113518

ArXiv: 2307.06008 PDF

Abstract:

We give an alternative proof of the general chain rule for functions of bounded variation (ADM90), which allows to compute the distributional differential of $\varphi\circ F$, where $\varphi\in \mathrm{LIP}(\mathbb{R}^m)$ and $F\in\mathrm{BV}(\mathbb{R}^n,\mathbb{R}^m)$. In our argument we build on top of recently established links between "closability of certain differentiation operators" and "differentiability of Lipschitz functions in related directions" (ABM23): we couple this with the observation that "the map that takes $\varphi$ and returns the distributional differential of $\varphi\circ F$ is closable" to conclude. Unlike previous results in this direction, our proof can directly be adapted to the non-smooth setting of finite dimensional RCD spaces.