Analytic integration of metric-valued functions in Lipschitz free spaces
We develop an integration theory for functions taking values in a metric space. Following a Bochner-type construction, we define the concept of free integral as an element of the Lipschitz-free space $\mathcal{F}(M)$. We establish the main properties of this integral, including duality formulas, and the study of the resulting space of free integrable functions. We also cover when the metric space is a Banach space: in this setting, the free integral has an interpretable decomposition generalising the Bochner integral. We then connect the free integral with the geometry of $\mathcal{F}(M)$ by showing that it always produces convex integrals of molecules. This allows to study extremal properties within the unit ball of $\mathcal{F}(M)$. Finally, we provide a detailed example to illustrate the framework we develop.